Standard output
678417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
678417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.9ns
678417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
678667 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
678683 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
678683 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
678683 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
679614 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
684776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.36s
684808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
684823 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.18ms