ResearchBenchmarksOptimal answer set on SMOKERSOptimal answer set on SMOKERSFollow99Solved InstancesCASPER-L10.633.5556.579.45May 26, 2026Evaluation resultsMethodMethodLinksSolved InstancesTotal Execution Time (s)Optimization StepsCASPER-LType=lower-bound impro...Type=lower-bound improving2026.059983.54—CASPER-UType=upper-bound impro...Type=upper-bound improving2026.05193,130.973,724PYQASP2026.05141,845.59152