vational_Complexity__Full_Rewriting/AG01/#3.12.xml |
133.9 /
56.6 s
|
207.8 /
60.0 s
|
vational_Complexity__Full_Rewriting/AG01/#3.15.xml |
11.4 /
6.5 s
|
169.8 /
60.1 s
|
vational_Complexity__Full_Rewriting/AG01/#3.17.xml |
154.0 /
59.0 s
|
282.2 /
83.9 s
|
ational_Complexity__Full_Rewriting/AG01/#3.17a.xml |
165.7 /
60.2 s
|
315.2 /
87.4 s
|
vational_Complexity__Full_Rewriting/AG01/#3.24.xml |
0.5 /
0.3 s
|
6.8 /
3.7 s
|
vational_Complexity__Full_Rewriting/AG01/#3.26.xml |
78.1 /
33.3 s
|
742.5 /
297.1 s
|
vational_Complexity__Full_Rewriting/AG01/#3.33.xml |
0.3 /
0.2 s
|
18.7 /
9.3 s
|
vational_Complexity__Full_Rewriting/AG01/#3.35.xml |
648.4 /
295.2 s
|
170.6 /
60.1 s
|
vational_Complexity__Full_Rewriting/AG01/#3.37.xml |
0.6 /
0.3 s
|
2.8 /
1.0 s
|
vational_Complexity__Full_Rewriting/AG01/#3.49.xml |
219.9 /
55.6 s
|
1181.2 /
297.2 s
|
vational_Complexity__Full_Rewriting/AG01/#3.51.xml |
0.5 /
0.3 s
|
31.7 /
12.7 s
|
vational_Complexity__Full_Rewriting/AG01/#3.56.xml |
0.5 /
0.3 s
|
171.6 /
60.1 s
|
ivational_Complexity__Full_Rewriting/AG01/#3.7.xml |
15.0 /
4.2 s
|
163.0 /
60.0 s
|
plexity__Full_Rewriting/AProVE_04/LPAR_intlist.xml |
223.0 /
56.3 s
|
754.2 /
297.1 s
|
mplexity__Full_Rewriting/AProVE_04/Liveness6.1.xml |
233.0 /
58.9 s
|
1185.2 /
297.2 s
|
mplexity__Full_Rewriting/AProVE_04/Liveness6.2.xml |
48.0 /
19.3 s
|
446.3 /
297.1 s
|
mplexity__Full_Rewriting/AProVE_04/Liveness6.3.xml |
259.4 /
65.6 s
|
1185.0 /
297.2 s
|
mplexity__Full_Rewriting/AProVE_04/Liveness6.4.xml |
262.8 /
66.5 s
|
1184.7 /
297.2 s
|
Complexity__Full_Rewriting/AProVE_04/Liveness8.xml |
180.7 /
61.8 s
|
212.3 /
60.1 s
|
plexity__Full_Rewriting/AProVE_04/Liveness_WRS.xml |
70.9 /
21.5 s
|
956.2 /
297.5 s
|
_Complexity__Full_Rewriting/AProVE_06/identity.xml |
136.3 /
55.1 s
|
526.4 /
297.1 s
|
l_Complexity__Full_Rewriting/AProVE_06/nonterm.xml |
161.2 /
55.5 s
|
1179.1 /
297.9 s
|
ity__Full_Rewriting/AProVE_06/tower_sizeChange.xml |
159.0 /
55.9 s
|
714.2 /
297.1 s
|
nal_Complexity__Full_Rewriting/AProVE_08/round.xml |
31.9 /
10.2 s
|
21.5 /
7.0 s
|
lexity__Full_Rewriting/AProVE_08/round_nonterm.xml |
48.6 /
13.8 s
|
19.0 /
5.9 s
|
ional_Complexity__Full_Rewriting/AProVE_10/ex5.xml |
0.3 /
0.2 s
|
5.0 /
2.9 s
|
l_Complexity__Full_Rewriting/AotoYamada_05/005.xml |
16.5 /
7.9 s
|
203.6 /
60.1 s
|
l_Complexity__Full_Rewriting/AotoYamada_05/017.xml |
0.3 /
0.2 s
|
10.4 /
5.9 s
|
l_Complexity__Full_Rewriting/AotoYamada_05/023.xml |
14.1 /
7.5 s
|
157.1 /
60.0 s
|
l_Complexity__Full_Rewriting/AotoYamada_05/025.xml |
0.2 /
0.2 s
|
6.3 /
3.7 s
|
ll_Rewriting/Applicative_05/Ex2_6_1Composition.xml |
0.4 /
0.3 s
|
187.3 /
60.1 s
|
_Full_Rewriting/Applicative_05/ReverseLastInit.xml |
32.2 /
10.2 s
|
228.2 /
60.1 s
|
plexity__Full_Rewriting/Applicative_05/TypeEx5.xml |
21.7 /
10.2 s
|
211.4 /
60.0 s
|
onal_Complexity__Full_Rewriting/Bouchare_06/01.xml |
6.9 /
1.9 s
|
229.2 /
66.7 s
|
onal_Complexity__Full_Rewriting/Bouchare_06/02.xml |
4.1 /
1.4 s
|
159.5 /
60.1 s
|
onal_Complexity__Full_Rewriting/Bouchare_06/03.xml |
107.0 /
41.9 s
|
517.3 /
297.1 s
|
onal_Complexity__Full_Rewriting/Bouchare_06/04.xml |
7.1 /
2.0 s
|
714.0 /
297.1 s
|
onal_Complexity__Full_Rewriting/Bouchare_06/05.xml |
14.7 /
3.9 s
|
546.6 /
297.1 s
|
onal_Complexity__Full_Rewriting/Bouchare_06/06.xml |
221.9 /
55.5 s
|
1126.5 /
297.1 s
|
onal_Complexity__Full_Rewriting/Bouchare_06/07.xml |
180.0 /
55.5 s
|
951.4 /
297.1 s
|
onal_Complexity__Full_Rewriting/Bouchare_06/08.xml |
154.9 /
55.4 s
|
951.8 /
297.1 s
|
onal_Complexity__Full_Rewriting/Bouchare_06/09.xml |
123.3 /
55.4 s
|
295.9 /
132.5 s
|
onal_Complexity__Full_Rewriting/Bouchare_06/10.xml |
158.7 /
62.0 s
|
736.4 /
297.1 s
|
onal_Complexity__Full_Rewriting/Bouchare_06/11.xml |
46.7 /
17.8 s
|
200.9 /
60.1 s
|
onal_Complexity__Full_Rewriting/Bouchare_06/12.xml |
14.0 /
3.7 s
|
518.1 /
297.1 s
|
onal_Complexity__Full_Rewriting/Bouchare_06/13.xml |
141.9 /
55.3 s
|
645.1 /
297.1 s
|
onal_Complexity__Full_Rewriting/Bouchare_06/14.xml |
5.6 /
1.6 s
|
251.4 /
87.9 s
|
onal_Complexity__Full_Rewriting/Bouchare_06/15.xml |
8.9 /
2.4 s
|
418.4 /
253.6 s
|
onal_Complexity__Full_Rewriting/Bouchare_06/16.xml |
4.9 /
1.4 s
|
200.3 /
60.1 s
|
onal_Complexity__Full_Rewriting/Bouchare_06/17.xml |
6.3 /
1.8 s
|
199.8 /
60.1 s
|
onal_Complexity__Full_Rewriting/Bouchare_06/18.xml |
135.6 /
55.3 s
|
801.0 /
297.1 s
|
tional_Complexity__Full_Rewriting/CiME_04/dpqs.xml |
0.4 /
0.2 s
|
25.0 /
9.5 s
|
l_Complexity__Full_Rewriting/CiME_04/filliatre.xml |
245.3 /
62.0 s
|
1184.7 /
297.2 s
|
_Complexity__Full_Rewriting/CiME_04/filliatre2.xml |
165.8 /
51.3 s
|
735.1 /
297.1 s
|
rivational_Complexity__Full_Rewriting/Der95/01.xml |
0.4 /
0.2 s
|
8.7 /
5.1 s
|
rivational_Complexity__Full_Rewriting/Der95/02.xml |
0.3 /
0.2 s
|
5.4 /
3.3 s
|
rivational_Complexity__Full_Rewriting/Der95/03.xml |
0.2 /
0.2 s
|
3.8 /
2.3 s
|
rivational_Complexity__Full_Rewriting/Der95/04.xml |
0.4 /
0.3 s
|
161.1 /
60.0 s
|
rivational_Complexity__Full_Rewriting/Der95/06.xml |
127.5 /
55.3 s
|
713.8 /
297.1 s
|
rivational_Complexity__Full_Rewriting/Der95/07.xml |
67.4 /
33.6 s
|
168.9 /
60.1 s
|
rivational_Complexity__Full_Rewriting/Der95/09.xml |
7.8 /
5.7 s
|
170.5 /
60.2 s
|
rivational_Complexity__Full_Rewriting/Der95/17.xml |
26.7 /
10.2 s
|
198.6 /
60.0 s
|
rivational_Complexity__Full_Rewriting/Der95/20.xml |
36.0 /
10.6 s
|
205.7 /
60.0 s
|
rivational_Complexity__Full_Rewriting/Der95/27.xml |
42.6 /
19.6 s
|
173.9 /
60.1 s
|
Complexity__Full_Rewriting/Endrullis_06/direct.xml |
0.5 /
0.3 s
|
13.8 /
6.9 s
|
omplexity__Full_Rewriting/Endrullis_06/linear1.xml |
241.9 /
95.0 s
|
997.4 /
297.2 s
|
omplexity__Full_Rewriting/Endrullis_06/linear2.xml |
229.7 /
60.2 s
|
915.1 /
297.2 s
|
exity__Full_Rewriting/Endrullis_06/pair3rotate.xml |
1174.3 /
295.4 s
|
807.3 /
297.2 s
|
plexity__Full_Rewriting/Endrullis_06/pair3swap.xml |
198.9 /
55.7 s
|
1025.0 /
297.2 s
|
lexity__Full_Rewriting/Endrullis_06/quadruple1.xml |
0.4 /
0.2 s
|
910.1 /
297.1 s
|
lexity__Full_Rewriting/Endrullis_06/quadruple2.xml |
0.5 /
0.3 s
|
44.8 /
26.0 s
|
onal_Complexity__Full_Rewriting/Gebhardt_06/01.xml |
141.8 /
55.5 s
|
988.8 /
297.2 s
|
onal_Complexity__Full_Rewriting/Gebhardt_06/02.xml |
138.9 /
55.5 s
|
984.0 /
297.2 s
|
onal_Complexity__Full_Rewriting/Gebhardt_06/03.xml |
170.5 /
55.6 s
|
1005.8 /
297.2 s
|
onal_Complexity__Full_Rewriting/Gebhardt_06/04.xml |
150.2 /
55.5 s
|
967.0 /
297.2 s
|
onal_Complexity__Full_Rewriting/Gebhardt_06/05.xml |
160.3 /
55.5 s
|
971.4 /
297.2 s
|
onal_Complexity__Full_Rewriting/Gebhardt_06/06.xml |
165.4 /
55.5 s
|
1004.8 /
297.2 s
|
onal_Complexity__Full_Rewriting/Gebhardt_06/07.xml |
176.0 /
55.5 s
|
1003.4 /
297.2 s
|
onal_Complexity__Full_Rewriting/Gebhardt_06/08.xml |
203.9 /
55.5 s
|
1085.9 /
297.2 s
|
onal_Complexity__Full_Rewriting/Gebhardt_06/09.xml |
161.6 /
55.4 s
|
955.0 /
297.2 s
|
onal_Complexity__Full_Rewriting/Gebhardt_06/10.xml |
196.5 /
55.6 s
|
980.4 /
297.2 s
|
onal_Complexity__Full_Rewriting/Gebhardt_06/11.xml |
198.9 /
55.4 s
|
1029.6 /
297.2 s
|
onal_Complexity__Full_Rewriting/Gebhardt_06/12.xml |
199.3 /
55.4 s
|
966.2 /
297.2 s
|
onal_Complexity__Full_Rewriting/Gebhardt_06/13.xml |
207.5 /
55.5 s
|
973.4 /
297.2 s
|
onal_Complexity__Full_Rewriting/Gebhardt_06/14.xml |
176.5 /
55.4 s
|
959.1 /
297.2 s
|
onal_Complexity__Full_Rewriting/Gebhardt_06/15.xml |
205.8 /
55.5 s
|
982.4 /
297.2 s
|
onal_Complexity__Full_Rewriting/Gebhardt_06/16.xml |
153.6 /
55.6 s
|
960.8 /
297.2 s
|
onal_Complexity__Full_Rewriting/Gebhardt_06/17.xml |
180.9 /
55.6 s
|
963.3 /
297.2 s
|
onal_Complexity__Full_Rewriting/Gebhardt_06/18.xml |
145.9 /
55.4 s
|
894.8 /
297.1 s
|
onal_Complexity__Full_Rewriting/Gebhardt_06/19.xml |
155.5 /
55.6 s
|
953.5 /
297.2 s
|
onal_Complexity__Full_Rewriting/Gebhardt_06/20.xml |
154.8 /
55.5 s
|
964.1 /
297.2 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/n002.xml |
20.3 /
10.2 s
|
832.2 /
297.1 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/n003.xml |
20.8 /
10.2 s
|
786.3 /
297.3 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/n004.xml |
20.4 /
10.2 s
|
788.1 /
297.3 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/n005.xml |
20.9 /
10.2 s
|
773.9 /
297.2 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/n006.xml |
20.9 /
10.2 s
|
706.3 /
297.1 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/n008.xml |
20.3 /
10.2 s
|
770.3 /
297.2 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/t000.xml |
80.3 /
24.9 s
|
225.7 /
60.2 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/t004.xml |
42.8 /
13.7 s
|
199.3 /
60.0 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/t006.xml |
0.3 /
0.2 s
|
6.2 /
3.7 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/t007.xml |
0.3 /
0.2 s
|
185.9 /
60.0 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/t008.xml |
64.6 /
17.4 s
|
867.3 /
217.6 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/t009.xml |
252.4 /
64.0 s
|
1178.5 /
297.7 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/t010.xml |
0.3 /
0.2 s
|
188.8 /
60.1 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/t011.xml |
8.5 /
5.8 s
|
210.6 /
60.1 s
|
ity__Full_Rewriting/HirokawaMiddeldorp_04/t012.xml |
73.7 /
23.0 s
|
216.3 /
60.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/107193.xml |
242.3 /
63.2 s
|
1123.6 /
298.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/107220.xml |
242.0 /
62.9 s
|
1118.8 /
297.7 s
|
al_Complexity__Full_Rewriting/ICFP_2010/107236.xml |
242.1 /
63.1 s
|
1118.9 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/123759.xml |
241.8 /
62.0 s
|
1118.7 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/124211.xml |
241.5 /
61.9 s
|
1119.1 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/124269.xml |
241.4 /
61.9 s
|
1118.8 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/124791.xml |
241.2 /
61.8 s
|
1118.9 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/127538.xml |
241.2 /
62.1 s
|
1118.2 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/128056.xml |
241.6 /
62.2 s
|
1117.7 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/128182.xml |
241.2 /
62.1 s
|
1116.7 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/128280.xml |
241.1 /
62.1 s
|
1110.4 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/128430.xml |
241.3 /
62.1 s
|
1121.6 /
299.1 s
|
al_Complexity__Full_Rewriting/ICFP_2010/128486.xml |
241.5 /
62.2 s
|
1116.9 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/128515.xml |
241.3 /
62.1 s
|
1117.2 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/128550.xml |
241.3 /
62.1 s
|
1118.0 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/128620.xml |
246.1 /
62.1 s
|
1109.2 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/128691.xml |
241.1 /
62.1 s
|
1125.1 /
299.7 s
|
al_Complexity__Full_Rewriting/ICFP_2010/130161.xml |
241.9 /
62.9 s
|
1118.4 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/130304.xml |
242.0 /
62.9 s
|
1119.0 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/130472.xml |
242.2 /
62.9 s
|
1119.9 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/130962.xml |
241.8 /
62.8 s
|
1118.6 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/131633.xml |
241.6 /
62.0 s
|
1117.4 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/131982.xml |
241.5 /
62.0 s
|
1113.2 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/132235.xml |
241.5 /
61.9 s
|
1118.1 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/132478.xml |
246.4 /
62.2 s
|
1116.4 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/132540.xml |
241.4 /
62.2 s
|
1118.1 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/132611.xml |
241.4 /
61.9 s
|
1119.9 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/132622.xml |
241.2 /
62.1 s
|
1117.1 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/132720.xml |
247.5 /
62.1 s
|
1118.9 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/132738.xml |
241.5 /
62.2 s
|
1118.0 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/132782.xml |
241.2 /
62.1 s
|
1117.8 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/132833.xml |
251.5 /
62.1 s
|
1112.7 /
298.1 s
|
al_Complexity__Full_Rewriting/ICFP_2010/132848.xml |
241.8 /
62.8 s
|
1117.4 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/132864.xml |
242.0 /
62.2 s
|
1119.1 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/132920.xml |
241.4 /
62.2 s
|
1119.1 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/132957.xml |
245.0 /
62.1 s
|
1106.3 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/132969.xml |
241.3 /
61.8 s
|
1117.9 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/133010.xml |
241.3 /
62.1 s
|
1117.5 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/133079.xml |
242.4 /
62.8 s
|
1123.2 /
298.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/133159.xml |
267.7 /
61.9 s
|
1118.9 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/133236.xml |
242.3 /
62.8 s
|
1121.9 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/133432.xml |
241.8 /
62.8 s
|
1120.8 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/133486.xml |
241.3 /
61.9 s
|
1118.1 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/133532.xml |
241.6 /
62.8 s
|
1118.2 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/133827.xml |
269.2 /
61.9 s
|
1116.0 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/133881.xml |
250.3 /
61.9 s
|
1115.2 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/134918.xml |
241.3 /
61.9 s
|
1118.6 /
298.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/135115.xml |
243.5 /
61.9 s
|
1118.5 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/135328.xml |
241.4 /
61.9 s
|
1118.2 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/135410.xml |
241.6 /
62.8 s
|
1117.9 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/135505.xml |
241.9 /
62.8 s
|
1116.8 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/135601.xml |
241.4 /
62.7 s
|
1117.5 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/135604.xml |
241.1 /
61.9 s
|
1128.9 /
299.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/135652.xml |
241.9 /
61.9 s
|
1114.7 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/135659.xml |
241.8 /
62.8 s
|
1122.8 /
298.4 s
|
al_Complexity__Full_Rewriting/ICFP_2010/135714.xml |
241.8 /
62.8 s
|
1125.6 /
299.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/135782.xml |
249.3 /
61.9 s
|
1119.7 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/135936.xml |
241.3 /
61.9 s
|
1121.4 /
299.2 s
|
al_Complexity__Full_Rewriting/ICFP_2010/136051.xml |
241.7 /
62.0 s
|
1125.9 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/136280.xml |
242.0 /
62.9 s
|
1117.5 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/136323.xml |
241.8 /
62.8 s
|
1119.0 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/136354.xml |
241.7 /
62.8 s
|
1117.5 /
297.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/136463.xml |
241.9 /
62.8 s
|
1117.7 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/136497.xml |
241.8 /
62.8 s
|
1122.9 /
297.7 s
|
al_Complexity__Full_Rewriting/ICFP_2010/136534.xml |
242.0 /
62.7 s
|
1122.3 /
298.4 s
|
al_Complexity__Full_Rewriting/ICFP_2010/136562.xml |
241.3 /
61.9 s
|
1117.7 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/136571.xml |
241.6 /
62.8 s
|
1118.0 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/136601.xml |
242.0 /
62.9 s
|
1123.1 /
299.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/136623.xml |
241.1 /
61.8 s
|
1121.0 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/136693.xml |
241.8 /
62.8 s
|
1119.5 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/136934.xml |
242.1 /
62.9 s
|
1121.0 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/137087.xml |
241.8 /
62.8 s
|
1116.3 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/137136.xml |
241.8 /
62.8 s
|
1117.7 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/137316.xml |
242.0 /
62.9 s
|
1127.8 /
300.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/137404.xml |
241.1 /
61.8 s
|
1118.3 /
298.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/137621.xml |
241.9 /
62.8 s
|
1117.9 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/137623.xml |
241.5 /
61.9 s
|
1119.3 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/137715.xml |
241.0 /
62.8 s
|
1120.8 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/137799.xml |
242.0 /
62.9 s
|
1119.4 /
298.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/137809.xml |
241.4 /
61.9 s
|
1119.9 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/137956.xml |
241.7 /
62.8 s
|
1117.7 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/138089.xml |
242.2 /
62.9 s
|
1118.4 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/138142.xml |
241.3 /
61.9 s
|
1116.3 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/138194.xml |
241.3 /
61.8 s
|
1112.7 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/138254.xml |
241.2 /
61.9 s
|
1119.9 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/138269.xml |
241.1 /
61.8 s
|
1119.7 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/138330.xml |
241.1 /
61.8 s
|
1118.0 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/138468.xml |
245.1 /
63.4 s
|
1121.3 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/138477.xml |
241.6 /
62.0 s
|
1123.1 /
300.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/138993.xml |
241.1 /
62.1 s
|
1116.7 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/139004.xml |
249.4 /
62.1 s
|
1116.0 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/139018.xml |
241.1 /
62.1 s
|
1104.8 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/139025.xml |
244.1 /
62.2 s
|
1116.7 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/139036.xml |
241.2 /
62.1 s
|
1121.0 /
298.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/139100.xml |
241.4 /
62.1 s
|
1119.0 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/139163.xml |
241.7 /
62.1 s
|
1119.0 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/139167.xml |
247.5 /
62.1 s
|
1117.2 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/139174.xml |
241.4 /
62.2 s
|
1121.9 /
298.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/139180.xml |
240.9 /
62.0 s
|
1118.1 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/139185.xml |
241.5 /
62.2 s
|
1117.0 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/139190.xml |
241.0 /
62.1 s
|
1123.3 /
298.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/139214.xml |
241.2 /
62.1 s
|
1117.9 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/139236.xml |
241.4 /
62.1 s
|
1118.7 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/139256.xml |
241.3 /
62.1 s
|
1117.7 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/139282.xml |
241.1 /
62.1 s
|
1118.3 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/139310.xml |
241.2 /
62.1 s
|
1114.7 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/139378.xml |
241.5 /
62.2 s
|
1121.4 /
298.7 s
|
al_Complexity__Full_Rewriting/ICFP_2010/140287.xml |
241.6 /
62.2 s
|
1116.4 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/140318.xml |
241.2 /
62.1 s
|
1118.3 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/140359.xml |
241.4 /
62.2 s
|
1118.9 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/140631.xml |
240.2 /
61.1 s
|
1117.1 /
297.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/140639.xml |
240.6 /
61.4 s
|
1118.0 /
297.7 s
|
al_Complexity__Full_Rewriting/ICFP_2010/140654.xml |
482.7 /
121.3 s
|
1146.0 /
298.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/140659.xml |
240.7 /
61.4 s
|
1119.5 /
297.7 s
|
al_Complexity__Full_Rewriting/ICFP_2010/140664.xml |
240.9 /
61.6 s
|
1118.7 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/142142.xml |
240.6 /
61.3 s
|
1117.1 /
297.7 s
|
al_Complexity__Full_Rewriting/ICFP_2010/142146.xml |
241.0 /
61.7 s
|
1117.7 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/142150.xml |
240.7 /
61.4 s
|
1119.2 /
297.7 s
|
al_Complexity__Full_Rewriting/ICFP_2010/142157.xml |
240.7 /
61.4 s
|
1117.7 /
297.7 s
|
al_Complexity__Full_Rewriting/ICFP_2010/147437.xml |
244.6 /
65.8 s
|
1108.0 /
298.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/148543.xml |
245.1 /
66.2 s
|
1127.1 /
299.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/149251.xml |
244.9 /
65.4 s
|
1120.6 /
297.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/149277.xml |
249.8 /
65.8 s
|
1120.6 /
297.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/149297.xml |
245.6 /
66.6 s
|
1113.7 /
298.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/149319.xml |
246.8 /
65.2 s
|
1120.5 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/149361.xml |
250.3 /
65.6 s
|
1120.3 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/149415.xml |
244.8 /
65.9 s
|
1120.3 /
297.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/149633.xml |
244.7 /
65.4 s
|
1119.1 /
297.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/149713.xml |
244.6 /
65.9 s
|
1119.4 /
297.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/149849.xml |
313.7 /
66.2 s
|
1118.5 /
297.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/149915.xml |
244.5 /
65.7 s
|
1122.9 /
298.4 s
|
al_Complexity__Full_Rewriting/ICFP_2010/150067.xml |
244.7 /
65.8 s
|
1128.7 /
300.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/150188.xml |
244.9 /
66.1 s
|
1119.8 /
297.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/150258.xml |
244.7 /
66.0 s
|
1121.4 /
297.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/150468.xml |
245.2 /
66.3 s
|
1107.5 /
298.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/150630.xml |
270.4 /
65.7 s
|
1120.6 /
297.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/150725.xml |
244.7 /
65.8 s
|
1119.7 /
297.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/150815.xml |
245.5 /
66.6 s
|
1127.8 /
299.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/150839.xml |
243.7 /
64.6 s
|
1119.8 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/150877.xml |
244.5 /
65.6 s
|
1120.5 /
297.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/151247.xml |
245.3 /
66.3 s
|
1120.4 /
297.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/152694.xml |
242.0 /
62.9 s
|
1117.0 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/152786.xml |
242.1 /
62.9 s
|
1126.0 /
299.4 s
|
al_Complexity__Full_Rewriting/ICFP_2010/152865.xml |
242.1 /
62.8 s
|
1117.8 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/152949.xml |
242.2 /
62.9 s
|
1120.3 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/153034.xml |
242.1 /
62.9 s
|
1116.8 /
297.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/153090.xml |
241.8 /
62.8 s
|
1115.9 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/153170.xml |
242.1 /
62.9 s
|
1121.0 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/153243.xml |
242.0 /
62.8 s
|
1116.6 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/153288.xml |
241.7 /
62.8 s
|
1121.1 /
298.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/153371.xml |
241.9 /
62.8 s
|
1117.4 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/153444.xml |
242.0 /
62.9 s
|
1117.3 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/157150.xml |
239.9 /
61.0 s
|
1156.0 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/157161.xml |
241.0 /
61.3 s
|
1185.7 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/157275.xml |
241.9 /
62.8 s
|
1118.2 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/157388.xml |
241.0 /
61.3 s
|
1185.6 /
297.7 s
|
al_Complexity__Full_Rewriting/ICFP_2010/157436.xml |
240.5 /
61.0 s
|
1135.4 /
297.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/157466.xml |
242.1 /
62.9 s
|
1124.0 /
299.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/157593.xml |
860.8 /
214.8 s
|
1176.9 /
297.7 s
|
al_Complexity__Full_Rewriting/ICFP_2010/157603.xml |
242.0 /
62.9 s
|
1118.3 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/157713.xml |
241.6 /
62.8 s
|
1116.8 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/158152.xml |
240.8 /
61.1 s
|
1159.8 /
297.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/158208.xml |
241.8 /
62.8 s
|
1117.5 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/158342.xml |
242.3 /
62.9 s
|
1123.3 /
298.7 s
|
al_Complexity__Full_Rewriting/ICFP_2010/158477.xml |
241.7 /
62.8 s
|
1117.6 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/158620.xml |
241.8 /
62.8 s
|
1118.1 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/159731.xml |
687.4 /
175.2 s
|
1089.3 /
297.5 s
|
al_Complexity__Full_Rewriting/ICFP_2010/160068.xml |
250.0 /
62.9 s
|
1119.7 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/160210.xml |
242.6 /
63.7 s
|
1120.0 /
297.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/160234.xml |
1175.8 /
296.5 s
|
1135.1 /
297.4 s
|
al_Complexity__Full_Rewriting/ICFP_2010/160254.xml |
242.7 /
63.2 s
|
1123.9 /
299.1 s
|
al_Complexity__Full_Rewriting/ICFP_2010/160263.xml |
744.7 /
188.5 s
|
1098.4 /
297.2 s
|
al_Complexity__Full_Rewriting/ICFP_2010/160324.xml |
271.2 /
63.1 s
|
1120.8 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/160364.xml |
242.8 /
63.9 s
|
1120.3 /
297.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/160398.xml |
242.0 /
63.0 s
|
1119.6 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/160427.xml |
242.2 /
63.2 s
|
1118.8 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/160462.xml |
242.7 /
63.3 s
|
1119.5 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/160475.xml |
242.3 /
63.4 s
|
1121.3 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/160660.xml |
242.2 /
63.0 s
|
1119.9 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/161519.xml |
242.3 /
63.2 s
|
1125.4 /
299.3 s
|
al_Complexity__Full_Rewriting/ICFP_2010/161533.xml |
242.5 /
63.7 s
|
1131.1 /
300.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/161593.xml |
241.9 /
63.0 s
|
1119.5 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/161864.xml |
242.0 /
62.8 s
|
1118.2 /
297.7 s
|
al_Complexity__Full_Rewriting/ICFP_2010/161917.xml |
242.3 /
63.4 s
|
1120.8 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/161930.xml |
242.1 /
63.1 s
|
1110.8 /
297.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/162016.xml |
249.7 /
63.3 s
|
1119.4 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/162075.xml |
242.5 /
63.5 s
|
1120.3 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/162095.xml |
242.6 /
63.0 s
|
1126.2 /
299.7 s
|
al_Complexity__Full_Rewriting/ICFP_2010/162244.xml |
242.0 /
63.1 s
|
1125.7 /
299.5 s
|
al_Complexity__Full_Rewriting/ICFP_2010/165713.xml |
242.1 /
63.1 s
|
1120.0 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/165755.xml |
242.1 /
63.1 s
|
1119.8 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/165904.xml |
250.6 /
63.4 s
|
1120.7 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/165936.xml |
251.6 /
63.3 s
|
1118.0 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/165975.xml |
242.3 /
63.3 s
|
1120.5 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/166001.xml |
242.6 /
63.6 s
|
1121.2 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/166465.xml |
241.9 /
63.0 s
|
1119.2 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/166493.xml |
242.5 /
63.3 s
|
1127.3 /
299.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/166558.xml |
242.4 /
63.5 s
|
1122.0 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/166848.xml |
242.5 /
63.5 s
|
1119.9 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/167041.xml |
242.2 /
63.1 s
|
1121.2 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/167087.xml |
251.9 /
63.5 s
|
1118.9 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/167240.xml |
242.8 /
63.1 s
|
1119.8 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/167294.xml |
242.1 /
63.3 s
|
1120.8 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/167310.xml |
242.1 /
63.0 s
|
1121.0 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/167391.xml |
242.7 /
63.6 s
|
1121.8 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/167433.xml |
242.4 /
63.5 s
|
1121.5 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/167452.xml |
242.3 /
63.4 s
|
1121.2 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/167526.xml |
241.9 /
62.9 s
|
1124.2 /
298.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/167636.xml |
242.4 /
63.7 s
|
1121.9 /
297.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/167742.xml |
242.7 /
63.6 s
|
1121.5 /
297.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/180915.xml |
242.9 /
63.4 s
|
1118.4 /
298.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/182946.xml |
242.9 /
63.4 s
|
1117.8 /
298.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/183803.xml |
242.7 /
63.4 s
|
1119.4 /
298.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/184957.xml |
243.3 /
63.5 s
|
1128.0 /
300.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/185453.xml |
242.9 /
63.4 s
|
1119.3 /
298.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/185628.xml |
243.2 /
63.5 s
|
1116.6 /
298.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/186023.xml |
243.2 /
63.5 s
|
1127.5 /
300.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/186222.xml |
243.4 /
63.5 s
|
1118.6 /
298.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/186333.xml |
242.9 /
63.4 s
|
1119.9 /
298.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/186617.xml |
243.1 /
63.4 s
|
1118.0 /
298.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/186775.xml |
242.6 /
63.3 s
|
1122.1 /
298.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/186810.xml |
243.3 /
63.5 s
|
1119.0 /
298.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/186919.xml |
242.7 /
63.3 s
|
1118.2 /
298.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/186973.xml |
242.9 /
63.4 s
|
1124.8 /
299.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/187254.xml |
242.7 /
63.4 s
|
1116.9 /
298.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/187837.xml |
451.8 /
63.4 s
|
1118.3 /
298.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/188004.xml |
244.3 /
63.3 s
|
1120.1 /
298.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/188238.xml |
242.9 /
63.4 s
|
1118.1 /
298.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/188261.xml |
243.3 /
63.5 s
|
1128.7 /
300.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/188296.xml |
243.0 /
63.5 s
|
1118.4 /
298.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/188674.xml |
242.7 /
63.3 s
|
1123.9 /
299.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/188696.xml |
249.3 /
63.4 s
|
1119.0 /
298.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/211471.xml |
287.8 /
74.0 s
|
1121.1 /
298.1 s
|
al_Complexity__Full_Rewriting/ICFP_2010/211639.xml |
353.5 /
94.5 s
|
1121.9 /
297.7 s
|
al_Complexity__Full_Rewriting/ICFP_2010/211857.xml |
1165.0 /
296.2 s
|
988.1 /
297.3 s
|
al_Complexity__Full_Rewriting/ICFP_2010/211915.xml |
322.2 /
81.5 s
|
1136.9 /
297.3 s
|
al_Complexity__Full_Rewriting/ICFP_2010/211960.xml |
513.5 /
129.9 s
|
1122.1 /
297.3 s
|
al_Complexity__Full_Rewriting/ICFP_2010/211978.xml |
1166.8 /
296.7 s
|
1148.5 /
297.4 s
|
al_Complexity__Full_Rewriting/ICFP_2010/212026.xml |
430.4 /
108.9 s
|
1119.8 /
297.3 s
|
al_Complexity__Full_Rewriting/ICFP_2010/212037.xml |
478.6 /
121.2 s
|
1079.5 /
297.3 s
|
al_Complexity__Full_Rewriting/ICFP_2010/212043.xml |
354.2 /
87.0 s
|
1145.2 /
297.4 s
|
al_Complexity__Full_Rewriting/ICFP_2010/212062.xml |
901.2 /
222.8 s
|
981.9 /
297.2 s
|
al_Complexity__Full_Rewriting/ICFP_2010/212094.xml |
417.1 /
105.6 s
|
1124.8 /
297.3 s
|
al_Complexity__Full_Rewriting/ICFP_2010/212117.xml |
550.8 /
139.4 s
|
1134.1 /
297.4 s
|
al_Complexity__Full_Rewriting/ICFP_2010/212189.xml |
498.0 /
123.5 s
|
1118.4 /
297.2 s
|
al_Complexity__Full_Rewriting/ICFP_2010/212263.xml |
1171.9 /
296.5 s
|
1144.6 /
297.3 s
|
al_Complexity__Full_Rewriting/ICFP_2010/212308.xml |
303.0 /
76.7 s
|
1147.2 /
297.5 s
|
al_Complexity__Full_Rewriting/ICFP_2010/212364.xml |
315.4 /
79.8 s
|
1163.9 /
297.5 s
|
al_Complexity__Full_Rewriting/ICFP_2010/212421.xml |
1037.6 /
262.3 s
|
1121.4 /
297.3 s
|
al_Complexity__Full_Rewriting/ICFP_2010/212480.xml |
1171.0 /
296.2 s
|
1111.3 /
297.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/212534.xml |
1095.8 /
271.7 s
|
1131.4 /
297.4 s
|
al_Complexity__Full_Rewriting/ICFP_2010/212612.xml |
239.7 /
60.7 s
|
1164.6 /
297.5 s
|
al_Complexity__Full_Rewriting/ICFP_2010/212693.xml |
668.6 /
169.1 s
|
903.4 /
297.3 s
|
al_Complexity__Full_Rewriting/ICFP_2010/212774.xml |
749.4 /
186.5 s
|
1130.4 /
297.3 s
|
al_Complexity__Full_Rewriting/ICFP_2010/212795.xml |
619.4 /
156.7 s
|
1128.2 /
297.5 s
|
al_Complexity__Full_Rewriting/ICFP_2010/212892.xml |
811.5 /
199.1 s
|
1120.0 /
297.2 s
|
al_Complexity__Full_Rewriting/ICFP_2010/213051.xml |
1183.3 /
296.5 s
|
1133.3 /
297.4 s
|
al_Complexity__Full_Rewriting/ICFP_2010/213147.xml |
339.4 /
86.0 s
|
1150.7 /
297.5 s
|
al_Complexity__Full_Rewriting/ICFP_2010/213218.xml |
1181.4 /
296.3 s
|
1131.2 /
297.3 s
|
al_Complexity__Full_Rewriting/ICFP_2010/213281.xml |
982.5 /
248.1 s
|
938.3 /
297.4 s
|
al_Complexity__Full_Rewriting/ICFP_2010/213407.xml |
1172.7 /
297.4 s
|
1095.4 /
297.3 s
|
al_Complexity__Full_Rewriting/ICFP_2010/213437.xml |
454.7 /
110.5 s
|
1150.1 /
297.5 s
|
al_Complexity__Full_Rewriting/ICFP_2010/213537.xml |
946.1 /
235.1 s
|
1141.9 /
297.4 s
|
al_Complexity__Full_Rewriting/ICFP_2010/213560.xml |
791.8 /
199.0 s
|
1148.5 /
297.5 s
|
al_Complexity__Full_Rewriting/ICFP_2010/213611.xml |
392.4 /
106.0 s
|
1134.1 /
297.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/213719.xml |
592.2 /
149.9 s
|
1146.0 /
297.4 s
|
al_Complexity__Full_Rewriting/ICFP_2010/213865.xml |
419.1 /
104.8 s
|
1124.0 /
297.5 s
|
al_Complexity__Full_Rewriting/ICFP_2010/214011.xml |
1183.1 /
296.3 s
|
1129.5 /
297.2 s
|
al_Complexity__Full_Rewriting/ICFP_2010/214091.xml |
543.3 /
137.5 s
|
1105.3 /
297.2 s
|
al_Complexity__Full_Rewriting/ICFP_2010/214169.xml |
922.7 /
229.1 s
|
1149.8 /
297.4 s
|
al_Complexity__Full_Rewriting/ICFP_2010/214183.xml |
240.0 /
60.8 s
|
1151.4 /
299.4 s
|
al_Complexity__Full_Rewriting/ICFP_2010/214261.xml |
545.4 /
138.0 s
|
1131.7 /
297.5 s
|
al_Complexity__Full_Rewriting/ICFP_2010/214320.xml |
1169.1 /
296.5 s
|
1124.9 /
297.2 s
|
al_Complexity__Full_Rewriting/ICFP_2010/230780.xml |
447.9 /
123.2 s
|
1139.8 /
297.7 s
|
al_Complexity__Full_Rewriting/ICFP_2010/230819.xml |
300.4 /
77.6 s
|
1122.6 /
298.2 s
|
al_Complexity__Full_Rewriting/ICFP_2010/230948.xml |
328.0 /
86.3 s
|
1123.7 /
298.7 s
|
al_Complexity__Full_Rewriting/ICFP_2010/231043.xml |
420.6 /
115.8 s
|
1144.3 /
297.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/231149.xml |
313.1 /
81.4 s
|
1118.5 /
297.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/231230.xml |
428.4 /
116.5 s
|
1134.5 /
297.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/231300.xml |
344.9 /
91.1 s
|
1117.3 /
297.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/231378.xml |
393.8 /
106.6 s
|
1131.5 /
297.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/231480.xml |
450.4 /
124.2 s
|
1149.9 /
297.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/231604.xml |
257.1 /
78.0 s
|
1171.0 /
297.9 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/24100.xml |
240.9 /
61.3 s
|
1109.0 /
297.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/246924.xml |
356.9 /
94.9 s
|
1122.4 /
298.1 s
|
al_Complexity__Full_Rewriting/ICFP_2010/247020.xml |
256.8 /
77.9 s
|
1182.9 /
297.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/247254.xml |
439.1 /
120.9 s
|
1144.8 /
297.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/247504.xml |
364.7 /
97.0 s
|
1121.5 /
297.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/247906.xml |
392.0 /
106.2 s
|
1131.5 /
297.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/247992.xml |
395.7 /
107.1 s
|
1132.6 /
298.2 s
|
al_Complexity__Full_Rewriting/ICFP_2010/248060.xml |
356.2 /
94.7 s
|
1123.5 /
298.1 s
|
al_Complexity__Full_Rewriting/ICFP_2010/249386.xml |
361.3 /
95.8 s
|
1120.8 /
297.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/249459.xml |
400.4 /
108.5 s
|
1140.9 /
297.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/249663.xml |
448.5 /
123.1 s
|
1132.6 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/25192.xml |
0.4 /
0.3 s
|
920.3 /
297.4 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/25388.xml |
241.6 /
62.2 s
|
1119.5 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/25395.xml |
241.7 /
62.2 s
|
1117.0 /
297.8 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/25409.xml |
241.7 /
62.2 s
|
1119.8 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/25416.xml |
241.4 /
62.1 s
|
1118.4 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/25422.xml |
241.5 /
61.9 s
|
1119.4 /
298.8 s
|
al_Complexity__Full_Rewriting/ICFP_2010/254704.xml |
253.7 /
74.9 s
|
1122.4 /
297.9 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/25711.xml |
241.8 /
62.3 s
|
1119.7 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/25726.xml |
241.5 /
62.0 s
|
1117.7 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/25731.xml |
1.2 /
0.4 s
|
1159.0 /
300.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/25734.xml |
241.6 /
62.1 s
|
1118.4 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/25736.xml |
241.5 /
62.1 s
|
1117.8 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/25743.xml |
241.8 /
62.2 s
|
1111.9 /
297.8 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/25775.xml |
247.4 /
62.2 s
|
1105.4 /
297.8 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/25808.xml |
241.8 /
62.3 s
|
1118.5 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/25849.xml |
241.3 /
62.1 s
|
1119.2 /
297.7 s
|
al_Complexity__Full_Rewriting/ICFP_2010/259405.xml |
253.9 /
75.1 s
|
1121.4 /
298.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/259625.xml |
253.9 /
75.1 s
|
1122.2 /
297.9 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26069.xml |
2.1 /
0.7 s
|
1101.9 /
297.5 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26103.xml |
2.0 /
0.7 s
|
1102.1 /
297.5 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26105.xml |
241.2 /
61.9 s
|
1108.0 /
297.8 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26110.xml |
241.5 /
62.1 s
|
1118.7 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26116.xml |
241.5 /
62.1 s
|
1118.4 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26123.xml |
2.8 /
0.9 s
|
1103.4 /
297.5 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26127.xml |
241.6 /
62.2 s
|
1119.6 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26130.xml |
2.5 /
0.8 s
|
1100.1 /
299.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26132.xml |
241.6 /
62.3 s
|
1119.5 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26186.xml |
4.2 /
1.3 s
|
1094.8 /
297.5 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26226.xml |
3.9 /
1.3 s
|
1094.5 /
297.5 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26291.xml |
4.5 /
1.4 s
|
1093.9 /
297.5 s
|
al_Complexity__Full_Rewriting/ICFP_2010/262998.xml |
253.5 /
74.6 s
|
1123.2 /
297.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/263745.xml |
254.1 /
75.2 s
|
1125.4 /
298.0 s
|
al_Complexity__Full_Rewriting/ICFP_2010/264033.xml |
98.5 /
25.5 s
|
495.6 /
193.6 s
|
al_Complexity__Full_Rewriting/ICFP_2010/264370.xml |
0.4 /
0.3 s
|
445.0 /
209.9 s
|
al_Complexity__Full_Rewriting/ICFP_2010/264405.xml |
0.3 /
0.2 s
|
377.6 /
181.3 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26683.xml |
5.6 /
1.8 s
|
1094.5 /
297.5 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26741.xml |
241.4 /
62.1 s
|
1120.3 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26845.xml |
241.4 /
62.1 s
|
1120.2 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26862.xml |
241.4 /
62.0 s
|
1119.6 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26871.xml |
241.6 /
62.2 s
|
1116.5 /
297.8 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26875.xml |
241.6 /
62.2 s
|
1121.0 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26879.xml |
241.7 /
62.1 s
|
1119.3 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26882.xml |
241.8 /
62.3 s
|
1121.1 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26886.xml |
250.9 /
61.9 s
|
1116.9 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26896.xml |
241.5 /
62.1 s
|
1118.6 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26903.xml |
241.2 /
62.0 s
|
1119.3 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26910.xml |
241.7 /
62.2 s
|
1115.1 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26916.xml |
241.4 /
62.0 s
|
1118.8 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26919.xml |
241.8 /
62.3 s
|
1121.5 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26923.xml |
241.7 /
62.1 s
|
1118.9 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26927.xml |
241.7 /
62.2 s
|
1120.6 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26931.xml |
244.0 /
62.2 s
|
1125.9 /
299.4 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26933.xml |
241.7 /
62.2 s
|
1118.3 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26940.xml |
241.5 /
62.1 s
|
1119.7 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26943.xml |
240.9 /
62.0 s
|
1125.1 /
299.1 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26946.xml |
241.8 /
62.2 s
|
1119.6 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26949.xml |
241.6 /
62.1 s
|
1118.3 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26951.xml |
241.4 /
62.0 s
|
1117.7 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26954.xml |
241.8 /
62.1 s
|
1120.5 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26957.xml |
241.6 /
62.0 s
|
1118.9 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26960.xml |
241.5 /
62.1 s
|
1117.2 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26965.xml |
241.4 /
62.1 s
|
1120.0 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26969.xml |
241.3 /
62.1 s
|
1118.9 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26972.xml |
241.8 /
62.3 s
|
1118.8 /
298.5 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26974.xml |
241.7 /
62.1 s
|
1119.2 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26976.xml |
241.5 /
62.0 s
|
1122.7 /
299.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26978.xml |
241.3 /
61.9 s
|
1129.0 /
300.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26980.xml |
241.7 /
62.0 s
|
1112.5 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26986.xml |
241.2 /
62.0 s
|
1119.7 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26993.xml |
241.6 /
62.2 s
|
1107.5 /
297.8 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/26998.xml |
241.7 /
62.2 s
|
1119.4 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/27001.xml |
241.2 /
62.1 s
|
1122.1 /
298.4 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/27003.xml |
241.5 /
62.1 s
|
1118.6 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/27006.xml |
241.5 /
62.0 s
|
1118.3 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/27009.xml |
241.5 /
62.2 s
|
1107.2 /
297.8 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/27013.xml |
241.7 /
62.1 s
|
1127.4 /
299.8 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/27015.xml |
241.0 /
61.9 s
|
1118.1 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/27019.xml |
241.5 /
62.1 s
|
1112.9 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/27023.xml |
241.8 /
62.1 s
|
1123.6 /
299.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/27026.xml |
241.4 /
62.1 s
|
1119.1 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/27028.xml |
268.0 /
62.1 s
|
1119.1 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/27030.xml |
7.6 /
2.3 s
|
1093.7 /
297.5 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/27034.xml |
241.3 /
62.1 s
|
1117.8 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/27036.xml |
241.7 /
62.2 s
|
1119.6 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/27039.xml |
241.6 /
62.0 s
|
1119.0 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/27131.xml |
7.3 /
2.3 s
|
1098.2 /
298.5 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/27134.xml |
8.0 /
2.5 s
|
1092.4 /
297.5 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/27213.xml |
10.0 /
3.1 s
|
1094.5 /
297.5 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/27235.xml |
9.6 /
3.0 s
|
1094.1 /
297.5 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/27280.xml |
10.1 /
3.2 s
|
1096.6 /
298.1 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/28293.xml |
13.0 /
4.1 s
|
1095.2 /
297.5 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/28464.xml |
12.6 /
4.1 s
|
1093.7 /
297.5 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/28643.xml |
13.8 /
4.5 s
|
1094.2 /
297.5 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/28838.xml |
14.7 /
4.8 s
|
1093.8 /
297.5 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/29415.xml |
244.2 /
65.6 s
|
1120.7 /
297.9 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3268.xml |
4.4 /
1.3 s
|
736.7 /
297.1 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3336.xml |
19.2 /
5.1 s
|
678.8 /
297.1 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3385.xml |
8.0 /
2.2 s
|
922.3 /
297.1 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3450.xml |
663.5 /
167.9 s
|
1124.3 /
298.1 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3467.xml |
240.7 /
61.1 s
|
1135.4 /
297.9 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3498.xml |
637.6 /
161.3 s
|
1137.3 /
298.0 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3533.xml |
240.2 /
60.9 s
|
1121.4 /
298.0 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3562.xml |
1169.9 /
296.0 s
|
1120.0 /
299.6 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3589.xml |
619.9 /
156.8 s
|
1111.9 /
297.9 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3633.xml |
240.8 /
61.1 s
|
1157.6 /
297.9 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3680.xml |
406.1 /
102.9 s
|
1126.5 /
298.0 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3705.xml |
240.7 /
61.1 s
|
1100.7 /
298.0 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3729.xml |
287.3 /
61.1 s
|
1100.6 /
298.1 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3746.xml |
639.1 /
161.8 s
|
1115.5 /
298.0 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3762.xml |
240.8 /
61.1 s
|
1141.2 /
297.9 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3770.xml |
478.6 /
120.6 s
|
1114.0 /
297.5 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3786.xml |
355.9 /
90.0 s
|
1113.6 /
297.9 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3817.xml |
240.7 /
61.1 s
|
1115.1 /
297.9 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3831.xml |
420.0 /
106.4 s
|
1178.0 /
298.0 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3842.xml |
241.2 /
61.1 s
|
1111.3 /
297.9 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3856.xml |
240.9 /
61.1 s
|
1116.0 /
300.0 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3861.xml |
240.6 /
61.1 s
|
1101.4 /
298.0 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3865.xml |
240.8 /
61.1 s
|
1119.5 /
298.0 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3916.xml |
240.4 /
61.0 s
|
1127.9 /
297.9 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3927.xml |
253.2 /
74.5 s
|
1126.4 /
299.8 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3930.xml |
240.7 /
61.0 s
|
1124.8 /
298.0 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3939.xml |
240.9 /
61.1 s
|
1105.9 /
298.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/39830.xml |
249.9 /
62.8 s
|
1126.7 /
300.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/39849.xml |
1184.4 /
296.6 s
|
1037.0 /
297.2 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3989.xml |
245.5 /
60.7 s
|
1127.0 /
298.0 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/3995.xml |
240.5 /
61.0 s
|
1152.7 /
297.9 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4002.xml |
11.8 /
3.2 s
|
1092.9 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/40033.xml |
241.8 /
62.8 s
|
1118.2 /
297.8 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/40093.xml |
1.7 /
0.6 s
|
1092.3 /
297.8 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4017.xml |
240.6 /
61.1 s
|
1101.5 /
298.0 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4029.xml |
444.0 /
112.4 s
|
1107.5 /
298.0 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4036.xml |
240.5 /
61.1 s
|
1178.1 /
297.9 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4046.xml |
3.4 /
1.0 s
|
865.3 /
297.7 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4051.xml |
240.6 /
61.1 s
|
1120.5 /
298.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/40540.xml |
241.6 /
62.7 s
|
1117.8 /
297.8 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4057.xml |
1040.8 /
261.7 s
|
1125.5 /
297.9 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/40708.xml |
4.7 /
1.4 s
|
1089.8 /
298.1 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4074.xml |
240.6 /
61.1 s
|
1122.6 /
298.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/40976.xml |
241.8 /
62.8 s
|
1121.2 /
298.8 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4106.xml |
748.0 /
189.2 s
|
1132.6 /
298.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/41378.xml |
248.8 /
70.0 s
|
1114.8 /
297.8 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4141.xml |
240.4 /
61.0 s
|
1155.4 /
297.9 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/41427.xml |
242.1 /
62.9 s
|
1118.4 /
297.8 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4157.xml |
240.9 /
61.1 s
|
1103.7 /
298.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/41688.xml |
241.9 /
62.8 s
|
1119.5 /
297.8 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4181.xml |
240.3 /
61.0 s
|
1128.8 /
298.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/41838.xml |
240.8 /
61.1 s
|
1153.0 /
297.9 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/41843.xml |
240.5 /
61.0 s
|
1165.0 /
298.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/41865.xml |
242.3 /
62.9 s
|
1118.9 /
297.8 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4200.xml |
240.7 /
61.1 s
|
1138.8 /
297.9 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4206.xml |
253.3 /
74.5 s
|
1116.6 /
297.9 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/42170.xml |
242.0 /
62.9 s
|
1128.1 /
299.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/42321.xml |
241.9 /
62.9 s
|
1118.5 /
297.8 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/42466.xml |
242.0 /
62.8 s
|
1117.0 /
297.8 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4248.xml |
422.3 /
104.7 s
|
1162.0 /
298.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/42683.xml |
241.7 /
62.8 s
|
1118.3 /
297.8 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4282.xml |
240.5 /
61.0 s
|
1102.0 /
298.0 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4314.xml |
944.9 /
235.5 s
|
1141.8 /
297.9 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/43266.xml |
241.7 /
62.8 s
|
1118.4 /
298.1 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/43603.xml |
251.4 /
72.5 s
|
1119.2 /
297.9 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/43621.xml |
241.6 /
62.7 s
|
1119.3 /
297.8 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/43650.xml |
251.1 /
72.4 s
|
1118.4 /
297.8 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4374.xml |
240.6 /
61.0 s
|
1098.8 /
298.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/43987.xml |
241.8 /
62.8 s
|
1122.3 /
298.7 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4412.xml |
971.1 /
241.4 s
|
1146.6 /
297.9 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/44332.xml |
242.2 /
62.8 s
|
1118.3 /
297.8 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4484.xml |
240.6 /
61.0 s
|
1102.3 /
298.0 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4487.xml |
246.2 /
61.1 s
|
1118.1 /
299.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/45720.xml |
240.9 /
61.2 s
|
1184.4 /
298.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/45757.xml |
240.5 /
61.0 s
|
1161.5 /
298.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/45970.xml |
243.1 /
64.0 s
|
1107.7 /
297.8 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4816.xml |
240.5 /
61.1 s
|
1128.3 /
298.0 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4819.xml |
240.6 /
61.1 s
|
1187.5 /
300.0 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4824.xml |
1172.2 /
296.6 s
|
1103.8 /
298.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/48262.xml |
240.9 /
61.2 s
|
1184.8 /
297.9 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/48267.xml |
240.6 /
61.2 s
|
1185.9 /
297.8 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4827.xml |
628.5 /
159.0 s
|
1167.5 /
297.9 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/48328.xml |
240.7 /
61.2 s
|
1186.1 /
297.9 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/48374.xml |
241.0 /
61.3 s
|
1186.3 /
297.8 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4840.xml |
1174.1 /
296.7 s
|
1131.6 /
298.0 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4847.xml |
240.7 /
61.1 s
|
1107.3 /
299.9 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4854.xml |
240.8 /
61.1 s
|
1118.6 /
298.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/48686.xml |
252.6 /
65.1 s
|
1111.3 /
297.8 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4893.xml |
817.1 /
206.5 s
|
1113.0 /
297.9 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4920.xml |
240.8 /
61.1 s
|
1129.9 /
297.9 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4934.xml |
240.8 /
61.1 s
|
1113.5 /
297.9 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4938.xml |
240.7 /
61.1 s
|
1118.8 /
298.0 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4943.xml |
772.8 /
194.0 s
|
1142.9 /
298.0 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4953.xml |
240.4 /
61.0 s
|
1106.0 /
298.0 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4964.xml |
243.5 /
61.1 s
|
1127.1 /
297.9 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4970.xml |
980.0 /
240.2 s
|
1133.5 /
298.0 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4979.xml |
365.3 /
92.4 s
|
1135.7 /
298.9 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/4991.xml |
240.6 /
61.0 s
|
1140.1 /
297.9 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/5011.xml |
609.5 /
154.2 s
|
1140.2 /
298.1 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/5076.xml |
1172.3 /
296.4 s
|
1143.1 /
297.9 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/50904.xml |
242.3 /
63.4 s
|
1121.3 /
297.7 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/5109.xml |
241.0 /
61.2 s
|
1107.0 /
298.0 s
|
onal_Complexity__Full_Rewriting/ICFP_2010/5130.xml |
240.9 /
61.1 s
|
1143.4 /
298.1 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/51424.xml |
251.2 /
72.5 s
|
1118.3 /
297.8 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/51577.xml |
251.4 /
72.6 s
|
1116.1 /
297.8 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/51842.xml |
251.3 /
72.4 s
|
1117.0 /
298.1 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/53216.xml |
251.2 /
72.5 s
|
1116.2 /
298.1 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/54097.xml |
250.1 /
71.3 s
|
1114.6 /
297.8 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/54532.xml |
255.1 /
76.4 s
|
1186.3 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/54622.xml |
260.8 /
76.4 s
|
1195.6 /
300.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/56144.xml |
244.6 /
62.8 s
|
1124.7 /
299.5 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/57132.xml |
248.2 /
61.2 s
|
1119.6 /
298.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/57278.xml |
240.9 /
61.3 s
|
1161.2 /
297.8 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/57355.xml |
651.5 /
164.8 s
|
1163.7 /
297.4 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/57453.xml |
240.5 /
61.2 s
|
1109.0 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/57799.xml |
563.3 /
142.7 s
|
1195.6 /
300.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/57852.xml |
244.9 /
66.0 s
|
1120.2 /
297.8 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/58125.xml |
244.8 /
66.0 s
|
1118.6 /
297.9 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/58194.xml |
241.0 /
61.3 s
|
1175.1 /
297.8 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/58221.xml |
240.6 /
61.2 s
|
1109.4 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/58301.xml |
1170.9 /
296.3 s
|
1185.7 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/63142.xml |
240.1 /
60.9 s
|
1142.9 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/64160.xml |
9.2 /
2.6 s
|
1120.0 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/65081.xml |
1037.6 /
262.5 s
|
1138.6 /
298.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/68322.xml |
240.5 /
61.1 s
|
1094.5 /
298.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/68535.xml |
240.4 /
61.0 s
|
1124.0 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/68989.xml |
1171.8 /
296.3 s
|
1079.1 /
297.5 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/81452.xml |
240.7 /
61.1 s
|
1106.8 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/84886.xml |
241.2 /
61.4 s
|
1104.0 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/84977.xml |
241.0 /
61.3 s
|
1117.8 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/85039.xml |
240.9 /
61.3 s
|
1106.3 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/85079.xml |
240.8 /
61.3 s
|
1105.9 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/85267.xml |
240.7 /
61.2 s
|
1117.7 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/85294.xml |
240.6 /
61.2 s
|
1107.6 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/85345.xml |
241.2 /
61.4 s
|
1119.2 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/85380.xml |
249.6 /
61.2 s
|
1116.7 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/85477.xml |
240.5 /
61.1 s
|
1113.5 /
297.5 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/85590.xml |
437.1 /
110.6 s
|
1107.8 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/85650.xml |
241.1 /
61.3 s
|
1109.3 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/85675.xml |
240.8 /
61.2 s
|
1112.9 /
298.5 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/85721.xml |
240.6 /
61.1 s
|
1108.9 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/85749.xml |
240.5 /
61.1 s
|
1112.3 /
297.8 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/85782.xml |
240.6 /
61.1 s
|
1109.1 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/85834.xml |
422.3 /
107.0 s
|
1106.3 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/85874.xml |
628.4 /
159.1 s
|
1109.9 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/85920.xml |
241.0 /
61.2 s
|
1101.2 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/86025.xml |
240.7 /
61.1 s
|
1108.7 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/86052.xml |
240.8 /
61.2 s
|
1107.0 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/86452.xml |
240.7 /
61.1 s
|
1124.7 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/86499.xml |
240.6 /
61.1 s
|
1109.2 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/86526.xml |
240.7 /
61.2 s
|
1106.9 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/86559.xml |
240.4 /
61.1 s
|
1110.6 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/86577.xml |
240.4 /
61.0 s
|
1117.8 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/86617.xml |
240.8 /
61.2 s
|
1108.4 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/86636.xml |
240.6 /
61.1 s
|
1107.9 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/86745.xml |
240.5 /
61.1 s
|
1107.0 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/86816.xml |
240.7 /
61.2 s
|
1107.9 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/86857.xml |
240.6 /
61.1 s
|
1114.6 /
297.5 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/88143.xml |
240.6 /
61.2 s
|
1109.6 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/88156.xml |
240.4 /
61.1 s
|
1108.3 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/88172.xml |
240.8 /
61.2 s
|
1114.8 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/88183.xml |
240.5 /
61.2 s
|
1119.7 /
300.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/88208.xml |
242.2 /
61.1 s
|
1108.2 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/88283.xml |
240.8 /
61.2 s
|
1109.3 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/91210.xml |
241.3 /
62.1 s
|
1118.9 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/91218.xml |
241.4 /
62.1 s
|
1117.8 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/91233.xml |
241.4 /
62.1 s
|
1117.9 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/91242.xml |
241.5 /
62.1 s
|
1118.2 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/91254.xml |
241.6 /
62.2 s
|
1117.7 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/95858.xml |
240.7 /
61.1 s
|
1106.6 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/95899.xml |
240.7 /
61.2 s
|
1107.8 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/95952.xml |
240.6 /
61.2 s
|
1107.8 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/95978.xml |
240.6 /
61.2 s
|
1107.2 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96029.xml |
240.9 /
61.2 s
|
1103.8 /
300.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96065.xml |
240.8 /
61.2 s
|
1107.0 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96086.xml |
390.5 /
97.5 s
|
1034.2 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96104.xml |
625.3 /
158.3 s
|
1108.6 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96119.xml |
240.5 /
61.1 s
|
1106.2 /
299.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96156.xml |
240.7 /
61.1 s
|
1108.5 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96176.xml |
573.2 /
145.1 s
|
1145.7 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96198.xml |
550.5 /
139.4 s
|
1134.0 /
297.5 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96224.xml |
853.9 /
216.3 s
|
1039.9 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96239.xml |
240.6 /
61.1 s
|
1093.2 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96256.xml |
409.4 /
103.6 s
|
1106.5 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96274.xml |
240.5 /
61.0 s
|
1114.0 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96289.xml |
449.0 /
113.7 s
|
1134.7 /
298.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96302.xml |
240.5 /
61.0 s
|
1127.5 /
299.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96334.xml |
240.6 /
61.1 s
|
1109.9 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96370.xml |
240.9 /
61.2 s
|
1103.7 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96403.xml |
248.6 /
61.0 s
|
1129.5 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96417.xml |
240.8 /
61.2 s
|
1108.6 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96438.xml |
693.5 /
175.2 s
|
1115.3 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96464.xml |
375.0 /
95.0 s
|
1111.4 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96485.xml |
240.4 /
61.0 s
|
1111.9 /
299.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96523.xml |
714.3 /
180.7 s
|
1123.3 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96563.xml |
1179.6 /
296.7 s
|
1113.6 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96612.xml |
653.4 /
154.9 s
|
1104.9 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96642.xml |
240.7 /
61.1 s
|
1109.5 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/96673.xml |
240.5 /
61.1 s
|
1107.3 /
297.6 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/97885.xml |
242.8 /
64.1 s
|
1121.6 /
297.9 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/97888.xml |
242.6 /
63.9 s
|
1122.1 /
297.9 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/97901.xml |
250.5 /
62.3 s
|
1118.7 /
297.7 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/97917.xml |
242.7 /
63.9 s
|
1121.1 /
297.9 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/97929.xml |
244.9 /
64.0 s
|
1121.6 /
297.9 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/98362.xml |
240.7 /
61.2 s
|
1117.5 /
299.0 s
|
nal_Complexity__Full_Rewriting/ICFP_2010/98623.xml |
241.7 /
62.8 s
|
1117.3 /
297.8 s
|
mplexity__Full_Rewriting/Mixed_SRS/01-oppelt08.xml |
233.9 /
59.2 s
|
1132.0 /
297.2 s
|
tional_Complexity__Full_Rewriting/Mixed_SRS/01.xml |
138.0 /
55.4 s
|
952.0 /
297.2 s
|
mplexity__Full_Rewriting/Mixed_SRS/02-oppelt08.xml |
167.2 /
55.4 s
|
713.8 /
297.1 s
|
tional_Complexity__Full_Rewriting/Mixed_SRS/02.xml |
146.4 /
55.5 s
|
860.4 /
297.1 s
|
mplexity__Full_Rewriting/Mixed_SRS/03-oppelt08.xml |
191.1 /
55.4 s
|
493.4 /
297.1 s
|
tional_Complexity__Full_Rewriting/Mixed_SRS/03.xml |
151.0 /
55.4 s
|
964.4 /
297.2 s
|
mplexity__Full_Rewriting/Mixed_SRS/04-oppelt08.xml |
201.5 /
55.4 s
|
951.1 /
297.1 s
|
tional_Complexity__Full_Rewriting/Mixed_SRS/04.xml |
153.5 /
55.4 s
|
952.1 /
297.1 s
|
mplexity__Full_Rewriting/Mixed_SRS/05-oppelt08.xml |
220.2 /
55.6 s
|
1020.6 /
297.1 s
|
tional_Complexity__Full_Rewriting/Mixed_SRS/05.xml |
158.1 /
55.4 s
|
961.2 /
297.2 s
|
mplexity__Full_Rewriting/Mixed_SRS/06-oppelt08.xml |
219.4 /
55.4 s
|
1109.3 /
297.1 s
|
tional_Complexity__Full_Rewriting/Mixed_SRS/06.xml |
155.5 /
55.4 s
|
952.1 /
297.1 s
|
mplexity__Full_Rewriting/Mixed_SRS/07-oppelt08.xml |
241.0 /
55.6 s
|
1184.4 /
297.0 s
|
tional_Complexity__Full_Rewriting/Mixed_SRS/07.xml |
63.2 /
23.7 s
|
649.0 /
297.1 s
|
mplexity__Full_Rewriting/Mixed_SRS/08-oppelt08.xml |
219.2 /
55.4 s
|
1185.9 /
297.7 s
|
tional_Complexity__Full_Rewriting/Mixed_SRS/08.xml |
139.3 /
55.4 s
|
805.6 /
297.2 s
|
tional_Complexity__Full_Rewriting/Mixed_SRS/09.xml |
154.0 /
55.3 s
|
983.5 /
297.2 s
|
ational_Complexity__Full_Rewriting/Mixed_SRS/1.xml |
156.1 /
55.3 s
|
950.9 /
297.1 s
|
ational_Complexity__Full_Rewriting/Mixed_SRS/2.xml |
169.8 /
55.4 s
|
956.2 /
297.1 s
|
ational_Complexity__Full_Rewriting/Mixed_SRS/3.xml |
12.0 /
3.2 s
|
173.6 /
60.1 s
|
ational_Complexity__Full_Rewriting/Mixed_SRS/4.xml |
215.7 /
55.6 s
|
1175.7 /
297.6 s
|
tional_Complexity__Full_Rewriting/Mixed_SRS/s6.xml |
766.4 /
282.0 s
|
754.3 /
297.5 s
|
al_Complexity__Full_Rewriting/Mixed_SRS/touzet.xml |
30.9 /
10.3 s
|
199.7 /
60.1 s
|
omplexity__Full_Rewriting/Mixed_SRS/turing_add.xml |
1172.1 /
295.5 s
|
208.0 /
60.1 s
|
mplexity__Full_Rewriting/Mixed_SRS/turing_copy.xml |
324.7 /
82.2 s
|
812.6 /
297.1 s
|
mplexity__Full_Rewriting/Mixed_SRS/turing_mult.xml |
422.1 /
101.6 s
|
826.6 /
297.3 s
|
ational_Complexity__Full_Rewriting/Mixed_TRS/1.xml |
0.3 /
0.2 s
|
9.3 /
5.3 s
|
ational_Complexity__Full_Rewriting/Mixed_TRS/2.xml |
88.8 /
27.5 s
|
12.6 /
7.2 s
|
ational_Complexity__Full_Rewriting/Mixed_TRS/4.xml |
0.3 /
0.2 s
|
873.5 /
297.2 s
|
ational_Complexity__Full_Rewriting/Mixed_TRS/6.xml |
24.1 /
10.2 s
|
627.4 /
297.2 s
|
lexity__Full_Rewriting/Mixed_TRS/Ex1_Luc04b_GM.xml |
241.8 /
61.3 s
|
737.7 /
297.1 s
|
nal_Complexity__Full_Rewriting/Mixed_TRS/beans.xml |
237.0 /
60.3 s
|
1184.4 /
297.3 s
|
al_Complexity__Full_Rewriting/Mixed_TRS/jones1.xml |
11.2 /
6.9 s
|
175.6 /
60.1 s
|
al_Complexity__Full_Rewriting/Mixed_TRS/jones4.xml |
0.3 /
0.2 s
|
5.7 /
3.4 s
|
al_Complexity__Full_Rewriting/Mixed_TRS/jones6.xml |
22.2 /
9.8 s
|
162.7 /
60.1 s
|
ional_Complexity__Full_Rewriting/Rubio_04/aoto.xml |
2.4 /
0.8 s
|
37.0 /
23.5 s
|
l_Complexity__Full_Rewriting/Rubio_04/bintrees.xml |
13.2 /
7.1 s
|
173.9 /
60.1 s
|
onal_Complexity__Full_Rewriting/Rubio_04/bn129.xml |
25.3 /
10.2 s
|
164.3 /
60.1 s
|
ional_Complexity__Full_Rewriting/Rubio_04/gmnp.xml |
0.5 /
0.3 s
|
5.7 /
1.7 s
|
ional_Complexity__Full_Rewriting/Rubio_04/koen.xml |
0.4 /
0.3 s
|
8.0 /
4.2 s
|
l_Complexity__Full_Rewriting/Rubio_04/lescanne.xml |
9.3 /
6.2 s
|
167.3 /
60.1 s
|
nal_Complexity__Full_Rewriting/Rubio_04/lindau.xml |
0.4 /
0.2 s
|
134.0 /
75.9 s
|
nal_Complexity__Full_Rewriting/Rubio_04/mfp90b.xml |
0.3 /
0.2 s
|
4.9 /
2.9 s
|
onal_Complexity__Full_Rewriting/Rubio_04/mfp95.xml |
0.3 /
0.2 s
|
11.2 /
6.4 s
|
al_Complexity__Full_Rewriting/Rubio_04/nestrec.xml |
130.2 /
55.3 s
|
713.8 /
297.0 s
|
ional_Complexity__Full_Rewriting/Rubio_04/p266.xml |
0.5 /
0.3 s
|
12.2 /
6.9 s
|
onal_Complexity__Full_Rewriting/Rubio_04/test4.xml |
0.4 /
0.2 s
|
1.7 /
0.5 s
|
al_Complexity__Full_Rewriting/Rubio_04/test829.xml |
0.5 /
0.3 s
|
10.8 /
5.8 s
|
ivational_Complexity__Full_Rewriting/SK90/2.01.xml |
27.4 /
11.1 s
|
157.7 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/2.02.xml |
50.5 /
18.9 s
|
338.7 /
164.5 s
|
ivational_Complexity__Full_Rewriting/SK90/2.03.xml |
20.0 /
9.3 s
|
168.3 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/2.04.xml |
9.8 /
6.5 s
|
178.8 /
60.2 s
|
ivational_Complexity__Full_Rewriting/SK90/2.06.xml |
13.1 /
7.2 s
|
158.5 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/2.09.xml |
16.4 /
8.4 s
|
161.2 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/2.10.xml |
28.5 /
10.2 s
|
205.4 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/2.11.xml |
9.0 /
6.0 s
|
163.3 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/2.14.xml |
29.6 /
10.2 s
|
201.3 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/2.31.xml |
22.2 /
9.8 s
|
176.8 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/2.33.xml |
13.3 /
7.2 s
|
166.4 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/2.34.xml |
23.5 /
10.2 s
|
201.3 /
60.0 s
|
ivational_Complexity__Full_Rewriting/SK90/2.36.xml |
10.5 /
6.5 s
|
163.4 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/2.38.xml |
20.4 /
9.4 s
|
163.1 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/2.39.xml |
28.7 /
10.2 s
|
181.9 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/2.41.xml |
17.8 /
7.7 s
|
168.1 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/2.42.xml |
33.0 /
10.2 s
|
201.9 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/2.46.xml |
728.8 /
295.2 s
|
166.0 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/2.47.xml |
11.5 /
5.8 s
|
147.1 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/2.48.xml |
0.3 /
0.2 s
|
9.7 /
5.6 s
|
ivational_Complexity__Full_Rewriting/SK90/2.49.xml |
0.4 /
0.3 s
|
22.7 /
12.4 s
|
ivational_Complexity__Full_Rewriting/SK90/2.50.xml |
126.6 /
55.3 s
|
555.4 /
297.1 s
|
ivational_Complexity__Full_Rewriting/SK90/2.53.xml |
39.9 /
23.4 s
|
161.9 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/2.54.xml |
7.2 /
5.7 s
|
174.2 /
60.0 s
|
ivational_Complexity__Full_Rewriting/SK90/2.55.xml |
10.6 /
6.7 s
|
172.6 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/2.56.xml |
0.3 /
0.2 s
|
5.5 /
3.2 s
|
ivational_Complexity__Full_Rewriting/SK90/2.60.xml |
0.3 /
0.2 s
|
60.1 /
32.9 s
|
ivational_Complexity__Full_Rewriting/SK90/2.61.xml |
1.6 /
0.6 s
|
51.7 /
29.5 s
|
ivational_Complexity__Full_Rewriting/SK90/4.01.xml |
0.5 /
0.3 s
|
16.7 /
9.1 s
|
ivational_Complexity__Full_Rewriting/SK90/4.04.xml |
14.2 /
7.7 s
|
121.2 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/4.07.xml |
12.1 /
7.1 s
|
161.6 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/4.08.xml |
7.4 /
5.7 s
|
160.4 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/4.11.xml |
8.1 /
5.9 s
|
164.4 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/4.12.xml |
8.8 /
6.0 s
|
185.1 /
60.0 s
|
ivational_Complexity__Full_Rewriting/SK90/4.15.xml |
10.4 /
6.7 s
|
163.2 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/4.16.xml |
0.8 /
0.3 s
|
14.5 /
7.7 s
|
ivational_Complexity__Full_Rewriting/SK90/4.19.xml |
0.3 /
0.2 s
|
9.8 /
5.7 s
|
ivational_Complexity__Full_Rewriting/SK90/4.25.xml |
9.8 /
6.2 s
|
186.5 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/4.26.xml |
27.1 /
10.2 s
|
219.1 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/4.27.xml |
229.7 /
58.0 s
|
730.1 /
297.1 s
|
ivational_Complexity__Full_Rewriting/SK90/4.29.xml |
30.1 /
14.6 s
|
170.6 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/4.30.xml |
104.4 /
47.0 s
|
187.5 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/4.32.xml |
47.2 /
13.6 s
|
199.3 /
60.0 s
|
ivational_Complexity__Full_Rewriting/SK90/4.33.xml |
0.3 /
0.2 s
|
5.6 /
3.3 s
|
ivational_Complexity__Full_Rewriting/SK90/4.34.xml |
128.7 /
55.3 s
|
591.8 /
297.1 s
|
ivational_Complexity__Full_Rewriting/SK90/4.35.xml |
0.3 /
0.2 s
|
5.8 /
3.4 s
|
ivational_Complexity__Full_Rewriting/SK90/4.36.xml |
0.3 /
0.2 s
|
4.8 /
2.8 s
|
ivational_Complexity__Full_Rewriting/SK90/4.37.xml |
0.3 /
0.2 s
|
4.7 /
2.8 s
|
ivational_Complexity__Full_Rewriting/SK90/4.38.xml |
15.8 /
7.3 s
|
164.8 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/4.39.xml |
78.3 /
63.7 s
|
13.7 /
8.1 s
|
ivational_Complexity__Full_Rewriting/SK90/4.43.xml |
35.8 /
10.2 s
|
215.8 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/4.44.xml |
0.3 /
0.2 s
|
7.0 /
3.7 s
|
ivational_Complexity__Full_Rewriting/SK90/4.45.xml |
0.2 /
0.2 s
|
4.5 /
2.7 s
|
ivational_Complexity__Full_Rewriting/SK90/4.46.xml |
0.3 /
0.2 s
|
3.8 /
2.2 s
|
ivational_Complexity__Full_Rewriting/SK90/4.47.xml |
0.7 /
0.3 s
|
345.9 /
156.5 s
|
ivational_Complexity__Full_Rewriting/SK90/4.48.xml |
0.3 /
0.2 s
|
143.3 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/4.51.xml |
9.1 /
2.8 s
|
10.4 /
5.6 s
|
ivational_Complexity__Full_Rewriting/SK90/4.52.xml |
32.1 /
12.1 s
|
163.9 /
60.1 s
|
ivational_Complexity__Full_Rewriting/SK90/4.55.xml |
0.3 /
0.2 s
|
215.4 /
60.0 s
|
ivational_Complexity__Full_Rewriting/SK90/4.56.xml |
0.3 /
0.2 s
|
6.7 /
3.8 s
|
mplexity__Full_Rewriting/Secret_05_SRS/aprove1.xml |
96.5 /
29.8 s
|
1055.5 /
297.1 s
|
mplexity__Full_Rewriting/Secret_05_SRS/aprove2.xml |
231.5 /
61.8 s
|
1037.6 /
297.2 s
|
mplexity__Full_Rewriting/Secret_05_SRS/aprove3.xml |
230.1 /
58.9 s
|
1185.4 /
297.4 s
|
mplexity__Full_Rewriting/Secret_05_SRS/aprove4.xml |
123.9 /
44.7 s
|
366.0 /
104.7 s
|
mplexity__Full_Rewriting/Secret_05_SRS/aprove5.xml |
224.2 /
56.8 s
|
902.2 /
297.2 s
|
mplexity__Full_Rewriting/Secret_05_SRS/jambox1.xml |
151.3 /
55.4 s
|
967.8 /
297.1 s
|
mplexity__Full_Rewriting/Secret_05_SRS/jambox2.xml |
170.6 /
55.6 s
|
1042.5 /
297.2 s
|
mplexity__Full_Rewriting/Secret_05_SRS/jambox3.xml |
111.1 /
55.4 s
|
714.1 /
297.2 s
|
mplexity__Full_Rewriting/Secret_05_SRS/jambox4.xml |
154.8 /
57.8 s
|
738.1 /
297.1 s
|
mplexity__Full_Rewriting/Secret_05_SRS/jambox5.xml |
68.6 /
23.2 s
|
202.5 /
60.1 s
|
lexity__Full_Rewriting/Secret_05_SRS/matchbox1.xml |
210.3 /
64.7 s
|
722.4 /
181.5 s
|
lexity__Full_Rewriting/Secret_05_SRS/matchbox2.xml |
7.0 /
2.0 s
|
728.2 /
297.1 s
|
omplexity__Full_Rewriting/Secret_05_SRS/torpa1.xml |
182.4 /
55.5 s
|
954.9 /
297.2 s
|
omplexity__Full_Rewriting/Secret_05_SRS/torpa2.xml |
188.9 /
55.4 s
|
956.3 /
297.1 s
|
omplexity__Full_Rewriting/Secret_05_SRS/torpa3.xml |
14.2 /
4.0 s
|
174.6 /
60.1 s
|
omplexity__Full_Rewriting/Secret_05_SRS/torpa4.xml |
231.0 /
60.2 s
|
1110.2 /
297.3 s
|
lexity__Full_Rewriting/Secret_05_TRS/matchbox2.xml |
0.3 /
0.2 s
|
523.3 /
297.1 s
|
plexity__Full_Rewriting/Secret_05_TRS/teparla1.xml |
48.0 /
12.7 s
|
730.5 /
297.1 s
|
plexity__Full_Rewriting/Secret_05_TRS/teparla2.xml |
34.4 /
10.2 s
|
621.5 /
297.1 s
|
plexity__Full_Rewriting/Secret_05_TRS/teparla3.xml |
28.3 /
10.2 s
|
721.3 /
297.2 s
|
_Complexity__Full_Rewriting/Secret_05_TRS/ttt2.xml |
21.7 /
10.2 s
|
214.2 /
60.0 s
|
exity__Full_Rewriting/Secret_06_SRS/1-matchbox.xml |
50.3 /
20.1 s
|
1090.0 /
297.2 s
|
nal_Complexity__Full_Rewriting/Secret_06_SRS/1.xml |
141.8 /
55.4 s
|
715.2 /
297.1 s
|
al_Complexity__Full_Rewriting/Secret_06_SRS/10.xml |
169.5 /
55.3 s
|
1041.8 /
297.1 s
|
exity__Full_Rewriting/Secret_06_SRS/2-matchbox.xml |
162.5 /
55.8 s
|
1185.0 /
297.3 s
|
nal_Complexity__Full_Rewriting/Secret_06_SRS/2.xml |
185.8 /
55.4 s
|
1024.1 /
297.1 s
|
exity__Full_Rewriting/Secret_06_SRS/3-matchbox.xml |
246.3 /
62.6 s
|
1188.1 /
298.1 s
|
nal_Complexity__Full_Rewriting/Secret_06_SRS/3.xml |
144.3 /
55.4 s
|
950.8 /
297.1 s
|
exity__Full_Rewriting/Secret_06_SRS/5-matchbox.xml |
222.6 /
56.2 s
|
1196.1 /
297.1 s
|
nal_Complexity__Full_Rewriting/Secret_06_SRS/5.xml |
142.9 /
55.4 s
|
810.8 /
297.2 s
|
nal_Complexity__Full_Rewriting/Secret_06_SRS/6.xml |
220.2 /
55.6 s
|
756.2 /
297.0 s
|
nal_Complexity__Full_Rewriting/Secret_06_SRS/7.xml |
190.5 /
55.3 s
|
951.6 /
297.1 s
|
nal_Complexity__Full_Rewriting/Secret_06_SRS/8.xml |
199.9 /
55.5 s
|
703.5 /
297.2 s
|
nal_Complexity__Full_Rewriting/Secret_06_SRS/9.xml |
141.5 /
55.4 s
|
854.4 /
297.2 s
|
plexity__Full_Rewriting/Secret_06_SRS/aprove00.xml |
183.9 /
56.9 s
|
1176.5 /
297.7 s
|
plexity__Full_Rewriting/Secret_06_SRS/aprove01.xml |
238.1 /
60.3 s
|
1160.3 /
297.7 s
|
plexity__Full_Rewriting/Secret_06_SRS/aprove02.xml |
199.2 /
58.5 s
|
1129.4 /
297.6 s
|
plexity__Full_Rewriting/Secret_06_SRS/aprove03.xml |
223.2 /
58.7 s
|
1122.8 /
297.4 s
|
plexity__Full_Rewriting/Secret_06_SRS/aprove04.xml |
190.7 /
57.9 s
|
1116.0 /
297.5 s
|
plexity__Full_Rewriting/Secret_06_SRS/aprove05.xml |
210.5 /
59.9 s
|
1121.6 /
297.5 s
|
plexity__Full_Rewriting/Secret_06_SRS/aprove06.xml |
203.8 /
59.3 s
|
1116.1 /
297.6 s
|
plexity__Full_Rewriting/Secret_06_SRS/aprove07.xml |
194.7 /
56.7 s
|
1125.6 /
297.5 s
|
plexity__Full_Rewriting/Secret_06_SRS/aprove08.xml |
174.5 /
56.5 s
|
1121.9 /
297.6 s
|
plexity__Full_Rewriting/Secret_06_SRS/aprove09.xml |
176.7 /
56.5 s
|
1162.4 /
297.6 s
|
mplexity__Full_Rewriting/Secret_06_SRS/multum1.xml |
135.2 /
55.4 s
|
764.6 /
297.1 s
|
mplexity__Full_Rewriting/Secret_06_SRS/multum2.xml |
147.2 /
55.4 s
|
917.0 /
297.1 s
|
mplexity__Full_Rewriting/Secret_06_SRS/multum3.xml |
145.8 /
55.3 s
|
822.7 /
297.1 s
|
mplexity__Full_Rewriting/Secret_06_SRS/multum4.xml |
5.8 /
1.7 s
|
1110.3 /
297.6 s
|
mplexity__Full_Rewriting/Secret_06_SRS/multum5.xml |
239.2 /
77.7 s
|
853.9 /
297.2 s
|
mplexity__Full_Rewriting/Secret_06_SRS/multum6.xml |
224.1 /
56.8 s
|
1183.4 /
297.1 s
|
Complexity__Full_Rewriting/Secret_06_SRS/secr1.xml |
31.3 /
10.2 s
|
199.4 /
60.1 s
|
omplexity__Full_Rewriting/Secret_06_SRS/secr10.xml |
227.4 /
57.4 s
|
1186.8 /
297.8 s
|
Complexity__Full_Rewriting/Secret_06_SRS/secr2.xml |
36.1 /
10.4 s
|
199.3 /
60.0 s
|
Complexity__Full_Rewriting/Secret_06_SRS/secr3.xml |
163.9 /
56.5 s
|
954.3 /
297.1 s
|
Complexity__Full_Rewriting/Secret_06_SRS/secr4.xml |
159.4 /
55.7 s
|
576.0 /
297.2 s
|
Complexity__Full_Rewriting/Secret_06_SRS/secr5.xml |
180.9 /
59.6 s
|
1050.2 /
297.2 s
|
Complexity__Full_Rewriting/Secret_06_SRS/secr6.xml |
64.3 /
23.1 s
|
1185.4 /
297.6 s
|
Complexity__Full_Rewriting/Secret_06_SRS/secr7.xml |
52.9 /
14.9 s
|
464.6 /
159.2 s
|
Complexity__Full_Rewriting/Secret_06_SRS/secr8.xml |
145.9 /
55.4 s
|
519.5 /
297.1 s
|
Complexity__Full_Rewriting/Secret_06_SRS/secr9.xml |
178.5 /
59.1 s
|
871.7 /
297.3 s
|
al_Complexity__Full_Rewriting/Secret_06_TRS/10.xml |
0.4 /
0.3 s
|
30.8 /
20.5 s
|
nal_Complexity__Full_Rewriting/Secret_06_TRS/2.xml |
180.9 /
55.8 s
|
1180.6 /
297.1 s
|
nal_Complexity__Full_Rewriting/Secret_06_TRS/3.xml |
43.3 /
11.2 s
|
1096.3 /
297.1 s
|
nal_Complexity__Full_Rewriting/Secret_06_TRS/4.xml |
167.8 /
71.4 s
|
951.7 /
297.1 s
|
nal_Complexity__Full_Rewriting/Secret_06_TRS/5.xml |
93.1 /
55.4 s
|
890.1 /
297.2 s
|
nal_Complexity__Full_Rewriting/Secret_06_TRS/6.xml |
156.5 /
76.1 s
|
145.8 /
60.1 s
|
nal_Complexity__Full_Rewriting/Secret_06_TRS/7.xml |
3.7 /
1.2 s
|
485.0 /
166.4 s
|
nal_Complexity__Full_Rewriting/Secret_06_TRS/8.xml |
0.3 /
0.2 s
|
701.1 /
263.3 s
|
nal_Complexity__Full_Rewriting/Secret_06_TRS/9.xml |
0.4 /
0.2 s
|
11.8 /
5.0 s
|
Complexity__Full_Rewriting/Secret_06_TRS/tpa01.xml |
2.4 /
0.8 s
|
549.1 /
297.1 s
|
Complexity__Full_Rewriting/Secret_06_TRS/tpa02.xml |
21.8 /
10.2 s
|
656.7 /
297.1 s
|
Complexity__Full_Rewriting/Secret_06_TRS/tpa03.xml |
21.7 /
10.2 s
|
539.8 /
297.1 s
|
al_Complexity__Full_Rewriting/Secret_07_SRS/dj.xml |
94.6 /
37.9 s
|
228.4 /
65.4 s
|
mplexity__Full_Rewriting/Secret_07_SRS/num-514.xml |
219.4 /
55.4 s
|
1120.0 /
297.1 s
|
mplexity__Full_Rewriting/Secret_07_SRS/num-515.xml |
132.3 /
55.3 s
|
1177.3 /
297.3 s
|
mplexity__Full_Rewriting/Secret_07_SRS/num-518.xml |
175.0 /
55.4 s
|
963.7 /
297.1 s
|
mplexity__Full_Rewriting/Secret_07_SRS/num-519.xml |
134.3 /
55.4 s
|
737.8 /
297.2 s
|
mplexity__Full_Rewriting/Secret_07_SRS/num-520.xml |
219.5 /
55.4 s
|
1012.5 /
297.1 s
|
mplexity__Full_Rewriting/Secret_07_SRS/num-521.xml |
172.7 /
55.4 s
|
1062.4 /
297.2 s
|
mplexity__Full_Rewriting/Secret_07_SRS/num-525.xml |
180.7 /
55.3 s
|
1180.8 /
297.1 s
|
mplexity__Full_Rewriting/Secret_07_SRS/num-527.xml |
182.4 /
55.3 s
|
1184.6 /
297.1 s
|
mplexity__Full_Rewriting/Secret_07_SRS/num-530.xml |
136.1 /
55.3 s
|
1151.5 /
297.3 s
|
mplexity__Full_Rewriting/Secret_07_SRS/num-539.xml |
145.5 /
55.4 s
|
1041.0 /
297.2 s
|
l_Complexity__Full_Rewriting/Secret_07_SRS/x01.xml |
40.0 /
10.6 s
|
200.3 /
60.1 s
|
l_Complexity__Full_Rewriting/Secret_07_SRS/x02.xml |
38.0 /
10.4 s
|
196.8 /
60.0 s
|
l_Complexity__Full_Rewriting/Secret_07_SRS/x03.xml |
152.8 /
55.4 s
|
532.3 /
297.1 s
|
l_Complexity__Full_Rewriting/Secret_07_SRS/x04.xml |
196.0 /
59.9 s
|
884.7 /
297.3 s
|
l_Complexity__Full_Rewriting/Secret_07_SRS/x05.xml |
147.3 /
55.6 s
|
772.0 /
297.1 s
|
l_Complexity__Full_Rewriting/Secret_07_SRS/x06.xml |
166.9 /
55.6 s
|
480.6 /
297.1 s
|
l_Complexity__Full_Rewriting/Secret_07_SRS/x07.xml |
172.9 /
57.9 s
|
762.3 /
297.2 s
|
l_Complexity__Full_Rewriting/Secret_07_SRS/x08.xml |
44.6 /
14.5 s
|
1050.7 /
297.1 s
|
l_Complexity__Full_Rewriting/Secret_07_SRS/x09.xml |
56.9 /
26.0 s
|
1185.8 /
297.7 s
|
l_Complexity__Full_Rewriting/Secret_07_SRS/x10.xml |
42.8 /
11.6 s
|
202.6 /
60.1 s
|
nal_Complexity__Full_Rewriting/Secret_07_TRS/1.xml |
180.1 /
55.6 s
|
228.4 /
60.1 s
|
nal_Complexity__Full_Rewriting/Secret_07_TRS/2.xml |
220.7 /
55.7 s
|
800.0 /
297.1 s
|
nal_Complexity__Full_Rewriting/Secret_07_TRS/3.xml |
239.4 /
65.2 s
|
1096.8 /
297.1 s
|
nal_Complexity__Full_Rewriting/Secret_07_TRS/4.xml |
190.8 /
55.6 s
|
611.3 /
297.1 s
|
nal_Complexity__Full_Rewriting/Secret_07_TRS/5.xml |
238.9 /
60.4 s
|
406.2 /
135.7 s
|
nal_Complexity__Full_Rewriting/Secret_07_TRS/7.xml |
137.8 /
55.5 s
|
1189.6 /
298.4 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.17.xml |
219.6 /
55.5 s
|
1184.6 /
297.1 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.18.xml |
191.7 /
55.3 s
|
1095.6 /
297.3 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.20.xml |
1.9 /
0.7 s
|
181.1 /
60.1 s
|
y__Full_Rewriting/Strategy_removed_AG01/#4.20a.xml |
4.0 /
1.3 s
|
182.9 /
60.1 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.21.xml |
5.1 /
1.6 s
|
182.9 /
60.1 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.25.xml |
21.1 /
10.2 s
|
2.4 /
0.7 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.28.xml |
24.7 /
6.4 s
|
523.2 /
131.4 s
|
ty__Full_Rewriting/Strategy_removed_AG01/#4.37.xml |
0.3 /
0.2 s
|
11.9 /
6.5 s
|
y__Full_Rewriting/Strategy_removed_AG01/#4.37a.xml |
0.3 /
0.2 s
|
14.5 /
7.5 s
|
ll_Rewriting/Strategy_removed_CSR_05/Ex1_Zan97.xml |
21.6 /
10.2 s
|
216.1 /
60.1 s
|
writing/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml |
22.8 /
10.2 s
|
1020.2 /
297.1 s
|
writing/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml |
21.2 /
10.2 s
|
188.4 /
60.0 s
|
ll_Rewriting/Strategy_removed_CSR_05/Ex5_Zan97.xml |
21.3 /
10.2 s
|
189.9 /
60.1 s
|
ull_Rewriting/Strategy_removed_CSR_05/Ex6_GM04.xml |
21.2 /
10.2 s
|
210.6 /
60.1 s
|
Rewriting/Strategy_removed_CSR_05/ExConc_Zan97.xml |
21.5 /
10.2 s
|
666.9 /
297.1 s
|
ewriting/Strategy_removed_CSR_05/ExIntrod_GM01.xml |
25.4 /
10.2 s
|
204.9 /
60.1 s
|
ewriting/Strategy_removed_CSR_05/ExIntrod_GM04.xml |
25.7 /
10.2 s
|
203.3 /
60.1 s
|
__Full_Rewriting/Strategy_removed_mixed_05/ex1.xml |
21.4 /
10.2 s
|
209.3 /
60.1 s
|
__Full_Rewriting/Strategy_removed_mixed_05/ex3.xml |
21.9 /
10.2 s
|
209.3 /
60.1 s
|
__Full_Rewriting/Strategy_removed_mixed_05/ex4.xml |
21.6 /
10.2 s
|
214.5 /
60.1 s
|
__Full_Rewriting/Strategy_removed_mixed_05/ex5.xml |
21.1 /
10.2 s
|
189.5 /
60.0 s
|
__Full_Rewriting/Strategy_removed_mixed_05/ex6.xml |
22.4 /
10.2 s
|
9.0 /
2.5 s
|
__Full_Rewriting/Strategy_removed_mixed_05/gkg.xml |
21.4 /
10.2 s
|
662.5 /
297.1 s
|
_Full_Rewriting/Strategy_removed_mixed_05/n001.xml |
22.7 /
10.2 s
|
1184.7 /
297.1 s
|
ll_Rewriting/Strategy_removed_mixed_05/test830.xml |
0.4 /
0.2 s
|
11.7 /
6.6 s
|
onal_Complexity__Full_Rewriting/Trafo_06/dup01.xml |
875.4 /
221.1 s
|
1065.4 /
297.6 s
|
onal_Complexity__Full_Rewriting/Trafo_06/dup05.xml |
302.0 /
76.3 s
|
1179.7 /
297.9 s
|
onal_Complexity__Full_Rewriting/Trafo_06/dup06.xml |
238.8 /
60.6 s
|
1185.2 /
297.3 s
|
onal_Complexity__Full_Rewriting/Trafo_06/dup07.xml |
227.5 /
57.6 s
|
996.7 /
297.4 s
|
onal_Complexity__Full_Rewriting/Trafo_06/dup08.xml |
228.7 /
58.1 s
|
1182.6 /
297.6 s
|
onal_Complexity__Full_Rewriting/Trafo_06/dup09.xml |
237.6 /
60.3 s
|
1196.1 /
300.0 s
|
onal_Complexity__Full_Rewriting/Trafo_06/dup10.xml |
180.7 /
58.9 s
|
1161.3 /
297.7 s
|
onal_Complexity__Full_Rewriting/Trafo_06/dup11.xml |
271.5 /
69.7 s
|
1160.6 /
297.7 s
|
onal_Complexity__Full_Rewriting/Trafo_06/dup12.xml |
226.5 /
57.5 s
|
1132.4 /
297.3 s
|
onal_Complexity__Full_Rewriting/Trafo_06/dup13.xml |
203.4 /
55.7 s
|
1195.1 /
300.0 s
|
onal_Complexity__Full_Rewriting/Trafo_06/dup14.xml |
236.1 /
60.3 s
|
1183.7 /
297.8 s
|
onal_Complexity__Full_Rewriting/Trafo_06/dup15.xml |
221.1 /
55.8 s
|
1184.2 /
297.3 s
|
onal_Complexity__Full_Rewriting/Trafo_06/dup16.xml |
2.2 /
0.7 s
|
364.3 /
140.1 s
|
onal_Complexity__Full_Rewriting/Trafo_06/dup17.xml |
184.2 /
56.0 s
|
1086.1 /
297.1 s
|
onal_Complexity__Full_Rewriting/Trafo_06/hom01.xml |
238.8 /
60.3 s
|
1185.8 /
297.7 s
|
onal_Complexity__Full_Rewriting/Trafo_06/hom02.xml |
155.1 /
55.6 s
|
1196.3 /
300.0 s
|
onal_Complexity__Full_Rewriting/Trafo_06/hom03.xml |
235.2 /
60.0 s
|
1142.3 /
297.5 s
|
ional_Complexity__Full_Rewriting/Trafo_06/un02.xml |
249.6 /
63.5 s
|
1124.9 /
297.7 s
|
ional_Complexity__Full_Rewriting/Trafo_06/un04.xml |
219.8 /
55.5 s
|
1185.1 /
297.4 s
|
ional_Complexity__Full_Rewriting/Trafo_06/un05.xml |
140.4 /
55.4 s
|
1196.3 /
300.0 s
|
ional_Complexity__Full_Rewriting/Trafo_06/un06.xml |
222.5 /
56.6 s
|
1164.1 /
297.7 s
|
ional_Complexity__Full_Rewriting/Trafo_06/un07.xml |
210.7 /
57.1 s
|
1185.3 /
297.4 s
|
ional_Complexity__Full_Rewriting/Trafo_06/un08.xml |
132.2 /
55.5 s
|
1170.6 /
297.2 s
|
ional_Complexity__Full_Rewriting/Trafo_06/un09.xml |
231.4 /
58.5 s
|
1177.4 /
298.0 s
|
ional_Complexity__Full_Rewriting/Trafo_06/un10.xml |
221.7 /
56.0 s
|
1166.8 /
297.5 s
|
ional_Complexity__Full_Rewriting/Trafo_06/un11.xml |
221.5 /
55.9 s
|
1182.4 /
297.9 s
|
ional_Complexity__Full_Rewriting/Trafo_06/un12.xml |
224.2 /
56.7 s
|
1169.0 /
297.5 s
|
ional_Complexity__Full_Rewriting/Trafo_06/un13.xml |
222.0 /
55.7 s
|
1160.4 /
297.6 s
|
ional_Complexity__Full_Rewriting/Trafo_06/un14.xml |
249.3 /
63.7 s
|
1164.9 /
297.9 s
|
ional_Complexity__Full_Rewriting/Trafo_06/un15.xml |
235.4 /
60.2 s
|
1164.8 /
298.6 s
|
ional_Complexity__Full_Rewriting/Trafo_06/un16.xml |
228.6 /
58.1 s
|
1156.5 /
297.8 s
|
ional_Complexity__Full_Rewriting/Trafo_06/un17.xml |
168.5 /
55.7 s
|
1183.0 /
297.7 s
|
ional_Complexity__Full_Rewriting/Trafo_06/un18.xml |
226.2 /
56.7 s
|
1183.4 /
297.8 s
|
ull_Rewriting/Transformed_CSR_04/Ex14_AEGL02_L.xml |
21.1 /
10.2 s
|
217.2 /
60.1 s
|
Full_Rewriting/Transformed_CSR_04/Ex14_Luc06_L.xml |
21.8 /
10.2 s
|
218.9 /
60.1 s
|
Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_C.xml |
1175.1 /
295.9 s
|
190.3 /
60.0 s
|
ull_Rewriting/Transformed_CSR_04/Ex15_Luc06_FR.xml |
24.2 /
9.2 s
|
162.6 /
60.1 s
|
ull_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM.xml |
53.9 /
26.4 s
|
176.6 /
60.0 s
|
Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_L.xml |
20.3 /
10.2 s
|
951.2 /
297.1 s
|
Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_Z.xml |
6.7 /
1.9 s
|
15.2 /
8.3 s
|
ll_Rewriting/Transformed_CSR_04/Ex15_Luc06_iGM.xml |
622.9 /
295.3 s
|
197.9 /
60.1 s
|
Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
Full_Rewriting/Transformed_CSR_04/Ex16_Luc06_C.xml |
235.7 /
60.3 s
|
950.5 /
297.1 s
|
ull_Rewriting/Transformed_CSR_04/Ex16_Luc06_FR.xml |
0.4 /
0.2 s
|
701.3 /
297.1 s
|
ull_Rewriting/Transformed_CSR_04/Ex16_Luc06_GM.xml |
49.0 /
23.0 s
|
704.4 /
297.4 s
|
Full_Rewriting/Transformed_CSR_04/Ex16_Luc06_L.xml |
20.7 /
10.2 s
|
770.4 /
297.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex16_Luc06_iGM.xml |
179.3 /
58.8 s
|
211.3 /
60.1 s
|
Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_C.xml |
500.1 /
255.0 s
|
181.3 /
60.1 s
|
ull_Rewriting/Transformed_CSR_04/Ex18_Luc06_FR.xml |
12.7 /
6.2 s
|
157.9 /
60.0 s
|
ull_Rewriting/Transformed_CSR_04/Ex18_Luc06_GM.xml |
45.7 /
19.2 s
|
172.3 /
60.1 s
|
Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_L.xml |
0.3 /
0.2 s
|
2.3 /
1.4 s
|
Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_Z.xml |
0.4 /
0.2 s
|
12.1 /
6.8 s
|
ll_Rewriting/Transformed_CSR_04/Ex18_Luc06_iGM.xml |
524.0 /
295.2 s
|
168.2 /
60.1 s
|
ll_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
_Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_L.xml |
20.7 /
10.2 s
|
945.3 /
297.2 s
|
__Full_Rewriting/Transformed_CSR_04/Ex1_GM03_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
__Full_Rewriting/Transformed_CSR_04/Ex1_GM99_L.xml |
20.4 /
10.2 s
|
833.1 /
297.4 s
|
Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_C.xml |
324.8 /
82.2 s
|
508.1 /
297.1 s
|
ull_Rewriting/Transformed_CSR_04/Ex1_Luc04b_FR.xml |
155.9 /
57.7 s
|
201.4 /
60.1 s
|
ull_Rewriting/Transformed_CSR_04/Ex1_Luc04b_GM.xml |
251.6 /
63.8 s
|
756.8 /
297.1 s
|
Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_Z.xml |
26.0 /
10.2 s
|
200.5 /
60.1 s
|
ll_Rewriting/Transformed_CSR_04/Ex1_Luc04b_iGM.xml |
261.3 /
66.1 s
|
928.6 /
297.2 s
|
_Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_C.xml |
244.0 /
87.7 s
|
219.9 /
61.1 s
|
Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_FR.xml |
200.4 /
57.5 s
|
950.8 /
297.1 s
|
Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_GM.xml |
0.9 /
0.4 s
|
1.5 /
0.4 s
|
_Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_L.xml |
20.7 /
10.2 s
|
225.0 /
60.1 s
|
ull_Rewriting/Transformed_CSR_04/Ex1_Zan97_iGM.xml |
33.8 /
8.7 s
|
3.0 /
0.9 s
|
Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_C.xml |
1162.8 /
296.2 s
|
215.8 /
60.2 s
|
ull_Rewriting/Transformed_CSR_04/Ex23_Luc06_FR.xml |
21.0 /
7.4 s
|
184.7 /
60.1 s
|
ull_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM.xml |
67.5 /
30.1 s
|
173.1 /
60.1 s
|
Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_L.xml |
0.2 /
0.2 s
|
2.3 /
1.4 s
|
Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_Z.xml |
0.6 /
0.3 s
|
22.4 /
12.6 s
|
ll_Rewriting/Transformed_CSR_04/Ex23_Luc06_iGM.xml |
650.4 /
295.4 s
|
281.1 /
101.3 s
|
_Full_Rewriting/Transformed_CSR_04/Ex24_GM04_L.xml |
20.4 /
10.2 s
|
947.5 /
297.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex24_Luc06_L.xml |
20.7 /
10.2 s
|
217.5 /
60.1 s
|
Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_C.xml |
553.7 /
176.6 s
|
189.6 /
60.9 s
|
ull_Rewriting/Transformed_CSR_04/Ex25_Luc06_FR.xml |
47.4 /
13.1 s
|
163.8 /
60.1 s
|
ull_Rewriting/Transformed_CSR_04/Ex25_Luc06_GM.xml |
83.8 /
41.7 s
|
162.0 /
60.1 s
|
Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_L.xml |
0.2 /
0.2 s
|
0.3 /
0.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_Z.xml |
1.4 /
0.5 s
|
3.6 /
1.5 s
|
ll_Rewriting/Transformed_CSR_04/Ex25_Luc06_iGM.xml |
733.1 /
295.4 s
|
173.5 /
60.1 s
|
ull_Rewriting/Transformed_CSR_04/Ex26_Luc03b_L.xml |
0.4 /
0.3 s
|
12.6 /
7.1 s
|
Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_L.xml |
0.3 /
0.2 s
|
9.3 /
5.2 s
|
l_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
ull_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml |
0.3 /
0.2 s
|
10.2 /
6.0 s
|
_Full_Rewriting/Transformed_CSR_04/Ex49_GM04_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
ll_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_L.xml |
0.2 /
0.2 s
|
3.5 /
2.2 s
|
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml |
420.3 /
104.8 s
|
900.6 /
297.3 s
|
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml |
36.4 /
13.6 s
|
166.6 /
60.1 s
|
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml |
282.1 /
154.6 s
|
180.8 /
60.1 s
|
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml |
0.3 /
0.2 s
|
8.1 /
4.3 s
|
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml |
0.4 /
0.2 s
|
34.2 /
19.9 s
|
ewriting/Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml |
194.3 /
76.3 s
|
474.1 /
297.1 s
|
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml |
321.8 /
81.7 s
|
920.9 /
297.2 s
|
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml |
0.4 /
0.3 s
|
14.1 /
7.7 s
|
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml |
19.9 /
8.7 s
|
175.9 /
60.1 s
|
_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
ewriting/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml |
52.6 /
15.5 s
|
213.7 /
60.1 s
|
ull_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
_Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
ull_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
ull_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_C.xml |
236.4 /
60.1 s
|
871.6 /
297.1 s
|
Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_FR.xml |
22.6 /
10.2 s
|
198.4 /
60.1 s
|
Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.xml |
40.9 /
10.7 s
|
202.2 /
60.1 s
|
_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_Z.xml |
0.7 /
0.3 s
|
1.4 /
0.5 s
|
ull_Rewriting/Transformed_CSR_04/Ex5_Zan97_iGM.xml |
225.0 /
57.0 s
|
976.8 /
297.2 s
|
ll_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
ll_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
__Full_Rewriting/Transformed_CSR_04/Ex6_GM04_C.xml |
208.7 /
75.0 s
|
195.0 /
60.1 s
|
_Full_Rewriting/Transformed_CSR_04/Ex6_GM04_FR.xml |
82.1 /
39.4 s
|
345.4 /
184.4 s
|
_Full_Rewriting/Transformed_CSR_04/Ex6_GM04_GM.xml |
0.8 /
0.3 s
|
1.4 /
0.5 s
|
__Full_Rewriting/Transformed_CSR_04/Ex6_GM04_L.xml |
0.2 /
0.2 s
|
0.2 /
0.1 s
|
Full_Rewriting/Transformed_CSR_04/Ex6_GM04_iGM.xml |
6.9 /
2.0 s
|
4.4 /
1.5 s
|
_Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_L.xml |
0.3 /
0.2 s
|
6.4 /
3.8 s
|
_Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
_Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
_Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_L.xml |
0.4 /
0.3 s
|
5.4 /
2.4 s
|
_Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_C.xml |
258.9 /
65.4 s
|
950.7 /
297.2 s
|
Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_FR.xml |
190.6 /
55.6 s
|
950.8 /
297.1 s
|
Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_GM.xml |
48.4 /
29.2 s
|
172.7 /
60.1 s
|
ull_Rewriting/Transformed_CSR_04/Ex9_Luc06_iGM.xml |
64.0 /
20.9 s
|
236.3 /
73.5 s
|
ll_Rewriting/Transformed_CSR_04/ExConc_Zan97_C.xml |
361.3 /
116.6 s
|
180.9 /
60.2 s
|
l_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR.xml |
29.9 /
10.5 s
|
176.2 /
60.1 s
|
l_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM.xml |
49.3 /
22.4 s
|
167.0 /
60.1 s
|
ll_Rewriting/Transformed_CSR_04/ExConc_Zan97_L.xml |
0.2 /
0.2 s
|
2.0 /
1.3 s
|
ll_Rewriting/Transformed_CSR_04/ExConc_Zan97_Z.xml |
21.9 /
10.2 s
|
209.0 /
60.1 s
|
_Rewriting/Transformed_CSR_04/ExConc_Zan97_iGM.xml |
654.6 /
295.4 s
|
166.5 /
60.1 s
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM01_C.xml |
275.7 /
69.8 s
|
486.7 /
297.1 s
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_FR.xml |
133.7 /
56.1 s
|
209.1 /
60.1 s
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_GM.xml |
266.0 /
67.4 s
|
766.2 /
297.2 s
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM01_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM01_Z.xml |
224.9 /
56.9 s
|
967.7 /
297.2 s
|
Rewriting/Transformed_CSR_04/ExIntrod_GM01_iGM.xml |
363.0 /
91.8 s
|
958.9 /
297.2 s
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM04_C.xml |
238.9 /
60.4 s
|
839.7 /
297.2 s
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.xml |
153.4 /
56.3 s
|
221.4 /
60.1 s
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_GM.xml |
85.4 /
31.6 s
|
203.9 /
60.1 s
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM04_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.xml |
226.6 /
57.4 s
|
959.1 /
297.1 s
|
Rewriting/Transformed_CSR_04/ExIntrod_GM04_iGM.xml |
352.1 /
88.8 s
|
1013.7 /
297.2 s
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM99_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
l_Rewriting/Transformed_CSR_04/ExProp7_Luc06_C.xml |
267.0 /
67.5 s
|
544.3 /
297.1 s
|
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_FR.xml |
26.4 /
10.6 s
|
170.0 /
60.1 s
|
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_GM.xml |
231.9 /
60.0 s
|
1184.8 /
297.2 s
|
l_Rewriting/Transformed_CSR_04/ExProp7_Luc06_L.xml |
0.3 /
0.2 s
|
13.5 /
5.0 s
|
l_Rewriting/Transformed_CSR_04/ExProp7_Luc06_Z.xml |
0.4 /
0.2 s
|
38.6 /
18.4 s
|
Rewriting/Transformed_CSR_04/ExProp7_Luc06_iGM.xml |
255.7 /
64.7 s
|
1184.8 /
297.2 s
|
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
nsformed_CSR_04/LISTUTILITIES_complete-noand_L.xml |
0.3 /
0.3 s
|
0.1 /
0.1 s
|
ng/Transformed_CSR_04/LISTUTILITIES_complete_L.xml |
0.2 /
0.2 s
|
0.1 /
0.1 s
|
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml |
0.2 /
0.2 s
|
0.1 /
0.0 s
|
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
ed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml |
0.2 /
0.2 s
|
0.1 /
0.0 s
|
nsformed_CSR_04/LengthOfFiniteLists_complete_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
med_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
ansformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
ed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml |
45.0 /
12.8 s
|
958.3 /
297.1 s
|
med_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
ansformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml |
237.0 /
60.4 s
|
481.1 /
297.1 s
|
nsformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml |
221.1 /
55.9 s
|
1185.0 /
297.2 s
|
nsformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml |
238.7 /
60.5 s
|
1184.6 /
297.2 s
|
ansformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
sformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml |
251.5 /
62.5 s
|
1110.1 /
297.2 s
|
med_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml |
238.9 /
60.4 s
|
518.2 /
297.1 s
|
ed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml |
251.7 /
63.9 s
|
1184.7 /
297.2 s
|
d_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml |
238.7 /
60.3 s
|
1139.3 /
297.2 s
|
ting/Transformed_CSR_04/MYNAT_complete-noand_L.xml |
0.2 /
0.2 s
|
0.1 /
0.0 s
|
_Rewriting/Transformed_CSR_04/MYNAT_complete_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
iting/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
l_Rewriting/Transformed_CSR_04/MYNAT_nokinds_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
iting/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
g/Transformed_CSR_04/OvConsOS_complete-noand_L.xml |
0.2 /
0.2 s
|
0.1 /
0.0 s
|
writing/Transformed_CSR_04/OvConsOS_complete_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
ng/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
ewriting/Transformed_CSR_04/OvConsOS_nokinds_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
g/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml |
93.9 /
34.4 s
|
719.6 /
297.2 s
|
ng/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
ng/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml |
77.1 /
26.1 s
|
969.9 /
297.2 s
|
ewriting/Transformed_CSR_04/OvConsOS_nosorts_C.xml |
239.1 /
60.5 s
|
474.1 /
297.1 s
|
writing/Transformed_CSR_04/OvConsOS_nosorts_FR.xml |
132.4 /
56.1 s
|
959.2 /
297.1 s
|
writing/Transformed_CSR_04/OvConsOS_nosorts_GM.xml |
236.2 /
60.0 s
|
867.5 /
297.1 s
|
ewriting/Transformed_CSR_04/OvConsOS_nosorts_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
ewriting/Transformed_CSR_04/OvConsOS_nosorts_Z.xml |
221.7 /
56.1 s
|
1184.6 /
297.2 s
|
riting/Transformed_CSR_04/OvConsOS_nosorts_iGM.xml |
254.4 /
64.3 s
|
1059.0 /
297.3 s
|
ng/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml |
239.7 /
60.7 s
|
557.2 /
297.2 s
|
g/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml |
238.9 /
60.3 s
|
501.9 /
297.1 s
|
/Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml |
239.2 /
60.5 s
|
957.8 /
300.0 s
|
Transformed_CSR_04/PALINDROME_complete-noand_L.xml |
88.2 /
29.4 s
|
201.4 /
60.3 s
|
iting/Transformed_CSR_04/PALINDROME_complete_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml |
82.3 /
23.5 s
|
257.6 /
68.1 s
|
/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml |
33.1 /
10.2 s
|
208.6 /
60.1 s
|
/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml |
39.3 /
12.6 s
|
191.0 /
63.7 s
|
riting/Transformed_CSR_04/PALINDROME_nokinds_C.xml |
268.2 /
67.8 s
|
892.9 /
297.3 s
|
iting/Transformed_CSR_04/PALINDROME_nokinds_FR.xml |
61.0 /
17.2 s
|
217.4 /
60.1 s
|
iting/Transformed_CSR_04/PALINDROME_nokinds_GM.xml |
94.1 /
25.8 s
|
224.0 /
60.2 s
|
riting/Transformed_CSR_04/PALINDROME_nokinds_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
riting/Transformed_CSR_04/PALINDROME_nokinds_Z.xml |
31.9 /
11.0 s
|
171.8 /
60.2 s
|
ting/Transformed_CSR_04/PALINDROME_nokinds_iGM.xml |
251.8 /
63.8 s
|
737.3 /
297.3 s
|
/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml |
388.4 /
98.3 s
|
596.7 /
297.1 s
|
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml |
239.0 /
60.4 s
|
559.1 /
297.2 s
|
ransformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml |
239.3 /
60.6 s
|
730.7 /
251.5 s
|
Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml |
9.3 /
6.1 s
|
165.2 /
60.1 s
|
/Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml |
9.2 /
6.1 s
|
167.3 /
60.1 s
|
riting/Transformed_CSR_04/PALINDROME_nosorts_C.xml |
283.2 /
72.1 s
|
771.9 /
297.2 s
|
iting/Transformed_CSR_04/PALINDROME_nosorts_FR.xml |
11.9 /
6.9 s
|
165.8 /
60.1 s
|
iting/Transformed_CSR_04/PALINDROME_nosorts_GM.xml |
43.1 /
11.4 s
|
204.8 /
60.1 s
|
riting/Transformed_CSR_04/PALINDROME_nosorts_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
ting/Transformed_CSR_04/PALINDROME_nosorts_iGM.xml |
240.0 /
59.2 s
|
802.9 /
297.2 s
|
/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml |
318.2 /
80.7 s
|
973.1 /
297.2 s
|
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml |
62.3 /
17.0 s
|
469.4 /
297.1 s
|
ransformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml |
247.2 /
62.7 s
|
546.6 /
297.2 s
|
ting/Transformed_CSR_04/PEANO_complete-noand_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
_Rewriting/Transformed_CSR_04/PEANO_complete_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
iting/Transformed_CSR_04/PEANO_nokinds-noand_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
l_Rewriting/Transformed_CSR_04/PEANO_nokinds_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
ting/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml |
16.7 /
8.2 s
|
157.4 /
60.0 s
|
iting/Transformed_CSR_04/PEANO_nosorts-noand_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
l_Rewriting/Transformed_CSR_04/PEANO_nosorts_C.xml |
283.9 /
72.1 s
|
959.5 /
297.2 s
|
_Rewriting/Transformed_CSR_04/PEANO_nosorts_FR.xml |
11.5 /
7.0 s
|
151.0 /
60.1 s
|
_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.xml |
67.0 /
19.1 s
|
215.8 /
60.1 s
|
l_Rewriting/Transformed_CSR_04/PEANO_nosorts_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
Rewriting/Transformed_CSR_04/PEANO_nosorts_iGM.xml |
236.1 /
59.9 s
|
805.4 /
297.2 s
|
iting/Transformed_CSR_04/PEANO_nosorts_noand_C.xml |
253.1 /
64.0 s
|
901.1 /
297.2 s
|
ting/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml |
194.5 /
57.7 s
|
713.7 /
297.1 s
|
ing/Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml |
249.9 /
63.2 s
|
933.0 /
297.1 s
|
ional_Complexity__Full_Rewriting/Various_04/07.xml |
0.2 /
0.2 s
|
0.4 /
0.2 s
|
ional_Complexity__Full_Rewriting/Various_04/15.xml |
37.5 /
10.3 s
|
205.0 /
60.0 s
|
ional_Complexity__Full_Rewriting/Various_04/18.xml |
95.9 /
30.4 s
|
410.5 /
232.5 s
|
ional_Complexity__Full_Rewriting/Various_04/19.xml |
25.3 /
10.2 s
|
199.0 /
60.4 s
|
ional_Complexity__Full_Rewriting/Various_04/21.xml |
116.6 /
34.5 s
|
1151.0 /
297.2 s
|
ional_Complexity__Full_Rewriting/Various_04/23.xml |
16.3 /
8.1 s
|
176.5 /
60.1 s
|
ional_Complexity__Full_Rewriting/Various_04/24.xml |
6.5 /
1.8 s
|
271.7 /
98.2 s
|
ional_Complexity__Full_Rewriting/Various_04/25.xml |
0.4 /
0.3 s
|
0.9 /
0.3 s
|
ional_Complexity__Full_Rewriting/Various_04/27.xml |
0.3 /
0.2 s
|
4.7 /
2.8 s
|
mplexity__Full_Rewriting/Waldmann_06/jwaprove1.xml |
132.5 /
55.3 s
|
697.4 /
297.2 s
|
mplexity__Full_Rewriting/Waldmann_06/jwaprove2.xml |
129.4 /
55.3 s
|
696.7 /
297.2 s
|
Complexity__Full_Rewriting/Waldmann_06/jwcime1.xml |
24.1 /
10.2 s
|
912.3 /
297.1 s
|
Complexity__Full_Rewriting/Waldmann_06/jwcime2.xml |
0.4 /
0.2 s
|
866.5 /
297.2 s
|
mplexity__Full_Rewriting/Waldmann_06/jwmatchb1.xml |
133.7 /
55.2 s
|
726.9 /
297.2 s
|
mplexity__Full_Rewriting/Waldmann_06/jwmatchb2.xml |
112.4 /
55.3 s
|
712.1 /
297.2 s
|
l_Complexity__Full_Rewriting/Waldmann_06/jwno1.xml |
22.6 /
10.2 s
|
997.8 /
297.1 s
|
l_Complexity__Full_Rewriting/Waldmann_06/jwno2.xml |
23.3 /
10.2 s
|
768.9 /
297.2 s
|
l_Complexity__Full_Rewriting/Waldmann_06/jwno3.xml |
61.0 /
19.5 s
|
983.7 /
297.1 s
|
l_Complexity__Full_Rewriting/Waldmann_06/jwno4.xml |
22.4 /
10.2 s
|
921.3 /
297.1 s
|
l_Complexity__Full_Rewriting/Waldmann_06/jwno5.xml |
24.6 /
10.2 s
|
751.6 /
297.2 s
|
l_Complexity__Full_Rewriting/Waldmann_06/jwno6.xml |
22.2 /
10.2 s
|
909.7 /
297.3 s
|
l_Complexity__Full_Rewriting/Waldmann_06/jwno7.xml |
44.0 /
12.2 s
|
903.2 /
297.1 s
|
l_Complexity__Full_Rewriting/Waldmann_06/jwno8.xml |
25.7 /
10.2 s
|
926.1 /
297.1 s
|
l_Complexity__Full_Rewriting/Waldmann_06/jwno9.xml |
22.5 /
10.2 s
|
899.7 /
297.2 s
|
_Complexity__Full_Rewriting/Waldmann_06/jwtpa1.xml |
0.4 /
0.3 s
|
1003.8 /
297.1 s
|
_Complexity__Full_Rewriting/Waldmann_06/jwtpa2.xml |
22.8 /
10.2 s
|
894.8 /
297.2 s
|
l_Complexity__Full_Rewriting/Waldmann_06/jwttt.xml |
23.5 /
10.2 s
|
997.6 /
297.5 s
|
l_Complexity__Full_Rewriting/Waldmann_06_SRS/e.xml |
83.0 /
22.1 s
|
303.7 /
121.3 s
|
Complexity__Full_Rewriting/Waldmann_06_SRS/jw1.xml |
157.9 /
55.3 s
|
953.5 /
297.1 s
|
Complexity__Full_Rewriting/Waldmann_06_SRS/jw3.xml |
223.9 /
56.8 s
|
1079.5 /
297.1 s
|
Complexity__Full_Rewriting/Waldmann_06_SRS/jw4.xml |
222.9 /
56.4 s
|
1179.5 /
297.5 s
|
Complexity__Full_Rewriting/Waldmann_06_SRS/jw5.xml |
228.6 /
58.1 s
|
1169.5 /
297.7 s
|
_Complexity__Full_Rewriting/Waldmann_06_SRS/pi.xml |
233.3 /
67.1 s
|
179.0 /
60.1 s
|
mplexity__Full_Rewriting/Waldmann_06_SRS/sym-1.xml |
32.2 /
8.3 s
|
197.9 /
60.1 s
|
mplexity__Full_Rewriting/Waldmann_06_SRS/sym-2.xml |
54.1 /
20.6 s
|
211.3 /
60.1 s
|
mplexity__Full_Rewriting/Waldmann_06_SRS/sym-4.xml |
5.8 /
1.6 s
|
199.6 /
60.1 s
|
mplexity__Full_Rewriting/Waldmann_06_SRS/sym-5.xml |
137.9 /
55.4 s
|
735.8 /
297.1 s
|
mplexity__Full_Rewriting/Waldmann_06_SRS/sym-6.xml |
37.3 /
10.4 s
|
200.9 /
60.0 s
|
mplexity__Full_Rewriting/Waldmann_06_SRS/uni-1.xml |
5.8 /
1.6 s
|
200.9 /
60.1 s
|
mplexity__Full_Rewriting/Waldmann_06_SRS/uni-2.xml |
144.6 /
55.4 s
|
776.2 /
297.2 s
|
mplexity__Full_Rewriting/Waldmann_06_SRS/uni-3.xml |
102.5 /
55.4 s
|
1031.6 /
297.2 s
|
mplexity__Full_Rewriting/Waldmann_06_SRS/uni-4.xml |
130.4 /
55.3 s
|
889.5 /
297.2 s
|
mplexity__Full_Rewriting/Waldmann_06_SRS/uni-5.xml |
42.9 /
12.0 s
|
525.5 /
297.1 s
|
mplexity__Full_Rewriting/Waldmann_06_SRS/uni-6.xml |
194.3 /
55.5 s
|
977.5 /
297.2 s
|
mplexity__Full_Rewriting/Waldmann_06_SRS/uni-7.xml |
220.4 /
55.7 s
|
1184.8 /
297.2 s
|
y__Full_Rewriting/Waldmann_06_SRS/z086-variant.xml |
138.8 /
55.3 s
|
771.3 /
297.1 s
|
iting/Waldmann_07_size11/size-11-alpha-2-num-1.xml |
102.7 /
55.3 s
|
1108.7 /
297.2 s
|
iting/Waldmann_07_size11/size-11-alpha-2-num-2.xml |
151.4 /
55.4 s
|
1185.8 /
297.5 s
|
iting/Waldmann_07_size11/size-11-alpha-2-num-3.xml |
136.7 /
55.4 s
|
723.7 /
297.2 s
|
iting/Waldmann_07_size11/size-11-alpha-2-num-4.xml |
134.2 /
55.3 s
|
727.5 /
297.2 s
|
iting/Waldmann_07_size11/size-11-alpha-3-num-1.xml |
75.5 /
35.0 s
|
714.8 /
297.1 s
|
ting/Waldmann_07_size11/size-11-alpha-3-num-10.xml |
37.8 /
10.4 s
|
199.0 /
60.1 s
|
ting/Waldmann_07_size11/size-11-alpha-3-num-11.xml |
91.0 /
43.5 s
|
713.8 /
297.1 s
|
ting/Waldmann_07_size11/size-11-alpha-3-num-12.xml |
50.7 /
21.3 s
|
476.3 /
297.1 s
|
ting/Waldmann_07_size11/size-11-alpha-3-num-13.xml |
95.7 /
55.3 s
|
428.4 /
252.1 s
|
ting/Waldmann_07_size11/size-11-alpha-3-num-14.xml |
96.5 /
55.3 s
|
714.0 /
297.1 s
|
ting/Waldmann_07_size11/size-11-alpha-3-num-15.xml |
48.5 /
18.6 s
|
547.2 /
191.5 s
|
ting/Waldmann_07_size11/size-11-alpha-3-num-16.xml |
37.6 /
10.3 s
|
196.3 /
60.1 s
|
ting/Waldmann_07_size11/size-11-alpha-3-num-17.xml |
38.4 /
10.3 s
|
200.1 /
60.0 s
|
ting/Waldmann_07_size11/size-11-alpha-3-num-18.xml |
29.3 /
10.2 s
|
197.5 /
60.0 s
|
ting/Waldmann_07_size11/size-11-alpha-3-num-19.xml |
31.5 /
10.4 s
|
197.5 /
60.0 s
|
iting/Waldmann_07_size11/size-11-alpha-3-num-2.xml |
86.3 /
54.1 s
|
714.1 /
297.1 s
|
ting/Waldmann_07_size11/size-11-alpha-3-num-20.xml |
33.1 /
10.3 s
|
198.8 /
60.1 s
|
ting/Waldmann_07_size11/size-11-alpha-3-num-21.xml |
31.8 /
10.2 s
|
198.8 /
60.1 s
|
iting/Waldmann_07_size11/size-11-alpha-3-num-3.xml |
35.4 /
10.3 s
|
200.4 /
60.0 s
|
iting/Waldmann_07_size11/size-11-alpha-3-num-4.xml |
66.5 /
33.1 s
|
532.6 /
297.1 s
|
iting/Waldmann_07_size11/size-11-alpha-3-num-5.xml |
57.0 /
22.7 s
|
292.6 /
126.8 s
|
iting/Waldmann_07_size11/size-11-alpha-3-num-6.xml |
85.3 /
55.3 s
|
205.5 /
60.0 s
|
iting/Waldmann_07_size11/size-11-alpha-3-num-7.xml |
38.8 /
10.3 s
|
200.8 /
60.0 s
|
iting/Waldmann_07_size11/size-11-alpha-3-num-8.xml |
40.3 /
10.4 s
|
207.4 /
60.1 s
|
iting/Waldmann_07_size11/size-11-alpha-3-num-9.xml |
38.0 /
11.4 s
|
204.9 /
60.1 s
|
iting/Waldmann_07_size12/size-12-alpha-2-num-1.xml |
41.0 /
10.9 s
|
204.0 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-2-num-10.xml |
144.3 /
55.3 s
|
1104.4 /
297.2 s
|
ting/Waldmann_07_size12/size-12-alpha-2-num-11.xml |
131.5 /
55.3 s
|
1105.8 /
297.2 s
|
ting/Waldmann_07_size12/size-12-alpha-2-num-12.xml |
171.3 /
55.3 s
|
1170.2 /
297.9 s
|
ting/Waldmann_07_size12/size-12-alpha-2-num-13.xml |
49.6 /
15.5 s
|
562.8 /
201.9 s
|
ting/Waldmann_07_size12/size-12-alpha-2-num-14.xml |
53.8 /
17.1 s
|
559.0 /
199.5 s
|
ting/Waldmann_07_size12/size-12-alpha-2-num-15.xml |
34.6 /
10.3 s
|
199.8 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-2-num-16.xml |
64.0 /
32.4 s
|
205.6 /
60.0 s
|
ting/Waldmann_07_size12/size-12-alpha-2-num-17.xml |
43.3 /
13.3 s
|
1091.7 /
297.1 s
|
ting/Waldmann_07_size12/size-12-alpha-2-num-18.xml |
39.9 /
10.4 s
|
1068.3 /
297.4 s
|
ting/Waldmann_07_size12/size-12-alpha-2-num-19.xml |
38.9 /
10.4 s
|
201.3 /
60.0 s
|
iting/Waldmann_07_size12/size-12-alpha-2-num-2.xml |
50.5 /
15.7 s
|
203.7 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-2-num-20.xml |
83.0 /
53.1 s
|
200.7 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-2-num-21.xml |
37.7 /
10.3 s
|
206.6 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-2-num-22.xml |
39.4 /
10.4 s
|
203.8 /
60.1 s
|
iting/Waldmann_07_size12/size-12-alpha-2-num-3.xml |
44.7 /
13.2 s
|
202.5 /
60.1 s
|
iting/Waldmann_07_size12/size-12-alpha-2-num-4.xml |
148.1 /
55.4 s
|
1162.0 /
297.2 s
|
iting/Waldmann_07_size12/size-12-alpha-2-num-5.xml |
185.8 /
55.4 s
|
1185.1 /
297.3 s
|
iting/Waldmann_07_size12/size-12-alpha-2-num-6.xml |
130.0 /
55.4 s
|
1156.5 /
297.2 s
|
iting/Waldmann_07_size12/size-12-alpha-2-num-7.xml |
140.3 /
55.5 s
|
987.0 /
297.2 s
|
iting/Waldmann_07_size12/size-12-alpha-2-num-8.xml |
136.7 /
55.3 s
|
706.5 /
297.1 s
|
iting/Waldmann_07_size12/size-12-alpha-3-num-1.xml |
33.9 /
10.3 s
|
199.5 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-10.xml |
76.0 /
35.2 s
|
592.9 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-100.xml |
32.4 /
10.2 s
|
200.5 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-101.xml |
28.8 /
10.2 s
|
200.7 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-104.xml |
49.9 /
18.6 s
|
198.8 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-105.xml |
42.6 /
12.4 s
|
487.3 /
172.4 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-106.xml |
43.2 /
11.6 s
|
206.6 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-107.xml |
43.0 /
13.0 s
|
197.1 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-108.xml |
38.2 /
10.4 s
|
199.0 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-109.xml |
79.0 /
12.9 s
|
200.1 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-11.xml |
63.7 /
25.7 s
|
721.1 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-110.xml |
47.9 /
17.9 s
|
466.8 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-111.xml |
38.8 /
10.4 s
|
199.4 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-112.xml |
38.4 /
10.3 s
|
594.8 /
196.7 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-113.xml |
38.6 /
10.3 s
|
553.8 /
186.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-114.xml |
40.3 /
10.4 s
|
261.8 /
93.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-120.xml |
37.1 /
10.4 s
|
200.3 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-121.xml |
41.9 /
11.2 s
|
200.1 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-122.xml |
41.1 /
10.7 s
|
514.5 /
176.9 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-123.xml |
68.4 /
29.8 s
|
201.1 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-124.xml |
42.5 /
10.5 s
|
202.5 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-125.xml |
82.0 /
40.4 s
|
261.0 /
86.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-126.xml |
104.1 /
55.4 s
|
548.4 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-127.xml |
32.0 /
10.3 s
|
197.8 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-128.xml |
66.3 /
29.3 s
|
415.2 /
214.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-129.xml |
31.9 /
10.3 s
|
199.6 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-13.xml |
32.3 /
10.3 s
|
204.7 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-131.xml |
28.4 /
10.2 s
|
192.8 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-132.xml |
91.5 /
55.3 s
|
1135.0 /
297.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-133.xml |
85.6 /
50.0 s
|
1119.1 /
297.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-134.xml |
36.7 /
10.3 s
|
199.5 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-135.xml |
32.1 /
10.4 s
|
200.6 /
60.0 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-14.xml |
34.6 /
10.3 s
|
202.2 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-140.xml |
30.7 /
10.2 s
|
473.8 /
166.4 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-146.xml |
31.9 /
10.2 s
|
454.0 /
157.5 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-149.xml |
32.7 /
10.4 s
|
199.1 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-15.xml |
38.9 /
10.4 s
|
199.8 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-152.xml |
34.7 /
10.3 s
|
201.1 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-158.xml |
38.0 /
10.7 s
|
585.9 /
197.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-159.xml |
24.8 /
10.2 s
|
201.0 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-16.xml |
38.6 /
10.4 s
|
201.4 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-160.xml |
26.1 /
10.2 s
|
461.9 /
161.6 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-163.xml |
35.4 /
10.4 s
|
199.6 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-164.xml |
37.2 /
10.4 s
|
199.5 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-165.xml |
39.9 /
10.4 s
|
199.7 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-168.xml |
35.2 /
10.3 s
|
199.4 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-17.xml |
40.4 /
10.4 s
|
203.8 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-170.xml |
32.9 /
10.4 s
|
198.2 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-174.xml |
83.7 /
13.1 s
|
304.0 /
134.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-176.xml |
28.9 /
10.2 s
|
198.6 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-177.xml |
24.9 /
10.2 s
|
198.1 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-178.xml |
28.7 /
10.2 s
|
433.3 /
153.3 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-179.xml |
33.6 /
10.3 s
|
440.2 /
149.6 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-180.xml |
29.6 /
10.2 s
|
451.4 /
164.8 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-181.xml |
30.4 /
10.2 s
|
198.0 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-186.xml |
24.9 /
10.2 s
|
193.3 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-19.xml |
40.7 /
10.5 s
|
200.5 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-190.xml |
32.3 /
10.3 s
|
202.9 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-191.xml |
33.3 /
10.3 s
|
201.4 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-194.xml |
34.0 /
10.4 s
|
198.9 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-195.xml |
30.5 /
10.2 s
|
445.2 /
158.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-198.xml |
35.8 /
10.3 s
|
536.2 /
183.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-199.xml |
33.6 /
10.2 s
|
487.0 /
170.2 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-20.xml |
39.2 /
10.4 s
|
201.7 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-200.xml |
37.2 /
10.3 s
|
200.8 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-201.xml |
34.7 /
10.4 s
|
200.0 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-202.xml |
27.1 /
10.2 s
|
199.5 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-203.xml |
38.8 /
10.4 s
|
199.2 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-204.xml |
35.0 /
10.3 s
|
199.2 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-206.xml |
31.8 /
10.4 s
|
199.0 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-207.xml |
33.3 /
10.3 s
|
199.1 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-209.xml |
32.2 /
10.2 s
|
199.0 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-21.xml |
40.0 /
10.4 s
|
540.3 /
187.6 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-210.xml |
31.9 /
10.2 s
|
199.6 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-211.xml |
33.2 /
10.3 s
|
202.4 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-213.xml |
32.1 /
10.4 s
|
398.9 /
137.9 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-215.xml |
31.8 /
10.4 s
|
200.0 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-217.xml |
35.1 /
10.3 s
|
197.7 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-219.xml |
34.1 /
10.3 s
|
198.1 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-22.xml |
103.2 /
55.3 s
|
1184.3 /
297.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-220.xml |
33.3 /
10.4 s
|
198.0 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-221.xml |
34.1 /
10.3 s
|
195.5 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-222.xml |
61.4 /
29.9 s
|
200.9 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-223.xml |
34.2 /
10.4 s
|
199.9 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-224.xml |
65.7 /
25.0 s
|
252.3 /
87.3 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-225.xml |
32.6 /
10.3 s
|
416.9 /
142.3 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-226.xml |
40.0 /
10.3 s
|
198.9 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-227.xml |
72.9 /
22.1 s
|
462.4 /
291.7 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-23.xml |
34.0 /
10.4 s
|
201.9 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-231.xml |
96.7 /
55.4 s
|
437.3 /
268.4 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-232.xml |
26.1 /
10.2 s
|
198.4 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-233.xml |
72.4 /
36.1 s
|
222.2 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-236.xml |
63.6 /
30.3 s
|
227.8 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-237.xml |
72.8 /
34.7 s
|
405.6 /
240.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-238.xml |
39.0 /
11.7 s
|
201.3 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-239.xml |
31.3 /
10.3 s
|
198.0 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-241.xml |
31.7 /
10.4 s
|
198.9 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-243.xml |
32.0 /
10.4 s
|
198.7 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-247.xml |
43.8 /
16.1 s
|
205.6 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-248.xml |
39.1 /
11.3 s
|
201.5 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-249.xml |
38.1 /
10.3 s
|
264.8 /
93.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-255.xml |
33.5 /
10.7 s
|
201.8 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-257.xml |
29.6 /
10.2 s
|
200.1 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-260.xml |
38.9 /
11.3 s
|
1101.7 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-263.xml |
104.4 /
55.3 s
|
753.5 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-265.xml |
50.8 /
20.6 s
|
201.7 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-267.xml |
90.0 /
53.7 s
|
1136.0 /
297.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-270.xml |
88.1 /
55.3 s
|
605.6 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-271.xml |
83.8 /
55.4 s
|
661.4 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-272.xml |
56.4 /
20.9 s
|
578.0 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-273.xml |
37.6 /
10.3 s
|
199.9 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-274.xml |
90.1 /
52.2 s
|
198.2 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-275.xml |
56.4 /
26.5 s
|
612.3 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-279.xml |
34.1 /
10.3 s
|
196.7 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-281.xml |
34.7 /
10.3 s
|
201.2 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-282.xml |
33.9 /
10.4 s
|
200.8 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-283.xml |
28.4 /
10.2 s
|
195.8 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-284.xml |
33.2 /
10.3 s
|
199.2 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-285.xml |
49.6 /
10.3 s
|
197.3 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-286.xml |
80.3 /
51.9 s
|
255.8 /
91.9 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-287.xml |
27.3 /
10.2 s
|
197.8 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-288.xml |
30.9 /
10.2 s
|
199.0 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-289.xml |
52.5 /
20.7 s
|
527.5 /
183.4 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-291.xml |
50.4 /
20.4 s
|
484.5 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-292.xml |
90.5 /
54.6 s
|
714.1 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-293.xml |
45.3 /
13.3 s
|
204.5 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-294.xml |
42.4 /
12.4 s
|
502.7 /
177.6 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-296.xml |
48.7 /
15.3 s
|
499.0 /
177.4 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-297.xml |
42.8 /
12.8 s
|
202.4 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-298.xml |
43.6 /
13.6 s
|
504.1 /
175.8 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-299.xml |
40.6 /
10.7 s
|
200.0 /
60.1 s
|
iting/Waldmann_07_size12/size-12-alpha-3-num-3.xml |
25.8 /
10.2 s
|
199.9 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-30.xml |
31.5 /
10.4 s
|
199.2 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-300.xml |
42.5 /
12.5 s
|
201.2 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-301.xml |
43.6 /
13.6 s
|
203.1 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-303.xml |
42.1 /
12.0 s
|
471.9 /
160.3 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-304.xml |
41.4 /
11.5 s
|
498.0 /
175.4 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-309.xml |
113.9 /
55.4 s
|
714.4 /
297.2 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-31.xml |
44.0 /
14.0 s
|
198.8 /
60.0 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-32.xml |
47.2 /
17.3 s
|
201.7 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-327.xml |
87.8 /
55.3 s
|
714.8 /
297.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-328.xml |
150.7 /
55.6 s
|
714.4 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-330.xml |
38.7 /
10.3 s
|
228.1 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-335.xml |
82.9 /
40.8 s
|
286.7 /
116.5 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-337.xml |
85.6 /
53.6 s
|
204.2 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-338.xml |
144.2 /
55.4 s
|
1196.5 /
300.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-339.xml |
198.1 /
55.4 s
|
1185.0 /
297.3 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-340.xml |
135.2 /
55.4 s
|
1149.4 /
297.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-341.xml |
135.1 /
55.3 s
|
732.2 /
297.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-343.xml |
32.6 /
10.2 s
|
201.3 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-345.xml |
106.9 /
55.3 s
|
677.4 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-346.xml |
134.4 /
55.3 s
|
732.7 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-347.xml |
144.0 /
55.3 s
|
663.6 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-348.xml |
133.5 /
55.4 s
|
721.9 /
297.2 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-35.xml |
38.7 /
11.4 s
|
198.8 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-350.xml |
37.7 /
10.3 s
|
199.8 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-351.xml |
27.0 /
10.2 s
|
200.3 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-352.xml |
32.7 /
10.2 s
|
201.3 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-353.xml |
32.5 /
10.2 s
|
483.8 /
173.3 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-354.xml |
128.4 /
55.3 s
|
426.1 /
261.8 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-355.xml |
145.8 /
55.4 s
|
1185.6 /
297.4 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-356.xml |
132.0 /
55.4 s
|
1137.9 /
297.3 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-359.xml |
75.9 /
30.4 s
|
714.2 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-360.xml |
124.1 /
55.4 s
|
714.1 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-361.xml |
151.5 /
55.4 s
|
1185.7 /
297.4 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-362.xml |
182.9 /
55.4 s
|
1195.3 /
299.9 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-363.xml |
135.9 /
55.3 s
|
1185.2 /
297.3 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-366.xml |
149.6 /
55.4 s
|
813.5 /
297.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-367.xml |
128.6 /
55.3 s
|
751.0 /
297.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-368.xml |
152.4 /
55.3 s
|
815.8 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-369.xml |
161.3 /
55.4 s
|
977.6 /
297.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-373.xml |
44.3 /
12.4 s
|
203.3 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-374.xml |
161.2 /
55.3 s
|
390.1 /
222.3 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-375.xml |
41.6 /
13.5 s
|
535.0 /
180.4 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-376.xml |
42.1 /
14.7 s
|
539.3 /
188.7 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-377.xml |
107.6 /
55.4 s
|
714.6 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-378.xml |
52.0 /
15.1 s
|
206.8 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-382.xml |
162.7 /
55.4 s
|
1187.7 /
297.9 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-383.xml |
133.7 /
55.4 s
|
1154.5 /
297.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-384.xml |
147.2 /
55.4 s
|
1186.1 /
297.6 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-385.xml |
181.7 /
55.4 s
|
1185.6 /
297.3 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-386.xml |
134.3 /
55.4 s
|
1170.3 /
297.6 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-389.xml |
131.6 /
55.4 s
|
621.7 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-391.xml |
124.0 /
55.4 s
|
714.2 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-392.xml |
42.5 /
11.7 s
|
202.1 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-395.xml |
109.7 /
55.3 s
|
621.2 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-396.xml |
105.2 /
55.3 s
|
563.3 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-399.xml |
163.3 /
55.4 s
|
714.3 /
297.1 s
|
iting/Waldmann_07_size12/size-12-alpha-3-num-4.xml |
37.3 /
10.4 s
|
199.6 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-40.xml |
70.3 /
34.3 s
|
496.0 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-400.xml |
148.2 /
55.4 s
|
1185.3 /
297.4 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-401.xml |
200.0 /
55.4 s
|
1196.3 /
300.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-402.xml |
219.5 /
55.4 s
|
1185.2 /
297.3 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-403.xml |
135.2 /
55.3 s
|
1185.6 /
297.4 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-406.xml |
197.8 /
55.4 s
|
1196.6 /
300.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-408.xml |
130.4 /
55.4 s
|
1196.5 /
300.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-409.xml |
139.7 /
55.4 s
|
1196.7 /
300.0 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-41.xml |
36.7 /
10.4 s
|
199.1 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-410.xml |
147.3 /
55.4 s
|
1186.4 /
297.6 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-412.xml |
114.3 /
55.3 s
|
497.0 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-413.xml |
132.9 /
55.3 s
|
768.5 /
297.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-414.xml |
124.9 /
55.3 s
|
757.6 /
297.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-415.xml |
134.0 /
55.3 s
|
761.4 /
297.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-416.xml |
124.3 /
55.3 s
|
755.5 /
297.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-417.xml |
148.6 /
55.3 s
|
733.1 /
297.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-418.xml |
123.7 /
55.3 s
|
744.1 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-427.xml |
91.6 /
55.3 s
|
212.9 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-429.xml |
34.7 /
10.3 s
|
196.9 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-430.xml |
48.7 /
15.7 s
|
198.0 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-431.xml |
40.0 /
10.4 s
|
195.7 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-434.xml |
40.1 /
10.3 s
|
198.9 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-435.xml |
41.1 /
11.1 s
|
196.1 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-436.xml |
53.3 /
20.0 s
|
299.1 /
131.8 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-437.xml |
60.0 /
27.2 s
|
215.1 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-438.xml |
67.9 /
33.3 s
|
218.4 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-439.xml |
83.2 /
43.5 s
|
470.3 /
297.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-44.xml |
37.0 /
10.4 s
|
201.2 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-441.xml |
44.8 /
13.0 s
|
199.7 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-443.xml |
138.8 /
55.4 s
|
951.0 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-446.xml |
39.9 /
10.4 s
|
201.3 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-448.xml |
36.9 /
10.4 s
|
202.6 /
60.2 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-45.xml |
28.4 /
10.2 s
|
198.9 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-450.xml |
53.8 /
22.1 s
|
715.0 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-451.xml |
130.6 /
55.4 s
|
265.2 /
103.3 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-452.xml |
27.3 /
10.2 s
|
199.6 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-453.xml |
47.7 /
13.9 s
|
713.9 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-454.xml |
93.9 /
55.3 s
|
523.0 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-455.xml |
52.5 /
14.7 s
|
197.4 /
75.3 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-456.xml |
99.3 /
55.4 s
|
556.5 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-460.xml |
61.7 /
30.2 s
|
465.4 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-461.xml |
100.6 /
55.4 s
|
542.1 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-462.xml |
100.4 /
55.4 s
|
327.9 /
106.8 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-465.xml |
41.9 /
12.1 s
|
197.4 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-467.xml |
103.0 /
55.3 s
|
207.8 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-468.xml |
77.5 /
38.0 s
|
200.5 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-469.xml |
99.1 /
55.4 s
|
716.7 /
297.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-47.xml |
80.0 /
49.0 s
|
521.7 /
297.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-470.xml |
46.1 /
16.7 s
|
714.1 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-472.xml |
87.9 /
55.3 s
|
713.8 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-473.xml |
156.0 /
55.3 s
|
951.0 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-474.xml |
156.1 /
55.3 s
|
1010.5 /
297.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-475.xml |
183.9 /
55.3 s
|
1062.6 /
297.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-476.xml |
33.0 /
10.3 s
|
199.4 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-477.xml |
53.5 /
21.5 s
|
197.6 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-478.xml |
58.0 /
19.7 s
|
198.1 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-479.xml |
40.0 /
10.3 s
|
200.9 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-48.xml |
54.0 /
25.1 s
|
522.6 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-480.xml |
43.0 /
11.7 s
|
203.2 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-482.xml |
36.7 /
10.4 s
|
198.1 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-484.xml |
34.8 /
10.3 s
|
199.8 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-485.xml |
62.5 /
10.3 s
|
196.6 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-487.xml |
137.7 /
55.3 s
|
713.9 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-488.xml |
138.3 /
55.3 s
|
724.5 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-489.xml |
129.9 /
55.3 s
|
714.1 /
297.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-49.xml |
41.7 /
11.8 s
|
201.9 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-491.xml |
164.2 /
55.3 s
|
1185.0 /
297.4 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-492.xml |
135.8 /
55.3 s
|
1172.2 /
297.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-493.xml |
140.9 /
55.4 s
|
1174.1 /
297.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-494.xml |
97.3 /
41.3 s
|
461.8 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-495.xml |
98.5 /
55.4 s
|
210.0 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-497.xml |
40.3 /
10.3 s
|
204.1 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-498.xml |
150.1 /
55.3 s
|
954.6 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-499.xml |
35.8 /
10.4 s
|
201.7 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-502.xml |
190.6 /
55.3 s
|
1109.4 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-503.xml |
219.4 /
55.4 s
|
1117.0 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-506.xml |
40.1 /
10.3 s
|
198.8 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-507.xml |
128.6 /
55.3 s
|
713.7 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-508.xml |
195.2 /
55.4 s
|
1184.8 /
297.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-51.xml |
37.6 /
10.3 s
|
197.4 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-511.xml |
163.2 /
55.3 s
|
1024.5 /
297.2 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-52.xml |
34.4 /
10.4 s
|
199.3 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-522.xml |
146.3 /
55.4 s
|
1185.0 /
297.3 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-526.xml |
54.8 /
19.0 s
|
547.5 /
197.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-532.xml |
40.9 /
10.8 s
|
200.7 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-535.xml |
156.9 /
55.4 s
|
986.1 /
297.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-536.xml |
138.2 /
55.4 s
|
989.4 /
297.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-540.xml |
39.3 /
10.3 s
|
201.9 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-541.xml |
39.4 /
10.3 s
|
199.7 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-543.xml |
101.6 /
55.4 s
|
1063.3 /
297.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-545.xml |
33.7 /
10.2 s
|
476.2 /
166.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-546.xml |
44.0 /
12.2 s
|
199.2 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-547.xml |
46.8 /
13.3 s
|
202.0 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-548.xml |
42.0 /
11.3 s
|
496.2 /
174.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-549.xml |
37.8 /
10.3 s
|
197.4 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-550.xml |
40.7 /
11.3 s
|
481.3 /
166.5 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-551.xml |
42.6 /
11.4 s
|
200.7 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-552.xml |
39.5 /
10.4 s
|
487.9 /
167.2 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-553.xml |
41.8 /
11.3 s
|
498.5 /
178.8 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-556.xml |
41.5 /
11.1 s
|
484.6 /
168.7 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-558.xml |
38.1 /
10.3 s
|
199.7 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-559.xml |
39.8 /
10.3 s
|
200.2 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-560.xml |
49.5 /
16.6 s
|
199.7 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-561.xml |
39.2 /
10.3 s
|
200.1 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-563.xml |
40.8 /
10.9 s
|
200.1 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-564.xml |
42.1 /
11.2 s
|
199.3 /
60.0 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-565.xml |
35.5 /
10.3 s
|
200.5 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-566.xml |
40.5 /
10.6 s
|
200.2 /
60.1 s
|
ing/Waldmann_07_size12/size-12-alpha-3-num-568.xml |
41.3 /
11.3 s
|
200.7 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-57.xml |
32.2 /
10.4 s
|
482.8 /
166.8 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-59.xml |
35.7 /
10.3 s
|
199.9 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-61.xml |
30.0 /
10.2 s
|
201.9 /
60.0 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-64.xml |
34.7 /
10.3 s
|
201.6 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-65.xml |
39.5 /
10.4 s
|
208.6 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-66.xml |
76.8 /
10.9 s
|
200.4 /
60.0 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-67.xml |
30.9 /
10.3 s
|
201.0 /
60.1 s
|
iting/Waldmann_07_size12/size-12-alpha-3-num-7.xml |
40.5 /
10.4 s
|
206.2 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-70.xml |
32.0 /
10.3 s
|
198.0 /
60.0 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-71.xml |
36.6 /
10.9 s
|
203.7 /
60.0 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-72.xml |
31.4 /
10.2 s
|
204.6 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-74.xml |
36.3 /
10.3 s
|
199.8 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-76.xml |
29.3 /
10.2 s
|
199.8 /
60.0 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-82.xml |
39.3 /
10.4 s
|
197.8 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-83.xml |
38.7 /
10.4 s
|
197.4 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-84.xml |
37.6 /
10.3 s
|
198.3 /
60.0 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-85.xml |
34.0 /
10.4 s
|
489.5 /
171.0 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-86.xml |
35.8 /
10.4 s
|
200.6 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-88.xml |
41.7 /
11.7 s
|
453.6 /
158.2 s
|
iting/Waldmann_07_size12/size-12-alpha-3-num-9.xml |
39.9 /
10.4 s
|
206.4 /
60.0 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-90.xml |
33.9 /
10.2 s
|
198.5 /
60.0 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-91.xml |
31.2 /
10.2 s
|
200.0 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-92.xml |
53.2 /
23.2 s
|
629.5 /
297.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-94.xml |
29.2 /
10.2 s
|
196.2 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-95.xml |
31.6 /
10.2 s
|
199.3 /
60.0 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-98.xml |
77.7 /
39.2 s
|
204.1 /
60.1 s
|
ting/Waldmann_07_size12/size-12-alpha-3-num-99.xml |
28.6 /
10.2 s
|
200.8 /
60.1 s
|
Complexity__Full_Rewriting/Zantema_04/syracuse.xml |
237.8 /
60.3 s
|
740.3 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z001.xml |
3.2 /
1.0 s
|
1100.6 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z002.xml |
0.7 /
0.3 s
|
14.2 /
5.0 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z003.xml |
1.2 /
0.5 s
|
66.0 /
31.8 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z004.xml |
0.7 /
0.3 s
|
1129.0 /
297.4 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z005.xml |
3.7 /
1.1 s
|
21.7 /
8.9 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z006.xml |
34.1 /
16.0 s
|
166.3 /
60.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z007.xml |
29.6 /
12.5 s
|
170.6 /
60.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z008.xml |
246.3 /
62.7 s
|
1185.1 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z009.xml |
157.1 /
74.2 s
|
157.5 /
60.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z010.xml |
141.4 /
55.3 s
|
669.6 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z011.xml |
184.3 /
55.3 s
|
512.0 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z012.xml |
88.2 /
48.7 s
|
727.9 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z013.xml |
1174.8 /
295.7 s
|
828.8 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z014.xml |
132.0 /
55.3 s
|
738.9 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z015.xml |
105.4 /
51.5 s
|
714.4 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z017.xml |
135.3 /
56.3 s
|
718.4 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z018.xml |
155.5 /
56.7 s
|
729.0 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z019.xml |
139.8 /
57.4 s
|
719.7 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z020.xml |
193.7 /
55.5 s
|
732.7 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z021.xml |
189.2 /
55.5 s
|
974.7 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z022.xml |
199.1 /
57.1 s
|
833.0 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z023.xml |
143.0 /
56.3 s
|
794.0 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z024.xml |
5.5 /
1.7 s
|
544.9 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z025.xml |
35.0 /
12.2 s
|
159.9 /
60.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z026.xml |
219.7 /
55.5 s
|
1039.8 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z027.xml |
0.9 /
0.4 s
|
1169.3 /
297.6 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z028.xml |
220.7 /
55.7 s
|
1184.5 /
297.6 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z029.xml |
1.0 /
0.4 s
|
1182.3 /
297.7 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z030.xml |
4.3 /
1.3 s
|
1189.1 /
298.6 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z031.xml |
1.5 /
0.5 s
|
1165.5 /
297.5 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z032.xml |
0.9 /
0.4 s
|
1182.5 /
297.6 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z033.xml |
0.5 /
0.3 s
|
1180.3 /
298.9 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z034.xml |
219.5 /
55.4 s
|
1090.4 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z035.xml |
219.8 /
55.5 s
|
1185.6 /
297.7 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z036.xml |
16.2 /
4.3 s
|
1185.6 /
297.6 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z037.xml |
0.8 /
0.4 s
|
1179.9 /
297.7 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z038.xml |
219.7 /
55.5 s
|
1184.9 /
297.6 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z039.xml |
0.7 /
0.3 s
|
1180.9 /
299.7 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z040.xml |
1.0 /
0.4 s
|
1179.0 /
297.6 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z041.xml |
219.4 /
55.4 s
|
1191.0 /
299.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z042.xml |
219.6 /
55.5 s
|
1183.0 /
297.6 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z043.xml |
0.6 /
0.3 s
|
1177.6 /
297.7 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z044.xml |
219.2 /
55.4 s
|
1116.5 /
297.4 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z045.xml |
0.8 /
0.3 s
|
1158.0 /
297.6 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z046.xml |
219.8 /
55.5 s
|
1185.2 /
297.6 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z047.xml |
0.6 /
0.3 s
|
1180.2 /
297.8 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z048.xml |
0.7 /
0.3 s
|
1165.3 /
297.7 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z049.xml |
0.4 /
0.2 s
|
701.2 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z050.xml |
0.4 /
0.3 s
|
701.9 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z051.xml |
0.4 /
0.3 s
|
1087.8 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z052.xml |
0.3 /
0.2 s
|
1080.9 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z053.xml |
0.3 /
0.2 s
|
1081.3 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z054.xml |
0.6 /
0.3 s
|
1079.6 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z055.xml |
0.3 /
0.2 s
|
1080.6 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z056.xml |
0.5 /
0.3 s
|
1080.1 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z057.xml |
0.4 /
0.2 s
|
1077.4 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z058.xml |
0.4 /
0.3 s
|
1081.5 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z059.xml |
0.4 /
0.3 s
|
1094.0 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z060.xml |
0.4 /
0.3 s
|
1079.4 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z061.xml |
0.3 /
0.2 s
|
689.9 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z062.xml |
0.3 /
0.2 s
|
684.4 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z063.xml |
0.4 /
0.2 s
|
679.1 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z064.xml |
0.5 /
0.3 s
|
1098.5 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z065.xml |
228.9 /
58.0 s
|
1186.7 /
297.8 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z066.xml |
1170.9 /
295.4 s
|
238.1 /
60.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z067.xml |
1031.3 /
295.4 s
|
193.1 /
60.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z068.xml |
1173.6 /
295.4 s
|
1166.4 /
297.3 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z069.xml |
211.2 /
60.3 s
|
1186.0 /
297.5 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z070.xml |
213.0 /
60.3 s
|
478.0 /
129.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z071.xml |
72.2 /
23.1 s
|
202.5 /
60.0 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z072.xml |
236.5 /
59.8 s
|
1168.2 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z073.xml |
220.0 /
55.7 s
|
1184.2 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z074.xml |
256.5 /
64.9 s
|
1160.2 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z075.xml |
234.1 /
59.1 s
|
1184.7 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z076.xml |
43.3 /
12.4 s
|
204.4 /
60.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z077.xml |
138.1 /
55.4 s
|
820.6 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z078.xml |
56.8 /
17.0 s
|
219.4 /
60.0 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z079.xml |
221.3 /
56.0 s
|
714.4 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z080.xml |
56.6 /
17.5 s
|
201.8 /
60.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z081.xml |
202.3 /
61.5 s
|
863.3 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z082.xml |
143.4 /
55.8 s
|
714.1 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z083.xml |
229.5 /
57.3 s
|
1080.0 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z084.xml |
21.0 /
6.8 s
|
159.9 /
60.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z085.xml |
0.4 /
0.3 s
|
157.9 /
60.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z086.xml |
219.2 /
55.3 s
|
1184.7 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z087.xml |
971.8 /
295.3 s
|
914.8 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z088.xml |
147.8 /
55.5 s
|
1009.5 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z089.xml |
162.5 /
58.4 s
|
750.4 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z090.xml |
184.8 /
58.9 s
|
712.2 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z091.xml |
405.1 /
99.2 s
|
918.0 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z092.xml |
328.2 /
96.1 s
|
230.1 /
68.8 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z093.xml |
25.5 /
8.8 s
|
60.6 /
20.0 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z094.xml |
39.3 /
10.6 s
|
210.3 /
60.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z095.xml |
9.3 /
2.5 s
|
1168.8 /
297.5 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z096.xml |
161.7 /
55.3 s
|
1185.2 /
297.8 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z097.xml |
7.1 /
2.0 s
|
1180.8 /
297.8 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z098.xml |
1.0 /
0.4 s
|
1185.8 /
297.7 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z100.xml |
164.5 /
54.6 s
|
447.5 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z101.xml |
0.5 /
0.3 s
|
62.0 /
18.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z102.xml |
0.7 /
0.3 s
|
160.3 /
60.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z103.xml |
112.3 /
47.7 s
|
713.9 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z104.xml |
1.2 /
0.5 s
|
164.2 /
60.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z105.xml |
136.8 /
55.5 s
|
648.5 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z106.xml |
43.8 /
14.1 s
|
172.3 /
60.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z107.xml |
0.8 /
0.4 s
|
170.0 /
60.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z108.xml |
0.8 /
0.3 s
|
164.1 /
60.4 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z109.xml |
0.6 /
0.3 s
|
66.6 /
23.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z110.xml |
146.4 /
55.5 s
|
713.9 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z111.xml |
159.1 /
55.9 s
|
714.5 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z112.xml |
1.4 /
0.5 s
|
182.9 /
60.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z113.xml |
170.2 /
55.8 s
|
754.6 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z114.xml |
83.8 /
37.0 s
|
713.9 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z115.xml |
59.3 /
19.5 s
|
167.3 /
60.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z116.xml |
0.6 /
0.3 s
|
165.3 /
60.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z117.xml |
210.1 /
55.9 s
|
675.2 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z118.xml |
10.3 /
2.8 s
|
767.9 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z119.xml |
220.2 /
55.6 s
|
566.5 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z120.xml |
132.7 /
55.4 s
|
715.1 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z121.xml |
219.2 /
56.5 s
|
761.0 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z122.xml |
18.3 /
4.8 s
|
615.8 /
156.4 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z123.xml |
158.7 /
56.0 s
|
723.8 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z124.xml |
1169.2 /
295.8 s
|
192.6 /
60.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z125.xml |
168.6 /
56.8 s
|
676.0 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z126.xml |
3.3 /
1.2 s
|
164.5 /
60.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z127.xml |
216.8 /
55.4 s
|
955.9 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_04/z128.xml |
149.2 /
55.4 s
|
951.0 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw01.xml |
0.3 /
0.2 s
|
627.4 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw02.xml |
0.3 /
0.2 s
|
459.6 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw03.xml |
0.3 /
0.2 s
|
760.8 /
297.9 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw04.xml |
0.3 /
0.2 s
|
8.4 /
4.6 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw05.xml |
0.3 /
0.2 s
|
681.1 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw06.xml |
0.3 /
0.2 s
|
12.5 /
6.9 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw07.xml |
0.3 /
0.2 s
|
762.8 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw08.xml |
0.3 /
0.2 s
|
721.0 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw09.xml |
0.3 /
0.2 s
|
658.2 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw11.xml |
0.3 /
0.2 s
|
742.1 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw12.xml |
0.3 /
0.2 s
|
670.1 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw13.xml |
0.3 /
0.2 s
|
8.2 /
4.7 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw14.xml |
0.3 /
0.2 s
|
8.1 /
4.6 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw15.xml |
0.3 /
0.2 s
|
849.0 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw16.xml |
0.3 /
0.2 s
|
830.3 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw17.xml |
0.3 /
0.2 s
|
789.5 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw18.xml |
0.3 /
0.2 s
|
728.6 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw19.xml |
0.3 /
0.2 s
|
689.5 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw20.xml |
0.3 /
0.2 s
|
838.4 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw21.xml |
0.3 /
0.2 s
|
766.5 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw22.xml |
0.3 /
0.2 s
|
684.5 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw23.xml |
0.3 /
0.2 s
|
734.7 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw24.xml |
0.3 /
0.2 s
|
754.4 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw25.xml |
0.3 /
0.2 s
|
15.0 /
8.4 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw26.xml |
0.3 /
0.2 s
|
15.1 /
8.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw27.xml |
0.3 /
0.2 s
|
744.5 /
297.1 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw28.xml |
0.3 /
0.2 s
|
14.5 /
8.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw29.xml |
0.3 /
0.2 s
|
9.0 /
4.8 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw30.xml |
0.3 /
0.2 s
|
560.8 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw31.xml |
0.2 /
0.2 s
|
13.6 /
7.9 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw32.xml |
0.3 /
0.2 s
|
509.0 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw33.xml |
0.3 /
0.2 s
|
14.3 /
7.9 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw34.xml |
0.3 /
0.2 s
|
36.1 /
20.8 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw35.xml |
0.3 /
0.2 s
|
744.0 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw36.xml |
0.3 /
0.2 s
|
732.0 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw37.xml |
0.3 /
0.2 s
|
620.8 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw38.xml |
0.3 /
0.2 s
|
610.1 /
297.3 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw39.xml |
0.3 /
0.2 s
|
727.4 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw40.xml |
0.3 /
0.2 s
|
726.3 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw41.xml |
0.3 /
0.2 s
|
840.5 /
297.2 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw42.xml |
0.3 /
0.2 s
|
633.4 /
297.3 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw43.xml |
0.3 /
0.2 s
|
10.0 /
5.4 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw44.xml |
38.1 /
12.5 s
|
8.1 /
4.7 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw47.xml |
38.2 /
12.6 s
|
161.0 /
60.1 s
|
nal_Complexity__Full_Rewriting/Zantema_05/jw50.xml |
0.3 /
0.2 s
|
7.5 /
4.3 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z01.xml |
0.8 /
0.4 s
|
975.0 /
297.3 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z02.xml |
0.5 /
0.3 s
|
5.9 /
2.0 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z03.xml |
14.3 /
4.4 s
|
50.1 /
26.4 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z05.xml |
277.8 /
179.3 s
|
1085.1 /
297.1 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z06.xml |
79.9 /
30.0 s
|
713.9 /
297.1 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z07.xml |
98.6 /
34.7 s
|
155.0 /
60.1 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z08.xml |
4.8 /
1.5 s
|
167.3 /
60.3 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z11.xml |
37.7 /
10.2 s
|
215.4 /
60.1 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z12.xml |
215.6 /
56.0 s
|
1113.6 /
297.1 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z13.xml |
227.1 /
57.6 s
|
1038.3 /
297.1 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z14.xml |
212.3 /
55.5 s
|
574.3 /
297.2 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z15.xml |
199.2 /
55.4 s
|
779.2 /
297.1 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z16.xml |
220.5 /
55.7 s
|
692.3 /
297.2 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z17.xml |
244.1 /
60.3 s
|
1184.7 /
297.1 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z18.xml |
217.2 /
55.5 s
|
751.6 /
297.2 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z19.xml |
100.1 /
37.9 s
|
252.0 /
82.4 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z20.xml |
123.2 /
55.3 s
|
529.4 /
219.6 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z21.xml |
211.0 /
56.9 s
|
675.9 /
297.1 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z22.xml |
238.5 /
60.2 s
|
642.1 /
297.1 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z23.xml |
252.9 /
64.3 s
|
954.8 /
297.2 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z24.xml |
220.8 /
55.8 s
|
951.4 /
297.1 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z25.xml |
51.2 /
26.8 s
|
181.8 /
60.0 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z26.xml |
28.4 /
9.2 s
|
296.5 /
100.5 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z29.xml |
23.1 /
10.2 s
|
198.0 /
60.1 s
|
onal_Complexity__Full_Rewriting/Zantema_05/z30.xml |
1.1 /
0.4 s
|
1181.6 /
297.7 s
|
ional_Complexity__Full_Rewriting/Zantema_06/01.xml |
75.2 /
27.5 s
|
484.3 /
297.1 s
|
ional_Complexity__Full_Rewriting/Zantema_06/02.xml |
175.5 /
55.3 s
|
951.0 /
297.1 s
|
ional_Complexity__Full_Rewriting/Zantema_06/03.xml |
219.6 /
55.4 s
|
1030.3 /
297.3 s
|
ional_Complexity__Full_Rewriting/Zantema_06/04.xml |
142.5 /
55.4 s
|
719.6 /
297.1 s
|
ional_Complexity__Full_Rewriting/Zantema_06/05.xml |
219.6 /
55.4 s
|
1085.4 /
297.2 s
|
ional_Complexity__Full_Rewriting/Zantema_06/06.xml |
221.3 /
55.9 s
|
951.3 /
297.1 s
|
ional_Complexity__Full_Rewriting/Zantema_06/07.xml |
68.4 /
30.2 s
|
1185.0 /
297.3 s
|
ional_Complexity__Full_Rewriting/Zantema_06/08.xml |
44.9 /
14.1 s
|
822.2 /
297.2 s
|
ional_Complexity__Full_Rewriting/Zantema_06/09.xml |
245.8 /
62.2 s
|
1185.3 /
297.3 s
|
ional_Complexity__Full_Rewriting/Zantema_06/10.xml |
47.8 /
13.6 s
|
203.4 /
60.1 s
|
ional_Complexity__Full_Rewriting/Zantema_06/11.xml |
227.5 /
57.9 s
|
1184.8 /
297.2 s
|
ional_Complexity__Full_Rewriting/Zantema_06/12.xml |
237.8 /
60.3 s
|
1184.9 /
297.3 s
|
ional_Complexity__Full_Rewriting/Zantema_06/13.xml |
175.0 /
56.1 s
|
1185.8 /
297.4 s
|
ional_Complexity__Full_Rewriting/Zantema_06/14.xml |
146.0 /
55.5 s
|
714.5 /
297.1 s
|
ional_Complexity__Full_Rewriting/Zantema_06/15.xml |
315.6 /
93.5 s
|
1167.0 /
297.2 s
|
ional_Complexity__Full_Rewriting/Zantema_06/16.xml |
41.3 /
11.1 s
|
239.9 /
67.7 s
|
ional_Complexity__Full_Rewriting/Zantema_06/17.xml |
43.5 /
11.9 s
|
789.6 /
297.1 s
|
ional_Complexity__Full_Rewriting/Zantema_06/18.xml |
294.2 /
75.4 s
|
1158.9 /
297.4 s
|
onal_Complexity__Full_Rewriting/Zantema_06/abc.xml |
40.5 /
10.4 s
|
459.5 /
160.1 s
|
l_Complexity__Full_Rewriting/Zantema_06/beans1.xml |
253.6 /
64.1 s
|
735.3 /
297.1 s
|
l_Complexity__Full_Rewriting/Zantema_06/beans2.xml |
224.0 /
56.8 s
|
1184.5 /
297.2 s
|
l_Complexity__Full_Rewriting/Zantema_06/beans3.xml |
242.1 /
60.3 s
|
977.1 /
297.2 s
|
l_Complexity__Full_Rewriting/Zantema_06/beans4.xml |
238.0 /
60.3 s
|
990.0 /
297.2 s
|
l_Complexity__Full_Rewriting/Zantema_06/beans5.xml |
186.9 /
55.8 s
|
496.4 /
297.1 s
|
l_Complexity__Full_Rewriting/Zantema_06/beans6.xml |
237.3 /
60.2 s
|
464.5 /
297.1 s
|
l_Complexity__Full_Rewriting/Zantema_06/beans7.xml |
236.3 /
60.2 s
|
463.7 /
297.1 s
|
al_Complexity__Full_Rewriting/Zantema_06/loop1.xml |
103.6 /
44.0 s
|
685.3 /
297.1 s
|
al_Complexity__Full_Rewriting/Zantema_06/loop2.xml |
130.6 /
55.3 s
|
750.1 /
297.1 s
|
l_Complexity__Full_Rewriting/Zantema_06/while1.xml |
238.6 /
60.3 s
|
1037.4 /
297.1 s
|
l_Complexity__Full_Rewriting/Zantema_06/while2.xml |
51.9 /
15.5 s
|
262.4 /
105.7 s
|