diff --git a/instances.yml b/instances.yml
index a93b05969..b7e6376dd 100644
--- a/instances.yml
+++ b/instances.yml
@@ -1796,3 +1796,840 @@ rintanen-aij-2012:
 - ipc: ipc-2002
   domain: zenotravel-strips-automatic
   instance: 20
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 1
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 2
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 3
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 4
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 5
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 6
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 7
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 8
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 9
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 10
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 11
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 12
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 13
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 14
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 15
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 16
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 17
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 18
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 19
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 20
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 21
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 22
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 23
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 24
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 25
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 26
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 27
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 28
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 29
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 30
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 31
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 32
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 33
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 34
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 35
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 36
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 37
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 38
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 39
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 40
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 41
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 42
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 43
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 44
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 45
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 46
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 47
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 48
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 49
+- ipc: ipc-2004
+  domain: airport-nontemporal-strips
+  instance: 50
+- ipc: ipc-2004
+  domain: promela-optical-telegraph-strips
+  instance: 1
+- ipc: ipc-2004
+  domain: promela-optical-telegraph-strips
+  instance: 2
+- ipc: ipc-2004
+  domain: promela-optical-telegraph-strips
+  instance: 3
+- ipc: ipc-2004
+  domain: promela-optical-telegraph-strips
+  instance: 4
+- ipc: ipc-2004
+  domain: promela-optical-telegraph-strips
+  instance: 5
+- ipc: ipc-2004
+  domain: promela-optical-telegraph-strips
+  instance: 6
+- ipc: ipc-2004
+  domain: promela-optical-telegraph-strips
+  instance: 7
+- ipc: ipc-2004
+  domain: promela-optical-telegraph-strips
+  instance: 8
+- ipc: ipc-2004
+  domain: promela-optical-telegraph-strips
+  instance: 9
+- ipc: ipc-2004
+  domain: promela-optical-telegraph-strips
+  instance: 10
+- ipc: ipc-2004
+  domain: promela-optical-telegraph-strips
+  instance: 11
+- ipc: ipc-2004
+  domain: promela-optical-telegraph-strips
+  instance: 12
+- ipc: ipc-2004
+  domain: promela-optical-telegraph-strips
+  instance: 13
+- ipc: ipc-2004
+  domain: promela-optical-telegraph-strips
+  instance: 14
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 1
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 2
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 3
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 4
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 5
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 6
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 7
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 8
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 9
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 10
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 11
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 12
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 13
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 14
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 15
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 16
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 17
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 18
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 19
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 20
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 21
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 22
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 23
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 24
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 25
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 26
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 27
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 28
+- ipc: ipc-2004
+  domain: promela-dining-philosophers-strips
+  instance: 29
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 1
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 2
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 3
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 4
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 5
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 6
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 7
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 8
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 9
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 10
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 11
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 12
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 13
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 14
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 15
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 16
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 17
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 18
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 19
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 20
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 21
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 22
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 23
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 24
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 25
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 26
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 27
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 28
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 29
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 30
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 31
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 32
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 33
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 34
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 35
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 36
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 37
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 38
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 39
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 40
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 41
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 42
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 43
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 44
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 45
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 46
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 47
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 48
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 49
+- ipc: ipc-2004
+  domain: pipesworld-tankage-nontemporal-strips
+  instance: 50
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 1
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 2
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 3
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 4
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 5
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 6
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 7
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 8
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 9
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 10
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 11
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 12
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 13
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 14
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 15
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 16
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 17
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 18
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 19
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 20
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 21
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 22
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 23
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 24
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 25
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 26
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 27
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 28
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 29
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 30
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 31
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 32
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 33
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 34
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 35
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 36
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 37
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 38
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 39
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 40
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 41
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 42
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 43
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 44
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 45
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 46
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 47
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 48
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 49
+- ipc: ipc-2004
+  domain: pipesworld-no-tankage-nontemporal-strips
+  instance: 50
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 1
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 2
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 3
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 4
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 5
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 6
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 7
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 8
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 9
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 10
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 11
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 12
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 13
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 14
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 15
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 16
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 17
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 18
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 19
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 20
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 21
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 22
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 23
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 24
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 25
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 26
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 27
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 28
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 29
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 30
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 31
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 32
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 33
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 34
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 35
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 36
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 37
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 38
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 39
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 40
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 41
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 42
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 43
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 44
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 45
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 46
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 47
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 48
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 49
+- ipc: ipc-2004
+  domain: psr-small-strips
+  instance: 50
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 1
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 2
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 3
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 4
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 5
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 6
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 7
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 8
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 9
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 10
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 11
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 12
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 13
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 14
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 15
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 16
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 17
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 18
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 19
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 20
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 21
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 22
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 23
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 24
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 25
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 26
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 27
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 28
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 29
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 30
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 31
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 32
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 33
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 34
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 35
+- ipc: ipc-2004
+  domain: satellite-strips
+  instance: 36