Standard output
429333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
429333 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 93.8ns
429334 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
429488 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
429488 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
429488 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
429488 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
430052 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
433405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s
433429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
433432 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.02ms