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


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


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

.abcbc.bcbcbcbc
	rule abcbc -> cbcbcbaba at position 0
.cbcbcbaba.bcbcbcbc
	rule abcbc -> cbcbcbaba at position 8
.cbcbcbabcbcbcbaba.bcbc
	rule abcbc -> cbcbcbaba at position 16
.cbcbcbabcbcbcbabcbcbcbaba.
	rule abcbc -> cbcbcbaba at position 14
.cbcbcbabcbcbcbcbcbcbababcbaba.