Standard output
499619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
499619 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.6ns
499619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
499807 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
499807 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
499807 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
499807 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
500682 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
504685 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s
504716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
504732 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.55ms