Standard output
609588 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
609588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.9ns
609604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
609760 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
609760 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
609776 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
609776 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
610432 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
614849 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s
614881 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
614896 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.74ms