State Abstraction on Synth-Fold
5,000Abstract State Count
No Abstraction
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2026.05 | 5,000 | 100 | |
2026.05 | 42 | 99.1 | |
2026.05 | 28 | 95.8 | |
2026.05 | 25 | 99.1 | |
2026.05 | 24 | 99.2 | |
2026.05 | 22 | 99 | |
2026.05 | 10 | 99.3 |
No Abstraction
| Method | Links | ||
|---|---|---|---|
2026.05 | 5,000 | 100 | |
2026.05 | 42 | 99.1 | |
2026.05 | 28 | 95.8 | |
2026.05 | 25 | 99.1 | |
2026.05 | 24 | 99.2 | |
2026.05 | 22 | 99 | |
2026.05 | 10 | 99.3 |