Standard output
487100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
487100 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.4ns
487100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
487272 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
487272 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
487272 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
487272 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
487866 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
491566 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.46s
491582 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
491598 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.2ms