Standard output
448133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
448133 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 341.61ns
448134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
448283 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
448284 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
448285 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
448285 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
448822 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
452314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s
452339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
452342 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 772.53ns