Standard output
481496 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
481496 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.6ns
481499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
481705 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
481705 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
481705 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
481705 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
482236 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
485781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s
485812 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
485812 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 927.1ns