Automated Planning on FTS Benchmark
207Solved Instances (SAT Seq)LR+S
Evaluation results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| LR+STransformation=Label Groups + Self-loop Parallelism, AlgC=true, SL=true, RCPOL=true2026.05 | 207 | 212 | 194 | 167 | 179 | |
| NoneTransformation=None2026.05 | 203 | 208 | 190 | 164 | 179 | |
| LRTransformation=Label Groups, AlgC=true, SL=true, RCPOL=true2026.05 | 203 | 209 | 191 | 164 | 176 | |
| LR+S+MTransformation=Label Groups + Self-loop Parallelism + Mapping, AlgC=true, SL=true, RCPOL=true2026.05 | 202 | 208 | 191 | 167 | 179 |