Standard output
782880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
782880 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.5ns
782896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
783182 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
783182 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
783182 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
783182 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
784188 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
789989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.1s
790020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
790036 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.25ms