Dafny Program Verification on DafnyBench (test)
89.1Verification Rate (NoDiff)
SEVerA
Updated 23d ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
2026.03 | 89.1 | 89.1 | 0 | 25.6 | |
2026.03 | 81.6 | 84 | 8.2 | 20.1 | |
2026.03 | 79.2 | 84.8 | 7.9 | 18.4 | |
2026.03 | 68.7 | 71.1 | 10.3 | 10.3 |
SEVerA
| Method | Links | ||||
|---|---|---|---|---|---|
2026.03 | 89.1 | 89.1 | 0 | 25.6 | |
2026.03 | 81.6 | 84 | 8.2 | 20.1 | |
2026.03 | 79.2 | 84.8 | 7.9 | 18.4 | |
2026.03 | 68.7 | 71.1 | 10.3 | 10.3 |