Standard output
656075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
656075 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201ns
656075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
656294 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
656294 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
656294 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
656294 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
657139 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
662048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.97s
662126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
662126 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.1ms