CSU Planning Repository: ICAPS 2004 Planning Competition Problems and Domains

ICAPS 2004 Planning Competition Domains

Here are the data from the third competition, held in 2004 at the ICAPS conference. The classical track at this competition was run by * Stefan Edelkamp and Jörg Hoffmann. Again, PDDL was enhanced, resulting in PDDL2.2.

A description of the competiton and results are available at http://ls5-www.cs.uni-dortmund.de/~edelkamp/ipc-4/

Domains:

Because of the size of the data set, we included only the simple ADL and STRIPS domains from the IPC 4 collection.
Tarred Archive File
ICAPS04datafiles subset of domain and problems icaps04.tar.gz
AIRPORT
Domain File Name File
AIRPORT ADL DOMAIN.PDDL

Airport ADL Problems
P01_AIRPORT1_P1.PDDL P02_AIRPORT1_P1.PDDL P03_AIRPORT1_P2.PDDL
P04_AIRPORT2_P1.PDDL P05_AIRPORT2_P1.PDDL P06_AIRPORT2_P2.PDDL
P07_AIRPORT2_P2.PDDL P08_AIRPORT2_P3.PDDL P09_AIRPORT2_P4.PDDL
P10_AIRPORT3_P1.PDDL P11_AIRPORT3_P1.PDDL P12_AIRPORT3_P2.PDDL
P13_AIRPORT3_P2.PDDL P14_AIRPORT3_P3.PDDL P15_AIRPORT3_P3.PDDL
P16_AIRPORT3_P4.PDDL P17_AIRPORT3_P5.PDDL P18_AIRPORT3_P6.PDDL
P19_AIRPORT3_P6.PDDL P20_AIRPORT3_P7.PDDL P21_AIRPORT4HALFMUC_P2.PDDL
P22_AIRPORT4HALFMUC_P3.PDDL P23_AIRPORT4HALFMUC_P4.PDDL P24_AIRPORT4HALFMUC_P4.PDDL
P25_AIRPORT4HALFMUC_P5.PDDL P26_AIRPORT4HALFMUC_P6.PDDL P27_AIRPORT4HALFMUC_P6.PDDL
P28_AIRPORT4HALFMUC_P7.PDDL P29_AIRPORT4HALFMUC_P8.PDDL P30_AIRPORT4HALFMUC_P8.PDDL
P31_AIRPORT4HALFMUC_P9.PDDL P32_AIRPORT4HALFMUC_P10.PDDL P33_AIRPORT4HALFMUC_P10.PDDL
P34_AIRPORT4HALFMUC_P11.PDDL P35_AIRPORT4HALFMUC_P12.PDDL P36_AIRPORT5MUC_P2.PDDL
P37_AIRPORT5MUC_P3.PDDL P38_AIRPORT5MUC_P3.PDDL P39_AIRPORT5MUC_P4.PDDL
P40_AIRPORT5MUC_P4.PDDL P41_AIRPORT5MUC_P4.PDDL P42_AIRPORT5MUC_P5.PDDL
P43_AIRPORT5MUC_P5.PDDL P44_AIRPORT5MUC_P5.PDDL P45_AIRPORT5MUC_P6.PDDL
P46_AIRPORT5MUC_P6.PDDL P47_AIRPORT5MUC_P8.PDDL P48_AIRPORT5MUC_P9.PDDL
P49_AIRPORT5MUC_P10.PDDL P50_AIRPORT5MUC_P15.PDDL

Domain File Name File
AIRPORT STRIPS P01_DOMAIN.PDDL
P02_DOMAIN.PDDL
P03_DOMAIN.PDDL
P04_DOMAIN.PDDL
P05_DOMAIN.PDDL
P06_DOMAIN.PDDL
P07_DOMAIN.PDDL
P08_DOMAIN.PDDL
P09_DOMAIN.PDDL
P10_DOMAIN.PDDL
P11_DOMAIN.PDDL
P12_DOMAIN.PDDL
P13_DOMAIN.PDDL
P14_DOMAIN.PDDL
P15_DOMAIN.PDDL
P16_DOMAIN.PDDL
P17_DOMAIN.PDDL
P18_DOMAIN.PDDL
P19_DOMAIN.PDDL
P20_DOMAIN.PDDL
P21_DOMAIN.PDDL
P22_DOMAIN.PDDL
P23_DOMAIN.PDDL
P24_DOMAIN.PDDL
P25_DOMAIN.PDDL
P26_DOMAIN.PDDL
P27_DOMAIN.PDDL
P28_DOMAIN.PDDL
P29_DOMAIN.PDDL
P30_DOMAIN.PDDL
P31_DOMAIN.PDDL
P32_DOMAIN.PDDL
P33_DOMAIN.PDDL
P34_DOMAIN.PDDL
P35_DOMAIN.PDDL
P36_DOMAIN.PDDL
P37_DOMAIN.PDDL
P38_DOMAIN.PDDL
P39_DOMAIN.PDDL
P40_DOMAIN.PDDL
P41_DOMAIN.PDDL
P42_DOMAIN.PDDL
P43_DOMAIN.PDDL
P44_DOMAIN.PDDL
P45_DOMAIN.PDDL
P46_DOMAIN.PDDL
P47_DOMAIN.PDDL
P48_DOMAIN.PDDL
P49_DOMAIN.PDDL
P50_DOMAIN.PDDL

