ResearchBenchmarksGeneral Robustness Verification on MUTAG Robust instancesFollow224Number SolvedRobLight-5.8453.83113.5173.17Oct 21, 2025Evaluation ResultsMethodMethodLinksNumber SolvedTime Taken (s)Time Target (s)RobLightAggregation Function=meanAggregation Function=mean2025.102242.321.98RobLightAggregation Function=sumAggregation Function=sum2025.10580.360.31RobLightAggregation Function=maxAggregation Function=max2025.1030.040.04