Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Information Flow Verification on SecIC3 FP_DIV (G3)
Loading...
59
Runtime (s)
PDR
55.888
76.894
97.9
118.906
Jun 20, 2026
Runtime (s)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Runtime (s)
PDR
Backend=ABC-PDR, Confi...
2026.06
59
S+g-Maxl
Backend=ABC-PDR, Confi...
2026.06
59
SecIC3 Best
Backend=ABC-PDR, Confi...
2026.06
65
g-AoN
Backend=ABC-PDR, Confi...
2026.06
66
g-Maxl
Backend=ABC-PDR, Confi...
2026.06
66
g-Maxm
Backend=ABC-PDR, Confi...
2026.06
66
g-StSpl
Backend=ABC-PDR, Confi...
2026.06
80
S+g-StSpl
Backend=ABC-PDR, Confi...
2026.06
122.1
g-Hyb
Backend=ABC-PDR, Confi...
2026.06
136.8
Feedback
Search any
task
Search any
task
