Standard output
723596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
723596 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.4ns
723612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
723784 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
723784 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
723784 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
723784 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
724650 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
729901 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.29s
729916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
729932 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.29ms