Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Almost-sure reachability on Pursuit-Evasion Scenario 1
Loading...
0.02
Time Taken
SAT-Direct
-0.044
0.388
0.82
1.252
Mar 7, 2026
Time Taken
Reachability Result
Updated 2mo ago
Evaluation Results
Method
Method
Links
Time Taken
Reachability Result
SAT-Direct
States=27, Trans=729,...
2026.03
0.02
-
SAT-Direct
States=27, Trans=729,...
2026.03
0.02
-
PRISM-Qual
States=27, Trans=729,...
2026.03
1.62
-
Feedback
Search any
task
Search any
task