Certified Termination Analysis 

Introduction

We tested all 1381 TRSs of TPDB 7.0 using AProVE with exactly those strategies that are described in the paper Lazy Abstraction for Size-Change Termination by Michael Codish, Carsten Fuhs, Jürgen Giesl, and Peter Schneider-Kamp. In this way, we repeated the experiments from that paper.

In detail, the strategies are using four different base orderings

where each of these orderings is used with which in total gives 20 different strategies.
SCNPFAST SCNPMAX SCNPALL REDPAIR SCT
EMB SCNPFAST_EMB SCNPMAX_EMB SCNPALL_EMB REDPAIR_EMB SCT_EMB
LPO SCNPFAST_LPO SCNPMAX_LPO SCNPALL_LPO REDPAIR_LPO SCT_LPO
RPO SCNPFAST_RPO SCNPMAX_RPO SCNPALL_RPO REDPAIR_RPO SCT_RPO
POLO SCNPFAST_POLO SCNPMAX_POLO SCNPALL_POLO REDPAIR_POLO SCT_POLO

Our experiments and the original experiments show only neglectable differences: on the 20 * 1381 = 27620 experiments, only 8 results differ due to timing issues.

The main purpose of our experiments was to certify the generated proofs. And indeed, in our experiments we detected that several proofs have been flawed as the usable rules have not been computed correctly for the proof output, e.g. in this proof for AG01/3.1 to compute division on natural numbers, the minus-rules are not usable. Note however, that only the proof output of AProVE was affected, since the search for reduction pairs uses a different routine to compute usable rules.

After the computation of usable rules has been corrected by Carsten Fuhs, indeed all proofs could be certified. Note that the use of the generalized multiset ordering was essential. In these proofs the use of the standard multiset ordering was insufficient to orient the constraints.

Concerning execution time one can further observe that certification of SCNP reduction pair proofs is faster than certification of size-change termination proofs: the average certification time for SCNP_* is 33 milliseconds, whereas it is 50 milliseconds for SCT_*.

All experiments have been performed on a machine with two 2.8 GHz Quad-Core Intel Xeon processors and 6 GB of main memory using a 60 seconds timeout. In the result table one can click on the execution times to see the proofs and answers of CeTA (version 2.2).

Summary

SCNPFAST_EMB SCNPFAST_LPO SCNPFAST_RPO SCNPFAST_POLO SCNPMAX_EMB SCNPMAX_LPO SCNPMAX_RPO SCNPMAX_POLO SCNPALL_EMB SCNPALL_LPO SCNPALL_RPO SCNPALL_POLO REDPAIR_EMB REDPAIR_LPO REDPAIR_RPO REDPAIR_POLO SCT_EMB SCT_LPO SCT_RPO SCT_POLO Total
Examples 1381 1381 1381 1381 1381 1381 1381 1381 1381 1381 1381 1381 1381 1381 1381 1381 1381 1381 1381 1381
Successes 346 (346 YES, 0 NO) 500 (500 YES, 0 NO) 501 (501 YES, 0 NO) 477 (477 YES, 0 NO) 346 (346 YES, 0 NO) 530 (530 YES, 0 NO) 530 (530 YES, 0 NO) 515 (515 YES, 0 NO) 347 (347 YES, 0 NO) 529 (529 YES, 0 NO) 531 (531 YES, 0 NO) 516 (516 YES, 0 NO) 325 (325 YES, 0 NO) 505 (505 YES, 0 NO) 527 (527 YES, 0 NO) 511 (511 YES, 0 NO) 341 (341 YES, 0 NO) 385 (385 YES, 0 NO) 385 (385 YES, 0 NO) 378 (378 YES, 0 NO) 573 (573 YES, 0 NO)
Failures 1035 (12 timeouts) 881 (12 timeouts) 880 (13 timeouts) 904 (12 timeouts) 1035 (12 timeouts) 851 (21 timeouts) 851 (25 timeouts) 866 (14 timeouts) 1034 (13 timeouts) 852 (31 timeouts) 850 (35 timeouts) 865 (19 timeouts) 1056 (12 timeouts) 876 (16 timeouts) 854 (18 timeouts) 870 (12 timeouts) 1040 (128 timeouts) 996 (127 timeouts) 996 (127 timeouts) 1003 (128 timeouts)
Time (termination tool) 0h 56m 58s 1h 3m 49s 1h 5m 53s 1h 4m 56s 0h 58m 22s 1h 20m 40s 1h 27m 38s 1h 17m 15s 1h 1m 49s 1h 40m 20s 1h 47m 50s 1h 28m 22s 0h 56m 51s 1h 12m 50s 1h 17m 43s 1h 2m 54s 2h 52m 1s 2h 52m 9s 2h 52m 48s 2h 51m 56s 31h 13m 15s
Accepted 346 500 501 477 346 530 530 515 347 529 531 516 325 505 527 511 341 385 385 378 573
Rejected 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Unsupported 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Time (certification) 0h 0m 5s 0h 0m 18s 0h 0m 17s 0h 0m 14s 0h 0m 5s 0h 0m 21s 0h 0m 20s 0h 0m 21s 0h 0m 5s 0h 0m 20s 0h 0m 20s 0h 0m 20s 0h 0m 5s 0h 0m 19s 0h 0m 20s 0h 0m 15s 0h 0m 7s 0h 0m 25s 0h 0m 25s 0h 0m 17s 0h 5m 30s

Color codes

Success (Proof)
Success (Disproof)
Failure
Timeout
Accept
Reject

Result table

