Standard output
470056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
470056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.9ns
470056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
470195 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
470196 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
470196 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
470196 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
470778 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
474361 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s
474414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
474426 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ms