| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| MNIST Deep first 1000 images (val) | BDD+ | Relative Verification Bound-11.5 | 13 | 5mo ago | |
| MNIST FFNet first 1000 images (val) | BDD+ | Relative Verification Bound-6.5 | 13 | 5mo ago | |
| Float Multiplier | Saarthi | Assertion Count57 | 9 | 4mo ago | |
| CIC Decimator | Saarthi | Assertion Count37 | 9 | 4mo ago | |
| AXI4Lite | Saarthi | Assertion Count139 | 9 | 4mo ago | |
| Memory Scheduler | Saarthi | Assertion Count29 | 9 | 4mo ago | |
| Automotive IP | Saarthi | Assertion Count76 | 9 | 4mo ago | |
| ECC | Saarthi | Assertion Count48 | 9 | 4mo ago | |
| SV-COMP (#=47) | Lemur-GPT-4 | Solved Tasks25 | 8 | 5mo ago | |
| Code2Inv (#=133) (test) | Lemur-GPT-4 | Solved Tasks107 | 8 | 5mo ago | |
| VeruSAGE-Bench | STRACE | IronKV Accuracy62.5 | 7 | 17d ago | |
| MNIST Wide first 1000 images (val) | BDD+ | Relative Verification Bound-5.4 | 7 | 5mo ago | |
| SV-COMP (#=1,000) (full) | Solved Tasks374 | 6 | 5mo ago | ||
| VeriBench | POLCA | Pass Rate95.2 | 4 | 4mo ago | |
| DNSSEC Cache - Core Func. | DNSSECVerif | Verification Time (h)1.1 | 4 | 5mo ago | |
| DNSSEC Denial Auth. - NSEC | DNSSECVerif | Time (s)9.87 | 3 | 5mo ago | |
| DNSSEC Data Auth. & Integrity | DNSSECVerif | Verification Time (h)10 | 3 | 5mo ago | |
| Document Sharing workflow | Semantic Gateway | Hidden Transition Discovery Rate100 | 2 | 2mo ago | |
| DNSSEC Cache - Liveness | DNSSECVerif | Verification Time (min)27 | 2 | 5mo ago | |
| DNSSEC Cache Consistency | DNSSECVerif | Verification Time (h)2.6 | 2 | 5mo ago | |
| traffic_light_safe 21 rungs 8 props | ESBMC-PLC | Verification Time (s)0.04 | 1 | 1mo ago | |
| conveyor_sequencing 5 rungs, 3 props | ESBMC-PLC | Verification Time (s)0.04 | 1 | 1mo ago | |
| motor_interlock 2 rungs, 3 props | ESBMC-PLC | Verification Time (s)0.05 | 1 | 1mo ago | |
| Smart Contracts | QANARY | Verification Target Pattern3 | 1 | 1mo ago | |
| Nomad-style Zero-Root Init (T3) | COBALT-TLA | Iterations1 | 1 | 3mo ago |
