Confluence Problems (Cops)

433 problems found.
PREV « 1 2 3 4 10 15 » NEXT order: desc asc

741.trs

(VAR x)
(RULES
  if(true, a, x) -> a
  if(true, b, x) -> b
  if(true, g(a), x) -> g(a)
  if(true, g(b), x) -> g(b)
  if(false, x, a) -> a
  if(false, x, b) -> b
  if(false, x, g(a)) -> g(a)
  if(false, x, g(b)) -> g(b)
  g(a) -> g(g(a))
  g(b) -> a
  f(a, b) -> b
  f(g(g(a)), x) -> b
)
(COMMENT handcraftet "UNC & ~NFP")
format:
properties:
solved by:

740.trs

(VAR x)
(RULES
  f(a, f(x, a)) -> f(a, f(f(a, a), a))
)
(COMMENT UN & ~UNC)
format:
properties:
solved by:

739.trs

(VAR x)
(RULES
  a -> a
  g(g(a)) -> b
  g(g(x)) -> g(g(g(b)))
)
(COMMENT UN & ~UNC)
format:
properties:
solved by:

738.trs

(VAR x)
(RULES
  a -> a
  f(b, a) -> f(a, b)
  f(x, a) -> b
)
(COMMENT UN & ~NFP)
format:
properties:
solved by:

737.trs

(VAR x)
(RULES
  f(a, f(a, x)) -> b
)
(COMMENT UNC & ~NFP)
format:
properties:
solved by:

736.trs

(VAR x)
(RULES
  a -> a
  f(f(x, a), a) -> b
)
(COMMENT UNC & ~NFP & ~SN)
format:
properties:
solved by:

735.trs

(RULES
  a -> a
  a -> b
  f(a, a) -> f(b, f(f(a, b), a))
)
(COMMENT NFP & ~CR)
format:
properties:
solved by:

734.trs

(VAR x)
(RULES
  f(a, f(a, x)) -> f(f(a, a), a)
)
(COMMENT NFP & ~CR)
format:
properties:
solved by:

733.trs

(VAR x0)
(RULES
  a -> a
  a -> b
  a -> f(a, a)
  f(b, b) -> f(a, b)
  f(x0, a) -> f(b, b)
)
(COMMENT -f "a:0 b:0 f:2" -r 5 "UN & ~UNC & GUNC")
format:
properties:
solved by:

732.trs

(VAR x0)
(RULES
  a -> a
  a -> b
  a -> f(a, a)
  f(b, b) -> f(a, a)
  f(x0, a) -> f(a, b)
)
(COMMENT -f "a:0 b:0 f:2" -r 5 "UN & ~UNC & ~SN")
format:
properties:
solved by:

731.trs

(VAR x)
(RULES
  a -> a
  a -> b
  f(b, b) -> f(a, b)
  f(x, a) -> f(a, b)
)
(COMMENT -f "a:0 b:0 f:2" -r 4 "UN & ~UNC & ~SN")
format:
properties:
solved by:

721.trs

(RULES
  b -> h(b,a)
  b -> h(f(b),f(h(b,a)))
)
(COMMENT Generated ground TRSs, evenly distributed in the UNR/UNC/NFP/CR hierarchy.)
format:
properties:
solved by:

720.trs

(RULES
  b -> f(f(b))
  f(a) -> c
  f(a) -> b
  b -> f(h(a,b))
)
(COMMENT Generated ground TRSs, evenly distributed in the UNR/UNC/NFP/CR hierarchy.)
format:
properties:
solved by:

719.trs

(RULES
  b -> f(b)
  c -> b
  f(f(f(c))) -> a
  f(h(b,b)) -> h(h(c,a),b)
)
(COMMENT Generated ground TRSs, evenly distributed in the UNR/UNC/NFP/CR hierarchy.)
format:
properties:
solved by:

718.trs

(RULES
  h(c,c) -> h(b,f(b))
  f(h(a,h(c,a))) -> c
  h(c,b) -> f(a)
)
(COMMENT Generated ground TRSs, evenly distributed in the UNR/UNC/NFP/CR hierarchy.)
format:
properties:
solved by:

717.trs

(RULES
  a -> c
  f(f(c)) -> h(a,h(h(c,c),b))
  f(f(a)) -> b
  b -> f(f(b))
)
(COMMENT Generated ground TRSs, evenly distributed in the UNR/UNC/NFP/CR hierarchy.)
format:
properties:
solved by:

