An Isabelle/HOL Formalization of Rewriting 
for Certified Tool Assertions 

Setup

In these experiments all 2132 standard TRSs from TPDB 7.0.2 have been considered. All of the proofs have been generated with the competition version of AProVE (AProVE-CeTA) that was used in the 2009 competition. Here, only some bugs in the proof printing routines have been fixed. The proofs have been certified using CeTA v1.10.
All experiments have been performed on a machine with 8 Dual Core AMD Opteron 885 processors and 64 GB RAM running Linux.

The following strategies have been used to configure AProVE:

Statistics

APr.(basic)CeTA APr.(sc)CeTA APr.(ur)CeTA APr.(sc+ur)CeTA APr.(full)CeTA
#YES 453 453 566 566 681 681 684 684 1242 1242
total time 1811.47 27.61 1970.26 28.94 2724.54 43.77 2595.87 41.54 9936.78 62.86
average time 4.00 0.06 3.48 0.05 4.00 0.06 3.80 0.06 8.00 0.05
#NO - - - - - - - - 153 153
total time 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 841.30 2.11
average time - - - - - - - - 5.50 0.01
#MAYBE 1577 1485 1365 1363 153
total time 7697.89 6711.26 6676.58 6595.93 1966.12
average time 4.88 4.52 4.89 4.84 12.85
#TIMEOUT 102 81 86 85 584
total time 6120.00 4860.00 5160.00 5100.00 35040.00
average time 60.00 60.00 60.00 60.00 60.00
#OVERAll 2132 453 2132 566 2132 681 2132 684 2132 1395
total time 15629.36 27.61 13541.51 28.94 14561.11 43.77 14291.80 41.54 47784.20 64.97
average time 7.33 0.06 6.35 0.05 6.83 0.06 6.70 0.06 22.41 0.05

Results

