Standard output
807453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
807453 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.9ns
807469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
807735 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
807735 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
807735 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
807735 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
808688 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
814441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.97s
814472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
814472 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.2ms