Neural Network Verification on CIFAR-10 Base
118.23Verification Time (s)β-CROWN FSB
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| β-CROWN FSBbranching_heuristic=FSB2021.03 | 118.23 | 208,018.21 | 3 | |
| β-CROWN BaBSRbranching_heuristic=BaBSR2021.03 | 226.06 | 509,608.5 | 6 | |
| BaDNB (BDD+ FSB)2021.03 | 309.29 | 38,239.04 | 7 | |
| A.set BaBSR2021.03 | 381.78 | 12,004.6 | 7 | |
| BigM+A.set BaBSR2021.03 | 390.44 | 11,938.75 | 7 | |
| OVAL (BDD+ GNN)2021.03 | 662.17 | 67,938.38 | 16 | |
| Fast-and-Complete2021.03 | 695.01 | 119,522.65 | 17 | |
| ERAN2021.03 | 805.94 | — | 5 | |
| BDD+ BaBSR2021.03 | 807.91 | 195,480.14 | 20 | |
| GNN-online2021.03 | 1,794.85 | 565.13 | 33 | |
| BaBSR2021.03 | 2,367.78 | 1,020.55 | 36 | |
| MIPplanet2021.03 | 2,849.69 | — | 68 |