All generated proofs can be inspected by clicking on the links within the AProVE columns.
Problem APr.(basic)CeTA APr.(sc)CeTA APr.(ur)CeTA APr.(sc+ur)CeTA APr.(full)CeTA
AG01/#3.1.xml 2.570.02 6.960.01 2.760.02 2.560.02 3.020.02
AG01/#3.10.xml 5.570.11 5.170.08 4.740.08 4.170.07 5.580.09
AG01/#3.12.xml 2.810.02 2.860.02 2.710.02 2.720.02 3.130.02
AG01/#3.13.xml 3.980.07 3.450.06 3.450.06 3.630.05 4.270.06
AG01/#3.15.xml 2.600.01 2.570.01 2.760.02 3.360.03 3.210.02
AG01/#3.16.xml 1.65 2.480.01 2.710.02 2.520.02 2.910.02
AG01/#3.17.xml 3.130.04 2.960.03 3.050.03 3.010.03 3.320.03
AG01/#3.17a.xml 3.470.05 3.210.04 3.460.04 3.190.04 3.680.04
AG01/#3.18.xml 2.17 2.04 2.920.02 2.750.02 3.130.02
AG01/#3.19.xml 2.29 2.31 2.36 2.41 60.00
AG01/#3.2.xml 2.610.02 2.620.02 2.570.02 2.640.02 3.030.02
AG01/#3.21.xml 1.84 1.95 2.620.02 2.570.02 2.930.02
AG01/#3.22.xml 2.34 2.33 3.080.04 3.110.04 3.490.04
AG01/#3.23.xml 2.430.01 2.290.01 2.380.01 2.380.01 2.600.01
AG01/#3.24.xml 2.550.01 2.520.01 2.700.02 2.670.01 2.870.03
AG01/#3.26.xml 2.410.01 2.350.01 2.530.01 2.480.01 3.190.01
AG01/#3.29.xml 2.380.01 2.350.01 2.540.01 2.500.01 2.670.01
AG01/#3.31.xml 2.440.01 2.300.01 2.330.01 2.390.01 2.460.01
AG01/#3.33.xml 2.250.01 2.240.01 2.270.01 2.270.01 2.620.01
AG01/#3.35.xml 2.460.01 2.300.01 2.530.01 2.330.01 2.860.01
AG01/#3.36.xml 2.750.02 2.680.02 2.870.02 2.710.02 3.230.02
AG01/#3.37.xml 2.530.01 2.340.01 2.590.01 2.380.01 2.920.01
AG01/#3.38.xml 2.750.02 2.620.02 2.880.02 2.750.02 3.290.02
AG01/#3.39.xml 60.00 60.00 3.750.04 3.840.04 4.370.04
AG01/#3.4.xml 2.930.03 2.680.02 2.820.02 2.710.02 3.290.02
AG01/#3.40.xml 60.00 60.00 4.480.06 5.020.06 60.00
AG01/#3.41.xml 1.83 1.69 2.670.01 2.530.01 3.230.01
AG01/#3.42.xml 2.23 2.10 3.040.02 2.900.02 3.300.02
AG01/#3.47.xml 2.550.01 2.360.01 2.680.01 2.410.01 2.880.01
AG01/#3.48.xml 2.760.02 2.510.02 2.730.02 2.550.02 2.960.02
AG01/#3.49.xml 2.730.02 2.880.02 2.870.02 2.870.02 3.450.02
AG01/#3.5.xml 3.090.03 2.760.03 2.980.03 2.770.03 3.310.03
AG01/#3.51.xml 2.510.02 2.450.02 2.390.02 2.460.02 2.860.02
AG01/#3.52.xml 2.460.01 2.310.01 2.470.01 2.380.01 2.740.01
AG01/#3.53.xml 4.360.08 3.600.05 3.600.05 3.480.05 4.410.05
AG01/#3.53a.xml 2.400.01 2.350.01 2.530.01 2.480.01 2.820.01
AG01/#3.53b.xml 2.480.01 2.310.01 2.510.01 2.390.01 2.830.01
AG01/#3.54.xml 2.550.01 2.600.02 2.700.01 2.680.01 3.040.01
AG01/#3.55.xml 9.34 4.34 4.270.07 3.600.06 5.250.07
AG01/#3.56.xml 4.25 4.30 2.670.01 2.660.02 2.980.02
AG01/#3.57.xml 4.290.07 3.550.05 3.670.05 3.550.05 4.080.05
AG01/#3.5a.xml 3.080.04 2.830.03 2.980.03 2.870.03 3.280.03
AG01/#3.5b.xml 3.390.04 2.960.03 3.230.04 3.030.04 3.580.04
AG01/#3.6.xml 3.370.04 2.870.04 3.070.05 2.940.03 3.380.03
AG01/#3.6a.xml 3.360.04 2.870.03 3.090.03 2.880.03 3.430.03
AG01/#3.6b.xml 3.510.05 3.060.04 3.270.04 3.080.04 3.680.05
AG01/#3.7.xml 2.560.01 2.530.01 2.670.01 2.570.01 2.920.01
AG01/#3.8a.xml 2.870.03 2.820.02 2.880.03 2.860.02 3.390.03
AG01/#3.8b.xml 3.320.04 3.060.04 3.390.04 3.170.04 4.100.04
AG01/#4.30c.xml 5.60 5.60 9.91 9.80 60.00
AProVE_04/AAECC-ring.xml 60.00 60.00 60.00 60.00 60.00
AProVE_04/AAECC.xml 50.61 49.17 60.00 60.00 60.00
AProVE_04/IJCAR_1.xml 1.98 2.610.01 2.660.02 2.570.01 3.120.02
AProVE_04/IJCAR_12.xml 2.36 2.02 3.200.04 2.860.03 3.530.04
AProVE_04/IJCAR_18.xml 7.22 2.47 4.280.06 3.350.06 4.840.06
AProVE_04/IJCAR_26.xml 4.92 3.63 4.960.09 4.280.07 6.440.08
AProVE_04/IJCAR_26a.xml 5.11 3.46 5.130.09 4.300.07 6.440.09
AProVE_04/JFP_Ex31.xml 13.99 13.69 24.07 24.12 60.00
AProVE_04/JFP_Ex51.xml 4.330.08 4.080.07 4.290.06 4.180.06 10.180.06
AProVE_04/LPAR_intlist.xml 8.39 2.440.02 2.670.02 2.480.02 2.930.02
AProVE_04/Liveness6.1.xml 5.15 5.00 6.80 6.76 5.430.05
AProVE_04/Liveness6.2.xml 3.78 3.68 5.82 5.82 4.550.04
AProVE_04/Liveness6.3.xml 16.33 15.55 16.34 16.45 17.540.07
AProVE_04/Liveness6.4.xml 7.43 6.85 7.45 7.77 60.00
AProVE_04/Liveness8.xml 4.860.09 3.620.06 4.220.06 3.940.06 6.980.06
AProVE_04/Liveness_WRS.xml 60.00 60.00 60.00 60.00 60.00
AProVE_04/fac.xml 2.45 2.07 2.01 2.20 4.180.03
AProVE_04/forward_instantiation.xml 1.36 1.50 1.49 1.53 2.36
AProVE_04/forward_instantiation2.xml 1.38 1.53 1.52 1.52 2.44
AProVE_04/improved_usable.xml 1.65 1.65 2.570.01 2.560.02 2.750.01
AProVE_04/improved_usable2.xml 1.60 1.55 2.540.01 2.560.01 2.800.01
AProVE_04/rta1.xml 2.40 2.20 3.070.03 2.760.02 3.480.02
AProVE_04/rta2.xml 2.410.01 2.470.01 2.610.01 2.620.01 2.670.01
AProVE_04/rta3.xml 1.96 2.10 3.290.02 3.080.02 3.520.02
AProVE_06/div_notCeTermin.xml 35.65 7.39 5.75 5.60 60.00
AProVE_06/div_notTermin.xml 41.08 9.45 5.88 5.84 60.00
AProVE_06/factorial1.xml 3.61 3.15 2.83 2.95 4.510.04
AProVE_06/factorial2.xml 2.91 2.26 2.24 2.29 12.34
AProVE_06/identity.xml 2.88 2.21 2.42 2.43 4.470.04
AProVE_06/logarithm.xml 31.31 17.11 11.55 11.41 60.00
AProVE_06/mapHard.xml 1.63 1.83 2.75 2.72 60.00
AProVE_06/modulo.xml 2.16 2.02 2.40 2.25 15.79
AProVE_06/nonterm.xml 15.60 15.42 12.03 12.14 60.00
AProVE_06/quicksort.xml 5.34 2.77 5.49 5.32 7.430.08
AProVE_06/quot.xml 6.39 2.73 2.55 2.39 19.29
AProVE_06/sizeChange.xml 1.20 1.39 1.95 2.00 60.00
AProVE_06/tower.xml 3.39 2.89 2.84 2.96 4.790.04
AProVE_06/tower_sizeChange.xml 3.33 2.44 2.92 2.90 19.14
AProVE_07/kabasci01.xml 11.13 6.28 7.33 6.39 12.400.19
AProVE_07/kabasci02.xml 5.10 3.84 6.230.17 5.460.15 7.440.11
AProVE_07/kabasci03.xml 2.79 2.96 60.00 60.00 6.310.05
AProVE_07/kabasci04.xml 3.56 2.29 3.620.04 3.480.03 4.430.04
AProVE_07/kabasci05.xml 4.02 3.07 4.400.09 4.310.05 5.480.05
AProVE_07/kabasci06.xml 3.80 2.94 3.11 2.60 60.00
AProVE_07/otto01.xml 1.74 1.90 2.95 2.61 60.00
AProVE_07/otto02.xml 3.75 2.50 2.51 2.21 11.68
AProVE_07/otto03.xml 2.03 2.06 1.87 2.07 8.05
AProVE_07/otto04.xml 3.82 2.65 2.39 2.18 60.00
AProVE_07/otto05.xml 3.19 2.35 2.50 2.29 4.830.03
AProVE_07/otto06.xml 5.20 2.90 2.72 2.59 22.30
AProVE_07/otto07.xml 2.04 1.76 1.81 1.86 8.06
AProVE_07/otto08.xml 5.10 4.83 4.34 4.21 22.49
AProVE_07/otto09.xml 8.67 4.53 5.71 5.61 36.72
AProVE_07/otto10.xml 15.10 6.64 5.86 5.76 46.89
AProVE_07/otto11.xml 2.20 2.09 2.31 2.10 8.85
AProVE_07/otto12.xml 3.31 2.22 2.51 2.31 15.02
AProVE_07/otto13.xml 3.49 2.40 2.31 2.41 60.00
AProVE_07/thiemann01.xml 7.69 4.80 3.86 3.64 23.24
AProVE_07/thiemann02.xml 8.72 5.92 5.38 5.34 60.00
AProVE_07/thiemann03.xml 2.69 2.21 6.70 6.69 60.00
AProVE_07/thiemann04.xml 8.22 7.82 6.93 6.83 60.00
AProVE_07/thiemann05.xml 2.60 2.59 3.75 3.75 60.00
AProVE_07/thiemann06.xml 4.45 4.50 4.91 4.91 60.00
AProVE_07/thiemann07.xml 60.00 60.00 60.00 60.00 60.00
AProVE_07/thiemann08.xml 2.21 2.35 2.05 2.19 8.820.04
AProVE_07/thiemann09.xml 4.17 2.95 4.84 4.75 4.740.06
AProVE_07/thiemann10.xml 4.19 4.19 4.40 4.04 4.220.03
AProVE_07/thiemann11.xml 28.85 28.45 60.00 60.00 60.00
AProVE_07/thiemann12.xml 4.14 3.99 3.91 3.74 7.810.04
AProVE_07/thiemann13.xml 12.17 11.85 22.02 21.95 60.00
AProVE_07/thiemann14.xml 6.98 6.34 4.89 5.09 22.310.07
AProVE_07/thiemann15.xml 2.50 2.44 4.59 4.54 4.170.03
AProVE_07/thiemann16.xml 3.77 2.54 2.75 2.64 6.320.07
AProVE_07/thiemann17.xml 31.88 32.01 11.01 11.00 5.000.05
AProVE_07/thiemann18.xml 4.05 3.25 16.94 16.86 8.770.09
AProVE_07/thiemann19.xml 3.19 2.39 2.74 2.65 60.00
AProVE_07/thiemann20.xml 3.49 2.44 2.46 2.44 60.00
AProVE_07/thiemann21.xml 7.75 5.25 5.13 4.63 60.00
AProVE_07/thiemann22.xml 54.81 53.61 60.00 60.00 60.00
AProVE_07/thiemann23.xml 7.52 7.40 5.33 5.28 60.00
AProVE_07/thiemann24.xml 2.78 2.16 2.33 2.18 12.16
AProVE_07/thiemann25.xml 2.21 2.05 2.24 2.12 10.56
AProVE_07/thiemann26.xml 5.50 3.19 2.99 2.86 60.00
AProVE_07/thiemann27.xml 2.06 1.81 1.86 1.81 6.86
AProVE_07/thiemann28.xml 4.79 2.69 2.86 2.69 60.00
AProVE_07/thiemann29.xml 6.63 5.32 60.00 60.00 60.00
AProVE_07/thiemann30.xml 5.10 3.38 2.97 2.50 13.43
AProVE_07/thiemann31.xml 53.41 51.84 42.58 42.51 60.00
AProVE_07/thiemann32.xml 7.24 5.09 5.76 5.80 60.00
AProVE_07/thiemann33.xml 3.56 2.21 2.65 2.46 60.00
AProVE_07/thiemann34.xml 2.73 2.57 2.88 2.84 45.78
AProVE_07/thiemann35.xml 2.04 2.18 2.60 2.54 60.00
AProVE_07/thiemann36.xml 21.57 19.95 19.36 19.21 60.00
AProVE_07/thiemann37.xml 3.75 3.32 3.10 3.02 34.78
AProVE_07/thiemann38.xml 2.76 2.21 2.54 2.50 48.85
AProVE_07/thiemann39.xml 3.83 3.85 3.89 3.92 60.00
AProVE_07/thiemann40.xml 1.65 1.76 1.59 1.81 4.210.02
AProVE_07/thiemann41.xml 2.93 2.63 2.26 2.32 9.59
AProVE_07/wiehe01.xml 4.60 3.19 2.85 2.71 12.200.08
AProVE_07/wiehe02.xml 5.75 4.80 3.93 3.99 15.380.11
AProVE_07/wiehe03.xml 5.68 4.53 4.04 4.05 14.750.11
AProVE_07/wiehe05.xml 5.74 3.59 3.03 2.79 16.680.08
AProVE_07/wiehe06.xml 4.46 3.96 3.31 3.21 15.430.10
AProVE_07/wiehe07.xml 4.85 4.22 4.38 4.51 60.00
AProVE_07/wiehe08.xml 5.51 4.28 3.15 2.94 13.880.09
AProVE_07/wiehe09.xml 6.28 4.51 3.87 3.24 16.400.10
AProVE_07/wiehe11.xml 9.06 7.16 5.29 4.68 17.210.14
AProVE_07/wiehe12.xml 14.47 8.37 5.10 4.77 16.480.16
AProVE_08/id_inc.xml 3.13 3.08 3.10 3.02 4.710.03
AProVE_08/log.xml 5.26 2.95 2.90 2.94 60.00
AProVE_08/parting01_reverse.xml 3.60 2.26 2.55 2.39 60.00
AProVE_08/parting02_doublelist.xml 4.44 2.21 2.58 2.36 60.00
AProVE_08/parting03_minsort.xml 4.57 2.39 2.85 2.44 60.00
AProVE_08/parting04_maxsort_h.xml 7.41 4.05 3.52 3.25 60.00
AProVE_08/parting05_maxsort.xml 4.83 3.31 3.14 2.67 60.00
AProVE_08/round.xml 1.45 1.35 1.83 1.68 8.21
AProVE_08/round_nonterm.xml 1.44 1.35 1.90 1.69 3.080.01
AProVE_08/thiemann40_modified.xml 3.48 3.34 3.10 3.28 22.670.03
AProVE_09_Inductive/div.xml 9.02 4.28 4.92 4.70 22.10
AProVE_09_Inductive/divhard.xml 7.92 5.54 4.22 4.10 34.31
AProVE_09_Inductive/gcd.xml 3.85 3.54 3.45 3.24 34.69
AProVE_09_Inductive/gcd2.xml 8.85 8.55 9.10 8.89 54.43
AProVE_09_Inductive/gcdhard.xml 14.34 14.06 11.74 11.50 60.00
AProVE_09_Inductive/log.xml 5.36 4.23 4.44 4.45 60.00
AProVE_09_Inductive/maxsort.xml 4.66 3.33 3.01 2.68 60.00
AProVE_09_Inductive/maxsortcondition.xml 3.31 2.56 3.10 2.62 60.00
AProVE_09_Inductive/minsort.xml 4.95 3.68 3.75 3.59 60.00
AProVE_09_Inductive/mod.xml 11.74 11.52 11.90 11.75 60.00
AProVE_09_Inductive/qsort.xml 8.46 7.74 5.91 5.76 60.00
AProVE_09_Inductive/qsortlast.xml 4.68 3.46 7.97 7.78 60.00
AProVE_09_Inductive/qsortmiddle.xml 6.37 3.96 8.32 7.92 60.00
AProVE_09_Inductive/zerolist.xml 3.59 3.44 3.76 3.63 24.92
AotoYamada_05/001.xml 1.64 1.41 1.52 1.44 3.620.01
AotoYamada_05/002.xml 2.880.04 2.650.03 2.990.04 2.630.03 3.530.04
AotoYamada_05/003.xml 1.91 1.48 1.54 1.58 2.350.01
AotoYamada_05/004.xml 2.06 2.07 2.980.03 2.820.03 3.330.03
AotoYamada_05/005.xml 2.700.02 2.770.02 2.920.03 2.960.03 3.310.03
AotoYamada_05/006.xml 2.17 2.500.03 2.780.03 2.560.03 3.300.03
AotoYamada_05/007.xml 2.25 2.09 3.170.04 2.930.03 3.390.04
AotoYamada_05/009.xml 3.370.05 2.710.03 3.560.05 2.730.04 3.640.05
AotoYamada_05/010.xml 1.68 1.98 2.48 2.52 19.91
AotoYamada_05/011.xml 2.40 2.45 2.42 2.44 18.96
AotoYamada_05/012.xml 3.320.05 2.670.03 3.580.05 2.720.03 3.850.05
AotoYamada_05/013.xml 2.55 2.58 3.770.06 3.070.05 4.090.06
AotoYamada_05/014.xml 1.53 1.78 3.790.06 3.370.06 4.080.06
AotoYamada_05/015.xml 1.19 2.570.03 2.970.04 2.570.03 3.090.03
AotoYamada_05/016.xml 4.240.07 3.020.05 3.820.06 2.950.06 4.660.06
AotoYamada_05/017.xml 2.410.01 2.450.01 2.550.01 2.480.01 2.800.01
AotoYamada_05/019.xml 1.19 2.350.01 2.520.01 2.370.01 2.930.01
AotoYamada_05/020.xml 1.33 1.64 3.100.04 3.100.04 3.650.04
AotoYamada_05/021.xml 2.27 1.98 3.780.07 3.610.06 4.750.06
AotoYamada_05/022.xml 2.28 2.640.03 3.490.04 2.610.03 3.590.04
AotoYamada_05/023.xml 2.510.01 2.490.01 2.670.02 2.660.02 2.860.02
AotoYamada_05/024.xml 2.660.02 2.350.02 2.760.02 2.410.02 3.020.02
AotoYamada_05/025.xml 2.390.01 2.280.01 2.550.01 2.330.01 2.660.01
AotoYamada_05/026.xml 1.19 2.510.02 2.830.03 2.560.02 3.350.03
AotoYamada_05/027.xml 2.45 2.17 3.090.05 3.020.04 3.440.04
AotoYamada_05/028.xml 2.660.03 2.500.02 2.930.03 2.560.03 3.140.03
AotoYamada_05/Ex1SimplyTyped.xml 1.90 2.06 2.870.03 2.860.03 3.410.03
AotoYamada_05/Ex5TermProof.xml 1.48 1.83 2.00 2.05 18.77
Applicative_05/BTreeMember.xml 3.15 3.140.06 3.500.06 3.060.06 4.330.06
Applicative_05/Ex10Functional.xml 1.83 2.14 1.98 2.14 38.80
Applicative_05/Ex2PrimRec.xml 1.20 1.39 1.21 1.40 19.59
Applicative_05/Ex2_6_1Composition.xml 2.460.01 2.290.01 2.490.01 2.320.01 2.750.01
Applicative_05/Ex2_8_1ConstSubstFix.xml 1.76 1.86 1.85 1.97 2.450.01
Applicative_05/Ex3Lists.xml 2.65 2.35 3.720.06 3.220.05 4.630.06
Applicative_05/Ex4MapList.xml 2.04 2.12 2.760.02 2.820.02 3.020.02
Applicative_05/Ex5Folding.xml 1.48 1.83 2.00 2.09 14.25
Applicative_05/Ex5Sorting.xml 1.98 2.16 2.80 2.24 60.00
Applicative_05/Ex6Folding.xml 1.23 1.51 1.29 1.54 23.54
Applicative_05/Ex6Recursor.xml 1.20 1.39 1.21 1.40 22.96
Applicative_05/Ex6_11.xml 2.06 2.350.02 2.690.02 2.440.02 3.190.02
Applicative_05/Ex7OrdinalRec.xml 1.48 1.73 1.59 1.81 40.60
Applicative_05/Ex7Sorting.xml 2.04 2.22 2.67 2.29 60.00
Applicative_05/Ex7_9.xml 2.32 2.20 3.01 2.20 45.62
Applicative_05/Ex8Polymorphic.xml 1.29 2.690.04 2.980.04 2.690.04 3.710.04
Applicative_05/Ex9Maps.xml 2.70 2.75 3.00 3.07 60.00
Applicative_05/Hamming.xml 3.24 3.60 4.12 3.41 6.51
Applicative_05/ReverseLastInit.xml 3.500.04 3.050.04 3.460.04 3.020.04 3.730.04
Applicative_05/TakeDropWhile.xml 1.39 2.760.04 3.640.06 2.760.04 3.810.05
Applicative_05/TreeFlatten.xml 3.08 2.35 3.530.06 3.200.06 3.900.05
Applicative_05/TreeHeight.xml 1.63 3.180.06 3.620.06 3.270.06 4.500.06
Applicative_05/TreeLevels.xml 4.35 2.80 4.710.10 3.820.09 5.660.10
Applicative_05/TreeMap.xml 2.01 2.590.03 2.960.04 2.650.03 3.340.04
Applicative_05/TreeSize.xml 3.23 2.54 3.610.05 3.160.05 3.850.05
Applicative_05/TypeEx1.xml 2.00 2.11 2.07 2.17 4.350.03
Applicative_05/TypeEx3.xml 2.34 2.51 2.71 2.82 2.400.01
Applicative_05/TypeEx5.xml 1.19 1.29 1.41 1.46 2.310.01
Applicative_05/mapDivMinus.xml 2.52 1.69 2.18 1.68 60.00
Applicative_05/mapDivMinusHard.xml 2.68 2.46 2.53 2.40 60.00
Applicative_05/nonTermF.xml 2.00 2.14 2.39 2.49 8.380.02
Applicative_05/termMonTypes.xml 1.19 1.41 1.54 1.44 2.380.01
Applicative_first_order_05/#3.10.xml 3.94 3.75 5.74 4.17 60.00
Applicative_first_order_05/#3.13.xml 3.29 3.52 9.08 8.16 60.00
Applicative_first_order_05/#3.16.xml 4.17 2.81 4.510.09 3.650.09 6.500.09
Applicative_first_order_05/#3.18.xml 5.12 3.06 3.61 2.80 60.00
Applicative_first_order_05/#3.2.xml 3.71 2.09 2.59 1.99 60.00
Applicative_first_order_05/#3.22.xml 2.13 2.18 4.28 3.85 60.00
Applicative_first_order_05/#3.25.xml 2.99 2.65 3.16 2.72 60.00
Applicative_first_order_05/#3.27.xml 3.10 3.200.06 3.920.06 3.120.06 9.360.06
Applicative_first_order_05/#3.32.xml 2.54 3.150.06 3.260.05 3.100.06 4.550.06
Applicative_first_order_05/#3.36.xml 4.28 2.87 3.44 2.67 10.50
Applicative_first_order_05/#3.38.xml 2.82 2.54 3.71 2.64 60.00
Applicative_first_order_05/#3.40.xml 5.26 3.63 5.52 5.33 60.00
Applicative_first_order_05/#3.45.xml 4.43 3.650.07 4.510.08 3.520.07 7.720.08
Applicative_first_order_05/#3.48.xml 2.29 3.710.10 4.670.10 3.730.10 5.740.10
Applicative_first_order_05/#3.52.xml 2.56 3.500.08 3.870.08 3.410.08 4.950.09
Applicative_first_order_05/#3.55.xml 3.79 3.71 9.45 8.52 60.00
Applicative_first_order_05/#3.57.xml 7.47 7.13 6.31 5.82 60.00
Applicative_first_order_05/#3.6.xml 2.84 2.34 4.13 2.95 60.00
Applicative_first_order_05/#3.8.xml 5.01 3.35 3.67 3.28 60.00
Applicative_first_order_05/01.xml 2.65 3.290.07 3.820.07 3.200.07 7.610.07
Applicative_first_order_05/02.xml 2.65 3.200.06 3.520.06 3.210.06 4.530.06
Applicative_first_order_05/06.xml 3.00 3.350.06 3.790.07 3.260.06 4.810.07
Applicative_first_order_05/08.xml 1.88 3.650.09 5.010.11 3.670.10 5.670.10
Applicative_first_order_05/11.xml 2.99 4.520.20 6.060.20 4.930.20 8.220.22
Applicative_first_order_05/12.xml 4.65 3.01 5.470.12 4.140.11 6.300.11
Applicative_first_order_05/13.xml 4.99 4.13 4.42 3.62 60.00
Applicative_first_order_05/17.xml 3.98 2.94 4.740.09 3.760.09 8.810.09
Applicative_first_order_05/18.xml 3.04 3.300.06 4.150.07 3.200.06 4.840.07
Applicative_first_order_05/21.xml 2.04 2.23 4.470.10 4.130.09 6.210.10
Applicative_first_order_05/29.xml 3.75 2.91 4.520.08 3.620.08 5.270.08
Applicative_first_order_05/30.xml 2.03 2.19 3.40 3.34 60.00
Applicative_first_order_05/31.xml 4.05 3.07 4.740.10 3.920.10 5.910.10
Applicative_first_order_05/33.xml 6.42 5.68 7.39 6.16 60.00
Applicative_first_order_05/hydra.xml 1.93 2.04 4.170.09 3.770.09 10.420.10
Applicative_first_order_05/minsort.xml 3.04 2.66 4.25 2.64 60.00
Applicative_first_order_05/motivation.xml 2.04 3.550.07 3.920.07 3.400.07 6.750.07
Applicative_first_order_05/perfect.xml 2.50 2.39 3.09 2.41 8.210.16
Applicative_first_order_05/perfect2.xml 3.09 2.66 3.80 2.64 60.00
Beerendonk_07/1.xml 1.74 1.71 1.80 1.79 4.220.02
Beerendonk_07/10.xml 9.35 9.44 14.64 14.50 5.670.05
Beerendonk_07/11.xml 18.25 18.20 28.16 27.96 60.00
Beerendonk_07/12.xml 4.14 4.14 4.16 4.03 60.00
Beerendonk_07/13.xml 4.33 4.33 4.15 4.09 60.00
Beerendonk_07/14.xml 4.04 4.03 4.19 4.00 6.81
Beerendonk_07/15.xml 15.15 15.09 12.32 12.25 60.00
Beerendonk_07/16.xml 10.65 10.54 13.81 13.71 60.00
Beerendonk_07/17.xml 13.65 13.34 16.18 16.02 60.00
Beerendonk_07/18.xml 35.05 35.07 33.01 32.88 60.00
Beerendonk_07/19.xml 29.95 29.86 29.97 30.00 60.00
Beerendonk_07/2.xml 2.02 2.01 2.20 2.06 4.700.02
Beerendonk_07/20.xml 42.02 41.70 35.07 35.02 60.00
Beerendonk_07/21.xml 9.64 9.54 10.46 10.30 60.00
Beerendonk_07/22.xml 12.15 12.24 12.90 12.84 4.650.04
Beerendonk_07/23.xml 3.69 3.73 3.34 3.23 4.440.04
Beerendonk_07/24.xml 34.91 35.00 32.88 32.85 60.00
Beerendonk_07/3.xml 1.85 2.06 1.87 1.85 17.95
Beerendonk_07/4.xml 1.65 1.65 1.80 1.68 9.72
Beerendonk_07/5.xml 3.64 3.63 3.70 3.60 3.920.03
Beerendonk_07/6.xml 1.72 1.71 1.91 1.79 3.700.02
Beerendonk_07/7.xml 2.06 2.06 2.29 2.08 3.750.02
Beerendonk_07/8.xml 6.30 6.29 5.17 5.08 3.930.03
Beerendonk_07/9.xml 2.83 2.83 2.84 2.74 4.150.03
Bouchare_06/01.xml 1.93 2.02 2.10 2.17 3.780.04
Bouchare_06/02.xml 1.94 1.98 2.07 2.12 3.790.04
Bouchare_06/03.xml 1.69 1.80 1.86 2.15 5.250.02
Bouchare_06/04.xml 2.06 2.12 2.23 2.27 3.400.03
Bouchare_06/05.xml 1.96 1.79 1.85 2.19 8.600.02
Bouchare_06/06.xml 15.04 15.19 17.41 17.46 5.190.02
Bouchare_06/07.xml 3.08 3.19 3.25 3.29 5.350.02
Bouchare_06/08.xml 6.79 6.84 8.44 8.49 6.870.01
Bouchare_06/09.xml 1.98 2.07 1.86 2.17 13.780.01
Bouchare_06/10.xml 2.10 2.41 2.14 2.28 11.730.06
Bouchare_06/11.xml 1.92 1.74 1.81 2.12 10.220.03
Bouchare_06/12.xml 1.59 1.71 1.77 1.75 8.370.02
Bouchare_06/13.xml 1.70 2.01 1.79 1.91 5.620.03
Bouchare_06/14.xml 1.94 1.97 1.84 2.13 3.580.03
Bouchare_06/15.xml 1.99 1.91 1.84 1.95 3.390.03
Bouchare_06/16.xml 1.93 1.74 2.05 2.14 3.140.02
Bouchare_06/17.xml 1.96 1.81 1.85 1.91 3.660.03
Bouchare_06/18.xml 2.02 2.14 2.21 2.20 5.550.03
CiME_04/ack_prolog.xml 2.750.02 2.520.02 2.770.02 2.610.02 3.290.02
CiME_04/append-hard.xml 1.65 1.75 1.56 1.69 3.130.02
CiME_04/append-wrong.xml 1.93 1.75 3.19 3.43 3.650.01
CiME_04/append.xml 2.520.02 2.360.01 2.620.01 2.370.01 2.870.01
CiME_04/big.xml 13.09 7.38 8.650.21 6.790.20 11.520.21
CiME_04/boolean_rings.xml 3.020.03 2.650.03 2.590.03 2.670.03 2.820.03
CiME_04/dpqs.xml 2.260.01 2.290.01 2.270.01 2.270.02 2.760.02
CiME_04/fact-hard.xml 4.36 3.44 3.05 2.84 60.00
CiME_04/filliatre.xml 2.920.04 3.010.04 3.220.05 3.380.05 4.960.05
CiME_04/filliatre2.xml 3.600.06 3.780.06 3.740.07 3.840.09 4.640.07
CiME_04/filliatre3.xml 3.960.08 4.030.07 4.000.08 4.020.09 5.070.08
CiME_04/intersect.xml 4.49 2.91 4.230.07 3.790.06 4.580.07
CiME_04/list-sum-prod-assoc-append.xml 3.44 3.070.04 4.170.06 3.050.04 4.820.06
CiME_04/list-sum-prod-assoc.xml 2.62 2.700.03 3.830.04 2.780.03 4.420.04
CiME_04/list-sum-prod-bin-assoc-distr-app.xml 3.77 2.65 5.020.08 3.670.07 5.940.08
CiME_04/list-sum-prod-bin-assoc.xml 3.31 2.40 4.150.06 3.420.05 4.640.06
CiME_04/list-sum-prod-bin.xml 3.08 2.32 3.970.05 3.490.05 4.440.05
CiME_04/list-sum-prod.xml 2.35 2.630.02 2.870.03 2.660.02 3.330.03
CiME_04/log2.xml 5.17 5.420.10 5.450.10 5.120.10 6.200.10
CiME_04/lse.xml 3.18 2.50 4.700.09 4.470.09 5.610.09
CiME_04/maude2.xml 11.88 6.06 5.22 4.91 60.00
CiME_04/mucrl1.xml 36.721.00 7.050.52 8.290.51 6.810.54 11.330.51
CiME_04/ternary-hard.xml 3.87 3.11 5.380.10 4.330.10 7.140.10
CiME_04/ternary.xml 4.12 2.86 4.980.09 4.080.08 5.990.09
CiME_04/tree.xml 8.620.21 6.320.16 6.090.14 6.260.14 8.300.14
Der95/01.xml 2.290.01 2.210.01 2.280.01 2.280.01 2.300.01
Der95/02.xml 2.220.01 2.190.01 2.230.01 2.230.01 2.300.01
Der95/03.xml 2.210.01 2.200.01 2.230.01 2.210.01 2.610.01
Der95/04.xml 2.450.01 2.290.01 2.550.01 2.370.01 2.560.01
Der95/06.xml 2.420.01 2.300.01 2.330.01 2.330.01 2.870.01
Der95/07.xml 2.460.01 2.360.01 2.620.01 2.420.01 3.090.01
Der95/08.xml 1.94 2.340.01 2.560.01 2.390.01 2.920.01
Der95/09.xml 2.380.01 2.290.01 2.530.01 2.330.01 2.720.01
Der95/11.xml 2.47 2.550.02 2.990.03 2.500.02 3.260.03
Der95/12.xml 2.04 1.75 2.830.02 2.950.02 3.260.02
Der95/13.xml 2.04 1.80 2.01 1.92 31.57
Der95/17.xml 2.660.02 2.480.02 2.710.02 2.460.02 2.970.02
Der95/18.xml 2.380.01 2.290.01 2.370.01 2.330.01 2.560.01
Der95/20.xml 2.560.02 2.660.02 2.670.02 2.760.02 3.230.02
Der95/21.xml 2.08 1.99 2.770.02 2.710.02 3.020.02
Der95/27.xml 2.420.01 2.300.01 2.540.01 2.350.01 2.820.01
Der95/28.xml 1.50 2.300.01 2.560.01 2.330.01 2.810.01
Der95/30.xml 1.20 1.40 2.02 1.84 4.980.05
Der95/31.xml 1.67 2.340.02 2.610.02 2.440.02 2.950.02
Der95/32.xml 2.920.03 2.610.02 2.970.03 2.660.02 3.250.03
Der95/33.xml 4.35 3.83 4.82 4.58 60.00
Endrullis_06/direct.xml 18.89 18.95 14.29 14.37 8.640.02
Endrullis_06/labeling.xml 1.49 1.66 1.65 1.75 7.23
Endrullis_06/linear1.xml 2.54 2.69 2.64 2.74 4.010.03
Endrullis_06/linear2.xml 5.35 5.48 7.92 8.15 5.890.05
Endrullis_06/pair2hard.xml 2.58 2.74 2.90 3.00 4.480.03
Endrullis_06/pair2simple1.xml 1.41 1.49 1.85 2.14 3.890.02
Endrullis_06/pair2simple2.xml 1.45 1.51 1.77 1.81 60.00
Endrullis_06/pair3hard.xml 1.74 1.78 1.75 1.86 60.00
Endrullis_06/pair3rotate.xml 3.84 3.93 4.54 4.55 5.730.02
Endrullis_06/pair3swap.xml 2.55 2.69 2.95 2.95 4.780.02
Endrullis_06/quadruple1.xml 4.49 4.58 8.56 8.65 3.580.02
Endrullis_06/quadruple2.xml 3.73 3.79 2.80 2.85 4.320.02
GTSSK07/cade01.xml 2.15 1.82 1.85 1.92 21.51
GTSSK07/cade03.xml 2.20 2.01 1.96 2.08 7.26
GTSSK07/cade04t.xml 1.80 1.70 1.82 1.91 5.07
GTSSK07/cade05t.xml 5.00 2.53 2.71 2.49 60.00
GTSSK07/cade06.xml 2.24 2.07 2.19 2.06 60.00
GTSSK07/cade07.xml 3.85 3.63 3.36 3.29 60.00
GTSSK07/cade08.xml 2.14 2.08 2.16 2.19 54.10
GTSSK07/cade09.xml 3.50 3.38 3.41 3.24 60.00
GTSSK07/cade10.xml 2.28 2.18 2.51 2.29 60.00
GTSSK07/cade11.xml 2.01 2.05 2.21 2.08 60.00
GTSSK07/cade12t.xml 8.55 7.57 10.41 10.31 60.00
GTSSK07/cade13t.xml 7.35 4.74 2.50 2.44 26.08
GTSSK07/cade14.xml 5.45 2.59 2.85 2.64 19.24
GTSSK07/cade15.xml 4.70 2.74 2.97 2.85 60.00
GTSSK07/cade16.xml 2.21 2.12 2.26 2.13 60.00
GTSSK07/cade17.xml 28.19 26.65 60.00 60.00 60.00
Gebhardt_06/01.xml 3.54 3.59 3.69 3.88 60.00
Gebhardt_06/02.xml 3.43 3.59 3.60 3.74 60.00
Gebhardt_06/03.xml 3.74 3.84 4.14 4.20 60.00
Gebhardt_06/04.xml 10.10 10.25 11.49 11.55 6.710.02
Gebhardt_06/05.xml 4.84 4.98 4.74 4.87 60.00
Gebhardt_06/06.xml 4.38 4.58 5.25 5.41 60.00
Gebhardt_06/07.xml 4.99 5.14 5.54 5.65 6.230.02
Gebhardt_06/08.xml 6.64 6.79 8.78 8.90 60.00
Gebhardt_06/09.xml 5.55 5.75 5.35 5.50 30.100.03
Gebhardt_06/10.xml 5.49 5.65 6.02 6.05 60.00
Gebhardt_06/11.xml 4.59 4.74 4.95 5.09 5.870.02
Gebhardt_06/12.xml 4.93 5.08 5.11 5.10 60.00
Gebhardt_06/13.xml 4.88 4.98 4.85 5.10 60.00
Gebhardt_06/14.xml 4.65 4.79 4.84 4.95 10.150.02
Gebhardt_06/15.xml 4.99 5.03 5.05 5.08 60.00
Gebhardt_06/16.xml 4.94 5.03 5.85 6.00 10.370.02
Gebhardt_06/17.xml 5.08 5.20 8.40 8.56 6.280.02
Gebhardt_06/18.xml 12.45 12.50 11.35 11.47 53.620.03
Gebhardt_06/19.xml 22.28 21.65 28.82 28.95 60.00
Gebhardt_06/20.xml 23.19 22.89 25.11 25.26 60.00
HirokawaMiddeldorp_04/n002.xml 1.20 1.30 1.20 1.43 7.050.01
HirokawaMiddeldorp_04/n003.xml 1.21 1.29 1.21 1.37 2.770.01
HirokawaMiddeldorp_04/n004.xml 1.20 1.29 1.20 1.42 2.410.01
HirokawaMiddeldorp_04/n005.xml 1.20 1.29 1.21 1.35 2.540.01
HirokawaMiddeldorp_04/n006.xml 1.21 1.28 1.41 1.40 2.520.01
HirokawaMiddeldorp_04/n007.xml 1.19 1.29 1.20 1.37 2.370.01
HirokawaMiddeldorp_04/n008.xml 1.21 1.29 1.37 1.42 2.500.01
HirokawaMiddeldorp_04/t000.xml 6.080.17 5.750.15 7.260.16 6.230.16 9.810.16
HirokawaMiddeldorp_04/t001.xml 3.16 2.58 2.79 2.43 4.360.05
HirokawaMiddeldorp_04/t002.xml 2.54 2.10 1.95 1.79 8.01
HirokawaMiddeldorp_04/t003.xml 3.480.05 3.010.04 3.240.04 3.030.04 3.620.04
HirokawaMiddeldorp_04/t004.xml 1.97 2.01 2.10 2.15 3.160.01
HirokawaMiddeldorp_04/t005.xml 6.90 5.71 9.950.50 8.900.55 14.390.51
HirokawaMiddeldorp_04/t006.xml 2.370.01 2.290.01 2.500.01 2.340.01 2.760.02
HirokawaMiddeldorp_04/t007.xml 2.220.01 2.190.01 2.230.01 2.290.01 2.620.01
HirokawaMiddeldorp_04/t008.xml 2.33 2.03 2.870.02 2.710.02 3.310.02
HirokawaMiddeldorp_04/t009.xml 60.00 60.00 60.00 60.00 60.00
HirokawaMiddeldorp_04/t010.xml 2.290.01 2.190.01 2.230.01 2.220.01 2.630.02
HirokawaMiddeldorp_04/t011.xml 2.470.01 2.320.01 2.590.01 2.340.01 2.870.01
HirokawaMiddeldorp_04/t012.xml 3.470.03 2.810.03 2.960.03 2.980.03 3.510.03
HirokawaMiddeldorp_04/t013.xml 2.760.02 2.690.02 2.890.02 2.750.02 3.240.02
HirokawaMiddeldorp_04/t014.xml 3.020.03 2.710.02 2.930.03 2.760.02 3.240.03
Mixed_CTRS/quick.xml 3.930.07 3.240.06 3.440.06 3.300.06 4.190.06
Mixed_SRS/01-oppelt08.xml 5.49 5.04 8.10 7.95 60.00
Mixed_SRS/01.xml 4.68 4.79 5.15 5.24 6.180.02
Mixed_SRS/02-oppelt08.xml 2.17 2.31 2.58 2.54 60.00
Mixed_SRS/02.xml 17.15 17.29 21.76 21.87 7.120.02
Mixed_SRS/03-oppelt08.xml 2.28 2.44 2.57 2.37 60.00
Mixed_SRS/03.xml 2.70 2.76 2.85 2.96 13.430.02
Mixed_SRS/04-oppelt08.xml 2.04 2.17 2.20 2.29 60.00
Mixed_SRS/04.xml 2.50 2.39 2.54 2.67 27.380.02
Mixed_SRS/05-oppelt08.xml 3.45 3.35 3.45 3.29 60.00
Mixed_SRS/05.xml 2.10 2.16 2.59 2.63 13.180.05
Mixed_SRS/06-oppelt08.xml 1.91 2.01 2.31 2.21 60.00
Mixed_SRS/06.xml 2.05 2.17 2.24 2.26 5.920.02
Mixed_SRS/07-oppelt08.xml 3.74 3.68 5.91 5.81 60.00
Mixed_SRS/07.xml 1.65 1.74 1.80 1.91 15.790.04
Mixed_SRS/08-oppelt08.xml 6.25 6.25 7.63 7.40 60.00
Mixed_SRS/08.xml 2.19 2.27 2.36 2.41 60.00
Mixed_SRS/09.xml 2.21 2.26 2.64 2.65 11.180.02
Mixed_SRS/1.xml 1.59 1.71 1.81 2.01 60.00
Mixed_SRS/2.xml 2.64 2.79 3.05 2.89 7.400.02
Mixed_SRS/3.xml 2.09 2.11 2.33 2.08 4.500.02
Mixed_SRS/4.xml 3.70 3.81 4.55 4.07 60.00
Mixed_SRS/s6.xml 7.780.17 4.070.11 4.270.11 3.930.11 6.740.06
Mixed_SRS/touzet.xml 1.59 1.74 1.91 1.87 3.710.02
Mixed_SRS/turing_add.xml 2.980.04 3.010.03 3.020.03 2.960.03 4.550.03
Mixed_SRS/turing_copy.xml 60.00 60.00 60.00 60.00 3.120.04
Mixed_SRS/turing_mult.xml 60.00 60.00 60.00 60.00 3.670.05
Mixed_TRS/1.xml 2.04 2.14 2.21 2.42 3.260.02
Mixed_TRS/2.xml 1.93 1.98 2.13 2.23 3.370.02
Mixed_TRS/3.xml 2.00 2.08 18.42 18.46 3.560.01
Mixed_TRS/4.xml 2.39 2.49 2.60 2.71 3.270.02
Mixed_TRS/5.xml 1.45 1.67 11.31 11.46 2.930.01
Mixed_TRS/6.xml 1.92 1.76 1.82 1.85 60.00
Mixed_TRS/7.xml 1.80 2.12 1.90 2.01 60.00
Mixed_TRS/Ex1_Luc04b_GM.xml 4.01 4.09 4.710.09 4.940.10 5.710.09
Mixed_TRS/beans.xml 3.52 3.50 4.03 4.25 5.920.04
Mixed_TRS/gcd.xml 4.040.04 3.390.03 3.640.03 3.440.03 4.010.03
Mixed_TRS/gcdMinMax.xml 3.69 2.22 2.47 2.32 60.00
Mixed_TRS/gcd_triple.xml 5.020.06 3.870.05 4.190.05 4.010.05 4.720.05
Mixed_TRS/hydra-Zantema06.xml 3.24 3.08 2.96 2.70 60.00
Mixed_TRS/hydra.xml 2.510.02 2.350.01 2.500.02 2.440.01 8.200.02
Mixed_TRS/jones1.xml 2.420.01 2.290.01 2.590.01 2.370.01 2.930.01
Mixed_TRS/jones2.xml 2.460.01 2.310.01 2.590.01 2.380.01 2.820.01
Mixed_TRS/jones4.xml 2.450.01 2.440.01 2.520.01 2.470.01 2.880.01
Mixed_TRS/jones5.xml 2.600.01 2.720.01 2.520.01 2.470.01 2.720.01
Mixed_TRS/jones6.xml 2.580.02 2.370.01 2.650.01 2.410.01 2.940.02
Mixed_TRS/minsort.xml 4.21 2.35 2.76 2.47 34.77
Mixed_TRS/motivation.xml 2.460.01 2.420.01 2.530.01 2.510.01 2.860.01
Mixed_TRS/perfect.xml 2.620.02 2.450.02 2.550.02 2.470.02 2.910.02
Mixed_TRS/perfect2.xml 3.540.05 3.020.04 3.230.04 3.030.04 3.580.05
Mixed_TRS/test1.xml 2.410.01 2.580.01 2.760.01 2.870.01 2.720.01
Mixed_TRS/while.xml 1.65 1.71 1.75 1.64 60.00
Mixed_TRS/while2.xml 1.21 1.40 1.21 1.43 60.00
Rubio_04/aoto.xml 1.55 1.70 2.280.01 2.460.01 3.820.01
Rubio_04/bintrees.xml 2.660.02 2.620.02 2.690.02 2.660.02 3.060.02
Rubio_04/bn122.xml 2.610.02 2.520.01 2.630.01 2.580.01 2.900.02
Rubio_04/bn129.xml 2.610.02 2.670.01 2.810.02 2.710.02 3.290.02
Rubio_04/division.xml 3.010.03 2.740.02 2.960.03 2.760.03 3.430.03
Rubio_04/elimdupl.xml 3.100.04 2.740.03 3.070.03 2.910.03 3.650.03
Rubio_04/enno.xml 3.770.06 3.160.04 3.310.05 3.260.05 3.780.05
Rubio_04/gcd.xml 3.340.04 2.860.03 3.080.04 3.050.03 3.390.04
Rubio_04/gm.xml 2.650.02 2.540.02 2.720.02 2.600.02 3.020.02
Rubio_04/gmnp.xml 2.260.02 2.360.02 2.400.02 2.460.01 2.750.02
Rubio_04/koen.xml 2.570.01 2.310.01 2.650.01 2.400.01 3.010.01
Rubio_04/lescanne.xml 2.710.02 2.720.02 2.600.01 2.770.02 3.620.02
Rubio_04/lindau.xml 2.18 2.370.01 2.600.02 2.430.01 2.860.02
Rubio_04/logarquot.xml 2.810.02 2.810.02 2.910.02 2.860.03 3.280.02
Rubio_04/ma96.xml 3.93 3.440.06 4.140.07 3.810.07 4.810.08
Rubio_04/mfp90b.xml 2.430.01 2.420.01 2.570.01 2.520.01 2.990.01
Rubio_04/mfp95.xml 2.210.01 2.190.01 2.230.01 2.230.01 2.290.01
Rubio_04/nestrec.xml 2.390.01 2.360.01 2.540.01 2.480.01 2.780.01
Rubio_04/p266.xml 2.260.01 2.250.01 2.280.01 2.280.01 4.390.05
Rubio_04/polo2.xml 2.35 2.540.02 3.040.03 2.510.02 3.330.03
Rubio_04/prov.xml 2.470.01 2.350.01 2.380.01 2.370.01 2.510.01
Rubio_04/quick.xml 8.39 4.18 3.710.06 3.360.07 4.690.06
Rubio_04/quotminus.xml 3.020.03 2.680.02 2.920.02 2.700.02 3.260.02
Rubio_04/revlist.xml 2.760.02 2.710.02 2.940.02 2.750.02 3.270.02
Rubio_04/selsort.xml 4.62 4.060.07 4.240.07 3.820.08 5.190.07
Rubio_04/test4.xml 2.560.02 2.550.02 2.670.02 2.710.02 2.750.02
Rubio_04/test829.xml 2.480.01 2.480.01 2.580.01 2.570.02 2.930.01
Rubio_04/wst99.xml 3.710.06 4.000.06 4.010.06 3.390.05 3.990.05
SK90/2.01.xml 2.650.02 2.590.02 2.730.02 2.460.02 2.980.02
SK90/2.02.xml 2.650.01 2.670.01 2.900.02 2.720.01 3.170.02
SK90/2.03.xml 2.500.01 2.410.01 2.560.01 2.330.01 2.870.01
SK90/2.04.xml 2.620.01 2.480.01 2.680.01 2.420.01 2.960.01
SK90/2.05.xml 2.30 2.54 2.49 2.45 3.010.01
SK90/2.06.xml 2.650.02 2.450.01 2.810.02 2.390.01 3.320.02
SK90/2.07.xml 1.49 2.460.01 2.560.01 2.410.01 2.970.02
SK90/2.08.xml 2.970.03 2.570.02 2.900.02 2.650.02 3.250.02
SK90/2.09.xml 2.370.01 2.410.01 2.520.01 2.350.01 2.830.01
SK90/2.10.xml 2.850.02 2.550.02 2.610.02 2.470.02 3.110.02
SK90/2.11.xml 2.520.01 2.480.01 2.620.01 2.430.01 2.930.01
SK90/2.12.xml 2.23 2.600.02 2.920.02 2.670.02 3.320.02
SK90/2.13.xml 2.810.02 2.500.01 2.710.02 2.510.01 2.980.02
SK90/2.14.xml 3.070.02 2.580.01 2.770.02 2.470.02 3.270.02
SK90/2.15.xml 2.480.01 2.400.01 2.390.01 2.470.01 2.590.01
SK90/2.16.xml 1.96 2.560.02 2.800.02 2.550.02 3.280.02
SK90/2.17.xml 2.550.01 2.470.01 2.460.01 2.400.01 2.570.01
SK90/2.18.xml 1.60 2.430.01 2.460.01 2.440.01 2.610.01
SK90/2.19.xml 2.13 2.640.02 2.520.02 2.640.02 2.750.02
SK90/2.20.xml 2.460.02 2.430.01 2.370.01 2.390.01 2.560.01
SK90/2.21.xml 2.560.01 2.440.01 2.620.01 2.360.01 2.880.01
SK90/2.22.xml 2.810.02 2.570.01 2.730.02 2.460.01 2.920.02
SK90/2.23.xml 2.35 2.800.02 2.910.03 2.660.02 3.170.03
SK90/2.24.xml 2.410.01 2.580.01 2.590.01 2.340.01 2.760.01
SK90/2.25.xml 2.00 2.380.01 2.710.02 2.420.01 3.000.02
SK90/2.26.xml 3.04 2.830.03 2.820.04 2.870.04 2.960.04
SK90/2.27.xml 2.23 2.630.02 2.580.02 2.560.02 2.820.03
SK90/2.28.xml 2.380.01 2.310.01 2.520.01 2.380.01 2.970.01
SK90/2.29.xml 2.560.02 2.350.02 2.270.02 2.460.02 2.560.02
SK90/2.30.xml 2.210.01 2.200.01 2.210.01 2.230.01 2.300.01
SK90/2.31.xml 2.700.02 2.500.01 2.740.02 2.460.01 2.920.02
SK90/2.32.xml 2.310.02 2.290.02 2.310.02 2.320.02 2.510.02
SK90/2.33.xml 2.520.02 2.350.01 2.620.02 2.430.01 2.970.02
SK90/2.34.xml 2.660.01 2.370.01 2.600.01 2.380.01 3.030.01
SK90/2.35.xml 2.510.02 2.500.01 2.580.02 2.560.02 2.990.02
SK90/2.36.xml 2.580.01 2.600.01 2.640.01 2.640.01 3.080.01
SK90/2.37.xml 2.360.01 2.350.01 2.520.01 2.480.01 2.770.01
SK90/2.38.xml 2.520.01 2.310.01 2.570.01 2.320.01 3.040.01
SK90/2.39.xml 2.630.02 2.380.01 2.470.02 2.460.01 2.640.02
SK90/2.40.xml 2.510.02 2.360.01 2.440.01 2.380.01 2.550.01
SK90/2.41.xml 2.810.02 2.420.01 2.710.02 2.460.01 2.970.02
SK90/2.42.xml 3.050.04 2.630.03 2.960.03 2.670.03 3.470.03
SK90/2.43.xml 2.820.03 2.470.02 2.770.02 2.560.02 3.200.02
SK90/2.44.xml 2.670.03 2.710.03 2.720.03 2.710.03 3.120.03
SK90/2.45.xml 2.520.02 2.360.01 2.550.02 2.420.02 2.920.02
SK90/2.46.xml 2.510.01 2.500.01 2.710.01 2.580.01 2.940.01
SK90/2.47.xml 2.210.01 2.290.01 2.330.01 2.330.01 2.770.01
SK90/2.48.xml 2.220.01 2.210.01 2.230.01 2.280.01 2.620.01
SK90/2.49.xml 2.760.02 2.480.02 2.860.02 2.560.02 2.720.02
SK90/2.50.xml 2.440.01 2.310.01 2.320.01 2.320.01 2.740.01
SK90/2.51.xml 1.91 2.390.01 2.610.01 2.450.01 3.050.02
SK90/2.52.xml 3.67 2.970.04 4.080.05 2.970.04 4.790.06
SK90/2.53.xml 2.480.01 2.320.01 2.580.01 2.370.01 2.880.01
SK90/2.54.xml 2.380.01 2.310.01 2.470.01 2.330.01 2.650.01
SK90/2.55.xml 2.470.01 2.300.01 2.530.01 2.320.01 2.700.01
SK90/2.56.xml 2.260.01 2.250.01 2.270.01 2.320.01 2.410.01
SK90/2.57.xml 2.270.01 2.210.01 2.260.01 2.270.01 2.360.01
SK90/2.58.xml 2.270.01 2.250.01 2.330.01 2.280.01 2.370.01
SK90/2.59.xml 2.390.01 2.310.01 2.470.01 2.330.01 2.720.01
SK90/2.60.xml 2.220.01 2.190.01 2.260.01 2.230.01 2.460.01
SK90/2.61.xml 2.870.03 2.520.02 2.870.03 2.610.02 3.270.03
SK90/4.01.xml 2.270.01 2.250.01 2.270.01 2.270.01 2.360.01
SK90/4.02.xml 2.29 2.35 2.51 2.43 60.00
SK90/4.03.xml 1.92 2.500.02 2.710.02 2.560.02 6.970.02
SK90/4.04.xml 2.510.01 2.370.01 2.600.01 2.440.01 3.060.01
SK90/4.05.xml 1.41 2.380.01 2.680.01 2.390.01 3.090.01
SK90/4.06.xml 1.53 1.44 1.49 1.45 2.310.01
SK90/4.07.xml 2.400.01 2.300.01 2.560.01 2.330.01 2.810.01
SK90/4.08.xml 2.380.01 2.310.01 2.520.01 2.320.01 2.750.01
SK90/4.09.xml 2.02 2.540.02 2.860.02 2.560.02 3.330.02
SK90/4.10.xml 1.76 2.380.01 2.720.02 2.440.01 3.080.02
SK90/4.11.xml 2.510.01 2.380.01 2.610.01 2.440.01 2.860.01
SK90/4.12.xml 2.470.01 2.510.01 2.590.01 2.530.01 2.960.01
SK90/4.13.xml 1.81 1.70 2.680.01 2.570.01 2.820.01
SK90/4.14.xml 2.23 2.710.02 3.040.03 2.740.03 3.480.03
SK90/4.15.xml 2.260.01 2.300.01 2.370.01 2.380.01 2.700.01
SK90/4.16.xml 2.510.02 2.360.01 2.720.02 2.370.01 2.870.02
SK90/4.17.xml 2.05 2.04 1.81 1.91 2.960.02
SK90/4.18.xml 2.270.01 2.210.01 2.280.01 2.260.01 2.360.01
SK90/4.19.xml 2.570.01 2.460.01 2.560.01 2.620.01 2.800.01
SK90/4.20.xml 2.740.03 2.580.02 2.490.02 2.570.02 2.710.02
SK90/4.21.xml 1.59 2.460.02 2.720.02 2.510.02 3.140.02
SK90/4.22.xml 1.96 2.400.02 2.620.02 2.460.02 3.040.02
SK90/4.23.xml 1.49 2.370.01 2.560.01 2.370.01 3.030.02
SK90/4.24.xml 2.19 2.16 2.870.02 2.750.02 3.380.02
SK90/4.25.xml 2.410.01 2.350.01 2.360.01 2.330.01 2.720.01
SK90/4.26.xml 2.810.02 2.500.02 2.710.02 2.510.02 3.080.02
SK90/4.27.xml 13.45 2.410.02 2.630.02 2.460.02 2.920.02
SK90/4.28.xml 3.290.05 2.640.02 2.970.03 2.670.02 3.120.03
SK90/4.29.xml 2.270.01 2.360.01 2.400.01 2.380.01 2.500.02
SK90/4.30.xml 2.41 2.59 2.810.02 2.970.02 3.570.02
SK90/4.31.xml 2.600.02 2.560.01 2.620.02 2.560.02 2.910.02
SK90/4.32.xml 1.96 2.07 3.820.04 4.030.05 5.410.04
SK90/4.33.xml 2.360.01 2.370.01 2.220.01 2.370.01 2.570.01
SK90/4.34.xml 1.52 1.66 1.61 1.76 2.560.01
SK90/4.35.xml 2.220.01 2.200.01 2.210.01 2.220.01 2.580.01
SK90/4.36.xml 2.210.01 2.200.01 2.230.01 2.230.01 2.500.01
SK90/4.37.xml 2.220.01 2.210.01 2.230.01 2.230.01 2.540.01
SK90/4.38.xml 2.600.01 2.330.01 2.680.01 2.420.01 3.110.01
SK90/4.39.xml 2.560.01 2.540.01 2.470.01 2.660.01 3.090.02
SK90/4.40.xml 1.49 1.71 1.75 1.83 3.820.02
SK90/4.41.xml 2.470.01 2.370.01 2.570.01 2.590.01 2.760.01
SK90/4.42.xml 2.18 2.400.01 2.670.02 2.470.01 3.240.02
SK90/4.43.xml 2.920.03 2.720.02 2.930.03 2.760.02 3.510.03
SK90/4.44.xml 2.280.01 2.260.01 2.270.01 2.280.01 2.670.01
SK90/4.45.xml 2.360.01 2.300.01 2.330.01 2.320.01 2.590.01
SK90/4.46.xml 2.220.01 2.210.01 2.230.01 2.220.01 2.550.01
SK90/4.47.xml 2.260.02 2.240.02 2.270.02 2.270.02 2.410.02
SK90/4.48.xml 2.510.01 2.330.01 2.510.01 2.380.01 3.070.01
SK90/4.49.xml 1.39 1.63 1.45 1.64 2.410.01
SK90/4.50.xml 2.220.01 2.210.01 2.220.01 2.220.01 2.350.01
SK90/4.51.xml 1.91 2.01 2.660.02 2.540.01 2.870.01
SK90/4.52.xml 2.820.02 2.510.02 2.820.02 2.550.02 3.170.02
SK90/4.53.xml 1.96 2.360.01 2.670.02 2.440.02 3.000.02
SK90/4.54.xml 2.00 2.06 2.09 2.19 2.400.01
SK90/4.55.xml 1.19 1.30 1.20 1.41 2.710.03
SK90/4.56.xml 2.220.01 2.190.01 2.220.01 2.230.01 2.500.01
SK90/4.57.xml 2.310.02 2.300.02 2.320.02 2.320.02 2.450.02
SK90/4.59.xml 2.810.03 2.510.02 2.540.02 2.560.02 2.700.02
SK90/4.60.xml 2.870.03 2.730.02 2.880.02 2.750.02 3.270.03
SK90/4.61.xml 5.19 3.56 2.84 3.04 3.640.04
Secret_05_SRS/aprove1.xml 5.55 4.77 4.33 4.54 22.840.09
Secret_05_SRS/aprove2.xml 5.42 5.77 9.47 10.01 8.650.05
Secret_05_SRS/aprove3.xml 4.27 3.78 4.26 4.39 11.660.06
Secret_05_SRS/aprove4.xml 5.31 3.58 6.99 7.72 9.630.08
Secret_05_SRS/aprove5.xml 4.16 4.26 5.03 5.27 16.730.10
Secret_05_SRS/jambox1.xml 2.09 2.19 2.29 2.59 60.00
Secret_05_SRS/jambox2.xml 2.89 3.04 3.29 3.25 60.00
Secret_05_SRS/jambox3.xml 2.39 2.55 2.55 2.64 37.340.04
Secret_05_SRS/jambox4.xml 2.03 2.11 2.22 2.24 10.070.07
Secret_05_SRS/jambox5.xml 2.20 2.29 2.23 2.42 12.020.05
Secret_05_SRS/matchbox1.xml 6.95 6.95 13.94 13.85 12.960.05
Secret_05_SRS/matchbox2.xml 4.75 4.79 5.50 5.55 10.620.06
Secret_05_SRS/torpa1.xml 3.170.02 3.280.02 3.310.02 3.400.02 4.550.02
Secret_05_SRS/torpa2.xml 2.50 2.70 2.79 2.84 4.530.02
Secret_05_SRS/torpa3.xml 3.210.03 3.330.03 3.420.03 3.500.03 5.450.04
Secret_05_SRS/torpa4.xml 7.18 7.29 7.42 7.88 7.640.05
Secret_05_TRS/aprove1.xml 1.68 1.88 2.84 2.72 60.00
Secret_05_TRS/aprove2.xml 5.31 3.09 3.16 2.99 60.00
Secret_05_TRS/aprove3.xml 1.92 2.08 2.05 2.00 9.99
Secret_05_TRS/aprove4.xml 2.55 2.08 2.38 2.14 60.00
Secret_05_TRS/aprove5.xml 5.80 5.39 4.36 4.50 26.07
Secret_05_TRS/cime1.xml 9.10 9.08 14.31 14.50 60.00
Secret_05_TRS/cime2.xml 2.14 2.21 2.30 2.41 42.71
Secret_05_TRS/cime3.xml 5.78 5.58 7.97 7.71 60.00
Secret_05_TRS/cime4.xml 1.19 1.41 1.20 1.40 3.290.02
Secret_05_TRS/cime5.xml 11.070.25 12.130.24 11.820.22 12.480.23 18.580.23
Secret_05_TRS/matchbox1.xml 1.42 1.62 1.57 1.70 7.48
Secret_05_TRS/matchbox2.xml 1.36 1.50 1.85 1.87 3.040.02
Secret_05_TRS/teparla1.xml 2.02 2.13 2.22 2.27 60.00
Secret_05_TRS/teparla2.xml 1.91 2.00 2.00 2.32 60.00
Secret_05_TRS/teparla3.xml 2.02 2.13 1.85 2.28 60.00
Secret_05_TRS/tpa1.xml 2.48 2.36 2.48 2.45 60.00
Secret_05_TRS/tpa2.xml 2.40 2.43 2.54 2.45 6.980.03
Secret_05_TRS/tpa3.xml 3.10 2.17 2.47 2.31 25.86
Secret_05_TRS/tpa4.xml 3.17 2.24 2.48 2.41 26.85
Secret_05_TRS/tpa5.xml 3.11 2.46 2.52 2.43 60.00
Secret_05_TRS/ttt1.xml 1.19 1.44 1.46 1.69 4.940.01
Secret_05_TRS/ttt2.xml 1.45 1.60 1.75 1.76 2.650.01
Secret_06_SRS/1-matchbox.xml 2.12 2.13 2.17 2.26 60.00
Secret_06_SRS/1.xml 2.09 2.15 2.19 2.27 60.00
Secret_06_SRS/10.xml 1.64 1.75 2.08 1.86 5.960.02
Secret_06_SRS/2-matchbox.xml 3.52 3.63 4.91 4.87 60.00
Secret_06_SRS/2.xml 2.29 2.38 2.45 2.70 7.520.04
Secret_06_SRS/3-matchbox.xml 60.00 60.00 60.00 60.00 9.520.05
Secret_06_SRS/3.xml 2.05 2.18 2.17 2.46 60.00
Secret_06_SRS/5-matchbox.xml 1.99 2.08 2.11 2.34 17.740.03
Secret_06_SRS/5.xml 2.04 2.20 2.27 2.44 21.460.07
Secret_06_SRS/6.xml 50.05 50.30 60.00 60.00 4.560.03
Secret_06_SRS/7.xml 1.96 2.08 2.14 2.15 5.390.02
Secret_06_SRS/8.xml 2.94 3.10 3.39 3.39 7.050.03
Secret_06_SRS/9.xml 1.71 1.75 1.80 1.91 5.600.02
Secret_06_SRS/aprove00.xml 14.25 5.92 3.46 3.37 5.350.05
Secret_06_SRS/aprove01.xml 26.38 14.18 4.68 4.87 7.280.08
Secret_06_SRS/aprove02.xml 60.00 45.08 7.41 7.83 27.690.07
Secret_06_SRS/aprove03.xml 60.00 57.40 5.38 5.73 16.520.13
Secret_06_SRS/aprove04.xml 60.00 60.00 7.80 8.16 60.00
Secret_06_SRS/aprove05.xml 60.00 42.07 4.10 4.27 5.770.11
Secret_06_SRS/aprove06.xml 60.00 60.00 5.28 5.47 26.270.13
Secret_06_SRS/aprove07.xml 60.00 31.94 35.47 36.21 60.00
Secret_06_SRS/aprove08.xml 60.00 25.18 7.50 8.03 55.220.06
Secret_06_SRS/aprove09.xml 19.34 7.45 3.04 2.95 5.970.06
Secret_06_SRS/multum1.xml 3.45 3.54 3.61 3.74 18.760.02
Secret_06_SRS/multum2.xml 2.07 2.18 2.42 2.53 18.680.05
Secret_06_SRS/multum3.xml 2.32 2.30 2.27 2.40 4.630.02
Secret_06_SRS/multum4.xml 24.43 24.24 42.43 42.16 60.00
Secret_06_SRS/multum5.xml 4.79 4.95 5.71 5.82 8.110.02
Secret_06_SRS/multum6.xml 4.69 4.79 4.49 4.59 8.080.04
Secret_06_SRS/secr1.xml 1.85 2.07 1.82 2.00 3.830.02
Secret_06_SRS/secr10.xml 14.20 14.39 17.77 17.78 8.210.04
Secret_06_SRS/secr2.xml 2.01 2.08 2.19 2.21 4.930.04
Secret_06_SRS/secr3.xml 2.48 2.65 2.85 2.71 6.360.03
Secret_06_SRS/secr4.xml 4.150.04 4.280.03 3.900.04 3.970.04 20.470.10
Secret_06_SRS/secr5.xml 2.97 2.72 2.94 3.26 60.00
Secret_06_SRS/secr6.xml 3.04 3.25 3.69 3.73 7.670.13
Secret_06_SRS/secr7.xml 2.60 2.63 2.79 3.26 6.400.03
Secret_06_SRS/secr8.xml 2.17 2.27 2.32 2.78 8.710.04
Secret_06_SRS/secr9.xml 3.50 3.08 3.65 3.66 13.990.40
Secret_06_TRS/10.xml 3.58 3.63 4.29 4.46 7.850.05
Secret_06_TRS/2.xml 9.79 10.04 9.99 10.05 4.840.04
Secret_06_TRS/3.xml 34.76 34.85 49.21 49.33 60.00
Secret_06_TRS/4.xml 2.39 2.50 2.70 2.66 9.120.03
Secret_06_TRS/5.xml 2.58 2.74 2.84 3.40 9.740.02
Secret_06_TRS/6.xml 2.74 2.90 3.69 3.71 4.580.03
Secret_06_TRS/7.xml 3.530.02 3.720.02 3.560.02 3.550.02 3.680.03
Secret_06_TRS/8.xml 2.59 2.58 2.88 2.91 5.020.03
Secret_06_TRS/9.xml 2.39 2.60 2.90 2.89 3.980.03
Secret_06_TRS/addList.xml 8.00 6.62 9.37 9.43 39.060.10
Secret_06_TRS/cime1.xml 2.78 2.90 2.91 3.02 60.00
Secret_06_TRS/divExp.xml 2.17 2.20 2.34 2.34 34.55
Secret_06_TRS/division.xml 11.76 4.44 4.74 4.67 53.51
Secret_06_TRS/double.xml 3.50 3.19 3.00 2.80 35.22
Secret_06_TRS/gen-1.xml 3.480.02 3.400.02 3.630.02 3.890.02 5.070.03
Secret_06_TRS/gen-10.xml 2.72 2.80 2.42 2.61 4.570.03
Secret_06_TRS/gen-14.xml 2.11 2.00 2.11 2.20 4.300.03
Secret_06_TRS/gen-15.xml 2.99 3.10 2.99 3.15 3.420.02
Secret_06_TRS/gen-17.xml 3.260.02 3.330.02 2.860.03 2.920.03 3.030.02
Secret_06_TRS/gen-18.xml 1.85 2.04 1.84 2.20 9.800.04
Secret_06_TRS/gen-22.xml 2.73 2.94 2.75 2.90 5.120.05
Secret_06_TRS/gen-25.xml 1.93 2.07 2.22 2.33 4.410.03
Secret_06_TRS/gen-28.xml 2.88 2.99 3.36 3.40 20.360.04
Secret_06_TRS/gen-9.xml 2.53 2.69 2.31 2.42 4.150.04
Secret_06_TRS/logarithm.xml 19.52 8.29 6.21 6.05 60.00
Secret_06_TRS/nrOfNodes.xml 3.85 3.44 6.37 6.45 60.00
Secret_06_TRS/reverse.xml 2.71 2.20 2.70 2.74 24.960.05
Secret_06_TRS/sumList.xml 3.63 3.08 2.89 3.10 60.00
Secret_06_TRS/times.xml 3.98 3.16 3.17 3.02 42.04
Secret_06_TRS/toList.xml 4.06 3.48 8.57 8.52 60.00
Secret_06_TRS/tpa01.xml 1.36 1.51 1.40 1.64 7.02
Secret_06_TRS/tpa02.xml 1.36 1.52 1.50 1.63 8.33
Secret_06_TRS/tpa03.xml 1.45 1.64 1.50 1.64 8.30
Secret_06_TRS/tpa04.xml 4.62 3.09 3.24 3.14 60.00
Secret_06_TRS/tpa05.xml 4.51 2.79 2.88 2.76 37.28
Secret_06_TRS/tpa06.xml 8.52 6.76 31.28 31.37 60.00
Secret_06_TRS/tpa07.xml 3.19 2.20 2.46 2.35 30.87
Secret_06_TRS/tpa08.xml 4.15 2.84 2.86 2.86 34.76
Secret_06_TRS/tpa09.xml 7.70 4.37 4.26 3.63 60.00
Secret_06_TRS/tpa10.xml 4.38 2.52 4.91 4.70 60.00
Secret_07_SRS/dj.xml 2.570.02 2.450.02 2.390.02 2.460.02 9.250.02
Secret_07_SRS/num-514.xml 1.99 2.09 2.17 2.18 60.00
Secret_07_SRS/num-515.xml 2.05 2.13 2.12 2.25 60.00
Secret_07_SRS/num-518.xml 1.96 2.04 2.23 2.34 60.00
Secret_07_SRS/num-519.xml 2.37 2.40 2.14 2.30 60.00
Secret_07_SRS/num-520.xml 1.94 1.76 1.84 2.02 60.00
Secret_07_SRS/num-521.xml 1.92 1.98 2.06 2.20 60.00
Secret_07_SRS/num-525.xml 1.94 1.97 2.06 2.14 60.00
Secret_07_SRS/num-527.xml 1.91 1.97 2.10 2.13 60.00
Secret_07_SRS/num-530.xml 1.99 2.15 2.25 2.27 60.00
Secret_07_SRS/num-539.xml 2.09 2.01 2.07 2.16 60.00
Secret_07_SRS/x01.xml 1.95 1.71 2.07 2.29 10.770.07
Secret_07_SRS/x02.xml 1.71 2.03 2.09 2.25 39.620.08
Secret_07_SRS/x03.xml 2.25 2.76 2.44 2.71 5.260.02
Secret_07_SRS/x04.xml 3.87 3.91 3.55 3.61 15.070.43
Secret_07_SRS/x05.xml 1.93 2.06 2.08 2.11 5.200.03
Secret_07_SRS/x06.xml 2.06 2.20 2.22 2.44 11.450.11
Secret_07_SRS/x07.xml 2.27 2.36 2.66 2.60 38.310.14
Secret_07_SRS/x08.xml 2.44 3.15 2.76 2.92 11.510.05
Secret_07_SRS/x09.xml 2.29 2.45 2.68 2.73 60.00
Secret_07_SRS/x10.xml 2.02 2.12 2.19 2.26 12.690.06
Secret_07_TRS/1.xml 60.00 60.00 60.00 60.00 60.00
Secret_07_TRS/2.xml 3.15 3.38 3.37 3.38 60.00
Secret_07_TRS/3.xml 4.19 4.45 4.57 4.74 60.00
Secret_07_TRS/4.xml 60.00 60.00 60.00 60.00 60.00
Secret_07_TRS/5.xml 60.00 60.00 60.00 60.00 60.00
Secret_07_TRS/7.xml 2.07 2.46 2.42 2.45 60.00
Secret_07_TRS/aprove01.xml 6.25 4.69 4.11 4.00 60.00
Secret_07_TRS/aprove02.xml 4.77 3.66 3.17 3.17 37.39
Secret_07_TRS/aprove03.xml 35.85 33.62 49.31 49.31 60.00
Secret_07_TRS/aprove04.xml 8.03 6.78 9.92 9.93 60.00
Secret_07_TRS/aprove05.xml 3.32 3.01 2.93 2.87 15.00
Secret_07_TRS/aprove06.xml 60.00 60.00 60.00 60.00 60.00
Secret_07_TRS/aprove07.xml 2.88 2.80 2.60 2.53 13.59
Secret_07_TRS/aprove08.xml 12.46 12.24 8.49 8.37 60.00
Secret_07_TRS/aprove09.xml 7.76 7.00 4.62 4.42 24.45
Secret_07_TRS/aprove10.xml 6.20 6.06 6.78 6.62 60.00
Secret_07_TRS/secret1.xml 3.37 3.410.04 3.680.05 2.950.04 9.280.05
Secret_07_TRS/secret2.xml 2.94 3.190.05 4.130.06 3.140.05 4.820.06
Secret_07_TRS/secret3.xml 2.09 2.970.03 3.410.03 2.860.03 3.890.03
Secret_07_TRS/secret4.xml 3.15 3.430.05 4.150.06 3.300.05 5.280.06
Secret_07_TRS/secret5.xml 4.21 3.540.05 3.970.06 3.550.05 4.590.06
Strategy_removed_AG01/#4.12a.xml 1.43 1.53 1.49 1.51 2.720.01
Strategy_removed_AG01/#4.13.xml 1.19 1.31 1.20 1.34 2.31
Strategy_removed_AG01/#4.14.xml 1.54 1.69 1.54 1.68 2.370.01
Strategy_removed_AG01/#4.15.xml 2.85 2.90 2.99 3.13 2.320.01
Strategy_removed_AG01/#4.16.xml 1.19 1.34 1.34 1.39 2.370.01
Strategy_removed_AG01/#4.17.xml 21.40 21.40 19.30 19.36 2.320.01
Strategy_removed_AG01/#4.18.xml 2.20 2.34 2.34 2.45 2.560.01
Strategy_removed_AG01/#4.19.xml 1.83 1.80 1.93 1.86 60.00
Strategy_removed_AG01/#4.2.xml 2.89 2.94 2.73 2.90 5.390.01
Strategy_removed_AG01/#4.20.xml 2.210.01 2.210.01 2.230.01 2.230.01 2.960.01
Strategy_removed_AG01/#4.20a.xml 2.440.01 2.360.01 2.380.01 2.380.01 2.670.02
Strategy_removed_AG01/#4.21.xml 2.260.01 2.260.01 2.280.01 2.270.01 2.620.01
Strategy_removed_AG01/#4.22.xml 1.60 2.370.01 2.520.01 2.380.01 2.980.01
Strategy_removed_AG01/#4.23.xml 3.79 2.650.02 2.710.02 2.610.02 3.000.02
Strategy_removed_AG01/#4.25.xml 1.19 1.30 1.42 1.46 2.85
Strategy_removed_AG01/#4.26.xml 2.11 2.07 1.90 2.07 3.750.02
Strategy_removed_AG01/#4.27.xml 2.06 2.09 2.820.02 2.700.02 3.230.02
Strategy_removed_AG01/#4.28.xml 2.24 2.01 2.910.02 2.770.02 3.250.02
Strategy_removed_AG01/#4.29.xml 3.99 3.08 60.00 60.00 4.160.04
Strategy_removed_AG01/#4.3.xml 1.19 1.31 1.20 1.36 2.360.01
Strategy_removed_AG01/#4.30.xml 8.54 7.04 9.68 9.55 60.00
Strategy_removed_AG01/#4.30a.xml 5.65 2.07 2.02 1.70 17.87
Strategy_removed_AG01/#4.30b.xml 23.50 23.44 18.62 18.50 60.00
Strategy_removed_AG01/#4.30c.xml 6.46 6.40 9.01 8.86 60.00
Strategy_removed_AG01/#4.32.xml 2.560.01 2.390.01 2.660.01 2.440.01 6.260.01
Strategy_removed_AG01/#4.33.xml 2.21 2.38 2.860.02 2.810.02 3.470.03
Strategy_removed_AG01/#4.34.xml 1.99 2.630.02 2.810.02 2.710.02 3.220.02
Strategy_removed_AG01/#4.35.xml 4.29 3.950.07 3.950.07 3.670.06 4.860.07
Strategy_removed_AG01/#4.36.xml 4.25 3.820.06 3.930.06 3.670.06 4.890.07
Strategy_removed_AG01/#4.37.xml 2.560.01 2.590.01 2.610.01 2.610.01 2.910.01
Strategy_removed_AG01/#4.37a.xml 2.600.02 2.600.02 2.610.01 2.630.01 3.030.02
Strategy_removed_AG01/#4.4.xml 1.41 1.53 1.51 1.51 2.410.01
Strategy_removed_AG01/#4.7.xml 60.00 60.00 60.00 60.00 2.420.01
Strategy_removed_CSR_05/Ex14_AEGL02.xml 1.45 1.43 1.60 1.49 2.310.01
Strategy_removed_CSR_05/Ex15_Luc98.xml 1.58 1.47 1.61 1.56 2.600.01
Strategy_removed_CSR_05/Ex1_2_AEL03.xml 2.75 1.56 1.92 1.65 2.320.02
Strategy_removed_CSR_05/Ex1_2_Luc02c.xml 1.20 1.30 1.40 1.48 2.320.01
Strategy_removed_CSR_05/Ex1_GL02a.xml 2.16 1.50 1.70 1.58 2.300.01
Strategy_removed_CSR_05/Ex1_GM03.xml 1.84 1.42 1.80 1.69 2.300.01
Strategy_removed_CSR_05/Ex1_GM99.xml 1.19 1.31 1.21 1.31 2.350.01
Strategy_removed_CSR_05/Ex1_Luc02b.xml 1.93 1.44 1.68 1.54 2.310.01
Strategy_removed_CSR_05/Ex1_Zan97.xml 1.44 1.59 1.74 1.77 2.520.01
Strategy_removed_CSR_05/Ex24_GM04.xml 1.19 1.29 1.20 1.35 2.350.01
Strategy_removed_CSR_05/Ex26_Luc03b.xml 2.83 1.56 1.79 1.64 2.310.01
Strategy_removed_CSR_05/Ex2_Luc03b.xml 2.07 1.48 1.59 1.59 2.380.01
Strategy_removed_CSR_05/Ex3_12_Luc96a.xml 1.46 1.34 1.57 1.50 2.370.01
Strategy_removed_CSR_05/Ex3_2_Luc97.xml 2.30 1.61 1.79 1.69 2.360.01
Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml 2.04 1.59 1.70 1.68 2.310.01
Strategy_removed_CSR_05/Ex49_GM04.xml 2.930.03 2.720.02 2.930.03 2.710.02 3.350.03
Strategy_removed_CSR_05/Ex4_4_Luc96b.xml 1.40 1.31 1.54 1.41 2.540.01
Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 2.38 2.54 2.50 2.49 2.520.01
Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml 2.73 2.17 1.96 1.78 2.390.02
Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml 1.19 1.36 1.60 1.49 2.430.01
Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 1.20 1.19 1.20 1.20 2.320.01
Strategy_removed_CSR_05/Ex4_Zan97.xml 1.95 1.44 1.81 1.69 2.330.01
Strategy_removed_CSR_05/Ex5_7_Luc97.xml 4.00 1.83 2.16 1.89 2.410.02
Strategy_removed_CSR_05/Ex5_Zan97.xml 1.20 1.29 1.20 1.41 2.420.01
Strategy_removed_CSR_05/Ex6_15_AEL02.xml 5.08 1.94 2.55 1.96 2.420.02
Strategy_removed_CSR_05/Ex6_9_Luc02c.xml 1.20 1.32 1.41 1.46 2.360.01
Strategy_removed_CSR_05/Ex6_GM04.xml 1.19 1.28 1.20 1.21 2.550.01
Strategy_removed_CSR_05/Ex6_Luc98.xml 1.40 1.35 1.55 1.50 2.420.01
Strategy_removed_CSR_05/Ex7_BLR02.xml 1.95 1.52 1.71 1.55 2.310.01
Strategy_removed_CSR_05/Ex8_BLR02.xml 2.18 1.45 1.75 1.55 2.320.01
Strategy_removed_CSR_05/Ex9_BLR02.xml 2.59 2.43 1.74 1.75 2.310.02
Strategy_removed_CSR_05/ExAppendixB_AEL03.xml 2.96 1.68 1.96 1.79 2.320.02
Strategy_removed_CSR_05/ExConc_Zan97.xml 1.20 1.31 1.22 1.39 2.510.01
Strategy_removed_CSR_05/ExIntrod_GM01.xml 1.92 1.42 1.42 1.46 2.290.01
Strategy_removed_CSR_05/ExIntrod_GM04.xml 1.94 1.43 1.42 1.44 2.290.01
Strategy_removed_CSR_05/ExIntrod_GM99.xml 2.06 2.18 1.79 1.84 2.310.02
Strategy_removed_CSR_05/ExIntrod_Zan97.xml 1.89 1.52 1.69 1.69 2.310.01
Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml 3.43 1.60 2.00 1.74 2.320.02
Strategy_removed_mixed_05/bn111.xml 1.42 1.55 1.45 1.65 60.00
Strategy_removed_mixed_05/ex1.xml 1.19 1.31 1.20 1.41 2.680.01
Strategy_removed_mixed_05/ex2.xml 1.20 1.29 1.41 1.46 2.310.01
Strategy_removed_mixed_05/ex3.xml 1.43 1.48 1.49 1.55 2.520.01
Strategy_removed_mixed_05/ex4.xml 1.34 1.52 1.66 1.65 2.560.01
Strategy_removed_mixed_05/ex5.xml 1.20 1.30 1.20 1.41 2.520.01
Strategy_removed_mixed_05/ex6.xml 1.19 1.40 1.76 1.75 5.94
Strategy_removed_mixed_05/gkg.xml 1.23 1.32 1.20 1.41 2.480.01
Strategy_removed_mixed_05/muladd.xml 1.97 1.70 1.85 1.91 2.400.01
Strategy_removed_mixed_05/n001.xml 1.66 1.75 1.97 1.90 2.510.01
Strategy_removed_mixed_05/test10.xml 2.00 2.00 2.31 2.32 2.320.01
Strategy_removed_mixed_05/test75.xml 1.19 1.33 1.40 1.48 2.770.01
Strategy_removed_mixed_05/test76.xml 1.20 1.35 1.50 1.64 8.60
Strategy_removed_mixed_05/test77.xml 1.67 1.67 1.49 1.68 4.58
Strategy_removed_mixed_05/test830.xml 2.560.02 2.380.01 2.690.01 2.430.01 2.940.02
Strategy_removed_mixed_05/test9.xml 1.36 1.55 1.48 1.53 3.100.01
Strategy_removed_mixed_05/toyama.xml 1.19 1.30 1.21 1.32 2.350.01
Strategy_removed_mixed_05/tricky1.xml 2.250.02 2.320.02 2.270.02 2.270.02 2.410.02
TCT_09/ackantiinn.xml 2.35 2.50 3.390.05 3.390.04 4.230.05
TCT_09/ackantiinn2.xml 1.93 2.400.02 2.780.02 2.460.01 3.130.02
TCT_09/ackhofbauer.xml 2.660.02 2.720.02 2.860.02 2.750.02 3.380.02
TCT_09/ackhofbauernonsimp.xml 2.760.03 2.870.03 2.970.03 3.060.03 3.690.03
TCT_09/add.xml 2.220.01 2.300.01 2.330.01 2.330.01 2.810.01
TCT_09/addmult.xml 1.54 2.390.01 2.440.01 2.440.01 2.660.01
TCT_09/append.xml 2.210.01 2.310.01 2.330.01 2.320.01 2.450.01
TCT_09/bits.xml 2.24 2.02 2.980.02 2.760.02 3.320.02
TCT_09/dexpdp.xml 2.380.01 2.310.01 2.510.01 2.330.01 2.800.01
TCT_09/dexpdp2.xml 2.370.01 2.380.01 2.540.01 2.480.01 2.700.01
TCT_09/expantiinn.xml 2.610.01 2.400.01 2.460.01 2.410.01 2.710.01
TCT_09/insertsort.xml 2.11 2.620.02 2.830.02 2.610.02 3.110.02
TCT_09/lcs.xml 3.560.05 2.790.03 3.190.03 2.780.03 3.460.03
TCT_09/ma1.xml 2.430.01 2.330.01 2.540.01 2.380.01 2.810.01
TCT_09/ma2.xml 2.420.01 2.330.01 2.570.01 2.370.01 2.850.01
TCT_09/ma3.xml 2.470.01 2.310.01 2.580.01 2.370.01 2.860.01
TCT_09/ma4.xml 2.03 2.420.01 2.450.02 2.460.01 2.710.02
TCT_09/ma5.xml 2.610.01 2.390.01 2.460.01 2.440.01 2.710.01
TCT_09/ma6.xml 3.270.04 2.620.02 2.810.03 2.620.02 3.120.03
TCT_09/ma7.xml 3.630.05 2.880.03 3.180.04 2.880.04 3.530.04
TCT_09/ma8.xml 2.550.02 2.420.02 2.460.02 2.520.02 2.560.02
TCT_09/ma9.xml 2.510.01 2.500.01 2.520.01 2.530.01 2.610.01
TCT_09/mergesort.xml 3.04 2.85 3.47 3.38 4.660.02
TCT_09/nonmultrec.xml 2.40 2.45 2.25 2.29 60.00
TCT_09/qbf.xml 4.030.07 2.920.04 3.190.04 2.920.04 4.710.04
TCT_09/revappend.xml 1.45 1.36 1.33 1.46 2.310.01
TCT_09/shuffle.xml 1.59 1.54 1.55 1.64 2.310.01
TCT_09/supexpdg.xml 3.160.02 2.430.02 2.760.02 2.460.01 3.100.02
TCT_09/supexpur.xml 1.65 2.370.01 2.580.01 2.470.01 2.930.01
TCT_09/z86.xml 4.90 4.95 6.16 5.39 4.780.02
Trafo_06/dup01.xml 23.210.37 23.750.36 6.580.31 6.810.32 6.070.12
Trafo_06/dup05.xml 60.00 60.00 60.00 60.00 15.330.10
Trafo_06/dup06.xml 3.30 3.39 3.230.04 3.350.04 4.060.04
Trafo_06/dup07.xml 4.61 4.75 3.54 3.58 6.510.05
Trafo_06/dup08.xml 5.75 6.01 6.86 6.76 38.390.10
Trafo_06/dup09.xml 3.190.04 3.330.04 3.180.03 3.410.03 6.650.06
Trafo_06/dup10.xml 42.06 42.15 38.08 38.20 60.00
Trafo_06/dup11.xml 24.050.20 25.730.19 23.640.21 23.770.21 21.140.12
Trafo_06/dup12.xml 10.31 10.36 11.39 12.12 60.00
Trafo_06/dup13.xml 6.21 6.20 7.20 7.14 13.090.04
Trafo_06/dup14.xml 18.37 18.51 20.08 20.25 13.460.05
Trafo_06/dup15.xml 4.790.05 4.920.05 5.400.05 5.140.05 9.890.05
Trafo_06/dup16.xml 4.360.03 4.510.03 5.090.03 5.000.03 2.770.02
Trafo_06/dup17.xml 5.00 5.27 4.210.05 4.430.06 8.610.06
Trafo_06/hom01.xml 14.81 14.92 8.65 8.72 9.040.04
Trafo_06/hom02.xml 3.440.02 3.580.02 3.110.02 3.160.02 5.580.02
Trafo_06/hom03.xml 9.52 9.57 12.27 12.15 60.00
Trafo_06/un02.xml 14.58 14.69 20.03 20.44 60.00
Trafo_06/un04.xml 2.48 2.55 2.85 2.94 60.00
Trafo_06/un05.xml 2.35 2.42 2.69 2.64 9.530.02
Trafo_06/un06.xml 3.25 2.70 3.70 2.82 16.520.04
Trafo_06/un07.xml 2.79 2.95 3.02 3.06 6.160.03
Trafo_06/un08.xml 2.51 2.70 2.92 2.99 60.00
Trafo_06/un09.xml 3.99 4.05 5.17 5.44 23.920.04
Trafo_06/un10.xml 4.41 4.52 5.72 5.79 60.00
Trafo_06/un11.xml 2.99 3.16 3.42 3.52 60.00
Trafo_06/un12.xml 3.09 3.26 3.56 3.71 60.00
Trafo_06/un13.xml 5.47 5.53 6.11 6.24 60.00
Trafo_06/un14.xml 3.40 3.56 4.07 4.18 34.571.31
Trafo_06/un15.xml 5.22 4.56 7.03 5.57 60.00
Trafo_06/un16.xml 4.78 4.18 6.96 5.31 60.00
Trafo_06/un17.xml 4.08 4.09 4.66 4.67 60.00
Trafo_06/un18.xml 4.51 4.59 5.05 5.23 60.00
Transformed_CSR_04/Ex14_AEGL02_C.xml 10.13 8.13 8.86 8.52 9.430.12
Transformed_CSR_04/Ex14_AEGL02_FR.xml 2.78 2.12 2.31 2.16 11.520.02
Transformed_CSR_04/Ex14_AEGL02_GM.xml 3.380.04 2.880.03 3.020.03 2.950.03 3.670.03
Transformed_CSR_04/Ex14_AEGL02_L.xml 1.19 1.20 1.21 1.21 2.500.01
Transformed_CSR_04/Ex14_AEGL02_Z.xml 1.94 2.05 1.98 2.14 4.260.02
Transformed_CSR_04/Ex14_AEGL02_iGM.xml 7.55 7.13 6.530.12 5.960.11 8.400.12
Transformed_CSR_04/Ex14_Luc06_C.xml 30.39 28.96 29.04 28.68 60.00
Transformed_CSR_04/Ex14_Luc06_FR.xml 1.45 1.63 1.74 1.77 9.30
Transformed_CSR_04/Ex14_Luc06_GM.xml 2.20 2.23 2.76 2.90 32.10
Transformed_CSR_04/Ex14_Luc06_L.xml 1.40 1.53 1.82 1.80 5.050.01
Transformed_CSR_04/Ex14_Luc06_iGM.xml 13.47 12.95 15.43 14.73 60.00
Transformed_CSR_04/Ex15_Luc06_C.xml 60.00 60.00 60.00 60.00 5.930.05
Transformed_CSR_04/Ex15_Luc06_FR.xml 2.510.02 2.390.01 2.390.01 2.470.01 2.810.02
Transformed_CSR_04/Ex15_Luc06_GM.xml 2.510.01 2.350.01 2.390.01 2.380.01 2.800.01
Transformed_CSR_04/Ex15_Luc06_L.xml 1.20 1.19 1.21 1.20 2.870.01
Transformed_CSR_04/Ex15_Luc06_Z.xml 2.260.01 2.230.01 2.270.01 2.270.01 2.700.02
Transformed_CSR_04/Ex15_Luc06_iGM.xml 3.480.04 2.860.03 3.190.03 2.930.03 3.700.03
Transformed_CSR_04/Ex15_Luc98_C.xml 10.460.26 5.540.13 8.170.19 6.080.17 10.780.19
Transformed_CSR_04/Ex15_Luc98_FR.xml 2.21 2.38 2.59 2.71 5.900.06
Transformed_CSR_04/Ex15_Luc98_GM.xml 3.030.05 3.120.05 3.180.05 3.240.05 3.840.05
Transformed_CSR_04/Ex15_Luc98_L.xml 1.19 1.18 1.21 1.21 1.27
Transformed_CSR_04/Ex15_Luc98_Z.xml 2.27 2.33 2.940.04 3.100.04 3.470.04
Transformed_CSR_04/Ex15_Luc98_iGM.xml 13.150.29 8.170.20 8.540.19 7.040.18 11.920.19
Transformed_CSR_04/Ex16_Luc06_C.xml 25.92 25.66 21.55 21.51 60.00
Transformed_CSR_04/Ex16_Luc06_FR.xml 2.210.01 2.200.01 2.210.01 2.240.01 7.200.01
Transformed_CSR_04/Ex16_Luc06_GM.xml 2.520.02 2.380.01 2.400.01 2.440.01 2.770.01
Transformed_CSR_04/Ex16_Luc06_L.xml 1.21 1.32 1.19 1.35 2.730.01
Transformed_CSR_04/Ex16_Luc06_iGM.xml 2.21 2.25 2.50 2.41 60.00
Transformed_CSR_04/Ex18_Luc06_C.xml 3.560.05 3.140.04 3.330.05 3.280.04 3.970.05
Transformed_CSR_04/Ex18_Luc06_FR.xml 2.470.01 2.370.01 2.400.01 2.390.01 2.760.02
Transformed_CSR_04/Ex18_Luc06_GM.xml 2.460.01 2.370.01 2.390.01 2.380.01 2.760.02
Transformed_CSR_04/Ex18_Luc06_L.xml 2.220.01 2.200.01 2.250.01 2.220.01 2.500.01
Transformed_CSR_04/Ex18_Luc06_Z.xml 2.230.01 2.210.01 2.230.01 2.220.01 2.560.01
Transformed_CSR_04/Ex18_Luc06_iGM.xml 3.600.04 3.230.03 3.420.04 3.140.03 3.960.04
Transformed_CSR_04/Ex1_2_AEL03_C.xml 26.72 7.02 11.90 9.64 60.00
Transformed_CSR_04/Ex1_2_AEL03_FR.xml 4.20 3.150.05 3.460.05 3.190.05 4.200.06
Transformed_CSR_04/Ex1_2_AEL03_GM.xml 9.16 9.21 11.39 11.30 60.00
Transformed_CSR_04/Ex1_2_AEL03_L.xml 1.20 1.18 1.20 1.20 1.29
Transformed_CSR_04/Ex1_2_AEL03_Z.xml 2.84 2.920.04 3.470.04 2.960.04 3.920.05
Transformed_CSR_04/Ex1_2_AEL03_iGM.xml 29.43 8.14 14.49 11.89 60.00
Transformed_CSR_04/Ex1_2_Luc02c_C.xml 8.500.13 3.970.06 4.850.10 4.180.08 6.100.09
Transformed_CSR_04/Ex1_2_Luc02c_FR.xml 1.94 2.500.02 2.720.02 2.560.02 3.010.02
Transformed_CSR_04/Ex1_2_Luc02c_GM.xml 2.06 2.24 2.08 2.16 5.330.06
Transformed_CSR_04/Ex1_2_Luc02c_L.xml 1.19 1.18 1.20 1.20 1.20
Transformed_CSR_04/Ex1_2_Luc02c_Z.xml 2.250.01 2.250.01 2.270.01 2.280.01 2.420.01
Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml 5.86 3.35 4.31 4.01 10.410.12
Transformed_CSR_04/Ex1_GL02a_C.xml 9.22 5.53 7.57 6.99 11.040.17
Transformed_CSR_04/Ex1_GL02a_FR.xml 5.59 5.71 5.57 5.67 60.00
Transformed_CSR_04/Ex1_GL02a_GM.xml 3.770.05 2.740.03 2.980.03 2.840.03 3.820.03
Transformed_CSR_04/Ex1_GL02a_L.xml 1.19 1.19 1.25 1.20 2.320.01
Transformed_CSR_04/Ex1_GL02a_Z.xml 7.21 7.35 7.36 7.39 60.00
Transformed_CSR_04/Ex1_GL02a_iGM.xml 8.98 7.91 6.920.13 5.920.13 9.150.14
Transformed_CSR_04/Ex1_GM03_C.xml 14.11 4.98 10.15 9.40 60.00
Transformed_CSR_04/Ex1_GM03_FR.xml 10.21 9.50 13.23 13.36 60.00
Transformed_CSR_04/Ex1_GM03_GM.xml 4.66 4.84 5.55 5.76 60.00
Transformed_CSR_04/Ex1_GM03_L.xml 1.20 1.20 1.20 1.20 1.81
Transformed_CSR_04/Ex1_GM03_Z.xml 2.20 1.49 1.85 1.79 3.020.02
Transformed_CSR_04/Ex1_GM03_iGM.xml 10.85 5.40 7.73 6.58 60.00
Transformed_CSR_04/Ex1_GM99_C.xml 15.15 14.88 23.16 23.07 60.00
Transformed_CSR_04/Ex1_GM99_FR.xml 1.19 1.41 1.19 1.40 3.340.01
Transformed_CSR_04/Ex1_GM99_GM.xml 2.30 2.39 2.46 2.49 60.00
Transformed_CSR_04/Ex1_GM99_L.xml 1.20 1.30 1.19 1.36 8.200.01
Transformed_CSR_04/Ex1_GM99_iGM.xml 2.46 2.38 3.19 2.74 60.00
Transformed_CSR_04/Ex1_Luc02b_C.xml 11.28 4.43 6.93 6.19 60.00
Transformed_CSR_04/Ex1_Luc02b_FR.xml 2.60 2.21 3.200.04 3.060.04 7.200.04
Transformed_CSR_04/Ex1_Luc02b_GM.xml 4.94 5.04 4.10 4.31 60.00
Transformed_CSR_04/Ex1_Luc02b_L.xml 1.19 1.18 1.20 1.18 2.87
Transformed_CSR_04/Ex1_Luc02b_Z.xml 2.69 2.460.02 2.870.02 2.500.02 4.280.03
Transformed_CSR_04/Ex1_Luc02b_iGM.xml 8.97 4.81 5.82 5.08 60.00
Transformed_CSR_04/Ex1_Luc04b_C.xml 18.15 14.82 8.010.17 7.420.16 10.770.18
Transformed_CSR_04/Ex1_Luc04b_FR.xml 2.79 2.79 2.92 2.91 4.330.02
Transformed_CSR_04/Ex1_Luc04b_GM.xml 4.66 4.86 5.960.13 5.820.13 6.000.09
Transformed_CSR_04/Ex1_Luc04b_L.xml 1.18 1.17 1.20 1.21 1.19
Transformed_CSR_04/Ex1_Luc04b_Z.xml 1.95 1.42 1.60 1.45 2.300.01
Transformed_CSR_04/Ex1_Luc04b_iGM.xml 28.31 22.27 10.710.21 10.400.21 17.600.24
Transformed_CSR_04/Ex1_Zan97_C.xml 60.00 60.00 60.00 60.00 17.130.05
Transformed_CSR_04/Ex1_Zan97_FR.xml 2.53 2.59 2.91 2.99 2.930.01
Transformed_CSR_04/Ex1_Zan97_GM.xml 2.610.02 2.510.02 2.580.02 2.620.02 2.600.01
Transformed_CSR_04/Ex1_Zan97_L.xml 1.24 1.19 1.19 1.20 2.460.01
Transformed_CSR_04/Ex1_Zan97_iGM.xml 13.50 13.24 3.270.04 3.140.04 3.120.03
Transformed_CSR_04/Ex23_Luc06_C.xml 4.810.08 3.550.05 4.080.06 3.560.06 4.540.06
Transformed_CSR_04/Ex23_Luc06_FR.xml 2.610.02 2.370.01 2.670.02 2.430.02 2.960.02
Transformed_CSR_04/Ex23_Luc06_GM.xml 2.600.01 2.430.01 2.580.01 2.390.01 2.980.02
Transformed_CSR_04/Ex23_Luc06_L.xml 2.270.01 2.210.01 2.230.01 2.230.01 2.500.01
Transformed_CSR_04/Ex23_Luc06_Z.xml 2.220.01 2.210.01 2.230.01 2.230.01 2.560.01
Transformed_CSR_04/Ex23_Luc06_iGM.xml 4.220.06 3.070.04 3.480.04 3.080.04 4.040.05
Transformed_CSR_04/Ex24_GM04_C.xml 26.87 26.45 42.39 42.06 60.00
Transformed_CSR_04/Ex24_GM04_FR.xml 1.67 1.71 1.66 1.75 12.60
Transformed_CSR_04/Ex24_GM04_GM.xml 1.50 1.44 1.32 1.48 2.56
Transformed_CSR_04/Ex24_GM04_L.xml 1.21 1.21 1.22 1.23 6.960.01
Transformed_CSR_04/Ex24_GM04_Z.xml 1.50 1.65 1.50 1.68 6.99
Transformed_CSR_04/Ex24_GM04_iGM.xml 2.75 2.61 2.65 2.48 60.00
Transformed_CSR_04/Ex24_Luc06_C.xml 23.39 23.01 24.53 24.46 5.040.06
Transformed_CSR_04/Ex24_Luc06_FR.xml 1.68 1.80 2.00 2.05 2.400.01
Transformed_CSR_04/Ex24_Luc06_GM.xml 1.90 1.98 2.09 2.10 2.360.01
Transformed_CSR_04/Ex24_Luc06_L.xml 1.19 1.31 1.20 1.41 2.520.01
Transformed_CSR_04/Ex24_Luc06_iGM.xml 60.00 60.00 60.00 60.00 24.020.02
Transformed_CSR_04/Ex25_Luc06_C.xml 5.860.11 3.970.06 4.660.09 4.200.07 5.050.06
Transformed_CSR_04/Ex25_Luc06_FR.xml 2.820.03 2.870.03 3.030.03 2.950.03 4.240.05
Transformed_CSR_04/Ex25_Luc06_GM.xml 2.770.02 2.440.02 2.710.02 2.550.02 3.560.03
Transformed_CSR_04/Ex25_Luc06_L.xml 2.220.01 2.210.01 2.210.01 2.230.01 2.510.01
Transformed_CSR_04/Ex25_Luc06_Z.xml 2.600.02 2.660.02 2.610.02 2.610.02 2.620.02
Transformed_CSR_04/Ex25_Luc06_iGM.xml 4.940.09 4.470.07 5.170.09 5.130.09 5.670.08
Transformed_CSR_04/Ex26_Luc03b_C.xml 13.950.36 6.830.17 9.990.26 9.270.24 13.680.25
Transformed_CSR_04/Ex26_Luc03b_FR.xml 2.52 2.67 3.06 3.12 60.00
Transformed_CSR_04/Ex26_Luc03b_GM.xml 4.280.07 3.310.05 4.910.09 5.230.09 8.450.09
Transformed_CSR_04/Ex26_Luc03b_L.xml 2.220.01 2.200.01 2.230.01 2.230.01 2.290.01
Transformed_CSR_04/Ex26_Luc03b_Z.xml 2.40 2.54 5.900.14 5.960.15 7.130.14
Transformed_CSR_04/Ex26_Luc03b_iGM.xml 12.560.33 7.790.22 12.300.26 10.520.24 18.140.26
Transformed_CSR_04/Ex2_Luc02a_C.xml 16.67 5.49 9.35 8.02 60.00
Transformed_CSR_04/Ex2_Luc02a_FR.xml 3.74 3.250.05 3.570.05 3.400.06 5.160.06
Transformed_CSR_04/Ex2_Luc02a_GM.xml 4.29 4.45 4.90 5.00 60.00
Transformed_CSR_04/Ex2_Luc02a_L.xml 2.19 2.540.02 2.540.02 2.560.02 2.860.02
Transformed_CSR_04/Ex2_Luc02a_Z.xml 2.85 2.750.03 2.990.03 2.780.03 3.250.03
Transformed_CSR_04/Ex2_Luc02a_iGM.xml 10.09 6.02 8.82 7.39 60.00
Transformed_CSR_04/Ex2_Luc03b_C.xml 11.980.26 4.830.12 7.660.18 6.440.16 10.080.19
Transformed_CSR_04/Ex2_Luc03b_FR.xml 3.580.06 3.270.06 3.580.05 3.470.05 4.020.05
Transformed_CSR_04/Ex2_Luc03b_GM.xml 2.940.04 3.020.04 3.190.04 3.180.04 3.880.04
Transformed_CSR_04/Ex2_Luc03b_L.xml 2.220.01 2.210.01 2.220.01 2.220.01 2.300.01
Transformed_CSR_04/Ex2_Luc03b_Z.xml 4.220.06 3.710.06 2.760.03 2.820.03 3.130.03
Transformed_CSR_04/Ex2_Luc03b_iGM.xml 9.400.21 6.620.15 6.730.13 5.180.12 8.860.13
Transformed_CSR_04/Ex3_12_Luc96a_C.xml 8.75 4.09 6.35 5.88 60.00
Transformed_CSR_04/Ex3_12_Luc96a_FR.xml 2.33 2.480.02 2.770.02 2.730.02 6.720.02
Transformed_CSR_04/Ex3_12_Luc96a_GM.xml 2.33 2.50 2.54 2.60 60.00
Transformed_CSR_04/Ex3_12_Luc96a_L.xml 1.19 1.18 1.22 1.21 3.78
Transformed_CSR_04/Ex3_12_Luc96a_Z.xml 2.23 2.350.01 2.610.01 2.390.01 3.910.02
Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml 6.63 3.51 4.77 4.23 60.00
Transformed_CSR_04/Ex3_2_Luc97_C.xml 11.71 4.69 8.19 7.05 60.00
Transformed_CSR_04/Ex3_2_Luc97_FR.xml 2.99 2.69 3.10 3.16 60.00
Transformed_CSR_04/Ex3_2_Luc97_GM.xml 2.59 2.75 2.90 2.95 60.00
Transformed_CSR_04/Ex3_2_Luc97_L.xml 1.19 1.17 1.21 1.22 1.53
Transformed_CSR_04/Ex3_2_Luc97_Z.xml 2.35 2.44 2.79 2.88 60.00
Transformed_CSR_04/Ex3_2_Luc97_iGM.xml 17.21 5.05 7.63 6.96 60.00
Transformed_CSR_04/Ex3_3_25_Bor03_C.xml 11.200.25 6.620.13 9.210.22 8.350.20 13.030.20
Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml 2.37 2.58 2.71 2.87 60.00
Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml 3.400.05 3.150.06 4.450.07 4.580.07 7.390.07
Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 2.220.01 2.210.01 2.220.01 2.230.01 2.320.01
Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml 2.67 2.79 2.11 1.94 2.350.02
Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml 10.070.22 5.580.13 10.380.20 9.100.20 14.570.21
Transformed_CSR_04/Ex49_GM04_C.xml 16.91 14.03 38.42 38.07 60.00
Transformed_CSR_04/Ex49_GM04_FR.xml 6.40 6.57 6.01 6.16 60.00
Transformed_CSR_04/Ex49_GM04_GM.xml 4.160.07 3.700.06 4.450.06 4.280.06 5.120.07
Transformed_CSR_04/Ex49_GM04_L.xml 1.19 1.18 1.21 1.21 1.24
Transformed_CSR_04/Ex49_GM04_Z.xml 3.410.05 3.560.05 3.550.05 3.380.05 3.810.05
Transformed_CSR_04/Ex49_GM04_iGM.xml 10.260.23 9.880.21 10.480.22 9.440.21 14.800.22
Transformed_CSR_04/Ex4_4_Luc96b_C.xml 4.240.06 3.110.04 3.880.05 3.170.05 4.410.05
Transformed_CSR_04/Ex4_4_Luc96b_FR.xml 2.04 2.14 2.08 2.17 5.150.01
Transformed_CSR_04/Ex4_4_Luc96b_GM.xml 2.650.02 2.590.02 2.800.02 2.810.02 3.380.02
Transformed_CSR_04/Ex4_4_Luc96b_L.xml 2.210.01 2.290.01 2.330.01 2.320.01 2.720.01
Transformed_CSR_04/Ex4_4_Luc96b_Z.xml 1.94 2.00 2.04 2.10 2.360.01
Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml 3.730.05 3.140.04 3.900.05 3.670.04 4.810.05
Transformed_CSR_04/Ex4_7_15_Bor03_C.xml 60.00 60.00 60.00 60.00 8.050.12
Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml 2.870.03 2.710.02 2.780.02 2.710.02 3.010.02
Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 2.980.03 2.720.02 2.830.02 2.710.02 3.220.02
Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 2.220.01 2.210.01 2.220.01 2.240.01 2.770.03
Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml 2.470.01 2.530.01 2.610.01 2.560.01 3.010.01
Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml 5.560.10 4.390.08 5.310.09 5.080.08 7.180.10
Transformed_CSR_04/Ex4_7_37_Bor03_C.xml 17.43 6.19 12.37 10.93 60.00
Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml 4.52 3.61 4.040.06 3.490.06 6.020.06
Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml 8.56 8.48 9.73 9.56 60.00
Transformed_CSR_04/Ex4_7_37_Bor03_L.xml 1.20 1.19 1.21 1.21 1.65
Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml 4.30 3.04 3.330.04 3.130.04 4.560.04
Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml 26.20 5.58 9.25 7.60 60.00
Transformed_CSR_04/Ex4_7_56_Bor03_C.xml 9.09 5.32 6.83 6.31 60.00
Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml 2.810.03 2.460.02 2.740.02 2.500.02 5.580.02
Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml 2.14 2.28 2.36 2.42 30.530.11
Transformed_CSR_04/Ex4_7_56_Bor03_L.xml 1.19 1.18 1.21 1.21 5.37
Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml 2.510.02 2.380.01 2.550.01 2.380.01 4.400.02
Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml 5.56 3.76 4.71 4.28 60.00
Transformed_CSR_04/Ex4_7_77_Bor03_C.xml 10.37 9.59 4.290.06 4.080.06 5.300.07
Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml 2.220.01 2.190.01 2.290.01 2.230.01 2.300.01
Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml 2.710.02 2.580.02 2.760.02 2.670.02 3.000.02
Transformed_CSR_04/Ex4_7_77_Bor03_L.xml 1.18 1.17 1.21 1.20 1.19
Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml 2.88 2.49 4.300.05 3.820.05 5.160.06
Transformed_CSR_04/Ex4_DLMMU04_C.xml 24.41 11.15 25.34 23.09 60.00
Transformed_CSR_04/Ex4_DLMMU04_FR.xml 58.98 50.33 60.00 60.00 24.880.04
Transformed_CSR_04/Ex4_DLMMU04_GM.xml 36.95 26.80 43.07 42.87 60.00
Transformed_CSR_04/Ex4_DLMMU04_L.xml 1.20 1.19 1.20 1.20 1.72
Transformed_CSR_04/Ex4_DLMMU04_Z.xml 44.88 44.59 60.00 60.00 22.580.04
Transformed_CSR_04/Ex4_DLMMU04_iGM.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/Ex4_Zan97_C.xml 10.65 4.48 8.54 7.72 60.00
Transformed_CSR_04/Ex4_Zan97_FR.xml 2.65 2.560.02 2.880.02 2.660.02 9.140.03
Transformed_CSR_04/Ex4_Zan97_GM.xml 2.89 3.04 3.14 3.29 60.00
Transformed_CSR_04/Ex4_Zan97_L.xml 1.19 1.19 1.20 1.20 3.00
Transformed_CSR_04/Ex4_Zan97_Z.xml 2.11 2.400.02 2.670.02 2.500.02 4.430.02
Transformed_CSR_04/Ex4_Zan97_iGM.xml 9.58 4.46 5.32 5.06 60.00
Transformed_CSR_04/Ex5_7_Luc97_C.xml 25.48 5.96 9.81 8.08 60.00
Transformed_CSR_04/Ex5_7_Luc97_FR.xml 6.26 6.32 7.30 7.41 60.00
Transformed_CSR_04/Ex5_7_Luc97_GM.xml 7.14 7.20 8.05 7.76 60.00
Transformed_CSR_04/Ex5_7_Luc97_L.xml 1.20 1.19 1.20 1.20 1.38
Transformed_CSR_04/Ex5_7_Luc97_Z.xml 5.27 5.10 7.04 7.25 60.00
Transformed_CSR_04/Ex5_7_Luc97_iGM.xml 19.81 7.59 10.63 8.28 60.00
Transformed_CSR_04/Ex5_DLMMU04_C.xml 25.00 11.03 13.440.40 13.360.38 24.320.42
Transformed_CSR_04/Ex5_DLMMU04_FR.xml 3.52 3.80 6.56 6.58 44.590.03
Transformed_CSR_04/Ex5_DLMMU04_GM.xml 6.30 6.85 5.760.11 5.520.12 13.630.24
Transformed_CSR_04/Ex5_DLMMU04_L.xml 1.19 1.18 1.20 1.20 1.28
Transformed_CSR_04/Ex5_DLMMU04_Z.xml 3.46 2.42 2.10 1.88 2.450.03
Transformed_CSR_04/Ex5_DLMMU04_iGM.xml 59.89 52.52 15.660.39 13.570.39 27.040.44
Transformed_CSR_04/Ex5_Zan97_C.xml 5.78 4.61 5.530.10 5.310.11 6.220.10
Transformed_CSR_04/Ex5_Zan97_FR.xml 2.670.02 2.630.02 2.820.02 2.870.03 3.410.02
Transformed_CSR_04/Ex5_Zan97_GM.xml 2.71 2.82 4.070.05 4.060.06 4.750.05
Transformed_CSR_04/Ex5_Zan97_L.xml 1.18 1.18 1.21 1.19 1.19
Transformed_CSR_04/Ex5_Zan97_Z.xml 2.470.02 2.520.02 2.620.01 2.580.01 2.920.02
Transformed_CSR_04/Ex5_Zan97_iGM.xml 5.84 5.22 5.940.10 5.860.12 7.470.10
Transformed_CSR_04/Ex6_15_AEL02_C.xml 38.03 8.00 15.92 13.85 60.00
Transformed_CSR_04/Ex6_15_AEL02_FR.xml 7.56 5.15 5.18 5.14 60.00
Transformed_CSR_04/Ex6_15_AEL02_GM.xml 16.27 16.27 15.30 15.36 60.00
Transformed_CSR_04/Ex6_15_AEL02_L.xml 1.20 1.18 1.22 1.19 1.33
Transformed_CSR_04/Ex6_15_AEL02_Z.xml 10.49 4.89 5.03 4.37 49.440.04
Transformed_CSR_04/Ex6_15_AEL02_iGM.xml 33.15 9.48 14.91 12.65 60.00
Transformed_CSR_04/Ex6_9_Luc02c_C.xml 11.680.18 4.420.10 6.200.12 5.130.13 7.820.13
Transformed_CSR_04/Ex6_9_Luc02c_FR.xml 1.94 2.440.02 2.640.02 2.460.02 2.910.02
Transformed_CSR_04/Ex6_9_Luc02c_GM.xml 2.44 2.52 2.65 2.74 10.360.11
Transformed_CSR_04/Ex6_9_Luc02c_L.xml 1.19 1.18 1.20 1.21 1.19
Transformed_CSR_04/Ex6_9_Luc02c_Z.xml 2.270.01 2.240.01 2.280.01 2.270.01 2.360.01
Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml 9.28 4.21 5.69 4.83 17.850.21
Transformed_CSR_04/Ex6_GM04_C.xml 3.490.04 3.390.03 3.810.04 3.730.04 4.260.04
Transformed_CSR_04/Ex6_GM04_FR.xml 1.50 1.49 1.75 1.75 2.550.01
Transformed_CSR_04/Ex6_GM04_GM.xml 2.280.01 2.200.01 2.260.01 2.270.01 2.560.01
Transformed_CSR_04/Ex6_GM04_L.xml 2.220.01 2.200.01 2.230.01 2.230.01 2.450.01
Transformed_CSR_04/Ex6_GM04_iGM.xml 3.060.03 2.560.02 3.010.03 2.620.02 2.810.02
Transformed_CSR_04/Ex6_Luc98_C.xml 8.330.18 4.250.09 5.740.11 4.990.11 7.430.12
Transformed_CSR_04/Ex6_Luc98_FR.xml 3.020.04 2.770.03 2.930.03 2.870.04 3.310.03
Transformed_CSR_04/Ex6_Luc98_GM.xml 3.630.05 3.550.05 2.760.02 2.750.03 3.330.03
Transformed_CSR_04/Ex6_Luc98_L.xml 2.220.01 2.210.01 2.230.01 2.230.01 2.260.01
Transformed_CSR_04/Ex6_Luc98_Z.xml 2.510.02 2.410.01 2.610.02 2.430.01 2.970.02
Transformed_CSR_04/Ex6_Luc98_iGM.xml 7.450.13 5.420.10 4.950.09 4.330.09 6.400.09
Transformed_CSR_04/Ex7_BLR02_C.xml 13.96 5.42 7.56 6.54 60.00
Transformed_CSR_04/Ex7_BLR02_FR.xml 2.73 2.20 3.580.05 3.080.04 6.730.05
Transformed_CSR_04/Ex7_BLR02_GM.xml 5.45 5.66 6.00 6.07 60.00
Transformed_CSR_04/Ex7_BLR02_L.xml 1.24 1.18 1.19 1.21 1.65
Transformed_CSR_04/Ex7_BLR02_Z.xml 3.34 2.520.02 2.890.03 2.620.02 3.920.03
Transformed_CSR_04/Ex7_BLR02_iGM.xml 14.17 5.27 7.72 6.50 60.00
Transformed_CSR_04/Ex8_BLR02_C.xml 14.89 4.53 7.74 6.31 60.00
Transformed_CSR_04/Ex8_BLR02_FR.xml 2.67 2.720.03 3.030.03 2.800.03 7.200.04
Transformed_CSR_04/Ex8_BLR02_GM.xml 4.09 4.24 5.10 5.18 60.00
Transformed_CSR_04/Ex8_BLR02_L.xml 1.19 1.18 1.20 1.21 4.28
Transformed_CSR_04/Ex8_BLR02_Z.xml 2.01 2.600.02 2.770.02 2.610.02 4.390.03
Transformed_CSR_04/Ex8_BLR02_iGM.xml 9.34 4.88 6.98 5.90 60.00
Transformed_CSR_04/Ex9_BLR02_C.xml 10.890.24 6.610.13 9.020.21 8.100.20 10.800.19
Transformed_CSR_04/Ex9_BLR02_FR.xml 2.44 2.54 2.66 2.84 58.110.24
Transformed_CSR_04/Ex9_BLR02_GM.xml 3.570.06 3.480.06 4.300.06 4.370.06 4.970.06
Transformed_CSR_04/Ex9_BLR02_L.xml 2.270.01 2.210.01 2.270.01 2.280.01 2.360.01
Transformed_CSR_04/Ex9_BLR02_Z.xml 3.130.05 3.060.04 3.140.05 3.080.05 3.830.05
Transformed_CSR_04/Ex9_BLR02_iGM.xml 8.890.20 7.100.18 10.110.21 9.280.21 13.580.22
Transformed_CSR_04/Ex9_Luc04_C.xml 4.44 3.63 5.88 5.96 60.00
Transformed_CSR_04/Ex9_Luc04_FR.xml 1.19 1.34 1.21 1.40 6.710.01
Transformed_CSR_04/Ex9_Luc04_GM.xml 1.94 2.06 2.09 2.33 60.00
Transformed_CSR_04/Ex9_Luc04_L.xml 1.20 1.30 1.21 1.42 4.990.01
Transformed_CSR_04/Ex9_Luc04_iGM.xml 2.68 2.39 2.73 2.58 60.00
Transformed_CSR_04/Ex9_Luc06_C.xml 36.61 36.20 45.27 46.29 5.000.06
Transformed_CSR_04/Ex9_Luc06_FR.xml 3.49 3.68 4.69 4.80 2.430.01
Transformed_CSR_04/Ex9_Luc06_GM.xml 2.610.02 2.560.02 2.730.02 2.800.02 3.030.02
Transformed_CSR_04/Ex9_Luc06_iGM.xml 60.00 60.00 3.460.05 3.600.05 4.340.05
Transformed_CSR_04/ExAppendixB_AEL03_C.xml 30.57 8.22 14.37 12.17 60.00
Transformed_CSR_04/ExAppendixB_AEL03_FR.xml 9.32 3.210.05 3.620.06 3.210.05 4.510.06
Transformed_CSR_04/ExAppendixB_AEL03_GM.xml 14.57 14.54 19.29 19.12 60.00
Transformed_CSR_04/ExAppendixB_AEL03_L.xml 1.20 1.19 1.21 1.22 1.44
Transformed_CSR_04/ExAppendixB_AEL03_Z.xml 7.80 3.040.05 3.310.05 3.000.05 3.960.05
Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml 29.49 7.57 17.61 14.67 60.00
Transformed_CSR_04/ExConc_Zan97_C.xml 4.720.08 3.300.04 3.870.06 3.380.05 4.650.05
Transformed_CSR_04/ExConc_Zan97_FR.xml 2.500.01 2.370.01 2.620.01 2.380.01 3.370.02
Transformed_CSR_04/ExConc_Zan97_GM.xml 2.480.01 2.370.01 2.620.01 2.390.01 3.240.02
Transformed_CSR_04/ExConc_Zan97_L.xml 2.210.00 2.190.00 2.220.01 2.230.01 2.510.01
Transformed_CSR_04/ExConc_Zan97_Z.xml 1.23 1.34 1.20 1.41 2.500.01
Transformed_CSR_04/ExConc_Zan97_iGM.xml 3.730.05 3.070.04 3.390.04 3.180.04 4.040.04
Transformed_CSR_04/ExIntrod_GM01_C.xml 14.52 10.43 10.620.26 10.730.24 13.760.24
Transformed_CSR_04/ExIntrod_GM01_FR.xml 3.10 3.20 3.96 4.12 18.340.02
Transformed_CSR_04/ExIntrod_GM01_GM.xml 3.86 4.15 5.710.12 5.830.12 6.650.10
Transformed_CSR_04/ExIntrod_GM01_L.xml 1.20 1.19 1.20 1.21 1.20
Transformed_CSR_04/ExIntrod_GM01_Z.xml 3.19 3.35 9.36 9.40 7.730.02
Transformed_CSR_04/ExIntrod_GM01_iGM.xml 42.11 33.40 12.600.28 12.140.26 15.610.24
Transformed_CSR_04/ExIntrod_GM04_C.xml 60.00 60.00 8.860.20 9.080.19 10.800.19
Transformed_CSR_04/ExIntrod_GM04_FR.xml 3.74 3.89 5.04 5.29 13.790.03
Transformed_CSR_04/ExIntrod_GM04_GM.xml 3.420.05 3.160.04 4.330.06 4.230.07 4.830.06
Transformed_CSR_04/ExIntrod_GM04_L.xml 1.19 1.18 1.21 1.21 1.22
Transformed_CSR_04/ExIntrod_GM04_Z.xml 3.48 3.64 5.50 5.72 8.650.02
Transformed_CSR_04/ExIntrod_GM04_iGM.xml 10.25 7.54 9.630.19 8.940.18 12.520.18
Transformed_CSR_04/ExIntrod_GM99_C.xml 23.59 7.03 12.89 11.40 60.00
Transformed_CSR_04/ExIntrod_GM99_FR.xml 2.59 2.69 2.96 3.12 60.00
Transformed_CSR_04/ExIntrod_GM99_GM.xml 6.60 6.65 7.44 7.45 60.00
Transformed_CSR_04/ExIntrod_GM99_L.xml 1.20 1.17 1.21 1.21 1.43
Transformed_CSR_04/ExIntrod_GM99_Z.xml 2.85 2.94 3.75 3.69 5.770.02
Transformed_CSR_04/ExIntrod_GM99_iGM.xml 21.87 7.29 12.85 11.53 60.00
Transformed_CSR_04/ExIntrod_Zan97_C.xml 17.59 5.13 7.86 6.90 60.00
Transformed_CSR_04/ExIntrod_Zan97_FR.xml 4.05 3.53 3.90 3.90 60.00
Transformed_CSR_04/ExIntrod_Zan97_GM.xml 4.34 4.54 5.24 5.31 60.00
Transformed_CSR_04/ExIntrod_Zan97_L.xml 1.19 1.18 1.20 1.20 1.41
Transformed_CSR_04/ExIntrod_Zan97_Z.xml 2.12 1.59 1.74 1.79 2.960.02
Transformed_CSR_04/ExIntrod_Zan97_iGM.xml 10.09 4.90 7.37 6.24 60.00
Transformed_CSR_04/ExProp7_Luc06_C.xml 60.00 60.00 60.00 60.00 8.420.12
Transformed_CSR_04/ExProp7_Luc06_FR.xml 1.99 2.01 3.080.03 2.870.03 3.170.02
Transformed_CSR_04/ExProp7_Luc06_GM.xml 2.34 2.44 4.060.05 4.060.05 5.280.05
Transformed_CSR_04/ExProp7_Luc06_L.xml 1.60 1.73 2.740.01 2.730.01 2.630.01
Transformed_CSR_04/ExProp7_Luc06_Z.xml 1.80 1.95 2.710.02 2.770.02 2.980.02
Transformed_CSR_04/ExProp7_Luc06_iGM.xml 60.00 60.00 60.00 60.00 10.070.13
Transformed_CSR_04/ExSec11_1_Luc02a_C.xml 22.56 6.42 13.05 12.16 60.00
Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml 4.71 3.560.05 4.130.06 3.540.06 5.980.06
Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml 5.67 5.80 6.43 6.69 60.00
Transformed_CSR_04/ExSec11_1_Luc02a_L.xml 2.94 2.650.02 2.920.03 2.670.02 4.360.03
Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml 3.52 2.840.03 3.290.04 2.920.03 3.690.04
Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml 14.75 7.47 11.86 9.96 60.00
Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml 34.76 7.50 12.18 9.57 60.00
Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml 3.34 2.920.04 3.120.04 2.910.04 3.440.04
Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml 10.61 10.61 11.02 10.63 60.00
Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml 1.23 1.19 1.20 1.20 1.94
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml 2.69 2.770.03 2.980.03 2.780.03 3.570.03
Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml 25.12 8.95 16.78 14.19 60.00
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml 1.24 1.25 1.28 1.29 1.68
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/LISTUTILITIES_complete_C.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/LISTUTILITIES_complete_FR.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/LISTUTILITIES_complete_GM.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/LISTUTILITIES_complete_L.xml 1.18 1.18 1.19 1.27 1.53
Transformed_CSR_04/LISTUTILITIES_complete_Z.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/LISTUTILITIES_complete_iGM.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml 1.18 1.19 1.19 1.19 1.57
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml 60.00 21.17 32.34 26.01 60.00
Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml 23.45 23.23 60.00 60.00 60.00
Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml 53.35 53.69 42.76 43.24 60.00
Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml 1.19 1.18 1.20 1.21 1.63
Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml 60.00 22.30 34.69 26.39 60.00
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml 60.00 46.41 60.00 51.72 60.00
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml 60.00 36.16 60.00 60.00 60.00
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml 5.60 5.03 4.430.14 4.640.14 7.180.14
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml 1.19 1.16 1.20 1.20 1.29
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml 3.88 4.13 4.480.13 4.170.13 5.190.13
Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml 39.09 10.54 14.02 11.21 60.00
Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml 3.36 2.93 3.470.06 3.260.05 4.190.05
Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml 11.08 11.16 11.75 11.84 60.00
Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml 1.19 1.19 1.20 1.20 1.35
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml 3.53 3.74 3.270.07 3.110.05 4.200.05
Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml 34.39 8.60 14.32 12.08 60.00
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml 60.00 18.85 34.14 26.62 60.00
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml 31.05 30.98 26.69 26.89 60.00
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.xml 60.00 18.59 33.20 26.15 60.00
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml 1.19 1.19 1.28 1.28 3.64
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml 56.73 37.81 40.03 38.71 60.00
Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml 26.410.73 15.790.56 14.010.42 13.540.41 22.950.39
Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml 1.19 1.20 1.91 1.26 4.59
Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/LengthOfFiniteLists_complete_iGM.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml 33.421.05 12.970.44 18.270.68 15.270.59 29.380.61
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml 19.60 19.30 27.91 29.05 60.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml 1.20 1.20 1.20 1.20 4.84
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml 22.61 22.47 24.56 25.22 60.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml 24.13 18.68 21.93 21.65 60.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml 8.560.18 6.750.16 7.070.19 7.440.19 11.740.20
Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml 1.19 1.19 1.20 1.18 1.32
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml 34.71 16.15 40.03 38.91 60.00
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml 11.370.31 6.000.13 10.320.23 9.310.22 11.630.22
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml 60.00 60.00 30.881.11 30.581.04 39.350.94
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml 1.96 2.03 2.12 2.22 6.350.02
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml 1.19 1.18 1.20 1.20 1.19
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml 15.13 12.66 11.76 11.51 60.00
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml 2.04 2.21 2.45 2.44 7.350.01
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 3.96 2.78 4.14 4.36 2.470.02
Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml 1.19 1.18 1.20 1.21 4.45
Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml 11.21 10.24 12.14 11.11 60.00
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml 15.90 12.34 21.06 20.09 60.00
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml 4.39 3.34 5.74 6.08 12.290.02
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/MYNAT_complete-noand_FR.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/MYNAT_complete-noand_L.xml 1.20 1.19 1.19 1.20 1.44
Transformed_CSR_04/MYNAT_complete-noand_Z.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/MYNAT_complete_C.xml 60.00 24.39 41.74 38.59 60.00
Transformed_CSR_04/MYNAT_complete_FR.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/MYNAT_complete_GM.xml 22.57 23.03 22.68 22.38 60.00
Transformed_CSR_04/MYNAT_complete_L.xml 1.19 1.19 1.31 1.21 1.35
Transformed_CSR_04/MYNAT_complete_Z.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/MYNAT_complete_iGM.xml 60.00 11.74 21.68 16.21 60.00
Transformed_CSR_04/MYNAT_complete_noand_C.xml 60.00 39.29 44.79 35.71 60.00
Transformed_CSR_04/MYNAT_complete_noand_GM.xml 29.10 26.34 22.54 22.91 60.00
Transformed_CSR_04/MYNAT_complete_noand_iGM.xml 60.00 23.81 41.67 32.01 60.00
Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml 8.64 8.76 9.01 8.71 60.00
Transformed_CSR_04/MYNAT_nokinds-noand_L.xml 1.19 1.18 1.20 1.21 1.36
Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml 8.04 8.21 11.19 10.65 60.00
Transformed_CSR_04/MYNAT_nokinds_C.xml 24.59 10.71 13.43 11.93 60.00
Transformed_CSR_04/MYNAT_nokinds_FR.xml 17.10 17.18 22.61 22.57 60.00
Transformed_CSR_04/MYNAT_nokinds_GM.xml 10.72 10.83 9.22 9.23 60.00
Transformed_CSR_04/MYNAT_nokinds_L.xml 1.19 1.18 1.21 1.20 1.66
Transformed_CSR_04/MYNAT_nokinds_Z.xml 12.70 12.86 19.41 19.53 60.00
Transformed_CSR_04/MYNAT_nokinds_iGM.xml 19.20 6.82 9.89 7.77 60.00
Transformed_CSR_04/MYNAT_nokinds_noand_C.xml 34.46 8.43 14.67 11.55 60.00
Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml 10.02 9.01 11.27 11.50 60.00
Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml 60.00 8.18 14.60 11.14 60.00
Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml 2.61 2.70 3.330.04 3.170.04 8.530.05
Transformed_CSR_04/MYNAT_nosorts-noand_L.xml 1.19 1.17 1.20 1.20 1.25
Transformed_CSR_04/MYNAT_nosorts_C.xml 9.39 4.01 5.67 4.87 60.00
Transformed_CSR_04/MYNAT_nosorts_FR.xml 1.65 2.460.01 2.460.02 2.460.01 7.580.02
Transformed_CSR_04/MYNAT_nosorts_GM.xml 2.63 2.75 2.79 3.00 60.00
Transformed_CSR_04/MYNAT_nosorts_L.xml 1.19 1.18 1.23 1.20 1.28
Transformed_CSR_04/MYNAT_nosorts_iGM.xml 6.67 3.59 5.11 4.43 60.00
Transformed_CSR_04/MYNAT_nosorts_noand_C.xml 14.25 5.61 8.30 7.04 60.00
Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml 4.35 4.49 4.44 4.61 60.00
Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml 22.75 5.28 8.33 6.45 60.00
Transformed_CSR_04/OvConsOS_complete-noand_FR.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/OvConsOS_complete-noand_L.xml 1.19 1.17 1.20 1.19 2.40
Transformed_CSR_04/OvConsOS_complete-noand_Z.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/OvConsOS_complete_C.xml 60.00 59.15 46.53 42.80 60.00
Transformed_CSR_04/OvConsOS_complete_FR.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/OvConsOS_complete_GM.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/OvConsOS_complete_L.xml 1.21 1.19 2.65 2.74 1.99
Transformed_CSR_04/OvConsOS_complete_Z.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/OvConsOS_complete_iGM.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/OvConsOS_complete_noand_C.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/OvConsOS_complete_noand_GM.xml 60.00 60.00 60.00 60.00 33.830.95
Transformed_CSR_04/OvConsOS_complete_noand_iGM.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml 1.19 1.19 1.20 1.19 4.54
Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/OvConsOS_nokinds_C.xml 25.21 15.08 18.96 17.79 60.00
Transformed_CSR_04/OvConsOS_nokinds_FR.xml 51.31 51.71 60.00 60.00 60.00
Transformed_CSR_04/OvConsOS_nokinds_GM.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/OvConsOS_nokinds_L.xml 1.20 1.19 1.20 1.20 1.36
Transformed_CSR_04/OvConsOS_nokinds_Z.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/OvConsOS_nokinds_iGM.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml 45.79 19.38 34.24 29.74 60.00
Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml 60.00 7.600.22 10.580.25 10.130.23 17.390.26
Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml 2.78 2.75 4.16 4.17 32.420.03
Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml 1.19 1.19 1.20 1.20 1.28
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml 2.67 2.77 4.20 4.14 21.610.03
Transformed_CSR_04/OvConsOS_nosorts_C.xml 13.96 8.81 14.63 14.11 60.00
Transformed_CSR_04/OvConsOS_nosorts_FR.xml 2.58 2.69 3.78 3.86 5.380.02
Transformed_CSR_04/OvConsOS_nosorts_GM.xml 5.20 3.30 5.04 5.38 2.660.02
Transformed_CSR_04/OvConsOS_nosorts_L.xml 1.19 1.19 1.21 1.20 1.94
Transformed_CSR_04/OvConsOS_nosorts_Z.xml 2.33 2.41 3.05 2.85 2.350.01
Transformed_CSR_04/OvConsOS_nosorts_iGM.xml 11.19 9.89 20.89 20.26 60.00
Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml 28.89 18.84 15.09 13.18 60.00
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml 5.35 4.06 7.38 7.50 37.550.04
Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/PALINDROME_complete-noand_FR.xml 10.390.46 8.820.39 9.750.39 9.900.40 15.290.40
Transformed_CSR_04/PALINDROME_complete-noand_L.xml 11.95 11.64 19.76 19.63 2.560.03
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml 9.740.42 9.070.38 9.370.38 9.050.39 15.790.39
Transformed_CSR_04/PALINDROME_complete_C.xml 45.52 17.07 23.18 19.84 60.00
Transformed_CSR_04/PALINDROME_complete_FR.xml 9.830.30 9.610.31 9.130.30 10.200.29 15.990.36
Transformed_CSR_04/PALINDROME_complete_GM.xml 11.970.49 11.200.46 11.740.38 11.850.39 20.720.39
Transformed_CSR_04/PALINDROME_complete_L.xml 1.20 1.19 1.23 1.22 2.12
Transformed_CSR_04/PALINDROME_complete_Z.xml 7.840.28 6.560.24 7.870.39 8.150.25 14.570.26
Transformed_CSR_04/PALINDROME_complete_iGM.xml 60.00 40.461.65 57.131.71 47.171.69 60.00
Transformed_CSR_04/PALINDROME_complete_noand_C.xml 60.00 42.74 48.39 39.08 60.00
Transformed_CSR_04/PALINDROME_complete_noand_GM.xml 19.661.12 13.310.69 15.510.58 13.580.56 23.880.60
Transformed_CSR_04/PALINDROME_complete_noand_iGM.xml 60.00 60.00 60.00 60.00 60.00
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml 6.030.15 4.740.12 5.340.23 5.560.15 7.680.19
Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml 2.87 2.65 3.21 3.01 2.320.02
Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml 5.600.14 4.590.12 5.530.17 4.920.15 7.090.15
Transformed_CSR_04/PALINDROME_nokinds_C.xml 10.730.24 7.060.13 13.760.41 15.810.41 13.230.23
Transformed_CSR_04/PALINDROME_nokinds_FR.xml 5.540.12 4.520.10 5.750.11 5.900.11 7.210.11
Transformed_CSR_04/PALINDROME_nokinds_GM.xml 4.800.11 4.940.10 4.720.09 4.780.10 5.840.09
Transformed_CSR_04/PALINDROME_nokinds_L.xml 1.19 1.19 1.20 1.20 1.28
Transformed_CSR_04/PALINDROME_nokinds_Z.xml 5.280.11 5.600.10 5.810.11 6.140.12 7.780.12
Transformed_CSR_04/PALINDROME_nokinds_iGM.xml 11.72 11.340.32 14.290.37 13.250.36 23.940.39
Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml 25.620.81 9.910.31 20.070.89 20.240.85 31.460.79
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml 10.320.33 7.100.20 8.130.21 7.430.18 12.310.20
Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml 38.28 22.590.72 22.850.73 22.360.72 27.370.60
Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml 2.560.02 2.380.01 2.590.01 2.420.01 2.960.02
Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml 2.520.02 2.420.01 2.610.01 2.380.01 2.910.02
Transformed_CSR_04/PALINDROME_nosorts_C.xml 7.530.13 4.670.07 6.110.13 6.040.12 9.250.14
Transformed_CSR_04/PALINDROME_nosorts_FR.xml 2.570.02 2.360.01 2.610.01 2.430.01 2.860.01
Transformed_CSR_04/PALINDROME_nosorts_GM.xml 3.190.04 3.220.04 3.790.05 3.520.05 3.880.04
Transformed_CSR_04/PALINDROME_nosorts_L.xml 1.23 1.19 1.24 1.20 1.19
Transformed_CSR_04/PALINDROME_nosorts_iGM.xml 6.25 6.580.11 7.960.13 7.140.12 10.630.13
Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml 8.560.18 5.080.08 6.510.12 5.800.12 11.110.18
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml 3.440.05 3.320.05 3.400.05 3.480.05 4.120.05
Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml 7.36 6.870.12 8.670.16 8.190.15 13.300.18
Transformed_CSR_04/PEANO_complete-noand_FR.xml 8.530.29 8.270.25 15.200.44 15.410.28 40.520.31
Transformed_CSR_04/PEANO_complete-noand_L.xml 1.26 1.22 1.20 1.21 1.29
Transformed_CSR_04/PEANO_complete-noand_Z.xml 7.710.28 6.640.23 13.320.26 13.720.26 23.370.25
Transformed_CSR_04/PEANO_complete_C.xml 31.69 17.38 22.96 21.36 60.00
Transformed_CSR_04/PEANO_complete_FR.xml 6.010.11 6.330.12 12.300.13 12.470.14 12.040.18
Transformed_CSR_04/PEANO_complete_GM.xml 9.280.30 7.330.23 8.590.22 9.520.22 11.310.21
Transformed_CSR_04/PEANO_complete_L.xml 1.19 1.19 1.20 1.25 1.20
Transformed_CSR_04/PEANO_complete_Z.xml 6.270.17 5.910.16 7.170.18 7.330.18 9.720.19
Transformed_CSR_04/PEANO_complete_iGM.xml 33.630.80 21.050.74 26.550.69 27.980.68 40.820.69
Transformed_CSR_04/PEANO_complete_noand_C.xml 43.56 16.91 33.08 28.89 60.00
Transformed_CSR_04/PEANO_complete_noand_GM.xml 12.690.53 8.510.38 10.100.39 9.210.29 15.220.31
Transformed_CSR_04/PEANO_complete_noand_iGM.xml 60.00 41.051.71 46.152.71 50.372.36 60.00
Transformed_CSR_04/PEANO_nokinds-noand_FR.xml 4.240.10 3.820.08 4.350.07 4.510.07 4.880.07
Transformed_CSR_04/PEANO_nokinds-noand_L.xml 1.18 1.20 1.21 1.20 1.29
Transformed_CSR_04/PEANO_nokinds-noand_Z.xml 4.180.09 4.400.09 4.540.09 5.070.10 5.520.16
Transformed_CSR_04/PEANO_nokinds_C.xml 10.59 6.21 9.66 9.01 60.00
Transformed_CSR_04/PEANO_nokinds_FR.xml 3.800.08 4.070.07 4.600.09 4.520.09 5.650.09
Transformed_CSR_04/PEANO_nokinds_GM.xml 4.730.10 4.060.08 4.510.09 4.670.11 5.890.18
Transformed_CSR_04/PEANO_nokinds_L.xml 1.19 1.18 1.20 1.20 1.19
Transformed_CSR_04/PEANO_nokinds_Z.xml 3.910.09 4.190.07 4.420.08 4.710.09 5.510.08
Transformed_CSR_04/PEANO_nokinds_iGM.xml 14.590.34 11.870.26 13.400.33 12.190.32 21.330.31
Transformed_CSR_04/PEANO_nokinds_noand_C.xml 19.12 11.37 13.05 12.05 60.00
Transformed_CSR_04/PEANO_nokinds_noand_GM.xml 6.540.18 4.180.09 5.150.10 4.830.09 6.050.09
Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml 23.800.50 14.950.38 19.150.46 16.460.48 28.290.46
Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 2.610.03 2.670.02 2.670.02 2.660.04 3.070.02
Transformed_CSR_04/PEANO_nosorts-noand_L.xml 1.19 1.18 1.20 1.18 1.19
Transformed_CSR_04/PEANO_nosorts_C.xml 7.480.14 4.720.07 6.070.12 5.700.11 7.200.10
Transformed_CSR_04/PEANO_nosorts_FR.xml 2.470.01 2.310.01 2.380.01 2.330.01 2.510.01
Transformed_CSR_04/PEANO_nosorts_GM.xml 2.610.02 2.710.02 2.760.03 2.760.04 3.290.03
Transformed_CSR_04/PEANO_nosorts_L.xml 1.18 1.22 1.21 1.21 1.20
Transformed_CSR_04/PEANO_nosorts_iGM.xml 6.460.13 5.340.10 6.840.11 6.510.11 9.080.12
Transformed_CSR_04/PEANO_nosorts_noand_C.xml 9.570.26 5.400.10 8.040.18 6.890.16 10.310.18
Transformed_CSR_04/PEANO_nosorts_noand_GM.xml 2.850.03 2.940.03 3.810.06 3.660.05 4.820.06
Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml 10.980.21 7.220.15 9.750.19 9.230.19 12.730.20
Various_04/02.xml 2.220.01 2.190.01 2.210.01 2.210.01 2.300.01
Various_04/03.xml 2.220.01 2.210.01 2.220.01 2.230.01 2.300.01
Various_04/04.xml 2.22 2.27 2.08 2.14 4.44
Various_04/05.xml 1.96 2.10 2.04 2.19 4.23
Various_04/06.xml 2.310.02 2.290.02 2.360.02 2.520.02 2.450.02
Various_04/07.xml 2.220.01 2.210.01 2.220.01 2.230.01 2.320.01
Various_04/08.xml 2.53 2.77 2.10 2.22 6.42
Various_04/09.xml 2.320.02 2.310.02 2.330.02 2.330.03 2.560.02
Various_04/10.xml 6.25 5.57 3.570.06 3.520.05 4.240.06
Various_04/11.xml 1.20 1.33 1.39 1.55 7.21
Various_04/12.xml 2.31 2.18 3.300.04 3.120.06 3.840.04
Various_04/13.xml 3.29 3.20 4.090.06 4.240.06 4.720.06
Various_04/14.xml 7.06 6.120.18 6.250.18 6.260.18 8.700.17
Various_04/15.xml 1.59 1.70 2.530.02 2.520.01 3.220.01
Various_04/18.xml 2.560.02 2.360.02 2.620.02 2.440.02 3.020.02
Various_04/19.xml 2.820.03 2.860.03 3.050.02 2.920.02 4.180.03
Various_04/21.xml 4.240.07 3.770.07 4.390.09 3.950.09 5.530.09
Various_04/22.xml 2.480.01 2.370.01 2.580.01 2.370.01 2.860.01
Various_04/23.xml 2.680.02 2.560.02 2.660.02 2.670.02 3.160.02
Various_04/24.xml 2.600.02 2.580.02 2.710.02 2.610.02 3.090.02
Various_04/25.xml 2.260.01 2.210.01 2.290.01 2.280.01 2.500.01
Various_04/26.xml 2.620.02 2.620.03 2.620.02 2.560.02 2.960.02
Various_04/27.xml 2.210.01 2.210.01 2.220.01 2.210.01 2.500.01
Waldmann_06/jwaprove1.xml 1.94 2.02 2.04 2.10 60.00
Waldmann_06/jwaprove2.xml 1.92 2.02 2.10 2.11 60.00
Waldmann_06/jwcime1.xml 1.94 1.98 2.19 2.16 60.00
Waldmann_06/jwcime2.xml 2.35 2.20 2.16 2.29 60.00
Waldmann_06/jwmatchb1.xml 1.54 1.71 1.69 1.74 6.730.01
Waldmann_06/jwmatchb2.xml 1.54 1.70 1.75 1.92 5.940.01
Waldmann_06/jwno1.xml 2.54 2.59 2.64 2.80 2.460.01
Waldmann_06/jwno2.xml 1.71 1.75 2.12 2.16 60.00
Waldmann_06/jwno3.xml 2.03 2.12 1.92 2.28 60.00
Waldmann_06/jwno4.xml 1.91 2.00 2.04 2.12 7.570.01
Waldmann_06/jwno5.xml 1.93 1.74 1.80 1.85 60.00
Waldmann_06/jwno6.xml 1.98 2.05 2.25 2.29 4.230.01
Waldmann_06/jwno7.xml 1.94 2.03 2.08 2.14 60.00
Waldmann_06/jwno8.xml 2.06 2.12 2.16 2.25 60.00
Waldmann_06/jwno9.xml 2.05 2.03 2.17 2.44 5.730.01
Waldmann_06/jwteparla1.xml 2.34 2.35 2.43 2.42 60.00
Waldmann_06/jwteparla2.xml 2.47 2.38 2.41 2.50 60.00
Waldmann_06/jwtpa1.xml 2.64 2.73 2.99 3.25 60.00
Waldmann_06/jwtpa2.xml 2.29 2.44 2.40 2.55 9.580.03
Waldmann_06/jwttt.xml 2.38 2.51 2.85 2.73 3.870.02
Waldmann_06_SRS/e.xml 3.60 2.96 3.54 3.83 29.670.23
Waldmann_06_SRS/jw1.xml 6.24 6.34 7.07 7.17 4.380.02
Waldmann_06_SRS/jw3.xml 3.64 3.80 3.69 3.19 60.00
Waldmann_06_SRS/jw4.xml 3.93 4.17 5.28 5.50 60.00
Waldmann_06_SRS/jw5.xml 6.21 6.56 8.43 8.84 60.00
Waldmann_06_SRS/pi.xml 3.22 3.26 4.93 4.53 26.540.18
Waldmann_06_SRS/sym-1.xml 1.54 1.66 1.81 2.06 3.360.03
Waldmann_06_SRS/sym-2.xml 2.22 2.13 2.22 2.32 8.870.04
Waldmann_06_SRS/sym-4.xml 1.94 1.75 2.07 1.86 3.590.04
Waldmann_06_SRS/sym-5.xml 14.32 14.45 13.52 13.62 32.530.03
Waldmann_06_SRS/sym-6.xml 2.10 2.14 2.19 2.28 55.570.07
Waldmann_06_SRS/uni-1.xml 1.86 1.80 1.86 1.96 3.570.03
Waldmann_06_SRS/uni-2.xml 2.06 2.20 2.36 2.41 57.570.02
Waldmann_06_SRS/uni-3.xml 2.83 2.88 3.04 3.19 60.00
Waldmann_06_SRS/uni-4.xml 2.79 2.83 2.65 2.70 60.00
Waldmann_06_SRS/uni-5.xml 1.95 2.05 2.08 2.16 6.660.03
Waldmann_06_SRS/uni-6.xml 12.19 12.39 16.01 16.02 60.00
Waldmann_06_SRS/uni-7.xml 27.81 27.90 40.61 40.58 60.00
Waldmann_06_SRS/z086-variant.xml 2.09 2.14 2.11 2.24 14.560.06
Waldmann_07_size11/size-11-alpha-2-num-1.xml 2.04 2.15 2.19 2.26 6.650.03
Waldmann_07_size11/size-11-alpha-2-num-2.xml 2.59 2.64 2.73 2.89 10.310.02
Waldmann_07_size11/size-11-alpha-2-num-3.xml 2.10 2.23 2.24 2.30 7.520.04
Waldmann_07_size11/size-11-alpha-2-num-4.xml 2.05 2.15 2.11 2.21 5.760.03
Waldmann_07_size11/size-11-alpha-3-num-1.xml 1.93 2.01 2.03 2.09 60.00
Waldmann_07_size11/size-11-alpha-3-num-10.xml 1.97 2.09 2.08 2.18 8.180.02
Waldmann_07_size11/size-11-alpha-3-num-11.xml 1.62 1.72 1.66 1.75 5.250.02
Waldmann_07_size11/size-11-alpha-3-num-12.xml 1.65 1.74 2.03 2.03 5.080.02
Waldmann_07_size11/size-11-alpha-3-num-13.xml 1.93 2.02 2.07 2.12 4.620.02
Waldmann_07_size11/size-11-alpha-3-num-14.xml 1.49 1.66 1.61 1.91 4.750.02
Waldmann_07_size11/size-11-alpha-3-num-15.xml 2.05 2.16 2.24 2.14 60.00
Waldmann_07_size11/size-11-alpha-3-num-16.xml 1.91 2.02 2.08 2.09 11.510.03
Waldmann_07_size11/size-11-alpha-3-num-17.xml 1.49 1.61 1.65 1.75 4.490.02
Waldmann_07_size11/size-11-alpha-3-num-18.xml 1.83 1.98 2.09 2.24 60.00
Waldmann_07_size11/size-11-alpha-3-num-19.xml 1.82 2.01 2.04 2.12 9.350.02
Waldmann_07_size11/size-11-alpha-3-num-2.xml 1.66 1.75 1.75 2.02 6.990.03
Waldmann_07_size11/size-11-alpha-3-num-20.xml 1.60 1.69 1.69 1.80 4.440.02
Waldmann_07_size11/size-11-alpha-3-num-21.xml 1.82 1.94 2.06 2.10 60.00
Waldmann_07_size11/size-11-alpha-3-num-3.xml 1.54 1.70 1.71 1.75 9.690.04
Waldmann_07_size11/size-11-alpha-3-num-4.xml 1.94 2.03 1.81 2.18 60.00
Waldmann_07_size11/size-11-alpha-3-num-5.xml 1.99 1.75 1.86 1.90 5.590.02
Waldmann_07_size11/size-11-alpha-3-num-6.xml 1.98 2.07 2.07 2.15 4.970.02
Waldmann_07_size11/size-11-alpha-3-num-7.xml 1.96 2.09 2.11 2.18 5.120.02
Waldmann_07_size11/size-11-alpha-3-num-8.xml 1.93 1.98 2.09 2.26 4.560.02
Waldmann_07_size11/size-11-alpha-3-num-9.xml 1.93 2.06 2.05 2.08 5.830.03
Waldmann_07_size12/size-12-alpha-2-num-1.xml 1.94 2.04 2.15 2.29 6.220.02
Waldmann_07_size12/size-12-alpha-2-num-10.xml 2.04 2.15 2.18 2.26 60.00
Waldmann_07_size12/size-12-alpha-2-num-11.xml 2.06 2.24 2.30 2.37 60.00
Waldmann_07_size12/size-12-alpha-2-num-12.xml 2.11 2.22 2.24 2.37 60.00
Waldmann_07_size12/size-12-alpha-2-num-13.xml 1.90 2.07 1.90 2.20 8.850.02
Waldmann_07_size12/size-12-alpha-2-num-14.xml 2.34 2.59 2.54 2.65 6.570.03
Waldmann_07_size12/size-12-alpha-2-num-15.xml 1.80 2.09 2.08 2.19 3.990.03
Waldmann_07_size12/size-12-alpha-2-num-16.xml 1.97 2.14 2.22 2.27 7.290.03
Waldmann_07_size12/size-12-alpha-2-num-17.xml 2.14 2.13 2.16 2.30 60.00
Waldmann_07_size12/size-12-alpha-2-num-18.xml 2.06 2.16 2.20 2.26 60.00
Waldmann_07_size12/size-12-alpha-2-num-19.xml 1.97 2.08 2.10 2.22 10.890.02
Waldmann_07_size12/size-12-alpha-2-num-2.xml 1.81 1.93 1.80 1.90 11.650.02
Waldmann_07_size12/size-12-alpha-2-num-20.xml 1.90 2.09 1.90 2.10 60.00
Waldmann_07_size12/size-12-alpha-2-num-21.xml 2.09 2.21 2.09 2.16 4.560.02
Waldmann_07_size12/size-12-alpha-2-num-22.xml 1.96 2.10 2.19 2.29 6.870.03
Waldmann_07_size12/size-12-alpha-2-num-3.xml 1.88 2.03 2.10 2.19 4.550.02
Waldmann_07_size12/size-12-alpha-2-num-4.xml 2.16 2.13 2.21 2.25 12.940.03
Waldmann_07_size12/size-12-alpha-2-num-5.xml 2.55 2.65 2.54 2.64 6.810.02
Waldmann_07_size12/size-12-alpha-2-num-6.xml 2.04 2.11 2.10 2.12 6.710.02
Waldmann_07_size12/size-12-alpha-2-num-7.xml 3.23 3.38 3.54 3.50 60.00
Waldmann_07_size12/size-12-alpha-2-num-8.xml 2.01 2.13 2.14 2.35 19.760.02
Waldmann_07_size12/size-12-alpha-3-num-1.xml 1.53 1.66 1.60 1.85 6.260.09
Waldmann_07_size12/size-12-alpha-3-num-10.xml 1.93 2.00 2.09 2.19 4.490.02
Waldmann_07_size12/size-12-alpha-3-num-100.xml 1.94 2.01 2.06 2.12 60.00
Waldmann_07_size12/size-12-alpha-3-num-101.xml 1.92 2.04 2.03 2.17 60.00
Waldmann_07_size12/size-12-alpha-3-num-104.xml 1.99 2.14 2.12 2.19 6.330.02
Waldmann_07_size12/size-12-alpha-3-num-105.xml 1.95 2.07 2.10 2.25 4.650.02
Waldmann_07_size12/size-12-alpha-3-num-106.xml 1.81 1.96 2.12 2.14 4.670.02
Waldmann_07_size12/size-12-alpha-3-num-107.xml 2.00 2.14 2.09 2.20 5.100.02
Waldmann_07_size12/size-12-alpha-3-num-108.xml 2.00 2.15 2.10 2.18 5.210.02
Waldmann_07_size12/size-12-alpha-3-num-109.xml 1.98 2.14 2.11 2.32 5.970.02
Waldmann_07_size12/size-12-alpha-3-num-11.xml 1.99 2.03 2.08 2.13 60.00
Waldmann_07_size12/size-12-alpha-3-num-110.xml 2.07 1.91 2.39 2.30 13.800.02
Waldmann_07_size12/size-12-alpha-3-num-111.xml 2.22 2.25 2.25 2.51 6.940.03
Waldmann_07_size12/size-12-alpha-3-num-112.xml 1.97 2.12 2.18 2.29 5.650.02
Waldmann_07_size12/size-12-alpha-3-num-113.xml 2.06 2.19 2.11 2.39 5.060.02
Waldmann_07_size12/size-12-alpha-3-num-114.xml 1.97 2.03 2.17 2.15 8.590.05
Waldmann_07_size12/size-12-alpha-3-num-120.xml 1.65 1.76 1.74 1.76 60.00
Waldmann_07_size12/size-12-alpha-3-num-121.xml 1.72 1.80 1.80 1.86 8.140.04
Waldmann_07_size12/size-12-alpha-3-num-122.xml 2.26 2.17 2.18 2.36 4.850.02
Waldmann_07_size12/size-12-alpha-3-num-123.xml 2.07 2.18 2.40 2.38 5.300.02
Waldmann_07_size12/size-12-alpha-3-num-124.xml 2.19 2.05 2.11 2.26 7.020.04
Waldmann_07_size12/size-12-alpha-3-num-125.xml 2.03 2.13 2.14 2.18 9.210.04
Waldmann_07_size12/size-12-alpha-3-num-126.xml 2.07 2.20 2.25 2.28 4.960.03
Waldmann_07_size12/size-12-alpha-3-num-127.xml 1.92 1.76 1.79 2.10 60.00
Waldmann_07_size12/size-12-alpha-3-num-128.xml 2.11 2.11 2.12 2.22 8.330.04
Waldmann_07_size12/size-12-alpha-3-num-129.xml 1.54 1.65 1.70 1.85 60.00
Waldmann_07_size12/size-12-alpha-3-num-13.xml 1.93 2.01 2.05 2.09 4.770.02
Waldmann_07_size12/size-12-alpha-3-num-131.xml 1.93 2.02 2.06 2.26 5.080.02
Waldmann_07_size12/size-12-alpha-3-num-132.xml 1.94 2.06 2.24 2.30 9.900.04
Waldmann_07_size12/size-12-alpha-3-num-133.xml 1.95 2.06 2.16 2.19 9.370.04
Waldmann_07_size12/size-12-alpha-3-num-134.xml 1.60 1.70 1.70 1.76 4.790.02
Waldmann_07_size12/size-12-alpha-3-num-135.xml 1.65 1.77 1.96 1.92 60.00
Waldmann_07_size12/size-12-alpha-3-num-14.xml 1.54 1.70 1.65 1.75 5.910.02
Waldmann_07_size12/size-12-alpha-3-num-140.xml 2.24 2.10 2.33 2.49 60.00
Waldmann_07_size12/size-12-alpha-3-num-146.xml 2.05 2.10 2.27 2.42 60.00
Waldmann_07_size12/size-12-alpha-3-num-149.xml 2.23 2.16 2.24 2.31 14.770.08
Waldmann_07_size12/size-12-alpha-3-num-15.xml 1.65 1.75 1.74 2.18 4.750.02
Waldmann_07_size12/size-12-alpha-3-num-152.xml 1.82 1.97 1.74 2.08 5.670.02
Waldmann_07_size12/size-12-alpha-3-num-158.xml 2.06 2.21 2.19 2.50 60.00
Waldmann_07_size12/size-12-alpha-3-num-159.xml 2.22 2.08 2.25 2.54 60.00
Waldmann_07_size12/size-12-alpha-3-num-16.xml 2.06 2.09 2.10 2.17 20.880.02
Waldmann_07_size12/size-12-alpha-3-num-160.xml 2.22 2.17 2.17 2.28 60.00
Waldmann_07_size12/size-12-alpha-3-num-163.xml 1.59 1.71 1.97 1.97 21.680.02
Waldmann_07_size12/size-12-alpha-3-num-164.xml 1.91 2.02 1.84 2.10 6.580.10
Waldmann_07_size12/size-12-alpha-3-num-165.xml 1.54 1.66 1.65 1.92 4.820.02
Waldmann_07_size12/size-12-alpha-3-num-168.xml 1.84 2.00 2.02 2.05 4.540.02
Waldmann_07_size12/size-12-alpha-3-num-17.xml 1.97 2.07 2.10 2.16 5.010.02
Waldmann_07_size12/size-12-alpha-3-num-170.xml 1.59 1.71 1.71 1.82 60.00
Waldmann_07_size12/size-12-alpha-3-num-174.xml 1.91 2.02 2.11 2.14 60.00
Waldmann_07_size12/size-12-alpha-3-num-176.xml 1.80 1.97 2.06 2.13 26.760.02
Waldmann_07_size12/size-12-alpha-3-num-177.xml 2.17 2.13 2.14 2.26 60.00
Waldmann_07_size12/size-12-alpha-3-num-178.xml 2.22 2.17 2.25 2.32 60.00
Waldmann_07_size12/size-12-alpha-3-num-179.xml 2.23 2.16 2.15 2.26 60.00
Waldmann_07_size12/size-12-alpha-3-num-180.xml 2.05 2.15 2.16 2.47 21.590.11
Waldmann_07_size12/size-12-alpha-3-num-181.xml 2.18 2.28 2.14 2.29 60.00
Waldmann_07_size12/size-12-alpha-3-num-186.xml 1.60 1.70 1.75 2.07 21.050.03
Waldmann_07_size12/size-12-alpha-3-num-19.xml 1.97 2.14 1.84 2.19 4.940.02
Waldmann_07_size12/size-12-alpha-3-num-190.xml 1.82 1.98 2.05 2.10 4.730.02
Waldmann_07_size12/size-12-alpha-3-num-191.xml 1.83 1.98 2.15 2.12 4.640.02
Waldmann_07_size12/size-12-alpha-3-num-194.xml 1.81 1.97 2.05 2.10 4.880.02
Waldmann_07_size12/size-12-alpha-3-num-195.xml 2.20 2.07 2.17 2.29 60.00
Waldmann_07_size12/size-12-alpha-3-num-198.xml 2.06 2.18 2.10 2.19 16.200.02
Waldmann_07_size12/size-12-alpha-3-num-199.xml 1.95 2.06 2.12 2.17 60.00
Waldmann_07_size12/size-12-alpha-3-num-20.xml 1.99 2.10 2.09 2.18 60.00
Waldmann_07_size12/size-12-alpha-3-num-200.xml 1.59 1.76 1.80 2.07 16.460.08
Waldmann_07_size12/size-12-alpha-3-num-201.xml 1.55 1.72 1.74 1.80 5.740.03
Waldmann_07_size12/size-12-alpha-3-num-202.xml 1.83 1.95 2.07 2.29 7.030.09
Waldmann_07_size12/size-12-alpha-3-num-203.xml 1.59 1.69 1.71 1.76 4.670.02
Waldmann_07_size12/size-12-alpha-3-num-204.xml 1.81 1.98 2.06 2.23 6.870.02
Waldmann_07_size12/size-12-alpha-3-num-206.xml 1.82 1.98 2.06 2.24 60.00
Waldmann_07_size12/size-12-alpha-3-num-207.xml 1.83 2.00 2.08 2.11 60.00
Waldmann_07_size12/size-12-alpha-3-num-209.xml 1.83 1.99 2.04 2.11 60.00
Waldmann_07_size12/size-12-alpha-3-num-21.xml 2.15 2.20 2.21 2.35 60.00
Waldmann_07_size12/size-12-alpha-3-num-210.xml 1.84 1.98 2.07 2.10 60.00
Waldmann_07_size12/size-12-alpha-3-num-211.xml 1.88 2.00 2.08 2.17 60.00
Waldmann_07_size12/size-12-alpha-3-num-213.xml 1.92 2.01 2.09 2.15 11.370.02
Waldmann_07_size12/size-12-alpha-3-num-215.xml 1.84 2.00 2.07 2.07 5.240.02
Waldmann_07_size12/size-12-alpha-3-num-217.xml 1.84 2.00 2.10 2.15 60.00
Waldmann_07_size12/size-12-alpha-3-num-219.xml 1.59 1.98 2.07 2.08 60.00
Waldmann_07_size12/size-12-alpha-3-num-22.xml 3.08 3.19 3.43 3.59 60.00
Waldmann_07_size12/size-12-alpha-3-num-220.xml 1.82 1.76 2.04 2.07 60.00
Waldmann_07_size12/size-12-alpha-3-num-221.xml 1.82 1.75 1.85 2.14 28.260.10
Waldmann_07_size12/size-12-alpha-3-num-222.xml 2.02 2.09 2.18 2.25 60.00
Waldmann_07_size12/size-12-alpha-3-num-223.xml 1.84 1.96 2.09 2.15 60.00
Waldmann_07_size12/size-12-alpha-3-num-224.xml 1.93 1.96 2.10 2.14 60.00
Waldmann_07_size12/size-12-alpha-3-num-225.xml 1.89 2.00 2.07 2.29 21.180.02
Waldmann_07_size12/size-12-alpha-3-num-226.xml 1.93 2.01 2.03 2.15 7.180.04
Waldmann_07_size12/size-12-alpha-3-num-227.xml 2.01 2.10 2.14 2.19 60.00
Waldmann_07_size12/size-12-alpha-3-num-23.xml 1.98 2.07 2.11 2.17 60.00
Waldmann_07_size12/size-12-alpha-3-num-231.xml 1.87 1.90 1.94 2.19 60.00
Waldmann_07_size12/size-12-alpha-3-num-232.xml 1.55 1.69 1.72 1.74 22.520.09
Waldmann_07_size12/size-12-alpha-3-num-233.xml 1.97 1.76 2.07 2.12 60.00
Waldmann_07_size12/size-12-alpha-3-num-236.xml 1.96 2.00 2.09 2.15 24.110.04
Waldmann_07_size12/size-12-alpha-3-num-237.xml 1.93 1.76 2.10 2.12 6.070.10
Waldmann_07_size12/size-12-alpha-3-num-238.xml 1.91 1.75 2.02 2.03 60.00
Waldmann_07_size12/size-12-alpha-3-num-239.xml 1.80 1.95 2.05 2.12 60.00
Waldmann_07_size12/size-12-alpha-3-num-241.xml 1.60 1.69 1.74 2.17 60.00
Waldmann_07_size12/size-12-alpha-3-num-243.xml 1.59 1.69 1.74 2.01 60.00
Waldmann_07_size12/size-12-alpha-3-num-247.xml 1.94 2.08 2.09 2.12 60.00
Waldmann_07_size12/size-12-alpha-3-num-248.xml 1.91 2.01 2.11 2.12 60.00
Waldmann_07_size12/size-12-alpha-3-num-249.xml 1.95 2.00 2.10 2.13 60.00
Waldmann_07_size12/size-12-alpha-3-num-255.xml 1.83 1.98 2.06 1.86 29.970.02
Waldmann_07_size12/size-12-alpha-3-num-257.xml 1.86 2.06 2.13 2.19 60.00
Waldmann_07_size12/size-12-alpha-3-num-260.xml 2.18 2.21 2.25 2.36 60.00
Waldmann_07_size12/size-12-alpha-3-num-263.xml 1.93 1.98 2.08 2.13 23.670.04
Waldmann_07_size12/size-12-alpha-3-num-265.xml 1.92 2.00 2.08 2.13 4.420.02
Waldmann_07_size12/size-12-alpha-3-num-267.xml 2.09 2.14 2.05 2.13 60.00
Waldmann_07_size12/size-12-alpha-3-num-270.xml 1.94 2.00 2.04 2.13 60.00
Waldmann_07_size12/size-12-alpha-3-num-271.xml 1.94 1.98 2.06 2.13 16.910.09
Waldmann_07_size12/size-12-alpha-3-num-272.xml 1.93 2.01 2.06 2.11 60.00
Waldmann_07_size12/size-12-alpha-3-num-273.xml 1.89 2.02 2.01 2.04 7.840.03
Waldmann_07_size12/size-12-alpha-3-num-274.xml 1.92 1.99 2.09 2.13 60.00
Waldmann_07_size12/size-12-alpha-3-num-275.xml 1.65 1.75 1.76 1.95 22.620.02
Waldmann_07_size12/size-12-alpha-3-num-279.xml 1.65 2.03 1.74 2.04 4.460.02
Waldmann_07_size12/size-12-alpha-3-num-281.xml 1.75 1.75 1.91 2.02 4.120.02
Waldmann_07_size12/size-12-alpha-3-num-282.xml 1.83 1.97 2.04 2.09 6.660.03
Waldmann_07_size12/size-12-alpha-3-num-283.xml 2.00 2.07 2.10 2.18 10.560.03
Waldmann_07_size12/size-12-alpha-3-num-284.xml 1.80 1.75 2.02 2.06 4.310.02
Waldmann_07_size12/size-12-alpha-3-num-285.xml 1.60 1.75 2.01 2.07 4.200.02
Waldmann_07_size12/size-12-alpha-3-num-286.xml 1.92 1.76 2.00 2.07 6.090.09
Waldmann_07_size12/size-12-alpha-3-num-287.xml 2.20 2.29 2.24 2.26 7.190.02
Waldmann_07_size12/size-12-alpha-3-num-288.xml 1.80 1.96 2.05 2.17 24.600.04
Waldmann_07_size12/size-12-alpha-3-num-289.xml 1.95 2.02 2.10 2.13 6.090.02
Waldmann_07_size12/size-12-alpha-3-num-291.xml 1.97 2.10 1.84 2.15 60.00
Waldmann_07_size12/size-12-alpha-3-num-292.xml 2.07 2.19 1.90 2.38 60.00
Waldmann_07_size12/size-12-alpha-3-num-293.xml 1.99 2.07 2.20 2.27 27.260.04
Waldmann_07_size12/size-12-alpha-3-num-294.xml 1.96 2.08 2.12 2.28 6.870.03
Waldmann_07_size12/size-12-alpha-3-num-296.xml 1.94 2.10 2.09 2.21 4.570.02
Waldmann_07_size12/size-12-alpha-3-num-297.xml 1.83 2.00 2.09 2.12 5.700.02
Waldmann_07_size12/size-12-alpha-3-num-298.xml 1.92 2.14 2.10 2.18 60.00
Waldmann_07_size12/size-12-alpha-3-num-299.xml 2.01 2.13 2.10 2.17 19.390.03
Waldmann_07_size12/size-12-alpha-3-num-3.xml 1.54 1.70 1.79 2.03 60.00
Waldmann_07_size12/size-12-alpha-3-num-30.xml 1.95 1.76 1.80 1.84 24.960.08
Waldmann_07_size12/size-12-alpha-3-num-300.xml 1.93 1.75 2.06 1.85 6.060.02
Waldmann_07_size12/size-12-alpha-3-num-301.xml 2.00 2.16 2.22 2.30 8.450.05
Waldmann_07_size12/size-12-alpha-3-num-303.xml 1.96 2.05 2.06 2.18 4.580.02
Waldmann_07_size12/size-12-alpha-3-num-304.xml 1.86 2.04 2.10 2.16 6.150.02
Waldmann_07_size12/size-12-alpha-3-num-309.xml 2.10 2.15 2.15 2.33 16.620.04
Waldmann_07_size12/size-12-alpha-3-num-31.xml 1.92 2.00 1.81 2.14 4.420.02
Waldmann_07_size12/size-12-alpha-3-num-32.xml 1.71 1.80 1.86 2.16 60.00
Waldmann_07_size12/size-12-alpha-3-num-327.xml 1.93 1.97 2.08 1.90 6.270.03
Waldmann_07_size12/size-12-alpha-3-num-328.xml 1.93 2.02 2.07 2.12 60.00
Waldmann_07_size12/size-12-alpha-3-num-330.xml 1.49 1.65 1.61 1.70 7.090.05
Waldmann_07_size12/size-12-alpha-3-num-335.xml 1.90 1.74 1.74 1.81 5.570.03
Waldmann_07_size12/size-12-alpha-3-num-337.xml 1.82 1.96 2.10 2.14 4.670.02
Waldmann_07_size12/size-12-alpha-3-num-338.xml 2.06 2.12 2.15 2.26 60.00
Waldmann_07_size12/size-12-alpha-3-num-339.xml 2.12 2.19 2.20 2.36 60.00
Waldmann_07_size12/size-12-alpha-3-num-340.xml 1.91 2.16 2.15 2.24 60.00
Waldmann_07_size12/size-12-alpha-3-num-341.xml 1.96 2.09 2.10 2.16 25.620.02
Waldmann_07_size12/size-12-alpha-3-num-343.xml 1.92 1.74 2.04 2.11 5.650.02
Waldmann_07_size12/size-12-alpha-3-num-345.xml 1.96 2.02 2.08 2.14 5.850.02
Waldmann_07_size12/size-12-alpha-3-num-346.xml 2.06 2.18 2.17 2.24 5.290.02
Waldmann_07_size12/size-12-alpha-3-num-347.xml 1.97 2.16 2.10 2.17 6.080.02
Waldmann_07_size12/size-12-alpha-3-num-348.xml 2.05 2.16 2.40 2.30 5.350.02
Waldmann_07_size12/size-12-alpha-3-num-35.xml 1.90 2.01 2.00 2.03 7.330.03
Waldmann_07_size12/size-12-alpha-3-num-350.xml 1.53 1.66 1.66 1.80 7.460.09
Waldmann_07_size12/size-12-alpha-3-num-351.xml 1.86 1.97 2.00 2.00 4.610.02
Waldmann_07_size12/size-12-alpha-3-num-352.xml 1.59 1.66 1.76 2.01 4.980.02
Waldmann_07_size12/size-12-alpha-3-num-353.xml 1.88 2.05 2.08 2.15 60.00
Waldmann_07_size12/size-12-alpha-3-num-354.xml 2.03 2.08 2.15 2.25 11.290.02
Waldmann_07_size12/size-12-alpha-3-num-355.xml 2.22 2.14 2.19 2.25 60.00
Waldmann_07_size12/size-12-alpha-3-num-356.xml 2.07 2.17 2.18 2.27 60.00
Waldmann_07_size12/size-12-alpha-3-num-359.xml 1.61 1.70 2.02 2.02 38.740.05
Waldmann_07_size12/size-12-alpha-3-num-360.xml 2.17 2.30 2.46 2.52 6.820.02
Waldmann_07_size12/size-12-alpha-3-num-361.xml 2.07 2.12 2.19 2.30 60.00
Waldmann_07_size12/size-12-alpha-3-num-362.xml 2.07 2.13 2.18 2.35 60.00
Waldmann_07_size12/size-12-alpha-3-num-363.xml 2.34 2.17 2.18 2.27 60.00
Waldmann_07_size12/size-12-alpha-3-num-366.xml 2.14 2.25 2.16 2.26 25.840.02
Waldmann_07_size12/size-12-alpha-3-num-367.xml 2.15 2.28 2.15 2.27 7.030.03
Waldmann_07_size12/size-12-alpha-3-num-368.xml 1.65 1.75 1.74 2.07 60.00
Waldmann_07_size12/size-12-alpha-3-num-369.xml 1.75 2.00 1.79 2.12 60.00
Waldmann_07_size12/size-12-alpha-3-num-373.xml 1.93 1.97 1.85 2.13 60.00
Waldmann_07_size12/size-12-alpha-3-num-374.xml 2.08 2.11 2.13 2.19 60.00
Waldmann_07_size12/size-12-alpha-3-num-375.xml 2.00 2.04 2.10 2.21 15.930.02
Waldmann_07_size12/size-12-alpha-3-num-376.xml 1.97 2.07 2.10 2.16 13.860.02
Waldmann_07_size12/size-12-alpha-3-num-377.xml 1.92 1.80 1.77 2.10 15.160.02
Waldmann_07_size12/size-12-alpha-3-num-378.xml 1.89 2.00 2.07 2.14 60.00
Waldmann_07_size12/size-12-alpha-3-num-382.xml 2.12 2.28 2.94 2.99 60.00
Waldmann_07_size12/size-12-alpha-3-num-383.xml 1.95 2.10 2.23 2.25 60.00
Waldmann_07_size12/size-12-alpha-3-num-384.xml 2.08 2.22 2.32 2.44 60.00
Waldmann_07_size12/size-12-alpha-3-num-385.xml 2.14 2.21 2.15 2.35 60.00
Waldmann_07_size12/size-12-alpha-3-num-386.xml 2.03 2.20 2.16 2.27 60.00
Waldmann_07_size12/size-12-alpha-3-num-389.xml 2.78 2.90 2.12 2.18 19.800.02
Waldmann_07_size12/size-12-alpha-3-num-391.xml 1.95 1.75 1.80 2.12 27.230.06
Waldmann_07_size12/size-12-alpha-3-num-392.xml 1.83 2.02 2.09 2.31 12.850.02
Waldmann_07_size12/size-12-alpha-3-num-395.xml 1.97 1.80 2.10 2.14 18.500.03
Waldmann_07_size12/size-12-alpha-3-num-396.xml 2.02 1.99 2.12 2.14 20.590.03
Waldmann_07_size12/size-12-alpha-3-num-399.xml 2.64 2.79 2.74 2.85 17.170.03
Waldmann_07_size12/size-12-alpha-3-num-4.xml 1.62 1.76 1.76 2.04 17.340.04
Waldmann_07_size12/size-12-alpha-3-num-40.xml 1.97 2.13 2.09 2.17 16.820.02
Waldmann_07_size12/size-12-alpha-3-num-400.xml 2.19 2.30 2.37 2.46 60.00
Waldmann_07_size12/size-12-alpha-3-num-401.xml 2.39 2.54 2.65 2.62 60.00
Waldmann_07_size12/size-12-alpha-3-num-402.xml 2.33 2.45 2.45 3.55 60.00
Waldmann_07_size12/size-12-alpha-3-num-403.xml 2.36 2.38 2.19 2.87 60.00
Waldmann_07_size12/size-12-alpha-3-num-406.xml 2.48 2.59 2.64 2.79 60.00
Waldmann_07_size12/size-12-alpha-3-num-408.xml 2.06 2.17 2.20 2.27 60.00
Waldmann_07_size12/size-12-alpha-3-num-409.xml 2.37 2.25 2.30 2.44 60.00
Waldmann_07_size12/size-12-alpha-3-num-41.xml 1.59 1.71 2.04 2.06 37.900.03
Waldmann_07_size12/size-12-alpha-3-num-410.xml 2.36 2.33 2.31 2.44 60.00
Waldmann_07_size12/size-12-alpha-3-num-412.xml 2.03 2.12 2.10 2.17 35.220.02
Waldmann_07_size12/size-12-alpha-3-num-413.xml 2.15 2.24 2.49 2.60 14.190.03
Waldmann_07_size12/size-12-alpha-3-num-414.xml 2.05 2.13 2.11 2.17 25.270.04
Waldmann_07_size12/size-12-alpha-3-num-415.xml 1.98 2.11 2.98 3.29 22.980.04
Waldmann_07_size12/size-12-alpha-3-num-416.xml 2.09 2.25 2.16 2.26 20.600.04
Waldmann_07_size12/size-12-alpha-3-num-417.xml 2.02 2.22 2.15 2.79 18.020.03
Waldmann_07_size12/size-12-alpha-3-num-418.xml 1.98 2.17 2.11 2.18 13.940.02
Waldmann_07_size12/size-12-alpha-3-num-427.xml 1.71 1.74 2.08 2.13 19.150.04
Waldmann_07_size12/size-12-alpha-3-num-429.xml 1.92 1.75 1.81 2.12 60.00
Waldmann_07_size12/size-12-alpha-3-num-430.xml 1.91 1.96 2.07 2.25 60.00
Waldmann_07_size12/size-12-alpha-3-num-431.xml 1.91 2.03 1.99 2.03 60.00
Waldmann_07_size12/size-12-alpha-3-num-434.xml 1.71 1.75 1.80 1.90 60.00
Waldmann_07_size12/size-12-alpha-3-num-435.xml 1.93 1.76 1.80 1.86 34.770.04
Waldmann_07_size12/size-12-alpha-3-num-436.xml 1.64 1.75 1.76 1.81 19.640.04
Waldmann_07_size12/size-12-alpha-3-num-437.xml 1.92 1.76 1.75 1.82 19.690.04
Waldmann_07_size12/size-12-alpha-3-num-438.xml 1.93 2.00 1.81 2.12 20.410.04
Waldmann_07_size12/size-12-alpha-3-num-439.xml 1.66 1.74 1.79 2.06 15.390.02
Waldmann_07_size12/size-12-alpha-3-num-44.xml 1.92 1.98 2.07 2.11 13.710.02
Waldmann_07_size12/size-12-alpha-3-num-441.xml 1.56 1.72 1.75 2.03 12.700.01
Waldmann_07_size12/size-12-alpha-3-num-443.xml 2.10 2.25 2.21 2.34 17.690.03
Waldmann_07_size12/size-12-alpha-3-num-446.xml 1.54 1.74 2.04 2.07 16.370.03
Waldmann_07_size12/size-12-alpha-3-num-448.xml 1.59 1.74 1.75 1.80 12.020.02
Waldmann_07_size12/size-12-alpha-3-num-45.xml 1.59 1.70 1.98 1.85 16.100.09
Waldmann_07_size12/size-12-alpha-3-num-450.xml 3.35 3.54 3.78 3.76 60.00
Waldmann_07_size12/size-12-alpha-3-num-451.xml 2.09 2.14 2.15 2.23 37.110.02
Waldmann_07_size12/size-12-alpha-3-num-452.xml 1.92 1.98 2.08 2.17 60.00
Waldmann_07_size12/size-12-alpha-3-num-453.xml 1.96 2.04 2.10 2.17 12.830.09
Waldmann_07_size12/size-12-alpha-3-num-454.xml 2.04 2.13 2.11 2.17 60.00
Waldmann_07_size12/size-12-alpha-3-num-455.xml 2.45 2.60 2.79 2.69 21.160.04
Waldmann_07_size12/size-12-alpha-3-num-456.xml 1.67 1.71 1.80 1.81 18.110.04
Waldmann_07_size12/size-12-alpha-3-num-460.xml 1.98 2.12 2.10 2.15 13.950.03
Waldmann_07_size12/size-12-alpha-3-num-461.xml 1.97 2.03 2.08 2.17 18.550.04
Waldmann_07_size12/size-12-alpha-3-num-462.xml 1.94 1.74 2.10 2.14 22.180.03
Waldmann_07_size12/size-12-alpha-3-num-465.xml 1.61 1.70 1.70 1.75 15.600.02
Waldmann_07_size12/size-12-alpha-3-num-467.xml 1.93 2.02 2.07 2.12 12.840.02
Waldmann_07_size12/size-12-alpha-3-num-468.xml 1.94 1.75 2.07 2.12 14.880.02
Waldmann_07_size12/size-12-alpha-3-num-469.xml 1.93 1.99 2.05 2.10 20.160.04
Waldmann_07_size12/size-12-alpha-3-num-47.xml 1.97 2.08 2.10 2.19 60.00
Waldmann_07_size12/size-12-alpha-3-num-470.xml 1.92 1.76 1.81 2.07 40.870.03
Waldmann_07_size12/size-12-alpha-3-num-472.xml 1.49 1.67 1.66 1.75 19.780.02
Waldmann_07_size12/size-12-alpha-3-num-473.xml 1.85 1.89 2.02 2.01 13.440.02
Waldmann_07_size12/size-12-alpha-3-num-474.xml 1.99 2.08 2.15 2.17 60.00
Waldmann_07_size12/size-12-alpha-3-num-475.xml 1.99 2.06 2.06 1.96 60.00
Waldmann_07_size12/size-12-alpha-3-num-476.xml 1.82 1.95 2.05 2.11 26.680.02
Waldmann_07_size12/size-12-alpha-3-num-477.xml 1.91 2.01 2.02 2.09 11.250.02
Waldmann_07_size12/size-12-alpha-3-num-478.xml 2.02 1.95 2.15 2.21 16.320.03
Waldmann_07_size12/size-12-alpha-3-num-479.xml 1.94 2.00 2.07 2.09 14.080.03
Waldmann_07_size12/size-12-alpha-3-num-48.xml 1.98 1.75 1.81 2.29 13.360.02
Waldmann_07_size12/size-12-alpha-3-num-480.xml 1.66 1.70 1.99 1.82 14.320.02
Waldmann_07_size12/size-12-alpha-3-num-482.xml 1.66 1.77 1.75 1.80 33.910.03
Waldmann_07_size12/size-12-alpha-3-num-484.xml 1.94 1.99 2.06 2.13 13.750.02
Waldmann_07_size12/size-12-alpha-3-num-485.xml 1.64 1.74 1.79 2.08 18.930.03
Waldmann_07_size12/size-12-alpha-3-num-487.xml 1.62 1.74 1.70 1.81 23.980.05
Waldmann_07_size12/size-12-alpha-3-num-488.xml 1.66 1.69 1.69 1.81 60.00
Waldmann_07_size12/size-12-alpha-3-num-489.xml 1.60 1.72 1.72 2.01 60.00
Waldmann_07_size12/size-12-alpha-3-num-49.xml 1.90 1.77 2.07 2.06 18.900.01
Waldmann_07_size12/size-12-alpha-3-num-491.xml 2.06 2.13 2.09 2.20 60.00
Waldmann_07_size12/size-12-alpha-3-num-492.xml 2.06 2.15 2.21 2.26 60.00
Waldmann_07_size12/size-12-alpha-3-num-493.xml 2.21 2.13 2.19 2.26 60.00
Waldmann_07_size12/size-12-alpha-3-num-494.xml 2.00 1.74 1.91 1.85 41.150.03
Waldmann_07_size12/size-12-alpha-3-num-495.xml 2.06 2.03 2.20 2.09 15.930.03
Waldmann_07_size12/size-12-alpha-3-num-497.xml 1.94 2.02 2.02 2.11 60.00
Waldmann_07_size12/size-12-alpha-3-num-498.xml 2.15 2.21 2.39 2.36 33.400.02
Waldmann_07_size12/size-12-alpha-3-num-499.xml 1.94 2.03 2.05 2.17 15.640.02
Waldmann_07_size12/size-12-alpha-3-num-502.xml 2.06 2.11 2.22 2.23 14.720.03
Waldmann_07_size12/size-12-alpha-3-num-503.xml 2.28 2.34 2.29 2.44 16.020.02
Waldmann_07_size12/size-12-alpha-3-num-506.xml 1.91 1.75 1.80 1.85 21.010.04
Waldmann_07_size12/size-12-alpha-3-num-507.xml 1.93 2.04 2.08 2.11 17.730.03
Waldmann_07_size12/size-12-alpha-3-num-508.xml 2.18 2.25 2.35 2.33 14.760.03
Waldmann_07_size12/size-12-alpha-3-num-51.xml 1.98 2.14 2.00 2.18 14.950.02
Waldmann_07_size12/size-12-alpha-3-num-511.xml 1.70 2.08 1.91 2.20 60.00
Waldmann_07_size12/size-12-alpha-3-num-52.xml 2.02 2.17 2.18 2.22 19.000.03
Waldmann_07_size12/size-12-alpha-3-num-522.xml 2.02 2.12 2.09 2.18 60.00
Waldmann_07_size12/size-12-alpha-3-num-526.xml 2.04 2.14 2.24 2.30 33.530.02
Waldmann_07_size12/size-12-alpha-3-num-532.xml 1.59 1.69 1.72 1.83 12.800.02
Waldmann_07_size12/size-12-alpha-3-num-535.xml 1.96 2.12 2.06 2.23 14.910.03
Waldmann_07_size12/size-12-alpha-3-num-536.xml 1.91 2.04 2.10 2.17 13.740.02
Waldmann_07_size12/size-12-alpha-3-num-540.xml 1.88 1.74 1.75 1.76 60.00
Waldmann_07_size12/size-12-alpha-3-num-541.xml 1.60 1.76 1.75 2.01 15.800.01
Waldmann_07_size12/size-12-alpha-3-num-543.xml 2.37 2.29 2.45 2.59 60.00
Waldmann_07_size12/size-12-alpha-3-num-545.xml 1.98 2.08 2.19 2.30 50.920.02
Waldmann_07_size12/size-12-alpha-3-num-546.xml 1.62 1.71 1.66 1.77 13.540.02
Waldmann_07_size12/size-12-alpha-3-num-547.xml 2.14 2.29 2.03 2.02 16.140.02
Waldmann_07_size12/size-12-alpha-3-num-548.xml 1.91 1.95 2.15 2.29 21.180.02
Waldmann_07_size12/size-12-alpha-3-num-549.xml 1.85 2.13 1.98 1.97 15.780.02
Waldmann_07_size12/size-12-alpha-3-num-550.xml 1.93 2.07 2.17 2.19 27.930.02
Waldmann_07_size12/size-12-alpha-3-num-551.xml 1.84 2.00 1.79 2.12 23.000.01
Waldmann_07_size12/size-12-alpha-3-num-552.xml 1.84 2.02 2.08 2.13 39.800.02
Waldmann_07_size12/size-12-alpha-3-num-553.xml 1.89 1.95 2.08 2.13 29.130.02
Waldmann_07_size12/size-12-alpha-3-num-556.xml 1.95 2.02 2.15 2.28 21.260.02
Waldmann_07_size12/size-12-alpha-3-num-558.xml 1.65 1.75 1.80 2.11 60.00
Waldmann_07_size12/size-12-alpha-3-num-559.xml 1.91 1.76 2.06 2.10 42.700.02
Waldmann_07_size12/size-12-alpha-3-num-560.xml 1.60 1.66 1.71 1.75 15.970.02
Waldmann_07_size12/size-12-alpha-3-num-561.xml 1.89 1.74 2.02 2.05 17.710.02
Waldmann_07_size12/size-12-alpha-3-num-563.xml 1.62 1.75 1.76 1.81 17.360.02
Waldmann_07_size12/size-12-alpha-3-num-564.xml 1.59 1.74 1.73 1.75 60.00
Waldmann_07_size12/size-12-alpha-3-num-565.xml 1.59 1.71 1.71 2.02 60.00
Waldmann_07_size12/size-12-alpha-3-num-566.xml 1.61 1.71 1.72 1.75 60.00
Waldmann_07_size12/size-12-alpha-3-num-568.xml 1.61 1.72 1.70 2.02 24.700.02
Waldmann_07_size12/size-12-alpha-3-num-57.xml 1.89 2.370.01 2.04 2.380.01 11.210.05
Waldmann_07_size12/size-12-alpha-3-num-59.xml 1.92 1.98 2.16 2.20 12.320.03
Waldmann_07_size12/size-12-alpha-3-num-61.xml 1.89 2.00 2.02 2.15 15.160.03
Waldmann_07_size12/size-12-alpha-3-num-64.xml 1.60 2.370.01 1.78 2.370.01 14.400.08
Waldmann_07_size12/size-12-alpha-3-num-65.xml 1.93 1.99 2.13 2.35 10.170.02
Waldmann_07_size12/size-12-alpha-3-num-66.xml 2.33 2.21 2.21 2.33 10.780.02
Waldmann_07_size12/size-12-alpha-3-num-67.xml 1.61 1.76 1.72 1.76 10.060.02
Waldmann_07_size12/size-12-alpha-3-num-7.xml 1.92 1.99 2.08 2.16 60.00
Waldmann_07_size12/size-12-alpha-3-num-70.xml 1.59 1.71 1.65 1.80 15.920.09
Waldmann_07_size12/size-12-alpha-3-num-71.xml 1.90 2.01 1.80 2.08 11.460.09
Waldmann_07_size12/size-12-alpha-3-num-72.xml 1.62 1.71 1.70 1.75 10.400.02
Waldmann_07_size12/size-12-alpha-3-num-74.xml 1.49 1.65 1.64 1.75 12.850.10
Waldmann_07_size12/size-12-alpha-3-num-76.xml 1.54 1.69 1.71 2.01 9.630.02
Waldmann_07_size12/size-12-alpha-3-num-82.xml 1.93 2.04 2.04 2.07 11.730.03
Waldmann_07_size12/size-12-alpha-3-num-83.xml 1.65 2.03 1.74 2.02 60.00
Waldmann_07_size12/size-12-alpha-3-num-84.xml 1.92 2.02 2.06 2.08 60.00
Waldmann_07_size12/size-12-alpha-3-num-85.xml 1.96 2.09 2.13 2.21 29.430.04
Waldmann_07_size12/size-12-alpha-3-num-86.xml 1.93 2.02 2.04 2.10 13.570.03
Waldmann_07_size12/size-12-alpha-3-num-88.xml 2.20 2.23 2.19 2.34 60.00
Waldmann_07_size12/size-12-alpha-3-num-9.xml 1.92 1.96 2.07 2.16 17.550.02
Waldmann_07_size12/size-12-alpha-3-num-90.xml 1.89 1.76 1.95 1.85 60.00
Waldmann_07_size12/size-12-alpha-3-num-91.xml 1.89 1.76 1.99 1.83 16.600.08
Waldmann_07_size12/size-12-alpha-3-num-92.xml 1.64 1.74 1.77 1.79 12.400.02
Waldmann_07_size12/size-12-alpha-3-num-94.xml 1.55 1.70 1.76 1.75 9.590.02
Waldmann_07_size12/size-12-alpha-3-num-95.xml 1.56 1.66 1.71 2.02 60.00
Waldmann_07_size12/size-12-alpha-3-num-98.xml 1.96 2.01 2.09 2.16 18.520.03
Waldmann_07_size12/size-12-alpha-3-num-99.xml 1.93 2.01 2.08 2.20 60.00
Zantema_04/syracuse.xml 20.90 20.92 20.36 20.42 60.00
Zantema_04/z001.xml 2.06 2.13 2.19 2.32 60.00
Zantema_04/z002.xml 2.13 2.30 2.14 2.31 23.520.06
Zantema_04/z003.xml 2.75 2.81 3.790.05 3.970.05 9.410.02
Zantema_04/z004.xml 3.48 2.49 2.61 2.60 7.910.02
Zantema_04/z005.xml 2.38 2.28 2.30 2.38 25.110.05
Zantema_04/z006.xml 2.530.01 2.390.01 2.450.01 2.410.01 5.840.01
Zantema_04/z007.xml 2.520.02 2.390.01 2.450.02 2.430.01 6.670.02
Zantema_04/z008.xml 18.11 18.21 17.02 17.37 16.640.04
Zantema_04/z009.xml 2.660.02 2.530.01 2.690.02 2.570.01 9.550.02
Zantema_04/z010.xml 2.610.01 2.690.01 2.620.01 2.570.01 7.810.01
Zantema_04/z011.xml 2.960.02 2.810.02 2.910.02 2.860.02 8.440.02
Zantema_04/z012.xml 2.560.02 2.530.01 2.560.01 2.610.02 8.780.02
Zantema_04/z013.xml 2.02 2.06 2.22 2.19 10.160.02
Zantema_04/z014.xml 2.510.01 2.510.01 2.510.01 2.560.01 6.250.01
Zantema_04/z015.xml 2.07 2.570.02 2.00 2.650.02 9.680.02
Zantema_04/z017.xml 2.460.02 2.540.01 2.620.02 2.610.01 8.100.02
Zantema_04/z018.xml 2.06 1.88 2.760.02 2.770.02 8.500.03
Zantema_04/z019.xml 1.84 1.91 2.01 2.01 9.880.02
Zantema_04/z020.xml 2.04 2.17 2.730.02 2.710.02 8.440.02
Zantema_04/z021.xml 2.830.02 2.860.02 3.010.03 2.970.02 8.760.02
Zantema_04/z022.xml 2.910.02 3.000.02 3.060.02 3.220.02 9.680.02
Zantema_04/z023.xml 2.38 2.44 2.28 2.41 16.050.03
Zantema_04/z024.xml 2.70 2.42 3.00 2.51 15.350.02
Zantema_04/z025.xml 2.960.01 3.070.01 2.750.02 2.910.02 5.960.01
Zantema_04/z026.xml 2.440.01 2.450.01 2.470.01 2.510.01 7.210.01
Zantema_04/z027.xml 2.24 2.38 2.47 2.58 60.00
Zantema_04/z028.xml 2.97 3.04 3.05 3.15 60.00
Zantema_04/z029.xml 2.54 2.60 2.80 2.92 60.00
Zantema_04/z030.xml 2.84 2.84 3.06 3.13 60.00
Zantema_04/z031.xml 4.02 4.06 4.86 4.91 60.00
Zantema_04/z032.xml 2.38 2.48 2.76 2.84 60.00
Zantema_04/z033.xml 3.04 3.12 3.10 3.20 47.500.02
Zantema_04/z034.xml 2.22 2.30 2.35 2.42 60.00
Zantema_04/z035.xml 2.10 2.20 2.37 2.42 60.00
Zantema_04/z036.xml 2.50 2.63 2.86 2.95 53.860.03
Zantema_04/z037.xml 3.10 3.20 3.39 3.44 60.00
Zantema_04/z038.xml 2.50 2.59 2.89 3.01 60.00
Zantema_04/z039.xml 3.24 3.34 4.10 4.15 10.870.02
Zantema_04/z040.xml 3.65 3.74 3.55 3.64 60.00
Zantema_04/z041.xml 2.68 2.86 2.92 2.97 60.00
Zantema_04/z042.xml 5.90 5.90 4.90 4.95 5.690.02
Zantema_04/z043.xml 5.45 5.45 5.75 5.85 10.060.02
Zantema_04/z044.xml 2.93 3.04 3.35 3.45 2.770.02
Zantema_04/z045.xml 10.86 10.99 10.38 10.09 60.00
Zantema_04/z046.xml 21.59 21.65 17.77 17.60 5.880.02
Zantema_04/z047.xml 4.40 4.45 5.61 5.47 9.990.04
Zantema_04/z048.xml 60.00 60.00 60.00 60.00 5.910.02
Zantema_04/z049.xml 2.510.02 2.380.01 2.770.02 2.430.01 2.690.01
Zantema_04/z050.xml 2.45 2.61 3.06 3.04 3.800.02
Zantema_04/z051.xml 4.39 4.49 4.80 4.79 5.700.02
Zantema_04/z052.xml 2.460.01 2.520.01 2.660.02 2.660.02 2.910.01
Zantema_04/z053.xml 5.86 5.89 5.55 5.50 4.100.02
Zantema_04/z054.xml 4.55 4.64 4.54 4.45 60.00
Zantema_04/z055.xml 2.460.02 2.510.01 2.670.02 2.660.02 2.770.02
Zantema_04/z056.xml 6.54 6.56 6.26 6.21 6.360.02
Zantema_04/z057.xml 5.99 5.96 6.10 6.10 6.140.02
Zantema_04/z058.xml 4.94 4.99 4.70 4.75 5.880.02
Zantema_04/z059.xml 6.29 6.44 5.85 5.86 5.830.02
Zantema_04/z060.xml 5.75 5.91 5.40 5.39 6.190.02
Zantema_04/z061.xml 2.260.01 2.250.01 2.280.01 2.280.01 2.670.01
Zantema_04/z062.xml 2.510.01 2.560.01 2.660.02 2.670.02 2.670.01
Zantema_04/z063.xml 2.460.02 2.510.01 2.650.02 2.670.02 2.670.01
Zantema_04/z064.xml 15.15 15.27 15.99 16.07 5.780.02
Zantema_04/z065.xml 2.500.02 2.660.02 2.960.02 2.650.02 3.280.02
Zantema_04/z066.xml 4.290.05 4.300.05 5.290.08 5.450.08 7.410.09
Zantema_04/z067.xml 15.35 15.56 4.990.09 5.330.09 5.240.04
Zantema_04/z068.xml 6.61 5.59 5.02 5.20 8.150.04
Zantema_04/z069.xml 4.030.07 4.080.07 4.480.07 4.310.07 5.050.06
Zantema_04/z070.xml 5.830.08 5.930.07 6.860.11 7.010.09 6.700.07
Zantema_04/z071.xml 3.030.02 2.860.02 2.770.02 2.710.02 3.550.03
Zantema_04/z072.xml 4.54 4.48 6.67 6.59 5.000.03
Zantema_04/z073.xml 3.84 3.84 7.31 7.25 60.00
Zantema_04/z074.xml 14.52 13.86 19.93 19.90 4.820.06
Zantema_04/z075.xml 3.98 3.68 7.22 7.25 4.550.04
Zantema_04/z076.xml 1.55 1.70 2.680.01 2.550.01 3.290.02
Zantema_04/z077.xml 1.90 2.400.01 2.450.01 2.380.01 3.230.02
Zantema_04/z078.xml 1.95 2.23 2.670.02 2.670.02 3.680.02
Zantema_04/z079.xml 5.14 5.30 7.25 7.21 60.00
Zantema_04/z080.xml 1.83 1.74 2.10 2.17 5.150.02
Zantema_04/z081.xml 3.120.03 3.370.03 2.960.03 3.180.03 4.400.02
Zantema_04/z082.xml 2.75 2.74 2.60 2.75 7.930.05
Zantema_04/z083.xml 2.56 2.75 3.50 3.59 6.510.04
Zantema_04/z084.xml 2.560.02 2.710.01 2.700.01 2.860.01 3.190.01
Zantema_04/z085.xml 2.370.01 2.520.01 2.580.01 2.480.01 2.630.01
Zantema_04/z086.xml 5.09 5.16 6.05 5.91 4.750.02
Zantema_04/z087.xml 4.39 4.48 5.30 5.30 4.610.02
Zantema_04/z088.xml 2.30 2.48 2.26 2.44 6.260.03
Zantema_04/z089.xml 2.83 2.94 3.99 4.04 5.630.03
Zantema_04/z090.xml 3.40 3.55 2.81 2.85 60.00
Zantema_04/z091.xml 4.970.08 3.370.05 4.020.06 3.420.05 5.390.06
Zantema_04/z092.xml 5.560.11 4.170.08 5.470.10 4.900.09 4.400.06
Zantema_04/z093.xml 2.780.01 2.880.01 2.600.02 2.710.01 2.830.01
Zantema_04/z094.xml 3.71 3.88 9.12 9.10 4.640.02
Zantema_04/z095.xml 2.25 2.26 2.61 2.62 60.00
Zantema_04/z096.xml 2.54 2.64 2.86 2.96 3.580.01
Zantema_04/z097.xml 2.71 2.85 2.95 3.01 60.00
Zantema_04/z098.xml 2.53 2.58 2.79 2.85 60.00
Zantema_04/z100.xml 60.00 60.00 60.00 60.00 8.800.05
Zantema_04/z101.xml 3.100.01 3.230.01 2.870.01 2.970.01 2.620.01
Zantema_04/z102.xml 3.120.02 3.010.01 2.970.02 3.020.02 2.630.01
Zantema_04/z103.xml 2.860.02 2.960.02 2.960.02 3.020.02 3.660.02
Zantema_04/z104.xml 3.85 4.08 4.37 4.49 3.040.02
Zantema_04/z105.xml 3.130.02 3.230.02 3.250.02 3.320.02 3.090.02
Zantema_04/z106.xml 3.350.02 3.510.02 3.190.02 3.020.02 2.910.01
Zantema_04/z107.xml 3.070.02 3.230.02 3.220.02 3.260.02 2.670.01
Zantema_04/z108.xml 3.050.02 2.960.02 2.980.03 3.020.02 2.700.01
Zantema_04/z109.xml 3.010.02 3.090.02 3.130.02 3.190.02 2.630.01
Zantema_04/z110.xml 3.420.03 3.580.03 3.410.02 3.210.02 4.840.03
Zantema_04/z111.xml 3.020.02 3.130.02 3.070.02 3.410.02 3.530.02
Zantema_04/z112.xml 2.13 2.31 2.27 2.36 2.780.02
Zantema_04/z113.xml 2.42 2.48 2.50 2.59 3.690.03
Zantema_04/z114.xml 2.860.02 2.910.02 3.020.02 2.910.02 3.650.02
Zantema_04/z115.xml 3.080.02 3.400.02 3.080.02 3.490.02 3.450.02
Zantema_04/z116.xml 2.600.02 2.870.01 2.820.02 2.930.02 2.730.01
Zantema_04/z117.xml 3.710.03 3.780.03 4.550.03 4.620.02 7.850.04
Zantema_04/z118.xml 3.140.02 3.270.02 3.280.02 3.370.02 3.340.02
Zantema_04/z119.xml 3.15 3.24 3.620.04 3.540.04 4.950.04
Zantema_04/z120.xml 2.68 2.87 3.05 3.15 5.910.04
Zantema_04/z121.xml 2.93 3.22 3.49 3.60 3.290.02
Zantema_04/z122.xml 3.290.03 3.450.03 3.660.04 3.760.04 3.730.03
Zantema_04/z123.xml 2.04 2.10 2.27 2.49 5.580.04
Zantema_04/z124.xml 4.340.08 3.490.05 4.500.08 3.760.06 4.000.05
Zantema_04/z125.xml 2.69 2.84 3.54 3.75 4.720.02
Zantema_04/z126.xml 1.90 2.06 2.06 2.22 3.920.01
Zantema_04/z127.xml 3.15 3.28 3.55 3.74 60.00
Zantema_04/z128.xml 7.74 7.89 7.06 7.11 8.920.01
Zantema_05/jw01.xml 1.91 1.81 1.86 1.96 3.000.01
Zantema_05/jw02.xml 1.92 2.02 2.12 2.29 3.100.02
Zantema_05/jw03.xml 1.93 1.98 21.91 22.00 3.090.01
Zantema_05/jw04.xml 1.91 1.98 21.19 21.20 3.060.01
Zantema_05/jw05.xml 1.93 2.05 1.90 1.90 3.030.02
Zantema_05/jw06.xml 1.66 1.74 2.11 1.91 3.020.01
Zantema_05/jw07.xml 1.80 1.95 2.15 2.11 3.030.01
Zantema_05/jw08.xml 1.92 1.98 2.14 2.17 3.080.02
Zantema_05/jw09.xml 2.10 2.20 2.18 2.28 3.110.01
Zantema_05/jw11.xml 2.470.01 2.370.01 2.610.01 2.380.01 2.750.01
Zantema_05/jw12.xml 2.460.01 2.360.01 2.560.01 2.380.01 2.770.01
Zantema_05/jw13.xml 1.92 2.03 1.86 2.14 3.110.01
Zantema_05/jw14.xml 2.270.01 2.260.01 2.270.01 2.280.01 2.560.01
Zantema_05/jw15.xml 2.10 2.29 21.90 22.00 2.880.01
Zantema_05/jw16.xml 2.03 2.08 2.14 2.40 3.070.01
Zantema_05/jw17.xml 2.03 2.08 2.16 2.27 3.310.02
Zantema_05/jw18.xml 1.19 1.32 2.17 2.18 3.040.01
Zantema_05/jw19.xml 1.92 1.96 2.07 2.13 3.920.02
Zantema_05/jw20.xml 2.34 2.44 24.46 24.66 3.080.01
Zantema_05/jw21.xml 1.95 2.04 2.10 2.28 2.990.01
Zantema_05/jw22.xml 1.94 2.06 2.11 2.16 3.130.02
Zantema_05/jw23.xml 19.80 19.90 21.96 21.96 3.040.01
Zantema_05/jw24.xml 2.15 2.20 24.70 24.72 3.060.01
Zantema_05/jw25.xml 2.13 2.24 26.72 27.06 3.120.01
Zantema_05/jw26.xml 22.00 22.19 21.15 21.41 2.970.01
Zantema_05/jw27.xml 1.97 2.05 2.12 2.03 3.100.02
Zantema_05/jw28.xml 1.95 2.02 2.11 2.01 3.060.01
Zantema_05/jw29.xml 2.39 2.33 24.19 24.61 2.970.01
Zantema_05/jw30.xml 1.92 2.00 2.08 2.45 3.820.02
Zantema_05/jw31.xml 1.19 1.42 2.17 2.16 3.020.01
Zantema_05/jw32.xml 2.01 2.10 2.15 2.50 3.240.02
Zantema_05/jw33.xml 2.03 2.14 2.16 2.32 2.970.01
Zantema_05/jw34.xml 2.18 2.33 21.16 21.43 3.070.01
Zantema_05/jw35.xml 2.270.01 2.260.01 2.260.01 2.420.01 2.560.01
Zantema_05/jw36.xml 1.93 2.03 2.08 2.31 3.120.01
Zantema_05/jw37.xml 2.460.01 2.350.01 2.620.01 2.440.01 2.770.01
Zantema_05/jw38.xml 2.460.01 2.350.01 2.580.01 2.410.01 2.760.01
Zantema_05/jw39.xml 2.10 2.15 2.15 2.54 3.130.02
Zantema_05/jw40.xml 1.97 2.10 2.13 2.32 3.180.01
Zantema_05/jw41.xml 1.94 1.98 2.15 2.16 3.090.02
Zantema_05/jw42.xml 1.90 2.00 1.85 2.14 2.960.01
Zantema_05/jw43.xml 60.00 60.00 2.710.01 2.510.01 2.750.01
Zantema_05/jw44.xml 2.470.01 2.360.01 2.540.01 2.360.01 2.760.01
Zantema_05/jw47.xml 2.460.01 2.360.01 2.560.01 2.380.01 2.760.01
Zantema_05/jw50.xml 60.00 60.00 2.710.01 2.520.01 2.810.01
Zantema_05/z01.xml 2.15 2.21 2.34 2.45 60.00
Zantema_05/z02.xml 1.93 1.96 1.84 1.87 60.00
Zantema_05/z03.xml 2.04 2.17 1.95 2.27 20.360.04
Zantema_05/z04.xml 1.54 2.450.01 2.580.01 2.420.01 2.810.01
Zantema_05/z05.xml 60.00 60.00 60.00 60.00 60.00
Zantema_05/z06.xml 2.11 2.21 2.770.02 2.810.02 3.430.02
Zantema_05/z07.xml 2.55 2.33 2.80 2.69 18.510.03
Zantema_05/z08.xml 1.74 1.89 1.85 2.20 3.770.02
Zantema_05/z09.xml 1.88 2.07 2.13 2.24 17.11
Zantema_05/z10.xml 1.84 2.07 1.91 2.25 18.77
Zantema_05/z11.xml 2.65 2.69 2.950.04 2.980.04 5.290.04
Zantema_05/z12.xml 3.38 3.49 3.64 3.62 60.00
Zantema_05/z13.xml 1.97 2.10 2.20 2.29 60.00
Zantema_05/z14.xml 2.05 2.13 2.24 2.28 60.00
Zantema_05/z15.xml 2.40 2.39 2.69 2.69 60.00
Zantema_05/z16.xml 2.01 2.11 2.15 2.29 60.00
Zantema_05/z17.xml 2.23 2.29 2.34 2.35 60.00
Zantema_05/z18.xml 2.23 2.33 2.66 2.70 60.00
Zantema_05/z19.xml 2.63 2.79 2.50 2.48 60.00
Zantema_05/z20.xml 3.29 3.34 3.69 3.94 60.00
Zantema_05/z21.xml 4.93 5.22 5.76 6.03 60.00
Zantema_05/z22.xml 3.58 3.70 4.35 4.51 60.00
Zantema_05/z23.xml 11.79 11.74 9.10 9.21 60.00
Zantema_05/z24.xml 5.04 5.24 4.49 4.44 60.00
Zantema_05/z25.xml 60.00 60.00 60.00 60.00 9.870.05
Zantema_05/z26.xml 6.92 6.90 8.51 8.66 5.790.05
Zantema_05/z27.xml 1.44 1.42 1.49 1.39 3.34
Zantema_05/z28.xml 1.70 1.75 2.06 2.14 60.00
Zantema_05/z29.xml 1.75 2.690.02 2.860.02 2.800.02 6.360.03
Zantema_05/z30.xml 3.47 3.59 3.46 3.40 60.00
Zantema_06/01.xml 2.05 2.760.02 2.830.02 2.750.02 4.510.02
Zantema_06/02.xml 2.19 2.26 2.35 2.39 3.950.02
Zantema_06/03.xml 2.60 2.25 2.57 2.45 30.450.04
Zantema_06/04.xml 3.380.02 3.590.02 3.320.02 3.470.02 5.160.02
Zantema_06/05.xml 2.23 2.26 2.49 2.46 31.980.04
Zantema_06/06.xml 3.44 3.14 3.06 3.51 6.820.03
Zantema_06/07.xml 2.33 2.49 2.65 2.82 60.00
Zantema_06/08.xml 2.54 2.71 2.77 2.88 60.00
Zantema_06/09.xml 5.62 5.78 16.60 16.40 9.840.05
Zantema_06/10.xml 3.300.03 3.430.03 3.220.03 3.540.03 4.570.03
Zantema_06/11.xml 60.00 60.00 60.00 60.00 5.810.04
Zantema_06/12.xml 60.00 60.00 60.00 60.00 22.240.04
Zantema_06/13.xml 4.17 4.41 5.50 5.74 8.520.03
Zantema_06/14.xml 2.10 2.28 2.25 2.36 8.160.05
Zantema_06/15.xml 4.62 4.73 6.56 6.41 60.00
Zantema_06/16.xml 4.26 3.94 4.88 5.04 32.350.14
Zantema_06/17.xml 5.83 5.96 8.39 8.55 24.680.10
Zantema_06/18.xml 11.91 12.01 13.60 13.58 60.00
Zantema_06/abc.xml 1.93 2.03 2.24 2.36 6.340.08
Zantema_06/beans1.xml 3.790.05 3.920.04 3.830.06 3.770.06 5.080.05
Zantema_06/beans2.xml 6.20 6.29 9.25 9.35 3.520.03
Zantema_06/beans3.xml 5.72 5.96 4.68 4.85 6.330.05
Zantema_06/beans4.xml 3.460.03 3.510.03 3.450.04 3.530.04 4.410.02
Zantema_06/beans5.xml 2.10 2.06 2.11 2.34 4.440.02
Zantema_06/beans6.xml 2.21 2.32 2.37 2.58 9.400.03
Zantema_06/beans7.xml 3.09 3.19 2.51 2.57 5.730.04
Zantema_06/loop1.xml 1.59 1.75 1.77 2.04 7.170.01
Zantema_06/loop2.xml 1.70 1.74 1.75 1.85 5.680.01
Zantema_06/while1.xml 44.01 44.00 47.36 47.31 60.00
Zantema_06/while2.xml 6.69 6.80 6.12 6.04 10.210.02