Standard output
429394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
429394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.5ns
429394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
429526 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
429526 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
429526 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
429526 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
430010 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
433047 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s
433078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
433094 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.01ms