List your company
ResearchFormerly WizWand

Automated Planning on IPC Planning Domains Various years

1,627CoverageFTSPlan
953.081,128.041,3031,477.96May 28, 2026
Updated 5mo ago

Evaluation results

MethodLinks
FTSPlanSearch Strategy=FF with preferred operators (p.o.), Task Transformation=LR+S (Label Reduction + Shrinking)2026.051,627
FTSPlanSearch Strategy=FF with preferred operators (p.o.), Task Transformation=None2026.051,615
FTSPlanSearch Strategy=FF with preferred operators (p.o.), Task Transformation=LR (Label Reduction)2026.051,596
FTSPlanSearch Strategy=FF with preferred operators (p.o.), Task Transformation=LR+S+M (Label Reduction + Shrinking + Merging)2026.051,537
SAT-based encoding (Kissat)Parallelism=Chains, Task Transformation=LR+S (Label Reduction + Shrinking)2026.051,431
Madagascar (MpC)Parallelism=∃ (Existential), Task Transformation=None2026.051,431
FFSearch Strategy=Lazy-greedy (–), Task Transformation=LR+S (Label Reduction + Shrinking)2026.051,430
SAT-based encoding (Kissat)Parallelism=Self-loop (S-L), Task Transformation=LR+S (Label Reduction + Shrinking)2026.051,418
Madagascar (MpC)Parallelism=∀ (Universal), Task Transformation=None2026.051,368
SAT-based encoding (Kissat)Parallelism=Chains, Task Transformation=LR (Label Reduction)2026.051,344
SAT-based encoding (Kissat)Parallelism=Self-loop (S-L), Task Transformation=LR (Label Reduction)2026.051,338
FFSearch Strategy=Lazy-greedy (–), Task Transformation=LR (Label Reduction)2026.051,324
FFSearch Strategy=Lazy-greedy (–), Task Transformation=None2026.051,318
FFSearch Strategy=Lazy-greedy (–), Task Transformation=LR+S+M (Label Reduction + Shrinking + Merging)2026.051,314
SAT-based encoding (Kissat)Parallelism=Chains, Task Transformation=None2026.051,288
SAT-based encoding (Kissat)Parallelism=Self-loop (S-L), Task Transformation=LR+S+M (Label Reduction + Shrinking + Merging)2026.051,241
SAT-based encoding (Kissat)Parallelism=Self-loop (S-L), Task Transformation=None2026.051,236
SAT-based encoding (Kissat)Parallelism=Sequential (Seq), Task Transformation=LR+S (Label Reduction + Shrinking)2026.051,219
SAT-based encoding (Kissat)Parallelism=Chains, Task Transformation=LR+S+M (Label Reduction + Shrinking + Merging)2026.051,210
SAT-based encoding (Kissat)Parallelism=Sequential (Seq), Task Transformation=LR (Label Reduction)2026.051,095
SAT-based encoding (Kissat)Parallelism=Sequential (Seq), Task Transformation=LR+S+M (Label Reduction + Shrinking + Merging)2026.051,039
SAT-based encoding (Kissat)Parallelism=Sequential (Seq), Task Transformation=None2026.05979