Standard output
558932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
558932 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 540.3ns
558948 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
559120 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
559120 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
559120 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
559120 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
559839 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
564091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s
564138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
564138 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.25ms