diff --git a/instances.yml b/instances.yml
index 4943ba784..1e5be6b95 100644
--- a/instances.yml
+++ b/instances.yml
@@ -3113,126 +3113,6 @@ rintanen-aij-2012:
 - ipc: ipc-2006
   domain: trucks-propositional-strips
   instance: 30
-- ipc: ipc-2011
-  domain: barman-sequential-satisficing
-  instance: 1
-- ipc: ipc-2011
-  domain: barman-sequential-satisficing
-  instance: 2
-- ipc: ipc-2011
-  domain: barman-sequential-satisficing
-  instance: 3
-- ipc: ipc-2011
-  domain: barman-sequential-satisficing
-  instance: 4
-- ipc: ipc-2011
-  domain: barman-sequential-satisficing
-  instance: 5
-- ipc: ipc-2011
-  domain: barman-sequential-satisficing
-  instance: 6
-- ipc: ipc-2011
-  domain: barman-sequential-satisficing
-  instance: 7
-- ipc: ipc-2011
-  domain: barman-sequential-satisficing
-  instance: 8
-- ipc: ipc-2011
-  domain: barman-sequential-satisficing
-  instance: 9
-- ipc: ipc-2011
-  domain: barman-sequential-satisficing
-  instance: 10
-- ipc: ipc-2011
-  domain: barman-sequential-satisficing
-  instance: 11
-- ipc: ipc-2011
-  domain: barman-sequential-satisficing
-  instance: 12
-- ipc: ipc-2011
-  domain: barman-sequential-satisficing
-  instance: 13
-- ipc: ipc-2011
-  domain: barman-sequential-satisficing
-  instance: 14
-- ipc: ipc-2011
-  domain: barman-sequential-satisficing
-  instance: 15
-- ipc: ipc-2011
-  domain: barman-sequential-satisficing
-  instance: 16
-- ipc: ipc-2011
-  domain: barman-sequential-satisficing
-  instance: 17
-- ipc: ipc-2011
-  domain: barman-sequential-satisficing
-  instance: 18
-- ipc: ipc-2011
-  domain: barman-sequential-satisficing
-  instance: 19
-- ipc: ipc-2011
-  domain: barman-sequential-satisficing
-  instance: 20
-- ipc: ipc-2011
-  domain: elevator-sequential-satisficing
-  instance: 1
-- ipc: ipc-2011
-  domain: elevator-sequential-satisficing
-  instance: 2
-- ipc: ipc-2011
-  domain: elevator-sequential-satisficing
-  instance: 3
-- ipc: ipc-2011
-  domain: elevator-sequential-satisficing
-  instance: 4
-- ipc: ipc-2011
-  domain: elevator-sequential-satisficing
-  instance: 5
-- ipc: ipc-2011
-  domain: elevator-sequential-satisficing
-  instance: 6
-- ipc: ipc-2011
-  domain: elevator-sequential-satisficing
-  instance: 7
-- ipc: ipc-2011
-  domain: elevator-sequential-satisficing
-  instance: 8
-- ipc: ipc-2011
-  domain: elevator-sequential-satisficing
-  instance: 9
-- ipc: ipc-2011
-  domain: elevator-sequential-satisficing
-  instance: 10
-- ipc: ipc-2011
-  domain: elevator-sequential-satisficing
-  instance: 11
-- ipc: ipc-2011
-  domain: elevator-sequential-satisficing
-  instance: 12
-- ipc: ipc-2011
-  domain: elevator-sequential-satisficing
-  instance: 13
-- ipc: ipc-2011
-  domain: elevator-sequential-satisficing
-  instance: 14
-- ipc: ipc-2011
-  domain: elevator-sequential-satisficing
-  instance: 15
-- ipc: ipc-2011
-  domain: elevator-sequential-satisficing
-  instance: 16
-- ipc: ipc-2011
-  domain: elevator-sequential-satisficing
-  instance: 17
-- ipc: ipc-2011
-  domain: elevator-sequential-satisficing
-  instance: 18
-- ipc: ipc-2011
-  domain: elevator-sequential-satisficing
-  instance: 19
-- ipc: ipc-2011
-  domain: elevator-sequential-satisficing
-  instance: 20
 - ipc: ipc-2011
   domain: floor-tile-sequential-satisficing
   instance: 1
