Almost-sure reachability on Pursuit-Evasion Scenario 7
42.27Time TakenPRISM-Qual
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| PRISM-QualStates=1728, Trans=97336, Randomness Type=Shared2026.03 | 42.27 | — | |
| SAT-DirectStates=1728, Trans=97336, Randomness Type=Shared2026.03 | 58.45 | — | |
| SAT-DirectStates=1728, Trans=97336, Randomness Type=Individual2026.03 | 93.7 | — |