Standard output
744508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
744508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 274.3ns
744508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
744758 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
744758 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
744758 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
744758 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
745625 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
751078 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.57s
751109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
751125 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.83ms