GNN Robustness Verification on MUTAG (Robust instances)
188Solved CountRobLight
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| RobLightAggregation Function=sum (Weak), Global budget (Delta)=5, Local budget (delta)=52025.10 | 188 | 0.52 | 0.44 | |
| RobLightAggregation Function=sum, Global budget (Delta)=5, Local budget (delta)=52025.10 | 188 | 0.52 | 0.44 | |
| RobLightAggregation Function=max, Global budget (Delta)=5, Local budget (delta)=52025.10 | 188 | 0.01 | 0.01 | |
| RobLightAggregation Function=mean, Global budget (Delta)=5, Local budget (delta)=52025.10 | 188 | 16.07 | 4.7 | |
| SCIP-MPNNAggregation Function=sum (Weak), Global budget (Delta)=5, Local budget (delta)=52025.10 | 109 | 53.29 | 21.68 | |
| RobLightAggregation Function=mean, Robustness Type=general, Global Budget (Delta)=2, Local Budget (delta)=12025.10 | 71 | 3.37 | 3.12 | |
| RobLightAggregation Function=sum, Robustness Type=weak, Global Budget (Delta)=2, Local Budget (delta)=12025.10 | 2 | 2.98 | 2.64 | |
| RobLightAggregation Function=sum, Robustness Type=general, Global Budget (Delta)=2, Local Budget (delta)=12025.10 | 2 | 3.06 | 2.71 | |
| SCIP-MPNNAggregation Function=sum, Robustness Type=weak, Global Budget (Delta)=2, Local Budget (delta)=12025.10 | 0 | — | — | |
| RobLightAggregation Function=max, Robustness Type=general, Global Budget (Delta)=2, Local Budget (delta)=12025.10 | 0 | — | — | |
| RobLightAggregation Function=sum (Weak), Global budget (Delta)=5, Local budget (delta)=52025.10 | 0 | — | — | |
| SCIP-MPNNAggregation Function=sum (Weak), Global budget (Delta)=5, Local budget (delta)=52025.10 | 0 | — | — | |
| RobLightAggregation Function=sum, Global budget (Delta)=5, Local budget (delta)=52025.10 | 0 | — | — | |
| RobLightAggregation Function=max, Global budget (Delta)=5, Local budget (delta)=52025.10 | 0 | — | — | |
| RobLightAggregation Function=mean, Global budget (Delta)=5, Local budget (delta)=52025.10 | 0 | — | — |