Automated Planning on IPC Planning Domains Various years
1,627CoverageFTSPlan
Evaluation Results
| Method | Links | |
|---|---|---|
| FTSPlanSearch Strategy=FF with preferred operators (p.o.), Task Transformation=LR+S (Label Reduction + Shrinking)2026.05 | 1,627 | |
| FTSPlanSearch Strategy=FF with preferred operators (p.o.), Task Transformation=None2026.05 | 1,615 | |
| FTSPlanSearch Strategy=FF with preferred operators (p.o.), Task Transformation=LR (Label Reduction)2026.05 | 1,596 | |
| FTSPlanSearch Strategy=FF with preferred operators (p.o.), Task Transformation=LR+S+M (Label Reduction + Shrinking + Merging)2026.05 | 1,537 | |
| SAT-based encoding (Kissat)Parallelism=Chains, Task Transformation=LR+S (Label Reduction + Shrinking)2026.05 | 1,431 | |
| Madagascar (MpC)Parallelism=∃ (Existential), Task Transformation=None2026.05 | 1,431 | |
| FFSearch Strategy=Lazy-greedy (–), Task Transformation=LR+S (Label Reduction + Shrinking)2026.05 | 1,430 | |
| SAT-based encoding (Kissat)Parallelism=Self-loop (S-L), Task Transformation=LR+S (Label Reduction + Shrinking)2026.05 | 1,418 | |
| Madagascar (MpC)Parallelism=∀ (Universal), Task Transformation=None2026.05 | 1,368 | |
| SAT-based encoding (Kissat)Parallelism=Chains, Task Transformation=LR (Label Reduction)2026.05 | 1,344 | |
| SAT-based encoding (Kissat)Parallelism=Self-loop (S-L), Task Transformation=LR (Label Reduction)2026.05 | 1,338 | |
| FFSearch Strategy=Lazy-greedy (–), Task Transformation=LR (Label Reduction)2026.05 | 1,324 | |
| FFSearch Strategy=Lazy-greedy (–), Task Transformation=None2026.05 | 1,318 | |
| FFSearch Strategy=Lazy-greedy (–), Task Transformation=LR+S+M (Label Reduction + Shrinking + Merging)2026.05 | 1,314 | |
| SAT-based encoding (Kissat)Parallelism=Chains, Task Transformation=None2026.05 | 1,288 | |
| SAT-based encoding (Kissat)Parallelism=Self-loop (S-L), Task Transformation=LR+S+M (Label Reduction + Shrinking + Merging)2026.05 | 1,241 | |
| SAT-based encoding (Kissat)Parallelism=Self-loop (S-L), Task Transformation=None2026.05 | 1,236 | |
| SAT-based encoding (Kissat)Parallelism=Sequential (Seq), Task Transformation=LR+S (Label Reduction + Shrinking)2026.05 | 1,219 | |
| SAT-based encoding (Kissat)Parallelism=Chains, Task Transformation=LR+S+M (Label Reduction + Shrinking + Merging)2026.05 | 1,210 | |
| SAT-based encoding (Kissat)Parallelism=Sequential (Seq), Task Transformation=LR (Label Reduction)2026.05 | 1,095 | |
| SAT-based encoding (Kissat)Parallelism=Sequential (Seq), Task Transformation=LR+S+M (Label Reduction + Shrinking + Merging)2026.05 | 1,039 | |
| SAT-based encoding (Kissat)Parallelism=Sequential (Seq), Task Transformation=None2026.05 | 979 |