Neural Network Verification on acasxu VNN-COMP
150.25Verification Time (s)Clip-and-Verify
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| Clip-and-Verifystrategy=Relaxed + Reorder2025.12 | 150.25 | 2,557,715 | 139 | |
| Clip-and-Verifystrategy=Relaxed clipping2025.12 | 151.37 | 3,124,100 | 139 | |
| Clip-and-Verifystrategy=Complete clipping2025.12 | 168.57 | 1,533,068 | 139 | |
| nnenum2025.12 | 213.41 | — | 139 | |
| α,β-CROWN2025.12 | 280.51 | 7,154,387 | 138 | |
| NeuralSAT2025.12 | 1,316.85 | — | 138 | |
| Marabou2025.12 | 1,342.03 | — | 134 | |
| Never22025.12 | 1,368.78 | — | 121 | |
| PyRAT2025.12 | 1,484.39 | — | 137 | |
| Cora2025.12 | 1,566.8 | — | 134 | |
| NNV2025.12 | 2,631.49 | — | 70 |