Almost-sure reachability on Pursuit-Evasion Scenario 1
0.02Time TakenSAT-Direct
Evaluation results
| Method | Links | ||
|---|---|---|---|
| SAT-DirectStates=27, Trans=729, Randomness Type=Individual2026.03 | 0.02 | — | |
| SAT-DirectStates=27, Trans=729, Randomness Type=Shared2026.03 | 0.02 | — | |
| PRISM-QualStates=27, Trans=729, Randomness Type=Shared2026.03 | 1.62 | — |