Standard output
387084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
387084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 102ns
387084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
387193 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
387193 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
387193 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
387193 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
387616 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
390533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s
390549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
390565 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 803.8ns