Standard output
493510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
493510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.2ns
493525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
493697 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
493697 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
493697 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
493697 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
494401 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
498280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.76s
498311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
498311 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.01ms