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


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


NO

After renaming modulo { b->0, a->1 }, 
it remains to prove termination of the 1-rule system
{ 0 1 0 1 1 1 1 1 1 -> 1 1 1 1 1 1 1 0 1 0 0 1 0 }


Loop of length 64 starting with a string of length 45
using right expansion and the encoding { 0->a, 1->b, ... }:

.ababbbbbb.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 0
.bbbbbbbabaaba.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 10
.bbbbbbbababbbbbbbabaaba.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 20
.bbbbbbbababbbbbbbababbbbbbbabaaba.bbbbbbbbbbbbbbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 17
.bbbbbbbababbbbbbbbbbbbbbabaabababaaba.bbbbbbbbbbbbbbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 34
.bbbbbbbababbbbbbbbbbbbbbabaababababbbbbbbabaaba.bbbbbbbbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 31
.bbbbbbbababbbbbbbbbbbbbbabaababbbbbbbbabaabababaaba.bbbbbbbbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 27
.bbbbbbbababbbbbbbbbbbbbbababbbbbbbabaababbabaabababaaba.bbbbbbbbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 24
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaaba.bbbbbbbbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 56
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbabaabababaababbabaababababbbbbbbabaaba.bbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 53
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbabaabababaababbabaababbbbbbbbabaabababaaba.bbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 49
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbabaabababaababbababbbbbbbabaababbabaabababaaba.bbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 46
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbabaabababaababbbbbbbbbabaabababaababbabaabababaaba.bbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 41
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbabaababababbbbbbbabaababbbabaabababaababbabaabababaaba.bbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 38
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbabaababbbbbbbbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 34
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbababbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 31
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 94
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaababababbbbbbbabaaba.bbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 91
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaababbbbbbbbabaabababaaba.bbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 87
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbababbbbbbbabaababbabaabababaaba.bbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 84
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbbbbbbbbabaabababaababbabaabababaaba.bbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 79
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaababababbbbbbbabaababbbabaabababaababbabaabababaaba.bbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 76
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaababbbbbbbbabaabababaababbbabaabababaababbabaabababaaba.bbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 72
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbababbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 69
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 63
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaababababbbbbbbabaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 60
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaababbbbbbbbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 56
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbababbbbbbbabaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 53
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbbbbbbbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 48
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaababababbbbbbbabaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 45
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaababbbbbbbbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 41
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbababbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 38
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.bbbbbb
	rule ababbbbbb-> bbbbbbbabaaba at position 164
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaababababbbbbbbabaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 161
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaababbbbbbbbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 157
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbababbbbbbbabaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 154
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbbbbbbbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 149
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaababababbbbbbbabaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 146
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaababbbbbbbbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 142
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbababbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 139
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 133
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaababababbbbbbbabaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 130
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaababbbbbbbbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 126
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbababbbbbbbabaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 123
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbbbbbbbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 118
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaababababbbbbbbabaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 115
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaababbbbbbbbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 111
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbababbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 108
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 101
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaababababbbbbbbabaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 98
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaababbbbbbbbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 94
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbababbbbbbbabaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 91
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbbbbbbbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 86
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaababababbbbbbbabaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 83
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaababbbbbbbbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 79
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbababbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 76
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 70
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaababababbbbbbbabaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 67
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaababbbbbbbbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 63
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbababbbbbbbabaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 60
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbbbbbbbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 55
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaababababbbbbbbabaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 52
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaababbbbbbbbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 48
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbababbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.
	rule ababbbbbb-> bbbbbbbabaaba at position 45
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaaba.