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


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


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

.ab.bcbbbc
	rule ab -> cac at position 0
.cac.bcbbbc
	rule a ->  at position 1
.cc.bcbbbc
	rule cc -> bbba at position 0
.bbba.bcbbbc
	rule ab -> cac at position 3
.bbbcac.cbbbc
	rule cc -> bbba at position 5
.bbbcabbba.bbbc
	rule ab -> cac at position 4
.bbbccacbba.bbbc
	rule a ->  at position 5
.bbbcccbba.bbbc
	rule cc -> bbba at position 4
.bbbcbbbabba.bbbc
	rule ab -> cac at position 7
.bbbcbbbcacba.bbbc
	rule a ->  at position 8
.bbbcbbbccba.bbbc
	rule cc -> bbba at position 7
.bbbcbbbbbbaba.bbbc
	rule ab -> cac at position 10
.bbbcbbbbbbcaca.bbbc
	rule a ->  at position 11
.bbbcbbbbbbcca.bbbc
	rule cc -> bbba at position 10
.bbbcbbbbbbbbbaa.bbbc
	rule ab -> cac at position 14
.bbbcbbbbbbbbbacac.bbc
	rule a ->  at position 15
.bbbcbbbbbbbbbacc.bbc
	rule cc -> bbba at position 14
.bbbcbbbbbbbbbabbba.bbc
	rule ab -> cac at position 13
.bbbcbbbbbbbbbcacbba.bbc
	rule a ->  at position 14
.bbbcbbbbbbbbbccbba.bbc
	rule cc -> bbba at position 13
.bbbcbbbbbbbbbbbbabba.bbc
	rule ab -> cac at position 16
.bbbcbbbbbbbbbbbbcacba.bbc
	rule a ->  at position 17
.bbbcbbbbbbbbbbbbccba.bbc
	rule cc -> bbba at position 16
.bbbcbbbbbbbbbbbbbbbaba.bbc
	rule ab -> cac at position 19
.bbbcbbbbbbbbbbbbbbbcaca.bbc
	rule a ->  at position 20
.bbbcbbbbbbbbbbbbbbbcca.bbc
	rule cc -> bbba at position 19
.bbbcbbbbbbbbbbbbbbbbbbaa.bbc
	rule ab -> cac at position 23
.bbbcbbbbbbbbbbbbbbbbbbacac.bc
	rule a ->  at position 24
.bbbcbbbbbbbbbbbbbbbbbbacc.bc
	rule cc -> bbba at position 23
.bbbcbbbbbbbbbbbbbbbbbbabbba.bc
	rule ab -> cac at position 22
.bbbcbbbbbbbbbbbbbbbbbbcacbba.bc
	rule a ->  at position 23
.bbbcbbbbbbbbbbbbbbbbbbccbba.bc
	rule cc -> bbba at position 22
.bbbcbbbbbbbbbbbbbbbbbbbbbabba.bc
	rule ab -> cac at position 28
.bbbcbbbbbbbbbbbbbbbbbbbbbabbcac.c
	rule cc -> bbba at position 30
.bbbcbbbbbbbbbbbbbbbbbbbbbabbcabbba.
	rule ab -> cac at position 29
.bbbcbbbbbbbbbbbbbbbbbbbbbabbccacbba.
	rule a ->  at position 30
.bbbcbbbbbbbbbbbbbbbbbbbbbabbcccbba.
	rule cc -> bbba at position 29
.bbbcbbbbbbbbbbbbbbbbbbbbbabbcbbbabba.
	rule ab -> cac at position 32
.bbbcbbbbbbbbbbbbbbbbbbbbbabbcbbbcacba.