Standard output
385358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
385358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116.4ns
385358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
385483 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
385483 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
385483 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
385483 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
385999 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
388904 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s
388920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
388951 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 779.3ns