Standard output
778036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
778036 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.8ns
778036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
778301 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
778301 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
778301 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
778301 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
779239 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
785179 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.13s
786476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
786523 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 52.13ms