Airport STRIPS Problems
P01_AIRPORT1_P1.PDDL P02_AIRPORT1_P1.PDDL P03_AIRPORT1_P2.PDDL
P04_AIRPORT2_P1.PDDL P05_AIRPORT2_P1.PDDL P06_AIRPORT2_P2.PDDL
P07_AIRPORT2_P2.PDDL P08_AIRPORT2_P3.PDDL P09_AIRPORT2_P4.PDDL
P10_AIRPORT3_P1.PDDL P11_AIRPORT3_P1.PDDL P12_AIRPORT3_P2.PDDL
P13_AIRPORT3_P2.PDDL P14_AIRPORT3_P3.PDDL P15_AIRPORT3_P3.PDDL
P16_AIRPORT3_P4.PDDL P17_AIRPORT3_P5.PDDL P18_AIRPORT3_P6.PDDL
P19_AIRPORT3_P6.PDDL P20_AIRPORT3_P7.PDDL P21_AIRPORT4HALFMUC_P2.PDDL
P22_AIRPORT4HALFMUC_P3.PDDL P23_AIRPORT4HALFMUC_P4.PDDL P24_AIRPORT4HALFMUC_P4.PDDL
P25_AIRPORT4HALFMUC_P5.PDDL P26_AIRPORT4HALFMUC_P6.PDDL P27_AIRPORT4HALFMUC_P6.PDDL
P28_AIRPORT4HALFMUC_P7.PDDL P29_AIRPORT4HALFMUC_P8.PDDL P30_AIRPORT4HALFMUC_P8.PDDL
P31_AIRPORT4HALFMUC_P9.PDDL P32_AIRPORT4HALFMUC_P10.PDDL P33_AIRPORT4HALFMUC_P10.PDDL
P34_AIRPORT4HALFMUC_P11.PDDL P35_AIRPORT4HALFMUC_P12.PDDL P36_AIRPORT5MUC_P2.PDDL
P37_AIRPORT5MUC_P3.PDDL P38_AIRPORT5MUC_P3.PDDL P39_AIRPORT5MUC_P4.PDDL
P40_AIRPORT5MUC_P4.PDDL P41_AIRPORT5MUC_P4.PDDL P42_AIRPORT5MUC_P5.PDDL
P43_AIRPORT5MUC_P5.PDDL P44_AIRPORT5MUC_P5.PDDL P45_AIRPORT5MUC_P6.PDDL
P46_AIRPORT5MUC_P6.PDDL P47_AIRPORT5MUC_P8.PDDL P48_AIRPORT5MUC_P9.PDDL
P49_AIRPORT5MUC_P10.PDDL P50_AIRPORT5MUC_P15.PDDL

PIPESWORLD
Domain File Name File
PIPESWORLD NOTANKAGE_NONTEMPORAL DOMAIN.PDDL

Pipesworld Notankage_Nontemporal STRIPS Problems
P17_NET2_B16_G5.PDDL P34_NET4_B16_G6.PDDL P01_NET1_B6_G2.PDDL
P18_NET2_B16_G7.PDDL P35_NET4_B18_G4.PDDL P02_NET1_B6_G4.PDDL
P19_NET2_B18_G6.PDDL P36_NET4_B18_G6.PDDL P03_NET1_B8_G3.PDDL
P20_NET2_B18_G8.PDDL P37_NET4_B20_G5.PDDL P04_NET1_B8_G5.PDDL
P21_NET3_B12_G2.PDDL P38_NET4_B20_G7.PDDL P05_NET1_B10_G4.PDDL
P22_NET3_B12_G4.PDDL P39_NET4_B22_G7.PDDL P06_NET1_B10_G6.PDDL
P23_NET3_B14_G3.PDDL P40_NET4_B22_G8.PDDL P07_NET1_B12_G5.PDDL
P24_NET3_B14_G5.PDDL P41_NET5_B22_G2.PDDL P08_NET1_B12_G7.PDDL
P25_NET3_B16_G5.PDDL P42_NET5_B22_G4.PDDL P09_NET1_B14_G6.PDDL
P26_NET3_B16_G7.PDDL P43_NET5_B24_G3.PDDL P10_NET1_B14_G8.PDDL
P27_NET3_B18_G6.PDDL P44_NET5_B24_G5.PDDL P11_NET2_B10_G2.PDDL
P28_NET3_B18_G7.PDDL P45_NET5_B26_G4.PDDL P12_NET2_B10_G4.PDDL
P29_NET3_B20_G6.PDDL P46_NET5_B26_G6.PDDL P13_NET2_B12_G3.PDDL
P30_NET3_B20_G8.PDDL P47_NET5_B28_G5.PDDL P14_NET2_B12_G5.PDDL
P31_NET4_B14_G3.PDDL P48_NET5_B28_G7.PDDL P15_NET2_B14_G4.PDDL
P32_NET4_B14_G5.PDDL P49_NET5_B30_G6.PDDL P16_NET2_B14_G6.PDDL
P33_NET4_B16_G5.PDDL P50_NET5_B30_G8.PDDL

Domain File Name File
PIPESWORLD TANKAGE_NONTEMPORAL DOMAIN.PDDL

Pipesworld Tankage_Nontemporal STRIPS Problems
P17_NET2_B16_G5_T20.PDDL P34_NET4_B16_G6_T60.PDDL P01_NET1_B6_G2_T50.PDDL
P18_NET2_B16_G7_T60.PDDL P35_NET4_B18_G4_T90.PDDL P02_NET1_B6_G4_T50.PDDL
P19_NET2_B18_G6_T60.PDDL P36_NET4_B18_G6_T90.PDDL P03_NET1_B8_G3_T80.PDDL
P20_NET2_B18_G8_T90.PDDL P37_NET4_B20_G5_T60.PDDL P04_NET1_B8_G5_T80.PDDL
P21_NET3_B12_G2_T60.PDDL P38_NET4_B20_G7_T60.PDDL P05_NET1_B10_G4_T50.PDDL
P22_NET3_B12_G4_T60.PDDL P39_NET4_B22_G7_T50.PDDL P06_NET1_B10_G6_T50.PDDL
P23_NET3_B14_G3_T60.PDDL P40_NET4_B22_G8_T50.PDDL P07_NET1_B12_G5_T80.PDDL
P24_NET3_B14_G5_T60.PDDL P41_NET5_B22_G2_T20.PDDL P08_NET1_B12_G7_T80.PDDL
P25_NET3_B16_G5_T60.PDDL P42_NET5_B22_G4_T50.PDDL P09_NET1_B14_G6_T50.PDDL
P26_NET3_B16_G7_T70.PDDL P43_NET5_B24_G3_T80.PDDL P10_NET1_B14_G8_T50.PDDL
P27_NET3_B18_G6_T70.PDDL P44_NET5_B24_G5_T80.PDDL P11_NET2_B10_G2_T30.PDDL
P28_NET3_B18_G7_T70.PDDL P45_NET5_B26_G4_T50.PDDL P12_NET2_B10_G4_T60.PDDL
P29_NET3_B20_G6_T70.PDDL P46_NET5_B26_G6_T50.PDDL P13_NET2_B12_G3_T70.PDDL
P30_NET3_B20_G8_T70.PDDL P47_NET5_B28_G5_T50.PDDL P14_NET2_B12_G5_T30.PDDL
P31_NET4_B14_G3_T20.PDDL P48_NET5_B28_G7_T50.PDDL P15_NET2_B14_G4_T30.PDDL
P32_NET4_B14_G5_T30.PDDL P49_NET5_B30_G6_T50.PDDL P16_NET2_B14_G6_T80.PDDL
P33_NET4_B16_G5_T60.PDDL P50_NET5_B30_G8_T50.PDDL
PROMELA
There are two basic formulations: Optical_Telegraph and Philosophers. Each of these have base case and derived predicates versions, and each of those has STRIPS and ADL versions. The STRIPS formulations have pairs of domain and problem files that are matched.
Promela Optical_Telegraph STRIPS Problems
Domain File Problem File
P01_DOMAIN.PDDL P01_OPT2.PDDL
P02_DOMAIN.PDDL P02_OPT3.PDDL
P03_DOMAIN.PDDL P03_OPT4.PDDL
P04_DOMAIN.PDDL P04_OPT5.PDDL
P05_DOMAIN.PDDL P05_OPT6.PDDL
P06_DOMAIN.PDDL P06_OPT7.PDDL
P07_DOMAIN.PDDL P07_OPT8.PDDL
P08_DOMAIN.PDDL P08_OPT9.PDDL
P09_DOMAIN.PDDL P09_OPT10.PDDL
P010_DOMAIN.PDDL P10_OPT11.PDDL
P11_DOMAIN.PDDL P11_OPT12.PDDL
P12_DOMAIN.PDDL P12_OPT13.PDDL
P13_DOMAIN.PDDL P13_OPT14.PDDL
P14_DOMAIN.PDDL P14_OPT15.PDDL


Domain File Name File
PROMELA Optical_Telegraph ADL DOMAIN.PDDL

Promela Optical_Telegraph ADL Problems
P10_OPT11.PDDL P20_OPT21.PDDL P30_OPT31.PDDL
P40_OPT41.PDDL P01_OPT2.PDDL P11_OPT12.PDDL
P21_OPT22.PDDL P31_OPT32.PDDL P41_OPT42.PDDL
P02_OPT3.PDDL P12_OPT13.PDDL P22_OPT23.PDDL
P32_OPT33.PDDL P42_OPT43.PDDL P03_OPT4.PDDL
P13_OPT14.PDDL P23_OPT24.PDDL P33_OPT34.PDDL
P43_OPT44.PDDL P04_OPT5.PDDL P14_OPT15.PDDL
P24_OPT25.PDDL P34_OPT35.PDDL P44_OPT45.PDDL
P05_OPT6.PDDL P15_OPT16.PDDL P25_OPT26.PDDL
P35_OPT36.PDDL P45_OPT46.PDDL P06_OPT7.PDDL
P16_OPT17.PDDL P26_OPT27.PDDL P36_OPT37.PDDL
P46_OPT47.PDDL P07_OPT8.PDDL P17_OPT18.PDDL
P27_OPT28.PDDL P37_OPT38.PDDL P47_OPT48.PDDL
P08_OPT9.PDDL P18_OPT19.PDDL P28_OPT29.PDDL
P38_OPT39.PDDL P48_OPT49.PDDL P09_OPT10.PDDL
P19_OPT20.PDDL P29_OPT30.PDDL P39_OPT40.PDDL


Promela Optical_Telegraph with Derived Predicates STRIPS Problems
Domain File Problem File
P01_DOMAIN.PDDL P01_OPT2.PDDL
P02_DOMAIN.PDDL P02_OPT3.PDDL
P03_DOMAIN.PDDL P03_OPT4.PDDL
P04_DOMAIN.PDDL P04_OPT5.PDDL
P05_DOMAIN.PDDL P05_OPT6.PDDL
P06_DOMAIN.PDDL P06_OPT7.PDDL
P07_DOMAIN.PDDL P07_OPT8.PDDL
P08_DOMAIN.PDDL P08_OPT9.PDDL
P09_DOMAIN.PDDL P09_OPT10.PDDL
P010_DOMAIN.PDDL P10_OPT11.PDDL
P11_DOMAIN.PDDL P11_OPT12.PDDL
P12_DOMAIN.PDDL P12_OPT13.PDDL
P13_DOMAIN.PDDL P13_OPT14.PDDL
P14_DOMAIN.PDDL P14_OPT15.PDDL
P15_DOMAIN.PDDL P15_OPT16.PDDL
P16_DOMAIN.PDDL P16_OPT17.PDDL
P17_DOMAIN.PDDL P17_OPT18.PDDL
P18_DOMAIN.PDDL P18_OPT19.PDDL
P19_DOMAIN.PDDL P19_OPT20.PDDL


Domain File Name File
PROMELA Optical_Telegraph with Derived predicates ADL DOMAIN.PDDL

Promela Optical_Telegraph with Derived Predicates ADL Problems
P10_OPT11.PDDL P20_OPT21.PDDL P30_OPT31.PDDL
P40_OPT41.PDDL P01_OPT2.PDDL P11_OPT12.PDDL
P21_OPT22.PDDL P31_OPT32.PDDL P41_OPT42.PDDL
P02_OPT3.PDDL P12_OPT13.PDDL P22_OPT23.PDDL
P32_OPT33.PDDL P42_OPT43.PDDL P03_OPT4.PDDL
P13_OPT14.PDDL P23_OPT24.PDDL P33_OPT34.PDDL
P43_OPT44.PDDL P04_OPT5.PDDL P14_OPT15.PDDL
P24_OPT25.PDDL P34_OPT35.PDDL P44_OPT45.PDDL
P05_OPT6.PDDL P15_OPT16.PDDL P25_OPT26.PDDL
P35_OPT36.PDDL P45_OPT46.PDDL P06_OPT7.PDDL
P16_OPT17.PDDL P26_OPT27.PDDL P36_OPT37.PDDL
P46_OPT47.PDDL P07_OPT8.PDDL P17_OPT18.PDDL
P27_OPT28.PDDL P37_OPT38.PDDL P47_OPT48.PDDL
P08_OPT9.PDDL P18_OPT19.PDDL P28_OPT29.PDDL
P38_OPT39.PDDL P48_OPT49.PDDL P09_OPT10.PDDL
P19_OPT20.PDDL P29_OPT30.PDDL P39_OPT40.PDDL
P40_OPT41.PDDL P41_OPT42.PDDL P42_OPT43.PDDL
P43_OPT44.PDDL P44_OPT45.PDDL P45_OPT46.PDDL
P47_OPT48.PDDL P48_OPT49.PDDL


Promela Philosophers STRIPS Problems
Domain File Problem File
P01_DOMAIN.PDDL P01_PHIL2.PDDL
P02_DOMAIN.PDDL P02_PHIL3.PDDL
P03_DOMAIN.PDDL P03_PHIL4.PDDL
P04_DOMAIN.PDDL P04_PHIL5.PDDL
P05_DOMAIN.PDDL P05_PHIL6.PDDL
P06_DOMAIN.PDDL P06_PHIL7.PDDL
P07_DOMAIN.PDDL P07_PHIL8.PDDL
P08_DOMAIN.PDDL P08_PHIL9.PDDL
P09_DOMAIN.PDDL P09_PHIL10.PDDL
P010_DOMAIN.PDDL P10_PHIL11.PDDL
P11_DOMAIN.PDDL P11_PHIL12.PDDL
P12_DOMAIN.PDDL P12_PHIL13.PDDL
P13_DOMAIN.PDDL P13_PHIL14.PDDL
P14_DOMAIN.PDDL P14_PHIL15.PDDL
P15_DOMAIN.PDDL P15_PHIL16.PDDL
P16_DOMAIN.PDDL P16_PHIL17.PDDL
P17_DOMAIN.PDDL P17_PHIL18.PDDL
P18_DOMAIN.PDDL P18_PHIL19.PDDL
P19_DOMAIN.PDDL P19_PHIL20.PDDL
P20_DOMAIN.PDDL P20_PHIL21.PDDL
P21_DOMAIN.PDDL P21_PHIL22.PDDL
P22_DOMAIN.PDDL P22_PHIL23.PDDL
P23_DOMAIN.PDDL P23_PHIL24.PDDL
P24_DOMAIN.PDDL P24_PHIL25.PDDL
P25_DOMAIN.PDDL P25_PHIL26.PDDL
P26_DOMAIN.PDDL P26_PHIL27.PDDL
P27_DOMAIN.PDDL P27_PHIL28.PDDL
P28_DOMAIN.PDDL P28_PHIL29.PDDL
P29_DOMAIN.PDDL P29_PHIL30.PDDL

Domain File Name File
PROMELA Philosophers ADL DOMAIN.PDDL

Promela Philosophers ADL Problems
P10_PHIL11.PDDL P20_PHIL21.PDDL P30_PHIL31.PDDL
P40_PHIL41.PDDL P01_PHIL2.PDDL P11_PHIL12.PDDL
P21_PHIL22.PDDL P31_PHIL32.PDDL P41_PHIL42.PDDL
P02_PHIL3.PDDL P12_PHIL13.PDDL P22_PHIL23.PDDL
P32_PHIL33.PDDL P42_PHIL43.PDDL P03_PHIL4.PDDL
P13_PHIL14.PDDL P23_PHIL24.PDDL P33_PHIL34.PDDL
P43_PHIL44.PDDL P04_PHIL5.PDDL P14_PHIL15.PDDL
P24_PHIL25.PDDL P34_PHIL35.PDDL P44_PHIL45.PDDL
P05_PHIL6.PDDL P15_PHIL16.PDDL P25_PHIL26.PDDL
P35_PHIL36.PDDL P45_PHIL46.PDDL P06_PHIL7.PDDL
P16_PHIL17.PDDL P26_PHIL27.PDDL P36_PHIL37.PDDL
P46_PHIL47.PDDL P07_PHIL8.PDDL P17_PHIL18.PDDL
P27_PHIL28.PDDL P37_PHIL38.PDDL P47_PHIL48.PDDL
P08_PHIL9.PDDL P18_PHIL19.PDDL P28_PHIL29.PDDL
P38_PHIL39.PDDL P48_PHIL49.PDDL P09_PHIL10.PDDL
P19_PHIL20.PDDL P29_PHIL30.PDDL P39_PHIL40.PDDL


Promela Philosophers with Derived Predicates STRIPS Problems
Domain File Problem File
P01_DOMAIN.PDDL P01_PHIL2.PDDL
P02_DOMAIN.PDDL P02_PHIL3.PDDL
P03_DOMAIN.PDDL P03_PHIL4.PDDL
P04_DOMAIN.PDDL P04_PHIL5.PDDL
P05_DOMAIN.PDDL P05_PHIL6.PDDL
P06_DOMAIN.PDDL P06_PHIL7.PDDL
P07_DOMAIN.PDDL P07_PHIL8.PDDL
P08_DOMAIN.PDDL P08_PHIL9.PDDL
P09_DOMAIN.PDDL P09_PHIL10.PDDL
P010_DOMAIN.PDDL P10_PHIL11.PDDL
P11_DOMAIN.PDDL P11_PHIL12.PDDL
P12_DOMAIN.PDDL P12_PHIL13.PDDL
P13_DOMAIN.PDDL P13_PHIL14.PDDL
P14_DOMAIN.PDDL P14_PHIL15.PDDL
P15_DOMAIN.PDDL P15_PHIL16.PDDL
P16_DOMAIN.PDDL P16_PHIL17.PDDL
P17_DOMAIN.PDDL P17_PHIL18.PDDL
P18_DOMAIN.PDDL P18_PHIL19.PDDL
P19_DOMAIN.PDDL P19_PHIL20.PDDL
P20_DOMAIN.PDDL P20_PHIL21.PDDL
P21_DOMAIN.PDDL P21_PHIL22.PDDL
P22_DOMAIN.PDDL P22_PHIL23.PDDL
P23_DOMAIN.PDDL P23_PHIL24.PDDL
P24_DOMAIN.PDDL P24_PHIL25.PDDL
P25_DOMAIN.PDDL P25_PHIL26.PDDL
P26_DOMAIN.PDDL P26_PHIL27.PDDL
P27_DOMAIN.PDDL P27_PHIL28.PDDL
P28_DOMAIN.PDDL P28_PHIL29.PDDL
P29_DOMAIN.PDDL P29_PHIL30.PDDL
P30_DOMAIN.PDDL P30_PHIL31.PDDL
P31_DOMAIN.PDDL P31_PHIL32.PDDL
P32_DOMAIN.PDDL P32_PHIL33.PDDL
P33_DOMAIN.PDDL P33_PHIL34.PDDL
P34_DOMAIN.PDDL P34_PHIL35.PDDL
P35_DOMAIN.PDDL P35_PHIL36.PDDL
P36_DOMAIN.PDDL P36_PHIL37.PDDL
P37_DOMAIN.PDDL P37_PHIL38.PDDL
P38_DOMAIN.PDDL P38_PHIL39.PDDL
P39_DOMAIN.PDDL P39_PHIL40.PDDL
P40_DOMAIN.PDDL P40_PHIL41.PDDL
P41_DOMAIN.PDDL P41_PHIL42.PDDL
P42_DOMAIN.PDDL P42_PHIL43.PDDL
P43_DOMAIN.PDDL P43_PHIL44.PDDL
P44_DOMAIN.PDDL P44_PHIL45.PDDL
P45_DOMAIN.PDDL P45_PHIL46.PDDL
P46_DOMAIN.PDDL P46_PHIL47.PDDL
P47_DOMAIN.PDDL P47_PHIL48.PDDL
P48_DOMAIN.PDDL P48_PHIL49.PDDL


