Neural Network Verification on nn4sys VNN-COMP
22.88Verification Time (s)Cora
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| Cora2025.12 | 22.88 | — | 2 | |
| Marabou2025.12 | 151.31 | — | 24 | |
| nnenum2025.12 | 167.55 | — | 22 | |
| PyRAT2025.12 | 704.55 | — | 53 | |
| Clip-and-Verifystrategy=Relaxed + Reorder2025.12 | 1,166.08 | 2,300,894 | 194 | |
| Clip-and-Verifystrategy=Relaxed clipping2025.12 | 1,193.89 | 2,691,750 | 194 | |
| α,β-CROWN2025.12 | 1,580.66 | 4,440,252 | 194 | |
| Clip-and-Verifystrategy=Complete clipping2025.12 | 2,846.06 | 2,141,288 | 194 |