Commit Graph

16 Commits

Author SHA1 Message Date
bbb641a1bb
Add Rintanen AIJ 2012 instances from IPC 2006 2017-11-28 02:08:20 +01:00
3d99065cb2
Add Rintanen AIJ 2012 instances from IPC 2004 2017-11-28 01:53:25 +01:00
37998e30c1
Add Rintanen AIJ 2012 instances from IPC 2002 2017-11-28 01:53:22 +01:00
03126b0ef1
Add Rintanen AIJ 2012 instances from IPC 2000 2017-11-28 01:53:18 +01:00
092cbdbf9a
Add configurations for Rintanen’s instance set
This adds Madagascar MpC and the best configuration for the generate-
and-test planning strategy to the comparison on Rintanen’s instance set
from AIJ 2012.
2017-11-28 00:12:41 +01:00
4edca887ed
Add Rintanen AIJ 2012 instance from IPC 1998 2017-11-27 23:55:52 +01:00
8f13ec3e81
Add configuration
This adds a variation of one of the best configurations so far with
heuristics enabled.
2017-11-27 22:11:16 +01:00
2afe4ec303
Add configurations for generate-and-check planner
This adds multiple configuration variations for the generate-and-check
planning strategy on the instances where the first found plan is not
serializable, with the comparison to Madagascar.
2017-11-27 01:31:26 +01:00
f5a39867f9
Add instances for unserializable plans
This adds 37 instances from the LPNMR instance sets where the first plan
found by the planner was not serializable.
2017-11-27 01:16:25 +01:00
a321e412b3
Print the planner call to the log files
In order to inspect what the planner actually executed, this lets the
planner print the actual call so that it can be easily reproduced.
2017-11-24 14:42:27 +01:00
11e404b20a
Use --use-heuristic for proper heuristic encoding
Instead of specifying the heuristic encoding manually, this lets the
planner define its location. This is to make sure that an incorrect
encoding isn’t applied accidentally.
2017-11-24 14:42:27 +01:00
007f2b5978
Add configurations with --shallow
This adds new configurations with --shallow requested by Martin and
Javier as well as the missing configurations with the sequential
encoding.
2017-11-24 14:42:27 +01:00
7c23d23fec
Rename YAML files
It’s more common to give YAML files the ending .yml and not .yaml.
2017-11-24 14:42:27 +01:00
133616f531
Make options of planner B explicit 2017-11-24 14:42:27 +01:00
a84a240b65
Add LPNMR benchmark configurations 2017-11-24 14:42:27 +01:00
3366b074c1
Add LPNMR paper instance sets 2017-11-24 14:42:27 +01:00