Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Information Flow Verification on vctr
Loading...
7.7
Runtime (s)
g-AoN
-2.004
63.498
129
194.502
Jun 20, 2026
Runtime (s)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Runtime (s)
g-AoN
Backend=rIC3, Time Bud...
2026.06
7.7
S+g-Maxl
Backend=rIC3, Time Bud...
2026.06
9.5
g-Maxl
Backend=rIC3, Time Bud...
2026.06
10.8
g-Maxm
Backend=rIC3, Time Bud...
2026.06
12.1
g-Hyb
Backend=rIC3, Time Bud...
2026.06
16.5
S+g-StSpl
Backend=rIC3, Time Bud...
2026.06
28
g-StSpl
Backend=rIC3, Time Bud...
2026.06
42.2
SecIC3 Best
Backend=rIC3, Time Bud...
2026.06
82.8
Base rIC3
Backend=rIC3, Time Bud...
2026.06
250.3
Feedback
Search any
task
Search any
task
