/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 1 0 2 2 2 2 2 2 ⟶ 2 2 2 2 2 2 2 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, ... }:

.abacccccc.cccccccccccccccccccccccccccccccccccc
	rule abacccccc-> cccccccabaaba at position 0
.cccccccabaaba.cccccccccccccccccccccccccccccccccccc
	rule abacccccc-> cccccccabaaba at position 10
.cccccccabacccccccabaaba.cccccccccccccccccccccccccccccc
	rule abacccccc-> cccccccabaaba at position 20
.cccccccabacccccccabacccccccabaaba.cccccccccccccccccccccccc
	rule abacccccc-> cccccccabaaba at position 17
.cccccccabaccccccccccccccabaabacabaaba.cccccccccccccccccccccccc
	rule abacccccc-> cccccccabaaba at position 34
.cccccccabaccccccccccccccabaabacabacccccccabaaba.cccccccccccccccccc
	rule abacccccc-> cccccccabaaba at position 31
.cccccccabaccccccccccccccabaabaccccccccabaabacabaaba.cccccccccccccccccc
	rule abacccccc-> cccccccabaaba at position 27
.cccccccabaccccccccccccccabacccccccabaabaccabaabacabaaba.cccccccccccccccccc
	rule abacccccc-> cccccccabaaba at position 24
.cccccccabacccccccccccccccccccccabaabacabaabaccabaabacabaaba.cccccccccccccccccc
	rule abacccccc-> cccccccabaaba at position 56
.cccccccabacccccccccccccccccccccabaabacabaabaccabaabacabacccccccabaaba.cccccccccccc
	rule abacccccc-> cccccccabaaba at position 53
.cccccccabacccccccccccccccccccccabaabacabaabaccabaabaccccccccabaabacabaaba.cccccccccccc
	rule abacccccc-> cccccccabaaba at position 49
.cccccccabacccccccccccccccccccccabaabacabaabaccabacccccccabaabaccabaabacabaaba.cccccccccccc
	rule abacccccc-> cccccccabaaba at position 46
.cccccccabacccccccccccccccccccccabaabacabaabacccccccccabaabacabaabaccabaabacabaaba.cccccccccccc
	rule abacccccc-> cccccccabaaba at position 41
.cccccccabacccccccccccccccccccccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaaba.cccccccccccc
	rule abacccccc-> cccccccabaaba at position 38
.cccccccabacccccccccccccccccccccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccc
	rule abacccccc-> cccccccabaaba at position 34
.cccccccabacccccccccccccccccccccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccc
	rule abacccccc-> cccccccabaaba at position 31
.cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccc
	rule abacccccc-> cccccccabaaba at position 94
.cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabacccccccabaaba.cccccc
	rule abacccccc-> cccccccabaaba at position 91
.cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabaccccccccabaabacabaaba.cccccc
	rule abacccccc-> cccccccabaaba at position 87
.cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabacccccccabaabaccabaabacabaaba.cccccc
	rule abacccccc-> cccccccabaaba at position 84
.cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabacccccccccabaabacabaabaccabaabacabaaba.cccccc
	rule abacccccc-> cccccccabaaba at position 79
.cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaaba.cccccc
	rule abacccccc-> cccccccabaaba at position 76
.cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccc
	rule abacccccc-> cccccccabaaba at position 72
.cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccc
	rule abacccccc-> cccccccabaaba at position 69
.cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccc
	rule abacccccc-> cccccccabaaba at position 63
.cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabacccccccabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccc
	rule abacccccc-> cccccccabaaba at position 60
.cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabaccccccccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccc
	rule abacccccc-> cccccccabaaba at position 56
.cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabacccccccabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccc
	rule abacccccc-> cccccccabaaba at position 53
.cccccccabaccccccccccccccccccccccccccccabaabacabaabacccccccccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccc
	rule abacccccc-> cccccccabaaba at position 48
.cccccccabaccccccccccccccccccccccccccccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccc
	rule abacccccc-> cccccccabaaba at position 45
.cccccccabaccccccccccccccccccccccccccccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccc
	rule abacccccc-> cccccccabaaba at position 41
.cccccccabaccccccccccccccccccccccccccccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccc
	rule abacccccc-> cccccccabaaba at position 38
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccc
	rule abacccccc-> cccccccabaaba at position 164
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabacccccccabaaba.
	rule abacccccc-> cccccccabaaba at position 161
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabaccccccccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 157
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabacccccccabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 154
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabacccccccccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 149
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 146
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 142
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 139
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 133
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabacccccccabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 130
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabaccccccccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 126
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabacccccccabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 123
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabacccccccccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 118
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 115
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 111
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 108
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 101
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabacccccccabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 98
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabaccccccccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 94
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabacccccccabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 91
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabacccccccccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 86
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 83
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 79
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 76
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 70
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabacccccccabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 67
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabaccccccccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 63
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabacccccccabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 60
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabacccccccccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 55
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 52
.cccccccabacccccccccccccccccccccccccccccccccccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 48
.cccccccabacccccccccccccccccccccccccccccccccccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.
	rule abacccccc-> cccccccabaaba at position 45
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.