MAYBE
(ignored inputs)COMMENT translated from Cops 62
*** Computating Strongly Quasi-Reducible Parts ***
TRS:
   [ if(true,?x,?y) -> ?x,
     if(false,?x,?y) -> ?y,
     -(s(?x),s(?y)) -> -(?x,?y),
     -(?x,0) -> ?x,
     -(0,?x) -> 0,
     <(s(?x),s(?y)) -> <(?x,?y),
     <(0,s(?x)) -> true,
     <(?x,0) -> false,
     mod(0,?y) -> 0,
     mod(?x,s(?y)) -> if(<(?x,s(?y)),?x,mod(-(?x,s(?y)),s(?y))),
     mod(?x,0) -> ?x,
     gcd(?x,?y) -> gcd(?y,mod(?x,?y)),
     gcd(?x,0) -> ?x,
     gcd(0,?x) -> ?x ]
constructor detection timeout; switch to an approximation.
Constructors: {0,s,true,false}
Defined function symbols: {-,<,if,gcd,mod}
Constructor subsystem:
   [ ]
no strongly quasi-reducible parts found
examples/fromCops/cr/62.trs: Failure(unknown)
(1628 msec.)