Pathways-Propositional Problem file generator Authors: Yannis Dimopoulos, Alfonso Gerevini and Alessandro Saetti =================================================================== Usage: gen-Pathways [options] Command line options: -out Set the problem file name -n Set the problem name (default PathwaysProb) -R Set the min number of reactions used in the reach. analysis -G Set the number of goals -L Set the desired number of initial substances (in metric field) --seed Set the seed for the random number generator The reactions in the generated problems are based on files "Pathways-SimpleSubs" and "Pathways-Reactions". The generator selects reactions and defines goals according to an algorithm that performs a sort of reachability analysis. The command lines used to generate the IPC5 problems of Pathways-Propositional are: gen-Pathways --seed 2004 -out pfile01 -R 12 -G 01 -L 3 -n Pathways-01 > domain-dummyAct.pddl gen-Pathways --seed 1146 -out pfile02 -R 24 -G 02 -L 3 -n Pathways-02 > domain-dummyAct.pddl gen-Pathways --seed 126053358 -out pfile03 -R 36 -G 03 -L 3 -n Pathways-03 > domain-dummyAct.pddl gen-Pathways --seed 6800456 -out pfile04 -R 48 -G 04 -L 3 -n Pathways-04 > domain-dummyAct.pddl gen-Pathways --seed 387462 -out pfile05 -R 72 -G 06 -L 7 -n Pathways-05 > domain-dummyAct.pddl gen-Pathways --seed 231459 -out pfile06 -R 96 -G 08 -L 10 -n Pathways-06 > domain-dummyAct.pddl gen-Pathways --seed 2211674 -out pfile07 -R 132 -G 11 -L 10 -n Pathways-07 > domain-dummyAct.pddl gen-Pathways --seed 32908700 -out pfile08 -R 144 -G 12 -L 17 -n Pathways-08 > domain-dummyAct.pddl gen-Pathways --seed 21545433 -out pfile09 -R 156 -G 13 -L 12 -n Pathways-09 > domain-dummyAct.pddl gen-Pathways --seed 3286431 -out pfile10 -R 168 -G 14 -L 14 -n Pathways-10 > domain-dummyAct.pddl gen-Pathways --seed 1276765 -out pfile11 -R 180 -G 15 -L 10 -n Pathways-11 > domain-dummyAct.pddl gen-Pathways --seed 1062006 -out pfile12 -R 192 -G 16 -L 17 -n Pathways-12 > domain-dummyAct.pddl gen-Pathways --seed 428365421 -out pfile13 -R 204 -G 17 -L 19 -n Pathways-13 > domain-dummyAct.pddl gen-Pathways --seed 871235621 -out pfile14 -R 216 -G 18 -L 18 -n Pathways-14 > domain-dummyAct.pddl gen-Pathways --seed 281837981 -out pfile15 -R 228 -G 19 -L 18 -n Pathways-15 > domain-dummyAct.pddl gen-Pathways --seed 78854 -out pfile16 -R 240 -G 20 -L 22 -n Pathways-16 > domain-dummyAct.pddl gen-Pathways --seed 1216 -out pfile17 -R 252 -G 21 -L 20 -n Pathways-17 > domain-dummyAct.pddl gen-Pathways --seed 763451 -out pfile18 -R 288 -G 24 -L 20 -n Pathways-18 > domain-dummyAct.pddl gen-Pathways --seed 432102 -out pfile19 -R 312 -G 26 -L 24 -n Pathways-19 > domain-dummyAct.pddl gen-Pathways --seed 40275209 -out pfile20 -R 324 -G 27 -L 21 -n Pathways-20 > domain-dummyAct.pddl gen-Pathways --seed 8465321 -out pfile21 -R 336 -G 28 -L 22 -n Pathways-21 > domain-dummyAct.pddl gen-Pathways --seed 9347325 -out pfile22 -R 348 -G 29 -L 21 -n Pathways-22 > domain-dummyAct.pddl gen-Pathways --seed 723452 -out pfile23 -R 360 -G 30 -L 25 -n Pathways-23 > domain-dummyAct.pddl gen-Pathways --seed 98766 -out pfile24 -R 372 -G 31 -L 28 -n Pathways-24 > domain-dummyAct.pddl gen-Pathways --seed 276314 -out pfile25 -R 396 -G 33 -L 34 -n Pathways-25 > domain-dummyAct.pddl gen-Pathways --seed 82254 -out pfile26 -R 408 -G 34 -L 29 -n Pathways-26 > domain-dummyAct.pddl gen-Pathways --seed 447198776 -out pfile27 -R 420 -G 35 -L 30 -n Pathways-27 > domain-dummyAct.pddl gen-Pathways --seed 8632 -out pfile28 -R 444 -G 37 -L 35 -n Pathways-28 > domain-dummyAct.pddl gen-Pathways --seed 822562 -out pfile29 -R 468 -G 39 -L 27 -n Pathways-29 > domain-dummyAct.pddl gen-Pathways --seed 37463 -out pfile30 -R 480 -G 40 -L 27 -n Pathways-30 > domain-dummyAct.pddl The atoms in ":goal" field are dummy. Each of these command line also outputs a set of dummy operators, whose (disjunctive) preconditions state the real goals of the planning problem. The corresponding domain file should be obtained by the union of files "domain-header.pddl", where the predicate definition has to be augmented with the dummy atoms used in ":goal" field, and "domain-acts.pddl", where the list of operators has to be augmented with the dummy operators printed in file "domain-dummyAct.pddl".