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


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


NO

After renaming modulo the bijection { b ↦ 0, c ↦ 1, a ↦ 2 },
it remains to prove termination of the 1-rule system
{ 0 0 1 2 2 2 2 2 2 ⟶ 2 2 2 2 2 2 2 0 0 1 0 0 1 }

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

.aabcccccc.cccccccccccccccccccccccccccccccccccc
	rule aabcccccc-> cccccccaabaab at position 0
.cccccccaabaab.cccccccccccccccccccccccccccccccccccc
	rule aabcccccc-> cccccccaabaab at position 10
.cccccccaabcccccccaabaab.cccccccccccccccccccccccccccccc
	rule aabcccccc-> cccccccaabaab at position 20
.cccccccaabcccccccaabcccccccaabaab.cccccccccccccccccccccccc
	rule aabcccccc-> cccccccaabaab at position 17
.cccccccaabccccccccccccccaabaabcaabaab.cccccccccccccccccccccccc
	rule aabcccccc-> cccccccaabaab at position 34
.cccccccaabccccccccccccccaabaabcaabcccccccaabaab.cccccccccccccccccc
	rule aabcccccc-> cccccccaabaab at position 31
.cccccccaabccccccccccccccaabaabccccccccaabaabcaabaab.cccccccccccccccccc
	rule aabcccccc-> cccccccaabaab at position 27
.cccccccaabccccccccccccccaabcccccccaabaabccaabaabcaabaab.cccccccccccccccccc
	rule aabcccccc-> cccccccaabaab at position 24
.cccccccaabcccccccccccccccccccccaabaabcaabaabccaabaabcaabaab.cccccccccccccccccc
	rule aabcccccc-> cccccccaabaab at position 56
.cccccccaabcccccccccccccccccccccaabaabcaabaabccaabaabcaabcccccccaabaab.cccccccccccc
	rule aabcccccc-> cccccccaabaab at position 53
.cccccccaabcccccccccccccccccccccaabaabcaabaabccaabaabccccccccaabaabcaabaab.cccccccccccc
	rule aabcccccc-> cccccccaabaab at position 49
.cccccccaabcccccccccccccccccccccaabaabcaabaabccaabcccccccaabaabccaabaabcaabaab.cccccccccccc
	rule aabcccccc-> cccccccaabaab at position 46
.cccccccaabcccccccccccccccccccccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaab.cccccccccccc
	rule aabcccccc-> cccccccaabaab at position 41
.cccccccaabcccccccccccccccccccccaabaabcaabcccccccaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccc
	rule aabcccccc-> cccccccaabaab at position 38
.cccccccaabcccccccccccccccccccccaabaabccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccc
	rule aabcccccc-> cccccccaabaab at position 34
.cccccccaabcccccccccccccccccccccaabcccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccc
	rule aabcccccc-> cccccccaabaab at position 31
.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccc
	rule aabcccccc-> cccccccaabaab at position 94
.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabcccccccaabaab.cccccc
	rule aabcccccc-> cccccccaabaab at position 91
.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabccccccccaabaabcaabaab.cccccc
	rule aabcccccc-> cccccccaabaab at position 87
.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabcccccccaabaabccaabaabcaabaab.cccccc
	rule aabcccccc-> cccccccaabaab at position 84
.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaab.cccccc
	rule aabcccccc-> cccccccaabaab at position 79
.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabcccccccaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc
	rule aabcccccc-> cccccccaabaab at position 76
.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc
	rule aabcccccc-> cccccccaabaab at position 72
.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabcccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc
	rule aabcccccc-> cccccccaabaab at position 69
.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc
	rule aabcccccc-> cccccccaabaab at position 63
.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabcccccccaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc
	rule aabcccccc-> cccccccaabaab at position 60
.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabccccccccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc
	rule aabcccccc-> cccccccaabaab at position 56
.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabcccccccaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc
	rule aabcccccc-> cccccccaabaab at position 53
.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc
	rule aabcccccc-> cccccccaabaab at position 48
.cccccccaabccccccccccccccccccccccccccccaabaabcaabcccccccaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc
	rule aabcccccc-> cccccccaabaab at position 45
.cccccccaabccccccccccccccccccccccccccccaabaabccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc
	rule aabcccccc-> cccccccaabaab at position 41
.cccccccaabccccccccccccccccccccccccccccaabcccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc
	rule aabcccccc-> cccccccaabaab at position 38
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc
	rule aabcccccc-> cccccccaabaab at position 164
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabcccccccaabaab.
	rule aabcccccc-> cccccccaabaab at position 161
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabccccccccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 157
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabcccccccaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 154
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 149
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabcccccccaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 146
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 142
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabcccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 139
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 133
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabcccccccaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 130
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabccccccccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 126
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabcccccccaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 123
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 118
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabcccccccaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 115
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 111
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabcccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 108
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 101
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabcccccccaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 98
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabccccccccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 94
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabcccccccaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 91
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 86
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabcccccccaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 83
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 79
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabcccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 76
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 70
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabcccccccaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 67
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabccccccccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 63
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabcccccccaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 60
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 55
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabcccccccaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 52
.cccccccaabcccccccccccccccccccccccccccccccccccaabaabccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 48
.cccccccaabcccccccccccccccccccccccccccccccccccaabcccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabcccccc-> cccccccaabaab at position 45
.cccccccaabccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.