Standard output
490065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
490065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.8ns
490065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
490237 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
490237 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
490237 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
490237 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
490847 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
494662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.59s
494694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
494694 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.09ms