Standard output
508258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
508258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.2ns
508258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
508477 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
508477 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
508477 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
508477 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
509079 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
512863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.6s
512894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
512894 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.25ms