Skip to main content

Table 3 Comparison of Eldarica configurations math and ilp32

From: Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic

  1. For each category, the table shows the number of safe/unsafe results, and for the solved cases the average time, the required number of CEGAR iterations, and the average size of computed interpolants. For \({*}\), after removing an outlier the number is 1.1, and \({**}\) becomes 1.3