Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Information Flow Verification on SecIC3 FP_MUL G12
Loading...
9
Runtime (s)
g-StSpl
8.76
10.38
12
13.62
Jun 20, 2026
Runtime (s)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Runtime (s)
g-StSpl
Backend=ABC-PDR, Confi...
2026.06
9
S+g-StSpl
Backend=ABC-PDR, Confi...
2026.06
9
S+g-Maxl
Backend=ABC-PDR, Confi...
2026.06
11
g-AoN
Backend=ABC-PDR, Confi...
2026.06
12
g-Maxl
Backend=ABC-PDR, Confi...
2026.06
12
g-Maxm
Backend=ABC-PDR, Confi...
2026.06
12
g-Hyb
Backend=ABC-PDR, Confi...
2026.06
12
PDR
Backend=ABC-PDR, Confi...
2026.06
13
SecIC3 Best
Backend=ABC-PDR, Confi...
2026.06
15
Feedback
Search any
task
Search any
task
