Overview of job-results

flexible query (experimental) | view original jobs on star-exec:5388,

Statistics

3618 pairs, 1611245.4 / 474675.2 s

Results

Legend

YES NO MAYBE CERTIFIED ERROR OTHER / Nothing
The results are displayed in the following pattern: cpu-time / wallclock-time (complexity-score)
Jobs Deriv Compl Full Rewri 50498
Solver CaT TCT
Scores 427 529
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