GNN Robustness Verification on MUTAG
1,128Solved Instances CountRobLight
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| RobLightAggregation Function=sum2025.10 | 1,128 | 0.14 | 0.11 | |
| RobLightAggregation Function=max2025.10 | 1,128 | 0.01 | 0.01 | |
| RobLightAggregation Function=mean2025.10 | 1,094 | 5.03 | 1.56 | |
| RobLightAggregation Function=sum, Robustness Type=weak, Global Budget (Delta)=2, Local Budget (delta)=12025.10 | 188 | 0.05 | 0.04 | |
| RobLightAggregation Function=sum, Robustness Type=general, Global Budget (Delta)=2, Local Budget (delta)=12025.10 | 188 | 0.05 | 0.04 | |
| RobLightAggregation Function=max, Robustness Type=general, Global Budget (Delta)=2, Local Budget (delta)=12025.10 | 188 | 0.01 | 0.01 | |
| RobLightAggregation Function=mean, Robustness Type=general, Global Budget (Delta)=2, Local Budget (delta)=12025.10 | 188 | 1.36 | 1.17 | |
| SCIP-MPNNAggregation Function=sum, Robustness Type=weak, Global Budget (Delta)=2, Local Budget (delta)=12025.10 | 61 | 210.07 | 123.2 |