Skip to main content

Table 4 Comparison of Eldarica configuration ilp32 and CPAchecker

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, and the required average number of CEGAR iterations