231.59/229.05 YES 231.59/229.05 Input TRS: 231.59/229.05 1: 0(0(1(2(x1)))) -> 2(3(1(0(0(x1))))) 231.59/229.05 2: 0(0(1(2(x1)))) -> 3(1(0(0(2(x1))))) 231.59/229.05 3: 0(0(1(2(x1)))) -> 0(0(2(3(1(1(x1)))))) 231.59/229.05 4: 0(1(0(4(x1)))) -> 3(1(4(0(0(x1))))) 231.59/229.05 5: 0(1(0(4(x1)))) -> 3(4(0(0(3(1(x1)))))) 231.59/229.05 6: 0(1(0(4(x1)))) -> 4(3(1(0(5(0(x1)))))) 231.59/229.05 7: 0(1(0(4(x1)))) -> 5(0(4(3(1(0(x1)))))) 231.59/229.05 8: 0(1(0(5(x1)))) -> 3(5(3(1(0(0(x1)))))) 231.59/229.05 9: 0(1(0(5(x1)))) -> 5(3(1(0(0(2(x1)))))) 231.59/229.05 10: 0(1(4(2(x1)))) -> 2(3(1(4(0(x1))))) 231.59/229.05 11: 0(1(4(2(x1)))) -> 4(0(3(1(2(4(x1)))))) 231.59/229.05 12: 0(1(4(2(x1)))) -> 4(3(1(1(0(2(x1)))))) 231.59/229.05 13: 0(5(0(4(x1)))) -> 4(0(0(3(5(x1))))) 231.59/229.05 14: 0(5(0(4(x1)))) -> 5(0(0(3(4(x1))))) 231.59/229.05 15: 0(5(0(5(x1)))) -> 3(5(2(0(0(5(x1)))))) 231.59/229.05 16: 0(5(0(5(x1)))) -> 5(3(5(4(0(0(x1)))))) 231.59/229.05 17: 0(5(0(5(x1)))) -> 5(5(3(4(0(0(x1)))))) 231.59/229.05 18: 2(0(1(2(x1)))) -> 0(2(4(1(2(x1))))) 231.59/229.05 19: 2(0(1(2(x1)))) -> 2(5(0(2(2(1(x1)))))) 231.59/229.05 20: 2(0(1(2(x1)))) -> 3(1(3(2(2(0(x1)))))) 231.59/229.05 21: 2(0(4(2(x1)))) -> 4(0(2(2(1(x1))))) 231.59/229.05 22: 2(0(4(2(x1)))) -> 4(0(2(1(2(1(x1)))))) 231.59/229.05 23: 2(0(5(2(x1)))) -> 0(2(1(5(2(2(x1)))))) 231.59/229.05 24: 3(0(4(2(x1)))) -> 0(3(4(1(1(2(x1)))))) 231.59/229.05 25: 3(0(4(2(x1)))) -> 4(3(3(1(0(2(x1)))))) 231.59/229.05 26: 0(0(1(2(2(x1))))) -> 0(0(2(1(2(1(x1)))))) 231.59/229.05 27: 0(0(1(3(2(x1))))) -> 0(3(1(2(0(4(x1)))))) 231.59/229.05 28: 0(0(1(3(2(x1))))) -> 2(5(0(3(1(0(x1)))))) 231.59/229.05 29: 0(0(5(2(2(x1))))) -> 0(0(2(5(2(1(x1)))))) 231.59/229.05 30: 0(1(0(5(2(x1))))) -> 0(2(1(0(3(5(x1)))))) 231.59/229.05 31: 0(1(0(5(5(x1))))) -> 1(3(5(0(0(5(x1)))))) 231.59/229.05 32: 0(1(2(0(5(x1))))) -> 4(0(5(2(1(0(x1)))))) 231.59/229.05 33: 0(1(3(0(4(x1))))) -> 1(0(3(4(4(0(x1)))))) 231.59/229.05 34: 0(1(3(4(2(x1))))) -> 4(2(1(0(3(4(x1)))))) 231.59/229.05 35: 0(1(4(2(2(x1))))) -> 1(1(0(2(4(2(x1)))))) 231.59/229.05 36: 0(1(4(2(4(x1))))) -> 4(0(2(3(1(4(x1)))))) 231.59/229.05 37: 0(1(4(3(2(x1))))) -> 3(1(2(0(4(4(x1)))))) 231.59/229.05 38: 0(3(0(0(5(x1))))) -> 5(3(1(0(0(0(x1)))))) 231.59/229.05 39: 0(4(1(0(4(x1))))) -> 4(0(2(1(4(0(x1)))))) 231.59/229.05 40: 0(4(3(2(2(x1))))) -> 4(2(0(3(5(2(x1)))))) 231.59/229.05 41: 0(5(1(0(4(x1))))) -> 5(2(4(1(0(0(x1)))))) 231.59/229.05 42: 0(5(1(4(2(x1))))) -> 4(0(3(5(1(2(x1)))))) 231.59/229.05 43: 2(1(0(1(2(x1))))) -> 2(1(1(0(2(3(x1)))))) 231.59/229.05 44: 2(4(0(5(2(x1))))) -> 0(4(2(3(5(2(x1)))))) 231.59/229.05 45: 3(0(0(1(2(x1))))) -> 0(3(5(1(0(2(x1)))))) 231.59/229.05 46: 3(0(0(5(2(x1))))) -> 2(0(0(3(5(1(x1)))))) 231.59/229.05 47: 3(0(5(4(2(x1))))) -> 4(0(3(5(2(1(x1)))))) 231.59/229.05 48: 3(2(0(1(2(x1))))) -> 2(1(3(1(0(2(x1)))))) 231.59/229.05 49: 3(2(0(5(2(x1))))) -> 2(0(2(3(4(5(x1)))))) 231.59/229.05 50: 3(2(0(5(2(x1))))) -> 5(3(0(2(2(2(x1)))))) 231.59/229.05 Number of strict rules: 50 231.59/229.05 Direct POLO(bPol) ... failed. 231.59/229.05 Uncurrying ... failed. 231.59/229.05 Dependency Pairs: 231.59/229.05 #1: #0(0(1(2(x1)))) -> #3(1(0(0(2(x1))))) 231.59/229.05 #2: #0(0(1(2(x1)))) -> #0(0(2(x1))) 231.59/229.05 #3: #0(0(1(2(x1)))) -> #0(2(x1)) 231.59/229.05 #4: #2(1(0(1(2(x1))))) -> #2(1(1(0(2(3(x1)))))) 231.59/229.05 #5: #2(1(0(1(2(x1))))) -> #0(2(3(x1))) 231.59/229.05 #6: #2(1(0(1(2(x1))))) -> #2(3(x1)) 231.59/229.05 #7: #2(1(0(1(2(x1))))) -> #3(x1) 231.59/229.05 #8: #0(0(5(2(2(x1))))) -> #0(0(2(5(2(1(x1)))))) 231.59/229.05 #9: #0(0(5(2(2(x1))))) -> #0(2(5(2(1(x1))))) 231.59/229.05 #10: #0(0(5(2(2(x1))))) -> #2(5(2(1(x1)))) 231.59/229.05 #11: #0(0(5(2(2(x1))))) -> #2(1(x1)) 231.59/229.05 #12: #0(1(4(2(2(x1))))) -> #0(2(4(2(x1)))) 231.59/229.05 #13: #0(1(4(2(2(x1))))) -> #2(4(2(x1))) 231.59/229.05 #14: #3(0(0(5(2(x1))))) -> #2(0(0(3(5(1(x1)))))) 231.59/229.05 #15: #3(0(0(5(2(x1))))) -> #0(0(3(5(1(x1))))) 231.59/229.05 #16: #3(0(0(5(2(x1))))) -> #0(3(5(1(x1)))) 231.59/229.05 #17: #3(0(0(5(2(x1))))) -> #3(5(1(x1))) 231.59/229.05 #18: #0(5(1(4(2(x1))))) -> #0(3(5(1(2(x1))))) 231.59/229.05 #19: #0(5(1(4(2(x1))))) -> #3(5(1(2(x1)))) 231.59/229.05 #20: #0(5(1(0(4(x1))))) -> #2(4(1(0(0(x1))))) 231.59/229.05 #21: #0(5(1(0(4(x1))))) -> #0(0(x1)) 231.59/229.05 #22: #0(5(1(0(4(x1))))) -> #0(x1) 231.59/229.05 #23: #0(1(4(3(2(x1))))) -> #3(1(2(0(4(4(x1)))))) 231.59/229.05 #24: #0(1(4(3(2(x1))))) -> #2(0(4(4(x1)))) 231.59/229.05 #25: #0(1(4(3(2(x1))))) -> #0(4(4(x1))) 231.59/229.05 #26: #3(0(5(4(2(x1))))) -> #0(3(5(2(1(x1))))) 231.59/229.05 #27: #3(0(5(4(2(x1))))) -> #3(5(2(1(x1)))) 231.59/229.05 #28: #3(0(5(4(2(x1))))) -> #2(1(x1)) 231.59/229.05 #29: #3(2(0(1(2(x1))))) -> #2(1(3(1(0(2(x1)))))) 231.59/229.05 #30: #3(2(0(1(2(x1))))) -> #3(1(0(2(x1)))) 231.59/229.05 #31: #3(2(0(1(2(x1))))) -> #0(2(x1)) 231.59/229.05 #32: #0(3(0(0(5(x1))))) -> #3(1(0(0(0(x1))))) 231.59/229.05 #33: #0(3(0(0(5(x1))))) -> #0(0(0(x1))) 231.59/229.05 #34: #0(3(0(0(5(x1))))) -> #0(0(x1)) 231.59/229.05 #35: #0(3(0(0(5(x1))))) -> #0(x1) 231.59/229.05 #36: #0(1(0(4(x1)))) -> #3(1(0(5(0(x1))))) 231.59/229.05 #37: #0(1(0(4(x1)))) -> #0(5(0(x1))) 231.59/229.05 #38: #0(1(0(4(x1)))) -> #0(x1) 231.59/229.05 #39: #0(4(3(2(2(x1))))) -> #2(0(3(5(2(x1))))) 231.59/229.05 #40: #0(4(3(2(2(x1))))) -> #0(3(5(2(x1)))) 231.59/229.05 #41: #0(4(3(2(2(x1))))) -> #3(5(2(x1))) 231.59/229.05 #42: #0(5(0(4(x1)))) -> #0(0(3(5(x1)))) 231.59/229.05 #43: #0(5(0(4(x1)))) -> #0(3(5(x1))) 231.59/229.05 #44: #0(5(0(4(x1)))) -> #3(5(x1)) 231.59/229.05 #45: #0(1(0(5(x1)))) -> #3(1(0(0(2(x1))))) 231.59/229.05 #46: #0(1(0(5(x1)))) -> #0(0(2(x1))) 231.59/229.05 #47: #0(1(0(5(x1)))) -> #0(2(x1)) 231.59/229.05 #48: #0(1(0(5(x1)))) -> #2(x1) 231.59/229.05 #49: #0(1(4(2(x1)))) -> #0(3(1(2(4(x1))))) 231.59/229.05 #50: #0(1(4(2(x1)))) -> #3(1(2(4(x1)))) 231.59/229.05 #51: #0(1(4(2(x1)))) -> #2(4(x1)) 231.59/229.05 #52: #3(0(4(2(x1)))) -> #0(3(4(1(1(2(x1)))))) 231.59/229.05 #53: #3(0(4(2(x1)))) -> #3(4(1(1(2(x1))))) 231.59/229.05 #54: #2(0(5(2(x1)))) -> #0(2(1(5(2(2(x1)))))) 231.59/229.05 #55: #2(0(5(2(x1)))) -> #2(1(5(2(2(x1))))) 231.59/229.05 #56: #2(0(5(2(x1)))) -> #2(2(x1)) 231.59/229.05 #57: #3(0(0(1(2(x1))))) -> #0(3(5(1(0(2(x1)))))) 231.59/229.05 #58: #3(0(0(1(2(x1))))) -> #3(5(1(0(2(x1))))) 231.59/229.05 #59: #3(0(0(1(2(x1))))) -> #0(2(x1)) 231.59/229.05 #60: #0(1(4(2(x1)))) -> #3(1(1(0(2(x1))))) 231.59/229.05 #61: #0(1(4(2(x1)))) -> #0(2(x1)) 231.59/229.05 #62: #0(1(0(5(5(x1))))) -> #3(5(0(0(5(x1))))) 231.59/229.05 #63: #0(1(0(5(5(x1))))) -> #0(0(5(x1))) 231.59/229.05 #64: #0(1(0(5(5(x1))))) -> #0(5(x1)) 231.59/229.05 #65: #0(5(0(4(x1)))) -> #0(0(3(4(x1)))) 231.59/229.05 #66: #0(5(0(4(x1)))) -> #0(3(4(x1))) 231.59/229.05 #67: #0(5(0(4(x1)))) -> #3(4(x1)) 231.59/229.05 #68: #0(1(0(5(2(x1))))) -> #0(2(1(0(3(5(x1)))))) 231.59/229.05 #69: #0(1(0(5(2(x1))))) -> #2(1(0(3(5(x1))))) 231.59/229.05 #70: #0(1(0(5(2(x1))))) -> #0(3(5(x1))) 231.59/229.05 #71: #0(1(0(5(2(x1))))) -> #3(5(x1)) 231.59/229.05 #72: #3(2(0(5(2(x1))))) -> #2(0(2(3(4(5(x1)))))) 231.59/229.05 #73: #3(2(0(5(2(x1))))) -> #0(2(3(4(5(x1))))) 231.59/229.05 #74: #3(2(0(5(2(x1))))) -> #2(3(4(5(x1)))) 231.59/229.05 #75: #3(2(0(5(2(x1))))) -> #3(4(5(x1))) 231.59/229.05 #76: #3(0(4(2(x1)))) -> #3(3(1(0(2(x1))))) 231.59/229.05 #77: #3(0(4(2(x1)))) -> #3(1(0(2(x1)))) 231.59/229.05 #78: #3(0(4(2(x1)))) -> #0(2(x1)) 231.59/229.05 #79: #2(0(1(2(x1)))) -> #3(1(3(2(2(0(x1)))))) 231.59/229.05 #80: #2(0(1(2(x1)))) -> #3(2(2(0(x1)))) 231.59/229.05 #81: #2(0(1(2(x1)))) -> #2(2(0(x1))) 231.59/229.05 #82: #2(0(1(2(x1)))) -> #2(0(x1)) 231.59/229.05 #83: #2(0(1(2(x1)))) -> #0(x1) 231.59/229.05 #84: #0(1(0(4(x1)))) -> #0(4(3(1(0(x1))))) 231.59/229.05 #85: #0(1(0(4(x1)))) -> #3(1(0(x1))) 231.59/229.05 #86: #0(1(0(4(x1)))) -> #0(x1) 231.59/229.05 #87: #0(4(1(0(4(x1))))) -> #0(2(1(4(0(x1))))) 231.59/229.05 #88: #0(4(1(0(4(x1))))) -> #2(1(4(0(x1)))) 231.59/229.05 #89: #0(4(1(0(4(x1))))) -> #0(x1) 231.59/229.05 #90: #0(1(4(2(x1)))) -> #2(3(1(4(0(x1))))) 231.59/229.05 #91: #0(1(4(2(x1)))) -> #3(1(4(0(x1)))) 231.59/229.05 #92: #0(1(4(2(x1)))) -> #0(x1) 231.59/229.05 #93: #0(1(3(0(4(x1))))) -> #0(3(4(4(0(x1))))) 231.59/229.05 #94: #0(1(3(0(4(x1))))) -> #3(4(4(0(x1)))) 231.59/229.05 #95: #0(1(3(0(4(x1))))) -> #0(x1) 231.59/229.05 #96: #0(1(0(4(x1)))) -> #3(4(0(0(3(1(x1)))))) 231.59/229.05 #97: #0(1(0(4(x1)))) -> #0(0(3(1(x1)))) 231.59/229.05 #98: #0(1(0(4(x1)))) -> #0(3(1(x1))) 231.59/229.05 #99: #0(1(0(4(x1)))) -> #3(1(x1)) 231.59/229.05 #100: #2(4(0(5(2(x1))))) -> #0(4(2(3(5(2(x1)))))) 231.59/229.05 #101: #2(4(0(5(2(x1))))) -> #2(3(5(2(x1)))) 231.59/229.05 #102: #2(4(0(5(2(x1))))) -> #3(5(2(x1))) 231.59/229.05 #103: #0(0(1(3(2(x1))))) -> #2(5(0(3(1(0(x1)))))) 231.59/229.05 #104: #0(0(1(3(2(x1))))) -> #0(3(1(0(x1)))) 231.59/229.05 #105: #0(0(1(3(2(x1))))) -> #3(1(0(x1))) 231.59/229.05 #106: #0(0(1(3(2(x1))))) -> #0(x1) 231.59/229.05 #107: #2(0(4(2(x1)))) -> #0(2(1(2(1(x1))))) 231.59/229.05 #108: #2(0(4(2(x1)))) -> #2(1(2(1(x1)))) 231.59/229.05 #109: #2(0(4(2(x1)))) -> #2(1(x1)) 231.59/229.05 #110: #0(1(3(4(2(x1))))) -> #2(1(0(3(4(x1))))) 231.59/229.05 #111: #0(1(3(4(2(x1))))) -> #0(3(4(x1))) 231.59/229.05 #112: #0(1(3(4(2(x1))))) -> #3(4(x1)) 231.59/229.05 #113: #0(0(1(3(2(x1))))) -> #0(3(1(2(0(4(x1)))))) 231.59/229.05 #114: #0(0(1(3(2(x1))))) -> #3(1(2(0(4(x1))))) 231.59/229.05 #115: #0(0(1(3(2(x1))))) -> #2(0(4(x1))) 231.59/229.05 #116: #0(0(1(3(2(x1))))) -> #0(4(x1)) 231.59/229.05 #117: #0(5(0(5(x1)))) -> #3(4(0(0(x1)))) 231.59/229.05 #118: #0(5(0(5(x1)))) -> #0(0(x1)) 231.59/229.05 #119: #0(5(0(5(x1)))) -> #0(x1) 231.59/229.05 #120: #0(1(2(0(5(x1))))) -> #0(5(2(1(0(x1))))) 231.59/229.05 #121: #0(1(2(0(5(x1))))) -> #2(1(0(x1))) 231.59/229.05 #122: #0(1(2(0(5(x1))))) -> #0(x1) 231.59/229.05 #123: #2(0(1(2(x1)))) -> #2(5(0(2(2(1(x1)))))) 231.59/229.05 #124: #2(0(1(2(x1)))) -> #0(2(2(1(x1)))) 231.59/229.05 #125: #2(0(1(2(x1)))) -> #2(2(1(x1))) 231.59/229.05 #126: #2(0(1(2(x1)))) -> #2(1(x1)) 231.59/229.05 #127: #0(0(1(2(2(x1))))) -> #0(0(2(1(2(1(x1)))))) 231.59/229.05 #128: #0(0(1(2(2(x1))))) -> #0(2(1(2(1(x1))))) 231.59/229.05 #129: #0(0(1(2(2(x1))))) -> #2(1(2(1(x1)))) 231.59/229.05 #130: #0(0(1(2(2(x1))))) -> #2(1(x1)) 231.59/229.05 #131: #0(1(4(2(4(x1))))) -> #0(2(3(1(4(x1))))) 231.59/229.05 #132: #0(1(4(2(4(x1))))) -> #2(3(1(4(x1)))) 231.59/229.05 #133: #0(1(4(2(4(x1))))) -> #3(1(4(x1))) 231.59/229.05 #134: #2(0(4(2(x1)))) -> #0(2(2(1(x1)))) 231.59/229.05 #135: #2(0(4(2(x1)))) -> #2(2(1(x1))) 231.59/229.05 #136: #2(0(4(2(x1)))) -> #2(1(x1)) 231.59/229.05 #137: #0(5(0(5(x1)))) -> #3(5(4(0(0(x1))))) 231.59/229.05 #138: #0(5(0(5(x1)))) -> #0(0(x1)) 231.59/229.05 #139: #0(5(0(5(x1)))) -> #0(x1) 231.59/229.05 #140: #0(0(1(2(x1)))) -> #0(0(2(3(1(1(x1)))))) 231.59/229.05 #141: #0(0(1(2(x1)))) -> #0(2(3(1(1(x1))))) 231.59/229.05 #142: #0(0(1(2(x1)))) -> #2(3(1(1(x1)))) 231.59/229.05 #143: #0(0(1(2(x1)))) -> #3(1(1(x1))) 231.59/229.05 #144: #0(0(1(2(x1)))) -> #2(3(1(0(0(x1))))) 231.59/229.05 #145: #0(0(1(2(x1)))) -> #3(1(0(0(x1)))) 231.59/229.05 #146: #0(0(1(2(x1)))) -> #0(0(x1)) 231.59/229.05 #147: #0(0(1(2(x1)))) -> #0(x1) 231.59/229.05 #148: #0(1(0(5(x1)))) -> #3(5(3(1(0(0(x1)))))) 231.59/229.05 #149: #0(1(0(5(x1)))) -> #3(1(0(0(x1)))) 231.59/229.05 #150: #0(1(0(5(x1)))) -> #0(0(x1)) 231.59/229.05 #151: #0(1(0(5(x1)))) -> #0(x1) 231.59/229.05 #152: #0(5(0(5(x1)))) -> #3(5(2(0(0(5(x1)))))) 231.59/229.05 #153: #0(5(0(5(x1)))) -> #2(0(0(5(x1)))) 231.59/229.05 #154: #0(5(0(5(x1)))) -> #0(0(5(x1))) 231.59/229.05 #155: #0(1(0(4(x1)))) -> #3(1(4(0(0(x1))))) 231.59/229.05 #156: #0(1(0(4(x1)))) -> #0(0(x1)) 231.59/229.05 #157: #0(1(0(4(x1)))) -> #0(x1) 231.59/229.05 #158: #3(2(0(5(2(x1))))) -> #3(0(2(2(2(x1))))) 231.59/229.05 #159: #3(2(0(5(2(x1))))) -> #0(2(2(2(x1)))) 231.59/229.05 #160: #3(2(0(5(2(x1))))) -> #2(2(2(x1))) 231.59/229.05 #161: #3(2(0(5(2(x1))))) -> #2(2(x1)) 231.59/229.05 #162: #2(0(1(2(x1)))) -> #0(2(4(1(2(x1))))) 231.59/229.05 #163: #2(0(1(2(x1)))) -> #2(4(1(2(x1)))) 231.59/229.05 Number of SCCs: 2, DPs: 32 231.59/229.05 SCC { #7 #28 #109 #136 #161 } 231.59/229.05 POLO(Sum)... succeeded. 231.59/229.05 #0 w: 0 231.59/229.05 1 w: x1 231.59/229.05 4 w: x1 231.59/229.05 5 w: x1 231.59/229.05 3 w: x1 231.59/229.05 #2 w: x1 231.59/229.05 0 w: x1 + 1 231.59/229.05 #3 w: x1 231.59/229.05 2 w: x1 231.59/229.05 USABLE RULES: { 1..50 } 231.59/229.05 Removed DPs: #7 #28 #109 #136 #161 231.59/229.05 Number of SCCs: 1, DPs: 27 231.59/229.05 SCC { #21 #22 #34 #35 #37 #38 #48 #64 #82 #83 #86 #89 #92 #95 #106 #116 #118 #119 #122 #138 #139 #146 #147 #150 #151 #156 #157 } 231.59/229.05 POLO(Sum)... succeeded. 231.59/229.05 #0 w: x1 231.59/229.05 1 w: x1 231.59/229.05 4 w: x1 231.59/229.05 5 w: x1 231.59/229.05 3 w: x1 231.59/229.05 #2 w: x1 231.59/229.05 0 w: x1 + 1 231.59/229.05 #3 w: 0 231.59/229.05 2 w: x1 231.59/229.05 USABLE RULES: { 1..50 } 231.59/229.05 Removed DPs: #22 #34 #35 #38 #48 #64 #83 #86 #89 #95 #106 #116 #119 #122 #139 #147 #151 #157 231.59/229.05 Number of SCCs: 3, DPs: 3 231.59/229.05 SCC { #92 } 231.59/229.05 POLO(Sum)... POLO(max)... succeeded. 231.59/229.05 #0 w: x1 231.59/229.05 1 w: x1 + 1 231.59/229.05 4 w: x1 231.59/229.05 5 w: 0 231.59/229.05 3 w: 0 231.59/229.05 #2 w: 0 231.59/229.05 0 w: 0 231.59/229.05 #3 w: 0 231.59/229.05 2 w: x1 + 1 231.59/229.05 USABLE RULES: { } 231.59/229.05 Removed DPs: #92 231.59/229.05 Number of SCCs: 2, DPs: 2 231.59/229.05 SCC { #82 } 231.59/229.05 POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... succeeded. 231.59/229.05 #0 w: [0;0] 231.59/229.05 1 w: [0,1;0,0] * x1 + [1;0] 231.59/229.05 4 w: [0;1] 231.59/229.05 5 w: [0;1] 231.59/229.05 3 w: [0,0;0,1] * x1 + [0;1] 231.59/229.05 #2 w: [1,0;0,0] * x1 231.59/229.05 0 w: [1,0;0,0] * x1 + [0;2] 231.59/229.05 #3 w: [0;0] 231.59/229.05 2 w: [0,0;1,0] * x1 + [0;2] 231.59/229.05 USABLE RULES: { 1..50 } 231.59/229.05 Removed DPs: #82 231.59/229.05 Number of SCCs: 1, DPs: 1 231.59/229.05 SCC { #146 } 231.59/229.05 POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... succeeded. 231.59/229.05 #0 w: [1,0;1,1] * x1 231.59/229.05 1 w: [0,1;0,0] * x1 + [1;0] 231.59/229.05 4 w: [0;1] 231.59/229.05 5 w: [0;1] 231.59/229.05 3 w: [0,0;0,1] * x1 + [0;1] 231.59/229.05 #2 w: [1,0;0,0] * x1 231.59/229.05 0 w: [1,0;0,0] * x1 + [0;2] 231.59/229.05 #3 w: [0;0] 231.59/229.05 2 w: [0,0;1,0] * x1 + [0;2] 231.59/229.05 USABLE RULES: { 1..50 } 231.59/229.05 Removed DPs: #146 231.59/229.05 Number of SCCs: 0, DPs: 0 231.59/229.05 EOF