@@ -3293,426 +3173,6 @@ rintanen-aij-2012:
 - ipc: ipc-2011
   domain: floor-tile-sequential-satisficing
   instance: 20
-- ipc: ipc-2011
-  domain: no-mystery-sequential-satisficing
-  instance: 1
-- ipc: ipc-2011
-  domain: no-mystery-sequential-satisficing
-  instance: 2
-- ipc: ipc-2011
-  domain: no-mystery-sequential-satisficing
-  instance: 3
-- ipc: ipc-2011
-  domain: no-mystery-sequential-satisficing
-  instance: 4
-- ipc: ipc-2011
-  domain: no-mystery-sequential-satisficing
-  instance: 5
-- ipc: ipc-2011
-  domain: no-mystery-sequential-satisficing
-  instance: 6
-- ipc: ipc-2011
-  domain: no-mystery-sequential-satisficing
-  instance: 7
-- ipc: ipc-2011
-  domain: no-mystery-sequential-satisficing
-  instance: 8
-- ipc: ipc-2011
-  domain: no-mystery-sequential-satisficing
-  instance: 9
-- ipc: ipc-2011
-  domain: no-mystery-sequential-satisficing
-  instance: 10
-- ipc: ipc-2011
-  domain: no-mystery-sequential-satisficing
-  instance: 11
-- ipc: ipc-2011
-  domain: no-mystery-sequential-satisficing
-  instance: 12
-- ipc: ipc-2011
-  domain: no-mystery-sequential-satisficing
-  instance: 13
-- ipc: ipc-2011
-  domain: no-mystery-sequential-satisficing
-  instance: 14
-- ipc: ipc-2011
-  domain: no-mystery-sequential-satisficing
-  instance: 15
-- ipc: ipc-2011
-  domain: no-mystery-sequential-satisficing
-  instance: 16
-- ipc: ipc-2011
-  domain: no-mystery-sequential-satisficing
-  instance: 17
-- ipc: ipc-2011
-  domain: no-mystery-sequential-satisficing
-  instance: 18
-- ipc: ipc-2011
-  domain: no-mystery-sequential-satisficing
-  instance: 19
-- ipc: ipc-2011
-  domain: no-mystery-sequential-satisficing
-  instance: 20
-- ipc: ipc-2011
-  domain: openstacks-sequential-satisficing
-  instance: 1
-- ipc: ipc-2011
-  domain: openstacks-sequential-satisficing
-  instance: 2
-- ipc: ipc-2011
-  domain: openstacks-sequential-satisficing
-  instance: 3
-- ipc: ipc-2011
-  domain: openstacks-sequential-satisficing
-  instance: 4
-- ipc: ipc-2011
-  domain: openstacks-sequential-satisficing
-  instance: 5
-- ipc: ipc-2011
-  domain: openstacks-sequential-satisficing
-  instance: 6
-- ipc: ipc-2011
-  domain: openstacks-sequential-satisficing
-  instance: 7
-- ipc: ipc-2011
-  domain: openstacks-sequential-satisficing
-  instance: 8
-- ipc: ipc-2011
-  domain: openstacks-sequential-satisficing
-  instance: 9
-- ipc: ipc-2011
-  domain: openstacks-sequential-satisficing
-  instance: 10
-- ipc: ipc-2011
-  domain: openstacks-sequential-satisficing
-  instance: 11
-- ipc: ipc-2011
-  domain: openstacks-sequential-satisficing
-  instance: 12
-- ipc: ipc-2011
-  domain: openstacks-sequential-satisficing
-  instance: 13
-- ipc: ipc-2011
-  domain: openstacks-sequential-satisficing
-  instance: 14
-- ipc: ipc-2011
-  domain: openstacks-sequential-satisficing
-  instance: 15
-- ipc: ipc-2011
-  domain: openstacks-sequential-satisficing
-  instance: 16
-- ipc: ipc-2011
-  domain: openstacks-sequential-satisficing
-  instance: 17
-- ipc: ipc-2011
-  domain: openstacks-sequential-satisficing
-  instance: 18
-- ipc: ipc-2011
-  domain: openstacks-sequential-satisficing
-  instance: 19
-- ipc: ipc-2011
-  domain: openstacks-sequential-satisficing
-  instance: 20
-- ipc: ipc-2011
-  domain: parc-printer-sequential-satisficing
-  instance: 1
-- ipc: ipc-2011
-  domain: parc-printer-sequential-satisficing
-  instance: 2
-- ipc: ipc-2011
-  domain: parc-printer-sequential-satisficing
-  instance: 3
-- ipc: ipc-2011
-  domain: parc-printer-sequential-satisficing
-  instance: 4
-- ipc: ipc-2011
-  domain: parc-printer-sequential-satisficing
-  instance: 5
-- ipc: ipc-2011
-  domain: parc-printer-sequential-satisficing
-  instance: 6
-- ipc: ipc-2011
-  domain: parc-printer-sequential-satisficing
-  instance: 7
-- ipc: ipc-2011
-  domain: parc-printer-sequential-satisficing
-  instance: 8
-- ipc: ipc-2011
-  domain: parc-printer-sequential-satisficing
-  instance: 9
-- ipc: ipc-2011
-  domain: parc-printer-sequential-satisficing
-  instance: 10
-- ipc: ipc-2011
-  domain: parc-printer-sequential-satisficing
-  instance: 11
-- ipc: ipc-2011
-  domain: parc-printer-sequential-satisficing
-  instance: 12
-- ipc: ipc-2011
-  domain: parc-printer-sequential-satisficing
-  instance: 13
-- ipc: ipc-2011
-  domain: parc-printer-sequential-satisficing
-  instance: 14
-- ipc: ipc-2011
-  domain: parc-printer-sequential-satisficing
-  instance: 15
-- ipc: ipc-2011
-  domain: parc-printer-sequential-satisficing
-  instance: 16
-- ipc: ipc-2011
-  domain: parc-printer-sequential-satisficing
-  instance: 17
-- ipc: ipc-2011
-  domain: parc-printer-sequential-satisficing
-  instance: 18
-- ipc: ipc-2011
-  domain: parc-printer-sequential-satisficing
-  instance: 19
-- ipc: ipc-2011
-  domain: parc-printer-sequential-satisficing
-  instance: 20
-- ipc: ipc-2011
-  domain: parking-sequential-satisficing
-  instance: 1
-- ipc: ipc-2011
-  domain: parking-sequential-satisficing
-  instance: 2
-- ipc: ipc-2011
-  domain: parking-sequential-satisficing
-  instance: 3
-- ipc: ipc-2011
-  domain: parking-sequential-satisficing
-  instance: 4
-- ipc: ipc-2011
-  domain: parking-sequential-satisficing
-  instance: 5
-- ipc: ipc-2011
-  domain: parking-sequential-satisficing
-  instance: 6
-- ipc: ipc-2011
-  domain: parking-sequential-satisficing
-  instance: 7
-- ipc: ipc-2011
-  domain: parking-sequential-satisficing
-  instance: 8
-- ipc: ipc-2011
-  domain: parking-sequential-satisficing
-  instance: 9
-- ipc: ipc-2011
-  domain: parking-sequential-satisficing
-  instance: 10
-- ipc: ipc-2011
-  domain: parking-sequential-satisficing
-  instance: 11
-- ipc: ipc-2011
-  domain: parking-sequential-satisficing
-  instance: 12
-- ipc: ipc-2011
-  domain: parking-sequential-satisficing
-  instance: 13
-- ipc: ipc-2011
-  domain: parking-sequential-satisficing
-  instance: 14
-- ipc: ipc-2011
-  domain: parking-sequential-satisficing
-  instance: 15
-- ipc: ipc-2011
-  domain: parking-sequential-satisficing
-  instance: 16
-- ipc: ipc-2011
-  domain: parking-sequential-satisficing
-  instance: 17
-- ipc: ipc-2011
-  domain: parking-sequential-satisficing
-  instance: 18
-- ipc: ipc-2011
-  domain: parking-sequential-satisficing
-  instance: 19
-- ipc: ipc-2011
-  domain: parking-sequential-satisficing
-  instance: 20
-- ipc: ipc-2011
-  domain: peg-solitaire-sequential-satisficing
-  instance: 1
-- ipc: ipc-2011
-  domain: peg-solitaire-sequential-satisficing
-  instance: 2
-- ipc: ipc-2011
-  domain: peg-solitaire-sequential-satisficing
-  instance: 3
-- ipc: ipc-2011
-  domain: peg-solitaire-sequential-satisficing
-  instance: 4
-- ipc: ipc-2011
-  domain: peg-solitaire-sequential-satisficing
-  instance: 5
-- ipc: ipc-2011
-  domain: peg-solitaire-sequential-satisficing
-  instance: 6
-- ipc: ipc-2011
-  domain: peg-solitaire-sequential-satisficing
-  instance: 7
-- ipc: ipc-2011
-  domain: peg-solitaire-sequential-satisficing
-  instance: 8
-- ipc: ipc-2011
-  domain: peg-solitaire-sequential-satisficing
-  instance: 9
-- ipc: ipc-2011
-  domain: peg-solitaire-sequential-satisficing
-  instance: 10
-- ipc: ipc-2011
-  domain: peg-solitaire-sequential-satisficing
-  instance: 11
-- ipc: ipc-2011
-  domain: peg-solitaire-sequential-satisficing
-  instance: 12
-- ipc: ipc-2011
-  domain: peg-solitaire-sequential-satisficing
-  instance: 13
-- ipc: ipc-2011
-  domain: peg-solitaire-sequential-satisficing
-  instance: 14
-- ipc: ipc-2011
-  domain: peg-solitaire-sequential-satisficing
-  instance: 15
-- ipc: ipc-2011
-  domain: peg-solitaire-sequential-satisficing
-  instance: 16
-- ipc: ipc-2011
-  domain: peg-solitaire-sequential-satisficing
-  instance: 17
-- ipc: ipc-2011
-  domain: peg-solitaire-sequential-satisficing
-  instance: 18
-- ipc: ipc-2011
-  domain: peg-solitaire-sequential-satisficing
-  instance: 19
-- ipc: ipc-2011
-  domain: peg-solitaire-sequential-satisficing
-  instance: 20
-- ipc: ipc-2011
-  domain: scanalyzer-3d-sequential-satisficing
-  instance: 1
-- ipc: ipc-2011
-  domain: scanalyzer-3d-sequential-satisficing
-  instance: 2
-- ipc: ipc-2011
-  domain: scanalyzer-3d-sequential-satisficing
-  instance: 3
-- ipc: ipc-2011
-  domain: scanalyzer-3d-sequential-satisficing
-  instance: 4
-- ipc: ipc-2011
-  domain: scanalyzer-3d-sequential-satisficing
-  instance: 5
-- ipc: ipc-2011
-  domain: scanalyzer-3d-sequential-satisficing
-  instance: 6
-- ipc: ipc-2011
-  domain: scanalyzer-3d-sequential-satisficing
-  instance: 7
-- ipc: ipc-2011
-  domain: scanalyzer-3d-sequential-satisficing
-  instance: 8
-- ipc: ipc-2011
-  domain: scanalyzer-3d-sequential-satisficing
-  instance: 9
-- ipc: ipc-2011
-  domain: scanalyzer-3d-sequential-satisficing
-  instance: 10
-- ipc: ipc-2011
-  domain: scanalyzer-3d-sequential-satisficing
-  instance: 11
-- ipc: ipc-2011
-  domain: scanalyzer-3d-sequential-satisficing
-  instance: 12
-- ipc: ipc-2011
-  domain: scanalyzer-3d-sequential-satisficing
-  instance: 13
-- ipc: ipc-2011
-  domain: scanalyzer-3d-sequential-satisficing
-  instance: 14
-- ipc: ipc-2011
-  domain: scanalyzer-3d-sequential-satisficing
-  instance: 15
-- ipc: ipc-2011
-  domain: scanalyzer-3d-sequential-satisficing
-  instance: 16
-- ipc: ipc-2011
-  domain: scanalyzer-3d-sequential-satisficing
-  instance: 17
-- ipc: ipc-2011
-  domain: scanalyzer-3d-sequential-satisficing
-  instance: 18
-- ipc: ipc-2011
-  domain: scanalyzer-3d-sequential-satisficing
-  instance: 19
-- ipc: ipc-2011
-  domain: scanalyzer-3d-sequential-satisficing
-  instance: 20
-- ipc: ipc-2011
-  domain: sokoban-sequential-satisficing
-  instance: 1
-- ipc: ipc-2011
-  domain: sokoban-sequential-satisficing
-  instance: 2
-- ipc: ipc-2011
-  domain: sokoban-sequential-satisficing
-  instance: 3
-- ipc: ipc-2011
-  domain: sokoban-sequential-satisficing
-  instance: 4
-- ipc: ipc-2011
-  domain: sokoban-sequential-satisficing
-  instance: 5
-- ipc: ipc-2011
-  domain: sokoban-sequential-satisficing
-  instance: 6
-- ipc: ipc-2011
-  domain: sokoban-sequential-satisficing
-  instance: 7
-- ipc: ipc-2011
-  domain: sokoban-sequential-satisficing
-  instance: 8
-- ipc: ipc-2011
-  domain: sokoban-sequential-satisficing
-  instance: 9
-- ipc: ipc-2011
-  domain: sokoban-sequential-satisficing
-  instance: 10
-- ipc: ipc-2011
-  domain: sokoban-sequential-satisficing
-  instance: 11
-- ipc: ipc-2011
-  domain: sokoban-sequential-satisficing
-  instance: 12
-- ipc: ipc-2011
-  domain: sokoban-sequential-satisficing
-  instance: 13
-- ipc: ipc-2011
-  domain: sokoban-sequential-satisficing
-  instance: 14
-- ipc: ipc-2011
-  domain: sokoban-sequential-satisficing
-  instance: 15
-- ipc: ipc-2011
-  domain: sokoban-sequential-satisficing
-  instance: 16
-- ipc: ipc-2011
-  domain: sokoban-sequential-satisficing
-  instance: 17
-- ipc: ipc-2011
-  domain: sokoban-sequential-satisficing
-  instance: 18
-- ipc: ipc-2011
-  domain: sokoban-sequential-satisficing
-  instance: 19
-- ipc: ipc-2011
-  domain: sokoban-sequential-satisficing
-  instance: 20
 - ipc: ipc-2011
   domain: tidybot-sequential-satisficing
   instance: 1
