Standard output
474255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
474255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.1ns
474255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
474396 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
474396 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
474396 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
474396 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
475068 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
478511 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s
478531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
478531 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.04ms