ResearchBenchmarksWeak Robustness Verification on MUTAG (Robust instances)Follow58Solved CountRobLight2.8817.1931.545.81Oct 21, 2025Evaluation ResultsMethodMethodLinksSolved CountTime A (s)Time G (s)RobLightAggregation Function=s...Aggregation Function=sum (Weak)2025.10580.360.31SCIP-MPNNAggregation Function=s...Aggregation Function=sum (Weak)2025.105357.92341.21