Robustness Verification on MUTAG global budget Delta=2, local budget delta=2
188Solved Count (All Instances)RobLight
Evaluation results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| RobLightAggregation function=sum, Robustness type=Weak2025.10 | 188 | 0.07 | 0.06 | 2 | 3.87 | 3.35 | |
| RobLightAggregation function=sum, Robustness type=General2025.10 | 188 | 0.07 | 0.06 | 2 | 3.92 | 3.39 | |
| RobLightAggregation function=max, Robustness type=General2025.10 | 188 | 0.02 | 0.02 | 0 | — | — | |
| RobLightAggregation function=mean, Robustness type=General2025.10 | 188 | 1.58 | 1.29 | 42 | 6.4 | 6.15 | |
| SCIP-MPNNAggregation function=sum, Robustness type=Weak2025.10 | 76 | 39.47 | 11.67 | 0 | — | — |