# Neural Network Verification on oval VNN-COMP 2022

Source: [Neural Network Verification on oval VNN-COMP 2022](<https://www.sota2.com/research/sota/neural-network-verification-on-oval-vnn-comp-2022>)

Collection index: [llms.txt](<https://www.sota2.com/research/llms.txt>)

Data updated: 2026-02-26T06:08:14.637Z

Evaluation of Neural Network Verification performance on the oval VNN-COMP 2022 dataset, reporting verification time and the count of verified properties.

A research result applies to its stated dataset, split, metric and evaluation configuration. Compare like-for-like settings, preserve the metric's unit and direction, and distinguish paper-reported results from independent reproduction. The best result recorded here is not a claim of exhaustive, current global coverage.

| Scope | Recorded value |
| --- | --- |
| Task | Neural Network Verification |
| Dataset (including any stated split) | oval VNN-COMP 2022 |
| Metric | Verification Time (s) |
| Unit | TIME |
| Direction | Lower is better |
| Results loaded | 10 of 10 |
| Coverage | All results currently returned for this benchmark |

Evaluation settings may differ between results. The original papers and recorded configurations are needed to establish comparability. A shared metric name alone does not establish an identical protocol.

## Metrics

- [Verification Time (s)](<https://www.sota2.com/research/sota/neural-network-verification-on-oval-vnn-comp-2022.md?metric=Verification%20Time%20(s)>): Lower is better; unit: TIME.

- [Verified Properties Count](<https://www.sota2.com/research/sota/neural-network-verification-on-oval-vnn-comp-2022.md?metric=Verified%20Properties%20Count>): Higher is better; unit: SCALAR.

## Recorded results

| Method | Verification Time (s) | Result date | Report paper |
| --- | --- | --- | --- |
| beta-CROWN | 23.26 | Not recorded | 68fa5cc91e209131ce9d452a |
| GCP-CROWN | 32.12 | Not recorded | 68fa5cc91e209131ce9d452a |
| BICCOS | 59.84 | Not recorded | 68fa5cc91e209131ce9d452a |
| VeriNet | 73.65 | Not recorded | 68fa5cc91e209131ce9d452a |
| MN-BaB | 137.13 | Not recorded | 68fa5cc91e209131ce9d452a |
| ERAN | 233.84 | Not recorded | 68fa5cc91e209131ce9d452a |
| Venus2 | 386.71 | Not recorded | 68fa5cc91e209131ce9d452a |
| OVAL | 393.14 | Not recorded | 68fa5cc91e209131ce9d452a |
| Marabou | 429.13 | Not recorded | 68fa5cc91e209131ce9d452a |
| nnenum | 630.06 | Not recorded | 68fa5cc91e209131ce9d452a |

### beta-CROWN

Verification Time (s): 23.26. Result ID: 698bb7e17a967eddb770d77d.

[Reporting paper](<https://www.sota2.com/research/paper/68fa5cc91e209131ce9d452a.md>)

[Method origin paper](<https://www.sota2.com/research/paper/68fa65031e209131cea07e5a.md>)

Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction.

### GCP-CROWN

Verification Time (s): 32.12. Result ID: 698bb7e17a967eddb770d77e.

[Reporting paper](<https://www.sota2.com/research/paper/68fa5cc91e209131ce9d452a.md>)

[Method origin paper](<https://www.sota2.com/research/paper/68fa59d41e209131ce9baab1.md>)

Recorded evaluation configuration: {"MIP cuts":true}. This record does not assert independent reproduction.

### BICCOS

Verification Time (s): 59.84. Result ID: 698bb7e17a967eddb770d77f.

[Reporting paper](<https://www.sota2.com/research/paper/68fa5cc91e209131ce9d452a.md>)

[Method origin paper](<https://www.sota2.com/research/paper/68fa5cc91e209131ce9d452a.md>)

[Implementation](<https://github.com/Lemutisme/BICCOS>)

Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction.

### VeriNet

Verification Time (s): 73.65. Result ID: 698bb7e17a967eddb770d77b.

[Reporting paper](<https://www.sota2.com/research/paper/68fa5cc91e209131ce9d452a.md>)

Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction.

### MN-BaB

Verification Time (s): 137.13. Result ID: 698bb7e17a967eddb770d77c.

[Reporting paper](<https://www.sota2.com/research/paper/68fa5cc91e209131ce9d452a.md>)

[Method origin paper](<https://www.sota2.com/research/paper/68fa6c7a1e209131cea342fe.md>)

Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction.

### ERAN

Verification Time (s): 233.84. Result ID: 698bb7e17a967eddb770d778.

[Reporting paper](<https://www.sota2.com/research/paper/68fa5cc91e209131ce9d452a.md>)

[Method origin paper](<https://www.sota2.com/research/paper/68fa6be31e209131cea30ecb.md>)

Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction.

### Venus2

Verification Time (s): 386.71. Result ID: 698bb7e17a967eddb770d77a.

[Reporting paper](<https://www.sota2.com/research/paper/68fa5cc91e209131ce9d452a.md>)

Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction.

### OVAL

Verification Time (s): 393.14. Result ID: 698bb7e17a967eddb770d779.

[Reporting paper](<https://www.sota2.com/research/paper/68fa5cc91e209131ce9d452a.md>)

[Method origin paper](<https://www.sota2.com/research/paper/68fa69b71e209131cea23ae7.md>)

Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction.

### Marabou

Verification Time (s): 429.13. Result ID: 698bb7e17a967eddb770d777.

[Reporting paper](<https://www.sota2.com/research/paper/68fa5cc91e209131ce9d452a.md>)

Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction.

### nnenum

Verification Time (s): 630.06. Result ID: 698bb7e17a967eddb770d776.

[Reporting paper](<https://www.sota2.com/research/paper/68fa5cc91e209131ce9d452a.md>)

Recorded evaluation configuration: Not recorded. This record does not assert independent reproduction.

Page 1 of 1. This is an index page, not the full collection.