General Robustness Verification on MUTAG
188Solved Count (All Instances)RobLight
Evaluation Results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| RobLightAggregation Function=sum, Global Budget (Delta)=5, Local Budget (delta)=12025.10 | 188 | 0.07 | 0.05 | 1 | 1.26 | 1.26 | |
| RobLightAggregation Function=max, Global Budget (Delta)=5, Local Budget (delta)=12025.10 | 188 | 0.01 | 0.01 | 0 | — | — | |
| RobLightAggregation Function=mean, Global Budget (Delta)=5, Local Budget (delta)=12025.10 | 155 | 4.83 | 1.61 | 0 | — | — |