716.trs

(RULES
  a -> h(a,f(b))
  f(f(h(a,a))) -> f(f(f(a)))
  f(h(a,h(a,a))) -> f(a)
  f(h(h(b,a),h(f(c),c))) -> c
)
(COMMENT Generated ground TRSs, evenly distributed in the UNR/UNC/NFP/CR hierarchy.)
format:
properties:
solved by:

715.trs

(RULES
  c -> c
  b -> f(c)
  h(b,h(a,f(h(a,f(f(f(b))))))) -> h(a,f(a))
  b -> h(b,a)
  h(f(b),c) -> f(c)
)
(COMMENT Generated ground TRSs, evenly distributed in the UNR/UNC/NFP/CR hierarchy.)
format:
properties:
solved by:

714.trs

(RULES
  a -> h(f(a),c)
  a -> f(c)
)
(COMMENT Generated ground TRSs, evenly distributed in the UNR/UNC/NFP/CR hierarchy.)
format:
properties:
solved by:

713.trs

(RULES
  a -> c
  h(h(b,b),a) -> a
  f(a) -> b
)
(COMMENT Generated ground TRSs, evenly distributed in the UNR/UNC/NFP/CR hierarchy.)
format:
properties:
solved by:

712.trs

(RULES
  c -> a
  f(c) -> f(h(b,c))
  a -> c
  c -> h(f(c),h(b,h(h(b,c),a)))
  c -> b
)
(COMMENT Generated ground TRSs, evenly distributed in the UNR/UNC/NFP/CR hierarchy.)
format:
properties:
solved by:

711.trs

(RULES
  f(h(f(b),a)) -> b
  f(c) -> b
  b -> f(b)
)
(COMMENT Generated ground TRSs, evenly distributed in the UNR/UNC/NFP/CR hierarchy.)
format:
properties:
solved by:

710.trs

(RULES
  c -> f(b)
  c -> b
)
(COMMENT Generated ground TRSs, evenly distributed in the UNR/UNC/NFP/CR hierarchy.)
format:
properties:
solved by:

709.trs

(RULES
  b -> c
  a -> a
)
(COMMENT Generated ground TRSs, evenly distributed in the UNR/UNC/NFP/CR hierarchy.)
format:
properties:
solved by:

708.trs

(RULES
  h(f(f(c)),h(c,h(c,h(h(f(b),f(f(f(f(b))))),b)))) -> h(h(a,a),f(c))
  h(b,h(c,h(b,h(a,b)))) -> a
  f(c) -> f(f(a))
  a -> f(f(b))
)
(COMMENT Generated ground TRSs, evenly distributed in the UNR/UNC/NFP/CR hierarchy.)
format:
properties:
solved by:

707.trs

(RULES
  c -> a
  f(f(c)) -> c
  f(c) -> a
)
(COMMENT Generated ground TRSs, evenly distributed in the UNR/UNC/NFP/CR hierarchy.)
format:
properties:
solved by:

706.trs

(RULES
  f(h(c,c)) -> a
  a -> b
  f(b) -> f(c)
  c -> f(c)
)
(COMMENT Generated ground TRSs, evenly distributed in the UNR/UNC/NFP/CR hierarchy.)
format:
properties:
solved by:

705.trs

(RULES
  a -> c
  c -> a
  c -> h(a,c)
)
(COMMENT Generated ground TRSs, evenly distributed in the UNR/UNC/NFP/CR hierarchy.)
format:
properties:
solved by:

704.trs

(RULES
  a -> f(a)
  h(c,a) -> b
)
(COMMENT Generated ground TRSs, evenly distributed in the UNR/UNC/NFP/CR hierarchy.)
format:
properties:
solved by:

703.trs

(RULES
  a -> f(f(h(a,c)))
  h(h(h(c,f(h(f(h(h(c,c),c)),b))),h(h(a,c),h(f(a),h(f(f(c)),h(c,b))))),h(f(a),c)) -> c
)
(COMMENT Generated ground TRSs, evenly distributed in the UNR/UNC/NFP/CR hierarchy.)
format:
properties:
solved by:
PREV « 1 2 3 4 10 15 » NEXT order: desc asc