Standard output
452020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
452020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 94.2ns
452020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
452145 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
452145 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
452145 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
452145 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
452776 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
456039 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.02s
456065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
456068 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.14ms