Standard output
366453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
366453 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 100.2ns
366468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
366578 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
366578 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
366578 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
366578 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
366924 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
369599 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s
369615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
369615 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 733.7ns