Standard output
792633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
792633 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.5ns
792633 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
792890 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
792890 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
792890 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
792890 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
793761 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
799545 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.92s
799592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
799592 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.41ms