Standard output
452953 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
452954 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.41ns
452955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
453109 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
453109 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
453112 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
453112 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
453694 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
457181 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s
457227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
457230 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 897.83ns