Almost-sure reachability on Pursuit-Evasion Scenario 5
2.94Reachability TimePRISM-Qual
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| PRISM-QualStates=512, Trans=21952, Randomness Type=Shared2026.03 | 2.94 | — | |
| SAT-DirectStates=512, Trans=21952, Randomness Type=Individual2026.03 | 5.26 | — | |
| SAT-DirectStates=512, Trans=21952, Randomness Type=Shared2026.03 | 8.46 | — |