Almost-sure reachability on Pursuit-Evasion Scenario 6
5.98TimePRISM-Qual
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| PRISM-QualStates=1000, Trans=46656, Randomness Type=Shared2026.03 | 5.98 | — | |
| SAT-DirectStates=1000, Trans=46656, Randomness Type=Shared2026.03 | 19.93 | — | |
| SAT-DirectStates=1000, Trans=46656, Randomness Type=Individual2026.03 | 20.54 | — |