General Robustness Verification on Texas
0.01ta(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.02 | 0.02 | |
| GNNevAggregation Function=sum, Global Budget=10, Local Budget=10, Instance Type=Robust instances2025.10 | 1.09 | 0.95 | |
| GNNevAggregation Function=sum, Global Budget=10, Local Budget=10, Instance Type=Non-robust instances2025.10 | 19.19 | 13.58 |