Bug Reachability on DS1 (custom oracles)
93Total Bugs Detected
Belobog
Updated 1mo ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
2025.12 | 93 | 9 | 42 | 42 | |
2025.12 | 6 | 2 | 2 | 2 | |
2025.12 | 5 | 0 | 2 | 3 | |
2025.12 | 5 | 0 | 3 | 2 | |
2025.12 | 5 | 0 | 0 | 5 | |
2025.12 | 4 | 2 | 2 | 0 | |
2025.12 | 4 | 0 | 1 | 3 | |
2025.12 | 4 | 0 | 1 | 3 | |
2025.12 | 4 | 0 | 2 | 2 | |
2025.12 | 4 | 0 | 3 | 1 | |
2025.12 | 3 | 0 | 0 | 3 | |
2025.12 | 3 | 1 | 1 | 1 | |
2025.12 | 3 | 0 | 2 | 1 | |
2025.12 | 3 | 0 | 1 | 2 | |
2025.12 | 3 | 1 | 2 | 0 | |
2025.12 | 3 | 0 | 1 | 2 | |
2025.12 | 3 | 0 | 3 | 0 | |
2025.12 | 3 | 0 | 2 | 1 | |
2025.12 | 3 | 0 | 1 | 2 | |
2025.12 | 2 | 0 | 1 | 1 | |
2025.12 | 2 | 0 | 1 | 1 | |
2025.12 | 2 | 1 | 1 | 0 | |
2025.12 | 2 | 0 | 0 | 2 | |
2025.12 | 2 | 0 | 2 | 0 | |
2025.12 | 2 | 0 | 0 | 2 | |
2025.12 | 2 | 0 | 1 | 1 | |
2025.12 | 2 | 0 | 1 | 1 | |
2025.12 | 2 | 0 | 2 | 0 | |
2025.12 | 2 | 0 | 2 | 0 | |
2025.12 | 1 | 0 | 0 | 1 | |
2025.12 | 1 | 0 | 1 | 0 | |
2025.12 | 1 | 0 | 0 | 1 | |
2025.12 | 1 | 1 | 0 | 0 | |
2025.12 | 1 | 0 | 0 | 1 | |
2025.12 | 1 | 1 | 0 | 0 | |
2025.12 | 1 | 0 | 1 | 0 | |
2025.12 | 1 | 0 | 1 | 0 | |
2025.12 | 1 | 0 | 1 | 0 | |
2025.12 | 1 | 0 | 0 | 1 | |
2025.12 | 1 | 0 | 0 | 1 | |
2025.12 | 0 | 0 | 0 | 0 | |
2025.12 | 0 | 0 | 0 | 0 |