Standard output
466101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
466101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.5ns
466117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
466290 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
466290 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
466290 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
466290 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
466793 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
470289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s
470321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
470321 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 982.3ns