Information Flow Verification on SecIC3 GCD (G1)
1.3Runtime (s)g-Maxm
Evaluation results
| Method | Links | |
|---|---|---|
| g-MaxmBackend=ABC-PDR, Configuration=Guarded Maximum, Budget=1800s2026.06 | 1.3 | |
| g-MaxlBackend=ABC-PDR, Configuration=Guarded Maximal, Budget=1800s2026.06 | 1.7 | |
| g-HybBackend=ABC-PDR, Configuration=Guarded Hybrid, Budget=1800s2026.06 | 1.7 | |
| g-AoNBackend=ABC-PDR, Configuration=Guarded AoN, Budget=1800s2026.06 | 1.8 | |
| S+g-MaxlBackend=ABC-PDR, Configuration=Symmetry + Guarded Maximal, Budget=1800s2026.06 | 3.3 | |
| g-StSplBackend=ABC-PDR, Configuration=Guarded State-split, Budget=1800s2026.06 | 5.8 | |
| SecIC3 BestBackend=ABC-PDR, Configuration=Best Reproduced, Budget=1800s2026.06 | 7.2 | |
| PDRBackend=ABC-PDR, Configuration=Base, Budget=1800s2026.06 | 10.7 | |
| S+g-StSplBackend=ABC-PDR, Configuration=Symmetry + Guarded State-split, Budget=1800s2026.06 | 37.7 |