./city-generator.py          <nodes> <size^(1/2)> <degree> <mindistance> <nr-trucks> <nr-packages> <seed>
./two-cities-generator.py    <nodes> <size^(1/2)> <degree> <mindistance> <nr-trucks> <nr-packages> <seed>
./three-cities-generator.py  <nodes> <size^(1/2)> <degree> <mindistance> <nr-trucks> <nr-packages> <seed>


size -> 1000

SEQ-OPT




transport-opt08-strips/domain.pddl:;; Transport sequential
transport-opt08-strips/p01.pddl 1-city-sequential-3nodes-1000size-2degree-100mindistance-2trucks-2packages-2008seed
transport-opt08-strips/p02.pddl 1-city-sequential-6nodes-1000size-2degree-100mindistance-2trucks-3packages-2008seed
transport-opt08-strips/p03.pddl 1-city-sequential-9nodes-1000size-3degree-100mindistance-2trucks-4packages-2008seed
transport-opt08-strips/p04.pddl 1-city-sequential-12nodes-1000size-3degree-100mindistance-2trucks-5packages-2008seed
transport-opt08-strips/p05.pddl 1-city-sequential-15nodes-1000size-3degree-100mindistance-2trucks-6packages-2008seed
transport-opt08-strips/p06.pddl 1-city-sequential-18nodes-1000size-4degree-100mindistance-3trucks-7packages-2008seed
transport-opt08-strips/p07.pddl 1-city-sequential-21nodes-1000size-4degree-100mindistance-3trucks-8packages-2008seed
transport-opt08-strips/p08.pddl 1-city-sequential-24nodes-1000size-4degree-100mindistance-3trucks-9packages-2008seed
transport-opt08-strips/p09.pddl 1-city-sequential-27nodes-1000size-4degree-100mindistance-3trucks-10packages-2008seed
transport-opt08-strips/p10.pddl 1-city-sequential-30nodes-1000size-4degree-100mindistance-3trucks-11packages-2008seed
transport-opt08-strips/p11.pddl two-cities-sequential-2nodes-1000size-2degree-100mindistance-2trucks-2packages-2008seed
transport-opt08-strips/p12.pddl two-cities-sequential-4nodes-1000size-2degree-100mindistance-2trucks-3packages-2008seed
transport-opt08-strips/p13.pddl two-cities-sequential-6nodes-1000size-3degree-100mindistance-2trucks-4packages-2008seed
transport-opt08-strips/p14.pddl two-cities-sequential-8nodes-1000size-3degree-100mindistance-2trucks-5packages-2008seed
transport-opt08-strips/p15.pddl two-cities-sequential-10nodes-1000size-3degree-100mindistance-2trucks-6packages-2008seed
transport-opt08-strips/p16.pddl two-cities-sequential-12nodes-1000size-4degree-100mindistance-3trucks-7packages-2008seed
transport-opt08-strips/p17.pddl two-cities-sequential-14nodes-1000size-4degree-100mindistance-3trucks-8packages-2008seed
transport-opt08-strips/p18.pddl two-cities-sequential-16nodes-1000size-4degree-100mindistance-3trucks-9packages-2008seed
transport-opt08-strips/p19.pddl two-cities-sequential-18nodes-1000size-4degree-100mindistance-3trucks-10packages-2008seed
transport-opt08-strips/p20.pddl two-cities-sequential-20nodes-1000size-4degree-100mindistance-3trucks-11packages-2008seed
transport-opt08-strips/p21.pddl three-cities-sequential-1nodes-1000size-0degree-100mindistance-2trucks-2packages-2008seed
transport-opt08-strips/p22.pddl three-cities-sequential-2nodes-1000size-1degree-100mindistance-2trucks-3packages-2008seed
transport-opt08-strips/p23.pddl three-cities-sequential-3nodes-1000size-2degree-100mindistance-2trucks-4packages-2008seed
transport-opt08-strips/p24.pddl three-cities-sequential-4nodes-1000size-2degree-100mindistance-2trucks-5packages-2008seed
transport-opt08-strips/p25.pddl three-cities-sequential-5nodes-1000size-3degree-100mindistance-2trucks-6packages-2008seed
transport-opt08-strips/p26.pddl three-cities-sequential-6nodes-1000size-4degree-100mindistance-3trucks-7packages-2008seed
transport-opt08-strips/p27.pddl three-cities-sequential-7nodes-1000size-4degree-100mindistance-3trucks-8packages-2008seed
transport-opt08-strips/p28.pddl three-cities-sequential-8nodes-1000size-4degree-100mindistance-3trucks-9packages-2008seed
transport-opt08-strips/p29.pddl three-cities-sequential-9nodes-1000size-4degree-100mindistance-3trucks-10packages-2008seed
transport-opt08-strips/p30.pddl three-cities-sequential-10nodes-1000size-4degree-100mindistance-3trucks-11packages-2008seed

