Standard output
633084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
633084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.4ns
633099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
633365 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
633365 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
633365 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
633365 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
634131 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
638616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.52s
638647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
638647 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.42ms