Standard output
721081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
721082 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 100.4ns
721082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
721281 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
721281 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
721282 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
721282 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
722070 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
727384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.3s
727412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
727416 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.06ms