Standard output
492099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
492099 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.7ns
492100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
492254 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
492255 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
492255 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
492256 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
492991 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
496718 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s
496748 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
496752 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.2ms