Standard output
524740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
524740 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.4ns
524741 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
524918 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
524918 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
524919 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
524919 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
525657 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
529614 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.87s
529643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
529646 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.12ms