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