ResearchBenchmarksPlanning Domain Learning on sokoban (Action traces)Follow3Intersection Size (|z ∩ x'|)SYNTH1.962.232.52.77May 18, 2026Evaluation ResultsMethodMethodLinksIntersection Size (|z ∩ x'|)Difference Size (|z \ x'|)Frequency (F)Frequency (Fm)Frequency (Fc)Frequency (Fcm)TL (s)TV (s)%VSYNTHPf=2, Ps=2, O=15, L=5k...Pf=2, Ps=2, O=15, L=5k, |x'|=5, Pfw=0, Psw=0, OV=23, SV=5k2026.0530———————SIFT+Pf=2, Ps=2, O=15, L=5k...Pf=2, Ps=2, O=15, L=5k, |x'|=5, Pfw=0, Psw=0, OV=23, SV=5k2026.0520611731483,803100