file
MINTER_TRI_B_A
MINTER_TRI_B_B
MINTER_TRI_B_C
MINTER_TRI_B_D
tpdb-4.0/TRS/AG01/#3.1
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.10
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.12
0.04
0.09
0.24
0.40
tpdb-4.0/TRS/AG01/#3.13
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.14
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/AG01/#3.15
0.04
0.10
0.09
0.09
tpdb-4.0/TRS/AG01/#3.16
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.17
0.05
0.22
0.47
1.54
tpdb-4.0/TRS/AG01/#3.17a
0.08
0.30
0.72
2.05
tpdb-4.0/TRS/AG01/#3.18
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.19
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.2
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.21
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.22
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.23
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.24
0.04
0.06
0.06
0.05
tpdb-4.0/TRS/AG01/#3.26
0.03
0.07
0.87
17.55
tpdb-4.0/TRS/AG01/#3.29
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.31
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.33
0.07
0.19
0.19
0.20
tpdb-4.0/TRS/AG01/#3.35
0.03
0.04
0.03
0.04
tpdb-4.0/TRS/AG01/#3.36
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.37
0.05
0.43
0.58
0.60
tpdb-4.0/TRS/AG01/#3.38
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.39
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.4
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.40
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.41
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.42
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.47
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.48
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.49
0.04
0.26
9.96
60.02
tpdb-4.0/TRS/AG01/#3.5
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.51
0.04
0.11
0.30
1.02
tpdb-4.0/TRS/AG01/#3.52
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.53
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.53a
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.53b
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.54
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.55
0.03
0.04
0.03
0.03
tpdb-4.0/TRS/AG01/#3.56
0.04
0.06
0.07
0.06
tpdb-4.0/TRS/AG01/#3.57
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.5a
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.5b
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.6
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/AG01/#3.6a
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/AG01/#3.6b
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/AG01/#3.7
0.04
0.15
0.16
0.15
tpdb-4.0/TRS/AG01/#3.8a
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#3.8b
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AG01/#4.30c
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AProVE/AAECC-ring
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/AProVE/AAECC
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/AProVE/IJCAR_1
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AProVE/IJCAR_12
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AProVE/IJCAR_18
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AProVE/IJCAR_26
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AProVE/IJCAR_26a
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AProVE/JFP_Ex31
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/AProVE/JFP_Ex51
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/AProVE/LPAR_intlist
0.05
1.96
2.97
16.33
tpdb-4.0/TRS/AProVE/Liveness6.1
0.04
0.14
0.72
9.09
tpdb-4.0/TRS/AProVE/Liveness6.2
0.04
0.19
2.50
43.90
tpdb-4.0/TRS/AProVE/Liveness6.3
0.06
0.26
7.03
60.02
tpdb-4.0/TRS/AProVE/Liveness6.4
0.07
0.23
1.81
16.87
tpdb-4.0/TRS/AProVE/Liveness8
0.06
0.55
60.02
60.02
tpdb-4.0/TRS/AProVE/Liveness_WRS
0.59
60.03
60.02
60.02
tpdb-4.0/TRS/AProVE/fac
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AProVE/forward_instantiation
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AProVE/forward_instantiation2
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/AProVE/improved_usable
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AProVE/improved_usable2
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AProVE/rta1
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AProVE/rta2
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/AProVE/rta3
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Beerendonk/1
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Beerendonk/10
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/Beerendonk/11
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Beerendonk/12
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Beerendonk/13
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/Beerendonk/14
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Beerendonk/15
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/Beerendonk/16
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/Beerendonk/17
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/Beerendonk/18
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/Beerendonk/19
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/Beerendonk/2
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Beerendonk/20
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Beerendonk/21
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Beerendonk/22
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Beerendonk/23
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Beerendonk/24
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Beerendonk/3
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Beerendonk/4
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Beerendonk/5
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Beerendonk/6
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Beerendonk/7
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Beerendonk/8
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Beerendonk/9
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/CSR/Ex1_Luc04b_GM
0.06
0.20
0.97
12.34
tpdb-4.0/TRS/Cime/ack_prolog
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Cime/append-hard
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Cime/append-wrong
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/Cime/append
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/Cime/big
0.05
0.04
0.04
0.04
tpdb-4.0/TRS/Cime/boolean_rings
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Cime/dpqs
0.04
0.09
0.24
1.16
tpdb-4.0/TRS/Cime/fact-hard
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/Cime/filliatre
0.07
0.93
60.02
60.02
tpdb-4.0/TRS/Cime/filliatre2
0.07
1.45
32.83
60.02
tpdb-4.0/TRS/Cime/filliatre3
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Cime/intersect
0.04
0.03
0.04
0.03
tpdb-4.0/TRS/Cime/list-sum-prod-assoc-append
0.04
0.03
0.04
0.04
tpdb-4.0/TRS/Cime/list-sum-prod-assoc
0.05
0.03
0.04
0.03
tpdb-4.0/TRS/Cime/list-sum-prod-bin-assoc-distr-app
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Cime/list-sum-prod-bin-assoc
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Cime/list-sum-prod-bin
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/Cime/list-sum-prod
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Cime/log2
0.03
0.03
0.04
0.04
tpdb-4.0/TRS/Cime/lse
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Cime/maude2
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Cime/mucrl1
0.11
0.10
0.11
0.10
tpdb-4.0/TRS/Cime/quick
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Cime/ternary-hard
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Cime/ternary
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/Cime/tree
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/D33/01
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/D33/02
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/D33/03
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/D33/04
0.03
0.04
0.04
0.04
tpdb-4.0/TRS/D33/06
0.03
0.06
0.22
0.98
tpdb-4.0/TRS/D33/07
0.03
0.03
0.04
0.04
tpdb-4.0/TRS/D33/08
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/D33/09
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/D33/11
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/D33/12
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/D33/13
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/D33/17
0.04
0.08
0.16
0.31
tpdb-4.0/TRS/D33/18
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/D33/20
0.05
0.20
0.55
4.48
tpdb-4.0/TRS/D33/21
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/D33/27
0.03
0.04
0.04
0.04
tpdb-4.0/TRS/D33/28
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/D33/30
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/D33/31
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/D33/32
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/D33/33
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Endrullis/direct
0.05
14.57
60.02
60.02
tpdb-4.0/TRS/Endrullis/labeling
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Endrullis/linear1
0.06
1.57
60.02
60.02
tpdb-4.0/TRS/Endrullis/linear2
0.09
9.83
60.02
60.02
tpdb-4.0/TRS/Endrullis/pair2hard
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Endrullis/pair2simple1
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Endrullis/pair2simple2
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Endrullis/pair3hard
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Endrullis/pair3rotate
0.04
0.27
9.62
60.02
tpdb-4.0/TRS/Endrullis/pair3swap
0.05
0.44
3.04
10.95
tpdb-4.0/TRS/Endrullis/quadruple1
0.05
0.78
10.87
32.74
tpdb-4.0/TRS/Endrullis/quadruple2
0.04
0.16
0.59
1.81
tpdb-4.0/TRS/HM/n002
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/HM/n003
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/HM/n004
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/HM/n005
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/HM/n006
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/HM/n007
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/HM/n008
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/HM/t000
0.28
0.91
2.28
5.87
tpdb-4.0/TRS/HM/t001
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/HM/t002
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/HM/t003
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/HM/t004
0.04
0.12
0.35
0.70
tpdb-4.0/TRS/HM/t005
0.07
0.07
0.07
0.08
tpdb-4.0/TRS/HM/t006
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/HM/t007
0.03
0.04
0.04
0.04
tpdb-4.0/TRS/HM/t008
0.04
0.27
1.30
8.38
tpdb-4.0/TRS/HM/t009
0.33
4.97
60.02
60.03
tpdb-4.0/TRS/HM/t010
0.03
0.04
0.04
0.04
tpdb-4.0/TRS/HM/t011
0.03
0.04
0.04
0.04
tpdb-4.0/TRS/HM/t012
0.06
0.26
0.45
0.82
tpdb-4.0/TRS/HM/t013
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/HM/t014
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/HofWald/1
0.04
0.19
0.62
2.66
tpdb-4.0/TRS/HofWald/2
0.05
1.34
24.34
60.02
tpdb-4.0/TRS/HofWald/3
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/HofWald/4
0.04
0.34
2.03
6.32
tpdb-4.0/TRS/HofWald/5
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/HofWald/6
0.03
0.07
0.14
0.33
tpdb-4.0/TRS/HofWald/7
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Koprowski/gcd_triple
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/LJB01/jones1
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/LJB01/jones2
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/LJB01/jones4
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/LJB01/jones5
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/LJB01/jones6
0.04
0.05
0.05
0.05
tpdb-4.0/TRS/Rubio/aoto
0.04
0.08
0.08
0.08
tpdb-4.0/TRS/Rubio/bintrees
0.05
0.04
0.04
0.04
tpdb-4.0/TRS/Rubio/bn122
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Rubio/bn129
0.04
0.06
0.13
0.24
tpdb-4.0/TRS/Rubio/division
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Rubio/elimdupl
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Rubio/enno
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Rubio/gcd
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Rubio/gm
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Rubio/gmnp
0.04
0.07
0.22
0.83
tpdb-4.0/TRS/Rubio/koen
0.03
0.04
0.04
0.05
tpdb-4.0/TRS/Rubio/lescanne
0.04
0.04
0.03
0.04
tpdb-4.0/TRS/Rubio/lindau
0.05
2.51
38.78
60.02
tpdb-4.0/TRS/Rubio/logarquot
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Rubio/ma96
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Rubio/mfp90b
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/Rubio/mfp95
0.04
0.05
0.03
0.04
tpdb-4.0/TRS/Rubio/nestrec
0.04
0.09
0.40
1.04
tpdb-4.0/TRS/Rubio/p266
0.04
0.06
0.06
0.06
tpdb-4.0/TRS/Rubio/polo2
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Rubio/prov
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Rubio/quick
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/Rubio/quotminus
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Rubio/revlist
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Rubio/selsort
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Rubio/test4
0.04
0.24
0.24
0.25
tpdb-4.0/TRS/Rubio/test829
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/Rubio/wst99
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.01
0.05
0.08
0.09
0.09
tpdb-4.0/TRS/SK90/2.02
0.04
0.06
0.17
0.48
tpdb-4.0/TRS/SK90/2.03
0.04
0.05
0.06
0.05
tpdb-4.0/TRS/SK90/2.04
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/SK90/2.05
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.06
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/SK90/2.07
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/SK90/2.08
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.09
0.04
0.03
0.04
0.03
tpdb-4.0/TRS/SK90/2.10
0.05
0.09
0.20
0.43
tpdb-4.0/TRS/SK90/2.11
0.04
0.04
0.03
0.04
tpdb-4.0/TRS/SK90/2.12
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.13
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.14
0.05
0.10
0.22
0.54
tpdb-4.0/TRS/SK90/2.15
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.16
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.17
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.18
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.19
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.20
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.21
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.22
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.23
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.24
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.25
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.26
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.27
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.28
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.29
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.30
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.31
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/SK90/2.32
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.33
0.04
0.06
0.06
0.06
tpdb-4.0/TRS/SK90/2.34
0.04
0.09
0.25
0.53
tpdb-4.0/TRS/SK90/2.35
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.36
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.37
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.38
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.39
0.04
0.08
0.15
0.33
tpdb-4.0/TRS/SK90/2.40
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.41
0.05
0.04
0.04
0.04
tpdb-4.0/TRS/SK90/2.42
0.04
0.09
0.19
0.40
tpdb-4.0/TRS/SK90/2.43
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.44
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.45
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.46
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/SK90/2.47
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.48
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/SK90/2.49
0.05
0.05
0.06
0.05
tpdb-4.0/TRS/SK90/2.50
0.03
0.07
0.21
0.65
tpdb-4.0/TRS/SK90/2.51
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.52
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.53
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/SK90/2.54
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.55
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.56
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.57
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.58
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.59
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/2.60
0.06
0.06
0.06
0.06
tpdb-4.0/TRS/SK90/2.61
0.07
0.07
0.07
0.07
tpdb-4.0/TRS/SK90/4.01
0.05
0.06
0.06
0.07
tpdb-4.0/TRS/SK90/4.02
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.03
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.04
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/SK90/4.05
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.06
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.07
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/SK90/4.08
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.09
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.10
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.11
0.04
0.04
0.03
0.04
tpdb-4.0/TRS/SK90/4.12
0.05
0.11
0.11
0.11
tpdb-4.0/TRS/SK90/4.13
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.14
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.15
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.16
0.06
0.06
0.06
0.06
tpdb-4.0/TRS/SK90/4.17
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.18
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.19
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/SK90/4.20
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.21
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.22
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.23
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.24
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.25
0.04
0.04
0.03
0.04
tpdb-4.0/TRS/SK90/4.26
0.04
0.07
0.14
0.28
tpdb-4.0/TRS/SK90/4.27
0.05
2.90
33.27
60.02
tpdb-4.0/TRS/SK90/4.28
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.29
0.05
0.05
0.05
0.05
tpdb-4.0/TRS/SK90/4.30
0.04
0.11
0.49
3.06
tpdb-4.0/TRS/SK90/4.31
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.32
0.04
0.10
0.23
0.53
tpdb-4.0/TRS/SK90/4.33
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.34
0.04
0.16
0.54
1.23
tpdb-4.0/TRS/SK90/4.35
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.36
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.37
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.38
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/SK90/4.39
0.04
0.04
0.03
0.03
tpdb-4.0/TRS/SK90/4.40
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.41
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.42
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.43
0.05
0.12
0.27
0.55
tpdb-4.0/TRS/SK90/4.44
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/SK90/4.45
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.46
0.03
0.04
0.03
0.04
tpdb-4.0/TRS/SK90/4.47
0.11
0.13
0.12
0.13
tpdb-4.0/TRS/SK90/4.48
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/SK90/4.49
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.50
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.51
0.04
0.13
2.22
21.69
tpdb-4.0/TRS/SK90/4.52
0.04
0.10
0.10
0.10
tpdb-4.0/TRS/SK90/4.53
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.54
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.55
0.03
0.04
0.04
0.06
tpdb-4.0/TRS/SK90/4.56
0.03
0.04
0.04
0.04
tpdb-4.0/TRS/SK90/4.57
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.59
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.60
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SK90/4.61
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade01
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade03
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade04t
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade05t
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade06
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade07
0.03
0.04
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade08
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade09
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade10
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade11
0.03
0.04
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade12t
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade13t
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade14
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade15
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade16
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade17
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/kabasci01
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/SchneiderKamp/trs/kabasci02
0.04
0.04
0.03
0.04
tpdb-4.0/TRS/SchneiderKamp/trs/kabasci03
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/kabasci04
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/kabasci05
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/kabasci06
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto01
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto02
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto03
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto04
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto05
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto06
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto07
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto08
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto09
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto10
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto11
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto12
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto13
0.03
0.03
0.03
0.24
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann01
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann02
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann03
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann04
0.04
0.04
0.03
0.04
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann05
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann06
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann07
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann08
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann09
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann10
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann11
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann12
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann13
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann14
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann15
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann16
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann17
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann18
0.04
0.04
0.03
0.04
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann19
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann20
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann21
0.04
0.04
0.03
0.04
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann22
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann23
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann24
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann25
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann26
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann27
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann28
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann29
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann30
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann31
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann32
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann33
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann34
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann35
0.03
0.04
0.03
0.04
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann36
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann37
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann38
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann39
0.04
0.04
0.03
0.04
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann40
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann41
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/wiehe01
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/wiehe02
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/wiehe03
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/wiehe05
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/wiehe06
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/SchneiderKamp/trs/wiehe07
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/SchneiderKamp/trs/wiehe08
0.04
0.03
0.03
0.04
tpdb-4.0/TRS/SchneiderKamp/trs/wiehe09
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/SchneiderKamp/trs/wiehe11
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/SchneiderKamp/trs/wiehe12
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/Ste92/hydra
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Ste92/minsort
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/Ste92/motivation
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/Ste92/perfect
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Ste92/perfect2
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex14_AEGL02_C
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex14_AEGL02_FR
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex14_AEGL02_GM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex14_AEGL02_L
0.04
0.03
0.04
0.05
tpdb-4.0/TRS/TRCSR/Ex14_AEGL02_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex14_AEGL02_iGM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex14_Luc06_C
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex14_Luc06_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex14_Luc06_GM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex14_Luc06_L
0.03
0.04
0.07
0.23
tpdb-4.0/TRS/TRCSR/Ex14_Luc06_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex14_Luc06_iGM
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex15_Luc06_C
0.05
0.31
8.71
60.02
tpdb-4.0/TRS/TRCSR/Ex15_Luc06_FR
0.04
0.58
60.02
60.02
tpdb-4.0/TRS/TRCSR/Ex15_Luc06_GM
0.04
0.77
12.56
60.02
tpdb-4.0/TRS/TRCSR/Ex15_Luc06_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex15_Luc06_Z
0.04
0.07
0.07
0.07
tpdb-4.0/TRS/TRCSR/Ex15_Luc06_iGM
0.05
7.20
60.02
60.02
tpdb-4.0/TRS/TRCSR/Ex15_Luc98_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex15_Luc98_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex15_Luc98_GM
0.04
0.04
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex15_Luc98_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex15_Luc98_Z
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex15_Luc98_iGM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex16_Luc06_C
0.06
0.16
0.64
2.03
tpdb-4.0/TRS/TRCSR/Ex16_Luc06_FR
0.03
0.04
0.06
0.08
tpdb-4.0/TRS/TRCSR/Ex16_Luc06_GM
0.04
0.05
0.08
0.13
tpdb-4.0/TRS/TRCSR/Ex16_Luc06_L
0.05
0.03
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex16_Luc06_Z
0.04
0.04
0.06
0.08
tpdb-4.0/TRS/TRCSR/Ex16_Luc06_iGM
0.05
0.24
2.89
24.69
tpdb-4.0/TRS/TRCSR/Ex18_Luc06_C
0.06
0.35
22.00
60.02
tpdb-4.0/TRS/TRCSR/Ex18_Luc06_FR
0.04
0.06
0.06
0.07
tpdb-4.0/TRS/TRCSR/Ex18_Luc06_GM
0.04
0.07
0.07
0.07
tpdb-4.0/TRS/TRCSR/Ex18_Luc06_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex18_Luc06_Z
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex18_Luc06_iGM
0.05
0.55
0.51
0.51
tpdb-4.0/TRS/TRCSR/Ex1_2_AEL03_C
0.05
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex1_2_AEL03_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_2_AEL03_GM
0.04
0.04
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_2_AEL03_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_2_AEL03_Z
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_2_AEL03_iGM
0.05
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex1_2_Luc02c_C
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_2_Luc02c_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_2_Luc02c_GM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_2_Luc02c_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_2_Luc02c_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_2_Luc02c_iGM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_GL02a_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex1_GL02a_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_GL02a_GM
0.04
0.04
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_GL02a_L
0.04
0.04
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_GL02a_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_GL02a_iGM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex1_GM03_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex1_GM03_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_GM03_GM
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_GM03_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_GM03_Z
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_GM03_iGM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex1_GM99_C
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_GM99_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_GM99_GM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_GM99_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_GM99_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_GM99_iGM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_Luc02b_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex1_Luc02b_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_Luc02b_GM
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_Luc02b_L
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_Luc02b_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_Luc02b_iGM
0.04
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex1_Luc04b_C
0.13
0.65
3.03
16.77
tpdb-4.0/TRS/TRCSR/Ex1_Luc04b_FR
0.05
0.10
0.26
0.56
tpdb-4.0/TRS/TRCSR/Ex1_Luc04b_GM
0.06
0.20
1.41
9.46
tpdb-4.0/TRS/TRCSR/Ex1_Luc04b_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_Luc04b_Z
0.05
0.10
2.73
52.09
tpdb-4.0/TRS/TRCSR/Ex1_Luc04b_iGM
0.11
1.12
16.09
60.02
tpdb-4.0/TRS/TRCSR/Ex1_Zan97_C
0.05
0.60
60.02
60.02
tpdb-4.0/TRS/TRCSR/Ex1_Zan97_FR
0.04
0.05
0.56
38.31
tpdb-4.0/TRS/TRCSR/Ex1_Zan97_GM
0.04
0.05
0.05
0.05
tpdb-4.0/TRS/TRCSR/Ex1_Zan97_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex1_Zan97_Z
0.03
0.05
0.57
40.14
tpdb-4.0/TRS/TRCSR/Ex1_Zan97_iGM
0.05
3.91
8.91
7.73
tpdb-4.0/TRS/TRCSR/Ex23_Luc06_C
0.07
0.46
16.96
60.02
tpdb-4.0/TRS/TRCSR/Ex23_Luc06_FR
0.05
0.09
0.09
0.09
tpdb-4.0/TRS/TRCSR/Ex23_Luc06_GM
0.05
0.09
0.09
0.09
tpdb-4.0/TRS/TRCSR/Ex23_Luc06_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex23_Luc06_Z
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex23_Luc06_iGM
0.06
11.43
60.02
60.03
tpdb-4.0/TRS/TRCSR/Ex24_GM04_C
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex24_GM04_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex24_GM04_GM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex24_GM04_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex24_GM04_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex24_GM04_iGM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex24_Luc06_C
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex24_Luc06_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex24_Luc06_GM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex24_Luc06_L
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex24_Luc06_Z
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex24_Luc06_iGM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex25_Luc06_C
0.08
0.51
1.77
2.21
tpdb-4.0/TRS/TRCSR/Ex25_Luc06_FR
0.04
0.18
0.33
0.34
tpdb-4.0/TRS/TRCSR/Ex25_Luc06_GM
0.05
0.11
0.11
0.11
tpdb-4.0/TRS/TRCSR/Ex25_Luc06_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex25_Luc06_Z
0.04
0.07
0.14
0.15
tpdb-4.0/TRS/TRCSR/Ex25_Luc06_iGM
0.07
0.62
2.81
3.45
tpdb-4.0/TRS/TRCSR/Ex26_Luc03b_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex26_Luc03b_FR
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex26_Luc03b_GM
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex26_Luc03b_L
0.04
0.04
0.05
0.04
tpdb-4.0/TRS/TRCSR/Ex26_Luc03b_Z
0.04
0.03
0.04
0.03
tpdb-4.0/TRS/TRCSR/Ex26_Luc03b_iGM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex2_Luc02a_C
0.04
0.04
0.05
0.04
tpdb-4.0/TRS/TRCSR/Ex2_Luc02a_FR
0.04
0.03
0.04
0.03
tpdb-4.0/TRS/TRCSR/Ex2_Luc02a_GM
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex2_Luc02a_L
0.04
0.03
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex2_Luc02a_Z
0.04
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex2_Luc02a_iGM
0.05
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex2_Luc03b_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex2_Luc03b_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex2_Luc03b_GM
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/TRCSR/Ex2_Luc03b_L
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex2_Luc03b_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex2_Luc03b_iGM
0.03
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex3_12_Luc96a_C
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/TRCSR/Ex3_12_Luc96a_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex3_12_Luc96a_GM
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/TRCSR/Ex3_12_Luc96a_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex3_12_Luc96a_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex3_12_Luc96a_iGM
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/TRCSR/Ex3_2_Luc97_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex3_2_Luc97_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex3_2_Luc97_GM
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex3_2_Luc97_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex3_2_Luc97_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex3_2_Luc97_iGM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex3_3_25_Bor03_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex3_3_25_Bor03_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex3_3_25_Bor03_GM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex3_3_25_Bor03_L
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex3_3_25_Bor03_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex3_3_25_Bor03_iGM
0.03
0.04
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex49_GM04_C
0.04
0.04
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex49_GM04_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex49_GM04_GM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex49_GM04_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex49_GM04_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex49_GM04_iGM
0.04
0.04
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex4_4_Luc96b_C
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex4_4_Luc96b_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex4_4_Luc96b_GM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex4_4_Luc96b_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex4_4_Luc96b_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex4_4_Luc96b_iGM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex4_7_15_Bor03_C
0.10
0.49
23.26
41.36
tpdb-4.0/TRS/TRCSR/Ex4_7_15_Bor03_FR
0.04
0.12
0.12
0.13
tpdb-4.0/TRS/TRCSR/Ex4_7_15_Bor03_GM
0.05
0.15
0.59
13.57
tpdb-4.0/TRS/TRCSR/Ex4_7_15_Bor03_L
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex4_7_15_Bor03_Z
0.05
0.05
0.05
0.05
tpdb-4.0/TRS/TRCSR/Ex4_7_15_Bor03_iGM
0.08
0.72
9.95
60.02
tpdb-4.0/TRS/TRCSR/Ex4_7_37_Bor03_C
0.04
0.04
0.04
0.13
tpdb-4.0/TRS/TRCSR/Ex4_7_37_Bor03_FR
0.04
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex4_7_37_Bor03_GM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex4_7_37_Bor03_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex4_7_37_Bor03_Z
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex4_7_37_Bor03_iGM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex4_7_56_Bor03_C
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex4_7_56_Bor03_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex4_7_56_Bor03_GM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex4_7_56_Bor03_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex4_7_56_Bor03_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex4_7_56_Bor03_iGM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex4_7_77_Bor03_C
0.07
0.18
0.91
2.82
tpdb-4.0/TRS/TRCSR/Ex4_7_77_Bor03_FR
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex4_7_77_Bor03_GM
0.04
0.06
0.06
0.07
tpdb-4.0/TRS/TRCSR/Ex4_7_77_Bor03_L
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex4_7_77_Bor03_Z
0.03
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex4_7_77_Bor03_iGM
0.05
0.24
4.24
60.02
tpdb-4.0/TRS/TRCSR/Ex4_DLMMU04_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex4_DLMMU04_FR
0.04
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex4_DLMMU04_GM
0.04
0.04
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex4_DLMMU04_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex4_DLMMU04_Z
0.04
0.04
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex4_DLMMU04_iGM
0.05
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex4_Zan97_C
0.04
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex4_Zan97_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex4_Zan97_GM
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex4_Zan97_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex4_Zan97_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex4_Zan97_iGM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex5_7_Luc97_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex5_7_Luc97_FR
0.04
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex5_7_Luc97_GM
0.04
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex5_7_Luc97_L
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex5_7_Luc97_Z
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex5_7_Luc97_iGM
0.05
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex5_DLMMU04_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex5_DLMMU04_FR
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex5_DLMMU04_GM
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex5_DLMMU04_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex5_DLMMU04_Z
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex5_DLMMU04_iGM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex5_Zan97_C
0.08
0.39
1.30
12.87
tpdb-4.0/TRS/TRCSR/Ex5_Zan97_FR
0.04
0.06
0.17
0.51
tpdb-4.0/TRS/TRCSR/Ex5_Zan97_GM
0.05
0.11
0.46
2.29
tpdb-4.0/TRS/TRCSR/Ex5_Zan97_L
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex5_Zan97_Z
0.04
0.05
0.05
0.07
tpdb-4.0/TRS/TRCSR/Ex5_Zan97_iGM
0.07
0.39
9.89
47.56
tpdb-4.0/TRS/TRCSR/Ex6_15_AEL02_C
0.05
0.05
0.04
0.05
tpdb-4.0/TRS/TRCSR/Ex6_15_AEL02_FR
0.04
0.04
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex6_15_AEL02_GM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex6_15_AEL02_L
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex6_15_AEL02_Z
0.04
0.04
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex6_15_AEL02_iGM
0.05
0.04
0.04
0.05
tpdb-4.0/TRS/TRCSR/Ex6_9_Luc02c_C
0.05
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex6_9_Luc02c_FR
0.04
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex6_9_Luc02c_GM
0.04
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex6_9_Luc02c_L
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex6_9_Luc02c_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex6_9_Luc02c_iGM
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex6_GM04_C
0.05
0.35
19.06
60.02
tpdb-4.0/TRS/TRCSR/Ex6_GM04_FR
0.04
0.05
0.16
2.22
tpdb-4.0/TRS/TRCSR/Ex6_GM04_GM
0.04
0.05
0.05
0.05
tpdb-4.0/TRS/TRCSR/Ex6_GM04_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex6_GM04_Z
0.04
0.05
0.16
2.25
tpdb-4.0/TRS/TRCSR/Ex6_GM04_iGM
0.05
0.21
0.21
0.22
tpdb-4.0/TRS/TRCSR/Ex6_Luc98_C
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex6_Luc98_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex6_Luc98_GM
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex6_Luc98_L
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex6_Luc98_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex6_Luc98_iGM
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex7_BLR02_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex7_BLR02_FR
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex7_BLR02_GM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex7_BLR02_L
0.04
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex7_BLR02_Z
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex7_BLR02_iGM
0.04
0.04
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex8_BLR02_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex8_BLR02_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex8_BLR02_GM
0.04
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex8_BLR02_L
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex8_BLR02_Z
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex8_BLR02_iGM
0.04
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex9_BLR02_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex9_BLR02_FR
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex9_BLR02_GM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex9_BLR02_L
0.05
0.10
0.11
0.12
tpdb-4.0/TRS/TRCSR/Ex9_BLR02_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex9_BLR02_iGM
0.04
0.03
0.04
0.04
tpdb-4.0/TRS/TRCSR/Ex9_Luc04_C
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex9_Luc04_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex9_Luc04_GM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex9_Luc04_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex9_Luc04_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex9_Luc04_iGM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/Ex9_Luc06_C
0.06
0.27
1.09
3.53
tpdb-4.0/TRS/TRCSR/Ex9_Luc06_FR
0.03
0.06
0.77
19.19
tpdb-4.0/TRS/TRCSR/Ex9_Luc06_GM
0.04
0.05
0.06
0.05
tpdb-4.0/TRS/TRCSR/Ex9_Luc06_L
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/Ex9_Luc06_Z
0.03
0.06
0.77
22.87
tpdb-4.0/TRS/TRCSR/Ex9_Luc06_iGM
0.05
0.36
15.54
60.02
tpdb-4.0/TRS/TRCSR/ExAppendixB_AEL03_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/ExAppendixB_AEL03_FR
0.03
0.03
0.03
0.13
tpdb-4.0/TRS/TRCSR/ExAppendixB_AEL03_GM
0.04
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/ExAppendixB_AEL03_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/ExAppendixB_AEL03_Z
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/ExAppendixB_AEL03_iGM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/ExConc_Zan97_C
0.05
0.24
0.92
0.95
tpdb-4.0/TRS/TRCSR/ExConc_Zan97_FR
0.04
0.06
0.06
0.06
tpdb-4.0/TRS/TRCSR/ExConc_Zan97_GM
0.04
0.06
0.06
0.26
tpdb-4.0/TRS/TRCSR/ExConc_Zan97_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/ExConc_Zan97_Z
0.03
0.04
0.07
0.11
tpdb-4.0/TRS/TRCSR/ExConc_Zan97_iGM
0.05
0.33
5.43
41.19
tpdb-4.0/TRS/TRCSR/ExIntrod_GM01_C
0.13
0.51
2.09
32.51
tpdb-4.0/TRS/TRCSR/ExIntrod_GM01_FR
0.05
0.12
0.31
0.67
tpdb-4.0/TRS/TRCSR/ExIntrod_GM01_GM
0.06
0.20
1.19
8.56
tpdb-4.0/TRS/TRCSR/ExIntrod_GM01_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/ExIntrod_GM01_Z
0.05
0.35
18.93
60.02
tpdb-4.0/TRS/TRCSR/ExIntrod_GM01_iGM
0.11
0.93
11.08
60.02
tpdb-4.0/TRS/TRCSR/ExIntrod_GM04_C
0.11
0.44
3.33
60.02
tpdb-4.0/TRS/TRCSR/ExIntrod_GM04_FR
0.06
0.14
0.36
0.78
tpdb-4.0/TRS/TRCSR/ExIntrod_GM04_GM
0.06
0.16
0.80
5.83
tpdb-4.0/TRS/TRCSR/ExIntrod_GM04_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/ExIntrod_GM04_Z
0.06
0.30
1.17
60.02
tpdb-4.0/TRS/TRCSR/ExIntrod_GM04_iGM
0.10
0.67
8.44
60.02
tpdb-4.0/TRS/TRCSR/ExIntrod_GM99_C
0.04
0.04
0.06
0.04
tpdb-4.0/TRS/TRCSR/ExIntrod_GM99_FR
0.03
0.03
0.06
0.04
tpdb-4.0/TRS/TRCSR/ExIntrod_GM99_GM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/ExIntrod_GM99_L
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/TRCSR/ExIntrod_GM99_Z
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/TRCSR/ExIntrod_GM99_iGM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/ExIntrod_Zan97_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/ExIntrod_Zan97_FR
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/TRCSR/ExIntrod_Zan97_GM
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/ExIntrod_Zan97_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/ExIntrod_Zan97_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/ExIntrod_Zan97_iGM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/ExProp7_Luc06_C
0.09
0.38
7.04
9.50
tpdb-4.0/TRS/TRCSR/ExProp7_Luc06_FR
0.04
0.78
60.02
60.02
tpdb-4.0/TRS/TRCSR/ExProp7_Luc06_GM
0.05
0.17
0.68
17.03
tpdb-4.0/TRS/TRCSR/ExProp7_Luc06_L
0.04
0.63
58.66
60.02
tpdb-4.0/TRS/TRCSR/ExProp7_Luc06_Z
0.05
0.93
60.02
60.02
tpdb-4.0/TRS/TRCSR/ExProp7_Luc06_iGM
0.08
0.54
9.82
60.02
tpdb-4.0/TRS/TRCSR/ExSec11_1_Luc02a_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/ExSec11_1_Luc02a_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/ExSec11_1_Luc02a_GM
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/ExSec11_1_Luc02a_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/ExSec11_1_Luc02a_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/ExSec11_1_Luc02a_iGM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/ExSec4_2_DLMMU04_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/ExSec4_2_DLMMU04_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/ExSec4_2_DLMMU04_GM
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/ExSec4_2_DLMMU04_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/ExSec4_2_DLMMU04_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/ExSec4_2_DLMMU04_iGM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_complete-noand_FR
0.06
0.06
0.07
0.07
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_complete-noand_L
0.05
0.05
0.05
0.05
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_complete-noand_Z
0.06
0.06
0.06
0.06
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_complete_C
0.10
0.11
0.10
0.10
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_complete_FR
0.05
0.05
0.05
0.05
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_complete_GM
0.06
0.07
0.07
0.07
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_complete_L
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_complete_Z
0.05
0.05
0.05
0.05
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_complete_iGM
0.10
0.10
0.10
0.10
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_complete_noand_C
0.18
0.18
0.18
0.19
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_complete_noand_GM
0.10
0.11
0.10
0.11
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_complete_noand_iGM
0.20
0.20
0.20
0.21
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nokinds-noand_FR
0.04
0.05
0.04
0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nokinds-noand_L
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nokinds-noand_Z
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nokinds_C
0.06
0.07
0.06
0.06
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nokinds_FR
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nokinds_GM
0.04
0.05
0.04
0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nokinds_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nokinds_Z
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nokinds_iGM
0.06
0.06
0.06
0.06
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nokinds_noand_C
0.08
0.09
0.08
0.08
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nokinds_noand_GM
0.05
0.05
0.05
0.05
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nokinds_noand_iGM
0.09
0.09
0.09
0.09
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nosorts-noand_FR
0.03
0.04
0.03
0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nosorts-noand_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nosorts-noand_Z
0.03
0.04
0.03
0.03
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nosorts_C
0.05
0.05
0.04
0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nosorts_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nosorts_GM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nosorts_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nosorts_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nosorts_iGM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nosorts_noand_C
0.07
0.07
0.06
0.07
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nosorts_noand_GM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nosorts_noand_iGM
0.06
0.06
0.06
0.07
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_complete-noand_FR
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_complete-noand_L
0.04
0.04
0.03
0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_complete-noand_Z
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_complete_C
0.05
0.05
0.05
0.05
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_complete_FR
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_complete_GM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_complete_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_complete_Z
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_complete_iGM
0.05
0.05
0.05
0.05
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_complete_noand_C
0.07
0.07
0.07
0.07
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_complete_noand_GM
0.05
0.05
0.05
0.05
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_complete_noand_iGM
0.07
0.07
0.08
0.07
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_FR
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_Z
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_FR
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_GM
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_iGM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_GM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_iGM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_FR
0.04
0.23
6.45
60.02
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_Z
0.04
0.23
6.69
60.02
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_C
0.09
0.42
2.56
11.07
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_FR
0.04
0.09
1.24
60.02
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_GM
0.05
0.17
0.76
9.54
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_Z
0.04
0.10
1.27
60.02
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_iGM
0.08
0.58
9.67
60.02
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_C
0.11
0.47
3.78
28.73
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_GM
0.05
0.19
0.72
9.34
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_iGM
0.09
0.70
13.55
60.02
tpdb-4.0/TRS/TRCSR/MYNAT_complete-noand_FR
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/MYNAT_complete-noand_L
0.03
0.04
0.03
0.04
tpdb-4.0/TRS/TRCSR/MYNAT_complete-noand_Z
0.04
0.04
0.04
0.05
tpdb-4.0/TRS/TRCSR/MYNAT_complete_C
0.05
0.05
0.05
0.05
tpdb-4.0/TRS/TRCSR/MYNAT_complete_FR
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/MYNAT_complete_GM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/MYNAT_complete_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/MYNAT_complete_Z
0.04
0.04
0.03
0.04
tpdb-4.0/TRS/TRCSR/MYNAT_complete_iGM
0.05
0.05
0.05
0.05
tpdb-4.0/TRS/TRCSR/MYNAT_complete_noand_C
0.07
0.08
0.07
0.07
tpdb-4.0/TRS/TRCSR/MYNAT_complete_noand_GM
0.05
0.05
0.05
0.05
tpdb-4.0/TRS/TRCSR/MYNAT_complete_noand_iGM
0.07
0.08
0.07
0.08
tpdb-4.0/TRS/TRCSR/MYNAT_nokinds-noand_FR
0.03
0.04
0.03
0.04
tpdb-4.0/TRS/TRCSR/MYNAT_nokinds-noand_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nokinds-noand_Z
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/MYNAT_nokinds_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/MYNAT_nokinds_FR
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/MYNAT_nokinds_GM
0.03
0.04
0.03
0.04
tpdb-4.0/TRS/TRCSR/MYNAT_nokinds_L
0.03
0.04
0.03
0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nokinds_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nokinds_iGM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/MYNAT_nokinds_noand_C
0.05
0.04
0.04
0.05
tpdb-4.0/TRS/TRCSR/MYNAT_nokinds_noand_GM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/MYNAT_nokinds_noand_iGM
0.05
0.04
0.04
0.05
tpdb-4.0/TRS/TRCSR/MYNAT_nosorts-noand_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nosorts-noand_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nosorts-noand_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nosorts_C
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/MYNAT_nosorts_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nosorts_GM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nosorts_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nosorts_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nosorts_iGM
0.03
0.04
0.03
0.04
tpdb-4.0/TRS/TRCSR/MYNAT_nosorts_noand_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/MYNAT_nosorts_noand_GM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nosorts_noand_iGM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_complete-noand_FR
0.04
0.05
0.04
0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_complete-noand_L
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_complete-noand_Z
0.04
0.05
0.04
0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_complete_C
0.06
0.06
0.06
0.06
tpdb-4.0/TRS/TRCSR/OvConsOS_complete_FR
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_complete_GM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_complete_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/OvConsOS_complete_Z
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_complete_iGM
0.06
0.06
0.06
0.06
tpdb-4.0/TRS/TRCSR/OvConsOS_complete_noand_C
0.09
0.09
0.09
0.09
tpdb-4.0/TRS/TRCSR/OvConsOS_complete_noand_GM
0.05
0.06
0.05
0.05
tpdb-4.0/TRS/TRCSR/OvConsOS_complete_noand_iGM
0.10
0.11
0.10
0.11
tpdb-4.0/TRS/TRCSR/OvConsOS_nokinds-noand_FR
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_nokinds-noand_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/OvConsOS_nokinds-noand_Z
0.04
0.04
0.03
0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_nokinds_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_nokinds_FR
0.04
0.04
0.03
0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_nokinds_GM
0.04
0.04
0.03
0.03
tpdb-4.0/TRS/TRCSR/OvConsOS_nokinds_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/OvConsOS_nokinds_Z
0.03
0.04
0.03
0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_nokinds_iGM
0.04
0.05
0.04
0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_nokinds_noand_C
0.05
0.06
0.05
0.05
tpdb-4.0/TRS/TRCSR/OvConsOS_nokinds_noand_GM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_nokinds_noand_iGM
0.05
0.06
0.05
0.05
tpdb-4.0/TRS/TRCSR/OvConsOS_nosorts-noand_FR
0.08
0.35
0.60
1.28
tpdb-4.0/TRS/TRCSR/OvConsOS_nosorts-noand_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/OvConsOS_nosorts-noand_Z
0.06
0.41
20.60
60.02
tpdb-4.0/TRS/TRCSR/OvConsOS_nosorts_C
0.12
0.81
4.01
26.09
tpdb-4.0/TRS/TRCSR/OvConsOS_nosorts_FR
0.05
0.12
0.26
0.58
tpdb-4.0/TRS/TRCSR/OvConsOS_nosorts_GM
0.06
0.21
0.73
6.95
tpdb-4.0/TRS/TRCSR/OvConsOS_nosorts_L
0.03
0.04
0.03
0.03
tpdb-4.0/TRS/TRCSR/OvConsOS_nosorts_Z
0.05
0.58
2.94
60.02
tpdb-4.0/TRS/TRCSR/OvConsOS_nosorts_iGM
0.10
1.28
7.51
60.02
tpdb-4.0/TRS/TRCSR/OvConsOS_nosorts_noand_C
0.23
1.98
6.29
25.22
tpdb-4.0/TRS/TRCSR/OvConsOS_nosorts_noand_GM
0.09
0.35
1.52
13.96
tpdb-4.0/TRS/TRCSR/OvConsOS_nosorts_noand_iGM
0.20
2.46
13.16
60.02
tpdb-4.0/TRS/TRCSR/PALINDROME_complete-noand_FR
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/PALINDROME_complete-noand_L
0.09
0.46
0.88
1.81
tpdb-4.0/TRS/TRCSR/PALINDROME_complete-noand_Z
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/PALINDROME_complete_C
0.05
0.06
0.05
0.06
tpdb-4.0/TRS/TRCSR/PALINDROME_complete_FR
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/PALINDROME_complete_GM
0.04
0.05
0.04
0.04
tpdb-4.0/TRS/TRCSR/PALINDROME_complete_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/PALINDROME_complete_Z
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/PALINDROME_complete_iGM
0.06
0.06
0.05
0.05
tpdb-4.0/TRS/TRCSR/PALINDROME_complete_noand_C
0.08
0.08
0.11
0.08
tpdb-4.0/TRS/TRCSR/PALINDROME_complete_noand_GM
0.05
0.05
0.05
0.05
tpdb-4.0/TRS/TRCSR/PALINDROME_complete_noand_iGM
0.08
0.08
0.08
0.08
tpdb-4.0/TRS/TRCSR/PALINDROME_nokinds-noand_FR
0.11
0.45
1.01
2.33
tpdb-4.0/TRS/TRCSR/PALINDROME_nokinds-noand_L
0.05
0.12
0.27
0.58
tpdb-4.0/TRS/TRCSR/PALINDROME_nokinds-noand_Z
0.11
0.47
1.86
1.52
tpdb-4.0/TRS/TRCSR/PALINDROME_nokinds_C
0.18
0.92
7.08
38.26
tpdb-4.0/TRS/TRCSR/PALINDROME_nokinds_FR
0.09
0.33
0.76
1.63
tpdb-4.0/TRS/TRCSR/PALINDROME_nokinds_GM
0.09
0.35
1.25
5.81
tpdb-4.0/TRS/TRCSR/PALINDROME_nokinds_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/PALINDROME_nokinds_Z
0.09
0.31
0.82
0.87
tpdb-4.0/TRS/TRCSR/PALINDROME_nokinds_iGM
0.16
1.99
15.02
60.02
tpdb-4.0/TRS/TRCSR/PALINDROME_nokinds_noand_C
0.38
2.22
8.85
32.54
tpdb-4.0/TRS/TRCSR/PALINDROME_nokinds_noand_GM
0.15
0.77
2.66
20.58
tpdb-4.0/TRS/TRCSR/PALINDROME_nokinds_noand_iGM
0.32
4.69
14.75
60.03
tpdb-4.0/TRS/TRCSR/PALINDROME_nosorts-noand_FR
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/PALINDROME_nosorts-noand_L
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/PALINDROME_nosorts-noand_Z
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/PALINDROME_nosorts_C
0.09
0.50
2.84
9.14
tpdb-4.0/TRS/TRCSR/PALINDROME_nosorts_FR
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/PALINDROME_nosorts_GM
0.05
0.14
0.57
1.86
tpdb-4.0/TRS/TRCSR/PALINDROME_nosorts_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/PALINDROME_nosorts_Z
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/PALINDROME_nosorts_iGM
0.07
0.57
3.31
16.33
tpdb-4.0/TRS/TRCSR/PALINDROME_nosorts_noand_C
0.10
0.67
1.69
8.75
tpdb-4.0/TRS/TRCSR/PALINDROME_nosorts_noand_GM
0.05
0.14
0.56
2.03
tpdb-4.0/TRS/TRCSR/PALINDROME_nosorts_noand_iGM
0.08
0.71
3.82
60.02
tpdb-4.0/TRS/TRCSR/PEANO_complete-noand_FR
0.03
0.04
0.03
0.04
tpdb-4.0/TRS/TRCSR/PEANO_complete-noand_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/PEANO_complete-noand_Z
0.03
0.04
0.03
0.04
tpdb-4.0/TRS/TRCSR/PEANO_complete_C
0.04
0.04
0.04
0.05
tpdb-4.0/TRS/TRCSR/PEANO_complete_FR
0.03
0.04
0.03
0.04
tpdb-4.0/TRS/TRCSR/PEANO_complete_GM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/PEANO_complete_L
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/PEANO_complete_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/PEANO_complete_iGM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/PEANO_complete_noand_C
0.05
0.05
0.05
0.05
tpdb-4.0/TRS/TRCSR/PEANO_complete_noand_GM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/PEANO_complete_noand_iGM
0.06
0.06
0.05
0.05
tpdb-4.0/TRS/TRCSR/PEANO_nokinds-noand_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/PEANO_nokinds-noand_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/PEANO_nokinds-noand_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/PEANO_nokinds_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/PEANO_nokinds_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/PEANO_nokinds_GM
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/PEANO_nokinds_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/PEANO_nokinds_Z
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/PEANO_nokinds_iGM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/PEANO_nokinds_noand_C
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/PEANO_nokinds_noand_GM
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/PEANO_nokinds_noand_iGM
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/TRCSR/PEANO_nosorts-noand_FR
0.04
0.10
0.11
0.11
tpdb-4.0/TRS/TRCSR/PEANO_nosorts-noand_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/PEANO_nosorts-noand_Z
0.04
0.11
0.11
0.11
tpdb-4.0/TRS/TRCSR/PEANO_nosorts_C
0.07
0.30
2.84
10.39
tpdb-4.0/TRS/TRCSR/PEANO_nosorts_FR
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/PEANO_nosorts_GM
0.05
0.12
0.62
2.20
tpdb-4.0/TRS/TRCSR/PEANO_nosorts_L
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/TRCSR/PEANO_nosorts_Z
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/TRCSR/PEANO_nosorts_iGM
0.06
0.39
2.81
60.02
tpdb-4.0/TRS/TRCSR/PEANO_nosorts_noand_C
0.10
0.47
2.03
5.65
tpdb-4.0/TRS/TRCSR/PEANO_nosorts_noand_GM
0.05
0.15
0.69
6.38
tpdb-4.0/TRS/TRCSR/PEANO_nosorts_noand_iGM
0.08
0.84
4.84
36.57
tpdb-4.0/TRS/Thiemann/div_notCeTermin
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/Thiemann/div_notTermin
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/Thiemann/factorial1
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Thiemann/factorial2
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Thiemann/identity
0.06
0.17
4.92
18.84
tpdb-4.0/TRS/Thiemann/logarithm
0.04
0.03
0.03
0.04
tpdb-4.0/TRS/Thiemann/mapHard
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/Thiemann/modulo
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Thiemann/nonterm
0.14
0.58
3.88
24.39
tpdb-4.0/TRS/Thiemann/quicksort
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Thiemann/quot
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Thiemann/sizeChange
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/Thiemann/tower
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/Thiemann/tower_sizeChange
0.06
0.19
0.65
2.08
tpdb-4.0/TRS/Waldmann/jwaprove1
0.04
0.31
2.07
6.46
tpdb-4.0/TRS/Waldmann/jwaprove2
0.05
0.39
2.13
7.93
tpdb-4.0/TRS/Waldmann/jwcime1
0.06
0.65
2.78
12.57
tpdb-4.0/TRS/Waldmann/jwcime2
0.05
0.33
2.04
8.76
tpdb-4.0/TRS/Waldmann/jwmatchb1
0.04
0.16
0.56
2.20
tpdb-4.0/TRS/Waldmann/jwmatchb2
0.04
0.17
0.72
2.16
tpdb-4.0/TRS/Waldmann/jwno1
0.08
0.70
2.99
16.10
tpdb-4.0/TRS/Waldmann/jwno2
0.04
0.19
0.43
0.89
tpdb-4.0/TRS/Waldmann/jwno3
0.08
1.91
10.83
60.02
tpdb-4.0/TRS/Waldmann/jwno4
0.05
0.29
0.92
4.43
tpdb-4.0/TRS/Waldmann/jwno5
0.03
0.06
0.14
0.42
tpdb-4.0/TRS/Waldmann/jwno6
0.05
0.25
0.95
4.04
tpdb-4.0/TRS/Waldmann/jwno7
0.05
1.56
6.45
46.35
tpdb-4.0/TRS/Waldmann/jwno8
0.04
0.13
0.39
1.23
tpdb-4.0/TRS/Waldmann/jwno9
0.04
0.19
0.43
1.41
tpdb-4.0/TRS/Waldmann/jwteparla1
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/Waldmann/jwteparla2
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Waldmann/jwtpa1
0.06
0.74
4.18
14.15
tpdb-4.0/TRS/Waldmann/jwtpa2
0.06
0.26
0.93
2.35
tpdb-4.0/TRS/Waldmann/jwttt
0.07
0.39
0.96
1.97
tpdb-4.0/TRS/Zantema/jw01
0.03
0.07
0.25
0.86
tpdb-4.0/TRS/Zantema/jw02
0.04
0.09
0.26
0.94
tpdb-4.0/TRS/Zantema/jw03
0.04
0.42
4.88
39.56
tpdb-4.0/TRS/Zantema/jw04
0.04
0.34
4.36
34.72
tpdb-4.0/TRS/Zantema/jw05
0.04
0.09
0.32
0.76
tpdb-4.0/TRS/Zantema/jw06
0.03
0.08
0.26
0.93
tpdb-4.0/TRS/Zantema/jw07
0.05
0.23
0.63
1.74
tpdb-4.0/TRS/Zantema/jw08
0.05
0.18
0.56
1.58
tpdb-4.0/TRS/Zantema/jw09
0.04
0.22
0.64
1.31
tpdb-4.0/TRS/Zantema/jw11
0.04
0.20
0.68
1.62
tpdb-4.0/TRS/Zantema/jw12
0.04
0.16
0.55
1.42
tpdb-4.0/TRS/Zantema/jw13
0.04
0.23
0.75
2.75
tpdb-4.0/TRS/Zantema/jw14
0.04
0.27
0.86
2.93
tpdb-4.0/TRS/Zantema/jw15
0.05
0.48
2.96
8.24
tpdb-4.0/TRS/Zantema/jw16
0.04
0.26
0.95
3.94
tpdb-4.0/TRS/Zantema/jw17
0.04
0.37
1.15
3.35
tpdb-4.0/TRS/Zantema/jw18
0.04
0.12
0.29
0.58
tpdb-4.0/TRS/Zantema/jw19
0.04
0.26
0.59
0.87
tpdb-4.0/TRS/Zantema/jw20
0.05
1.03
16.37
60.02
tpdb-4.0/TRS/Zantema/jw21
0.05
2.49
42.62
60.02
tpdb-4.0/TRS/Zantema/jw22
0.05
1.58
12.16
41.83
tpdb-4.0/TRS/Zantema/jw23
0.05
1.34
13.39
60.02
tpdb-4.0/TRS/Zantema/jw24
0.05
0.89
6.20
60.02
tpdb-4.0/TRS/Zantema/jw25
0.05
0.76
8.55
48.78
tpdb-4.0/TRS/Zantema/jw26
0.05
1.35
18.52
60.02
tpdb-4.0/TRS/Zantema/jw27
0.05
2.03
19.75
54.55
tpdb-4.0/TRS/Zantema/jw28
0.06
3.38
56.17
60.02
tpdb-4.0/TRS/Zantema/jw29
0.05
1.01
14.79
46.97
tpdb-4.0/TRS/Zantema/jw30
0.04
0.13
0.27
0.51
tpdb-4.0/TRS/Zantema/jw31
0.04
0.10
0.31
0.62
tpdb-4.0/TRS/Zantema/jw32
0.05
0.27
1.17
3.20
tpdb-4.0/TRS/Zantema/jw33
0.05
0.30
1.07
4.44
tpdb-4.0/TRS/Zantema/jw34
0.05
0.21
1.71
6.86
tpdb-4.0/TRS/Zantema/jw35
0.04
0.21
0.89
2.45
tpdb-4.0/TRS/Zantema/jw36
0.04
0.25
1.04
4.42
tpdb-4.0/TRS/Zantema/jw37
0.04
0.15
0.40
1.46
tpdb-4.0/TRS/Zantema/jw38
0.04
0.22
0.62
1.54
tpdb-4.0/TRS/Zantema/jw39
0.04
0.26
0.83
1.97
tpdb-4.0/TRS/Zantema/jw40
0.04
0.22
0.60
1.36
tpdb-4.0/TRS/Zantema/jw41
0.04
0.17
0.95
2.36
tpdb-4.0/TRS/Zantema/jw42
0.05
0.29
1.02
2.71
tpdb-4.0/TRS/Zantema/jw43
0.04
0.86
60.02
60.02
tpdb-4.0/TRS/Zantema/jw44
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/Zantema/jw47
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/Zantema/jw50
0.04
0.91
60.02
60.02
tpdb-4.0/TRS/Zantema/z01
0.08
11.95
60.02
60.02
tpdb-4.0/TRS/Zantema/z02
0.04
0.16
0.44
2.16
tpdb-4.0/TRS/Zantema/z03
0.05
0.21
0.76
5.70
tpdb-4.0/TRS/Zantema/z04
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Zantema/z05
0.04
0.38
12.73
60.02
tpdb-4.0/TRS/Zantema/z06
0.04
0.19
0.74
1.69
tpdb-4.0/TRS/Zantema/z07
0.04
0.15
7.12
60.02
tpdb-4.0/TRS/Zantema/z08
0.04
0.23
1.24
2.26
tpdb-4.0/TRS/Zantema/z09
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Zantema/z10
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Zantema/z11
0.06
0.33
0.61
1.38
tpdb-4.0/TRS/Zantema/z12
0.05
0.34
3.29
29.10
tpdb-4.0/TRS/Zantema/z13
0.04
0.09
0.83
10.01
tpdb-4.0/TRS/Zantema/z14
0.04
0.09
0.41
4.01
tpdb-4.0/TRS/Zantema/z15
0.04
0.08
0.74
17.33
tpdb-4.0/TRS/Zantema/z16
0.04
0.10
0.60
8.30
tpdb-4.0/TRS/Zantema/z17
0.04
0.79
60.02
60.02
tpdb-4.0/TRS/Zantema/z18
0.04
0.14
2.05
36.45
tpdb-4.0/TRS/Zantema/z19
0.04
0.07
0.17
0.66
tpdb-4.0/TRS/Zantema/z20
0.05
0.15
0.35
1.59
tpdb-4.0/TRS/Zantema/z21
0.04
0.08
0.19
0.75
tpdb-4.0/TRS/Zantema/z22
0.05
0.13
0.33
1.11
tpdb-4.0/TRS/Zantema/z23
0.04
0.25
7.74
60.02
tpdb-4.0/TRS/Zantema/z24
0.04
0.14
1.21
45.32
tpdb-4.0/TRS/Zantema/z25
0.04
0.65
60.02
60.02
tpdb-4.0/TRS/Zantema/z26
0.11
12.32
10.12
11.36
tpdb-4.0/TRS/Zantema/z27
0.03
0.03
0.05
0.03
tpdb-4.0/TRS/Zantema/z28
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Zantema/z29
0.04
0.07
0.12
0.22
tpdb-4.0/TRS/Zantema/z30
0.15
60.02
60.02
60.02
tpdb-4.0/TRS/Zantema06/beans
0.07
0.25
3.00
42.18
tpdb-4.0/TRS/Zantema06/gcd
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Zantema06/gcdMinMax
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Zantema06/hydra
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Zantema06/test1
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Zantema06/while
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/Zantema06/while2
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/currying/AG01/#3.10
0.04
0.04
0.05
0.05
tpdb-4.0/TRS/currying/AG01/#3.13
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/currying/AG01/#3.16
0.03
0.03
0.04
0.04
tpdb-4.0/TRS/currying/AG01/#3.18
0.03
0.03
0.04
0.04
tpdb-4.0/TRS/currying/AG01/#3.2
0.03
0.03
0.04
0.04
tpdb-4.0/TRS/currying/AG01/#3.22
0.03
0.04
0.04
0.04
tpdb-4.0/TRS/currying/AG01/#3.25
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/currying/AG01/#3.27
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/currying/AG01/#3.32
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/currying/AG01/#3.36
0.03
0.03
0.04
0.04
tpdb-4.0/TRS/currying/AG01/#3.38
0.03
0.03
0.05
0.04
tpdb-4.0/TRS/currying/AG01/#3.40
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/currying/AG01/#3.45
0.03
0.03
0.04
0.04
tpdb-4.0/TRS/currying/AG01/#3.48
0.03
0.04
0.04
0.04
tpdb-4.0/TRS/currying/AG01/#3.52
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/currying/AG01/#3.55
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/currying/AG01/#3.57
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/currying/AG01/#3.6
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/currying/AG01/#3.8
0.03
0.04
0.04
0.04
tpdb-4.0/TRS/currying/D33/01
0.03
0.04
0.04
0.04
tpdb-4.0/TRS/currying/D33/02
0.03
0.03
0.04
0.04
tpdb-4.0/TRS/currying/D33/06
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/currying/D33/08
0.03
0.03
0.04
0.04
tpdb-4.0/TRS/currying/D33/11
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/currying/D33/12
0.03
0.03
0.04
0.04
tpdb-4.0/TRS/currying/D33/13
0.03
0.04
0.04
0.04
tpdb-4.0/TRS/currying/D33/17
0.03
0.04
0.04
0.04
tpdb-4.0/TRS/currying/D33/18
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/currying/D33/21
0.03
0.04
0.04
0.04
tpdb-4.0/TRS/currying/D33/29
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/currying/D33/30
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/currying/D33/31
0.03
0.03
0.04
0.04
tpdb-4.0/TRS/currying/D33/33
0.03
0.04
0.04
0.04
tpdb-4.0/TRS/currying/Ste92/hydra
0.03
0.04
0.04
0.04
tpdb-4.0/TRS/currying/Ste92/minsort
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/currying/Ste92/motivation
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/currying/Ste92/perfect
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/currying/Ste92/perfect2
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/higher-order/AProVE_HO/ReverseLastInit
0.08
0.22
0.53
1.11
tpdb-4.0/TRS/higher-order/AProVE_HO/TakeDropWhile
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AProVE_HO/TypeEx1
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AProVE_HO/TypeEx3
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/higher-order/AProVE_HO/TypeEx5
0.03
0.05
0.07
0.11
tpdb-4.0/TRS/higher-order/AProVE_HO/mapDivMinus
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AProVE_HO/mapDivMinusHard
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AProVE_HO/nonTermF
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AProVE_HO/termMonTypes
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AotoYam/001
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AotoYam/002
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AotoYam/003
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AotoYam/004
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AotoYam/005
0.05
0.05
0.05
0.05
tpdb-4.0/TRS/higher-order/AotoYam/006
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AotoYam/007
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AotoYam/009
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AotoYam/010
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AotoYam/011
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AotoYam/012
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AotoYam/013
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AotoYam/014
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AotoYam/015
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AotoYam/016
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/higher-order/AotoYam/017
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AotoYam/019
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AotoYam/020
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AotoYam/021
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/higher-order/AotoYam/022
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/higher-order/AotoYam/023
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/higher-order/AotoYam/024
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AotoYam/025
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AotoYam/026
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AotoYam/027
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AotoYam/028
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/AotoYam/Ex1SimplyTyped
0.03
0.04
0.03
0.03
tpdb-4.0/TRS/higher-order/AotoYam/Ex5TermProof
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/Bird/BTreeMember
0.03
0.04
0.04
0.03
tpdb-4.0/TRS/higher-order/Bird/Ex2_6_1Composition
0.03
0.04
0.04
0.03
tpdb-4.0/TRS/higher-order/Bird/Ex2_8_1ConstSubstFix
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/Bird/Hamming
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/higher-order/Bird/TreeFlatten
0.03
0.04
0.03
0.03
tpdb-4.0/TRS/higher-order/Bird/TreeHeight
0.03
0.04
0.03
0.03
tpdb-4.0/TRS/higher-order/Bird/TreeLevels
0.04
0.03
0.04
0.04
tpdb-4.0/TRS/higher-order/Bird/TreeMap
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/Bird/TreeSize
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/Kusakari/Ex6_11
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/Kusakari/Ex7_9
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/higher-order/Lifantsev/Ex10Functional
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/higher-order/Lifantsev/Ex2PrimRec
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/Lifantsev/Ex3Lists
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/Lifantsev/Ex4MapList
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/Lifantsev/Ex5Sorting
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/higher-order/Lifantsev/Ex6Folding
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/Lifantsev/Ex7OrdinalRec
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/Lifantsev/Ex8Polymorphic
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/Lifantsev/Ex9Maps
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/ToyamaRTA04/Ex5Folding
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/higher-order/ToyamaRTA04/Ex6Recursor
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/higher-order/ToyamaRTA04/Ex7Sorting
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/nontermin/AG01/#4.12a
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/nontermin/AG01/#4.13
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/nontermin/AG01/#4.14
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/AG01/#4.15
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/AG01/#4.16
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/AG01/#4.17
0.04
0.67
31.95
60.02
tpdb-4.0/TRS/nontermin/AG01/#4.18
0.06
2.57
53.47
60.02
tpdb-4.0/TRS/nontermin/AG01/#4.19
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/AG01/#4.2
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/AG01/#4.20
0.03
0.04
0.04
0.04
tpdb-4.0/TRS/nontermin/AG01/#4.20a
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/nontermin/AG01/#4.21
0.03
0.08
0.30
2.45
tpdb-4.0/TRS/nontermin/AG01/#4.22
0.03
0.03
0.04
0.03
tpdb-4.0/TRS/nontermin/AG01/#4.23
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/AG01/#4.25
0.03
0.03
0.05
0.04
tpdb-4.0/TRS/nontermin/AG01/#4.26
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/AG01/#4.27
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/AG01/#4.28
0.05
0.19
1.37
8.48
tpdb-4.0/TRS/nontermin/AG01/#4.29
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/AG01/#4.3
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/AG01/#4.30
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/AG01/#4.30a
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/AG01/#4.30b
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/AG01/#4.30c
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/AG01/#4.31
0.04
0.09
0.22
0.58
tpdb-4.0/TRS/nontermin/AG01/#4.32
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/AG01/#4.33
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/AG01/#4.34
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/AG01/#4.35
0.04
0.03
0.04
0.04
tpdb-4.0/TRS/nontermin/AG01/#4.36
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/nontermin/AG01/#4.37
0.04
0.05
0.05
0.05
tpdb-4.0/TRS/nontermin/AG01/#4.37a
0.04
0.07
0.06
0.07
tpdb-4.0/TRS/nontermin/AG01/#4.4
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/AG01/#4.7
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/CSR/Ex14_AEGL02
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/CSR/Ex15_Luc98
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/CSR/Ex1_2_AEL03
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/CSR/Ex1_2_Luc02c
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/CSR/Ex1_GL02a
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/CSR/Ex1_GM03
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/CSR/Ex1_GM99
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/CSR/Ex1_Luc02b
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/nontermin/CSR/Ex1_Zan97
0.03
0.04
0.19
2.40
tpdb-4.0/TRS/nontermin/CSR/Ex24_GM04
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/CSR/Ex26_Luc03b
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/CSR/Ex2_Luc03b
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/CSR/Ex3_12_Luc96a
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/CSR/Ex3_2_Luc97
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/nontermin/CSR/Ex3_3_25_Bor03
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/CSR/Ex49_GM04
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/CSR/Ex4_4_Luc96b
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/CSR/Ex4_7_15_Bor03
0.05
0.61
8.76
60.02
tpdb-4.0/TRS/nontermin/CSR/Ex4_7_37_Bor03
0.03
0.03
0.05
0.04
tpdb-4.0/TRS/nontermin/CSR/Ex4_7_56_Bor03
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/CSR/Ex4_7_77_Bor03
0.03
0.04
0.06
0.09
tpdb-4.0/TRS/nontermin/CSR/Ex4_Zan97
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/CSR/Ex5_7_Luc97
0.03
0.03
0.06
0.03
tpdb-4.0/TRS/nontermin/CSR/Ex5_Zan97
0.03
0.05
0.09
0.15
tpdb-4.0/TRS/nontermin/CSR/Ex6_15_AEL02
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/CSR/Ex6_9_Luc02c
0.03
0.03
0.05
0.03
tpdb-4.0/TRS/nontermin/CSR/Ex6_GM04
0.03
0.04
0.06
0.10
tpdb-4.0/TRS/nontermin/CSR/Ex6_Luc98
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/CSR/Ex7_BLR02
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/CSR/Ex8_BLR02
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/CSR/Ex9_BLR02
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/CSR/ExAppendixB_AEL03
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/CSR/ExConc_Zan97
0.03
0.04
0.06
0.09
tpdb-4.0/TRS/nontermin/CSR/ExIntrod_GM01
0.04
0.08
0.17
0.49
tpdb-4.0/TRS/nontermin/CSR/ExIntrod_GM04
0.04
0.07
0.14
0.36
tpdb-4.0/TRS/nontermin/CSR/ExIntrod_GM99
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/CSR/ExIntrod_Zan97
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/HM/n001
0.04
0.24
5.25
60.02
tpdb-4.0/TRS/nontermin/Rubio-inn/bn111
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/Rubio-inn/gkg
0.03
0.03
0.04
0.06
tpdb-4.0/TRS/nontermin/Rubio-inn/muladd
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/Rubio-inn/test10
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/Rubio-inn/test75
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/Rubio-inn/test76
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/Rubio-inn/test77
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/Rubio-inn/test830
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/nontermin/Rubio-inn/test9
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/Rubio-inn/toyama
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/TRCSR/ExSec11_1_Luc02a
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/cariboo/ex1
0.03
0.04
0.06
0.11
tpdb-4.0/TRS/nontermin/cariboo/ex2
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/nontermin/cariboo/ex3
0.04
0.05
0.09
0.18
tpdb-4.0/TRS/nontermin/cariboo/ex4
0.03
0.04
0.06
0.26
tpdb-4.0/TRS/nontermin/cariboo/ex5
0.03
0.04
0.04
0.06
tpdb-4.0/TRS/nontermin/cariboo/ex6
0.04
0.06
0.11
0.23
tpdb-4.0/TRS/nontermin/cariboo/tricky1
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret05/aprove1
0.04
0.03
0.03
0.04
tpdb-4.0/TRS/secret05/aprove2
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/secret05/aprove3
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret05/aprove4
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret05/aprove5
0.04
0.03
0.03
0.04
tpdb-4.0/TRS/secret05/cime1
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/secret05/cime2
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret05/cime3
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/secret05/cime4
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret05/cime5
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/secret05/matchbox1
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret05/matchbox2
0.04
0.05
0.10
0.22
tpdb-4.0/TRS/secret05/teparla1
0.05
0.17
0.62
2.58
tpdb-4.0/TRS/secret05/teparla2
0.06
0.24
0.57
1.27
tpdb-4.0/TRS/secret05/teparla3
0.05
0.18
0.58
2.34
tpdb-4.0/TRS/secret05/tpa1
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret05/tpa2
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret05/tpa3
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret05/tpa4
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret05/tpa5
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret05/ttt1
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret05/ttt2
0.03
0.06
0.22
1.12
tpdb-4.0/TRS/secret06/aprove/addList
0.04
0.04
0.03
0.04
tpdb-4.0/TRS/secret06/aprove/divExp
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret06/aprove/division
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/secret06/aprove/double
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/secret06/aprove/logarithm
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/secret06/aprove/nrOfNodes
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret06/aprove/reverse
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/secret06/aprove/sumList
0.03
0.03
0.05
0.04
tpdb-4.0/TRS/secret06/aprove/times
0.04
0.03
0.05
0.04
tpdb-4.0/TRS/secret06/aprove/toList
0.04
0.03
0.03
0.04
tpdb-4.0/TRS/secret06/cime1
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/secret06/jambox/10
0.05
2.32
26.86
60.03
tpdb-4.0/TRS/secret06/jambox/2
0.06
5.78
60.02
60.02
tpdb-4.0/TRS/secret06/jambox/3
0.06
3.19
17.72
60.02
tpdb-4.0/TRS/secret06/jambox/4
0.05
0.45
22.63
60.02
tpdb-4.0/TRS/secret06/jambox/5
0.05
0.13
0.94
23.93
tpdb-4.0/TRS/secret06/jambox/6
0.08
0.47
60.02
60.02
tpdb-4.0/TRS/secret06/jambox/7
0.09
7.50
60.02
60.02
tpdb-4.0/TRS/secret06/jambox/8
0.13
1.00
6.99
60.02
tpdb-4.0/TRS/secret06/jambox/9
0.05
0.53
7.60
23.95
tpdb-4.0/TRS/secret06/matchbox/gen-1
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret06/matchbox/gen-10
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/secret06/matchbox/gen-14
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret06/matchbox/gen-15
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret06/matchbox/gen-17
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret06/matchbox/gen-18
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret06/matchbox/gen-22
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret06/matchbox/gen-25
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret06/matchbox/gen-28
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret06/matchbox/gen-9
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret06/tpa01
0.04
0.05
0.09
0.17
tpdb-4.0/TRS/secret06/tpa02
0.04
0.05
0.10
0.15
tpdb-4.0/TRS/secret06/tpa03
0.03
0.04
0.06
0.10
tpdb-4.0/TRS/secret06/tpa04
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret06/tpa05
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret06/tpa06
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret06/tpa07
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret06/tpa08
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/secret06/tpa09
0.03
0.04
0.03
0.03
tpdb-4.0/TRS/secret06/tpa10
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret07/TTT2/1
0.05
0.36
0.49
60.02
tpdb-4.0/TRS/secret07/TTT2/2
0.07
0.15
0.33
0.72
tpdb-4.0/TRS/secret07/TTT2/3
0.09
0.48
4.82
4.24
tpdb-4.0/TRS/secret07/TTT2/4
0.06
0.38
0.53
0.72
tpdb-4.0/TRS/secret07/TTT2/5
0.10
0.29
0.72
1.50
tpdb-4.0/TRS/secret07/TTT2/6
0.05
0.33
2.98
10.89
tpdb-4.0/TRS/secret07/TTT2/7
0.11
1.76
6.79
23.66
tpdb-4.0/TRS/secret07/aprove/aprove01
0.04
0.04
0.04
0.03
tpdb-4.0/TRS/secret07/aprove/aprove02
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret07/aprove/aprove03
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/secret07/aprove/aprove04
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/secret07/aprove/aprove05
0.04
0.03
0.03
0.04
tpdb-4.0/TRS/secret07/aprove/aprove06
0.04
0.04
0.03
0.03
tpdb-4.0/TRS/secret07/aprove/aprove07
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/secret07/aprove/aprove08
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/secret07/aprove/aprove09
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/secret07/aprove/aprove10
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret07/cime/1
0.04
0.04
0.03
0.03
tpdb-4.0/TRS/secret07/cime/2
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/secret07/cime/3
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/secret07/cime/4
0.04
0.03
0.03
0.03
tpdb-4.0/TRS/secret07/cime/5
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/secret07/others/dj
0.05
0.09
0.27
0.78
tpdb-4.0/TRS/various/02
0.03
0.03
0.03
0.04
tpdb-4.0/TRS/various/03
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/various/04
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/various/05
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/various/06
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/various/07
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/various/08
0.03
0.04
0.03
0.04
tpdb-4.0/TRS/various/09
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/various/10
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/various/11
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/various/12
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/various/13
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/various/14
0.04
0.04
0.04
0.04
tpdb-4.0/TRS/various/15
0.04
0.14
0.29
2.74
tpdb-4.0/TRS/various/18
0.04
0.08
0.19
0.58
tpdb-4.0/TRS/various/19
0.05
0.11
0.23
0.46
tpdb-4.0/TRS/various/20
0.05
1.13
14.32
60.02
tpdb-4.0/TRS/various/21
0.08
0.44
2.89
12.77
tpdb-4.0/TRS/various/22
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/various/23
0.04
0.04
0.04
0.05
tpdb-4.0/TRS/various/24
0.06
0.30
1.06
14.60
tpdb-4.0/TRS/various/25
0.03
0.05
0.04
0.05
tpdb-4.0/TRS/various/26
0.03
0.03
0.03
0.03
tpdb-4.0/TRS/various/27
0.03
0.03
0.03
0.03