State Abstraction on Multi-Goal
1,600Abstract State Count
No Abstraction
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2026.05 | 1,600 | 100 | |
2026.05 | 1,583 | 99.8 | |
2026.05 | 280 | 96.5 | |
2026.05 | 40 | 99 | |
2026.05 | 35 | 99 | |
2026.05 | 32 | 99.1 | |
2026.05 | 8 | 99.1 |
No Abstraction
| Method | Links | ||
|---|---|---|---|
2026.05 | 1,600 | 100 | |
2026.05 | 1,583 | 99.8 | |
2026.05 | 280 | 96.5 | |
2026.05 | 40 | 99 | |
2026.05 | 35 | 99 | |
2026.05 | 32 | 99.1 | |
2026.05 | 8 | 99.1 |