Standard output
732489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
732489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.3ns
732489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
732692 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
732692 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
732692 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
732692 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
733401 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
738838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.34s
738870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
738870 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.16ms