Standard output
468104 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
468104 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.8ns
468105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
468269 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
468270 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
468271 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
468271 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
468911 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
472307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s
472335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
472339 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.17ms