file DC DC innermost RC RC innermost
TRS/AG01/#3.1 - 0.05 3.19 2.20
TRS/AG01/#3.10 - 0.05 60.14 59.51
TRS/AG01/#3.12 60.24 60.28 3.65 3.33
TRS/AG01/#3.13 - 0.05 60.13 60.02
TRS/AG01/#3.14 1.10 1.10 1.65 1.44
TRS/AG01/#3.15 1.14 1.13 1.23 1.25
TRS/AG01/#3.16 - 0.05 2.11 2.30
TRS/AG01/#3.17 91.88 93.08 8.29 9.96
TRS/AG01/#3.17a 65.09 65.02 12.64 15.56
TRS/AG01/#3.18 - 0.05 7.32 5.96
TRS/AG01/#3.19 - 0.05 14.34 13.82
TRS/AG01/#3.2 - 0.05 5.21 3.62
TRS/AG01/#3.21 - 0.05 60.39 58.75
TRS/AG01/#3.22 - 0.05 10.16 11.27
TRS/AG01/#3.23 - 0.05 1.53 1.60
TRS/AG01/#3.24 0.08 0.07 0.15 0.15
TRS/AG01/#3.26 60.22 60.10 1.60 1.57
TRS/AG01/#3.29 - 0.05 0.12 0.12
TRS/AG01/#3.31 - 0.05 3.37 3.45
TRS/AG01/#3.33 0.09 0.09 0.12 0.12
TRS/AG01/#3.35 1.08 1.08 1.18 1.20
TRS/AG01/#3.36 - 0.05 60.14 58.22
TRS/AG01/#3.37 0.08 0.08 0.16 0.16
TRS/AG01/#3.38 - 0.05 2.61 3.20
TRS/AG01/#3.39 - 0.05 60.13 58.58
TRS/AG01/#3.4 - 0.05 6.76 6.01
TRS/AG01/#3.40 - 0.05 60.12 58.90
TRS/AG01/#3.41 - 0.05 2.87 2.54
TRS/AG01/#3.42 - 0.05 4.36 2.18
TRS/AG01/#3.47 - 0.05 4.13 3.93
TRS/AG01/#3.48 - 0.05 4.45 4.84
TRS/AG01/#3.49 60.35 60.33 5.29 5.90
TRS/AG01/#3.5 - 0.05 60.12 50.74
TRS/AG01/#3.51 0.08 0.08 0.14 0.14
TRS/AG01/#3.52 - 0.05 0.84 0.17
TRS/AG01/#3.53 - 0.05 14.61 8.36
TRS/AG01/#3.53a - 0.05 0.13 0.12
TRS/AG01/#3.53b - 0.05 0.79 0.18
TRS/AG01/#3.54 - 0.05 0.64 0.64
TRS/AG01/#3.55 - 0.05 60.13 59.12
TRS/AG01/#3.56 1.09 1.10 1.66 1.59
TRS/AG01/#3.57 - 0.05 8.85 8.47
TRS/AG01/#3.5a - 0.05 20.25 9.74
TRS/AG01/#3.5b - 0.05 60.13 58.47
TRS/AG01/#3.6 - 0.05 25.05 14.80
TRS/AG01/#3.6a - 0.05 23.33 10.92
TRS/AG01/#3.6b - 0.05 60.12 40.12
TRS/AG01/#3.7 1.13 1.13 1.24 1.24
TRS/AG01/#3.8a - 0.05 60.12 33.98
TRS/AG01/#3.8b - 0.05 60.12 58.51
TRS/AG01/#4.12a - 0.05 0.38 0.29
TRS/AG01/#4.13 - 0.05 0.40 0.30
TRS/AG01/#4.14 - 0.05 1.97 1.09
TRS/AG01/#4.15 - 0.05 60.12 58.50
TRS/AG01/#4.16 - 0.05 0.74 0.56
TRS/AG01/#4.17 60.36 60.32 61.13 59.23
TRS/AG01/#4.18 60.10 60.11 61.19 59.30
TRS/AG01/#4.19 - 0.05 15.79 14.83
TRS/AG01/#4.2 - 0.05 4.60 21.42
TRS/AG01/#4.20 0.10 0.11 1.14 1.15
TRS/AG01/#4.20a 0.10 0.09 1.15 1.17
TRS/AG01/#4.21 0.09 0.09 8.35 7.52
TRS/AG01/#4.22 - 0.05 1.38 0.77
TRS/AG01/#4.23 - 0.05 60.12 33.46
TRS/AG01/#4.24 60.32 60.26 6.76 8.68
TRS/AG01/#4.25 60.25 60.25 1.26 1.29
TRS/AG01/#4.26 - 0.05 4.03 2.49
TRS/AG01/#4.27 - 0.05 60.30 58.62
TRS/AG01/#4.28 5.91 6.02 1.55 1.56
TRS/AG01/#4.29 - 0.05 60.13 58.49
TRS/AG01/#4.3 - 0.05 1.46 1.03
TRS/AG01/#4.30 - 0.05 29.44 13.56
TRS/AG01/#4.30a - 0.05 60.12 38.26
TRS/AG01/#4.30b - 0.05 60.12 9.40
TRS/AG01/#4.30c - 0.05 13.37 16.22
TRS/AG01/#4.31 73.86 73.47 2.23 2.29
TRS/AG01/#4.32 - 0.05 5.19 5.25
TRS/AG01/#4.33 - 0.05 60.12 58.77
TRS/AG01/#4.34 - 0.05 57.45 57.42
TRS/AG01/#4.35 - 0.05 60.12 60.02
TRS/AG01/#4.36 - 0.05 60.13 59.81
TRS/AG01/#4.37 0.07 0.07 0.12 0.12
TRS/AG01/#4.37a 0.07 0.07 0.12 0.13
TRS/AG01/#4.4 - 0.05 1.00 0.95
TRS/AG01/#4.5 60.05 60.05 1.13 1.12
TRS/AG01/#4.7 - 0.05 1.80 2.31
TRS/AProVE/AAECC-ring - 0.06 60.13 60.02
TRS/AProVE/AAECC - 0.05 60.28 59.84
TRS/AProVE/IJCAR_1 - 0.05 1.29 1.09
TRS/AProVE/IJCAR_12 - 0.05 5.78 4.72
TRS/AProVE/IJCAR_18 - 0.05 60.13 58.91
TRS/AProVE/IJCAR_26 - 0.05 60.13 58.95
TRS/AProVE/IJCAR_26a - 0.05 60.13 58.93
TRS/AProVE/JFP_Ex31 - 0.05 47.80 46.04
TRS/AProVE/JFP_Ex51 - 0.05 19.22 22.18
TRS/AProVE/LPAR_intlist 60.27 60.30 9.75 7.87
TRS/AProVE/Liveness6.1 60.18 60.21 20.32 16.92
TRS/AProVE/Liveness6.2 60.35 60.35 20.53 11.76
TRS/AProVE/Liveness6.3 60.26 60.25 43.03 31.78
TRS/AProVE/Liveness6.4 69.87 65.86 61.60 59.72
TRS/AProVE/Liveness8 28.15 30.08 62.04 59.58
TRS/AProVE/Liveness_WRS 60.16 60.18 62.00 60.02
TRS/AProVE/fac - 0.05 60.14 58.28
TRS/AProVE/forward_instantiation - 0.05 0.41 0.36
TRS/AProVE/forward_instantiation2 - 0.05 0.41 0.38
TRS/AProVE/improved_usable - 0.05 3.90 0.30
TRS/AProVE/improved_usable2 - 0.05 1.30 0.23
TRS/AProVE/rta1 - 0.05 60.13 58.32
TRS/AProVE/rta2 - 0.05 0.30 0.25
TRS/AProVE/rta3 - 0.05 9.08 10.81
TRS/Beerendonk/1 - 0.05 7.44 19.24
TRS/Beerendonk/10 - 0.05 31.90 58.32
TRS/Beerendonk/11 - 0.05 57.22 58.46
TRS/Beerendonk/12 - 0.05 6.53 58.37
TRS/Beerendonk/13 - 0.05 29.17 58.41
TRS/Beerendonk/14 - 0.05 23.26 29.32
TRS/Beerendonk/15 - 0.05 60.12 58.84
TRS/Beerendonk/16 - 0.05 60.12 60.01
TRS/Beerendonk/17 - 0.05 60.12 58.89
TRS/Beerendonk/18 - 0.05 60.12 58.90
TRS/Beerendonk/19 - 0.05 60.12 60.02
TRS/Beerendonk/2 - 0.05 7.94 33.03
TRS/Beerendonk/20 - 0.05 60.12 58.55
TRS/Beerendonk/21 - 0.05 60.12 59.09
TRS/Beerendonk/22 - 0.05 52.99 58.43
TRS/Beerendonk/23 - 0.05 14.10 18.79
TRS/Beerendonk/24 - 0.05 60.12 58.92
TRS/Beerendonk/3 - 0.05 16.89 37.81
TRS/Beerendonk/4 - 0.05 2.88 2.93
TRS/Beerendonk/5 - 0.05 60.14 58.29
TRS/Beerendonk/6 - 0.05 2.58 2.39
TRS/Beerendonk/7 - 0.05 60.15 58.24
TRS/Beerendonk/8 - 0.05 60.12 58.35
TRS/Beerendonk/9 - 0.05 60.12 58.57
TRS/CSR/Ex1_Luc04b_GM 60.98 60.52 7.34 7.75
TRS/Cime/ack_prolog - 0.05 59.93 35.52
TRS/Cime/append-hard - 0.05 1.64 1.22
TRS/Cime/append-wrong - 0.05 1.74 1.13
TRS/Cime/append - 0.05 0.39 0.14
TRS/Cime/big - 0.06 60.16 60.02
TRS/Cime/boolean_rings - 0.05 57.57 31.39
TRS/Cime/dpqs 0.07 0.07 0.13 0.13
TRS/Cime/fact-hard - 0.05 60.12 58.41
TRS/Cime/filliatre 60.21 60.19 62.47 59.94
TRS/Cime/filliatre2 60.20 60.20 76.84 59.95
TRS/Cime/filliatre3 - 0.05 60.13 59.21
TRS/Cime/intersect - 0.05 12.72 14.08
TRS/Cime/list-sum-prod-assoc-append - 0.05 26.10 25.67
TRS/Cime/list-sum-prod-assoc - 0.05 18.03 21.05
TRS/Cime/list-sum-prod-bin-assoc-distr-app - 0.05 60.14 59.49
TRS/Cime/list-sum-prod-bin-assoc - 0.05 60.14 58.84
TRS/Cime/list-sum-prod-bin - 0.05 60.14 58.54
TRS/Cime/list-sum-prod - 0.05 13.55 15.22
TRS/Cime/log2 - 0.05 60.13 59.15
TRS/Cime/lse - 0.05 5.40 5.15
TRS/Cime/maude2 - 0.05 60.13 59.05
TRS/Cime/mucrl1 - 0.14 60.53 60.02
TRS/Cime/quick - 0.05 13.70 53.38
TRS/Cime/ternary-hard - 0.05 60.14 59.94
TRS/Cime/ternary - 0.05 60.14 59.20
TRS/Cime/tree - 0.05 60.13 60.02
TRS/D33/01 0.07 0.07 0.15 0.15
TRS/D33/02 0.07 0.07 0.12 0.13
TRS/D33/03 0.06 0.07 0.11 0.11
TRS/D33/04 0.07 0.07 1.15 1.16
TRS/D33/06 60.10 60.09 1.13 1.13
TRS/D33/07 1.08 1.08 1.19 1.19
TRS/D33/08 - 0.05 0.29 0.26
TRS/D33/09 1.07 1.07 1.13 1.13
TRS/D33/11 - 0.05 0.54 0.41
TRS/D33/12 - 0.05 2.77 3.14
TRS/D33/13 - 0.05 5.32 5.63
TRS/D33/17 60.34 60.34 17.96 18.27
TRS/D33/18 - 0.05 0.17 0.12
TRS/D33/20 60.26 60.32 41.20 39.51
TRS/D33/21 - 0.05 60.15 58.25
TRS/D33/27 1.08 1.08 1.13 1.13
TRS/D33/28 - 0.05 15.91 16.04
TRS/D33/30 - 0.05 60.31 60.02
TRS/D33/31 - 0.05 3.04 3.93
TRS/D33/32 - 0.05 3.13 5.52
TRS/D33/33 - 0.05 60.12 58.82
TRS/Endrullis/direct 0.09 0.08 0.20 0.20
TRS/Endrullis/labeling - 0.05 18.21 22.05
TRS/Endrullis/linear1 60.30 60.34 27.59 28.62
TRS/Endrullis/linear2 61.19 60.48 61.75 60.02
TRS/Endrullis/pair2hard - 0.05 59.56 59.28
TRS/Endrullis/pair2simple1 - 0.05 51.16 55.15
TRS/Endrullis/pair2simple2 - 0.05 60.12 59.75
TRS/Endrullis/pair3hard - 0.05 60.11 60.02
TRS/Endrullis/pair3rotate 25.52 25.13 61.16 60.02
TRS/Endrullis/pair3swap 60.27 60.26 9.86 14.72
TRS/Endrullis/quadruple1 0.08 0.08 0.14 0.14
TRS/Endrullis/quadruple2 0.07 0.07 0.14 0.14
TRS/HM/n001 60.13 60.11 61.15 59.23
TRS/HM/n002 60.05 60.05 1.12 1.11
TRS/HM/n003 60.05 60.06 1.13 1.13
TRS/HM/n004 60.05 60.06 1.11 1.11
TRS/HM/n005 60.06 60.06 1.28 1.28
TRS/HM/n006 60.06 60.06 1.14 1.15
TRS/HM/n007 - 0.05 0.12 0.16
TRS/HM/n008 60.06 60.05 1.12 1.12
TRS/HM/t000 60.51 60.48 41.13 36.64
TRS/HM/t001 - 0.05 60.13 58.75
TRS/HM/t002 - 0.05 3.71 4.29
TRS/HM/t003 - 0.05 60.12 59.89
TRS/HM/t004 61.63 62.15 61.23 59.25
TRS/HM/t005 - 0.10 60.30 60.02
TRS/HM/t006 0.07 0.06 0.15 0.15
TRS/HM/t007 0.07 0.07 0.11 0.11
TRS/HM/t008 10.14 12.97 61.30 59.33
TRS/HM/t009 60.07 60.06 62.12 60.02
TRS/HM/t010 0.07 0.08 0.12 0.12
TRS/HM/t011 1.08 1.08 1.13 1.13
TRS/HM/t012 60.20 60.20 61.79 59.45
TRS/HM/t013 - 0.05 60.13 58.22
TRS/HM/t014 - 0.05 60.13 58.35
TRS/HofWald/1 0.07 0.07 0.12 0.12
TRS/HofWald/2 60.12 60.12 61.17 59.28
TRS/HofWald/3 - 0.05 60.32 58.50
TRS/HofWald/4 0.07 0.07 0.11 0.12
TRS/HofWald/5 - 0.05 11.02 12.18
TRS/HofWald/6 60.10 60.12 61.15 59.24
TRS/HofWald/7 - 0.05 60.31 60.02
TRS/Koprowski/gcd_triple - 0.05 60.13 59.15
TRS/LJB01/jones1 1.07 1.07 1.18 1.20
TRS/LJB01/jones2 - 0.05 0.34 0.13
TRS/LJB01/jones4 0.07 0.07 0.13 0.13
TRS/LJB01/jones5 - 0.05 0.59 0.42
TRS/LJB01/jones6 1.09 1.09 1.25 1.25
TRS/Rubio-inn/test833 0.07 0.07 0.13 0.13
TRS/Rubio/aoto 0.08 0.08 0.29 0.29
TRS/Rubio/bintrees 1.10 1.10 1.65 1.45
TRS/Rubio/bn122 - 0.05 1.54 1.68
TRS/Rubio/bn129 60.25 60.39 61.14 60.02
TRS/Rubio/division - 0.05 19.92 17.96
TRS/Rubio/elimdupl - 0.05 6.68 6.11
TRS/Rubio/enno - 0.05 16.92 22.69
TRS/Rubio/gcd - 0.05 17.07 18.55
TRS/Rubio/gm - 0.05 4.38 2.81
TRS/Rubio/gmnp 0.08 0.07 0.14 0.14
TRS/Rubio/koen 0.07 0.07 0.83 0.83
TRS/Rubio/lescanne 1.09 1.09 1.19 1.19
TRS/Rubio/lindau 0.08 0.08 0.13 0.12
TRS/Rubio/logarquot - 0.05 60.12 39.35
TRS/Rubio/ma96 - 0.05 60.12 60.02
TRS/Rubio/mfp90b 0.07 0.07 0.13 0.12
TRS/Rubio/mfp95 0.07 0.07 0.11 0.11
TRS/Rubio/nestrec 60.11 60.13 1.50 1.54
TRS/Rubio/p266 0.09 0.08 0.25 0.46
TRS/Rubio/polo2 - 0.05 0.51 0.41
TRS/Rubio/prov - 0.05 11.68 13.64
TRS/Rubio/quick - 0.05 60.13 58.99
TRS/Rubio/quotminus - 0.05 9.60 8.02
TRS/Rubio/revlist - 0.05 60.13 58.41
TRS/Rubio/selsort - 0.05 60.13 60.02
TRS/Rubio/test4 0.07 0.07 0.16 0.16
TRS/Rubio/test829 0.10 0.10 0.36 0.36
TRS/Rubio/wst99 - 0.05 35.17 42.19
TRS/SK90/2.01 1.13 1.12 2.65 2.52
TRS/SK90/2.02 60.20 60.26 6.50 7.00
TRS/SK90/2.03 1.09 1.09 1.16 1.17
TRS/SK90/2.04 1.08 1.08 1.15 1.14
TRS/SK90/2.05 - 0.05 60.12 59.87
TRS/SK90/2.06 1.09 1.10 1.21 1.23
TRS/SK90/2.07 - 0.05 1.23 1.32
TRS/SK90/2.08 - 0.05 25.77 33.58
TRS/SK90/2.09 1.08 1.07 1.14 1.15
TRS/SK90/2.10 60.37 60.32 2.25 1.87
TRS/SK90/2.11 1.09 1.09 1.20 1.21
TRS/SK90/2.12 - 0.05 5.53 5.58
TRS/SK90/2.13 - 0.05 0.25 0.13
TRS/SK90/2.14 62.78 60.56 1.28 1.37
TRS/SK90/2.15 - 0.05 0.42 0.48
TRS/SK90/2.16 - 0.05 4.26 0.16
TRS/SK90/2.17 - 0.05 0.22 0.16
TRS/SK90/2.18 - 0.05 0.47 0.14
TRS/SK90/2.19 - 0.05 1.56 0.37
TRS/SK90/2.20 - 0.05 0.23 0.13
TRS/SK90/2.21 - 0.05 0.71 0.47
TRS/SK90/2.22 - 0.05 2.52 0.15
TRS/SK90/2.23 - 0.05 13.37 13.36
TRS/SK90/2.24 - 0.05 0.50 0.33
TRS/SK90/2.25 - 0.05 6.89 7.77
TRS/SK90/2.26 - 0.05 60.12 58.38
TRS/SK90/2.27 - 0.05 1.94 1.50
TRS/SK90/2.28 - 0.05 2.04 2.16
TRS/SK90/2.29 - 0.05 1.25 0.17
TRS/SK90/2.30 - 0.05 0.15 0.15
TRS/SK90/2.31 1.10 1.09 1.38 1.39
TRS/SK90/2.32 - 0.05 1.03 0.17
TRS/SK90/2.33 1.10 1.10 1.38 1.38
TRS/SK90/2.34 60.26 60.16 1.60 1.61
TRS/SK90/2.35 - 0.05 0.19 0.35
TRS/SK90/2.36 1.09 1.09 1.16 1.21
TRS/SK90/2.37 - 0.05 0.89 0.12
TRS/SK90/2.38 1.08 1.08 1.24 1.20
TRS/SK90/2.39 162.26 152.00 3.29 3.36
TRS/SK90/2.40 - 0.05 2.45 2.54
TRS/SK90/2.41 1.11 1.11 1.24 1.25
TRS/SK90/2.42 60.26 60.55 8.50 8.06
TRS/SK90/2.43 - 0.05 60.12 58.88
TRS/SK90/2.44 - 0.05 2.77 0.23
TRS/SK90/2.45 - 0.05 60.11 59.16
TRS/SK90/2.46 1.08 1.09 1.21 1.22
TRS/SK90/2.47 1.07 1.07 1.13 1.14
TRS/SK90/2.48 0.07 0.07 0.13 0.13
TRS/SK90/2.49 0.08 0.08 0.15 0.15
TRS/SK90/2.50 60.10 60.09 1.12 1.12
TRS/SK90/2.51 - 0.05 8.62 10.26
TRS/SK90/2.52 - 0.05 60.12 58.73
TRS/SK90/2.53 1.08 1.08 1.13 1.13
TRS/SK90/2.54 1.07 1.07 1.13 1.14
TRS/SK90/2.55 1.07 1.07 1.14 1.14
TRS/SK90/2.56 0.07 0.07 0.11 0.12
TRS/SK90/2.57 - 0.05 29.07 30.65
TRS/SK90/2.58 - 0.05 0.16 0.13
TRS/SK90/2.59 - 0.05 0.18 0.11
TRS/SK90/2.60 0.09 0.09 0.12 0.12
TRS/SK90/2.61 0.08 0.09 1.79 1.61
TRS/SK90/4.01 0.07 0.07 1.23 1.24
TRS/SK90/4.02 - 0.05 10.06 13.22
TRS/SK90/4.03 - 0.05 4.83 4.89
TRS/SK90/4.04 1.10 1.10 1.21 1.20
TRS/SK90/4.05 - 0.05 0.28 0.21
TRS/SK90/4.06 - 0.05 2.64 3.10
TRS/SK90/4.07 1.08 1.08 1.25 1.24
TRS/SK90/4.08 1.07 1.07 1.14 1.14
TRS/SK90/4.09 - 0.05 5.79 6.44
TRS/SK90/4.10 - 0.05 0.79 0.44
TRS/SK90/4.11 1.08 1.09 1.22 1.23
TRS/SK90/4.12 1.11 1.12 1.29 1.29
TRS/SK90/4.13 - 0.05 3.40 6.75
TRS/SK90/4.14 - 0.05 11.12 14.13
TRS/SK90/4.15 1.08 1.09 1.17 1.17
TRS/SK90/4.16 0.12 0.10 0.26 0.26
TRS/SK90/4.17 - 0.05 3.00 0.50
TRS/SK90/4.18 - 0.05 1.75 0.42
TRS/SK90/4.19 0.07 0.07 0.15 0.15
TRS/SK90/4.20 - 0.05 49.75 26.28
TRS/SK90/4.21 - 0.05 8.65 8.39
TRS/SK90/4.22 - 0.05 3.03 3.52
TRS/SK90/4.23 - 0.05 24.20 23.94
TRS/SK90/4.24 - 0.05 60.15 58.37
TRS/SK90/4.25 1.08 1.09 1.20 1.22
TRS/SK90/4.26 60.30 60.27 3.45 3.60
TRS/SK90/4.27 60.17 60.17 4.29 4.37
TRS/SK90/4.28 - 0.06 1.36 0.34
TRS/SK90/4.29 1.19 1.19 1.27 1.19
TRS/SK90/4.30 60.33 60.40 1.44 1.45
TRS/SK90/4.31 - 0.06 1.37 1.15
TRS/SK90/4.32 60.18 60.24 31.85 34.04
TRS/SK90/4.33 0.07 0.07 0.11 0.11
TRS/SK90/4.34 60.10 60.10 1.43 1.45
TRS/SK90/4.35 0.07 0.07 0.11 0.11
TRS/SK90/4.36 0.07 0.07 0.11 0.11
TRS/SK90/4.37 0.06 0.07 0.11 0.11
TRS/SK90/4.38 1.10 1.10 1.15 1.14
TRS/SK90/4.39 1.08 1.09 1.16 1.16
TRS/SK90/4.40 - 0.05 60.15 58.43
TRS/SK90/4.41 - 0.05 0.63 0.13
TRS/SK90/4.42 - 0.05 6.55 7.53
TRS/SK90/4.43 60.23 60.29 7.52 2.01
TRS/SK90/4.44 0.07 0.07 0.12 0.12
TRS/SK90/4.45 0.07 0.07 0.12 0.12
TRS/SK90/4.46 0.07 0.07 0.11 0.11
TRS/SK90/4.47 1.72 1.72 1.26 1.26
TRS/SK90/4.48 0.07 0.07 1.48 1.33
TRS/SK90/4.49 - 0.05 41.20 44.33
TRS/SK90/4.50 - 0.05 0.32 0.24
TRS/SK90/4.51 1.19 1.19 1.63 1.52
TRS/SK90/4.52 1.13 1.13 1.89 1.88
TRS/SK90/4.53 - 0.05 2.29 2.44
TRS/SK90/4.54 - 0.05 1.28 1.41
TRS/SK90/4.55 0.07 0.07 0.13 0.13
TRS/SK90/4.56 0.07 0.07 0.11 0.11
TRS/SK90/4.57 - 0.05 60.12 58.90
TRS/SK90/4.59 - 0.05 3.17 2.30
TRS/SK90/4.60 - 0.05 60.13 58.52
TRS/SK90/4.61 - 0.05 60.28 59.18
TRS/SchneiderKamp/inn/cade04 - 0.05 2.61 1.65
TRS/SchneiderKamp/inn/cade05 - 0.05 60.13 58.36
TRS/SchneiderKamp/inn/cade12 - 0.05 9.67 7.13
TRS/SchneiderKamp/inn/cade13 - 0.05 29.11 38.47
TRS/SchneiderKamp/inn/thiemann26i - 0.05 60.12 59.04
TRS/SchneiderKamp/inn/thiemann28i - 0.05 60.13 58.51
TRS/SchneiderKamp/inn/wiehe13 - 0.05 60.29 59.16
TRS/SchneiderKamp/inn/wiehe14 - 0.05 60.80 59.27
TRS/SchneiderKamp/trs/cade01 - 0.05 2.85 6.08
TRS/SchneiderKamp/trs/cade03 - 0.05 14.65 10.60
TRS/SchneiderKamp/trs/cade04t - 0.05 2.86 1.65
TRS/SchneiderKamp/trs/cade05t - 0.05 60.13 58.35
TRS/SchneiderKamp/trs/cade06 - 0.05 60.12 58.81
TRS/SchneiderKamp/trs/cade07 - 0.05 10.26 30.51
TRS/SchneiderKamp/trs/cade08 - 0.05 60.12 58.90
TRS/SchneiderKamp/trs/cade09 - 0.05 20.66 35.56
TRS/SchneiderKamp/trs/cade10 - 0.05 12.97 26.03
TRS/SchneiderKamp/trs/cade11 - 0.05 10.14 19.11
TRS/SchneiderKamp/trs/cade12t - 0.05 9.62 12.20
TRS/SchneiderKamp/trs/cade13t - 0.05 32.66 27.52
TRS/SchneiderKamp/trs/cade14 - 0.05 7.59 58.47
TRS/SchneiderKamp/trs/cade15 - 0.05 60.14 58.82
TRS/SchneiderKamp/trs/cade16 - 0.05 60.14 58.37
TRS/SchneiderKamp/trs/cade17 - 0.05 60.12 58.50
TRS/SchneiderKamp/trs/kabasci01 - 0.05 60.14 60.02
TRS/SchneiderKamp/trs/kabasci02 - 0.05 60.14 59.16
TRS/SchneiderKamp/trs/kabasci03 - 0.05 60.30 60.02
TRS/SchneiderKamp/trs/kabasci04 - 0.05 60.12 58.38
TRS/SchneiderKamp/trs/kabasci05 - 0.05 5.16 4.44
TRS/SchneiderKamp/trs/kabasci06 - 0.05 60.12 60.02
TRS/SchneiderKamp/trs/otto01 - 0.05 19.58 9.33
TRS/SchneiderKamp/trs/otto02 - 0.05 60.13 60.02
TRS/SchneiderKamp/trs/otto03 - 0.05 2.89 2.01
TRS/SchneiderKamp/trs/otto04 - 0.05 60.12 59.81
TRS/SchneiderKamp/trs/otto05 - 0.05 10.11 5.01
TRS/SchneiderKamp/trs/otto06 - 0.05 60.12 60.02
TRS/SchneiderKamp/trs/otto07 - 0.05 3.16 1.96
TRS/SchneiderKamp/trs/otto08 - 0.05 45.74 21.33
TRS/SchneiderKamp/trs/otto09 - 0.05 35.09 15.72
TRS/SchneiderKamp/trs/otto10 - 0.05 60.13 60.02
TRS/SchneiderKamp/trs/otto11 - 0.05 38.84 48.43
TRS/SchneiderKamp/trs/otto12 - 0.05 19.89 10.89
TRS/SchneiderKamp/trs/otto13 - 0.05 60.12 59.19
TRS/SchneiderKamp/trs/thiemann01 - 0.05 60.13 58.73
TRS/SchneiderKamp/trs/thiemann02 - 0.05 14.82 9.20
TRS/SchneiderKamp/trs/thiemann03 - 0.05 60.13 58.60
TRS/SchneiderKamp/trs/thiemann04 - 0.05 9.20 60.02
TRS/SchneiderKamp/trs/thiemann05 - 0.05 60.13 58.61
TRS/SchneiderKamp/trs/thiemann06 - 0.05 60.12 60.02
TRS/SchneiderKamp/trs/thiemann07 - 0.05 60.13 58.76
TRS/SchneiderKamp/trs/thiemann08 - 0.05 4.68 4.15
TRS/SchneiderKamp/trs/thiemann09 - 0.05 60.27 59.15
TRS/SchneiderKamp/trs/thiemann10 - 0.05 8.52 4.86
TRS/SchneiderKamp/trs/thiemann11 - 0.05 60.13 52.32
TRS/SchneiderKamp/trs/thiemann12 - 0.05 60.13 36.68
TRS/SchneiderKamp/trs/thiemann13 - 0.05 60.13 58.68
TRS/SchneiderKamp/trs/thiemann14 - 0.05 60.14 58.91
TRS/SchneiderKamp/trs/thiemann15 - 0.05 3.61 3.18
TRS/SchneiderKamp/trs/thiemann16 - 0.05 60.13 60.02
TRS/SchneiderKamp/trs/thiemann17 - 0.05 60.12 58.87
TRS/SchneiderKamp/trs/thiemann18 - 0.05 60.13 59.82
TRS/SchneiderKamp/trs/thiemann19 - 0.05 36.56 38.42
TRS/SchneiderKamp/trs/thiemann20 - 0.05 60.13 31.49
TRS/SchneiderKamp/trs/thiemann21 - 0.05 60.14 59.36
TRS/SchneiderKamp/trs/thiemann22 - 0.05 24.31 15.17
TRS/SchneiderKamp/trs/thiemann23 - 0.05 60.11 58.44
TRS/SchneiderKamp/trs/thiemann24 - 0.05 32.64 16.36
TRS/SchneiderKamp/trs/thiemann25 - 0.05 10.81 6.34
TRS/SchneiderKamp/trs/thiemann27 - 0.05 3.03 2.30
TRS/SchneiderKamp/trs/thiemann29 - 0.05 60.13 37.17
TRS/SchneiderKamp/trs/thiemann30 - 0.05 60.14 60.02
TRS/SchneiderKamp/trs/thiemann31 - 0.05 60.13 60.02
TRS/SchneiderKamp/trs/thiemann32 - 0.05 13.14 8.04
TRS/SchneiderKamp/trs/thiemann33 - 0.05 22.29 19.72
TRS/SchneiderKamp/trs/thiemann34 - 0.05 7.70 6.25
TRS/SchneiderKamp/trs/thiemann35 - 0.05 60.31 60.02
TRS/SchneiderKamp/trs/thiemann36 - 0.05 60.14 60.03
TRS/SchneiderKamp/trs/thiemann37 - 0.05 32.72 60.02
TRS/SchneiderKamp/trs/thiemann38 - 0.05 60.14 40.76
TRS/SchneiderKamp/trs/thiemann39 - 0.05 60.28 60.02
TRS/SchneiderKamp/trs/thiemann40 - 0.05 2.42 1.71
TRS/SchneiderKamp/trs/thiemann41 - 0.05 5.03 15.28
TRS/SchneiderKamp/trs/wiehe01 - 0.05 60.30 58.96
TRS/SchneiderKamp/trs/wiehe02 - 0.05 60.13 60.02
TRS/SchneiderKamp/trs/wiehe03 - 0.05 60.13 60.02
TRS/SchneiderKamp/trs/wiehe05 - 0.05 60.28 59.02
TRS/SchneiderKamp/trs/wiehe06 - 0.05 60.31 59.35
TRS/SchneiderKamp/trs/wiehe07 - 0.05 60.28 59.64
TRS/SchneiderKamp/trs/wiehe08 - 0.05 60.31 59.06
TRS/SchneiderKamp/trs/wiehe09 - 0.05 60.31 59.25
TRS/SchneiderKamp/trs/wiehe11 - 0.05 60.31 60.02
TRS/SchneiderKamp/trs/wiehe12 - 0.05 60.31 59.92
TRS/Ste92/hydra - 0.05 4.64 4.62
TRS/Ste92/minsort - 0.05 60.13 58.75
TRS/Ste92/motivation - 0.05 14.65 14.79
TRS/Ste92/perfect - 0.05 5.18 3.62
TRS/Ste92/perfect2 - 0.05 60.12 59.74
TRS/TRCSR/Ex14_AEGL02_C - 0.05 60.14 59.24
TRS/TRCSR/Ex14_AEGL02_FR - 0.05 12.71 15.59
TRS/TRCSR/Ex14_AEGL02_GM - 0.05 0.91 1.11
TRS/TRCSR/Ex14_AEGL02_L 60.35 60.72 1.14 1.16
TRS/TRCSR/Ex14_AEGL02_Z - 0.05 1.32 1.16
TRS/TRCSR/Ex14_AEGL02_iGM - 0.05 60.16 60.02
TRS/TRCSR/Ex14_Luc06_C - 0.05 18.82 19.93
TRS/TRCSR/Ex14_Luc06_FR - 0.05 0.78 0.53
TRS/TRCSR/Ex14_Luc06_GM - 0.05 1.85 2.73
TRS/TRCSR/Ex14_Luc06_L 74.48 73.11 1.21 1.17
TRS/TRCSR/Ex14_Luc06_iGM - 0.05 60.14 60.02
TRS/TRCSR/Ex15_Luc06_C 60.29 60.42 34.37 43.43
TRS/TRCSR/Ex15_Luc06_FR 1.19 1.18 1.86 1.66
TRS/TRCSR/Ex15_Luc06_GM 1.19 1.18 1.37 1.40
TRS/TRCSR/Ex15_Luc06_L 60.05 60.06 1.12 1.11
TRS/TRCSR/Ex15_Luc06_Z 0.74 0.74 1.71 1.67
TRS/TRCSR/Ex15_Luc06_iGM 2.21 2.33 61.27 59.41
TRS/TRCSR/Ex15_Luc98_C - 0.06 60.15 60.02
TRS/TRCSR/Ex15_Luc98_FR - 0.05 4.26 5.06
TRS/TRCSR/Ex15_Luc98_GM - 0.05 0.44 0.44
TRS/TRCSR/Ex15_Luc98_L - 0.05 0.11 0.11
TRS/TRCSR/Ex15_Luc98_Z - 0.05 3.15 3.31
TRS/TRCSR/Ex15_Luc98_iGM - 0.06 30.69 31.23
TRS/TRCSR/Ex16_Luc06_C 60.12 60.10 7.25 8.39
TRS/TRCSR/Ex16_Luc06_FR 0.08 0.09 0.18 0.18
TRS/TRCSR/Ex16_Luc06_GM 60.35 60.28 1.84 1.95
TRS/TRCSR/Ex16_Luc06_L 60.05 60.06 1.14 1.15
TRS/TRCSR/Ex16_Luc06_iGM 60.10 60.11 61.23 59.54
TRS/TRCSR/Ex18_Luc06_C 32.41 37.14 37.26 41.08
TRS/TRCSR/Ex18_Luc06_FR 1.09 1.10 1.41 1.27
TRS/TRCSR/Ex18_Luc06_GM 1.10 1.10 1.78 1.74
TRS/TRCSR/Ex18_Luc06_L 0.07 0.07 0.11 0.11
TRS/TRCSR/Ex18_Luc06_Z 0.07 0.07 1.19 1.20
TRS/TRCSR/Ex18_Luc06_iGM 1.19 1.19 12.71 12.60
TRS/TRCSR/Ex1_2_AEL03_C - 0.06 60.36 60.02
TRS/TRCSR/Ex1_2_AEL03_FR - 0.05 60.14 38.85
TRS/TRCSR/Ex1_2_AEL03_GM - 0.06 60.14 60.02
TRS/TRCSR/Ex1_2_AEL03_L - 0.05 0.11 0.58
TRS/TRCSR/Ex1_2_AEL03_Z - 0.05 60.14 60.02
TRS/TRCSR/Ex1_2_AEL03_iGM - 0.06 60.32 60.02
TRS/TRCSR/Ex1_2_Luc02c_C - 0.05 60.29 59.34
TRS/TRCSR/Ex1_2_Luc02c_FR - 0.05 13.27 0.17
TRS/TRCSR/Ex1_2_Luc02c_GM - 0.05 1.03 1.28
TRS/TRCSR/Ex1_2_Luc02c_L - 0.05 0.11 0.10
TRS/TRCSR/Ex1_2_Luc02c_Z - 0.05 0.18 0.14
TRS/TRCSR/Ex1_2_Luc02c_iGM - 0.05 60.32 59.64
TRS/TRCSR/Ex1_GL02a_C - 0.06 60.15 60.02
TRS/TRCSR/Ex1_GL02a_FR - 0.05 4.67 19.13
TRS/TRCSR/Ex1_GL02a_GM - 0.05 3.43 4.02
TRS/TRCSR/Ex1_GL02a_L 60.40 60.37 1.21 1.20
TRS/TRCSR/Ex1_GL02a_Z - 0.05 4.01 9.38
TRS/TRCSR/Ex1_GL02a_iGM - 0.05 60.13 60.02
TRS/TRCSR/Ex1_GM03_C - 0.06 13.98 19.96
TRS/TRCSR/Ex1_GM03_FR - 0.05 16.55 24.23
TRS/TRCSR/Ex1_GM03_GM - 0.05 60.13 58.68
TRS/TRCSR/Ex1_GM03_L - 0.05 0.11 0.11
TRS/TRCSR/Ex1_GM03_Z - 0.05 60.12 58.34
TRS/TRCSR/Ex1_GM03_iGM - 0.06 42.21 48.11
TRS/TRCSR/Ex1_GM99_C - 0.05 49.14 51.13
TRS/TRCSR/Ex1_GM99_FR - 0.05 0.45 0.30
TRS/TRCSR/Ex1_GM99_GM - 0.05 1.38 1.67
TRS/TRCSR/Ex1_GM99_L 60.06 60.05 1.13 1.13
TRS/TRCSR/Ex1_GM99_iGM - 0.05 60.14 59.87
TRS/TRCSR/Ex1_Luc02b_C - 0.06 60.14 60.02
TRS/TRCSR/Ex1_Luc02b_FR - 0.05 3.71 3.27
TRS/TRCSR/Ex1_Luc02b_GM - 0.05 3.96 4.22
TRS/TRCSR/Ex1_Luc02b_L - 0.05 0.11 0.17
TRS/TRCSR/Ex1_Luc02b_Z - 0.05 1.63 1.43
TRS/TRCSR/Ex1_Luc02b_iGM - 0.05 60.12 60.02
TRS/TRCSR/Ex1_Luc04b_C 60.60 60.73 66.60 60.02
TRS/TRCSR/Ex1_Luc04b_FR 262.79 262.85 2.90 3.02
TRS/TRCSR/Ex1_Luc04b_GM 278.45 284.44 6.64 7.17
TRS/TRCSR/Ex1_Luc04b_L - 0.05 0.11 0.11
TRS/TRCSR/Ex1_Luc04b_Z 123.35 123.74 1.58 1.73
TRS/TRCSR/Ex1_Luc04b_iGM 75.23 75.79 61.79 60.02
TRS/TRCSR/Ex1_Zan97_C 60.33 60.35 8.46 8.32
TRS/TRCSR/Ex1_Zan97_FR 79.23 78.82 3.29 3.52
TRS/TRCSR/Ex1_Zan97_GM 0.08 0.08 1.42 1.50
TRS/TRCSR/Ex1_Zan97_L 60.05 60.06 1.13 1.13
TRS/TRCSR/Ex1_Zan97_iGM 0.95 0.95 1.27 1.63
TRS/TRCSR/Ex23_Luc06_C 60.32 60.21 62.28 59.69
TRS/TRCSR/Ex23_Luc06_FR 1.12 1.12 1.58 1.44
TRS/TRCSR/Ex23_Luc06_GM 1.13 1.13 1.62 1.41
TRS/TRCSR/Ex23_Luc06_L 0.07 0.07 0.11 0.11
TRS/TRCSR/Ex23_Luc06_Z 0.08 0.07 1.18 1.19
TRS/TRCSR/Ex23_Luc06_iGM 2.87 2.85 29.55 29.92
TRS/TRCSR/Ex24_GM04_C - 0.05 60.12 59.15
TRS/TRCSR/Ex24_GM04_FR - 0.05 5.18 4.34
TRS/TRCSR/Ex24_GM04_GM - 0.05 0.84 1.02
TRS/TRCSR/Ex24_GM04_L 60.05 60.05 1.14 1.13
TRS/TRCSR/Ex24_GM04_Z - 0.05 6.82 3.33
TRS/TRCSR/Ex24_GM04_iGM - 0.05 60.13 59.55
TRS/TRCSR/Ex24_Luc06_C - 0.05 44.49 55.53
TRS/TRCSR/Ex24_Luc06_FR - 0.05 42.07 27.21
TRS/TRCSR/Ex24_Luc06_GM - 0.05 60.11 1.42
TRS/TRCSR/Ex24_Luc06_L 60.05 60.05 1.15 1.15
TRS/TRCSR/Ex24_Luc06_iGM - 0.05 60.14 60.02
TRS/TRCSR/Ex25_Luc06_C 2.76 2.75 63.15 60.02
TRS/TRCSR/Ex25_Luc06_FR 1.17 1.17 3.00 3.08
TRS/TRCSR/Ex25_Luc06_GM 1.13 1.14 2.46 2.38
TRS/TRCSR/Ex25_Luc06_L 0.07 0.07 0.11 0.11
TRS/TRCSR/Ex25_Luc06_Z 1.13 1.13 1.61 1.41
TRS/TRCSR/Ex25_Luc06_iGM 2.74 2.75 23.68 28.84
TRS/TRCSR/Ex26_Luc03b_C - 0.06 60.15 60.02
TRS/TRCSR/Ex26_Luc03b_FR - 0.05 9.41 10.81
TRS/TRCSR/Ex26_Luc03b_GM - 0.05 4.62 4.82
TRS/TRCSR/Ex26_Luc03b_L 0.08 0.08 0.14 0.14
TRS/TRCSR/Ex26_Luc03b_Z - 0.05 60.13 60.02
TRS/TRCSR/Ex26_Luc03b_iGM - 0.06 60.14 60.02
TRS/TRCSR/Ex2_Luc02a_C - 0.06 60.15 60.02
TRS/TRCSR/Ex2_Luc02a_FR - 0.05 60.13 58.62
TRS/TRCSR/Ex2_Luc02a_GM - 0.05 60.13 58.71
TRS/TRCSR/Ex2_Luc02a_L - 0.05 2.43 2.30
TRS/TRCSR/Ex2_Luc02a_Z - 0.05 2.86 2.66
TRS/TRCSR/Ex2_Luc02a_iGM - 0.06 59.73 60.02
TRS/TRCSR/Ex2_Luc03b_C - 0.06 60.15 60.02
TRS/TRCSR/Ex2_Luc03b_FR - 0.05 4.85 5.38
TRS/TRCSR/Ex2_Luc03b_GM - 0.05 3.63 4.33
TRS/TRCSR/Ex2_Luc03b_L 0.07 0.07 0.13 0.13
TRS/TRCSR/Ex2_Luc03b_Z - 0.05 0.28 1.31
TRS/TRCSR/Ex2_Luc03b_iGM - 0.05 60.13 60.02
TRS/TRCSR/Ex3_12_Luc96a_C - 0.05 60.14 59.65
TRS/TRCSR/Ex3_12_Luc96a_FR - 0.05 1.77 1.43
TRS/TRCSR/Ex3_12_Luc96a_GM - 0.05 2.25 2.60
TRS/TRCSR/Ex3_12_Luc96a_L - 0.05 0.11 0.15
TRS/TRCSR/Ex3_12_Luc96a_Z - 0.05 1.02 0.71
TRS/TRCSR/Ex3_12_Luc96a_iGM - 0.05 60.13 60.02
TRS/TRCSR/Ex3_2_Luc97_C - 0.06 60.14 60.02
TRS/TRCSR/Ex3_2_Luc97_FR - 0.05 4.68 6.05
TRS/TRCSR/Ex3_2_Luc97_GM - 0.05 3.83 4.75
TRS/TRCSR/Ex3_2_Luc97_L - 0.05 0.11 0.11
TRS/TRCSR/Ex3_2_Luc97_Z - 0.05 3.72 4.45
TRS/TRCSR/Ex3_2_Luc97_iGM - 0.06 60.13 60.02
TRS/TRCSR/Ex3_3_25_Bor03_C - 0.06 60.12 60.02
TRS/TRCSR/Ex3_3_25_Bor03_FR - 0.05 4.24 5.09
TRS/TRCSR/Ex3_3_25_Bor03_GM - 0.05 6.06 6.89
TRS/TRCSR/Ex3_3_25_Bor03_L 0.07 0.07 0.13 0.13
TRS/TRCSR/Ex3_3_25_Bor03_Z - 0.05 1.45 1.61
TRS/TRCSR/Ex3_3_25_Bor03_iGM - 0.05 60.30 60.02
TRS/TRCSR/Ex49_GM04_C - 0.05 60.27 60.02
TRS/TRCSR/Ex49_GM04_FR - 0.05 60.13 58.85
TRS/TRCSR/Ex49_GM04_GM - 0.05 18.45 22.15
TRS/TRCSR/Ex49_GM04_L - 0.05 0.11 0.11
TRS/TRCSR/Ex49_GM04_Z - 0.05 12.99 13.04
TRS/TRCSR/Ex49_GM04_iGM - 0.06 60.30 60.02
TRS/TRCSR/Ex4_4_Luc96b_C - 0.05 60.13 58.60
TRS/TRCSR/Ex4_4_Luc96b_FR - 0.05 2.45 2.91
TRS/TRCSR/Ex4_4_Luc96b_GM - 0.05 1.91 2.53
TRS/TRCSR/Ex4_4_Luc96b_L 0.06 0.07 0.11 0.11
TRS/TRCSR/Ex4_4_Luc96b_Z - 0.05 1.18 1.57
TRS/TRCSR/Ex4_4_Luc96b_iGM - 0.05 13.92 14.87
TRS/TRCSR/Ex4_7_15_Bor03_C 166.93 169.97 64.43 60.02
TRS/TRCSR/Ex4_7_15_Bor03_FR 1.16 1.16 3.62 3.17
TRS/TRCSR/Ex4_7_15_Bor03_GM 3.66 3.66 5.83 4.90
TRS/TRCSR/Ex4_7_15_Bor03_L 0.08 0.08 0.13 0.12
TRS/TRCSR/Ex4_7_15_Bor03_Z 0.08 0.08 0.12 0.12
TRS/TRCSR/Ex4_7_15_Bor03_iGM 60.33 60.33 63.79 60.02
TRS/TRCSR/Ex4_7_37_Bor03_C - 0.06 60.13 60.02
TRS/TRCSR/Ex4_7_37_Bor03_FR - 0.05 60.14 58.84
TRS/TRCSR/Ex4_7_37_Bor03_GM - 0.05 60.14 59.23
TRS/TRCSR/Ex4_7_37_Bor03_L - 0.05 0.11 0.29
TRS/TRCSR/Ex4_7_37_Bor03_Z - 0.05 5.18 5.83
TRS/TRCSR/Ex4_7_37_Bor03_iGM - 0.06 60.28 60.02
TRS/TRCSR/Ex4_7_56_Bor03_C - 0.05 60.13 59.74
TRS/TRCSR/Ex4_7_56_Bor03_FR - 0.05 1.74 1.35
TRS/TRCSR/Ex4_7_56_Bor03_GM - 0.05 2.13 2.62
TRS/TRCSR/Ex4_7_56_Bor03_L - 0.05 0.10 0.15
TRS/TRCSR/Ex4_7_56_Bor03_Z - 0.05 0.84 0.61
TRS/TRCSR/Ex4_7_56_Bor03_iGM - 0.05 60.13 59.69
TRS/TRCSR/Ex4_7_77_Bor03_C 95.24 96.07 61.97 59.71
TRS/TRCSR/Ex4_7_77_Bor03_FR 0.07 0.07 0.12 0.12
TRS/TRCSR/Ex4_7_77_Bor03_GM 1.10 1.10 2.03 2.00
TRS/TRCSR/Ex4_7_77_Bor03_L - 0.05 0.10 0.11
TRS/TRCSR/Ex4_7_77_Bor03_iGM 60.39 60.36 61.32 59.75
TRS/TRCSR/Ex4_DLMMU04_C - 0.06 45.91 60.03
TRS/TRCSR/Ex4_DLMMU04_FR - 0.05 23.85 29.66
TRS/TRCSR/Ex4_DLMMU04_GM - 0.06 28.87 35.81
TRS/TRCSR/Ex4_DLMMU04_L - 0.05 0.11 0.12
TRS/TRCSR/Ex4_DLMMU04_Z - 0.05 25.16 26.77
TRS/TRCSR/Ex4_DLMMU04_iGM - 0.06 60.15 60.02
TRS/TRCSR/Ex4_Zan97_C - 0.05 60.13 60.02
TRS/TRCSR/Ex4_Zan97_FR - 0.05 1.70 1.32
TRS/TRCSR/Ex4_Zan97_GM - 0.05 2.71 3.06
TRS/TRCSR/Ex4_Zan97_L - 0.05 0.11 0.18
TRS/TRCSR/Ex4_Zan97_Z - 0.05 1.15 0.87
TRS/TRCSR/Ex4_Zan97_iGM - 0.05 60.13 60.02
TRS/TRCSR/Ex5_7_Luc97_C - 0.06 60.15 60.02
TRS/TRCSR/Ex5_7_Luc97_FR - 0.05 9.59 8.52
TRS/TRCSR/Ex5_7_Luc97_GM - 0.05 7.37 8.21
TRS/TRCSR/Ex5_7_Luc97_L - 0.05 0.11 0.12
TRS/TRCSR/Ex5_7_Luc97_Z - 0.05 8.70 8.03
TRS/TRCSR/Ex5_7_Luc97_iGM - 0.06 60.15 60.02
TRS/TRCSR/Ex5_DLMMU04_C - 0.06 60.14 60.02
TRS/TRCSR/Ex5_DLMMU04_FR - 0.05 25.36 31.35
TRS/TRCSR/Ex5_DLMMU04_GM - 0.05 5.04 6.47
TRS/TRCSR/Ex5_DLMMU04_L - 0.05 0.11 0.12
TRS/TRCSR/Ex5_DLMMU04_Z - 0.05 28.34 32.31
TRS/TRCSR/Ex5_DLMMU04_iGM - 0.06 60.14 60.02
TRS/TRCSR/Ex5_Zan97_C 60.18 60.20 56.13 60.02
TRS/TRCSR/Ex5_Zan97_FR 60.49 60.76 3.72 3.15
TRS/TRCSR/Ex5_Zan97_GM 60.27 60.25 5.53 6.25
TRS/TRCSR/Ex5_Zan97_L - 0.05 0.10 0.11
TRS/TRCSR/Ex5_Zan97_Z 0.07 0.07 0.19 0.19
TRS/TRCSR/Ex5_Zan97_iGM 116.10 116.75 61.98 60.02
TRS/TRCSR/Ex6_15_AEL02_C - 0.07 60.17 60.02
TRS/TRCSR/Ex6_15_AEL02_FR - 0.05 28.34 28.67
TRS/TRCSR/Ex6_15_AEL02_GM - 0.06 60.15 59.91
TRS/TRCSR/Ex6_15_AEL02_L - 0.05 0.12 0.13
TRS/TRCSR/Ex6_15_AEL02_Z - 0.05 26.60 22.28
TRS/TRCSR/Ex6_15_AEL02_iGM - 0.06 60.18 60.02
TRS/TRCSR/Ex6_9_Luc02c_C - 0.05 60.33 60.02
TRS/TRCSR/Ex6_9_Luc02c_FR - 0.05 1.41 0.17
TRS/TRCSR/Ex6_9_Luc02c_GM - 0.05 2.37 2.68
TRS/TRCSR/Ex6_9_Luc02c_L - 0.05 0.10 0.10
TRS/TRCSR/Ex6_9_Luc02c_Z - 0.05 0.89 0.15
TRS/TRCSR/Ex6_9_Luc02c_iGM - 0.05 60.33 60.02
TRS/TRCSR/Ex6_GM04_C 60.36 60.36 12.34 13.60
TRS/TRCSR/Ex6_GM04_FR 60.15 60.18 2.01 2.28
TRS/TRCSR/Ex6_GM04_GM 0.07 0.07 1.28 1.43
TRS/TRCSR/Ex6_GM04_L 0.07 0.07 0.11 0.11
TRS/TRCSR/Ex6_GM04_iGM 0.65 0.66 1.26 1.23
TRS/TRCSR/Ex6_Luc98_C - 0.05 60.14 60.02
TRS/TRCSR/Ex6_Luc98_FR - 0.05 2.29 2.64
TRS/TRCSR/Ex6_Luc98_GM - 0.05 2.03 2.31
TRS/TRCSR/Ex6_Luc98_L 0.07 0.07 0.12 0.13
TRS/TRCSR/Ex6_Luc98_Z - 0.05 0.19 0.37
TRS/TRCSR/Ex6_Luc98_iGM - 0.05 60.13 60.02
TRS/TRCSR/Ex7_BLR02_C - 0.06 60.14 60.02
TRS/TRCSR/Ex7_BLR02_FR - 0.05 4.32 3.94
TRS/TRCSR/Ex7_BLR02_GM - 0.05 4.76 5.51
TRS/TRCSR/Ex7_BLR02_L - 0.05 0.11 0.18
TRS/TRCSR/Ex7_BLR02_Z - 0.05 2.08 1.65
TRS/TRCSR/Ex7_BLR02_iGM - 0.06 60.12 60.02
TRS/TRCSR/Ex8_BLR02_C - 0.06 60.14 60.02
TRS/TRCSR/Ex8_BLR02_FR - 0.05 60.12 1.19
TRS/TRCSR/Ex8_BLR02_GM - 0.05 60.12 58.65
TRS/TRCSR/Ex8_BLR02_L - 0.05 0.11 0.21
TRS/TRCSR/Ex8_BLR02_Z - 0.05 60.11 0.20
TRS/TRCSR/Ex8_BLR02_iGM - 0.06 60.28 60.02
TRS/TRCSR/Ex9_BLR02_C - 0.06 30.23 37.63
TRS/TRCSR/Ex9_BLR02_FR - 0.05 60.11 58.97
TRS/TRCSR/Ex9_BLR02_GM - 0.05 20.93 21.62
TRS/TRCSR/Ex9_BLR02_L 0.08 0.08 0.19 0.19
TRS/TRCSR/Ex9_BLR02_Z - 0.05 17.01 10.84
TRS/TRCSR/Ex9_BLR02_iGM - 0.06 60.29 60.02
TRS/TRCSR/Ex9_Luc04_C - 0.05 46.69 55.12
TRS/TRCSR/Ex9_Luc04_FR - 0.05 0.39 0.28
TRS/TRCSR/Ex9_Luc04_GM - 0.05 3.45 3.27
TRS/TRCSR/Ex9_Luc04_L - 0.05 0.17 0.15
TRS/TRCSR/Ex9_Luc04_iGM - 0.05 60.13 60.02
TRS/TRCSR/Ex9_Luc06_C 60.18 60.32 35.76 42.14
TRS/TRCSR/Ex9_Luc06_FR 60.23 60.18 61.21 59.17
TRS/TRCSR/Ex9_Luc06_GM 1.09 1.09 1.36 1.35
TRS/TRCSR/Ex9_Luc06_L 60.06 60.06 1.14 1.15
TRS/TRCSR/Ex9_Luc06_iGM 333.60 331.89 5.82 7.68
TRS/TRCSR/ExAppendixB_AEL03_C - 0.27 60.32 60.02
TRS/TRCSR/ExAppendixB_AEL03_FR - 0.05 14.56 11.83
TRS/TRCSR/ExAppendixB_AEL03_GM - 0.06 60.14 60.02
TRS/TRCSR/ExAppendixB_AEL03_L - 0.05 0.11 0.14
TRS/TRCSR/ExAppendixB_AEL03_Z - 0.05 8.61 7.47
TRS/TRCSR/ExAppendixB_AEL03_iGM - 0.06 60.30 60.02
TRS/TRCSR/ExConc_Zan97_C 1.94 1.95 14.00 16.59
TRS/TRCSR/ExConc_Zan97_FR 1.09 1.09 1.50 1.41
TRS/TRCSR/ExConc_Zan97_GM 1.10 1.10 1.35 1.29
TRS/TRCSR/ExConc_Zan97_L 0.06 0.07 0.10 0.10
TRS/TRCSR/ExConc_Zan97_Z 60.80 61.74 1.15 1.16
TRS/TRCSR/ExConc_Zan97_iGM 1.68 1.69 10.25 10.56
TRS/TRCSR/ExIntrod_GM01_C 72.33 74.30 68.84 60.02
TRS/TRCSR/ExIntrod_GM01_FR 154.85 156.59 6.50 6.73
TRS/TRCSR/ExIntrod_GM01_GM 68.68 68.59 8.96 9.57
TRS/TRCSR/ExIntrod_GM01_L - 0.05 0.11 0.12
TRS/TRCSR/ExIntrod_GM01_Z 161.10 160.11 8.60 8.66
TRS/TRCSR/ExIntrod_GM01_iGM 144.26 140.18 55.56 60.02
TRS/TRCSR/ExIntrod_GM04_C 60.56 60.73 66.44 60.02
TRS/TRCSR/ExIntrod_GM04_FR 274.29 263.48 10.99 11.46
TRS/TRCSR/ExIntrod_GM04_GM 60.51 60.73 11.22 11.91
TRS/TRCSR/ExIntrod_GM04_L - 0.05 0.11 0.11
TRS/TRCSR/ExIntrod_GM04_Z 268.05 274.56 18.50 23.14
TRS/TRCSR/ExIntrod_GM04_iGM 92.95 91.06 39.57 54.68
TRS/TRCSR/ExIntrod_GM99_C - 0.06 60.15 60.02
TRS/TRCSR/ExIntrod_GM99_FR - 0.05 60.12 59.36
TRS/TRCSR/ExIntrod_GM99_GM - 0.05 60.13 59.43
TRS/TRCSR/ExIntrod_GM99_L - 0.05 0.11 0.11
TRS/TRCSR/ExIntrod_GM99_Z - 0.05 60.12 59.16
TRS/TRCSR/ExIntrod_GM99_iGM - 0.06 60.14 60.02
TRS/TRCSR/ExIntrod_Zan97_C - 0.06 60.16 60.02
TRS/TRCSR/ExIntrod_Zan97_FR - 0.05 14.79 17.36
TRS/TRCSR/ExIntrod_Zan97_GM - 0.05 60.13 58.82
TRS/TRCSR/ExIntrod_Zan97_L - 0.05 0.11 0.11
TRS/TRCSR/ExIntrod_Zan97_Z - 0.05 60.16 58.36
TRS/TRCSR/ExIntrod_Zan97_iGM - 0.06 60.32 60.02
TRS/TRCSR/ExProp7_Luc06_C 170.62 170.18 64.33 60.02
TRS/TRCSR/ExProp7_Luc06_FR 60.33 60.34 4.09 4.31
TRS/TRCSR/ExProp7_Luc06_GM 60.30 60.29 12.10 9.65
TRS/TRCSR/ExProp7_Luc06_L 0.07 0.08 0.12 0.11
TRS/TRCSR/ExProp7_Luc06_Z 0.08 0.08 0.12 0.12
TRS/TRCSR/ExProp7_Luc06_iGM 60.35 60.34 61.50 60.02
TRS/TRCSR/ExSec11_1_Luc02a_C - 0.06 60.14 60.02
TRS/TRCSR/ExSec11_1_Luc02a_FR - 0.05 60.13 58.71
TRS/TRCSR/ExSec11_1_Luc02a_GM - 0.05 60.14 58.78
TRS/TRCSR/ExSec11_1_Luc02a_L - 0.05 3.02 2.97
TRS/TRCSR/ExSec11_1_Luc02a_Z - 0.05 4.06 3.09
TRS/TRCSR/ExSec11_1_Luc02a_iGM - 0.06 60.15 60.02
TRS/TRCSR/ExSec4_2_DLMMU04_C - 0.06 60.17 60.02
TRS/TRCSR/ExSec4_2_DLMMU04_FR - 0.05 60.14 59.10
TRS/TRCSR/ExSec4_2_DLMMU04_GM - 0.06 60.15 60.02
TRS/TRCSR/ExSec4_2_DLMMU04_L - 0.05 0.11 0.14
TRS/TRCSR/ExSec4_2_DLMMU04_Z - 0.05 60.14 58.98
TRS/TRCSR/ExSec4_2_DLMMU04_iGM - 0.06 60.15 60.02
TRS/TRCSR/LISTUTILITIES_complete-noand_FR - 0.09 60.58 60.02
TRS/TRCSR/LISTUTILITIES_complete-noand_L - 0.08 0.20 0.33
TRS/TRCSR/LISTUTILITIES_complete-noand_Z - 0.09 60.55 60.02
TRS/TRCSR/LISTUTILITIES_complete_FR - 0.08 60.28 60.02
TRS/TRCSR/LISTUTILITIES_complete_L - 0.06 0.15 0.22
TRS/TRCSR/LISTUTILITIES_complete_Z - 0.08 60.26 60.02
TRS/TRCSR/LISTUTILITIES_nokinds-noand_FR - 0.07 60.22 60.02
TRS/TRCSR/LISTUTILITIES_nokinds-noand_L - 0.06 0.14 0.16
TRS/TRCSR/LISTUTILITIES_nokinds-noand_Z - 0.07 60.21 60.02
TRS/TRCSR/LISTUTILITIES_nokinds_FR - 0.06 60.17 60.02
TRS/TRCSR/LISTUTILITIES_nokinds_L - 0.05 0.12 0.15
TRS/TRCSR/LISTUTILITIES_nokinds_Z - 0.06 60.17 60.02
TRS/TRCSR/LISTUTILITIES_nosorts-noand_FR - 0.06 60.14 60.02
TRS/TRCSR/LISTUTILITIES_nosorts-noand_L - 0.05 0.12 0.13
TRS/TRCSR/LISTUTILITIES_nosorts-noand_Z - 0.06 60.14 60.02
TRS/TRCSR/LISTUTILITIES_nosorts_FR - 0.05 60.14 58.96
TRS/TRCSR/LISTUTILITIES_nosorts_L - 0.05 0.11 0.13
TRS/TRCSR/LISTUTILITIES_nosorts_Z - 0.05 60.14 58.92
TRS/TRCSR/LengthOfFiniteLists_complete-noand_FR - 0.06 60.17 60.02
TRS/TRCSR/LengthOfFiniteLists_complete-noand_L - 0.06 0.13 0.17
TRS/TRCSR/LengthOfFiniteLists_complete-noand_Z - 0.06 60.17 60.02
TRS/TRCSR/LengthOfFiniteLists_complete_FR - 0.06 60.15 60.02
TRS/TRCSR/LengthOfFiniteLists_complete_L - 0.05 0.12 0.14
TRS/TRCSR/LengthOfFiniteLists_complete_Z - 0.06 60.14 60.02
TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_FR - 0.05 60.14 59.04
TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_L - 0.05 0.11 0.12
TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_Z - 0.06 60.14 59.01
TRS/TRCSR/LengthOfFiniteLists_nokinds_FR - 0.05 60.13 59.05
TRS/TRCSR/LengthOfFiniteLists_nokinds_L - 0.05 0.11 0.11
TRS/TRCSR/LengthOfFiniteLists_nokinds_Z - 0.05 60.14 59.04
TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_FR 66.68 61.39 7.82 8.11
TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_L - 0.05 0.11 0.11
TRS/TRCSR/LengthOfFiniteLists_nosorts_FR 76.13 77.20 1.63 1.64
TRS/TRCSR/LengthOfFiniteLists_nosorts_L - 0.05 0.10 0.11
TRS/TRCSR/MYNAT_complete-noand_FR - 0.06 60.17 60.02
TRS/TRCSR/MYNAT_complete-noand_L - 0.06 0.13 0.14
TRS/TRCSR/MYNAT_complete-noand_Z - 0.06 60.17 60.02
TRS/TRCSR/MYNAT_complete_FR - 0.06 60.15 60.02
TRS/TRCSR/MYNAT_complete_L - 0.05 0.12 0.13
TRS/TRCSR/MYNAT_complete_Z - 0.06 60.14 60.02
TRS/TRCSR/MYNAT_nokinds-noand_FR - 0.06 60.14 59.19
TRS/TRCSR/MYNAT_nokinds-noand_L - 0.05 0.12 0.12
TRS/TRCSR/MYNAT_nokinds-noand_Z - 0.06 60.14 59.18
TRS/TRCSR/MYNAT_nokinds_FR - 0.06 60.14 59.03
TRS/TRCSR/MYNAT_nokinds_L - 0.05 0.11 0.11
TRS/TRCSR/MYNAT_nokinds_Z - 0.06 60.14 58.98
TRS/TRCSR/MYNAT_nosorts-noand_FR - 0.05 60.13 58.63
TRS/TRCSR/MYNAT_nosorts-noand_L - 0.05 0.11 0.11
TRS/TRCSR/MYNAT_nosorts_FR - 0.05 0.84 0.23
TRS/TRCSR/MYNAT_nosorts_L - 0.05 0.11 0.11
TRS/TRCSR/OvConsOS_complete-noand_FR - 0.07 60.22 60.02
TRS/TRCSR/OvConsOS_complete-noand_L - 0.06 0.14 0.18
TRS/TRCSR/OvConsOS_complete-noand_Z - 0.08 60.22 60.02
TRS/TRCSR/OvConsOS_complete_FR - 0.06 60.16 60.02
TRS/TRCSR/OvConsOS_complete_L - 0.05 0.12 0.15
TRS/TRCSR/OvConsOS_complete_Z - 0.06 60.15 60.02
TRS/TRCSR/OvConsOS_nokinds-noand_FR - 0.06 60.16 60.02
TRS/TRCSR/OvConsOS_nokinds-noand_L - 0.05 0.12 0.13
TRS/TRCSR/OvConsOS_nokinds-noand_Z - 0.06 60.15 60.02
TRS/TRCSR/OvConsOS_nokinds_FR - 0.06 60.15 60.02
TRS/TRCSR/OvConsOS_nokinds_L - 0.05 0.11 0.12
TRS/TRCSR/OvConsOS_nokinds_Z - 0.06 12.97 15.23
TRS/TRCSR/OvConsOS_nosorts-noand_FR 60.29 60.46 19.07 20.16
TRS/TRCSR/OvConsOS_nosorts-noand_L - 0.05 0.11 0.11
TRS/TRCSR/OvConsOS_nosorts-noand_Z 60.37 60.33 29.77 35.26
TRS/TRCSR/OvConsOS_nosorts_FR 60.49 60.54 4.05 4.03
TRS/TRCSR/OvConsOS_nosorts_L - 0.06 0.11 0.11
TRS/TRCSR/OvConsOS_nosorts_Z 60.55 60.60 2.49 2.59
TRS/TRCSR/PALINDROME_complete-noand_FR - 0.06 60.18 60.02
TRS/TRCSR/PALINDROME_complete-noand_L 60.19 60.17 15.58 16.63
TRS/TRCSR/PALINDROME_complete-noand_Z - 0.07 60.18 60.02
TRS/TRCSR/PALINDROME_complete_FR - 0.06 60.18 60.02
TRS/TRCSR/PALINDROME_complete_L - 0.06 0.12 0.17
TRS/TRCSR/PALINDROME_complete_Z - 0.06 60.17 60.02
TRS/TRCSR/PALINDROME_nokinds-noand_FR 60.17 60.17 67.15 60.02
TRS/TRCSR/PALINDROME_nokinds-noand_L 166.31 166.69 6.67 7.56
TRS/TRCSR/PALINDROME_nokinds-noand_Z 2.20 2.19 66.07 60.02
TRS/TRCSR/PALINDROME_nokinds_FR 60.27 60.39 86.75 59.98
TRS/TRCSR/PALINDROME_nokinds_L - 0.05 0.11 0.14
TRS/TRCSR/PALINDROME_nokinds_Z 1.57 1.57 84.48 60.02
TRS/TRCSR/PALINDROME_nosorts-noand_FR 1.10 1.10 1.25 1.22
TRS/TRCSR/PALINDROME_nosorts-noand_L 1.10 1.10 1.25 1.21
TRS/TRCSR/PALINDROME_nosorts_FR 1.09 1.10 1.24 1.21
TRS/TRCSR/PALINDROME_nosorts_L - 0.05 0.11 0.13
TRS/TRCSR/PEANO_complete-noand_FR - 0.06 60.15 59.73
TRS/TRCSR/PEANO_complete-noand_L - 0.05 0.12 0.13
TRS/TRCSR/PEANO_complete-noand_Z - 0.06 60.15 59.74
TRS/TRCSR/PEANO_complete_FR - 0.06 24.43 23.89
TRS/TRCSR/PEANO_complete_L - 0.05 0.11 0.12
TRS/TRCSR/PEANO_complete_Z - 0.06 23.83 23.34
TRS/TRCSR/PEANO_nokinds-noand_FR - 0.05 60.13 58.64
TRS/TRCSR/PEANO_nokinds-noand_L - 0.05 0.11 0.11
TRS/TRCSR/PEANO_nokinds-noand_Z - 0.05 60.13 58.61
TRS/TRCSR/PEANO_nokinds_FR - 0.05 60.14 58.59
TRS/TRCSR/PEANO_nokinds_L - 0.05 0.11 0.11
TRS/TRCSR/PEANO_nokinds_Z - 0.05 60.13 58.56
TRS/TRCSR/PEANO_nosorts-noand_FR 1.13 1.13 1.20 1.20
TRS/TRCSR/PEANO_nosorts-noand_L - 0.05 0.10 0.10
TRS/TRCSR/PEANO_nosorts_FR 1.08 1.08 1.16 1.17
TRS/TRCSR/PEANO_nosorts_L - 0.05 0.10 0.10
TRS/TRCSR/inn/LISTUTILITIES_complete_C - 0.14 60.98 60.02
TRS/TRCSR/inn/LISTUTILITIES_complete_GM - 0.09 60.34 60.02
TRS/TRCSR/inn/LISTUTILITIES_complete_iGM - 0.14 60.68 60.02
TRS/TRCSR/inn/LISTUTILITIES_complete_noand_C - 0.24 63.04 60.02
TRS/TRCSR/inn/LISTUTILITIES_complete_noand_GM - 0.14 60.92 60.02
TRS/TRCSR/inn/LISTUTILITIES_complete_noand_iGM - 0.26 62.65 60.02
TRS/TRCSR/inn/LISTUTILITIES_nokinds_C - 0.09 60.28 60.02
TRS/TRCSR/inn/LISTUTILITIES_nokinds_GM - 0.07 60.19 60.02
TRS/TRCSR/inn/LISTUTILITIES_nokinds_iGM - 0.09 60.26 60.02
TRS/TRCSR/inn/LISTUTILITIES_nokinds_noand_C - 0.12 60.63 60.02
TRS/TRCSR/inn/LISTUTILITIES_nokinds_noand_GM - 0.08 60.29 60.02
TRS/TRCSR/inn/LISTUTILITIES_nokinds_noand_iGM - 0.12 60.54 60.02
TRS/TRCSR/inn/LISTUTILITIES_nosorts_C - 0.07 60.18 60.02
TRS/TRCSR/inn/LISTUTILITIES_nosorts_GM - 0.06 60.16 60.02
TRS/TRCSR/inn/LISTUTILITIES_nosorts_iGM - 0.06 60.18 60.02
TRS/TRCSR/inn/LISTUTILITIES_nosorts_noand_C - 0.09 60.31 60.02
TRS/TRCSR/inn/LISTUTILITIES_nosorts_noand_GM - 0.07 60.19 60.02
TRS/TRCSR/inn/LISTUTILITIES_nosorts_noand_iGM - 0.09 60.29 60.02
TRS/TRCSR/inn/LengthOfFiniteLists_complete_C - 0.07 60.40 60.02
TRS/TRCSR/inn/LengthOfFiniteLists_complete_GM - 0.06 14.66 16.95
TRS/TRCSR/inn/LengthOfFiniteLists_complete_iGM - 0.07 60.21 60.02
TRS/TRCSR/inn/LengthOfFiniteLists_complete_noand_C - 0.09 60.36 60.02
TRS/TRCSR/inn/LengthOfFiniteLists_complete_noand_GM - 0.07 60.22 60.02
TRS/TRCSR/inn/LengthOfFiniteLists_complete_noand_iGM - 0.10 60.35 60.02
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_C - 0.06 60.16 60.02
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_GM - 0.06 60.14 58.77
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_iGM - 0.06 60.14 60.02
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_noand_C - 0.07 60.18 60.02
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_noand_GM - 0.06 12.39 19.15
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_noand_iGM - 0.06 60.18 60.02
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_C 97.03 97.01 64.71 60.02
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_GM 359.60 363.53 5.79 6.11
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_iGM 98.23 98.86 63.03 60.02
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_noand_C 60.44 60.52 66.80 60.02
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_noand_GM 60.44 60.54 9.79 9.74
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_noand_iGM 85.02 77.82 62.01 60.02
TRS/TRCSR/inn/MYNAT_complete_C - 0.07 60.35 60.02
TRS/TRCSR/inn/MYNAT_complete_GM - 0.06 34.09 36.48
TRS/TRCSR/inn/MYNAT_complete_iGM - 0.07 60.19 60.01
TRS/TRCSR/inn/MYNAT_complete_noand_C - 0.10 60.39 60.02
TRS/TRCSR/inn/MYNAT_complete_noand_GM - 0.07 60.22 60.02
TRS/TRCSR/inn/MYNAT_complete_noand_iGM - 0.10 60.37 60.02
TRS/TRCSR/inn/MYNAT_nokinds_C - 0.06 60.16 60.02
TRS/TRCSR/inn/MYNAT_nokinds_GM - 0.06 60.15 59.28
TRS/TRCSR/inn/MYNAT_nokinds_iGM - 0.06 57.14 60.02
TRS/TRCSR/inn/MYNAT_nokinds_noand_C - 0.07 60.19 60.02
TRS/TRCSR/inn/MYNAT_nokinds_noand_GM - 0.06 60.15 60.02
TRS/TRCSR/inn/MYNAT_nokinds_noand_iGM - 0.07 60.18 60.02
TRS/TRCSR/inn/MYNAT_nosorts_C - 0.06 60.15 60.02
TRS/TRCSR/inn/MYNAT_nosorts_GM - 0.05 60.13 58.48
TRS/TRCSR/inn/MYNAT_nosorts_iGM - 0.05 60.14 60.02
TRS/TRCSR/inn/MYNAT_nosorts_noand_C - 0.06 60.16 60.02
TRS/TRCSR/inn/MYNAT_nosorts_noand_GM - 0.05 60.14 59.30
TRS/TRCSR/inn/MYNAT_nosorts_noand_iGM - 0.06 60.15 60.02
TRS/TRCSR/inn/OvConsOS_complete_C - 0.09 60.44 60.02
TRS/TRCSR/inn/OvConsOS_complete_GM - 0.07 54.00 59.56
TRS/TRCSR/inn/OvConsOS_complete_iGM - 0.09 60.26 60.02
TRS/TRCSR/inn/OvConsOS_complete_noand_C - 0.12 60.64 60.02
TRS/TRCSR/inn/OvConsOS_complete_noand_GM - 0.08 60.29 60.02
TRS/TRCSR/inn/OvConsOS_complete_noand_iGM - 0.13 60.62 60.02
TRS/TRCSR/inn/OvConsOS_nokinds_C - 0.06 46.76 60.02
TRS/TRCSR/inn/OvConsOS_nokinds_GM - 0.06 60.14 59.82
TRS/TRCSR/inn/OvConsOS_nokinds_iGM - 0.06 60.16 60.02
TRS/TRCSR/inn/OvConsOS_nokinds_noand_C - 0.07 60.23 60.02
TRS/TRCSR/inn/OvConsOS_nokinds_noand_GM - 0.06 22.35 34.42
TRS/TRCSR/inn/OvConsOS_nokinds_noand_iGM - 0.08 60.27 60.02
TRS/TRCSR/inn/OvConsOS_nosorts_C 60.53 60.52 67.94 60.02
TRS/TRCSR/inn/OvConsOS_nosorts_GM 60.52 60.56 9.19 9.30
TRS/TRCSR/inn/OvConsOS_nosorts_iGM 60.56 60.52 64.42 60.02
TRS/TRCSR/inn/OvConsOS_nosorts_noand_C 60.78 61.43 84.84 60.02
TRS/TRCSR/inn/OvConsOS_nosorts_noand_GM 60.06 60.06 31.29 34.79
TRS/TRCSR/inn/OvConsOS_nosorts_noand_iGM 61.31 61.39 65.04 60.02
TRS/TRCSR/inn/PALINDROME_complete_C - 0.09 60.42 60.02
TRS/TRCSR/inn/PALINDROME_complete_GM - 0.07 60.18 60.02
TRS/TRCSR/inn/PALINDROME_complete_iGM - 0.08 60.25 60.02
TRS/TRCSR/inn/PALINDROME_complete_noand_C - 0.10 60.65 60.02
TRS/TRCSR/inn/PALINDROME_complete_noand_GM - 0.08 60.25 60.02
TRS/TRCSR/inn/PALINDROME_complete_noand_iGM - 0.11 60.62 60.02
TRS/TRCSR/inn/PALINDROME_nokinds_C 60.42 60.35 69.18 60.02
TRS/TRCSR/inn/PALINDROME_nokinds_GM 60.34 60.40 84.85 59.91
TRS/TRCSR/inn/PALINDROME_nokinds_iGM 60.47 60.53 79.14 60.02
TRS/TRCSR/inn/PALINDROME_nokinds_noand_C 60.07 60.08 60.02 60.02
TRS/TRCSR/inn/PALINDROME_nokinds_noand_GM 60.18 60.21 60.02 60.02
TRS/TRCSR/inn/PALINDROME_nokinds_noand_iGM 60.34 60.24 60.02 60.02
TRS/TRCSR/inn/PALINDROME_nosorts_C 92.31 93.16 63.96 60.02
TRS/TRCSR/inn/PALINDROME_nosorts_GM 198.91 197.80 62.47 59.50
TRS/TRCSR/inn/PALINDROME_nosorts_iGM 80.37 82.47 62.45 60.02
TRS/TRCSR/inn/PALINDROME_nosorts_noand_C 60.60 60.65 65.48 60.02
TRS/TRCSR/inn/PALINDROME_nosorts_noand_GM 130.88 130.70 65.76 59.52
TRS/TRCSR/inn/PALINDROME_nosorts_noand_iGM 63.05 63.12 62.91 60.02
TRS/TRCSR/inn/PEANO_complete_C - 0.07 60.32 60.02
TRS/TRCSR/inn/PEANO_complete_GM - 0.06 11.68 13.02
TRS/TRCSR/inn/PEANO_complete_iGM - 0.06 60.15 60.02
TRS/TRCSR/inn/PEANO_complete_noand_C - 0.07 60.22 60.02
TRS/TRCSR/inn/PEANO_complete_noand_GM - 0.06 39.64 48.10
TRS/TRCSR/inn/PEANO_complete_noand_iGM - 0.08 60.22 60.02
TRS/TRCSR/inn/PEANO_nokinds_C - 0.06 60.14 60.02
TRS/TRCSR/inn/PEANO_nokinds_GM - 0.05 60.13 58.73
TRS/TRCSR/inn/PEANO_nokinds_iGM - 0.06 25.13 38.72
TRS/TRCSR/inn/PEANO_nokinds_noand_C - 0.06 60.16 60.02
TRS/TRCSR/inn/PEANO_nokinds_noand_GM - 0.06 8.52 10.45
TRS/TRCSR/inn/PEANO_nokinds_noand_iGM - 0.06 60.16 60.02
TRS/TRCSR/inn/PEANO_nosorts_C 60.70 60.71 55.09 60.02
TRS/TRCSR/inn/PEANO_nosorts_GM 114.39 550.14 4.20 4.55
TRS/TRCSR/inn/PEANO_nosorts_iGM 85.58 86.41 61.76 60.02
TRS/TRCSR/inn/PEANO_nosorts_noand_C 60.15 60.16 65.74 60.02
TRS/TRCSR/inn/PEANO_nosorts_noand_GM 60.17 60.16 5.62 6.67
TRS/TRCSR/inn/PEANO_nosorts_noand_iGM 60.22 60.20 61.95 60.02
TRS/Thiemann/div_notCeTermin - 0.05 60.14 58.64
TRS/Thiemann/div_notTermin - 0.05 60.15 58.88
TRS/Thiemann/factorial1 - 0.05 60.13 58.37
TRS/Thiemann/factorial2 - 0.05 60.12 58.52
TRS/Thiemann/identity 60.37 60.32 14.91 11.68
TRS/Thiemann/innermost1 - 0.05 0.49 0.34
TRS/Thiemann/innermost2 60.37 60.36 61.17 59.64
TRS/Thiemann/innermost3 - 0.05 0.50 0.46
TRS/Thiemann/innermost4 - 0.05 60.12 59.49
TRS/Thiemann/innermost5 - 0.05 60.13 58.25
TRS/Thiemann/logarithm - 0.05 60.12 58.55
TRS/Thiemann/mapHard - 0.05 57.84 59.44
TRS/Thiemann/modulo - 0.05 52.14 38.02
TRS/Thiemann/nonterm 60.39 60.42 61.13 60.02
TRS/Thiemann/quicksort - 0.06 60.13 59.28
TRS/Thiemann/quot - 0.05 60.12 58.46
TRS/Thiemann/sizeChange - 0.05 6.48 43.82
TRS/Thiemann/tower - 0.06 60.14 58.60
TRS/Thiemann/tower_sizeChange 206.58 194.60 5.72 4.73
TRS/Waldmann/jwaprove1 60.21 60.21 61.16 59.22
TRS/Waldmann/jwaprove2 60.18 60.19 61.16 59.22
TRS/Waldmann/jwcime1 2.11 2.18 61.35 59.58
TRS/Waldmann/jwcime2 0.07 0.08 0.13 0.13
TRS/Waldmann/jwmatchb1 60.37 60.35 1.51 1.57
TRS/Waldmann/jwmatchb2 60.30 60.44 1.49 1.48
TRS/Waldmann/jwno1 60.35 60.37 61.17 59.24
TRS/Waldmann/jwno2 60.12 60.11 61.16 59.28
TRS/Waldmann/jwno3 60.45 60.43 61.20 59.27
TRS/Waldmann/jwno4 60.36 60.36 25.74 25.97
TRS/Waldmann/jwno5 60.10 60.12 61.16 59.24
TRS/Waldmann/jwno6 60.38 60.38 24.68 24.89
TRS/Waldmann/jwno7 60.40 60.43 61.23 59.26
TRS/Waldmann/jwno8 60.13 60.11 61.35 59.60
TRS/Waldmann/jwno9 60.13 60.11 61.33 59.68
TRS/Waldmann/jwteparla1 - 0.05 60.30 58.51
TRS/Waldmann/jwteparla2 - 0.05 60.33 58.53
TRS/Waldmann/jwtpa1 0.08 0.08 0.15 0.15
TRS/Waldmann/jwtpa2 2.30 2.45 61.31 59.69
TRS/Waldmann/jwttt 60.23 60.29 61.32 59.72
TRS/Zantema/jw01 0.07 0.07 0.11 0.11
TRS/Zantema/jw02 0.07 0.07 0.11 0.11
TRS/Zantema/jw03 0.07 0.07 0.11 0.11
TRS/Zantema/jw04 0.07 0.07 0.11 0.11
TRS/Zantema/jw05 0.07 0.07 0.11 0.11
TRS/Zantema/jw06 0.07 0.07 0.11 0.11
TRS/Zantema/jw07 0.07 0.07 0.11 0.11
TRS/Zantema/jw08 0.07 0.07 0.11 0.11
TRS/Zantema/jw09 0.07 0.07 0.11 0.11
TRS/Zantema/jw11 0.07 0.07 0.11 0.11
TRS/Zantema/jw12 0.07 0.07 0.11 0.11
TRS/Zantema/jw13 0.07 0.07 0.12 0.12
TRS/Zantema/jw14 0.07 0.08 0.12 0.12
TRS/Zantema/jw15 0.07 0.07 0.11 0.11
TRS/Zantema/jw16 0.07 0.07 0.11 0.11
TRS/Zantema/jw17 0.07 0.07 0.11 0.11
TRS/Zantema/jw18 0.07 0.07 0.11 0.11
TRS/Zantema/jw19 0.07 0.07 0.13 0.12
TRS/Zantema/jw20 0.07 0.08 0.11 0.11
TRS/Zantema/jw21 0.08 0.08 0.11 0.12
TRS/Zantema/jw22 0.07 0.08 0.12 0.12
TRS/Zantema/jw23 0.08 0.08 0.11 0.11
TRS/Zantema/jw24 0.07 0.08 0.11 0.11
TRS/Zantema/jw25 0.07 0.07 0.11 0.11
TRS/Zantema/jw26 0.08 0.08 0.11 0.11
TRS/Zantema/jw27 0.08 0.08 0.12 0.12
TRS/Zantema/jw28 0.08 0.08 0.12 0.12
TRS/Zantema/jw29 0.08 0.08 0.12 0.11
TRS/Zantema/jw30 0.07 0.07 0.12 0.12
TRS/Zantema/jw31 0.07 0.07 0.11 0.11
TRS/Zantema/jw32 0.07 0.07 0.11 0.11
TRS/Zantema/jw33 0.07 0.07 0.11 0.11
TRS/Zantema/jw34 0.07 0.08 0.11 0.11
TRS/Zantema/jw35 0.07 0.07 0.12 0.12
TRS/Zantema/jw36 0.07 0.07 0.12 0.12
TRS/Zantema/jw37 0.07 0.07 0.11 0.11
TRS/Zantema/jw38 0.07 0.08 0.11 0.11
TRS/Zantema/jw39 0.07 0.07 0.12 0.12
TRS/Zantema/jw40 0.07 0.07 0.12 0.12
TRS/Zantema/jw41 0.07 0.07 0.11 0.11
TRS/Zantema/jw42 0.07 0.07 0.11 0.11
TRS/Zantema/jw43 0.06 0.07 0.11 0.12
TRS/Zantema/jw44 1.10 1.10 1.22 1.22
TRS/Zantema/jw47 1.10 1.10 1.23 1.22
TRS/Zantema/jw50 0.07 0.07 0.11 0.11
TRS/Zantema/z01 60.10 60.12 61.37 60.02
TRS/Zantema/z02 0.08 0.08 0.18 0.18
TRS/Zantema/z03 0.42 0.42 61.34 60.01
TRS/Zantema/z04 - 0.05 60.16 58.23
TRS/Zantema/z05 60.19 60.18 61.17 59.42
TRS/Zantema/z06 60.10 60.10 61.20 59.50
TRS/Zantema/z07 60.14 60.15 61.27 59.42
TRS/Zantema/z08 16.56 18.37 61.35 59.77
TRS/Zantema/z09 - 0.05 60.32 59.03
TRS/Zantema/z10 - 0.05 11.89 14.00
TRS/Zantema/z11 60.37 60.30 61.71 60.01
TRS/Zantema/z12 60.36 60.30 15.56 60.02
TRS/Zantema/z13 60.29 60.36 7.31 8.28
TRS/Zantema/z14 60.25 60.30 4.53 5.01
TRS/Zantema/z15 60.29 60.27 10.25 11.66
TRS/Zantema/z16 60.21 60.30 5.85 6.56
TRS/Zantema/z17 60.36 60.39 61.11 59.22
TRS/Zantema/z18 60.36 60.29 10.25 14.06
TRS/Zantema/z19 60.38 60.35 61.19 59.36
TRS/Zantema/z20 60.25 60.22 61.37 59.71
TRS/Zantema/z21 60.32 60.44 61.17 59.33
TRS/Zantema/z22 60.30 60.24 61.35 59.71
TRS/Zantema/z23 60.26 60.34 61.11 59.41
TRS/Zantema/z24 60.33 60.37 16.46 19.81
TRS/Zantema/z25 10.76 10.73 61.15 59.40
TRS/Zantema/z26 1.72 1.71 61.28 60.02
TRS/Zantema/z27 - 0.05 0.88 0.89
TRS/Zantema/z28 - 0.05 9.95 12.42
TRS/Zantema/z29 60.37 60.35 61.45 59.48
TRS/Zantema/z30 0.15 0.15 0.88 0.88
TRS/Zantema06/beans 60.09 60.10 61.40 60.02
TRS/Zantema06/gcd - 0.05 60.12 58.34
TRS/Zantema06/gcdMinMax - 0.05 60.12 58.33
TRS/Zantema06/hydra - 0.05 60.29 58.95
TRS/Zantema06/test1 - 0.05 0.52 0.38
TRS/Zantema06/while - 0.05 3.43 9.61
TRS/Zantema06/while2 - 0.05 60.12 59.36
TRS/cariboo/tricky1 - 0.05 5.72 5.80
TRS/currying/AG01/#3.10 - 0.06 60.34 60.02
TRS/currying/AG01/#3.13 - 0.06 60.33 60.02
TRS/currying/AG01/#3.16 - 0.05 60.29 60.02
TRS/currying/AG01/#3.18 - 0.05 60.30 60.02
TRS/currying/AG01/#3.2 - 0.05 60.30 60.02
TRS/currying/AG01/#3.22 - 0.05 60.32 60.02
TRS/currying/AG01/#3.25 - 0.05 60.32 60.02
TRS/currying/AG01/#3.27 - 0.05 60.29 60.02
TRS/currying/AG01/#3.32 - 0.05 60.31 60.02
TRS/currying/AG01/#3.36 - 0.05 60.28 60.02
TRS/currying/AG01/#3.38 - 0.05 60.32 60.02
TRS/currying/AG01/#3.40 - 0.06 60.29 60.02
TRS/currying/AG01/#3.45 - 0.05 60.32 60.02
TRS/currying/AG01/#3.48 - 0.05 60.29 60.02
TRS/currying/AG01/#3.52 - 0.05 60.32 60.02
TRS/currying/AG01/#3.55 - 0.06 60.31 60.02
TRS/currying/AG01/#3.57 - 0.06 60.30 60.02
TRS/currying/AG01/#3.6 - 0.06 60.29 60.02
TRS/currying/AG01/#3.8 - 0.05 60.31 60.02
TRS/currying/AG01/#4.10 - 0.05 60.28 60.02
TRS/currying/AG01/#4.13 - 0.05 60.32 60.02
TRS/currying/AG01/#4.15 - 0.05 60.12 60.02
TRS/currying/AG01/#4.17 - 0.05 60.29 60.02
TRS/currying/AG01/#4.19 - 0.05 60.32 60.02
TRS/currying/AG01/#4.2 - 0.05 60.29 60.02
TRS/currying/AG01/#4.22 - 0.05 60.29 60.02
TRS/currying/AG01/#4.24 - 0.05 60.32 60.02
TRS/currying/AG01/#4.26 - 0.05 60.29 60.02
TRS/currying/AG01/#4.28 - 0.05 60.32 60.02
TRS/currying/AG01/#4.3 - 0.05 60.32 60.02
TRS/currying/AG01/#4.34 - 0.05 60.32 60.02
TRS/currying/AG01/#4.36 - 0.06 60.14 60.02
TRS/currying/AG01/#4.5 - 0.05 60.31 58.51
TRS/currying/AG01/#4.7 - 0.05 60.29 60.02
TRS/currying/AG01/#4.8 - 0.05 60.29 60.02
TRS/currying/D33/01 - 0.05 60.32 60.02
TRS/currying/D33/02 - 0.05 60.29 60.02
TRS/currying/D33/06 - 0.05 60.29 60.02
TRS/currying/D33/08 - 0.05 60.31 60.02
TRS/currying/D33/11 - 0.06 60.33 60.02
TRS/currying/D33/12 - 0.05 60.29 60.02
TRS/currying/D33/13 - 0.05 60.32 60.02
TRS/currying/D33/17 - 0.05 60.32 60.02
TRS/currying/D33/18 - 0.05 60.32 60.02
TRS/currying/D33/21 - 0.05 60.32 60.02
TRS/currying/D33/29 - 0.05 60.29 60.02
TRS/currying/D33/30 - 0.05 60.32 60.02
TRS/currying/D33/31 - 0.05 60.31 60.02
TRS/currying/D33/33 - 0.05 60.29 60.02
TRS/currying/Ste92/hydra - 0.05 60.32 60.02
TRS/currying/Ste92/minsort - 0.06 60.29 60.02
TRS/currying/Ste92/motivation - 0.05 60.31 60.02
TRS/currying/Ste92/perfect - 0.05 60.31 60.02
TRS/currying/Ste92/perfect2 - 0.06 60.33 60.02
TRS/higher-order/AProVE_HO/ReverseLastInit 82.03 85.16 62.53 60.02
TRS/higher-order/AProVE_HO/TakeDropWhile - 0.05 60.29 60.02
TRS/higher-order/AProVE_HO/TypeEx1 - 0.05 60.13 58.32
TRS/higher-order/AProVE_HO/TypeEx3 - 0.05 60.29 60.02
TRS/higher-order/AProVE_HO/TypeEx5 60.10 60.10 1.29 1.32
TRS/higher-order/AProVE_HO/mapDivMinus - 0.05 60.31 60.02
TRS/higher-order/AProVE_HO/mapDivMinusHard - 0.05 60.12 60.02
TRS/higher-order/AProVE_HO/nonTermF - 0.05 60.30 60.02
TRS/higher-order/AProVE_HO/termMonTypes - 0.05 60.13 59.25
TRS/higher-order/AotoYam/001 - 0.05 60.12 58.25
TRS/higher-order/AotoYam/002 - 0.05 11.61 15.46
TRS/higher-order/AotoYam/003 - 0.05 60.31 59.42
TRS/higher-order/AotoYam/004 - 0.05 60.11 59.44
TRS/higher-order/AotoYam/005 1.13 1.13 1.63 1.63
TRS/higher-order/AotoYam/006 - 0.05 19.71 45.62
TRS/higher-order/AotoYam/007 - 0.05 60.11 59.43
TRS/higher-order/AotoYam/009 - 0.05 60.12 60.02
TRS/higher-order/AotoYam/010 - 0.05 60.28 60.02
TRS/higher-order/AotoYam/011 - 0.05 60.12 59.81
TRS/higher-order/AotoYam/012 - 0.05 60.11 60.02
TRS/higher-order/AotoYam/013 - 0.05 60.31 60.02
TRS/higher-order/AotoYam/014 - 0.05 60.32 60.02
TRS/higher-order/AotoYam/015 - 0.05 60.31 60.02
TRS/higher-order/AotoYam/016 - 0.05 20.40 24.21
TRS/higher-order/AotoYam/017 0.07 0.07 0.14 0.14
TRS/higher-order/AotoYam/019 - 0.05 60.15 58.36
TRS/higher-order/AotoYam/020 - 0.05 60.28 59.38
TRS/higher-order/AotoYam/021 - 0.05 60.31 60.02
TRS/higher-order/AotoYam/022 - 0.05 9.01 12.00
TRS/higher-order/AotoYam/023 1.11 1.11 1.31 1.31
TRS/higher-order/AotoYam/024 - 0.05 60.11 59.12
TRS/higher-order/AotoYam/025 0.07 0.06 0.11 0.12
TRS/higher-order/AotoYam/026 - 0.05 60.11 59.45
TRS/higher-order/AotoYam/027 - 0.05 60.31 59.91
TRS/higher-order/AotoYam/028 - 0.05 11.69 13.07
TRS/higher-order/AotoYam/Ex1SimplyTyped - 0.05 60.11 59.42
TRS/higher-order/AotoYam/Ex5TermProof - 0.05 60.30 59.92
TRS/higher-order/Bird/BTreeMember - 0.05 60.11 60.02
TRS/higher-order/Bird/Ex2_6_1Composition 0.07 0.07 0.18 0.18
TRS/higher-order/Bird/Ex2_8_1ConstSubstFix - 0.05 60.15 58.55
TRS/higher-order/Bird/Hamming - 0.06 60.32 60.02
TRS/higher-order/Bird/TreeFlatten - 0.05 60.28 60.02
TRS/higher-order/Bird/TreeHeight - 0.05 39.10 50.18
TRS/higher-order/Bird/TreeLevels - 0.05 60.28 60.02
TRS/higher-order/Bird/TreeMap - 0.05 60.30 60.02
TRS/higher-order/Bird/TreeSize - 0.05 60.31 60.02
TRS/higher-order/Kusakari/Ex6_11 - 0.05 60.32 60.02
TRS/higher-order/Kusakari/Ex7_9 - 0.05 60.32 60.02
TRS/higher-order/Lifantsev/Ex10Functional - 0.05 60.30 60.02
TRS/higher-order/Lifantsev/Ex2PrimRec - 0.05 60.11 58.69
TRS/higher-order/Lifantsev/Ex3Lists - 0.05 60.29 60.02
TRS/higher-order/Lifantsev/Ex4MapList - 0.05 60.30 60.02
TRS/higher-order/Lifantsev/Ex5Sorting - 0.05 60.29 60.02
TRS/higher-order/Lifantsev/Ex6Folding - 0.05 60.31 60.02
TRS/higher-order/Lifantsev/Ex7OrdinalRec - 0.05 60.29 60.02
TRS/higher-order/Lifantsev/Ex8Polymorphic - 0.05 60.28 60.02
TRS/higher-order/Lifantsev/Ex9Maps - 0.05 60.29 60.02
TRS/higher-order/ToyamaRTA04/Ex5Folding - 0.05 60.32 60.02
TRS/higher-order/ToyamaRTA04/Ex6Recursor - 0.05 60.32 59.21
TRS/higher-order/ToyamaRTA04/Ex7Sorting - 0.05 60.30 60.02
TRS/nontermin/AG01/#4.30c - 0.05 9.86 7.37
TRS/nontermin/CSR/Ex14_AEGL02 - 0.05 0.31 0.20
TRS/nontermin/CSR/Ex15_Luc98 - 0.05 1.07 0.36
TRS/nontermin/CSR/Ex1_2_AEL03 - 0.05 5.17 3.91
TRS/nontermin/CSR/Ex1_2_Luc02c - 0.05 0.41 0.17
TRS/nontermin/CSR/Ex1_GL02a - 0.05 1.18 0.40
TRS/nontermin/CSR/Ex1_GM03 - 0.05 60.12 58.29
TRS/nontermin/CSR/Ex1_GM99 - 0.05 0.35 0.24
TRS/nontermin/CSR/Ex1_Luc02b - 0.05 1.11 0.33
TRS/nontermin/CSR/Ex1_Zan97 60.11 60.11 1.54 1.55
TRS/nontermin/CSR/Ex24_GM04 - 0.05 0.57 0.38
TRS/nontermin/CSR/Ex26_Luc03b - 0.05 2.45 3.59
TRS/nontermin/CSR/Ex2_Luc03b - 0.05 0.85 0.36
TRS/nontermin/CSR/Ex3_12_Luc96a - 0.05 0.67 0.22
TRS/nontermin/CSR/Ex3_2_Luc97 - 0.05 1.15 0.84
TRS/nontermin/CSR/Ex3_3_25_Bor03 - 0.05 1.60 1.85
TRS/nontermin/CSR/Ex49_GM04 - 0.05 60.13 58.36
TRS/nontermin/CSR/Ex4_4_Luc96b - 0.05 11.82 11.97
TRS/nontermin/CSR/Ex4_7_15_Bor03 60.30 60.39 12.67 12.76
TRS/nontermin/CSR/Ex4_7_37_Bor03 - 0.05 5.15 2.69
TRS/nontermin/CSR/Ex4_7_56_Bor03 - 0.05 0.55 0.21
TRS/nontermin/CSR/Ex4_7_77_Bor03 60.21 60.21 1.13 1.13
TRS/nontermin/CSR/Ex4_Zan97 - 0.05 0.98 0.67
TRS/nontermin/CSR/Ex5_7_Luc97 - 0.05 3.32 2.07
TRS/nontermin/CSR/Ex5_Zan97 60.32 60.38 3.45 4.32
TRS/nontermin/CSR/Ex6_15_AEL02 - 0.05 6.88 1.68
TRS/nontermin/CSR/Ex6_9_Luc02c - 0.05 0.54 0.22
TRS/nontermin/CSR/Ex6_GM04 60.11 60.10 1.33 1.31
TRS/nontermin/CSR/Ex6_Luc98 - 0.05 0.56 0.24
TRS/nontermin/CSR/Ex7_BLR02 - 0.05 1.29 0.38
TRS/nontermin/CSR/Ex8_BLR02 - 0.05 60.11 44.28
TRS/nontermin/CSR/Ex9_BLR02 - 0.05 23.92 10.11
TRS/nontermin/CSR/ExAppendixB_AEL03 - 0.05 6.26 4.44
TRS/nontermin/CSR/ExConc_Zan97 60.19 60.10 1.12 1.12
TRS/nontermin/CSR/ExIntrod_GM01 89.67 90.90 1.35 1.44
TRS/nontermin/CSR/ExIntrod_GM04 61.55 61.56 1.28 1.39
TRS/nontermin/CSR/ExIntrod_GM99 - 0.05 60.12 58.60
TRS/nontermin/CSR/ExIntrod_Zan97 - 0.05 60.15 58.33
TRS/nontermin/Rubio-inn/bn111 - 0.05 1.13 1.13
TRS/nontermin/Rubio-inn/gkg 60.11 60.10 1.28 1.29
TRS/nontermin/Rubio-inn/muladd - 0.05 46.90 19.79
TRS/nontermin/Rubio-inn/test10 - 0.05 7.54 6.48
TRS/nontermin/Rubio-inn/test75 - 0.05 2.83 1.81
TRS/nontermin/Rubio-inn/test76 - 0.05 3.84 4.72
TRS/nontermin/Rubio-inn/test77 - 0.05 1.48 1.04
TRS/nontermin/Rubio-inn/test830 0.08 0.07 0.14 0.14
TRS/nontermin/Rubio-inn/test9 - 0.05 0.54 0.43
TRS/nontermin/Rubio-inn/toyama - 0.05 0.34 0.24
TRS/nontermin/TRCSR/ExSec11_1_Luc02a - 0.05 2.76 3.60
TRS/nontermin/cariboo/ex1 60.11 60.11 2.28 2.32
TRS/nontermin/cariboo/ex2 - 0.05 4.20 4.57
TRS/nontermin/cariboo/ex3 60.11 60.10 3.55 3.59
TRS/nontermin/cariboo/ex4 60.11 60.12 1.38 1.39
TRS/nontermin/cariboo/ex5 60.10 60.10 1.45 1.42
TRS/nontermin/cariboo/ex6 60.20 60.18 11.80 6.51
TRS/secret05/aprove1 - 0.05 48.96 53.04
TRS/secret05/aprove2 - 0.05 60.12 43.57
TRS/secret05/aprove3 - 0.05 60.12 59.16
TRS/secret05/aprove4 - 0.05 9.55 9.43
TRS/secret05/aprove5 - 0.05 60.13 58.76
TRS/secret05/cime1 - 0.05 60.31 60.02
TRS/secret05/cime2 - 0.05 21.94 22.60
TRS/secret05/cime3 - 0.05 23.47 26.72
TRS/secret05/cime4 - 0.05 3.88 1.75
TRS/secret05/cime5 - 0.06 60.14 60.02
TRS/secret05/matchbox1 - 0.05 5.07 4.75
TRS/secret05/matchbox2 0.07 0.07 0.11 0.11
TRS/secret05/teparla1 22.45 21.97 61.13 60.02
TRS/secret05/teparla2 167.00 164.08 61.21 60.00
TRS/secret05/teparla3 25.48 24.58 61.22 59.99
TRS/secret05/tpa1 - 0.05 60.12 58.32
TRS/secret05/tpa2 - 0.05 8.89 4.53
TRS/secret05/tpa3 - 0.05 9.13 7.64
TRS/secret05/tpa4 - 0.05 29.00 9.59
TRS/secret05/tpa5 - 0.05 60.12 58.41
TRS/secret05/ttt1 - 0.05 60.12 48.51
TRS/secret05/ttt2 60.17 60.18 56.93 59.14
TRS/secret06/aprove/addList - 0.05 60.13 60.02
TRS/secret06/aprove/divExp - 0.05 3.55 4.04
TRS/secret06/aprove/division - 0.05 32.84 58.70
TRS/secret06/aprove/double - 0.05 25.40 19.62
TRS/secret06/aprove/logarithm - 0.05 60.12 58.60
TRS/secret06/aprove/nrOfNodes - 0.05 60.13 59.75
TRS/secret06/aprove/reverse - 0.05 60.14 58.60
TRS/secret06/aprove/sumList - 0.05 60.12 59.79
TRS/secret06/aprove/times - 0.05 60.12 59.35
TRS/secret06/aprove/toList - 0.05 60.13 60.00
TRS/secret06/cime1 - 0.05 60.14 59.23
TRS/secret06/jambox/10 60.42 60.34 61.26 59.32
TRS/secret06/jambox/2 60.27 60.33 62.50 60.02
TRS/secret06/jambox/3 60.24 60.40 61.56 60.02
TRS/secret06/jambox/4 60.37 60.37 27.80 29.56
TRS/secret06/jambox/5 60.30 60.36 61.37 60.02
TRS/secret06/jambox/6 2.01 2.00 8.31 8.59
TRS/secret06/jambox/7 0.39 0.38 61.65 60.02
TRS/secret06/jambox/8 0.08 0.08 0.13 0.13
TRS/secret06/jambox/9 0.08 0.08 0.13 0.13
TRS/secret06/matchbox/gen-1 - 0.05 2.50 2.61
TRS/secret06/matchbox/gen-10 - 0.05 4.42 4.71
TRS/secret06/matchbox/gen-14 - 0.05 60.32 59.54
TRS/secret06/matchbox/gen-15 - 0.05 9.70 10.32
TRS/secret06/matchbox/gen-17 - 0.05 60.11 60.02
TRS/secret06/matchbox/gen-18 - 0.05 4.42 4.47
TRS/secret06/matchbox/gen-22 - 0.05 60.28 60.02
TRS/secret06/matchbox/gen-25 - 0.05 60.27 59.07
TRS/secret06/matchbox/gen-28 - 0.05 60.13 58.58
TRS/secret06/matchbox/gen-9 - 0.05 5.57 6.93
TRS/secret06/tpa01 60.13 60.02 23.64 24.80
TRS/secret06/tpa02 60.14 60.12 23.11 25.56
TRS/secret06/tpa03 60.13 60.11 16.17 16.74
TRS/secret06/tpa04 - 0.05 60.29 58.76
TRS/secret06/tpa05 - 0.05 60.11 45.23
TRS/secret06/tpa06 - 0.05 60.03 29.48
TRS/secret06/tpa07 - 0.05 8.96 9.19
TRS/secret06/tpa08 - 0.05 60.11 58.35
TRS/secret06/tpa09 - 0.05 60.29 58.89
TRS/secret06/tpa10 - 0.05 17.47 18.38
TRS/secret07/TTT2/1 60.30 60.31 61.41 59.74
TRS/secret07/TTT2/2 60.34 60.33 17.47 43.13
TRS/secret07/TTT2/3 82.32 81.68 61.85 60.02
TRS/secret07/TTT2/4 60.28 60.29 61.32 60.02
TRS/secret07/TTT2/5 60.43 60.54 18.04 21.58
TRS/secret07/TTT2/6 60.12 60.13 11.37 11.67
TRS/secret07/TTT2/7 60.38 60.35 61.44 60.01
TRS/secret07/aprove/aprove01 - 0.06 60.13 59.19
TRS/secret07/aprove/aprove02 - 0.05 15.54 10.74
TRS/secret07/aprove/aprove03 - 0.06 53.25 57.33
TRS/secret07/aprove/aprove04 - 0.05 60.13 60.02
TRS/secret07/aprove/aprove05 - 0.05 60.13 56.09
TRS/secret07/aprove/aprove06 - 0.05 60.14 57.71
TRS/secret07/aprove/aprove07 - 0.05 60.13 58.93
TRS/secret07/aprove/aprove08 - 0.05 60.12 60.02
TRS/secret07/aprove/aprove09 - 0.05 60.13 60.02
TRS/secret07/aprove/aprove10 - 0.05 60.13 59.23
TRS/secret07/cime/1 - 0.05 - -
TRS/secret07/cime/2 - 0.05 - -
TRS/secret07/cime/3 - 0.05 - -
TRS/secret07/cime/4 - 0.05 - -
TRS/secret07/cime/5 - 0.05 - -
TRS/secret07/others/dj 60.12 60.11 3.91 1.57
TRS/various/02 - 0.05 0.35 0.26
TRS/various/03 - 0.05 2.31 1.23
TRS/various/04 - 0.05 60.12 60.03
TRS/various/05 - 0.05 27.67 60.04
TRS/various/06 - 0.05 0.16 0.14
TRS/various/07 0.07 0.07 0.11 0.11
TRS/various/08 - 0.06 60.12 60.02
TRS/various/09 - 0.05 0.21 0.16
TRS/various/10 - 0.05 7.42 8.47
TRS/various/11 - 0.05 2.53 1.28
TRS/various/12 - 0.05 60.13 58.45
TRS/various/13 - 0.05 60.14 58.66
TRS/various/14 - 0.06 60.13 60.02
TRS/various/15 62.22 61.11 3.25 3.52
TRS/various/18 60.09 60.11 23.28 22.58
TRS/various/19 60.37 60.40 4.79 6.46
TRS/various/20 60.11 60.10 18.18 18.71
TRS/various/21 60.18 60.16 70.21 60.02
TRS/various/22 - 0.05 2.33 1.63
TRS/various/23 1.12 1.12 1.19 1.19
TRS/various/24 24.46 24.62 12.77 14.69
TRS/various/25 0.07 0.07 0.12 0.12
TRS/various/26 - 0.05 1.33 1.48
TRS/various/27 0.07 0.07 0.11 0.11