Neural Network Verification on nn4sys VNN-COMP
22.88Verification Time (s)
Cora
Updated 1mo ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2025.12 | 22.88 | - | 2 | |
2025.12 | 151.31 | - | 24 | |
2025.12 | 167.55 | - | 22 | |
2025.12 | 704.55 | - | 53 | |
2025.12 | 1,166.08 | 2,300,894 | 194 | |
2025.12 | 1,193.89 | 2,691,750 | 194 | |
2025.12 | 1,580.66 | 4,440,252 | 194 | |
2025.12 | 2,846.06 | 2,141,288 | 194 |