Standard output
634017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
634017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.8ns
634017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
634204 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
634204 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
634204 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
634204 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
634914 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
639252 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.23s
639282 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
639282 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.11ms