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


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


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

.cc.bcbcbc
	rule cc -> bacbaa at position 0
.bacbaa.bcbcbc
	rule ab -> c at position 5
.bacbac.cbcbc
	rule cc -> bacbaa at position 5
.bacbabacbaa.bcbc
	rule ab -> c at position 4
.bacbcacbaa.bcbc
	rule a ->  at position 5
.bacbccbaa.bcbc
	rule cc -> bacbaa at position 4
.bacbbacbaabaa.bcbc
	rule ab -> c at position 9
.bacbbacbacaa.bcbc
	rule ab -> c at position 11
.bacbbacbacac.cbc
	rule cc -> bacbaa at position 11
.bacbbacbacabacbaa.bc
	rule ab -> c at position 10
.bacbbacbaccacbaa.bc
	rule cc -> bacbaa at position 9
.bacbbacbabacbaaacbaa.bc
	rule ab -> c at position 8
.bacbbacbcacbaaacbaa.bc
	rule a ->  at position 9
.bacbbacbccbaaacbaa.bc
	rule cc -> bacbaa at position 8
.bacbbacbbacbaabaaacbaa.bc
	rule ab -> c at position 13
.bacbbacbbacbacaaacbaa.bc
	rule a ->  at position 14
.bacbbacbbacbacaacbaa.bc
	rule a ->  at position 14
.bacbbacbbacbacacbaa.bc
	rule a ->  at position 14
.bacbbacbbacbaccbaa.bc
	rule cc -> bacbaa at position 13
.bacbbacbbacbabacbaabaa.bc
	rule ab -> c at position 12
.bacbbacbbacbcacbaabaa.bc
	rule a ->  at position 13
.bacbbacbbacbccbaabaa.bc
	rule a ->  at position 15
.bacbbacbbacbccbabaa.bc
	rule ab -> c at position 15
.bacbbacbbacbccbcaa.bc
	rule ab -> c at position 17
.bacbbacbbacbccbcac.c
	rule cc -> bacbaa at position 17
.bacbbacbbacbccbcabacbaa.
	rule ab -> c at position 16
.bacbbacbbacbccbccacbaa.
	rule a ->  at position 17
.bacbbacbbacbccbcccbaa.
	rule cc -> bacbaa at position 16
.bacbbacbbacbccbcbacbaabaa.
	rule a ->  at position 17
.bacbbacbbacbccbcbcbaabaa.
	rule a ->  at position 19
.bacbbacbbacbccbcbcbabaa.
	rule ab -> c at position 19
.bacbbacbbacbccbcbcbcaa.