Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Information Flow Verification on Multiplier
Loading...
0.1
Runtime (s)
SecIC3 Best
0.016
0.583
1.15
1.717
Jun 20, 2026
Runtime (s)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Runtime (s)
SecIC3 Best
Backend=rIC3, Time Bud...
2026.06
0.1
g-AoN
Backend=rIC3, Time Bud...
2026.06
0.1
g-Maxl
Backend=rIC3, Time Bud...
2026.06
0.1
g-Maxm
Backend=rIC3, Time Bud...
2026.06
0.1
g-Hyb
Backend=rIC3, Time Bud...
2026.06
0.1
S+g-Maxl
Backend=rIC3, Time Bud...
2026.06
0.1
S+g-StSpl
Backend=rIC3, Time Bud...
2026.06
1.1
Base rIC3
Backend=rIC3, Time Bud...
2026.06
2.1
g-StSpl
Backend=rIC3, Time Bud...
2026.06
2.2
Feedback
Search any
task
Search any
task
