Standard output
410734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
410734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.9ns
410734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
410859 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
410859 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
410859 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
410859 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
411328 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
414377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s
414408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
414408 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.45ms