Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Policy Synthesis on arenas Rmin 16
Loading...
152.75
Execution Time (s)
SHARP
147.0388
185.5894
224.14
262.6906
Jun 21, 2025
Execution Time (s)
Speedup
Updated 1mo ago
Evaluation Results
Method
Method
Links
Execution Time (s)
Speedup
SHARP
States=788K, Type=Sequ...
2025.06
152.75
1.93
PRISM
States=788K, Type=Sequ...
2025.06
295.53
-
Feedback
Search any
task
Search any
task
