ExamplededicatedSAT4JMiniSAT2PrecoSATglucose
TRS/AG01/#3.10.trsKILLED60MAYBE0.26MAYBE0.83MAYBE0.99MAYBE0.83
TRS/AG01/#3.12.trsMAYBE0.12MAYBE0.04MAYBE0.27MAYBE0.3MAYBE0.28
TRS/AG01/#3.13.trsKILLED60MAYBE0.19MAYBE0.32MAYBE0.72MAYBE0.28
TRS/AG01/#3.14.trsMAYBE0.07MAYBE0.03MAYBE0.15MAYBE0.22MAYBE0.17
TRS/AG01/#3.15.trsMAYBE0.03MAYBE0.02MAYBE0.08MAYBE0.15MAYBE0.08
TRS/AG01/#3.16.trsYES0.08YES0.03YES0.25YES0.33YES0.23
TRS/AG01/#3.17a.trsMAYBE3.59MAYBE0.1MAYBE0.46MAYBE0.95MAYBE0.53
TRS/AG01/#3.17.trsMAYBE0.97MAYBE0.06MAYBE0.4MAYBE0.73MAYBE0.42
TRS/AG01/#3.18.trsMAYBE0.26MAYBE0.03MAYBE0.24MAYBE0.38MAYBE0.23
TRS/AG01/#3.19.trsMAYBE0.34MAYBE0.04MAYBE0.23MAYBE0.49MAYBE0.28
TRS/AG01/#3.1.trsYES0.03YES0.02YES0.21YES0.23YES0.16
TRS/AG01/#3.21.trsMAYBE0.02MAYBE0.01MAYBE0.08MAYBE0.12MAYBE0.08
TRS/AG01/#3.22.trsMAYBE0.07MAYBE0.03MAYBE0.17MAYBE0.23MAYBE0.16
TRS/AG01/#3.23.trsYES0.01YES0.01YES0.07YES0.13YES0.08
TRS/AG01/#3.24.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.1MAYBE0.08
TRS/AG01/#3.26.trsMAYBE0.01MAYBE0.01MAYBE0.1MAYBE0.12MAYBE0.08
TRS/AG01/#3.29.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/AG01/#3.2.trsYES0.08YES0.02YES0.15YES0.28YES0.16
TRS/AG01/#3.31.trsYES0.01YES0.01YES0.07YES0.1YES0.08
TRS/AG01/#3.33.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/AG01/#3.35.trsMAYBE0.02MAYBE0.01MAYBE0.1MAYBE0.1MAYBE0.08
TRS/AG01/#3.36.trsMAYBE0.06MAYBE0.03MAYBE0.17MAYBE0.28MAYBE0.16
TRS/AG01/#3.37.trsYES0.02YES0.02YES0.11YES0.15YES0.08
TRS/AG01/#3.38.trsYES0.59YES0.03YES0.16YES0.33YES0.18
TRS/AG01/#3.39.trsMAYBE0.32MAYBE0.06MAYBE0.39MAYBE0.63MAYBE0.43
TRS/AG01/#3.40.trsMAYBE0.31MAYBE0.09MAYBE0.46MAYBE0.78MAYBE0.51
TRS/AG01/#3.41.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.09MAYBE0.08
TRS/AG01/#3.42.trsMAYBE0.17MAYBE0.04MAYBE0.28MAYBE0.41MAYBE0.25
TRS/AG01/#3.47.trsYES0.03YES0.02YES0.15YES0.24YES0.15
TRS/AG01/#3.48.trsYES0.29YES0.03YES0.16YES0.33YES0.17
TRS/AG01/#3.49.trsMAYBE0.34MAYBE0.02MAYBE0.1MAYBE0.27MAYBE0.09
TRS/AG01/#3.4.trsYES0.37YES0.03YES0.35YES0.61YES0.3
TRS/AG01/#3.51.trsYES0.04YES0.02YES0.08YES0.14YES0.09
TRS/AG01/#3.52.trsYES0.02YES0.01YES0.09YES0.16YES0.08
TRS/AG01/#3.53a.trsYES0.04YES0.01YES0.09YES0.1YES0.08
TRS/AG01/#3.53b.trsYES0.04YES0.02YES0.08YES0.16YES0.08
TRS/AG01/#3.53.trsKILLED60MAYBE0.15MAYBE0.79MAYBE1.43MAYBE0.85
TRS/AG01/#3.54.trsYES0.06YES0.02YES0.08YES0.14YES0.08
TRS/AG01/#3.55.trsKILLED60YES0.3YES1.0YES1.73YES1.02
TRS/AG01/#3.56.trsMAYBE0.13MAYBE0.05MAYBE0.15MAYBE0.32MAYBE0.16
TRS/AG01/#3.57.trsKILLED60MAYBE0.16MAYBE0.81MAYBE1.71MAYBE0.94
TRS/AG01/#3.5a.trsYES54.75YES0.04YES0.3YES0.51YES0.3
TRS/AG01/#3.5b.trsKILLED60YES0.1YES0.36YES0.66YES0.35
TRS/AG01/#3.5.trsYES13.6YES0.04YES0.3YES0.66YES0.3
TRS/AG01/#3.6a.trsMAYBE35.23MAYBE0.04MAYBE0.28MAYBE0.39MAYBE0.24
TRS/AG01/#3.6b.trsKILLED60MAYBE0.09MAYBE0.32MAYBE0.66MAYBE0.31
TRS/AG01/#3.6.trsKILLED60MAYBE0.04MAYBE0.27MAYBE0.39MAYBE0.24
TRS/AG01/#3.7.trsYES0.02YES0.02YES0.14YES0.21YES0.15
TRS/AG01/#3.8a.trsYES0.39YES0.04YES0.27YES0.44YES0.29
TRS/AG01/#3.8b.trsKILLED60YES0.09YES0.41YES0.76YES0.47
TRS/AG01/#4.30c.trsKILLED60MAYBE0.04MAYBE0.29MAYBE0.38MAYBE0.25
TRS/AProVE/AAECC-ring.trsKILLED60MAYBE1.13MAYBE1.44MAYBE2.99MAYBE1.72
TRS/AProVE/AAECC.trsKILLED60MAYBE0.44MAYBE1.02MAYBE2.03MAYBE1.07
TRS/AProVE/fac.trsMAYBE0.75MAYBE0.03MAYBE0.29MAYBE0.37MAYBE0.34
TRS/AProVE/forward_instantiation2.trsMAYBE0.34MAYBE0.01MAYBE0.07MAYBE0.12MAYBE0.08
TRS/AProVE/forward_instantiation.trsMAYBE0.28MAYBE0.01MAYBE0.07MAYBE0.09MAYBE0.08
TRS/AProVE/IJCAR_12.trsMAYBE9.24MAYBE0.03MAYBE0.28MAYBE0.38MAYBE0.26
TRS/AProVE/IJCAR_18.trsKILLED60MAYBE0.14MAYBE0.55MAYBE0.64MAYBE0.57
TRS/AProVE/IJCAR_1.trsMAYBE0.46MAYBE0.02MAYBE0.08MAYBE0.15MAYBE0.08
TRS/AProVE/IJCAR_26a.trsKILLED60MAYBE0.1MAYBE0.57MAYBE0.59MAYBE0.57
TRS/AProVE/IJCAR_26.trsKILLED60MAYBE0.1MAYBE0.51MAYBE0.87MAYBE0.56
TRS/AProVE/improved_usable2.trsMAYBE0.03MAYBE0.01MAYBE0.14MAYBE0.19MAYBE0.15
TRS/AProVE/improved_usable.trsMAYBE0.03MAYBE0.01MAYBE0.14MAYBE0.25MAYBE0.15
TRS/AProVE/JFP_Ex31.trsMAYBE4.87MAYBE0.11MAYBE0.53MAYBE1.09MAYBE0.63
TRS/AProVE/JFP_Ex51.trsKILLED60MAYBE0.08MAYBE0.33MAYBE0.62MAYBE0.27
TRS/AProVE/Liveness6.1.trsMAYBE0.19MAYBE0.04MAYBE0.54MAYBE0.77MAYBE0.58
TRS/AProVE/Liveness6.2.trsMAYBE0.2MAYBE0.03MAYBE0.37MAYBE0.62MAYBE0.24
TRS/AProVE/Liveness6.3.trsMAYBE1.08MAYBE0.22MAYBE1.01MAYBE1.65MAYBE1.21
TRS/AProVE/Liveness6.4.trsMAYBE12.52MAYBE0.09MAYBE0.5MAYBE0.99MAYBE0.52
TRS/AProVE/Liveness8.trsKILLED60MAYBE0.15MAYBE0.88MAYBE1.47MAYBE0.99
TRS/AProVE/Liveness_WRS.trsMAYBE7.39MAYBE0.16MAYBE0.45MAYBE1.25MAYBE0.67
TRS/AProVE/LPAR_intlist.trsMAYBE0.17MAYBE0.03MAYBE0.16MAYBE0.31MAYBE0.17
TRS/AProVE/rta1.trsMAYBE0.15MAYBE0.02MAYBE0.16MAYBE0.37MAYBE0.17
TRS/AProVE/rta2.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.1MAYBE0.08
TRS/AProVE/rta3.trsMAYBE0.16MAYBE0.02MAYBE0.08MAYBE0.14MAYBE0.08
TRS/aprove08/id_inc.trsMAYBE0.38MAYBE0.03MAYBE0.16MAYBE0.43MAYBE0.16
TRS/aprove08/log.trsMAYBE1.57MAYBE0.04MAYBE0.29MAYBE0.44MAYBE0.26
TRS/aprove08/parting01_reverse.trsKILLED60MAYBE0.05MAYBE0.38MAYBE0.4MAYBE0.4
TRS/aprove08/parting02_doublelist.trsKILLED60MAYBE0.06MAYBE0.39MAYBE0.65MAYBE0.37
TRS/aprove08/parting03_minsort.trsKILLED60MAYBE0.06MAYBE0.45MAYBE0.82MAYBE0.5
TRS/aprove08/parting04_maxsort_h.trsKILLED60MAYBE0.09MAYBE0.64MAYBE0.67MAYBE0.67
TRS/aprove08/parting05_maxsort.trsKILLED60MAYBE0.07MAYBE0.43MAYBE0.76MAYBE0.52
TRS/aprove08/round_nonterm.trsMAYBE0.09MAYBE0.02MAYBE0.2MAYBE0.2MAYBE0.15
TRS/aprove08/round.trsMAYBE0.04MAYBE0.02MAYBE0.14MAYBE0.2MAYBE0.15
TRS/aprove08/thiemann40_modified.trsKILLED60MAYBE0.03MAYBE0.15MAYBE0.27MAYBE0.16
TRS/Beerendonk/10.trsKILLED60MAYBE0.06MAYBE0.27MAYBE0.51MAYBE0.31
TRS/Beerendonk/11.trsKILLED60MAYBE0.06MAYBE0.26MAYBE0.49MAYBE0.27
TRS/Beerendonk/12.trsKILLED60MAYBE0.03MAYBE0.18MAYBE0.29MAYBE0.18
TRS/Beerendonk/13.trsMAYBE33.46MAYBE0.04MAYBE0.16MAYBE0.32MAYBE0.17
TRS/Beerendonk/14.trsKILLED60MAYBE0.04MAYBE0.25MAYBE0.44MAYBE0.3
TRS/Beerendonk/15.trsKILLED60MAYBE0.07MAYBE0.3MAYBE0.62MAYBE0.32
TRS/Beerendonk/16.trsKILLED60MAYBE0.11MAYBE0.29MAYBE0.74MAYBE0.33
TRS/Beerendonk/17.trsKILLED60MAYBE0.08MAYBE0.41MAYBE0.86MAYBE0.47
TRS/Beerendonk/18.trsKILLED60MAYBE0.08MAYBE0.19MAYBE0.49MAYBE0.23
TRS/Beerendonk/19.trsKILLED60MAYBE0.08MAYBE0.18MAYBE0.45MAYBE0.19
TRS/Beerendonk/1.trsMAYBE0.34MAYBE0.02MAYBE0.15MAYBE0.23MAYBE0.16
TRS/Beerendonk/20.trsKILLED60MAYBE0.08MAYBE0.28MAYBE0.56MAYBE0.3
TRS/Beerendonk/21.trsKILLED60MAYBE0.08MAYBE0.28MAYBE0.69MAYBE0.3
TRS/Beerendonk/22.trsKILLED60MAYBE0.04MAYBE0.17MAYBE0.33MAYBE0.19
TRS/Beerendonk/23.trsKILLED60MAYBE0.04MAYBE0.19MAYBE0.39MAYBE0.18
TRS/Beerendonk/24.trsKILLED60MAYBE0.09MAYBE0.2MAYBE0.48MAYBE0.25
TRS/Beerendonk/2.trsMAYBE0.41MAYBE0.02MAYBE0.15MAYBE0.23MAYBE0.16
TRS/Beerendonk/3.trsMAYBE0.6MAYBE0.03MAYBE0.22MAYBE0.55MAYBE0.26
TRS/Beerendonk/4.trsMAYBE0.04MAYBE0.02MAYBE0.15MAYBE0.28MAYBE0.15
TRS/Beerendonk/5.trsMAYBE2.26MAYBE0.03MAYBE0.16MAYBE0.28MAYBE0.17
TRS/Beerendonk/6.trsMAYBE0.04MAYBE0.01MAYBE0.2MAYBE0.26MAYBE0.15
TRS/Beerendonk/7.trsMAYBE0.06MAYBE0.02MAYBE0.15MAYBE0.21MAYBE0.15
TRS/Beerendonk/8.trsMAYBE2.1MAYBE0.03MAYBE0.16MAYBE0.3MAYBE0.17
TRS/Beerendonk/9.trsMAYBE6.47MAYBE0.02MAYBE0.16MAYBE0.31MAYBE0.17
TRS/Cime/ack_prolog.trsYES0.48YES0.03YES0.16YES0.39YES0.18
TRS/Cime/append-hard.trsMAYBE13.49MAYBE0.01MAYBE0.08MAYBE0.1MAYBE0.08
TRS/Cime/append.trsMAYBE18.01MAYBE0.01MAYBE0.08MAYBE0.12MAYBE0.08
TRS/Cime/append-wrong.trsMAYBE20.79MAYBE0.01MAYBE0.08MAYBE0.11MAYBE0.08
TRS/Cime/big.trsKILLED60MAYBE1.31MAYBE2.5MAYBE2.52MAYBE2.26
TRS/Cime/boolean_rings.trsYES10.37YES0.02YES0.08YES0.15YES0.09
TRS/Cime/dpqs.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/Cime/fact-hard.trsKILLED60MAYBE0.06MAYBE0.48MAYBE0.69MAYBE0.41
TRS/Cime/filliatre2.trsKILLED60MAYBE0.05MAYBE0.15MAYBE0.35MAYBE0.11
TRS/Cime/filliatre3.trsKILLED60MAYBE0.1MAYBE0.22MAYBE0.57MAYBE0.24
TRS/Cime/filliatre.trsKILLED60MAYBE0.04MAYBE0.1MAYBE0.35MAYBE0.1
TRS/Cime/intersect.trsKILLED60MAYBE0.08MAYBE0.4MAYBE0.67MAYBE0.42
TRS/Cime/list-sum-prod-assoc-append.trsKILLED60MAYBE0.07MAYBE0.53MAYBE0.54MAYBE0.42
TRS/Cime/list-sum-prod-assoc.trsMAYBE4.78MAYBE0.04MAYBE0.4MAYBE0.51MAYBE0.38
TRS/Cime/list-sum-prod-bin-assoc-distr-app.trsKILLED60MAYBE0.12MAYBE0.57MAYBE0.61MAYBE0.56
TRS/Cime/list-sum-prod-bin-assoc.trsMAYBE18.43MAYBE0.06MAYBE0.34MAYBE0.54MAYBE0.44
TRS/Cime/list-sum-prod-bin.trsMAYBE23.24MAYBE0.06MAYBE0.41MAYBE0.55MAYBE0.42
TRS/Cime/list-sum-prod.trsYES2.88YES0.04YES0.36YES0.61YES0.42
TRS/Cime/log2.trsKILLED60MAYBE0.1MAYBE0.59MAYBE0.63MAYBE0.58
TRS/Cime/lse.trsKILLED60MAYBE0.08MAYBE0.37MAYBE0.52MAYBE0.35
TRS/Cime/maude2.trsKILLED60MAYBE0.27MAYBE0.81MAYBE1.39MAYBE0.82
TRS/Cime/mucrl1.trsKILLED60MAYBE4.01MAYBE4.58MAYBE4.75MAYBE5.18
TRS/Cime/quick.trsKILLED60MAYBE0.2MAYBE0.36MAYBE0.73MAYBE0.31
TRS/Cime/ternary-hard.trsMAYBE19.93MAYBE0.08MAYBE0.35MAYBE0.46MAYBE0.37
TRS/Cime/ternary.trsMAYBE20.45MAYBE0.07MAYBE0.38MAYBE0.4MAYBE0.35
TRS/Cime/tree.trsKILLED60MAYBE0.64MAYBE1.28MAYBE1.41MAYBE1.3
TRS/CSR/Ex1_Luc04b_GM.trsKILLED60MAYBE0.04MAYBE0.1MAYBE0.3MAYBE0.1
TRS/currying/AG01/#3.10.trsKILLED60MAYBE1.2MAYBE1.91MAYBE2.78MAYBE2.24
TRS/currying/AG01/#3.13.trsMAYBE37.33MAYBE1.08MAYBE1.19MAYBE1.55MAYBE1.52
TRS/currying/AG01/#3.16.trsMAYBE0.55MAYBE0.14MAYBE0.49MAYBE0.55MAYBE0.46
TRS/currying/AG01/#3.18.trsMAYBE0.13MAYBE0.19MAYBE0.7MAYBE0.75MAYBE0.67
TRS/currying/AG01/#3.22.trsMAYBE0.15MAYBE0.22MAYBE0.57MAYBE0.66MAYBE0.58
TRS/currying/AG01/#3.25.trsMAYBE0.82MAYBE0.08MAYBE0.24MAYBE0.68MAYBE0.28
TRS/currying/AG01/#3.27.trsMAYBE0.69MAYBE0.1MAYBE0.22MAYBE0.65MAYBE0.25
TRS/currying/AG01/#3.2.trsMAYBE0.37MAYBE0.12MAYBE0.49MAYBE0.54MAYBE0.49
TRS/currying/AG01/#3.32.trsMAYBE0.22MAYBE0.07MAYBE0.12MAYBE0.38MAYBE0.13
TRS/currying/AG01/#3.36.trsMAYBE0.14MAYBE0.17MAYBE0.49MAYBE0.54MAYBE0.45
TRS/currying/AG01/#3.38.trsMAYBE1.8MAYBE0.31MAYBE0.55MAYBE0.95MAYBE0.47
TRS/currying/AG01/#3.40.trsMAYBE1.6MAYBE0.46MAYBE0.99MAYBE1.33MAYBE1.0
TRS/currying/AG01/#3.45.trsMAYBE0.06MAYBE0.14MAYBE0.47MAYBE0.71MAYBE0.48
TRS/currying/AG01/#3.48.trsMAYBE0.12MAYBE0.26MAYBE0.46MAYBE1.1MAYBE0.59
TRS/currying/AG01/#3.52.trsMAYBE0.5MAYBE0.12MAYBE0.29MAYBE0.93MAYBE0.3
TRS/currying/AG01/#3.55.trsMAYBE0.54MAYBE1.04MAYBE2.07MAYBE2.5MAYBE2.18
TRS/currying/AG01/#3.57.trsMAYBE0.28MAYBE0.92MAYBE1.55MAYBE1.77MAYBE1.72
TRS/currying/AG01/#3.6.trsMAYBE12.92MAYBE0.28MAYBE0.79MAYBE1.08MAYBE0.78
TRS/currying/AG01/#3.8.trsMAYBE0.11MAYBE0.23MAYBE0.73MAYBE0.68MAYBE0.66
TRS/currying/D33/01.trsMAYBE1.56MAYBE0.04MAYBE0.14MAYBE0.2MAYBE0.12
TRS/currying/D33/02.trsMAYBE1.21MAYBE0.04MAYBE0.12MAYBE0.17MAYBE0.12
TRS/currying/D33/06.trsMAYBE0.05MAYBE0.08MAYBE0.26MAYBE0.65MAYBE0.23
TRS/currying/D33/08.trsMAYBE0.1MAYBE0.15MAYBE0.29MAYBE0.95MAYBE0.36
TRS/currying/D33/11.trsMAYBE0.32MAYBE0.37MAYBE0.47MAYBE2.32MAYBE0.53
TRS/currying/D33/12.trsMAYBE10.68MAYBE0.13MAYBE0.41MAYBE0.58MAYBE0.51
TRS/currying/D33/13.trsMAYBE0.84MAYBE0.24MAYBE0.6MAYBE1.08MAYBE0.51
TRS/currying/D33/17.trsMAYBE2.03MAYBE0.13MAYBE0.44MAYBE0.52MAYBE0.45
TRS/currying/D33/18.trsMAYBE0.42MAYBE0.09MAYBE0.3MAYBE0.87MAYBE0.24
TRS/currying/D33/21.trsMAYBE0.11MAYBE0.16MAYBE0.55MAYBE0.72MAYBE0.62
TRS/currying/D33/29.trsMAYBE0.05MAYBE0.12MAYBE0.33MAYBE0.89MAYBE0.29
TRS/currying/D33/30.trsMAYBE0.92MAYBE0.21MAYBE0.31MAYBE1.29MAYBE0.42
TRS/currying/D33/31.trsMAYBE0.96MAYBE0.19MAYBE0.36MAYBE1.16MAYBE0.31
TRS/currying/D33/33.trsMAYBE1.31MAYBE0.5MAYBE0.99MAYBE2.79MAYBE0.82
TRS/currying/Ste92/hydra.trsMAYBE51.25MAYBE0.13MAYBE0.33MAYBE0.44MAYBE0.3
TRS/currying/Ste92/minsort.trsMAYBE0.26MAYBE0.54MAYBE1.35MAYBE1.41MAYBE1.29
TRS/currying/Ste92/motivation.trsMAYBE0.07MAYBE0.13MAYBE0.32MAYBE0.87MAYBE0.31
TRS/currying/Ste92/perfect2.trsMAYBE0.29MAYBE0.4MAYBE1.0MAYBE1.07MAYBE0.91
TRS/currying/Ste92/perfect.trsMAYBE0.14MAYBE0.32MAYBE0.44MAYBE1.88MAYBE0.45
TRS/D33/01.trsYES0.04YES0.01YES0.01YES0.01YES0.01
TRS/D33/02.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/D33/03.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/D33/04.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.13MAYBE0.08
TRS/D33/06.trsYES0.01YES0.01YES0.07YES0.1YES0.08
TRS/D33/07.trsYES0.02YES0.02YES0.22YES0.38YES0.23
TRS/D33/08.trsYES0.08YES0.02YES0.08YES0.19YES0.09
TRS/D33/09.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.12MAYBE0.08
TRS/D33/11.trsKILLED60YES0.08YES0.2YES0.73YES0.22
TRS/D33/12.trsYES0.05YES0.02YES0.22YES0.38YES0.17
TRS/D33/13.trsMAYBE0.05MAYBE0.02MAYBE0.16MAYBE0.22MAYBE0.16
TRS/D33/17.trsMAYBE0.06MAYBE0.01MAYBE0.15MAYBE0.24MAYBE0.15
TRS/D33/18.trsYES0.01YES0.01YES0.1YES0.12YES0.08
TRS/D33/20.trsMAYBE0.09MAYBE0.02MAYBE0.08MAYBE0.2MAYBE0.09
TRS/D33/21.trsMAYBE0.54MAYBE0.02MAYBE0.23MAYBE0.27MAYBE0.23
TRS/D33/27.trsYES0.03YES0.01YES0.07YES0.13YES0.08
TRS/D33/28.trsMAYBE0.02MAYBE0.01MAYBE0.08MAYBE0.17MAYBE0.08
TRS/D33/30.trsMAYBE0.05MAYBE0.02MAYBE0.09MAYBE0.22MAYBE0.09
TRS/D33/31.trsMAYBE0.31MAYBE0.02MAYBE0.08MAYBE0.11MAYBE0.08
TRS/D33/32.trsMAYBE19.45MAYBE0.03MAYBE0.17MAYBE0.35MAYBE0.17
TRS/D33/33.trsMAYBE0.67MAYBE0.06MAYBE0.34MAYBE0.69MAYBE0.45
TRS/Endrullis/direct.trsMAYBE0.04MAYBE0.01MAYBE0.08MAYBE0.18MAYBE0.08
TRS/Endrullis/labeling.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/Endrullis/linear1.trsMAYBE0.02MAYBE0.01MAYBE0.08MAYBE0.14MAYBE0.08
TRS/Endrullis/linear2.trsMAYBE0.1MAYBE0.04MAYBE0.18MAYBE0.51MAYBE0.18
TRS/Endrullis/pair2hard.trsMAYBE0.03MAYBE0.03MAYBE0.24MAYBE0.48MAYBE0.27
TRS/Endrullis/pair2simple1.trsYES0.02YES0.02YES0.16YES0.44YES0.2
TRS/Endrullis/pair2simple2.trsYES0.02YES0.03YES0.16YES0.27YES0.19
TRS/Endrullis/pair3hard.trsMAYBE0.02MAYBE0.02MAYBE0.15MAYBE0.33MAYBE0.19
TRS/Endrullis/pair3rotate.trsMAYBE0.05MAYBE0.03MAYBE0.16MAYBE0.31MAYBE0.18
TRS/Endrullis/pair3swap.trsMAYBE0.05MAYBE0.03MAYBE0.16MAYBE0.37MAYBE0.17
TRS/Endrullis/quadruple1.trsMAYBE0.06MAYBE0.02MAYBE0.12MAYBE0.22MAYBE0.09
TRS/Endrullis/quadruple2.trsMAYBE0.05MAYBE0.01MAYBE0.08MAYBE0.14MAYBE0.08
TRS/higher-order/AotoYam/001.trsMAYBE0.02MAYBE0.01MAYBE0.08MAYBE0.16MAYBE0.08
TRS/higher-order/AotoYam/002.trsYES0.04YES0.04YES0.11YES0.46YES0.13
TRS/higher-order/AotoYam/003.trsMAYBE0.03MAYBE0.02MAYBE0.09MAYBE0.13MAYBE0.09
TRS/higher-order/AotoYam/004.trsMAYBE0.09MAYBE0.03MAYBE0.17MAYBE0.24MAYBE0.18
TRS/higher-order/AotoYam/005.trsMAYBE0.03MAYBE0.02MAYBE0.16MAYBE0.26MAYBE0.16
TRS/higher-order/AotoYam/006.trsMAYBE0.12MAYBE0.05MAYBE0.22MAYBE0.51MAYBE0.21
TRS/higher-order/AotoYam/007.trsMAYBE0.08MAYBE0.04MAYBE0.19MAYBE0.28MAYBE0.18
TRS/higher-order/AotoYam/009.trsYES0.21YES0.08YES0.38YES1.1YES0.41
TRS/higher-order/AotoYam/010.trsMAYBE0.17MAYBE0.08MAYBE0.35MAYBE0.46MAYBE0.36
TRS/higher-order/AotoYam/011.trsMAYBE0.09MAYBE0.04MAYBE0.19MAYBE0.26MAYBE0.23
TRS/higher-order/AotoYam/012.trsYES0.19YES0.09YES0.35YES0.84YES0.41
TRS/higher-order/AotoYam/013.trsMAYBE0.2MAYBE0.06MAYBE0.26MAYBE0.3MAYBE0.24
TRS/higher-order/AotoYam/014.trsMAYBE0.14MAYBE0.06MAYBE0.34MAYBE0.44MAYBE0.38
TRS/higher-order/AotoYam/015.trsMAYBE0.03MAYBE0.02MAYBE0.09MAYBE0.12MAYBE0.1
TRS/higher-order/AotoYam/016.trsYES0.54YES0.12YES0.34YES1.25YES0.5
TRS/higher-order/AotoYam/017.trsYES0.01YES0.01YES0.08YES0.12YES0.08
TRS/higher-order/AotoYam/019.trsMAYBE0.01MAYBE0.01MAYBE0.11MAYBE0.13MAYBE0.08
TRS/higher-order/AotoYam/020.trsMAYBE0.09MAYBE0.05MAYBE0.31MAYBE0.34MAYBE0.3
TRS/higher-order/AotoYam/021.trsMAYBE0.24MAYBE0.12MAYBE0.42MAYBE0.72MAYBE0.54
TRS/higher-order/AotoYam/022.trsMAYBE0.17MAYBE0.07MAYBE0.3MAYBE0.7MAYBE0.23
TRS/higher-order/AotoYam/023.trsMAYBE0.01MAYBE0.01MAYBE0.11MAYBE0.13MAYBE0.08
TRS/higher-order/AotoYam/024.trsYES0.02YES0.03YES0.17YES0.44YES0.2
TRS/higher-order/AotoYam/025.trsYES0.01YES0.01YES0.07YES0.13YES0.08
TRS/higher-order/AotoYam/026.trsMAYBE0.07MAYBE0.02MAYBE0.09MAYBE0.11MAYBE0.1
TRS/higher-order/AotoYam/027.trsMAYBE0.11MAYBE0.06MAYBE0.31MAYBE0.49MAYBE0.32
TRS/higher-order/AotoYam/028.trsYES0.06YES0.04YES0.18YES0.42YES0.22
TRS/higher-order/AotoYam/Ex1SimplyTyped.trsMAYBE0.18MAYBE0.04MAYBE0.17MAYBE0.28MAYBE0.18
TRS/higher-order/AotoYam/Ex5TermProof.trsMAYBE0.05MAYBE0.06MAYBE0.31MAYBE0.39MAYBE0.35
TRS/higher-order/AProVE_HO/mapDivMinusHard.trsMAYBE0.06MAYBE0.07MAYBE0.31MAYBE0.47MAYBE0.42
TRS/higher-order/AProVE_HO/mapDivMinus.trsMAYBE0.15MAYBE0.06MAYBE0.28MAYBE0.27MAYBE0.36
TRS/higher-order/AProVE_HO/nonTermF.trsMAYBE0.02MAYBE0.02MAYBE0.09MAYBE0.15MAYBE0.1
TRS/higher-order/AProVE_HO/ReverseLastInit.trsMAYBE0.08MAYBE0.03MAYBE0.17MAYBE0.23MAYBE0.18
TRS/higher-order/AProVE_HO/TakeDropWhile.trsMAYBE0.04MAYBE0.03MAYBE0.11MAYBE0.16MAYBE0.11
TRS/higher-order/AProVE_HO/termMonTypes.trsMAYBE0.02MAYBE0.02MAYBE0.08MAYBE0.12MAYBE0.09
TRS/higher-order/AProVE_HO/TypeEx1.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/higher-order/AProVE_HO/TypeEx3.trsMAYBE0.02MAYBE0.03MAYBE0.1MAYBE0.36MAYBE0.1
TRS/higher-order/AProVE_HO/TypeEx5.trsMAYBE0.02MAYBE0.01MAYBE0.07MAYBE0.13MAYBE0.08
TRS/higher-order/Bird/BTreeMember.trsYES6.34YES0.03YES0.21YES0.42YES0.19
TRS/higher-order/Bird/Ex2_6_1Composition.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.1MAYBE0.08
TRS/higher-order/Bird/Ex2_8_1ConstSubstFix.trsMAYBE0.01MAYBE0.02MAYBE0.08MAYBE0.13MAYBE0.09
TRS/higher-order/Bird/Hamming.trsMAYBE0.35MAYBE0.53MAYBE1.4MAYBE1.22MAYBE1.29
TRS/higher-order/Bird/TreeFlatten.trsMAYBE0.21MAYBE0.09MAYBE0.31MAYBE0.48MAYBE0.36
TRS/higher-order/Bird/TreeHeight.trsMAYBE0.24MAYBE0.09MAYBE0.32MAYBE0.33MAYBE0.39
TRS/higher-order/Bird/TreeLevels.trsMAYBE0.55MAYBE0.2MAYBE0.5MAYBE0.74MAYBE0.7
TRS/higher-order/Bird/TreeMap.trsMAYBE0.1MAYBE0.03MAYBE0.1MAYBE0.38MAYBE0.1
TRS/higher-order/Bird/TreeSize.trsMAYBE0.27MAYBE0.08MAYBE0.3MAYBE0.83MAYBE0.35
TRS/higher-order/Kusakari/Ex6_11.trsMAYBE0.01MAYBE0.02MAYBE0.08MAYBE0.11MAYBE0.09
TRS/higher-order/Kusakari/Ex7_9.trsMAYBE0.1MAYBE0.22MAYBE0.78MAYBE0.87MAYBE0.74
TRS/higher-order/Lifantsev/Ex10Functional.trsMAYBE0.27MAYBE0.05MAYBE0.15MAYBE0.2MAYBE0.13
TRS/higher-order/Lifantsev/Ex2PrimRec.trsMAYBE0.02MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.09
TRS/higher-order/Lifantsev/Ex3Lists.trsMAYBE0.17MAYBE0.07MAYBE0.26MAYBE0.33MAYBE0.24
TRS/higher-order/Lifantsev/Ex4MapList.trsMAYBE0.04MAYBE0.02MAYBE0.09MAYBE0.15MAYBE0.09
TRS/higher-order/Lifantsev/Ex5Sorting.trsMAYBE0.42MAYBE0.19MAYBE0.54MAYBE0.66MAYBE0.44
TRS/higher-order/Lifantsev/Ex6Folding.trsMAYBE0.04MAYBE0.02MAYBE0.09MAYBE0.14MAYBE0.1
TRS/higher-order/Lifantsev/Ex7OrdinalRec.trsMAYBE0.14MAYBE0.04MAYBE0.12MAYBE0.15MAYBE0.13
TRS/higher-order/Lifantsev/Ex8Polymorphic.trsMAYBE0.08MAYBE0.03MAYBE0.11MAYBE0.18MAYBE0.12
TRS/higher-order/Lifantsev/Ex9Maps.trsMAYBE0.27MAYBE0.07MAYBE0.15MAYBE0.61MAYBE0.15
TRS/higher-order/ToyamaRTA04/Ex5Folding.trsMAYBE0.13MAYBE0.06MAYBE0.28MAYBE0.44MAYBE0.36
TRS/higher-order/ToyamaRTA04/Ex6Recursor.trsMAYBE0.02MAYBE0.02MAYBE0.09MAYBE0.11MAYBE0.09
TRS/higher-order/ToyamaRTA04/Ex7Sorting.trsMAYBE0.5MAYBE0.19MAYBE0.53MAYBE0.6MAYBE0.51
TRS/HM/n002.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.08MAYBE0.07
TRS/HM/n003.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.12MAYBE0.07
TRS/HM/n004.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.08MAYBE0.07
TRS/HM/n005.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.12MAYBE0.07
TRS/HM/n006.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.09MAYBE0.07
TRS/HM/n007.trsMAYBE0.01MAYBE0.02MAYBE0.07MAYBE0.12MAYBE0.08
TRS/HM/n008.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.08MAYBE0.07
TRS/HM/t000.trsKILLED60MAYBE0.09MAYBE0.17MAYBE0.35MAYBE0.18
TRS/HM/t001.trsKILLED60MAYBE0.05MAYBE0.4MAYBE0.52MAYBE0.49
TRS/HM/t002.trsMAYBE9.4MAYBE0.03MAYBE0.25MAYBE0.37MAYBE0.25
TRS/HM/t003.trsKILLED60MAYBE0.04MAYBE0.25MAYBE0.38MAYBE0.26
TRS/HM/t004.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.12MAYBE0.08
TRS/HM/t005.trsMAYBE30.54MAYBE0.19MAYBE0.31MAYBE0.72MAYBE0.4
TRS/HM/t006.trsYES0.01YES0.01YES0.08YES0.14YES0.08
TRS/HM/t007.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/HM/t008.trsMAYBE0.01MAYBE0.01MAYBE0.14MAYBE0.17MAYBE0.15
TRS/HM/t009.trsKILLED60MAYBE1.01MAYBE1.31MAYBE4.29MAYBE1.89
TRS/HM/t010.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/HM/t011.trsYES0.07YES0.01YES0.08YES0.08YES0.08
TRS/HM/t012.trsMAYBE0.17MAYBE0.03MAYBE0.16MAYBE0.34MAYBE0.17
TRS/HM/t013.trsMAYBE0.11MAYBE0.02MAYBE0.16MAYBE0.25MAYBE0.16
TRS/HM/t014.trsYES2.83YES0.03YES0.26YES0.46YES0.29
TRS/HofWald/1.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.11MAYBE0.08
TRS/HofWald/2.trsMAYBE0.02MAYBE0.01MAYBE0.08MAYBE0.17MAYBE0.08
TRS/HofWald/3.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.09MAYBE0.08
TRS/HofWald/4.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.09
TRS/HofWald/5.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.09MAYBE0.08
TRS/HofWald/6.trsMAYBE0.02MAYBE0.01MAYBE0.09MAYBE0.13MAYBE0.08
TRS/HofWald/7.trsMAYBE0.03MAYBE0.02MAYBE0.08MAYBE0.12MAYBE0.09
TRS/Koprowski/gcd_triple.trsMAYBE19.41MAYBE0.05MAYBE0.32MAYBE0.52MAYBE0.41
TRS/LJB01/jones1.trsMAYBE0.04MAYBE0.01MAYBE0.07MAYBE0.12MAYBE0.08
TRS/LJB01/jones2.trsMAYBE0.4MAYBE0.01MAYBE0.08MAYBE0.12MAYBE0.08
TRS/LJB01/jones4.trsYES0.01YES0.02YES0.08YES0.16YES0.09
TRS/LJB01/jones5.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.09MAYBE0.08
TRS/LJB01/jones6.trsMAYBE0.13MAYBE0.02MAYBE0.16MAYBE0.25MAYBE0.15
TRS/nontermin/AG01/#4.12a.trsMAYBE0.56MAYBE0.01MAYBE0.07MAYBE0.09MAYBE0.08
TRS/nontermin/AG01/#4.13.trsMAYBE0.05MAYBE0.01MAYBE0.07MAYBE0.12MAYBE0.08
TRS/nontermin/AG01/#4.14.trsMAYBE0.03MAYBE0.02MAYBE0.14MAYBE0.19MAYBE0.15
TRS/nontermin/AG01/#4.15.trsMAYBE1.03MAYBE0.02MAYBE0.16MAYBE0.29MAYBE0.16
TRS/nontermin/AG01/#4.16.trsMAYBE0.01MAYBE0.01MAYBE0.14MAYBE0.19MAYBE0.17
TRS/nontermin/AG01/#4.17.trsMAYBE0.04MAYBE0.02MAYBE0.17MAYBE0.27MAYBE0.16
TRS/nontermin/AG01/#4.18.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.11MAYBE0.08
TRS/nontermin/AG01/#4.19.trsMAYBE0.69MAYBE0.02MAYBE0.15MAYBE0.32MAYBE0.16
TRS/nontermin/AG01/#4.20a.trsYES0.01YES0.01YES0.07YES0.1YES0.08
TRS/nontermin/AG01/#4.20.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/nontermin/AG01/#4.21.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/nontermin/AG01/#4.22.trsMAYBE0.05MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.09
TRS/nontermin/AG01/#4.23.trsMAYBE0.21MAYBE0.02MAYBE0.16MAYBE0.32MAYBE0.16
TRS/nontermin/AG01/#4.25.trsMAYBE0.02MAYBE0.01MAYBE0.09MAYBE0.09MAYBE0.08
TRS/nontermin/AG01/#4.26.trsMAYBE6.36MAYBE0.02MAYBE0.15MAYBE0.28MAYBE0.16
TRS/nontermin/AG01/#4.27.trsMAYBE1.92MAYBE0.02MAYBE0.15MAYBE0.19MAYBE0.16
TRS/nontermin/AG01/#4.28.trsMAYBE0.01MAYBE0.01MAYBE0.15MAYBE0.24MAYBE0.15
TRS/nontermin/AG01/#4.29.trsKILLED60MAYBE0.06MAYBE0.45MAYBE0.55MAYBE0.38
TRS/nontermin/AG01/#4.2.trsMAYBE0.03MAYBE0.01MAYBE0.15MAYBE0.26MAYBE0.15
TRS/nontermin/AG01/#4.30a.trsMAYBE0.38MAYBE0.03MAYBE0.26MAYBE0.29MAYBE0.23
TRS/nontermin/AG01/#4.30b.trsMAYBE24.46MAYBE0.03MAYBE0.24MAYBE0.46MAYBE0.27
TRS/nontermin/AG01/#4.30c.trsMAYBE30.31MAYBE0.03MAYBE0.23MAYBE0.3MAYBE0.25
TRS/nontermin/AG01/#4.30.trsMAYBE18.44MAYBE0.03MAYBE0.25MAYBE0.43MAYBE0.27
TRS/nontermin/AG01/#4.31.trsMAYBE0.03MAYBE0.01MAYBE0.08MAYBE0.12MAYBE0.08
TRS/nontermin/AG01/#4.32.trsYES0.02YES0.02YES0.15YES0.3YES0.16
TRS/nontermin/AG01/#4.33.trsMAYBE0.24MAYBE0.04MAYBE0.35MAYBE0.59MAYBE0.29
TRS/nontermin/AG01/#4.34.trsMAYBE0.31MAYBE0.02MAYBE0.18MAYBE0.28MAYBE0.16
TRS/nontermin/AG01/#4.35.trsKILLED60MAYBE0.09MAYBE0.34MAYBE0.74MAYBE0.28
TRS/nontermin/AG01/#4.36.trsKILLED60MAYBE0.2MAYBE0.64MAYBE1.21MAYBE0.66
TRS/nontermin/AG01/#4.37a.trsYES0.03YES0.02YES0.17YES0.28YES0.16
TRS/nontermin/AG01/#4.37.trsYES0.03YES0.02YES0.15YES0.29YES0.16
TRS/nontermin/AG01/#4.3.trsMAYBE0.04MAYBE0.01MAYBE0.07MAYBE0.09MAYBE0.08
TRS/nontermin/AG01/#4.4.trsMAYBE0.03MAYBE0.01MAYBE0.07MAYBE0.12MAYBE0.08
TRS/nontermin/AG01/#4.7.trsMAYBE0.02MAYBE0.01MAYBE0.07MAYBE0.09MAYBE0.08
TRS/nontermin/cariboo/ex1.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.12MAYBE0.08
TRS/nontermin/cariboo/ex2.trsMAYBE0.02MAYBE0.01MAYBE0.07MAYBE0.09MAYBE0.08
TRS/nontermin/cariboo/ex3.trsMAYBE0.03MAYBE0.01MAYBE0.14MAYBE0.25MAYBE0.15
TRS/nontermin/cariboo/ex4.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.09MAYBE0.08
TRS/nontermin/cariboo/ex5.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.12MAYBE0.07
TRS/nontermin/cariboo/ex6.trsMAYBE0.04MAYBE0.01MAYBE0.08MAYBE0.12MAYBE0.08
TRS/nontermin/cariboo/tricky1.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/nontermin/CSR/Ex1_2_AEL03.trsKILLED60MAYBE0.07MAYBE0.42MAYBE0.74MAYBE0.43
TRS/nontermin/CSR/Ex1_2_Luc02c.trsMAYBE0.02MAYBE0.01MAYBE0.07MAYBE0.12MAYBE0.08
TRS/nontermin/CSR/Ex14_AEGL02.trsMAYBE0.19MAYBE0.01MAYBE0.15MAYBE0.24MAYBE0.18
TRS/nontermin/CSR/Ex15_Luc98.trsKILLED60MAYBE0.03MAYBE0.23MAYBE0.37MAYBE0.27
TRS/nontermin/CSR/Ex1_GL02a.trsMAYBE5.5MAYBE0.03MAYBE0.41MAYBE0.51MAYBE0.38
TRS/nontermin/CSR/Ex1_GM03.trsMAYBE1.48MAYBE0.02MAYBE0.15MAYBE0.18MAYBE0.15
TRS/nontermin/CSR/Ex1_GM99.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.12MAYBE0.08
TRS/nontermin/CSR/Ex1_Luc02b.trsMAYBE0.74MAYBE0.02MAYBE0.22MAYBE0.27MAYBE0.24
TRS/nontermin/CSR/Ex1_Zan97.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.12MAYBE0.08
TRS/nontermin/CSR/Ex24_GM04.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.09MAYBE0.08
TRS/nontermin/CSR/Ex26_Luc03b.trsMAYBE37.7MAYBE0.07MAYBE0.4MAYBE0.78MAYBE0.49
TRS/nontermin/CSR/Ex2_Luc03b.trsMAYBE3.94MAYBE0.03MAYBE0.34MAYBE0.37MAYBE0.37
TRS/nontermin/CSR/Ex3_12_Luc96a.trsMAYBE0.06MAYBE0.01MAYBE0.14MAYBE0.24MAYBE0.15
TRS/nontermin/CSR/Ex3_2_Luc97.trsMAYBE19.32MAYBE0.03MAYBE0.45MAYBE0.46MAYBE0.47
TRS/nontermin/CSR/Ex3_3_25_Bor03.trsMAYBE2.87MAYBE0.03MAYBE0.29MAYBE0.5MAYBE0.38
TRS/nontermin/CSR/Ex4_4_Luc96b.trsMAYBE0.01MAYBE0.01MAYBE0.14MAYBE0.18MAYBE0.15
TRS/nontermin/CSR/Ex4_7_15_Bor03.trsMAYBE0.04MAYBE0.01MAYBE0.07MAYBE0.13MAYBE0.08
TRS/nontermin/CSR/Ex4_7_37_Bor03.trsKILLED60MAYBE0.03MAYBE0.31MAYBE0.39MAYBE0.38
TRS/nontermin/CSR/Ex4_7_56_Bor03.trsMAYBE0.06MAYBE0.02MAYBE0.14MAYBE0.25MAYBE0.18
TRS/nontermin/CSR/Ex4_7_77_Bor03.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.08MAYBE0.07
TRS/nontermin/CSR/Ex49_GM04.trsYES0.96YES0.02YES0.16YES0.32YES0.17
TRS/nontermin/CSR/Ex4_Zan97.trsMAYBE0.36MAYBE0.01MAYBE0.23MAYBE0.19MAYBE0.24
TRS/nontermin/CSR/Ex5_7_Luc97.trsKILLED60MAYBE0.07MAYBE0.62MAYBE1.03MAYBE0.82
TRS/nontermin/CSR/Ex5_Zan97.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.09MAYBE0.08
TRS/nontermin/CSR/Ex6_15_AEL02.trsKILLED60MAYBE0.13MAYBE0.92MAYBE1.09MAYBE0.93
TRS/nontermin/CSR/Ex6_9_Luc02c.trsMAYBE0.06MAYBE0.01MAYBE0.07MAYBE0.07MAYBE0.08
TRS/nontermin/CSR/Ex6_GM04.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.12MAYBE0.07
TRS/nontermin/CSR/Ex6_Luc98.trsMAYBE0.09MAYBE0.01MAYBE0.14MAYBE0.21MAYBE0.15
TRS/nontermin/CSR/Ex7_BLR02.trsMAYBE8.94MAYBE0.02MAYBE0.22MAYBE0.37MAYBE0.24
TRS/nontermin/CSR/Ex8_BLR02.trsMAYBE6.66MAYBE0.02MAYBE0.22MAYBE0.27MAYBE0.25
TRS/nontermin/CSR/Ex9_BLR02.trsMAYBE1.24MAYBE0.04MAYBE0.27MAYBE0.43MAYBE0.27
TRS/nontermin/CSR/ExAppendixB_AEL03.trsKILLED60MAYBE0.11MAYBE0.55MAYBE0.99MAYBE0.44
TRS/nontermin/CSR/ExConc_Zan97.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.12MAYBE0.07
TRS/nontermin/CSR/ExIntrod_GM01.trsMAYBE0.3MAYBE0.02MAYBE0.21MAYBE0.25MAYBE0.22
TRS/nontermin/CSR/ExIntrod_GM04.trsMAYBE0.18MAYBE0.01MAYBE0.21MAYBE0.36MAYBE0.22
TRS/nontermin/CSR/ExIntrod_GM99.trsKILLED60MAYBE0.02MAYBE0.19MAYBE0.21MAYBE0.17
TRS/nontermin/CSR/ExIntrod_Zan97.trsMAYBE32.65MAYBE0.02MAYBE0.28MAYBE0.37MAYBE0.25
TRS/nontermin/HM/n001.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.09MAYBE0.08
TRS/nontermin/Rubio-inn/bn111.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/nontermin/Rubio-inn/gkg.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.09MAYBE0.08
TRS/nontermin/Rubio-inn/muladd.trsMAYBE0.02MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/nontermin/Rubio-inn/test10.trsMAYBE3.9MAYBE0.02MAYBE0.15MAYBE0.15MAYBE0.15
TRS/nontermin/Rubio-inn/test75.trsMAYBE0.02MAYBE0.01MAYBE0.07MAYBE0.12MAYBE0.08
TRS/nontermin/Rubio-inn/test76.trsMAYBE0.53MAYBE0.02MAYBE0.15MAYBE0.2MAYBE0.15
TRS/nontermin/Rubio-inn/test77.trsMAYBE1.21MAYBE0.01MAYBE0.15MAYBE0.26MAYBE0.16
TRS/nontermin/Rubio-inn/test830.trsYES0.05YES0.02YES0.15YES0.21YES0.16
TRS/nontermin/Rubio-inn/test9.trsMAYBE0.9MAYBE0.01MAYBE0.07MAYBE0.13MAYBE0.08
TRS/nontermin/Rubio-inn/toyama.trsMAYBE0.02MAYBE0.01MAYBE0.07MAYBE0.09MAYBE0.08
TRS/nontermin/TRCSR/ExSec11_1_Luc02a.trsKILLED60MAYBE0.08MAYBE0.6MAYBE0.97MAYBE0.64
TRS/Rubio/aoto.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.09MAYBE0.08
TRS/Rubio/bintrees.trsMAYBE0.1MAYBE0.02MAYBE0.15MAYBE0.27MAYBE0.16
TRS/Rubio/bn122.trsMAYBE0.05MAYBE0.01MAYBE0.15MAYBE0.21MAYBE0.15
TRS/Rubio/bn129.trsYES0.02YES0.02YES0.16YES0.47YES0.18
TRS/Rubio/division.trsYES11.89YES0.05YES0.27YES0.6YES0.27
TRS/Rubio/elimdupl.trsYES8.39YES0.03YES0.24YES0.55YES0.31
TRS/Rubio/enno.trsKILLED60MAYBE0.14MAYBE0.36MAYBE0.86MAYBE0.5
TRS/Rubio/gcd.trsKILLED60MAYBE0.03MAYBE0.24MAYBE0.39MAYBE0.28
TRS/Rubio/gmnp.trsMAYBE0.03MAYBE0.01MAYBE0.08MAYBE0.1MAYBE0.08
TRS/Rubio/gm.trsYES0.06YES0.02YES0.15YES0.28YES0.16
TRS/Rubio/koen.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/Rubio/lescanne.trsMAYBE0.05MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/Rubio/lindau.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.1MAYBE0.09
TRS/Rubio/logarquot.trsYES0.21YES0.03YES0.25YES0.44YES0.29
TRS/Rubio/ma96.trsKILLED60MAYBE0.1MAYBE0.23MAYBE0.65MAYBE0.46
TRS/Rubio/mfp90b.trsMAYBE0.02MAYBE0.01MAYBE0.07MAYBE0.13MAYBE0.08
TRS/Rubio/mfp95.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/Rubio/nestrec.trsYES0.01YES0.01YES0.1YES0.13YES0.08
TRS/Rubio/p266.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/Rubio/polo2.trsKILLED60YES0.07YES0.19YES0.59YES0.24
TRS/Rubio/prov.trsYES0.04YES0.01YES0.08YES0.13YES0.08
TRS/Rubio/quick.trsKILLED60YES0.13YES0.63YES1.26YES0.66
TRS/Rubio/quotminus.trsYES0.42YES0.04YES0.36YES0.57YES0.4
TRS/Rubio/revlist.trsYES0.68YES0.03YES0.18YES0.36YES0.2
TRS/Rubio/selsort.trsKILLED60MAYBE0.27MAYBE0.54MAYBE1.39MAYBE0.77
TRS/Rubio/test4.trsYES0.03YES0.02YES0.15YES0.32YES0.17
TRS/Rubio/test829.trsYES0.01YES0.01YES0.08YES0.14YES0.09
TRS/Rubio/wst99.trsKILLED60YES0.08YES0.48YES0.83YES0.38
TRS/SchneiderKamp/trs/cade01.trsMAYBE3.56MAYBE0.02MAYBE0.15MAYBE0.24MAYBE0.16
TRS/SchneiderKamp/trs/cade03.trsMAYBE3.52MAYBE0.02MAYBE0.15MAYBE0.28MAYBE0.16
TRS/SchneiderKamp/trs/cade04t.trsMAYBE2.25MAYBE0.01MAYBE0.15MAYBE0.19MAYBE0.15
TRS/SchneiderKamp/trs/cade05t.trsMAYBE28.28MAYBE0.03MAYBE0.26MAYBE0.45MAYBE0.26
TRS/SchneiderKamp/trs/cade06.trsMAYBE6.17MAYBE0.03MAYBE0.29MAYBE0.53MAYBE0.29
TRS/SchneiderKamp/trs/cade07.trsKILLED60MAYBE0.03MAYBE0.16MAYBE0.33MAYBE0.17
TRS/SchneiderKamp/trs/cade08.trsMAYBE6.17MAYBE0.03MAYBE0.16MAYBE0.38MAYBE0.17
TRS/SchneiderKamp/trs/cade09.trsMAYBE0.46MAYBE0.03MAYBE0.24MAYBE0.6MAYBE0.28
TRS/SchneiderKamp/trs/cade10.trsMAYBE0.56MAYBE0.03MAYBE0.25MAYBE0.43MAYBE0.25
TRS/SchneiderKamp/trs/cade11.trsMAYBE0.19MAYBE0.02MAYBE0.15MAYBE0.28MAYBE0.16
TRS/SchneiderKamp/trs/cade12t.trsMAYBE21.13MAYBE0.05MAYBE0.38MAYBE0.69MAYBE0.41
TRS/SchneiderKamp/trs/cade13t.trsKILLED60MAYBE0.05MAYBE0.24MAYBE0.49MAYBE0.28
TRS/SchneiderKamp/trs/cade14.trsKILLED60MAYBE0.05MAYBE0.24MAYBE0.48MAYBE0.27
TRS/SchneiderKamp/trs/cade15.trsKILLED60MAYBE0.1MAYBE0.55MAYBE0.85MAYBE0.54
TRS/SchneiderKamp/trs/cade16.trsKILLED60MAYBE0.03MAYBE0.26MAYBE0.45MAYBE0.25
TRS/SchneiderKamp/trs/cade17.trsKILLED60MAYBE0.17MAYBE0.46MAYBE0.81MAYBE0.53
TRS/SchneiderKamp/trs/kabasci01.trsKILLED60MAYBE1.83MAYBE3.35MAYBE7.18MAYBE3.51
TRS/SchneiderKamp/trs/kabasci02.trsKILLED60MAYBE0.1MAYBE0.53MAYBE0.52MAYBE0.49
TRS/SchneiderKamp/trs/kabasci03.trsMAYBE0.34MAYBE0.05MAYBE0.15MAYBE0.41MAYBE0.11
TRS/SchneiderKamp/trs/kabasci04.trsMAYBE10.63MAYBE0.06MAYBE0.48MAYBE0.73MAYBE0.43
TRS/SchneiderKamp/trs/kabasci05.trsKILLED60MAYBE0.07MAYBE0.48MAYBE0.71MAYBE0.52
TRS/SchneiderKamp/trs/kabasci06.trsMAYBE0.06MAYBE0.11MAYBE0.59MAYBE0.8MAYBE0.55
TRS/SchneiderKamp/trs/otto01.trsKILLED60MAYBE0.08MAYBE0.62MAYBE0.65MAYBE0.64
TRS/SchneiderKamp/trs/otto02.trsKILLED60MAYBE0.09MAYBE0.54MAYBE0.93MAYBE0.55
TRS/SchneiderKamp/trs/otto03.trsKILLED60MAYBE0.02MAYBE0.15MAYBE0.28MAYBE0.16
TRS/SchneiderKamp/trs/otto04.trsKILLED60MAYBE0.07MAYBE0.41MAYBE0.74MAYBE0.44
TRS/SchneiderKamp/trs/otto05.trsKILLED60MAYBE0.03MAYBE0.25MAYBE0.42MAYBE0.24
TRS/SchneiderKamp/trs/otto06.trsKILLED60MAYBE0.11MAYBE0.44MAYBE0.76MAYBE0.46
TRS/SchneiderKamp/trs/otto07.trsMAYBE3.81MAYBE0.02MAYBE0.17MAYBE0.23MAYBE0.17
TRS/SchneiderKamp/trs/otto08.trsKILLED60MAYBE0.06MAYBE0.39MAYBE0.78MAYBE0.43
TRS/SchneiderKamp/trs/otto09.trsKILLED60MAYBE0.06MAYBE0.28MAYBE0.51MAYBE0.27
TRS/SchneiderKamp/trs/otto10.trsKILLED60MAYBE0.06MAYBE0.39MAYBE0.65MAYBE0.41
TRS/SchneiderKamp/trs/otto11.trsKILLED60MAYBE0.03MAYBE0.24MAYBE0.31MAYBE0.24
TRS/SchneiderKamp/trs/otto12.trsKILLED60MAYBE0.07MAYBE0.49MAYBE0.83MAYBE0.51
TRS/SchneiderKamp/trs/otto13.trsKILLED60MAYBE0.08MAYBE0.42MAYBE0.96MAYBE0.47
TRS/SchneiderKamp/trs/thiemann01.trsKILLED60MAYBE0.04MAYBE0.26MAYBE0.41MAYBE0.29
TRS/SchneiderKamp/trs/thiemann02.trsKILLED60MAYBE0.17MAYBE0.8MAYBE0.92MAYBE0.81
TRS/SchneiderKamp/trs/thiemann03.trsKILLED60MAYBE0.03MAYBE0.26MAYBE0.39MAYBE0.27
TRS/SchneiderKamp/trs/thiemann04.trsKILLED60MAYBE0.16MAYBE0.35MAYBE0.85MAYBE0.39
TRS/SchneiderKamp/trs/thiemann05.trsKILLED60MAYBE0.03MAYBE0.16MAYBE0.3MAYBE0.17
TRS/SchneiderKamp/trs/thiemann06.trsKILLED60MAYBE0.06MAYBE0.18MAYBE0.46MAYBE0.19
TRS/SchneiderKamp/trs/thiemann07.trsKILLED60MAYBE0.06MAYBE0.41MAYBE0.6MAYBE0.46
TRS/SchneiderKamp/trs/thiemann08.trsKILLED60MAYBE0.02MAYBE0.16MAYBE0.2MAYBE0.18
TRS/SchneiderKamp/trs/thiemann09.trsKILLED60MAYBE0.05MAYBE0.42MAYBE0.54MAYBE0.4
TRS/SchneiderKamp/trs/thiemann10.trsKILLED60MAYBE0.04MAYBE0.26MAYBE0.44MAYBE0.26
TRS/SchneiderKamp/trs/thiemann11.trsKILLED60MAYBE0.07MAYBE0.48MAYBE0.69MAYBE0.47
TRS/SchneiderKamp/trs/thiemann12.trsKILLED60MAYBE0.06MAYBE0.41MAYBE0.57MAYBE0.41
TRS/SchneiderKamp/trs/thiemann13.trsKILLED60MAYBE0.11MAYBE0.54MAYBE0.93MAYBE0.48
TRS/SchneiderKamp/trs/thiemann14.trsKILLED60MAYBE0.09MAYBE0.32MAYBE0.58MAYBE0.31
TRS/SchneiderKamp/trs/thiemann15.trsKILLED60MAYBE0.03MAYBE0.23MAYBE0.45MAYBE0.28
TRS/SchneiderKamp/trs/thiemann16.trsKILLED60MAYBE0.05MAYBE0.41MAYBE0.42MAYBE0.34
TRS/SchneiderKamp/trs/thiemann17.trsKILLED60MAYBE0.03MAYBE0.17MAYBE0.29MAYBE0.18
TRS/SchneiderKamp/trs/thiemann18.trsKILLED60MAYBE0.12MAYBE0.59MAYBE0.71MAYBE0.57
TRS/SchneiderKamp/trs/thiemann19.trsMAYBE2.53MAYBE0.04MAYBE0.25MAYBE0.43MAYBE0.27
TRS/SchneiderKamp/trs/thiemann20.trsKILLED60MAYBE0.04MAYBE0.38MAYBE0.34MAYBE0.37
TRS/SchneiderKamp/trs/thiemann21.trsKILLED60MAYBE0.17MAYBE0.87MAYBE1.17MAYBE0.89
TRS/SchneiderKamp/trs/thiemann22.trsKILLED60MAYBE0.04MAYBE0.26MAYBE0.4MAYBE0.28
TRS/SchneiderKamp/trs/thiemann23.trsMAYBE5.47MAYBE0.02MAYBE0.16MAYBE0.31MAYBE0.17
TRS/SchneiderKamp/trs/thiemann24.trsKILLED60MAYBE0.04MAYBE0.36MAYBE0.48MAYBE0.37
TRS/SchneiderKamp/trs/thiemann25.trsKILLED60MAYBE0.03MAYBE0.25MAYBE0.39MAYBE0.26
TRS/SchneiderKamp/trs/thiemann26.trsKILLED60MAYBE0.03MAYBE0.26MAYBE0.35MAYBE0.27
TRS/SchneiderKamp/trs/thiemann27.trsMAYBE20.04MAYBE0.02MAYBE0.15MAYBE0.3MAYBE0.18
TRS/SchneiderKamp/trs/thiemann28.trsKILLED60MAYBE0.04MAYBE0.25MAYBE0.41MAYBE0.28
TRS/SchneiderKamp/trs/thiemann29.trsKILLED60MAYBE0.08MAYBE0.45MAYBE0.81MAYBE0.43
TRS/SchneiderKamp/trs/thiemann30.trsKILLED60MAYBE0.18MAYBE0.78MAYBE1.02MAYBE0.8
TRS/SchneiderKamp/trs/thiemann31.trsKILLED60MAYBE0.04MAYBE0.24MAYBE0.41MAYBE0.18
TRS/SchneiderKamp/trs/thiemann32.trsKILLED60MAYBE0.09MAYBE0.43MAYBE0.77MAYBE0.46
TRS/SchneiderKamp/trs/thiemann33.trsKILLED60MAYBE0.04MAYBE0.26MAYBE0.56MAYBE0.28
TRS/SchneiderKamp/trs/thiemann34.trsKILLED60MAYBE0.05MAYBE0.32MAYBE0.58MAYBE0.3
TRS/SchneiderKamp/trs/thiemann35.trsMAYBE0.1MAYBE0.15MAYBE0.46MAYBE0.57MAYBE0.43
TRS/SchneiderKamp/trs/thiemann36.trsKILLED60MAYBE0.05MAYBE0.17MAYBE0.38MAYBE0.2
TRS/SchneiderKamp/trs/thiemann37.trsKILLED60MAYBE0.18MAYBE0.59MAYBE0.9MAYBE0.54
TRS/SchneiderKamp/trs/thiemann38.trsKILLED60MAYBE0.03MAYBE0.28MAYBE0.4MAYBE0.27
TRS/SchneiderKamp/trs/thiemann39.trsMAYBE1.21MAYBE0.1MAYBE0.3MAYBE0.28MAYBE0.3
TRS/SchneiderKamp/trs/thiemann40.trsMAYBE19.04MAYBE0.01MAYBE0.08MAYBE0.14MAYBE0.08
TRS/SchneiderKamp/trs/thiemann41.trsKILLED60MAYBE0.05MAYBE0.31MAYBE0.49MAYBE0.28
TRS/SchneiderKamp/trs/wiehe01.trsKILLED60MAYBE0.04MAYBE0.28MAYBE0.41MAYBE0.28
TRS/SchneiderKamp/trs/wiehe02.trsKILLED60MAYBE0.11MAYBE0.59MAYBE0.94MAYBE0.64
TRS/SchneiderKamp/trs/wiehe03.trsKILLED60MAYBE0.19MAYBE0.76MAYBE1.04MAYBE0.71
TRS/SchneiderKamp/trs/wiehe05.trsKILLED60MAYBE0.05MAYBE0.41MAYBE0.43MAYBE0.38
TRS/SchneiderKamp/trs/wiehe06.trsKILLED60MAYBE0.05MAYBE0.29MAYBE0.42MAYBE0.3
TRS/SchneiderKamp/trs/wiehe07.trsKILLED60MAYBE0.06MAYBE0.3MAYBE0.38MAYBE0.31
TRS/SchneiderKamp/trs/wiehe08.trsKILLED60MAYBE0.06MAYBE0.4MAYBE0.55MAYBE0.4
TRS/SchneiderKamp/trs/wiehe09.trsKILLED60MAYBE0.06MAYBE0.41MAYBE0.45MAYBE0.35
TRS/SchneiderKamp/trs/wiehe11.trsKILLED60MAYBE0.16MAYBE0.94MAYBE1.07MAYBE0.71
TRS/SchneiderKamp/trs/wiehe12.trsKILLED60MAYBE0.25MAYBE1.1MAYBE1.1MAYBE1.09
TRS/secret05/aprove1.trsMAYBE0.1MAYBE0.09MAYBE0.47MAYBE0.49MAYBE0.39
TRS/secret05/aprove2.trsKILLED60MAYBE0.05MAYBE0.26MAYBE0.41MAYBE0.28
TRS/secret05/aprove3.trsMAYBE2.72MAYBE0.04MAYBE0.18MAYBE0.3MAYBE0.18
TRS/secret05/aprove4.trsMAYBE8.03MAYBE0.04MAYBE0.36MAYBE0.58MAYBE0.38
TRS/secret05/aprove5.trsMAYBE2.58MAYBE0.07MAYBE0.63MAYBE1.11MAYBE0.64
TRS/secret05/cime1.trsKILLED60MAYBE0.3MAYBE0.27MAYBE0.59MAYBE0.23
TRS/secret05/cime2.trsMAYBE0.69MAYBE0.02MAYBE0.09MAYBE0.14MAYBE0.1
TRS/secret05/cime3.trsKILLED60MAYBE0.04MAYBE0.16MAYBE0.35MAYBE0.12
TRS/secret05/cime4.trsMAYBE4.37MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/secret05/cime5.trsKILLED60MAYBE1.12MAYBE0.84MAYBE2.42MAYBE0.99
TRS/secret05/matchbox1.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.09MAYBE0.08
TRS/secret05/matchbox2.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.09MAYBE0.08
TRS/secret05/teparla1.trsMAYBE0.02MAYBE0.02MAYBE0.08MAYBE0.14MAYBE0.09
TRS/secret05/teparla2.trsMAYBE0.02MAYBE0.02MAYBE0.08MAYBE0.2MAYBE0.09
TRS/secret05/teparla3.trsMAYBE0.02MAYBE0.02MAYBE0.08MAYBE0.18MAYBE0.09
TRS/secret05/tpa1.trsMAYBE2.09MAYBE0.04MAYBE0.36MAYBE0.52MAYBE0.36
TRS/secret05/tpa2.trsMAYBE0.08MAYBE0.02MAYBE0.15MAYBE0.29MAYBE0.17
TRS/secret05/tpa3.trsMAYBE0.88MAYBE0.04MAYBE0.36MAYBE0.46MAYBE0.37
TRS/secret05/tpa4.trsMAYBE2.66MAYBE0.04MAYBE0.35MAYBE0.56MAYBE0.33
TRS/secret05/tpa5.trsMAYBE1.04MAYBE0.05MAYBE0.39MAYBE0.56MAYBE0.4
TRS/secret05/ttt1.trsMAYBE0.28MAYBE0.01MAYBE0.14MAYBE0.28MAYBE0.15
TRS/secret05/ttt2.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.13MAYBE0.08
TRS/secret06/cime1.trsMAYBE1.09MAYBE0.04MAYBE0.18MAYBE0.27MAYBE0.19
TRS/secret06/tpa01.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.14MAYBE0.08
TRS/secret06/tpa02.trsMAYBE0.03MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/secret06/tpa03.trsMAYBE0.02MAYBE0.01MAYBE0.08MAYBE0.14MAYBE0.08
TRS/secret06/tpa04.trsMAYBE36.97MAYBE0.06MAYBE0.52MAYBE0.82MAYBE0.45
TRS/secret06/tpa05.trsMAYBE3.87MAYBE0.05MAYBE0.39MAYBE0.74MAYBE0.48
TRS/secret06/tpa06.trsMAYBE4.32MAYBE0.03MAYBE0.26MAYBE0.31MAYBE0.25
TRS/secret06/tpa07.trsMAYBE1.73MAYBE0.04MAYBE0.36MAYBE0.57MAYBE0.38
TRS/secret06/tpa08.trsMAYBE0.82MAYBE0.04MAYBE0.38MAYBE0.48MAYBE0.39
TRS/secret06/tpa09.trsKILLED60MAYBE0.08MAYBE0.49MAYBE0.98MAYBE0.64
TRS/secret06/tpa10.trsKILLED60MAYBE0.09MAYBE0.49MAYBE1.01MAYBE0.7
TRS/secret06/aprove/addList.trsKILLED60MAYBE0.07MAYBE0.35MAYBE0.58MAYBE0.43
TRS/secret06/aprove/divExp.trsMAYBE0.73MAYBE0.03MAYBE0.25MAYBE0.37MAYBE0.25
TRS/secret06/aprove/division.trsKILLED60MAYBE0.04MAYBE0.35MAYBE0.56MAYBE0.39
TRS/secret06/aprove/double.trsKILLED60MAYBE0.05MAYBE0.29MAYBE0.35MAYBE0.27
TRS/secret06/aprove/logarithm.trsKILLED60MAYBE0.05MAYBE0.39MAYBE0.56MAYBE0.4
TRS/secret06/aprove/nrOfNodes.trsKILLED60MAYBE0.02MAYBE0.16MAYBE0.21MAYBE0.17
TRS/secret06/aprove/reverse.trsKILLED60MAYBE0.05MAYBE0.31MAYBE0.53MAYBE0.41
TRS/secret06/aprove/sumList.trsKILLED60MAYBE0.05MAYBE0.34MAYBE0.33MAYBE0.28
TRS/secret06/aprove/times.trsKILLED60MAYBE0.06MAYBE0.54MAYBE0.7MAYBE0.53
TRS/secret06/aprove/toList.trsKILLED60MAYBE0.03MAYBE0.17MAYBE0.24MAYBE0.2
TRS/secret06/jambox/10.trsMAYBE0.05MAYBE0.01MAYBE0.08MAYBE0.16MAYBE0.08
TRS/secret06/jambox/2.trsMAYBE1.41MAYBE0.02MAYBE0.08MAYBE0.27MAYBE0.09
TRS/secret06/jambox/3.trsMAYBE0.4MAYBE0.02MAYBE0.09MAYBE0.25MAYBE0.09
TRS/secret06/jambox/4.trsMAYBE0.06MAYBE0.01MAYBE0.08MAYBE0.14MAYBE0.08
TRS/secret06/jambox/5.trsMAYBE0.05MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/secret06/jambox/6.trsMAYBE0.33MAYBE0.02MAYBE0.08MAYBE0.14MAYBE0.09
TRS/secret06/jambox/7.trsMAYBE0.2MAYBE0.02MAYBE0.09MAYBE0.23MAYBE0.09
TRS/secret06/jambox/8.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.1MAYBE0.08
TRS/secret06/jambox/9.trsMAYBE0.43MAYBE0.01MAYBE0.08MAYBE0.15MAYBE0.08
TRS/secret06/matchbox/gen-10.trsMAYBE0.08MAYBE0.02MAYBE0.15MAYBE0.27MAYBE0.18
TRS/secret06/matchbox/gen-14.trsMAYBE0.04MAYBE0.01MAYBE0.11MAYBE0.13MAYBE0.08
TRS/secret06/matchbox/gen-15.trsMAYBE0.31MAYBE0.02MAYBE0.08MAYBE0.12MAYBE0.08
TRS/secret06/matchbox/gen-17.trsMAYBE0.2MAYBE0.02MAYBE0.09MAYBE0.17MAYBE0.09
TRS/secret06/matchbox/gen-18.trsMAYBE0.26MAYBE0.01MAYBE0.08MAYBE0.1MAYBE0.08
TRS/secret06/matchbox/gen-1.trsMAYBE0.48MAYBE0.01MAYBE0.08MAYBE0.14MAYBE0.08
TRS/secret06/matchbox/gen-22.trsMAYBE1.96MAYBE0.03MAYBE0.18MAYBE0.37MAYBE0.17
TRS/secret06/matchbox/gen-25.trsMAYBE0.03MAYBE0.01MAYBE0.08MAYBE0.11MAYBE0.08
TRS/secret06/matchbox/gen-28.trsMAYBE0.24MAYBE0.02MAYBE0.08MAYBE0.16MAYBE0.09
TRS/secret06/matchbox/gen-9.trsMAYBE0.88MAYBE0.02MAYBE0.16MAYBE0.23MAYBE0.16
TRS/secret07/aprove/aprove01.trsKILLED60MAYBE0.13MAYBE0.45MAYBE0.82MAYBE0.54
TRS/secret07/aprove/aprove02.trsKILLED60MAYBE0.13MAYBE0.6MAYBE0.91MAYBE0.77
TRS/secret07/aprove/aprove03.trsKILLED60MAYBE0.17MAYBE0.7MAYBE1.17MAYBE0.81
TRS/secret07/aprove/aprove04.trsKILLED60MAYBE0.15MAYBE0.63MAYBE0.92MAYBE0.63
TRS/secret07/aprove/aprove05.trsKILLED60MAYBE0.08MAYBE0.37MAYBE0.7MAYBE0.45
TRS/secret07/aprove/aprove06.trsKILLED60MAYBE0.11MAYBE0.54MAYBE0.72MAYBE0.71
TRS/secret07/aprove/aprove07.trsKILLED60MAYBE0.05MAYBE0.28MAYBE0.42MAYBE0.28
TRS/secret07/aprove/aprove08.trsKILLED60MAYBE0.16MAYBE0.39MAYBE1.08MAYBE0.55
TRS/secret07/aprove/aprove09.trsKILLED60MAYBE0.09MAYBE0.56MAYBE0.79MAYBE0.45
TRS/secret07/aprove/aprove10.trsKILLED60MAYBE0.07MAYBE0.46MAYBE0.6MAYBE0.53
TRS/secret07/cime/secret1.trsKILLED60MAYBE0.04MAYBE0.19MAYBE0.29MAYBE0.2
TRS/secret07/cime/secret2.trsMAYBE6.54MAYBE0.05MAYBE0.32MAYBE0.35MAYBE0.27
TRS/secret07/cime/secret3.trsMAYBE4.16MAYBE0.05MAYBE0.31MAYBE0.66MAYBE0.32
TRS/secret07/cime/secret4.trsKILLED60MAYBE0.08MAYBE0.44MAYBE0.47MAYBE0.45
TRS/secret07/cime/secret5.trsKILLED60MAYBE0.08MAYBE0.35MAYBE0.84MAYBE0.48
TRS/secret07/others/dj.trsYES0.01YES0.01YES0.08YES0.1YES0.08
TRS/secret07/TTT2/1.trsMAYBE0.15MAYBE0.06MAYBE0.25MAYBE0.65MAYBE0.31
TRS/secret07/TTT2/2.trsMAYBE0.19MAYBE0.04MAYBE0.25MAYBE0.38MAYBE0.31
TRS/secret07/TTT2/3.trsMAYBE21.61MAYBE0.15MAYBE0.42MAYBE1.27MAYBE0.58
TRS/secret07/TTT2/4.trsMAYBE0.29MAYBE0.1MAYBE0.35MAYBE0.81MAYBE0.46
TRS/secret07/TTT2/5.trsMAYBE21.69MAYBE0.26MAYBE0.59MAYBE0.89MAYBE0.53
TRS/secret07/TTT2/6.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.14MAYBE0.08
TRS/secret07/TTT2/7.trsMAYBE0.03MAYBE0.03MAYBE0.1MAYBE0.28MAYBE0.1
TRS/SK90/2.01.trsMAYBE0.06MAYBE0.01MAYBE0.15MAYBE0.18MAYBE0.15
TRS/SK90/2.02.trsMAYBE0.03MAYBE0.02MAYBE0.08MAYBE0.14MAYBE0.08
TRS/SK90/2.03.trsYES0.02YES0.01YES0.15YES0.22YES0.15
TRS/SK90/2.04.trsMAYBE0.03MAYBE0.01MAYBE0.14MAYBE0.25MAYBE0.15
TRS/SK90/2.05.trsMAYBE0.16MAYBE0.03MAYBE0.09MAYBE0.15MAYBE0.09
TRS/SK90/2.06.trsMAYBE0.1MAYBE0.03MAYBE0.16MAYBE0.39MAYBE0.19
TRS/SK90/2.07.trsMAYBE0.05MAYBE0.01MAYBE0.08MAYBE0.1MAYBE0.08
TRS/SK90/2.08.trsMAYBE0.13MAYBE0.03MAYBE0.25MAYBE0.4MAYBE0.29
TRS/SK90/2.09.trsMAYBE0.02MAYBE0.01MAYBE0.07MAYBE0.1MAYBE0.08
TRS/SK90/2.10.trsMAYBE0.06MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/SK90/2.11.trsYES0.05YES0.01YES0.14YES0.21YES0.16
TRS/SK90/2.12.trsYES0.58YES0.04YES0.26YES0.49YES0.29
TRS/SK90/2.13.trsYES0.03YES0.02YES0.15YES0.34YES0.24
TRS/SK90/2.14.trsYES0.59YES0.02YES0.24YES0.41YES0.26
TRS/SK90/2.15.trsYES0.01YES0.01YES0.08YES0.11YES0.09
TRS/SK90/2.16.trsMAYBE0.26MAYBE0.02MAYBE0.15MAYBE0.26MAYBE0.16
TRS/SK90/2.17.trsYES0.03YES0.01YES0.14YES0.21YES0.16
TRS/SK90/2.18.trsYES0.03YES0.02YES0.14YES0.26YES0.15
TRS/SK90/2.19.trsYES0.11YES0.02YES0.26YES0.33YES0.26
TRS/SK90/2.20.trsYES0.04YES0.01YES0.08YES0.14YES0.09
TRS/SK90/2.21.trsYES0.03YES0.01YES0.08YES0.26YES0.08
TRS/SK90/2.22.trsYES0.83YES0.03YES0.25YES0.43YES0.24
TRS/SK90/2.23.trsMAYBE1.78MAYBE0.03MAYBE0.39MAYBE0.38MAYBE0.36
TRS/SK90/2.24.trsYES0.01YES0.01YES0.08YES0.14YES0.08
TRS/SK90/2.25.trsYES0.02YES0.02YES0.16YES0.23YES0.16
TRS/SK90/2.26.trsYES21.19YES0.03YES0.16YES0.32YES0.18
TRS/SK90/2.27.trsYES4.76YES0.03YES0.17YES0.27YES0.18
TRS/SK90/2.28.trsYES0.01YES0.01YES0.08YES0.15YES0.08
TRS/SK90/2.29.trsYES17.55YES0.02YES0.08YES0.17YES0.09
TRS/SK90/2.30.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/SK90/2.31.trsYES0.06YES0.02YES0.15YES0.43YES0.27
TRS/SK90/2.32.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/SK90/2.33.trsYES0.02YES0.01YES0.09YES0.13YES0.08
TRS/SK90/2.34.trsMAYBE0.1MAYBE0.01MAYBE0.08MAYBE0.14MAYBE0.08
TRS/SK90/2.35.trsYES0.02YES0.01YES0.08YES0.14YES0.08
TRS/SK90/2.36.trsYES0.03YES0.02YES0.17YES0.26YES0.16
TRS/SK90/2.37.trsYES0.02YES0.01YES0.08YES0.14YES0.08
TRS/SK90/2.38.trsMAYBE0.03MAYBE0.01MAYBE0.08MAYBE0.09MAYBE0.08
TRS/SK90/2.39.trsYES1.01YES0.02YES0.15YES0.28YES0.16
TRS/SK90/2.40.trsYES0.11YES0.02YES0.08YES0.14YES0.09
TRS/SK90/2.41.trsYES0.51YES0.03YES0.32YES0.46YES0.28
TRS/SK90/2.42.trsMAYBE0.14MAYBE0.02MAYBE0.27MAYBE0.28MAYBE0.24
TRS/SK90/2.43.trsYES3.31YES0.04YES0.18YES0.53YES0.27
TRS/SK90/2.44.trsKILLED60MAYBE0.03MAYBE0.09MAYBE0.22MAYBE0.09
TRS/SK90/2.45.trsYES2.32YES0.02YES0.09YES0.22YES0.12
TRS/SK90/2.46.trsYES0.01YES0.01YES0.08YES0.14YES0.09
TRS/SK90/2.47.trsYES0.01YES0.01YES0.07YES0.13YES0.08
TRS/SK90/2.48.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/SK90/2.49.trsYES0.29YES0.03YES0.16YES0.32YES0.17
TRS/SK90/2.50.trsYES0.01YES0.01YES0.07YES0.09YES0.08
TRS/SK90/2.51.trsMAYBE0.03MAYBE0.02MAYBE0.08MAYBE0.18MAYBE0.08
TRS/SK90/2.52.trsMAYBE0.48MAYBE0.08MAYBE0.47MAYBE0.66MAYBE0.44
TRS/SK90/2.53.trsYES0.06YES0.01YES0.08YES0.15YES0.08
TRS/SK90/2.54.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.09MAYBE0.08
TRS/SK90/2.55.trsYES0.01YES0.01YES0.07YES0.13YES0.08
TRS/SK90/2.56.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/SK90/2.57.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/SK90/2.58.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/SK90/2.59.trsYES0.02YES0.01YES0.07YES0.13YES0.08
TRS/SK90/2.60.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/SK90/2.61.trsKILLED60YES0.03YES0.17YES0.42YES0.19
TRS/SK90/4.01.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/SK90/4.02.trsMAYBE0.32MAYBE0.03MAYBE0.17MAYBE0.27MAYBE0.18
TRS/SK90/4.03.trsYES0.11YES0.03YES0.16YES0.27YES0.27
TRS/SK90/4.04.trsMAYBE0.03MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/SK90/4.05.trsYES0.02YES0.02YES0.15YES0.28YES0.16
TRS/SK90/4.06.trsMAYBE0.44MAYBE0.02MAYBE0.15MAYBE0.28MAYBE0.16
TRS/SK90/4.07.trsMAYBE0.03MAYBE0.01MAYBE0.07MAYBE0.09MAYBE0.08
TRS/SK90/4.08.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.13MAYBE0.08
TRS/SK90/4.09.trsMAYBE0.32MAYBE0.02MAYBE0.18MAYBE0.2MAYBE0.16
TRS/SK90/4.10.trsYES0.24YES0.03YES0.16YES0.38YES0.17
TRS/SK90/4.11.trsYES0.02YES0.01YES0.14YES0.2YES0.16
TRS/SK90/4.12.trsMAYBE0.02MAYBE0.01MAYBE0.08MAYBE0.16MAYBE0.08
TRS/SK90/4.13.trsMAYBE0.4MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/SK90/4.14.trsYES0.64YES0.03YES0.28YES0.49YES0.29
TRS/SK90/4.15.trsYES0.01YES0.01YES0.07YES0.14YES0.08
TRS/SK90/4.16.trsYES0.02YES0.01YES0.08YES0.17YES0.09
TRS/SK90/4.17.trsMAYBE0.03MAYBE0.01MAYBE0.17MAYBE0.26MAYBE0.15
TRS/SK90/4.18.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/SK90/4.19.trsYES0.01YES0.02YES0.15YES0.17YES0.18
TRS/SK90/4.20.trsYES1.03YES0.01YES0.08YES0.14YES0.09
TRS/SK90/4.21.trsYES0.02YES0.03YES0.15YES0.32YES0.19
TRS/SK90/4.22.trsYES0.03YES0.02YES0.15YES0.31YES0.18
TRS/SK90/4.23.trsMAYBE0.04MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/SK90/4.24.trsMAYBE0.46MAYBE0.02MAYBE0.15MAYBE0.19MAYBE0.16
TRS/SK90/4.25.trsYES0.01YES0.01YES0.08YES0.14YES0.08
TRS/SK90/4.26.trsMAYBE0.25MAYBE0.02MAYBE0.17MAYBE0.19MAYBE0.16
TRS/SK90/4.27.trsMAYBE0.08MAYBE0.03MAYBE0.16MAYBE0.31MAYBE0.17
TRS/SK90/4.28.trsKILLED60YES0.06YES0.42YES0.93YES0.5
TRS/SK90/4.29.trsYES0.01YES0.01YES0.08YES0.17YES0.09
TRS/SK90/4.30.trsMAYBE0.09MAYBE0.02MAYBE0.16MAYBE0.27MAYBE0.16
TRS/SK90/4.31.trsYES0.24YES0.01YES0.08YES0.16YES0.09
TRS/SK90/4.32.trsMAYBE0.69MAYBE0.02MAYBE0.08MAYBE0.14MAYBE0.09
TRS/SK90/4.33.trsYES0.01YES0.01YES0.07YES0.13YES0.08
TRS/SK90/4.34.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.09MAYBE0.08
TRS/SK90/4.35.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/SK90/4.36.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/SK90/4.37.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/SK90/4.38.trsYES0.09YES0.03YES0.25YES0.49YES0.24
TRS/SK90/4.39.trsYES0.01YES0.01YES0.15YES0.24YES0.16
TRS/SK90/4.40.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/SK90/4.41.trsYES0.01YES0.01YES0.07YES0.1YES0.08
TRS/SK90/4.42.trsMAYBE0.29MAYBE0.03MAYBE0.16MAYBE0.35MAYBE0.17
TRS/SK90/4.43.trsMAYBE0.52MAYBE0.02MAYBE0.17MAYBE0.2MAYBE0.17
TRS/SK90/4.44.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/SK90/4.45.trsYES0.01YES0.01YES0.07YES0.1YES0.08
TRS/SK90/4.46.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/SK90/4.47.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/SK90/4.48.trsMAYBE0.2MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/SK90/4.49.trsMAYBE0.02MAYBE0.01MAYBE0.08MAYBE0.12MAYBE0.08
TRS/SK90/4.50.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/SK90/4.51.trsMAYBE0.05MAYBE0.01MAYBE0.07MAYBE0.09MAYBE0.08
TRS/SK90/4.52.trsYES0.03YES0.02YES0.16YES0.34YES0.17
TRS/SK90/4.53.trsYES0.02YES0.01YES0.08YES0.18YES0.09
TRS/SK90/4.54.trsMAYBE0.01MAYBE0.03MAYBE0.08MAYBE0.14MAYBE0.08
TRS/SK90/4.55.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.09MAYBE0.08
TRS/SK90/4.56.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/SK90/4.57.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/SK90/4.59.trsYES26.31YES0.03YES0.16YES0.37YES0.18
TRS/SK90/4.60.trsYES35.19YES0.04YES0.29YES0.57YES0.31
TRS/SK90/4.61.trsMAYBE22.63MAYBE0.05MAYBE0.4MAYBE0.54MAYBE0.39
TRS/Ste92/hydra.trsYES0.07YES0.01YES0.08YES0.13YES0.09
TRS/Ste92/minsort.trsKILLED60MAYBE0.06MAYBE0.51MAYBE0.66MAYBE0.5
TRS/Ste92/motivation.trsYES0.01YES0.01YES0.08YES0.1YES0.08
TRS/Ste92/perfect2.trsKILLED60MAYBE0.04MAYBE0.25MAYBE0.43MAYBE0.29
TRS/Ste92/perfect.trsYES16.29YES0.02YES0.09YES0.3YES0.1
TRS/Thiemann/div_notCeTermin.trsKILLED60MAYBE0.42MAYBE1.1MAYBE1.71MAYBE0.93
TRS/Thiemann/div_notTermin.trsKILLED60MAYBE0.34MAYBE1.13MAYBE1.59MAYBE1.11
TRS/Thiemann/factorial1.trsMAYBE6.15MAYBE0.05MAYBE0.31MAYBE0.52MAYBE0.36
TRS/Thiemann/factorial2.trsKILLED60MAYBE0.04MAYBE0.37MAYBE0.4MAYBE0.37
TRS/Thiemann/identity.trsMAYBE2.59MAYBE0.03MAYBE0.23MAYBE0.41MAYBE0.24
TRS/Thiemann/logarithm.trsKILLED60MAYBE0.07MAYBE0.44MAYBE0.62MAYBE0.46
TRS/Thiemann/mapHard.trsMAYBE0.1MAYBE0.08MAYBE0.31MAYBE0.49MAYBE0.39
TRS/Thiemann/modulo.trsKILLED60MAYBE0.03MAYBE0.25MAYBE0.3MAYBE0.24
TRS/Thiemann/nonterm.trsMAYBE0.09MAYBE0.03MAYBE0.17MAYBE0.39MAYBE0.2
TRS/Thiemann/quicksort.trsKILLED60MAYBE0.11MAYBE0.63MAYBE0.66MAYBE0.5
TRS/Thiemann/quot.trsKILLED60MAYBE0.04MAYBE0.28MAYBE0.56MAYBE0.27
TRS/Thiemann/sizeChange.trsMAYBE3.65MAYBE0.02MAYBE0.09MAYBE0.12MAYBE0.09
TRS/Thiemann/tower_sizeChange.trsMAYBE5.96MAYBE0.06MAYBE0.32MAYBE0.64MAYBE0.33
TRS/Thiemann/tower.trsKILLED60MAYBE0.07MAYBE0.48MAYBE0.53MAYBE0.49
TRS/TRCSR/Ex1_2_AEL03_C.trsKILLED60MAYBE14.53MAYBE10.48MAYBE29.25MAYBE11.57
TRS/TRCSR/Ex1_2_AEL03_FR.trsKILLED60YES0.17YES0.52YES1.61YES0.73
TRS/TRCSR/Ex1_2_AEL03_GM.trsKILLED60MAYBE0.11MAYBE0.16MAYBE0.59MAYBE0.16
TRS/TRCSR/Ex1_2_AEL03_iGM.trsKILLED60MAYBE1.74MAYBE2.72MAYBE5.82MAYBE2.72
TRS/TRCSR/Ex1_2_AEL03_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/Ex1_2_AEL03_Z.trsKILLED60YES0.07YES0.32YES0.68YES0.43
TRS/TRCSR/Ex1_2_Luc02c_C.trsKILLED60YES0.53YES1.98YES3.86YES2.18
TRS/TRCSR/Ex1_2_Luc02c_FR.trsYES6.68YES0.01YES0.22YES0.25YES0.09
TRS/TRCSR/Ex1_2_Luc02c_GM.trsMAYBE1.68MAYBE0.02MAYBE0.09MAYBE0.2MAYBE0.09
TRS/TRCSR/Ex1_2_Luc02c_iGM.trsMAYBE2.32MAYBE0.07MAYBE0.51MAYBE0.92MAYBE0.46
TRS/TRCSR/Ex1_2_Luc02c_L.trsMAYBE0.01MAYBE0.0MAYBE0.0MAYBE0.01MAYBE0.01
TRS/TRCSR/Ex1_2_Luc02c_Z.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/TRCSR/Ex14_AEGL02_C.trsKILLED60MAYBE0.51MAYBE1.94MAYBE4.46MAYBE2.43
TRS/TRCSR/Ex14_AEGL02_FR.trsMAYBE29.49MAYBE0.03MAYBE0.17MAYBE0.4MAYBE0.17
TRS/TRCSR/Ex14_AEGL02_GM.trsMAYBE13.4MAYBE0.03MAYBE0.16MAYBE0.36MAYBE0.19
TRS/TRCSR/Ex14_AEGL02_iGM.trsMAYBE8.99MAYBE0.37MAYBE1.44MAYBE1.9MAYBE1.6
TRS/TRCSR/Ex14_AEGL02_L.trsMAYBE0.01MAYBE0.01MAYBE0.09MAYBE0.13MAYBE0.08
TRS/TRCSR/Ex14_AEGL02_Z.trsMAYBE4.03MAYBE0.01MAYBE0.08MAYBE0.14MAYBE0.09
TRS/TRCSR/Ex14_Luc06_C.trsKILLED60MAYBE0.38MAYBE1.61MAYBE2.96MAYBE1.7
TRS/TRCSR/Ex14_Luc06_FR.trsMAYBE3.16MAYBE0.01MAYBE0.08MAYBE0.1MAYBE0.08
TRS/TRCSR/Ex14_Luc06_GM.trsMAYBE38.28MAYBE0.02MAYBE0.09MAYBE0.21MAYBE0.09
TRS/TRCSR/Ex14_Luc06_iGM.trsMAYBE2.42MAYBE0.1MAYBE0.49MAYBE1.27MAYBE0.51
TRS/TRCSR/Ex14_Luc06_L.trsMAYBE0.1MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/TRCSR/Ex14_Luc06_Z.trsMAYBE3.23MAYBE0.01MAYBE0.08MAYBE0.1MAYBE0.08
TRS/TRCSR/Ex15_Luc06_C.trsMAYBE1.29MAYBE0.09MAYBE0.76MAYBE1.13MAYBE0.77
TRS/TRCSR/Ex15_Luc06_FR.trsYES0.02YES0.01YES0.11YES0.12YES0.09
TRS/TRCSR/Ex15_Luc06_GM.trsYES0.01YES0.01YES0.08YES0.14YES0.09
TRS/TRCSR/Ex15_Luc06_iGM.trsYES0.16YES0.05YES0.57YES0.87YES0.39
TRS/TRCSR/Ex15_Luc06_L.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.13MAYBE0.08
TRS/TRCSR/Ex15_Luc06_Z.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/TRCSR/Ex15_Luc98_C.trsKILLED60YES2.8YES4.08YES8.19YES3.61
TRS/TRCSR/Ex15_Luc98_FR.trsKILLED60MAYBE0.03MAYBE0.1MAYBE0.31MAYBE0.1
TRS/TRCSR/Ex15_Luc98_GM.trsKILLED60MAYBE0.04MAYBE0.11MAYBE0.36MAYBE0.11
TRS/TRCSR/Ex15_Luc98_iGM.trsKILLED60YES2.47YES4.48YES9.43YES4.35
TRS/TRCSR/Ex15_Luc98_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/Ex15_Luc98_Z.trsKILLED60MAYBE0.03MAYBE0.09MAYBE0.27MAYBE0.1
TRS/TRCSR/Ex16_Luc06_C.trsMAYBE1.03MAYBE0.06MAYBE0.51MAYBE1.06MAYBE0.6
TRS/TRCSR/Ex16_Luc06_FR.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/TRCSR/Ex16_Luc06_GM.trsYES0.02YES0.01YES0.08YES0.11YES0.09
TRS/TRCSR/Ex16_Luc06_iGM.trsMAYBE0.21MAYBE0.04MAYBE0.3MAYBE0.63MAYBE0.26
TRS/TRCSR/Ex16_Luc06_L.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.09MAYBE0.08
TRS/TRCSR/Ex16_Luc06_Z.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/TRCSR/Ex18_Luc06_C.trsYES1.28YES0.1YES0.84YES1.48YES0.92
TRS/TRCSR/Ex18_Luc06_FR.trsYES0.01YES0.01YES0.08YES0.14YES0.08
TRS/TRCSR/Ex18_Luc06_GM.trsYES0.02YES0.01YES0.08YES0.11YES0.08
TRS/TRCSR/Ex18_Luc06_iGM.trsYES0.11YES0.04YES0.48YES0.84YES0.5
TRS/TRCSR/Ex18_Luc06_L.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/TRCSR/Ex18_Luc06_Z.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/TRCSR/Ex1_GL02a_C.trsKILLED60MAYBE1.66MAYBE3.17MAYBE5.95MAYBE3.29
TRS/TRCSR/Ex1_GL02a_FR.trsKILLED60MAYBE0.05MAYBE0.2MAYBE0.59MAYBE0.2
TRS/TRCSR/Ex1_GL02a_GM.trsKILLED60YES0.06YES0.48YES1.01YES0.23
TRS/TRCSR/Ex1_GL02a_iGM.trsKILLED60MAYBE0.67MAYBE1.71MAYBE3.34MAYBE1.02
TRS/TRCSR/Ex1_GL02a_L.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.13MAYBE0.08
TRS/TRCSR/Ex1_GL02a_Z.trsKILLED60MAYBE0.06MAYBE0.18MAYBE0.42MAYBE0.19
TRS/TRCSR/Ex1_GM03_C.trsKILLED60MAYBE2.03MAYBE3.3MAYBE6.24MAYBE3.28
TRS/TRCSR/Ex1_GM03_FR.trsKILLED60MAYBE0.03MAYBE0.2MAYBE0.43MAYBE0.18
TRS/TRCSR/Ex1_GM03_GM.trsKILLED60MAYBE0.04MAYBE0.11MAYBE0.4MAYBE0.11
TRS/TRCSR/Ex1_GM03_iGM.trsKILLED60MAYBE0.28MAYBE0.93MAYBE2.13MAYBE0.83
TRS/TRCSR/Ex1_GM03_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/Ex1_GM03_Z.trsMAYBE37.6MAYBE0.02MAYBE0.16MAYBE0.19MAYBE0.19
TRS/TRCSR/Ex1_GM99_C.trsMAYBE1.67MAYBE0.09MAYBE0.58MAYBE1.19MAYBE0.64
TRS/TRCSR/Ex1_GM99_FR.trsMAYBE0.02MAYBE0.01MAYBE0.11MAYBE0.09MAYBE0.09
TRS/TRCSR/Ex1_GM99_GM.trsMAYBE0.24MAYBE0.02MAYBE0.12MAYBE0.16MAYBE0.09
TRS/TRCSR/Ex1_GM99_iGM.trsMAYBE0.39MAYBE0.06MAYBE0.33MAYBE0.7MAYBE0.33
TRS/TRCSR/Ex1_GM99_L.trsMAYBE0.01MAYBE0.01MAYBE0.1MAYBE0.13MAYBE0.08
TRS/TRCSR/Ex1_GM99_Z.trsMAYBE0.04MAYBE0.01MAYBE0.11MAYBE0.09MAYBE0.08
TRS/TRCSR/Ex1_Luc02b_C.trsKILLED60MAYBE1.42MAYBE2.78MAYBE7.43MAYBE3.59
TRS/TRCSR/Ex1_Luc02b_FR.trsKILLED60MAYBE0.03MAYBE0.19MAYBE0.3MAYBE0.17
TRS/TRCSR/Ex1_Luc02b_GM.trsKILLED60MAYBE0.03MAYBE0.11MAYBE0.34MAYBE0.1
TRS/TRCSR/Ex1_Luc02b_iGM.trsKILLED60MAYBE0.16MAYBE0.78MAYBE1.69MAYBE0.79
TRS/TRCSR/Ex1_Luc02b_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/Ex1_Luc02b_Z.trsKILLED60MAYBE0.02MAYBE0.17MAYBE0.23MAYBE0.16
TRS/TRCSR/Ex1_Luc04b_C.trsKILLED60MAYBE1.0MAYBE3.04MAYBE5.91MAYBE3.12
TRS/TRCSR/Ex1_Luc04b_FR.trsMAYBE4.62MAYBE0.02MAYBE0.08MAYBE0.14MAYBE0.09
TRS/TRCSR/Ex1_Luc04b_GM.trsKILLED60MAYBE0.03MAYBE0.1MAYBE0.3MAYBE0.1
TRS/TRCSR/Ex1_Luc04b_iGM.trsMAYBE16.91MAYBE0.13MAYBE0.73MAYBE1.23MAYBE0.72
TRS/TRCSR/Ex1_Luc04b_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.0
TRS/TRCSR/Ex1_Luc04b_Z.trsMAYBE1.01MAYBE0.02MAYBE0.22MAYBE0.38MAYBE0.25
TRS/TRCSR/Ex1_Zan97_C.trsMAYBE1.12MAYBE0.06MAYBE0.52MAYBE0.69MAYBE0.56
TRS/TRCSR/Ex1_Zan97_FR.trsMAYBE0.03MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/TRCSR/Ex1_Zan97_GM.trsYES0.29YES0.01YES0.08YES0.12YES0.09
TRS/TRCSR/Ex1_Zan97_iGM.trsMAYBE0.17MAYBE0.04MAYBE0.29MAYBE0.47MAYBE0.27
TRS/TRCSR/Ex1_Zan97_L.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.09MAYBE0.08
TRS/TRCSR/Ex1_Zan97_Z.trsMAYBE0.04MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/TRCSR/Ex23_Luc06_C.trsYES6.75YES0.27YES1.45YES2.53YES1.58
TRS/TRCSR/Ex23_Luc06_FR.trsYES0.13YES0.01YES0.15YES0.3YES0.18
TRS/TRCSR/Ex23_Luc06_GM.trsYES0.05YES0.02YES0.15YES0.29YES0.16
TRS/TRCSR/Ex23_Luc06_iGM.trsYES0.31YES0.09YES0.91YES1.54YES0.99
TRS/TRCSR/Ex23_Luc06_L.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/TRCSR/Ex23_Luc06_Z.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/TRCSR/Ex24_GM04_C.trsMAYBE5.62MAYBE0.12MAYBE0.77MAYBE1.62MAYBE0.66
TRS/TRCSR/Ex24_GM04_FR.trsMAYBE0.09MAYBE0.01MAYBE0.16MAYBE0.2MAYBE0.16
TRS/TRCSR/Ex24_GM04_GM.trsMAYBE1.88MAYBE0.02MAYBE0.21MAYBE0.28MAYBE0.16
TRS/TRCSR/Ex24_GM04_iGM.trsMAYBE0.98MAYBE0.07MAYBE0.44MAYBE0.95MAYBE0.44
TRS/TRCSR/Ex24_GM04_L.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.13MAYBE0.08
TRS/TRCSR/Ex24_GM04_Z.trsMAYBE0.11MAYBE0.01MAYBE0.1MAYBE0.09MAYBE0.08
TRS/TRCSR/Ex24_Luc06_C.trsMAYBE1.97MAYBE0.1MAYBE0.56MAYBE1.2MAYBE0.56
TRS/TRCSR/Ex24_Luc06_FR.trsMAYBE0.03MAYBE0.01MAYBE0.08MAYBE0.1MAYBE0.08
TRS/TRCSR/Ex24_Luc06_GM.trsMAYBE0.33MAYBE0.02MAYBE0.15MAYBE0.27MAYBE0.16
TRS/TRCSR/Ex24_Luc06_iGM.trsMAYBE0.34MAYBE0.07MAYBE0.32MAYBE0.83MAYBE0.32
TRS/TRCSR/Ex24_Luc06_L.trsMAYBE0.01MAYBE0.01MAYBE0.07MAYBE0.13MAYBE0.08
TRS/TRCSR/Ex24_Luc06_Z.trsMAYBE0.03MAYBE0.01MAYBE0.08MAYBE0.1MAYBE0.08
TRS/TRCSR/Ex25_Luc06_C.trsKILLED60YES0.32YES1.92YES3.95YES2.02
TRS/TRCSR/Ex25_Luc06_FR.trsMAYBE24.99MAYBE0.02MAYBE0.09MAYBE0.14MAYBE0.09
TRS/TRCSR/Ex25_Luc06_GM.trsYES1.34YES0.02YES0.17YES0.34YES0.18
TRS/TRCSR/Ex25_Luc06_iGM.trsYES2.4YES0.18YES1.41YES2.71YES1.43
TRS/TRCSR/Ex25_Luc06_L.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/TRCSR/Ex25_Luc06_Z.trsYES7.21YES0.01YES0.08YES0.15YES0.09
TRS/TRCSR/Ex26_Luc03b_C.trsKILLED60YES4.43YES7.03YES14.1YES6.64
TRS/TRCSR/Ex26_Luc03b_FR.trsKILLED60MAYBE0.05MAYBE0.12MAYBE0.36MAYBE0.11
TRS/TRCSR/Ex26_Luc03b_GM.trsKILLED60MAYBE0.05MAYBE0.11MAYBE0.39MAYBE0.12
TRS/TRCSR/Ex26_Luc03b_iGM.trsKILLED60MAYBE0.78MAYBE1.46MAYBE4.16MAYBE1.48
TRS/TRCSR/Ex26_Luc03b_L.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/TRCSR/Ex26_Luc03b_Z.trsKILLED60MAYBE0.03MAYBE0.1MAYBE0.31MAYBE0.1
TRS/TRCSR/Ex2_Luc02a_C.trsKILLED60YES5.65YES7.79YES15.0YES7.01
TRS/TRCSR/Ex2_Luc02a_FR.trsKILLED60MAYBE0.08MAYBE0.42MAYBE0.92MAYBE0.53
TRS/TRCSR/Ex2_Luc02a_GM.trsKILLED60MAYBE0.05MAYBE0.13MAYBE0.42MAYBE0.13
TRS/TRCSR/Ex2_Luc02a_iGM.trsKILLED60MAYBE0.73MAYBE1.66MAYBE3.16MAYBE1.46
TRS/TRCSR/Ex2_Luc02a_L.trsYES8.04YES0.03YES0.26YES0.46YES0.27
TRS/TRCSR/Ex2_Luc02a_Z.trsKILLED60MAYBE0.06MAYBE0.34MAYBE0.72MAYBE0.38
TRS/TRCSR/Ex2_Luc03b_C.trsKILLED60YES1.86YES3.41YES9.33YES4.53
TRS/TRCSR/Ex2_Luc03b_FR.trsKILLED60MAYBE0.04MAYBE0.1MAYBE0.33MAYBE0.11
TRS/TRCSR/Ex2_Luc03b_GM.trsKILLED60MAYBE0.04MAYBE0.11MAYBE0.35MAYBE0.11
TRS/TRCSR/Ex2_Luc03b_iGM.trsKILLED60MAYBE0.36MAYBE1.27MAYBE2.47MAYBE1.03
TRS/TRCSR/Ex2_Luc03b_L.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/TRCSR/Ex2_Luc03b_Z.trsKILLED60MAYBE0.03MAYBE0.1MAYBE0.23MAYBE0.11
TRS/TRCSR/Ex3_12_Luc96a_C.trsKILLED60MAYBE0.59MAYBE2.32MAYBE5.04MAYBE2.47
TRS/TRCSR/Ex3_12_Luc96a_FR.trsMAYBE2.36MAYBE0.02MAYBE0.16MAYBE0.32MAYBE0.17
TRS/TRCSR/Ex3_12_Luc96a_GM.trsMAYBE13.66MAYBE0.02MAYBE0.09MAYBE0.25MAYBE0.1
TRS/TRCSR/Ex3_12_Luc96a_iGM.trsMAYBE6.27MAYBE0.1MAYBE0.58MAYBE1.16MAYBE0.59
TRS/TRCSR/Ex3_12_Luc96a_L.trsMAYBE0.01MAYBE0.01MAYBE0.0MAYBE0.01MAYBE0.0
TRS/TRCSR/Ex3_12_Luc96a_Z.trsMAYBE0.45MAYBE0.01MAYBE0.08MAYBE0.1MAYBE0.08
TRS/TRCSR/Ex3_2_Luc97_C.trsKILLED60MAYBE1.85MAYBE3.63MAYBE7.09MAYBE4.15
TRS/TRCSR/Ex3_2_Luc97_FR.trsKILLED60MAYBE0.03MAYBE0.11MAYBE0.35MAYBE0.12
TRS/TRCSR/Ex3_2_Luc97_GM.trsKILLED60MAYBE0.04MAYBE0.12MAYBE0.36MAYBE0.12
TRS/TRCSR/Ex3_2_Luc97_iGM.trsKILLED60MAYBE0.27MAYBE1.17MAYBE2.44MAYBE1.19
TRS/TRCSR/Ex3_2_Luc97_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/Ex3_2_Luc97_Z.trsKILLED60MAYBE0.03MAYBE0.11MAYBE0.32MAYBE0.11
TRS/TRCSR/Ex3_3_25_Bor03_C.trsKILLED60YES2.73YES4.81YES10.4YES4.88
TRS/TRCSR/Ex3_3_25_Bor03_FR.trsKILLED60MAYBE0.04MAYBE0.1MAYBE0.31MAYBE0.11
TRS/TRCSR/Ex3_3_25_Bor03_GM.trsKILLED60MAYBE0.05MAYBE0.11MAYBE0.37MAYBE0.12
TRS/TRCSR/Ex3_3_25_Bor03_iGM.trsKILLED60MAYBE0.68MAYBE1.28MAYBE2.69MAYBE1.09
TRS/TRCSR/Ex3_3_25_Bor03_L.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/TRCSR/Ex3_3_25_Bor03_Z.trsKILLED60MAYBE0.02MAYBE0.17MAYBE0.29MAYBE0.17
TRS/TRCSR/Ex4_4_Luc96b_C.trsYES3.53YES0.14YES1.05YES2.03YES1.06
TRS/TRCSR/Ex4_4_Luc96b_FR.trsMAYBE0.22MAYBE0.01MAYBE0.08MAYBE0.15MAYBE0.09
TRS/TRCSR/Ex4_4_Luc96b_GM.trsMAYBE0.13MAYBE0.02MAYBE0.18MAYBE0.27MAYBE0.19
TRS/TRCSR/Ex4_4_Luc96b_iGM.trsMAYBE0.23MAYBE0.06MAYBE0.54MAYBE0.68MAYBE0.43
TRS/TRCSR/Ex4_4_Luc96b_L.trsYES0.01YES0.01YES0.1YES0.09YES0.08
TRS/TRCSR/Ex4_4_Luc96b_Z.trsMAYBE0.06MAYBE0.01MAYBE0.11MAYBE0.14MAYBE0.08
TRS/TRCSR/Ex4_7_15_Bor03_C.trsKILLED60MAYBE0.68MAYBE2.11MAYBE3.84MAYBE2.34
TRS/TRCSR/Ex4_7_15_Bor03_FR.trsYES0.75YES0.02YES0.16YES0.47YES0.3
TRS/TRCSR/Ex4_7_15_Bor03_GM.trsYES1.46YES0.06YES0.52YES0.72YES0.42
TRS/TRCSR/Ex4_7_15_Bor03_iGM.trsYES5.05YES0.45YES1.68YES2.9YES0.99
TRS/TRCSR/Ex4_7_15_Bor03_L.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/TRCSR/Ex4_7_15_Bor03_Z.trsYES0.05YES0.01YES0.08YES0.15YES0.09
TRS/TRCSR/Ex4_7_37_Bor03_C.trsKILLED60MAYBE3.87MAYBE5.58MAYBE10.77MAYBE5.77
TRS/TRCSR/Ex4_7_37_Bor03_FR.trsKILLED60MAYBE0.09MAYBE0.41MAYBE0.96MAYBE0.39
TRS/TRCSR/Ex4_7_37_Bor03_GM.trsKILLED60MAYBE0.07MAYBE0.13MAYBE0.46MAYBE0.14
TRS/TRCSR/Ex4_7_37_Bor03_iGM.trsKILLED60MAYBE0.3MAYBE1.35MAYBE3.11MAYBE1.31
TRS/TRCSR/Ex4_7_37_Bor03_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/Ex4_7_37_Bor03_Z.trsKILLED60MAYBE0.06MAYBE0.39MAYBE0.69MAYBE0.45
TRS/TRCSR/Ex4_7_56_Bor03_C.trsKILLED60MAYBE0.57MAYBE2.51MAYBE4.47MAYBE2.29
TRS/TRCSR/Ex4_7_56_Bor03_FR.trsMAYBE2.25MAYBE0.02MAYBE0.16MAYBE0.23MAYBE0.17
TRS/TRCSR/Ex4_7_56_Bor03_GM.trsMAYBE12.98MAYBE0.02MAYBE0.13MAYBE0.25MAYBE0.1
TRS/TRCSR/Ex4_7_56_Bor03_iGM.trsMAYBE6.35MAYBE0.1MAYBE0.59MAYBE1.18MAYBE0.59
TRS/TRCSR/Ex4_7_56_Bor03_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/Ex4_7_56_Bor03_Z.trsMAYBE0.43MAYBE0.01MAYBE0.08MAYBE0.11MAYBE0.08
TRS/TRCSR/Ex4_7_77_Bor03_C.trsMAYBE5.29MAYBE0.1MAYBE1.03MAYBE1.83MAYBE0.94
TRS/TRCSR/Ex4_7_77_Bor03_FR.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/TRCSR/Ex4_7_77_Bor03_GM.trsMAYBE0.05MAYBE0.01MAYBE0.11MAYBE0.16MAYBE0.09
TRS/TRCSR/Ex4_7_77_Bor03_iGM.trsMAYBE0.18MAYBE0.04MAYBE0.31MAYBE0.65MAYBE0.3
TRS/TRCSR/Ex4_7_77_Bor03_L.trsMAYBE0.01MAYBE0.0MAYBE0.01MAYBE0.0MAYBE0.0
TRS/TRCSR/Ex4_7_77_Bor03_Z.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/TRCSR/Ex49_GM04_C.trsKILLED60YES1.36YES2.71YES5.05YES2.78
TRS/TRCSR/Ex49_GM04_FR.trsKILLED60MAYBE0.04MAYBE0.11MAYBE0.35MAYBE0.11
TRS/TRCSR/Ex49_GM04_GM.trsKILLED60MAYBE0.05MAYBE0.32MAYBE0.72MAYBE0.31
TRS/TRCSR/Ex49_GM04_iGM.trsKILLED60MAYBE0.4MAYBE1.19MAYBE2.41MAYBE1.25
TRS/TRCSR/Ex49_GM04_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/Ex49_GM04_Z.trsKILLED60MAYBE0.04MAYBE0.29MAYBE0.56MAYBE0.32
TRS/TRCSR/Ex4_DLMMU04_C.trsKILLED60MAYBE9.33MAYBE8.88MAYBE21.76MAYBE10.8
TRS/TRCSR/Ex4_DLMMU04_FR.trsKILLED60MAYBE0.07MAYBE0.21MAYBE0.33MAYBE0.13
TRS/TRCSR/Ex4_DLMMU04_GM.trsKILLED60MAYBE0.12MAYBE0.17MAYBE0.46MAYBE0.2
TRS/TRCSR/Ex4_DLMMU04_iGM.trsKILLED60MAYBE1.93MAYBE2.63MAYBE6.58MAYBE2.71
TRS/TRCSR/Ex4_DLMMU04_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/Ex4_DLMMU04_Z.trsKILLED60MAYBE0.05MAYBE0.16MAYBE0.38MAYBE0.14
TRS/TRCSR/Ex4_Zan97_C.trsKILLED60MAYBE1.4MAYBE2.84MAYBE5.47MAYBE3.02
TRS/TRCSR/Ex4_Zan97_FR.trsMAYBE13.81MAYBE0.02MAYBE0.26MAYBE0.43MAYBE0.28
TRS/TRCSR/Ex4_Zan97_GM.trsKILLED60MAYBE0.03MAYBE0.1MAYBE0.36MAYBE0.11
TRS/TRCSR/Ex4_Zan97_iGM.trsMAYBE29.21MAYBE0.12MAYBE0.78MAYBE1.42MAYBE0.77
TRS/TRCSR/Ex4_Zan97_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/Ex4_Zan97_Z.trsMAYBE2.56MAYBE0.02MAYBE0.16MAYBE0.22MAYBE0.17
TRS/TRCSR/Ex5_7_Luc97_C.trsKILLED60MAYBE6.07MAYBE8.56MAYBE22.97MAYBE7.92
TRS/TRCSR/Ex5_7_Luc97_FR.trsKILLED60MAYBE0.15MAYBE0.45MAYBE0.8MAYBE0.53
TRS/TRCSR/Ex5_7_Luc97_GM.trsKILLED60MAYBE0.07MAYBE0.23MAYBE0.5MAYBE0.15
TRS/TRCSR/Ex5_7_Luc97_iGM.trsKILLED60MAYBE1.03MAYBE2.3MAYBE4.36MAYBE2.33
TRS/TRCSR/Ex5_7_Luc97_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/Ex5_7_Luc97_Z.trsKILLED60MAYBE0.11MAYBE0.41MAYBE0.78MAYBE0.52
TRS/TRCSR/Ex5_DLMMU04_C.trsKILLED60MAYBE5.85MAYBE6.02MAYBE17.9MAYBE7.29
TRS/TRCSR/Ex5_DLMMU04_FR.trsKILLED60MAYBE0.05MAYBE0.11MAYBE0.34MAYBE0.12
TRS/TRCSR/Ex5_DLMMU04_GM.trsKILLED60MAYBE0.05MAYBE0.13MAYBE0.38MAYBE0.13
TRS/TRCSR/Ex5_DLMMU04_iGM.trsKILLED60MAYBE0.79MAYBE1.56MAYBE3.47MAYBE1.57
TRS/TRCSR/Ex5_DLMMU04_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/Ex5_DLMMU04_Z.trsKILLED60MAYBE0.08MAYBE0.21MAYBE0.46MAYBE0.22
TRS/TRCSR/Ex5_Zan97_C.trsMAYBE21.65MAYBE0.25MAYBE1.29MAYBE2.56MAYBE1.42
TRS/TRCSR/Ex5_Zan97_FR.trsMAYBE1.07MAYBE0.01MAYBE0.08MAYBE0.14MAYBE0.09
TRS/TRCSR/Ex5_Zan97_GM.trsMAYBE1.84MAYBE0.02MAYBE0.09MAYBE0.18MAYBE0.09
TRS/TRCSR/Ex5_Zan97_iGM.trsMAYBE0.78MAYBE0.08MAYBE0.31MAYBE0.61MAYBE0.29
TRS/TRCSR/Ex5_Zan97_L.trsMAYBE0.01MAYBE0.0MAYBE0.0MAYBE0.01MAYBE0.0
TRS/TRCSR/Ex5_Zan97_Z.trsMAYBE2.05MAYBE0.01MAYBE0.08MAYBE0.11MAYBE0.08
TRS/TRCSR/Ex6_15_AEL02_C.trsKILLED60MAYBE18.52MAYBE15.43MAYBE33.58MAYBE16.25
TRS/TRCSR/Ex6_15_AEL02_FR.trsKILLED60MAYBE0.2MAYBE0.82MAYBE1.41MAYBE0.88
TRS/TRCSR/Ex6_15_AEL02_GM.trsKILLED60MAYBE0.11MAYBE0.33MAYBE0.73MAYBE0.21
TRS/TRCSR/Ex6_15_AEL02_iGM.trsKILLED60MAYBE1.94MAYBE3.16MAYBE7.88MAYBE3.54
TRS/TRCSR/Ex6_15_AEL02_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/Ex6_15_AEL02_Z.trsKILLED60MAYBE0.19MAYBE0.81MAYBE1.64MAYBE0.84
TRS/TRCSR/Ex6_9_Luc02c_C.trsKILLED60MAYBE1.15MAYBE3.1MAYBE5.78MAYBE3.15
TRS/TRCSR/Ex6_9_Luc02c_FR.trsMAYBE2.53MAYBE0.01MAYBE0.08MAYBE0.14MAYBE0.09
TRS/TRCSR/Ex6_9_Luc02c_GM.trsMAYBE16.66MAYBE0.03MAYBE0.1MAYBE0.25MAYBE0.1
TRS/TRCSR/Ex6_9_Luc02c_iGM.trsMAYBE25.72MAYBE0.14MAYBE0.75MAYBE1.18MAYBE0.77
TRS/TRCSR/Ex6_9_Luc02c_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.0
TRS/TRCSR/Ex6_9_Luc02c_Z.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/TRCSR/Ex6_GM04_C.trsYES0.74YES0.06YES0.64YES0.88YES0.73
TRS/TRCSR/Ex6_GM04_FR.trsMAYBE0.15MAYBE0.01MAYBE0.08MAYBE0.14MAYBE0.09
TRS/TRCSR/Ex6_GM04_GM.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/TRCSR/Ex6_GM04_iGM.trsYES0.09YES0.03YES0.48YES0.8YES0.26
TRS/TRCSR/Ex6_GM04_L.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/TRCSR/Ex6_GM04_Z.trsMAYBE0.23MAYBE0.01MAYBE0.1MAYBE0.14MAYBE0.09
TRS/TRCSR/Ex6_Luc98_C.trsKILLED60YES0.84YES2.47YES5.78YES3.02
TRS/TRCSR/Ex6_Luc98_FR.trsMAYBE11.24MAYBE0.02MAYBE0.09MAYBE0.22MAYBE0.1
TRS/TRCSR/Ex6_Luc98_GM.trsMAYBE12.8MAYBE0.02MAYBE0.09MAYBE0.23MAYBE0.1
TRS/TRCSR/Ex6_Luc98_iGM.trsYES8.65YES0.55YES1.31YES4.05YES1.99
TRS/TRCSR/Ex6_Luc98_L.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/TRCSR/Ex6_Luc98_Z.trsMAYBE21.02MAYBE0.02MAYBE0.09MAYBE0.17MAYBE0.09
TRS/TRCSR/Ex7_BLR02_C.trsKILLED60MAYBE2.79MAYBE4.8MAYBE11.61MAYBE5.78
TRS/TRCSR/Ex7_BLR02_FR.trsKILLED60MAYBE0.03MAYBE0.18MAYBE0.41MAYBE0.18
TRS/TRCSR/Ex7_BLR02_GM.trsKILLED60MAYBE0.04MAYBE0.11MAYBE0.4MAYBE0.12
TRS/TRCSR/Ex7_BLR02_iGM.trsKILLED60MAYBE0.22MAYBE1.16MAYBE2.77MAYBE1.18
TRS/TRCSR/Ex7_BLR02_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/Ex7_BLR02_Z.trsKILLED60MAYBE0.02MAYBE0.17MAYBE0.24MAYBE0.17
TRS/TRCSR/Ex8_BLR02_C.trsKILLED60MAYBE2.74MAYBE4.41MAYBE9.97MAYBE3.84
TRS/TRCSR/Ex8_BLR02_FR.trsKILLED60MAYBE0.03MAYBE0.27MAYBE0.38MAYBE0.3
TRS/TRCSR/Ex8_BLR02_GM.trsKILLED60MAYBE0.04MAYBE0.12MAYBE0.42MAYBE0.12
TRS/TRCSR/Ex8_BLR02_iGM.trsKILLED60MAYBE0.28MAYBE1.05MAYBE1.92MAYBE1.01
TRS/TRCSR/Ex8_BLR02_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/Ex8_BLR02_Z.trsKILLED60MAYBE0.02MAYBE0.17MAYBE0.23MAYBE0.17
TRS/TRCSR/Ex9_BLR02_C.trsKILLED60YES2.4YES4.44YES9.32YES4.34
TRS/TRCSR/Ex9_BLR02_FR.trsKILLED60MAYBE0.03MAYBE0.1MAYBE0.34MAYBE0.1
TRS/TRCSR/Ex9_BLR02_GM.trsKILLED60MAYBE0.06MAYBE0.11MAYBE0.37MAYBE0.12
TRS/TRCSR/Ex9_BLR02_iGM.trsKILLED60YES1.21YES2.27YES6.18YES3.35
TRS/TRCSR/Ex9_BLR02_L.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/TRCSR/Ex9_BLR02_Z.trsKILLED60MAYBE0.03MAYBE0.14MAYBE0.34MAYBE0.11
TRS/TRCSR/Ex9_Luc04_C.trsMAYBE3.32MAYBE0.11MAYBE0.74MAYBE1.42MAYBE0.86
TRS/TRCSR/Ex9_Luc04_FR.trsMAYBE0.02MAYBE0.01MAYBE0.08MAYBE0.09MAYBE0.08
TRS/TRCSR/Ex9_Luc04_GM.trsMAYBE0.27MAYBE0.02MAYBE0.09MAYBE0.15MAYBE0.09
TRS/TRCSR/Ex9_Luc04_iGM.trsMAYBE0.37MAYBE0.05MAYBE0.27MAYBE0.52MAYBE0.2
TRS/TRCSR/Ex9_Luc04_L.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.09MAYBE0.08
TRS/TRCSR/Ex9_Luc04_Z.trsMAYBE0.02MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/TRCSR/Ex9_Luc06_C.trsMAYBE2.26MAYBE0.09MAYBE0.66MAYBE1.23MAYBE0.6
TRS/TRCSR/Ex9_Luc06_FR.trsMAYBE0.05MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/TRCSR/Ex9_Luc06_GM.trsMAYBE0.36MAYBE0.02MAYBE0.16MAYBE0.28MAYBE0.17
TRS/TRCSR/Ex9_Luc06_iGM.trsMAYBE0.33MAYBE0.04MAYBE0.18MAYBE0.48MAYBE0.19
TRS/TRCSR/Ex9_Luc06_L.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.09
TRS/TRCSR/Ex9_Luc06_Z.trsMAYBE0.05MAYBE0.01MAYBE0.08MAYBE0.1MAYBE0.08
TRS/TRCSR/ExAppendixB_AEL03_C.trsKILLED60MAYBE15.06MAYBE13.82MAYBE32.42MAYBE14.34
TRS/TRCSR/ExAppendixB_AEL03_FR.trsKILLED60YES0.17YES0.71YES1.37YES0.77
TRS/TRCSR/ExAppendixB_AEL03_GM.trsKILLED60MAYBE0.18MAYBE0.33MAYBE0.59MAYBE0.21
TRS/TRCSR/ExAppendixB_AEL03_iGM.trsKILLED60MAYBE3.03MAYBE3.27MAYBE7.25MAYBE2.75
TRS/TRCSR/ExAppendixB_AEL03_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/ExAppendixB_AEL03_Z.trsKILLED60YES0.12YES0.45YES0.98YES0.46
TRS/TRCSR/ExConc_Zan97_C.trsYES6.0YES0.13YES1.26YES2.09YES1.51
TRS/TRCSR/ExConc_Zan97_FR.trsYES0.07YES0.01YES0.16YES0.28YES0.09
TRS/TRCSR/ExConc_Zan97_GM.trsYES0.04YES0.01YES0.15YES0.23YES0.17
TRS/TRCSR/ExConc_Zan97_iGM.trsYES0.38YES0.08YES1.0YES1.2YES0.77
TRS/TRCSR/ExConc_Zan97_L.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/TRCSR/ExConc_Zan97_Z.trsMAYBE0.02MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/TRCSR/ExIntrod_GM01_C.trsKILLED60MAYBE2.14MAYBE4.26MAYBE7.79MAYBE4.52
TRS/TRCSR/ExIntrod_GM01_FR.trsMAYBE26.25MAYBE0.03MAYBE0.1MAYBE0.22MAYBE0.1
TRS/TRCSR/ExIntrod_GM01_GM.trsKILLED60MAYBE0.05MAYBE0.14MAYBE0.37MAYBE0.11
TRS/TRCSR/ExIntrod_GM01_iGM.trsKILLED60MAYBE0.16MAYBE0.91MAYBE1.57MAYBE0.91
TRS/TRCSR/ExIntrod_GM01_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/ExIntrod_GM01_Z.trsMAYBE27.19MAYBE0.04MAYBE0.09MAYBE0.18MAYBE0.1
TRS/TRCSR/ExIntrod_GM04_C.trsKILLED60MAYBE0.89MAYBE3.05MAYBE6.0MAYBE3.51
TRS/TRCSR/ExIntrod_GM04_FR.trsKILLED60MAYBE0.03MAYBE0.1MAYBE0.25MAYBE0.1
TRS/TRCSR/ExIntrod_GM04_GM.trsKILLED60MAYBE0.04MAYBE0.1MAYBE0.23MAYBE0.11
TRS/TRCSR/ExIntrod_GM04_iGM.trsKILLED60MAYBE0.17MAYBE0.96MAYBE1.39MAYBE0.9
TRS/TRCSR/ExIntrod_GM04_L.trsMAYBE0.01MAYBE0.01MAYBE0.0MAYBE0.01MAYBE0.01
TRS/TRCSR/ExIntrod_GM04_Z.trsKILLED60MAYBE0.03MAYBE0.1MAYBE0.22MAYBE0.1
TRS/TRCSR/ExIntrod_GM99_C.trsKILLED60MAYBE5.67MAYBE6.6MAYBE15.34MAYBE7.21
TRS/TRCSR/ExIntrod_GM99_FR.trsKILLED60MAYBE0.03MAYBE0.11MAYBE0.33MAYBE0.13
TRS/TRCSR/ExIntrod_GM99_GM.trsKILLED60MAYBE0.05MAYBE0.14MAYBE0.42MAYBE0.15
TRS/TRCSR/ExIntrod_GM99_iGM.trsKILLED60MAYBE0.77MAYBE1.6MAYBE4.14MAYBE1.8
TRS/TRCSR/ExIntrod_GM99_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/ExIntrod_GM99_Z.trsKILLED60MAYBE0.03MAYBE0.1MAYBE0.19MAYBE0.1
TRS/TRCSR/ExIntrod_Zan97_C.trsKILLED60MAYBE4.38MAYBE5.77MAYBE10.06MAYBE6.08
TRS/TRCSR/ExIntrod_Zan97_FR.trsKILLED60MAYBE0.05MAYBE0.31MAYBE0.67MAYBE0.33
TRS/TRCSR/ExIntrod_Zan97_GM.trsKILLED60MAYBE0.05MAYBE0.19MAYBE0.44MAYBE0.13
TRS/TRCSR/ExIntrod_Zan97_iGM.trsKILLED60MAYBE0.42MAYBE1.29MAYBE3.21MAYBE1.3
TRS/TRCSR/ExIntrod_Zan97_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/ExIntrod_Zan97_Z.trsKILLED60MAYBE0.04MAYBE0.27MAYBE0.4MAYBE0.31
TRS/TRCSR/ExProp7_Luc06_C.trsKILLED60MAYBE0.62MAYBE2.2MAYBE3.94MAYBE2.39
TRS/TRCSR/ExProp7_Luc06_FR.trsMAYBE1.1MAYBE0.02MAYBE0.29MAYBE0.54MAYBE0.3
TRS/TRCSR/ExProp7_Luc06_GM.trsMAYBE3.64MAYBE0.04MAYBE0.31MAYBE0.56MAYBE0.28
TRS/TRCSR/ExProp7_Luc06_iGM.trsMAYBE5.81MAYBE0.13MAYBE0.95MAYBE1.97MAYBE0.98
TRS/TRCSR/ExProp7_Luc06_L.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/TRCSR/ExProp7_Luc06_Z.trsMAYBE0.12MAYBE0.01MAYBE0.08MAYBE0.1MAYBE0.09
TRS/TRCSR/ExSec11_1_Luc02a_C.trsKILLED60YES6.69YES8.17YES17.79YES7.99
TRS/TRCSR/ExSec11_1_Luc02a_FR.trsKILLED60MAYBE0.14MAYBE0.6MAYBE1.1MAYBE0.66
TRS/TRCSR/ExSec11_1_Luc02a_GM.trsKILLED60MAYBE0.07MAYBE0.13MAYBE0.44MAYBE0.14
TRS/TRCSR/ExSec11_1_Luc02a_iGM.trsKILLED60MAYBE1.13MAYBE2.01MAYBE3.84MAYBE1.89
TRS/TRCSR/ExSec11_1_Luc02a_L.trsKILLED60YES0.04YES0.39YES0.56YES0.43
TRS/TRCSR/ExSec11_1_Luc02a_Z.trsKILLED60MAYBE0.08MAYBE0.53MAYBE0.95MAYBE0.6
TRS/TRCSR/ExSec4_2_DLMMU04_C.trsKILLED60MAYBE13.66MAYBE14.37MAYBE26.11MAYBE11.79
TRS/TRCSR/ExSec4_2_DLMMU04_FR.trsKILLED60MAYBE0.03MAYBE0.18MAYBE0.39MAYBE0.19
TRS/TRCSR/ExSec4_2_DLMMU04_GM.trsKILLED60MAYBE0.09MAYBE0.18MAYBE0.64MAYBE0.18
TRS/TRCSR/ExSec4_2_DLMMU04_iGM.trsKILLED60MAYBE1.79MAYBE2.63MAYBE7.27MAYBE3.1
TRS/TRCSR/ExSec4_2_DLMMU04_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/ExSec4_2_DLMMU04_Z.trsKILLED60MAYBE0.02MAYBE0.1MAYBE0.18MAYBE0.1
TRS/TRCSR/LengthOfFiniteLists_complete_C.trsKILLED60MAYBE55.98MAYBE28.46KILLED60MAYBE26.39
TRS/TRCSR/LengthOfFiniteLists_complete_FR.trsKILLED60MAYBE0.22MAYBE0.37MAYBE0.88MAYBE0.36
TRS/TRCSR/LengthOfFiniteLists_complete_GM.trsKILLED60MAYBE0.22MAYBE0.31MAYBE0.68MAYBE0.33
TRS/TRCSR/LengthOfFiniteLists_complete_iGM.trsKILLED60MAYBE7.96MAYBE8.57MAYBE16.88MAYBE7.2
TRS/TRCSR/LengthOfFiniteLists_complete_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/LengthOfFiniteLists_complete_noand_C.trsKILLED60KILLED60KILLED60KILLED60KILLED60
TRS/TRCSR/LengthOfFiniteLists_complete-noand_FR.trsKILLED60MAYBE1.02MAYBE0.58MAYBE1.22MAYBE0.71
TRS/TRCSR/LengthOfFiniteLists_complete_noand_GM.trsKILLED60MAYBE6.81MAYBE2.13MAYBE3.43MAYBE2.1
TRS/TRCSR/LengthOfFiniteLists_complete_noand_iGM.trsKILLED60KILLED60KILLED60KILLED60KILLED60
TRS/TRCSR/LengthOfFiniteLists_complete-noand_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/LengthOfFiniteLists_complete-noand_Z.trsKILLED60MAYBE1.13MAYBE0.62MAYBE1.2MAYBE0.65
TRS/TRCSR/LengthOfFiniteLists_complete_Z.trsKILLED60MAYBE0.26MAYBE0.39MAYBE0.79MAYBE0.31
TRS/TRCSR/LengthOfFiniteLists_nokinds_C.trsKILLED60MAYBE2.95MAYBE4.43MAYBE8.18MAYBE4.95
TRS/TRCSR/LengthOfFiniteLists_nokinds_FR.trsKILLED60MAYBE0.07MAYBE0.12MAYBE0.43MAYBE0.13
TRS/TRCSR/LengthOfFiniteLists_nokinds_GM.trsKILLED60MAYBE0.05MAYBE0.13MAYBE0.4MAYBE0.14
TRS/TRCSR/LengthOfFiniteLists_nokinds_iGM.trsKILLED60MAYBE0.58MAYBE1.49MAYBE3.08MAYBE1.42
TRS/TRCSR/LengthOfFiniteLists_nokinds_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_C.trsKILLED60MAYBE15.61MAYBE14.58MAYBE28.02MAYBE14.82
TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_FR.trsKILLED60MAYBE0.2MAYBE0.26MAYBE0.72MAYBE0.26
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_GM.trsKILLED60MAYBE0.47MAYBE0.62MAYBE1.37MAYBE0.5
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_iGM.trsKILLED60MAYBE7.07MAYBE7.0MAYBE25.52MAYBE10.1
TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_Z.trsKILLED60MAYBE0.14MAYBE0.27MAYBE0.61MAYBE0.3
TRS/TRCSR/LengthOfFiniteLists_nokinds_Z.trsKILLED60MAYBE0.05MAYBE0.12MAYBE0.33MAYBE0.13
TRS/TRCSR/LengthOfFiniteLists_nosorts_C.trsKILLED60MAYBE0.71MAYBE2.2MAYBE3.23MAYBE2.24
TRS/TRCSR/LengthOfFiniteLists_nosorts_FR.trsMAYBE0.14MAYBE0.01MAYBE0.08MAYBE0.14MAYBE0.08
TRS/TRCSR/LengthOfFiniteLists_nosorts_GM.trsMAYBE9.14MAYBE0.02MAYBE0.09MAYBE0.21MAYBE0.1
TRS/TRCSR/LengthOfFiniteLists_nosorts_iGM.trsMAYBE7.56MAYBE0.29MAYBE1.69MAYBE2.83MAYBE1.35
TRS/TRCSR/LengthOfFiniteLists_nosorts_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_C.trsKILLED60MAYBE0.63MAYBE3.1MAYBE6.21MAYBE2.94
TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_FR.trsKILLED60MAYBE0.02MAYBE0.08MAYBE0.14MAYBE0.09
TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_GM.trsKILLED60MAYBE0.04MAYBE0.1MAYBE0.31MAYBE0.11
TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_iGM.trsKILLED60MAYBE0.76MAYBE2.06MAYBE5.1MAYBE2.23
TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.0
TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_Z.trsKILLED60MAYBE0.02MAYBE0.08MAYBE0.17MAYBE0.09
TRS/TRCSR/LengthOfFiniteLists_nosorts_Z.trsMAYBE0.12MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/TRCSR/LISTUTILITIES_complete_C.trsKILLED60KILLED60KILLED60KILLED60KILLED60
TRS/TRCSR/LISTUTILITIES_complete_FR.trsKILLED60MAYBE0.77MAYBE0.65MAYBE1.98MAYBE0.65
TRS/TRCSR/LISTUTILITIES_complete_GM.trsKILLED60MAYBE1.77MAYBE1.07MAYBE2.88MAYBE1.11
TRS/TRCSR/LISTUTILITIES_complete_iGM.trsKILLED60KILLED60MAYBE51.42KILLED60MAYBE41.09
TRS/TRCSR/LISTUTILITIES_complete_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/LISTUTILITIES_complete_noand_C.trsKILLED60KILLED60KILLED60KILLED60KILLED60
TRS/TRCSR/LISTUTILITIES_complete-noand_FR.trsKILLED60MAYBE5.0MAYBE0.88MAYBE3.46MAYBE1.09
TRS/TRCSR/LISTUTILITIES_complete_noand_GM.trsKILLED60MAYBE17.09MAYBE7.49MAYBE15.85MAYBE5.97
TRS/TRCSR/LISTUTILITIES_complete_noand_iGM.trsKILLED60KILLED60KILLED60KILLED60KILLED60
TRS/TRCSR/LISTUTILITIES_complete-noand_L.trsMAYBE0.02MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/LISTUTILITIES_complete-noand_Z.trsKILLED60MAYBE3.77MAYBE0.89MAYBE3.25MAYBE0.83
TRS/TRCSR/LISTUTILITIES_complete_Z.trsKILLED60MAYBE0.42MAYBE0.45MAYBE1.47MAYBE0.5
TRS/TRCSR/LISTUTILITIES_nokinds_C.trsKILLED60KILLED60MAYBE56.26KILLED60MAYBE48.86
TRS/TRCSR/LISTUTILITIES_nokinds_FR.trsKILLED60MAYBE0.32MAYBE0.29MAYBE0.94MAYBE0.3
TRS/TRCSR/LISTUTILITIES_nokinds_GM.trsKILLED60MAYBE0.4MAYBE0.42MAYBE1.93MAYBE0.4
TRS/TRCSR/LISTUTILITIES_nokinds_iGM.trsKILLED60MAYBE13.76MAYBE11.0MAYBE41.9MAYBE10.82
TRS/TRCSR/LISTUTILITIES_nokinds_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/LISTUTILITIES_nokinds_noand_C.trsKILLED60KILLED60KILLED60KILLED60KILLED60
TRS/TRCSR/LISTUTILITIES_nokinds-noand_FR.trsKILLED60MAYBE0.33MAYBE0.4MAYBE1.19MAYBE0.43
TRS/TRCSR/LISTUTILITIES_nokinds_noand_GM.trsKILLED60MAYBE1.46MAYBE1.34MAYBE3.27MAYBE1.2
TRS/TRCSR/LISTUTILITIES_nokinds_noand_iGM.trsKILLED60KILLED60MAYBE35.63KILLED60MAYBE26.59
TRS/TRCSR/LISTUTILITIES_nokinds-noand_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/LISTUTILITIES_nokinds-noand_Z.trsKILLED60MAYBE0.56MAYBE0.38MAYBE1.09MAYBE0.34
TRS/TRCSR/LISTUTILITIES_nokinds_Z.trsKILLED60MAYBE0.24MAYBE0.33MAYBE0.98MAYBE0.3
TRS/TRCSR/LISTUTILITIES_nosorts_C.trsKILLED60MAYBE21.08MAYBE17.7MAYBE33.03MAYBE18.56
TRS/TRCSR/LISTUTILITIES_nosorts_FR.trsKILLED60MAYBE0.04MAYBE0.2MAYBE0.38MAYBE0.21
TRS/TRCSR/LISTUTILITIES_nosorts_GM.trsKILLED60MAYBE0.11MAYBE0.19MAYBE0.66MAYBE0.22
TRS/TRCSR/LISTUTILITIES_nosorts_iGM.trsKILLED60MAYBE2.06MAYBE3.54MAYBE10.38MAYBE3.73
TRS/TRCSR/LISTUTILITIES_nosorts_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/LISTUTILITIES_nosorts_noand_C.trsKILLED60KILLED60KILLED60KILLED60KILLED60
TRS/TRCSR/LISTUTILITIES_nosorts-noand_FR.trsKILLED60MAYBE0.14MAYBE0.34MAYBE0.55MAYBE0.29
TRS/TRCSR/LISTUTILITIES_nosorts_noand_GM.trsKILLED60MAYBE0.57MAYBE0.4MAYBE1.69MAYBE0.42
TRS/TRCSR/LISTUTILITIES_nosorts_noand_iGM.trsKILLED60MAYBE11.8MAYBE12.37MAYBE55.2MAYBE13.08
TRS/TRCSR/LISTUTILITIES_nosorts-noand_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/LISTUTILITIES_nosorts-noand_Z.trsKILLED60MAYBE0.08MAYBE0.14MAYBE0.38MAYBE0.15
TRS/TRCSR/LISTUTILITIES_nosorts_Z.trsKILLED60MAYBE0.02MAYBE0.1MAYBE0.17MAYBE0.1
TRS/TRCSR/MYNAT_complete_C.trsKILLED60MAYBE33.96MAYBE21.84MAYBE50.32MAYBE22.35
TRS/TRCSR/MYNAT_complete_FR.trsKILLED60MAYBE0.12MAYBE0.18MAYBE0.6MAYBE0.19
TRS/TRCSR/MYNAT_complete_GM.trsKILLED60MAYBE0.21MAYBE0.25MAYBE0.8MAYBE0.27
TRS/TRCSR/MYNAT_complete_iGM.trsKILLED60MAYBE5.74MAYBE5.51MAYBE16.5MAYBE5.31
TRS/TRCSR/MYNAT_complete_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/MYNAT_complete_noand_C.trsKILLED60KILLED60KILLED60KILLED60KILLED60
TRS/TRCSR/MYNAT_complete-noand_FR.trsKILLED60MAYBE0.6MAYBE0.27MAYBE0.86MAYBE0.34
TRS/TRCSR/MYNAT_complete_noand_GM.trsKILLED60MAYBE1.28MAYBE1.27MAYBE2.71MAYBE1.14
TRS/TRCSR/MYNAT_complete_noand_iGM.trsKILLED60KILLED60MAYBE28.31KILLED60MAYBE25.44
TRS/TRCSR/MYNAT_complete-noand_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/MYNAT_complete-noand_Z.trsKILLED60MAYBE0.18MAYBE0.27MAYBE0.78MAYBE0.27
TRS/TRCSR/MYNAT_complete_Z.trsKILLED60MAYBE0.1MAYBE0.19MAYBE0.51MAYBE0.18
TRS/TRCSR/MYNAT_nokinds_C.trsKILLED60MAYBE6.27MAYBE6.46MAYBE15.33MAYBE7.78
TRS/TRCSR/MYNAT_nokinds_FR.trsKILLED60MAYBE0.05MAYBE0.15MAYBE0.45MAYBE0.15
TRS/TRCSR/MYNAT_nokinds_GM.trsKILLED60MAYBE0.08MAYBE0.16MAYBE0.45MAYBE0.16
TRS/TRCSR/MYNAT_nokinds_iGM.trsKILLED60MAYBE1.45MAYBE2.03MAYBE4.82MAYBE1.81
TRS/TRCSR/MYNAT_nokinds_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/MYNAT_nokinds_noand_C.trsKILLED60MAYBE22.43MAYBE15.21MAYBE31.69MAYBE17.31
TRS/TRCSR/MYNAT_nokinds-noand_FR.trsKILLED60MAYBE0.05MAYBE0.14MAYBE0.47MAYBE0.15
TRS/TRCSR/MYNAT_nokinds_noand_GM.trsKILLED60MAYBE0.23MAYBE0.44MAYBE0.92MAYBE0.37
TRS/TRCSR/MYNAT_nokinds_noand_iGM.trsKILLED60MAYBE4.73MAYBE4.68MAYBE11.01MAYBE4.16
TRS/TRCSR/MYNAT_nokinds-noand_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/MYNAT_nokinds-noand_Z.trsKILLED60MAYBE0.1MAYBE0.22MAYBE0.47MAYBE0.16
TRS/TRCSR/MYNAT_nokinds_Z.trsKILLED60MAYBE0.05MAYBE0.12MAYBE0.34MAYBE0.13
TRS/TRCSR/MYNAT_nosorts_C.trsKILLED60YES0.84YES2.64YES5.63YES3.13
TRS/TRCSR/MYNAT_nosorts_FR.trsYES0.4YES0.02YES0.17YES0.28YES0.21
TRS/TRCSR/MYNAT_nosorts_GM.trsKILLED60MAYBE0.03MAYBE0.1MAYBE0.28MAYBE0.11
TRS/TRCSR/MYNAT_nosorts_iGM.trsMAYBE21.28MAYBE0.16MAYBE0.67MAYBE1.46MAYBE0.72
TRS/TRCSR/MYNAT_nosorts_L.trsMAYBE0.01MAYBE0.01MAYBE0.0MAYBE0.01MAYBE0.01
TRS/TRCSR/MYNAT_nosorts_noand_C.trsKILLED60MAYBE3.6MAYBE3.83MAYBE14.13MAYBE5.39
TRS/TRCSR/MYNAT_nosorts-noand_FR.trsKILLED60MAYBE0.06MAYBE0.19MAYBE0.42MAYBE0.24
TRS/TRCSR/MYNAT_nosorts_noand_GM.trsKILLED60MAYBE0.06MAYBE0.13MAYBE0.46MAYBE0.13
TRS/TRCSR/MYNAT_nosorts_noand_iGM.trsKILLED60MAYBE0.73MAYBE1.63MAYBE3.67MAYBE1.58
TRS/TRCSR/MYNAT_nosorts-noand_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/MYNAT_nosorts-noand_Z.trsKILLED60MAYBE0.07MAYBE0.18MAYBE0.4MAYBE0.24
TRS/TRCSR/MYNAT_nosorts_Z.trsYES0.39YES0.02YES0.15YES0.22YES0.17
TRS/TRCSR/OvConsOS_complete_C.trsKILLED60KILLED60KILLED60KILLED60MAYBE46.2
TRS/TRCSR/OvConsOS_complete_FR.trsKILLED60MAYBE0.25MAYBE0.27MAYBE0.76MAYBE0.27
TRS/TRCSR/OvConsOS_complete_GM.trsKILLED60MAYBE0.42MAYBE0.38MAYBE1.09MAYBE0.38
TRS/TRCSR/OvConsOS_complete_iGM.trsKILLED60MAYBE27.62MAYBE15.19MAYBE35.44MAYBE13.1
TRS/TRCSR/OvConsOS_complete_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/OvConsOS_complete_noand_C.trsKILLED60KILLED60KILLED60KILLED60KILLED60
TRS/TRCSR/OvConsOS_complete-noand_FR.trsKILLED60MAYBE0.81MAYBE0.34MAYBE1.21MAYBE0.38
TRS/TRCSR/OvConsOS_complete_noand_GM.trsKILLED60MAYBE14.25MAYBE4.53MAYBE4.09MAYBE3.11
TRS/TRCSR/OvConsOS_complete_noand_iGM.trsKILLED60KILLED60KILLED60KILLED60KILLED60
TRS/TRCSR/OvConsOS_complete-noand_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/OvConsOS_complete-noand_Z.trsKILLED60MAYBE1.34MAYBE0.38MAYBE1.2MAYBE0.32
TRS/TRCSR/OvConsOS_complete_Z.trsKILLED60MAYBE0.13MAYBE0.23MAYBE0.59MAYBE0.26
TRS/TRCSR/OvConsOS_nokinds_C.trsKILLED60MAYBE7.98MAYBE6.65MAYBE17.67MAYBE8.77
TRS/TRCSR/OvConsOS_nokinds_FR.trsKILLED60MAYBE0.09MAYBE0.17MAYBE0.47MAYBE0.15
TRS/TRCSR/OvConsOS_nokinds_GM.trsKILLED60MAYBE0.07MAYBE0.19MAYBE0.5MAYBE0.17
TRS/TRCSR/OvConsOS_nokinds_iGM.trsKILLED60MAYBE1.55MAYBE2.04MAYBE7.29MAYBE2.65
TRS/TRCSR/OvConsOS_nokinds_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/OvConsOS_nokinds_noand_C.trsKILLED60KILLED60MAYBE32.71KILLED60MAYBE29.58
TRS/TRCSR/OvConsOS_nokinds-noand_FR.trsKILLED60MAYBE0.22MAYBE0.18MAYBE0.52MAYBE0.18
TRS/TRCSR/OvConsOS_nokinds_noand_GM.trsKILLED60MAYBE0.92MAYBE0.5MAYBE0.92MAYBE0.56
TRS/TRCSR/OvConsOS_nokinds_noand_iGM.trsKILLED60MAYBE52.56MAYBE20.56KILLED60MAYBE27.52
TRS/TRCSR/OvConsOS_nokinds-noand_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/OvConsOS_nokinds-noand_Z.trsKILLED60MAYBE0.21MAYBE0.17MAYBE0.56MAYBE0.16
TRS/TRCSR/OvConsOS_nokinds_Z.trsKILLED60MAYBE0.06MAYBE0.16MAYBE0.45MAYBE0.17
TRS/TRCSR/OvConsOS_nosorts_C.trsKILLED60MAYBE1.61MAYBE2.27MAYBE5.4MAYBE3.02
TRS/TRCSR/OvConsOS_nosorts_FR.trsMAYBE13.58MAYBE0.03MAYBE0.19MAYBE0.39MAYBE0.19
TRS/TRCSR/OvConsOS_nosorts_GM.trsKILLED60MAYBE0.04MAYBE0.11MAYBE0.36MAYBE0.11
TRS/TRCSR/OvConsOS_nosorts_iGM.trsKILLED60MAYBE0.41MAYBE2.01MAYBE6.21MAYBE2.9
TRS/TRCSR/OvConsOS_nosorts_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/OvConsOS_nosorts_noand_C.trsKILLED60MAYBE7.43MAYBE7.07MAYBE16.3MAYBE10.14
TRS/TRCSR/OvConsOS_nosorts-noand_FR.trsKILLED60MAYBE0.07MAYBE0.36MAYBE0.67MAYBE0.23
TRS/TRCSR/OvConsOS_nosorts_noand_GM.trsKILLED60MAYBE0.1MAYBE0.17MAYBE0.49MAYBE0.17
TRS/TRCSR/OvConsOS_nosorts_noand_iGM.trsKILLED60MAYBE8.28MAYBE6.15MAYBE27.95MAYBE9.12
TRS/TRCSR/OvConsOS_nosorts-noand_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/OvConsOS_nosorts-noand_Z.trsKILLED60MAYBE0.17MAYBE0.2MAYBE0.46MAYBE0.26
TRS/TRCSR/OvConsOS_nosorts_Z.trsMAYBE51.24MAYBE0.02MAYBE0.17MAYBE0.27MAYBE0.19
TRS/TRCSR/PALINDROME_complete_C.trsKILLED60KILLED60MAYBE42.94KILLED60MAYBE34.28
TRS/TRCSR/PALINDROME_complete_FR.trsKILLED60MAYBE0.17MAYBE0.45MAYBE0.75MAYBE0.5
TRS/TRCSR/PALINDROME_complete_GM.trsKILLED60MAYBE0.32MAYBE0.36MAYBE0.98MAYBE0.39
TRS/TRCSR/PALINDROME_complete_iGM.trsKILLED60MAYBE6.7MAYBE7.67MAYBE23.88MAYBE7.97
TRS/TRCSR/PALINDROME_complete_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/PALINDROME_complete_noand_C.trsKILLED60KILLED60KILLED60KILLED60KILLED60
TRS/TRCSR/PALINDROME_complete-noand_FR.trsKILLED60MAYBE1.65MAYBE1.3MAYBE1.1MAYBE1.2
TRS/TRCSR/PALINDROME_complete_noand_GM.trsKILLED60MAYBE1.95MAYBE1.49MAYBE3.47MAYBE1.5
TRS/TRCSR/PALINDROME_complete_noand_iGM.trsKILLED60MAYBE15.87MAYBE18.49KILLED60MAYBE17.69
TRS/TRCSR/PALINDROME_complete-noand_L.trsKILLED60MAYBE0.17MAYBE0.55MAYBE0.73MAYBE0.56
TRS/TRCSR/PALINDROME_complete-noand_Z.trsKILLED60MAYBE1.74MAYBE1.12MAYBE1.24MAYBE1.07
TRS/TRCSR/PALINDROME_complete_Z.trsKILLED60MAYBE0.2MAYBE0.6MAYBE0.99MAYBE0.68
TRS/TRCSR/PALINDROME_nokinds_C.trsKILLED60MAYBE1.77MAYBE3.53MAYBE9.08MAYBE3.2
TRS/TRCSR/PALINDROME_nokinds_FR.trsKILLED60MAYBE0.06MAYBE0.24MAYBE0.26MAYBE0.24
TRS/TRCSR/PALINDROME_nokinds_GM.trsKILLED60MAYBE0.05MAYBE0.13MAYBE0.25MAYBE0.13
TRS/TRCSR/PALINDROME_nokinds_iGM.trsKILLED60MAYBE0.42MAYBE1.34MAYBE2.59MAYBE1.3
TRS/TRCSR/PALINDROME_nokinds_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/PALINDROME_nokinds_noand_C.trsKILLED60MAYBE18.27MAYBE16.21MAYBE42.17MAYBE20.63
TRS/TRCSR/PALINDROME_nokinds-noand_FR.trsKILLED60MAYBE0.19MAYBE0.59MAYBE0.57MAYBE0.6
TRS/TRCSR/PALINDROME_nokinds_noand_GM.trsKILLED60MAYBE0.26MAYBE0.53MAYBE0.92MAYBE0.57
TRS/TRCSR/PALINDROME_nokinds_noand_iGM.trsKILLED60MAYBE2.58MAYBE4.78MAYBE8.97MAYBE4.19
TRS/TRCSR/PALINDROME_nokinds-noand_L.trsKILLED60MAYBE0.03MAYBE0.3MAYBE0.3MAYBE0.28
TRS/TRCSR/PALINDROME_nokinds-noand_Z.trsKILLED60MAYBE0.11MAYBE0.45MAYBE0.44MAYBE0.36
TRS/TRCSR/PALINDROME_nokinds_Z.trsKILLED60MAYBE0.06MAYBE0.22MAYBE0.18MAYBE0.23
TRS/TRCSR/PALINDROME_nosorts_C.trsKILLED60MAYBE0.56MAYBE1.72MAYBE3.27MAYBE1.8
TRS/TRCSR/PALINDROME_nosorts_FR.trsMAYBE0.17MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/TRCSR/PALINDROME_nosorts_GM.trsMAYBE22.98MAYBE0.02MAYBE0.09MAYBE0.17MAYBE0.1
TRS/TRCSR/PALINDROME_nosorts_iGM.trsMAYBE2.13MAYBE0.1MAYBE0.46MAYBE0.98MAYBE0.45
TRS/TRCSR/PALINDROME_nosorts_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/PALINDROME_nosorts_noand_C.trsKILLED60MAYBE0.64MAYBE2.56MAYBE4.25MAYBE2.07
TRS/TRCSR/PALINDROME_nosorts-noand_FR.trsMAYBE0.18MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/TRCSR/PALINDROME_nosorts_noand_GM.trsMAYBE40.66MAYBE0.02MAYBE0.09MAYBE0.17MAYBE0.1
TRS/TRCSR/PALINDROME_nosorts_noand_iGM.trsMAYBE3.53MAYBE0.1MAYBE0.59MAYBE1.06MAYBE0.58
TRS/TRCSR/PALINDROME_nosorts-noand_L.trsMAYBE0.06MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/TRCSR/PALINDROME_nosorts-noand_Z.trsMAYBE0.2MAYBE0.01MAYBE0.11MAYBE0.13MAYBE0.08
TRS/TRCSR/PALINDROME_nosorts_Z.trsMAYBE0.17MAYBE0.01MAYBE0.08MAYBE0.09MAYBE0.08
TRS/TRCSR/PEANO_complete_C.trsKILLED60MAYBE11.2MAYBE9.56MAYBE22.86MAYBE11.37
TRS/TRCSR/PEANO_complete_FR.trsKILLED60MAYBE0.06MAYBE0.13MAYBE0.43MAYBE0.15
TRS/TRCSR/PEANO_complete_GM.trsKILLED60MAYBE0.1MAYBE0.21MAYBE0.6MAYBE0.17
TRS/TRCSR/PEANO_complete_iGM.trsKILLED60MAYBE2.44MAYBE3.38MAYBE6.75MAYBE3.22
TRS/TRCSR/PEANO_complete_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/PEANO_complete_noand_C.trsKILLED60KILLED60MAYBE33.04MAYBE59.51MAYBE31.52
TRS/TRCSR/PEANO_complete-noand_FR.trsKILLED60MAYBE0.25MAYBE0.18MAYBE0.57MAYBE0.21
TRS/TRCSR/PEANO_complete_noand_GM.trsKILLED60MAYBE0.7MAYBE0.84MAYBE1.55MAYBE0.75
TRS/TRCSR/PEANO_complete_noand_iGM.trsKILLED60MAYBE22.61MAYBE7.95MAYBE26.42MAYBE7.87
TRS/TRCSR/PEANO_complete-noand_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/PEANO_complete-noand_Z.trsKILLED60MAYBE0.24MAYBE0.17MAYBE0.55MAYBE0.17
TRS/TRCSR/PEANO_complete_Z.trsKILLED60MAYBE0.06MAYBE0.13MAYBE0.42MAYBE0.13
TRS/TRCSR/PEANO_nokinds_C.trsKILLED60MAYBE1.49MAYBE3.4MAYBE8.76MAYBE3.91
TRS/TRCSR/PEANO_nokinds_FR.trsKILLED60MAYBE0.03MAYBE0.11MAYBE0.35MAYBE0.11
TRS/TRCSR/PEANO_nokinds_GM.trsKILLED60MAYBE0.05MAYBE0.13MAYBE0.34MAYBE0.12
TRS/TRCSR/PEANO_nokinds_iGM.trsKILLED60MAYBE0.4MAYBE1.14MAYBE2.44MAYBE1.12
TRS/TRCSR/PEANO_nokinds_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/PEANO_nokinds_noand_C.trsKILLED60MAYBE5.46MAYBE8.29MAYBE15.88MAYBE7.46
TRS/TRCSR/PEANO_nokinds-noand_FR.trsKILLED60MAYBE0.05MAYBE0.12MAYBE0.33MAYBE0.11
TRS/TRCSR/PEANO_nokinds_noand_GM.trsKILLED60MAYBE0.11MAYBE0.3MAYBE0.63MAYBE0.26
TRS/TRCSR/PEANO_nokinds_noand_iGM.trsKILLED60MAYBE1.29MAYBE2.08MAYBE4.13MAYBE1.92
TRS/TRCSR/PEANO_nokinds-noand_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/PEANO_nokinds-noand_Z.trsKILLED60MAYBE0.04MAYBE0.11MAYBE0.28MAYBE0.12
TRS/TRCSR/PEANO_nokinds_Z.trsKILLED60MAYBE0.03MAYBE0.11MAYBE0.34MAYBE0.11
TRS/TRCSR/PEANO_nosorts_C.trsKILLED60YES0.43YES1.98YES3.43YES2.08
TRS/TRCSR/PEANO_nosorts_FR.trsYES0.04YES0.01YES0.08YES0.1YES0.09
TRS/TRCSR/PEANO_nosorts_GM.trsMAYBE5.84MAYBE0.02MAYBE0.09MAYBE0.29MAYBE0.1
TRS/TRCSR/PEANO_nosorts_iGM.trsMAYBE2.24MAYBE0.1MAYBE0.49MAYBE1.39MAYBE0.49
TRS/TRCSR/PEANO_nosorts_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.0MAYBE0.0
TRS/TRCSR/PEANO_nosorts_noand_C.trsKILLED60MAYBE1.14MAYBE1.86MAYBE4.82MAYBE2.74
TRS/TRCSR/PEANO_nosorts-noand_FR.trsKILLED60MAYBE0.02MAYBE0.09MAYBE0.17MAYBE0.09
TRS/TRCSR/PEANO_nosorts_noand_GM.trsKILLED60MAYBE0.03MAYBE0.1MAYBE0.27MAYBE0.1
TRS/TRCSR/PEANO_nosorts_noand_iGM.trsKILLED60MAYBE0.3MAYBE0.75MAYBE1.77MAYBE0.75
TRS/TRCSR/PEANO_nosorts-noand_L.trsMAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01MAYBE0.01
TRS/TRCSR/PEANO_nosorts-noand_Z.trsKILLED60MAYBE0.02MAYBE0.09MAYBE0.17MAYBE0.09
TRS/TRCSR/PEANO_nosorts_Z.trsYES0.03YES0.01YES0.09YES0.1YES0.09
TRS/various/02.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/various/03.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/various/04.trsKILLED60MAYBE0.03MAYBE0.12MAYBE0.18MAYBE0.1
TRS/various/05.trsKILLED60MAYBE0.02MAYBE0.09MAYBE0.13MAYBE0.1
TRS/various/06.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/various/07.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/various/08.trsKILLED60MAYBE0.06MAYBE0.11MAYBE0.22MAYBE0.12
TRS/various/09.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/various/10.trsKILLED60MAYBE0.13MAYBE0.93MAYBE1.17MAYBE0.71
TRS/various/11.trsMAYBE0.08MAYBE0.01MAYBE0.08MAYBE0.09MAYBE0.08
TRS/various/12.trsMAYBE0.37MAYBE0.03MAYBE0.19MAYBE0.28MAYBE0.19
TRS/various/13.trsMAYBE3.57MAYBE0.05MAYBE0.28MAYBE0.36MAYBE0.33
TRS/various/14.trsKILLED60MAYBE0.34MAYBE0.85MAYBE0.94MAYBE0.81
TRS/various/15.trsMAYBE0.01MAYBE0.01MAYBE0.11MAYBE0.09MAYBE0.08
TRS/various/18.trsMAYBE0.05MAYBE0.02MAYBE0.09MAYBE0.14MAYBE0.09
TRS/various/19.trsMAYBE0.51MAYBE0.02MAYBE0.09MAYBE0.11MAYBE0.09
TRS/various/20.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.17MAYBE0.09
TRS/various/21.trsMAYBE4.86MAYBE0.13MAYBE0.29MAYBE0.52MAYBE0.24
TRS/various/22.trsYES0.01YES0.01YES0.08YES0.14YES0.09
TRS/various/23.trsMAYBE0.04MAYBE0.01MAYBE0.08MAYBE0.12MAYBE0.09
TRS/various/24.trsYES0.03YES0.03YES0.19YES0.34YES0.19
TRS/various/25.trsYES0.01YES0.01YES0.01YES0.02YES0.01
TRS/various/26.trsYES0.02YES0.01YES0.08YES0.14YES0.09
TRS/various/27.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/Waldmann/jwaprove1.trsMAYBE0.03MAYBE0.01MAYBE0.08MAYBE0.16MAYBE0.09
TRS/Waldmann/jwaprove2.trsMAYBE0.03MAYBE0.01MAYBE0.08MAYBE0.15MAYBE0.09
TRS/Waldmann/jwcime1.trsMAYBE0.02MAYBE0.01MAYBE0.08MAYBE0.15MAYBE0.09
TRS/Waldmann/jwcime2.trsMAYBE0.02MAYBE0.01MAYBE0.08MAYBE0.12MAYBE0.09
TRS/Waldmann/jwmatchb1.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/Waldmann/jwmatchb2.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.09MAYBE0.08
TRS/Waldmann/jwno1.trsMAYBE0.02MAYBE0.01MAYBE0.08MAYBE0.14MAYBE0.09
TRS/Waldmann/jwno2.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.11MAYBE0.09
TRS/Waldmann/jwno3.trsMAYBE0.02MAYBE0.01MAYBE0.08MAYBE0.14MAYBE0.09
TRS/Waldmann/jwno4.trsMAYBE0.02MAYBE0.01MAYBE0.08MAYBE0.1MAYBE0.08
TRS/Waldmann/jwno5.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.14MAYBE0.09
TRS/Waldmann/jwno6.trsMAYBE0.02MAYBE0.01MAYBE0.08MAYBE0.1MAYBE0.08
TRS/Waldmann/jwno7.trsMAYBE0.02MAYBE0.01MAYBE0.08MAYBE0.14MAYBE0.09
TRS/Waldmann/jwno8.trsMAYBE0.02MAYBE0.01MAYBE0.08MAYBE0.11MAYBE0.09
TRS/Waldmann/jwno9.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.14MAYBE0.09
TRS/Waldmann/jwteparla1.trsMAYBE0.02MAYBE0.01MAYBE0.16MAYBE0.25MAYBE0.19
TRS/Waldmann/jwteparla2.trsMAYBE0.01MAYBE0.01MAYBE0.16MAYBE0.3MAYBE0.17
TRS/Waldmann/jwtpa1.trsMAYBE0.02MAYBE0.01MAYBE0.08MAYBE0.12MAYBE0.09
TRS/Waldmann/jwtpa2.trsMAYBE0.03MAYBE0.01MAYBE0.08MAYBE0.18MAYBE0.09
TRS/Waldmann/jwttt.trsMAYBE0.03MAYBE0.01MAYBE0.08MAYBE0.17MAYBE0.09
TRS/Zantema/jw01.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.09
TRS/Zantema/jw02.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.1MAYBE0.08
TRS/Zantema/jw03.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/Zantema/jw04.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.09MAYBE0.08
TRS/Zantema/jw05.trsMAYBE0.01MAYBE0.01MAYBE0.1MAYBE0.13MAYBE0.08
TRS/Zantema/jw06.trsMAYBE0.01MAYBE0.01MAYBE0.11MAYBE0.13MAYBE0.08
TRS/Zantema/jw07.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.1MAYBE0.09
TRS/Zantema/jw08.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.14MAYBE0.09
TRS/Zantema/jw09.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.1MAYBE0.08
TRS/Zantema/jw11.trsYES0.01YES0.01YES0.08YES0.15YES0.09
TRS/Zantema/jw12.trsYES0.01YES0.01YES0.08YES0.12YES0.09
TRS/Zantema/jw13.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.09
TRS/Zantema/jw14.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/Zantema/jw15.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/Zantema/jw16.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.09MAYBE0.09
TRS/Zantema/jw17.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.14MAYBE0.09
TRS/Zantema/jw18.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.09MAYBE0.08
TRS/Zantema/jw19.trsMAYBE0.02MAYBE0.01MAYBE0.09MAYBE0.15MAYBE0.09
TRS/Zantema/jw20.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.09MAYBE0.08
TRS/Zantema/jw21.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.09
TRS/Zantema/jw22.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.1MAYBE0.09
TRS/Zantema/jw23.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/Zantema/jw24.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.09MAYBE0.08
TRS/Zantema/jw25.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/Zantema/jw26.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.09MAYBE0.08
TRS/Zantema/jw27.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.14MAYBE0.09
TRS/Zantema/jw28.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.1MAYBE0.09
TRS/Zantema/jw29.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.09
TRS/Zantema/jw30.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.12MAYBE0.09
TRS/Zantema/jw31.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/Zantema/jw32.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.1MAYBE0.09
TRS/Zantema/jw33.trsMAYBE0.02MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.09
TRS/Zantema/jw34.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.09MAYBE0.09
TRS/Zantema/jw35.trsYES0.01YES0.01YES0.01YES0.01YES0.01
TRS/Zantema/jw36.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.1MAYBE0.09
TRS/Zantema/jw37.trsYES0.01YES0.01YES0.08YES0.15YES0.09
TRS/Zantema/jw38.trsYES0.01YES0.01YES0.08YES0.12YES0.09
TRS/Zantema/jw39.trsMAYBE0.01MAYBE0.01MAYBE0.11MAYBE0.14MAYBE0.09
TRS/Zantema/jw40.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/Zantema/jw41.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.1MAYBE0.09
TRS/Zantema/jw42.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.09
TRS/Zantema/jw43.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.09MAYBE0.09
TRS/Zantema/jw44.trsYES0.01YES0.01YES0.08YES0.16YES0.09
TRS/Zantema/jw47.trsYES0.01YES0.01YES0.1YES0.14YES0.09
TRS/Zantema/jw50.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.09
TRS/Zantema/z01.trsMAYBE0.02MAYBE0.01MAYBE0.08MAYBE0.16MAYBE0.09
TRS/Zantema/z02.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.09
TRS/Zantema/z03.trsMAYBE0.02MAYBE0.02MAYBE0.32MAYBE0.33MAYBE0.3
TRS/Zantema/z04.trsMAYBE0.01MAYBE0.01MAYBE0.11MAYBE0.13MAYBE0.08
TRS/Zantema/z05.trsMAYBE0.06MAYBE0.02MAYBE0.08MAYBE0.13MAYBE0.09
TRS/Zantema/z06.trsMAYBE0.02MAYBE0.01MAYBE0.15MAYBE0.27MAYBE0.16
TRS/Zantema/z07.trsYES0.03YES0.02YES0.25YES0.21YES0.25
TRS/Zantema/z08.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/Zantema/z09.trsMAYBE0.06MAYBE0.02MAYBE0.09MAYBE0.1MAYBE0.09
TRS/Zantema/z10.trsMAYBE0.06MAYBE0.01MAYBE0.09MAYBE0.14MAYBE0.09
TRS/Zantema/z11.trsMAYBE0.03MAYBE0.02MAYBE0.16MAYBE0.17MAYBE0.18
TRS/Zantema/z12.trsMAYBE0.08MAYBE0.02MAYBE0.09MAYBE0.23MAYBE0.1
TRS/Zantema/z13.trsMAYBE0.07MAYBE0.02MAYBE0.09MAYBE0.21MAYBE0.09
TRS/Zantema/z14.trsMAYBE0.05MAYBE0.01MAYBE0.08MAYBE0.18MAYBE0.09
TRS/Zantema/z15.trsMAYBE0.04MAYBE0.01MAYBE0.08MAYBE0.16MAYBE0.09
TRS/Zantema/z16.trsMAYBE0.05MAYBE0.01MAYBE0.08MAYBE0.18MAYBE0.09
TRS/Zantema/z17.trsMAYBE0.15MAYBE0.01MAYBE0.08MAYBE0.16MAYBE0.09
TRS/Zantema/z18.trsMAYBE0.04MAYBE0.01MAYBE0.08MAYBE0.18MAYBE0.09
TRS/Zantema/z19.trsMAYBE0.02MAYBE0.02MAYBE0.17MAYBE0.35MAYBE0.18
TRS/Zantema/z20.trsMAYBE0.03MAYBE0.03MAYBE0.17MAYBE0.42MAYBE0.2
TRS/Zantema/z21.trsMAYBE0.03MAYBE0.02MAYBE0.09MAYBE0.23MAYBE0.09
TRS/Zantema/z22.trsMAYBE0.05MAYBE0.03MAYBE0.18MAYBE0.42MAYBE0.2
TRS/Zantema/z23.trsMAYBE0.16MAYBE0.02MAYBE0.09MAYBE0.26MAYBE0.09
TRS/Zantema/z24.trsMAYBE0.22MAYBE0.02MAYBE0.09MAYBE0.26MAYBE0.11
TRS/Zantema/z25.trsYES0.03YES0.02YES0.26YES0.33YES0.27
TRS/Zantema/z26.trsMAYBE0.13MAYBE0.02MAYBE0.09MAYBE0.31MAYBE0.09
TRS/Zantema/z27.trsMAYBE0.07MAYBE0.02MAYBE0.1MAYBE0.14MAYBE0.09
TRS/Zantema/z28.trsMAYBE0.03MAYBE0.01MAYBE0.08MAYBE0.11MAYBE0.09
TRS/Zantema/z29.trsMAYBE0.06MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.09
TRS/Zantema/z30.trsMAYBE0.04MAYBE0.03MAYBE0.13MAYBE0.25MAYBE0.1
TRS/Zantema06/beans.trsMAYBE0.78MAYBE0.04MAYBE0.2MAYBE0.46MAYBE0.22
TRS/Zantema06/gcdMinMax.trsMAYBE5.82MAYBE0.03MAYBE0.39MAYBE0.36MAYBE0.41
TRS/Zantema06/gcd.trsMAYBE6.42MAYBE0.03MAYBE0.41MAYBE0.51MAYBE0.39
TRS/Zantema06/hydra.trsMAYBE0.82MAYBE0.05MAYBE0.34MAYBE0.87MAYBE0.47
TRS/Zantema06/test1.trsMAYBE0.01MAYBE0.01MAYBE0.08MAYBE0.13MAYBE0.08
TRS/Zantema06/while2.trsMAYBE0.02MAYBE0.02MAYBE0.09MAYBE0.18MAYBE0.09
TRS/Zantema06/while.trsMAYBE0.1MAYBE0.01MAYBE0.18MAYBE0.2MAYBE0.17