Robustness Verification on MUTAG (All instances)
188Solved CountRobLight
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| RobLightAggregation function=sum, Robustness type=Weak, Global budget (Delta)=5, Local budget (delta)=22025.10 | 188 | 0.09 | 0.06 | |
| RobLightAggregation function=sum, Robustness type=General, Global budget (Delta)=5, Local budget (delta)=22025.10 | 188 | 0.1 | 0.07 | |
| RobLightAggregation function=max, Robustness type=General, Global budget (Delta)=5, Local budget (delta)=22025.10 | 188 | 0.01 | 0.01 | |
| RobLightAggregation function=mean, Robustness type=General, Global budget (Delta)=5, Local budget (delta)=22025.10 | 187 | 6.28 | 1.04 | |
| SCIP-MPNNAggregation function=sum, Robustness type=Weak, Global budget (Delta)=5, Local budget (delta)=22025.10 | 65 | 22.9 | 8.22 |