work around picosat "one instance per process"

* add possibilty for picosat and other suspects
  which can't be run in one process more than once
  to be started multiple times