Standard output
555462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
555462 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.1ns
555478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
555712 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
555712 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
555712 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
555712 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
556603 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
560621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s
560668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
560668 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.08ms