commit 3366b074c11319071f3bca9ba106d5f92bc3d53d Author: Patrick Lühne Date: Sun Nov 19 15:46:07 2017 +0100 Add LPNMR paper instance sets diff --git a/instances.yaml b/instances.yaml new file mode 100644 index 000000000..a3f62f469 --- /dev/null +++ b/instances.yaml @@ -0,0 +1,639 @@ +lpnmr-easy-instances: +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 3 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 4 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 5 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 6 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 7 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 8 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 9 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 10 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 11 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 12 +- ipc: ipc-1998 + domain: logistics-round-1-strips + instance: 31 +- ipc: ipc-1998 + domain: logistics-round-1-strips + instance: 32 +- ipc: ipc-1998 + domain: logistics-round-1-strips + instance: 33 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 11 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 12 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 13 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 14 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 15 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 16 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 17 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 18 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 19 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 20 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 21 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 22 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 23 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 24 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 25 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 26 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 29 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 30 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 31 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 26 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 27 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 28 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 29 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 30 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 31 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 32 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 33 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 34 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 35 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 36 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 37 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 38 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 39 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 40 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 41 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 42 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 43 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 44 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 45 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 3 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 4 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 5 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 6 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 7 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 8 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 10 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 11 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 13 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 16 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 17 +- ipc: ipc-2002 + domain: driverlog-strips-automatic + instance: 2 +- ipc: ipc-2002 + domain: driverlog-strips-automatic + instance: 4 +- ipc: ipc-2002 + domain: driverlog-strips-automatic + instance: 5 +- ipc: ipc-2002 + domain: driverlog-strips-automatic + instance: 7 +- ipc: ipc-2002 + domain: driverlog-strips-automatic + instance: 8 +- ipc: ipc-2002 + domain: driverlog-strips-automatic + instance: 9 +- ipc: ipc-2002 + domain: driverlog-strips-automatic + instance: 10 +- ipc: ipc-2002 + domain: driverlog-strips-automatic + instance: 11 +- ipc: ipc-2002 + domain: driverlog-strips-automatic + instance: 13 +- ipc: ipc-2002 + domain: driverlog-strips-automatic + instance: 14 +- ipc: ipc-2002 + domain: driverlog-strips-automatic + instance: 15 +- ipc: ipc-2002 + domain: driverlog-strips-automatic + instance: 16 +- ipc: ipc-2002 + domain: driverlog-strips-automatic + instance: 17 + +lpnmr-hard-instances: +- ipc: ipc-1998 + domain: grid-round-2-strips + instance: 1 +- ipc: ipc-1998 + domain: grid-round-2-strips + instance: 2 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 4 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 5 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 6 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 7 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 8 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 9 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 10 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 11 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 12 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 13 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 14 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 15 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 16 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 17 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 18 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 19 +- ipc: ipc-1998 + domain: gripper-round-1-strips + instance: 20 +- ipc: ipc-1998 + domain: logistics-round-1-strips + instance: 1 +- ipc: ipc-1998 + domain: logistics-round-1-strips + instance: 2 +- ipc: ipc-1998 + domain: logistics-round-1-strips + instance: 3 +- ipc: ipc-1998 + domain: logistics-round-1-strips + instance: 4 +- ipc: ipc-1998 + domain: logistics-round-1-strips + instance: 6 +- ipc: ipc-1998 + domain: logistics-round-1-strips + instance: 7 +- ipc: ipc-1998 + domain: logistics-round-1-strips + instance: 8 +- ipc: ipc-1998 + domain: logistics-round-1-strips + instance: 9 +- ipc: ipc-1998 + domain: logistics-round-1-strips + instance: 10 +- ipc: ipc-1998 + domain: logistics-round-1-strips + instance: 11 +- ipc: ipc-1998 + domain: logistics-round-1-strips + instance: 12 +- ipc: ipc-1998 + domain: logistics-round-1-strips + instance: 13 +- ipc: ipc-1998 + domain: logistics-round-1-strips + instance: 14 +- ipc: ipc-1998 + domain: logistics-round-1-strips + instance: 15 +- ipc: ipc-1998 + domain: logistics-round-1-strips + instance: 16 +- ipc: ipc-1998 + domain: logistics-round-1-strips + instance: 17 +- ipc: ipc-1998 + domain: logistics-round-1-strips + instance: 19 +- ipc: ipc-1998 + domain: logistics-round-1-strips + instance: 21 +- ipc: ipc-1998 + domain: logistics-round-1-strips + instance: 23 +- ipc: ipc-1998 + domain: logistics-round-1-strips + instance: 24 +- ipc: ipc-1998 + domain: mystery-round-1-strips + instance: 2 +- ipc: ipc-1998 + domain: mystery-round-1-strips + instance: 3 +- ipc: ipc-1998 + domain: mystery-round-1-strips + instance: 6 +- ipc: ipc-1998 + domain: mystery-round-1-strips + instance: 9 +- ipc: ipc-1998 + domain: mystery-round-1-strips + instance: 10 +- ipc: ipc-1998 + domain: mystery-round-1-strips + instance: 13 +- ipc: ipc-1998 + domain: mystery-round-1-strips + instance: 15 +- ipc: ipc-1998 + domain: mystery-round-1-strips + instance: 17 +- ipc: ipc-1998 + domain: mystery-round-1-strips + instance: 19 +- ipc: ipc-1998 + domain: mystery-round-1-strips + instance: 20 +- ipc: ipc-1998 + domain: mystery-round-1-strips + instance: 26 +- ipc: ipc-1998 + domain: mystery-round-1-strips + instance: 27 +- ipc: ipc-1998 + domain: mystery-round-1-strips + instance: 29 +- ipc: ipc-1998 + domain: mystery-round-1-strips + instance: 30 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 22 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 24 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 25 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 26 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 27 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 28 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 29 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 30 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 31 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 32 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 33 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 34 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 35 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 36 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 37 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 38 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 39 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 40 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 41 +- ipc: ipc-2000 + domain: blocks-strips-typed + instance: 42 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 38 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 40 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 42 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 43 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 44 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 45 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 46 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 47 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 48 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 49 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 50 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 51 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 52 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 53 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 54 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 55 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 56 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 57 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 58 +- ipc: ipc-2000 + domain: elevator-strips-simple-typed + instance: 59 +- ipc: ipc-2000 + domain: freecell-strips-typed + instance: 1 +- ipc: ipc-2000 + domain: freecell-strips-typed + instance: 2 +- ipc: ipc-2000 + domain: freecell-strips-typed + instance: 3 +- ipc: ipc-2000 + domain: freecell-strips-typed + instance: 4 +- ipc: ipc-2000 + domain: freecell-strips-typed + instance: 5 +- ipc: ipc-2000 + domain: freecell-strips-typed + instance: 6 +- ipc: ipc-2000 + domain: freecell-strips-typed + instance: 7 +- ipc: ipc-2000 + domain: freecell-strips-typed + instance: 8 +- ipc: ipc-2000 + domain: freecell-strips-typed + instance: 9 +- ipc: ipc-2000 + domain: freecell-strips-typed + instance: 10 +- ipc: ipc-2000 + domain: freecell-strips-typed + instance: 11 +- ipc: ipc-2000 + domain: freecell-strips-typed + instance: 12 +- ipc: ipc-2000 + domain: freecell-strips-typed + instance: 13 +- ipc: ipc-2000 + domain: freecell-strips-typed + instance: 14 +- ipc: ipc-2000 + domain: freecell-strips-typed + instance: 15 +- ipc: ipc-2000 + domain: freecell-strips-typed + instance: 19 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 3 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 4 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 5 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 6 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 7 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 8 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 9 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 10 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 11 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 12 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 13 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 14 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 15 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 16 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 17 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 18 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 19 +- ipc: ipc-2002 + domain: depots-strips-automatic + instance: 20 +- ipc: ipc-2002 + domain: driverlog-strips-automatic + instance: 7 +- ipc: ipc-2002 + domain: driverlog-strips-automatic + instance: 9 +- ipc: ipc-2002 + domain: driverlog-strips-automatic + instance: 11 +- ipc: ipc-2002 + domain: driverlog-strips-automatic + instance: 12 +- ipc: ipc-2002 + domain: driverlog-strips-automatic + instance: 13 +- ipc: ipc-2002 + domain: driverlog-strips-automatic + instance: 14 +- ipc: ipc-2002 + domain: driverlog-strips-automatic + instance: 15 +- ipc: ipc-2002 + domain: driverlog-strips-automatic + instance: 17 +- ipc: ipc-2002 + domain: driverlog-strips-automatic + instance: 18