Standard output
393273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
393273 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.9ns
393288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
393413 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
393413 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
393413 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
393413 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
393913 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
396946 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s
396978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
396993 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.29ms