@@ -3773,66 +3233,6 @@ rintanen-aij-2012:
 - ipc: ipc-2011
   domain: tidybot-sequential-satisficing
   instance: 20
-- ipc: ipc-2011
-  domain: transport-sequential-satisficing
-  instance: 1
-- ipc: ipc-2011
-  domain: transport-sequential-satisficing
-  instance: 2
-- ipc: ipc-2011
-  domain: transport-sequential-satisficing
-  instance: 3
-- ipc: ipc-2011
-  domain: transport-sequential-satisficing
-  instance: 4
-- ipc: ipc-2011
-  domain: transport-sequential-satisficing
-  instance: 5
-- ipc: ipc-2011
-  domain: transport-sequential-satisficing
-  instance: 6
-- ipc: ipc-2011
-  domain: transport-sequential-satisficing
-  instance: 7
-- ipc: ipc-2011
-  domain: transport-sequential-satisficing
-  instance: 8
-- ipc: ipc-2011
-  domain: transport-sequential-satisficing
-  instance: 9
-- ipc: ipc-2011
-  domain: transport-sequential-satisficing
-  instance: 10
-- ipc: ipc-2011
-  domain: transport-sequential-satisficing
-  instance: 11
-- ipc: ipc-2011
-  domain: transport-sequential-satisficing
-  instance: 12
-- ipc: ipc-2011
-  domain: transport-sequential-satisficing
-  instance: 13
-- ipc: ipc-2011
-  domain: transport-sequential-satisficing
-  instance: 14
-- ipc: ipc-2011
-  domain: transport-sequential-satisficing
-  instance: 15
-- ipc: ipc-2011
-  domain: transport-sequential-satisficing
-  instance: 16
-- ipc: ipc-2011
-  domain: transport-sequential-satisficing
-  instance: 17
-- ipc: ipc-2011
-  domain: transport-sequential-satisficing
-  instance: 18
-- ipc: ipc-2011
-  domain: transport-sequential-satisficing
-  instance: 19
-- ipc: ipc-2011
-  domain: transport-sequential-satisficing
-  instance: 20
 - ipc: ipc-2011
   domain: visit-all-sequential-satisficing
   instance: 1
