Standard output
406793 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
406793 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.5ns
406808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
406965 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
406965 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
406965 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
406965 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
407527 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
410453 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s
410484 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
410484 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.01ms