State Abstraction on Corridor-9
196Abstract State Count
No Abstraction
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2026.05 | 196 | 100 | |
2026.05 | 157 | 99.6 | |
2026.05 | 92 | 99 | |
2026.05 | 88 | 99 | |
2026.05 | 85 | 99.1 | |
2026.05 | 48 | 97.2 | |
2026.05 | 9 | 99.2 |
No Abstraction
| Method | Links | ||
|---|---|---|---|
2026.05 | 196 | 100 | |
2026.05 | 157 | 99.6 | |
2026.05 | 92 | 99 | |
2026.05 | 88 | 99 | |
2026.05 | 85 | 99.1 | |
2026.05 | 48 | 97.2 | |
2026.05 | 9 | 99.2 |