YES
  TPA v.1.0

Result: TRS is terminating

Default interpretations for symbols are not printed. For polynomial interpretations
and semantic labelling over N\{0,1} defaults are 2 for constants, identity for unary
symbols and x+y-2 for binary symbols. For semantic labelling over {0,1} (booleans)
defaults are 0 for constants, identity for unary symbols and disjunction for binary symbols.

[1]  TRS loaded from input file:
(1) app(app(app(compose,f),g),x) -> app(g,app(f,x))
(2) app(reverse,l) -> app(app(reverse2,l),nil)
(3) app(app(reverse2,nil),l) -> l
(4) app(app(reverse2,app(app(cons,x),xs)),l) -> app(app(reverse2,xs),app(app(cons,x),l))
(5) app(hd,app(app(cons,x),xs)) -> x
(6) app(tl,app(app(cons,x),xs)) -> xs
(7) last -> app(app(compose,hd),reverse)
(8) init -> app(app(compose,reverse),app(app(compose,tl),reverse))

[2]  Use following polynomial interpretation:
[init] = 3
rest default

  Remove rules with left hand side strictly bigger than right hand side:
(8)

[3]  Use following polynomial interpretation:
[last] = 3
rest default

  Remove rules with left hand side strictly bigger than right hand side:
(7)

[4]  Use following polynomial interpretation:
[tl] = 3
rest default

  Remove rules with left hand side strictly bigger than right hand side:
(6)

[5]  Use following polynomial interpretation:
[hd] = 3
rest default

  Remove rules with left hand side strictly bigger than right hand side:
(5)

[6]  Use following polynomial interpretation:
[reverse] = 3
rest default

  Remove rules with left hand side strictly bigger than right hand side:
(2)

[7]  Use following polynomial interpretation:
[nil] = 3
rest default

  Remove rules with left hand side strictly bigger than right hand side:
(3)

[8]  Use following polynomial interpretation:
[app(x,y)] = x + y + 1
rest default

  Remove rules with left hand side strictly bigger than right hand side:
(1)

[9]  All the rules of this TRS can be oriented with RPO with the following precedence:
Status: app: Lex-LR, 
Precedence: empty


../tpdb/TRS/higher-order/AProVE_HO/ReverseLastInit.trs, 0.02, Y
Couldn't open file <60>: 60: No such file or directory