Weak Robustness Verification on Wisconsin
0.02Verification Time (ta) (s)RobLight
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| RobLightAggregation Function=sum, Global Budget=10, Local Budget=10, Instance Type=Non-robust instances2025.10 | 0.02 | 0.02 | |
| RobLightAggregation Function=sum, Global Budget=10, Local Budget=10, Instance Type=Robust instances2025.10 | 0.08 | 0.06 | |
| GNNevAggregation Function=sum, Global Budget=10, Local Budget=10, Instance Type=Robust instances2025.10 | 6.08 | 3.55 | |
| GNNevAggregation Function=sum, Global Budget=10, Local Budget=10, Instance Type=Non-robust instances2025.10 | 30.86 | 20.24 |