@@ -3893,63 +3293,3 @@ rintanen-aij-2012:
 - ipc: ipc-2011
   domain: visit-all-sequential-satisficing
   instance: 20
-- ipc: ipc-2011
-  domain: woodworking-sequential-satisficing
-  instance: 1
-- ipc: ipc-2011
-  domain: woodworking-sequential-satisficing
-  instance: 2
-- ipc: ipc-2011
-  domain: woodworking-sequential-satisficing
-  instance: 3
-- ipc: ipc-2011
-  domain: woodworking-sequential-satisficing
-  instance: 4
-- ipc: ipc-2011
-  domain: woodworking-sequential-satisficing
-  instance: 5
-- ipc: ipc-2011
-  domain: woodworking-sequential-satisficing
-  instance: 6
-- ipc: ipc-2011
-  domain: woodworking-sequential-satisficing
-  instance: 7
-- ipc: ipc-2011
-  domain: woodworking-sequential-satisficing
-  instance: 8
-- ipc: ipc-2011
-  domain: woodworking-sequential-satisficing
-  instance: 9
-- ipc: ipc-2011
-  domain: woodworking-sequential-satisficing
-  instance: 10
-- ipc: ipc-2011
-  domain: woodworking-sequential-satisficing
-  instance: 11
-- ipc: ipc-2011
-  domain: woodworking-sequential-satisficing
-  instance: 12
-- ipc: ipc-2011
-  domain: woodworking-sequential-satisficing
-  instance: 13
-- ipc: ipc-2011
-  domain: woodworking-sequential-satisficing
-  instance: 14
-- ipc: ipc-2011
-  domain: woodworking-sequential-satisficing
-  instance: 15
-- ipc: ipc-2011
-  domain: woodworking-sequential-satisficing
-  instance: 16
-- ipc: ipc-2011
-  domain: woodworking-sequential-satisficing
-  instance: 17
-- ipc: ipc-2011
-  domain: woodworking-sequential-satisficing
-  instance: 18
-- ipc: ipc-2011
-  domain: woodworking-sequential-satisficing
-  instance: 19
-- ipc: ipc-2011
-  domain: woodworking-sequential-satisficing
-  instance: 20