Hardware Model Checking on HWMCC Set B
94Solved CountIC3-Evolve
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| IC3-Evolve2026.01 | 94 | 100 | 28 | 66 | 464.56 | |
| rIC3-CaDiCaL2026.01 | 89 | 100 | 27 | 62 | 524.35 | |
| ABC2026.01 | 88 | 100 | 26 | 62 | 618.59 | |
| IC3ref-CaDiCaL2026.01 | 85 | 100 | 28 | 57 | 732.28 | |
| IC3ref2026.01 | 75 | 100 | 26 | 49 | 1,068.33 |