Standard output
744079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
744079 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 256.4ns
744079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
744345 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
744345 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
744345 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
744345 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
745315 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
751288 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.2s
752664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
752664 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.73ms