Standard output
525634 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
525634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 545.7ns
525650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
525806 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
525806 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
525806 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
525806 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
526494 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
530419 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s
530450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
530466 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.18ms