Domain File Name File
PROMELA Philosophers with Derived Predicated ADL DOMAIN.PDDL

Promela Philosophers ADL_DERIVEDPREDICATES Problems
P10_PHIL11.PDDL P20_PHIL21.PDDL P30_PHIL31.PDDL
P40_PHIL41.PDDL P01_PHIL2.PDDL P11_PHIL12.PDDL
P21_PHIL22.PDDL P31_PHIL32.PDDL P41_PHIL42.PDDL
P02_PHIL3.PDDL P12_PHIL13.PDDL P22_PHIL23.PDDL
P32_PHIL33.PDDL P42_PHIL43.PDDL P03_PHIL4.PDDL
P13_PHIL14.PDDL P23_PHIL24.PDDL P33_PHIL34.PDDL
P43_PHIL44.PDDL P04_PHIL5.PDDL P14_PHIL15.PDDL
P24_PHIL25.PDDL P34_PHIL35.PDDL P44_PHIL45.PDDL
P05_PHIL6.PDDL P15_PHIL16.PDDL P25_PHIL26.PDDL
P35_PHIL36.PDDL P45_PHIL46.PDDL P06_PHIL7.PDDL
P16_PHIL17.PDDL P26_PHIL27.PDDL P36_PHIL37.PDDL
P46_PHIL47.PDDL P07_PHIL8.PDDL P17_PHIL18.PDDL
P27_PHIL28.PDDL P37_PHIL38.PDDL P47_PHIL48.PDDL
P08_PHIL9.PDDL P18_PHIL19.PDDL P28_PHIL29.PDDL
P38_PHIL39.PDDL P48_PHIL49.PDDL P09_PHIL10.PDDL
P19_PHIL20.PDDL P29_PHIL30.PDDL P39_PHIL40.PDDL
PSR
There are four basic formulations: Small, Middle, Middle_Compiled and Large. Some have derived predicates versions, and they vary in whether they have STRIPS and/or ADL versions. The STRIPS formulations have pairs of domain and problem files that are matched.
PSR Small STRIPS Problems
Domain File Problem File
P01_DOMAIN.PDDL P01_S2_N1_L2_F50.PDDL
P02_DOMAIN.PDDL P02_S5_N1_L3_F30.PDDL
P03_DOMAIN.PDDL P03_S7_N1_L3_F70.PDDL
P04_DOMAIN.PDDL P04_S8_N1_L4_F10.PDDL
P05_DOMAIN.PDDL P05_S9_N1_L4_F30.PDDL
P06_DOMAIN.PDDL P06_S10_N1_L4_F50.PDDL
P07_DOMAIN.PDDL P07_S11_N1_L4_F70.PDDL
P08_DOMAIN.PDDL P08_S12_N1_L5_F10.PDDL
P09_DOMAIN.PDDL P09_S13_N1_L5_F30.PDDL
P10_DOMAIN.PDDL P10_S17_N2_L2_F30.PDDL
P11_DOMAIN.PDDL P11_S18_N2_L2_F50.PDDL
P12_DOMAIN.PDDL P12_S21_N2_L3_F30.PDDL
P13_DOMAIN.PDDL P13_S22_N2_L3_F50.PDDL
P14_DOMAIN.PDDL P14_S23_N2_L3_F70.PDDL
P15_DOMAIN.PDDL P15_S24_N2_L4_F10.PDDL
P16_DOMAIN.PDDL P16_S29_N2_L5_F30.PDDL
P17_DOMAIN.PDDL P17_S30_N2_L5_F50.PDDL
P18_DOMAIN.PDDL P18_S31_N2_L5_F70.PDDL
P19_DOMAIN.PDDL P19_S33_N3_L2_F30.PDDL
P20_DOMAIN.PDDL P20_S34_N3_L2_F50.PDDL
P21_DOMAIN.PDDL P21_S35_N3_L2_F70.PDDL
P22_DOMAIN.PDDL P22_S37_N3_L3_F30.PDDL
P23_DOMAIN.PDDL P23_S38_N3_L3_F50.PDDL
P24_DOMAIN.PDDL P24_S39_N3_L3_F70.PDDL
P25_DOMAIN.PDDL P25_S40_N3_L4_F10.PDDL
P26_DOMAIN.PDDL P26_S41_N3_L4_F30.PDDL
P27_DOMAIN.PDDL P27_S42_N3_L4_F50.PDDL
P28_DOMAIN.PDDL P28_S43_N3_L4_F70.PDDL
P29_DOMAIN.PDDL P29_S45_N3_L5_F30.PDDL
P30_DOMAIN.PDDL P30_S46_N3_L5_F50.PDDL
P31_DOMAIN.PDDL P31_S49_N4_L2_F30.PDDL
P32_DOMAIN.PDDL P32_S50_N4_L2_F50.PDDL
P33_DOMAIN.PDDL P33_S51_N4_L2_F70.PDDL
P34_DOMAIN.PDDL P34_S55_N4_L3_F70.PDDL
P35_DOMAIN.PDDL P35_S57_N5_L2_F30.PDDL
P36_DOMAIN.PDDL P36_S65_N6_L2_F30.PDDL
P37_DOMAIN.PDDL P37_S67_N6_L2_F70.PDDL
P38_DOMAIN.PDDL P38_S78_N3_L3_F50.PDDL
P39_DOMAIN.PDDL P39_S79_N3_L3_F70.PDDL
P40_DOMAIN.PDDL P40_S80_N3_L4_F10.PDDL
P41_DOMAIN.PDDL P41_S81_N3_L4_F30.PDDL
P42_DOMAIN.PDDL P42_S82_N3_L4_F50.PDDL
P43_DOMAIN.PDDL P43_S83_N3_L4_F70.PDDL
P44_DOMAIN.PDDL P44_S89_N4_L2_F30.PDDL
P45_DOMAIN.PDDL P45_S94_N4_L3_F50.PDDL
P46_DOMAIN.PDDL P46_S97_N5_L2_F30.PDDL
P47_DOMAIN.PDDL P47_S98_N5_L2_F50.PDDL
P48_DOMAIN.PDDL P48_S101_N5_L3_F30.PDDL
P49_DOMAIN.PDDL P49_S105_N6_L2_F30.PDDL
P50_DOMAIN.PDDL P50_S107_N6_L2_F70.PDDL


