/export/starexec/sandbox/solver/bin/starexec_run_Default: line 4: 19862 Done xsltproc "$DIR/xtc2tpdb.xml" "$1" 19863 Alarm clock | NaTT.exe 2> "$2/stdout.txt" 2> $DIR/stderr.txt Input TRS: 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))))))))))))))))) 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))))))))))))))))) 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))))))))))))))))) 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))))))))))))))))) 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))))))))))))))))) 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))))))))))))))))) 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))))))))))))))))) Number of strict rules: 7 Direct POLO(bPol) ... failed. Uncurrying ... failed. Dependency Pairs: #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))))))))))))))))) #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)))))))))))))))) #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))))))))))))) #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)))))))))))) #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))))))))))) #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)))))))))) #7: #2(0(1(2(1(2(1(2(1(0(0(1(0(x1))))))))))))) -> #1(1(1(2(2(0(x1)))))) #8: #2(0(1(2(1(2(1(2(1(0(0(1(0(x1))))))))))))) -> #1(1(2(2(0(x1))))) #9: #2(0(1(2(1(2(1(2(1(0(0(1(0(x1))))))))))))) -> #1(2(2(0(x1)))) #10: #2(0(1(2(1(2(1(2(1(0(0(1(0(x1))))))))))))) -> #2(2(0(x1))) #11: #2(0(1(2(1(2(1(2(1(0(0(1(0(x1))))))))))))) -> #2(0(x1)) #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))))))))))))))) #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)))))))))))))) #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)))))))))) #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))))))))) #16: #2(2(1(1(0(2(0(0(0(2(2(0(0(x1))))))))))))) -> #1(2(2(2(2(0(0(x1))))))) #17: #2(2(1(1(0(2(0(0(0(2(2(0(0(x1))))))))))))) -> #2(2(2(2(0(0(x1)))))) #18: #2(2(1(1(0(2(0(0(0(2(2(0(0(x1))))))))))))) -> #2(2(2(0(0(x1))))) #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)))))))))))))))) #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))))))))))))))) #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)))))))))))) #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))))))))))) #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)))))))))) #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))))))))) #25: #2(2(2(1(0(2(0(0(1(0(1(0(2(x1))))))))))))) -> #2(0(0(2(2(0(2(2(x1)))))))) #26: #2(2(2(1(0(2(0(0(1(0(1(0(2(x1))))))))))))) -> #2(2(0(2(2(x1))))) #27: #2(2(2(1(0(2(0(0(1(0(1(0(2(x1))))))))))))) -> #2(0(2(2(x1)))) #28: #2(2(2(1(0(2(0(0(1(0(1(0(2(x1))))))))))))) -> #2(2(x1)) #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)))))))))))))))) #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))))))))))))))) #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)))))))))))))) #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))))))))))) #33: #2(2(1(0(1(0(1(1(0(0(0(2(0(x1))))))))))))) -> #1(1(1(1(0(0(2(0(x1)))))))) #34: #2(2(1(0(1(0(1(1(0(0(0(2(0(x1))))))))))))) -> #1(1(1(0(0(2(0(x1))))))) #35: #2(2(1(0(1(0(1(1(0(0(0(2(0(x1))))))))))))) -> #1(1(0(0(2(0(x1)))))) #36: #2(2(1(0(1(0(1(1(0(0(0(2(0(x1))))))))))))) -> #1(0(0(2(0(x1))))) #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))))))))))))))) #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)))))))))))))) #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))))))))))) #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)))))))))) #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))))))))) #42: #2(1(0(0(2(1(1(1(0(1(2(2(0(x1))))))))))))) -> #2(2(2(2(1(2(1(0(x1)))))))) #43: #2(1(0(0(2(1(1(1(0(1(2(2(0(x1))))))))))))) -> #2(2(2(1(2(1(0(x1))))))) #44: #2(1(0(0(2(1(1(1(0(1(2(2(0(x1))))))))))))) -> #2(2(1(2(1(0(x1)))))) #45: #2(1(0(0(2(1(1(1(0(1(2(2(0(x1))))))))))))) -> #2(1(2(1(0(x1))))) #46: #2(1(0(0(2(1(1(1(0(1(2(2(0(x1))))))))))))) -> #1(2(1(0(x1)))) #47: #2(1(0(0(2(1(1(1(0(1(2(2(0(x1))))))))))))) -> #2(1(0(x1))) #48: #2(1(0(0(2(1(1(1(0(1(2(2(0(x1))))))))))))) -> #1(0(x1)) #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))))))))))))))))) #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)))))))))))))))) #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))))))))))))))) #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)))))))))))))) #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))))))))))) #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))))))))) #55: #1(2(1(1(0(0(1(0(2(1(1(0(2(x1))))))))))))) -> #2(2(0(1(0(0(2(2(x1)))))))) #56: #1(2(1(1(0(0(1(0(2(1(1(0(2(x1))))))))))))) -> #2(0(1(0(0(2(2(x1))))))) #57: #1(2(1(1(0(0(1(0(2(1(1(0(2(x1))))))))))))) -> #1(0(0(2(2(x1))))) #58: #1(2(1(1(0(0(1(0(2(1(1(0(2(x1))))))))))))) -> #2(2(x1)) #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))))))))))))))))) #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)))))))))))))))) #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))))))))))))))) #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)))))))))))))) #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))))))))))))) #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)))))))))) #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))))))))) #66: #2(2(0(0(1(0(2(1(1(1(0(0(1(x1))))))))))))) -> #2(0(2(0(0(2(2(2(x1)))))))) #67: #2(2(0(0(1(0(2(1(1(1(0(0(1(x1))))))))))))) -> #2(0(0(2(2(2(x1)))))) #68: #2(2(0(0(1(0(2(1(1(1(0(0(1(x1))))))))))))) -> #2(2(2(x1))) #69: #2(2(0(0(1(0(2(1(1(1(0(0(1(x1))))))))))))) -> #2(2(x1)) #70: #2(2(0(0(1(0(2(1(1(1(0(0(1(x1))))))))))))) -> #2(x1) Number of SCCs: 2, DPs: 7 SCC { #47 } POLO(Sum)... succeeded. 1 w: x1 + 8855 #2 w: x1 0 w: x1 + 11798 2 w: x1 #1 w: 0 USABLE RULES: { } Removed DPs: #47 Number of SCCs: 1, DPs: 6 SCC { #10 #11 #28 #68..70 } POLO(Sum)... POLO(max)... QLPOS.