transport-opt11-strips/domain.pddl:;; Transport sequential
transport-opt11-strips/p01.pddl three-cities-sequential-3nodes-1000size-2degree-100mindistance-2trucks-4packages-2008seed
transport-opt11-strips/p02.pddl 1-city-sequential-9nodes-1000size-3degree-100mindistance-2trucks-4packages-2008seed
transport-opt11-strips/p03.pddl two-cities-sequential-4nodes-1000size-2degree-100mindistance-2trucks-3packages-2008seed
transport-opt11-strips/p04.pddl two-cities-sequential-6nodes-1000size-3degree-100mindistance-2trucks-4packages-2008seed
transport-opt11-strips/p05.pddl three-cities-sequential-4nodes-1000size-2degree-100mindistance-2trucks-5packages-2008seed
transport-opt11-strips/p06.pddl 1-city-sequential-12nodes-1000size-3degree-100mindistance-2trucks-5packages-2008seed
transport-opt11-strips/p07.pddl 1-city-sequential-13nodes-1000size-2degree-100mindistance-2trucks-6packages-2012seed
transport-opt11-strips/p08.pddl 1-city-sequential-13nodes-1000size-3degree-100mindistance-3trucks-6packages-2012seed
transport-opt11-strips/p09.pddl 1-city-sequential-14nodes-1000size-2degree-100mindistance-2trucks-7packages-2012seed
transport-opt11-strips/p10.pddl 1-city-sequential-14nodes-1000size-3degree-100mindistance-3trucks-7packages-2012seed
transport-opt11-strips/p11.pddl two-cities-sequential-7nodes-1000size-4degree-100mindistance-2trucks-8packages-2012seed
transport-opt11-strips/p12.pddl two-cities-sequential-7nodes-1000size-4degree-100mindistance-3trucks-8packages-2012seed
transport-opt11-strips/p13.pddl 1-city-sequential-15nodes-1000size-2degree-100mindistance-2trucks-8packages-2012seed
transport-opt11-strips/p14.pddl 1-city-sequential-15nodes-1000size-3degree-100mindistance-3trucks-8packages-2012seed
transport-opt11-strips/p15.pddl three-cities-sequential-5nodes-1000size-4degree-100mindistance-2trucks-9packages-2012seed
transport-opt11-strips/p16.pddl three-cities-sequential-5nodes-1000size-4degree-100mindistance-3trucks-9packages-2012seed
transport-opt11-strips/p17.pddl 1-city-sequential-15nodes-1000size-3degree-100mindistance-2trucks-6packages-2008seed
transport-opt11-strips/p18.pddl two-cities-sequential-8nodes-1000size-3degree-100mindistance-2trucks-5packages-2008seed
transport-opt11-strips/p19.pddl three-cities-sequential-5nodes-1000size-3degree-100mindistance-2trucks-6packages-2008seed
transport-opt11-strips/p20.pddl 1-city-sequential-18nodes-1000size-4degree-100mindistance-3trucks-7packages-2008seed
transport-opt14-strips/domain.pddl:;; Transport sequential
transport-opt14-strips/p01.pddl 1-city-sequential-5nodes-1000size-2degree-100mindistance-2trucks-4packages-2014seed
transport-opt14-strips/p02.pddl 1-city-sequential-10nodes-1000size-2degree-100mindistance-2trucks-4packages-2014seed
transport-opt14-strips/p03.pddl 1-city-sequential-12nodes-1000size-3degree-100mindistance-2trucks-5packages-2014seed
transport-opt14-strips/p04.pddl 1-city-sequential-15nodes-1000size-3degree-100mindistance-3trucks-5packages-2014seed
transport-opt14-strips/p05.pddl 1-city-sequential-18nodes-1000size-4degree-100mindistance-3trucks-6packages-2014seed
transport-opt14-strips/p06.pddl 1-city-sequential-20nodes-1000size-4degree-100mindistance-3trucks-6packages-2014seed
transport-opt14-strips/p07.pddl two-cities-sequential-5nodes-1000size-2degree-100mindistance-2trucks-4packages-2014seed
transport-opt14-strips/p08.pddl two-cities-sequential-10nodes-1000size-2degree-100mindistance-2trucks-4packages-2014seed
transport-opt14-strips/p09.pddl two-cities-sequential-12nodes-1000size-3degree-100mindistance-2trucks-5packages-2014seed
transport-opt14-strips/p10.pddl two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-5packages-2014seed
transport-opt14-strips/p11.pddl two-cities-sequential-18nodes-1000size-4degree-100mindistance-3trucks-6packages-2014seed
transport-opt14-strips/p12.pddl two-cities-sequential-20nodes-1000size-4degree-100mindistance-3trucks-6packages-2014seed
transport-opt14-strips/p13.pddl three-cities-sequential-5nodes-1000size-2degree-100mindistance-2trucks-4packages-2014seed
transport-opt14-strips/p14.pddl three-cities-sequential-10nodes-1000size-2degree-100mindistance-2trucks-4packages-2014seed
transport-opt14-strips/p15.pddl three-cities-sequential-12nodes-1000size-3degree-100mindistance-2trucks-5packages-2014seed
transport-opt14-strips/p16.pddl three-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-5packages-2014seed
transport-opt14-strips/p17.pddl three-cities-sequential-18nodes-1000size-4degree-100mindistance-3trucks-6packages-2014seed
transport-opt14-strips/p18.pddl three-cities-sequential-20nodes-1000size-4degree-100mindistance-3trucks-6packages-2014seed
transport-opt14-strips/p19.pddl three-cities-sequential-20nodes-1000size-4degree-100mindistance-3trucks-7packages-2014seed
transport-opt14-strips/p20.pddl three-cities-sequential-20nodes-1000size-4degree-100mindistance-3trucks-7packages-2014seed





