/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 7 using right expansion
and the encoding {a=a, b=b, c=c}:

.cb.bbbbb
	rule cb -> aac at position 0
.aac.bbbbb
	rule cb -> aac at position 2
.aaaac.bbbb
	rule aaa -> bbcc at position 0
.bbccac.bbbb
	rule cb -> aac at position 5
.bbccaaac.bbb
	rule aaa -> bbcc at position 4
.bbccbbccc.bbb
	rule cb -> aac at position 8
.bbccbbccaac.bb
	rule cb -> aac at position 10
.bbccbbccaaaac.b
	rule aaa -> bbcc at position 8
.bbccbbccbbccac.b
	rule cb -> aac at position 7
.bbccbbcaacbccac.b
	rule cb -> aac at position 9
.bbccbbcaaaacccac.b
	rule aaa -> bbcc at position 7
.bbccbbcbbccacccac.b
	rule cb -> aac at position 6
.bbccbbaacbccacccac.b
	rule cb -> aac at position 8
.bbccbbaaaacccacccac.b
	rule aaa -> bbcc at position 6
.bbccbbbbccacccacccac.b
	rule cb -> aac at position 19
.bbccbbbbccacccacccaaac.
	rule aaa -> bbcc at position 18
.bbccbbbbccacccacccbbccc.
	rule cb -> aac at position 17
.bbccbbbbccacccaccaacbccc.
	rule cb -> aac at position 19
.bbccbbbbccacccaccaaaacccc.
	rule aaa -> bbcc at position 17
.bbccbbbbccacccaccbbccacccc.
	rule cb -> aac at position 16
.bbccbbbbccacccacaacbccacccc.
	rule cb -> aac at position 18
.bbccbbbbccacccacaaaacccacccc.
	rule aaa -> bbcc at position 16
.bbccbbbbccacccacbbccacccacccc.
	rule cb -> aac at position 15
.bbccbbbbccacccaaacbccacccacccc.
	rule aaa -> bbcc at position 14
.bbccbbbbccacccbbcccbccacccacccc.
	rule cb -> aac at position 13
.bbccbbbbccaccaacbcccbccacccacccc.
	rule cb -> aac at position 15
.bbccbbbbccaccaaaaccccbccacccacccc.
	rule aaa -> bbcc at position 13
.bbccbbbbccaccbbccaccccbccacccacccc.
	rule cb -> aac at position 12
.bbccbbbbccacaacbccaccccbccacccacccc.
	rule cb -> aac at position 14
.bbccbbbbccacaaaacccaccccbccacccacccc.
	rule aaa -> bbcc at position 12
.bbccbbbbccacbbccacccaccccbccacccacccc.
	rule cb -> aac at position 11
.bbccbbbbccaaacbccacccaccccbccacccacccc.
	rule aaa -> bbcc at position 10
.bbccbbbbccbbcccbccacccaccccbccacccacccc.
	rule cb -> aac at position 9
.bbccbbbbcaacbcccbccacccaccccbccacccacccc.
	rule cb -> aac at position 11
.bbccbbbbcaaaaccccbccacccaccccbccacccacccc.
	rule aaa -> bbcc at position 9
.bbccbbbbcbbccaccccbccacccaccccbccacccacccc.
	rule cb -> aac at position 8
.bbccbbbbaacbccaccccbccacccaccccbccacccacccc.
	rule cb -> aac at position 10
.bbccbbbbaaaacccaccccbccacccaccccbccacccacccc.
	rule aaa -> bbcc at position 8
.bbccbbbbbbccacccaccccbccacccaccccbccacccacccc.