Standard output
685650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/ossRestriction.proof
685650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.7ns
685652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
685860 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
685860 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
685861 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
685861 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
686680 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
691841 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.19s
691870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
691874 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.1ms