Standard output
502274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
502275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 402.1ns
502276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
502414 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
502415 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
502415 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
502416 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
503068 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
506758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.48s
506786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
506790 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.11ms