Standard output
484237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
484237 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.1ns
484237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
484362 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
484362 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
484362 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
484362 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
484996 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
488676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.44s
489004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
489019 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.17ms