Commit Graph

29 Commits

Author SHA1 Message Date
8e50cd4084 Add single-shot configurations 2018-02-14 18:33:41 +01:00
2f9f98251a Add minimum known plan lengths 2018-02-14 18:27:54 +01:00
267263e45e Add multiple clasp search configurations 2018-02-14 17:40:48 +01:00
ef96f76dc2 Fix instance sets
By mistake, the instance sets for the plasp planner configuration were
incorrect.
2018-02-01 21:04:36 +01:00
29be306a7d Enable plasp planning configuration 2018-02-01 18:28:09 +01:00
4aad91659b Adjust config for testing purposes 2018-01-31 18:37:36 +01:00
6c63dfa53b Add configuration
This adds our most successful generate-and-check configuration, but
without preprocessing by Fast Downward.
2017-12-14 16:56:32 +01:00
63530d2254 Add best configuration to all instance sets
This adds the best generate-and-check configuration to all instance sets
to make it easier to compare this configuration to all the other ones.
2017-12-06 16:34:00 +01:00
12ee7298a6 Add back domains with action costs
Apparently, Rintanen used these domains in his benchmark but ignored the
action costs entirely. With this modification, we can also run these
domains with our planner. This adds back the affected domains to run
them against Madagascar in a simplified form.
2017-12-04 09:54:54 +01:00
bb7a8d8560 Remove domains with action costs
This removes all domains where action costs are used. The reason is that
the encodings currently don’t support action costs, which leads to
incorrect results. Hence, Madagascar and our planner can’t be compared
on these domains.
2017-12-04 00:19:57 +01:00
7c77c62ddf Add Rintanen AIJ 2012 instances from IPC 2011 2017-12-03 17:49:09 +01:00
9b480f3098 Set soft memory limit of 8192 MB
This sets a soft memory limit of 8192 MB on all configurations. This is
a hint to the planners that they shouldn’t surpass this limit. Should
planners still consume more memory, there is a 1024 MB tolerance margin
(configured in the benchmark runner’s configuration) after which the
measurement is counted as a memout.

Note that this 8192 MB is the default for Madagascar, which is why this
addition doesn’t have an influence on prior results obtained for
Madagascar.
2017-11-29 18:23:34 +01:00
Patrick Lühne
9eaddad226 Exchange Madagascar configuration
This exchanges Madagascar configuration MpC with Mp in the benchmark on
Rintanen’s instance set. This is because MpC uses planner C, while our
competing configuration uses planner B, which would make the results
difficult to compare.
2017-11-28 15:58:57 +01:00
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