Standard output
492683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
492684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.1ns
492684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
492831 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
492832 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
492833 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
492833 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
493514 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
497128 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.44s
497159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
497163 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.11ms