Standard output
403073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
403073 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.8ns
403073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
403214 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
403214 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
403214 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
403214 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
403699 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
406703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s
406734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
406734 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.89ms