SEQ SAT
transport-sat08-strips/domain.pddl:;; Transport sequential
transport-sat08-strips/p01.pddl 1-city-sequential-5nodes-1000size-2degree-100mindistance-2trucks-2packages-2008seed
transport-sat08-strips/p02.pddl 1-city-sequential-10nodes-1000size-2degree-100mindistance-2trucks-4packages-2008seed
transport-sat08-strips/p03.pddl 1-city-sequential-15nodes-1000size-3degree-100mindistance-3trucks-6packages-2008seed
transport-sat08-strips/p04.pddl 1-city-sequential-20nodes-1000size-3degree-100mindistance-3trucks-8packages-2008seed
transport-sat08-strips/p05.pddl 1-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed
transport-sat08-strips/p06.pddl 1-city-sequential-30nodes-1000size-4degree-100mindistance-4trucks-12packages-2008seed
transport-sat08-strips/p07.pddl 1-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed
transport-sat08-strips/p08.pddl 1-city-sequential-40nodes-1000size-4degree-100mindistance-4trucks-16packages-2008seed
transport-sat08-strips/p09.pddl 1-city-sequential-45nodes-1000size-4degree-100mindistance-4trucks-18packages-2008seed
transport-sat08-strips/p10.pddl 1-city-sequential-50nodes-1000size-4degree-100mindistance-4trucks-20packages-2008seed
transport-sat08-strips/p11.pddl two-cities-sequential-3nodes-1000size-2degree-100mindistance-2trucks-2packages-2008seed
transport-sat08-strips/p12.pddl two-cities-sequential-6nodes-1000size-2degree-100mindistance-2trucks-4packages-2008seed
transport-sat08-strips/p13.pddl two-cities-sequential-9nodes-1000size-3degree-100mindistance-3trucks-6packages-2008seed
transport-sat08-strips/p14.pddl two-cities-sequential-12nodes-1000size-3degree-100mindistance-3trucks-8packages-2008seed
transport-sat08-strips/p15.pddl two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed
transport-sat08-strips/p16.pddl two-cities-sequential-18nodes-1000size-4degree-100mindistance-4trucks-12packages-2008seed
transport-sat08-strips/p17.pddl two-cities-sequential-21nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed
transport-sat08-strips/p18.pddl two-cities-sequential-24nodes-1000size-4degree-100mindistance-4trucks-16packages-2008seed
transport-sat08-strips/p19.pddl two-cities-sequential-27nodes-1000size-4degree-100mindistance-4trucks-18packages-2008seed
transport-sat08-strips/p20.pddl two-cities-sequential-30nodes-1000size-4degree-100mindistance-4trucks-20packages-2008seed
transport-sat08-strips/p21.pddl three-cities-sequential-2nodes-1000size-2degree-100mindistance-2trucks-2packages-2008seed
transport-sat08-strips/p22.pddl three-cities-sequential-4nodes-1000size-2degree-100mindistance-2trucks-4packages-2008seed
transport-sat08-strips/p23.pddl three-cities-sequential-6nodes-1000size-3degree-100mindistance-3trucks-6packages-2008seed
transport-sat08-strips/p24.pddl three-cities-sequential-8nodes-1000size-3degree-100mindistance-3trucks-8packages-2008seed
transport-sat08-strips/p25.pddl three-cities-sequential-10nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed
transport-sat08-strips/p26.pddl three-cities-sequential-12nodes-1000size-4degree-100mindistance-4trucks-12packages-2008seed
transport-sat08-strips/p27.pddl three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed
transport-sat08-strips/p28.pddl three-cities-sequential-16nodes-1000size-4degree-100mindistance-4trucks-16packages-2008seed
transport-sat08-strips/p29.pddl three-cities-sequential-18nodes-1000size-4degree-100mindistance-4trucks-18packages-2008seed
transport-sat08-strips/p30.pddl three-cities-sequential-20nodes-1000size-4degree-100mindistance-4trucks-20packages-2008seed
transport-sat11-strips/domain.pddl:;; Transport sequential
transport-sat11-strips/p01.pddl 1-city-sequential-40nodes-1000size-4degree-100mindistance-4trucks-16packages-2008seed
transport-sat11-strips/p02.pddl 1-city-sequential-45nodes-1000size-4degree-100mindistance-4trucks-18packages-2008seed
transport-sat11-strips/p03.pddl three-cities-sequential-18nodes-1000size-4degree-100mindistance-4trucks-18packages-2008seed
transport-sat11-strips/p04.pddl two-cities-sequential-18nodes-1000size-4degree-100mindistance-4trucks-12packages-2008seed
transport-sat11-strips/p05.pddl two-cities-sequential-21nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed
transport-sat11-strips/p06.pddl two-cities-sequential-24nodes-1000size-4degree-100mindistance-4trucks-16packages-2008seed
transport-sat11-strips/p07.pddl two-cities-sequential-27nodes-1000size-4degree-100mindistance-4trucks-18packages-2008seed
transport-sat11-strips/p08.pddl 1-city-sequential-50nodes-1000size-4degree-100mindistance-4trucks-20packages-2008seed
transport-sat11-strips/p09.pddl two-cities-sequential-30nodes-1000size-4degree-100mindistance-4trucks-20packages-2008seed
transport-sat11-strips/p10.pddl three-cities-sequential-20nodes-1000size-4degree-100mindistance-4trucks-20packages-2008seed
transport-sat11-strips/p11.pddl 1-city-sequential-50nodes-1000size-4degree-100mindistance-4trucks-22packages-2013seed
transport-sat11-strips/p12.pddl 1-city-sequential-53nodes-1000size-4degree-100mindistance-4trucks-20packages-2013seed
transport-sat11-strips/p13.pddl 1-city-sequential-53nodes-1000size-4degree-100mindistance-4trucks-22packages-2013seed
transport-sat11-strips/p14.pddl two-cities-sequential-60nodes-1000size-4degree-100mindistance-4trucks-22packages-2013seed
transport-sat11-strips/p15.pddl two-cities-sequential-62nodes-1000size-4degree-100mindistance-4trucks-20packages-2013seed
transport-sat11-strips/p16.pddl two-cities-sequential-62nodes-1000size-4degree-100mindistance-4trucks-22packages-2013seed
transport-sat11-strips/p17.pddl three-cities-sequential-60nodes-1000size-4degree-100mindistance-4trucks-22packages-2013seed
transport-sat11-strips/p18.pddl three-cities-sequential-63nodes-1000size-4degree-100mindistance-4trucks-20packages-2013seed
transport-sat11-strips/p19.pddl three-cities-sequential-63nodes-1000size-4degree-100mindistance-4trucks-22packages-2013seed
transport-sat11-strips/p20.pddl three-cities-sequential-66nodes-1000size-4degree-100mindistance-4trucks-22packages-2013seed
transport-sat14-strips/domain.pddl:;; Transport sequential
transport-sat14-strips/p01.pddl 1-city-sequential-50nodes-1000size-4degree-100mindistance-4trucks-25packages-2014seed
transport-sat14-strips/p02.pddl 1-city-sequential-53nodes-1000size-4degree-100mindistance-4trucks-30packages-2014seed
transport-sat14-strips/p03.pddl 1-city-sequential-53nodes-1000size-4degree-100mindistance-4trucks-25packages-2014seed
transport-sat14-strips/p04.pddl two-cities-sequential-68nodes-1000size-4degree-100mindistance-4trucks-25packages-2014seed
transport-sat14-strips/p05.pddl two-cities-sequential-67nodes-1000size-4degree-100mindistance-4trucks-30packages-2014seed
transport-sat14-strips/p06.pddl two-cities-sequential-68nodes-1000size-4degree-100mindistance-4trucks-25packages-2014seed
transport-sat14-strips/p07.pddl three-cities-sequential-68nodes-1000size-4degree-100mindistance-4trucks-25packages-2014seed
transport-sat14-strips/p08.pddl three-cities-sequential-67nodes-1000size-4degree-100mindistance-4trucks-30packages-2014seed
transport-sat14-strips/p09.pddl three-cities-sequential-68nodes-1000size-4degree-100mindistance-4trucks-25packages-2014seed
transport-sat14-strips/p10.pddl three-cities-sequential-66nodes-1000size-4degree-100mindistance-4trucks-25packages-2014seed
transport-sat14-strips/p11.pddl 1-city-sequential-60nodes-1000size-4degree-100mindistance-5trucks-25packages-2014seed
transport-sat14-strips/p12.pddl 1-city-sequential-63nodes-1000size-4degree-100mindistance-4trucks-30packages-2014seed
transport-sat14-strips/p13.pddl 1-city-sequential-63nodes-1000size-4degree-100mindistance-3trucks-25packages-2014seed
transport-sat14-strips/p14.pddl two-cities-sequential-60nodes-1000size-4degree-100mindistance-5trucks-25packages-2014seed
transport-sat14-strips/p15.pddl two-cities-sequential-62nodes-1000size-4degree-100mindistance-4trucks-30packages-2014seed
transport-sat14-strips/p16.pddl two-cities-sequential-62nodes-1000size-4degree-100mindistance-3trucks-25packages-2014seed
transport-sat14-strips/p17.pddl three-cities-sequential-60nodes-1000size-4degree-100mindistance-5trucks-25packages-2014seed
transport-sat14-strips/p18.pddl three-cities-sequential-63nodes-1000size-4degree-100mindistance-4trucks-30packages-2014seed
transport-sat14-strips/p19.pddl three-cities-sequential-63nodes-1000size-4degree-100mindistance-3trucks-25packages-2014seed
transport-sat14-strips/p20.pddl three-cities-sequential-66nodes-1000size-4degree-100mindistance-5trucks-25packages-2014seed
