519.26/300.11 /export/starexec/sandbox/solver/bin/starexec_run_Default: line 4: 30254 Done xsltproc "$DIR/xtc2tpdb.xml" "$1" 519.26/300.11 30255 Alarm clock | NaTT.exe 2> $DIR/stderr.txt 519.26/300.11 Input TRS: 519.26/300.11 1: 1(2(1(1(0(0(1(0(2(1(1(0(2(x1))))))))))))) -> 1(2(2(1(0(0(2(0(1(2(2(0(1(0(0(2(2(x1))))))))))))))))) 519.26/300.11 2: 2(0(1(2(1(2(1(2(1(0(0(1(0(x1))))))))))))) -> 2(2(0(0(2(1(1(1(0(0(0(1(1(1(2(2(0(x1))))))))))))))))) 519.26/300.11 3: 2(1(0(0(2(1(1(1(0(1(2(2(0(x1))))))))))))) -> 0(0(2(1(0(0(1(1(2(2(2(2(2(1(2(1(0(x1))))))))))))))))) 519.26/300.11 4: 2(2(0(0(1(0(2(1(1(1(0(0(1(x1))))))))))))) -> 2(2(1(1(2(0(0(1(2(2(0(2(0(0(2(2(2(x1))))))))))))))))) 519.26/300.11 5: 2(2(1(0(1(0(1(1(0(0(0(2(0(x1))))))))))))) -> 0(2(2(1(0(0(1(0(0(1(1(1(1(0(0(2(0(x1))))))))))))))))) 519.26/300.11 6: 2(2(1(1(0(2(0(0(0(2(2(0(0(x1))))))))))))) -> 0(0(1(2(0(0(0(2(2(0(1(2(2(2(2(0(0(x1))))))))))))))))) 519.26/300.11 7: 2(2(2(1(0(2(0(0(1(0(1(0(2(x1))))))))))))) -> 0(2(2(0(0(2(2(2(1(2(0(0(2(2(0(2(2(x1))))))))))))))))) 519.26/300.11 Number of strict rules: 7 519.26/300.11 Direct POLO(bPol) ... failed. 519.26/300.11 Uncurrying ... failed. 519.26/300.11 Dependency Pairs: 519.26/300.11 #1: #2(0(1(2(1(2(1(2(1(0(0(1(0(x1))))))))))))) -> #2(2(0(0(2(1(1(1(0(0(0(1(1(1(2(2(0(x1))))))))))))))))) 519.26/300.11 #2: #2(0(1(2(1(2(1(2(1(0(0(1(0(x1))))))))))))) -> #2(0(0(2(1(1(1(0(0(0(1(1(1(2(2(0(x1)))))))))))))))) 519.26/300.12 #3: #2(0(1(2(1(2(1(2(1(0(0(1(0(x1))))))))))))) -> #2(1(1(1(0(0(0(1(1(1(2(2(0(x1))))))))))))) 519.26/300.12 #4: #2(0(1(2(1(2(1(2(1(0(0(1(0(x1))))))))))))) -> #1(1(1(0(0(0(1(1(1(2(2(0(x1)))))))))))) 519.26/300.12 #5: #2(0(1(2(1(2(1(2(1(0(0(1(0(x1))))))))))))) -> #1(1(0(0(0(1(1(1(2(2(0(x1))))))))))) 519.26/300.12 #6: #2(0(1(2(1(2(1(2(1(0(0(1(0(x1))))))))))))) -> #1(0(0(0(1(1(1(2(2(0(x1)))))))))) 519.26/300.12 #7: #2(0(1(2(1(2(1(2(1(0(0(1(0(x1))))))))))))) -> #1(1(1(2(2(0(x1)))))) 519.26/300.12 #8: #2(0(1(2(1(2(1(2(1(0(0(1(0(x1))))))))))))) -> #1(1(2(2(0(x1))))) 519.26/300.12 #9: #2(0(1(2(1(2(1(2(1(0(0(1(0(x1))))))))))))) -> #1(2(2(0(x1)))) 519.26/300.12 #10: #2(0(1(2(1(2(1(2(1(0(0(1(0(x1))))))))))))) -> #2(2(0(x1))) 519.26/300.12 #11: #2(0(1(2(1(2(1(2(1(0(0(1(0(x1))))))))))))) -> #2(0(x1)) 519.26/300.12 #12: #2(2(1(1(0(2(0(0(0(2(2(0(0(x1))))))))))))) -> #1(2(0(0(0(2(2(0(1(2(2(2(2(0(0(x1))))))))))))))) 519.26/300.12 #13: #2(2(1(1(0(2(0(0(0(2(2(0(0(x1))))))))))))) -> #2(0(0(0(2(2(0(1(2(2(2(2(0(0(x1)))))))))))))) 519.26/300.12 #14: #2(2(1(1(0(2(0(0(0(2(2(0(0(x1))))))))))))) -> #2(2(0(1(2(2(2(2(0(0(x1)))))))))) 519.26/300.12 #15: #2(2(1(1(0(2(0(0(0(2(2(0(0(x1))))))))))))) -> #2(0(1(2(2(2(2(0(0(x1))))))))) 519.26/300.12 #16: #2(2(1(1(0(2(0(0(0(2(2(0(0(x1))))))))))))) -> #1(2(2(2(2(0(0(x1))))))) 519.26/300.12 #17: #2(2(1(1(0(2(0(0(0(2(2(0(0(x1))))))))))))) -> #2(2(2(2(0(0(x1)))))) 519.26/300.12 #18: #2(2(1(1(0(2(0(0(0(2(2(0(0(x1))))))))))))) -> #2(2(2(0(0(x1))))) 519.26/300.12 #19: #2(2(2(1(0(2(0(0(1(0(1(0(2(x1))))))))))))) -> #2(2(0(0(2(2(2(1(2(0(0(2(2(0(2(2(x1)))))))))))))))) 519.26/300.12 #20: #2(2(2(1(0(2(0(0(1(0(1(0(2(x1))))))))))))) -> #2(0(0(2(2(2(1(2(0(0(2(2(0(2(2(x1))))))))))))))) 519.26/300.12 #21: #2(2(2(1(0(2(0(0(1(0(1(0(2(x1))))))))))))) -> #2(2(2(1(2(0(0(2(2(0(2(2(x1)))))))))))) 519.26/300.12 #22: #2(2(2(1(0(2(0(0(1(0(1(0(2(x1))))))))))))) -> #2(2(1(2(0(0(2(2(0(2(2(x1))))))))))) 519.26/300.12 #23: #2(2(2(1(0(2(0(0(1(0(1(0(2(x1))))))))))))) -> #2(1(2(0(0(2(2(0(2(2(x1)))))))))) 519.26/300.12 #24: #2(2(2(1(0(2(0(0(1(0(1(0(2(x1))))))))))))) -> #1(2(0(0(2(2(0(2(2(x1))))))))) 519.26/300.12 #25: #2(2(2(1(0(2(0(0(1(0(1(0(2(x1))))))))))))) -> #2(0(0(2(2(0(2(2(x1)))))))) 519.26/300.12 #26: #2(2(2(1(0(2(0(0(1(0(1(0(2(x1))))))))))))) -> #2(2(0(2(2(x1))))) 519.26/300.12 #27: #2(2(2(1(0(2(0(0(1(0(1(0(2(x1))))))))))))) -> #2(0(2(2(x1)))) 519.26/300.12 #28: #2(2(2(1(0(2(0(0(1(0(1(0(2(x1))))))))))))) -> #2(2(x1)) 519.26/300.12 #29: #2(2(1(0(1(0(1(1(0(0(0(2(0(x1))))))))))))) -> #2(2(1(0(0(1(0(0(1(1(1(1(0(0(2(0(x1)))))))))))))))) 519.26/300.12 #30: #2(2(1(0(1(0(1(1(0(0(0(2(0(x1))))))))))))) -> #2(1(0(0(1(0(0(1(1(1(1(0(0(2(0(x1))))))))))))))) 519.26/300.12 #31: #2(2(1(0(1(0(1(1(0(0(0(2(0(x1))))))))))))) -> #1(0(0(1(0(0(1(1(1(1(0(0(2(0(x1)))))))))))))) 519.26/300.12 #32: #2(2(1(0(1(0(1(1(0(0(0(2(0(x1))))))))))))) -> #1(0(0(1(1(1(1(0(0(2(0(x1))))))))))) 519.26/300.12 #33: #2(2(1(0(1(0(1(1(0(0(0(2(0(x1))))))))))))) -> #1(1(1(1(0(0(2(0(x1)))))))) 519.26/300.12 #34: #2(2(1(0(1(0(1(1(0(0(0(2(0(x1))))))))))))) -> #1(1(1(0(0(2(0(x1))))))) 519.26/300.12 #35: #2(2(1(0(1(0(1(1(0(0(0(2(0(x1))))))))))))) -> #1(1(0(0(2(0(x1)))))) 519.26/300.12 #36: #2(2(1(0(1(0(1(1(0(0(0(2(0(x1))))))))))))) -> #1(0(0(2(0(x1))))) 519.26/300.12 #37: #2(1(0(0(2(1(1(1(0(1(2(2(0(x1))))))))))))) -> #2(1(0(0(1(1(2(2(2(2(2(1(2(1(0(x1))))))))))))))) 519.26/300.12 #38: #2(1(0(0(2(1(1(1(0(1(2(2(0(x1))))))))))))) -> #1(0(0(1(1(2(2(2(2(2(1(2(1(0(x1)))))))))))))) 519.26/300.12 #39: #2(1(0(0(2(1(1(1(0(1(2(2(0(x1))))))))))))) -> #1(1(2(2(2(2(2(1(2(1(0(x1))))))))))) 519.26/300.12 #40: #2(1(0(0(2(1(1(1(0(1(2(2(0(x1))))))))))))) -> #1(2(2(2(2(2(1(2(1(0(x1)))))))))) 519.26/300.12 #41: #2(1(0(0(2(1(1(1(0(1(2(2(0(x1))))))))))))) -> #2(2(2(2(2(1(2(1(0(x1))))))))) 519.26/300.12 #42: #2(1(0(0(2(1(1(1(0(1(2(2(0(x1))))))))))))) -> #2(2(2(2(1(2(1(0(x1)))))))) 519.26/300.12 #43: #2(1(0(0(2(1(1(1(0(1(2(2(0(x1))))))))))))) -> #2(2(2(1(2(1(0(x1))))))) 519.26/300.12 #44: #2(1(0(0(2(1(1(1(0(1(2(2(0(x1))))))))))))) -> #2(2(1(2(1(0(x1)))))) 519.26/300.12 #45: #2(1(0(0(2(1(1(1(0(1(2(2(0(x1))))))))))))) -> #2(1(2(1(0(x1))))) 519.26/300.12 #46: #2(1(0(0(2(1(1(1(0(1(2(2(0(x1))))))))))))) -> #1(2(1(0(x1)))) 519.26/300.12 #47: #2(1(0(0(2(1(1(1(0(1(2(2(0(x1))))))))))))) -> #2(1(0(x1))) 519.26/300.12 #48: #2(1(0(0(2(1(1(1(0(1(2(2(0(x1))))))))))))) -> #1(0(x1)) 519.26/300.12 #49: #1(2(1(1(0(0(1(0(2(1(1(0(2(x1))))))))))))) -> #1(2(2(1(0(0(2(0(1(2(2(0(1(0(0(2(2(x1))))))))))))))))) 519.26/300.12 #50: #1(2(1(1(0(0(1(0(2(1(1(0(2(x1))))))))))))) -> #2(2(1(0(0(2(0(1(2(2(0(1(0(0(2(2(x1)))))))))))))))) 519.26/300.12 #51: #1(2(1(1(0(0(1(0(2(1(1(0(2(x1))))))))))))) -> #2(1(0(0(2(0(1(2(2(0(1(0(0(2(2(x1))))))))))))))) 519.26/300.12 #52: #1(2(1(1(0(0(1(0(2(1(1(0(2(x1))))))))))))) -> #1(0(0(2(0(1(2(2(0(1(0(0(2(2(x1)))))))))))))) 519.26/300.12 #53: #1(2(1(1(0(0(1(0(2(1(1(0(2(x1))))))))))))) -> #2(0(1(2(2(0(1(0(0(2(2(x1))))))))))) 519.26/300.12 #54: #1(2(1(1(0(0(1(0(2(1(1(0(2(x1))))))))))))) -> #1(2(2(0(1(0(0(2(2(x1))))))))) 519.26/300.12 #55: #1(2(1(1(0(0(1(0(2(1(1(0(2(x1))))))))))))) -> #2(2(0(1(0(0(2(2(x1)))))))) 519.26/300.12 #56: #1(2(1(1(0(0(1(0(2(1(1(0(2(x1))))))))))))) -> #2(0(1(0(0(2(2(x1))))))) 519.26/300.12 #57: #1(2(1(1(0(0(1(0(2(1(1(0(2(x1))))))))))))) -> #1(0(0(2(2(x1))))) 519.26/300.12 #58: #1(2(1(1(0(0(1(0(2(1(1(0(2(x1))))))))))))) -> #2(2(x1)) 519.26/300.12 #59: #2(2(0(0(1(0(2(1(1(1(0(0(1(x1))))))))))))) -> #2(2(1(1(2(0(0(1(2(2(0(2(0(0(2(2(2(x1))))))))))))))))) 519.26/300.12 #60: #2(2(0(0(1(0(2(1(1(1(0(0(1(x1))))))))))))) -> #2(1(1(2(0(0(1(2(2(0(2(0(0(2(2(2(x1)))))))))))))))) 519.26/300.12 #61: #2(2(0(0(1(0(2(1(1(1(0(0(1(x1))))))))))))) -> #1(1(2(0(0(1(2(2(0(2(0(0(2(2(2(x1))))))))))))))) 519.26/300.12 #62: #2(2(0(0(1(0(2(1(1(1(0(0(1(x1))))))))))))) -> #1(2(0(0(1(2(2(0(2(0(0(2(2(2(x1)))))))))))))) 519.26/300.12 #63: #2(2(0(0(1(0(2(1(1(1(0(0(1(x1))))))))))))) -> #2(0(0(1(2(2(0(2(0(0(2(2(2(x1))))))))))))) 519.26/300.12 #64: #2(2(0(0(1(0(2(1(1(1(0(0(1(x1))))))))))))) -> #1(2(2(0(2(0(0(2(2(2(x1)))))))))) 519.26/300.12 #65: #2(2(0(0(1(0(2(1(1(1(0(0(1(x1))))))))))))) -> #2(2(0(2(0(0(2(2(2(x1))))))))) 519.26/300.12 #66: #2(2(0(0(1(0(2(1(1(1(0(0(1(x1))))))))))))) -> #2(0(2(0(0(2(2(2(x1)))))))) 519.26/300.12 #67: #2(2(0(0(1(0(2(1(1(1(0(0(1(x1))))))))))))) -> #2(0(0(2(2(2(x1)))))) 519.26/300.12 #68: #2(2(0(0(1(0(2(1(1(1(0(0(1(x1))))))))))))) -> #2(2(2(x1))) 519.26/300.12 #69: #2(2(0(0(1(0(2(1(1(1(0(0(1(x1))))))))))))) -> #2(2(x1)) 519.26/300.12 #70: #2(2(0(0(1(0(2(1(1(1(0(0(1(x1))))))))))))) -> #2(x1) 519.26/300.12 Number of SCCs: 2, DPs: 7 519.26/300.12 SCC { #47 } 519.26/300.12 POLO(Sum)... succeeded. 519.26/300.12 1 w: x1 519.26/300.12 #2 w: x1 519.26/300.12 0 w: x1 + 1 519.26/300.12 2 w: x1 519.26/300.12 #1 w: 0 519.26/300.12 USABLE RULES: { } 519.26/300.12 Removed DPs: #47 519.26/300.12 Number of SCCs: 1, DPs: 6 519.26/300.12 SCC { #10 #11 #28 #68..70 } 519.26/300.12 POLO(Sum)... POLO(max)... QLPOS. 519.26/300.12 EOF