Hardware Model Checking on Industry Benchmark
225Number SolvedIC3-Evolve
Evaluation results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| IC3-Evolve2026.01 | 225 | 302 | 36 | 189 | 1,044.26 | |
| IC3ref-CaDiCaL2026.01 | 198 | 302 | 38 | 160 | 1,302.13 | |
| IC3ref2026.01 | 187 | 302 | 39 | 148 | 1,403.31 | |
| ABC2026.01 | 185 | 302 | 36 | 149 | 1,417.5 | |
| rIC3-CaDiCaL2026.01 | 182 | 302 | 36 | 146 | 1,449.78 |