300.14/300.09 /export/starexec/sandbox/solver/bin/starexec_run_Default: line 4: 53972 Done xsltproc "$DIR/xtc2tpdb.xml" "$1" 300.14/300.09 53973 Alarm clock | NaTT.exe 2> $DIR/stderr.txt 300.14/300.09 Input TRS: 300.14/300.09 1: 0(0(0(0(0(2(2(1(2(0(0(1(0(x1))))))))))))) -> 0(2(2(0(2(2(0(1(0(2(2(2(2(2(0(2(0(x1))))))))))))))))) 300.14/300.09 2: 0(0(0(0(2(0(0(1(0(2(2(2(0(x1))))))))))))) -> 0(2(2(0(2(2(0(0(0(0(2(0(2(0(0(0(2(x1))))))))))))))))) 300.14/300.09 3: 0(0(0(0(2(2(1(2(0(2(2(1(0(x1))))))))))))) -> 0(1(0(0(1(0(2(0(2(2(1(0(0(2(0(2(0(x1))))))))))))))))) 300.14/300.09 4: 0(0(0(1(1(0(2(0(1(0(0(2(2(x1))))))))))))) -> 0(0(2(0(0(0(0(1(0(1(2(2(2(0(0(2(0(x1))))))))))))))))) 300.14/300.09 5: 0(0(1(0(0(0(0(0(0(0(2(1(0(x1))))))))))))) -> 0(2(0(0(1(0(2(0(2(0(0(2(0(2(0(2(0(x1))))))))))))))))) 300.14/300.09 6: 0(0(1(0(2(0(1(0(0(2(0(1(0(x1))))))))))))) -> 1(2(1(0(0(0(0(0(2(0(0(2(0(2(2(2(2(x1))))))))))))))))) 300.14/300.09 7: 0(0(1(1(2(0(0(1(0(2(0(2(2(x1))))))))))))) -> 0(1(2(0(2(0(0(2(0(2(2(0(2(2(2(1(0(x1))))))))))))))))) 300.14/300.09 8: 0(0(1(2(0(0(2(0(1(0(0(2(2(x1))))))))))))) -> 0(0(2(0(0(0(1(2(0(2(0(0(0(0(2(2(2(x1))))))))))))))))) 300.14/300.09 9: 0(0(2(0(0(1(0(1(2(0(0(0(2(x1))))))))))))) -> 0(0(0(2(0(2(0(1(0(2(0(2(2(0(1(0(0(x1))))))))))))))))) 300.14/300.09 10: 0(0(2(0(2(1(1(1(0(2(2(1(0(x1))))))))))))) -> 0(0(0(0(0(0(1(2(2(2(2(0(1(2(2(0(0(x1))))))))))))))))) 300.14/300.09 11: 0(0(2(1(0(1(0(1(2(2(0(2(0(x1))))))))))))) -> 0(0(2(2(1(1(0(2(2(0(0(1(0(2(2(0(0(x1))))))))))))))))) 300.14/300.09 12: 0(0(2(2(2(0(2(1(1(0(0(0(2(x1))))))))))))) -> 0(0(0(0(1(0(2(2(0(0(0(1(0(0(2(0(0(x1))))))))))))))))) 300.14/300.09 13: 0(1(0(0(2(2(0(0(1(2(2(2(0(x1))))))))))))) -> 1(2(1(0(2(0(0(2(0(0(2(2(0(0(2(2(2(x1))))))))))))))))) 300.14/300.09 14: 0(1(0(2(1(0(1(1(0(0(2(0(0(x1))))))))))))) -> 0(2(0(1(2(0(0(0(0(0(2(0(1(2(0(0(2(x1))))))))))))))))) 300.14/300.09 15: 0(1(1(0(2(2(0(1(0(0(0(0(0(x1))))))))))))) -> 0(0(0(0(1(1(2(2(0(2(2(2(2(0(2(0(0(x1))))))))))))))))) 300.14/300.09 16: 0(1(1(2(1(0(2(2(0(2(0(2(2(x1))))))))))))) -> 0(0(0(1(0(1(0(2(0(2(1(2(0(0(2(0(0(x1))))))))))))))))) 300.14/300.09 17: 0(1(2(0(0(1(0(2(1(0(2(2(1(x1))))))))))))) -> 0(1(2(1(0(0(0(2(0(0(1(0(0(2(0(0(1(x1))))))))))))))))) 300.14/300.09 18: 0(1(2(2(2(1(0(0(2(1(1(0(0(x1))))))))))))) -> 0(0(0(1(0(1(2(0(1(2(0(2(2(2(2(0(2(x1))))))))))))))))) 300.14/300.09 19: 0(2(2(0(0(1(2(1(0(0(1(0(2(x1))))))))))))) -> 0(2(2(2(1(0(2(2(1(0(0(0(2(0(0(1(0(x1))))))))))))))))) 300.14/300.09 20: 0(2(2(0(2(2(0(0(1(0(0(0(0(x1))))))))))))) -> 0(0(0(2(2(2(0(2(0(2(2(2(2(2(2(2(2(x1))))))))))))))))) 300.14/300.09 21: 0(2(2(0(2(2(1(2(2(2(2(2(2(x1))))))))))))) -> 0(2(1(2(0(2(0(0(0(2(0(2(2(0(0(2(0(x1))))))))))))))))) 300.14/300.09 22: 1(0(0(0(2(2(2(0(0(1(0(1(0(x1))))))))))))) -> 0(1(0(0(0(0(2(2(2(0(0(2(0(0(2(1(0(x1))))))))))))))))) 300.14/300.09 23: 1(0(1(0(2(2(0(2(0(0(0(0(1(x1))))))))))))) -> 2(1(0(0(0(2(0(2(0(0(0(2(2(2(2(0(1(x1))))))))))))))))) 300.14/300.09 24: 1(0(1(2(0(1(0(2(1(2(1(0(0(x1))))))))))))) -> 1(1(2(2(1(2(2(0(0(2(0(1(0(1(0(2(2(x1))))))))))))))))) 300.14/300.09 25: 1(0(2(2(0(2(0(2(2(2(0(1(0(x1))))))))))))) -> 2(2(2(0(2(0(2(2(0(2(0(2(0(2(2(2(2(x1))))))))))))))))) 300.14/300.09 26: 1(1(0(0(0(0(2(1(0(0(2(2(0(x1))))))))))))) -> 2(2(2(0(0(0(0(0(0(2(2(0(0(0(1(0(2(x1))))))))))))))))) 300.14/300.09 27: 1(2(2(2(2(1(0(0(0(2(2(0(2(x1))))))))))))) -> 0(0(2(2(1(1(0(0(0(0(1(0(0(0(2(0(2(x1))))))))))))))))) 300.14/300.09 28: 2(0(0(0(2(0(1(2(2(2(0(2(2(x1))))))))))))) -> 2(0(0(2(2(2(0(2(0(2(0(2(0(2(1(1(0(x1))))))))))))))))) 300.14/300.09 29: 2(0(0(2(0(0(1(1(0(0(2(0(0(x1))))))))))))) -> 1(0(2(2(0(2(2(2(1(0(2(2(2(0(2(2(2(x1))))))))))))))))) 300.14/300.09 30: 2(0(0(2(2(1(0(1(0(0(2(2(0(x1))))))))))))) -> 2(2(0(0(2(1(0(2(0(2(0(0(0(0(2(0(2(x1))))))))))))))))) 300.14/300.09 31: 2(2(0(0(0(2(1(0(0(0(2(0(2(x1))))))))))))) -> 0(0(2(0(2(2(2(0(2(0(2(0(0(2(0(2(0(x1))))))))))))))))) 300.14/300.09 32: 0(0(0(0(0(0(1(1(2(1(0(0(1(x1))))))))))))) ->= 0(0(2(1(0(0(0(0(2(0(1(1(2(0(0(2(1(x1))))))))))))))))) 300.14/300.09 33: 0(0(0(1(0(2(2(2(2(0(2(1(0(x1))))))))))))) ->= 0(0(2(0(0(1(0(1(0(0(2(0(2(0(2(0(0(x1))))))))))))))))) 300.14/300.09 34: 0(0(0(1(2(1(0(1(0(2(0(2(2(x1))))))))))))) ->= 0(0(0(0(0(0(1(2(2(1(0(0(1(0(2(0(2(x1))))))))))))))))) 300.14/300.09 35: 0(0(0(2(0(2(1(0(0(2(2(1(0(x1))))))))))))) ->= 0(0(2(0(2(2(0(2(2(2(1(2(0(0(0(0(0(x1))))))))))))))))) 300.14/300.09 36: 0(0(0(2(2(2(0(0(1(1(2(2(2(x1))))))))))))) ->= 0(0(2(0(0(1(0(0(0(2(2(2(1(2(0(0(2(x1))))))))))))))))) 300.14/300.09 37: 0(0(1(0(2(0(2(0(0(1(2(0(0(x1))))))))))))) ->= 0(0(2(0(0(1(0(2(1(0(0(1(0(2(2(2(2(x1))))))))))))))))) 300.14/300.09 38: 0(0(1(2(1(0(0(0(2(2(0(0(2(x1))))))))))))) ->= 0(0(2(2(2(0(2(2(1(1(0(2(0(0(2(2(0(x1))))))))))))))))) 300.14/300.09 39: 0(0(1(2(2(0(0(0(0(0(0(2(2(x1))))))))))))) ->= 0(0(1(0(2(0(0(0(0(2(2(2(2(2(1(0(2(x1))))))))))))))))) 300.14/300.09 40: 0(0(2(0(1(0(2(1(2(0(0(2(1(x1))))))))))))) ->= 0(0(0(0(2(0(2(1(0(0(1(2(0(0(0(2(1(x1))))))))))))))))) 300.14/300.09 41: 0(0(2(0(2(2(0(2(1(0(1(0(0(x1))))))))))))) ->= 0(0(2(2(0(2(0(0(2(0(2(1(2(2(0(0(0(x1))))))))))))))))) 300.14/300.09 42: 0(0(2(0(2(2(2(2(2(0(1(1(0(x1))))))))))))) ->= 0(0(2(0(2(0(2(0(0(0(0(0(1(2(0(0(0(x1))))))))))))))))) 300.14/300.09 43: 0(0(2(1(0(0(0(2(2(1(0(2(2(x1))))))))))))) ->= 0(0(2(2(0(0(2(2(0(2(2(2(1(0(1(0(0(x1))))))))))))))))) 300.14/300.09 44: 0(0(2(1(0(2(0(0(2(0(0(0(1(x1))))))))))))) ->= 0(0(0(0(2(2(2(2(0(0(1(0(2(2(2(0(0(x1))))))))))))))))) 300.14/300.09 45: 0(0(2(2(0(0(1(0(1(2(0(1(0(x1))))))))))))) ->= 0(0(2(0(1(0(2(0(0(2(1(1(0(2(0(2(0(x1))))))))))))))))) 300.14/300.09 46: 0(0(2(2(1(0(0(2(2(0(2(2(2(x1))))))))))))) ->= 0(0(0(0(2(2(2(2(0(2(0(1(0(0(2(0(2(x1))))))))))))))))) 300.14/300.09 47: 0(0(2(2(1(0(2(2(2(1(0(0(0(x1))))))))))))) ->= 0(0(0(0(1(0(0(2(0(1(0(2(0(2(2(2(0(x1))))))))))))))))) 300.14/300.09 48: 0(1(0(0(0(0(2(1(0(0(0(2(0(x1))))))))))))) ->= 0(0(1(0(0(2(2(2(0(0(2(1(0(0(2(0(2(x1))))))))))))))))) 300.14/300.09 49: 0(1(0(1(0(0(1(0(2(0(1(2(0(x1))))))))))))) ->= 0(1(0(1(2(0(0(0(0(0(0(2(2(0(1(2(0(x1))))))))))))))))) 300.14/300.09 50: 0(1(1(0(1(2(0(1(0(1(0(0(0(x1))))))))))))) ->= 0(0(1(2(2(0(0(1(1(1(2(0(2(0(0(0(0(x1))))))))))))))))) 300.14/300.09 51: 0(1(1(1(0(0(0(2(1(0(2(2(1(x1))))))))))))) ->= 0(1(1(0(0(1(0(0(0(2(2(0(2(0(1(0(1(x1))))))))))))))))) 300.14/300.09 52: 0(2(0(1(1(1(1(1(1(2(2(2(0(x1))))))))))))) ->= 0(2(2(0(2(1(1(1(1(1(2(1(0(2(0(2(2(x1))))))))))))))))) 300.14/300.09 53: 0(2(2(0(0(2(2(0(2(1(2(0(0(x1))))))))))))) ->= 0(2(2(0(0(2(0(2(1(2(0(0(0(0(2(0(2(x1))))))))))))))))) 300.14/300.09 54: 0(2(2(1(0(0(1(0(0(2(0(0(0(x1))))))))))))) ->= 0(2(2(0(2(2(2(2(0(2(0(1(2(0(0(0(2(x1))))))))))))))))) 300.14/300.09 55: 1(0(0(0(2(2(1(1(1(2(0(0(0(x1))))))))))))) ->= 1(0(0(2(0(1(2(2(0(0(1(2(2(0(2(0(0(x1))))))))))))))))) 300.14/300.09 56: 1(0(0(0(2(2(2(0(1(0(0(2(2(x1))))))))))))) ->= 1(0(0(0(0(2(2(0(2(0(0(0(2(0(1(0(0(x1))))))))))))))))) 300.14/300.09 57: 1(0(2(0(1(2(0(0(2(2(0(2(0(x1))))))))))))) ->= 1(0(0(0(2(2(0(1(0(0(0(0(1(0(0(2(2(x1))))))))))))))))) 300.14/300.09 58: 1(0(2(2(2(1(0(2(0(0(2(0(2(x1))))))))))))) ->= 2(0(0(0(0(0(0(1(2(0(0(2(2(0(2(2(2(x1))))))))))))))))) 300.14/300.09 59: 1(2(2(0(2(0(0(2(0(0(2(0(2(x1))))))))))))) ->= 0(0(1(0(0(2(1(0(2(0(2(2(0(2(2(0(2(x1))))))))))))))))) 300.14/300.09 60: 1(2(2(0(2(2(0(0(0(0(2(2(2(x1))))))))))))) ->= 0(0(0(0(1(2(2(0(2(0(2(2(2(0(0(0(2(x1))))))))))))))))) 300.14/300.09 61: 2(0(0(1(0(0(0(0(0(0(0(2(0(x1))))))))))))) ->= 2(0(0(0(2(2(2(2(0(1(0(0(0(0(0(0(0(x1))))))))))))))))) 300.14/300.09 62: 2(0(0(1(0(0(0(1(2(2(0(0(0(x1))))))))))))) ->= 2(0(0(2(2(1(0(0(1(0(0(0(0(0(0(1(0(x1))))))))))))))))) 300.14/300.09 63: 2(0(0(2(0(2(2(1(0(1(0(0(2(x1))))))))))))) ->= 2(0(0(0(0(0(0(2(1(2(2(0(0(0(0(0(2(x1))))))))))))))))) 300.14/300.09 64: 2(0(0(2(2(0(0(0(1(2(2(1(0(x1))))))))))))) ->= 2(0(0(2(1(2(2(0(2(1(0(0(0(2(2(2(0(x1))))))))))))))))) 300.14/300.09 65: 2(0(1(1(0(2(0(2(0(2(1(1(0(x1))))))))))))) ->= 2(0(1(1(0(0(0(0(1(0(2(2(2(2(1(1(0(x1))))))))))))))))) 300.14/300.09 66: 2(0(2(0(2(0(0(2(0(0(2(2(0(x1))))))))))))) ->= 0(0(2(2(2(2(2(0(0(2(2(2(2(0(2(0(2(x1))))))))))))))))) 300.14/300.09 67: 2(0(2(2(1(2(0(2(0(0(1(0(2(x1))))))))))))) ->= 2(0(1(2(0(2(0(0(1(0(0(2(2(0(2(2(0(x1))))))))))))))))) 300.14/300.09 68: 2(0(2(2(1(2(2(0(2(2(0(2(0(x1))))))))))))) ->= 1(0(0(2(0(0(0(2(2(2(1(0(0(2(2(2(0(x1))))))))))))))))) 300.14/300.09 69: 2(1(0(0(1(0(2(0(1(0(0(0(0(x1))))))))))))) ->= 0(0(1(0(0(0(1(2(2(0(2(0(2(0(2(2(2(x1))))))))))))))))) 300.14/300.09 70: 2(1(0(0(2(1(0(0(2(2(0(2(0(x1))))))))))))) ->= 0(0(2(2(2(2(2(1(0(0(0(2(0(0(1(0(2(x1))))))))))))))))) 300.14/300.09 71: 2(1(0(0(2(1(2(0(0(0(2(0(0(x1))))))))))))) ->= 1(2(0(0(0(2(2(0(0(1(0(2(2(2(0(0(0(x1))))))))))))))))) 300.14/300.09 72: 2(2(0(0(2(0(1(0(2(0(2(2(2(x1))))))))))))) ->= 0(2(2(0(2(1(0(2(2(0(2(0(0(0(0(0(0(x1))))))))))))))))) 300.14/300.09 73: 2(2(0(2(1(0(0(1(0(0(0(0(2(x1))))))))))))) ->= 2(2(0(2(1(2(0(0(2(2(2(2(0(0(2(2(2(x1))))))))))))))))) 300.14/300.09 Number of strict rules: 31 300.14/300.09 Direct POLO(bPol) ... failed. 300.14/300.09 Uncurrying ... failed. 300.14/300.09 EOF