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


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


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

.a.bbcbbccbcc
	rule a -> b at position 0
.b.bbcbbccbcc
	rule bbbc -> ccaaba at position 0
.ccaaba.bbccbcc
	rule a -> b at position 2
.ccbaba.bbccbcc
	rule a -> b at position 3
.ccbbba.bbccbcc
	rule a -> b at position 5
.ccbbbb.bbccbcc
	rule bbbc -> ccaaba at position 5
.ccbbbccaaba.cbcc
	rule bbbc -> ccaaba at position 2
.ccccaabacaaba.cbcc
	rule a -> b at position 5
.ccccabbacaaba.cbcc
	rule a -> b at position 7
.ccccabbbcaaba.cbcc
	rule bbbc -> ccaaba at position 5
.ccccaccaabaaaba.cbcc
	rule a -> b at position 10
.ccccaccaabbaaba.cbcc
	rule a -> b at position 11
.ccccaccaabbbaba.cbcc
	rule a -> b at position 12
.ccccaccaabbbbba.cbcc
	rule a -> b at position 14
.ccccaccaabbbbbb.cbcc
	rule bbbc -> ccaaba at position 12
.ccccaccaabbbccaaba.bcc
	rule bbbc -> ccaaba at position 9
.ccccaccaaccaabacaaba.bcc
	rule a -> b at position 14
.ccccaccaaccaabbcaaba.bcc
	rule a -> b at position 16
.ccccaccaaccaabbcbaba.bcc
	rule a -> b at position 17
.ccccaccaaccaabbcbbba.bcc
	rule a -> b at position 19
.ccccaccaaccaabbcbbbb.bcc
	rule bbbc -> ccaaba at position 18
.ccccaccaaccaabbcbbccaaba.c
	rule a -> b at position 20
.ccccaccaaccaabbcbbccbaba.c
	rule a -> b at position 21
.ccccaccaaccaabbcbbccbbba.c
	rule a -> b at position 23
.ccccaccaaccaabbcbbccbbbb.c
	rule bbbc -> ccaaba at position 21
.ccccaccaaccaabbcbbccbccaaba.