Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Information Flow Verification on Cache
Loading...
6.8
Runtime (s)
S+g-Maxl
3.204
27.477
51.75
76.023
Jun 20, 2026
Runtime (s)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Runtime (s)
S+g-Maxl
Backend=rIC3, Time Bud...
2026.06
6.8
S+g-StSpl
Backend=rIC3, Time Bud...
2026.06
6.8
g-Maxl
Backend=rIC3, Time Bud...
2026.06
7.3
g-AoN
Backend=rIC3, Time Bud...
2026.06
8.8
g-StSpl
Backend=rIC3, Time Bud...
2026.06
9.2
g-Maxm
Backend=rIC3, Time Bud...
2026.06
12.3
Base rIC3
Backend=rIC3, Time Bud...
2026.06
15
SecIC3 Best
Backend=rIC3, Time Bud...
2026.06
69.4
g-Hyb
Backend=rIC3, Time Bud...
2026.06
96.7
Feedback
Search any
task
Search any
task
