This collections of term rewriting systems has been taken from the Confluence Competitions website.



TRSCoCo TagsTRS.ToolSecondsRewrites
C
NC
LC
NLC
T
NT
C
NC
LC
NLC
T
NT
1.trsX    X  X  X0,000972
2.trsX X  X  X   0,000761
3.trsX X  X  X   0,000521
4.trsX X  X  X  X0,000101
5.trs X XX  X X  0,000422
6.trs X XX  X X  0,000453
7.trs X XX  X X  0,000091
8.trsX X  X  X  X0,000793
9.trs X XX  X X  0,000011
10.trs X XX  X X  0,000334
11.trsX X X   X   0,000923
12.trsX X X   X   0,000080
13.trs X XX  X X  0,000404
14.trsX X X   X   0,000263
15.trs     X      7193,35803036
16.trs XX  X  X   0,000150
17.trsX X  X  X   0,000620
18.trsX X X   X   0,000110
19.trsX    X  X  X0,000664
20.trsX    X  X   0,003034
21.trs X   X  X  X0,000245
22.trsX    X  X  X0,000954
23.trsX X  XX X   0,000200
24.trs  X  X  X   0,000080
25.trsX X  X  X   0,000120
26.trs  X  X  X   0,000080
27.trs  X  X  X   0,000360
28.trsX X  X  X   0,000800
29.trsX X X   X   0,0007812
30.trsX X  X  X  X0,000744
31.trs X XX  X X  0,000202
32.trs X XX  X X  0,000152
33.trsX X  X  X  X0,000202
34.trsX X  X  X   0,000365
35.trsX    X  X  X0,000292
36.trsX    X  X  X0,000162
37.trsX    X  X  X0,000203
38.trs XX  X XX  X0,000014
39.trs XX  X XX  X0,0011210
40.trsX X X   X   0,000164
41.trsX X  X  X   0,000071
42.trsX    X  X   0,000181
43.trs X   X X X X0,0018612
44.trs X XX  X X  0,000051
45.trsX X X   X   0,000183
46.trs XX  X  X   0,000190
47.trs  X  X  X   0,000130
48.trsX X  X  X   0,001533
49.trs XX  X  X   0,001544
50.trsX X X   X   0,000382
51.trsX X X   X   0,0257588
52.trs  X  X  X   0,003560
53.trsX X  X  X   0,000780
54.trs  X  X  X   0,001160
55.trsX X  X  X   0,000290
56.trs  X  X  X   0,000600
57.trs  X  X  X   0,000400
58.trs  X  X  X   0,002132
59.trsX X  X  X   0,000130
60.trsX X  X  X  X0,0656647
61.trsX X  X  X   0,000804
62.trs     X  X  X0,010987
63.trsX X  X  X   0,000973
64.trs XX  X  X   0,001424
65.trsX X  X  X   0,000704
66.trsX X X   X   0,004263
67.trsX X X   X   0,000161
68.trsX X X   X   0,0399039
69.trsX X X X X   0,000010
70.trs XX  X  X   0,000160
71.trsX X X X X   0,000170
72.trsX X X   X   0,000041
73.trsX X X   X   0,001254
74.trsX X  X  X   0,000403
75.trsX    X  X  X0,000042
76.trsX X  X  X  X0,19201147
77.trsX X  X  X  X0,30248251
78.trs X X X     X7,46080753
79.trsX X  X  X   0,000070
80.trs X   X     X14,61190500
81.trsX    X  X  X0,000693
82.trsX    X  X  X0,000171
83.trsX X X   X   0,011296
84.trsX X X   X   0,000061
85.trsX X X   X   0,000362
86.trsX    X  X  X0,000252
87.trsX    X  X  X0,001163
88.trsX    X  X   0,000421
89.trsX X  X  X   0,000311
90.trsX X X   X   0,000011
91.trsX X  X  X   0,000270
92.trsX X X   X   0,000201
93.trsX X X   X   0,000231
94.trsX    X  X  X0,003426
95.trs X XX  X X  0,000192
96.trsX    X  X  X0,003033
97.trsX X  X  X   0,000531
98.trs X X X X X  0,000131
99.trsX    X  X   0,002582
100.trsX    X  X  X0,000643
101.trsX X X   X   0,000190
102.trsX    X  X  X0,005665
103.trsX X  X  X  X0,004186
104.trsX X  XX X   0,000280
105.trsX X  X  X  X0,0090624
106.trsX X  X  X  X0,000794
107.trsX X  X  X   0,000150
108.trsX X  X  X   0,000140
109.trsX X  X  X  X7,82296772
110.trs  X  X  X   0,13738122
111.trsX X  X  X  X0,000427
112.trsX    X  X   0,004224
113.trs XX  X  X  X0,000304
114.trsX X X   X   0,0006214
115.trsX X X   X   0,0061054
116.trsX X  X  X   0,0061227
117.trsX X  X  X   0,000070
118.trsX X  X  X   0,012970
119.trsX X  X  X   0,000140
120.trsX    X  X  X0,0319932
121.trsX X  X  X  X0,0067015
122.trsX X  X  X  X0,0525732
123.trsX X  X  X  X0,0245222
124.trsX    X  X  X0,0421332
125.trsX X  X  X  X0,0255322
126.trs     X  X  X0,010325
127.trsX X  X  X  X0,0226952
128.trsX X  X  X  X0,000445
129.trsX X  X  X  X0,0268645
130.trsX X  X  X  X0,000374
131.trsX X  X  X  X0,001104
132.trsX X  X  X  X0,0035113
133.trsX X  X  X  X0,0047617
134.trsX X  X  X  X0,0072624
135.trsX X  X  X  X0,000503
136.trsX X  X  X  X0,0028613
137.trsX X  X  X  X0,003223
138.trsX X  X  X  X0,0074626
139.trsX X  X  X  X0,0432266
140.trsX X  X  X  X0,0132025
141.trsX X  X  X  X0,0031616
142.trsX X  X  X  X0,0551736
143.trsX X  X  X  X0,0132135
144.trsX X  X  X  X0,3044469
145.trsX    X  X  X8,88623285
146.trsX X  X  X  X0,000886
147.trsX X  X  X  X0,0059213
148.trsX X  X  X  X0,0023812
149.trsX X  X  X  X0,000171
150.trsX X  X  X  X0,000232
151.trsX X  X  X  X0,0125126
152.trsX X  X  X  X0,0339573
153.trsX X  X  X  X0,0069622
154.trsX X  X  X  X0,0179441
155.trsX    X  X  X0,39710144
156.trsX X  X  X  X0,0139326
157.trsX X  X  X  X0,0219524
158.trsX X  X  X  X0,002287
159.trsX X  X  X  X0,0069625
160.trs  X  X  X  X0,0044815
161.trsX X  X  X  X0,0154030
162.trsX X  X  X  X0,0049516
163.trsX X  X  X   0,002345
164.trsX X  X  X  X0,0083826
165.trsX X  X  X  X0,000293
166.trsX X  X  X  X0,000364
167.trsX X  X  X  X0,0061015
168.trsX X  X  X  X0,0197553
169.trsX X  X  X  X0,0385544
170.trsX    X  X  X0,0080419
171.trsX    X  X  X0,45259141
172.trsX X  X  X  X0,0073422
173.trs  X  X  X  X0,001674
174.trsX X  X  X  X0,0069821
175.trs     X  X  X0,16894210
176.trsX X  X  X  X0,0182845
177.trsX X  X  X   0,001603
178.trsX X  X  X  X0,003509
179.trsX X  XX X   0,000100
180.trsX X  X  X  X0,000696
181.trsX X  X  X  X0,0213242
182.trsX    X  X  X0,0149832
183.trs  X  X  X  X0,0183545
184.trsX X  X  X  X0,0040511
185.trs XX  X  X  X0,0092034
186.trsX X  X  X  X0,000355
187.trsX X  X  X  X0,0115929
188.trsX X  X  X  X0,0078624
189.trsX X  X  X  X0,0154739
190.trsX X  X  X  X0,000304
191.trsX X  X  X  X0,0120331
192.trsX X  X  X  X0,0036813
193.trsX X  X  X  X0,0105641
194.trsX X  X  X  X0,000634
195.trsX X  X  X  X0,0120729
196.trsX X  X  X  X0,0495938
197.trsX X  X  X  X0,0023615
198.trsX X  X  X  X0,0087022
199.trsX X  X  X  X0,004369
200.trsX X  X  X  X0,000374
201.trsX X  X  X  X0,0039118
202.trsX X  X  X  X0,0072022
203.trsX X  X  X  X0,12790110
204.trsX    X  X  X0,0129432
205.trsX X  X  X  X0,000493
206.trs XX  X  X  X0,0059020
207.trsX X  X  X  X0,001094
208.trsX    X  X  X9,17551486
209.trsX X  X  X  X0,0134330
210.trsX X  X  X  X0,0082522
211.trsX X  X  X  X0,002476
212.trs X   X  X  X0,000283
213.trsX    X  X  X0,000604
214.trs X   X  X  X0,026174
215.trsX    X  X  X0,031964
216.trs     X  X  X0,0490849
Total17127163123518051420112012951,352536374