General Robustness Verification on Wisconsin
0.01Verification Time (ta, s)RobLight
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| RobLightAggregation Function=sum, Global Budget=10, Local Budget=10, Instance Type=Non-robust instances2025.10 | 0.01 | 0.01 | |
| RobLightAggregation Function=sum, Global Budget=10, Local Budget=10, Instance Type=Robust instances2025.10 | 0.22 | 0.14 | |
| GNNevAggregation Function=sum, Global Budget=10, Local Budget=10, Instance Type=Robust instances2025.10 | 8.8 | 4.1 | |
| GNNevAggregation Function=sum, Global Budget=10, Local Budget=10, Instance Type=Non-robust instances2025.10 | 30.47 | 19.09 |