Neural Network Verification on CIFAR-10 Wide
78.32Verification Time (s)β-CROWN FSB
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| β-CROWN FSBbranching_heuristic=FSB2021.03 | 78.32 | 116,912.57 | 2 | |
| β-CROWN BaBSRbranching_heuristic=BaBSR2021.03 | 118.26 | 217,691.24 | 3 | |
| BaDNB (BDD+ FSB)2021.03 | 165.53 | 11,214.44 | 4 | |
| A.set BaBSR2021.03 | 165.91 | 2,233.1 | 3 | |
| BigM+A.set BaBSR2021.03 | 172.65 | 4,050.59 | 3 | |
| OVAL (BDD+ GNN)2021.03 | 280.38 | 17,895.94 | 6 | |
| Fast-and-Complete2021.03 | 495.88 | 80,519.85 | 9 | |
| BDD+ BaBSR2021.03 | 505.65 | 74,203.11 | 10 | |
| ERAN2021.03 | 632.2 | — | 9 | |
| GNN-online2021.03 | 1,367.38 | 372.74 | 15 | |
| MIPplanet2021.03 | 2,417.53 | — | 46 | |
| BaBSR2021.03 | 2,871.14 | 812.65 | 49 |