Standard output
483388 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
483388 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.7ns
483388 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
483513 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
483513 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
483513 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
483513 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
484060 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
487626 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s
487657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
487657 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.28ms