Standard output
406939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
406939 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.5ns
406939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
407065 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
407065 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
407065 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
407065 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
407596 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
410378 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s
410394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
410409 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.24ms