Standard output
744591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
744591 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.3ns
744592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
744803 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
744803 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
744804 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
744804 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
745718 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
751133 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.54s
751167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
751171 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 944.71ns