PSR Middle with Derived Predicated STRIPS Problems
Domain File Problem File
P01_DOMAIN.PDDL P01_S17_N2_L2_F30.PDDL
P02_DOMAIN.PDDL P02_S23_N2_L3_F70.PDDL
P03_DOMAIN.PDDL P03_S28_N2_L5_F10.PDDL
P04_DOMAIN.PDDL P04_S31_N2_L5_F70.PDDL
P05_DOMAIN.PDDL P05_S34_N3_L2_F50.PDDL
P06_DOMAIN.PDDL P06_S37_N3_L3_F30.PDDL
P07_DOMAIN.PDDL P07_S38_N3_L3_F50.PDDL
P08_DOMAIN.PDDL P08_S40_N3_L4_F10.PDDL
P09_DOMAIN.PDDL P09_S42_N3_L4_F50.PDDL
P10_DOMAIN.PDDL P10_S45_N3_L5_F30.PDDL
P11_DOMAIN.PDDL P11_S46_N3_L5_F50.PDDL
P12_DOMAIN.PDDL P12_S50_N4_L2_F50.PDDL
P13_DOMAIN.PDDL P13_S53_N4_L3_F30.PDDL
P14_DOMAIN.PDDL P14_S55_N4_L3_F70.PDDL
P15_DOMAIN.PDDL P15_S56_N4_L4_F10.PDDL
P16_DOMAIN.PDDL P16_S60_N4_L5_F10.PDDL
P17_DOMAIN.PDDL P17_S61_N4_L5_F30.PDDL
P18_DOMAIN.PDDL P18_S62_N4_L5_F50.PDDL
P19_DOMAIN.PDDL P19_S66_N5_L2_F50.PDDL
P20_DOMAIN.PDDL P20_S69_N5_L3_F30.PDDL
P21_DOMAIN.PDDL P21_S72_N5_L4_F10.PDDL
P22_DOMAIN.PDDL P22_S74_N5_L4_F50.PDDL
P23_DOMAIN.PDDL P23_S76_N5_L5_F10.PDDL
P24_DOMAIN.PDDL P24_S77_N5_L5_F30.PDDL
P25_DOMAIN.PDDL P25_S81_N6_L2_F30.PDDL
P26_DOMAIN.PDDL P26_S85_N6_L3_F30.PDDL
P27_DOMAIN.PDDL P27_S86_N6_L3_F50.PDDL
P28_DOMAIN.PDDL P28_S88_N6_L4_F10.PDDL
P29_DOMAIN.PDDL P29_S89_N6_L4_F30.PDDL
P30_DOMAIN.PDDL P30_S90_N6_L4_F50.PDDL
P31_DOMAIN.PDDL P31_S92_N6_L5_F10.PDDL
P32_DOMAIN.PDDL P32_S93_N6_L5_F30.PDDL
P33_DOMAIN.PDDL P33_S100_N7_L3_F10.PDDL
P34_DOMAIN.PDDL P34_S102_N7_L3_F50.PDDL
P35_DOMAIN.PDDL P35_S103_N7_L3_F70.PDDL
P36_DOMAIN.PDDL P36_S106_N7_L4_F50.PDDL
P37_DOMAIN.PDDL P37_S108_N7_L5_F10.PDDL
P38_DOMAIN.PDDL P38_S109_N7_L5_F30.PDDL
P39_DOMAIN.PDDL P39_S112_N8_L2_F10.PDDL
P40_DOMAIN.PDDL P40_S114_N8_L2_F50.PDDL
P41_DOMAIN.PDDL P41_S116_N8_L3_F10.PDDL
P42_DOMAIN.PDDL P42_S120_N8_L4_F10.PDDL
P43_DOMAIN.PDDL P43_S123_N8_L4_F70.PDDL
P44_DOMAIN.PDDL P44_S131_N9_L2_F70.PDDL
P45_DOMAIN.PDDL P45_S132_N9_L3_F10.PDDL
P46_DOMAIN.PDDL P46_S135_N9_L3_F70.PDDL
P47_DOMAIN.PDDL P47_S139_N9_L4_F70.PDDL
P48_DOMAIN.PDDL P48_S144_N10_L2_F10.PDDL
P49_DOMAIN.PDDL P49_S149_N10_L3_F30.PDDL
P50_DOMAIN.PDDL P50_S153_N10_L4_F30.PDDL


