Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Policy Synthesis on arenas8 Rmin
Loading...
2.29
Execution Time (s)
PRISM
2.264
2.4395
2.615
2.7905
Jun 21, 2025
Execution Time (s)
Speedup Factor
Updated 1mo ago
Evaluation Results
Method
Method
Links
Execution Time (s)
Speedup Factor
PRISM
States=53K, Type=Seque...
2025.06
2.29
-
SHARP
States=53K, Type=Seque...
2025.06
2.94
0.78
Feedback
Search any
task
Search any
task
