Standard output
432683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
432683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.8ns
432684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
432807 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
432807 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
432808 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
432808 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
433325 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
436595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.91s
436616 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
436620 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.94ms