Weak Robustness Verification on Cornell
0.01Verification Time ta (s)RobLight
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| RobLightAggregation Function=sum, Global Budget=10, Local Budget=10, Instance Type=Robust instances2025.10 | 0.01 | 0.01 | |
| RobLightAggregation Function=sum, Global Budget=10, Local Budget=10, Instance Type=Non-robust instances2025.10 | 0.01 | 0.01 | |
| GNNevAggregation Function=sum, Global Budget=10, Local Budget=10, Instance Type=Non-robust instances2025.10 | 12.73 | 9.13 | |
| GNNevAggregation Function=sum, Global Budget=10, Local Budget=10, Instance Type=Robust instances2025.10 | 13.34 | 5.42 |