Hardware Model Checking on HWMCC Set A
92Solved CountIC3-Evolve
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| IC3-Evolve2026.01 | 92 | 100 | 24 | 68 | 490.67 | |
| ABC2026.01 | 86 | 100 | 22 | 64 | 665.59 | |
| rIC3-CaDiCaL2026.01 | 86 | 100 | 21 | 65 | 639.61 | |
| IC3ref-CaDiCaL2026.01 | 85 | 100 | 22 | 63 | 718.87 | |
| IC3ref2026.01 | 75 | 100 | 21 | 54 | 1,050.61 |