Standard output
605711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
605711 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.6ns
605711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
605914 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
605914 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
605914 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
605914 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
606524 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
610886 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s
610918 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
610918 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.47ms