/export/starexec/sandbox2/solver/bin/starexec_run_ttt2-1.17+nonreach /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files


--------------------------------------------------------------------------------


MAYBE

Problem:
 strict:
  f(act(),y) -> f(el(nact()),y)
  f(x,nact()) -> f(x,act())
  act() -> el(nact())
  l(el(x)) -> el(l(x))
  el(r(x)) -> r(el(x))
 weak:
  nact() -> l(nact())
  nact() -> r(nact())

Proof:
 Open