Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Information Flow Verification on SecIC3 - SecEnclave G10
Loading...
2.1
Runtime (seconds)
SecIC3 Best
2.076
2.238
2.4
2.562
Jun 20, 2026
Runtime (seconds)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Runtime (seconds)
SecIC3 Best
Backend=ABC-PDR, Confi...
2026.06
2.1
S+g-Maxl
Backend=ABC-PDR, Confi...
2026.06
2.1
g-AoN
Backend=ABC-PDR, Confi...
2026.06
2.2
g-Maxl
Backend=ABC-PDR, Confi...
2026.06
2.2
g-Hyb
Backend=ABC-PDR, Confi...
2026.06
2.2
PDR
Backend=ABC-PDR, Confi...
2026.06
2.4
g-Maxm
Backend=ABC-PDR, Confi...
2026.06
2.4
S+g-StSpl
Backend=ABC-PDR, Confi...
2026.06
2.5
g-StSpl
Backend=ABC-PDR, Confi...
2026.06
2.7
Feedback
Search any
task
Search any
task
