Standard output
386381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
386381 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 55.9ns
386397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
386518 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
386518 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
386519 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
386519 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
387030 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
389783 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s
389804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
389807 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 897.21ns