Input TRS:
    1: active(f(x)) -> mark(f(f(x)))
    2: chk(no(f(x))) -> f(chk(mat(f(f(f(f(f(f(f(f(f(f(X())))))))))),x)))
    3: mat(f(x),f(y())) -> f(mat(x,y()))
    4: chk(no(c())) -> active(c())
    5: mat(f(x),c()) -> no(c())
    6: f(active(x)) -> active(f(x))
    7: f(no(x)) -> no(f(x))
    8: f(mark(x)) -> mark(f(x))
    9: tp(mark(x)) -> tp(chk(mat(f(f(f(f(f(f(f(f(f(f(X())))))))))),x)))
Number of Rules: 9
Direct QWPOS(Pol) ...Timeout: aborting command ``/.amd_mnt/terra/home/fs5/ayamada/Term/Direct/../tool'' with signal 9