ResearchBenchmarksPlanning Domain Learning on blocks4 (Action traces)Planning Domain Learning on blocks4 (Action traces)Follow3Intersection Count (|z ∩ x'|)SIFT+2.852.92533.075May 18, 2026Evaluation resultsMethodMethodLinksIntersection Count (|z ∩ x'|)Difference Count (|z \ x'|)F-ScoreF-Measure (m)F-Measure (c)F-Measure (cm)Trace Length (s)Total Verification Time (s)Verification Rate (%)SIFT+Pf=5, Ps=0, O=7, L=1k,...Pf=5, Ps=0, O=7, L=1k, |x'|=6, Pfw=0, Psw=0, OV=8, SV=1k2026.0530213128568100SYNTHPf=5, Ps=0, O=7, L=1k,...Pf=5, Ps=0, O=7, L=1k, |x'|=6, Pfw=0, Psw=0, OV=8, SV=1k2026.0530———————