Weak Robustness Verification on Texas
0.02Verification Time (ta(s))RobLight
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| 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 | 0.93 | 0.67 | |
| RobLightAggregation Function=sum, Global Budget=10, Local Budget=10, Instance Type=Non-robust instances2025.10 | 1.61 | 0.92 | |
| GNNevAggregation Function=sum, Global Budget=10, Local Budget=10, Instance Type=Non-robust instances2025.10 | 13.28 | 12.08 |