Standard output
536739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
536739 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.7ns
536739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
536927 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
536927 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
536943 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
536943 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
537654 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
541523 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.79s
541554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
541570 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.14ms