PSR Middle with Derived Predicates Simple ADL Problems
Domain File Problem File
P01_DOMAIN.PDDL P01_S17_N2_L2_F30.PDDL
P02_DOMAIN.PDDL P02_S23_N2_L3_F70.PDDL
P03_DOMAIN.PDDL P03_S28_N2_L5_F10.PDDL
P04_DOMAIN.PDDL P04_S31_N2_L5_F70.PDDL
P05_DOMAIN.PDDL P05_S34_N3_L2_F50.PDDL
P06_DOMAIN.PDDL P06_S37_N3_L3_F30.PDDL
P07_DOMAIN.PDDL P07_S38_N3_L3_F50.PDDL
P08_DOMAIN.PDDL P08_S40_N3_L4_F10.PDDL
P09_DOMAIN.PDDL P09_S42_N3_L4_F50.PDDL
P10_DOMAIN.PDDL P10_S45_N3_L5_F30.PDDL
P11_DOMAIN.PDDL P11_S46_N3_L5_F50.PDDL
P12_DOMAIN.PDDL P12_S50_N4_L2_F50.PDDL
P13_DOMAIN.PDDL P13_S53_N4_L3_F30.PDDL
P14_DOMAIN.PDDL P14_S55_N4_L3_F70.PDDL
P15_DOMAIN.PDDL P15_S56_N4_L4_F10.PDDL
P16_DOMAIN.PDDL P16_S60_N4_L5_F10.PDDL
P17_DOMAIN.PDDL P17_S61_N4_L5_F30.PDDL
P18_DOMAIN.PDDL P18_S62_N4_L5_F50.PDDL
P19_DOMAIN.PDDL P19_S66_N5_L2_F50.PDDL
P20_DOMAIN.PDDL P20_S69_N5_L3_F30.PDDL
P21_DOMAIN.PDDL P21_S72_N5_L4_F10.PDDL
P22_DOMAIN.PDDL P22_S74_N5_L4_F50.PDDL
P23_DOMAIN.PDDL P23_S76_N5_L5_F10.PDDL
P24_DOMAIN.PDDL P24_S77_N5_L5_F30.PDDL
P25_DOMAIN.PDDL P25_S81_N6_L2_F30.PDDL
P26_DOMAIN.PDDL P26_S85_N6_L3_F30.PDDL
P27_DOMAIN.PDDL P27_S86_N6_L3_F50.PDDL
P28_DOMAIN.PDDL P28_S88_N6_L4_F10.PDDL
P29_DOMAIN.PDDL P29_S89_N6_L4_F30.PDDL
P30_DOMAIN.PDDL P30_S90_N6_L4_F50.PDDL
P31_DOMAIN.PDDL P31_S92_N6_L5_F10.PDDL
P32_DOMAIN.PDDL P32_S93_N6_L5_F30.PDDL
P33_DOMAIN.PDDL P33_S100_N7_L3_F10.PDDL
P34_DOMAIN.PDDL P34_S102_N7_L3_F50.PDDL
P35_DOMAIN.PDDL P35_S103_N7_L3_F70.PDDL
P36_DOMAIN.PDDL P36_S106_N7_L4_F50.PDDL
P37_DOMAIN.PDDL P37_S108_N7_L5_F10.PDDL
P38_DOMAIN.PDDL P38_S109_N7_L5_F30.PDDL
P39_DOMAIN.PDDL P39_S112_N8_L2_F10.PDDL
P40_DOMAIN.PDDL P40_S114_N8_L2_F50.PDDL
P41_DOMAIN.PDDL P41_S116_N8_L3_F10.PDDL
P42_DOMAIN.PDDL P42_S120_N8_L4_F10.PDDL
P43_DOMAIN.PDDL P43_S123_N8_L4_F70.PDDL
P44_DOMAIN.PDDL P44_S131_N9_L2_F70.PDDL
P45_DOMAIN.PDDL P45_S132_N9_L3_F10.PDDL
P46_DOMAIN.PDDL P46_S135_N9_L3_F70.PDDL
P47_DOMAIN.PDDL P47_S139_N9_L4_F70.PDDL
P48_DOMAIN.PDDL P48_S144_N10_L2_F10.PDDL
P49_DOMAIN.PDDL P49_S149_N10_L3_F30.PDDL
P50_DOMAIN.PDDL P50_S153_N10_L4_F30.PDDL


Domain File Name File
PSR Middle with Derived Predicates ADL DOMAIN.PDDL

PSR Middle with Derived Predicates ADL Problems
P01_S17_N2_L2_F30.PDDL P02_S23_N2_L3_F70.PDDL P03_S28_N2_L5_F10.PDDL
P04_S31_N2_L5_F70.PDDL P05_S34_N3_L2_F50.PDDL P06_S37_N3_L3_F30.PDDL
P07_S38_N3_L3_F50.PDDL P08_S40_N3_L4_F10.PDDL P09_S42_N3_L4_F50.PDDL
P10_S45_N3_L5_F30.PDDL P11_S46_N3_L5_F50.PDDL P12_S50_N4_L2_F50.PDDL
P13_S53_N4_L3_F30.PDDL P14_S55_N4_L3_F70.PDDL P15_S56_N4_L4_F10.PDDL
P16_S60_N4_L5_F10.PDDL P17_S61_N4_L5_F30.PDDL P18_S62_N4_L5_F50.PDDL
P19_S66_N5_L2_F50.PDDL P20_S69_N5_L3_F30.PDDL P21_S72_N5_L4_F10.PDDL
P22_S74_N5_L4_F50.PDDL P23_S76_N5_L5_F10.PDDL P24_S77_N5_L5_F30.PDDL
P25_S81_N6_L2_F30.PDDL P26_S85_N6_L3_F30.PDDL P27_S86_N6_L3_F50.PDDL
P28_S88_N6_L4_F10.PDDL P29_S89_N6_L4_F30.PDDL P30_S90_N6_L4_F50.PDDL
P31_S92_N6_L5_F10.PDDL P32_S93_N6_L5_F30.PDDL P33_S100_N7_L3_F10.PDDL
P34_S102_N7_L3_F50.PDDL P35_S103_N7_L3_F70.PDDL P36_S106_N7_L4_F50.PDDL
P37_S108_N7_L5_F10.PDDL P38_S109_N7_L5_F30.PDDL P39_S112_N8_L2_F10.PDDL
P40_S114_N8_L2_F50.PDDL P41_S116_N8_L3_F10.PDDL P42_S120_N8_L4_F10.PDDL
P43_S123_N8_L4_F70.PDDL P44_S131_N9_L2_F70.PDDL P45_S132_N9_L3_F10.PDDL
P46_S135_N9_L3_F70.PDDL P47_S139_N9_L4_F70.PDDL P48_S144_N10_L2_F10.PDDL
P49_S149_N10_L3_F30.PDDL P50_S153_N10_L4_F30.PDDL


Domain File Name File
PSR Middle Compiled ADL DOMAIN.PDDL

