Weak Robustness Verification on ENZYMES
3,385Solved Instances (All)RobLight
Evaluation Results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| RobLightAggregation Function=sum (Weak)2025.10 | 3,385 | 15.94 | 4.1 | — | — | — | |
| SCIP-MPNNAggregation Function=sum (Weak)2025.10 | 672 | 113.98 | 50.65 | — | — | — | |
| RobLightAggregation function=sum, Global budget Delta=1, Local budget delta=12025.10 | 600 | 0.75 | 0.58 | 354 | 1.19 | 0.93 | |
| RobLightAggregation function=sum, Global budget Delta=1, Local budget delta=12025.10 | 600 | 0.46 | 0.33 | 109 | 1.74 | 1.23 | |
| RobLightAggregation function=max, Global budget Delta=1, Local budget delta=12025.10 | 600 | 0.12 | 0.1 | 49 | 1.21 | 0.98 | |
| RobLightAggregation function=mean, Global budget Delta=1, Local budget delta=12025.10 | 600 | 0.68 | 0.47 | 183 | 1.92 | 1.27 | |
| RobLightAggregation Function=sum, Global Budget (Delta)=5, Local Budget (delta)=12025.10 | 541 | 13.57 | 3.42 | 6 | 0.3 | 0.28 | |
| SCIP-MPNNAggregation function=sum, Global budget Delta=1, Local budget delta=12025.10 | 121 | 233.41 | 159.82 | 34 | 234.7 | 157.37 | |
| SCIP-MPNNAggregation Function=sum, Global Budget (Delta)=5, Local Budget (delta)=12025.10 | 108 | 89.03 | 52.18 | 3 | 46.86 | 29.38 |