Standard output
480035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
480036 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 355.9ns
480037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
480250 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
480250 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
480252 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
480252 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
480874 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
484560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.52s
484585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
484589 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.03ms