Termination Competition 2018
: Derivational Complexity: TRS Certified
30104
Job info CSV
tct 2018-07-13
tct_dc_cert
benchmark
UP
LOW
TIME
Derivational_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
t011.xml
5164913
n
2
+1
1
+0
2.74/0.70
Derivational_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
t008.xml
5164914
∞
+0
1
+0
1117.61/296.27
Derivational_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
n006.xml
5164915
∞
+0
1
+0
671.99/296.01
Derivational_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
n005.xml
5164916
∞
+0
1
+0
870.03/296.03
Derivational_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
t004.xml
5164917
∞
+0
1
+0
447.35/296.06
Derivational_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
n002.xml
5164918
∞
+0
1
+0
854.25/296.01
Derivational_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
t006.xml
5164919
n
1
+1
1
+0
0.14/0.05
Derivational_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
t010.xml
5164920
n
1
+1
1
+0
1.36/0.35
Derivational_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
t007.xml
5164921
n
1
+1
1
+0
1.33/0.33
Derivational_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
n003.xml
5164922
∞
+0
1
+0
709.38/296.11
Derivational_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
t012.xml
5164923
∞
+0
1
+0
433.21/296.05
Derivational_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
n004.xml
5164924
∞
+0
1
+0
744.31/296.11
Derivational_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
t009.xml
5164925
∞
+0
1
+0
1188.13/300.47
Derivational_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
n008.xml
5164926
∞
+0
1
+0
760.53/296.01
Derivational_
Complexity_
Full_
Rewriting/
HirokawaMiddeldorp_
04/
t000.xml
5164927
∞
+0
1
+0
157.47/60.18
Derivational_
Complexity_
Full_
Rewriting/
Gebhardt_
06/
05.xml
5164646
∞
+0
1
+0
1019.08/296.05
Derivational_
Complexity_
Full_
Rewriting/
Gebhardt_
06/
03.xml
5164647
∞
+0
1
+0
1100.88/296.32
Derivational_
Complexity_
Full_
Rewriting/
Gebhardt_
06/
01.xml
5164648
∞
+0
1
+0
974.48/296.04
Derivational_
Complexity_
Full_
Rewriting/
Gebhardt_
06/
12.xml
5164649
∞
+0
1
+0
1093.35/296.17
Derivational_
Complexity_
Full_
Rewriting/
Gebhardt_
06/
10.xml
5164650
∞
+0
1
+0
1018.37/296.12
Derivational_
Complexity_
Full_
Rewriting/
Gebhardt_
06/
06.xml
5164651
∞
+0
1
+0
1031.52/296.18
Derivational_
Complexity_
Full_
Rewriting/
Gebhardt_
06/
02.xml
5164652
∞
+0
1
+0
930.39/296.46
Derivational_
Complexity_
Full_
Rewriting/
Gebhardt_
06/
14.xml
5164653
∞
+0
1
+0
556.16/151.36
Derivational_
Complexity_
Full_
Rewriting/
Gebhardt_
06/
13.xml
5164654
∞
+0
1
+0
1041.16/296.13
Derivational_
Complexity_
Full_
Rewriting/
Gebhardt_
06/
20.xml
5164655
∞
+0
1
+0
1006.36/296.26
Derivational_
Complexity_
Full_
Rewriting/
Gebhardt_
06/
04.xml
5164656
∞
+0
1
+0
940.01/296.13
Derivational_
Complexity_
Full_
Rewriting/
Gebhardt_
06/
17.xml
5164657
∞
+0
1
+0
1044.27/296.19
Derivational_
Complexity_
Full_
Rewriting/
Gebhardt_
06/
08.xml
5164658
∞
+0
1
+0
1078.74/296.21
Derivational_
Complexity_
Full_
Rewriting/
Gebhardt_
06/
19.xml
5164659
∞
+0
1
+0
1005.73/296.19
Derivational_
Complexity_
Full_
Rewriting/
Gebhardt_
06/
16.xml
5164660
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
Gebhardt_
06/
09.xml
5164661
∞
+0
1
+0
1001.54/296.13
Derivational_
Complexity_
Full_
Rewriting/
Gebhardt_
06/
11.xml
5164662
∞
+0
1
+0
1046.14/296.15
Derivational_
Complexity_
Full_
Rewriting/
Gebhardt_
06/
07.xml
5164663
∞
+0
1
+0
1025.69/296.15
Derivational_
Complexity_
Full_
Rewriting/
Gebhardt_
06/
18.xml
5164664
∞
+0
1
+0
1066.39/296.14
Derivational_
Complexity_
Full_
Rewriting/
Gebhardt_
06/
15.xml
5164665
∞
+0
1
+0
1035.50/296.16
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
01-oppelt08.xml
5164928
∞
+0
1
+0
1186.20/296.34
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
05.xml
5164929
∞
+0
1
+0
960.36/296.42
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
03.xml
5164930
∞
+0
1
+0
169.75/46.98
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
01.xml
5164931
∞
+0
1
+0
869.25/296.22
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
touzet.xml
5164932
StarExec error
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
06.xml
5164933
∞
+0
1
+0
957.02/296.19
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
02.xml
5164934
∞
+0
1
+0
987.82/296.23
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
08-oppelt08.xml
5164935
∞
+0
1
+0
1179.86/296.07
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
07-oppelt08.xml
5164936
∞
+0
1
+0
1187.06/296.28
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
3.xml
5164937
n
2
+1
1
+0
143.65/40.29
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
1.xml
5164938
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
04.xml
5164939
∞
+0
1
+0
506.33/146.09
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
08.xml
5164940
∞
+0
1
+0
683.48/296.21
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
04-oppelt08.xml
5164941
∞
+0
1
+0
1071.44/296.20
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
03-oppelt08.xml
5164942
∞
+0
1
+0
902.13/296.12
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
s6.xml
5164943
n
2
+1
1
+0
168.99/42.27
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
09.xml
5164944
∞
+0
1
+0
870.14/296.24
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
06-oppelt08.xml
5164945
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
07.xml
5164946
∞
+0
1
+0
563.81/296.17
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
2.xml
5164947
∞
+0
1
+0
1065.89/296.12
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
02-oppelt08.xml
5164948
∞
+0
1
+0
1029.55/296.11
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
turing_
copy.xml
5164949
∞
+0
1
+0
1185.52/296.55
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
turing_
add.xml
5164950
n
2
+1
1
+0
10.82/2.72
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
4.xml
5164951
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
turing_
mult.xml
5164952
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
SRS/
05-oppelt08.xml
5164953
∞
+0
1
+0
1109.35/296.04
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
167391.xml
5165576
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4484.xml
5165577
n
1
+1
1
+0
51.20/12.66
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26862.xml
5165578
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
137956.xml
5165579
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
86559.xml
5165580
StarExec error
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
264033.xml
5165581
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
131982.xml
5165582
timeout (cpu)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
137809.xml
5165583
∞
+0
1
+0
864.31/191.34
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4057.xml
5165584
n
1
+1
1
+0
62.69/13.25
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
45757.xml
5165585
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
139256.xml
5165586
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
158208.xml
5165587
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
5130.xml
5165588
n
1
+1
1
+0
92.09/19.61
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3770.xml
5165589
n
1
+1
1
+0
24.39/5.54
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
48267.xml
5165590
∞
+0
1
+0
1184.39/296.36
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4206.xml
5165591
∞
+0
1
+0
493.34/122.16
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
185453.xml
5165592
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
214011.xml
5165593
∞
+0
1
+0
1185.59/296.48
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96334.xml
5165594
n
1
+1
1
+0
29.34/7.33
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
135604.xml
5165595
∞
+0
1
+0
1187.31/296.51
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3842.xml
5165596
n
1
+1
1
+0
53.01/12.57
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
41688.xml
5165597
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4979.xml
5165598
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4487.xml
5165599
n
1
+1
1
+0
52.76/12.29
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4943.xml
5165600
n
1
+1
1
+0
40.48/10.09
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3916.xml
5165601
n
1
+1
1
+0
170.49/26.60
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
160068.xml
5165602
timeout (cpu)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4106.xml
5165603
n
1
+1
1
+0
55.63/8.12
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26741.xml
5165604
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4893.xml
5165605
n
1
+1
1
+0
54.16/12.89
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
149849.xml
5165606
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
136051.xml
5165607
timeout (cpu)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
246924.xml
5165608
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26927.xml
5165609
∞
+0
1
+0
1190.42/296.61
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26923.xml
5165610
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
161533.xml
5165611
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
135659.xml
5165612
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
139310.xml
5165613
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
136623.xml
5165614
∞
+0
1
+0
1184.70/296.28
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
212062.xml
5165615
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
54532.xml
5165616
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
27039.xml
5165617
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
132478.xml
5165618
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
157275.xml
5165619
timeout (cpu)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4824.xml
5165620
n
1
+1
1
+0
69.97/16.25
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4938.xml
5165621
n
1
+1
1
+0
83.75/19.35
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
88172.xml
5165622
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
152865.xml
5165623
timeout (cpu)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
132920.xml
5165624
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
88183.xml
5165625
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
27001.xml
5165626
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
157593.xml
5165627
timeout (cpu)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
91218.xml
5165628
∞
+0
1
+0
1184.72/296.31
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26845.xml
5165629
timeout (cpu)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
139163.xml
5165630
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4314.xml
5165631
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26886.xml
5165632
timeout (cpu)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
158477.xml
5165633
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
27213.xml
5165634
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96289.xml
5165635
n
1
+1
1
+0
55.37/13.03
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26946.xml
5165636
timeout (cpu)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
97888.xml
5165637
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4374.xml
5165638
n
1
+1
1
+0
45.82/10.22
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26871.xml
5165639
timeout (cpu)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
43266.xml
5165640
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
98623.xml
5165641
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
128430.xml
5165642
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
41427.xml
5165643
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
160263.xml
5165644
∞
+0
1
+0
1186.96/296.65
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
25422.xml
5165645
∞
+0
1
+0
432.83/85.87
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96464.xml
5165646
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26974.xml
5165647
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
85079.xml
5165648
n
1
+1
1
+0
85.30/19.28
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
135328.xml
5165649
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
97885.xml
5165650
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
231300.xml
5165651
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
140639.xml
5165652
∞
+0
1
+0
1184.10/296.27
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
212693.xml
5165653
n
2
+1
1
+0
77.76/18.97
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
139174.xml
5165654
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96256.xml
5165655
n
1
+1
1
+0
32.00/8.04
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
166493.xml
5165656
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
259405.xml
5165657
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4157.xml
5165658
n
1
+1
1
+0
100.74/18.72
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
86816.xml
5165659
n
1
+1
1
+0
86.85/20.09
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
230780.xml
5165660
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
91242.xml
5165661
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
149251.xml
5165662
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
42321.xml
5165663
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
140664.xml
5165664
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
85294.xml
5165665
∞
+0
1
+0
84.16/19.31
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
51842.xml
5165666
paused
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26969.xml
5165667
paused
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
128691.xml
5165668
paused
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
27009.xml
5165669
paused
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
165713.xml
5165670
paused
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26903.xml
5165671
paused
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4953.xml
5165672
paused
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
133236.xml
5165673
paused
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
131633.xml
5165674
paused
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
161917.xml
5165675
paused
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
128550.xml
5165676
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
211471.xml
5165677
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
39830.xml
5165678
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
57355.xml
5165679
paused
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
132611.xml
5165680
paused
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
153090.xml
5165681
paused
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
159731.xml
5165682
paused
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
212037.xml
5165683
paused
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
149633.xml
5165684
paused
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
133486.xml
5165685
paused
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
134918.xml
5165686
paused
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
213719.xml
5165687
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
212263.xml
5165688
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
152694.xml
5165689
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
138269.xml
5165690
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
157436.xml
5165691
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4964.xml
5165692
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
133010.xml
5165693
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
247906.xml
5165694
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
130472.xml
5165695
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
28464.xml
5165696
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
138468.xml
5165697
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
133159.xml
5165698
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
211857.xml
5165699
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96523.xml
5165700
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
247504.xml
5165701
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
25711.xml
5165702
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
86452.xml
5165703
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26993.xml
5165704
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
128280.xml
5165705
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
158152.xml
5165706
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
127538.xml
5165707
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96198.xml
5165708
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
27026.xml
5165709
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
212795.xml
5165710
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26116.xml
5165711
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
25743.xml
5165712
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
160475.xml
5165713
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26919.xml
5165714
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26683.xml
5165715
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
27019.xml
5165716
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
248060.xml
5165717
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3989.xml
5165718
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96029.xml
5165719
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
135505.xml
5165720
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
27013.xml
5165721
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
140631.xml
5165722
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
231149.xml
5165723
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
85477.xml
5165724
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
128486.xml
5165725
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
149415.xml
5165726
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
124791.xml
5165727
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
247020.xml
5165728
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
28838.xml
5165729
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
27131.xml
5165730
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
91254.xml
5165731
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
139018.xml
5165732
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
86745.xml
5165733
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26110.xml
5165734
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3533.xml
5165735
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
139036.xml
5165736
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
139180.xml
5165737
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
57453.xml
5165738
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
139378.xml
5165739
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26951.xml
5165740
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
27030.xml
5165741
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
153288.xml
5165742
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
136571.xml
5165743
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
138254.xml
5165744
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
140359.xml
5165745
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
186023.xml
5165746
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
137136.xml
5165747
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4920.xml
5165748
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
48374.xml
5165749
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
88208.xml
5165750
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
85380.xml
5165751
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
95952.xml
5165752
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96176.xml
5165753
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26954.xml
5165754
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
182946.xml
5165755
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
41378.xml
5165756
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
213051.xml
5165757
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3831.xml
5165758
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
136693.xml
5165759
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
160427.xml
5165760
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
84977.xml
5165761
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
136934.xml
5165762
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
24100.xml
5165763
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96119.xml
5165764
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
124211.xml
5165765
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
27036.xml
5165766
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
138142.xml
5165767
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26127.xml
5165768
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
212117.xml
5165769
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
88156.xml
5165770
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
138330.xml
5165771
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
40976.xml
5165772
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
138477.xml
5165773
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
85039.xml
5165774
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
40093.xml
5165775
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
132235.xml
5165776
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
212534.xml
5165777
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
139214.xml
5165778
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
150630.xml
5165779
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
160254.xml
5165780
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26910.xml
5165781
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
44332.xml
5165782
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
188674.xml
5165783
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
41838.xml
5165784
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
133532.xml
5165785
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
53216.xml
5165786
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
25736.xml
5165787
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3268.xml
5165788
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
186919.xml
5165789
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
160398.xml
5165790
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
167240.xml
5165791
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
85874.xml
5165792
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
88283.xml
5165793
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
139025.xml
5165794
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
153444.xml
5165795
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
212189.xml
5165796
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
5109.xml
5165797
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
139185.xml
5165798
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
85267.xml
5165799
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
213865.xml
5165800
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
85782.xml
5165801
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
98362.xml
5165802
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4200.xml
5165803
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3467.xml
5165804
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
139100.xml
5165805
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
128182.xml
5165806
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26882.xml
5165807
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
147437.xml
5165808
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26132.xml
5165809
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
135714.xml
5165810
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
124269.xml
5165811
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
262998.xml
5165812
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
137087.xml
5165813
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
136463.xml
5165814
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
214183.xml
5165815
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
136534.xml
5165816
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96104.xml
5165817
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
86025.xml
5165818
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26123.xml
5165819
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
40708.xml
5165820
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26943.xml
5165821
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
85920.xml
5165822
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
212026.xml
5165823
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
85749.xml
5165824
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
211960.xml
5165825
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
167433.xml
5165826
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
57799.xml
5165827
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
152786.xml
5165828
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
165975.xml
5165829
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
27003.xml
5165830
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
160660.xml
5165831
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
25731.xml
5165832
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
142142.xml
5165833
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
138089.xml
5165834
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
27023.xml
5165835
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
84886.xml
5165836
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3865.xml
5165837
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3995.xml
5165838
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
137621.xml
5165839
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
107193.xml
5165840
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
231604.xml
5165841
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
138993.xml
5165842
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96156.xml
5165843
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
142146.xml
5165844
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
63142.xml
5165845
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
162075.xml
5165846
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96485.xml
5165847
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
43621.xml
5165848
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4819.xml
5165849
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
247992.xml
5165850
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
135601.xml
5165851
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
135782.xml
5165852
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
160210.xml
5165853
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
157150.xml
5165854
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
166001.xml
5165855
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
188296.xml
5165856
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26130.xml
5165857
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26960.xml
5165858
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4282.xml
5165859
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
133827.xml
5165860
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
85721.xml
5165861
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
149297.xml
5165862
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
137404.xml
5165863
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26998.xml
5165864
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
264370.xml
5165865
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
25416.xml
5165866
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
27235.xml
5165867
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26069.xml
5165868
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
149319.xml
5165869
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
160462.xml
5165870
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26291.xml
5165871
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
180915.xml
5165872
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
139190.xml
5165873
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26916.xml
5165874
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
188261.xml
5165875
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
162016.xml
5165876
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3786.xml
5165877
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4074.xml
5165878
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
42170.xml
5165879
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
167087.xml
5165880
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
97917.xml
5165881
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
254704.xml
5165882
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
86636.xml
5165883
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
68322.xml
5165884
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
132622.xml
5165885
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
153170.xml
5165886
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
133079.xml
5165887
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26986.xml
5165888
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
212612.xml
5165889
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
231230.xml
5165890
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
135115.xml
5165891
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
230948.xml
5165892
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
212043.xml
5165893
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
107236.xml
5165894
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
161864.xml
5165895
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
149713.xml
5165896
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
213437.xml
5165897
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
132720.xml
5165898
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
153371.xml
5165899
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
167742.xml
5165900
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
140659.xml
5165901
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
50904.xml
5165902
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
139167.xml
5165903
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26978.xml
5165904
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4412.xml
5165905
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
68535.xml
5165906
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96403.xml
5165907
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
183803.xml
5165908
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
149277.xml
5165909
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
130962.xml
5165910
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
43603.xml
5165911
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
86052.xml
5165912
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
161593.xml
5165913
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
249459.xml
5165914
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
140287.xml
5165915
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
48686.xml
5165916
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26186.xml
5165917
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
188004.xml
5165918
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
138194.xml
5165919
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
25409.xml
5165920
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
186617.xml
5165921
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
136323.xml
5165922
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4934.xml
5165923
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
58194.xml
5165924
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
43987.xml
5165925
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
188238.xml
5165926
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
135936.xml
5165927
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
29415.xml
5165928
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26931.xml
5165929
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96065.xml
5165930
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
39849.xml
5165931
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
68989.xml
5165932
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
123759.xml
5165933
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
187837.xml
5165934
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
150188.xml
5165935
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96642.xml
5165936
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96438.xml
5165937
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
25726.xml
5165938
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
133432.xml
5165939
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
247254.xml
5165940
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
28643.xml
5165941
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
137623.xml
5165942
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
85834.xml
5165943
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
58125.xml
5165944
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
132848.xml
5165945
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
42683.xml
5165946
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
86577.xml
5165947
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4991.xml
5165948
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3633.xml
5165949
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26875.xml
5165950
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
139004.xml
5165951
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
212364.xml
5165952
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96563.xml
5165953
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96086.xml
5165954
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
231480.xml
5165955
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
135410.xml
5165956
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
48328.xml
5165957
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3705.xml
5165958
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3746.xml
5165959
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
91233.xml
5165960
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
161519.xml
5165961
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
142157.xml
5165962
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
150725.xml
5165963
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
57278.xml
5165964
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
263745.xml
5165965
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
25395.xml
5165966
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
150468.xml
5165967
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
167041.xml
5165968
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4051.xml
5165969
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26976.xml
5165970
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26957.xml
5165971
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4248.xml
5165972
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4840.xml
5165973
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
81452.xml
5165974
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
140654.xml
5165975
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
231378.xml
5165976
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
128515.xml
5165977
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
151247.xml
5165978
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
128620.xml
5165979
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
230819.xml
5165980
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
212892.xml
5165981
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
85590.xml
5165982
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
85345.xml
5165983
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
166558.xml
5165984
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96302.xml
5165985
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26965.xml
5165986
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
160234.xml
5165987
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
27006.xml
5165988
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4970.xml
5165989
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3498.xml
5165990
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
43650.xml
5165991
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3450.xml
5165992
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
213281.xml
5165993
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
188696.xml
5165994
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
150258.xml
5165995
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
214091.xml
5165996
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
45720.xml
5165997
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
213407.xml
5165998
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
157713.xml
5165999
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
212308.xml
5166000
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
27015.xml
5166001
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3589.xml
5166002
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
132833.xml
5166003
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26879.xml
5166004
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
133881.xml
5166005
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26226.xml
5166006
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
137715.xml
5166007
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
40540.xml
5166008
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
213537.xml
5166009
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
130304.xml
5166010
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
51424.xml
5166011
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96274.xml
5166012
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
150815.xml
5166013
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3680.xml
5166014
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
136601.xml
5166015
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
153034.xml
5166016
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
149915.xml
5166017
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4036.xml
5166018
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
95858.xml
5166019
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
167636.xml
5166020
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
85675.xml
5166021
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26949.xml
5166022
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
86499.xml
5166023
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
56144.xml
5166024
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
214261.xml
5166025
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
54097.xml
5166026
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
166465.xml
5166027
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3817.xml
5166028
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4141.xml
5166029
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
214320.xml
5166030
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
166848.xml
5166031
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4181.xml
5166032
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26103.xml
5166033
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26980.xml
5166034
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3562.xml
5166035
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
187254.xml
5166036
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
58301.xml
5166037
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
157161.xml
5166038
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
184957.xml
5166039
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
165755.xml
5166040
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4002.xml
5166041
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
137316.xml
5166042
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
42466.xml
5166043
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
249386.xml
5166044
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26972.xml
5166045
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
54622.xml
5166046
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
57852.xml
5166047
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
51577.xml
5166048
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
136562.xml
5166049
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
132969.xml
5166050
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4827.xml
5166051
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
186810.xml
5166052
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
140318.xml
5166053
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96612.xml
5166054
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
27034.xml
5166055
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
132782.xml
5166056
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
95899.xml
5166057
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
25808.xml
5166058
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
86526.xml
5166059
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
212094.xml
5166060
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
211639.xml
5166061
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
41843.xml
5166062
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
139236.xml
5166063
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
25734.xml
5166064
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96370.xml
5166065
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3729.xml
5166066
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
48262.xml
5166067
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
95978.xml
5166068
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96673.xml
5166069
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3939.xml
5166070
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
25849.xml
5166071
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
158620.xml
5166072
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
25388.xml
5166073
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3336.xml
5166074
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3385.xml
5166075
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
27028.xml
5166076
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26933.xml
5166077
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
167452.xml
5166078
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
128056.xml
5166079
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
186222.xml
5166080
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
212480.xml
5166081
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
136354.xml
5166082
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
107220.xml
5166083
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
150067.xml
5166084
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
264405.xml
5166085
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
85650.xml
5166086
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
136497.xml
5166087
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
135652.xml
5166088
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3856.xml
5166089
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
57132.xml
5166090
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
25775.xml
5166091
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
157388.xml
5166092
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
132540.xml
5166093
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
58221.xml
5166094
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
160364.xml
5166095
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3930.xml
5166096
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
86617.xml
5166097
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
136280.xml
5166098
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96417.xml
5166099
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4029.xml
5166100
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
211915.xml
5166101
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
86857.xml
5166102
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
160324.xml
5166103
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26940.xml
5166104
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
130161.xml
5166105
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4816.xml
5166106
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96224.xml
5166107
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
142150.xml
5166108
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
153243.xml
5166109
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
167310.xml
5166110
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
249663.xml
5166111
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
231043.xml
5166112
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
5011.xml
5166113
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
186775.xml
5166114
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
211978.xml
5166115
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
213218.xml
5166116
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3861.xml
5166117
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
186973.xml
5166118
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
149361.xml
5166119
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
91210.xml
5166120
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
259625.xml
5166121
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3927.xml
5166122
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
132864.xml
5166123
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
132957.xml
5166124
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
27280.xml
5166125
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
3762.xml
5166126
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26105.xml
5166127
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
139282.xml
5166128
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
162244.xml
5166129
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4854.xml
5166130
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
65081.xml
5166131
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
132738.xml
5166132
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
167526.xml
5166133
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
213611.xml
5166134
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
157603.xml
5166135
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
161930.xml
5166136
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
165936.xml
5166137
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
96239.xml
5166138
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
150839.xml
5166139
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
214169.xml
5166140
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
88143.xml
5166141
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
165904.xml
5166142
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
41865.xml
5166143
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
186333.xml
5166144
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
5076.xml
5166145
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4847.xml
5166146
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
148543.xml
5166147
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
212774.xml
5166148
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4046.xml
5166149
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
152949.xml
5166150
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
137799.xml
5166151
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
213560.xml
5166152
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
167294.xml
5166153
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
150877.xml
5166154
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
45970.xml
5166155
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
97901.xml
5166156
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
27134.xml
5166157
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
64160.xml
5166158
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
212421.xml
5166159
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
185628.xml
5166160
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
158342.xml
5166161
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
26896.xml
5166162
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
97929.xml
5166163
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
213147.xml
5166164
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
4017.xml
5166165
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
25192.xml
5166166
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
157466.xml
5166167
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
162095.xml
5166168
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
40033.xml
5166169
pending submission
Derivational_
Complexity_
Full_
Rewriting/
ICFP_
2010/
28293.xml
5166170
pending submission
Derivational_
Complexity_
Full_
Rewriting/
CiME_
04/
filliatre2.xml
5164954
∞
+0
1
+0
967.92/296.10
Derivational_
Complexity_
Full_
Rewriting/
CiME_
04/
filliatre.xml
5164955
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
CiME_
04/
dpqs.xml
5164956
n
1
+1
1
+0
0.56/0.15
Derivational_
Complexity_
Full_
Rewriting/
Bouchare_
06/
05.xml
5164603
∞
+0
1
+0
675.61/296.08
Derivational_
Complexity_
Full_
Rewriting/
Bouchare_
06/
03.xml
5164604
∞
+0
1
+0
575.33/296.04
Derivational_
Complexity_
Full_
Rewriting/
Bouchare_
06/
01.xml
5164605
∞
+0
1
+0
620.04/296.18
Derivational_
Complexity_
Full_
Rewriting/
Bouchare_
06/
12.xml
5164606
∞
+0
1
+0
609.36/296.15
Derivational_
Complexity_
Full_
Rewriting/
Bouchare_
06/
10.xml
5164607
∞
+0
1
+0
1078.73/296.17
Derivational_
Complexity_
Full_
Rewriting/
Bouchare_
06/
06.xml
5164608
∞
+0
1
+0
1130.84/296.13
Derivational_
Complexity_
Full_
Rewriting/
Bouchare_
06/
02.xml
5164609
n
1
+1
1
+0
6.25/1.57
Derivational_
Complexity_
Full_
Rewriting/
Bouchare_
06/
14.xml
5164610
∞
+0
1
+0
533.38/225.98
Derivational_
Complexity_
Full_
Rewriting/
Bouchare_
06/
13.xml
5164611
∞
+0
1
+0
787.00/296.13
Derivational_
Complexity_
Full_
Rewriting/
Bouchare_
06/
04.xml
5164612
∞
+0
1
+0
942.05/296.15
Derivational_
Complexity_
Full_
Rewriting/
Bouchare_
06/
17.xml
5164613
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Bouchare_
06/
08.xml
5164614
∞
+0
1
+0
1157.15/296.32
Derivational_
Complexity_
Full_
Rewriting/
Bouchare_
06/
16.xml
5164615
∞
+0
1
+0
517.77/296.02
Derivational_
Complexity_
Full_
Rewriting/
Bouchare_
06/
09.xml
5164616
∞
+0
1
+0
539.81/296.15
Derivational_
Complexity_
Full_
Rewriting/
Bouchare_
06/
11.xml
5164617
∞
+0
1
+0
639.26/296.18
Derivational_
Complexity_
Full_
Rewriting/
Bouchare_
06/
07.xml
5164618
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Bouchare_
06/
18.xml
5164619
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Bouchare_
06/
15.xml
5164620
∞
+0
1
+0
567.44/296.20
Derivational_
Complexity_
Full_
Rewriting/
Endrullis_
06/
linear1.xml
5164639
∞
+0
1
+0
782.46/296.20
Derivational_
Complexity_
Full_
Rewriting/
Endrullis_
06/
linear2.xml
5164640
∞
+0
1
+0
1161.09/296.21
Derivational_
Complexity_
Full_
Rewriting/
Endrullis_
06/
pair3rotate.xml
5164641
∞
+0
1
+0
675.11/141.34
Derivational_
Complexity_
Full_
Rewriting/
Endrullis_
06/
direct.xml
5164642
n
1
+1
1
+0
3.60/0.91
Derivational_
Complexity_
Full_
Rewriting/
Endrullis_
06/
quadruple2.xml
5164643
n
2
+1
1
+0
14.98/3.77
Derivational_
Complexity_
Full_
Rewriting/
Endrullis_
06/
pair3swap.xml
5164644
∞
+0
1
+0
243.02/64.93
Derivational_
Complexity_
Full_
Rewriting/
Endrullis_
06/
quadruple1.xml
5164645
n
1
+1
1
+0
0.47/0.13
Derivational_
Complexity_
Full_
Rewriting/
Der95/
03.xml
5164699
n
1
+1
1
+0
0.26/0.07
Derivational_
Complexity_
Full_
Rewriting/
Der95/
01.xml
5164700
n
1
+1
1
+0
2.71/0.57
Derivational_
Complexity_
Full_
Rewriting/
Der95/
27.xml
5164701
n
2
+1
1
+0
298.27/0.70
Derivational_
Complexity_
Full_
Rewriting/
Der95/
06.xml
5164702
∞
+0
1
+0
980.16/296.03
Derivational_
Complexity_
Full_
Rewriting/
Der95/
02.xml
5164703
n
1
+1
1
+0
0.81/0.19
Derivational_
Complexity_
Full_
Rewriting/
Der95/
20.xml
5164704
∞
+0
1
+0
455.40/296.02
Derivational_
Complexity_
Full_
Rewriting/
Der95/
04.xml
5164705
n
1
+1
1
+0
1.95/0.42
Derivational_
Complexity_
Full_
Rewriting/
Der95/
17.xml
5164706
∞
+0
1
+0
28.62/12.16
Derivational_
Complexity_
Full_
Rewriting/
Der95/
09.xml
5164707
n
2
+1
1
+0
1.16/0.30
Derivational_
Complexity_
Full_
Rewriting/
Der95/
07.xml
5164708
n
2
+1
1
+0
305.76/0.80
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
10.xml
5164471
n
1
+1
1
+0
0.79/0.21
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
3.xml
5164472
∞
+0
1
+0
614.84/296.12
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
7.xml
5164473
∞
+0
1
+0
1031.65/296.14
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
tpa02.xml
5164474
∞
+0
1
+0
16.36/5.40
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
5.xml
5164475
∞
+0
1
+0
497.80/296.17
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
tpa01.xml
5164476
∞
+0
1
+0
16.30/5.67
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
2.xml
5164477
∞
+0
1
+0
1146.67/296.27
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
8.xml
5164478
n
1
+1
1
+0
2.90/0.54
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
tpa03.xml
5164479
∞
+0
1
+0
18.49/6.77
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
6.xml
5164480
n
3
+1
1
+0
121.59/4.63
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
9.xml
5164481
n
1
+1
1
+0
0.94/0.24
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
TRS/
4.xml
5164482
∞
+0
1
+0
539.10/176.86
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
10.xml
5164564
∞
+0
1
+0
1158.04/296.23
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
aprove07.xml
5164565
∞
+0
1
+0
1183.41/296.21
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
secr2.xml
5164566
∞
+0
1
+0
492.53/296.03
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
secr9.xml
5164567
∞
+0
1
+0
622.80/296.17
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
aprove04.xml
5164568
∞
+0
1
+0
1184.22/296.20
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
multum5.xml
5164569
∞
+0
1
+0
849.91/296.33
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
secr3.xml
5164570
∞
+0
1
+0
1025.16/296.15
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
5-matchbox.xml
5164571
∞
+0
1
+0
1169.51/296.24
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
secr4.xml
5164572
∞
+0
1
+0
727.39/252.85
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
3.xml
5164573
∞
+0
1
+0
588.83/296.16
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
multum6.xml
5164574
∞
+0
1
+0
1185.33/296.33
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
7.xml
5164575
∞
+0
1
+0
1154.41/296.35
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
aprove02.xml
5164576
∞
+0
1
+0
1183.52/296.19
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
1.xml
5164577
∞
+0
1
+0
1016.02/296.12
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
aprove08.xml
5164578
∞
+0
1
+0
1184.00/296.18
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
multum2.xml
5164579
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
secr10.xml
5164580
∞
+0
1
+0
1072.87/296.12
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
multum3.xml
5164581
∞
+0
1
+0
946.10/296.15
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
aprove09.xml
5164582
∞
+0
1
+0
1186.63/296.46
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
aprove01.xml
5164583
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
secr7.xml
5164584
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
5.xml
5164585
∞
+0
1
+0
856.29/296.22
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
3-matchbox.xml
5164586
∞
+0
1
+0
1186.02/296.15
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
aprove06.xml
5164587
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
aprove03.xml
5164588
∞
+0
1
+0
1183.04/296.19
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
2.xml
5164589
∞
+0
1
+0
1031.01/296.23
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
2-matchbox.xml
5164590
∞
+0
1
+0
1039.52/296.15
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
8.xml
5164591
∞
+0
1
+0
1081.47/296.09
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
secr8.xml
5164592
∞
+0
1
+0
898.99/296.15
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
secr6.xml
5164593
∞
+0
1
+0
1105.91/296.13
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
6.xml
5164594
∞
+0
1
+0
1162.12/296.13
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
aprove00.xml
5164595
timeout (cpu)
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
secr5.xml
5164596
∞
+0
1
+0
699.35/296.15
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
9.xml
5164597
∞
+0
1
+0
980.97/296.12
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
multum1.xml
5164598
∞
+0
1
+0
1082.34/296.30
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
aprove05.xml
5164599
∞
+0
1
+0
1183.33/296.21
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
secr1.xml
5164600
∞
+0
1
+0
466.34/296.11
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
1-matchbox.xml
5164601
∞
+0
1
+0
501.52/296.16
Derivational_
Complexity_
Full_
Rewriting/
Secret_
06_
SRS/
multum4.xml
5164602
n
1
+1
1
+0
2.22/0.30
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
TRS/
3.xml
5165096
∞
+0
1
+0
313.66/132.58
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
TRS/
7.xml
5165097
∞
+0
1
+0
895.65/296.04
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
TRS/
1.xml
5165098
∞
+0
1
+0
511.89/296.04
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
TRS/
5.xml
5165099
∞
+0
1
+0
958.80/296.08
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
TRS/
2.xml
5165100
∞
+0
1
+0
223.09/79.30
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
TRS/
4.xml
5165101
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
SRS/
num-515.xml
5164968
∞
+0
1
+0
936.80/296.03
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
SRS/
x02.xml
5164969
∞
+0
1
+0
716.17/296.06
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
SRS/
num-520.xml
5164970
∞
+0
1
+0
1159.85/296.18
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
SRS/
x03.xml
5164971
∞
+0
1
+0
655.00/296.19
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
SRS/
x06.xml
5164972
∞
+0
1
+0
820.20/296.10
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
SRS/
num-518.xml
5164973
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
SRS/
x05.xml
5164974
∞
+0
1
+0
1012.25/296.11
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
SRS/
dj.xml
5164975
∞
+0
1
+0
550.77/296.07
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
SRS/
num-539.xml
5164976
∞
+0
1
+0
1057.54/296.11
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
SRS/
num-530.xml
5164977
∞
+0
1
+0
962.63/296.14
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
SRS/
x07.xml
5164978
∞
+0
1
+0
968.34/296.27
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
SRS/
num-519.xml
5164979
∞
+0
1
+0
983.79/296.09
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
SRS/
x08.xml
5164980
∞
+0
1
+0
565.27/296.09
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
SRS/
num-521.xml
5164981
∞
+0
1
+0
1074.43/296.14
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
SRS/
num-527.xml
5164982
∞
+0
1
+0
1145.12/296.14
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
SRS/
num-525.xml
5164983
∞
+0
1
+0
1149.92/296.25
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
SRS/
x10.xml
5164984
∞
+0
1
+0
506.05/296.22
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
SRS/
x04.xml
5164985
∞
+0
1
+0
691.92/296.28
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
SRS/
x09.xml
5164986
∞
+0
1
+0
1074.86/296.27
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
SRS/
x01.xml
5164987
∞
+0
1
+0
504.68/296.03
Derivational_
Complexity_
Full_
Rewriting/
Secret_
07_
SRS/
num-514.xml
5164988
∞
+0
1
+0
1152.33/296.22
Derivational_
Complexity_
Full_
Rewriting/
Rubio_
04/
lindau.xml
5164989
n
1
+1
1
+0
0.24/0.07
Derivational_
Complexity_
Full_
Rewriting/
Rubio_
04/
gmnp.xml
5164990
n
1
+1
1
+0
1.15/0.31
Derivational_
Complexity_
Full_
Rewriting/
Rubio_
04/
bn129.xml
5164991
∞
+0
1
+0
357.02/220.50
Derivational_
Complexity_
Full_
Rewriting/
Rubio_
04/
p266.xml
5164992
n
1
+1
1
+0
0.81/0.22
Derivational_
Complexity_
Full_
Rewriting/
Rubio_
04/
bintrees.xml
5164993
n
2
+1
1
+0
6.80/1.54
Derivational_
Complexity_
Full_
Rewriting/
Rubio_
04/
nestrec.xml
5164994
∞
+0
1
+0
1125.52/296.10
Derivational_
Complexity_
Full_
Rewriting/
Rubio_
04/
test829.xml
5164995
n
1
+1
1
+0
0.70/0.18
Derivational_
Complexity_
Full_
Rewriting/
Rubio_
04/
koen.xml
5164996
n
1
+1
1
+0
1.22/0.32
Derivational_
Complexity_
Full_
Rewriting/
Rubio_
04/
mfp90b.xml
5164997
n
1
+1
1
+0
0.34/0.06
Derivational_
Complexity_
Full_
Rewriting/
Rubio_
04/
mfp95.xml
5164998
n
1
+1
1
+0
0.02/0.01
Derivational_
Complexity_
Full_
Rewriting/
Rubio_
04/
test4.xml
5164999
n
1
+1
1
+0
0.42/0.11
Derivational_
Complexity_
Full_
Rewriting/
Rubio_
04/
lescanne.xml
5165000
n
2
+1
1
+0
3.42/0.88
Derivational_
Complexity_
Full_
Rewriting/
Rubio_
04/
aoto.xml
5165001
n
1
+1
1
+0
0.36/0.10
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
jones1.xml
5164555
n
2
+1
1
+0
2.08/0.53
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
beans.xml
5164556
∞
+0
1
+0
121.72/33.43
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
1.xml
5164557
n
1
+1
1
+0
0.03/0.01
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
jones4.xml
5164558
n
1
+1
1
+0
0.48/0.13
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
Ex1_
Luc04b_
GM.xml
5164559
∞
+0
1
+0
1126.09/296.18
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
2.xml
5164560
∞
+0
1
+0
816.14/296.05
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
jones6.xml
5164561
n
2
+1
1
+0
3.07/0.78
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
6.xml
5164562
∞
+0
1
+0
862.45/296.12
Derivational_
Complexity_
Full_
Rewriting/
Mixed_
TRS/
4.xml
5164563
n
1
+1
1
+0
0.15/0.04
Derivational_
Complexity_
Full_
Rewriting/
Secret_
05_
TRS/
teparla2.xml
5164908
∞
+0
1
+0
45.38/19.37
Derivational_
Complexity_
Full_
Rewriting/
Secret_
05_
TRS/
teparla1.xml
5164909
∞
+0
1
+0
434.13/270.18
Derivational_
Complexity_
Full_
Rewriting/
Secret_
05_
TRS/
teparla3.xml
5164910
∞
+0
1
+0
39.43/16.37
Derivational_
Complexity_
Full_
Rewriting/
Secret_
05_
TRS/
ttt2.xml
5164911
∞
+0
1
+0
526.04/296.02
Derivational_
Complexity_
Full_
Rewriting/
Secret_
05_
TRS/
matchbox2.xml
5164912
n
1
+1
1
+0
26.14/0.18
Derivational_
Complexity_
Full_
Rewriting/
Secret_
05_
SRS/
aprove2.xml
5165072
∞
+0
1
+0
945.46/296.11
Derivational_
Complexity_
Full_
Rewriting/
Secret_
05_
SRS/
jambox3.xml
5165073
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Secret_
05_
SRS/
jambox4.xml
5165074
∞
+0
1
+0
1108.89/296.21
Derivational_
Complexity_
Full_
Rewriting/
Secret_
05_
SRS/
matchbox1.xml
5165075
∞
+0
1
+0
516.41/296.16
Derivational_
Complexity_
Full_
Rewriting/
Secret_
05_
SRS/
aprove3.xml
5165076
∞
+0
1
+0
1141.02/296.14
Derivational_
Complexity_
Full_
Rewriting/
Secret_
05_
SRS/
aprove1.xml
5165077
∞
+0
1
+0
640.16/296.13
Derivational_
Complexity_
Full_
Rewriting/
Secret_
05_
SRS/
torpa2.xml
5165078
∞
+0
1
+0
1114.43/296.25
Derivational_
Complexity_
Full_
Rewriting/
Secret_
05_
SRS/
jambox2.xml
5165079
∞
+0
1
+0
1043.44/296.14
Derivational_
Complexity_
Full_
Rewriting/
Secret_
05_
SRS/
jambox5.xml
5165080
∞
+0
1
+0
504.57/296.07
Derivational_
Complexity_
Full_
Rewriting/
Secret_
05_
SRS/
torpa3.xml
5165081
n
2
+1
1
+0
18.95/4.76
Derivational_
Complexity_
Full_
Rewriting/
Secret_
05_
SRS/
jambox1.xml
5165082
∞
+0
1
+0
969.13/296.16
Derivational_
Complexity_
Full_
Rewriting/
Secret_
05_
SRS/
aprove4.xml
5165083
∞
+0
1
+0
506.89/296.33
Derivational_
Complexity_
Full_
Rewriting/
Secret_
05_
SRS/
aprove5.xml
5165084
∞
+0
1
+0
1025.26/296.19
Derivational_
Complexity_
Full_
Rewriting/
Secret_
05_
SRS/
torpa4.xml
5165085
∞
+0
1
+0
685.88/296.06
Derivational_
Complexity_
Full_
Rewriting/
Secret_
05_
SRS/
torpa1.xml
5165086
∞
+0
1
+0
1098.78/296.11
Derivational_
Complexity_
Full_
Rewriting/
Secret_
05_
SRS/
matchbox2.xml
5165087
n
1
+1
1
+0
11.22/1.55
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
complete_
L.xml
5164709
∞
+0
1
+0
0.02/0.01
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
GM.xml
5164710
∞
+0
1
+0
986.29/265.58
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM04_
GM.xml
5164711
n
3
+1
1
+0
41.04/10.31
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex25_
Luc06_
Z.xml
5164712
n
1
+1
1
+0
3.64/0.93
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nosorts_
noand_
iGM.xml
5164713
∞
+0
1
+0
1135.41/296.12
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
15_
Bor03_
GM.xml
5164714
n
3
+1
1
+0
250.13/44.51
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Zan97_
FR.xml
5164715
∞
+0
1
+0
1130.86/296.18
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExConc_
Zan97_
C.xml
5164716
n
3
+1
1
+0
32.44/8.13
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExProp7_
Luc06_
iGM.xml
5164717
∞
+0
1
+0
1188.84/296.57
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
15_
Bor03_
L.xml
5164718
n
1
+1
1
+0
0.52/0.14
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex23_
Luc06_
FR.xml
5164719
n
2
+1
1
+0
7.57/1.91
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
77_
Bor03_
iGM.xml
5164720
∞
+0
1
+0
1063.86/296.13
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExProp7_
Luc06_
GM.xml
5164721
∞
+0
1
+0
1117.11/296.17
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
noand_
iGM.xml
5164722
∞
+0
1
+0
1180.87/296.50
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex23_
Luc06_
C.xml
5164723
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
C.xml
5164724
∞
+0
1
+0
1147.64/296.46
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nosorts-noand_
FR.xml
5164725
n
2
+1
1
+0
10.27/2.48
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
GM.xml
5164726
∞
+0
1
+0
1184.54/296.12
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nosorts-noand_
L.xml
5164727
∞
+0
1
+0
0.00/0.01
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
complete-noand_
L.xml
5164728
∞
+0
1
+0
62.60/14.12
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete-noand_
L.xml
5164729
∞
+0
1
+0
0.02/0.01
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
complete_
L.xml
5164730
∞
+0
1
+0
0.01/0.01
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex15_
Luc06_
FR.xml
5164731
n
2
+1
1
+0
4.35/1.11
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex3_
2_
Luc97_
L.xml
5164732
∞
+0
1
+0
0.00/0.01
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
77_
Bor03_
L.xml
5164733
∞
+0
1
+0
0.00/0.01
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nosorts-noand_
L.xml
5164734
n
2
+1
1
+0
2.46/0.63
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
noand_
C.xml
5164735
∞
+0
1
+0
1182.09/296.39
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
15_
Bor03_
Z.xml
5164736
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nosorts_
FR.xml
5164737
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
L.xml
5164738
∞
+0
1
+0
0.00/0.00
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex5_
7_
Luc97_
L.xml
5164739
∞
+0
1
+0
0.02/0.01
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nosorts_
noand_
C.xml
5164740
∞
+0
1
+0
671.73/296.49
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex23_
Luc06_
L.xml
5164741
n
1
+1
1
+0
0.11/0.04
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex25_
Luc06_
iGM.xml
5164742
n
2
+1
1
+0
19.24/4.80
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM01_
L.xml
5164743
∞
+0
1
+0
0.00/0.01
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
FR.xml
5164744
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex24_
Luc06_
L.xml
5164745
∞
+0
1
+0
747.23/296.07
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExConc_
Zan97_
Z.xml
5164746
∞
+0
1
+0
571.15/296.04
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
15_
AEL02_
L.xml
5164747
∞
+0
1
+0
0.02/0.01
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex3_
3_
25_
Bor03_
L.xml
5164748
n
1
+1
1
+0
1.94/0.48
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Luc04b_
C.xml
5164749
∞
+0
1
+0
1174.89/296.20
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex14_
Luc06_
L.xml
5164750
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
GL02a_
L.xml
5164751
∞
+0
1
+0
867.91/296.02
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex5_
Zan97_
C.xml
5164752
∞
+0
1
+0
1184.28/296.14
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex5_
Zan97_
FR.xml
5164753
∞
+0
1
+0
460.70/296.12
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
GM.xml
5164754
∞
+0
1
+0
803.35/296.20
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nokinds_
L.xml
5164755
∞
+0
1
+0
0.02/0.01
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM99_
L.xml
5164756
∞
+0
1
+0
0.00/0.01
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nosorts_
C.xml
5164757
∞
+0
1
+0
1186.23/296.41
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExProp7_
Luc06_
FR.xml
5164758
∞
+0
1
+0
582.69/296.11
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex15_
Luc06_
L.xml
5164759
∞
+0
1
+0
873.81/296.05
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
L.xml
5164760
∞
+0
1
+0
0.00/0.01
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex23_
Luc06_
Z.xml
5164761
n
1
+1
1
+0
0.59/0.16
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
complete-noand_
L.xml
5164762
∞
+0
1
+0
0.02/0.01
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM04_
Z.xml
5164763
∞
+0
1
+0
1184.94/296.26
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nosorts_
iGM.xml
5164764
∞
+0
1
+0
765.16/296.16
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex5_
Zan97_
L.xml
5164765
∞
+0
1
+0
0.00/0.01
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
Luc98_
L.xml
5164766
n
1
+1
1
+0
0.12/0.04
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Luc04b_
L.xml
5164767
∞
+0
1
+0
0.00/0.01
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nosorts_
GM.xml
5164768
∞
+0
1
+0
73.98/33.19
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex14_
AEGL02_
L.xml
5164769
∞
+0
1
+0
745.33/296.02
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM01_
Z.xml
5164770
∞
+0
1
+0
1182.92/296.21
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
77_
Bor03_
C.xml
5164771
∞
+0
1
+0
1184.15/296.13
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
4_
Luc96b_
L.xml
5164772
n
1
+1
1
+0
0.07/0.03
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
9_
Luc02c_
L.xml
5164773
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
77_
Bor03_
FR.xml
5164774
n
1
+1
1
+0
0.51/0.13
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nokinds-noand_
L.xml
5164775
∞
+0
1
+0
0.00/0.01
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
nosorts-noand_
L.xml
5164776
∞
+0
1
+0
0.00/0.00
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Luc02b_
L.xml
5164777
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
15_
Bor03_
FR.xml
5164778
n
2
+1
1
+0
20.13/5.05
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Luc04b_
GM.xml
5164779
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
complete-noand_
L.xml
5164780
∞
+0
1
+0
0.02/0.01
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex25_
Luc06_
L.xml
5164781
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex16_
Luc06_
FR.xml
5164782
∞
+0
1
+0
5.88/2.33
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex23_
Luc06_
iGM.xml
5164783
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nosorts-noand_
L.xml
5164784
∞
+0
1
+0
0.00/0.00
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nosorts_
L.xml
5164785
∞
+0
1
+0
0.00/0.02
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
FR.xml
5164786
∞
+0
1
+0
1182.64/296.16
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds_
L.xml
5164787
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex9_
Luc06_
GM.xml
5164788
n
2
+1
1
+0
7.44/1.88
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts-noand_
L.xml
5164789
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Luc04b_
Z.xml
5164790
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex16_
Luc06_
GM.xml
5164791
∞
+0
1
+0
18.71/6.31
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex9_
BLR02_
L.xml
5164792
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nosorts_
L.xml
5164793
∞
+0
1
+0
0.00/0.01
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex15_
Luc06_
GM.xml
5164794
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nokinds_
L.xml
5164795
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex15_
Luc06_
Z.xml
5164796
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
noand_
C.xml
5164797
∞
+0
1
+0
86.16/20.45
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM04_
iGM.xml
5164798
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
GM04_
C.xml
5164799
paused
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
noand_
GM.xml
5164800
paused
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM04_
C.xml
5164801
paused
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex16_
Luc06_
L.xml
5164802
paused
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex18_
Luc06_
L.xml
5164803
paused
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExProp7_
Luc06_
Z.xml
5164804
paused
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex8_
BLR02_
L.xml
5164805
paused
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
iGM.xml
5164806
paused
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nosorts_
noand_
C.xml
5164807
paused
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Zan97_
GM.xml
5164808
paused
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
GM04_
iGM.xml
5164809
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex9_
Luc06_
iGM.xml
5164810
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
C.xml
5164811
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex24_
GM04_
L.xml
5164812
paused
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex25_
Luc06_
FR.xml
5164813
paused
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nosorts-noand_
FR.xml
5164814
paused
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nosorts-noand_
Z.xml
5164815
paused
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
FR.xml
5164816
paused
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM01_
FR.xml
5164817
paused
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExConc_
Zan97_
L.xml
5164818
paused
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nosorts_
GM.xml
5164819
paused
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex9_
Luc06_
C.xml
5164820
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex15_
Luc98_
L.xml
5164821
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts-noand_
FR.xml
5164822
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nokinds-noand_
L.xml
5164823
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
complete_
L.xml
5164824
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM01_
GM.xml
5164825
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex18_
Luc06_
iGM.xml
5164826
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
DLMMU04_
L.xml
5164827
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex16_
Luc06_
iGM.xml
5164828
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExConc_
Zan97_
GM.xml
5164829
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nosorts_
noand_
GM.xml
5164830
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex23_
Luc06_
GM.xml
5164831
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
L.xml
5164832
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
complete-noand_
L.xml
5164833
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExConc_
Zan97_
iGM.xml
5164834
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
Zan97_
L.xml
5164835
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex7_
BLR02_
L.xml
5164836
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
GM99_
L.xml
5164837
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex9_
Luc06_
FR.xml
5164838
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
Z.xml
5164839
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
GM04_
GM.xml
5164840
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex16_
Luc06_
C.xml
5164841
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
noand_
iGM.xml
5164842
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex15_
Luc06_
C.xml
5164843
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
15_
Bor03_
iGM.xml
5164844
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
2_
Luc02c_
L.xml
5164845
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExProp7_
Luc06_
C.xml
5164846
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Zan97_
C.xml
5164847
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM01_
iGM.xml
5164848
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nosorts_
noand_
GM.xml
5164849
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
15_
Bor03_
C.xml
5164850
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nokinds-noand_
Z.xml
5164851
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
nosorts_
L.xml
5164852
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Zan97_
iGM.xml
5164853
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM01_
C.xml
5164854
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
noand_
GM.xml
5164855
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExProp7_
Luc06_
L.xml
5164856
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Luc04b_
iGM.xml
5164857
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex18_
Luc06_
FR.xml
5164858
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
noand_
C.xml
5164859
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Zan97_
L.xml
5164860
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nosorts_
C.xml
5164861
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex5_
Zan97_
iGM.xml
5164862
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex5_
Zan97_
Z.xml
5164863
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts-noand_
L.xml
5164864
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
complete_
L.xml
5164865
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
Z.xml
5164866
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
GM04_
FR.xml
5164867
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex18_
Luc06_
GM.xml
5164868
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
complete_
L.xml
5164869
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex3_
12_
Luc96a_
L.xml
5164870
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex25_
Luc06_
C.xml
5164871
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
Luc04b_
FR.xml
5164872
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
77_
Bor03_
GM.xml
5164873
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nosorts_
noand_
iGM.xml
5164874
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
C.xml
5164875
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex1_
GM03_
L.xml
5164876
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex18_
Luc06_
C.xml
5164877
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex5_
DLMMU04_
L.xml
5164878
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex4_
7_
56_
Bor03_
L.xml
5164879
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nosorts_
FR.xml
5164880
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nosorts_
noand_
iGM.xml
5164881
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex5_
Zan97_
GM.xml
5164882
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex6_
GM04_
L.xml
5164883
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
complete-noand_
L.xml
5164884
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
nokinds-noand_
L.xml
5164885
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex25_
Luc06_
GM.xml
5164886
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PEANO_
nosorts_
iGM.xml
5164887
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nokinds-noand_
FR.xml
5164888
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds-noand_
L.xml
5164889
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
noand_
GM.xml
5164890
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExSec4_
2_
DLMMU04_
L.xml
5164891
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex49_
GM04_
L.xml
5164892
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex2_
Luc03b_
L.xml
5164893
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
PALINDROME_
nokinds_
iGM.xml
5164894
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
complete_
L.xml
5164895
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LengthOfFiniteLists_
nokinds-noand_
L.xml
5164896
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
LISTUTILITIES_
nokinds_
L.xml
5164897
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nosorts-noand_
FR.xml
5164898
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExConc_
Zan97_
FR.xml
5164899
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM04_
L.xml
5164900
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nokinds-noand_
L.xml
5164901
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex18_
Luc06_
Z.xml
5164902
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
ExIntrod_
GM04_
FR.xml
5164903
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex26_
Luc03b_
L.xml
5164904
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
Ex15_
Luc06_
iGM.xml
5164905
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
OvConsOS_
nosorts_
iGM.xml
5164906
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Transformed_
CSR_
04/
MYNAT_
nokinds_
L.xml
5164907
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
un08.xml
5164666
∞
+0
1
+0
647.55/296.18
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
hom01.xml
5164667
∞
+0
1
+0
1132.40/296.13
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
dup06.xml
5164668
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
un07.xml
5164669
∞
+0
1
+0
1059.73/296.18
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
hom03.xml
5164670
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
dup10.xml
5164671
StarExec error
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
un12.xml
5164672
∞
+0
1
+0
1186.95/296.57
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
un14.xml
5164673
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
dup08.xml
5164674
∞
+0
1
+0
1187.77/297.04
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
dup15.xml
5164675
∞
+0
1
+0
1073.92/296.41
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
un10.xml
5164676
StarExec error
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
hom02.xml
5164677
∞
+0
1
+0
637.48/296.42
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
un13.xml
5164678
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
dup05.xml
5164679
timeout (cpu)
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
dup14.xml
5164680
∞
+0
1
+0
1110.35/296.15
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
dup01.xml
5164681
∞
+0
1
+0
1184.30/296.29
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
un16.xml
5164682
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
dup13.xml
5164683
∞
+0
1
+0
1118.86/296.25
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
un02.xml
5164684
∞
+0
1
+0
1183.26/296.56
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
un04.xml
5164685
∞
+0
1
+0
1164.76/296.37
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
un15.xml
5164686
∞
+0
1
+0
1180.22/296.19
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
dup12.xml
5164687
∞
+0
1
+0
1139.35/296.16
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
un06.xml
5164688
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
dup17.xml
5164689
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
un05.xml
5164690
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
un11.xml
5164691
∞
+0
1
+0
1182.94/296.53
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
dup16.xml
5164692
n
1
+1
1
+0
31.95/7.86
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
dup11.xml
5164693
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
un18.xml
5164694
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
un09.xml
5164695
∞
+0
1
+0
1183.34/296.42
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
un17.xml
5164696
∞
+0
1
+0
1186.67/296.57
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
dup09.xml
5164697
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Trafo_
06/
dup07.xml
5164698
∞
+0
1
+0
1181.66/296.27
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06/
jwtpa2.xml
5166224
∞
+0
1
+0
825.54/296.05
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06/
jwno4.xml
5166225
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06/
jwno2.xml
5166226
∞
+0
1
+0
836.37/296.12
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06/
jwmatchb2.xml
5166227
∞
+0
1
+0
703.84/296.08
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06/
jwaprove1.xml
5166228
∞
+0
1
+0
1131.91/296.14
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06/
jwtpa1.xml
5166229
n
1
+1
1
+0
1.97/0.35
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06/
jwno6.xml
5166230
∞
+0
1
+0
581.31/296.02
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06/
jwno9.xml
5166231
∞
+0
1
+0
823.77/296.05
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06/
jwno7.xml
5166232
∞
+0
1
+0
799.05/296.03
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06/
jwcime2.xml
5166233
n
1
+1
1
+0
0.70/0.18
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06/
jwno5.xml
5166234
∞
+0
1
+0
830.80/296.02
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06/
jwno3.xml
5166235
∞
+0
1
+0
815.11/296.03
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06/
jwaprove2.xml
5166236
∞
+0
1
+0
1153.58/296.09
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06/
jwmatchb1.xml
5166237
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06/
jwcime1.xml
5166238
∞
+0
1
+0
529.01/296.11
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06/
jwttt.xml
5166239
∞
+0
1
+0
833.45/296.04
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06/
jwno8.xml
5166240
∞
+0
1
+0
819.99/296.02
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06/
jwno1.xml
5166241
∞
+0
1
+0
593.73/296.03
Derivational_
Complexity_
Full_
Rewriting/
Various_
04/
27.xml
5164546
n
1
+1
1
+0
0.19/0.06
Derivational_
Complexity_
Full_
Rewriting/
Various_
04/
25.xml
5164547
n
1
+1
1
+0
0.31/0.09
Derivational_
Complexity_
Full_
Rewriting/
Various_
04/
23.xml
5164548
n
2
+1
1
+0
2.65/0.67
Derivational_
Complexity_
Full_
Rewriting/
Various_
04/
19.xml
5164549
∞
+0
1
+0
28.56/10.70
Derivational_
Complexity_
Full_
Rewriting/
Various_
04/
07.xml
5164550
n
1
+1
1
+0
0.35/0.10
Derivational_
Complexity_
Full_
Rewriting/
Various_
04/
18.xml
5164551
StarExec error
Derivational_
Complexity_
Full_
Rewriting/
Various_
04/
21.xml
5164552
∞
+0
1
+0
267.83/70.96
Derivational_
Complexity_
Full_
Rewriting/
Various_
04/
24.xml
5164553
∞
+0
1
+0
1100.89/296.22
Derivational_
Complexity_
Full_
Rewriting/
Various_
04/
15.xml
5164554
∞
+0
1
+0
473.98/296.02
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.18.xml
5164957
∞
+0
1
+0
1072.09/296.03
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.17.xml
5164958
∞
+0
1
+0
1184.75/296.32
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.37.xml
5164959
n
1
+1
1
+0
5.61/0.39
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.20a.xml
5164960
n
2
+1
1
+0
2.95/0.66
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.28.xml
5164961
∞
+0
1
+0
1159.72/296.37
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.25.xml
5164962
∞
+0
1
+0
6.63/2.53
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.21.xml
5164963
n
1
+1
1
+0
4.54/1.15
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.20.xml
5164964
n
1
+1
1
+0
0.83/0.21
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
AG01/
#4.37a.xml
5164965
n
1
+1
1
+0
1.30/0.34
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.49.xml
5164483
n
1
+1
1
+0
3.51/0.79
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.60.xml
5164484
n
1
+1
1
+0
1.11/0.21
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.12.xml
5164485
n
2
+1
1
+0
2.53/0.55
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.44.xml
5164486
n
1
+1
1
+0
0.18/0.05
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.39.xml
5164487
n
2
+1
1
+0
302.50/0.56
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.47.xml
5164488
StarExec error
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.37.xml
5164489
n
1
+1
1
+0
0.22/0.06
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.19.xml
5164490
n
1
+1
1
+0
0.71/0.15
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.26.xml
5164491
∞
+0
1
+0
525.00/296.28
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.31.xml
5164492
n
2
+1
1
+0
4.07/1.03
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.46.xml
5164493
n
2
+1
1
+0
1.81/0.47
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.46.xml
5164494
n
1
+1
1
+0
0.11/0.02
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.03.xml
5164495
n
2
+1
1
+0
3.12/0.71
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.33.xml
5164496
pending submission
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.11.xml
5164497
n
2
+1
1
+0
2.34/0.45
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.38.xml
5164498
n
2
+1
1
+0
3.52/0.89
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.50.xml
5164499
∞
+0
1
+0
1152.04/296.09
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.34.xml
5164500
∞
+0
1
+0
786.08/296.04
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.47.xml
5164501
n
1
+1
1
+0
8.91/2.38
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.52.xml
5164502
n
2
+1
1
+0
5.64/1.45
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.42.xml
5164503
∞
+0
1
+0
139.62/55.49
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.09.xml
5164504
n
2
+1
1
+0
2.26/0.53
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.48.xml
5164505
pending submission
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.06.xml
5164506
n
2
+1
1
+0
4.40/0.86
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.30.xml
5164507
n
3
+1
1
+0
25.26/6.34
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.39.xml
5164508
∞
+0
1
+0
581.04/296.02
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.01.xml
5164509
n
1
+1
1
+0
2.55/0.52
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.27.xml
5164510
pending submission
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.29.xml
5164511
pending submission
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.07.xml
5164512
n
2
+1
1
+0
2.36/0.48
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.45.xml
5164513
n
1
+1
1
+0
0.31/0.11
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.54.xml
5164514
pending submission
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.16.xml
5164515
n
1
+1
1
+0
2.41/0.63
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.55.xml
5164516
∞
+0
1
+0
4.55/1.93
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.08.xml
5164517
n
2
+1
1
+0
1.59/0.37
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.55.xml
5164518
pending submission
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.36.xml
5164519
pending submission
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.56.xml
5164520
n
1
+1
1
+0
0.20/0.07
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.43.xml
5164521
∞
+0
1
+0
321.21/192.84
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.32.xml
5164522
∞
+0
1
+0
831.28/296.17
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.25.xml
5164523
n
2
+1
1
+0
5.48/0.63
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.48.xml
5164524
n
1
+1
1
+0
1.16/0.31
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.15.xml
5164525
n
2
+1
1
+0
1.90/0.44
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.41.xml
5164526
n
2
+1
1
+0
10.84/2.40
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.04.xml
5164527
pending submission
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.01.xml
5164528
n
2
+1
1
+0
8.65/2.13
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.38.xml
5164529
n
2
+1
1
+0
5.97/1.51
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.53.xml
5164530
n
2
+1
1
+0
50.97/0.55
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.61.xml
5164531
n
1
+1
1
+0
7.99/1.59
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.11.xml
5164532
n
2
+1
1
+0
4.98/1.17
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.10.xml
5164533
∞
+0
1
+0
143.47/73.98
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.51.xml
5164534
n
1
+1
1
+0
3.96/1.01
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.33.xml
5164535
n
1
+1
1
+0
0.06/0.02
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.56.xml
5164536
n
1
+1
1
+0
1.38/0.05
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.04.xml
5164537
n
2
+1
1
+0
10.52/0.57
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.14.xml
5164538
∞
+0
1
+0
522.18/296.17
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.36.xml
5164539
n
2
+1
1
+0
3.89/0.65
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.02.xml
5164540
pending submission
Derivational_
Complexity_
Full_
Rewriting/
SK90/
4.35.xml
5164541
n
1
+1
1
+0
0.24/0.07
Derivational_
Complexity_
Full_
Rewriting/
SK90/
2.34.xml
5164542
∞
+0
1
+0
27.97/17.46
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
mixed_
05/
ex3.xml
5165088
∞
+0
1
+0
628.66/296.01
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
mixed_
05/
gkg.xml
5165089
∞
+0
1
+0
10.80/3.83
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
mixed_
05/
n001.xml
5165090
∞
+0
1
+0
595.39/296.01
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
mixed_
05/
ex5.xml
5165091
∞
+0
1
+0
410.93/296.11
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
mixed_
05/
ex6.xml
5165092
∞
+0
1
+0
14.07/5.52
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
mixed_
05/
ex1.xml
5165093
∞
+0
1
+0
611.85/296.10
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
mixed_
05/
test830.xml
5165094
n
1
+1
1
+0
4.26/0.81
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
mixed_
05/
ex4.xml
5165095
∞
+0
1
+0
690.15/296.02
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex4_
7_
77_
Bor03.xml
5164621
∞
+0
1
+0
417.11/296.01
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex6_
GM04.xml
5164622
∞
+0
1
+0
648.98/296.11
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex1_
Zan97.xml
5164623
∞
+0
1
+0
791.27/296.12
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
ExConc_
Zan97.xml
5164624
∞
+0
1
+0
583.39/296.11
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
ExIntrod_
GM01.xml
5164625
∞
+0
1
+0
675.47/296.02
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
ExIntrod_
GM04.xml
5164626
∞
+0
1
+0
612.97/296.02
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex5_
Zan97.xml
5164627
∞
+0
1
+0
448.38/296.01
Derivational_
Complexity_
Full_
Rewriting/
Strategy_
removed_
CSR_
05/
Ex4_
7_
15_
Bor03.xml
5164628
∞
+0
1
+0
652.54/296.03
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
05.xml
5166194
∞
+0
1
+0
1012.90/296.38
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
03.xml
5166195
∞
+0
1
+0
1102.10/296.15
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
01.xml
5166196
∞
+0
1
+0
819.38/296.16
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
12.xml
5166197
∞
+0
1
+0
1174.67/296.40
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
10.xml
5166198
∞
+0
1
+0
513.17/296.15
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
beans3.xml
5166199
∞
+0
1
+0
1183.89/296.24
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
06.xml
5166200
∞
+0
1
+0
1130.44/296.15
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
while2.xml
5166201
n
3
+1
1
+0
24.43/6.14
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
beans2.xml
5166202
∞
+0
1
+0
1185.39/296.30
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
02.xml
5166203
∞
+0
1
+0
1123.82/296.20
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
beans7.xml
5166204
∞
+0
1
+0
996.05/296.31
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
14.xml
5166205
∞
+0
1
+0
977.44/296.17
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
abc.xml
5166206
∞
+0
1
+0
479.25/296.11
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
13.xml
5166207
∞
+0
1
+0
895.68/296.11
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
beans1.xml
5166208
∞
+0
1
+0
1188.74/296.39
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
04.xml
5166209
∞
+0
1
+0
1141.38/296.19
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
17.xml
5166210
n
2
+1
1
+0
53.06/12.80
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
08.xml
5166211
∞
+0
1
+0
610.23/296.04
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
beans4.xml
5166212
∞
+0
1
+0
1184.90/296.21
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
loop1.xml
5166213
∞
+0
1
+0
593.63/296.16
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
16.xml
5166214
n
2
+1
1
+0
25.88/6.43
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
beans5.xml
5166215
∞
+0
1
+0
1116.27/296.16
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
09.xml
5166216
∞
+0
1
+0
1185.42/296.08
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
11.xml
5166217
∞
+0
1
+0
1090.62/296.57
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
07.xml
5166218
∞
+0
1
+0
627.88/296.12
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
18.xml
5166219
∞
+0
1
+0
1184.98/296.55
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
loop2.xml
5166220
∞
+0
1
+0
1006.09/296.12
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
15.xml
5166221
∞
+0
1
+0
1114.96/296.17
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
while1.xml
5166222
∞
+0
1
+0
1186.24/296.22
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
06/
beans6.xml
5166223
∞
+0
1
+0
1049.26/296.17
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw44.xml
5165002
n
2
+1
1
+0
48.02/0.62
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw33.xml
5165003
n
1
+1
1
+0
0.36/0.10
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw34.xml
5165004
n
1
+1
1
+0
0.04/0.02
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z22.xml
5165005
∞
+0
1
+0
1168.43/296.23
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z16.xml
5165006
∞
+0
1
+0
1177.90/296.36
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z30.xml
5165007
n
1
+1
1
+0
7.95/1.34
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw27.xml
5165008
n
1
+1
1
+0
0.24/0.07
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw01.xml
5165009
n
1
+1
1
+0
0.25/0.05
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw02.xml
5165010
n
1
+1
1
+0
0.02/0.03
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw12.xml
5165011
n
1
+1
1
+0
1.11/0.23
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw32.xml
5165012
n
1
+1
1
+0
8.70/0.12
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw08.xml
5165013
n
1
+1
1
+0
0.13/0.04
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z19.xml
5165014
∞
+0
1
+0
213.51/59.13
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z06.xml
5165015
∞
+0
1
+0
494.65/296.16
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw38.xml
5165016
n
1
+1
1
+0
0.33/0.09
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z11.xml
5165017
∞
+0
1
+0
445.31/296.01
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw39.xml
5165018
n
1
+1
1
+0
26.74/0.17
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw05.xml
5165019
n
1
+1
1
+0
36.37/0.17
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw06.xml
5165020
n
1
+1
1
+0
28.18/0.18
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z05.xml
5165021
∞
+0
1
+0
749.76/296.13
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw15.xml
5165022
n
1
+1
1
+0
0.18/0.05
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw16.xml
5165023
n
1
+1
1
+0
0.76/0.20
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw11.xml
5165024
n
1
+1
1
+0
0.51/0.13
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z29.xml
5165025
∞
+0
1
+0
94.29/57.08
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw26.xml
5165026
n
1
+1
1
+0
0.64/0.12
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z02.xml
5165027
n
1
+1
1
+0
1.87/0.28
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw47.xml
5165028
n
2
+1
1
+0
4.09/1.04
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw31.xml
5165029
n
1
+1
1
+0
1.16/0.25
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z08.xml
5165030
∞
+0
1
+0
355.84/222.08
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw09.xml
5165031
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw22.xml
5165032
n
1
+1
1
+0
1.46/0.20
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z21.xml
5165033
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw50.xml
5165034
n
1
+1
1
+0
4.51/0.17
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z07.xml
5165035
∞
+0
1
+0
515.09/296.13
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z03.xml
5165036
n
1
+1
1
+0
4.41/1.06
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw25.xml
5165037
n
1
+1
1
+0
0.14/0.04
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw20.xml
5165038
n
1
+1
1
+0
1.99/0.25
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw13.xml
5165039
n
1
+1
1
+0
2.34/0.26
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw42.xml
5165040
n
1
+1
1
+0
0.76/0.09
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw29.xml
5165041
n
1
+1
1
+0
2.12/0.22
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw07.xml
5165042
n
1
+1
1
+0
1.35/0.15
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw41.xml
5165043
n
1
+1
1
+0
0.21/0.06
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw35.xml
5165044
n
1
+1
1
+0
1.50/0.20
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z13.xml
5165045
∞
+0
1
+0
1183.82/296.14
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z20.xml
5165046
∞
+0
1
+0
156.67/49.81
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z17.xml
5165047
∞
+0
1
+0
1186.32/296.33
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw43.xml
5165048
n
1
+1
1
+0
0.08/0.02
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z26.xml
5165049
n
2
+1
1
+0
7.09/1.79
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z01.xml
5165050
∞
+0
1
+0
717.89/296.03
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw24.xml
5165051
n
1
+1
1
+0
0.04/0.02
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw28.xml
5165052
n
1
+1
1
+0
0.11/0.04
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw03.xml
5165053
n
1
+1
1
+0
0.15/0.05
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw23.xml
5165054
n
1
+1
1
+0
0.40/0.06
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw19.xml
5165055
n
1
+1
1
+0
0.13/0.04
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw18.xml
5165056
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw37.xml
5165057
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw40.xml
5165058
n
1
+1
1
+0
0.34/0.09
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw30.xml
5165059
n
1
+1
1
+0
1.73/0.18
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw14.xml
5165060
n
1
+1
1
+0
0.55/0.12
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z23.xml
5165061
∞
+0
1
+0
1185.93/296.18
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw36.xml
5165062
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw04.xml
5165063
n
1
+1
1
+0
3.44/0.29
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z12.xml
5165064
∞
+0
1
+0
936.57/296.41
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z15.xml
5165065
∞
+0
1
+0
1182.75/296.13
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z14.xml
5165066
∞
+0
1
+0
1182.33/296.14
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z24.xml
5165067
∞
+0
1
+0
1184.16/296.23
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z25.xml
5165068
∞
+0
1
+0
920.87/296.12
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw21.xml
5165069
n
1
+1
1
+0
14.66/0.28
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
jw17.xml
5165070
n
1
+1
1
+0
5.62/0.43
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
05/
z18.xml
5165071
∞
+0
1
+0
1180.74/296.12
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-3-num-12.xml
5164446
∞
+0
1
+0
627.18/296.16
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-3-num-20.xml
5164447
∞
+0
1
+0
477.22/296.12
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-2-num-4.xml
5164448
∞
+0
1
+0
664.21/296.12
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-3-num-21.xml
5164449
∞
+0
1
+0
472.96/296.10
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-3-num-3.xml
5164450
∞
+0
1
+0
513.61/296.16
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-3-num-8.xml
5164451
∞
+0
1
+0
464.45/296.11
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-3-num-1.xml
5164452
∞
+0
1
+0
473.35/296.02
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-3-num-4.xml
5164453
∞
+0
1
+0
520.99/296.05
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-3-num-5.xml
5164454
∞
+0
1
+0
500.20/296.06
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-3-num-14.xml
5164455
∞
+0
1
+0
807.17/296.15
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-3-num-2.xml
5164456
∞
+0
1
+0
540.69/296.11
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-3-num-11.xml
5164457
∞
+0
1
+0
638.48/296.07
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-2-num-3.xml
5164458
∞
+0
1
+0
558.56/296.24
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-3-num-6.xml
5164459
∞
+0
1
+0
473.68/296.08
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-2-num-2.xml
5164460
∞
+0
1
+0
580.02/296.17
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-2-num-1.xml
5164461
∞
+0
1
+0
518.85/296.11
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-3-num-16.xml
5164462
∞
+0
1
+0
476.78/296.06
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-3-num-17.xml
5164463
∞
+0
1
+0
516.20/296.03
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-3-num-13.xml
5164464
∞
+0
1
+0
759.46/296.12
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-3-num-15.xml
5164465
∞
+0
1
+0
427.13/296.11
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-3-num-7.xml
5164466
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-3-num-10.xml
5164467
∞
+0
1
+0
486.78/296.14
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-3-num-19.xml
5164468
∞
+0
1
+0
454.82/296.09
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-3-num-9.xml
5164469
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size11/
size-11-alpha-3-num-18.xml
5164470
∞
+0
1
+0
431.35/296.02
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06_
SRS/
sym-1.xml
5166171
∞
+0
1
+0
464.77/296.24
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06_
SRS/
sym-4.xml
5166172
∞
+0
1
+0
481.82/296.19
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06_
SRS/
z086-variant.xml
5166173
∞
+0
1
+0
386.23/113.68
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06_
SRS/
uni-1.xml
5166174
∞
+0
1
+0
504.64/296.19
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06_
SRS/
uni-7.xml
5166175
∞
+0
1
+0
1137.10/296.17
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06_
SRS/
pi.xml
5166176
n
4
+1
1
+0
65.76/16.51
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06_
SRS/
jw3.xml
5166177
∞
+0
1
+0
1181.57/296.35
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06_
SRS/
uni-4.xml
5166178
∞
+0
1
+0
788.84/296.22
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06_
SRS/
jw4.xml
5166179
∞
+0
1
+0
1186.36/296.34
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06_
SRS/
uni-3.xml
5166180
∞
+0
1
+0
541.14/296.15
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06_
SRS/
sym-2.xml
5166181
∞
+0
1
+0
507.67/296.09
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06_
SRS/
uni-2.xml
5166182
∞
+0
1
+0
798.95/296.15
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06_
SRS/
jw1.xml
5166183
∞
+0
1
+0
1165.72/296.16
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06_
SRS/
uni-5.xml
5166184
∞
+0
1
+0
503.12/296.12
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06_
SRS/
uni-6.xml
5166185
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06_
SRS/
sym-6.xml
5166186
∞
+0
1
+0
476.68/296.07
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06_
SRS/
jw5.xml
5166187
∞
+0
1
+0
1183.63/296.41
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06_
SRS/
sym-5.xml
5166188
∞
+0
1
+0
955.08/296.26
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
06_
SRS/
e.xml
5166189
∞
+0
1
+0
1185.74/296.34
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z127.xml
5165102
∞
+0
1
+0
1096.10/296.32
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z128.xml
5165103
∞
+0
1
+0
1154.07/296.21
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z106.xml
5165104
∞
+0
1
+0
464.34/180.76
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z057.xml
5165105
n
1
+1
1
+0
1.15/0.30
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z107.xml
5165106
n
1
+1
1
+0
10.53/2.64
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z054.xml
5165107
n
1
+1
1
+0
2.39/0.11
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z026.xml
5165108
∞
+0
1
+0
1154.34/296.17
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z010.xml
5165109
∞
+0
1
+0
1163.46/296.03
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z111.xml
5165110
∞
+0
1
+0
745.64/296.16
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z037.xml
5165111
n
1
+1
1
+0
6.63/0.57
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z030.xml
5165112
∞
+0
1
+0
1177.23/296.20
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z113.xml
5165113
∞
+0
1
+0
725.39/174.56
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z011.xml
5165114
∞
+0
1
+0
1160.85/296.16
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z025.xml
5165115
n
2
+1
1
+0
7.37/1.85
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z084.xml
5165116
n
2
+1
1
+0
7.21/1.81
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z007.xml
5165117
n
2
+1
1
+0
2.80/0.71
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z046.xml
5165118
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z050.xml
5165119
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z028.xml
5165120
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z058.xml
5165121
n
1
+1
1
+0
2.72/0.12
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z104.xml
5165122
n
1
+1
1
+0
19.48/3.32
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z061.xml
5165123
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z020.xml
5165124
∞
+0
1
+0
1106.38/296.11
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
syracuse.xml
5165125
∞
+0
1
+0
1186.58/296.40
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z069.xml
5165126
∞
+0
1
+0
1005.09/296.10
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z055.xml
5165127
n
1
+1
1
+0
0.28/0.08
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z002.xml
5165128
n
1
+1
1
+0
1.72/0.31
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z120.xml
5165129
∞
+0
1
+0
771.58/297.38
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z097.xml
5165130
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z082.xml
5165131
∞
+0
1
+0
772.17/296.04
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z116.xml
5165132
n
1
+1
1
+0
3.00/0.76
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z034.xml
5165133
∞
+0
1
+0
1140.77/296.13
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z014.xml
5165134
∞
+0
1
+0
1036.61/296.14
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z083.xml
5165135
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z005.xml
5165136
n
1
+1
1
+0
1.67/0.40
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z068.xml
5165137
∞
+0
1
+0
658.77/296.09
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z117.xml
5165138
∞
+0
1
+0
478.07/50.27
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z052.xml
5165139
n
1
+1
1
+0
0.63/0.11
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z044.xml
5165140
∞
+0
1
+0
1162.32/296.49
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z062.xml
5165141
n
1
+1
1
+0
0.02/0.01
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z040.xml
5165142
n
1
+1
1
+0
10.30/0.79
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z001.xml
5165143
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z038.xml
5165144
∞
+0
1
+0
1175.03/296.14
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z105.xml
5165145
∞
+0
1
+0
484.50/135.08
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z125.xml
5165146
∞
+0
1
+0
630.81/296.06
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z041.xml
5165147
∞
+0
1
+0
1166.47/296.15
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z018.xml
5165148
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z085.xml
5165149
n
1
+1
1
+0
0.72/0.19
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z053.xml
5165150
n
1
+1
1
+0
0.34/0.09
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z042.xml
5165151
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z095.xml
5165152
n
1
+1
1
+0
8.63/1.38
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z003.xml
5165153
n
1
+1
1
+0
8.24/1.04
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z048.xml
5165154
n
1
+1
1
+0
2.40/0.41
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z088.xml
5165155
∞
+0
1
+0
841.47/296.18
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z103.xml
5165156
∞
+0
1
+0
919.84/296.07
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z101.xml
5165157
n
1
+1
1
+0
2.04/0.53
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z019.xml
5165158
∞
+0
1
+0
1013.96/296.10
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z077.xml
5165159
∞
+0
1
+0
1092.24/296.32
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z080.xml
5165160
∞
+0
1
+0
488.36/296.07
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z022.xml
5165161
∞
+0
1
+0
945.28/296.24
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z109.xml
5165162
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z012.xml
5165163
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z060.xml
5165164
n
1
+1
1
+0
0.59/0.15
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z121.xml
5165165
∞
+0
1
+0
1006.34/296.15
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z124.xml
5165166
n
2
+1
1
+0
21.94/5.42
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z033.xml
5165167
n
1
+1
1
+0
1.06/0.19
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z076.xml
5165168
∞
+0
1
+0
491.94/296.13
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z056.xml
5165169
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z114.xml
5165170
∞
+0
1
+0
926.97/296.15
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z015.xml
5165171
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z045.xml
5165172
n
1
+1
1
+0
2.03/0.36
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z073.xml
5165173
∞
+0
1
+0
1185.82/296.34
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z031.xml
5165174
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z009.xml
5165175
n
3
+1
1
+0
14.68/3.26
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z013.xml
5165176
∞
+0
1
+0
946.50/296.11
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z123.xml
5165177
∞
+0
1
+0
944.29/251.46
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z098.xml
5165178
∞
+0
1
+0
1144.63/296.22
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z035.xml
5165179
∞
+0
1
+0
1139.79/296.23
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z075.xml
5165180
∞
+0
1
+0
1184.18/296.16
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z119.xml
5165181
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z072.xml
5165182
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z079.xml
5165183
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z066.xml
5165184
n
2
+1
1
+0
16.31/4.11
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z112.xml
5165185
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z118.xml
5165186
paused
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z074.xml
5165187
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z078.xml
5165188
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z102.xml
5165189
n
1
+1
1
+0
4.65/0.98
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z093.xml
5165190
n
2
+1
1
+0
9.17/1.58
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z092.xml
5165191
n
2
+1
1
+0
17.91/4.50
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z039.xml
5165192
paused
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z047.xml
5165193
paused
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z049.xml
5165194
paused
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z006.xml
5165195
paused
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z089.xml
5165196
paused
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z065.xml
5165197
paused
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z008.xml
5165198
paused
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z100.xml
5165199
paused
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z090.xml
5165200
paused
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z024.xml
5165201
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z096.xml
5165202
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z087.xml
5165203
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z067.xml
5165204
paused
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z023.xml
5165205
paused
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z043.xml
5165206
paused
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z051.xml
5165207
paused
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z091.xml
5165208
paused
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z094.xml
5165209
paused
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z071.xml
5165210
paused
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z032.xml
5165211
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z017.xml
5165212
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z086.xml
5165213
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z110.xml
5165214
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z122.xml
5165215
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z063.xml
5165216
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z126.xml
5165217
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z115.xml
5165218
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z021.xml
5165219
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z059.xml
5165220
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z070.xml
5165221
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z029.xml
5165222
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z036.xml
5165223
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z004.xml
5165224
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z027.xml
5165225
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z108.xml
5165226
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z064.xml
5165227
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Zantema_
04/
z081.xml
5165228
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-108.xml
5165229
∞
+0
1
+0
492.34/296.07
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-507.xml
5165230
∞
+0
1
+0
851.65/296.11
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-279.xml
5165231
∞
+0
1
+0
756.91/296.09
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-85.xml
5165232
∞
+0
1
+0
503.51/296.11
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-202.xml
5165233
∞
+0
1
+0
473.03/296.13
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-487.xml
5165234
∞
+0
1
+0
994.74/296.06
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-199.xml
5165235
∞
+0
1
+0
484.57/296.04
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-200.xml
5165236
∞
+0
1
+0
502.49/296.18
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-32.xml
5165237
∞
+0
1
+0
487.53/296.20
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-461.xml
5165238
∞
+0
1
+0
638.32/296.13
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-101.xml
5165239
∞
+0
1
+0
493.71/296.05
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-113.xml
5165240
∞
+0
1
+0
508.19/296.14
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-255.xml
5165241
∞
+0
1
+0
487.17/296.04
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-170.xml
5165242
∞
+0
1
+0
467.79/296.12
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-160.xml
5165243
∞
+0
1
+0
440.82/296.02
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-399.xml
5165244
∞
+0
1
+0
823.76/296.16
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-2-num-1.xml
5165245
∞
+0
1
+0
497.95/296.08
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-503.xml
5165246
∞
+0
1
+0
1137.28/296.12
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-395.xml
5165247
∞
+0
1
+0
636.41/296.13
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-566.xml
5165248
∞
+0
1
+0
496.46/296.01
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-59.xml
5165249
∞
+0
1
+0
465.64/296.11
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-485.xml
5165250
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-389.xml
5165251
∞
+0
1
+0
575.02/296.18
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-2-num-12.xml
5165252
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-560.xml
5165253
∞
+0
1
+0
482.91/296.12
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-194.xml
5165254
∞
+0
1
+0
460.79/296.03
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-198.xml
5165255
∞
+0
1
+0
448.12/296.02
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-2-num-6.xml
5165256
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-131.xml
5165257
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-257.xml
5165258
∞
+0
1
+0
468.63/296.01
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-207.xml
5165259
∞
+0
1
+0
444.12/296.01
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-11.xml
5165260
∞
+0
1
+0
442.58/296.11
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-430.xml
5165261
∞
+0
1
+0
500.06/296.18
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-201.xml
5165262
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-480.xml
5165263
∞
+0
1
+0
525.44/296.01
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-64.xml
5165264
∞
+0
1
+0
519.44/296.10
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-263.xml
5165265
∞
+0
1
+0
531.72/296.10
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-367.xml
5165266
∞
+0
1
+0
669.46/296.04
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-369.xml
5165267
∞
+0
1
+0
965.58/296.04
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-478.xml
5165268
∞
+0
1
+0
481.36/296.01
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-48.xml
5165269
∞
+0
1
+0
519.74/296.17
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-241.xml
5165270
∞
+0
1
+0
468.88/296.01
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-448.xml
5165271
∞
+0
1
+0
511.03/296.20
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-217.xml
5165272
∞
+0
1
+0
465.58/296.04
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-495.xml
5165273
∞
+0
1
+0
675.64/296.03
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-291.xml
5165274
∞
+0
1
+0
574.36/296.06
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-476.xml
5165275
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-375.xml
5165276
∞
+0
1
+0
393.33/296.02
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-479.xml
5165277
∞
+0
1
+0
501.53/296.13
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-551.xml
5165278
∞
+0
1
+0
491.42/296.13
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-536.xml
5165279
∞
+0
1
+0
1001.95/296.11
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-271.xml
5165280
∞
+0
1
+0
479.94/296.02
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-564.xml
5165281
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-249.xml
5165282
∞
+0
1
+0
477.15/296.02
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-434.xml
5165283
∞
+0
1
+0
495.92/296.10
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-83.xml
5165284
∞
+0
1
+0
451.81/296.11
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-335.xml
5165285
∞
+0
1
+0
621.36/296.10
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-30.xml
5165286
∞
+0
1
+0
468.13/296.11
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-120.xml
5165287
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-565.xml
5165288
∞
+0
1
+0
475.34/296.12
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-67.xml
5165289
∞
+0
1
+0
501.42/296.09
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-511.xml
5165290
∞
+0
1
+0
1141.28/296.31
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-19.xml
5165291
∞
+0
1
+0
510.26/296.10
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-104.xml
5165292
∞
+0
1
+0
606.56/296.08
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-2-num-10.xml
5165293
∞
+0
1
+0
866.83/296.12
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-416.xml
5165294
∞
+0
1
+0
572.00/296.14
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-468.xml
5165295
∞
+0
1
+0
543.61/296.12
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-71.xml
5165296
∞
+0
1
+0
462.09/296.11
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-4.xml
5165297
∞
+0
1
+0
506.55/296.03
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-233.xml
5165298
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-374.xml
5165299
∞
+0
1
+0
1107.87/296.16
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-376.xml
5165300
∞
+0
1
+0
483.24/296.11
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-231.xml
5165301
∞
+0
1
+0
560.60/296.05
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-2-num-16.xml
5165302
∞
+0
1
+0
510.89/296.05
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-191.xml
5165303
∞
+0
1
+0
492.36/296.04
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-499.xml
5165304
∞
+0
1
+0
518.38/296.13
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-460.xml
5165305
∞
+0
1
+0
618.14/296.04
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-210.xml
5165306
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-190.xml
5165307
∞
+0
1
+0
488.88/296.09
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-2-num-8.xml
5165308
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-474.xml
5165309
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-453.xml
5165310
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-10.xml
5165311
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-378.xml
5165312
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-270.xml
5165313
paused
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-451.xml
5165314
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-2-num-22.xml
5165315
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-206.xml
5165316
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-403.xml
5165317
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-429.xml
5165318
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-57.xml
5165319
paused
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-204.xml
5165320
paused
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-238.xml
5165321
paused
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-70.xml
5165322
paused
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-402.xml
5165323
paused
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-437.xml
5165324
paused
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-65.xml
5165325
paused
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-413.xml
5165326
paused
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-285.xml
5165327
paused
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-22.xml
5165328
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-2-num-20.xml
5165329
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-343.xml
5165330
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-563.xml
5165331
paused
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-561.xml
5165332
paused
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-110.xml
5165333
paused
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-226.xml
5165334
paused
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-265.xml
5165335
paused
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-275.xml
5165336
paused
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-414.xml
5165337
paused
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-98.xml
5165338
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-2-num-13.xml
5165339
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-124.xml
5165340
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-133.xml
5165341
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-300.xml
5165342
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-289.xml
5165343
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-164.xml
5165344
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-159.xml
5165345
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-559.xml
5165346
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-454.xml
5165347
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-401.xml
5165348
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-359.xml
5165349
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-239.xml
5165350
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-477.xml
5165351
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-44.xml
5165352
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-86.xml
5165353
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-88.xml
5165354
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-168.xml
5165355
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-2-num-21.xml
5165356
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-473.xml
5165357
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-7.xml
5165358
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-76.xml
5165359
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-127.xml
5165360
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-350.xml
5165361
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-106.xml
5165362
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-427.xml
5165363
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-341.xml
5165364
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-417.xml
5165365
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-418.xml
5165366
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-13.xml
5165367
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-84.xml
5165368
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-396.xml
5165369
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-247.xml
5165370
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-406.xml
5165371
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-446.xml
5165372
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-368.xml
5165373
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-327.xml
5165374
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-553.xml
5165375
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-392.xml
5165376
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-354.xml
5165377
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-384.xml
5165378
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-209.xml
5165379
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-52.xml
5165380
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-337.xml
5165381
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-47.xml
5165382
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-550.xml
5165383
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-23.xml
5165384
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-502.xml
5165385
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-363.xml
5165386
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-2-num-14.xml
5165387
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-438.xml
5165388
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-149.xml
5165389
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-219.xml
5165390
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-20.xml
5165391
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-415.xml
5165392
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-303.xml
5165393
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-556.xml
5165394
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-126.xml
5165395
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-546.xml
5165396
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-494.xml
5165397
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-90.xml
5165398
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-3.xml
5165399
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-179.xml
5165400
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-412.xml
5165401
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-475.xml
5165402
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-366.xml
5165403
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-294.xml
5165404
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-163.xml
5165405
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-272.xml
5165406
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-351.xml
5165407
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-373.xml
5165408
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-2-num-17.xml
5165409
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-470.xml
5165410
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-297.xml
5165411
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-469.xml
5165412
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-213.xml
5165413
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-129.xml
5165414
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-409.xml
5165415
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-92.xml
5165416
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-283.xml
5165417
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-40.xml
5165418
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-178.xml
5165419
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-243.xml
5165420
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-498.xml
5165421
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-15.xml
5165422
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-99.xml
5165423
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-488.xml
5165424
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-107.xml
5165425
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-508.xml
5165426
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-522.xml
5165427
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-330.xml
5165428
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-236.xml
5165429
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-203.xml
5165430
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-186.xml
5165431
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-35.xml
5165432
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-284.xml
5165433
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-105.xml
5165434
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-462.xml
5165435
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-535.xml
5165436
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-9.xml
5165437
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-94.xml
5165438
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-223.xml
5165439
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-122.xml
5165440
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-385.xml
5165441
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-112.xml
5165442
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-282.xml
5165443
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-352.xml
5165444
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-273.xml
5165445
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-128.xml
5165446
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-132.xml
5165447
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-225.xml
5165448
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-177.xml
5165449
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-353.xml
5165450
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-467.xml
5165451
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-356.xml
5165452
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-547.xml
5165453
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-21.xml
5165454
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-299.xml
5165455
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-443.xml
5165456
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-237.xml
5165457
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-360.xml
5165458
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-287.xml
5165459
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-452.xml
5165460
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-493.xml
5165461
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-455.xml
5165462
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-362.xml
5165463
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-304.xml
5165464
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-260.xml
5165465
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-391.xml
5165466
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-484.xml
5165467
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-347.xml
5165468
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-227.xml
5165469
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-309.xml
5165470
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-410.xml
5165471
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-211.xml
5165472
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-100.xml
5165473
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-382.xml
5165474
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-292.xml
5165475
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-95.xml
5165476
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-338.xml
5165477
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-301.xml
5165478
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-158.xml
5165479
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-17.xml
5165480
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-568.xml
5165481
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-431.xml
5165482
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-45.xml
5165483
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-482.xml
5165484
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-232.xml
5165485
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-489.xml
5165486
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-49.xml
5165487
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-377.xml
5165488
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-123.xml
5165489
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-541.xml
5165490
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-288.xml
5165491
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-298.xml
5165492
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-267.xml
5165493
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-31.xml
5165494
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-348.xml
5165495
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-506.xml
5165496
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-181.xml
5165497
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-140.xml
5165498
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-465.xml
5165499
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-114.xml
5165500
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-456.xml
5165501
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-109.xml
5165502
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-540.xml
5165503
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-492.xml
5165504
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-2-num-3.xml
5165505
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-274.xml
5165506
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-224.xml
5165507
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-386.xml
5165508
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-2-num-7.xml
5165509
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-195.xml
5165510
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-558.xml
5165511
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-548.xml
5165512
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-339.xml
5165513
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-248.xml
5165514
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-532.xml
5165515
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-435.xml
5165516
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-383.xml
5165517
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-286.xml
5165518
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-2-num-15.xml
5165519
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-2-num-2.xml
5165520
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-220.xml
5165521
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-552.xml
5165522
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-16.xml
5165523
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-51.xml
5165524
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-221.xml
5165525
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-346.xml
5165526
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-340.xml
5165527
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-491.xml
5165528
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-152.xml
5165529
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-146.xml
5165530
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-543.xml
5165531
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-2-num-19.xml
5165532
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-450.xml
5165533
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-441.xml
5165534
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-355.xml
5165535
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-436.xml
5165536
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-439.xml
5165537
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-215.xml
5165538
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-472.xml
5165539
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-2-num-4.xml
5165540
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-66.xml
5165541
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-2-num-5.xml
5165542
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-545.xml
5165543
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-497.xml
5165544
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-135.xml
5165545
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-111.xml
5165546
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-41.xml
5165547
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-345.xml
5165548
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-526.xml
5165549
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-281.xml
5165550
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-134.xml
5165551
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-408.xml
5165552
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-1.xml
5165553
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-74.xml
5165554
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-2-num-18.xml
5165555
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-296.xml
5165556
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-176.xml
5165557
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-361.xml
5165558
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-2-num-11.xml
5165559
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-328.xml
5165560
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-121.xml
5165561
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-222.xml
5165562
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-72.xml
5165563
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-174.xml
5165564
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-14.xml
5165565
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-91.xml
5165566
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-293.xml
5165567
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-165.xml
5165568
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-549.xml
5165569
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-61.xml
5165570
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-180.xml
5165571
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-125.xml
5165572
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-82.xml
5165573
pending submission
Derivational_
Complexity_
Full_
Rewriting/
Waldmann_
07_
size12/
size-12-alpha-3-num-400.xml
5165574
pending submission
Derivational_
Complexity_
Full_
Rewriting/
AProVE_
06/
nonterm.xml
5164543
timeout (wallclock)
Derivational_
Complexity_
Full_
Rewriting/
AProVE_
06/
tower_
sizeChange.xml
5164544
∞
+0
1
+0
977.36/296.15
Derivational_
Complexity_
Full_
Rewriting/
AProVE_
06/
identity.xml
5164545
∞
+0
1
+0
760.87/296.02
Derivational_
Complexity_
Full_
Rewriting/
AProVE_
04/
Liveness_
WRS.xml
5164632
n
3
+1
1
+0
192.40/48.19
Derivational_
Complexity_
Full_
Rewriting/
AProVE_
04/
LPAR_
intlist.xml
5164633
∞
+0
1
+0
813.55/296.11
Derivational_
Complexity_
Full_
Rewriting/
AProVE_
04/
Liveness8.xml
5164634
∞
+0
1
+0
1184.73/296.33
Derivational_
Complexity_
Full_
Rewriting/
AProVE_
04/
Liveness6.3.xml
5164635
∞
+0
1
+0
1184.31/296.17
Derivational_
Complexity_
Full_
Rewriting/
AProVE_
04/
Liveness6.4.xml
5164636
∞
+0
1
+0
1185.09/296.13
Derivational_
Complexity_
Full_
Rewriting/
AProVE_
04/
Liveness6.1.xml
5164637
∞
+0
1
+0
1172.41/296.31
Derivational_
Complexity_
Full_
Rewriting/
AProVE_
04/
Liveness6.2.xml
5164638
∞
+0
1
+0
1185.98/296.21
Derivational_
Complexity_
Full_
Rewriting/
AProVE_
10/
ex5.xml
5165575
n
1
+1
1
+0
0.33/0.09
Derivational_
Complexity_
Full_
Rewriting/
AProVE_
08/
round_
nonterm.xml
5164966
∞
+0
1
+0
148.66/110.50
Derivational_
Complexity_
Full_
Rewriting/
AProVE_
08/
round.xml
5164967
∞
+0
1
+0
486.11/296.11
Derivational_
Complexity_
Full_
Rewriting/
AG01/
#3.49.xml
5164433
∞
+0
1
+0
1063.18/296.40
Derivational_
Complexity_
Full_
Rewriting/
AG01/
#3.56.xml
5164434
n
2
+1
1
+0
10.83/2.45
Derivational_
Complexity_
Full_
Rewriting/
AG01/
#3.35.xml
5164435
n
2
+1
1
+0
3.05/0.78
Derivational_
Complexity_
Full_
Rewriting/
AG01/
#3.12.xml
5164436
∞
+0
1
+0
486.25/166.27
Derivational_
Complexity_
Full_
Rewriting/
AG01/
#3.15.xml
5164437
n
2
+1
1
+0
4.68/1.18
Derivational_
Complexity_
Full_
Rewriting/
AG01/
#3.17.xml
5164438
∞
+0
1
+0
120.85/31.77
Derivational_
Complexity_
Full_
Rewriting/
AG01/
#3.51.xml
5164439
n
1
+1
1
+0
0.72/0.19
Derivational_
Complexity_
Full_
Rewriting/
AG01/
#3.26.xml
5164440
∞
+0
1
+0
1064.53/296.25
Derivational_
Complexity_
Full_
Rewriting/
AG01/
#3.7.xml
5164441
n
2
+1
1
+0
11.18/2.82
Derivational_
Complexity_
Full_
Rewriting/
AG01/
#3.33.xml
5164442
n
1
+1
1
+0
0.05/0.02
Derivational_
Complexity_
Full_
Rewriting/
AG01/
#3.24.xml
5164443
n
1
+1
1
+0
0.75/0.20
Derivational_
Complexity_
Full_
Rewriting/
AG01/
#3.37.xml
5164444
n
1
+1
1
+0
0.83/0.22
Derivational_
Complexity_
Full_
Rewriting/
AG01/
#3.17a.xml
5164445
∞
+0
1
+0
240.79/66.79
Derivational_
Complexity_
Full_
Rewriting/
Applicative_
05/
Ex2_
6_
1Composition.xml
5164629
n
1
+1
1
+0
0.70/0.18
Derivational_
Complexity_
Full_
Rewriting/
Applicative_
05/
TypeEx5.xml
5164630
∞
+0
1
+0
679.70/296.07
Derivational_
Complexity_
Full_
Rewriting/
Applicative_
05/
ReverseLastInit.xml
5164631
∞
+0
1
+0
538.41/296.09
Derivational_
Complexity_
Full_
Rewriting/
AotoYamada_
05/
017.xml
5166190
n
1
+1
1
+0
0.54/0.14
Derivational_
Complexity_
Full_
Rewriting/
AotoYamada_
05/
005.xml
5166191
n
2
+1
1
+0
7.37/1.75
Derivational_
Complexity_
Full_
Rewriting/
AotoYamada_
05/
025.xml
5166192
n
1
+1
1
+0
0.31/0.08
Derivational_
Complexity_
Full_
Rewriting/
AotoYamada_
05/
023.xml
5166193
n
2
+1
1
+0
4.20/0.84
228