Weak Robustness Verification on MUTAG
1,128Solved Count (All Instances)RobLight
Evaluation Results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| RobLightAggregation Function=sum (Weak)2025.10 | 1,128 | 0.14 | 0.11 | — | — | — | |
| SCIP-MPNNAggregation Function=sum (Weak)2025.10 | 478 | 128.72 | 49.44 | — | — | — | |
| RobLightAggregation function=sum, Global budget Delta=1, Local budget delta=12025.10 | 188 | 0.04 | 0.04 | 53 | 0.11 | 0.11 | |
| RobLightAggregation function=sum, Global budget Delta=1, Local budget delta=12025.10 | 188 | 0.04 | 0.04 | 53 | 0.11 | 0.11 | |
| RobLightAggregation function=max, Global budget Delta=1, Local budget delta=12025.10 | 188 | 0.02 | 0.02 | 3 | 0.04 | 0.04 | |
| RobLightAggregation function=mean, Global budget Delta=1, Local budget delta=12025.10 | 188 | 0.06 | 0.06 | 111 | 0.1 | 0.1 | |
| RobLightAggregation Function=sum, Global Budget (Delta)=5, Local Budget (delta)=12025.10 | 188 | 0.07 | 0.05 | 1 | 1.29 | 1.29 | |
| SCIP-MPNNAggregation function=sum, Global budget Delta=1, Local budget delta=12025.10 | 104 | 285.14 | 236.39 | 5 | 357.92 | 341.21 | |
| SCIP-MPNNAggregation Function=sum, Global Budget (Delta)=5, Local Budget (delta)=12025.10 | 63 | 139.06 | 78.47 | 0 | — | — | |
| RobLightAggregation function=sum, Robustness type=Weak, Global budget (Delta)=5, Local budget (delta)=22025.10 | 0 | — | — | — | — | — | |
| SCIP-MPNNAggregation function=sum, Robustness type=Weak, Global budget (Delta)=5, Local budget (delta)=22025.10 | 0 | — | — | — | — | — | |
| RobLightAggregation function=sum, Robustness type=General, Global budget (Delta)=5, Local budget (delta)=22025.10 | 0 | — | — | — | — | — | |
| RobLightAggregation function=max, Robustness type=General, Global budget (Delta)=5, Local budget (delta)=22025.10 | 0 | — | — | — | — | — | |
| RobLightAggregation function=mean, Robustness type=General, Global budget (Delta)=5, Local budget (delta)=22025.10 | 0 | — | — | — | — | — |