Infos
-   ++   STRIPS
-   ++   STRIP   +S
-   ++   TRIPS   +S