AG01/3.1.trs |
YES |
0.24 |
0.08 |
0.08 |
0.09 |
0.09 |
AG01/3.10.trs |
YES |
1.15 |
1.17 |
1.71 |
2.46 |
1.76 |
AG01/3.12.trs |
YES |
0.07 |
0.11 |
0.19 |
0.11 |
0.19 |
AG01/3.13.trs |
YES |
0.26 |
0.30 |
0.47 |
0.33 |
0.43 |
AG01/3.15.trs |
YES |
0.38 |
0.39 |
0.44 |
0.44 |
0.38 |
AG01/3.16.trs |
YES |
0.10 |
0.14 |
0.14 |
0.15 |
0.15 |
AG01/3.17.trs |
YES |
0.50 |
0.56 |
0.64 |
0.57 |
0.64 |
AG01/3.17a.trs |
YES |
0.55 |
0.62 |
0.69 |
0.63 |
0.70 |
AG01/3.18.trs |
YES |
0.07 |
0.09 |
0.10 |
0.10 |
0.10 |
AG01/3.19.trs |
YES |
0.11 |
0.14 |
0.14 |
0.14 |
0.15 |
AG01/3.2.trs |
YES |
0.05 |
0.06 |
0.06 |
0.06 |
0.06 |
AG01/3.21.trs |
YES |
0.05 |
0.05 |
0.05 |
0.05 |
0.05 |
AG01/3.22.trs |
YES |
0.13 |
0.14 |
0.15 |
0.15 |
0.15 |
AG01/3.23.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
AG01/3.24.trs |
YES |
0.02 |
0.01 |
0.02 |
0.01 |
0.02 |
AG01/3.26.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
AG01/3.29.trs |
YES |
0.03 |
0.05 |
0.05 |
0.05 |
0.06 |
AG01/3.31.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
AG01/3.33.trs |
YES |
0.00 |
0.00 |
0.00 |
0.00 |
0.00 |
AG01/3.35.trs |
YES |
0.06 |
0.07 |
0.08 |
0.09 |
0.11 |
AG01/3.36.trs |
YES |
0.08 |
0.10 |
0.10 |
0.10 |
0.10 |
AG01/3.37.trs |
YES |
0.30 |
0.35 |
0.36 |
0.35 |
0.36 |
AG01/3.38.trs |
YES |
0.09 |
0.15 |
0.24 |
0.15 |
0.24 |
AG01/3.39.trs |
YES |
0.11 |
0.15 |
0.15 |
0.15 |
0.15 |
AG01/3.4.trs |
YES |
0.45 |
0.45 |
0.45 |
0.45 |
0.52 |
AG01/3.40.trs |
YES |
0.61 |
0.69 |
0.69 |
0.65 |
0.66 |
AG01/3.41.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
AG01/3.42.trs |
YES |
0.02 |
0.03 |
0.03 |
0.03 |
0.03 |
AG01/3.47.trs |
YES |
0.45 |
0.46 |
0.46 |
0.46 |
0.45 |
AG01/3.48.trs |
YES |
0.06 |
0.06 |
0.06 |
0.06 |
0.06 |
AG01/3.49.trs |
YES |
0.42 |
0.52 |
0.47 |
0.52 |
0.53 |
AG01/3.5.trs |
YES |
0.12 |
0.16 |
0.17 |
0.17 |
0.17 |
AG01/3.51.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
AG01/3.52.trs |
YES |
0.28 |
0.32 |
0.35 |
0.33 |
0.36 |
AG01/3.53.trs |
YES |
0.83 |
0.93 |
1.00 |
0.90 |
0.98 |
AG01/3.53a.trs |
YES |
0.03 |
0.05 |
0.06 |
0.05 |
0.06 |
AG01/3.53b.trs |
YES |
0.28 |
0.32 |
0.35 |
0.33 |
0.36 |
AG01/3.54.trs |
YES |
0.04 |
0.06 |
0.06 |
0.06 |
0.07 |
AG01/3.55.trs |
YES |
1.39 |
1.48 |
1.19 |
1.09 |
1.55 |
AG01/3.56.trs |
YES |
0.08 |
0.12 |
0.13 |
0.13 |
0.14 |
AG01/3.57.trs |
YES |
1.26 |
1.30 |
1.40 |
1.30 |
1.48 |
AG01/3.5a.trs |
YES |
0.11 |
0.14 |
0.15 |
0.15 |
0.15 |
AG01/3.5b.trs |
YES |
0.50 |
0.54 |
0.55 |
0.55 |
0.55 |
AG01/3.6.trs |
YES |
0.12 |
0.16 |
0.15 |
0.16 |
0.16 |
AG01/3.6a.trs |
YES |
0.13 |
0.17 |
0.17 |
0.18 |
0.19 |
AG01/3.6b.trs |
YES |
0.50 |
0.57 |
0.58 |
0.56 |
0.55 |
AG01/3.7.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
AG01/3.8a.trs |
YES |
0.41 |
0.45 |
0.46 |
0.43 |
0.43 |
AG01/3.8b.trs |
YES |
0.52 |
0.55 |
0.55 |
0.57 |
0.57 |
AG01/4.30c.trs |
YES |
0.10 |
0.14 |
0.14 |
0.15 |
0.15 |
AotoYamada_05/001.trs |
NO |
0.04 |
0.05 |
0.05 |
0.05 |
0.05 |
AotoYamada_05/002.trs |
YES |
0.35 |
0.37 |
0.37 |
0.37 |
0.38 |
AotoYamada_05/003.trs |
NO |
0.19 |
0.20 |
0.20 |
0.20 |
0.21 |
AotoYamada_05/004.trs |
YES |
0.16 |
0.16 |
0.17 |
0.16 |
0.17 |
AotoYamada_05/005.trs |
YES |
0.07 |
0.07 |
0.07 |
0.07 |
0.07 |
AotoYamada_05/006.trs |
YES |
0.61 |
0.63 |
0.65 |
0.63 |
0.66 |
AotoYamada_05/007.trs |
YES |
0.15 |
0.16 |
0.16 |
0.16 |
0.16 |
AotoYamada_05/009.trs |
YES |
0.24 |
0.25 |
0.26 |
0.25 |
0.26 |
AotoYamada_05/010.trs |
YES |
0.29 |
0.30 |
0.30 |
0.30 |
0.30 |
AotoYamada_05/011.trs |
YES |
0.17 |
0.18 |
0.18 |
0.18 |
0.18 |
AotoYamada_05/012.trs |
YES |
0.24 |
0.25 |
0.26 |
0.25 |
0.26 |
AotoYamada_05/013.trs |
YES |
0.39 |
0.40 |
0.41 |
0.41 |
0.42 |
AotoYamada_05/014.trs |
YES |
0.27 |
0.28 |
0.28 |
0.28 |
0.29 |
AotoYamada_05/015.trs |
YES |
0.50 |
0.52 |
0.53 |
0.52 |
0.53 |
AotoYamada_05/016.trs |
YES |
0.38 |
0.41 |
0.41 |
0.40 |
0.42 |
AotoYamada_05/017.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
AotoYamada_05/019.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
AotoYamada_05/020.trs |
YES |
0.18 |
0.19 |
0.19 |
0.19 |
0.19 |
AotoYamada_05/021.trs |
YES |
0.30 |
0.31 |
0.32 |
0.31 |
0.32 |
AotoYamada_05/022.trs |
YES |
0.24 |
0.24 |
0.25 |
0.24 |
0.25 |
AotoYamada_05/023.trs |
YES |
0.05 |
0.05 |
0.05 |
0.05 |
0.05 |
AotoYamada_05/024.trs |
YES |
0.12 |
0.13 |
0.13 |
0.12 |
0.13 |
AotoYamada_05/025.trs |
YES |
0.05 |
0.20 |
0.23 |
0.21 |
0.24 |
AotoYamada_05/026.trs |
YES |
0.14 |
0.15 |
0.15 |
0.15 |
0.15 |
AotoYamada_05/027.trs |
YES |
0.17 |
0.17 |
0.18 |
0.17 |
0.18 |
AotoYamada_05/028.trs |
YES |
0.23 |
0.24 |
0.24 |
0.24 |
0.24 |
AotoYamada_05/Ex1SimplyTyped.trs |
YES |
0.16 |
0.16 |
0.16 |
0.16 |
0.16 |
AotoYamada_05/Ex5TermProof.trs |
MAYBE |
0.30 |
0.31 |
0.32 |
0.31 |
0.32 |
Applicative_05/BTreeMember.trs |
YES |
2.83 |
2.92 |
3.20 |
2.96 |
3.03 |
Applicative_05/Ex10Functional.trs |
MAYBE |
0.65 |
0.66 |
0.69 |
0.67 |
0.69 |
Applicative_05/Ex2_6_1Composition.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Applicative_05/Ex2_8_1ConstSubstFix.trs |
NO |
0.05 |
0.05 |
0.06 |
0.06 |
0.06 |
Applicative_05/Ex2PrimRec.trs |
MAYBE |
0.12 |
0.12 |
0.13 |
0.13 |
0.13 |
Applicative_05/Ex3Lists.trs |
YES |
0.54 |
0.54 |
0.56 |
0.55 |
0.56 |
Applicative_05/Ex4MapList.trs |
YES |
0.20 |
0.20 |
0.21 |
0.21 |
0.21 |
Applicative_05/Ex5Folding.trs |
MAYBE |
0.35 |
0.36 |
0.37 |
0.37 |
0.38 |
Applicative_05/Ex5Sorting.trs |
MAYBE |
2.22 |
2.26 |
2.30 |
2.30 |
2.34 |
Applicative_05/Ex6_11.trs |
YES |
0.25 |
0.26 |
0.27 |
0.27 |
0.27 |
Applicative_05/Ex6Folding.trs |
MAYBE |
0.25 |
0.25 |
0.26 |
0.25 |
0.26 |
Applicative_05/Ex6Recursor.trs |
MAYBE |
0.16 |
0.16 |
0.16 |
0.16 |
0.16 |
Applicative_05/Ex7_9.trs |
YES |
1.39 |
1.47 |
1.50 |
1.48 |
1.51 |
Applicative_05/Ex7OrdinalRec.trs |
MAYBE |
1.60 |
1.64 |
1.70 |
1.67 |
1.71 |
Applicative_05/Ex7Sorting.trs |
MAYBE |
2.23 |
2.26 |
2.34 |
2.31 |
2.36 |
Applicative_05/Ex8Polymorphic.trs |
YES |
0.36 |
0.36 |
0.37 |
0.37 |
0.38 |
Applicative_05/Ex9Maps.trs |
YES |
1.75 |
1.81 |
1.85 |
1.81 |
1.86 |
Applicative_05/Hamming.trs |
NO |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Applicative_05/mapDivMinus.trs |
YES |
0.35 |
0.36 |
0.37 |
0.36 |
0.37 |
Applicative_05/mapDivMinusHard.trs |
YES |
0.47 |
0.49 |
0.50 |
0.49 |
0.50 |
Applicative_05/nonTermF.trs |
NO |
0.24 |
0.25 |
0.26 |
0.25 |
0.26 |
Applicative_05/ReverseLastInit.trs |
YES |
0.15 |
0.17 |
0.15 |
0.17 |
0.15 |
Applicative_05/TakeDropWhile.trs |
YES |
0.57 |
0.58 |
0.60 |
0.59 |
0.61 |
Applicative_05/termMonTypes.trs |
NO |
0.10 |
0.10 |
0.10 |
0.10 |
0.10 |
Applicative_05/TreeFlatten.trs |
YES |
0.49 |
0.50 |
0.51 |
0.50 |
0.52 |
Applicative_05/TreeHeight.trs |
YES |
0.49 |
0.50 |
0.52 |
0.51 |
0.52 |
Applicative_05/TreeLevels.trs |
YES |
1.25 |
1.27 |
1.31 |
1.27 |
1.32 |
Applicative_05/TreeMap.trs |
YES |
0.32 |
0.33 |
0.34 |
0.33 |
0.34 |
Applicative_05/TreeSize.trs |
YES |
0.30 |
0.31 |
0.32 |
0.31 |
0.32 |
Applicative_05/TypeEx1.trs |
YES |
0.06 |
0.06 |
0.06 |
0.06 |
0.06 |
Applicative_05/TypeEx3.trs |
NO |
0.23 |
0.23 |
0.24 |
0.23 |
0.24 |
Applicative_05/TypeEx5.trs |
NO |
0.28 |
0.29 |
0.31 |
0.29 |
0.31 |
Applicative_first_order_05/3.10.trs |
YES |
7.21 |
7.45 |
7.60 |
7.44 |
7.68 |
Applicative_first_order_05/3.13.trs |
YES |
47.42 |
51.53 |
51.51 |
50.83 |
51.79 |
Applicative_first_order_05/3.16.trs |
YES |
0.72 |
0.74 |
0.76 |
0.74 |
0.77 |
Applicative_first_order_05/3.18.trs |
YES |
1.15 |
1.26 |
1.29 |
1.27 |
1.29 |
Applicative_first_order_05/3.2.trs |
YES |
0.84 |
0.85 |
0.87 |
0.86 |
0.88 |
Applicative_first_order_05/3.22.trs |
YES |
2.28 |
2.37 |
2.46 |
2.35 |
2.45 |
Applicative_first_order_05/3.25.trs |
YES |
0.60 |
0.62 |
0.64 |
0.61 |
0.63 |
Applicative_first_order_05/3.27.trs |
YES |
0.59 |
0.61 |
0.62 |
0.61 |
0.63 |
Applicative_first_order_05/3.32.trs |
YES |
0.61 |
0.62 |
0.63 |
0.63 |
0.64 |
Applicative_first_order_05/3.36.trs |
YES |
0.73 |
0.75 |
0.77 |
0.75 |
0.78 |
Applicative_first_order_05/3.38.trs |
YES |
1.04 |
1.05 |
1.09 |
1.06 |
1.10 |
Applicative_first_order_05/3.40.trs |
YES |
5.16 |
5.37 |
5.37 |
5.27 |
5.41 |
Applicative_first_order_05/3.45.trs |
YES |
1.27 |
1.42 |
1.44 |
1.42 |
1.45 |
Applicative_first_order_05/3.48.trs |
YES |
1.45 |
1.58 |
1.61 |
1.58 |
1.62 |
Applicative_first_order_05/3.52.trs |
YES |
0.91 |
0.93 |
0.94 |
0.92 |
0.96 |
Applicative_first_order_05/3.55.trs |
YES |
2.70 |
2.76 |
2.84 |
2.76 |
2.85 |
Applicative_first_order_05/3.57.trs |
YES |
5.10 |
5.11 |
5.28 |
5.14 |
5.33 |
Applicative_first_order_05/3.6.trs |
YES |
1.60 |
1.64 |
1.67 |
1.65 |
1.68 |
Applicative_first_order_05/3.8.trs |
YES |
1.27 |
1.30 |
1.35 |
1.31 |
1.35 |
Applicative_first_order_05/01.trs |
YES |
0.61 |
0.62 |
0.64 |
0.62 |
0.64 |
Applicative_first_order_05/02.trs |
YES |
0.61 |
0.62 |
0.63 |
0.62 |
0.64 |
Applicative_first_order_05/06.trs |
YES |
0.89 |
0.99 |
1.01 |
1.01 |
1.01 |
Applicative_first_order_05/08.trs |
YES |
1.00 |
1.02 |
1.04 |
1.02 |
1.05 |
Applicative_first_order_05/11.trs |
YES |
3.70 |
3.73 |
3.90 |
3.79 |
3.93 |
Applicative_first_order_05/12.trs |
YES |
1.32 |
1.33 |
1.36 |
1.34 |
1.38 |
Applicative_first_order_05/13.trs |
YES |
1.39 |
1.41 |
1.43 |
1.43 |
1.46 |
Applicative_first_order_05/17.trs |
YES |
0.80 |
0.81 |
0.84 |
0.82 |
0.84 |
Applicative_first_order_05/18.trs |
YES |
0.80 |
0.80 |
0.83 |
0.82 |
0.84 |
Applicative_first_order_05/21.trs |
YES |
0.81 |
0.82 |
0.85 |
0.83 |
0.84 |
Applicative_first_order_05/29.trs |
YES |
0.77 |
0.79 |
0.80 |
0.78 |
0.81 |
Applicative_first_order_05/30.trs |
YES |
60.10 |
60.10 |
60.04 |
60.40 |
60.04 |
Applicative_first_order_05/31.trs |
YES |
1.37 |
1.40 |
1.46 |
1.43 |
1.45 |
Applicative_first_order_05/33.trs |
MAYBE |
3.36 |
3.43 |
3.52 |
3.43 |
3.52 |
Applicative_first_order_05/hydra.trs |
YES |
1.52 |
1.55 |
1.59 |
1.56 |
1.59 |
Applicative_first_order_05/minsort.trs |
MAYBE |
2.35 |
2.46 |
2.49 |
2.43 |
2.51 |
Applicative_first_order_05/motivation.trs |
YES |
0.67 |
0.69 |
0.71 |
0.69 |
0.71 |
Applicative_first_order_05/perfect.trs |
YES |
18.48 |
19.94 |
20.17 |
19.95 |
20.37 |
Applicative_first_order_05/perfect2.trs |
YES |
18.49 |
19.67 |
20.09 |
19.80 |
20.33 |
AProVE_04/AAECC.trs |
YES |
0.42 |
0.62 |
0.92 |
0.62 |
0.96 |
AProVE_04/AAECC-ring.trs |
YES |
4.61 |
3.64 |
4.54 |
3.46 |
4.17 |
AProVE_04/fac.trs |
YES |
0.07 |
0.09 |
0.09 |
0.09 |
0.09 |
AProVE_04/forward_instantiation.trs |
YES |
0.05 |
0.05 |
0.05 |
0.05 |
0.05 |
AProVE_04/forward_instantiation2.trs |
YES |
0.05 |
0.05 |
0.05 |
0.05 |
0.05 |
AProVE_04/IJCAR_1.trs |
YES |
0.41 |
0.48 |
0.72 |
0.54 |
0.72 |
AProVE_04/IJCAR_12.trs |
YES |
0.28 |
0.58 |
0.46 |
0.36 |
0.83 |
AProVE_04/IJCAR_18.trs |
YES |
0.95 |
0.82 |
0.97 |
1.23 |
0.97 |
AProVE_04/IJCAR_26.trs |
YES |
0.87 |
2.09 |
2.41 |
2.14 |
2.41 |
AProVE_04/IJCAR_26a.trs |
YES |
0.88 |
2.09 |
2.43 |
2.14 |
2.41 |
AProVE_04/improved_usable.trs |
YES |
0.02 |
0.02 |
0.02 |
0.03 |
0.03 |
AProVE_04/improved_usable2.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
AProVE_04/JFP_Ex31.trs |
MAYBE |
0.20 |
0.24 |
0.23 |
0.20 |
0.21 |
AProVE_04/JFP_Ex51.trs |
YES |
0.19 |
0.33 |
0.33 |
0.32 |
0.35 |
AProVE_04/Liveness_WRS.trs |
YES |
0.11 |
0.12 |
0.15 |
0.11 |
0.15 |
AProVE_04/Liveness6.1.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
AProVE_04/Liveness6.2.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
AProVE_04/Liveness6.3.trs |
YES |
0.07 |
0.06 |
0.06 |
0.08 |
0.09 |
AProVE_04/Liveness6.4.trs |
YES |
0.09 |
0.10 |
0.10 |
0.10 |
0.12 |
AProVE_04/Liveness8.trs |
YES |
0.16 |
0.17 |
0.16 |
0.21 |
0.21 |
AProVE_04/LPAR_intlist.trs |
YES |
0.11 |
0.13 |
0.14 |
0.14 |
0.14 |
AProVE_04/rta1.trs |
YES |
0.43 |
0.46 |
0.48 |
0.48 |
0.48 |
AProVE_04/rta2.trs |
YES |
0.07 |
0.09 |
0.09 |
0.09 |
0.09 |
AProVE_04/rta3.trs |
YES |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
AProVE_06/div_notCeTermin.trs |
YES |
0.98 |
1.16 |
1.30 |
1.18 |
1.33 |
AProVE_06/div_notTermin.trs |
MAYBE |
1.02 |
1.20 |
1.34 |
1.20 |
1.37 |
AProVE_06/factorial1.trs |
YES |
0.27 |
0.29 |
0.38 |
0.29 |
0.38 |
AProVE_06/factorial2.trs |
YES |
0.11 |
0.15 |
0.15 |
0.15 |
0.15 |
AProVE_06/identity.trs |
YES |
0.50 |
0.53 |
0.57 |
0.54 |
0.58 |
AProVE_06/logarithm.trs |
YES |
0.50 |
0.58 |
0.58 |
0.55 |
0.56 |
AProVE_06/mapHard.trs |
YES |
0.61 |
0.63 |
0.64 |
0.62 |
0.64 |
AProVE_06/modulo.trs |
YES |
0.12 |
0.16 |
0.16 |
0.17 |
0.17 |
AProVE_06/nonterm.trs |
NO |
0.07 |
0.08 |
0.08 |
0.07 |
0.08 |
AProVE_06/quicksort.trs |
YES |
0.96 |
1.02 |
1.10 |
1.01 |
1.09 |
AProVE_06/quot.trs |
YES |
0.12 |
0.16 |
0.16 |
0.16 |
0.17 |
AProVE_06/sizeChange.trs |
YES |
0.43 |
0.46 |
0.41 |
0.46 |
0.41 |
AProVE_06/tower.trs |
YES |
0.27 |
0.29 |
0.38 |
0.29 |
0.38 |
AProVE_06/tower_sizeChange.trs |
YES |
0.04 |
0.04 |
0.05 |
0.04 |
0.05 |
AProVE_07/kabasci01.trs |
YES |
0.28 |
0.32 |
0.32 |
0.33 |
0.37 |
AProVE_07/kabasci02.trs |
YES |
0.77 |
1.90 |
2.20 |
1.94 |
2.21 |
AProVE_07/kabasci03.trs |
YES |
0.31 |
0.38 |
0.40 |
0.40 |
0.41 |
AProVE_07/kabasci04.trs |
YES |
0.50 |
0.55 |
0.54 |
0.54 |
0.54 |
AProVE_07/kabasci05.trs |
YES |
0.19 |
0.25 |
0.26 |
0.27 |
0.27 |
AProVE_07/kabasci06.trs |
YES |
0.58 |
0.60 |
0.61 |
0.59 |
0.61 |
AProVE_07/otto01.trs |
YES |
0.24 |
0.33 |
0.40 |
0.34 |
0.42 |
AProVE_07/otto02.trs |
YES |
0.45 |
0.49 |
0.53 |
0.49 |
0.53 |
AProVE_07/otto03.trs |
YES |
0.07 |
0.09 |
0.09 |
0.09 |
0.09 |
AProVE_07/otto04.trs |
YES |
0.11 |
0.13 |
0.14 |
0.14 |
0.14 |
AProVE_07/otto05.trs |
YES |
0.08 |
0.10 |
0.10 |
0.11 |
0.11 |
AProVE_07/otto06.trs |
YES |
0.15 |
0.18 |
0.19 |
0.18 |
0.19 |
AProVE_07/otto07.trs |
YES |
0.07 |
0.09 |
0.09 |
0.09 |
0.09 |
AProVE_07/otto08.trs |
YES |
0.15 |
0.21 |
0.22 |
0.22 |
0.22 |
AProVE_07/otto09.trs |
YES |
0.12 |
0.16 |
0.16 |
0.16 |
0.16 |
AProVE_07/otto10.trs |
YES |
0.19 |
0.25 |
0.34 |
0.26 |
0.34 |
AProVE_07/otto11.trs |
YES |
0.14 |
0.20 |
0.20 |
0.20 |
0.21 |
AProVE_07/otto12.trs |
YES |
0.19 |
0.24 |
0.25 |
0.24 |
0.25 |
AProVE_07/otto13.trs |
YES |
0.16 |
0.21 |
0.21 |
0.23 |
0.23 |
AProVE_07/thiemann01.trs |
YES |
0.13 |
0.17 |
0.17 |
0.18 |
0.18 |
AProVE_07/thiemann02.trs |
YES |
1.11 |
1.20 |
1.31 |
2.01 |
1.31 |
AProVE_07/thiemann03.trs |
YES |
0.10 |
0.15 |
0.23 |
0.15 |
0.23 |
AProVE_07/thiemann04.trs |
YES |
0.39 |
0.46 |
0.68 |
0.51 |
0.66 |
AProVE_07/thiemann05.trs |
YES |
0.09 |
0.14 |
0.22 |
0.14 |
0.22 |
AProVE_07/thiemann06.trs |
YES |
0.14 |
0.26 |
0.28 |
0.32 |
0.31 |
AProVE_07/thiemann07.trs |
YES |
0.28 |
0.32 |
0.48 |
0.34 |
0.50 |
AProVE_07/thiemann08.trs |
YES |
0.33 |
0.34 |
0.34 |
0.34 |
0.34 |
AProVE_07/thiemann09.trs |
YES |
0.07 |
0.08 |
0.08 |
0.08 |
0.08 |
AProVE_07/thiemann10.trs |
YES |
0.05 |
0.05 |
0.05 |
0.05 |
0.05 |
AProVE_07/thiemann11.trs |
YES |
0.24 |
0.31 |
0.33 |
0.30 |
0.33 |
AProVE_07/thiemann12.trs |
YES |
0.09 |
0.11 |
0.12 |
0.12 |
0.13 |
AProVE_07/thiemann13.trs |
YES |
0.52 |
0.61 |
0.59 |
0.59 |
0.63 |
AProVE_07/thiemann14.trs |
YES |
0.18 |
0.18 |
0.23 |
0.19 |
0.23 |
AProVE_07/thiemann15.trs |
YES |
0.04 |
0.05 |
0.05 |
0.04 |
0.05 |
AProVE_07/thiemann16.trs |
YES |
0.09 |
0.10 |
0.11 |
0.10 |
0.10 |
AProVE_07/thiemann17.trs |
YES |
0.51 |
0.90 |
0.91 |
0.90 |
0.92 |
AProVE_07/thiemann18.trs |
YES |
0.68 |
0.67 |
0.68 |
0.69 |
0.70 |
AProVE_07/thiemann19.trs |
YES |
0.07 |
0.09 |
0.10 |
0.10 |
0.10 |
AProVE_07/thiemann20.trs |
YES |
0.10 |
0.14 |
0.14 |
0.14 |
0.14 |
AProVE_07/thiemann21.trs |
MAYBE |
0.12 |
1.44 |
1.45 |
1.45 |
1.48 |
AProVE_07/thiemann22.trs |
YES |
0.11 |
0.13 |
0.14 |
0.14 |
0.15 |
AProVE_07/thiemann23.trs |
YES |
0.07 |
0.09 |
0.10 |
0.10 |
0.10 |
AProVE_07/thiemann24.trs |
YES |
0.14 |
0.18 |
0.19 |
0.19 |
0.19 |
AProVE_07/thiemann25.trs |
YES |
0.12 |
0.15 |
0.15 |
0.15 |
0.15 |
AProVE_07/thiemann26.trs |
MAYBE |
0.14 |
0.18 |
0.18 |
0.19 |
0.19 |
AProVE_07/thiemann27.trs |
YES |
0.07 |
0.09 |
0.09 |
0.09 |
0.09 |
AProVE_07/thiemann28.trs |
NO |
0.12 |
0.16 |
0.16 |
0.17 |
0.17 |
AProVE_07/thiemann29.trs |
YES |
0.21 |
0.23 |
0.26 |
0.27 |
0.30 |
AProVE_07/thiemann30.trs |
MAYBE |
0.55 |
0.60 |
0.68 |
0.62 |
0.70 |
AProVE_07/thiemann31.trs |
YES |
0.17 |
0.19 |
0.21 |
0.20 |
0.24 |
AProVE_07/thiemann32.trs |
YES |
0.13 |
0.19 |
0.21 |
0.19 |
0.21 |
AProVE_07/thiemann33.trs |
YES |
0.08 |
0.10 |
0.10 |
0.11 |
0.11 |
AProVE_07/thiemann34.trs |
YES |
0.24 |
0.31 |
0.32 |
0.32 |
0.33 |
AProVE_07/thiemann35.trs |
YES |
1.67 |
1.69 |
1.76 |
1.71 |
1.76 |
AProVE_07/thiemann36.trs |
YES |
0.28 |
0.24 |
0.30 |
0.25 |
0.30 |
AProVE_07/thiemann37.trs |
YES |
0.21 |
0.26 |
0.26 |
0.25 |
0.29 |
AProVE_07/thiemann38.trs |
YES |
0.13 |
0.15 |
0.15 |
0.14 |
0.17 |
AProVE_07/thiemann39.trs |
YES |
1.04 |
1.05 |
1.11 |
1.07 |
1.10 |
AProVE_07/thiemann40.trs |
YES |
0.02 |
0.02 |
0.03 |
0.02 |
0.03 |
AProVE_07/thiemann41.trs |
YES |
0.13 |
0.18 |
0.18 |
0.18 |
0.18 |
AProVE_07/wiehe01.trs |
YES |
0.15 |
0.18 |
0.18 |
0.18 |
0.19 |
AProVE_07/wiehe02.trs |
YES |
1.20 |
1.29 |
1.39 |
1.31 |
1.40 |
AProVE_07/wiehe03.trs |
YES |
1.26 |
1.35 |
1.44 |
1.37 |
1.47 |
AProVE_07/wiehe05.trs |
YES |
0.17 |
0.21 |
0.21 |
0.22 |
0.22 |
AProVE_07/wiehe06.trs |
YES |
0.21 |
0.25 |
0.25 |
0.24 |
0.26 |
AProVE_07/wiehe07.trs |
YES |
0.48 |
0.53 |
0.54 |
0.53 |
0.54 |
AProVE_07/wiehe08.trs |
YES |
0.52 |
0.60 |
0.60 |
0.57 |
0.58 |
AProVE_07/wiehe09.trs |
YES |
0.66 |
0.75 |
0.76 |
0.73 |
0.77 |
AProVE_07/wiehe11.trs |
YES |
2.43 |
2.14 |
2.25 |
2.60 |
2.66 |
AProVE_07/wiehe12.trs |
YES |
1.06 |
1.17 |
1.19 |
1.19 |
1.22 |
AProVE_08/id_inc.trs |
YES |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
AProVE_08/log.trs |
YES |
0.05 |
0.06 |
0.06 |
0.06 |
0.06 |
AProVE_08/parting01_reverse.trs |
YES |
0.09 |
0.11 |
0.11 |
0.12 |
0.12 |
AProVE_08/parting02_doublelist.trs |
YES |
0.08 |
0.11 |
0.11 |
0.11 |
0.12 |
AProVE_08/parting03_minsort.trs |
YES |
0.15 |
0.19 |
0.19 |
0.20 |
0.20 |
AProVE_08/parting04_maxsort_h.trs |
YES |
0.17 |
0.22 |
0.23 |
0.22 |
0.23 |
AProVE_08/parting05_maxsort.trs |
YES |
0.16 |
0.21 |
0.21 |
0.21 |
0.22 |
AProVE_08/round.trs |
YES |
0.02 |
0.02 |
0.03 |
0.03 |
0.03 |
AProVE_08/round_nonterm.trs |
NO |
0.02 |
0.02 |
0.02 |
0.02 |
0.03 |
AProVE_08/thiemann40_modified.trs |
YES |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
AProVE_09_Inductive/div.trs |
YES |
0.55 |
0.60 |
0.61 |
0.60 |
0.61 |
AProVE_09_Inductive/divhard.trs |
MAYBE |
0.36 |
0.44 |
0.51 |
0.45 |
0.50 |
AProVE_09_Inductive/gcd.trs |
YES |
0.55 |
0.60 |
0.60 |
0.59 |
0.59 |
AProVE_09_Inductive/gcd2.trs |
YES |
0.57 |
0.64 |
0.65 |
0.64 |
0.65 |
AProVE_09_Inductive/gcdhard.trs |
MAYBE |
0.13 |
0.17 |
0.17 |
0.18 |
0.18 |
AProVE_09_Inductive/log.trs |
MAYBE |
0.07 |
0.10 |
0.10 |
0.10 |
0.10 |
AProVE_09_Inductive/maxsort.trs |
YES |
0.16 |
0.21 |
0.21 |
0.22 |
0.22 |
AProVE_09_Inductive/maxsortcondition.trs |
YES |
0.55 |
0.60 |
0.60 |
0.59 |
0.60 |
AProVE_09_Inductive/minsort.trs |
YES |
0.17 |
0.21 |
0.21 |
0.22 |
0.22 |
AProVE_09_Inductive/mod.trs |
YES |
0.54 |
0.58 |
0.58 |
0.58 |
0.59 |
AProVE_09_Inductive/qsort.trs |
YES |
0.29 |
0.40 |
0.52 |
0.40 |
0.52 |
AProVE_09_Inductive/qsortlast.trs |
YES |
0.30 |
0.41 |
0.53 |
0.42 |
0.53 |
AProVE_09_Inductive/qsortmiddle.trs |
MAYBE |
0.73 |
0.85 |
0.99 |
0.86 |
1.00 |
AProVE_09_Inductive/zerolist.trs |
YES |
0.08 |
0.11 |
0.11 |
0.11 |
0.12 |
AProVE_10/andIsNat.trs |
MAYBE |
0.04 |
0.04 |
0.05 |
0.04 |
0.05 |
AProVE_10/challenge_fab.trs |
MAYBE |
0.05 |
0.06 |
0.07 |
0.06 |
0.06 |
AProVE_10/double.trs |
MAYBE |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
AProVE_10/downfrom.trs |
MAYBE |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
AProVE_10/ex1.trs |
MAYBE |
0.07 |
0.09 |
0.09 |
0.09 |
0.09 |
AProVE_10/ex2.trs |
MAYBE |
0.06 |
0.08 |
0.08 |
0.08 |
0.08 |
AProVE_10/ex3.trs |
MAYBE |
0.03 |
0.02 |
0.03 |
0.02 |
0.03 |
AProVE_10/ex4.trs |
MAYBE |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
AProVE_10/ex5.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
AProVE_10/halfdouble.trs |
MAYBE |
0.08 |
0.10 |
0.10 |
0.11 |
0.11 |
AProVE_10/isList.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
AProVE_10/isNat.trs |
MAYBE |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
AProVE_10/scnp.trs |
YES |
0.37 |
0.38 |
0.38 |
0.36 |
0.36 |
AProVE_10/Zantema06-03-modified.trs |
MAYBE |
0.09 |
0.09 |
0.09 |
0.09 |
0.09 |
Beerendonk_07/1.trs |
YES |
0.06 |
0.08 |
0.08 |
0.09 |
0.09 |
Beerendonk_07/10.trs |
YES |
0.05 |
0.06 |
0.06 |
0.06 |
0.06 |
Beerendonk_07/11.trs |
YES |
0.13 |
0.17 |
0.17 |
0.17 |
0.18 |
Beerendonk_07/12.trs |
YES |
0.08 |
0.10 |
0.10 |
0.10 |
0.10 |
Beerendonk_07/13.trs |
YES |
0.08 |
0.10 |
0.10 |
0.10 |
0.11 |
Beerendonk_07/14.trs |
YES |
0.11 |
0.15 |
0.15 |
0.16 |
0.16 |
Beerendonk_07/15.trs |
YES |
0.15 |
0.20 |
0.21 |
0.19 |
0.22 |
Beerendonk_07/16.trs |
YES |
0.19 |
0.25 |
0.26 |
0.25 |
0.26 |
Beerendonk_07/17.trs |
YES |
0.20 |
0.27 |
0.27 |
0.28 |
0.28 |
Beerendonk_07/18.trs |
YES |
0.15 |
0.18 |
0.20 |
0.19 |
0.20 |
Beerendonk_07/19.trs |
YES |
0.21 |
0.22 |
0.26 |
0.24 |
0.27 |
Beerendonk_07/2.trs |
YES |
0.07 |
0.08 |
0.09 |
0.09 |
0.10 |
Beerendonk_07/20.trs |
YES |
0.15 |
0.19 |
0.20 |
0.20 |
0.21 |
Beerendonk_07/21.trs |
MAYBE |
0.17 |
0.20 |
0.22 |
0.21 |
0.23 |
Beerendonk_07/22.trs |
YES |
0.09 |
0.11 |
0.12 |
0.11 |
0.12 |
Beerendonk_07/23.trs |
YES |
0.11 |
0.13 |
0.12 |
0.13 |
0.13 |
Beerendonk_07/24.trs |
YES |
0.18 |
0.23 |
0.27 |
0.23 |
0.26 |
Beerendonk_07/3.trs |
YES |
0.09 |
0.12 |
0.12 |
0.13 |
0.13 |
Beerendonk_07/4.trs |
YES |
0.06 |
0.08 |
0.08 |
0.09 |
0.08 |
Beerendonk_07/5.trs |
YES |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
Beerendonk_07/6.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Beerendonk_07/7.trs |
YES |
0.02 |
0.02 |
0.02 |
0.03 |
0.03 |
Beerendonk_07/8.trs |
YES |
0.03 |
0.04 |
0.04 |
0.03 |
0.04 |
Beerendonk_07/9.trs |
YES |
0.08 |
0.10 |
0.10 |
0.10 |
0.10 |
CiME_04/ack_prolog.trs |
YES |
0.09 |
0.10 |
0.10 |
0.10 |
0.11 |
CiME_04/append.trs |
YES |
0.31 |
0.31 |
0.38 |
0.34 |
0.36 |
CiME_04/append-hard.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
CiME_04/append-wrong.trs |
NO |
0.02 |
0.02 |
0.03 |
0.02 |
0.03 |
CiME_04/big.trs |
YES |
2.59 |
4.65 |
3.86 |
3.95 |
4.39 |
CiME_04/boolean_rings.trs |
YES |
0.08 |
0.14 |
0.30 |
0.15 |
0.30 |
CiME_04/dpqs.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
CiME_04/fact-hard.trs |
YES |
0.15 |
0.22 |
0.22 |
0.23 |
0.23 |
CiME_04/filliatre.trs |
YES |
0.60 |
0.24 |
0.24 |
0.58 |
0.19 |
CiME_04/filliatre2.trs |
YES |
0.60 |
0.30 |
0.38 |
0.33 |
0.33 |
CiME_04/filliatre3.trs |
YES |
0.66 |
0.69 |
0.42 |
0.37 |
0.69 |
CiME_04/intersect.trs |
YES |
0.87 |
0.99 |
1.10 |
1.29 |
1.35 |
CiME_04/list-sum-prod.trs |
YES |
0.10 |
0.14 |
0.14 |
0.15 |
0.15 |
CiME_04/list-sum-prod-assoc.trs |
YES |
0.56 |
1.43 |
1.39 |
0.50 |
0.54 |
CiME_04/list-sum-prod-assoc-append.trs |
YES |
0.58 |
1.50 |
1.52 |
0.59 |
0.70 |
CiME_04/list-sum-prod-bin.trs |
YES |
0.17 |
0.16 |
0.22 |
0.23 |
0.23 |
CiME_04/list-sum-prod-bin-assoc.trs |
YES |
0.58 |
1.50 |
0.11 |
0.18 |
0.12 |
CiME_04/list-sum-prod-bin-assoc-distr-app.trs |
YES |
0.70 |
1.65 |
1.51 |
1.23 |
1.87 |
CiME_04/log2.trs |
YES |
1.18 |
2.97 |
1.82 |
2.15 |
2.19 |
CiME_04/lse.trs |
YES |
1.13 |
0.89 |
1.60 |
1.28 |
1.61 |
CiME_04/maude2.trs |
MAYBE |
0.21 |
0.30 |
0.30 |
0.31 |
0.31 |
CiME_04/mucrl1.trs |
YES |
3.85 |
4.23 |
4.88 |
4.22 |
4.94 |
CiME_04/ternary.trs |
YES |
0.63 |
0.63 |
0.74 |
0.67 |
0.68 |
CiME_04/ternary-hard.trs |
YES |
0.73 |
0.80 |
0.96 |
0.81 |
0.98 |
CiME_04/tree.trs |
YES |
1.20 |
2.98 |
1.42 |
2.61 |
2.19 |
Der95/01.trs |
YES |
0.01 |
0.01 |
0.01 |
0.00 |
0.00 |
Der95/02.trs |
YES |
0.00 |
0.01 |
0.00 |
0.00 |
0.00 |
Der95/03.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Der95/04.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Der95/06.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Der95/07.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Der95/08.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Der95/09.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Der95/11.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Der95/12.trs |
YES |
0.10 |
0.20 |
0.38 |
0.22 |
0.38 |
Der95/13.trs |
YES |
0.20 |
0.42 |
0.44 |
0.42 |
0.45 |
Der95/17.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Der95/18.trs |
YES |
0.09 |
0.15 |
0.31 |
0.16 |
0.32 |
Der95/20.trs |
YES |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
Der95/21.trs |
YES |
0.06 |
0.08 |
0.08 |
0.08 |
0.08 |
Der95/27.trs |
YES |
0.11 |
0.11 |
0.16 |
0.15 |
0.19 |
Der95/28.trs |
YES |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
Der95/30.trs |
YES |
0.25 |
0.26 |
0.26 |
0.26 |
0.27 |
Der95/31.trs |
YES |
0.05 |
0.05 |
0.05 |
0.05 |
0.05 |
Der95/32.trs |
YES |
0.82 |
0.79 |
0.80 |
0.79 |
0.80 |
Der95/33.trs |
MAYBE |
0.14 |
0.17 |
0.17 |
0.18 |
0.18 |
Endrullis_06/direct.trs |
YES |
0.40 |
0.45 |
0.45 |
0.45 |
0.46 |
Endrullis_06/labeling.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Endrullis_06/linear1.trs |
YES |
0.05 |
0.05 |
0.05 |
0.05 |
0.05 |
Endrullis_06/linear2.trs |
YES |
0.50 |
0.51 |
0.53 |
0.52 |
0.53 |
Endrullis_06/pair2hard.trs |
YES |
0.12 |
0.12 |
0.13 |
0.13 |
0.13 |
Endrullis_06/pair2simple1.trs |
YES |
0.12 |
0.12 |
0.13 |
0.12 |
0.13 |
Endrullis_06/pair2simple2.trs |
YES |
0.15 |
0.14 |
0.15 |
0.15 |
0.15 |
Endrullis_06/pair3hard.trs |
YES |
0.11 |
0.12 |
0.12 |
0.11 |
0.12 |
Endrullis_06/pair3rotate.trs |
YES |
0.27 |
0.27 |
0.27 |
0.27 |
0.28 |
Endrullis_06/pair3swap.trs |
YES |
0.37 |
0.38 |
0.40 |
0.38 |
0.39 |
Endrullis_06/quadruple1.trs |
YES |
0.11 |
0.12 |
0.12 |
0.12 |
0.12 |
Endrullis_06/quadruple2.trs |
YES |
0.13 |
0.16 |
0.16 |
0.16 |
0.16 |
GTSSK07/cade01.trs |
YES |
0.07 |
0.09 |
0.10 |
0.09 |
0.09 |
GTSSK07/cade03.trs |
YES |
0.07 |
0.09 |
0.09 |
0.09 |
0.10 |
GTSSK07/cade04t.trs |
MAYBE |
0.06 |
0.09 |
0.09 |
0.09 |
0.09 |
GTSSK07/cade05t.trs |
YES |
0.11 |
0.16 |
0.16 |
0.17 |
0.17 |
GTSSK07/cade06.trs |
YES |
0.10 |
0.14 |
0.14 |
0.14 |
0.14 |
GTSSK07/cade07.trs |
YES |
0.10 |
0.13 |
0.15 |
0.13 |
0.13 |
GTSSK07/cade08.trs |
MAYBE |
0.08 |
0.11 |
0.11 |
0.11 |
0.11 |
GTSSK07/cade09.trs |
YES |
0.08 |
0.10 |
0.10 |
0.10 |
0.10 |
GTSSK07/cade10.trs |
YES |
0.07 |
0.10 |
0.10 |
0.10 |
0.11 |
GTSSK07/cade11.trs |
YES |
0.07 |
0.09 |
0.09 |
0.09 |
0.09 |
GTSSK07/cade12t.trs |
MAYBE |
0.12 |
0.15 |
0.15 |
0.15 |
0.16 |
GTSSK07/cade13t.trs |
YES |
0.11 |
0.15 |
0.16 |
0.15 |
0.16 |
GTSSK07/cade14.trs |
YES |
0.13 |
0.18 |
0.18 |
0.18 |
0.19 |
GTSSK07/cade15.trs |
YES |
0.20 |
0.28 |
0.38 |
0.29 |
0.40 |
GTSSK07/cade16.trs |
YES |
0.08 |
0.10 |
0.11 |
0.10 |
0.11 |
GTSSK07/cade17.trs |
MAYBE |
0.14 |
0.17 |
0.18 |
0.19 |
0.19 |
HirokawaMiddeldorp_04/n002.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
HirokawaMiddeldorp_04/n003.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
HirokawaMiddeldorp_04/n004.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
HirokawaMiddeldorp_04/n005.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
HirokawaMiddeldorp_04/n006.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
HirokawaMiddeldorp_04/n007.trs |
NO |
0.02 |
0.02 |
0.02 |
0.02 |
0.03 |
HirokawaMiddeldorp_04/n008.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
HirokawaMiddeldorp_04/t000.trs |
YES |
0.22 |
0.26 |
0.22 |
0.19 |
0.22 |
HirokawaMiddeldorp_04/t001.trs |
YES |
0.12 |
0.15 |
0.15 |
0.16 |
0.16 |
HirokawaMiddeldorp_04/t002.trs |
YES |
0.10 |
0.14 |
0.14 |
0.15 |
0.15 |
HirokawaMiddeldorp_04/t003.trs |
YES |
0.13 |
0.17 |
0.17 |
0.17 |
0.17 |
HirokawaMiddeldorp_04/t004.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.02 |
HirokawaMiddeldorp_04/t005.trs |
YES |
0.46 |
0.48 |
0.61 |
0.65 |
0.57 |
HirokawaMiddeldorp_04/t006.trs |
YES |
0.39 |
0.39 |
0.39 |
0.39 |
0.39 |
HirokawaMiddeldorp_04/t007.trs |
YES |
0.01 |
0.00 |
0.00 |
0.00 |
0.01 |
HirokawaMiddeldorp_04/t008.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
HirokawaMiddeldorp_04/t009.trs |
YES |
7.37 |
8.08 |
8.57 |
6.56 |
8.56 |
HirokawaMiddeldorp_04/t010.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.00 |
HirokawaMiddeldorp_04/t011.trs |
YES |
0.16 |
0.17 |
0.25 |
0.20 |
0.28 |
HirokawaMiddeldorp_04/t012.trs |
YES |
0.05 |
0.05 |
0.05 |
0.05 |
0.05 |
HirokawaMiddeldorp_04/t013.trs |
YES |
0.08 |
0.10 |
0.10 |
0.10 |
0.10 |
HirokawaMiddeldorp_04/t014.trs |
YES |
0.10 |
0.14 |
0.14 |
0.15 |
0.15 |
Mixed_TRS/1.trs |
YES |
0.05 |
0.06 |
0.06 |
0.06 |
0.06 |
Mixed_TRS/2.trs |
YES |
0.08 |
0.08 |
0.08 |
0.08 |
0.09 |
Mixed_TRS/3.trs |
YES |
0.03 |
0.04 |
0.04 |
0.04 |
0.04 |
Mixed_TRS/4.trs |
YES |
0.05 |
0.05 |
0.05 |
0.05 |
0.05 |
Mixed_TRS/5.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Mixed_TRS/6.trs |
MAYBE |
0.03 |
0.03 |
0.04 |
0.03 |
0.03 |
Mixed_TRS/7.trs |
MAYBE |
0.11 |
0.12 |
0.12 |
0.12 |
0.12 |
Mixed_TRS/beans.trs |
YES |
0.26 |
0.27 |
0.29 |
0.27 |
0.28 |
Mixed_TRS/Ex1_Luc04b_GM.trs |
YES |
0.06 |
0.08 |
0.07 |
0.07 |
0.08 |
Mixed_TRS/fossacs.trs |
|
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
Mixed_TRS/gcd.trs |
YES |
0.16 |
0.23 |
0.23 |
0.24 |
0.24 |
Mixed_TRS/gcd_triple.trs |
YES |
0.21 |
0.27 |
0.28 |
0.29 |
0.29 |
Mixed_TRS/gcdMinMax.trs |
YES |
0.16 |
0.22 |
0.22 |
0.24 |
0.24 |
Mixed_TRS/hydra.trs |
YES |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
Mixed_TRS/hydra-Zantema06.trs |
MAYBE |
0.13 |
0.16 |
0.16 |
0.16 |
0.16 |
Mixed_TRS/jones1.trs |
YES |
0.19 |
0.37 |
0.39 |
0.37 |
0.40 |
Mixed_TRS/jones2.trs |
YES |
0.39 |
0.39 |
0.38 |
0.39 |
0.38 |
Mixed_TRS/jones4.trs |
YES |
0.14 |
0.19 |
0.29 |
0.19 |
0.30 |
Mixed_TRS/jones5.trs |
YES |
0.31 |
0.36 |
0.37 |
0.36 |
0.37 |
Mixed_TRS/jones6.trs |
YES |
0.36 |
0.71 |
0.76 |
0.71 |
0.76 |
Mixed_TRS/minsort.trs |
MAYBE |
0.18 |
0.24 |
0.32 |
0.26 |
0.33 |
Mixed_TRS/motivation.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Mixed_TRS/perfect.trs |
YES |
0.41 |
0.39 |
0.39 |
0.39 |
0.77 |
Mixed_TRS/perfect2.trs |
YES |
0.13 |
0.17 |
0.17 |
0.17 |
0.18 |
Mixed_TRS/test1.trs |
YES |
0.10 |
0.27 |
0.30 |
0.27 |
0.31 |
Mixed_TRS/while.trs |
YES |
0.06 |
0.08 |
0.08 |
0.08 |
0.09 |
Mixed_TRS/while2.trs |
MAYBE |
0.08 |
0.08 |
0.08 |
0.08 |
0.08 |
MNZ_10/0.trs |
YES |
0.10 |
0.13 |
0.14 |
0.18 |
0.18 |
MNZ_10/1.trs |
YES |
0.12 |
0.15 |
0.19 |
0.22 |
0.20 |
MNZ_10/2.trs |
YES |
0.12 |
0.17 |
0.19 |
0.31 |
0.30 |
MNZ_10/3.trs |
YES |
0.14 |
0.19 |
0.21 |
0.26 |
0.34 |
MNZ_10/4.trs |
YES |
0.17 |
0.22 |
0.29 |
0.32 |
0.39 |
MNZ_10/5.trs |
YES |
0.18 |
0.26 |
0.28 |
0.52 |
0.43 |
MNZ_10/6.trs |
YES |
0.21 |
0.29 |
0.35 |
0.43 |
0.42 |
MNZ_10/7.trs |
YES |
0.15 |
0.19 |
0.21 |
0.28 |
0.34 |
MNZ_10/8.trs |
YES |
0.16 |
0.20 |
0.24 |
0.26 |
0.35 |
MNZ_10/9.trs |
YES |
0.17 |
0.24 |
0.27 |
0.31 |
0.54 |
MNZ_10/labelled.trs |
YES |
37.93 |
60.15 |
60.00 |
60.03 |
60.06 |
MNZ_10/nrvsq.trs |
MAYBE |
0.23 |
0.38 |
0.46 |
0.50 |
0.67 |
MNZ_10/nvsr.trs |
YES |
0.12 |
0.14 |
0.17 |
0.18 |
0.21 |
Rubio_04/aoto.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Rubio_04/bintrees.trs |
YES |
0.07 |
0.11 |
0.19 |
0.11 |
0.19 |
Rubio_04/bn122.trs |
YES |
0.03 |
0.04 |
0.04 |
0.04 |
0.04 |
Rubio_04/bn129.trs |
YES |
0.11 |
0.11 |
0.11 |
0.11 |
0.11 |
Rubio_04/division.trs |
YES |
0.48 |
0.50 |
0.50 |
0.51 |
0.51 |
Rubio_04/elimdupl.trs |
YES |
0.49 |
0.51 |
0.51 |
0.51 |
0.90 |
Rubio_04/enno.trs |
YES |
0.21 |
0.28 |
0.43 |
0.30 |
0.45 |
Rubio_04/gcd.trs |
YES |
0.12 |
0.15 |
0.15 |
0.16 |
0.17 |
Rubio_04/gm.trs |
YES |
0.07 |
0.08 |
0.09 |
0.09 |
0.09 |
Rubio_04/gmnp.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Rubio_04/koen.trs |
YES |
0.74 |
0.74 |
0.73 |
0.74 |
0.74 |
Rubio_04/lescanne.trs |
YES |
0.03 |
0.04 |
0.04 |
0.04 |
0.04 |
Rubio_04/lindau.trs |
YES |
0.02 |
0.03 |
0.03 |
0.04 |
0.04 |
Rubio_04/logarquot.trs |
YES |
0.42 |
0.46 |
0.46 |
0.45 |
0.46 |
Rubio_04/ma96.trs |
YES |
0.68 |
0.74 |
0.83 |
0.74 |
0.79 |
Rubio_04/mfp90b.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Rubio_04/mfp95.trs |
YES |
0.00 |
0.01 |
0.00 |
0.01 |
0.01 |
Rubio_04/nestrec.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Rubio_04/p266.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Rubio_04/polo2.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Rubio_04/prov.trs |
YES |
0.07 |
0.09 |
0.09 |
0.04 |
0.04 |
Rubio_04/quick.trs |
YES |
0.61 |
0.65 |
1.46 |
0.66 |
1.49 |
Rubio_04/quotminus.trs |
YES |
0.44 |
0.52 |
0.51 |
0.45 |
0.46 |
Rubio_04/revlist.trs |
YES |
0.10 |
0.17 |
0.26 |
0.16 |
0.26 |
Rubio_04/selsort.trs |
YES |
1.08 |
1.06 |
1.48 |
1.10 |
1.09 |
Rubio_04/test4.trs |
YES |
0.46 |
0.47 |
0.52 |
0.48 |
0.53 |
Rubio_04/test829.trs |
YES |
0.04 |
0.06 |
0.07 |
0.07 |
0.07 |
Rubio_04/wst99.trs |
YES |
0.21 |
0.22 |
0.21 |
0.21 |
0.19 |
Secret_05_TRS/aprove1.trs |
YES |
0.59 |
0.60 |
0.62 |
0.60 |
0.62 |
Secret_05_TRS/aprove2.trs |
YES |
0.13 |
0.18 |
0.18 |
0.18 |
0.18 |
Secret_05_TRS/aprove3.trs |
YES |
0.43 |
0.43 |
0.44 |
0.44 |
0.44 |
Secret_05_TRS/aprove4.trs |
YES |
0.40 |
0.41 |
0.79 |
0.40 |
0.47 |
Secret_05_TRS/aprove5.trs |
YES |
0.05 |
0.05 |
0.05 |
0.05 |
0.05 |
Secret_05_TRS/cime1.trs |
YES |
3.13 |
3.24 |
3.23 |
3.27 |
3.25 |
Secret_05_TRS/cime2.trs |
YES |
0.13 |
0.13 |
0.13 |
0.14 |
0.14 |
Secret_05_TRS/cime3.trs |
MAYBE |
0.12 |
0.15 |
0.14 |
0.13 |
0.12 |
Secret_05_TRS/cime4.trs |
NO |
0.09 |
0.10 |
0.10 |
0.09 |
0.09 |
Secret_05_TRS/cime5.trs |
YES |
12.16 |
14.91 |
15.61 |
12.98 |
15.96 |
Secret_05_TRS/matchbox1.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Secret_05_TRS/matchbox2.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Secret_05_TRS/teparla1.trs |
YES |
0.13 |
0.13 |
0.14 |
0.13 |
0.14 |
Secret_05_TRS/teparla2.trs |
YES |
0.10 |
0.10 |
0.11 |
0.11 |
0.11 |
Secret_05_TRS/teparla3.trs |
YES |
0.09 |
0.09 |
0.10 |
0.09 |
0.09 |
Secret_05_TRS/tpa1.trs |
YES |
0.16 |
0.22 |
0.22 |
0.24 |
0.24 |
Secret_05_TRS/tpa2.trs |
YES |
0.08 |
0.10 |
0.11 |
0.10 |
0.12 |
Secret_05_TRS/tpa3.trs |
MAYBE |
0.11 |
0.15 |
0.16 |
0.16 |
0.16 |
Secret_05_TRS/tpa4.trs |
MAYBE |
0.11 |
0.16 |
0.15 |
0.16 |
0.17 |
Secret_05_TRS/tpa5.trs |
MAYBE |
0.14 |
0.19 |
0.18 |
0.20 |
0.19 |
Secret_05_TRS/ttt1.trs |
NO |
0.09 |
0.09 |
0.10 |
0.09 |
0.09 |
Secret_05_TRS/ttt2.trs |
NO |
0.01 |
0.01 |
0.02 |
0.01 |
0.02 |
Secret_06_TRS/10.trs |
YES |
0.04 |
0.04 |
0.05 |
0.04 |
0.05 |
Secret_06_TRS/2.trs |
YES |
0.08 |
0.11 |
0.13 |
0.12 |
0.13 |
Secret_06_TRS/3.trs |
MAYBE |
0.10 |
0.11 |
0.12 |
0.15 |
0.15 |
Secret_06_TRS/4.trs |
YES |
0.04 |
0.05 |
0.06 |
0.05 |
0.06 |
Secret_06_TRS/5.trs |
YES |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
Secret_06_TRS/6.trs |
YES |
0.26 |
0.27 |
0.28 |
0.27 |
0.28 |
Secret_06_TRS/7.trs |
YES |
0.05 |
0.05 |
0.05 |
0.05 |
0.05 |
Secret_06_TRS/8.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Secret_06_TRS/9.trs |
YES |
0.04 |
0.04 |
0.04 |
0.06 |
0.05 |
Secret_06_TRS/addList.trs |
YES |
0.15 |
0.19 |
0.26 |
0.19 |
0.28 |
Secret_06_TRS/cime1.trs |
MAYBE |
0.17 |
0.28 |
0.46 |
0.29 |
0.46 |
Secret_06_TRS/divExp.trs |
YES |
0.07 |
0.10 |
0.10 |
0.10 |
0.10 |
Secret_06_TRS/division.trs |
YES |
0.14 |
0.18 |
0.18 |
0.19 |
0.19 |
Secret_06_TRS/double.trs |
YES |
0.74 |
0.86 |
0.87 |
0.92 |
0.87 |
Secret_06_TRS/gen-1.trs |
YES |
0.05 |
0.05 |
0.05 |
0.05 |
0.06 |
Secret_06_TRS/gen-10.trs |
YES |
0.06 |
0.07 |
0.08 |
0.08 |
0.09 |
Secret_06_TRS/gen-14.trs |
YES |
0.03 |
0.04 |
0.04 |
0.04 |
0.04 |
Secret_06_TRS/gen-15.trs |
YES |
0.05 |
0.06 |
0.07 |
0.06 |
0.06 |
Secret_06_TRS/gen-17.trs |
YES |
0.15 |
0.15 |
0.16 |
0.15 |
0.16 |
Secret_06_TRS/gen-18.trs |
YES |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
Secret_06_TRS/gen-22.trs |
YES |
0.43 |
0.44 |
0.45 |
0.45 |
0.46 |
Secret_06_TRS/gen-25.trs |
YES |
0.07 |
0.07 |
0.07 |
0.07 |
0.07 |
Secret_06_TRS/gen-28.trs |
YES |
0.08 |
0.08 |
0.08 |
0.08 |
0.08 |
Secret_06_TRS/gen-9.trs |
YES |
0.08 |
0.08 |
0.09 |
0.08 |
0.08 |
Secret_06_TRS/logarithm.trs |
YES |
0.10 |
0.12 |
0.12 |
0.12 |
0.13 |
Secret_06_TRS/nrOfNodes.trs |
YES |
0.06 |
0.06 |
0.06 |
0.06 |
0.06 |
Secret_06_TRS/reverse.trs |
YES |
0.10 |
0.13 |
0.21 |
0.14 |
0.21 |
Secret_06_TRS/sumList.trs |
YES |
0.06 |
0.06 |
0.07 |
0.06 |
0.06 |
Secret_06_TRS/times.trs |
YES |
0.14 |
0.18 |
0.19 |
0.20 |
0.20 |
Secret_06_TRS/toList.trs |
YES |
0.11 |
0.26 |
0.30 |
0.27 |
0.30 |
Secret_06_TRS/tpa01.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Secret_06_TRS/tpa02.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Secret_06_TRS/tpa03.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Secret_06_TRS/tpa04.trs |
MAYBE |
0.18 |
0.25 |
0.25 |
0.27 |
0.26 |
Secret_06_TRS/tpa05.trs |
MAYBE |
0.12 |
0.16 |
0.16 |
0.17 |
0.17 |
Secret_06_TRS/tpa06.trs |
YES |
0.17 |
0.21 |
0.22 |
0.22 |
0.23 |
Secret_06_TRS/tpa07.trs |
MAYBE |
0.13 |
0.17 |
0.17 |
0.18 |
0.18 |
Secret_06_TRS/tpa08.trs |
MAYBE |
0.12 |
0.16 |
0.16 |
0.17 |
0.17 |
Secret_06_TRS/tpa09.trs |
MAYBE |
0.20 |
0.28 |
0.29 |
0.30 |
0.30 |
Secret_06_TRS/tpa10.trs |
YES |
0.23 |
0.31 |
0.32 |
0.33 |
0.34 |
Secret_07_TRS/1.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Secret_07_TRS/2.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Secret_07_TRS/3.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Secret_07_TRS/4.trs |
YES |
0.11 |
0.11 |
0.12 |
0.12 |
0.12 |
Secret_07_TRS/5.trs |
YES |
0.02 |
0.02 |
0.04 |
0.02 |
0.04 |
Secret_07_TRS/7.trs |
MAYBE |
0.75 |
0.78 |
0.82 |
0.78 |
0.84 |
Secret_07_TRS/aprove01.trs |
YES |
0.41 |
0.44 |
0.45 |
0.44 |
0.45 |
Secret_07_TRS/aprove02.trs |
YES |
0.33 |
0.37 |
0.44 |
0.39 |
0.44 |
Secret_07_TRS/aprove03.trs |
MAYBE |
0.43 |
0.48 |
0.50 |
0.49 |
0.51 |
Secret_07_TRS/aprove04.trs |
YES |
0.41 |
0.46 |
0.46 |
0.46 |
0.46 |
Secret_07_TRS/aprove05.trs |
YES |
0.48 |
0.50 |
0.51 |
0.51 |
0.51 |
Secret_07_TRS/aprove06.trs |
YES |
0.50 |
0.53 |
0.54 |
0.55 |
0.55 |
Secret_07_TRS/aprove07.trs |
YES |
0.41 |
0.45 |
0.45 |
0.44 |
0.45 |
Secret_07_TRS/aprove08.trs |
YES |
0.32 |
0.43 |
0.49 |
0.45 |
0.45 |
Secret_07_TRS/aprove09.trs |
YES |
0.45 |
0.52 |
0.51 |
0.51 |
0.52 |
Secret_07_TRS/aprove10.trs |
YES |
0.18 |
0.23 |
0.32 |
0.24 |
0.33 |
Secret_07_TRS/secret1.trs |
YES |
0.06 |
0.07 |
0.14 |
0.08 |
0.06 |
Secret_07_TRS/secret2.trs |
YES |
1.76 |
2.68 |
1.85 |
2.71 |
2.29 |
Secret_07_TRS/secret3.trs |
YES |
0.16 |
0.21 |
0.28 |
0.22 |
0.29 |
Secret_07_TRS/secret4.trs |
YES |
2.18 |
3.09 |
2.34 |
3.10 |
2.78 |
Secret_07_TRS/secret5.trs |
YES |
0.13 |
0.15 |
0.16 |
0.16 |
0.16 |
SK90/2.01.trs |
YES |
0.03 |
0.03 |
0.04 |
0.04 |
0.04 |
SK90/2.02.trs |
YES |
0.05 |
0.05 |
0.06 |
0.05 |
0.06 |
SK90/2.03.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
SK90/2.04.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
SK90/2.05.trs |
NO |
0.10 |
0.13 |
0.14 |
0.13 |
0.14 |
SK90/2.06.trs |
YES |
0.09 |
0.09 |
0.11 |
0.09 |
0.09 |
SK90/2.07.trs |
YES |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
SK90/2.08.trs |
YES |
0.37 |
0.52 |
0.67 |
0.54 |
0.68 |
SK90/2.09.trs |
YES |
0.06 |
0.14 |
0.09 |
0.09 |
0.15 |
SK90/2.10.trs |
YES |
0.03 |
0.09 |
0.04 |
0.09 |
0.10 |
SK90/2.11.trs |
YES |
0.07 |
0.10 |
0.10 |
0.11 |
0.11 |
SK90/2.12.trs |
YES |
0.15 |
0.21 |
0.21 |
0.22 |
0.22 |
SK90/2.13.trs |
YES |
0.08 |
0.11 |
0.11 |
0.12 |
0.11 |
SK90/2.14.trs |
YES |
0.06 |
0.08 |
0.08 |
0.08 |
0.08 |
SK90/2.15.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
SK90/2.16.trs |
YES |
0.05 |
0.06 |
0.06 |
0.06 |
0.06 |
SK90/2.17.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
SK90/2.18.trs |
YES |
0.04 |
0.04 |
0.05 |
0.05 |
0.05 |
SK90/2.19.trs |
YES |
0.04 |
0.05 |
0.05 |
0.05 |
0.05 |
SK90/2.20.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
SK90/2.21.trs |
YES |
0.07 |
0.11 |
0.16 |
0.17 |
0.12 |
SK90/2.22.trs |
YES |
0.10 |
0.14 |
0.13 |
0.14 |
0.14 |
SK90/2.23.trs |
YES |
0.08 |
0.10 |
0.10 |
0.10 |
0.10 |
SK90/2.24.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
SK90/2.25.trs |
YES |
0.04 |
0.05 |
0.05 |
0.05 |
0.05 |
SK90/2.26.trs |
YES |
0.04 |
0.05 |
0.05 |
0.05 |
0.05 |
SK90/2.27.trs |
YES |
0.04 |
0.04 |
0.05 |
0.05 |
0.05 |
SK90/2.28.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
SK90/2.29.trs |
YES |
0.14 |
0.16 |
0.19 |
0.19 |
0.22 |
SK90/2.30.trs |
YES |
0.01 |
0.00 |
0.00 |
0.00 |
0.00 |
SK90/2.31.trs |
YES |
0.08 |
0.11 |
0.11 |
0.11 |
0.11 |
SK90/2.32.trs |
YES |
0.01 |
0.00 |
0.00 |
0.00 |
0.00 |
SK90/2.33.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
SK90/2.34.trs |
YES |
0.05 |
0.05 |
0.06 |
0.05 |
0.06 |
SK90/2.35.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
SK90/2.36.trs |
YES |
0.72 |
0.71 |
0.38 |
0.71 |
0.38 |
SK90/2.37.trs |
YES |
0.40 |
0.38 |
0.38 |
0.38 |
0.38 |
SK90/2.38.trs |
YES |
0.03 |
0.03 |
0.04 |
0.04 |
0.03 |
SK90/2.39.trs |
YES |
0.05 |
0.08 |
0.16 |
0.09 |
0.16 |
SK90/2.40.trs |
YES |
0.08 |
0.14 |
0.29 |
0.14 |
0.29 |
SK90/2.41.trs |
YES |
0.11 |
0.19 |
0.34 |
0.20 |
0.35 |
SK90/2.42.trs |
YES |
0.05 |
0.05 |
0.05 |
0.05 |
0.05 |
SK90/2.43.trs |
YES |
0.45 |
0.47 |
0.56 |
0.86 |
0.57 |
SK90/2.44.trs |
YES |
0.07 |
0.07 |
0.06 |
0.07 |
0.06 |
SK90/2.45.trs |
YES |
0.40 |
0.41 |
0.41 |
0.41 |
0.41 |
SK90/2.46.trs |
YES |
0.03 |
0.03 |
0.03 |
0.02 |
0.03 |
SK90/2.47.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
SK90/2.48.trs |
YES |
0.01 |
0.00 |
0.00 |
0.00 |
0.00 |
SK90/2.49.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
SK90/2.50.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
SK90/2.51.trs |
YES |
0.07 |
0.08 |
0.08 |
0.08 |
0.09 |
SK90/2.52.trs |
YES |
1.33 |
1.37 |
1.38 |
1.39 |
1.39 |
SK90/2.53.trs |
YES |
0.13 |
0.14 |
0.19 |
0.19 |
0.24 |
SK90/2.54.trs |
YES |
0.04 |
0.06 |
0.06 |
0.06 |
0.07 |
SK90/2.55.trs |
YES |
0.04 |
0.06 |
0.06 |
0.06 |
0.07 |
SK90/2.56.trs |
YES |
0.00 |
0.00 |
0.01 |
0.00 |
0.00 |
SK90/2.57.trs |
YES |
0.00 |
0.00 |
0.01 |
0.00 |
0.00 |
SK90/2.58.trs |
YES |
0.04 |
0.04 |
0.05 |
0.04 |
0.05 |
SK90/2.59.trs |
YES |
0.08 |
0.08 |
0.08 |
0.09 |
0.09 |
SK90/2.60.trs |
YES |
0.00 |
0.00 |
0.01 |
0.01 |
0.01 |
SK90/2.61.trs |
YES |
0.42 |
0.44 |
0.41 |
0.40 |
0.41 |
SK90/4.01.trs |
YES |
0.00 |
0.00 |
0.01 |
0.01 |
0.01 |
SK90/4.02.trs |
YES |
0.17 |
0.17 |
0.18 |
0.18 |
0.18 |
SK90/4.03.trs |
YES |
0.14 |
0.23 |
0.36 |
0.20 |
0.36 |
SK90/4.04.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
SK90/4.05.trs |
YES |
0.23 |
0.29 |
0.39 |
0.30 |
0.39 |
SK90/4.06.trs |
NO |
0.41 |
0.41 |
0.41 |
0.40 |
0.40 |
SK90/4.07.trs |
YES |
0.02 |
0.02 |
0.03 |
0.03 |
0.03 |
SK90/4.08.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
SK90/4.09.trs |
YES |
0.25 |
0.31 |
0.42 |
0.33 |
0.42 |
SK90/4.10.trs |
YES |
0.49 |
0.39 |
0.69 |
0.76 |
0.78 |
SK90/4.11.trs |
YES |
0.04 |
0.05 |
0.05 |
0.05 |
0.05 |
SK90/4.12.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
SK90/4.13.trs |
YES |
0.01 |
0.02 |
0.02 |
0.02 |
0.02 |
SK90/4.14.trs |
YES |
0.15 |
0.21 |
0.21 |
0.22 |
0.22 |
SK90/4.15.trs |
YES |
0.05 |
0.08 |
0.15 |
0.08 |
0.16 |
SK90/4.16.trs |
YES |
0.01 |
0.02 |
0.02 |
0.02 |
0.02 |
SK90/4.17.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
SK90/4.18.trs |
YES |
0.00 |
0.01 |
0.00 |
0.01 |
0.01 |
SK90/4.19.trs |
YES |
0.07 |
0.07 |
0.07 |
0.08 |
0.08 |
SK90/4.20.trs |
YES |
0.08 |
0.14 |
0.29 |
0.15 |
0.30 |
SK90/4.21.trs |
YES |
0.57 |
0.54 |
1.16 |
0.87 |
0.96 |
SK90/4.22.trs |
YES |
0.09 |
0.15 |
0.30 |
0.16 |
0.31 |
SK90/4.23.trs |
YES |
0.48 |
0.40 |
0.84 |
0.63 |
0.45 |
SK90/4.24.trs |
YES |
0.10 |
0.16 |
0.25 |
0.17 |
0.26 |
SK90/4.25.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
SK90/4.26.trs |
YES |
0.08 |
0.11 |
0.19 |
0.11 |
0.19 |
SK90/4.27.trs |
YES |
0.11 |
0.13 |
0.14 |
0.14 |
0.14 |
SK90/4.28.trs |
YES |
0.20 |
0.30 |
0.53 |
0.37 |
0.59 |
SK90/4.29.trs |
YES |
0.38 |
0.39 |
0.38 |
0.39 |
0.39 |
SK90/4.30.trs |
YES |
0.07 |
0.20 |
0.33 |
0.16 |
0.43 |
SK90/4.31.trs |
YES |
0.11 |
0.17 |
0.32 |
0.18 |
0.33 |
SK90/4.32.trs |
YES |
0.04 |
0.06 |
0.06 |
0.06 |
0.07 |
SK90/4.33.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
SK90/4.34.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
SK90/4.35.trs |
YES |
0.01 |
0.00 |
0.00 |
0.00 |
0.01 |
SK90/4.36.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
SK90/4.37.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
SK90/4.38.trs |
YES |
0.82 |
0.45 |
0.39 |
0.38 |
0.39 |
SK90/4.39.trs |
YES |
0.03 |
0.04 |
0.05 |
0.04 |
0.05 |
SK90/4.40.trs |
NO |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
SK90/4.41.trs |
YES |
0.02 |
0.02 |
0.01 |
0.01 |
0.02 |
SK90/4.42.trs |
YES |
0.08 |
0.09 |
0.11 |
0.09 |
0.09 |
SK90/4.43.trs |
YES |
0.07 |
0.08 |
0.08 |
0.14 |
0.15 |
SK90/4.44.trs |
YES |
0.02 |
0.02 |
0.03 |
0.02 |
0.03 |
SK90/4.45.trs |
YES |
0.03 |
0.04 |
0.04 |
0.04 |
0.04 |
SK90/4.46.trs |
YES |
0.00 |
0.00 |
0.00 |
0.00 |
0.01 |
SK90/4.47.trs |
YES |
0.00 |
0.00 |
0.01 |
0.00 |
0.01 |
SK90/4.48.trs |
YES |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
SK90/4.49.trs |
NO |
0.03 |
0.03 |
0.04 |
0.04 |
0.04 |
SK90/4.50.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
SK90/4.51.trs |
YES |
0.01 |
0.02 |
0.02 |
0.02 |
0.02 |
SK90/4.52.trs |
YES |
0.16 |
0.27 |
0.37 |
0.28 |
0.37 |
SK90/4.53.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
SK90/4.54.trs |
NO |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
SK90/4.55.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
SK90/4.56.trs |
YES |
0.01 |
0.00 |
0.01 |
0.00 |
0.01 |
SK90/4.57.trs |
YES |
0.01 |
0.01 |
0.01 |
0.00 |
0.01 |
SK90/4.59.trs |
YES |
0.21 |
0.33 |
0.64 |
0.34 |
0.65 |
SK90/4.60.trs |
YES |
0.16 |
0.28 |
0.54 |
0.30 |
0.54 |
SK90/4.61.trs |
YES |
0.09 |
0.10 |
0.10 |
0.10 |
0.10 |
Strategy_removed_AG01/4.12a.trs |
NO |
0.04 |
0.04 |
0.05 |
0.04 |
0.05 |
Strategy_removed_AG01/4.13.trs |
NO |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Strategy_removed_AG01/4.14.trs |
NO |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Strategy_removed_AG01/4.15.trs |
NO |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
Strategy_removed_AG01/4.16.trs |
NO |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Strategy_removed_AG01/4.17.trs |
NO |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Strategy_removed_AG01/4.18.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.02 |
Strategy_removed_AG01/4.19.trs |
MAYBE |
0.40 |
0.41 |
0.41 |
0.42 |
0.41 |
Strategy_removed_AG01/4.2.trs |
NO |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Strategy_removed_AG01/4.20.trs |
YES |
0.02 |
0.01 |
0.02 |
0.02 |
0.02 |
Strategy_removed_AG01/4.20a.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Strategy_removed_AG01/4.21.trs |
YES |
0.03 |
0.03 |
0.03 |
0.02 |
0.02 |
Strategy_removed_AG01/4.22.trs |
YES |
0.11 |
0.15 |
0.15 |
0.15 |
0.15 |
Strategy_removed_AG01/4.23.trs |
YES |
0.06 |
0.07 |
0.07 |
0.07 |
0.07 |
Strategy_removed_AG01/4.25.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_AG01/4.26.trs |
YES |
0.06 |
0.09 |
0.09 |
0.09 |
0.09 |
Strategy_removed_AG01/4.27.trs |
YES |
0.05 |
0.08 |
0.08 |
0.08 |
0.09 |
Strategy_removed_AG01/4.28.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Strategy_removed_AG01/4.29.trs |
YES |
0.10 |
0.10 |
0.09 |
0.11 |
0.12 |
Strategy_removed_AG01/4.3.trs |
NO |
0.10 |
0.12 |
0.32 |
0.12 |
0.32 |
Strategy_removed_AG01/4.30.trs |
YES |
0.11 |
0.15 |
0.16 |
0.17 |
0.17 |
Strategy_removed_AG01/4.30a.trs |
YES |
0.10 |
0.14 |
0.14 |
0.15 |
0.15 |
Strategy_removed_AG01/4.30b.trs |
YES |
0.12 |
0.16 |
0.16 |
0.17 |
0.17 |
Strategy_removed_AG01/4.30c.trs |
YES |
0.12 |
0.16 |
0.16 |
0.17 |
0.17 |
Strategy_removed_AG01/4.32.trs |
YES |
0.46 |
0.48 |
0.48 |
0.48 |
0.48 |
Strategy_removed_AG01/4.33.trs |
YES |
0.50 |
0.92 |
0.93 |
0.91 |
0.92 |
Strategy_removed_AG01/4.34.trs |
YES |
0.06 |
0.05 |
0.06 |
0.05 |
0.05 |
Strategy_removed_AG01/4.35.trs |
YES |
0.69 |
0.73 |
0.74 |
0.69 |
0.79 |
Strategy_removed_AG01/4.36.trs |
YES |
0.70 |
1.11 |
1.52 |
1.10 |
1.12 |
Strategy_removed_AG01/4.37.trs |
YES |
0.08 |
0.12 |
0.13 |
0.13 |
0.13 |
Strategy_removed_AG01/4.37a.trs |
YES |
0.08 |
0.13 |
0.13 |
0.13 |
0.14 |
Strategy_removed_AG01/4.4.trs |
NO |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Strategy_removed_AG01/4.7.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_CSR_05/Ex1_2_AEL03.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_CSR_05/Ex1_2_Luc02c.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_CSR_05/Ex1_GL02a.trs |
NO |
0.05 |
0.07 |
0.07 |
0.08 |
0.08 |
Strategy_removed_CSR_05/Ex1_GM03.trs |
NO |
0.05 |
0.07 |
0.07 |
0.08 |
0.08 |
Strategy_removed_CSR_05/Ex1_GM99.trs |
NO |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Strategy_removed_CSR_05/Ex1_Luc02b.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_CSR_05/Ex1_Zan97.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_CSR_05/Ex14_AEGL02.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_CSR_05/Ex15_Luc98.trs |
NO |
0.09 |
0.14 |
0.21 |
0.15 |
0.22 |
Strategy_removed_CSR_05/Ex2_Luc03b.trs |
NO |
0.07 |
0.11 |
0.18 |
0.11 |
0.19 |
Strategy_removed_CSR_05/Ex24_GM04.trs |
NO |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Strategy_removed_CSR_05/Ex26_Luc03b.trs |
NO |
0.04 |
0.05 |
0.05 |
0.05 |
0.05 |
Strategy_removed_CSR_05/Ex3_12_Luc96a.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_CSR_05/Ex3_2_Luc97.trs |
NO |
0.12 |
0.18 |
0.33 |
0.19 |
0.34 |
Strategy_removed_CSR_05/Ex3_3_25_Bor03.trs |
NO |
0.05 |
0.08 |
0.16 |
0.08 |
0.16 |
Strategy_removed_CSR_05/Ex4_4_Luc96b.trs |
NO |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Strategy_removed_CSR_05/Ex4_7_15_Bor03.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_CSR_05/Ex4_7_37_Bor03.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_CSR_05/Ex4_7_56_Bor03.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_CSR_05/Ex4_7_77_Bor03.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_CSR_05/Ex4_Zan97.trs |
NO |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Strategy_removed_CSR_05/Ex49_GM04.trs |
YES |
0.10 |
0.14 |
0.14 |
0.15 |
0.15 |
Strategy_removed_CSR_05/Ex5_7_Luc97.trs |
NO |
0.12 |
0.18 |
0.34 |
0.19 |
0.34 |
Strategy_removed_CSR_05/Ex5_Zan97.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_CSR_05/Ex6_15_AEL02.trs |
NO |
0.13 |
0.20 |
0.35 |
0.21 |
0.36 |
Strategy_removed_CSR_05/Ex6_9_Luc02c.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_CSR_05/Ex6_GM04.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_CSR_05/Ex6_Luc98.trs |
NO |
0.07 |
0.11 |
0.18 |
0.11 |
0.18 |
Strategy_removed_CSR_05/Ex7_BLR02.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_CSR_05/Ex8_BLR02.trs |
NO |
0.10 |
0.14 |
0.22 |
0.15 |
0.23 |
Strategy_removed_CSR_05/Ex9_BLR02.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_CSR_05/ExAppendixB_AEL03.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_CSR_05/ExConc_Zan97.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_CSR_05/ExIntrod_GM01.trs |
NO |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Strategy_removed_CSR_05/ExIntrod_GM04.trs |
NO |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Strategy_removed_CSR_05/ExIntrod_GM99.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_CSR_05/ExIntrod_Zan97.trs |
NO |
0.06 |
0.08 |
0.08 |
0.08 |
0.08 |
Strategy_removed_mixed_05/bn111.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Strategy_removed_mixed_05/ex1.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_mixed_05/ex2.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_mixed_05/ex3.trs |
NO |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Strategy_removed_mixed_05/ex4.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_mixed_05/ex5.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_mixed_05/ex6.trs |
NO |
0.02 |
0.02 |
0.02 |
0.02 |
0.01 |
Strategy_removed_mixed_05/ExSec11_1_Luc02a.trs |
NO |
0.04 |
0.05 |
0.05 |
0.05 |
0.05 |
Strategy_removed_mixed_05/gkg.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_mixed_05/muladd.trs |
NO |
0.05 |
0.05 |
0.05 |
0.05 |
0.05 |
Strategy_removed_mixed_05/n001.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_mixed_05/test10.trs |
NO |
0.05 |
0.06 |
0.06 |
0.07 |
0.07 |
Strategy_removed_mixed_05/test75.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Strategy_removed_mixed_05/test76.trs |
NO |
0.04 |
0.05 |
0.05 |
0.06 |
0.05 |
Strategy_removed_mixed_05/test77.trs |
NO |
0.04 |
0.05 |
0.05 |
0.06 |
0.05 |
Strategy_removed_mixed_05/test830.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Strategy_removed_mixed_05/test9.trs |
NO |
0.05 |
0.05 |
0.06 |
0.05 |
0.06 |
Strategy_removed_mixed_05/toyama.trs |
NO |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Strategy_removed_mixed_05/tricky1.trs |
YES |
0.06 |
0.06 |
0.07 |
0.06 |
0.06 |
TCT_12/polycounter-10.trs |
|
4.16 |
4.18 |
4.19 |
4.23 |
4.23 |
TCT_12/polycounter-5.trs |
|
1.07 |
1.13 |
1.13 |
1.16 |
1.16 |
TCT_12/recursion-10.trs |
|
0.24 |
0.35 |
0.35 |
0.37 |
0.37 |
TCT_12/recursion-5.trs |
|
0.12 |
0.18 |
0.18 |
0.19 |
0.19 |
TCT_12/sat.trs |
|
0.18 |
0.21 |
0.28 |
0.22 |
0.29 |
Transformed_CSR_04/Ex1_2_AEL03_C.trs |
YES |
0.56 |
0.57 |
0.62 |
0.61 |
0.64 |
Transformed_CSR_04/Ex1_2_AEL03_FR.trs |
YES |
0.12 |
0.14 |
0.14 |
0.14 |
0.14 |
Transformed_CSR_04/Ex1_2_AEL03_GM.trs |
YES |
0.42 |
0.46 |
0.50 |
0.46 |
0.54 |
Transformed_CSR_04/Ex1_2_AEL03_iGM.trs |
YES |
1.92 |
2.47 |
2.50 |
2.41 |
2.30 |
Transformed_CSR_04/Ex1_2_AEL03_L.trs |
NO |
0.00 |
0.01 |
0.01 |
0.00 |
0.01 |
Transformed_CSR_04/Ex1_2_AEL03_Z.trs |
YES |
0.09 |
0.12 |
0.12 |
0.12 |
0.12 |
Transformed_CSR_04/Ex1_2_Luc02c_C.trs |
YES |
0.22 |
0.24 |
0.23 |
0.25 |
0.25 |
Transformed_CSR_04/Ex1_2_Luc02c_FR.trs |
YES |
0.02 |
0.03 |
0.03 |
0.02 |
0.02 |
Transformed_CSR_04/Ex1_2_Luc02c_GM.trs |
YES |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
Transformed_CSR_04/Ex1_2_Luc02c_iGM.trs |
YES |
0.28 |
0.38 |
0.40 |
0.31 |
0.32 |
Transformed_CSR_04/Ex1_2_Luc02c_L.trs |
NO |
0.01 |
0.00 |
0.01 |
0.00 |
0.00 |
Transformed_CSR_04/Ex1_2_Luc02c_Z.trs |
YES |
0.01 |
0.01 |
0.01 |
0.00 |
0.01 |
Transformed_CSR_04/Ex1_GL02a_C.trs |
YES |
0.25 |
0.30 |
0.32 |
0.32 |
0.31 |
Transformed_CSR_04/Ex1_GL02a_FR.trs |
MAYBE |
0.09 |
0.09 |
0.10 |
0.10 |
0.10 |
Transformed_CSR_04/Ex1_GL02a_GM.trs |
YES |
0.06 |
0.08 |
0.08 |
0.09 |
0.09 |
Transformed_CSR_04/Ex1_GL02a_iGM.trs |
YES |
1.60 |
3.09 |
1.23 |
1.77 |
1.52 |
Transformed_CSR_04/Ex1_GL02a_L.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/Ex1_GL02a_Z.trs |
NO |
0.07 |
0.08 |
0.08 |
0.08 |
0.09 |
Transformed_CSR_04/Ex1_GM03_C.trs |
MAYBE |
0.30 |
0.35 |
0.35 |
0.31 |
0.32 |
Transformed_CSR_04/Ex1_GM03_FR.trs |
MAYBE |
0.10 |
0.13 |
0.13 |
0.14 |
0.14 |
Transformed_CSR_04/Ex1_GM03_GM.trs |
MAYBE |
0.13 |
0.14 |
0.14 |
0.14 |
0.16 |
Transformed_CSR_04/Ex1_GM03_iGM.trs |
MAYBE |
0.77 |
1.15 |
1.16 |
1.11 |
1.12 |
Transformed_CSR_04/Ex1_GM03_L.trs |
NO |
0.01 |
0.00 |
0.00 |
0.00 |
0.00 |
Transformed_CSR_04/Ex1_GM03_Z.trs |
NO |
0.05 |
0.07 |
0.07 |
0.08 |
0.08 |
Transformed_CSR_04/Ex1_GM99_C.trs |
YES |
0.20 |
0.23 |
0.23 |
0.21 |
0.21 |
Transformed_CSR_04/Ex1_GM99_FR.trs |
NO |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Transformed_CSR_04/Ex1_GM99_GM.trs |
NO |
0.05 |
0.04 |
0.05 |
0.05 |
0.05 |
Transformed_CSR_04/Ex1_GM99_iGM.trs |
NO |
0.08 |
0.08 |
0.08 |
0.08 |
0.08 |
Transformed_CSR_04/Ex1_GM99_L.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/Ex1_Luc02b_C.trs |
YES |
0.26 |
0.26 |
0.27 |
0.30 |
0.30 |
Transformed_CSR_04/Ex1_Luc02b_FR.trs |
YES |
0.09 |
0.09 |
0.10 |
0.09 |
0.09 |
Transformed_CSR_04/Ex1_Luc02b_GM.trs |
MAYBE |
0.10 |
0.11 |
0.11 |
0.12 |
0.11 |
Transformed_CSR_04/Ex1_Luc02b_iGM.trs |
MAYBE |
0.79 |
1.01 |
1.03 |
0.88 |
0.88 |
Transformed_CSR_04/Ex1_Luc02b_L.trs |
NO |
0.00 |
0.00 |
0.00 |
0.00 |
0.00 |
Transformed_CSR_04/Ex1_Luc02b_Z.trs |
YES |
0.39 |
0.37 |
0.39 |
0.38 |
0.39 |
Transformed_CSR_04/Ex1_Luc04b_C.trs |
YES |
0.22 |
0.23 |
0.22 |
0.25 |
0.25 |
Transformed_CSR_04/Ex1_Luc04b_FR.trs |
NO |
0.03 |
0.03 |
0.03 |
0.04 |
0.04 |
Transformed_CSR_04/Ex1_Luc04b_GM.trs |
YES |
0.06 |
0.07 |
0.07 |
0.07 |
0.07 |
Transformed_CSR_04/Ex1_Luc04b_iGM.trs |
YES |
0.34 |
0.46 |
0.47 |
0.40 |
0.41 |
Transformed_CSR_04/Ex1_Luc04b_L.trs |
NO |
0.00 |
0.00 |
0.00 |
0.00 |
0.00 |
Transformed_CSR_04/Ex1_Luc04b_Z.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/Ex1_Zan97_C.trs |
YES |
0.06 |
0.06 |
0.07 |
0.06 |
0.06 |
Transformed_CSR_04/Ex1_Zan97_FR.trs |
NO |
0.01 |
0.01 |
0.02 |
0.02 |
0.02 |
Transformed_CSR_04/Ex1_Zan97_GM.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Transformed_CSR_04/Ex1_Zan97_iGM.trs |
YES |
0.04 |
0.05 |
0.04 |
0.05 |
0.04 |
Transformed_CSR_04/Ex1_Zan97_L.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/Ex14_AEGL02_C.trs |
YES |
0.20 |
0.22 |
0.23 |
0.26 |
0.27 |
Transformed_CSR_04/Ex14_AEGL02_FR.trs |
NO |
0.03 |
0.03 |
0.03 |
0.04 |
0.03 |
Transformed_CSR_04/Ex14_AEGL02_GM.trs |
YES |
0.13 |
0.13 |
0.17 |
0.16 |
0.20 |
Transformed_CSR_04/Ex14_AEGL02_iGM.trs |
YES |
1.17 |
1.28 |
1.21 |
0.45 |
1.52 |
Transformed_CSR_04/Ex14_AEGL02_L.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/Ex14_AEGL02_Z.trs |
NO |
0.02 |
0.03 |
0.03 |
0.03 |
0.03 |
Transformed_CSR_04/Ex14_Luc06_C.trs |
YES |
0.30 |
0.29 |
0.30 |
0.36 |
0.38 |
Transformed_CSR_04/Ex14_Luc06_FR.trs |
NO |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Transformed_CSR_04/Ex14_Luc06_GM.trs |
NO |
0.06 |
0.09 |
0.14 |
0.09 |
0.09 |
Transformed_CSR_04/Ex14_Luc06_iGM.trs |
MAYBE |
0.43 |
0.69 |
0.71 |
0.60 |
0.65 |
Transformed_CSR_04/Ex14_Luc06_L.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.02 |
Transformed_CSR_04/Ex15_Luc06_C.trs |
YES |
0.07 |
0.08 |
0.08 |
0.07 |
0.07 |
Transformed_CSR_04/Ex15_Luc06_FR.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/Ex15_Luc06_GM.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/Ex15_Luc06_iGM.trs |
YES |
0.45 |
0.83 |
0.84 |
0.83 |
0.45 |
Transformed_CSR_04/Ex15_Luc06_L.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/Ex15_Luc06_Z.trs |
YES |
0.00 |
0.00 |
0.01 |
0.00 |
0.00 |
Transformed_CSR_04/Ex15_Luc98_C.trs |
YES |
0.84 |
0.86 |
0.85 |
0.96 |
0.95 |
Transformed_CSR_04/Ex15_Luc98_FR.trs |
YES |
0.08 |
0.09 |
0.09 |
0.09 |
0.09 |
Transformed_CSR_04/Ex15_Luc98_GM.trs |
YES |
0.10 |
0.12 |
0.12 |
0.12 |
0.10 |
Transformed_CSR_04/Ex15_Luc98_iGM.trs |
YES |
1.14 |
1.80 |
1.74 |
1.44 |
1.47 |
Transformed_CSR_04/Ex15_Luc98_L.trs |
NO |
0.00 |
0.00 |
0.00 |
0.00 |
0.00 |
Transformed_CSR_04/Ex15_Luc98_Z.trs |
YES |
0.39 |
0.37 |
0.38 |
0.37 |
0.38 |
Transformed_CSR_04/Ex16_Luc06_C.trs |
YES |
0.15 |
0.15 |
0.16 |
0.20 |
0.20 |
Transformed_CSR_04/Ex16_Luc06_FR.trs |
YES |
0.02 |
0.01 |
0.02 |
0.01 |
0.02 |
Transformed_CSR_04/Ex16_Luc06_GM.trs |
YES |
0.01 |
0.01 |
0.02 |
0.02 |
0.02 |
Transformed_CSR_04/Ex16_Luc06_iGM.trs |
YES |
0.04 |
0.06 |
0.07 |
0.06 |
0.06 |
Transformed_CSR_04/Ex16_Luc06_L.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/Ex18_Luc06_C.trs |
YES |
0.46 |
0.46 |
0.46 |
0.46 |
0.45 |
Transformed_CSR_04/Ex18_Luc06_FR.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/Ex18_Luc06_GM.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/Ex18_Luc06_iGM.trs |
YES |
0.07 |
0.06 |
0.06 |
0.06 |
0.07 |
Transformed_CSR_04/Ex18_Luc06_L.trs |
YES |
0.00 |
0.00 |
0.00 |
0.00 |
0.00 |
Transformed_CSR_04/Ex18_Luc06_Z.trs |
YES |
0.00 |
0.00 |
0.00 |
0.00 |
0.00 |
Transformed_CSR_04/Ex2_Luc02a_C.trs |
YES |
0.35 |
0.35 |
0.36 |
0.39 |
0.41 |
Transformed_CSR_04/Ex2_Luc02a_FR.trs |
YES |
0.11 |
0.13 |
0.13 |
0.13 |
0.14 |
Transformed_CSR_04/Ex2_Luc02a_GM.trs |
YES |
0.15 |
0.18 |
0.19 |
0.19 |
0.21 |
Transformed_CSR_04/Ex2_Luc02a_iGM.trs |
YES |
0.97 |
1.21 |
1.22 |
0.94 |
0.96 |
Transformed_CSR_04/Ex2_Luc02a_L.trs |
YES |
0.04 |
0.05 |
0.05 |
0.05 |
0.05 |
Transformed_CSR_04/Ex2_Luc02a_Z.trs |
YES |
0.37 |
0.37 |
0.38 |
0.38 |
0.38 |
Transformed_CSR_04/Ex2_Luc03b_C.trs |
YES |
0.74 |
0.64 |
0.66 |
0.77 |
0.79 |
Transformed_CSR_04/Ex2_Luc03b_FR.trs |
YES |
0.11 |
0.12 |
0.12 |
0.13 |
0.12 |
Transformed_CSR_04/Ex2_Luc03b_GM.trs |
YES |
0.10 |
0.11 |
0.10 |
0.12 |
0.15 |
Transformed_CSR_04/Ex2_Luc03b_iGM.trs |
YES |
0.82 |
1.08 |
1.10 |
0.87 |
0.86 |
Transformed_CSR_04/Ex2_Luc03b_L.trs |
YES |
0.00 |
0.00 |
0.01 |
0.00 |
0.01 |
Transformed_CSR_04/Ex2_Luc03b_Z.trs |
YES |
0.35 |
0.36 |
0.54 |
0.35 |
0.54 |
Transformed_CSR_04/Ex23_Luc06_C.trs |
YES |
0.10 |
0.11 |
0.11 |
0.12 |
0.11 |
Transformed_CSR_04/Ex23_Luc06_FR.trs |
YES |
0.02 |
0.02 |
0.02 |
0.01 |
0.01 |
Transformed_CSR_04/Ex23_Luc06_GM.trs |
YES |
0.02 |
0.02 |
0.02 |
0.01 |
0.01 |
Transformed_CSR_04/Ex23_Luc06_iGM.trs |
YES |
0.47 |
0.10 |
0.09 |
0.08 |
0.09 |
Transformed_CSR_04/Ex23_Luc06_L.trs |
YES |
0.00 |
0.00 |
0.01 |
0.00 |
0.00 |
Transformed_CSR_04/Ex23_Luc06_Z.trs |
YES |
0.00 |
0.00 |
0.01 |
0.00 |
0.01 |
Transformed_CSR_04/Ex24_GM04_C.trs |
YES |
0.12 |
0.16 |
0.16 |
0.17 |
0.17 |
Transformed_CSR_04/Ex24_GM04_FR.trs |
MAYBE |
0.02 |
0.02 |
0.03 |
0.02 |
0.03 |
Transformed_CSR_04/Ex24_GM04_GM.trs |
NO |
0.03 |
0.03 |
0.04 |
0.03 |
0.04 |
Transformed_CSR_04/Ex24_GM04_iGM.trs |
MAYBE |
0.88 |
0.48 |
0.89 |
0.48 |
0.48 |
Transformed_CSR_04/Ex24_GM04_L.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/Ex24_GM04_Z.trs |
MAYBE |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Transformed_CSR_04/Ex24_Luc06_C.trs |
YES |
0.21 |
0.20 |
0.21 |
0.21 |
0.21 |
Transformed_CSR_04/Ex24_Luc06_FR.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/Ex24_Luc06_GM.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/Ex24_Luc06_iGM.trs |
NO |
0.07 |
0.09 |
0.10 |
0.09 |
0.11 |
Transformed_CSR_04/Ex24_Luc06_L.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/Ex25_Luc06_C.trs |
YES |
0.13 |
0.15 |
0.15 |
0.12 |
0.12 |
Transformed_CSR_04/Ex25_Luc06_FR.trs |
YES |
0.06 |
0.04 |
0.05 |
0.05 |
0.05 |
Transformed_CSR_04/Ex25_Luc06_GM.trs |
YES |
0.02 |
0.02 |
0.02 |
0.01 |
0.01 |
Transformed_CSR_04/Ex25_Luc06_iGM.trs |
YES |
0.11 |
0.19 |
0.16 |
0.11 |
0.11 |
Transformed_CSR_04/Ex25_Luc06_L.trs |
YES |
0.00 |
0.00 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/Ex25_Luc06_Z.trs |
YES |
0.40 |
0.41 |
0.39 |
0.41 |
0.37 |
Transformed_CSR_04/Ex26_Luc03b_C.trs |
YES |
0.86 |
0.74 |
0.74 |
0.87 |
0.90 |
Transformed_CSR_04/Ex26_Luc03b_FR.trs |
YES |
0.11 |
0.12 |
0.13 |
0.13 |
0.13 |
Transformed_CSR_04/Ex26_Luc03b_GM.trs |
YES |
0.15 |
0.12 |
0.15 |
0.15 |
0.13 |
Transformed_CSR_04/Ex26_Luc03b_iGM.trs |
YES |
0.87 |
1.19 |
1.18 |
1.08 |
0.99 |
Transformed_CSR_04/Ex26_Luc03b_L.trs |
YES |
0.01 |
0.00 |
0.01 |
0.01 |
0.00 |
Transformed_CSR_04/Ex26_Luc03b_Z.trs |
YES |
0.13 |
0.15 |
0.14 |
0.14 |
0.15 |
Transformed_CSR_04/Ex3_12_Luc96a_C.trs |
YES |
0.20 |
0.20 |
0.20 |
0.24 |
0.24 |
Transformed_CSR_04/Ex3_12_Luc96a_FR.trs |
YES |
0.04 |
0.04 |
0.04 |
0.04 |
0.03 |
Transformed_CSR_04/Ex3_12_Luc96a_GM.trs |
MAYBE |
0.06 |
0.07 |
0.07 |
0.07 |
0.07 |
Transformed_CSR_04/Ex3_12_Luc96a_iGM.trs |
MAYBE |
0.49 |
0.66 |
0.71 |
0.59 |
0.56 |
Transformed_CSR_04/Ex3_12_Luc96a_L.trs |
NO |
0.00 |
0.00 |
0.01 |
0.00 |
0.00 |
Transformed_CSR_04/Ex3_12_Luc96a_Z.trs |
YES |
0.02 |
0.02 |
0.03 |
0.02 |
0.03 |
Transformed_CSR_04/Ex3_2_Luc97_C.trs |
MAYBE |
0.32 |
0.35 |
0.35 |
0.39 |
0.40 |
Transformed_CSR_04/Ex3_2_Luc97_FR.trs |
MAYBE |
0.13 |
0.13 |
0.13 |
0.13 |
0.13 |
Transformed_CSR_04/Ex3_2_Luc97_GM.trs |
MAYBE |
0.08 |
0.09 |
0.09 |
0.08 |
0.08 |
Transformed_CSR_04/Ex3_2_Luc97_iGM.trs |
MAYBE |
0.91 |
1.12 |
1.13 |
0.96 |
0.98 |
Transformed_CSR_04/Ex3_2_Luc97_L.trs |
NO |
0.00 |
0.00 |
0.01 |
0.00 |
0.00 |
Transformed_CSR_04/Ex3_2_Luc97_Z.trs |
MAYBE |
0.10 |
0.10 |
0.13 |
0.11 |
0.11 |
Transformed_CSR_04/Ex3_3_25_Bor03_C.trs |
YES |
0.86 |
0.75 |
0.78 |
0.89 |
0.91 |
Transformed_CSR_04/Ex3_3_25_Bor03_FR.trs |
MAYBE |
0.11 |
0.11 |
0.12 |
0.12 |
0.12 |
Transformed_CSR_04/Ex3_3_25_Bor03_GM.trs |
YES |
0.17 |
0.17 |
0.19 |
0.18 |
0.22 |
Transformed_CSR_04/Ex3_3_25_Bor03_iGM.trs |
YES |
0.98 |
1.31 |
1.27 |
1.17 |
1.25 |
Transformed_CSR_04/Ex3_3_25_Bor03_L.trs |
YES |
0.01 |
0.00 |
0.00 |
0.01 |
0.00 |
Transformed_CSR_04/Ex3_3_25_Bor03_Z.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/Ex4_4_Luc96b_C.trs |
YES |
0.18 |
0.17 |
0.17 |
0.20 |
0.22 |
Transformed_CSR_04/Ex4_4_Luc96b_FR.trs |
NO |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
Transformed_CSR_04/Ex4_4_Luc96b_GM.trs |
YES |
0.04 |
0.05 |
0.05 |
0.04 |
0.05 |
Transformed_CSR_04/Ex4_4_Luc96b_iGM.trs |
YES |
0.25 |
0.38 |
0.36 |
0.21 |
0.21 |
Transformed_CSR_04/Ex4_4_Luc96b_L.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/Ex4_4_Luc96b_Z.trs |
NO |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Transformed_CSR_04/Ex4_7_15_Bor03_C.trs |
YES |
0.21 |
0.23 |
0.24 |
0.26 |
0.26 |
Transformed_CSR_04/Ex4_7_15_Bor03_FR.trs |
YES |
0.03 |
0.03 |
0.03 |
0.02 |
0.02 |
Transformed_CSR_04/Ex4_7_15_Bor03_GM.trs |
YES |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
Transformed_CSR_04/Ex4_7_15_Bor03_iGM.trs |
YES |
0.34 |
0.46 |
0.53 |
0.38 |
0.47 |
Transformed_CSR_04/Ex4_7_15_Bor03_L.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/Ex4_7_15_Bor03_Z.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/Ex4_7_37_Bor03_C.trs |
YES |
0.38 |
0.38 |
0.39 |
0.43 |
0.44 |
Transformed_CSR_04/Ex4_7_37_Bor03_FR.trs |
YES |
0.53 |
0.57 |
0.59 |
0.54 |
0.56 |
Transformed_CSR_04/Ex4_7_37_Bor03_GM.trs |
MAYBE |
0.38 |
0.42 |
0.47 |
0.41 |
0.49 |
Transformed_CSR_04/Ex4_7_37_Bor03_iGM.trs |
MAYBE |
1.28 |
1.84 |
1.83 |
1.67 |
1.70 |
Transformed_CSR_04/Ex4_7_37_Bor03_L.trs |
NO |
0.00 |
0.01 |
0.00 |
0.01 |
0.00 |
Transformed_CSR_04/Ex4_7_37_Bor03_Z.trs |
YES |
0.81 |
0.87 |
0.88 |
0.83 |
0.84 |
Transformed_CSR_04/Ex4_7_56_Bor03_C.trs |
YES |
0.21 |
0.20 |
0.21 |
0.25 |
0.25 |
Transformed_CSR_04/Ex4_7_56_Bor03_FR.trs |
YES |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
Transformed_CSR_04/Ex4_7_56_Bor03_GM.trs |
YES |
0.06 |
0.06 |
0.07 |
0.07 |
0.07 |
Transformed_CSR_04/Ex4_7_56_Bor03_iGM.trs |
YES |
0.47 |
0.67 |
0.66 |
0.65 |
0.66 |
Transformed_CSR_04/Ex4_7_56_Bor03_L.trs |
NO |
0.00 |
0.00 |
0.00 |
0.01 |
0.00 |
Transformed_CSR_04/Ex4_7_56_Bor03_Z.trs |
YES |
0.02 |
0.03 |
0.02 |
0.03 |
0.02 |
Transformed_CSR_04/Ex4_7_77_Bor03_C.trs |
YES |
0.16 |
0.15 |
0.16 |
0.19 |
0.20 |
Transformed_CSR_04/Ex4_7_77_Bor03_FR.trs |
YES |
0.01 |
0.01 |
0.00 |
0.01 |
0.00 |
Transformed_CSR_04/Ex4_7_77_Bor03_GM.trs |
YES |
0.03 |
0.03 |
0.04 |
0.03 |
0.03 |
Transformed_CSR_04/Ex4_7_77_Bor03_iGM.trs |
YES |
0.23 |
0.33 |
0.33 |
0.28 |
0.28 |
Transformed_CSR_04/Ex4_7_77_Bor03_L.trs |
NO |
0.00 |
0.01 |
0.00 |
0.00 |
0.00 |
Transformed_CSR_04/Ex4_DLMMU04_C.trs |
YES |
0.93 |
0.96 |
0.98 |
1.06 |
1.09 |
Transformed_CSR_04/Ex4_DLMMU04_FR.trs |
NO |
0.34 |
0.32 |
0.39 |
0.44 |
0.41 |
Transformed_CSR_04/Ex4_DLMMU04_GM.trs |
YES |
0.44 |
0.54 |
0.59 |
0.54 |
0.59 |
Transformed_CSR_04/Ex4_DLMMU04_iGM.trs |
YES |
2.26 |
3.18 |
3.23 |
3.54 |
3.27 |
Transformed_CSR_04/Ex4_DLMMU04_L.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.00 |
Transformed_CSR_04/Ex4_DLMMU04_Z.trs |
NO |
0.31 |
0.46 |
0.34 |
0.38 |
0.36 |
Transformed_CSR_04/Ex4_Zan97_C.trs |
YES |
0.23 |
0.23 |
0.23 |
0.26 |
0.26 |
Transformed_CSR_04/Ex4_Zan97_FR.trs |
YES |
0.05 |
0.05 |
0.06 |
0.05 |
0.05 |
Transformed_CSR_04/Ex4_Zan97_GM.trs |
MAYBE |
0.08 |
0.10 |
0.09 |
0.08 |
0.09 |
Transformed_CSR_04/Ex4_Zan97_iGM.trs |
MAYBE |
0.52 |
0.72 |
0.72 |
0.60 |
0.61 |
Transformed_CSR_04/Ex4_Zan97_L.trs |
NO |
0.01 |
0.00 |
0.00 |
0.01 |
0.00 |
Transformed_CSR_04/Ex4_Zan97_Z.trs |
YES |
0.04 |
0.04 |
0.03 |
0.04 |
0.04 |
Transformed_CSR_04/Ex49_GM04_C.trs |
YES |
0.56 |
0.63 |
0.62 |
0.62 |
0.66 |
Transformed_CSR_04/Ex49_GM04_FR.trs |
YES |
0.16 |
0.18 |
0.18 |
0.18 |
0.19 |
Transformed_CSR_04/Ex49_GM04_GM.trs |
YES |
0.19 |
0.32 |
0.41 |
0.33 |
0.36 |
Transformed_CSR_04/Ex49_GM04_iGM.trs |
YES |
1.07 |
1.52 |
1.53 |
1.63 |
1.64 |
Transformed_CSR_04/Ex49_GM04_L.trs |
NO |
0.01 |
0.00 |
0.01 |
0.00 |
0.01 |
Transformed_CSR_04/Ex49_GM04_Z.trs |
YES |
0.07 |
0.07 |
0.07 |
0.07 |
0.07 |
Transformed_CSR_04/Ex5_7_Luc97_C.trs |
MAYBE |
0.43 |
0.48 |
0.48 |
0.52 |
0.54 |
Transformed_CSR_04/Ex5_7_Luc97_FR.trs |
MAYBE |
0.11 |
0.11 |
0.12 |
0.12 |
0.12 |
Transformed_CSR_04/Ex5_7_Luc97_GM.trs |
MAYBE |
0.22 |
0.23 |
0.26 |
0.27 |
0.26 |
Transformed_CSR_04/Ex5_7_Luc97_iGM.trs |
MAYBE |
1.22 |
1.62 |
1.61 |
1.50 |
1.51 |
Transformed_CSR_04/Ex5_7_Luc97_L.trs |
NO |
0.01 |
0.00 |
0.00 |
0.00 |
0.00 |
Transformed_CSR_04/Ex5_7_Luc97_Z.trs |
MAYBE |
0.10 |
0.10 |
0.10 |
0.10 |
0.11 |
Transformed_CSR_04/Ex5_DLMMU04_C.trs |
YES |
0.40 |
0.43 |
0.42 |
0.44 |
0.47 |
Transformed_CSR_04/Ex5_DLMMU04_FR.trs |
NO |
0.13 |
0.14 |
0.13 |
0.14 |
0.14 |
Transformed_CSR_04/Ex5_DLMMU04_GM.trs |
YES |
0.17 |
0.18 |
0.21 |
0.18 |
0.18 |
Transformed_CSR_04/Ex5_DLMMU04_iGM.trs |
YES |
1.16 |
1.58 |
1.59 |
1.58 |
1.59 |
Transformed_CSR_04/Ex5_DLMMU04_L.trs |
NO |
0.00 |
0.01 |
0.00 |
0.00 |
0.01 |
Transformed_CSR_04/Ex5_DLMMU04_Z.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/Ex5_Zan97_C.trs |
YES |
0.07 |
0.09 |
0.09 |
0.08 |
0.08 |
Transformed_CSR_04/Ex5_Zan97_FR.trs |
YES |
0.03 |
0.05 |
0.05 |
0.05 |
0.05 |
Transformed_CSR_04/Ex5_Zan97_GM.trs |
YES |
0.05 |
0.05 |
0.06 |
0.06 |
0.05 |
Transformed_CSR_04/Ex5_Zan97_iGM.trs |
YES |
0.28 |
0.45 |
0.45 |
0.49 |
0.50 |
Transformed_CSR_04/Ex5_Zan97_L.trs |
NO |
0.00 |
0.01 |
0.00 |
0.00 |
0.00 |
Transformed_CSR_04/Ex5_Zan97_Z.trs |
YES |
0.12 |
0.13 |
0.26 |
0.14 |
0.27 |
Transformed_CSR_04/Ex6_15_AEL02_C.trs |
MAYBE |
0.55 |
0.56 |
0.59 |
0.62 |
0.62 |
Transformed_CSR_04/Ex6_15_AEL02_FR.trs |
MAYBE |
0.11 |
0.12 |
0.12 |
0.12 |
0.13 |
Transformed_CSR_04/Ex6_15_AEL02_GM.trs |
MAYBE |
0.53 |
0.49 |
0.66 |
0.62 |
0.58 |
Transformed_CSR_04/Ex6_15_AEL02_iGM.trs |
MAYBE |
2.14 |
2.90 |
2.71 |
2.33 |
2.40 |
Transformed_CSR_04/Ex6_15_AEL02_L.trs |
NO |
0.00 |
0.00 |
0.00 |
0.01 |
0.00 |
Transformed_CSR_04/Ex6_15_AEL02_Z.trs |
NO |
0.10 |
0.10 |
0.11 |
0.11 |
0.11 |
Transformed_CSR_04/Ex6_9_Luc02c_C.trs |
YES |
0.22 |
0.79 |
0.82 |
0.89 |
0.87 |
Transformed_CSR_04/Ex6_9_Luc02c_FR.trs |
YES |
0.02 |
0.02 |
0.02 |
0.01 |
0.01 |
Transformed_CSR_04/Ex6_9_Luc02c_GM.trs |
YES |
0.05 |
0.05 |
0.06 |
0.05 |
0.06 |
Transformed_CSR_04/Ex6_9_Luc02c_iGM.trs |
YES |
0.48 |
0.70 |
0.71 |
0.49 |
0.50 |
Transformed_CSR_04/Ex6_9_Luc02c_L.trs |
NO |
0.00 |
0.01 |
0.00 |
0.00 |
0.00 |
Transformed_CSR_04/Ex6_9_Luc02c_Z.trs |
YES |
0.00 |
0.01 |
0.01 |
0.01 |
0.00 |
Transformed_CSR_04/Ex6_GM04_C.trs |
YES |
0.45 |
0.42 |
0.06 |
0.42 |
0.05 |
Transformed_CSR_04/Ex6_GM04_FR.trs |
NO |
0.05 |
0.05 |
0.06 |
0.07 |
0.07 |
Transformed_CSR_04/Ex6_GM04_GM.trs |
YES |
0.00 |
0.00 |
0.01 |
0.01 |
0.00 |
Transformed_CSR_04/Ex6_GM04_iGM.trs |
YES |
0.04 |
0.05 |
0.05 |
0.04 |
0.04 |
Transformed_CSR_04/Ex6_GM04_L.trs |
YES |
0.00 |
0.00 |
0.01 |
0.01 |
0.00 |
Transformed_CSR_04/Ex6_Luc98_C.trs |
YES |
0.48 |
0.44 |
0.43 |
0.50 |
0.50 |
Transformed_CSR_04/Ex6_Luc98_FR.trs |
YES |
0.06 |
0.06 |
0.06 |
0.06 |
0.07 |
Transformed_CSR_04/Ex6_Luc98_GM.trs |
YES |
0.08 |
0.07 |
0.07 |
0.06 |
0.06 |
Transformed_CSR_04/Ex6_Luc98_iGM.trs |
YES |
0.52 |
0.70 |
0.69 |
0.58 |
0.59 |
Transformed_CSR_04/Ex6_Luc98_L.trs |
YES |
0.00 |
0.01 |
0.01 |
0.01 |
0.00 |
Transformed_CSR_04/Ex6_Luc98_Z.trs |
YES |
0.35 |
0.33 |
0.34 |
0.33 |
0.34 |
Transformed_CSR_04/Ex7_BLR02_C.trs |
YES |
0.28 |
0.30 |
0.29 |
0.33 |
0.34 |
Transformed_CSR_04/Ex7_BLR02_FR.trs |
YES |
0.09 |
0.09 |
0.09 |
0.08 |
0.09 |
Transformed_CSR_04/Ex7_BLR02_GM.trs |
MAYBE |
0.14 |
0.15 |
0.17 |
0.15 |
0.15 |
Transformed_CSR_04/Ex7_BLR02_iGM.trs |
MAYBE |
0.79 |
1.16 |
1.19 |
0.93 |
0.94 |
Transformed_CSR_04/Ex7_BLR02_L.trs |
NO |
0.01 |
0.01 |
0.00 |
0.01 |
0.00 |
Transformed_CSR_04/Ex7_BLR02_Z.trs |
YES |
0.38 |
0.38 |
0.40 |
0.37 |
0.38 |
Transformed_CSR_04/Ex8_BLR02_C.trs |
YES |
0.28 |
0.28 |
0.28 |
0.32 |
0.33 |
Transformed_CSR_04/Ex8_BLR02_FR.trs |
YES |
0.08 |
0.09 |
0.09 |
0.10 |
0.09 |
Transformed_CSR_04/Ex8_BLR02_GM.trs |
MAYBE |
0.13 |
0.15 |
0.17 |
0.16 |
0.18 |
Transformed_CSR_04/Ex8_BLR02_iGM.trs |
MAYBE |
1.01 |
1.36 |
1.40 |
0.97 |
1.06 |
Transformed_CSR_04/Ex8_BLR02_L.trs |
NO |
0.00 |
0.00 |
0.00 |
0.01 |
0.00 |
Transformed_CSR_04/Ex8_BLR02_Z.trs |
YES |
0.06 |
0.07 |
0.07 |
0.07 |
0.07 |
Transformed_CSR_04/Ex9_BLR02_C.trs |
YES |
0.90 |
0.70 |
0.71 |
0.88 |
0.90 |
Transformed_CSR_04/Ex9_BLR02_FR.trs |
YES |
0.12 |
0.12 |
0.13 |
0.13 |
0.12 |
Transformed_CSR_04/Ex9_BLR02_GM.trs |
YES |
0.17 |
0.21 |
0.22 |
0.15 |
0.16 |
Transformed_CSR_04/Ex9_BLR02_iGM.trs |
YES |
0.86 |
1.06 |
1.08 |
1.14 |
1.29 |
Transformed_CSR_04/Ex9_BLR02_L.trs |
YES |
0.00 |
0.01 |
0.00 |
0.00 |
0.00 |
Transformed_CSR_04/Ex9_BLR02_Z.trs |
YES |
0.48 |
0.52 |
0.54 |
0.49 |
0.16 |
Transformed_CSR_04/Ex9_Luc04_C.trs |
YES |
0.07 |
0.08 |
0.08 |
0.08 |
0.08 |
Transformed_CSR_04/Ex9_Luc04_FR.trs |
NO |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Transformed_CSR_04/Ex9_Luc04_GM.trs |
NO |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
Transformed_CSR_04/Ex9_Luc04_iGM.trs |
MAYBE |
0.06 |
0.06 |
0.07 |
0.07 |
0.07 |
Transformed_CSR_04/Ex9_Luc04_L.trs |
NO |
0.01 |
0.02 |
0.01 |
0.02 |
0.01 |
Transformed_CSR_04/Ex9_Luc06_C.trs |
YES |
0.21 |
0.20 |
0.20 |
0.22 |
0.22 |
Transformed_CSR_04/Ex9_Luc06_FR.trs |
NO |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Transformed_CSR_04/Ex9_Luc06_GM.trs |
YES |
0.02 |
0.03 |
0.03 |
0.03 |
0.03 |
Transformed_CSR_04/Ex9_Luc06_iGM.trs |
YES |
0.07 |
0.40 |
0.40 |
0.53 |
0.53 |
Transformed_CSR_04/ExAppendixB_AEL03_C.trs |
YES |
0.74 |
0.76 |
0.78 |
0.85 |
0.88 |
Transformed_CSR_04/ExAppendixB_AEL03_FR.trs |
YES |
0.14 |
0.16 |
0.16 |
0.16 |
0.17 |
Transformed_CSR_04/ExAppendixB_AEL03_GM.trs |
MAYBE |
0.51 |
0.56 |
0.68 |
0.52 |
0.63 |
Transformed_CSR_04/ExAppendixB_AEL03_iGM.trs |
YES |
2.18 |
2.80 |
2.86 |
2.58 |
2.69 |
Transformed_CSR_04/ExAppendixB_AEL03_L.trs |
NO |
0.01 |
0.01 |
0.00 |
0.01 |
0.00 |
Transformed_CSR_04/ExAppendixB_AEL03_Z.trs |
YES |
0.12 |
0.15 |
0.15 |
0.15 |
0.15 |
Transformed_CSR_04/ExConc_Zan97_C.trs |
YES |
0.08 |
0.08 |
0.09 |
0.08 |
0.09 |
Transformed_CSR_04/ExConc_Zan97_FR.trs |
YES |
0.02 |
0.02 |
0.02 |
0.01 |
0.01 |
Transformed_CSR_04/ExConc_Zan97_GM.trs |
YES |
0.02 |
0.02 |
0.02 |
0.01 |
0.01 |
Transformed_CSR_04/ExConc_Zan97_iGM.trs |
YES |
0.07 |
0.46 |
0.46 |
0.44 |
0.07 |
Transformed_CSR_04/ExConc_Zan97_L.trs |
YES |
0.01 |
0.00 |
0.00 |
0.01 |
0.00 |
Transformed_CSR_04/ExConc_Zan97_Z.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/ExIntrod_GM01_C.trs |
YES |
0.26 |
0.27 |
0.26 |
0.29 |
0.29 |
Transformed_CSR_04/ExIntrod_GM01_FR.trs |
NO |
0.09 |
0.10 |
0.11 |
0.11 |
0.11 |
Transformed_CSR_04/ExIntrod_GM01_GM.trs |
YES |
0.10 |
0.10 |
0.11 |
0.12 |
0.11 |
Transformed_CSR_04/ExIntrod_GM01_iGM.trs |
YES |
0.42 |
0.52 |
0.54 |
0.46 |
0.47 |
Transformed_CSR_04/ExIntrod_GM01_L.trs |
NO |
0.01 |
0.00 |
0.00 |
0.01 |
0.00 |
Transformed_CSR_04/ExIntrod_GM01_Z.trs |
NO |
0.10 |
0.11 |
0.11 |
0.12 |
0.11 |
Transformed_CSR_04/ExIntrod_GM04_C.trs |
YES |
0.18 |
0.20 |
0.21 |
0.20 |
0.20 |
Transformed_CSR_04/ExIntrod_GM04_FR.trs |
NO |
0.07 |
0.07 |
0.07 |
0.07 |
0.08 |
Transformed_CSR_04/ExIntrod_GM04_GM.trs |
YES |
0.07 |
0.08 |
0.08 |
0.08 |
0.09 |
Transformed_CSR_04/ExIntrod_GM04_iGM.trs |
YES |
0.40 |
0.50 |
0.52 |
0.44 |
0.45 |
Transformed_CSR_04/ExIntrod_GM04_L.trs |
NO |
0.00 |
0.00 |
0.01 |
0.00 |
0.00 |
Transformed_CSR_04/ExIntrod_GM04_Z.trs |
NO |
0.06 |
0.06 |
0.07 |
0.07 |
0.07 |
Transformed_CSR_04/ExIntrod_GM99_C.trs |
YES |
0.79 |
0.83 |
0.85 |
0.83 |
0.88 |
Transformed_CSR_04/ExIntrod_GM99_FR.trs |
MAYBE |
0.15 |
0.16 |
0.17 |
0.16 |
0.18 |
Transformed_CSR_04/ExIntrod_GM99_GM.trs |
YES |
0.23 |
0.25 |
0.28 |
0.27 |
0.27 |
Transformed_CSR_04/ExIntrod_GM99_iGM.trs |
MAYBE |
1.78 |
2.31 |
2.37 |
2.23 |
2.08 |
Transformed_CSR_04/ExIntrod_GM99_L.trs |
NO |
0.01 |
0.00 |
0.00 |
0.01 |
0.01 |
Transformed_CSR_04/ExIntrod_GM99_Z.trs |
NO |
0.12 |
0.13 |
0.14 |
0.13 |
0.14 |
Transformed_CSR_04/ExIntrod_Zan97_C.trs |
MAYBE |
0.33 |
0.38 |
0.38 |
0.34 |
0.34 |
Transformed_CSR_04/ExIntrod_Zan97_FR.trs |
MAYBE |
0.11 |
0.13 |
0.14 |
0.14 |
0.13 |
Transformed_CSR_04/ExIntrod_Zan97_GM.trs |
MAYBE |
0.15 |
0.18 |
0.20 |
0.17 |
0.19 |
Transformed_CSR_04/ExIntrod_Zan97_iGM.trs |
MAYBE |
0.85 |
1.21 |
1.22 |
1.16 |
1.20 |
Transformed_CSR_04/ExIntrod_Zan97_L.trs |
NO |
0.01 |
0.00 |
0.00 |
0.00 |
0.01 |
Transformed_CSR_04/ExIntrod_Zan97_Z.trs |
NO |
0.06 |
0.08 |
0.08 |
0.08 |
0.09 |
Transformed_CSR_04/ExProp7_Luc06_C.trs |
YES |
0.21 |
0.20 |
0.21 |
0.25 |
0.25 |
Transformed_CSR_04/ExProp7_Luc06_FR.trs |
YES |
0.01 |
0.03 |
0.03 |
0.02 |
0.02 |
Transformed_CSR_04/ExProp7_Luc06_GM.trs |
YES |
0.05 |
0.07 |
0.07 |
0.07 |
0.07 |
Transformed_CSR_04/ExProp7_Luc06_iGM.trs |
YES |
0.39 |
0.49 |
0.54 |
0.43 |
0.57 |
Transformed_CSR_04/ExProp7_Luc06_L.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/ExProp7_Luc06_Z.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.02 |
Transformed_CSR_04/ExSec11_1_Luc02a_C.trs |
YES |
0.38 |
0.37 |
0.38 |
0.42 |
0.43 |
Transformed_CSR_04/ExSec11_1_Luc02a_FR.trs |
YES |
0.12 |
0.13 |
0.13 |
0.14 |
0.14 |
Transformed_CSR_04/ExSec11_1_Luc02a_GM.trs |
YES |
0.18 |
0.22 |
0.26 |
0.22 |
0.26 |
Transformed_CSR_04/ExSec11_1_Luc02a_iGM.trs |
YES |
0.93 |
1.26 |
1.28 |
1.00 |
1.02 |
Transformed_CSR_04/ExSec11_1_Luc02a_L.trs |
YES |
0.04 |
0.05 |
0.06 |
0.06 |
0.06 |
Transformed_CSR_04/ExSec11_1_Luc02a_Z.trs |
YES |
0.38 |
0.39 |
0.40 |
0.39 |
0.39 |
Transformed_CSR_04/ExSec4_2_DLMMU04_C.trs |
YES |
0.58 |
0.66 |
0.68 |
0.74 |
0.73 |
Transformed_CSR_04/ExSec4_2_DLMMU04_FR.trs |
YES |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
Transformed_CSR_04/ExSec4_2_DLMMU04_GM.trs |
MAYBE |
0.38 |
0.55 |
0.47 |
0.50 |
0.46 |
Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.trs |
MAYBE |
2.03 |
3.22 |
3.24 |
2.85 |
2.96 |
Transformed_CSR_04/ExSec4_2_DLMMU04_L.trs |
NO |
0.00 |
0.01 |
0.01 |
0.00 |
0.01 |
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.trs |
YES |
0.02 |
0.03 |
0.03 |
0.02 |
0.03 |
Transformed_CSR_04/LengthOfFiniteLists_complete_C.trs |
MAYBE |
1.06 |
1.11 |
1.06 |
1.20 |
1.19 |
Transformed_CSR_04/LengthOfFiniteLists_complete_FR.trs |
MAYBE |
0.39 |
0.43 |
0.43 |
0.43 |
0.52 |
Transformed_CSR_04/LengthOfFiniteLists_complete_GM.trs |
YES |
0.76 |
0.77 |
0.81 |
0.80 |
0.89 |
Transformed_CSR_04/LengthOfFiniteLists_complete_iGM.trs |
MAYBE |
3.40 |
4.56 |
4.54 |
4.21 |
4.35 |
Transformed_CSR_04/LengthOfFiniteLists_complete_L.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.00 |
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.trs |
YES |
3.82 |
4.28 |
4.07 |
4.12 |
4.28 |
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.trs |
YES |
2.34 |
4.54 |
10.43 |
3.77 |
6.42 |
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM.trs |
MAYBE |
7.95 |
10.97 |
12.08 |
12.38 |
10.18 |
Transformed_CSR_04/LengthOfFiniteLists_complete_Z.trs |
MAYBE |
0.37 |
0.41 |
0.43 |
0.42 |
0.51 |
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.trs |
MAYBE |
0.69 |
0.94 |
1.38 |
0.88 |
1.06 |
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.trs |
NO |
0.01 |
0.00 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.trs |
MAYBE |
0.82 |
0.77 |
0.99 |
1.25 |
1.70 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.trs |
YES |
0.53 |
0.54 |
0.54 |
0.66 |
0.67 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.trs |
NO |
0.21 |
0.25 |
0.28 |
0.27 |
0.33 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.trs |
YES |
0.18 |
0.21 |
0.20 |
0.20 |
0.20 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.trs |
YES |
0.96 |
1.25 |
1.28 |
1.13 |
1.11 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.trs |
NO |
0.00 |
0.01 |
0.00 |
0.00 |
0.01 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.trs |
YES |
0.89 |
0.94 |
0.94 |
1.05 |
1.09 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.trs |
YES |
1.17 |
1.22 |
1.23 |
1.39 |
1.58 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.trs |
YES |
1.86 |
2.13 |
2.20 |
2.30 |
1.85 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.trs |
NO |
0.24 |
0.25 |
0.23 |
0.22 |
0.25 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.trs |
NO |
0.13 |
0.12 |
0.14 |
0.15 |
0.15 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.trs |
NO |
0.01 |
0.00 |
0.00 |
0.00 |
0.01 |
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.trs |
NO |
0.13 |
0.13 |
0.14 |
0.15 |
0.14 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.trs |
NO |
0.30 |
0.29 |
0.30 |
0.37 |
0.37 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.trs |
NO |
0.05 |
0.06 |
0.06 |
0.06 |
0.08 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.trs |
NO |
0.45 |
0.66 |
0.65 |
0.55 |
0.56 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.trs |
NO |
0.00 |
0.00 |
0.00 |
0.00 |
0.00 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.trs |
NO |
0.45 |
0.44 |
0.45 |
0.57 |
0.57 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.trs |
NO |
0.07 |
0.19 |
0.16 |
0.14 |
0.25 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.trs |
MAYBE |
0.67 |
0.97 |
0.98 |
0.85 |
0.82 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.trs |
NO |
0.02 |
0.03 |
0.03 |
0.03 |
0.03 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.trs |
NO |
0.00 |
0.00 |
0.00 |
0.00 |
0.00 |
Transformed_CSR_04/LISTUTILITIES_complete_C.trs |
MAYBE |
6.99 |
9.36 |
9.60 |
9.71 |
10.28 |
Transformed_CSR_04/LISTUTILITIES_complete_FR.trs |
MAYBE |
6.94 |
7.30 |
7.04 |
6.65 |
8.57 |
Transformed_CSR_04/LISTUTILITIES_complete_GM.trs |
MAYBE |
10.08 |
11.55 |
12.40 |
12.50 |
14.38 |
Transformed_CSR_04/LISTUTILITIES_complete_iGM.trs |
MAYBE |
18.71 |
23.02 |
31.44 |
25.82 |
24.74 |
Transformed_CSR_04/LISTUTILITIES_complete_L.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/LISTUTILITIES_complete_noand_C.trs |
YES |
14.68 |
21.08 |
20.76 |
22.72 |
23.92 |
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.trs |
MAYBE |
32.21 |
34.75 |
38.56 |
41.23 |
39.54 |
Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.trs |
MAYBE |
60.20 |
60.06 |
60.07 |
60.10 |
60.10 |
Transformed_CSR_04/LISTUTILITIES_complete_Z.trs |
MAYBE |
6.03 |
9.47 |
6.91 |
9.31 |
8.06 |
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.trs |
MAYBE |
34.15 |
35.39 |
33.55 |
42.13 |
40.63 |
Transformed_CSR_04/LISTUTILITIES_complete-noand_L.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.trs |
MAYBE |
35.91 |
36.07 |
36.80 |
35.93 |
34.09 |
Transformed_CSR_04/LISTUTILITIES_nokinds_C.trs |
MAYBE |
2.64 |
2.83 |
2.99 |
3.23 |
3.22 |
Transformed_CSR_04/LISTUTILITIES_nokinds_FR.trs |
MAYBE |
1.85 |
2.45 |
1.54 |
1.99 |
1.88 |
Transformed_CSR_04/LISTUTILITIES_nokinds_GM.trs |
MAYBE |
2.31 |
2.29 |
2.90 |
2.36 |
2.98 |
Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.trs |
MAYBE |
6.25 |
8.95 |
8.73 |
8.82 |
8.74 |
Transformed_CSR_04/LISTUTILITIES_nokinds_L.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.trs |
YES |
3.60 |
3.77 |
4.06 |
4.19 |
4.30 |
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.trs |
MAYBE |
3.76 |
5.00 |
5.77 |
7.07 |
5.49 |
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.trs |
MAYBE |
13.23 |
17.90 |
17.33 |
21.92 |
16.41 |
Transformed_CSR_04/LISTUTILITIES_nokinds_Z.trs |
MAYBE |
1.41 |
1.67 |
1.48 |
1.51 |
1.77 |
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.trs |
MAYBE |
2.49 |
2.20 |
2.56 |
2.10 |
3.28 |
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.trs |
MAYBE |
2.10 |
2.45 |
2.26 |
2.08 |
3.12 |
Transformed_CSR_04/LISTUTILITIES_nosorts_C.trs |
YES |
0.83 |
0.93 |
0.95 |
1.04 |
1.07 |
Transformed_CSR_04/LISTUTILITIES_nosorts_FR.trs |
YES |
0.06 |
0.06 |
0.06 |
0.05 |
0.06 |
Transformed_CSR_04/LISTUTILITIES_nosorts_GM.trs |
MAYBE |
0.40 |
0.43 |
0.54 |
0.47 |
0.63 |
Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.trs |
MAYBE |
2.37 |
3.68 |
3.92 |
3.24 |
3.32 |
Transformed_CSR_04/LISTUTILITIES_nosorts_L.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.trs |
YES |
2.53 |
2.73 |
3.20 |
3.10 |
3.22 |
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.trs |
MAYBE |
1.49 |
2.21 |
1.93 |
2.40 |
3.09 |
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.trs |
MAYBE |
7.25 |
11.37 |
11.23 |
10.42 |
10.78 |
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.trs |
YES |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.trs |
YES |
0.09 |
0.08 |
0.10 |
0.09 |
0.09 |
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.trs |
YES |
0.08 |
0.09 |
0.07 |
0.07 |
0.09 |
Transformed_CSR_04/MYNAT_complete_C.trs |
YES |
1.45 |
1.61 |
1.67 |
1.61 |
1.73 |
Transformed_CSR_04/MYNAT_complete_FR.trs |
YES |
0.67 |
0.76 |
0.74 |
0.76 |
0.87 |
Transformed_CSR_04/MYNAT_complete_GM.trs |
YES |
0.79 |
1.09 |
0.98 |
0.97 |
1.04 |
Transformed_CSR_04/MYNAT_complete_iGM.trs |
YES |
3.80 |
5.36 |
5.36 |
5.48 |
5.38 |
Transformed_CSR_04/MYNAT_complete_L.trs |
NO |
0.01 |
0.01 |
0.01 |
0.00 |
0.00 |
Transformed_CSR_04/MYNAT_complete_noand_C.trs |
YES |
4.57 |
4.78 |
4.93 |
4.59 |
4.75 |
Transformed_CSR_04/MYNAT_complete_noand_GM.trs |
MAYBE |
2.43 |
3.01 |
2.54 |
2.42 |
3.40 |
Transformed_CSR_04/MYNAT_complete_noand_iGM.trs |
MAYBE |
7.86 |
11.61 |
11.75 |
12.62 |
16.72 |
Transformed_CSR_04/MYNAT_complete_Z.trs |
YES |
0.67 |
0.72 |
0.75 |
0.79 |
0.77 |
Transformed_CSR_04/MYNAT_complete-noand_FR.trs |
YES |
1.65 |
1.54 |
1.91 |
1.64 |
1.79 |
Transformed_CSR_04/MYNAT_complete-noand_L.trs |
NO |
0.00 |
0.00 |
0.00 |
0.01 |
0.01 |
Transformed_CSR_04/MYNAT_complete-noand_Z.trs |
YES |
1.57 |
1.98 |
1.60 |
1.42 |
1.88 |
Transformed_CSR_04/MYNAT_nokinds_C.trs |
YES |
0.77 |
0.89 |
0.91 |
0.90 |
0.94 |
Transformed_CSR_04/MYNAT_nokinds_FR.trs |
YES |
0.25 |
0.25 |
0.25 |
0.27 |
0.27 |
Transformed_CSR_04/MYNAT_nokinds_GM.trs |
YES |
0.29 |
0.35 |
0.36 |
0.40 |
0.42 |
Transformed_CSR_04/MYNAT_nokinds_iGM.trs |
YES |
1.88 |
2.50 |
2.55 |
2.31 |
2.38 |
Transformed_CSR_04/MYNAT_nokinds_L.trs |
NO |
0.00 |
0.00 |
0.01 |
0.00 |
0.01 |
Transformed_CSR_04/MYNAT_nokinds_noand_C.trs |
YES |
1.21 |
1.41 |
1.43 |
1.37 |
1.43 |
Transformed_CSR_04/MYNAT_nokinds_noand_GM.trs |
YES |
0.79 |
0.91 |
0.87 |
0.82 |
0.85 |
Transformed_CSR_04/MYNAT_nokinds_noand_iGM.trs |
YES |
2.79 |
3.64 |
3.63 |
3.47 |
3.70 |
Transformed_CSR_04/MYNAT_nokinds_Z.trs |
YES |
0.21 |
0.25 |
0.27 |
0.24 |
0.26 |
Transformed_CSR_04/MYNAT_nokinds-noand_FR.trs |
YES |
0.25 |
0.27 |
0.27 |
0.28 |
0.26 |
Transformed_CSR_04/MYNAT_nokinds-noand_L.trs |
NO |
0.01 |
0.01 |
0.00 |
0.00 |
0.00 |
Transformed_CSR_04/MYNAT_nokinds-noand_Z.trs |
YES |
0.24 |
0.25 |
0.27 |
0.26 |
0.26 |
Transformed_CSR_04/MYNAT_nosorts_C.trs |
YES |
0.23 |
0.23 |
0.24 |
0.27 |
0.27 |
Transformed_CSR_04/MYNAT_nosorts_FR.trs |
YES |
0.06 |
0.08 |
0.08 |
0.08 |
0.08 |
Transformed_CSR_04/MYNAT_nosorts_GM.trs |
YES |
0.10 |
0.11 |
0.11 |
0.11 |
0.12 |
Transformed_CSR_04/MYNAT_nosorts_iGM.trs |
YES |
0.68 |
0.94 |
0.95 |
0.80 |
0.80 |
Transformed_CSR_04/MYNAT_nosorts_L.trs |
NO |
0.01 |
0.01 |
0.00 |
0.00 |
0.00 |
Transformed_CSR_04/MYNAT_nosorts_noand_C.trs |
YES |
0.72 |
0.91 |
0.89 |
0.80 |
0.78 |
Transformed_CSR_04/MYNAT_nosorts_noand_GM.trs |
YES |
0.22 |
0.23 |
0.24 |
0.22 |
0.24 |
Transformed_CSR_04/MYNAT_nosorts_noand_iGM.trs |
YES |
1.60 |
2.57 |
2.56 |
2.43 |
2.49 |
Transformed_CSR_04/MYNAT_nosorts-noand_FR.trs |
YES |
0.06 |
0.06 |
0.07 |
0.06 |
0.06 |
Transformed_CSR_04/MYNAT_nosorts-noand_L.trs |
NO |
0.01 |
0.00 |
0.00 |
0.00 |
0.00 |
Transformed_CSR_04/OvConsOS_complete_C.trs |
MAYBE |
3.15 |
3.25 |
3.36 |
3.57 |
3.69 |
Transformed_CSR_04/OvConsOS_complete_FR.trs |
MAYBE |
1.50 |
1.87 |
1.62 |
1.50 |
1.98 |
Transformed_CSR_04/OvConsOS_complete_GM.trs |
MAYBE |
1.92 |
2.60 |
2.06 |
1.97 |
2.07 |
Transformed_CSR_04/OvConsOS_complete_iGM.trs |
MAYBE |
6.95 |
8.66 |
9.12 |
8.13 |
8.45 |
Transformed_CSR_04/OvConsOS_complete_L.trs |
NO |
0.01 |
0.01 |
0.01 |
0.00 |
0.01 |
Transformed_CSR_04/OvConsOS_complete_noand_C.trs |
YES |
4.55 |
5.41 |
5.43 |
5.92 |
5.75 |
Transformed_CSR_04/OvConsOS_complete_noand_GM.trs |
YES |
3.96 |
4.82 |
4.57 |
6.17 |
4.56 |
Transformed_CSR_04/OvConsOS_complete_noand_iGM.trs |
MAYBE |
19.84 |
25.98 |
24.42 |
24.60 |
29.03 |
Transformed_CSR_04/OvConsOS_complete_Z.trs |
MAYBE |
1.69 |
2.53 |
2.23 |
2.24 |
2.23 |
Transformed_CSR_04/OvConsOS_complete-noand_FR.trs |
MAYBE |
4.82 |
4.50 |
6.05 |
5.72 |
4.46 |
Transformed_CSR_04/OvConsOS_complete-noand_L.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/OvConsOS_complete-noand_Z.trs |
MAYBE |
5.52 |
5.79 |
4.99 |
4.17 |
6.35 |
Transformed_CSR_04/OvConsOS_nokinds_C.trs |
MAYBE |
0.97 |
1.05 |
1.12 |
1.22 |
1.20 |
Transformed_CSR_04/OvConsOS_nokinds_FR.trs |
MAYBE |
0.48 |
0.60 |
0.68 |
0.60 |
0.47 |
Transformed_CSR_04/OvConsOS_nokinds_GM.trs |
MAYBE |
0.46 |
0.45 |
0.50 |
0.50 |
0.61 |
Transformed_CSR_04/OvConsOS_nokinds_iGM.trs |
MAYBE |
2.21 |
3.17 |
3.41 |
2.74 |
2.80 |
Transformed_CSR_04/OvConsOS_nokinds_L.trs |
NO |
0.01 |
0.00 |
0.00 |
0.01 |
0.01 |
Transformed_CSR_04/OvConsOS_nokinds_noand_C.trs |
YES |
0.79 |
0.89 |
0.88 |
0.88 |
0.86 |
Transformed_CSR_04/OvConsOS_nokinds_noand_GM.trs |
YES |
1.16 |
1.72 |
1.41 |
1.24 |
1.41 |
Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.trs |
MAYBE |
3.80 |
6.52 |
6.43 |
5.58 |
6.35 |
Transformed_CSR_04/OvConsOS_nokinds_Z.trs |
NO |
0.52 |
0.47 |
0.60 |
0.68 |
0.63 |
Transformed_CSR_04/OvConsOS_nokinds-noand_FR.trs |
NO |
0.64 |
0.51 |
0.60 |
0.58 |
0.61 |
Transformed_CSR_04/OvConsOS_nokinds-noand_L.trs |
NO |
0.00 |
0.00 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/OvConsOS_nokinds-noand_Z.trs |
NO |
0.65 |
0.59 |
0.62 |
0.68 |
0.57 |
Transformed_CSR_04/OvConsOS_nosorts_C.trs |
NO |
0.35 |
0.36 |
0.36 |
0.43 |
0.43 |
Transformed_CSR_04/OvConsOS_nosorts_FR.trs |
NO |
0.03 |
0.04 |
0.04 |
0.04 |
0.04 |
Transformed_CSR_04/OvConsOS_nosorts_GM.trs |
NO |
0.08 |
0.09 |
0.08 |
0.09 |
0.10 |
Transformed_CSR_04/OvConsOS_nosorts_iGM.trs |
NO |
0.73 |
1.02 |
1.02 |
0.86 |
0.87 |
Transformed_CSR_04/OvConsOS_nosorts_L.trs |
NO |
0.00 |
0.00 |
0.01 |
0.00 |
0.00 |
Transformed_CSR_04/OvConsOS_nosorts_noand_C.trs |
NO |
1.16 |
1.25 |
1.25 |
1.38 |
1.44 |
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.trs |
NO |
0.26 |
0.32 |
0.38 |
0.31 |
0.34 |
Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.trs |
MAYBE |
2.40 |
4.81 |
4.83 |
4.69 |
4.49 |
Transformed_CSR_04/OvConsOS_nosorts_Z.trs |
NO |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.trs |
NO |
0.11 |
0.12 |
0.11 |
0.11 |
0.11 |
Transformed_CSR_04/OvConsOS_nosorts-noand_L.trs |
NO |
0.01 |
0.01 |
0.01 |
0.00 |
0.00 |
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.trs |
NO |
0.10 |
0.12 |
0.11 |
0.11 |
0.12 |
Transformed_CSR_04/PALINDROME_complete_C.trs |
YES |
1.58 |
1.65 |
1.66 |
1.82 |
1.86 |
Transformed_CSR_04/PALINDROME_complete_FR.trs |
YES |
1.14 |
1.34 |
1.92 |
1.50 |
1.37 |
Transformed_CSR_04/PALINDROME_complete_GM.trs |
YES |
1.09 |
1.07 |
1.09 |
1.09 |
1.40 |
Transformed_CSR_04/PALINDROME_complete_iGM.trs |
YES |
4.44 |
6.10 |
7.01 |
6.08 |
6.44 |
Transformed_CSR_04/PALINDROME_complete_L.trs |
NO |
0.01 |
0.00 |
0.01 |
0.01 |
0.01 |
Transformed_CSR_04/PALINDROME_complete_noand_C.trs |
YES |
1.42 |
1.53 |
1.60 |
1.68 |
1.68 |
Transformed_CSR_04/PALINDROME_complete_noand_GM.trs |
YES |
4.20 |
3.66 |
3.84 |
3.85 |
3.79 |
Transformed_CSR_04/PALINDROME_complete_noand_iGM.trs |
MAYBE |
16.68 |
19.50 |
25.63 |
22.15 |
30.64 |
Transformed_CSR_04/PALINDROME_complete_Z.trs |
YES |
1.36 |
1.66 |
2.14 |
1.88 |
2.01 |
Transformed_CSR_04/PALINDROME_complete-noand_FR.trs |
YES |
3.05 |
2.74 |
2.97 |
2.06 |
2.10 |
Transformed_CSR_04/PALINDROME_complete-noand_L.trs |
NO |
0.19 |
0.42 |
0.44 |
0.75 |
0.44 |
Transformed_CSR_04/PALINDROME_complete-noand_Z.trs |
YES |
2.17 |
2.14 |
2.76 |
2.29 |
1.97 |
Transformed_CSR_04/PALINDROME_nokinds_C.trs |
YES |
0.33 |
0.35 |
0.37 |
0.39 |
0.42 |
Transformed_CSR_04/PALINDROME_nokinds_FR.trs |
YES |
0.40 |
0.67 |
1.08 |
0.65 |
0.67 |
Transformed_CSR_04/PALINDROME_nokinds_GM.trs |
YES |
0.23 |
0.24 |
0.26 |
0.20 |
0.26 |
Transformed_CSR_04/PALINDROME_nokinds_iGM.trs |
YES |
0.88 |
1.34 |
1.78 |
1.53 |
1.54 |
Transformed_CSR_04/PALINDROME_nokinds_L.trs |
NO |
0.01 |
0.00 |
0.00 |
0.01 |
0.00 |
Transformed_CSR_04/PALINDROME_nokinds_noand_C.trs |
YES |
0.80 |
0.81 |
0.79 |
0.93 |
0.94 |
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.trs |
YES |
1.22 |
1.18 |
1.24 |
1.27 |
1.40 |
Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.trs |
YES |
2.36 |
2.72 |
4.37 |
2.68 |
3.18 |
Transformed_CSR_04/PALINDROME_nokinds_Z.trs |
YES |
0.41 |
0.66 |
1.11 |
0.64 |
0.70 |
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.trs |
YES |
0.69 |
0.97 |
1.41 |
0.97 |
1.00 |
Transformed_CSR_04/PALINDROME_nokinds-noand_L.trs |
NO |
0.17 |
0.41 |
0.42 |
0.73 |
0.42 |
Transformed_CSR_04/PALINDROME_nokinds-noand_Z.trs |
YES |
0.69 |
0.92 |
1.35 |
0.92 |
0.98 |
Transformed_CSR_04/PALINDROME_nosorts_C.trs |
YES |
0.19 |
0.19 |
0.19 |
0.23 |
0.23 |
Transformed_CSR_04/PALINDROME_nosorts_FR.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Transformed_CSR_04/PALINDROME_nosorts_GM.trs |
YES |
0.09 |
0.11 |
0.11 |
0.15 |
0.11 |
Transformed_CSR_04/PALINDROME_nosorts_iGM.trs |
YES |
0.47 |
0.67 |
0.72 |
0.66 |
0.71 |
Transformed_CSR_04/PALINDROME_nosorts_L.trs |
NO |
0.01 |
0.00 |
0.00 |
0.00 |
0.00 |
Transformed_CSR_04/PALINDROME_nosorts_noand_C.trs |
YES |
0.12 |
0.13 |
0.13 |
0.12 |
0.12 |
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.trs |
YES |
0.09 |
0.10 |
0.11 |
0.10 |
0.11 |
Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.trs |
YES |
0.32 |
0.52 |
0.49 |
0.51 |
0.61 |
Transformed_CSR_04/PALINDROME_nosorts-noand_FR.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Transformed_CSR_04/PALINDROME_nosorts-noand_L.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Transformed_CSR_04/PEANO_complete_C.trs |
YES |
1.18 |
1.25 |
1.24 |
1.34 |
1.36 |
Transformed_CSR_04/PEANO_complete_FR.trs |
YES |
0.38 |
0.44 |
0.39 |
0.38 |
0.42 |
Transformed_CSR_04/PEANO_complete_GM.trs |
YES |
0.46 |
0.45 |
0.54 |
0.52 |
0.58 |
Transformed_CSR_04/PEANO_complete_iGM.trs |
YES |
2.17 |
3.09 |
3.60 |
3.06 |
3.29 |
Transformed_CSR_04/PEANO_complete_L.trs |
NO |
0.00 |
0.00 |
0.01 |
0.00 |
0.00 |
Transformed_CSR_04/PEANO_complete_noand_C.trs |
YES |
1.09 |
1.47 |
1.30 |
1.15 |
1.09 |
Transformed_CSR_04/PEANO_complete_noand_GM.trs |
YES |
1.77 |
2.13 |
2.12 |
1.98 |
2.24 |
Transformed_CSR_04/PEANO_complete_noand_iGM.trs |
YES |
9.17 |
10.83 |
9.13 |
10.39 |
13.12 |
Transformed_CSR_04/PEANO_complete_Z.trs |
YES |
0.47 |
0.45 |
0.75 |
0.42 |
0.51 |
Transformed_CSR_04/PEANO_complete-noand_FR.trs |
YES |
0.91 |
0.89 |
1.31 |
0.90 |
0.88 |
Transformed_CSR_04/PEANO_complete-noand_L.trs |
NO |
0.01 |
0.01 |
0.01 |
0.01 |
0.00 |
Transformed_CSR_04/PEANO_complete-noand_Z.trs |
YES |
1.07 |
0.83 |
0.86 |
0.91 |
1.15 |
Transformed_CSR_04/PEANO_nokinds_C.trs |
YES |
0.52 |
0.56 |
0.60 |
0.63 |
0.63 |
Transformed_CSR_04/PEANO_nokinds_FR.trs |
YES |
0.15 |
0.17 |
0.18 |
0.17 |
0.22 |
Transformed_CSR_04/PEANO_nokinds_GM.trs |
YES |
0.17 |
0.20 |
0.22 |
0.19 |
0.21 |
Transformed_CSR_04/PEANO_nokinds_iGM.trs |
YES |
1.09 |
1.59 |
1.61 |
1.37 |
1.40 |
Transformed_CSR_04/PEANO_nokinds_L.trs |
NO |
0.00 |
0.00 |
0.00 |
0.00 |
0.00 |
Transformed_CSR_04/PEANO_nokinds_noand_C.trs |
YES |
0.72 |
0.79 |
0.77 |
0.82 |
0.82 |
Transformed_CSR_04/PEANO_nokinds_noand_GM.trs |
YES |
0.63 |
0.68 |
0.75 |
0.70 |
0.63 |
Transformed_CSR_04/PEANO_nokinds_noand_iGM.trs |
YES |
1.49 |
2.23 |
2.68 |
2.26 |
2.26 |
Transformed_CSR_04/PEANO_nokinds_Z.trs |
YES |
0.13 |
0.16 |
0.18 |
0.23 |
0.16 |
Transformed_CSR_04/PEANO_nokinds-noand_FR.trs |
YES |
0.18 |
0.16 |
0.18 |
0.34 |
0.20 |
Transformed_CSR_04/PEANO_nokinds-noand_L.trs |
NO |
0.01 |
0.00 |
0.00 |
0.00 |
0.00 |
Transformed_CSR_04/PEANO_nokinds-noand_Z.trs |
YES |
0.17 |
0.20 |
0.23 |
0.17 |
0.18 |
Transformed_CSR_04/PEANO_nosorts_C.trs |
YES |
0.19 |
0.19 |
0.19 |
0.22 |
0.23 |
Transformed_CSR_04/PEANO_nosorts_FR.trs |
YES |
0.03 |
0.04 |
0.05 |
0.04 |
0.04 |
Transformed_CSR_04/PEANO_nosorts_GM.trs |
YES |
0.06 |
0.06 |
0.07 |
0.07 |
0.06 |
Transformed_CSR_04/PEANO_nosorts_iGM.trs |
YES |
0.42 |
0.63 |
0.67 |
0.53 |
0.54 |
Transformed_CSR_04/PEANO_nosorts_L.trs |
NO |
0.00 |
0.00 |
0.01 |
0.00 |
0.00 |
Transformed_CSR_04/PEANO_nosorts_noand_C.trs |
YES |
0.41 |
0.46 |
0.47 |
0.41 |
0.42 |
Transformed_CSR_04/PEANO_nosorts_noand_GM.trs |
YES |
0.11 |
0.12 |
0.14 |
0.12 |
0.12 |
Transformed_CSR_04/PEANO_nosorts_noand_iGM.trs |
YES |
0.78 |
1.26 |
1.27 |
1.27 |
1.38 |
Transformed_CSR_04/PEANO_nosorts-noand_FR.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Transformed_CSR_04/PEANO_nosorts-noand_L.trs |
NO |
0.00 |
0.00 |
0.00 |
0.00 |
0.00 |
Various_04/02.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Various_04/03.trs |
YES |
0.06 |
0.07 |
0.07 |
0.07 |
0.07 |
Various_04/04.trs |
MAYBE |
0.51 |
0.51 |
0.51 |
0.52 |
0.52 |
Various_04/05.trs |
MAYBE |
0.51 |
0.52 |
0.51 |
0.52 |
0.52 |
Various_04/06.trs |
YES |
0.01 |
0.01 |
0.01 |
0.00 |
0.01 |
Various_04/07.trs |
YES |
0.01 |
0.01 |
0.01 |
0.00 |
0.00 |
Various_04/08.trs |
MAYBE |
0.60 |
0.61 |
0.60 |
0.62 |
0.61 |
Various_04/09.trs |
YES |
0.01 |
0.01 |
0.01 |
0.01 |
0.01 |
Various_04/10.trs |
YES |
0.90 |
1.03 |
1.10 |
1.02 |
1.10 |
Various_04/11.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Various_04/12.trs |
YES |
0.16 |
0.15 |
0.21 |
0.22 |
0.22 |
Various_04/13.trs |
YES |
0.93 |
1.05 |
2.40 |
0.95 |
2.25 |
Various_04/14.trs |
YES |
1.19 |
1.74 |
3.52 |
1.90 |
2.19 |
Various_04/15.trs |
YES |
0.01 |
0.01 |
0.02 |
0.01 |
0.01 |
Various_04/18.trs |
YES |
0.06 |
0.06 |
0.07 |
0.07 |
0.06 |
Various_04/19.trs |
YES |
0.07 |
0.07 |
0.09 |
0.09 |
0.09 |
Various_04/21.trs |
YES |
0.21 |
0.22 |
0.22 |
0.20 |
0.22 |
Various_04/22.trs |
YES |
0.06 |
0.08 |
0.08 |
0.09 |
0.09 |
Various_04/23.trs |
YES |
0.37 |
0.38 |
0.38 |
0.38 |
0.37 |
Various_04/24.trs |
YES |
0.42 |
0.42 |
0.43 |
0.42 |
0.42 |
Various_04/25.trs |
YES |
0.01 |
0.02 |
0.02 |
0.02 |
0.02 |
Various_04/26.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.03 |
Various_04/27.trs |
YES |
0.00 |
0.00 |
0.00 |
0.01 |
0.00 |
Waldmann_06/jwaprove1.trs |
YES |
0.03 |
0.04 |
0.04 |
0.04 |
0.04 |
Waldmann_06/jwaprove2.trs |
YES |
0.03 |
0.04 |
0.04 |
0.04 |
0.04 |
Waldmann_06/jwcime1.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.04 |
Waldmann_06/jwcime2.trs |
YES |
0.05 |
0.05 |
0.05 |
0.05 |
0.05 |
Waldmann_06/jwmatchb1.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Waldmann_06/jwmatchb2.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Waldmann_06/jwno1.trs |
NO |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Waldmann_06/jwno2.trs |
MAYBE |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
Waldmann_06/jwno3.trs |
MAYBE |
0.04 |
0.05 |
0.05 |
0.05 |
0.05 |
Waldmann_06/jwno4.trs |
NO |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Waldmann_06/jwno5.trs |
MAYBE |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Waldmann_06/jwno6.trs |
NO |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Waldmann_06/jwno7.trs |
MAYBE |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
Waldmann_06/jwno8.trs |
MAYBE |
0.05 |
0.05 |
0.05 |
0.05 |
0.05 |
Waldmann_06/jwno9.trs |
NO |
0.05 |
0.06 |
0.06 |
0.06 |
0.06 |
Waldmann_06/jwteparla1.trs |
YES |
0.04 |
0.05 |
0.05 |
0.05 |
0.05 |
Waldmann_06/jwteparla2.trs |
YES |
0.04 |
0.05 |
0.05 |
0.05 |
0.05 |
Waldmann_06/jwtpa1.trs |
YES |
0.06 |
0.07 |
0.07 |
0.07 |
0.07 |
Waldmann_06/jwtpa2.trs |
YES |
0.06 |
0.09 |
0.08 |
0.09 |
0.08 |
Waldmann_06/jwttt.trs |
YES |
0.07 |
0.09 |
0.09 |
0.10 |
0.09 |
Zantema_05/jw01.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Zantema_05/jw02.trs |
YES |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
Zantema_05/jw03.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Zantema_05/jw04.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
Zantema_05/jw05.trs |
YES |
0.04 |
0.05 |
0.05 |
0.04 |
0.04 |
Zantema_05/jw06.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Zantema_05/jw07.trs |
YES |
0.06 |
0.06 |
0.06 |
0.06 |
0.06 |
Zantema_05/jw08.trs |
YES |
0.07 |
0.07 |
0.08 |
0.07 |
0.08 |
Zantema_05/jw09.trs |
YES |
0.06 |
0.06 |
0.06 |
0.06 |
0.06 |
Zantema_05/jw11.trs |
YES |
0.06 |
0.06 |
0.06 |
0.06 |
0.06 |
Zantema_05/jw12.trs |
YES |
0.06 |
0.06 |
0.06 |
0.06 |
0.06 |
Zantema_05/jw13.trs |
YES |
0.05 |
0.05 |
0.05 |
0.05 |
0.05 |
Zantema_05/jw14.trs |
YES |
0.05 |
0.05 |
0.05 |
0.05 |
0.05 |
Zantema_05/jw15.trs |
YES |
0.04 |
0.04 |
0.05 |
0.04 |
0.04 |
Zantema_05/jw16.trs |
YES |
0.04 |
0.04 |
0.05 |
0.04 |
0.04 |
Zantema_05/jw17.trs |
YES |
0.06 |
0.06 |
0.07 |
0.06 |
0.07 |
Zantema_05/jw18.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Zantema_05/jw19.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Zantema_05/jw20.trs |
YES |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
Zantema_05/jw21.trs |
YES |
0.03 |
0.04 |
0.04 |
0.04 |
0.04 |
Zantema_05/jw22.trs |
YES |
0.05 |
0.05 |
0.05 |
0.05 |
0.05 |
Zantema_05/jw23.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Zantema_05/jw24.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Zantema_05/jw25.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Zantema_05/jw26.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Zantema_05/jw27.trs |
YES |
0.05 |
0.05 |
0.05 |
0.05 |
0.05 |
Zantema_05/jw28.trs |
YES |
0.03 |
0.04 |
0.04 |
0.03 |
0.04 |
Zantema_05/jw29.trs |
YES |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
Zantema_05/jw30.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Zantema_05/jw31.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Zantema_05/jw32.trs |
YES |
0.06 |
0.06 |
0.06 |
0.06 |
0.07 |
Zantema_05/jw33.trs |
YES |
0.04 |
0.04 |
0.05 |
0.04 |
0.05 |
Zantema_05/jw34.trs |
YES |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
Zantema_05/jw35.trs |
YES |
0.05 |
0.05 |
0.05 |
0.05 |
0.05 |
Zantema_05/jw36.trs |
YES |
0.05 |
0.05 |
0.05 |
0.05 |
0.06 |
Zantema_05/jw37.trs |
YES |
0.06 |
0.06 |
0.06 |
0.06 |
0.07 |
Zantema_05/jw38.trs |
YES |
0.06 |
0.06 |
0.06 |
0.06 |
0.07 |
Zantema_05/jw39.trs |
YES |
0.05 |
0.06 |
0.06 |
0.06 |
0.06 |
Zantema_05/jw40.trs |
YES |
0.05 |
0.06 |
0.06 |
0.06 |
0.06 |
Zantema_05/jw41.trs |
YES |
0.07 |
0.07 |
0.08 |
0.07 |
0.07 |
Zantema_05/jw42.trs |
YES |
0.06 |
0.06 |
0.06 |
0.06 |
0.06 |
Zantema_05/jw43.trs |
YES |
0.05 |
0.06 |
0.06 |
0.06 |
0.06 |
Zantema_05/jw44.trs |
YES |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
Zantema_05/jw47.trs |
YES |
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
Zantema_05/jw50.trs |
YES |
0.05 |
0.06 |
0.06 |
0.06 |
0.06 |
Zantema_05/z01.trs |
YES |
0.69 |
0.73 |
0.73 |
0.73 |
0.74 |
Zantema_05/z02.trs |
YES |
0.03 |
0.03 |
0.03 |
0.03 |
0.03 |
Zantema_05/z03.trs |
YES |
0.18 |
0.19 |
0.19 |
0.19 |
0.19 |
Zantema_05/z04.trs |
YES |
0.02 |
0.02 |
0.02 |
0.02 |
0.03 |
Zantema_05/z05.trs |
YES |
0.08 |
0.09 |
0.09 |
0.09 |
0.10 |
Zantema_05/z06.trs |
YES |
0.07 |
0.08 |
0.08 |
0.08 |
0.08 |
Zantema_05/z07.trs |
YES |
0.05 |
0.05 |
0.05 |
0.05 |
0.05 |
Zantema_05/z08.trs |
YES |
0.08 |
0.08 |
0.08 |
0.08 |
0.09 |
Zantema_05/z09.trs |
YES |
0.05 |
0.05 |
0.05 |
0.05 |
0.05 |
Zantema_05/z10.trs |
YES |
0.05 |
0.05 |
0.05 |
0.05 |
0.05 |
Zantema_05/z11.trs |
YES |
0.07 |
0.07 |
0.07 |
0.07 |
0.07 |
Zantema_05/z12.trs |
YES |
0.43 |
0.45 |
0.45 |
0.45 |
0.45 |
Zantema_05/z13.trs |
YES |
0.39 |
0.42 |
0.42 |
0.42 |
0.43 |
Zantema_05/z14.trs |
YES |
0.38 |
0.42 |
0.42 |
0.42 |
0.42 |
Zantema_05/z15.trs |
YES |
0.39 |
0.39 |
0.40 |
0.41 |
0.40 |
Zantema_05/z16.trs |
YES |
0.40 |
0.43 |
0.44 |
0.44 |
0.44 |
Zantema_05/z17.trs |
MAYBE |
0.41 |
0.43 |
0.41 |
0.43 |
0.41 |
Zantema_05/z18.trs |
YES |
0.39 |
0.39 |
0.40 |
0.40 |
0.40 |
Zantema_05/z19.trs |
YES |
0.06 |
0.06 |
0.06 |
0.06 |
0.06 |
Zantema_05/z20.trs |
MAYBE |
0.14 |
0.15 |
0.15 |
0.14 |
0.15 |
Zantema_05/z21.trs |
YES |
0.05 |
0.06 |
0.07 |
0.06 |
0.06 |
Zantema_05/z22.trs |
YES |
0.18 |
0.19 |
0.19 |
0.21 |
0.19 |
Zantema_05/z23.trs |
YES |
0.43 |
0.44 |
0.45 |
0.44 |
0.45 |
Zantema_05/z24.trs |
YES |
0.41 |
0.42 |
0.42 |
0.42 |
0.42 |
Zantema_05/z25.trs |
YES |
0.08 |
0.09 |
0.10 |
0.10 |
0.09 |
Zantema_05/z26.trs |
YES |
0.14 |
0.16 |
0.17 |
0.17 |
0.18 |
Zantema_05/z27.trs |
YES |
0.29 |
0.36 |
0.38 |
0.38 |
0.40 |
Zantema_05/z28.trs |
YES |
0.03 |
0.03 |
0.03 |
0.04 |
0.03 |
Zantema_05/z29.trs |
YES |
0.03 |
0.03 |
0.03 |
0.04 |
0.04 |
Zantema_05/z30.trs |
YES |
60.04 |
60.04 |
60.03 |
60.45 |
60.03 |
EEG_IJCAR_12/emmes-nonloop-ex1_1.trs |
|
0.07 |
0.10 |
0.09 |
0.10 |
0.10 |
EEG_IJCAR_12/emmes-nonloop-ex1_2.trs |
|
0.11 |
0.15 |
0.15 |
0.15 |
0.16 |
EEG_IJCAR_12/emmes-nonloop-ex1_3.trs |
|
0.10 |
0.13 |
0.13 |
0.14 |
0.14 |
EEG_IJCAR_12/emmes-nonloop-ex1_4.trs |
|
0.11 |
0.15 |
0.15 |
0.15 |
0.16 |
EEG_IJCAR_12/emmes-nonloop-ex1_5.trs |
|
0.10 |
0.13 |
0.13 |
0.13 |
0.13 |
EEG_IJCAR_12/emmes-nonloop-ex2_1.trs |
|
0.17 |
0.24 |
0.24 |
0.25 |
0.25 |
EEG_IJCAR_12/emmes-nonloop-ex2_2.trs |
|
0.07 |
0.10 |
0.10 |
0.10 |
0.10 |
EEG_IJCAR_12/emmes-nonloop-ex2_3.trs |
|
0.10 |
0.15 |
0.15 |
0.15 |
0.15 |
EEG_IJCAR_12/emmes-nonloop-ex2_4.trs |
|
0.14 |
0.19 |
0.19 |
0.19 |
0.20 |
EEG_IJCAR_12/emmes-nonloop-ex2_5.trs |
|
0.12 |
0.17 |
0.17 |
0.18 |
0.17 |
EEG_IJCAR_12/emmes-nonloop-ex3_1.trs |
|
0.13 |
0.17 |
0.17 |
0.17 |
0.18 |
EEG_IJCAR_12/emmes-nonloop-ex3_2.trs |
|
0.06 |
0.08 |
0.08 |
0.08 |
0.09 |
EEG_IJCAR_12/emmes-nonloop-ex3_3.trs |
|
0.09 |
0.12 |
0.12 |
0.12 |
0.13 |
EEG_IJCAR_12/emmes-nonloop-ex3_4.trs |
|
0.10 |
0.12 |
0.12 |
0.13 |
0.13 |
EEG_IJCAR_12/emmes-nonloop-ex4_1.trs |
|
0.07 |
0.09 |
0.09 |
0.10 |
0.10 |
EEG_IJCAR_12/emmes-nonloop-ex4_2.trs |
|
0.11 |
0.15 |
0.15 |
0.15 |
0.16 |
EEG_IJCAR_12/emmes-nonloop-ex4_3.trs |
|
0.10 |
0.13 |
0.13 |
0.14 |
0.14 |
EEG_IJCAR_12/emmes-nonloop-ex4_4.trs |
|
0.10 |
0.13 |
0.13 |
0.13 |
0.14 |
EEG_IJCAR_12/emmes-nonloop-ex5_1.trs |
|
0.19 |
0.25 |
0.25 |
0.26 |
0.26 |
EEG_IJCAR_12/emmes-nonloop-ex5_2.trs |
|
0.08 |
0.11 |
0.11 |
0.11 |
0.11 |
EEG_IJCAR_12/emmes-nonloop-ex5_3.trs |
|
0.11 |
0.15 |
0.16 |
0.16 |
0.17 |
EEG_IJCAR_12/emmes-nonloop-ex6_1.trs |
|
0.07 |
0.11 |
0.19 |
0.11 |
0.19 |
EEG_IJCAR_12/emmes-nonloop-ex6_2.trs |
|
0.22 |
0.39 |
0.42 |
0.39 |
0.42 |
EEG_IJCAR_12/emmes-nonloop-ex7_1.trs |
|
0.08 |
0.10 |
0.10 |
0.11 |
0.11 |
EEG_IJCAR_12/emmes-nonloop-ex7_2.trs |
|
0.13 |
0.19 |
0.27 |
0.20 |
0.27 |
EEG_IJCAR_12/emmes-nonloop-ex7_3.trs |
|
0.14 |
0.19 |
0.27 |
0.20 |
0.28 |
EEG_IJCAR_12/emmes-nonloop-ex7_4.trs |
|
0.28 |
0.49 |
0.53 |
0.50 |
0.54 |
EEG_IJCAR_12/emmes-nonloop-ex7_5.trs |
|
0.29 |
0.49 |
0.53 |
0.50 |
0.54 |
EEG_IJCAR_12/emmes-nonloop-ex7_6.trs |
|
0.28 |
0.49 |
0.54 |
0.50 |
0.54 |
EEG_IJCAR_12/emmes-nonloop-ex7_7.trs |
|
0.13 |
0.19 |
0.27 |
0.19 |
0.28 |
EEG_IJCAR_12/emmes-nonloop-ex7_8.trs |
|
0.13 |
0.19 |
0.27 |
0.20 |
0.28 |
EEG_IJCAR_12/emmes-nonloop-ex7_9.trs |
|
0.28 |
0.49 |
0.53 |
0.50 |
0.53 |
EEG_IJCAR_12/enger-nonloop-add.trs |
|
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
EEG_IJCAR_12/enger-nonloop-addTrue.trs |
|
0.04 |
0.04 |
0.04 |
0.04 |
0.04 |
EEG_IJCAR_12/enger-nonloop-ex_payet.trs |
|
0.09 |
0.11 |
0.12 |
0.12 |
0.12 |
EEG_IJCAR_12/enger-nonloop-isDNat.trs |
|
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
EEG_IJCAR_12/enger-nonloop-isList.trs |
|
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
EEG_IJCAR_12/enger-nonloop-isList-List.trs |
|
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
EEG_IJCAR_12/enger-nonloop-isTrueList.trs |
|
0.02 |
0.02 |
0.02 |
0.02 |
0.02 |
EEG_IJCAR_12/enger-nonloop-swap_decr.trs |
|
0.06 |
0.08 |
0.09 |
0.09 |
0.09 |
EEG_IJCAR_12/enger-nonloop-swapX.trs |
|
0.05 |
0.07 |
0.07 |
0.07 |
0.08 |
EEG_IJCAR_12/enger-nonloop-swapXY.trs |
|
0.06 |
0.07 |
0.08 |
0.08 |
0.08 |
EEG_IJCAR_12/enger-nonloop-swapXY2.trs |
|
0.06 |
0.07 |
0.08 |
0.08 |
0.08 |
EEG_IJCAR_12/enger-nonloop-toOne.trs |
|
0.07 |
0.09 |
0.09 |
0.10 |
0.10 |
EEG_IJCAR_12/enger-nonloop-unbounded.trs |
|
0.06 |
0.09 |
0.09 |
0.09 |
0.09 |
EEG_IJCAR_12/enger-nonloop-while-lt.trs |
|
0.06 |
0.08 |
0.08 |
0.09 |
0.09 |
EEG_IJCAR_12/rybalchenko-nonloop-popl08.trs |
|
0.13 |
0.17 |
0.18 |
0.18 |
0.18 |
EEG_IJCAR_12/velroyen-nonloop-AlternatingIncr_c.trs |
|
0.15 |
0.18 |
0.19 |
0.19 |
0.19 |
EEG_IJCAR_12/velroyen-nonloop-ConvLower_c.trs |
|
0.18 |
0.25 |
0.26 |
0.26 |
0.26 |