ResearchBenchmarksScheduling on OIS-RemedBench n=11Scheduling on OIS-RemedBench n=11Follow56.4Median Time to SAT (Strict)SCARA53.0275.83598.65121.465May 19, 2026Evaluation resultsMethodMethodLinksMedian Time to SAT (Strict)Recall@10SCARARQ=RQ3, Stage=Sched.,...RQ=RQ3, Stage=Sched., n=11, Cliff's δ=−0.782026.0556.4—randomRQ=RQ3, Stage=Sched.,...RQ=RQ3, Stage=Sched., n=112026.05140.9—randomRQ=RQ3, Stage=Sched.,...RQ=RQ3, Stage=Sched., n=112026.05—60SCARARQ=RQ3, Stage=Sched.,...RQ=RQ3, Stage=Sched., n=11, Cliff's δ=+0.482026.05—85