CompSCR Benchmark

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



Completion to Strong Confluence

Legend: S = Success, NI = Number of Iterations, AR = Added Rules, TO = Timeout, F = Fail, NT = Non Terminating, L = Linear, LL = Left-Linear
TRS CompSCR
S
NI
AR
TO
F
NT
L
LL
Result
19.trs       X   X   X  
21.trs X 3 4     X X   21-Completed
30.trs X 3 2     X   X 30-Completed
35.trs X 3 3     X   X 35-Completed
38.trs X 3 3     X X   38-Completed
39.trs X 3 6     X X   39-Completed
42.trs       X   X   X  
43.trs       X   X X    
49.trs X 3 6     X   X 49-Completed
60.trs       X   X   X  
61.trs X 4 9     X   X 61-Completed
62.trs       X   X   X  
64.trs X 3 6     X   X 64-Completed
65.trs X 4 12     X   X 65-Completed
80.trs       X   X X    
110.trs       X   X   X  
112.trs       X   X   X  
113.trs X 3 3     X   X 113-Completed
120.trs       X   X   X  
122.trs       X   X   X  
123.trs       X   X   X  
126.trs       X   X   X  
142.trs       X   X   X  
144.trs       X   X   X  
145.trs       X   X   X  
155.trs       X   X   X  
157.trs       X   X   X  
161.trs       X   X   X  
169.trs       X   X   X  
171.trs       X   X   X  
172.trs       X   X   X  
182.trs       X   X   X  
184.trs       X   X   X  
192.trs       X   X   X  
194.trs X 2 2     X   X 194-Completed
196.trs       X   X   X  
198.trs       X   X   X  
203.trs         X X   X  
208.trs         X X   X  
212.trs X 3 2     X X   212-Completed
214.trs       X   X X    
216.trs       X   X X    
236.trs X 2 1     X X   236-Completed
237.trs X 2 1     X X   237-Completed
238.trs X 2 1     X X   238-Completed
239.trs       X   X X    
240.trs       X   X X    
241.trs       X   X X    
242.trs X 3 2     X X   242-Completed
243.trs X 2 1     X X   243-Completed
244.trs       X   X X    
245.trs       X   X X    
246.trs       X   X X    
247.trs       X   X X    
248.trs X 3 2     X X   248-Completed
249.trs       X   X X    
251.trs       X   X X    
252.trs       X   X X    
253.trs X 2 1     X X   253-Completed
254.trs X 2 1     X X   254-Completed
255.trs       X   X X    
256.trs       X   X X    
257.trs       X   X X    
258.trs X 4 8     X X   258-Completed
423.trs       X   X   X  
424.trs       X   X   X  
425.trs       X   X   X  
498.trs X 2 1     X   X 498-Completed
504.trs X 1 0     X   X 504-Completed
507.trs       X   X X    
508.trs       X   X X    
509.trs X 2 1     X X   509-Completed
510.trs X 3 2     X X   510-Completed
511.trs X 3 4     X X   511-Completed
512.trs X 2 1     X X   512-Completed
541.trs X 4 11     X X   541-Completed
543.trs X 2 2     X X   543-Completed
544.trs X 3 3     X X   544-Completed
554.trs       X   X   X  
555.trs       X   X   X  
556.trs       X   X   X  
557.trs X 2 1     X X   557-Completed
573.trs       X   X X    
574.trs X 3 6     X X   574-Completed
582.trs       X   X X    
584.trs       X   X   X  
588.trs       X   X X    
614.trs       X   X X    
631.trs       X   X X    
632.trs       X   X X    
647.trs       X   X X    
650.trs       X   X X    
651.trs       X   X X    
654.trs       X   X X    
655.trs X 2 2     X X   655-Completed
657.trs       X   X X    
658.trs       X   X X    
659.trs       X   X X    
660.trs       X   X X    
661.trs       X   X X    
663.trs       X   X X    
664.trs X 2 1     X X   664-Completed
665.trs       X   X X    
666.trs       X   X X    
668.trs       X   X X    
669.trs X 2 1     X X   669-Completed
670.trs       X   X X    
672.trs       X   X X    
673.trs X 4 4     X X   673-Completed
674.trs       X   X X    
676.trs       X   X X    
677.trs       X   X X    
678.trs       X   X X    
680.trs       X   X X    
683.trs X 2 1     X X   683-Completed
684.trs X 2 1     X X   684-Completed
685.trs       X   X X    
686.trs       X   X X    
687.trs       X   X X    
688.trs       X   X X    
689.trs       X   X X    
694.trs       X   X X    
695.trs       X   X X    
696.trs X 2 1     X X   696-Completed
697.trs       X   X X    
698.trs X 2 3     X X   698-Completed
699.trs       X   X X    
701.trs       X   X X    
703.trs       X   X X    
704.trs       X   X X    
706.trs       X   X X    
711.trs       X   X X    
712.trs       X   X X    
714.trs X 2 1     X X   714-Completed
715.trs       X   X X    
716.trs       X   X X    
717.trs       X   X X    
719.trs       X   X X    
720.trs       X   X X    
721.trs       X   X X    
731.trs X 2 1     X X   731-Completed
732.trs       X   X X    
733.trs       X   X X    
735.trs X 3 3     X X   735-Completed
736.trs X 2 1     X X   736-Completed
738.trs       X   X X    
739.trs       X   X X    
741.trs       X   X X    
762.trs X 3 4     X   X 762-Completed
946.trs       X   X X    
947.trs       X   X X    
963.trs       X   X X    
991.trs X 3 2     X X   991-Completed
997.trs X 2 1     X X   997-Completed
999.trs       X   X X    
1002.trs X 2 2     X X   1002-Completed
1032.trs X 2 3     X X   1032-Completed
1034.trs       X   X X    
1132.trs       X   X X    
1156.trs       X   X X    
1157.trs       X   X X    
1280.trs       X   X X    
1654.trs X 2 1     X   X 1654-Completed
1655.trs X 2 1     X   X 1655-Completed
Total 52 127 143 110 2 164 118 46