Information Flow Verification on FP_ADD
15.4Runtime (seconds)S+g-Maxl
Evaluation Results
| Method | Links | |
|---|---|---|
| S+g-MaxlBackend=rIC3, Time Budget=1800s, Guarded Mode=g-Maxl, Symmetry=Enabled2026.06 | 15.4 | |
| g-HybBackend=rIC3, Time Budget=1800s, Guarded Mode=g-Hyb2026.06 | 16.6 | |
| S+g-StSplBackend=rIC3, Time Budget=1800s, Guarded Mode=g-StSpl, Symmetry=Enabled2026.06 | 20.6 | |
| g-MaxmBackend=rIC3, Time Budget=1800s, Guarded Mode=g-Maxm, Symmetry=Disabled2026.06 | 28.1 | |
| g-AoNBackend=rIC3, Time Budget=1800s, Guarded Mode=g-AoN, Symmetry=Disabled2026.06 | 30.8 | |
| g-MaxlBackend=rIC3, Time Budget=1800s, Guarded Mode=g-Maxl, Symmetry=Disabled2026.06 | 33.6 | |
| SecIC3 BestBackend=rIC3, Time Budget=1800s, Config=Best reproduced SecIC3-style2026.06 | 43.1 | |
| g-StSplBackend=rIC3, Time Budget=1800s, Guarded Mode=g-StSpl, Symmetry=Disabled2026.06 | 88.3 | |
| Base rIC3Backend=rIC3, Time Budget=1800s, Guarded Mode=None2026.06 | 201.9 |