Standard output
600888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
600888 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.3ns
600888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
601076 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
601076 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
601076 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
601076 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
601842 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
606705 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.82s
606736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
606752 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.12ms