Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Almost-sure reachability on Pursuit-Evasion Scenario 6
Loading...
5.98
Time
PRISM-Qual
5.3976
9.3288
13.26
17.1912
Mar 7, 2026
Time
Reachability Result
Updated 2mo ago
Evaluation Results
Method
Method
Links
Time
Reachability Result
PRISM-Qual
States=1000, Trans=466...
2026.03
5.98
-
SAT-Direct
States=1000, Trans=466...
2026.03
19.93
-
SAT-Direct
States=1000, Trans=466...
2026.03
20.54
-
Feedback
Search any
task
Search any
task
