ResearchBenchmarksOptimal answer set on COLORINGOptimal answer set on COLORINGFollow25Solved Instances CountPYQASP7.3211.9116.521.09May 26, 2026Evaluation resultsMethodMethodLinksSolved Instances CountTotal Execution Time (s)Optimization Steps CountPYQASP2026.05253,621.92278CASPER-LType=lower-bound impro...Type=lower-bound improving2026.0511896.93—CASPER-UType=upper-bound impro...Type=upper-bound improving2026.058114.35105