Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Policy Synthesis on firewire Rmin
Loading...
0.038
Execution Time (s)
PRISM
0.03204
0.07227
0.1125
0.15273
Jun 21, 2025
Execution Time (s)
Speedup (x)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Execution Time (s)
Speedup (x)
PRISM
States=4K, Type=Protoc...
2025.06
0.038
-
SHARP
States=4K, Type=Protoc...
2025.06
0.187
0.2
Feedback
Search any
task
Search any
task