Example SCNPFAST_EMB CeTA SCNPFAST_LPO CeTA SCNPFAST_RPO CeTA SCNPFAST_POLO CeTA SCNPMAX_EMB CeTA SCNPMAX_LPO CeTA SCNPMAX_RPO CeTA SCNPMAX_POLO CeTA SCNPALL_EMB CeTA SCNPALL_LPO CeTA SCNPALL_RPO CeTA SCNPALL_POLO CeTA REDPAIR_EMB CeTA REDPAIR_LPO CeTA REDPAIR_RPO CeTA REDPAIR_POLO CeTA SCT_EMB CeTA SCT_LPO CeTA SCT_RPO CeTA SCT_POLO CeTA
AG01___3.1.trs 2.37 0.12 2.43 0.01 2.48 0.01 2.46 0.01 2.43 0.01 2.45 0.01 2.46 0.01 2.48 0.01 2.43 0.01 2.44 0.01 2.46 0.01 2.53 0.01 2.36 0.01 2.40 0.01 2.53 0.01 2.48 0.01 2.31 0.01 2.39 0.01 3.34 0.01 2.33 0.01
AG01___3.10.trs 1.71 1.77 1.86 1.60 1.77 1.98 2.12 4.07 0.06 1.83 2.51 2.46 4.18 0.06 1.71 1.84 1.95 3.25 0.05 1.97 2.30 2.37 1.85
AG01___3.12.trs 1.25 1.27 1.30 2.43 0.01 1.27 1.30 1.32 2.48 0.01 1.29 1.32 1.34 2.52 0.01 1.23 1.27 1.30 2.42 0.01 1.20 1.25 1.31 2.33 0.01
AG01___3.13.trs 1.43 1.49 1.65 1.44 1.51 2.47 2.55 3.39 0.04 1.72 5.36 6.56 4.15 0.05 1.42 1.58 1.69 2.85 0.04 2.03 2.18 2.16 1.89
AG01___3.15.trs 1.14 1.12 1.13 1.14 1.15 1.16 1.19 2.39 0.01 1.18 1.20 1.22 2.45 0.01 1.12 1.14 1.15 2.36 0.01 1.38 1.05 1.05 1.04
AG01___3.16.trs 2.40 0.01 2.39 0.01 2.39 0.01 2.39 0.01 2.43 0.01 2.44 0.01 2.47 0.01 2.44 0.01 2.44 0.01 2.50 0.01 2.46 0.01 2.50 0.01 2.37 0.01 2.39 0.01 2.42 0.01 2.36 0.01 2.27 0.01 2.26 0.01 2.26 0.01 2.25 0.01
AG01___3.17.trs 1.37 1.40 1.45 2.63 0.02 1.41 1.45 1.50 2.70 0.02 1.42 1.49 1.52 2.73 0.02 1.37 1.42 1.49 2.62 0.02 1.25 1.24 1.26 1.30
AG01___3.17a.trs 1.41 1.45 1.50 2.69 0.02 1.44 1.50 1.54 2.75 0.03 1.48 1.51 1.55 2.81 0.03 1.41 1.47 1.51 2.67 0.03 1.26 1.27 1.29 1.31
AG01___3.18.trs 2.49 0.01 2.56 0.01 2.58 0.02 2.54 0.02 2.53 0.01 2.62 0.02 2.57 0.01 2.54 0.01 2.57 0.01 2.70 0.02 2.62 0.01 2.68 0.02 2.47 0.01 2.58 0.02 2.61 0.02 2.49 0.01 2.39 0.02 2.39 0.01 2.41 0.03 2.37 0.02
AG01___3.19.trs 1.31 2.60 0.01 2.67 0.02 1.31 1.35 2.64 0.02 2.82 0.02 1.35 1.41 2.91 0.02 2.78 0.02 1.42 1.31 2.60 0.01 2.71 0.02 1.27 1.59 2.70 0.02 3.02 0.02 1.37
AG01___3.2.trs 2.37 0.01 2.40 0.01 2.41 0.01 2.38 0.01 2.41 0.01 2.44 0.01 2.47 0.01 2.43 0.01 2.45 0.01 2.50 0.01 2.50 0.01 2.47 0.01 2.37 0.01 2.41 0.01 2.43 0.01 2.36 0.01 2.32 0.01 2.33 0.01 2.35 0.01 2.29 0.01
AG01___3.21.trs 1.17 2.37 0.01 2.39 0.01 2.37 0.01 1.18 2.41 0.01 2.45 0.01 2.39 0.01 1.22 2.44 0.01 2.46 0.01 2.41 0.01 1.16 2.38 0.01 2.43 0.01 2.36 0.01 1.09 1.09 1.14 1.09
AG01___3.22.trs 1.25 2.65 0.02 2.54 0.02 2.57 0.02 1.29 2.76 0.02 2.79 0.02 2.68 0.02 1.34 2.71 0.02 2.89 0.02 2.73 0.02 1.24 2.69 0.02 2.76 0.02 2.58 0.02 1.16 1.15 1.15 1.15
AG01___3.23.trs 2.30 0.01 2.30 0.01 2.31 0.01 2.29 0.01 2.32 0.01 2.32 0.01 2.31 0.01 2.30 0.01 2.33 0.01 2.56 0.01 2.33 0.01 2.33 0.01 2.29 0.01 2.30 0.01 2.31 0.01 2.23 0.01 2.20 0.01 2.21 0.01 2.21 0.01 2.21 0.01
AG01___3.24.trs 1.13 1.19 1.23 2.36 0.01 1.16 1.23 1.27 2.34 0.01 1.16 1.75 1.29 2.43 0.01 1.12 1.21 1.23 2.35 0.01 1.10 1.12 1.13 1.08
AG01___3.26.trs 1.13 2.30 0.00 2.32 0.00 2.30 0.00 1.15 2.32 0.00 2.34 0.00 2.33 0.00 1.16 3.42 0.01 2.36 0.01 2.35 0.01 1.12 2.29 0.00 2.32 0.00 2.32 0.01 1.09 1.11 1.12 1.07
AG01___3.29.trs 2.29 0.00 2.29 0.00 2.30 0.00 2.29 0.00 2.29 0.00 2.30 0.00 2.30 0.00 2.29 0.00 2.32 0.00 2.43 0.00 2.34 0.00 2.33 0.00 1.11 1.12 2.30 0.00 2.28 0.00 2.19 0.01 2.19 0.00 2.19 0.00 2.20 0.01
AG01___3.31.trs 2.30 0.01 2.30 0.01 2.31 0.01 2.29 0.01 2.31 0.01 2.33 0.01 2.32 0.01 2.30 0.01 2.31 0.01 2.33 0.01 2.32 0.01 2.33 0.01 2.27 0.01 2.30 0.01 2.29 0.01 2.24 0.01 2.20 0.01 2.22 0.01 2.22 0.01 2.21 0.01
AG01___3.33.trs 2.22 0.01 2.25 0.01 2.24 0.01 2.22 0.01 2.24 0.01 2.22 0.01 2.22 0.01 2.21 0.01 2.24 0.01 2.23 0.01 2.23 0.01 2.23 0.01 2.21 0.01 2.22 0.01 2.22 0.01 2.23 0.01 2.23 0.01 2.22 0.01 2.23 0.01 2.22 0.01
AG01___3.35.trs 2.28 0.01 2.30 0.01 2.29 0.01 2.30 0.01 2.29 0.01 2.28 0.01 2.29 0.01 2.31 0.01 2.30 0.01 2.32 0.01 2.34 0.01 2.33 0.01 2.26 0.01 2.30 0.01 2.32 0.01 2.29 0.01 2.19 0.01 2.20 0.01 2.19 0.01 2.19 0.01
AG01___3.36.trs 1.24 2.66 0.01 2.58 0.01 2.52 0.01 1.25 2.61 0.01 2.64 0.01 2.58 0.01 1.30 2.72 0.01 2.60 0.01 2.63 0.02 1.23 2.56 0.01 2.52 0.01 2.47 0.01 1.16 1.20 1.23 1.13
AG01___3.37.trs 2.35 0.01 2.37 0.01 2.35 0.01 2.34 0.01 2.35 0.01 2.38 0.01 2.39 0.01 2.38 0.01 2.41 0.01 2.43 0.01 2.44 0.01 2.43 0.01 2.34 0.01 2.34 0.01 2.36 0.01 2.34 0.01 2.25 0.01 2.23 0.01 2.24 0.01 2.24 0.01
AG01___3.38.trs 2.44 0.01 2.51 0.01 2.53 0.01 2.46 0.01 2.46 0.01 2.58 0.01 2.62 0.01 2.51 0.01 2.55 0.01 2.60 0.01 2.67 0.01 2.55 0.01 2.46 0.01 2.52 0.01 2.59 0.01 2.46 0.01 2.37 0.01 2.43 0.01 2.45 0.01 2.33 0.01
AG01___3.39.trs 1.27 1.28 1.32 1.26 1.34 1.40 1.58 1.45 1.48 1.51 1.61 1.49 1.29 1.33 1.50 1.31 1.19 1.20 1.22 1.18
AG01___3.4.trs 2.53 0.02 2.57 0.02 2.59 0.02 2.53 0.02 2.57 0.02 2.61 0.02 2.66 0.02 2.62 0.02 2.64 0.02 2.68 0.02 2.75 0.02 2.65 0.02 2.50 0.01 2.59 0.02 2.63 0.01 2.48 0.01 2.40 0.01 2.41 0.02 2.46 0.01 2.44 0.01
AG01___3.40.trs 1.37 1.43 1.53 1.32 1.42 1.53 1.82 1.57 1.50 1.54 1.88 1.65 1.36 1.48 1.70 1.42 1.51 1.54 1.55 1.50
AG01___3.41.trs 1.13 1.13 1.13 1.13 1.12 1.13 1.15 1.16 1.14 1.14 1.15 1.17 1.11 1.13 1.12 1.13 1.05 1.05 1.05 1.05
AG01___3.42.trs 1.23 1.25 1.26 1.23 1.26 1.29 1.29 1.26 1.27 1.29 1.30 1.28 1.23 1.27 1.27 1.23 1.10 1.10 1.10 1.09
AG01___3.47.trs 2.34 0.01 2.34 0.01 2.34 0.01 2.35 0.01 2.36 0.01 2.39 0.01 2.40 0.01 2.39 0.01 2.40 0.01 2.40 0.01 2.43 0.01 2.42 0.01 2.33 0.01 2.35 0.01 2.38 0.01 2.35 0.01 2.24 0.01 2.24 0.01 2.26 0.01 2.22 0.01
AG01___3.48.trs 2.42 0.01 2.49 0.01 2.48 0.01 2.46 0.01 2.46 0.01 2.52 0.01 2.55 0.01 2.54 0.01 2.52 0.01 2.52 0.01 2.53 0.01 2.52 0.01 2.42 0.01 2.43 0.01 2.46 0.01 2.44 0.01 2.30 0.01 2.30 0.01 2.34 0.01 2.29 0.01
AG01___3.49.trs 1.17 1.17 1.18 2.44 0.01 1.19 1.23 1.25 2.54 0.01 1.23 1.28 1.33 2.56 0.01 1.16 1.21 1.24 2.45 0.01 1.06 1.06 1.06 1.06
AG01___3.5.trs 2.52 0.02 2.56 0.02 2.60 0.02 2.57 0.02 2.61 0.02 2.72 0.02 2.77 0.02 2.67 0.02 2.63 0.02 2.68 0.02 2.73 0.02 2.79 0.02 2.55 0.02 2.60 0.02 2.64 0.02 2.56 0.02 2.41 0.02 2.41 0.02 2.43 0.02 2.40 0.02
AG01___3.51.trs 2.36 0.01 2.35 0.01 2.37 0.01 2.36 0.01 2.35 0.01 2.37 0.01 2.38 0.01 2.37 0.01 2.37 0.01 2.37 0.01 2.38 0.01 2.37 0.01 2.33 0.01 2.36 0.01 2.36 0.01 2.29 0.01 2.28 0.01 2.28 0.01 2.28 0.01 2.28 0.01
AG01___3.52.trs 2.32 0.01 2.32 0.01 2.32 0.01 2.31 0.01 2.33 0.01 2.36 0.01 2.39 0.01 2.36 0.01 2.40 0.01 2.41 0.01 2.43 0.01 2.42 0.01 2.30 0.01 2.33 0.01 2.35 0.01 2.31 0.01 2.21 0.01 2.20 0.01 2.20 0.01 2.19 0.01
AG01___3.53.trs 1.48 1.51 1.52 2.83 0.03 1.52 1.56 1.60 2.92 0.03 1.56 1.60 1.64 2.98 0.03 1.46 1.52 1.58 2.79 0.03 1.43 1.48 1.58 1.30
AG01___3.53a.trs 2.29 0.00 2.28 0.00 2.27 0.00 2.29 0.00 2.29 0.00 2.31 0.01 2.31 0.00 2.30 0.01 2.32 0.01 2.32 0.01 2.34 0.00 2.33 0.01 1.10 1.12 2.30 0.00 2.30 0.00 2.19 0.00 2.20 0.01 2.19 0.00 2.18 0.00
AG01___3.53b.trs 2.31 0.01 2.31 0.01 2.33 0.01 2.33 0.01 2.34 0.01 2.35 0.01 2.38 0.01 2.35 0.01 2.41 0.01 2.42 0.01 2.43 0.01 2.42 0.01 2.30 0.01 2.33 0.01 2.35 0.01 2.32 0.01 2.20 0.01 2.21 0.01 2.20 0.01 2.20 0.01
AG01___3.54.trs 2.38 0.01 2.37 0.01 2.40 0.01 2.37 0.01 2.38 0.01 2.40 0.01 2.43 0.01 2.41 0.01 2.42 0.01 2.44 0.01 2.46 0.01 2.44 0.01 1.18 1.21 2.40 0.01 2.36 0.01 2.29 0.01 2.31 0.01 2.32 0.01 2.26 0.01
AG01___3.55.trs 3.15 0.04 3.30 0.04 3.33 0.04 3.15 0.05 3.23 0.04 3.49 0.05 3.61 0.05 3.49 0.06 3.29 0.04 3.51 0.05 3.58 0.05 3.34 0.05 3.17 0.04 3.40 0.05 3.46 0.05 3.09 0.04 2.83 0.04 2.95 0.04 3.04 0.04 2.86 0.04
AG01___3.56.trs 2.38 0.01 2.39 0.01 2.41 0.01 2.39 0.01 2.39 0.01 2.41 0.01 2.44 0.01 2.40 0.01 2.43 0.01 2.43 0.01 2.44 0.01 2.43 0.01 2.36 0.01 2.40 0.01 2.42 0.01 2.38 0.01 2.26 0.01 2.26 0.01 2.26 0.01 2.24 0.01
AG01___3.57.trs 1.52 1.57 1.62 2.88 0.03 1.58 1.65 1.68 3.01 0.03 1.62 1.64 1.74 3.07 0.03 1.50 1.62 1.66 2.82 0.03 1.32 1.35 1.39 1.40
AG01___3.5a.trs 2.61 0.02 2.62 0.02 2.65 0.02 2.61 0.02 2.65 0.02 2.73 0.02 2.78 0.02 2.67 0.02 2.72 0.02 2.78 0.02 2.82 0.02 2.75 0.02 2.59 0.02 2.68 0.02 2.72 0.02 2.59 0.02 2.43 0.02 2.44 0.02 2.45 0.02 2.41 0.02
AG01___3.5b.trs 1.35 2.73 0.02 2.74 0.02 2.66 0.02 1.40 2.84 0.02 2.87 0.02 2.78 0.03 1.47 2.92 0.02 2.97 0.03 2.86 0.03 1.35 2.78 0.02 2.86 0.02 2.66 0.02 1.33 2.62 0.02 2.64 0.02 2.59 0.02
AG01___3.6.trs 2.70 0.02 2.74 0.02 2.76 0.02 2.72 0.03 2.74 0.03 2.85 0.03 2.91 0.03 2.85 0.03 2.83 0.02 2.85 0.02 2.97 0.03 2.94 0.03 1.32 1.43 2.81 0.02 2.62 0.02 2.56 0.02 2.56 0.02 2.58 0.03 2.53 0.03
AG01___3.6a.trs 2.65 0.02 2.71 0.02 2.77 0.02 2.69 0.02 2.73 0.02 2.83 0.02 2.87 0.02 2.83 0.03 2.79 0.02 2.81 0.02 2.82 0.02 2.80 0.02 1.31 1.40 2.80 0.02 2.61 0.02 2.49 0.02 2.50 0.02 2.52 0.02 2.47 0.02
AG01___3.6b.trs 1.37 2.86 0.03 2.85 0.03 2.80 0.03 1.43 3.05 0.03 3.87 0.03 2.96 0.03 1.50 2.86 0.02 3.48 0.03 3.12 0.03 1.38 1.56 2.95 0.02 2.71 0.03 1.39 2.70 0.03 2.71 0.03 2.67 0.03
AG01___3.7.trs 2.37 0.01 2.37 0.01 2.38 0.01 2.36 0.01 2.37 0.01 2.40 0.01 2.41 0.01 2.40 0.01 2.39 0.01 2.41 0.01 2.42 0.01 2.41 0.01 2.35 0.01 2.37 0.01 2.40 0.01 2.37 0.01 2.28 0.01 2.30 0.01 2.30 0.01 2.27 0.01
AG01___3.8a.trs 2.52 0.02 2.56 0.02 2.59 0.02 2.52 0.02 2.54 0.02 2.57 0.02 2.63 0.02 2.56 0.02 2.58 0.02 2.61 0.02 2.66 0.02 2.61 0.02 2.52 0.01 2.58 0.02 2.59 0.02 2.52 0.02 2.44 0.02 2.49 0.02 2.52 0.02 2.39 0.02
AG01___3.8b.trs 1.39 2.78 0.03 2.83 0.02 2.71 0.03 1.43 2.86 0.02 2.90 0.03 2.80 0.03 1.49 2.86 0.03 2.93 0.03 2.83 0.03 1.39 2.83 0.03 2.85 0.02 2.71 0.03 1.29 2.71 0.02 2.87 0.02 2.64 0.02
AG01___4.30c.trs 1.31 1.34 1.36 1.31 1.36 1.45 1.49 1.39 1.44 1.61 1.66 1.54 1.31 1.38 1.42 1.29 1.23 1.23 1.23 1.23
AotoYamada_05___001.trs 1.26 1.28 1.31 1.24 1.30 1.33 1.37 1.30 1.32 1.36 1.39 1.33 1.24 1.28 1.35 1.21 1.09 1.09 1.10 1.09
AotoYamada_05___002.trs 2.61 0.02 2.63 0.02 2.67 0.02 2.62 0.02 2.64 0.02 2.77 0.03 2.77 0.02 2.78 0.03 2.68 0.02 2.75 0.02 2.79 0.02 2.74 0.03 2.60 0.02 2.63 0.02 2.70 0.02 2.62 0.02 2.48 0.02 2.48 0.02 2.49 0.02 2.47 0.02
AotoYamada_05___003.trs 1.34 1.36 1.41 1.28 1.38 1.40 1.52 1.34 1.40 1.43 1.54 1.41 1.32 1.38 1.48 1.26 1.13 1.12 1.13 1.12
AotoYamada_05___004.trs 2.54 0.02 2.56 0.02 2.58 0.02 2.57 0.02 2.56 0.02 2.59 0.02 2.65 0.02 2.65 0.02 2.67 0.02 2.64 0.02 2.78 0.02 2.62 0.02 2.51 0.02 2.56 0.02 2.62 0.02 2.54 0.02 2.40 0.02 2.39 0.02 2.39 0.02 2.38 0.02
AotoYamada_05___005.trs 1.26 2.59 0.02 2.67 0.02 2.53 0.02 1.30 2.56 0.01 2.61 0.02 2.60 0.02 1.33 2.62 0.02 2.73 0.02 2.59 0.01 1.27 2.53 0.01 2.58 0.02 2.48 0.02 1.20 2.44 0.02 2.54 0.02 2.38 0.02
AotoYamada_05___006.trs 2.53 0.02 2.57 0.02 2.57 0.02 2.63 0.02 2.55 0.02 2.83 0.02 2.72 0.02 2.68 0.02 2.61 0.02 2.69 0.02 2.86 0.02 2.75 0.02 2.51 0.02 2.55 0.02 2.62 0.02 2.51 0.02 2.41 0.03 2.40 0.03 2.40 0.03 2.39 0.03
AotoYamada_05___007.trs 2.63 0.02 2.64 0.02 2.67 0.02 2.63 0.02 2.65 0.02 2.68 0.02 2.72 0.02 2.69 0.02 2.73 0.02 2.73 0.02 2.83 0.02 2.72 0.02 2.60 0.02 2.64 0.02 2.68 0.02 2.62 0.02 2.47 0.02 2.47 0.02 2.48 0.02 2.46 0.02
AotoYamada_05___009.trs 2.71 0.03 2.60 0.02 2.74 0.03 2.78 0.03 2.77 0.03 2.83 0.03 2.97 0.03 2.91 0.03 2.84 0.03 2.77 0.02 3.00 0.03 2.91 0.03 2.59 0.02 2.64 0.02 2.71 0.02 2.73 0.03 2.50 0.03 2.48 0.03 2.49 0.03 2.48 0.03
AotoYamada_05___010.trs 1.56 1.72 1.81 1.52 1.61 1.77 1.83 1.60 1.76 1.80 1.76 1.66 1.56 1.76 1.81 1.49 1.47 1.51 1.58 1.37
AotoYamada_05___011.trs 1.41 1.43 1.50 1.37 1.45 1.51 1.58 1.45 1.50 1.55 1.62 1.49 1.41 1.45 1.54 1.36 1.34 1.36 1.45 1.27
AotoYamada_05___012.trs 2.69 0.03 2.58 0.02 2.72 0.03 2.76 0.03 2.75 0.02 2.85 0.03 2.94 0.03 2.88 0.03 2.81 0.03 2.76 0.02 2.98 0.03 2.90 0.03 2.59 0.02 2.63 0.02 2.70 0.02 2.69 0.03 2.50 0.03 2.48 0.03 2.50 0.03 2.48 0.03
AotoYamada_05___013.trs 2.77 0.03 2.82 0.03 2.85 0.03 2.81 0.03 2.78 0.03 2.91 0.03 3.03 0.03 2.93 0.03 2.92 0.03 2.98 0.03 2.97 0.03 2.92 0.03 2.80 0.03 2.77 0.03 2.84 0.03 2.84 0.03 2.58 0.03 2.58 0.03 2.58 0.03 2.57 0.03
AotoYamada_05___014.trs 3.01 0.04 3.02 0.03 3.06 0.04 2.90 0.03 3.03 0.03 3.09 0.03 3.14 0.03 2.97 0.03 3.11 0.03 3.09 0.04 3.21 0.03 2.97 0.03 2.98 0.03 3.04 0.03 3.07 0.03 2.90 0.03 2.69 0.03 2.81 0.03 2.81 0.04 2.70 0.03
AotoYamada_05___015.trs 2.54 0.02 2.52 0.02 2.56 0.02 2.52 0.02 2.53 0.02 2.57 0.02 2.59 0.02 2.60 0.02 2.61 0.02 2.58 0.02 2.76 0.02 2.58 0.02 2.46 0.02 2.53 0.02 2.56 0.02 2.52 0.02 2.41 0.02 2.38 0.02 2.40 0.02 2.38 0.02
AotoYamada_05___016.trs 3.05 0.04 3.00 0.03 3.24 0.04 2.84 0.03 3.21 0.04 3.31 0.04 3.48 0.04 3.14 0.04 3.00 0.03 3.10 0.03 3.45 0.04 3.19 0.04 3.01 0.04 2.99 0.03 3.11 0.03 2.92 0.04 2.65 0.04 2.64 0.04 2.65 0.04 2.64 0.04
AotoYamada_05___017.trs 2.30 0.00 2.36 0.01 2.41 0.01 2.36 0.01 2.39 0.01 2.42 0.01 2.45 0.01 2.43 0.01 2.37 0.01 2.39 0.01 2.42 0.01 2.46 0.01 2.30 0.00 2.33 0.01 2.40 0.01 2.31 0.00 2.27 0.01 2.28 0.01 2.32 0.01 2.24 0.01
AotoYamada_05___019.trs 2.36 0.01 2.36 0.01 2.39 0.01 2.36 0.01 2.40 0.01 2.41 0.01 2.44 0.01 2.41 0.01 2.43 0.01 2.44 0.01 2.47 0.01 2.43 0.01 2.36 0.01 2.39 0.01 2.43 0.01 2.37 0.01 2.26 0.01 2.25 0.01 2.26 0.01 2.24 0.01
AotoYamada_05___020.trs 2.72 0.02 2.72 0.02 2.80 0.02 2.66 0.02 2.73 0.02 2.77 0.02 2.84 0.02 2.74 0.02 2.78 0.02 2.82 0.02 2.87 0.02 2.77 0.02 2.70 0.02 2.76 0.02 2.82 0.02 2.66 0.02 2.49 0.02 2.49 0.02 2.49 0.02 2.48 0.02
AotoYamada_05___021.trs 2.95 0.04 3.23 0.04 3.16 0.04 3.02 0.04 3.01 0.04 3.31 0.04 3.27 0.04 3.28 0.04 3.19 0.04 3.27 0.04 3.20 0.04 3.36 0.05 2.98 0.04 3.28 0.04 3.19 0.04 2.96 0.04 2.77 0.04 2.76 0.04 2.77 0.04 2.75 0.04
AotoYamada_05___022.trs 2.62 0.02 2.67 0.02 2.69 0.02 2.64 0.02 2.63 0.02 2.80 0.02 2.91 0.02 2.77 0.02 2.79 0.02 2.85 0.02 2.83 0.02 2.78 0.02 2.65 0.02 2.63 0.02 2.71 0.02 2.69 0.03 2.48 0.02 2.48 0.02 2.48 0.02 2.47 0.02
AotoYamada_05___023.trs 1.18 2.36 0.01 2.37 0.01 2.36 0.01 1.17 2.41 0.01 2.43 0.01 2.37 0.01 1.19 2.41 0.01 2.44 0.01 2.40 0.01 1.15 2.38 0.01 2.40 0.01 2.36 0.01 1.12 2.30 0.01 2.31 0.01 2.34 0.01
AotoYamada_05___024.trs 2.41 0.01 2.42 0.01 2.44 0.01 2.42 0.01 2.42 0.01 2.47 0.01 2.50 0.01 2.50 0.01 2.52 0.01 2.49 0.01 2.65 0.01 2.46 0.01 2.36 0.01 2.41 0.01 2.44 0.01 2.41 0.01 2.28 0.01 2.29 0.01 2.29 0.01 2.27 0.01
AotoYamada_05___025.trs 2.27 0.00 2.27 0.00 2.28 0.01 2.28 0.01 2.28 0.00 2.29 0.00 2.30 0.01 2.30 0.01 2.31 0.00 2.31 0.01 2.31 0.00 2.31 0.01 2.25 0.00 2.27 0.00 2.28 0.00 2.28 0.00 2.19 0.00 2.19 0.00 2.21 0.00 2.18 0.01
AotoYamada_05___026.trs 2.56 0.02 2.59 0.02 2.70 0.02 2.66 0.02 2.62 0.02 2.74 0.02 2.80 0.02 2.77 0.02 2.72 0.02 2.74 0.02 2.83 0.02 2.74 0.02 2.58 0.02 2.62 0.02 2.74 0.02 2.53 0.02 2.39 0.02 2.39 0.02 2.39 0.02 2.40 0.02
AotoYamada_05___027.trs 2.62 0.02 2.70 0.03 2.67 0.02 2.68 0.03 2.68 0.02 2.79 0.02 2.93 0.03 2.84 0.03 2.73 0.02 2.85 0.03 2.91 0.03 2.89 0.03 2.61 0.02 2.69 0.02 2.73 0.02 2.64 0.02 2.50 0.02 2.50 0.02 2.49 0.02 2.48 0.02
AotoYamada_05___028.trs 2.51 0.02 2.52 0.02 2.55 0.02 2.52 0.02 2.49 0.02 2.54 0.02 2.58 0.02 2.60 0.02 2.62 0.02 2.57 0.02 2.74 0.02 2.56 0.02 2.46 0.02 2.49 0.02 2.53 0.02 2.52 0.02 2.37 0.02 2.37 0.02 2.38 0.02 2.37 0.02
AotoYamada_05___Ex1SimplyTyped.trs 1.28 2.66 0.02 2.69 0.02 2.56 0.02 1.32 2.77 0.02 2.74 0.02 2.72 0.02 1.38 2.67 0.02 2.91 0.02 2.78 0.02 1.28 2.58 0.02 2.59 0.02 2.53 0.02 1.18 2.42 0.02 2.44 0.02 2.45 0.02
AotoYamada_05___Ex5TermProof.trs 1.47 1.49 1.57 1.42 1.50 1.54 1.61 1.56 1.54 1.57 1.66 1.59 1.45 1.52 1.58 1.39 1.26 1.25 1.26 1.25
Applicative_05___BTreeMember.trs 2.84 0.03 2.88 0.04 2.89 0.03 2.86 0.04 2.93 0.04 3.00 0.04 3.05 0.04 2.88 0.04 2.92 0.04 3.00 0.04 3.03 0.04 2.93 0.04 2.84 0.04 2.90 0.03 2.95 0.03 2.84 0.04 2.71 0.04 2.71 0.04 2.70 0.04 2.71 0.04
Applicative_05___Ex10Functional.trs 1.67 1.70 1.76 1.64 1.73 1.80 1.94 1.84 1.79 1.85 1.97 2.00 1.69 1.73 1.82 1.51 1.66 1.65 1.69 1.67
Applicative_05___Ex2_6_1Composition.trs 2.31 0.00 2.30 0.00 2.32 0.01 2.29 0.01 2.31 0.01 2.33 0.01 2.39 0.01 2.34 0.01 2.37 0.01 2.37 0.01 2.40 0.01 2.38 0.01 2.28 0.01 2.34 0.01 2.35 0.01 2.31 0.01 2.21 0.01 2.20 0.01 2.20 0.01 2.19 0.01
Applicative_05___Ex2_8_1ConstSubstFix.trs 1.18 1.18 1.22 1.18 1.22 1.26 1.36 1.26 1.29 1.35 1.42 1.33 1.20 1.23 1.33 1.18 1.08 1.08 1.09 1.08
Applicative_05___Ex2PrimRec.trs 1.20 1.22 1.29 1.19 1.26 1.34 1.40 1.28 1.35 1.38 1.41 1.33 1.21 1.25 1.35 1.12 1.08 1.08 1.10 1.08
Applicative_05___Ex3Lists.trs 2.86 0.03 2.87 0.03 2.95 0.03 2.93 0.04 2.95 0.03 3.00 0.04 3.17 0.04 3.47 0.05 3.02 0.03 3.08 0.04 3.23 0.04 3.07 0.03 2.81 0.03 2.88 0.03 3.07 0.03 2.83 0.03 2.65 0.04 2.62 0.04 2.64 0.04 2.62 0.04
Applicative_05___Ex4MapList.trs 2.40 0.01 2.41 0.01 2.43 0.01 2.40 0.01 2.44 0.01 2.49 0.01 2.50 0.01 2.53 0.01 2.46 0.01 2.49 0.01 2.51 0.01 2.56 0.01 2.40 0.01 2.44 0.01 2.46 0.01 2.40 0.01 2.31 0.01 2.32 0.01 2.32 0.01 2.31 0.01
Applicative_05___Ex5Folding.trs 1.50 1.51 1.59 1.43 1.53 1.57 1.66 1.57 1.57 1.60 1.69 1.61 1.47 1.55 1.59 1.40 1.28 1.29 1.29 1.29
Applicative_05___Ex5Sorting.trs 1.78 1.85 1.94 1.68 1.83 1.90 2.10 1.91 1.90 1.97 2.08 1.98 1.78 1.85 2.01 1.61 1.49 1.50 1.50 1.49
Applicative_05___Ex6_11.trs 2.38 0.01 2.37 0.01 2.39 0.01 2.38 0.01 2.39 0.01 2.41 0.01 2.44 0.01 2.42 0.01 2.43 0.01 2.41 0.01 2.44 0.01 2.45 0.01 2.36 0.01 2.38 0.01 2.39 0.01 2.38 0.01 2.29 0.01 2.29 0.01 2.30 0.01 2.28 0.01
Applicative_05___Ex6Folding.trs 1.29 1.32 1.42 1.27 1.32 1.42 1.47 1.37 1.42 1.64 1.48 1.43 1.28 1.38 1.45 1.18 1.14 1.13 1.14 1.13
Applicative_05___Ex6Recursor.trs 1.21 1.22 1.26 1.18 1.26 1.34 1.40 1.28 1.29 1.37 1.40 1.34 1.22 1.24 1.34 1.11 1.09 1.07 1.08 1.07
Applicative_05___Ex7_9.trs 1.77 1.79 1.83 1.67 1.82 1.88 1.91 1.78 1.89 1.89 1.94 1.80 1.78 1.95 1.87 1.64 1.43 1.43 1.43 1.43
Applicative_05___Ex7OrdinalRec.trs 1.51 1.52 1.61 1.41 1.56 1.58 1.73 1.55 1.61 1.62 1.76 1.59 1.49 1.54 1.63 1.32 1.33 1.33 1.33 1.32
Applicative_05___Ex7Sorting.trs 1.81 1.95 2.06 1.67 1.94 1.98 2.19 1.91 1.97 2.04 2.20 1.99 1.77 2.00 2.10 1.61 1.59 1.60 1.58 1.59
Applicative_05___Ex8Polymorphic.trs 2.71 0.02 2.73 0.02 2.83 0.02 2.82 0.03 2.74 0.02 2.83 0.02 2.95 0.02 2.96 0.03 2.83 0.02 2.87 0.02 3.01 0.02 3.06 0.03 2.69 0.02 2.81 0.02 2.86 0.02 2.65 0.02 2.50 0.04 2.49 0.04 2.50 0.04 2.50 0.04
Applicative_05___Ex9Maps.trs 1.55 1.58 1.67 1.42 1.60 1.65 1.82 1.58 1.65 1.79 1.87 1.68 1.54 1.60 1.72 1.41 1.31 1.31 1.32 1.30
Applicative_05___Hamming.trs 2.16 2.21 2.24 2.08 2.27 2.31 2.51 2.28 2.37 2.50 2.58 2.51 2.17 2.30 2.35 2.01 1.93 1.91 1.92 2.05
Applicative_05___mapDivMinus.trs 1.45 1.47 1.52 1.43 1.47 1.54 1.61 1.54 1.53 2.17 1.72 1.54 1.42 1.48 1.54 1.39 1.24 1.25 1.24 1.24
Applicative_05___mapDivMinusHard.trs 1.53 1.52 1.59 1.46 1.52 1.60 1.71 1.62 1.63 1.64 1.81 1.61 1.49 1.54 1.64 1.43 1.28 1.28 1.28 1.29
Applicative_05___nonTermF.trs 1.29 1.29 1.41 1.25 1.33 1.43 1.49 1.38 1.43 1.47 1.51 1.44 1.28 1.38 1.43 1.26 1.17 1.17 1.17 1.17
Applicative_05___ReverseLastInit.trs 2.71 0.02 2.74 0.02 2.82 0.02 2.67 0.02 2.73 0.02 2.79 0.02 2.85 0.02 2.76 0.03 2.76 0.02 2.80 0.02 2.89 0.02 2.78 0.02 2.70 0.02 2.75 0.02 2.82 0.02 2.68 0.02 2.53 0.02 2.52 0.02 2.53 0.02 2.51 0.02
Applicative_05___TakeDropWhile.trs 2.76 0.03 2.66 0.03 2.81 0.03 2.81 0.03 2.83 0.03 2.91 0.03 3.02 0.03 2.95 0.03 2.89 0.03 2.82 0.03 3.04 0.03 2.98 0.03 2.65 0.03 2.69 0.03 2.75 0.03 2.75 0.03 2.56 0.03 2.55 0.03 2.56 0.03 2.53 0.03
Applicative_05___termMonTypes.trs 1.30 1.33 1.41 1.26 1.35 1.41 1.53 1.36 1.37 1.49 1.54 1.40 1.29 1.35 1.46 1.21 1.09 1.09 1.10 1.09
Applicative_05___TreeFlatten.trs 2.80 0.03 2.89 0.03 2.89 0.03 2.90 0.04 2.84 0.03 2.97 0.03 2.97 0.03 3.00 0.04 2.92 0.03 2.95 0.03 3.08 0.04 3.07 0.04 2.81 0.03 2.86 0.03 2.90 0.03 2.82 0.03 2.64 0.04 2.64 0.04 2.64 0.04 2.64 0.04
Applicative_05___TreeHeight.trs 3.01 0.04 3.09 0.04 3.10 0.04 3.00 0.04 3.06 0.04 3.21 0.04 3.25 0.04 3.10 0.04 3.13 0.04 3.18 0.04 3.34 0.04 3.15 0.04 3.03 0.04 3.08 0.04 3.15 0.04 2.91 0.04 2.76 0.04 2.76 0.04 2.74 0.04 2.74 0.04
Applicative_05___TreeLevels.trs 3.33 0.06 3.44 0.06 3.54 0.06 3.34 0.06 3.39 0.06 3.51 0.06 3.71 0.06 3.47 0.06 3.43 0.06 3.50 0.06 3.76 0.06 3.53 0.06 3.33 0.05 3.41 0.06 3.59 0.06 3.27 0.05 3.07 0.06 3.07 0.06 3.06 0.06 3.07 0.06
Applicative_05___TreeMap.trs 2.51 0.02 2.54 0.02 2.56 0.02 2.65 0.02 2.63 0.02 2.79 0.02 2.79 0.02 2.88 0.03 2.68 0.02 2.82 0.02 2.82 0.02 2.79 0.02 2.54 0.02 2.62 0.02 2.69 0.02 2.62 0.02 2.42 0.03 2.42 0.03 2.42 0.03 2.42 0.03
Applicative_05___TreeSize.trs 2.75 0.03 2.84 0.03 2.87 0.03 2.85 0.03 2.81 0.03 2.96 0.03 2.93 0.03 2.94 0.03 2.85 0.03 2.90 0.03 3.04 0.03 3.00 0.03 2.77 0.03 2.92 0.03 2.88 0.03 2.77 0.03 2.60 0.03 2.60 0.03 2.60 0.03 2.60 0.04
Applicative_05___TypeEx1.trs 1.18 1.19 1.24 1.18 1.21 1.24 1.27 1.24 1.24 1.27 1.30 1.27 1.17 1.21 1.25 1.18 1.09 1.09 1.08 1.08
Applicative_05___TypeEx3.trs 1.31 1.33 1.45 1.31 1.37 1.48 1.55 1.43 1.49 1.51 1.59 1.50 1.31 1.43 1.48 1.29 1.20 1.20 1.19 1.19
Applicative_05___TypeEx5.trs 1.12 1.13 1.14 1.13 1.14 1.15 1.17 1.15 1.14 1.18 1.19 1.16 1.10 1.14 1.13 1.07 1.04 1.04 1.05 1.05
Applicative_first_order_05___3.10.trs 2.77 2.79 3.43 2.60 3.04 3.07 4.16 4.39 3.12 3.23 4.55 3.67 3.16 3.07 4.12 2.32 1.97 1.95 1.94 1.94
Applicative_first_order_05___3.13.trs 2.78 2.64 3.18 2.43 2.96 3.01 3.89 2.79 2.67 3.52 4.79 2.62 2.94 2.89 3.79 2.33 2.04 2.02 2.04 2.05
Applicative_first_order_05___3.16.trs 3.34 0.05 3.39 0.05 3.56 0.05 3.24 0.05 3.43 0.05 3.51 0.06 3.68 0.05 3.67 0.05 3.42 0.05 3.51 0.05 3.73 0.05 3.52 0.05 3.36 0.05 3.45 0.05 3.58 0.05 3.26 0.05 2.96 0.07 2.94 0.07 2.96 0.07 2.93 0.07
Applicative_first_order_05___3.18.trs 1.87 1.93 2.09 1.76 1.91 2.03 2.23 2.01 1.98 2.15 2.34 2.09 1.86 2.01 2.10 1.75 1.53 1.53 1.53 1.53
Applicative_first_order_05___3.2.trs 1.74 1.79 1.95 1.66 1.82 1.90 2.14 1.84 1.85 1.99 2.19 1.93 1.77 1.86 2.01 1.62 1.43 1.41 1.41 1.40
Applicative_first_order_05___3.22.trs 1.84 1.99 2.19 1.82 2.00 2.13 2.38 2.25 1.94 2.19 2.46 2.29 1.82 2.09 2.25 1.72 1.48 1.48 1.47 1.47
Applicative_first_order_05___3.25.trs 1.53 1.53 1.57 1.64 1.56 1.62 1.71 1.84 1.63 1.75 1.86 1.88 1.52 1.70 1.72 1.50 1.35 1.34 1.37 1.34
Applicative_first_order_05___3.27.trs 2.92 0.04 2.93 0.04 2.97 0.04 3.20 0.05 2.97 0.04 3.16 0.04 3.10 0.04 3.39 0.05 3.04 0.04 3.29 0.04 3.31 0.04 3.39 0.05 2.94 0.04 3.27 0.04 3.22 0.04 2.93 0.04 2.77 0.05 2.78 0.05 2.83 0.05 2.75 0.05
Applicative_first_order_05___3.32.trs 2.84 0.04 2.87 0.04 2.89 0.04 3.03 0.04 2.90 0.04 3.01 0.04 3.05 0.03 3.21 0.05 2.95 0.04 3.12 0.04 3.18 0.04 3.30 0.05 2.84 0.03 2.93 0.03 3.01 0.03 2.84 0.04 2.71 0.04 2.70 0.04 2.70 0.04 2.71 0.04
Applicative_first_order_05___3.36.trs 1.74 1.85 1.96 1.68 1.82 1.93 2.12 1.86 1.88 1.98 2.17 1.93 1.74 1.88 2.03 1.67 1.44 1.44 1.43 1.43
Applicative_first_order_05___3.38.trs 1.87 1.92 1.84 1.80 1.79 2.02 2.13 2.14 1.97 2.12 2.44 2.29 1.72 1.85 2.13 1.70 1.48 1.49 1.47 1.48
Applicative_first_order_05___3.40.trs 2.04 2.10 2.66 1.82 2.82 2.59 3.56 3.06 2.50 2.67 3.49 3.31 2.01 2.15 2.68 1.83 1.59 1.60 1.60 1.59
Applicative_first_order_05___3.45.trs 1.72 3.25 0.05 3.30 0.05 3.28 0.06 1.76 3.38 0.05 3.43 0.05 3.55 0.06 1.83 3.49 0.05 3.50 0.05 3.64 0.06 1.73 3.31 0.05 3.41 0.05 3.08 0.05 1.39 1.39 1.40 1.39
Applicative_first_order_05___3.48.trs 3.44 0.06 3.54 0.06 3.67 0.06 3.35 0.06 3.52 0.06 3.62 0.06 3.84 0.06 3.52 0.06 3.57 0.06 3.68 0.06 3.91 0.06 3.59 0.07 3.46 0.06 3.59 0.06 3.71 0.06 3.33 0.06 3.10 0.08 3.09 0.08 3.23 0.08 3.09 0.08
Applicative_first_order_05___3.52.trs 3.12 0.05 3.15 0.05 3.22 0.05 3.27 0.06 3.18 0.05 3.28 0.05 3.38 0.05 4.04 0.06 3.26 0.05 3.41 0.05 3.55 0.05 4.10 0.06 3.13 0.05 3.22 0.05 3.34 0.05 3.11 0.05 2.90 0.06 2.90 0.06 2.91 0.06 2.89 0.06
Applicative_first_order_05___3.55.trs 2.48 2.66 3.08 2.46 3.06 3.15 3.47 3.29 2.83 3.31 3.99 3.28 2.49 2.69 3.17 2.37 1.94 1.92 1.92 1.94
Applicative_first_order_05___3.57.trs 2.34 2.35 2.73 2.22 2.33 2.63 3.00 2.43 2.46 2.68 3.18 2.92 2.32 2.51 2.92 2.16 1.78 1.78 1.84 1.74
Applicative_first_order_05___3.6.trs 1.91 2.03 2.25 1.78 2.02 2.37 2.80 2.14 2.06 2.70 3.45 2.16 1.91 2.10 2.38 1.74 1.61 1.59 1.61 1.60
Applicative_first_order_05___3.8.trs 1.85 1.96 2.12 1.78 1.92 2.04 2.27 1.99 1.98 2.14 2.41 2.05 1.85 1.96 2.16 1.75 1.49 1.50 1.51 1.49
Applicative_first_order_05___01.trs 3.06 0.04 3.11 0.04 3.17 0.04 2.99 0.04 3.09 0.04 3.15 0.04 3.31 0.04 3.10 0.04 3.14 0.04 3.22 0.04 3.38 0.04 3.21 0.04 3.05 0.04 3.10 0.04 3.21 0.04 2.99 0.04 2.79 0.06 2.78 0.06 2.78 0.06 2.79 0.06
Applicative_first_order_05___02.trs 3.02 0.04 3.08 0.04 3.13 0.04 2.92 0.04 3.05 0.04 3.10 0.04 3.26 0.04 3.03 0.04 3.09 0.04 3.14 0.04 3.31 0.04 3.12 0.04 3.00 0.04 3.07 0.04 3.18 0.04 2.92 0.04 2.74 0.06 2.73 0.06 2.73 0.06 2.72 0.06
Applicative_first_order_05___06.trs 3.12 0.04 3.03 0.04 3.16 0.04 3.14 0.05 3.04 0.04 3.11 0.04 3.34 0.04 3.34 0.05 3.26 0.04 3.40 0.04 3.43 0.04 3.42 0.05 3.00 0.04 3.19 0.04 3.16 0.04 2.98 0.04 2.82 0.05 2.81 0.05 2.81 0.05 2.80 0.05
Applicative_first_order_05___08.trs 3.25 0.06 3.38 0.06 3.31 0.06 3.50 0.07 3.33 0.06 3.50 0.06 3.53 0.06 3.83 0.07 3.40 0.06 3.66 0.06 3.67 0.06 4.49 0.07 3.26 0.06 3.35 0.06 3.43 0.06 3.27 0.06 3.09 0.09 3.09 0.09 3.09 0.09 3.10 0.09
Applicative_first_order_05___11.trs 4.80 0.12 4.84 0.14 4.92 0.12 4.84 0.15 4.79 0.12 5.05 0.14 4.73 0.12 6.17 0.15 4.73 0.12 4.86 0.13 4.88 0.12 6.41 0.15 4.77 0.13 4.82 0.13 4.86 0.12 4.82 0.12 4.61 0.77 4.67 0.78 4.62 0.77 4.74 0.77
Applicative_first_order_05___12.trs 1.84 1.93 2.08 3.48 0.07 1.88 1.98 2.16 4.11 0.07 1.94 2.01 2.24 3.89 0.07 1.86 1.89 2.05 3.39 0.07 1.51 1.51 1.51 1.51
Applicative_first_order_05___13.trs 1.91 1.93 2.04 1.87 1.95 2.01 2.18 2.17 2.05 2.15 2.39 2.26 1.88 1.97 2.13 1.73 1.53 1.53 1.54 1.52
Applicative_first_order_05___17.trs 3.38 0.05 3.43 0.05 3.53 0.05 3.27 0.05 3.43 0.05 3.51 0.06 3.74 0.05 3.55 0.06 3.50 0.05 3.58 0.06 3.76 0.06 3.54 0.05 3.38 0.05 3.41 0.05 3.60 0.06 3.26 0.05 3.01 0.07 2.98 0.07 2.98 0.07 2.97 0.07
Applicative_first_order_05___18.trs 3.08 0.04 3.09 0.04 3.14 0.04 3.13 0.05 3.02 0.04 3.20 0.04 3.29 0.04 3.46 0.05 3.10 0.04 3.34 0.05 3.47 0.05 3.43 0.05 3.10 0.04 3.19 0.04 3.13 0.04 2.97 0.04 2.81 0.05 2.80 0.05 2.80 0.05 2.79 0.05
Applicative_first_order_05___21.trs 1.90 1.94 2.11 1.70 1.99 2.06 2.21 1.90 1.91 2.10 2.29 1.94 1.90 1.97 2.10 1.66 1.47 1.46 1.46 1.46
Applicative_first_order_05___29.trs 3.14 0.05 3.17 0.05 3.26 0.05 3.30 0.06 3.22 0.05 3.28 0.05 3.45 0.05 3.64 0.06 3.29 0.05 3.49 0.05 3.59 0.05 4.20 0.06 3.17 0.05 3.23 0.05 3.38 0.05 3.12 0.05 2.90 0.06 2.90 0.06 2.89 0.06 2.88 0.06
Applicative_first_order_05___30.trs 1.63 3.28 0.06 3.41 0.06 1.72 1.77 3.47 0.07 3.73 0.06 2.13 1.84 3.67 0.07 3.84 0.07 2.23 1.69 3.37 0.06 3.66 0.06 1.59 1.60 3.19 0.10 3.43 0.10 1.50
Applicative_first_order_05___31.trs 3.35 0.06 3.38 0.06 3.46 0.06 3.49 0.07 3.39 0.06 3.57 0.06 3.61 0.06 3.76 0.07 3.46 0.06 3.68 0.06 3.81 0.06 4.36 0.07 3.35 0.06 3.40 0.06 3.61 0.06 3.30 0.06 3.10 0.08 3.13 0.08 3.10 0.08 3.09 0.08
Applicative_first_order_05___33.trs 1.90 2.01 2.21 1.91 2.05 2.22 2.40 2.23 2.13 2.37 2.75 2.86 1.91 2.09 2.27 1.79 1.61 1.64 1.69 1.58
Applicative_first_order_05___hydra.trs 3.37 0.05 3.41 0.05 3.58 0.05 3.24 0.05 3.42 0.06 3.51 0.06 3.68 0.06 3.37 0.05 3.47 0.06 3.56 0.06 3.75 0.05 3.48 0.06 3.36 0.05 3.44 0.06 3.61 0.06 3.23 0.06 3.03 0.07 3.04 0.07 3.02 0.07 3.02 0.07
Applicative_first_order_05___minsort.trs 2.18 2.27 2.55 2.19 2.26 2.39 2.63 2.45 2.37 2.52 3.03 2.41 2.15 2.39 2.68 2.13 1.89 1.86 1.87 1.86
Applicative_first_order_05___motivation.trs 1.55 3.05 0.04 3.11 0.05 3.18 0.05 1.58 3.13 0.04 3.30 0.05 3.44 0.05 1.67 3.29 0.05 3.42 0.05 3.53 0.05 1.54 3.13 0.05 3.21 0.04 3.03 0.04 1.38 1.39 1.38 1.37
Applicative_first_order_05___perfect.trs 2.03 2.11 2.33 1.85 2.11 2.20 2.54 2.08 2.24 2.28 2.58 2.21 2.04 2.18 2.51 1.83 1.82 1.90 1.81 1.70
Applicative_first_order_05___perfect2.trs 2.24 2.26 2.53 2.12 2.25 2.36 2.70 2.48 2.42 2.47 2.79 2.52 2.17 2.30 2.64 2.14 1.91 1.91 1.92 1.92
AProVE_04___AAECC-ring.trs 2.38 2.61 2.58 2.90 2.97 47.40 46.68 5.07 60.00 60.00 60.00 60.00 2.10 24.34 35.30 2.15 60.00 60.00 60.00 60.00
AProVE_04___AAECC.trs 1.71 1.84 1.86 1.63 1.80 2.41 2.44 1.84 2.07 4.16 4.67 2.68 1.73 2.02 2.13 1.58 5.25 5.19 5.37 5.25
AProVE_04___fac.trs 1.28 1.29 1.29 1.28 1.31 1.33 1.35 1.32 1.33 1.36 1.39 1.36 1.27 1.30 1.32 1.23 1.12 1.12 1.12 1.12
AProVE_04___forward_instantiation.trs 1.14 1.13 1.13 1.13 1.14 1.16 1.17 1.16 1.20 1.21 1.22 1.21 1.10 1.14 1.15 1.13 1.03 1.03 1.03 1.02
AProVE_04___forward_instantiation2.trs 1.12 1.16 1.13 1.15 1.15 1.18 1.18 1.16 1.20 1.22 1.23 1.22 1.11 1.14 1.16 1.14 1.03 1.02 1.05 1.02
AProVE_04___IJCAR_1.trs 1.19 2.36 0.01 2.37 0.01 2.39 0.01 1.23 2.46 0.01 2.48 0.01 2.46 0.01 1.34 2.52 0.01 2.56 0.01 2.54 0.01 1.18 2.42 0.01 2.43 0.01 2.37 0.01 1.03 1.04 1.03 1.04
AProVE_04___IJCAR_12.trs 1.36 2.70 0.02 2.74 0.02 2.66 0.02 1.46 2.82 0.02 2.87 0.03 2.79 0.03 1.57 2.90 0.02 2.86 0.02 2.92 0.02 1.33 2.77 0.02 2.77 0.02 2.64 0.02 1.13 1.13 1.13 1.14
AProVE_04___IJCAR_18.trs 1.71 3.27 0.04 3.26 0.04 3.05 0.04 1.74 3.38 0.04 3.42 0.04 3.20 0.04 1.87 3.43 0.04 3.46 0.04 3.37 0.04 1.66 3.28 0.04 3.28 0.04 3.02 0.04 1.25 1.25 1.26 1.25
AProVE_04___IJCAR_26.trs 1.76 1.84 1.91 1.67 1.81 1.92 2.05 1.87 1.95 2.06 2.14 2.00 1.77 1.87 2.01 1.69 1.31 1.30 1.32 1.30
AProVE_04___IJCAR_26a.trs 1.76 1.86 1.91 1.66 1.82 1.92 2.07 1.86 1.98 2.05 2.11 1.99 1.76 1.88 2.00 1.65 1.31 1.30 1.31 1.30
AProVE_04___improved_usable.trs 1.21 2.38 0.01 2.40 0.01 2.37 0.01 1.22 2.42 0.01 2.44 0.01 2.39 0.01 1.24 2.43 0.01 2.44 0.01 2.41 0.01 1.18 2.40 0.01 2.42 0.01 2.35 0.01 1.08 1.09 1.09 1.08
AProVE_04___improved_usable2.trs 1.20 2.36 0.01 2.39 0.01 2.36 0.01 1.20 2.39 0.01 2.42 0.01 2.38 0.01 1.23 2.41 0.01 2.42 0.01 2.39 0.01 1.17 2.37 0.01 2.38 0.01 2.34 0.01 1.07 1.09 1.08 1.08
AProVE_04___JFP_Ex31.trs 1.44 1.51 1.59 1.42 1.47 1.81 1.62 1.50 1.56 1.70 1.73 1.58 1.44 1.50 1.56 1.37 1.31 1.36 1.42 1.25
AProVE_04___JFP_Ex51.trs 1.42 1.56 1.58 2.90 0.03 1.46 3.00 0.03 3.33 0.03 3.62 0.05 1.54 3.10 0.03 3.30 0.03 4.03 0.05 1.42 2.93 0.03 3.05 0.03 3.03 0.04 1.21 1.21 1.21 1.20
AProVE_04___Liveness6.1.trs 1.38 1.40 1.41 1.41 1.40 1.43 1.45 1.42 1.45 1.47 1.50 1.46 1.35 1.40 1.42 1.30 1.21 1.24 1.26 1.19
AProVE_04___Liveness6.2.trs 1.29 1.32 1.37 1.32 1.32 1.36 1.38 1.35 1.38 1.41 1.46 1.44 1.24 1.34 1.35 1.25 1.19 1.22 1.25 1.16
AProVE_04___Liveness6.3.trs 1.77 1.89 1.95 1.71 1.80 1.95 2.02 1.83 1.89 2.03 2.07 1.93 1.77 1.86 1.97 1.57 1.59 1.66 1.78 1.37
AProVE_04___Liveness6.4.trs 1.54 1.56 1.58 1.53 1.70 1.78 1.86 1.69 1.75 2.28 2.38 2.01 1.63 2.07 1.77 1.46 3.18 3.49 4.07 2.96
AProVE_04___Liveness8.trs 1.51 3.18 0.04 3.29 0.04 3.08 0.04 1.56 3.29 0.04 3.27 0.04 3.17 0.04 1.63 3.31 0.04 3.39 0.04 3.22 0.04 1.50 3.20 0.04 3.24 0.04 2.96 0.04 1.26 1.26 1.26 1.25
AProVE_04___Liveness_WRS.trs 1.85 2.00 2.03 1.68 1.88 2.08 1.86 1.75 1.83 2.02 2.08 1.80 1.72 1.87 1.98 1.65 1.66 1.80 1.97 1.49
AProVE_04___LPAR_intlist.trs 2.40 0.01 2.42 0.01 2.41 0.01 2.42 0.01 2.42 0.01 2.44 0.01 2.47 0.01 2.44 0.01 2.46 0.01 2.49 0.01 2.51 0.01 2.50 0.01 2.38 0.01 2.42 0.01 2.44 0.01 2.39 0.01 2.28 0.01 2.28 0.01 2.28 0.01 2.26 0.01
AProVE_04___rta1.trs 1.30 1.33 1.38 1.29 1.35 1.38 1.45 2.63 0.01 1.42 1.44 1.53 2.67 0.01 1.30 1.34 1.40 2.49 0.01 1.11 1.11 1.11 1.10
AProVE_04___rta2.trs 2.29 0.01 2.28 0.00 2.29 0.00 2.28 0.00 2.31 0.01 2.31 0.00 2.34 0.01 2.33 0.01 2.36 0.01 2.36 0.01 2.38 0.00 2.41 0.01 1.11 1.13 1.13 1.13 2.20 0.01 2.20 0.01 2.21 0.01 2.21 0.01
AProVE_04___rta3.trs 2.43 0.01 2.53 0.01 2.57 0.01 2.50 0.01 2.57 0.01 2.59 0.01 2.72 0.01 2.67 0.02 2.71 0.01 2.74 0.01 2.79 0.01 2.65 0.01 1.20 1.24 1.32 1.20 2.28 0.04 2.28 0.04 2.28 0.04 2.27 0.04
AProVE_06___div_notCeTermin.trs 1.55 1.61 1.62 1.57 1.63 1.82 1.85 1.71 1.75 2.78 2.71 2.22 1.54 1.65 1.74 1.45 1.34 1.34 1.33 1.33
AProVE_06___div_notTermin.trs 1.74 1.80 1.84 1.63 1.81 2.08 2.11 1.82 2.02 3.03 3.01 2.37 1.74 1.90 1.95 1.53 1.57 1.57 1.56 1.57
AProVE_06___factorial1.trs 1.36 1.39 1.41 1.35 1.37 1.42 1.47 1.41 1.59 1.47 1.49 1.44 1.35 1.39 1.42 1.33 1.19 1.18 1.19 1.18
AProVE_06___factorial2.trs 1.37 1.43 1.45 1.38 1.42 1.48 1.54 1.45 1.50 1.61 1.62 1.55 1.36 1.45 1.48 1.32 1.37 1.36 1.36 1.37
AProVE_06___identity.trs 1.30 1.36 1.38 1.30 1.34 1.40 1.40 1.34 1.37 1.46 1.49 1.38 1.31 1.36 1.37 1.29 1.15 1.14 1.14 1.14
AProVE_06___logarithm.trs 1.43 1.48 1.51 1.44 1.47 1.55 1.61 1.52 1.54 1.83 1.90 1.75 1.43 1.51 1.54 1.41 1.57 1.56 1.57 1.54
AProVE_06___mapHard.trs 1.61 1.66 1.74 1.55 1.66 1.79 1.96 1.68 1.73 1.84 2.02 1.76 1.59 1.69 1.82 1.52 1.31 1.31 1.31 1.31
AProVE_06___modulo.trs 1.29 1.32 1.34 1.30 1.33 1.40 1.44 1.36 1.42 1.50 1.54 1.49 1.29 1.36 1.39 1.29 1.22 1.21 1.22 1.24
AProVE_06___nonterm.trs 1.23 1.27 1.28 1.23 1.31 1.33 1.44 1.30 1.33 1.37 1.49 1.34 1.26 1.29 1.42 1.19 1.10 1.09 1.09 1.09
AProVE_06___quicksort.trs 1.65 1.65 1.77 1.54 1.70 1.92 1.95 1.78 1.79 2.09 2.11 1.78 1.63 1.77 1.84 1.54 1.51 1.52 1.51 1.50
AProVE_06___quot.trs 1.28 1.30 1.34 1.28 1.32 1.37 1.42 1.34 1.39 1.52 1.52 1.49 1.27 1.34 1.37 1.29 1.19 1.19 1.18 1.18
AProVE_06___sizeChange.trs 1.17 1.18 1.21 1.20 1.27 1.36 1.41 1.32 1.40 1.49 1.55 1.44 1.19 1.25 1.35 1.17 2.28 0.01 2.27 0.01 2.28 0.01 2.27 0.01
AProVE_06___tower.trs 1.42 1.45 1.49 1.41 1.44 1.50 1.54 1.48 1.50 1.56 1.59 1.52 1.41 1.47 1.49 1.38 1.23 1.22 1.23 1.22
AProVE_06___tower_sizeChange.trs 1.35 1.41 1.42 1.36 1.39 1.50 1.51 1.41 1.46 1.91 2.06 1.64 1.36 1.40 1.44 1.32 1.20 1.19 1.20 1.19
AProVE_07___kabasci01.trs 2.26 2.32 2.37 2.24 2.34 2.47 2.64 2.92 2.42 2.63 2.71 3.16 2.22 2.33 2.43 1.94 2.54 2.67 2.76 2.44
AProVE_07___kabasci02.trs 1.64 2.07 2.14 1.84 1.80 2.18 2.41 2.11 1.81 2.38 2.68 3.50 1.64 2.08 2.24 1.78 1.36 1.36 1.36 1.36
AProVE_07___kabasci03.trs 1.33 1.36 1.47 1.36 1.43 1.51 1.60 1.70 1.49 1.58 1.75 1.75 1.35 1.45 1.50 1.40 1.38 1.38 1.38 1.38
AProVE_07___kabasci04.trs 1.39 1.43 1.46 1.66 1.43 1.48 1.51 1.47 1.47 1.51 1.54 1.51 1.38 1.42 1.48 1.37 1.77 1.67 1.81 1.45
AProVE_07___kabasci05.trs 1.45 1.51 1.53 1.46 1.52 1.56 1.63 1.54 1.57 1.62 1.69 1.61 1.45 1.51 1.57 1.47 2.39 2.96 3.44 2.06
AProVE_07___kabasci06.trs 1.75 1.80 1.86 1.59 1.78 1.73 1.99 1.74 1.85 1.91 2.08 1.75 1.74 1.81 1.89 1.56 1.39 1.39 1.39 1.39
AProVE_07___otto01.trs 1.65 1.59 1.61 1.55 1.71 1.78 1.80 1.66 1.76 1.94 2.00 1.89 1.65 1.70 1.75 1.49 3.55 3.58 3.57 3.54
AProVE_07___otto02.trs 1.45 1.47 1.48 1.44 1.50 1.63 1.70 1.57 2.09 3.01 2.85 2.92 1.43 1.53 1.58 1.39 1.26 1.26 1.25 1.25
AProVE_07___otto03.trs 1.21 1.24 1.25 1.22 1.25 1.29 1.31 1.26 1.30 1.43 1.45 1.41 1.22 1.25 1.27 1.22 1.10 1.10 1.10 1.09
AProVE_07___otto04.trs 1.40 1.43 1.44 1.41 1.46 1.52 1.55 1.51 1.51 2.43 2.80 2.14 1.41 1.44 1.48 1.38 1.25 1.24 1.25 1.24
AProVE_07___otto05.trs 1.31 1.34 1.36 1.32 1.34 1.43 1.50 1.38 1.41 2.20 2.10 1.79 1.30 1.37 1.39 1.32 1.18 1.17 1.17 1.17
AProVE_07___otto06.trs 1.49 1.55 1.57 1.50 1.55 1.71 1.75 1.60 1.70 2.21 2.14 1.97 1.47 1.77 1.65 1.45 3.31 3.71 4.33 2.71
AProVE_07___otto07.trs 1.21 1.24 1.25 1.23 1.24 1.28 1.31 1.27 1.33 1.45 1.44 1.42 1.20 1.25 1.29 1.21 1.10 1.11 1.11 1.10
AProVE_07___otto08.trs 1.37 1.42 1.43 1.40 1.45 1.66 1.71 1.51 1.54 3.24 4.26 3.30 1.38 1.47 1.54 1.36 1.26 1.24 1.25 1.26
AProVE_07___otto09.trs 1.30 1.34 1.35 1.31 1.36 1.57 1.67 1.41 1.46 3.32 4.59 2.84 1.30 1.39 1.45 1.28 1.20 1.20 1.20 1.21
AProVE_07___otto10.trs 1.38 1.46 1.47 1.40 1.44 1.79 2.22 1.58 1.58 7.70 11.30 5.18 1.37 1.51 1.61 1.33 1.68 1.83 1.81 1.52
AProVE_07___otto11.trs 1.32 1.34 1.35 1.32 1.38 1.42 1.45 1.42 1.44 1.74 1.73 1.66 1.31 1.36 1.40 1.31 1.15 1.14 1.15 1.14
AProVE_07___otto12.trs 1.43 1.47 1.51 1.41 1.47 1.77 1.79 1.53 1.60 4.16 4.42 2.89 1.42 1.54 1.60 1.36 1.27 1.27 1.28 1.28
AProVE_07___otto13.trs 1.40 1.44 1.46 1.42 1.46 1.56 1.60 1.52 1.53 2.32 3.41 2.08 1.39 1.46 1.49 1.38 1.25 1.25 1.25 1.24
AProVE_07___thiemann01.trs 1.33 1.36 1.37 1.33 1.36 1.51 1.54 1.43 1.46 2.39 2.24 1.79 1.30 1.41 1.45 1.32 1.33 1.33 1.33 1.32
AProVE_07___thiemann02.trs 1.81 1.94 1.96 1.72 1.85 3.10 4.09 2.13 1.94 6.07 9.51 5.00 1.78 1.99 2.14 1.67 16.64 16.36 16.72 16.36
AProVE_07___thiemann03.trs 1.35 1.40 1.41 1.36 1.38 1.51 1.55 1.41 1.44 2.54 2.87 1.90 1.34 1.43 1.47 1.31 1.64 1.63 1.64 1.64
AProVE_07___thiemann04.trs 1.71 1.79 1.78 1.62 1.84 4.42 3.48 2.53 2.31 21.99 22.98 25.69 1.64 1.98 2.05 1.49 60.00 60.00 60.00 60.00
AProVE_07___thiemann05.trs 1.32 1.35 1.36 1.33 1.36 1.46 1.49 1.40 1.47 1.72 1.76 1.70 1.30 1.40 1.42 1.29 1.55 1.54 1.54 1.54
AProVE_07___thiemann06.trs 1.38 1.42 1.41 1.40 1.47 1.78 2.01 1.72 2.04 4.17 6.10 4.06 1.34 1.55 1.60 1.35 1.79 1.77 1.78 1.79
AProVE_07___thiemann07.trs 1.48 1.53 1.57 1.49 1.49 1.84 1.77 1.58 1.61 2.17 2.30 1.98 1.46 1.63 1.64 1.51 2.84 2.82 2.82 2.80
AProVE_07___thiemann08.trs 1.27 1.31 1.34 1.28 1.32 1.38 1.43 1.35 1.38 1.44 1.49 1.43 1.28 1.34 1.39 1.28 1.23 1.27 1.31 1.18
AProVE_07___thiemann09.trs 1.50 1.58 1.64 1.51 1.58 1.65 1.72 1.67 1.59 1.68 1.80 1.76 1.51 1.59 1.67 1.48 1.37 1.39 1.42 1.34
AProVE_07___thiemann10.trs 1.31 1.34 1.35 1.31 1.32 1.45 1.47 1.36 1.39 2.06 2.12 1.85 1.28 1.36 1.39 1.29 1.21 1.20 1.20 1.21
AProVE_07___thiemann11.trs 1.40 1.45 1.48 1.42 1.47 2.13 2.28 1.79 1.70 9.69 9.13 6.82 1.39 1.56 1.62 1.39 2.47 2.49 2.47 2.47
AProVE_07___thiemann12.trs 1.35 1.36 1.38 1.33 1.39 1.48 1.51 1.39 1.43 1.88 1.85 1.63 1.33 1.40 1.45 1.31 1.21 1.20 1.20 1.20
AProVE_07___thiemann13.trs 1.47 1.49 1.54 1.46 1.49 1.87 2.02 1.60 1.62 4.08 5.31 4.21 1.44 1.55 1.63 1.41 1.57 1.58 1.60 1.57
AProVE_07___thiemann14.trs 1.38 1.44 1.45 1.41 1.44 1.98 2.14 1.59 1.58 5.57 6.78 6.13 1.36 1.53 1.53 1.35 1.24 1.24 1.24 1.23
AProVE_07___thiemann15.trs 1.30 1.31 1.32 1.31 1.32 1.39 1.41 1.36 1.37 2.05 1.81 1.56 1.27 1.36 1.38 1.29 1.15 1.15 1.16 1.15
AProVE_07___thiemann16.trs 1.43 1.47 1.49 1.44 1.48 1.64 1.63 1.54 1.64 1.84 1.84 1.78 1.41 1.51 1.60 1.40 1.71 1.70 1.69 1.70
AProVE_07___thiemann17.trs 1.38 1.43 1.47 1.35 1.38 1.59 1.66 1.49 1.52 1.88 2.01 1.71 1.38 1.47 1.55 1.33 1.36 1.36 1.36 1.36
AProVE_07___thiemann18.trs 1.72 1.79 1.86 1.57 1.74 2.00 2.13 1.75 1.83 2.78 2.77 2.46 1.70 1.86 1.98 1.59 2.83 2.82 2.82 2.82
AProVE_07___thiemann19.trs 1.30 1.33 1.39 1.31 1.33 1.39 1.40 1.34 1.37 1.45 1.46 1.40 1.29 1.36 1.37 1.30 1.14 1.14 1.14 1.15
AProVE_07___thiemann20.trs 1.33 1.36 1.37 1.33 1.37 1.43 1.47 1.38 1.43 1.57 1.59 1.53 1.32 1.38 1.41 1.29 1.17 1.17 1.18 1.17
AProVE_07___thiemann21.trs 1.72 1.83 1.87 1.64 1.78 1.97 2.05 1.82 1.89 3.24 3.37 2.65 1.71 1.83 1.90 1.62 1.49 1.51 1.49 1.49
AProVE_07___thiemann22.trs 1.30 1.34 1.35 1.31 1.34 1.73 1.70 1.42 1.44 3.75 4.30 3.12 1.27 1.41 1.48 1.28 1.17 1.17 1.17 1.17
AProVE_07___thiemann23.trs 1.22 1.25 1.25 1.22 1.24 1.29 1.31 1.29 1.30 1.37 1.38 1.35 1.22 1.26 1.29 1.24 1.11 1.11 1.11 1.10
AProVE_07___thiemann24.trs 1.35 1.40 1.41 1.36 1.41 1.56 1.61 1.45 1.52 2.94 2.93 2.33 1.35 1.44 1.50 1.31 1.23 1.23 1.23 1.23
AProVE_07___thiemann25.trs 1.30 1.32 1.34 1.30 1.36 1.47 1.49 1.39 1.49 1.91 2.02 1.73 1.28 1.40 1.45 1.26 1.21 1.21 1.22 1.23
AProVE_07___thiemann26.trs 1.33 1.36 1.37 1.33 1.38 1.48 1.51 1.43 1.50 1.72 1.75 1.64 1.32 1.44 1.47 1.33 1.38 1.38 1.38 1.39
AProVE_07___thiemann27.trs 1.21 1.24 1.25 1.22 1.24 1.29 1.31 1.25 1.32 1.44 1.45 1.43 1.21 1.27 1.28 1.21 1.10 1.10 1.10 1.09
AProVE_07___thiemann28.trs 1.30 1.33 1.34 1.30 1.34 1.42 1.45 1.37 1.42 1.50 1.54 1.49 1.30 1.37 1.40 1.30 1.22 1.21 1.22 1.21
AProVE_07___thiemann29.trs 1.41 1.54 1.56 1.49 1.46 2.59 2.71 1.70 1.62 13.81 20.36 38.58 1.40 1.69 1.75 1.35 1.28 1.28 1.27 1.27
AProVE_07___thiemann30.trs 1.63 1.72 1.76 1.61 1.78 1.99 2.24 2.66 1.90 2.80 2.92 2.53 1.64 1.92 1.99 1.69 2.08 2.27 2.33 1.86
AProVE_07___thiemann31.trs 1.32 1.54 1.52 1.43 1.38 6.57 5.81 2.68 1.78 56.26 60.00 33.31 1.28 1.69 1.86 1.28 1.23 1.21 1.21 1.21
AProVE_07___thiemann32.trs 1.38 1.43 1.43 1.39 1.43 1.81 1.79 1.59 1.55 2.94 2.80 2.19 1.37 1.49 1.51 1.35 1.24 1.24 1.25 1.24
AProVE_07___thiemann33.trs 1.40 1.41 1.44 1.36 1.41 1.47 1.55 1.45 1.48 1.59 1.68 1.55 1.36 1.40 1.49 1.35 1.16 1.16 1.16 1.17
AProVE_07___thiemann34.trs 1.38 1.41 1.44 1.36 1.43 1.61 1.70 1.48 1.58 2.58 2.81 2.02 1.37 1.47 1.51 1.35 1.23 1.23 1.23 1.22
AProVE_07___thiemann35.trs 1.74 1.81 1.90 1.67 1.83 1.84 2.02 1.85 1.83 1.92 2.06 1.93 1.74 1.86 1.95 1.60 1.46 1.45 1.46 1.45
AProVE_07___thiemann36.trs 1.35 2.76 3.43 2.57 1.45 10.50 23.41 5.68 2.37 60.00 60.00 60.00 1.30 2.80 3.43 1.30 1.24 1.24 1.24 1.24
AProVE_07___thiemann37.trs 1.50 1.60 1.62 1.52 1.71 2.06 2.35 1.71 2.12 6.03 8.10 4.24 1.46 1.94 1.94 1.44 2.02 2.03 2.02 2.04
AProVE_07___thiemann38.trs 1.34 1.41 1.42 1.37 1.39 1.59 1.74 1.47 1.56 4.00 3.60 2.99 1.32 1.48 1.54 1.33 1.66 1.65 1.66 1.65
AProVE_07___thiemann39.trs 1.66 1.73 1.81 1.59 1.73 1.85 1.99 1.76 1.75 1.93 2.04 1.87 1.70 1.80 1.92 1.57 1.41 1.40 1.41 1.40
AProVE_07___thiemann40.trs 1.18 1.19 1.21 1.20 1.19 1.26 1.26 1.22 1.25 1.30 1.32 1.30 1.16 1.22 1.24 1.19 1.10 1.10 1.10 1.11
AProVE_07___thiemann41.trs 1.33 1.37 1.38 1.35 1.37 1.44 1.50 1.43 1.47 1.74 1.82 1.62 1.34 1.40 1.43 1.31 1.17 1.17 1.17 1.17
AProVE_07___wiehe01.trs 1.41 1.45 1.49 1.43 1.46 1.57 1.59 1.55 1.51 1.58 1.63 1.62 1.42 1.49 1.57 1.40 2.17 2.26 2.34 2.13
AProVE_07___wiehe02.trs 1.64 1.74 1.84 1.64 1.70 1.82 1.90 1.79 1.74 1.85 1.95 1.85 1.65 1.76 1.88 1.65 2.54 2.64 2.40 2.19
AProVE_07___wiehe03.trs 1.67 1.77 1.86 1.69 1.73 1.82 1.93 1.82 1.77 1.88 1.98 1.89 1.68 1.80 1.89 1.69 2.33 2.44 2.44 2.42
AProVE_07___wiehe05.trs 1.44 1.50 1.51 1.47 1.50 1.61 1.61 1.58 1.55 1.64 1.67 1.67 1.45 1.53 1.59 1.46 2.43 2.31 2.34 2.13
AProVE_07___wiehe06.trs 1.48 1.60 1.68 1.51 1.53 1.69 1.74 1.62 1.57 1.69 1.77 1.69 1.49 1.63 1.69 1.52 2.23 2.30 2.36 2.14
AProVE_07___wiehe07.trs 1.54 1.59 1.65 1.53 1.58 1.68 1.73 1.65 1.63 1.71 1.79 1.73 1.52 1.64 1.69 1.52 2.21 2.55 2.90 2.23
AProVE_07___wiehe08.trs 1.47 1.52 1.54 1.48 1.53 1.63 1.65 1.62 1.59 1.65 1.71 1.69 1.49 1.56 1.65 1.48 2.21 2.32 2.33 2.44
AProVE_07___wiehe09.trs 1.60 1.76 1.79 1.61 1.67 1.81 2.02 1.72 1.74 1.82 1.92 1.84 1.66 1.78 1.87 1.64 2.29 2.36 3.02 2.51
AProVE_07___wiehe11.trs 1.89 2.10 2.24 1.86 1.98 2.10 2.34 2.05 2.02 2.17 2.36 2.13 1.89 2.04 2.23 1.90 2.82 2.52 2.63 2.37
AProVE_07___wiehe12.trs 1.89 1.95 1.99 1.79 1.98 2.06 2.15 2.02 2.03 2.15 2.18 2.12 2.04 2.00 2.07 1.80 4.13 4.28 4.79 3.52
AProVE_08___id_inc.trs 1.29 1.33 1.35 1.29 1.34 1.40 1.40 1.35 1.37 1.43 1.44 1.42 1.29 1.35 1.39 1.28 1.14 1.15 1.14 1.14
AProVE_08___log.trs 1.37 1.40 1.43 1.35 1.41 1.42 1.47 1.41 1.41 1.45 1.55 1.49 1.34 1.38 1.42 1.33 1.27 1.29 1.33 1.22
AProVE_08___parting01_reverse.trs 1.41 1.43 1.48 1.39 1.43 1.52 1.56 1.47 1.47 1.54 1.60 1.52 1.38 1.48 1.52 1.37 1.19 1.21 1.19 1.18
AProVE_08___parting02_doublelist.trs 1.38 1.43 1.46 1.39 1.42 1.50 1.54 1.44 1.47 1.60 1.59 1.52 1.39 1.47 1.51 1.37 1.20 1.20 1.20 1.18
AProVE_08___parting03_minsort.trs 1.46 1.55 1.61 1.47 1.51 1.62 1.68 1.63 1.60 1.74 1.73 1.67 1.47 1.58 1.63 1.47 1.43 1.54 1.60 1.34
AProVE_08___parting04_maxsort_h.trs 1.66 1.75 1.78 1.56 1.71 1.83 1.88 1.71 1.78 1.92 1.96 1.78 1.65 1.77 1.83 1.53 1.31 1.31 1.31 1.31
AProVE_08___parting05_maxsort.trs 1.47 1.56 1.58 1.47 1.53 1.66 1.72 1.65 1.57 1.72 1.76 1.73 1.46 1.60 1.64 1.49 1.25 1.25 1.25 1.24
AProVE_08___round.trs 1.20 1.22 1.24 1.20 1.22 1.25 1.25 1.23 1.24 1.27 1.29 1.25 1.19 1.22 1.25 1.19 1.08 1.08 1.09 1.08
AProVE_08___round_nonterm.trs 1.20 1.22 1.24 1.20 1.22 1.23 1.26 1.22 1.25 1.27 1.29 1.25 1.19 1.22 1.26 1.18 1.08 1.08 1.08 1.07
AProVE_08___thiemann40_modified.trs 1.24 1.27 1.28 1.24 1.26 1.35 1.35 1.29 1.32 1.50 1.51 1.40 1.22 1.30 1.33 1.21 1.13 1.13 1.13 1.12
AProVE_09_Inductive___div.trs 1.41 1.48 1.49 1.43 1.47 1.75 1.73 1.53 1.53 2.50 2.45 2.28 1.40 1.54 1.56 1.40 1.27 1.26 1.27 1.27
AProVE_09_Inductive___divhard.trs 1.40 1.44 1.47 1.40 1.44 1.65 1.71 1.51 1.54 2.41 2.65 2.00 1.38 1.52 1.58 1.40 1.26 1.27 1.27 1.26
AProVE_09_Inductive___gcd.trs 1.40 1.47 1.48 1.41 1.44 1.60 1.66 1.51 1.53 1.95 2.33 1.92 1.40 1.52 1.55 1.40 1.21 1.19 1.19 1.19
AProVE_09_Inductive___gcd2.trs 1.43 1.52 1.53 1.45 1.48 2.11 2.50 1.68 1.56 5.87 5.14 3.29 1.44 1.61 1.62 1.42 1.46 1.46 1.47 1.48
AProVE_09_Inductive___gcdhard.trs 1.36 1.44 1.49 1.39 1.43 1.54 1.60 1.48 1.48 1.93 2.25 1.87 1.38 1.46 1.51 1.38 1.22 1.23 1.23 1.22
AProVE_09_Inductive___log.trs 1.28 1.35 1.36 1.28 1.30 1.38 1.40 1.33 1.35 1.44 1.46 1.38 1.27 1.35 1.38 1.30 1.15 1.14 1.15 1.14
AProVE_09_Inductive___maxsort.trs 1.47 1.55 1.58 1.47 1.53 1.64 1.71 1.67 1.58 1.70 1.76 1.69 1.47 1.60 1.65 1.48 1.26 1.28 1.26 1.26
AProVE_09_Inductive___maxsortcondition.trs 1.49 1.57 1.59 1.48 1.53 1.70 1.74 1.66 1.59 1.75 1.80 1.71 1.48 1.60 1.65 1.50 1.26 1.26 1.25 1.26
AProVE_09_Inductive___minsort.trs 1.48 1.54 1.61 1.48 1.54 1.68 1.76 1.66 1.61 1.77 1.84 1.73 1.48 1.61 1.68 1.52 1.27 1.26 1.27 1.25
AProVE_09_Inductive___mod.trs 1.38 1.45 1.46 1.38 1.41 1.54 1.61 1.48 1.50 2.05 2.00 1.94 1.38 1.47 1.51 1.38 1.21 1.20 1.21 1.20
AProVE_09_Inductive___qsort.trs 1.47 1.58 1.64 1.48 1.55 1.70 1.74 1.62 1.65 1.77 1.82 1.70 1.50 1.63 1.70 1.48 1.38 1.48 1.53 1.32
AProVE_09_Inductive___qsortlast.trs 1.67 1.77 1.85 1.56 1.75 1.86 1.93 1.71 1.79 1.94 2.04 1.82 1.68 1.82 1.85 1.52 1.36 1.35 1.36 1.36
AProVE_09_Inductive___qsortmiddle.trs 1.80 1.89 1.92 1.70 1.83 2.00 2.13 1.84 1.93 2.19 2.28 1.94 1.76 1.89 1.99 1.66 1.93 1.95 1.93 1.94
AProVE_09_Inductive___zerolist.trs 1.31 1.33 1.37 1.31 1.34 1.43 1.48 1.39 1.40 1.54 1.64 1.48 1.30 1.39 1.43 1.31 1.13 1.13 1.14 1.12
Beerendonk_07___1.trs 1.21 1.24 1.23 1.22 1.24 1.28 1.29 1.25 1.26 1.31 1.31 1.30 1.21 1.25 1.26 1.22 1.10 1.10 1.10 1.10
Beerendonk_07___10.trs 1.33 1.39 1.41 1.35 1.36 1.53 1.54 1.40 1.41 1.88 1.80 1.57 1.32 1.41 1.45 1.33 1.33 1.32 1.32 1.33
Beerendonk_07___11.trs 1.32 1.34 1.36 1.32 1.36 1.47 1.51 1.39 1.43 1.70 1.72 1.58 1.30 1.39 1.44 1.31 1.17 1.16 1.18 1.15
Beerendonk_07___12.trs 1.27 1.30 1.30 1.28 1.29 1.41 1.42 1.33 1.38 1.58 1.65 1.54 1.24 1.34 1.36 1.27 1.14 1.15 1.15 1.13
Beerendonk_07___13.trs 1.26 1.27 1.29 1.27 1.30 1.42 1.46 1.33 1.38 1.61 1.64 1.51 1.24 1.32 1.37 1.25 1.13 1.13 1.13 1.12
Beerendonk_07___14.trs 1.28 1.31 1.31 1.28 1.32 1.37 1.41 1.35 1.39 1.46 1.50 1.46 1.26 1.33 1.36 1.29 1.12 1.12 1.13 1.13
Beerendonk_07___15.trs 1.40 1.42 1.43 1.42 1.45 1.78 1.80 1.60 1.63 3.06 3.27 2.74 1.38 1.59 1.58 1.37 1.38 1.37 1.39 1.40
Beerendonk_07___16.trs 1.43 1.45 1.45 1.43 1.49 1.89 1.83 1.65 1.87 5.24 5.13 5.06 1.40 1.65 1.67 1.37 1.49 1.49 1.50 1.52
Beerendonk_07___17.trs 1.46 1.50 1.52 1.47 1.51 1.84 1.84 1.64 1.66 3.04 3.51 2.77 1.44 1.57 1.68 1.43 2.39 2.42 2.38 2.40
Beerendonk_07___18.trs 1.38 1.41 1.42 1.41 1.44 2.06 1.96 1.64 1.63 3.65 3.82 3.19 1.38 1.59 1.64 1.38 1.39 1.39 1.39 1.39
Beerendonk_07___19.trs 1.40 1.44 1.46 1.43 1.49 2.00 2.18 1.66 1.88 6.70 7.67 4.68 1.39 1.69 1.74 1.39 1.51 1.50 1.51 1.52
Beerendonk_07___2.trs 1.20 1.23 1.24 1.22 1.23 1.26 1.29 1.25 1.28 1.31 1.33 1.30 1.21 1.24 1.25 1.20 1.11 1.11 1.11 1.11
Beerendonk_07___20.trs 1.36 1.41 1.43 1.39 1.42 1.55 1.59 1.47 1.52 1.93 1.96 1.80 1.35 1.47 1.51 1.36 1.23 1.22 1.22 1.22
Beerendonk_07___21.trs 1.40 1.44 1.44 1.40 1.46 1.61 1.63 1.52 1.60 2.35 2.30 2.04 1.38 1.54 1.53 1.37 1.25 1.23 1.24 1.24
Beerendonk_07___22.trs 1.26 1.28 1.28 1.27 1.30 1.39 1.45 1.34 1.40 1.83 1.95 1.64 1.25 1.35 1.38 1.26 1.19 1.18 1.19 1.18
Beerendonk_07___23.trs 1.28 1.31 1.31 1.28 1.32 1.49 1.49 1.38 1.50 2.06 2.25 2.12 1.26 1.36 1.44 1.26 1.22 1.23 1.23 1.25
Beerendonk_07___24.trs 1.42 1.52 1.46 1.43 1.48 2.37 2.33 1.72 1.83 9.28 8.79 5.48 1.40 1.71 1.71 1.40 1.69 1.75 1.75 1.72
Beerendonk_07___3.trs 1.25 1.29 1.30 1.25 1.28 1.31 1.33 1.28 1.31 1.35 1.38 1.34 1.26 1.28 1.30 1.24 1.12 1.11 1.12 1.11
Beerendonk_07___4.trs 1.20 1.23 1.23 1.20 1.23 1.29 1.26 1.23 1.26 1.28 1.30 1.27 1.19 1.22 1.24 1.20 1.08 1.07 1.08 1.07
Beerendonk_07___5.trs 1.25 1.29 1.31 1.25 1.27 1.37 1.34 1.29 1.28 1.35 1.37 1.31 1.24 1.30 1.33 1.25 1.19 1.20 1.20 1.19
Beerendonk_07___6.trs 1.20 1.23 1.25 1.21 1.23 1.25 1.25 1.23 1.24 1.27 1.28 1.24 1.19 1.24 1.24 1.20 1.09 1.08 1.08 1.08
Beerendonk_07___7.trs 1.21 1.23 1.24 1.22 1.23 1.25 1.28 1.25 1.25 1.28 1.29 1.27 1.20 1.24 1.24 1.21 1.11 1.10 1.10 1.11
Beerendonk_07___8.trs 1.27 1.27 1.28 1.26 1.27 1.32 1.36 1.32 1.33 1.37 1.39 1.37 1.23 1.30 1.32 1.26 1.19 1.19 1.20 1.19
Beerendonk_07___9.trs 1.26 1.29 1.30 1.27 1.31 1.35 1.39 1.32 1.34 1.42 1.42 1.42 1.25 1.31 1.33 1.25 1.20 1.21 1.21 1.20
CiME_04___ack_prolog.trs 2.45 0.01 2.64 0.02 2.67 0.02 2.49 0.01 2.51 0.01 2.61 0.01 2.70 0.01 2.57 0.01 2.58 0.01 2.68 0.01 2.81 0.01 2.79 0.02 2.49 0.01 2.56 0.01 2.62 0.01 2.47 0.01 2.30 0.01 2.31 0.01 2.30 0.01 2.28 0.01
CiME_04___append-hard.trs 1.17 1.19 1.22 1.18 1.17 1.23 1.25 1.22 1.25 1.29 1.32 1.26 1.15 1.20 1.22 1.18 1.09 1.10 1.09 1.08
CiME_04___append-wrong.trs 1.17 1.19 1.20 1.17 1.19 1.23 1.25 1.22 1.25 1.39 1.41 1.32 1.15 1.21 1.22 1.18 1.12 1.09 1.09 1.09
CiME_04___append.trs 2.32 0.01 2.32 0.01 2.34 0.01 2.32 0.01 2.34 0.01 2.34 0.01 2.36 0.01 2.35 0.01 2.38 0.01 2.38 0.01 2.41 0.01 2.40 0.01 2.30 0.01 2.34 0.01 2.34 0.01 2.32 0.01 2.20 0.01 2.20 0.01 2.22 0.01 2.20 0.01
CiME_04___big.trs 2.70 2.86 2.96 3.20 2.86 3.35 3.16 7.10 0.16 2.79 3.45 3.18 6.99 0.17 2.40 2.56 3.00 4.52 0.13 2.10 2.11 2.18 2.08
CiME_04___boolean_rings.trs 2.55 0.02 2.54 0.01 2.54 0.02 2.54 0.01 2.55 0.02 2.57 0.02 2.58 0.02 2.57 0.02 2.60 0.02 2.60 0.02 2.62 0.02 2.62 0.02 2.53 0.02 2.55 0.01 2.56 0.02 2.48 0.02 2.45 0.02 2.45 0.02 2.46 0.02 2.43 0.02
CiME_04___dpqs.trs 2.23 0.01 2.22 0.01 2.22 0.01 2.23 0.01 2.22 0.01 2.22 0.01 2.22 0.01 2.23 0.01 2.26 0.01 2.22 0.01 2.22 0.01 2.23 0.01 2.22 0.01 2.23 0.01 2.22 0.01 2.22 0.01 2.23 0.01 2.23 0.01 2.23 0.01 2.22 0.01
CiME_04___fact-hard.trs 1.37 1.39 1.40 1.36 1.41 1.47 1.48 1.43 1.45 1.51 1.53 1.52 1.36 1.44 1.44 1.34 1.21 1.20 1.20 1.19
CiME_04___filliatre.trs 1.27 1.36 1.38 1.28 1.30 2.16 2.31 3.51 0.04 1.45 5.53 6.00 3.60 0.04 1.27 1.45 1.50 2.71 0.03 1.11 1.10 1.11 1.10
CiME_04___filliatre2.trs 1.29 1.63 1.68 1.48 1.34 4.43 5.79 3.52 0.05 1.64 7.83 10.18 4.28 0.06 1.29 1.64 1.67 2.93 0.04 1.13 1.12 1.12 1.12
CiME_04___filliatre3.trs 1.37 1.67 1.74 1.52 1.42 4.50 5.86 3.97 0.07 1.71 7.92 10.21 4.48 0.08 1.37 1.73 1.74 3.00 0.05 1.18 1.18 1.18 1.18
CiME_04___intersect.trs 3.24 0.05 3.23 0.04 3.31 0.05 3.18 0.05 3.30 0.05 3.45 0.05 3.58 0.05 3.77 0.05 3.41 0.04 3.60 0.05 3.81 0.05 3.41 0.04 1.63 1.73 3.20 0.04 3.01 0.04 2.67 0.42 2.67 0.42 2.68 0.42 2.67 0.42
CiME_04___list-sum-prod-assoc-append.trs 3.08 0.03 3.12 0.03 3.18 0.03 3.02 0.04 3.13 0.03 3.21 0.03 3.22 0.03 3.33 0.05 3.25 0.04 3.32 0.03 3.39 0.03 3.22 0.04 3.11 0.03 3.17 0.03 3.24 0.03 2.98 0.04 2.60 0.03 2.61 0.03 2.60 0.03 2.59 0.03
CiME_04___list-sum-prod-assoc.trs 2.74 0.02 2.77 0.02 2.84 0.02 2.82 0.02 2.75 0.02 2.84 0.02 2.87 0.02 3.03 0.04 2.88 0.02 2.91 0.02 3.01 0.02 2.96 0.03 2.74 0.02 2.79 0.02 2.84 0.02 2.77 0.03 2.48 0.02 2.46 0.02 2.48 0.02 2.47 0.02
CiME_04___list-sum-prod-bin-assoc-distr-app.trs 1.87 1.92 1.99 1.79 1.95 2.08 2.11 4.68 0.07 2.04 2.18 2.40 4.89 0.07 1.88 1.95 2.10 3.23 0.05 1.60 1.60 1.60 1.59
CiME_04___list-sum-prod-bin-assoc.trs 1.70 1.73 1.81 1.54 1.76 1.81 1.86 3.89 0.06 1.68 1.75 2.01 3.94 0.05 1.69 1.76 1.86 2.94 0.04 1.34 1.33 1.33 1.33
CiME_04___list-sum-prod-bin.trs 1.45 1.62 1.66 1.53 1.49 1.80 1.91 3.07 0.04 1.59 1.88 1.74 3.19 0.04 1.44 1.76 1.69 2.82 0.03 1.34 1.35 1.39 1.29
CiME_04___list-sum-prod.trs 2.59 0.02 2.59 0.02 2.59 0.02 2.58 0.02 2.61 0.02 2.64 0.02 2.65 0.02 2.63 0.02 2.65 0.02 2.66 0.02 2.68 0.02 2.67 0.02 2.58 0.02 2.61 0.02 2.63 0.02 2.57 0.02 2.37 0.02 2.40 0.02 2.38 0.02 2.37 0.02
CiME_04___log2.trs 1.81 1.94 1.97 1.81 1.91 1.99 2.04 5.19 0.08 2.00 2.17 2.20 4.88 0.07 1.66 1.86 1.94 3.33 0.06 1.61 1.67 1.73 1.59
CiME_04___lse.trs 3.42 0.05 3.47 0.05 3.75 0.05 4.52 0.10 3.42 0.05 3.80 0.06 4.08 0.05 5.91 0.14 3.73 0.05 3.92 0.05 4.23 0.05 5.43 0.10 1.73 3.42 0.05 3.51 0.04 3.18 0.05 60.00 60.00 60.00 60.00
CiME_04___maude2.trs 1.74 1.78 1.81 1.60 1.77 2.00 2.06 1.73 1.92 2.47 2.38 2.03 1.73 1.83 1.85 1.61 1.56 1.55 1.54 1.53
CiME_04___mucrl1.trs 5.50 0.35 5.60 0.35 5.68 0.35 5.40 0.36 5.55 0.35 5.80 0.35 6.07 0.37 6.28 0.36 5.64 0.35 5.86 0.35 5.85 0.35 6.39 0.37 5.47 0.35 5.66 0.35 5.79 0.35 5.28 0.35 5.04 0.38 5.01 0.38 5.00 0.38 5.02 0.38
CiME_04___ternary-hard.trs 1.95 2.03 2.16 1.87 2.05 2.17 2.41 5.12 0.08 2.25 2.28 2.40 5.04 0.07 1.94 2.05 2.25 3.45 0.06 1.75 1.74 1.75 1.73
CiME_04___ternary.trs 1.84 1.91 2.05 1.88 1.97 2.17 2.23 4.46 0.07 2.04 2.11 2.29 4.56 0.07 1.85 1.98 2.07 3.30 0.05 1.56 1.57 1.56 1.55
CiME_04___tree.trs 2.13 2.39 2.44 2.28 2.20 2.52 2.63 4.87 0.10 2.34 2.62 2.60 5.21 0.10 1.94 2.24 2.47 3.90 0.09 1.78 1.83 1.87 1.74
Der95___01.trs 2.16 0.01 2.20 0.01 2.19 0.01 2.21 0.01 2.21 0.01 2.19 0.01 2.19 0.01 2.17 0.01 2.17 0.01 2.19 0.01 2.19 0.01 2.18 0.01 2.17 0.01 2.18 0.01 2.20 0.01 2.18 0.01 2.19 0.01 2.16 0.01 2.18 0.01 2.17 0.01
Der95___02.trs 2.15 0.01 2.16 0.00 2.15 0.01 2.16 0.00 2.16 0.01 2.17 0.00 2.17 0.00 2.15 0.01 2.16 0.00 2.16 0.00 2.15 0.00 2.16 0.01 2.15 0.00 2.17 0.00 2.16 0.00 2.16 0.00 2.16 0.00 2.15 0.01 2.15 0.00 2.15 0.01
Der95___03.trs 2.14 0.00 2.13 0.00 2.15 0.00 2.14 0.00 2.14 0.00 2.16 0.00 2.15 0.00 2.16 0.00 2.15 0.00 2.14 0.00 2.14 0.00 2.14 0.00 2.13 0.00 2.14 0.00 2.14 0.00 2.14 0.00 2.14 0.00 2.16 0.00 2.16 0.00 2.14 0.00
Der95___04.trs 1.13 2.30 0.00 2.30 0.00 2.28 0.01 1.13 2.33 0.01 2.35 0.01 2.30 0.01 1.16 2.33 0.00 2.35 0.01 2.33 0.01 1.11 2.31 0.00 2.34 0.01 2.31 0.01 1.09 2.28 0.01 2.30 0.01 2.23 0.01
Der95___06.trs 2.27 0.00 2.28 0.00 2.28 0.00 2.28 0.00 2.29 0.00 2.29 0.00 2.31 0.00 2.30 0.00 2.30 0.00 2.29 0.00 2.29 0.00 2.29 0.00 2.25 0.00 2.26 0.00 2.27 0.00 2.21 0.00 2.18 0.00 2.19 0.00 2.19 0.00 2.18 0.00
Der95___07.trs 2.37 0.01 2.37 0.01 2.37 0.01 2.38 0.01 2.39 0.01 2.39 0.01 2.40 0.01 2.41 0.01 2.42 0.01 2.43 0.01 2.45 0.01 2.43 0.01 2.35 0.01 2.38 0.01 2.41 0.01 2.34 0.01 2.24 0.01 2.23 0.01 2.23 0.01 2.23 0.01
Der95___08.trs 2.33 0.01 2.32 0.01 2.33 0.01 2.42 0.01 2.36 0.01 2.37 0.01 2.44 0.01 2.49 0.01 2.42 0.01 2.41 0.01 2.44 0.01 2.60 0.01 2.33 0.01 2.36 0.01 2.36 0.01 2.36 0.01 2.27 0.02 2.28 0.02 2.28 0.02 2.29 0.02
Der95___09.trs 2.29 0.00 2.29 0.00 2.30 0.01 2.29 0.00 2.32 0.00 2.33 0.01 2.36 0.01 2.39 0.01 2.36 0.00 2.37 0.00 2.39 0.00 2.37 0.01 2.29 0.00 2.30 0.00 2.33 0.01 2.29 0.01 2.20 0.01 2.19 0.01 2.21 0.01 2.19 0.01
Der95___11.trs 2.51 0.02 2.50 0.02 2.51 0.02 2.85 0.04 2.55 0.02 2.57 0.02 2.61 0.02 3.16 0.04 2.64 0.02 2.66 0.02 2.68 0.02 3.41 0.04 2.51 0.01 2.53 0.01 2.54 0.01 2.49 0.02 4.07 0.29 4.05 0.29 4.06 0.29 4.05 0.29
Der95___12.trs 2.46 0.01 2.48 0.01 2.47 0.01 2.53 0.02 2.52 0.01 2.54 0.02 2.58 0.01 2.56 0.01 2.55 0.01 2.57 0.01 2.59 0.01 2.72 0.02 1.22 1.24 2.49 0.01 2.47 0.01 2.35 0.03 2.34 0.03 2.33 0.03 2.33 0.03
Der95___13.trs 1.28 1.31 1.34 1.27 1.34 1.37 1.41 1.39 1.40 1.43 1.49 1.43 1.29 1.31 1.37 1.27 1.17 1.16 1.16 1.16
Der95___17.trs 2.40 0.01 2.41 0.01 2.43 0.01 2.40 0.01 2.45 0.01 2.46 0.01 2.50 0.01 2.54 0.02 2.50 0.01 2.51 0.01 2.52 0.01 2.51 0.01 2.40 0.01 2.43 0.01 2.46 0.01 2.40 0.01 2.28 0.01 2.29 0.01 2.29 0.01 2.28 0.01
Der95___18.trs 2.28 0.00 2.29 0.00 2.29 0.01 2.29 0.01 2.30 0.01 2.33 0.01 2.34 0.00 2.32 0.00 2.35 0.00 2.36 0.00 2.38 0.01 2.35 0.01 2.28 0.00 2.29 0.00 2.31 0.00 2.22 0.00 2.19 0.01 2.21 0.01 2.21 0.01 2.19 0.01
Der95___20.trs 1.21 2.47 0.01 2.49 0.01 2.43 0.01 1.24 2.52 0.01 2.60 0.01 2.54 0.01 1.33 2.59 0.01 2.65 0.01 2.59 0.01 1.22 2.47 0.01 2.54 0.01 2.45 0.01 1.19 2.43 0.43 2.49 0.42 2.36 0.43
Der95___21.trs 1.24 1.23 1.25 1.24 1.25 1.27 1.28 1.28 1.30 1.30 1.31 1.30 1.22 1.25 1.26 1.20 1.10 1.10 1.10 1.10
Der95___27.trs 2.29 0.00 2.28 0.00 2.28 0.00 2.29 0.01 2.30 0.01 2.30 0.01 2.33 0.01 2.32 0.01 2.34 0.01 2.36 0.01 2.37 0.01 2.36 0.01 2.28 0.01 2.32 0.01 2.31 0.01 2.28 0.01 2.20 0.01 2.19 0.00 2.19 0.00 2.19 0.01
Der95___28.trs 2.34 0.01 2.33 0.01 2.37 0.01 2.33 0.01 2.40 0.01 2.43 0.01 2.53 0.01 2.40 0.01 2.45 0.01 2.54 0.01 2.54 0.01 2.48 0.01 2.34 0.01 2.37 0.01 2.44 0.01 2.32 0.01 2.23 0.01 2.23 0.01 2.24 0.01 2.23 0.01
Der95___30.trs 1.20 2.39 0.01 2.46 0.01 1.20 1.25 2.49 0.01 2.60 0.01 1.30 1.35 2.59 0.01 2.64 0.01 1.37 1.23 2.47 0.01 2.56 0.01 1.19 1.18 2.37 0.02 2.47 0.02 1.13
Der95___31.trs 2.40 0.01 2.44 0.01 2.46 0.01 2.43 0.01 2.43 0.01 2.47 0.01 2.55 0.01 2.58 0.02 2.47 0.01 2.52 0.01 2.56 0.01 2.60 0.01 2.41 0.01 2.43 0.01 2.49 0.01 2.38 0.01 2.29 0.01 2.29 0.01 2.29 0.01 2.29 0.01
Der95___32.trs 2.49 0.01 2.51 0.01 2.50 0.01 2.52 0.02 2.57 0.02 2.64 0.02 2.76 0.02 2.65 0.02 2.68 0.02 2.76 0.02 2.79 0.02 2.75 0.02 2.53 0.02 2.58 0.02 2.63 0.02 2.50 0.02 2.33 0.02 2.33 0.02 2.35 0.02 2.33 0.02
Der95___33.trs 1.40 1.47 1.49 1.39 1.45 1.55 1.63 1.43 1.50 1.51 1.58 1.58 1.40 1.42 1.48 1.39 1.34 1.50 1.64 1.30
Endrullis_06___direct.trs 1.14 1.16 1.20 1.15 1.20 1.24 1.30 1.22 1.21 1.24 1.35 1.24 1.15 1.19 1.23 1.14 1.05 1.06 1.07 1.05
Endrullis_06___labeling.trs 1.14 1.14 1.19 1.14 1.20 1.19 1.24 1.20 1.23 1.23 1.31 1.25 1.14 1.17 1.22 1.14 1.05 1.05 1.07 1.05
Endrullis_06___linear1.trs 1.21 1.23 1.26 1.27 1.23 1.26 1.28 1.34 1.25 1.26 1.28 1.33 1.20 1.23 1.27 1.27 1.25 1.29 1.39 1.17
Endrullis_06___linear2.trs 1.33 1.34 1.42 1.45 1.38 1.43 1.52 1.61 1.41 1.48 1.63 1.71 1.33 1.40 1.49 1.40 1.24 1.25 1.36 1.17
Endrullis_06___pair2hard.trs 1.30 1.37 1.43 1.28 1.38 1.43 1.52 1.38 1.40 1.41 1.54 1.41 1.30 1.36 1.47 1.25 1.24 1.27 1.32 1.17
Endrullis_06___pair2simple1.trs 1.26 2.48 0.01 2.56 0.01 1.23 1.31 2.53 0.01 2.69 0.01 1.33 1.36 2.61 0.01 2.70 0.01 1.39 1.24 2.48 0.01 2.60 0.01 1.20 1.17 2.36 0.01 2.42 0.01 1.13
Endrullis_06___pair2simple2.trs 1.26 2.48 0.01 2.44 0.01 1.22 1.31 2.54 0.01 2.69 0.01 1.35 1.36 2.62 0.01 2.70 0.01 1.39 1.26 2.49 0.01 2.60 0.01 1.20 1.09 1.09 1.09 1.07
Endrullis_06___pair3hard.trs 1.25 1.26 1.34 1.23 1.30 1.33 1.47 1.31 1.40 1.40 1.51 1.37 1.24 1.29 1.36 1.21 1.05 1.06 1.05 1.04
Endrullis_06___pair3rotate.trs 1.32 1.35 1.45 1.28 1.35 1.42 1.53 1.38 1.38 1.41 1.53 1.41 1.29 1.37 1.42 1.25 1.11 1.10 1.10 1.10
Endrullis_06___pair3swap.trs 1.32 1.35 1.44 1.27 1.38 1.42 1.85 1.40 1.40 1.47 1.86 1.47 1.29 1.38 1.45 1.24 1.12 1.11 1.12 1.11
Endrullis_06___quadruple1.trs 1.17 1.23 1.23 1.17 1.23 1.26 1.33 1.24 1.24 1.26 1.35 1.24 1.18 1.23 1.27 1.17 1.09 1.10 1.10 1.09
Endrullis_06___quadruple2.trs 1.21 1.23 1.28 1.19 1.23 1.28 1.39 1.38 1.29 1.37 1.41 1.41 1.20 1.24 1.31 1.24 1.12 1.13 1.14 1.13
GTSSK07___cade01.trs 1.22 1.25 1.27 1.24 1.27 1.29 1.33 1.27 1.32 1.49 1.47 1.41 1.22 1.27 1.29 1.23 1.10 1.10 1.11 1.10
GTSSK07___cade03.trs 1.23 1.24 1.25 1.22 1.24 1.30 1.32 1.26 1.32 1.44 1.46 1.40 1.21 1.25 1.29 1.20 1.10 1.10 1.10 1.09
GTSSK07___cade04t.trs 1.22 1.22 1.24 1.22 1.24 1.27 1.31 1.25 1.31 1.38 1.43 1.37 1.20 1.26 1.27 1.20 1.11 1.09 1.09 1.09
GTSSK07___cade05t.trs 1.29 1.31 1.32 1.27 1.32 1.38 1.41 1.34 1.37 1.55 1.56 1.46 1.27 1.34 1.35 1.27 1.14 1.14 1.14 1.13
GTSSK07___cade06.trs 1.28 1.31 1.31 1.28 1.34 1.37 1.43 1.36 1.43 1.66 1.72 1.65 1.27 1.32 1.35 1.27 1.15 1.15 1.15 1.14
GTSSK07___cade07.trs 1.24 1.27 1.28 1.27 1.30 1.51 1.51 1.36 1.46 3.16 3.74 2.86 1.24 1.33 1.44 1.23 1.17 1.15 1.16 1.17
GTSSK07___cade08.trs 1.25 1.30 1.29 1.26 1.31 1.34 1.40 1.35 1.39 1.61 1.73 1.58 1.25 1.29 1.33 1.24 1.16 1.15 1.16 1.14
GTSSK07___cade09.trs 1.26 1.29 1.31 1.25 1.28 1.33 1.35 1.29 1.33 1.39 1.39 1.36 1.25 1.29 1.33 1.26 1.12 1.13 1.12 1.11
GTSSK07___cade10.trs 1.26 1.28 1.30 1.25 1.28 1.32 1.34 1.29 1.32 1.41 1.44 1.39 1.25 1.30 1.30 1.25 1.13 1.12 1.12 1.13
GTSSK07___cade11.trs 1.21 1.23 1.24 1.22 1.24 1.28 1.29 1.25 1.27 1.38 1.39 1.34 1.21 1.23 1.25 1.21 1.09 1.09 1.09 1.08
GTSSK07___cade12t.trs 1.35 1.39 1.41 1.36 1.39 1.46 1.50 1.44 1.42 1.61 1.63 1.55 1.34 1.41 1.46 1.33 1.51 1.51 1.51 1.50
GTSSK07___cade13t.trs 1.30 1.32 1.35 1.29 1.34 1.50 1.51 1.38 1.44 2.02 2.20 1.84 1.28 1.40 1.42 1.26 1.20 1.20 1.21 1.19
GTSSK07___cade14.trs 1.32 1.34 1.34 1.32 1.37 1.56 1.67 1.46 1.49 2.82 2.68 2.24 1.30 1.38 1.42 1.31 1.20 1.19 1.19 1.18
GTSSK07___cade15.trs 1.61 1.69 1.73 1.50 1.67 2.01 2.06 1.60 1.82 2.74 2.82 2.20 1.59 1.75 1.76 1.44 1.38 1.38 1.38 1.38
GTSSK07___cade16.trs 1.27 1.32 1.36 1.26 1.29 1.36 1.41 1.32 1.36 1.59 1.66 1.45 1.26 1.33 1.36 1.25 1.14 1.13 1.13 1.13
GTSSK07___cade17.trs 1.41 1.46 1.49 1.42 1.45 1.58 1.65 1.48 1.51 1.83 2.00 1.72 1.39 1.52 1.59 1.36 1.22 1.21 1.21 1.21
HirokawaMiddeldorp_04___n002.trs 1.11 1.11 1.12 1.11 1.11 1.12 1.11 1.12 1.13 1.13 1.12 1.13 1.10 1.10 1.09 1.06 1.02 1.01 1.02 1.01
HirokawaMiddeldorp_04___n003.trs 1.11 1.10 1.11 1.13 1.16 1.12 1.12 1.13 1.13 1.14 1.12 1.13 1.10 1.11 1.11 1.05 1.02 1.03 1.01 1.02
HirokawaMiddeldorp_04___n004.trs 1.12 1.11 1.12 1.12 1.14 1.14 1.13 1.14 1.14 1.14 1.13 1.14 1.09 1.10 1.10 1.05 1.03 1.03 1.03 1.02
HirokawaMiddeldorp_04___n005.trs 1.12 1.12 1.14 1.13 1.13 1.14 1.14 1.15 1.15 1.14 1.14 1.15 1.10 1.12 1.11 1.06 1.02 1.03 1.03 1.03
HirokawaMiddeldorp_04___n006.trs 1.11 1.11 1.12 1.13 1.13 1.14 1.14 1.14 1.13 1.12 1.14 1.13 1.09 1.10 1.12 1.06 1.03 1.04 1.03 1.03
HirokawaMiddeldorp_04___n007.trs 1.12 1.12 1.12 1.13 1.14 1.13 1.14 1.14 1.17 1.16 1.18 1.19 1.11 1.12 1.13 1.07 1.03 1.02 1.02 1.02
HirokawaMiddeldorp_04___n008.trs 1.11 1.11 1.11 1.12 1.11 1.12 1.12 1.12 1.13 1.13 1.13 1.14 1.09 1.09 1.09 1.05 1.02 1.01 1.02 1.01
HirokawaMiddeldorp_04___t000.trs 1.91 2.07 2.10 1.89 1.95 2.05 2.13 4.06 0.10 1.98 2.10 2.22 4.13 0.10 1.87 2.03 2.10 4.04 0.10 1.98 2.19 2.27 1.78
HirokawaMiddeldorp_04___t001.trs 1.45 1.50 1.52 1.47 1.51 1.58 1.62 1.57 1.58 1.64 1.67 1.65 1.45 1.55 1.55 1.45 1.28 1.27 1.29 1.27
HirokawaMiddeldorp_04___t002.trs 1.27 1.28 1.29 1.27 1.31 1.34 1.35 1.32 1.34 1.36 1.37 1.36 1.27 1.29 1.31 1.26 1.16 1.14 1.14 1.14
HirokawaMiddeldorp_04___t003.trs 2.71 0.02 2.72 0.02 2.74 0.02 2.71 0.02 2.78 0.02 2.83 0.03 2.89 0.02 2.95 0.03 2.88 0.02 2.91 0.03 2.96 0.02 3.10 0.03 2.71 0.02 2.77 0.02 2.82 0.02 2.72 0.02 2.54 0.03 2.56 0.03 2.57 0.03 2.54 0.03
HirokawaMiddeldorp_04___t004.trs 1.15 1.16 1.17 1.16 1.15 1.18 1.19 1.18 1.18 1.20 1.21 1.20 1.14 1.16 1.18 1.16 1.06 1.06 1.06 1.06
HirokawaMiddeldorp_04___t005.trs 2.77 2.91 2.98 2.66 2.82 2.91 3.01 5.84 0.30 2.85 2.98 3.13 5.98 0.29 2.70 2.86 2.92 5.59 0.30 2.74 2.96 3.08 2.56
HirokawaMiddeldorp_04___t006.trs 2.29 0.01 2.29 0.01 2.30 0.00 2.28 0.00 2.30 0.00 2.32 0.00 2.34 0.00 2.37 0.00 2.33 0.01 2.34 0.01 2.35 0.00 2.36 0.00 2.29 0.00 2.29 0.00 2.31 0.00 2.30 0.00 2.21 0.01 2.19 0.00 2.20 0.01 2.20 0.01
HirokawaMiddeldorp_04___t007.trs 2.19 0.00 2.19 0.00 2.17 0.00 2.18 0.00 2.18 0.00 2.18 0.00 2.19 0.01 2.19 0.00 2.19 0.01 2.18 0.00 2.18 0.00 2.20 0.00 2.18 0.00 2.19 0.00 2.18 0.00 2.19 0.00 2.19 0.00 2.18 0.01 2.19 0.01 2.18 0.00
HirokawaMiddeldorp_04___t008.trs 1.21 1.22 1.24 1.21 1.22 1.25 1.27 1.22 1.23 1.26 1.27 1.24 1.20 1.24 1.24 1.21 1.09 1.10 1.09 1.09
HirokawaMiddeldorp_04___t009.trs 2.17 41.70 0.43 60.00 13.44 0.42 3.00 60.00 60.00 60.00 7.70 60.00 60.00 60.00 2.23 60.00 60.00 3.43 1.87 1.88 1.68 1.88
HirokawaMiddeldorp_04___t010.trs 2.18 0.00 2.18 0.00 2.19 0.00 2.19 0.00 2.17 0.00 2.19 0.00 2.19 0.00 2.19 0.00 2.18 0.00 2.18 0.00 2.20 0.00 2.20 0.00 2.17 0.00 2.17 0.00 2.18 0.00 2.17 0.01 2.18 0.00 2.18 0.00 2.19 0.01 2.17 0.00
HirokawaMiddeldorp_04___t011.trs 2.28 0.00 2.28 0.00 2.30 0.00 2.28 0.00 2.31 0.01 2.31 0.01 2.32 0.01 2.31 0.01 2.37 0.01 2.36 0.01 2.37 0.01 2.37 0.01 2.27 0.01 2.29 0.01 2.35 0.01 2.29 0.01 2.19 0.01 2.18 0.00 2.19 0.01 2.19 0.01
HirokawaMiddeldorp_04___t012.trs 1.29 2.63 0.02 2.66 0.02 2.61 0.02 1.34 2.69 0.02 2.79 0.02 2.72 0.02 1.41 2.79 0.02 2.82 0.02 2.76 0.02 1.33 2.65 0.02 2.71 0.02 2.62 0.02 1.27 2.57 0.46 2.64 0.47 2.51 0.47
HirokawaMiddeldorp_04___t013.trs 1.23 2.57 0.01 2.60 0.01 2.52 0.01 1.27 2.63 0.01 2.67 0.01 2.65 0.02 1.32 2.68 0.01 2.61 0.01 2.55 0.01 1.23 2.52 0.01 2.63 0.01 2.47 0.01 1.19 1.22 1.24 1.15
HirokawaMiddeldorp_04___t014.trs 2.51 0.01 2.52 0.02 2.52 0.02 2.52 0.01 2.54 0.01 2.58 0.02 2.61 0.02 2.56 0.02 2.60 0.02 2.62 0.02 2.62 0.02 2.61 0.02 2.50 0.02 2.54 0.01 2.57 0.01 2.53 0.02 2.41 0.02 2.41 0.01 2.44 0.02 2.38 0.02
Mixed_TRS___1.trs 1.17 1.18 1.19 1.21 1.21 1.21 1.23 1.24 1.21 1.23 1.25 1.23 1.16 1.20 1.21 1.18 1.09 1.09 1.09 1.09
Mixed_TRS___2.trs 1.18 1.18 1.21 1.17 1.19 1.20 1.24 1.21 1.23 1.25 1.27 1.26 1.16 1.18 1.23 1.17 1.14 1.14 1.19 1.10
Mixed_TRS___3.trs 1.15 1.14 1.18 1.15 1.17 1.19 1.20 1.18 1.18 1.20 1.22 1.21 1.14 1.15 1.18 1.15 1.07 1.06 1.06 1.05
Mixed_TRS___4.trs 1.16 1.17 1.17 1.17 1.17 1.20 1.24 1.20 1.20 1.22 1.25 1.23 1.15 1.17 1.19 1.18 1.08 1.07 1.08 1.07
Mixed_TRS___5.trs 1.13 1.13 1.15 1.14 1.15 1.15 1.18 1.17 1.18 1.17 1.18 1.19 1.13 1.14 1.14 1.14 1.06 1.05 1.05 1.06
Mixed_TRS___6.trs 1.16 1.16 1.19 1.16 1.18 1.21 1.24 1.22 1.23 1.22 1.26 1.25 1.16 1.17 1.20 1.18 1.08 1.07 1.08 1.07
Mixed_TRS___7.trs 1.18 1.20 1.23 1.19 1.24 1.27 1.37 1.28 1.28 1.35 1.39 1.32 1.20 1.23 1.34 1.17 1.08 1.09 1.09 1.08
Mixed_TRS___beans.trs 1.41 1.42 1.54 1.38 1.44 1.51 1.63 1.63 1.50 1.54 1.70 1.65 1.38 1.47 1.52 1.36 1.18 1.17 1.17 1.19
Mixed_TRS___Ex1_Luc04b_GM.trs 1.16 1.16 1.15 1.15 1.34 1.50 1.59 1.76 1.40 1.91 2.07 2.19 1.29 1.43 1.50 1.53 1.14 1.14 1.14 1.14
Mixed_TRS___gcd.trs 1.34 1.37 1.40 1.33 1.38 1.40 1.45 1.42 1.42 1.45 1.47 1.46 1.35 1.37 1.40 1.33 1.57 1.59 1.65 1.39
Mixed_TRS___gcd_triple.trs 1.44 1.45 1.48 1.43 1.54 1.56 1.65 1.59 1.58 1.63 1.67 1.67 1.59 1.51 1.60 1.43 2.68 2.72 2.99 2.41
Mixed_TRS___gcdMinMax.trs 1.34 1.37 1.40 1.33 1.39 1.42 1.46 1.41 1.42 1.47 1.47 1.48 1.36 1.39 1.40 1.36 1.36 1.34 1.35 1.34
Mixed_TRS___hydra-Zantema06.trs 1.37 1.40 1.49 1.33 1.39 1.50 1.52 1.40 1.46 1.49 1.56 1.47 1.38 1.44 1.47 1.31 1.34 1.43 1.51 1.21
Mixed_TRS___hydra.trs 2.36 0.01 2.39 0.01 2.41 0.01 2.37 0.01 2.39 0.01 2.43 0.01 2.46 0.01 2.39 0.01 2.40 0.01 2.44 0.01 2.46 0.01 2.43 0.01 2.41 0.01 2.40 0.01 2.43 0.01 2.36 0.01 2.26 0.01 2.26 0.01 2.27 0.01 2.26 0.01
Mixed_TRS___jones1.trs 2.31 0.01 2.30 0.01 2.33 0.01 2.30 0.01 2.32 0.01 2.33 0.01 2.35 0.01 2.35 0.01 2.34 0.01 2.34 0.01 2.37 0.01 2.34 0.01 2.34 0.01 2.31 0.01 2.32 0.01 2.30 0.01 2.21 0.01 2.22 0.01 2.22 0.01 2.22 0.01
Mixed_TRS___jones2.trs 2.32 0.01 2.32 0.01 2.35 0.01 2.33 0.01 2.31 0.01 2.36 0.01 2.38 0.01 2.36 0.01 2.38 0.01 2.43 0.01 2.44 0.01 2.45 0.01 2.43 0.01 2.32 0.01 2.35 0.01 2.31 0.01 2.20 0.01 2.20 0.01 2.20 0.01 2.19 0.01
Mixed_TRS___jones4.trs 1.13 2.34 0.01 2.33 0.01 2.33 0.01 1.15 2.38 0.01 2.41 0.01 2.33 0.01 2.39 0.01 2.39 0.01 2.46 0.01 2.40 0.01 1.14 1.13 2.34 0.01 2.30 0.01 2.21 0.03 2.21 0.03 2.22 0.03 2.20 0.03
Mixed_TRS___jones5.trs 2.30 0.01 2.29 0.01 2.30 0.01 2.30 0.01 2.32 0.01 2.38 0.01 2.37 0.01 2.38 0.01 2.35 0.01 2.37 0.01 2.39 0.01 2.38 0.01 1.13 1.14 1.16 1.14 2.22 0.01 2.20 0.01 2.20 0.01 2.20 0.01
Mixed_TRS___jones6.trs 2.36 0.01 2.36 0.01 2.37 0.01 2.37 0.01 2.39 0.01 2.41 0.01 2.44 0.01 2.41 0.01 2.44 0.01 2.43 0.01 2.47 0.01 2.43 0.01 2.40 0.01 2.40 0.01 2.40 0.01 2.36 0.01 2.25 0.01 2.26 0.01 2.24 0.01 2.25 0.01
Mixed_TRS___minsort.trs 1.47 1.55 1.66 1.45 1.52 1.53 1.57 1.50 1.51 1.57 1.64 1.59 1.47 1.53 1.55 1.41 1.45 1.52 1.68 1.32
Mixed_TRS___motivation.trs 1.16 2.33 0.01 2.37 0.01 2.32 0.01 1.17 2.36 0.01 2.38 0.01 2.34 0.01 1.18 2.36 0.01 2.39 0.01 2.35 0.01 1.15 2.33 0.01 2.37 0.01 2.33 0.01 1.06 1.07 1.07 1.07
Mixed_TRS___perfect.trs 2.44 0.01 2.45 0.01 2.46 0.01 2.46 0.01 2.43 0.01 2.46 0.01 2.50 0.01 2.55 0.02 2.51 0.01 2.61 0.01 2.61 0.01 2.53 0.01 2.40 0.01 2.41 0.01 2.44 0.01 2.39 0.01 2.30 0.01 2.30 0.01 2.30 0.01 2.30 0.01
Mixed_TRS___perfect2.trs 2.72 0.02 2.73 0.02 2.76 0.02 2.72 0.02 2.81 0.03 2.85 0.03 2.92 0.03 2.99 0.03 2.90 0.03 2.92 0.03 2.99 0.03 2.99 0.03 2.72 0.02 2.79 0.02 2.83 0.02 2.73 0.03 2.56 0.03 2.57 0.03 2.60 0.03 2.54 0.03
Mixed_TRS___test1.trs 1.13 1.13 1.13 1.15 1.14 2.36 0.01 2.40 0.01 2.39 0.01 1.18 2.41 0.01 2.46 0.01 2.44 0.01 1.12 1.13 1.14 1.13 1.04 1.04 1.04 1.03
Mixed_TRS___while.trs 1.20 1.21 1.27 1.19 1.22 1.25 1.28 1.23 1.26 1.31 1.30 1.28 1.20 1.23 1.24 1.19 1.08 1.10 1.08 1.08
Mixed_TRS___while2.trs 1.22 1.24 1.28 1.20 1.27 1.29 1.41 1.27 1.30 1.38 1.44 1.31 1.25 1.25 1.37 1.13 1.11 1.11 1.11 1.12
Rubio_04___aoto.trs 2.32 0.01 2.34 0.01 2.35 0.01 2.32 0.01 2.34 0.01 2.34 0.01 2.35 0.01 2.34 0.01 2.33 0.01 2.36 0.01 2.36 0.01 2.35 0.01 2.32 0.01 2.31 0.01 2.38 0.01 2.25 0.01 2.23 0.01 2.22 0.01 2.22 0.01 2.22 0.01
Rubio_04___bintrees.trs 1.22 1.25 1.26 2.41 0.01 1.25 1.29 1.32 2.44 0.01 1.29 1.30 1.35 2.47 0.01 1.23 1.25 1.29 2.39 0.01 1.27 1.33 1.39 1.19
Rubio_04___bn122.trs 2.37 0.01 2.38 0.01 2.37 0.01 2.36 0.01 2.38 0.01 2.40 0.01 2.44 0.01 2.46 0.01 2.44 0.01 2.45 0.01 2.49 0.01 2.46 0.01 1.19 1.20 2.42 0.01 2.35 0.01 2.25 0.01 2.24 0.01 2.25 0.01 2.24 0.01
Rubio_04___bn129.trs 2.47 0.01 2.50 0.01 2.58 0.01 2.49 0.01 2.53 0.01 2.58 0.01 2.72 0.01 2.72 0.01 2.64 0.01 2.65 0.01 2.74 0.01 2.67 0.01 2.48 0.01 2.53 0.01 2.63 0.01 2.43 0.01 2.38 0.02 2.38 0.02 2.48 0.02 2.32 0.02
Rubio_04___division.trs 1.30 2.62 0.02 2.63 0.02 2.56 0.02 1.34 2.67 0.02 2.71 0.02 2.62 0.02 1.39 2.70 0.02 2.76 0.02 2.69 0.02 1.30 2.64 0.02 2.67 0.02 2.57 0.02 1.20 2.52 0.02 2.53 0.02 2.46 0.02
Rubio_04___elimdupl.trs 2.58 0.02 2.69 0.02 2.74 0.02 2.56 0.02 2.67 0.02 2.77 0.02 2.84 0.02 2.76 0.03 2.67 0.02 2.75 0.02 2.79 0.02 2.77 0.02 2.63 0.02 2.72 0.02 2.78 0.02 2.63 0.02 2.45 0.02 2.57 0.02 2.70 0.02 2.49 0.02
Rubio_04___enno.trs 1.41 1.58 2.95 0.03 2.75 0.03 1.43 1.64 2.97 0.03 2.81 0.03 1.49 1.64 2.98 0.03 2.87 0.03 1.40 1.56 2.95 0.03 2.73 0.03 1.47 1.74 1.70 1.33
Rubio_04___gcd.trs 2.68 0.02 2.73 0.03 2.78 0.03 2.72 0.02 2.75 0.03 2.88 0.03 2.89 0.03 2.73 0.02 2.76 0.02 2.82 0.02 2.97 0.02 2.81 0.02 1.34 1.43 2.81 0.02 2.63 0.02 2.57 0.02 2.58 0.02 2.61 0.02 2.56 0.02
Rubio_04___gm.trs 2.39 0.01 2.42 0.01 2.44 0.01 2.39 0.01 2.43 0.01 2.45 0.01 2.49 0.01 2.43 0.01 2.46 0.01 2.48 0.01 2.50 0.01 2.48 0.01 2.39 0.01 2.46 0.01 2.45 0.01 2.41 0.01 2.33 0.01 2.34 0.01 2.35 0.01 2.37 0.01
Rubio_04___gmnp.trs 2.34 0.01 2.36 0.01 2.35 0.01 2.34 0.01 2.34 0.01 2.36 0.01 2.36 0.01 2.35 0.01 2.65 0.01 2.37 0.01 2.37 0.01 2.36 0.01 2.34 0.01 2.35 0.01 2.35 0.01 2.29 0.01 2.25 0.01 2.25 0.01 2.25 0.01 2.25 0.01
Rubio_04___koen.trs 2.34 0.01 2.34 0.01 2.34 0.01 2.33 0.01 2.35 0.01 2.37 0.01 2.40 0.01 2.37 0.01 2.39 0.01 2.41 0.01 2.41 0.01 2.41 0.01 2.34 0.01 2.36 0.01 2.36 0.01 2.34 0.01 2.23 0.01 2.22 0.01 2.22 0.01 2.21 0.01
Rubio_04___lescanne.trs 1.14 2.36 0.01 2.38 0.01 2.35 0.01 1.18 2.42 0.01 2.47 0.01 2.41 0.01 1.23 2.46 0.01 2.51 0.01 2.48 0.01 1.14 2.39 0.01 2.42 0.01 2.42 0.01 1.13 1.14 1.17 2.28 0.01
Rubio_04___lindau.trs 2.36 0.01 2.35 0.01 2.36 0.01 2.36 0.01 2.36 0.01 2.37 0.01 2.37 0.01 2.37 0.01 2.37 0.01 2.37 0.01 2.38 0.01 2.39 0.01 2.34 0.01 2.35 0.01 2.36 0.01 2.35 0.01 2.27 0.01 2.26 0.01 2.27 0.01 2.26 0.01
Rubio_04___logarquot.trs 2.49 0.01 2.53 0.01 2.56 0.01 2.49 0.01 2.52 0.01 2.54 0.01 2.60 0.02 2.55 0.02 2.57 0.01 2.58 0.01 2.62 0.01 2.58 0.02 2.50 0.01 2.54 0.01 2.56 0.02 2.51 0.01 2.40 0.02 2.43 0.02 2.47 0.01 2.37 0.02
Rubio_04___ma96.trs 3.28 0.05 3.27 0.04 3.78 0.05 3.33 0.06 3.18 0.04 3.72 0.05 4.14 0.06 4.20 0.06 3.40 0.05 3.82 0.05 4.07 0.05 4.29 0.06 3.26 0.05 3.41 0.05 3.56 0.05 2.99 0.04 3.47 0.09 3.64 0.09 3.65 0.09 3.33 0.08
Rubio_04___mfp90b.trs 1.14 2.32 0.01 2.34 0.01 2.32 0.01 1.16 2.34 0.01 2.36 0.01 2.34 0.01 1.16 2.36 0.01 2.36 0.01 2.35 0.01 1.13 1.14 2.33 0.01 2.32 0.01 1.05 1.05 1.05 1.05
Rubio_04___mfp95.trs 2.17 0.00 2.16 0.00 2.17 0.00 2.16 0.00 2.16 0.00 2.16 0.00 2.16 0.00 2.16 0.00 2.17 0.00 2.17 0.00 2.16 0.00 2.17 0.00 2.15 0.00 2.16 0.00 2.16 0.00 2.17 0.00 2.16 0.00 2.17 0.00 2.20 0.00 2.16 0.00
Rubio_04___nestrec.trs 2.28 0.01 2.31 0.00 2.32 0.01 2.29 0.01 2.31 0.00 2.32 0.01 2.34 0.01 2.31 0.01 2.33 0.01 2.34 0.01 2.36 0.01 2.33 0.01 2.28 0.00 2.30 0.00 2.33 0.00 2.29 0.01 2.24 0.01 2.26 0.01 2.27 0.01 2.23 0.01
Rubio_04___p266.trs 2.19 0.01 2.19 0.01 2.20 0.01 2.20 0.00 2.19 0.01 2.18 0.01 2.19 0.01 2.19 0.01 2.20 0.01 2.20 0.01 2.19 0.01 2.20 0.01 2.18 0.01 2.21 0.01 2.19 0.01 2.19 0.01 2.20 0.01 2.21 0.01 2.19 0.01 2.19 0.01
Rubio_04___polo2.trs 2.49 0.02 2.51 0.02 2.49 0.02 2.85 0.04 2.55 0.02 2.58 0.02 2.61 0.02 3.17 0.04 2.62 0.02 2.66 0.02 2.61 0.01 3.40 0.04 2.51 0.02 2.56 0.02 2.54 0.01 2.50 0.02 4.06 0.34 4.07 0.34 4.08 0.34 4.09 0.34
Rubio_04___prov.trs 2.32 0.01 2.31 0.01 2.32 0.01 2.33 0.01 2.33 0.01 2.34 0.01 2.36 0.01 2.34 0.01 2.35 0.01 2.36 0.01 2.37 0.01 2.37 0.01 2.32 0.01 2.33 0.01 2.34 0.01 2.26 0.01 2.24 0.01 2.23 0.01 2.23 0.01 2.22 0.01
Rubio_04___quick.trs 2.89 0.03 3.01 0.03 3.05 0.03 2.97 0.04 2.97 0.03 3.16 0.04 3.29 0.04 3.25 0.05 3.01 0.03 3.22 0.04 3.27 0.04 3.15 0.04 2.89 0.03 3.08 0.04 3.21 0.04 2.94 0.04 2.70 0.04 2.82 0.03 3.01 0.04 2.74 0.04
Rubio_04___quotminus.trs 2.54 0.02 2.57 0.02 2.61 0.02 2.53 0.02 2.59 0.02 2.64 0.02 2.69 0.02 2.60 0.02 2.64 0.02 2.68 0.02 2.74 0.02 2.66 0.02 2.56 0.02 2.60 0.01 2.64 0.02 2.49 0.01 2.41 0.01 2.44 0.01 2.49 0.01 2.44 0.02
Rubio_04___revlist.trs 2.47 0.01 2.53 0.01 2.57 0.02 2.48 0.02 2.52 0.01 2.61 0.01 2.64 0.02 2.67 0.02 2.59 0.01 2.66 0.02 2.69 0.01 2.60 0.02 2.49 0.01 2.54 0.01 2.65 0.01 2.49 0.01 2.42 0.02 2.48 0.02 2.54 0.02 2.44 0.02
Rubio_04___selsort.trs 3.17 0.04 3.25 0.04 3.32 0.04 3.19 0.05 3.22 0.04 3.57 0.05 3.66 0.05 3.25 0.05 3.31 0.04 3.70 0.05 3.66 0.05 3.82 0.06 3.09 0.04 3.31 0.04 3.41 0.05 3.10 0.04 2.82 0.04 2.96 0.04 3.08 0.04 2.85 0.04
Rubio_04___test4.trs