Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Automated Planning on FTS Benchmark
Loading...
207
Solved Instances (SAT Seq)
LR+S
201.8
203.15
204.5
205.85
May 28, 2026
Solved Instances (SAT Seq)
Solved Instances (SAT S-L)
Solved Instances (SAT Chains)
Solved Instances (FF -)
Solved Instances (FF p.o.)
Updated 2d ago
Evaluation Results
Method
Method
Links
Solved Instances (SAT Seq)
Solved Instances (SAT S-L)
Solved Instances (SAT Chains)
Solved Instances (FF -)
Solved Instances (FF p.o.)
LR+S
Transformation=Label G...
2026.05
207
212
194
167
179
None
Transformation=None
2026.05
203
208
190
164
179
LR
Transformation=Label G...
2026.05
203
209
191
164
176
LR+S+M
Transformation=Label G...
2026.05
202
208
191
167
179
Feedback
Search any
task
Search any
task