Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Information Flow Verification on SecIC3 Cache (G6)
Loading...
16
Runtime (seconds)
g-StSpl
-53.172
413.739
880.65
1,347.561
Jun 20, 2026
Runtime (seconds)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Runtime (seconds)
g-StSpl
Backend=ABC-PDR, Confi...
2026.06
16
S+g-StSpl
Backend=ABC-PDR, Confi...
2026.06
16
g-Hyb
Backend=ABC-PDR, Confi...
2026.06
17
S+g-Maxl
Backend=ABC-PDR, Confi...
2026.06
63.6
SecIC3 Best
Backend=ABC-PDR, Confi...
2026.06
150.8
g-Maxl
Backend=ABC-PDR, Confi...
2026.06
169.9
g-Maxm
Backend=ABC-PDR, Confi...
2026.06
170.1
g-AoN
Backend=ABC-PDR, Confi...
2026.06
174.8
PDR
Backend=ABC-PDR, Confi...
2026.06
1,745.3
Feedback
Search any
task
Search any
task
