Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Information Flow Verification on normacc
Loading...
47
Runtime (seconds)
Base rIC3
46.436
50.243
54.05
57.857
Jun 20, 2026
Runtime (seconds)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Runtime (seconds)
Base rIC3
Backend=rIC3, Time Bud...
2026.06
47
SecIC3 Best
Backend=rIC3, Time Bud...
2026.06
48
g-Maxl
Backend=rIC3, Time Bud...
2026.06
48
g-AoN
Backend=rIC3, Time Bud...
2026.06
49
g-Maxm
Backend=rIC3, Time Bud...
2026.06
49
g-StSpl
Backend=rIC3, Time Bud...
2026.06
49
S+g-Maxl
Backend=rIC3, Time Bud...
2026.06
49
S+g-StSpl
Backend=rIC3, Time Bud...
2026.06
49
g-Hyb
Backend=rIC3, Time Bud...
2026.06
61.1
Feedback
Search any
task
Search any
task
