0.00/0.15 MAYBE 0.00/0.15 (ignored inputs)COMMENT COPS 424 763 COMMENT submitted by: Kiraku Shintani 0.00/0.15 Rewrite Rules (1): 0.00/0.15 [ f(f(f(f(?x)))) -> f(f(f(g(?x,f(?x))))), 0.00/0.15 f(?x) -> g(?x,f(?x)) ] 0.00/0.15 Rewrite Rules (2): 0.00/0.15 [ f(f(?x)) -> f(g(f(?x),f(?x))) ] 0.00/0.15 both left-linear 0.00/0.15 check commutation with R1 := (1), R2 := (2) 0.00/0.15 check CPs are development closed... 0.00/0.15 ...failed 0.00/0.15 check commutation with R1 := (2), R2 := (1) 0.00/0.15 check CPs are development closed... 0.00/0.15 ...failed 0.00/0.15 check non-commutation 0.00/0.15 check with R1 := (1), R2 := (2) 0.00/0.15 check counter example from CPs... 0.00/0.15 check candidate: 0.00/0.15 check candidate: 0.00/0.15 check candidate: 0.00/0.15 check candidate: 0.00/0.15 check candidate: 0.00/0.15 ...failed 0.00/0.15 check with R1 := (2), R2 := (1) 0.00/0.15 check counter example from CPs... 0.00/0.15 check candidate: 0.00/0.15 check candidate: 0.00/0.15 check candidate: 0.00/0.15 check candidate: 0.00/0.15 ...failed 0.00/0.15 0.00/0.15 result: Can't judge 0.00/0.15 /export/starexec/sandbox2/benchmark/theBenchmark.trs: Failure(unknown COM) 0.00/0.15 (2 msec.) 0.00/0.15 EOF