Standard output
603662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
603662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.1ns
603664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
603914 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
603914 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
603914 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
603914 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
604522 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
608952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.3s
608983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
608983 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.16ms