Standard output
503586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
503587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 720.61ns
503588 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
503746 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
503747 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
503748 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
503748 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
504370 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
508116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.53s
508145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
508148 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 950.51ns