Standard output
395244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
395244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116ns
395259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
395372 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
395372 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
395372 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
395372 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
395810 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
398730 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s
398761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
398761 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 918.5ns