ResearchBenchmarksCoherence on PAP-RELFollow294Solved InstancesCASPER-L279.3286.65294301.35May 26, 2026Evaluation ResultsMethodMethodLinksSolved InstancesTotal Execution Time (s)CASPER-LType=lower-bound impro...Type=lower-bound improving2026.052942,053.67CASPER-UType=upper-bound impro...Type=upper-bound improving2026.052942,053.67