prerequisites: ('-': not satisfied)
  + 1/b succeeded
outputs: ('-': not completed)
