| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| MNIST Deep first 1000 images (val) | BDD+ | Relative Verification Bound-11.5 | 13 | 4d ago | |
| MNIST FFNet first 1000 images (val) | BDD+ | Relative Verification Bound-6.5 | 13 | 4d ago | |
| SV-COMP (#=47) | Lemur-GPT-4 | Solved Tasks25 | 8 | 4d ago | |
| Code2Inv (#=133) (test) | Lemur-GPT-4 | Solved Tasks107 | 8 | 4d ago | |
| MNIST Wide first 1000 images (val) | BDD+ | Relative Verification Bound-5.4 | 7 | 4d ago | |
| SV-COMP (#=1,000) (full) | Solved Tasks374 | 6 | 4d ago | ||
| DNSSEC Cache - Core Func. | DNSSECVerif | Verification Time (h)1.1 | 4 | 4d ago | |
| DNSSEC Denial Auth. - NSEC | DNSSECVerif | Time (s)9.87 | 3 | 4d ago | |
| DNSSEC Data Auth. & Integrity | DNSSECVerif | Verification Time (h)10 | 3 | 4d ago | |
| DNSSEC Cache - Liveness | DNSSECVerif | Verification Time (min)27 | 2 | 4d ago | |
| DNSSEC Cache Consistency | DNSSECVerif | Verification Time (h)2.6 | 2 | 4d ago | |
| DNSSEC Mixed NSEC NSEC3 | DNSSECVerif | Verification Time (s)109 | 1 | 4d ago | |
| DNSSEC Chain of Trust | DNSSECVerif | Verification Time (h)17 | 1 | 4d ago | |
| DNSSEC Denial Auth. - NSEC3 | - | - | 0 | 4d ago |
