ResearchBenchmarksPlanning Domain Learning on sokoban Partial observabilityFollow3Overlap Size (|z ∩ x'|)SYNTH+2.852.92533.075May 18, 2026Evaluation ResultsMethodMethodLinksOverlap Size (|z ∩ x'|)Difference Size (|z \ x'|)Frequency (F)Frequency (Fm)Frequency (Fc)Frequency (Fcm)Time (TL)Time (TV)Coverage Percentage (%V)SYNTH+Pf=2, Ps=2, O=15, L=6k...Pf=2, Ps=2, O=15, L=6k, |x'|=5, Pfw=0, Psw=2, OV=24, SV=5k2026.05306117345312,331100SYNTHPf=2, Ps=2, O=15, L=6k...Pf=2, Ps=2, O=15, L=6k, |x'|=5, Pfw=0, Psw=2, OV=24, SV=5k2026.0530———————