PSR Middle Compiled ADL Problems
P01_S17_N2_L2_F30.PDDL P02_S23_N2_L3_F70.PDDL P03_S28_N2_L5_F10.PDDL
P04_S31_N2_L5_F70.PDDL P05_S34_N3_L2_F50.PDDL P06_S37_N3_L3_F30.PDDL
P07_S38_N3_L3_F50.PDDL P08_S40_N3_L4_F10.PDDL P09_S42_N3_L4_F50.PDDL
P10_S45_N3_L5_F30.PDDL P11_S46_N3_L5_F50.PDDL P12_S50_N4_L2_F50.PDDL
P13_S53_N4_L3_F30.PDDL P14_S55_N4_L3_F70.PDDL P15_S56_N4_L4_F10.PDDL
P16_S60_N4_L5_F10.PDDL P17_S61_N4_L5_F30.PDDL P18_S62_N4_L5_F50.PDDL
P19_S66_N5_L2_F50.PDDL P20_S69_N5_L3_F30.PDDL P21_S72_N5_L4_F10.PDDL
P22_S74_N5_L4_F50.PDDL P23_S76_N5_L5_F10.PDDL P24_S77_N5_L5_F30.PDDL
P25_S81_N6_L2_F30.PDDL P26_S85_N6_L3_F30.PDDL P27_S86_N6_L3_F50.PDDL
P28_S88_N6_L4_F10.PDDL P29_S89_N6_L4_F30.PDDL P30_S90_N6_L4_F50.PDDL
P31_S92_N6_L5_F10.PDDL P32_S93_N6_L5_F30.PDDL P33_S100_N7_L3_F10.PDDL
P34_S102_N7_L3_F50.PDDL P35_S103_N7_L3_F70.PDDL P36_S106_N7_L4_F50.PDDL
P37_S108_N7_L5_F10.PDDL P38_S109_N7_L5_F30.PDDL P39_S112_N8_L2_F10.PDDL
P40_S114_N8_L2_F50.PDDL P41_S116_N8_L3_F10.PDDL P42_S120_N8_L4_F10.PDDL
P43_S123_N8_L4_F70.PDDL P44_S131_N9_L2_F70.PDDL P45_S132_N9_L3_F10.PDDL
P46_S135_N9_L3_F70.PDDL P47_S139_N9_L4_F70.PDDL P48_S144_N10_L2_F10.PDDL
P49_S149_N10_L3_F30.PDDL P50_S153_N10_L4_F30.PDDL


Domain File Name File
PSR Large with Derived Predicates ADL DOMAIN.PDDL

PSR Large with Derived Predicates ADL Problems
P01_S29_N2_L5_F30.PDDL P02_S46_N3_L5_F50.PDDL P03_S53_N4_L3_F30.PDDL
P04_S66_N5_L2_F50.PDDL P05_S71_N5_L3_F70.PDDL P06_S74_N5_L4_F50.PDDL
P07_S81_N6_L2_F30.PDDL P08_S87_N6_L3_F70.PDDL P09_S90_N6_L4_F50.PDDL
P10_S93_N6_L5_F30.PDDL P11_S100_N7_L3_F10.PDDL P12_S103_N7_L3_F70.PDDL
P13_S106_N7_L4_F50.PDDL P14_S112_N8_L2_F10.PDDL P15_S114_N8_L2_F50.PDDL
P16_S119_N8_L3_F70.PDDL P17_S129_N9_L2_F30.PDDL P18_S133_N9_L3_F30.PDDL
P19_S144_N10_L2_F10.PDDL P20_S149_N10_L3_F30.PDDL P21_S160_N12_L2_F10.PDDL
P22_S162_N12_L3_F10.PDDL P23_S164_N15_L2_F10.PDDL P24_S166_N15_L3_F10.PDDL
P25_S168_N20_L2_F10.PDDL P26_S170_N20_L3_F10.PDDL P27_S172_N25_L2_F10.PDDL
P28_S174_N25_L3_F10.PDDL P29_S177_N30_L2_F30.PDDL P30_S179_N30_L3_F30.PDDL
P31_S181_N35_L2_F30.PDDL P32_S183_N35_L3_F30.PDDL P33_S185_N40_L2_F30.PDDL
P34_S187_N40_L3_F30.PDDL P35_S189_N45_L2_F30.PDDL P36_S191_N45_L3_F30.PDDL
P37_S193_N50_L2_F30.PDDL P38_S195_N50_L3_F30.PDDL P39_S197_N55_L2_F30.PDDL
P40_S199_N55_L3_F30.PDDL P41_S201_N60_L2_F30.PDDL P42_S203_N60_L3_F30.PDDL
P43_S205_N70_L2_F30.PDDL P44_S207_N70_L3_F30.PDDL P45_S209_N80_L2_F30.PDDL
P46_S211_N80_L3_F30.PDDL P47_S213_N90_L2_F30.PDDL P48_S215_N90_L3_F30.PDDL
P49_S217_N100_L2_F30.PDDL P50_S219_N100_L3_F30.PDDL
SATELLITE
Domain File Name File
SATELLITE STRIPS DOMAIN.PDDL

Satellite STRIPS Problems
P01_PFILE1.PDDL P02_PFILE2.PDDL P03_PFILE3.PDDL
P04_PFILE4.PDDL P05_PFILE5.PDDL P06_PFILE6.PDDL
P07_PFILE7.PDDL P08_PFILE8.PDDL P09_PFILE9.PDDL
P10_PFILE10.PDDL P11_PFILE11.PDDL P12_PFILE12.PDDL
P13_PFILE13.PDDL P14_PFILE14.PDDL P15_PFILE15.PDDL
P16_PFILE16.PDDL P17_PFILE17.PDDL P18_PFILE18.PDDL
P19_PFILE19.PDDL P20_PFILE20.PDDL P21_HC_PFILE1.PDDL
P22_HC_PFILE2.PDDL P23_HC_PFILE3.PDDL P24_HC_PFILE4.PDDL
P25_HC_PFILE5.PDDL P26_HC_PFILE6.PDDL P27_HC_PFILE7.PDDL
P28_HC_PFILE8.PDDL P29_HC_PFILE9.PDDL P30_HC_PFILE10.PDDL
P31_HC_PFILE11.PDDL P32_HC_PFILE12.PDDL P33_HC_PFILE13.PDDL
P34_HC_PFILE14.PDDL P35_HC_PFILE15.PDDL P36_HC_PFILE16.PDDL
SETTLERS
Domain File Name File
SETTLERS STRIPS with Fluents DOMAIN.PDDL

Settlers with fluents STRIPS Problems
P01_PFILE1.PDDL P02_PFILE2.PDDL P03_PFILE3.PDDL
P04_PFILE4.PDDL P05_PFILE5.PDDL P06_PFILE6.PDDL
P07_PFILE7.PDDL P08_PFILE8.PDDL P09_PFILE9.PDDL
P10_PFILE10.PDDL P11_PFILE11.PDDL P12_PFILE12.PDDL
P13_PFILE13.PDDL P14_PFILE14.PDDL P15_PFILE15.PDDL
P16_PFILE16.PDDL P17_PFILE17.PDDL P18_PFILE18.PDDL
P19_PFILE19.PDDL P20_PFILE20.PDDL