ResearchBenchmarksPlanning Domain Learning on gripper4 (Action traces)Follow4Intersection Count (|z ∩ x'|)SIFT+3.83.944.1May 18, 2026Evaluation ResultsMethodMethodLinksIntersection Count (|z ∩ x'|)Difference Count (|z \ x'|)F ScoreFm ScoreFc ScoreFcm ScoreTrace Length (Steps)Total Time (s)Coverage Percentage (%V)SIFT+Pf=4, Ps=4, O=13, L=2k...Pf=4, Ps=4, O=13, L=2k, |x'|=8, Pfw=0, Psw=0, OV=14, SV=2k2026.0540665559113100SYNTHPf=4, Ps=4, O=13, L=2k...Pf=4, Ps=4, O=13, L=2k, |x'|=8, Pfw=0, Psw=0, OV=14, SV=2k2026.0540———————