ResearchBenchmarksOptimal answer set on MTDOptimal answer set on MTDFollow74Solved Instances CountCASPER-U46.9653.986168.02May 26, 2026Evaluation resultsMethodMethodLinksSolved Instances CountTotal Execution Time (s)Optimization StepsCASPER-UType=upper-bound impro...Type=upper-bound improving2026.05743,916.511,184CASPER-LType=lower-bound impro...Type=lower-bound improving2026.05501,698.24—PYQASP2026.05486,451.46253