Standard output
395687 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
395687 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.5ns
395687 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
395828 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
395828 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
395828 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
395828 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
396406 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
399268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s
399299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
399299 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 854.7ns