Neural Network Verification on acasxu VNN-COMP
150.25Verification Time (s)
Clip-and-Verify
Updated 1mo ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2025.12 | 150.25 | 2,557,715 | 139 | |
2025.12 | 151.37 | 3,124,100 | 139 | |
2025.12 | 168.57 | 1,533,068 | 139 | |
2025.12 | 213.41 | - | 139 | |
2025.12 | 280.51 | 7,154,387 | 138 | |
2025.12 | 1,316.85 | - | 138 | |
2025.12 | 1,342.03 | - | 134 | |
2025.12 | 1,368.78 | - | 121 | |
2025.12 | 1,484.39 | - | 137 | |
2025.12 | 1,566.8 | - | 134 | |
2025.12 | 2,631.49 | - | 70 |