Standard output
751051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
751052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 603.7ns
751055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
751271 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
751271 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
751271 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
751271 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
752276 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
757724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.68s
757755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
757755 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.31ms