Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Information Flow Verification on Rocket
Loading...
5.4
Runtime (seconds)
SecIC3 Best
-19.184
146.758
312.7
478.642
Jun 20, 2026
Runtime (seconds)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Runtime (seconds)
SecIC3 Best
Backend=rIC3, Time Bud...
2026.06
5.4
Base rIC3
Backend=rIC3, Time Bud...
2026.06
8.3
g-Maxl
Backend=rIC3, Time Bud...
2026.06
123.2
S+g-StSpl
Backend=rIC3, Time Bud...
2026.06
147.3
g-AoN
Backend=rIC3, Time Bud...
2026.06
164.2
g-StSpl
Backend=rIC3, Time Bud...
2026.06
182
g-Hyb
Backend=rIC3, Time Bud...
2026.06
189.7
g-Maxm
Backend=rIC3, Time Bud...
2026.06
226.5
S+g-Maxl
Backend=rIC3, Time Bud...
2026.06
620
Feedback
Search any
task
Search any
task
