still problematic:

  tests-provers/div
  tests-provers/div_real
  check-builtin/int
  bts/fsetint
  logic/bitvectors
  logic/einstein
  logic/genealogy
  bitvectors/power2
  bellman_ford
  knuth_prime_numbers
  vstte12_combinators
  hoare_logic/blocking_semantics5

known issues:
- Timeout is not always recognized
- why3 tactic does not work: ENOENT on connect()
- temporary output files are created in the curdir
- temporary output files are sometimes not erased
- socket file is created in the curdir