Almost-sure reachability on Pursuit-Evasion Scenario 2
0.09TimeSAT-Direct
Evaluation results
| Method | Links | ||
|---|---|---|---|
| SAT-DirectStates=64, Trans=1728, Randomness Type=Individual2026.03 | 0.09 | — | |
| SAT-DirectStates=64, Trans=1728, Randomness Type=Shared2026.03 | 0.09 | — | |
| PRISM-QualStates=64, Trans=1728, Randomness Type=Shared2026.03 | 1.42 | — |