Standard output
538859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
538859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.3ns
538859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
539030 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
539046 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
539047 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
539047 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
539703 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
543613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.75s
543644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
543659 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.5ms