State Abstraction on Corridor-Rooms-4 (|S|=64)
64Abstract State Count
No Abstraction
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2026.05 | 64 | 100 | |
2026.05 | 47 | 99.3 | |
2026.05 | 22 | 97.9 | |
2026.05 | 18 | 99 | |
2026.05 | 17 | 99 | |
2026.05 | 16 | 99.1 | |
2026.05 | 4 | 99.1 |
No Abstraction
| Method | Links | ||
|---|---|---|---|
2026.05 | 64 | 100 | |
2026.05 | 47 | 99.3 | |
2026.05 | 22 | 97.9 | |
2026.05 | 18 | 99 | |
2026.05 | 17 | 99 | |
2026.05 | 16 | 99.1 | |
2026.05 | 4 | 99.1 |