Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Almost-sure reachability on Pursuit-Evasion Scenario 3
Loading...
0.29
Time (s)
SAT-Direct
0.246
0.543
0.84
1.137
Mar 7, 2026
Time (s)
Reachability Result
Updated 2mo ago
Evaluation Results
Method
Method
Links
Time (s)
Reachability Result
SAT-Direct
States=125, Trans=4913...
2026.03
0.29
-
SAT-Direct
States=125, Trans=4913...
2026.03
0.33
-
PRISM-Qual
States=125, Trans=4913...
2026.03
1.39
-
Feedback
Search any
task
Search any
task
