/export/starexec/sandbox/solver/bin/starexec_run_default /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files


--------------------------------------------------------------------------------


NO
Loop of length 29 starting with a string of length 8 using right expansion
and the encoding {a=a, b=b, c=c}:

.ab.cbbcbb
	rule ab -> bcaa at position 0
.bcaa.cbbcbb
	rule a ->  at position 2
.bca.cbbcbb
	rule a ->  at position 2
.bc.cbbcbb
	rule cc -> cba at position 1
.bcba.bbcbb
	rule ab -> bcaa at position 3
.bcbbcaa.bcbb
	rule ab -> bcaa at position 6
.bcbbcabcaa.cbb
	rule ab -> bcaa at position 5
.bcbbcbcaacaa.cbb
	rule a ->  at position 7
.bcbbcbcacaa.cbb
	rule a ->  at position 7
.bcbbcbccaa.cbb
	rule a ->  at position 8
.bcbbcbcca.cbb
	rule a ->  at position 8
.bcbbcbcc.cbb
	rule cc -> cba at position 7
.bcbbcbccba.bb
	rule cc -> cba at position 6
.bcbbcbcbaba.bb
	rule ab -> bcaa at position 8
.bcbbcbcbbcaaa.bb
	rule ab -> bcaa at position 12
.bcbbcbcbbcaabcaa.b
	rule ab -> bcaa at position 11
.bcbbcbcbbcabcaacaa.b
	rule a ->  at position 13
.bcbbcbcbbcabcacaa.b
	rule a ->  at position 13
.bcbbcbcbbcabccaa.b
	rule cc -> cba at position 12
.bcbbcbcbbcabcbaaa.b
	rule ab -> bcaa at position 16
.bcbbcbcbbcabcbaabcaa.
	rule ab -> bcaa at position 15
.bcbbcbcbbcabcbabcaacaa.
	rule ab -> bcaa at position 14
.bcbbcbcbbcabcbbcaacaacaa.
	rule a ->  at position 16
.bcbbcbcbbcabcbbcacaacaa.
	rule a ->  at position 16
.bcbbcbcbbcabcbbccaacaa.
	rule a ->  at position 17
.bcbbcbcbbcabcbbccacaa.
	rule a ->  at position 17
.bcbbcbcbbcabcbbcccaa.
	rule cc -> cba at position 16
.bcbbcbcbbcabcbbccbaaa.
	rule cc -> cba at position 15
.bcbbcbcbbcabcbbcbabaaa.
	rule a ->  at position 17
.bcbbcbcbbcabcbbcbbaaa.