Neural Network Verification on CIFAR-10 Deep
5.69Verification Time (s)β-CROWN FSB
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| β-CROWN FSBbranching_heuristic=FSB2021.03 | 5.69 | 41.12 | 0 | |
| β-CROWN BaBSRbranching_heuristic=BaBSR2021.03 | 6.12 | 204.66 | 0 | |
| BaDNB (BDD+ FSB)2021.03 | 10.5 | 368.16 | 0 | |
| OVAL (BDD+ GNN)2021.03 | 94.69 | 1,990.34 | 1 | |
| Fast-and-Complete2021.03 | 105.64 | 2,455.11 | 1 | |
| BigM+A.set BaBSR2021.03 | 177.22 | 3,275.25 | 2 | |
| A.set BaBSR2021.03 | 190.28 | 2,491.55 | 2 | |
| BDD+ BaBSR2021.03 | 266.28 | 12,722.74 | 4 | |
| ERAN2021.03 | 545.72 | — | 0 | |
| GNN-online2021.03 | 1,055.33 | 131.85 | 4 | |
| MIPplanet2021.03 | 2,302.25 | — | 40 | |
| BaBSR2021.03 | 2,750.75 | 401.28 | 39 |