Standard output
410527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
410527 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.2ns
410527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
410683 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
410683 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
410683 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
410683 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
411157 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
414201 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s
414233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
414233 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.08ms