Standard output
549489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
549489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.6ns
549489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
549723 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
549723 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
549723 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
549723 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
550427 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
554478 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s
554509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
554525 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.44ms