Standard output
361337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
361337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 102.4ns
361338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
361439 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
361439 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
361440 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
361440 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
361940 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
364577 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s
364599 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
364602 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 843.41ns