Standard output
483283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
483283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140ns
483283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
483409 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
483409 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
483409 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
483409 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
483909 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
487580 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s
487611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
487611 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 741.4ns