An Isabelle/HOL Formalization of Rewriting 
for Certified Tool Assertions 

Summary

We first present the results where we compare CeTA with TTT2 as termination prover against the other combinations that have participated in the termination competition. The column TC+ represents the combination of TTT2 and CeTA, where all methods that are supported in version 1.03 of CeTA are used in the strategy of TTT2. In TC only those methods are used that are described in the TPHOLs 2009 paper (dependency graph decomposition and linear polynomial orders) have been used. In both combinations TC and TC+ coefficients where chosen between 0 and 3.
Note that the time for proof generation was not explicitly measured during the last certified termination competition, but was just added to the termination prover time. This is the reason for the question marks in the table below. (detailed results)

TC+ TC AProVE + Cime + Coccinelle Cime + Cime + Coccinelle AProVE + Rainbow + CoLoR Matchbox + Rainbow + CoLoR
termination proofs572401532531580458
nontermination proofs21400000
accepted proofs786391437485558456
rejected proofs0103002
Coq proof generation timeouts--5000
Coq timeouts--8746220
certification timeouts009246220
certification time (only accepted proofs)113s33s? (generation) + 6212s (Coq)? (generation) + 6139s (Coq)? (generation) + 7004s (Coq)? (generation) + 3602s (Coq)

Whereas in the table above, for each TRS each configuration may have produced and certified a different proof, we also made an experiment where every time the same proof has to be certified. To this end we used AProVE with only those techniques that are supported by all three certifiers (EDG Dependency Graph estimation and linear polynomials), and then converted each of these proofs in the corresponding input formats for each of the certifiers. This resulted in 358 termination proofs which had to be certified by each of the certifiers. In this way we now compare only the execution time for checking a certificate of the same set of proofs.
We again used CeTA version 1.03 and for the other certifiers we took the most recent versions which were available to download on June 3, 2009 (CoLoR_090311.tgz, Rainbow_090318.tgz, coccinelle-1.5-8.2-1.tgz, CiME v3.02 built on 30/04/2009). All experiments have been performed on a standard PC equipped with a 2.4GHz CPU and 2GB RAM. (detailed results)

CeTA Cime + Coccinelle Rainbow + CoLoR
Cime Coccinelle + Coq Rainbow CoLoR + Coq
accepted proofs 358 326 306
rejected proofs 0 0 0
errors 0 1 1
timeouts 0 0 31 0 51
overall time24 s 116 s 4576 s 5 s 5129 s
4693 s 5135 s

Detailed Results (Part 1: comparison with termination competition results)

Within the columns of TC and TC+, click on the individual results to see the proof and the output of CeTA. For all other configurations we refer to the result table of the certified termination competition.

ProblemTC+TCAProVE + Cime + CoccinelleCime + Cime + CoccinelleAProVE + Rainbow + CoLoRMatchbox + Rainbow + CoLoR
TTT2CeTATTT2CeTAAProVE + CimeCoqCime + CimeCoqAProVE + RainbowCoqMatchbox + RainbowCoq
tpdb-5.0/TRS/AG01/#3.10.trs (XML format)0.630.114.230.1523.2331.3547.5431.7232.8153.0160.21
tpdb-5.0/TRS/AG01/#3.12.trs (XML format)0.160.030.260.033.256.770.235.762.5310.351.106.66
tpdb-5.0/TRS/AG01/#3.13.trs (XML format)0.380.082.780.108.9026.2317.6524.2918.0846.1360.21
tpdb-5.0/TRS/AG01/#3.14.trs (XML format)0.070.020.170.032.546.770.206.372.066.740.234.54
tpdb-5.0/TRS/AG01/#3.15.trs (XML format)0.090.020.220.032.724.580.174.322.064.990.214.03
tpdb-5.0/TRS/AG01/#3.16.trs (XML format)0.070.020.122.616.310.1812.492.067.6060.29
tpdb-5.0/TRS/AG01/#3.17a.trs (XML format)0.640.061.540.0610.8611.460.5311.425.7217.221.6612.96
tpdb-5.0/TRS/AG01/#3.17.trs (XML format)0.540.051.060.058.319.420.429.057.1416.031.2110.25
tpdb-5.0/TRS/AG01/#3.18.trs (XML format)0.120.030.382.590.2618.6927.1560.25
tpdb-5.0/TRS/AG01/#3.19.trs (XML format)59.030.583.190.2720.4325.5960.26
tpdb-5.0/TRS/AG01/#3.1.trs (XML format)0.090.020.150.022.534.830.185.033.404.723.715.53
tpdb-5.0/TRS/AG01/#3.21.trs (XML format)0.080.020.072.135.302.632.814.3760.22
tpdb-5.0/TRS/AG01/#3.22.trs (XML format)0.120.030.292.978.9813.859.5810.1760.25
tpdb-5.0/TRS/AG01/#3.23.trs (XML format)0.050.010.030.022.228.170.143.932.383.871.063.87
tpdb-5.0/TRS/AG01/#3.24.trs (XML format)0.060.020.070.022.113.800.143.812.404.220.273.60
tpdb-5.0/TRS/AG01/#3.26.trs (XML format)0.060.020.050.022.043.670.173.732.684.410.343.37
tpdb-5.0/TRS/AG01/#3.29.trs (XML format)0.020.010.040.011.983.960.133.941.853.830.223.09
tpdb-5.0/TRS/AG01/#3.2.trs (XML format)0.090.020.170.022.656.040.195.273.765.425.336.48
tpdb-5.0/TRS/AG01/#3.31.trs (XML format)0.060.010.060.022.077.620.154.243.033.410.423.19
tpdb-5.0/TRS/AG01/#3.33.trs (XML format)0.130.020.020.031.683.860.113.854.115.240.994.76
tpdb-5.0/TRS/AG01/#3.35.trs (XML format)0.050.020.060.022.033.940.143.982.344.230.273.66
tpdb-5.0/TRS/AG01/#3.36.trs (XML format)0.140.030.220.033.035.620.195.673.009.030.815.02
tpdb-5.0/TRS/AG01/#3.37.trs (XML format)0.110.030.070.032.135.230.358.742.746.690.584.96
tpdb-5.0/TRS/AG01/#3.38.trs (XML format)0.130.030.230.032.996.540.226.413.767.016.828.91
tpdb-5.0/TRS/AG01/#3.39.trs (XML format)59.051.246.3960.197.5860.2112.1412.6020.7814.21
tpdb-5.0/TRS/AG01/#3.40.trs (XML format)59.042.5060.2560.3060.23
tpdb-5.0/TRS/AG01/#3.41.trs (XML format)59.020.070.022.4816.720.427.672.364.910.653.98
tpdb-5.0/TRS/AG01/#3.42.trs (XML format)59.030.370.034.4525.020.7411.323.027.743.057.63
tpdb-5.0/TRS/AG01/#3.47.trs (XML format)0.070.020.110.022.384.690.174.582.594.860.483.78
tpdb-5.0/TRS/AG01/#3.48.trs (XML format)0.120.030.260.034.628.140.277.445.866.6610.7510.55
tpdb-5.0/TRS/AG01/#3.49.trs (XML format)0.170.030.530.043.505.867.625.982.767.080.594.68
tpdb-5.0/TRS/AG01/#3.4.trs (XML format)0.170.040.480.043.997.290.256.734.196.899.3510.27
tpdb-5.0/TRS/AG01/#3.51.trs (XML format)0.240.030.110.032.485.540.175.536.738.110.946.07
tpdb-5.0/TRS/AG01/#3.52.trs (XML format)0.060.020.060.022.066.180.144.832.934.622.064.38
tpdb-5.0/TRS/AG01/#3.53a.trs (XML format)0.030.010.040.021.984.350.134.261.914.400.303.53
tpdb-5.0/TRS/AG01/#3.53b.trs (XML format)0.060.020.060.022.067.930.145.202.824.802.444.89
tpdb-5.0/TRS/AG01/#3.53.trs (XML format)0.320.061.770.0810.5622.110.8219.8912.5022.8036.5135.17
tpdb-5.0/TRS/AG01/#3.54.trs (XML format)0.090.020.120.022.495.310.185.682.575.430.674.12
tpdb-5.0/TRS/AG01/#3.55.trs (XML format)0.470.094.9821.1751.4346.5060.3360.22
tpdb-5.0/TRS/AG01/#3.56.trs (XML format)0.250.020.343.4824.270.6110.882.897.081.125.42
tpdb-5.0/TRS/AG01/#3.57.trs (XML format)0.430.072.560.0815.5615.730.6815.5618.3020.6560.21
tpdb-5.0/TRS/AG01/#3.5a.trs (XML format)0.180.040.520.053.929.190.309.104.577.3016.3813.69
tpdb-5.0/TRS/AG01/#3.5b.trs (XML format)0.260.050.850.054.4211.440.3710.3010.6911.5416.4713.93
tpdb-5.0/TRS/AG01/#3.5.trs (XML format)0.180.040.510.044.448.480.308.733.116.4712.8611.48
tpdb-5.0/TRS/AG01/#3.6a.trs (XML format)0.190.050.580.054.0910.320.319.825.197.8616.3615.51
tpdb-5.0/TRS/AG01/#3.6b.trs (XML format)0.340.051.120.064.2311.900.3711.987.379.5720.3217.51
tpdb-5.0/TRS/AG01/#3.6.trs (XML format)0.190.050.600.054.0610.540.3210.204.859.7218.6717.12
tpdb-5.0/TRS/AG01/#3.7.trs (XML format)0.070.020.150.022.524.880.184.382.454.390.363.76
tpdb-5.0/TRS/AG01/#3.8a.trs (XML format)0.200.040.480.045.0615.010.357.4316.396.799.908.98
tpdb-5.0/TRS/AG01/#3.8b.trs (XML format)0.310.061.180.068.609.910.5010.0419.4511.3620.0316.62
tpdb-5.0/TRS/AG01/#4.30c.trs (XML format)59.050.623.406.3313.7460.29
tpdb-5.0/TRS/aprove08/id_inc.trs (XML format)59.030.607.1760.2760.3031.1613.09
tpdb-5.0/TRS/aprove08/log.trs (XML format)59.031.049.7236.3260.3160.23
tpdb-5.0/TRS/aprove08/parting01_reverse.trs (XML format)59.031.0210.5836.4160.3360.20
tpdb-5.0/TRS/aprove08/parting02_doublelist.trs (XML format)59.031.4115.9436.2460.2860.25
tpdb-5.0/TRS/aprove08/parting03_minsort.trs (XML format)59.051.4110.2917.6660.3460.30
tpdb-5.0/TRS/aprove08/parting04_maxsort_h.trs (XML format)59.032.5060.6760.3360.24
tpdb-5.0/TRS/aprove08/parting05_maxsort.trs (XML format)59.031.6213.8138.2960.3160.20
tpdb-5.0/TRS/aprove08/round_nonterm.trs (XML format)0.080.020.151.540.102.8860.20
tpdb-5.0/TRS/aprove08/round.trs (XML format)59.040.161.580.103.0260.20
tpdb-5.0/TRS/aprove08/thiemann40_modified.trs (XML format)59.030.312.223.2255.4060.28
tpdb-5.0/TRS/AProVE/AAECC-ring.trs (XML format)59.0321.4460.4060.2360.4560.21
tpdb-5.0/TRS/AProVE/AAECC.trs (XML format)59.035.1123.7360.2460.3360.21
tpdb-5.0/TRS/AProVE/fac.trs (XML format)59.040.534.573.6960.2760.23
tpdb-5.0/TRS/AProVE/forward_instantiation2.trs (XML format)59.050.031.250.531.7660.20
tpdb-5.0/TRS/AProVE/forward_instantiation.trs (XML format)59.060.031.250.511.7460.19
tpdb-5.0/TRS/AProVE/IJCAR_12.trs (XML format)0.210.050.453.343.5324.6160.20
tpdb-5.0/TRS/AProVE/IJCAR_18.trs (XML format)0.460.091.6010.5522.3260.3260.21
tpdb-5.0/TRS/AProVE/IJCAR_1.trs (XML format)0.090.020.111.822.6760.2560.29
tpdb-5.0/TRS/AProVE/IJCAR_26a.trs (XML format)59.032.1912.0117.2860.3560.21
tpdb-5.0/TRS/AProVE/IJCAR_26.trs (XML format)59.032.0512.7016.1760.3260.20
tpdb-5.0/TRS/AProVE/improved_usable2.trs (XML format)0.070.020.082.3416.160.217.493.334.295.224.66
tpdb-5.0/TRS/AProVE/improved_usable.trs (XML format)0.080.020.152.5417.910.227.893.924.835.404.91
tpdb-5.0/TRS/AProVE/JFP_Ex31.trs (XML format)59.041.6060.2860.3360.21
tpdb-5.0/TRS/AProVE/JFP_Ex51.trs (XML format)0.500.081.520.0810.2122.065.5452.4114.3617.5760.20
tpdb-5.0/TRS/AProVE/Liveness6.1.trs (XML format)59.030.664.1919.326.9610.032.097.40
tpdb-5.0/TRS/AProVE/Liveness6.2.trs (XML format)59.030.253.4324.425.6824.652.908.960.956.20
tpdb-5.0/TRS/AProVE/Liveness6.3.trs (XML format)59.032.6060.2660.3111.0314.273.1812.34
tpdb-5.0/TRS/AProVE/Liveness6.4.trs (XML format)59.031.838.5460.2960.3360.25
tpdb-5.0/TRS/AProVE/Liveness8.trs (XML format)3.240.082.370.0915.8621.705.2526.405.9322.623.6716.00
tpdb-5.0/TRS/AProVE/Liveness_WRS.trs (XML format)59.031.8525.5560.2139.4122.3415.762.599.81
tpdb-5.0/TRS/AProVE/LPAR_intlist.trs (XML format)0.280.030.3660.263.359.291.466.49
tpdb-5.0/TRS/AProVE/rta1.trs (XML format)0.230.040.402.5612.9860.2660.24
tpdb-5.0/TRS/AProVE/rta2.trs (XML format)0.020.010.060.021.923.950.133.951.863.590.223.14
tpdb-5.0/TRS/AProVE/rta3.trs (XML format)0.130.030.152.036.9511.7160.25
tpdb-5.0/TRS/Beerendonk/10.trs (XML format)59.040.644.769.3216.7415.9037.7218.60
tpdb-5.0/TRS/Beerendonk/11.trs (XML format)59.060.503.566.1611.6760.23
tpdb-5.0/TRS/Beerendonk/12.trs (XML format)59.070.302.263.666.9860.29
tpdb-5.0/TRS/Beerendonk/13.trs (XML format)59.060.302.423.468.2860.27
tpdb-5.0/TRS/Beerendonk/14.trs (XML format)59.060.423.344.4711.7960.23
tpdb-5.0/TRS/Beerendonk/15.trs (XML format)59.041.014.9160.2460.25
tpdb-5.0/TRS/Beerendonk/16.trs (XML format)59.050.916.1953.6836.8960.25
tpdb-5.0/TRS/Beerendonk/17.trs (XML format)59.041.606.7354.7822.5260.22
tpdb-5.0/TRS/Beerendonk/18.trs (XML format)59.041.384.1360.2460.2760.22
tpdb-5.0/TRS/Beerendonk/19.trs (XML format)59.051.285.5560.2660.3160.23
tpdb-5.0/TRS/Beerendonk/1.trs (XML format)59.070.141.590.665.137.116.876.75
tpdb-5.0/TRS/Beerendonk/20.trs (XML format)59.040.754.4626.7834.6160.25
tpdb-5.0/TRS/Beerendonk/21.trs (XML format)59.040.895.0718.9328.7460.24
tpdb-5.0/TRS/Beerendonk/22.trs (XML format)59.060.332.363.829.8112.8520.0413.37
tpdb-5.0/TRS/Beerendonk/23.trs (XML format)59.060.322.553.1410.6117.2020.9119.14
tpdb-5.0/TRS/Beerendonk/24.trs (XML format)59.042.144.1560.2460.2760.25
tpdb-5.0/TRS/Beerendonk/2.trs (XML format)59.060.171.710.846.057.308.576.63
tpdb-5.0/TRS/Beerendonk/3.trs (XML format)59.060.242.170.705.4160.20
tpdb-5.0/TRS/Beerendonk/4.trs (XML format)59.080.101.510.513.4060.27
tpdb-5.0/TRS/Beerendonk/5.trs (XML format)59.040.322.2413.656.166.5813.307.81
tpdb-5.0/TRS/Beerendonk/6.trs (XML format)59.050.141.580.674.295.265.845.88
tpdb-5.0/TRS/Beerendonk/7.trs (XML format)59.040.171.743.696.376.058.916.06
tpdb-5.0/TRS/Beerendonk/8.trs (XML format)59.050.282.5518.197.708.7414.389.65
tpdb-5.0/TRS/Beerendonk/9.trs (XML format)59.060.313.334.847.5510.7516.3212.04
tpdb-5.0/TRS/Cime/ack_prolog.trs (XML format)0.140.030.270.033.006.7415.937.094.855.769.857.50
tpdb-5.0/TRS/Cime/append-hard.trs (XML format)59.030.091.501.278.8360.21
tpdb-5.0/TRS/Cime/append.trs (XML format)0.060.020.060.032.156.110.166.443.248.212.587.95
tpdb-5.0/TRS/Cime/append-wrong.trs (XML format)0.070.020.091.471.6914.2760.25
tpdb-5.0/TRS/Cime/big.trs (XML format)1.390.4415.0960.4160.7260.20
tpdb-5.0/TRS/Cime/boolean_rings.trs (XML format)0.080.040.100.042.468.200.498.136.2010.7016.8918.11
tpdb-5.0/TRS/Cime/dpqs.trs (XML format)0.150.020.020.021.684.020.114.024.305.500.694.71
tpdb-5.0/TRS/Cime/fact-hard.trs (XML format)59.030.856.0924.5560.2660.26
tpdb-5.0/TRS/Cime/filliatre2.trs (XML format)0.440.061.130.075.0714.039.0443.383.8825.763.0916.46
tpdb-5.0/TRS/Cime/filliatre3.trs (XML format)0.580.093.280.086.4717.9312.9117.114.6747.1337.0732.62
tpdb-5.0/TRS/Cime/filliatre.trs (XML format)0.530.080.950.064.5012.260.2911.113.3827.591.1111.84
tpdb-5.0/TRS/Cime/intersect.trs (XML format)0.300.091.7910.6057.9841.1211.8127.0860.21
tpdb-5.0/TRS/Cime/list-sum-prod-assoc-append.trs (XML format)0.430.071.8013.6036.390.6529.583.7420.5060.21
tpdb-5.0/TRS/Cime/list-sum-prod-assoc.trs (XML format)0.300.050.756.0122.300.4323.242.8913.7860.24
tpdb-5.0/TRS/Cime/list-sum-prod-bin-assoc-distr-app.trs (XML format)0.580.131.8612.4512.8560.2960.20
tpdb-5.0/TRS/Cime/list-sum-prod-bin-assoc.trs (XML format)0.430.081.0610.7145.326.522.8613.6460.20
tpdb-5.0/TRS/Cime/list-sum-prod-bin.trs (XML format)0.350.070.847.0121.453.682.5214.0560.23
tpdb-5.0/TRS/Cime/list-sum-prod.trs (XML format)0.150.040.594.7812.730.3817.012.5411.2960.25
tpdb-5.0/TRS/Cime/log2.trs (XML format)1.200.163.8819.8160.2231.5852.6310.2134.019.6427.82
tpdb-5.0/TRS/Cime/lse.trs (XML format)0.680.141.1614.5160.1960.3160.20
tpdb-5.0/TRS/Cime/maude2.trs (XML format)59.033.5451.9043.4660.3460.21
tpdb-5.0/TRS/Cime/mucrl1.trs (XML format)3.851.1359.0460.4660.2160.3660.20
tpdb-5.0/TRS/Cime/quick.trs (XML format)0.260.070.890.085.7730.220.5033.0714.4035.7560.20
tpdb-5.0/TRS/Cime/ternary-hard.trs (XML format)0.780.171.5610.3720.2960.3260.20
tpdb-5.0/TRS/Cime/ternary.trs (XML format)0.690.131.2714.4243.3910.826.2026.7360.20
tpdb-5.0/TRS/Cime/tree.trs (XML format)2.500.2210.240.2860.200.1260.2517.8959.0617.2543.05
tpdb-5.0/TRS/CSR/Ex1_Luc04b_GM.trs (XML format)0.820.111.669.3160.247.0836.3860.21
tpdb-5.0/TRS/currying/AG01/#3.10.trs (XML format)59.049.559.8660.2060.20
tpdb-5.0/TRS/currying/AG01/#3.13.trs (XML format)59.057.2312.7560.2260.3660.20
tpdb-5.0/TRS/currying/AG01/#3.16.trs (XML format)0.490.121.483.7960.2060.21
tpdb-5.0/TRS/currying/AG01/#3.18.trs (XML format)59.042.256.3160.2160.20
tpdb-5.0/TRS/currying/AG01/#3.22.trs (XML format)59.032.046.1860.2060.21
tpdb-5.0/TRS/currying/AG01/#3.25.trs (XML format)59.050.914.5160.2160.22
tpdb-5.0/TRS/currying/AG01/#3.27.trs (XML format)0.240.080.823.6360.2060.2760.22
tpdb-5.0/TRS/currying/AG01/#3.2.trs (XML format)59.041.483.8560.2060.21
tpdb-5.0/TRS/currying/AG01/#3.32.trs (XML format)0.240.090.403.3760.1960.2860.20
tpdb-5.0/TRS/currying/AG01/#3.36.trs (XML format)59.051.574.1560.2060.20
tpdb-5.0/TRS/currying/AG01/#3.38.trs (XML format)59.042.274.5860.2060.21
tpdb-5.0/TRS/currying/AG01/#3.40.trs (XML format)59.043.565.7160.2160.20
tpdb-5.0/TRS/currying/AG01/#3.45.trs (XML format)0.340.101.927.6560.2060.20
tpdb-5.0/TRS/currying/AG01/#3.48.trs (XML format)0.540.162.337.8760.2160.21
tpdb-5.0/TRS/currying/AG01/#3.52.trs (XML format)0.300.121.384.0460.2260.20
tpdb-5.0/TRS/currying/AG01/#3.55.trs (XML format)59.0410.077.6960.2060.20
tpdb-5.0/TRS/currying/AG01/#3.57.trs (XML format)59.046.637.2260.2160.24
tpdb-5.0/TRS/currying/AG01/#3.6.trs (XML format)59.042.755.6160.2160.20
tpdb-5.0/TRS/currying/AG01/#3.8.trs (XML format)59.052.354.9260.2060.23
tpdb-5.0/TRS/currying/D33/01.trs (XML format)0.370.100.593.5560.2160.2760.20
tpdb-5.0/TRS/currying/D33/02.trs (XML format)0.310.090.453.4060.2260.20
tpdb-5.0/TRS/currying/D33/06.trs (XML format)0.230.100.844.4660.2060.24
tpdb-5.0/TRS/currying/D33/08.trs (XML format)0.380.171.224.7060.2060.21
tpdb-5.0/TRS/currying/D33/11.trs (XML format)0.760.702.3860.3260.2260.3760.20
tpdb-5.0/TRS/currying/D33/12.trs (XML format)0.460.181.694.6460.2160.21
tpdb-5.0/TRS/currying/D33/13.trs (XML format)59.042.164.6260.2260.20
tpdb-5.0/TRS/currying/D33/17.trs (XML format)0.440.141.664.3660.2060.20
tpdb-5.0/TRS/currying/D33/18.trs (XML format)0.250.101.003.6360.2160.20
tpdb-5.0/TRS/currying/D33/21.trs (XML format)59.032.144.7360.2160.21
tpdb-5.0/TRS/currying/D33/29.trs (XML format)59.041.204.1860.2160.20
tpdb-5.0/TRS/currying/D33/30.trs (XML format)59.062.445.6660.2160.3060.21
tpdb-5.0/TRS/currying/D33/31.trs (XML format)59.041.524.8160.2160.20
tpdb-5.0/TRS/currying/D33/33.trs (XML format)59.045.036.6860.2060.3360.20
tpdb-5.0/TRS/currying/Ste92/hydra.trs (XML format)0.540.151.194.2160.2060.3060.22
tpdb-5.0/TRS/currying/Ste92/minsort.trs (XML format)59.045.497.9660.2160.21
tpdb-5.0/TRS/currying/Ste92/motivation.trs (XML format)0.290.100.983.7660.2160.21
tpdb-5.0/TRS/currying/Ste92/perfect2.trs (XML format)59.044.1542.3460.2260.4060.21
tpdb-5.0/TRS/currying/Ste92/perfect.trs (XML format)59.052.7232.1260.2160.4360.21
tpdb-5.0/TRS/D33/01.trs (XML format)0.040.020.010.021.663.270.113.272.097.150.154.07
tpdb-5.0/TRS/D33/02.trs (XML format)0.030.020.010.021.673.140.103.132.004.260.133.44
tpdb-5.0/TRS/D33/03.trs (XML format)0.020.010.010.021.622.960.102.962.023.470.143.00
tpdb-5.0/TRS/D33/04.trs (XML format)0.030.010.040.011.973.600.133.562.344.130.133.27
tpdb-5.0/TRS/D33/06.trs (XML format)0.040.010.040.011.883.530.133.482.403.810.233.30
tpdb-5.0/TRS/D33/07.trs (XML format)0.040.010.090.022.234.410.154.403.006.100.473.69
tpdb-5.0/TRS/D33/08.trs (XML format)0.110.030.122.419.670.1810.683.8916.3620.2611.45
tpdb-5.0/TRS/D33/09.trs (XML format)0.020.010.040.011.978.520.133.721.853.670.203.12
tpdb-5.0/TRS/D33/11.trs (XML format)0.420.090.428.890.2919.7360.3660.21
tpdb-5.0/TRS/D33/12.trs (XML format)0.100.030.192.162.3060.2660.24
tpdb-5.0/TRS/D33/13.trs (XML format)59.030.203.1422.123.547.2413.9360.24
tpdb-5.0/TRS/D33/17.trs (XML format)0.100.030.190.032.699.180.175.942.115.620.566.09
tpdb-5.0/TRS/D33/18.trs (XML format)0.050.010.040.011.958.230.133.992.444.331.294.38
tpdb-5.0/TRS/D33/20.trs (XML format)0.130.030.120.033.035.970.189.303.194.890.544.15
tpdb-5.0/TRS/D33/21.trs (XML format)59.030.312.301.6914.8760.30
tpdb-5.0/TRS/D33/27.trs (XML format)0.020.010.050.022.034.050.134.152.014.800.233.42
tpdb-5.0/TRS/D33/28.trs (XML format)0.070.020.072.1017.180.1418.486.2160.29
tpdb-5.0/TRS/D33/30.trs (XML format)59.090.152.4019.930.1721.029.5760.24
tpdb-5.0/TRS/D33/31.trs (XML format)0.140.030.112.3910.360.1712.174.069.3260.28
tpdb-5.0/TRS/D33/32.trs (XML format)0.110.030.410.043.578.740.6225.435.8913.0010.3315.67
tpdb-5.0/TRS/D33/33.trs (XML format)59.031.1725.3431.5660.2960.25
tpdb-5.0/TRS/Endrullis/direct.trs (XML format)59.040.322.9760.192.0014.112.556.0013.856.79
tpdb-5.0/TRS/Endrullis/labeling.trs (XML format)59.090.051.330.902.5260.22
tpdb-5.0/TRS/Endrullis/linear1.trs (XML format)59.030.264.5333.0034.649.868.057.129.057.67
tpdb-5.0/TRS/Endrullis/linear2.trs (XML format)59.040.987.1460.1953.8860.1915.938.3614.158.32
tpdb-5.0/TRS/Endrullis/pair2hard.trs (XML format)59.030.374.1660.1852.729.707.458.548.72
tpdb-5.0/TRS/Endrullis/pair2simple1.trs (XML format)59.090.783.5360.201.0213.705.827.014.516.05
tpdb-5.0/TRS/Endrullis/pair2simple2.trs (XML format)59.090.603.149.445.3060.25
tpdb-5.0/TRS/Endrullis/pair3hard.trs (XML format)59.040.224.241.878.3360.30
tpdb-5.0/TRS/Endrullis/pair3rotate.trs (XML format)59.090.493.6460.195.7119.6310.118.866.709.44
tpdb-5.0/TRS/Endrullis/pair3swap.trs (XML format)59.030.464.6160.2019.1960.2010.988.665.799.33
tpdb-5.0/TRS/Endrullis/quadruple1.trs (XML format)59.080.562.9560.196.6960.198.547.046.547.84
tpdb-5.0/TRS/Endrullis/quadruple2.trs (XML format)59.100.623.5760.228.1460.212.774.625.698.07
tpdb-5.0/TRS/higher-order/AotoYam/001.trs (XML format)0.010.010.091.471.953.7760.21
tpdb-5.0/TRS/higher-order/AotoYam/002.trs (XML format)0.140.050.280.055.5060.2020.6910.3613.0260.25
tpdb-5.0/TRS/higher-order/AotoYam/003.trs (XML format)0.010.020.172.4212.299.2660.21
tpdb-5.0/TRS/higher-order/AotoYam/004.trs (XML format)0.130.040.342.296.746.7660.25
tpdb-5.0/TRS/higher-order/AotoYam/005.trs (XML format)0.100.020.220.032.435.720.165.742.226.090.255.10
tpdb-5.0/TRS/higher-order/AotoYam/006.trs (XML format)0.150.050.373.1460.2060.21
tpdb-5.0/TRS/higher-order/AotoYam/007.trs (XML format)0.140.040.382.228.3115.8760.25
tpdb-5.0/TRS/higher-order/AotoYam/009.trs (XML format)0.140.060.800.073.4317.7634.765.367.8160.25
tpdb-5.0/TRS/higher-order/AotoYam/010.trs (XML format)59.041.122.7137.677.9160.20
tpdb-5.0/TRS/higher-order/AotoYam/011.trs (XML format)59.040.572.1614.0116.8060.23
tpdb-5.0/TRS/higher-order/AotoYam/012.trs (XML format)0.190.060.840.063.1524.5433.174.2010.2060.28
tpdb-5.0/TRS/higher-order/AotoYam/013.trs (XML format)0.180.070.652.3835.506.5860.20
tpdb-5.0/TRS/higher-order/AotoYam/014.trs (XML format)0.190.070.842.5225.307.4560.20
tpdb-5.0/TRS/higher-order/AotoYam/015.trs (XML format)0.120.040.212.7058.6513.0160.22
tpdb-5.0/TRS/higher-order/AotoYam/016.trs (XML format)0.400.101.110.092.8334.3530.6860.23
tpdb-5.0/TRS/higher-order/AotoYam/017.trs (XML format)0.020.010.060.022.058.430.134.051.893.640.123.09
tpdb-5.0/TRS/higher-order/AotoYam/019.trs (XML format)0.070.020.071.311.992.5060.28
tpdb-5.0/TRS/higher-order/AotoYam/020.trs (XML format)0.190.050.542.0315.234.5660.19
tpdb-5.0/TRS/higher-order/AotoYam/021.trs (XML format)0.310.101.622.5360.2060.20
tpdb-5.0/TRS/higher-order/AotoYam/022.trs (XML format)0.110.040.653.3841.0515.7960.24
tpdb-5.0/TRS/higher-order/AotoYam/023.trs (XML format)0.070.020.080.022.0810.050.144.582.125.850.264.00
tpdb-5.0/TRS/higher-order/AotoYam/024.trs (XML format)0.080.030.220.032.946.5710.193.135.1760.25
tpdb-5.0/TRS/higher-order/AotoYam/025.trs (XML format)0.020.010.030.011.888.030.123.521.863.520.123.01
tpdb-5.0/TRS/higher-order/AotoYam/026.trs (XML format)59.050.171.979.714.0160.22
tpdb-5.0/TRS/higher-order/AotoYam/027.trs (XML format)0.190.050.652.0620.0517.2360.26
tpdb-5.0/TRS/higher-order/AotoYam/028.trs (XML format)0.120.040.360.042.2153.2360.2660.26
tpdb-5.0/TRS/higher-order/AotoYam/Ex1SimplyTyped.trs (XML format)0.150.040.203.8112.756.846.619.3660.28
tpdb-5.0/TRS/higher-order/AotoYam/Ex5TermProof.trs (XML format)59.050.872.5125.6012.5360.20
tpdb-5.0/TRS/higher-order/AProVE_HO/mapDivMinusHard.trs (XML format)59.030.882.7246.3022.7860.24
tpdb-5.0/TRS/higher-order/AProVE_HO/mapDivMinus.trs (XML format)59.050.802.5632.9911.4260.23
tpdb-5.0/TRS/higher-order/AProVE_HO/nonTermF.trs (XML format)0.140.020.261.9028.7535.0160.22
tpdb-5.0/TRS/higher-order/AProVE_HO/ReverseLastInit.trs (XML format)0.270.050.440.064.7312.388.8012.242.768.660.379.76
tpdb-5.0/TRS/higher-order/AProVE_HO/TakeDropWhile.trs (XML format)0.230.070.282.7760.2260.20
tpdb-5.0/TRS/higher-order/AProVE_HO/termMonTypes.trs (XML format)0.060.020.131.771.183.9560.20
tpdb-5.0/TRS/higher-order/AProVE_HO/TypeEx1.trs (XML format)59.080.112.257.584.1242.453.243.8815.517.88
tpdb-5.0/TRS/higher-order/AProVE_HO/TypeEx3.trs (XML format)0.020.020.324.8360.2360.25
tpdb-5.0/TRS/higher-order/AProVE_HO/TypeEx5.trs (XML format)0.020.010.041.200.091.6560.20
tpdb-5.0/TRS/higher-order/Bird/BTreeMember.trs (XML format)0.240.090.9614.0460.1960.2021.7720.5260.20
tpdb-5.0/TRS/higher-order/Bird/Ex2_6_1Composition.trs (XML format)0.030.010.060.022.068.090.143.911.953.780.133.45
tpdb-5.0/TRS/higher-order/Bird/Ex2_8_1ConstSubstFix.trs (XML format)0.080.020.131.525.613.1760.21
tpdb-5.0/TRS/higher-order/Bird/Hamming.trs (XML format)0.470.136.9260.3360.2160.4560.20
tpdb-5.0/TRS/higher-order/Bird/TreeFlatten.trs (XML format)0.240.080.842.9060.2060.21
tpdb-5.0/TRS/higher-order/Bird/TreeHeight.trs (XML format)0.260.091.032.8344.3631.6760.20
tpdb-5.0/TRS/higher-order/Bird/TreeLevels.trs (XML format)0.430.141.783.8860.2060.21
tpdb-5.0/TRS/higher-order/Bird/TreeMap.trs (XML format)0.140.040.302.4048.0247.3160.25
tpdb-5.0/TRS/higher-order/Bird/TreeSize.trs (XML format)0.210.070.843.9239.5024.5860.24
tpdb-5.0/TRS/higher-order/Kusakari/Ex6_11.trs (XML format)0.090.030.112.4115.5758.803.405.7133.0517.63
tpdb-5.0/TRS/higher-order/Kusakari/Ex7_9.trs (XML format)59.052.656.8960.2160.21
tpdb-5.0/TRS/higher-order/Lifantsev/Ex10Functional.trs (XML format)59.030.734.0160.2060.3760.20
tpdb-5.0/TRS/higher-order/Lifantsev/Ex2PrimRec.trs (XML format)59.080.151.623.888.3760.27
tpdb-5.0/TRS/higher-order/Lifantsev/Ex3Lists.trs (XML format)0.290.090.532.7055.8611.9960.20
tpdb-5.0/TRS/higher-order/Lifantsev/Ex4MapList.trs (XML format)0.100.030.122.4729.0416.003.036.4160.29
tpdb-5.0/TRS/higher-order/Lifantsev/Ex5Sorting.trs (XML format)59.041.815.1160.2060.21
tpdb-5.0/TRS/higher-order/Lifantsev/Ex6Folding.trs (XML format)59.070.252.1117.1910.0660.21
tpdb-5.0/TRS/higher-order/Lifantsev/Ex7OrdinalRec.trs (XML format)59.070.372.9660.2160.21
tpdb-5.0/TRS/higher-order/Lifantsev/Ex8Polymorphic.trs (XML format)59.060.222.2234.7910.5260.23
tpdb-5.0/TRS/higher-order/Lifantsev/Ex9Maps.trs (XML format)59.060.634.0760.2560.2960.21
tpdb-5.0/TRS/higher-order/ToyamaRTA04/Ex5Folding.trs (XML format)59.050.862.5625.2024.8160.20
tpdb-5.0/TRS/higher-order/ToyamaRTA04/Ex6Recursor.trs (XML format)59.080.181.637.7514.5060.25
tpdb-5.0/TRS/higher-order/ToyamaRTA04/Ex7Sorting.trs (XML format)59.051.884.9460.2060.20
tpdb-5.0/TRS/HM/n002.trs (XML format)0.010.010.020.990.091.4260.20
tpdb-5.0/TRS/HM/n003.trs (XML format)0.020.010.020.930.091.4960.20
tpdb-5.0/TRS/HM/n004.trs (XML format)0.010.010.020.990.091.4660.20
tpdb-5.0/TRS/HM/n005.trs (XML format)0.020.010.020.980.091.8460.20
tpdb-5.0/TRS/HM/n006.trs (XML format)0.010.010.020.990.091.8460.20
tpdb-5.0/TRS/HM/n007.trs (XML format)0.020.010.031.100.161.5460.20
tpdb-5.0/TRS/HM/n008.trs (XML format)0.020.010.020.980.091.5860.22
tpdb-5.0/TRS/HM/t000.trs (XML format)0.500.171.270.337.1860.200.4960.204.4022.730.9517.79
tpdb-5.0/TRS/HM/t001.trs (XML format)59.041.300.0617.7560.212.7240.5628.1022.4644.2530.62
tpdb-5.0/TRS/HM/t002.trs (XML format)59.040.524.862.7727.0260.20
tpdb-5.0/TRS/HM/t003.trs (XML format)0.260.060.990.068.5515.330.4039.3215.0412.8127.3525.74
tpdb-5.0/TRS/HM/t004.trs (XML format)59.030.080.025.4449.0312.114.123.154.29
tpdb-5.0/TRS/HM/t005.trs (XML format)1.382.552.9023.8760.2023.047.9449.5360.20
tpdb-5.0/TRS/HM/t006.trs (XML format)0.020.010.050.012.067.230.134.041.903.820.133.09
tpdb-5.0/TRS/HM/t007.trs (XML format)0.060.020.010.011.663.210.103.222.464.620.253.52
tpdb-5.0/TRS/HM/t008.trs (XML format)59.030.180.022.8223.357.229.376.476.212.255.10
tpdb-5.0/TRS/HM/t009.trs (XML format)59.0459.0260.3360.2760.3660.20
tpdb-5.0/TRS/HM/t010.trs (XML format)0.030.010.010.011.643.130.103.132.214.310.233.49
tpdb-5.0/TRS/HM/t011.trs (XML format)0.030.010.040.022.024.090.144.032.015.330.223.44
tpdb-5.0/TRS/HM/t012.trs (XML format)0.160.040.250.043.6215.420.2615.176.036.020.875.34
tpdb-5.0/TRS/HM/t013.trs (XML format)0.150.030.350.032.946.460.216.252.697.330.885.21
tpdb-5.0/TRS/HM/t014.trs (XML format)0.360.040.450.044.158.520.308.108.689.3813.6811.14
tpdb-5.0/TRS/HofWald/1.trs (XML format)59.040.072.9960.201.2012.193.914.354.844.44
tpdb-5.0/TRS/HofWald/2.trs (XML format)59.030.062.7425.860.7610.043.974.433.194.20
tpdb-5.0/TRS/HofWald/3.trs (XML format)59.100.061.2711.163.454.032.623.90
tpdb-5.0/TRS/HofWald/4.trs (XML format)59.100.071.6234.2214.2960.28
tpdb-5.0/TRS/HofWald/5.trs (XML format)59.100.052.4311.360.275.632.913.852.143.65
tpdb-5.0/TRS/HofWald/6.trs (XML format)59.090.081.643.064.0360.28
tpdb-5.0/TRS/HofWald/7.trs (XML format)59.110.111.9317.3812.9060.24
tpdb-5.0/TRS/Koprowski/gcd_triple.trs (XML format)0.310.071.340.078.4717.4430.7860.2113.4418.6627.1225.79
tpdb-5.0/TRS/LJB01/jones1.trs (XML format)0.050.020.050.022.057.900.154.322.055.880.213.94
tpdb-5.0/TRS/LJB01/jones2.trs (XML format)0.050.020.071.430.3512.004.227.410.424.23
tpdb-5.0/TRS/LJB01/jones4.trs (XML format)0.030.010.050.022.054.490.144.721.924.710.143.78
tpdb-5.0/TRS/LJB01/jones5.trs (XML format)0.030.010.060.022.065.670.144.452.005.120.263.43
tpdb-5.0/TRS/LJB01/jones6.trs (XML format)0.090.020.120.022.455.210.185.342.115.950.374.96
tpdb-5.0/TRS/nontermin/AG01/#4.12a.trs (XML format)0.970.020.031.200.501.6060.19
tpdb-5.0/TRS/nontermin/AG01/#4.13.trs (XML format)59.050.031.190.221.5860.20
tpdb-5.0/TRS/nontermin/AG01/#4.14.trs (XML format)0.050.010.141.530.542.9160.27
tpdb-5.0/TRS/nontermin/AG01/#4.15.trs (XML format)0.080.020.572.120.704.2660.29
tpdb-5.0/TRS/nontermin/AG01/#4.16.trs (XML format)0.050.010.081.210.212.1760.20
tpdb-5.0/TRS/nontermin/AG01/#4.17.trs (XML format)0.120.020.238.2830.8960.2560.25
tpdb-5.0/TRS/nontermin/AG01/#4.18.trs (XML format)0.070.020.1660.2860.5360.25
tpdb-5.0/TRS/nontermin/AG01/#4.19.trs (XML format)59.070.182.011.673.7760.20
tpdb-5.0/TRS/nontermin/AG01/#4.20a.trs (XML format)0.070.020.040.022.224.260.164.262.874.650.423.82
tpdb-5.0/TRS/nontermin/AG01/#4.20.trs (XML format)0.050.010.010.011.923.530.133.522.243.820.283.56
tpdb-5.0/TRS/nontermin/AG01/#4.21.trs (XML format)0.070.020.020.022.554.130.164.113.255.140.644.16
tpdb-5.0/TRS/nontermin/AG01/#4.22.trs (XML format)0.070.020.121.665.5015.6160.25
tpdb-5.0/TRS/nontermin/AG01/#4.23.trs (XML format)0.140.030.352.7110.6418.2860.25
tpdb-5.0/TRS/nontermin/AG01/#4.25.trs (XML format)59.020.031.140.091.8160.20
tpdb-5.0/TRS/nontermin/AG01/#4.26.trs (XML format)59.030.202.571.678.8910.3212.169.51
tpdb-5.0/TRS/nontermin/AG01/#4.27.trs (XML format)59.040.270.034.0260.191.0417.207.417.2614.7911.13
tpdb-5.0/TRS/nontermin/AG01/#4.28.trs (XML format)59.030.160.022.6523.334.228.935.636.302.235.08
tpdb-5.0/TRS/nontermin/AG01/#4.29.trs (XML format)59.041.066.8843.8860.3060.23
tpdb-5.0/TRS/nontermin/AG01/#4.2.trs (XML format)0.060.020.121.581.353.6660.28
tpdb-5.0/TRS/nontermin/AG01/#4.30a.trs (XML format)59.030.523.8330.1760.2660.27
tpdb-5.0/TRS/nontermin/AG01/#4.30b.trs (XML format)59.050.683.433.548.2060.26
tpdb-5.0/TRS/nontermin/AG01/#4.30c.trs (XML format)59.050.563.296.2113.7760.26
tpdb-5.0/TRS/nontermin/AG01/#4.30.trs (XML format)59.060.595.484.9460.2660.24
tpdb-5.0/TRS/nontermin/AG01/#4.31.trs (XML format)59.030.135.8860.2713.806.1110.325.36
tpdb-5.0/TRS/nontermin/AG01/#4.32.trs (XML format)0.090.020.140.022.494.750.184.772.705.060.503.88
tpdb-5.0/TRS/nontermin/AG01/#4.33.trs (XML format)0.200.030.924.8360.191.2119.942.957.812.089.38
tpdb-5.0/TRS/nontermin/AG01/#4.34.trs (XML format)0.150.030.313.4330.770.6315.584.707.402.809.55
tpdb-5.0/TRS/nontermin/AG01/#4.35.trs (XML format)0.860.121.6560.4160.2260.4160.20
tpdb-5.0/TRS/nontermin/AG01/#4.36.trs (XML format)0.500.072.6020.8925.7038.5923.1524.8760.21
tpdb-5.0/TRS/nontermin/AG01/#4.37a.trs (XML format)0.180.020.190.023.355.320.225.052.696.950.584.44
tpdb-5.0/TRS/nontermin/AG01/#4.37.trs (XML format)0.140.020.160.022.604.690.224.522.645.110.583.89
tpdb-5.0/TRS/nontermin/AG01/#4.3.trs (XML format)1.890.021.100.181.5360.23
tpdb-5.0/TRS/nontermin/AG01/#4.4.trs (XML format)0.050.010.041.270.322.7560.20
tpdb-5.0/TRS/nontermin/AG01/#4.7.trs (XML format)0.240.010.063.2724.1460.2560.29
tpdb-5.0/TRS/nontermin/cariboo/ex1.trs (XML format)0.020.010.031.270.092.9860.20
tpdb-5.0/TRS/nontermin/cariboo/ex2.trs (XML format)0.020.010.031.200.092.1060.20
tpdb-5.0/TRS/nontermin/cariboo/ex3.trs (XML format)0.020.010.081.370.123.0960.20
tpdb-5.0/TRS/nontermin/cariboo/ex4.trs (XML format)0.060.010.031.090.314.1014.46
tpdb-5.0/TRS/nontermin/cariboo/ex5.trs (XML format)0.020.010.021.030.093.2060.20
tpdb-5.0/TRS/nontermin/cariboo/ex6.trs (XML format)0.090.020.071.320.394.1960.20
tpdb-5.0/TRS/nontermin/cariboo/tricky1.trs (XML format)0.080.020.020.032.915.460.185.358.635.0110.238.80
tpdb-5.0/TRS/nontermin/CSR/Ex1_2_AEL03.trs (XML format)0.020.030.715.250.3410.4860.25
tpdb-5.0/TRS/nontermin/CSR/Ex1_2_Luc02c.trs (XML format)0.020.010.041.260.092.1160.20
tpdb-5.0/TRS/nontermin/CSR/Ex14_AEGL02.trs (XML format)0.020.010.071.430.102.4760.27
tpdb-5.0/TRS/nontermin/CSR/Ex15_Luc98.trs (XML format)0.020.020.242.440.164.9260.20
tpdb-5.0/TRS/nontermin/CSR/Ex1_GL02a.trs (XML format)0.020.020.352.852.5860.2760.25
tpdb-5.0/TRS/nontermin/CSR/Ex1_GM03.trs (XML format)0.020.020.182.010.109.5960.29
tpdb-5.0/TRS/nontermin/CSR/Ex1_GM99.trs (XML format)0.050.010.031.140.171.4760.22
tpdb-5.0/TRS/nontermin/CSR/Ex1_Luc02b.trs (XML format)0.020.020.222.050.1060.2560.26
tpdb-5.0/TRS/nontermin/CSR/Ex1_Zan97.trs (XML format)0.050.010.031.090.352.9360.20
tpdb-5.0/TRS/nontermin/CSR/Ex24_GM04.trs (XML format)59.080.031.140.181.5160.20
tpdb-5.0/TRS/nontermin/CSR/Ex26_Luc03b.trs (XML format)0.020.030.725.820.1037.7060.30
tpdb-5.0/TRS/nontermin/CSR/Ex2_Luc03b.trs (XML format)0.020.020.342.833.0522.8060.24
tpdb-5.0/TRS/nontermin/CSR/Ex3_12_Luc96a.trs (XML format)0.020.020.081.490.0919.7360.26
tpdb-5.0/TRS/nontermin/CSR/Ex3_2_Luc97.trs (XML format)0.020.020.564.561.2160.2760.23
tpdb-5.0/TRS/nontermin/CSR/Ex3_3_25_Bor03.trs (XML format)0.020.020.453.740.1025.5260.28
tpdb-5.0/TRS/nontermin/CSR/Ex4_4_Luc96b.trs (XML format)0.020.010.081.320.112.1460.20
tpdb-5.0/TRS/nontermin/CSR/Ex4_7_15_Bor03.trs (XML format)0.070.010.051.314.812.4260.20
tpdb-5.0/TRS/nontermin/CSR/Ex4_7_37_Bor03.trs (XML format)0.020.030.735.700.1060.2760.24
tpdb-5.0/TRS/nontermin/CSR/Ex4_7_56_Bor03.trs (XML format)0.020.010.081.480.092.8460.20
tpdb-5.0/TRS/nontermin/CSR/Ex4_7_77_Bor03.trs (XML format)0.020.010.021.030.091.2060.20
tpdb-5.0/TRS/nontermin/CSR/Ex49_GM04.trs (XML format)0.160.030.400.044.018.280.297.995.526.9812.8610.48
tpdb-5.0/TRS/nontermin/CSR/Ex4_Zan97.trs (XML format)0.020.020.212.230.0960.2460.28
tpdb-5.0/TRS/nontermin/CSR/Ex5_7_Luc97.trs (XML format)0.020.041.4911.514.5260.3160.20
tpdb-5.0/TRS/nontermin/CSR/Ex5_Zan97.trs (XML format)0.020.010.031.150.092.0260.20
tpdb-5.0/TRS/nontermin/CSR/Ex6_15_AEL02.trs (XML format)0.020.042.0015.4812.5360.3160.20
tpdb-5.0/TRS/nontermin/CSR/Ex6_9_Luc02c.trs (XML format)0.020.010.051.260.094.0160.20
tpdb-5.0/TRS/nontermin/CSR/Ex6_GM04.trs (XML format)0.020.010.021.030.092.5960.20
tpdb-5.0/TRS/nontermin/CSR/Ex6_Luc98.trs (XML format)0.020.010.091.530.122.5860.19
tpdb-5.0/TRS/nontermin/CSR/Ex7_BLR02.trs (XML format)0.020.020.232.300.1060.2560.23
tpdb-5.0/TRS/nontermin/CSR/Ex8_BLR02.trs (XML format)0.020.020.242.720.1215.7260.28
tpdb-5.0/TRS/nontermin/CSR/Ex9_BLR02.trs (XML format)0.020.030.515.078.8960.2760.21
tpdb-5.0/TRS/nontermin/CSR/ExAppendixB_AEL03.trs (XML format)0.020.031.065.546.8317.3760.22
tpdb-5.0/TRS/nontermin/CSR/ExConc_Zan97.trs (XML format)0.020.010.020.980.092.2960.19
tpdb-5.0/TRS/nontermin/CSR/ExIntrod_GM01.trs (XML format)0.020.020.211.860.745.2160.23
tpdb-5.0/TRS/nontermin/CSR/ExIntrod_GM04.trs (XML format)0.020.020.191.760.094.2860.24
tpdb-5.0/TRS/nontermin/CSR/ExIntrod_GM99.trs (XML format)0.020.030.388.010.1260.2760.21
tpdb-5.0/TRS/nontermin/CSR/ExIntrod_Zan97.trs (XML format)0.020.020.323.020.1115.7260.24
tpdb-5.0/TRS/nontermin/HM/n001.trs (XML format)0.060.010.091.8117.247.9760.20
tpdb-5.0/TRS/nontermin/Rubio-inn/bn111.trs (XML format)59.030.051.250.802.3260.28
tpdb-5.0/TRS/nontermin/Rubio-inn/gkg.trs (XML format)0.050.010.041.190.091.6760.20
tpdb-5.0/TRS/nontermin/Rubio-inn/muladd.trs (XML format)0.070.010.111.314.903.6860.19
tpdb-5.0/TRS/nontermin/Rubio-inn/test10.trs (XML format)0.110.020.111.581.075.0560.20
tpdb-5.0/TRS/nontermin/Rubio-inn/test75.trs (XML format)0.290.020.041.160.302.1360.20
tpdb-5.0/TRS/nontermin/Rubio-inn/test76.trs (XML format)59.060.101.530.513.2960.20
tpdb-5.0/TRS/nontermin/Rubio-inn/test77.trs (XML format)59.040.101.580.554.4560.19
tpdb-5.0/TRS/nontermin/Rubio-inn/test830.trs (XML format)0.100.020.130.063.109.850.215.862.255.260.354.63
tpdb-5.0/TRS/nontermin/Rubio-inn/test9.trs (XML format)1.870.010.031.250.541.6960.20
tpdb-5.0/TRS/nontermin/Rubio-inn/toyama.trs (XML format)0.070.010.031.140.181.5560.20
tpdb-5.0/TRS/nontermin/TRCSR/ExSec11_1_Luc02a.trs (XML format)0.010.031.128.510.1060.2860.24
tpdb-5.0/TRS/Rubio/aoto.trs (XML format)0.060.020.080.022.6224.430.666.273.583.990.323.49
tpdb-5.0/TRS/Rubio/bintrees.trs (XML format)0.070.020.150.032.466.770.196.392.066.830.254.54
tpdb-5.0/TRS/Rubio/bn122.trs (XML format)0.030.010.130.022.385.040.175.382.005.420.373.66
tpdb-5.0/TRS/Rubio/bn129.trs (XML format)0.140.030.280.032.6511.261.466.513.327.231.587.88
tpdb-5.0/TRS/Rubio/division.trs (XML format)0.180.040.490.044.277.960.327.844.266.9012.6910.90
tpdb-5.0/TRS/Rubio/elimdupl.trs (XML format)0.180.040.460.044.3710.870.339.428.4112.1915.0517.37
tpdb-5.0/TRS/Rubio/enno.trs (XML format)0.240.061.050.078.6222.600.5120.3511.4127.3932.7741.39
tpdb-5.0/TRS/Rubio/gcd.trs (XML format)0.180.040.730.054.6511.220.3310.254.768.8920.5717.56
tpdb-5.0/TRS/Rubio/gmnp.trs (XML format)0.160.030.060.022.155.290.155.273.396.420.965.52
tpdb-5.0/TRS/Rubio/gm.trs (XML format)0.100.020.160.032.895.410.195.262.984.815.266.52
tpdb-5.0/TRS/Rubio/koen.trs (XML format)0.040.020.080.022.395.100.164.862.065.160.133.74
tpdb-5.0/TRS/Rubio/lescanne.trs (XML format)0.040.010.120.022.285.870.154.772.164.590.364.15
tpdb-5.0/TRS/Rubio/lindau.trs (XML format)0.080.020.072.6160.201.649.674.165.380.463.65
tpdb-5.0/TRS/Rubio/logarquot.trs (XML format)0.170.030.400.034.3410.320.316.1314.935.878.327.79
tpdb-5.0/TRS/Rubio/ma96.trs (XML format)0.620.111.5360.3960.2260.4460.20
tpdb-5.0/TRS/Rubio/mfp90b.trs (XML format)0.030.010.040.021.994.050.143.991.904.380.133.36
tpdb-5.0/TRS/Rubio/mfp95.trs (XML format)0.030.010.010.011.653.170.113.182.053.620.273.10
tpdb-5.0/TRS/Rubio/nestrec.trs (XML format)0.070.010.050.022.033.820.143.813.313.800.363.43
tpdb-5.0/TRS/Rubio/p266.trs (XML format)0.070.020.010.021.623.480.113.483.204.920.323.75
tpdb-5.0/TRS/Rubio/polo2.trs (XML format)0.370.090.355.7521.850.2920.6760.2860.21
tpdb-5.0/TRS/Rubio/prov.trs (XML format)0.060.020.060.022.455.120.164.932.574.563.245.06
tpdb-5.0/TRS/Rubio/quick.trs (XML format)0.350.073.5117.8744.2738.3460.3360.20
tpdb-5.0/TRS/Rubio/quotminus.trs (XML format)0.160.030.460.044.148.170.276.824.817.0410.3510.05
tpdb-5.0/TRS/Rubio/revlist.trs (XML format)0.160.030.240.033.226.960.256.834.477.298.309.24
tpdb-5.0/TRS/Rubio/selsort.trs (XML format)0.560.093.1335.3147.5047.5243.7560.20
tpdb-5.0/TRS/Rubio/test4.trs (XML format)0.210.020.130.022.284.850.2712.982.245.600.344.57
tpdb-5.0/TRS/Rubio/test829.trs (XML format)0.050.020.080.022.254.420.154.292.054.690.233.60
tpdb-5.0/TRS/Rubio/wst99.trs (XML format)0.570.091.220.087.0620.7119.9017.1820.1121.9443.8731.80
tpdb-5.0/TRS/SchneiderKamp/trs/cade01.trs (XML format)59.050.182.611.4460.2460.28
tpdb-5.0/TRS/SchneiderKamp/trs/cade03.trs (XML format)59.040.203.002.2260.2560.29
tpdb-5.0/TRS/SchneiderKamp/trs/cade04t.trs (XML format)59.040.151.671.2113.6160.25
tpdb-5.0/TRS/SchneiderKamp/trs/cade05t.trs (XML format)59.040.5721.517.3760.2860.25
tpdb-5.0/TRS/SchneiderKamp/trs/cade06.trs (XML format)59.060.333.162.2010.3260.27
tpdb-5.0/TRS/SchneiderKamp/trs/cade07.trs (XML format)59.070.272.253.246.9360.28
tpdb-5.0/TRS/SchneiderKamp/trs/cade08.trs (XML format)59.070.243.092.829.6860.25
tpdb-5.0/TRS/SchneiderKamp/trs/cade09.trs (XML format)59.040.363.277.4643.5360.24
tpdb-5.0/TRS/SchneiderKamp/trs/cade10.trs (XML format)59.060.372.703.0415.4760.23
tpdb-5.0/TRS/SchneiderKamp/trs/cade11.trs (XML format)59.070.171.731.405.1260.28
tpdb-5.0/TRS/SchneiderKamp/trs/cade12t.trs (XML format)59.040.8113.5537.3459.5860.28
tpdb-5.0/TRS/SchneiderKamp/trs/cade13t.trs (XML format)59.030.584.986.1533.7860.26
tpdb-5.0/TRS/SchneiderKamp/trs/cade14.trs (XML format)59.030.906.2210.3960.2960.24
tpdb-5.0/TRS/SchneiderKamp/trs/cade15.trs (XML format)59.031.3811.2551.1260.2960.21
tpdb-5.0/TRS/SchneiderKamp/trs/cade16.trs (XML format)59.050.383.373.4912.0660.25
tpdb-5.0/TRS/SchneiderKamp/trs/cade17.trs (XML format)59.031.4213.9854.2060.3160.24
tpdb-5.0/TRS/SchneiderKamp/trs/kabasci01.trs (XML format)59.0616.6952.1160.2155.4641.6150.8060.21
tpdb-5.0/TRS/SchneiderKamp/trs/kabasci02.trs (XML format)59.032.1215.2260.2060.4260.22
tpdb-5.0/TRS/SchneiderKamp/trs/kabasci03.trs (XML format)59.030.7347.7060.2560.3060.20
tpdb-5.0/TRS/SchneiderKamp/trs/kabasci04.trs (XML format)0.300.050.968.1125.8760.2860.21
tpdb-5.0/TRS/SchneiderKamp/trs/kabasci05.trs (XML format)59.031.179.9310.0660.3660.23
tpdb-5.0/TRS/SchneiderKamp/trs/kabasci06.trs (XML format)59.031.245.1860.2160.21
tpdb-5.0/TRS/SchneiderKamp/trs/otto01.trs (XML format)59.031.7760.3260.3460.20
tpdb-5.0/TRS/SchneiderKamp/trs/otto02.trs (XML format)59.031.1111.283.7860.4460.20
tpdb-5.0/TRS/SchneiderKamp/trs/otto03.trs (XML format)59.040.192.362.246.8460.29
tpdb-5.0/TRS/SchneiderKamp/trs/otto04.trs (XML format)59.031.6112.205.7860.2860.26
tpdb-5.0/TRS/SchneiderKamp/trs/otto05.trs (XML format)59.040.523.766.5060.2760.24
tpdb-5.0/TRS/SchneiderKamp/trs/otto06.trs (XML format)59.031.4341.7238.7560.3060.25
tpdb-5.0/TRS/SchneiderKamp/trs/otto07.trs (XML format)59.040.182.661.7560.2660.29
tpdb-5.0/TRS/SchneiderKamp/trs/otto08.trs (XML format)59.030.926.297.2318.1360.20
tpdb-5.0/TRS/SchneiderKamp/trs/otto09.trs (XML format)59.031.128.125.5331.0960.28
tpdb-5.0/TRS/SchneiderKamp/trs/otto10.trs (XML format)59.061.2510.4121.9260.2860.20
tpdb-5.0/TRS/SchneiderKamp/trs/otto11.trs (XML format)59.040.323.512.6531.1460.23
tpdb-5.0/TRS/SchneiderKamp/trs/otto12.trs (XML format)59.030.799.148.0958.6860.27
tpdb-5.0/TRS/SchneiderKamp/trs/otto13.trs (XML format)59.061.068.826.1925.9860.23
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann01.trs (XML format)59.030.634.047.8727.4260.27
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann02.trs (XML format)59.044.2829.5760.2360.3160.21
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann03.trs (XML format)59.030.495.317.7960.3160.24
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann04.trs (XML format)59.031.7460.2560.2160.3260.24
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann05.trs (XML format)59.030.322.7611.5213.4660.23
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann06.trs (XML format)59.031.0620.0660.2560.2760.25
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann07.trs (XML format)59.031.8912.7750.3760.2860.23
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann08.trs (XML format)59.030.313.252.3729.7940.7759.5526.44
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann09.trs (XML format)59.031.278.385.4760.2860.20
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann10.trs (XML format)59.030.463.5210.099.2111.7619.1815.01
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann11.trs (XML format)59.031.469.3745.4160.2760.25
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann12.trs (XML format)59.030.645.1114.4610.1411.3924.1518.78
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann13.trs (XML format)59.031.599.5360.2560.3360.21
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann14.trs (XML format)59.031.047.1646.7660.3060.27
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann15.trs (XML format)59.030.383.695.1010.2713.6215.9013.05
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann16.trs (XML format)59.031.079.8020.2360.3360.20
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann17.trs (XML format)59.040.687.5660.2760.2960.28
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann18.trs (XML format)59.042.4015.5460.2530.6359.2260.21
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann19.trs (XML format)59.030.4614.5447.1960.2860.25
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann20.trs (XML format)59.030.593.814.7032.5560.28
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann21.trs (XML format)59.043.4433.9744.8560.3460.20
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann22.trs (XML format)59.040.887.5129.1260.3060.27
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann23.trs (XML format)59.030.2660.2460.2660.29
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann24.trs (XML format)59.030.575.654.1239.8360.27
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann25.trs (XML format)59.030.353.812.7824.4060.23
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann26.trs (XML format)59.030.614.536.9346.3260.24
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann27.trs (XML format)59.040.152.301.544.8860.25
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann28.trs (XML format)59.030.594.205.1660.2760.25
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann29.trs (XML format)59.031.2710.9220.2760.3260.21
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann30.trs (XML format)59.044.2521.3343.8260.3560.20
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann31.trs (XML format)59.060.975.2820.1256.6760.25
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann32.trs (XML format)59.031.0960.3060.2160.3160.21
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann33.trs (XML format)59.030.5660.2660.2960.24
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann34.trs (XML format)59.030.683.4123.5916.5260.24
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann35.trs (XML format)59.041.628.2660.2260.21
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann36.trs (XML format)59.051.097.2123.6260.2760.28
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann37.trs (XML format)59.041.2360.2660.2860.23
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann38.trs (XML format)59.030.536.5411.6960.3160.24
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann39.trs (XML format)59.051.054.5760.2160.21
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann40.trs (XML format)59.020.091.381.466.1260.27
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann41.trs (XML format)59.040.5910.819.3260.2760.28
tpdb-5.0/TRS/SchneiderKamp/trs/wiehe01.trs (XML format)59.040.8660.5260.3760.23
tpdb-5.0/TRS/SchneiderKamp/trs/wiehe02.trs (XML format)59.042.7460.4060.2560.4260.20
tpdb-5.0/TRS/SchneiderKamp/trs/wiehe03.trs (XML format)59.033.2560.4060.2360.4460.20
tpdb-5.0/TRS/SchneiderKamp/trs/wiehe05.trs (XML format)59.041.2560.4860.4560.21
tpdb-5.0/TRS/SchneiderKamp/trs/wiehe06.trs (XML format)59.041.0860.4660.4060.24
tpdb-5.0/TRS/SchneiderKamp/trs/wiehe07.trs (XML format)59.041.2960.4660.2160.3760.21
tpdb-5.0/TRS/SchneiderKamp/trs/wiehe08.trs (XML format)59.041.4860.5560.3260.21
tpdb-5.0/TRS/SchneiderKamp/trs/wiehe09.trs (XML format)59.031.5260.4660.4060.21
tpdb-5.0/TRS/SchneiderKamp/trs/wiehe11.trs (XML format)59.034.4760.4660.4060.22
tpdb-5.0/TRS/SchneiderKamp/trs/wiehe12.trs (XML format)59.036.5860.7560.2160.3960.21
tpdb-5.0/TRS/secret05/aprove1.trs (XML format)59.031.064.4352.5110.9160.20
tpdb-5.0/TRS/secret05/aprove2.trs (XML format)59.030.735.4410.3260.3060.24
tpdb-5.0/TRS/secret05/aprove3.trs (XML format)59.040.3211.162.8313.0260.20
tpdb-5.0/TRS/secret05/aprove4.trs (XML format)59.030.475.002.1660.2760.24
tpdb-5.0/TRS/secret05/aprove5.trs (XML format)59.031.6211.0316.4660.2960.20
tpdb-5.0/TRS/secret05/cime1.trs (XML format)59.0459.0260.4160.2260.5460.20
tpdb-5.0/TRS/secret05/cime2.trs (XML format)59.030.254.5326.3116.915.7021.2460.20
tpdb-5.0/TRS/secret05/cime3.trs (XML format)59.031.095.2932.9760.2960.25
tpdb-5.0/TRS/secret05/cime4.trs (XML format)0.080.020.061.270.583.2460.20
tpdb-5.0/TRS/secret05/cime5.trs (XML format)2.970.3645.240.4938.7060.2046.1160.2060.4160.20
tpdb-5.0/TRS/secret05/matchbox1.trs (XML format)59.090.041.230.651.9660.20
tpdb-5.0/TRS/secret05/matchbox2.trs (XML format)59.090.072.2217.830.276.763.404.432.534.69
tpdb-5.0/TRS/secret05/teparla1.trs (XML format)59.090.1519.3246.6260.2560.29
tpdb-5.0/TRS/secret05/teparla2.trs (XML format)59.070.1311.6455.5460.2560.27
tpdb-5.0/TRS/secret05/teparla3.trs (XML format)59.060.123.5456.6060.2560.28
tpdb-5.0/TRS/secret05/tpa1.trs (XML format)59.040.649.9825.4321.4560.20
tpdb-5.0/TRS/secret05/tpa2.trs (XML format)59.050.460.044.0624.8811.599.2623.8112.03
tpdb-5.0/TRS/secret05/tpa3.trs (XML format)59.030.4813.3411.2847.7160.21
tpdb-5.0/TRS/secret05/tpa4.trs (XML format)59.030.4839.9015.9560.3460.22
tpdb-5.0/TRS/secret05/tpa5.trs (XML format)59.050.717.2650.4060.3160.24
tpdb-5.0/TRS/secret05/ttt1.trs (XML format)0.970.020.141.630.664.7460.25
tpdb-5.0/TRS/secret05/ttt2.trs (XML format)0.050.010.031.090.411.9460.19
tpdb-5.0/TRS/secret06/aprove/addList.trs (XML format)59.041.3160.4960.3560.20
tpdb-5.0/TRS/secret06/aprove/divExp.trs (XML format)59.030.413.362.9817.3560.20
tpdb-5.0/TRS/secret06/aprove/division.trs (XML format)59.030.754.376.1360.2760.29
tpdb-5.0/TRS/secret06/aprove/double.trs (XML format)59.030.885.445.8157.1160.23
tpdb-5.0/TRS/secret06/aprove/logarithm.trs (XML format)59.031.2410.8338.4960.2860.29
tpdb-5.0/TRS/secret06/aprove/nrOfNodes.trs (XML format)59.040.4460.3160.2460.3060.25
tpdb-5.0/TRS/secret06/aprove/reverse.trs (XML format)59.030.747.056.2060.3160.26
tpdb-5.0/TRS/secret06/aprove/sumList.trs (XML format)59.030.7160.2660.3160.20
tpdb-5.0/TRS/secret06/aprove/times.trs (XML format)59.030.8313.395.6260.3360.20
tpdb-5.0/TRS/secret06/aprove/toList.trs (XML format)59.040.6060.3860.2660.3560.21
tpdb-5.0/TRS/secret06/cime1.trs (XML format)59.030.604.114.4338.1860.21
tpdb-5.0/TRS/secret06/jambox/10.trs (XML format)59.020.175.1660.1940.8338.359.497.8713.697.20
tpdb-5.0/TRS/secret06/jambox/2.trs (XML format)59.030.364.1427.0760.303.137.190.734.66
tpdb-5.0/TRS/secret06/jambox/3.trs (XML format)59.031.1720.0360.2860.2760.25
tpdb-5.0/TRS/secret06/jambox/4.trs (XML format)59.030.233.3622.4117.199.196.126.054.095.55
tpdb-5.0/TRS/secret06/jambox/5.trs (XML format)59.070.204.6153.487.927.224.357.34
tpdb-5.0/TRS/secret06/jambox/6.trs (XML format)59.030.235.1060.193.2518.202.807.100.644.29
tpdb-5.0/TRS/secret06/jambox/7.trs (XML format)59.040.313.077.073.9117.922.344.452.654.27
tpdb-5.0/TRS/secret06/jambox/8.trs (XML format)59.020.214.2660.217.2327.772.875.840.524.02
tpdb-5.0/TRS/secret06/jambox/9.trs (XML format)59.030.263.9560.201.3514.502.656.185.947.66
tpdb-5.0/TRS/secret06/matchbox/gen-10.trs (XML format)59.070.314.6759.561.9917.5216.779.1911.997.88
tpdb-5.0/TRS/secret06/matchbox/gen-14.trs (XML format)59.060.193.8760.217.8860.2013.787.8620.299.77
tpdb-5.0/TRS/secret06/matchbox/gen-15.trs (XML format)59.060.300.043.7260.191.2817.6510.5310.7213.337.68
tpdb-5.0/TRS/secret06/matchbox/gen-17.trs (XML format)0.160.040.265.097.303.9421.429.329.4917.2911.35
tpdb-5.0/TRS/secret06/matchbox/gen-18.trs (XML format)59.060.122.400.6915.1712.0813.4115.499.06
tpdb-5.0/TRS/secret06/matchbox/gen-1.trs (XML format)0.130.030.114.5860.191.0416.413.218.070.794.57
tpdb-5.0/TRS/secret06/matchbox/gen-22.trs (XML format)59.070.649.5360.216.9354.6920.4214.3922.5015.21
tpdb-5.0/TRS/secret06/matchbox/gen-25.trs (XML format)59.070.177.0960.208.4960.2034.1313.4632.6212.43
tpdb-5.0/TRS/secret06/matchbox/gen-28.trs (XML format)59.040.232.0631.4812.3015.7418.3013.64
tpdb-5.0/TRS/secret06/matchbox/gen-9.trs (XML format)59.090.272.772.7624.1713.9216.8816.3010.85
tpdb-5.0/TRS/secret06/tpa01.trs (XML format)1.340.061.310.463.7560.20
tpdb-5.0/TRS/secret06/tpa02.trs (XML format)59.090.071.320.484.2360.19
tpdb-5.0/TRS/secret06/tpa03.trs (XML format)59.090.061.330.474.6960.19
tpdb-5.0/TRS/secret06/tpa04.trs (XML format)59.031.3060.2560.3160.22
tpdb-5.0/TRS/secret06/tpa05.trs (XML format)59.030.9160.5460.2960.23
tpdb-5.0/TRS/secret06/tpa06.trs (XML format)59.031.1460.5560.3660.24
tpdb-5.0/TRS/secret06/tpa07.trs (XML format)59.030.576.1310.7318.1060.22
tpdb-5.0/TRS/secret06/tpa08.trs (XML format)59.030.6960.3860.2960.23
tpdb-5.0/TRS/secret06/tpa09.trs (XML format)59.031.6360.4760.3460.20
tpdb-5.0/TRS/secret06/tpa10.trs (XML format)59.031.4215.8419.7450.0960.20
tpdb-5.0/TRS/secret07/aprove/aprove01.trs (XML format)59.031.5813.9020.3960.3260.20
tpdb-5.0/TRS/secret07/aprove/aprove02.trs (XML format)59.031.6916.3018.1660.3460.21
tpdb-5.0/TRS/secret07/aprove/aprove03.trs (XML format)59.033.9160.3360.2360.3460.20
tpdb-5.0/TRS/secret07/aprove/aprove04.trs (XML format)59.031.9216.6537.6060.3060.21
tpdb-5.0/TRS/secret07/aprove/aprove05.trs (XML format)59.030.849.0518.1051.3860.23
tpdb-5.0/TRS/secret07/aprove/aprove06.trs (XML format)59.032.6817.3527.0360.3360.27
tpdb-5.0/TRS/secret07/aprove/aprove07.trs (XML format)59.030.515.4717.8260.3260.19
tpdb-5.0/TRS/secret07/aprove/aprove08.trs (XML format)59.031.3424.1753.2356.1960.22
tpdb-5.0/TRS/secret07/aprove/aprove09.trs (XML format)59.031.2316.9125.9560.2860.22
tpdb-5.0/TRS/secret07/aprove/aprove10.trs (XML format)59.031.4212.5240.8756.1960.20
tpdb-5.0/TRS/secret07/cime/secret1.trs (XML format)0.590.121.6914.030.4728.2760.3360.22
tpdb-5.0/TRS/secret07/cime/secret2.trs (XML format)0.510.080.816.120.3860.2060.2760.23
tpdb-5.0/TRS/secret07/cime/secret3.trs (XML format)0.320.050.577.491.480.3425.5860.2560.23
tpdb-5.0/TRS/secret07/cime/secret4.trs (XML format)0.650.081.449.360.5260.1960.2760.25
tpdb-5.0/TRS/secret07/cime/secret5.trs (XML format)0.500.081.4910.694.5536.9060.2660.23
tpdb-5.0/TRS/secret07/others/dj.trs (XML format)0.070.020.070.022.174.650.168.065.004.560.353.84
tpdb-5.0/TRS/secret07/TTT2/1.trs (XML format)59.030.583.6938.4660.2760.28
tpdb-5.0/TRS/secret07/TTT2/2.trs (XML format)59.041.037.0330.5130.1560.26
tpdb-5.0/TRS/secret07/TTT2/3.trs (XML format)59.031.9323.9860.2860.3060.21
tpdb-5.0/TRS/secret07/TTT2/4.trs (XML format)59.041.077.6142.2360.2960.23
tpdb-5.0/TRS/secret07/TTT2/5.trs (XML format)59.0427.2460.3060.3560.27
tpdb-5.0/TRS/secret07/TTT2/6.trs (XML format)59.030.0960.3060.2960.5460.28
tpdb-5.0/TRS/secret07/TTT2/7.trs (XML format)59.060.2411.6760.2760.2760.25
tpdb-5.0/TRS/SK90/2.01.trs (XML format)0.050.020.170.032.655.580.175.802.226.050.605.67
tpdb-5.0/TRS/SK90/2.02.trs (XML format)0.050.020.190.032.565.180.6814.692.066.030.203.83
tpdb-5.0/TRS/SK90/2.03.trs (XML format)0.040.010.080.022.377.330.144.412.054.980.393.73
tpdb-5.0/TRS/SK90/2.04.trs (XML format)0.030.010.070.022.224.460.154.281.953.890.203.55
tpdb-5.0/TRS/SK90/2.05.trs (XML format)0.070.020.573.7326.4426.2360.26
tpdb-5.0/TRS/SK90/2.06.trs (XML format)0.060.020.290.033.4710.570.165.572.066.200.244.69
tpdb-5.0/TRS/SK90/2.07.trs (XML format)0.140.030.092.1711.710.1611.663.8614.0460.24
tpdb-5.0/TRS/SK90/2.08.trs (XML format)0.120.030.270.043.097.690.236.917.1910.2310.7311.52
tpdb-5.0/TRS/SK90/2.09.trs (XML format)0.030.010.080.022.007.800.134.001.954.050.303.90
tpdb-5.0/TRS/SK90/2.10.trs (XML format)0.100.030.210.032.215.480.185.812.356.830.564.93
tpdb-5.0/TRS/SK90/2.11.trs (XML format)0.030.020.090.022.224.780.164.702.026.100.244.42
tpdb-5.0/TRS/SK90/2.12.trs (XML format)0.140.030.343.529.370.2618.642.349.0160.24
tpdb-5.0/TRS/SK90/2.13.trs (XML format)0.040.020.160.022.478.800.174.942.246.350.835.16
tpdb-5.0/TRS/SK90/2.14.trs (XML format)0.130.030.260.033.3318.120.236.492.127.990.477.02
tpdb-5.0/TRS/SK90/2.15.trs (XML format)0.070.020.050.022.114.800.154.833.054.150.754.28
tpdb-5.0/TRS/SK90/2.16.trs (XML format)0.090.030.211.720.2114.4710.9260.25
tpdb-5.0/TRS/SK90/2.17.trs (XML format)0.080.020.100.022.874.880.184.712.064.580.553.80
tpdb-5.0/TRS/SK90/2.18.trs (XML format)0.070.020.102.385.600.1610.902.065.8860.24
tpdb-5.0/TRS/SK90/2.19.trs (XML format)0.100.030.272.490.2515.8712.6860.24
tpdb-5.0/TRS/SK90/2.20.trs (XML format)0.080.020.060.022.175.160.165.182.074.500.664.09
tpdb-5.0/TRS/SK90/2.21.trs (XML format)0.070.020.130.022.114.740.154.592.844.311.164.10
tpdb-5.0/TRS/SK90/2.22.trs (XML format)0.090.020.200.033.097.200.227.243.175.965.797.13
tpdb-5.0/TRS/SK90/2.23.trs (XML format)0.120.030.392.760.3221.3725.1660.25
tpdb-5.0/TRS/SK90/2.24.trs (XML format)0.040.010.060.022.114.270.154.312.083.750.633.35
tpdb-5.0/TRS/SK90/2.25.trs (XML format)0.080.020.171.960.1911.5510.6660.24
tpdb-5.0/TRS/SK90/2.26.trs (XML format)0.170.050.453.860.3318.8043.6060.22
tpdb-5.0/TRS/SK90/2.27.trs (XML format)0.120.040.314.820.2613.313.8514.253.2110.86
tpdb-5.0/TRS/SK90/2.28.trs (XML format)0.030.010.050.012.097.730.144.292.204.210.213.10
tpdb-5.0/TRS/SK90/2.29.trs (XML format)0.110.030.150.032.628.370.218.594.706.705.947.11
tpdb-5.0/TRS/SK90/2.30.trs (XML format)0.050.020.010.021.653.560.103.542.016.290.303.56
tpdb-5.0/TRS/SK90/2.31.trs (XML format)0.050.020.110.022.465.520.186.212.127.020.395.81
tpdb-5.0/TRS/SK90/2.32.trs (XML format)0.080.040.020.031.734.630.124.622.1710.140.816.06
tpdb-5.0/TRS/SK90/2.33.trs (XML format)0.060.020.060.022.238.700.144.931.964.580.324.02
tpdb-5.0/TRS/SK90/2.34.trs (XML format)0.080.020.080.022.264.940.175.212.348.430.405.26
tpdb-5.0/TRS/SK90/2.35.trs (XML format)0.050.020.070.022.104.720.154.632.127.400.594.27
tpdb-5.0/TRS/SK90/2.36.trs (XML format)0.030.020.120.022.339.160.154.671.954.850.213.77
tpdb-5.0/TRS/SK90/2.37.trs (XML format)0.030.010.050.022.065.050.154.711.964.450.263.18
tpdb-5.0/TRS/SK90/2.38.trs (XML format)0.050.020.060.022.289.160.144.742.065.290.384.89
tpdb-5.0/TRS/SK90/2.39.trs (XML format)0.080.020.150.032.467.400.206.442.4411.240.656.53
tpdb-5.0/TRS/SK90/2.40.trs (XML format)0.070.020.060.022.196.570.166.602.078.452.966.05
tpdb-5.0/TRS/SK90/2.41.trs (XML format)0.070.020.200.033.468.920.226.372.269.860.316.34
tpdb-5.0/TRS/SK90/2.42.trs (XML format)0.130.030.460.044.068.710.258.492.448.701.048.43
tpdb-5.0/TRS/SK90/2.43.trs (XML format)0.130.030.510.044.179.270.258.255.9011.807.5612.68
tpdb-5.0/TRS/SK90/2.44.trs (XML format)0.160.040.220.042.708.620.228.846.8211.962.9511.16
tpdb-5.0/TRS/SK90/2.45.trs (XML format)0.150.030.200.033.159.410.228.929.218.794.318.55
tpdb-5.0/TRS/SK90/2.46.trs (XML format)0.030.010.070.022.094.060.144.142.233.350.243.31
tpdb-5.0/TRS/SK90/2.47.trs (XML format)0.030.010.030.011.873.710.133.752.364.290.203.51
tpdb-5.0/TRS/SK90/2.48.trs (XML format)0.050.020.010.021.673.540.113.573.006.130.154.00
tpdb-5.0/TRS/SK90/2.49.trs (XML format)0.130.030.240.033.056.620.256.693.185.070.154.08
tpdb-5.0/TRS/SK90/2.50.trs (XML format)0.020.010.030.011.883.390.123.422.063.580.212.99
tpdb-5.0/TRS/SK90/2.51.trs (XML format)0.090.020.132.109.760.159.9960.2460.24
tpdb-5.0/TRS/SK90/2.52.trs (XML format)0.430.070.936.730.4650.7654.5060.24
tpdb-5.0/TRS/SK90/2.53.trs (XML format)0.030.010.040.022.034.230.144.352.074.930.293.55
tpdb-5.0/TRS/SK90/2.54.trs (XML format)0.030.010.030.011.933.750.133.752.004.380.203.35
tpdb-5.0/TRS/SK90/2.55.trs (XML format)0.030.010.030.011.947.240.143.852.004.670.223.38
tpdb-5.0/TRS/SK90/2.56.trs (XML format)0.020.010.010.021.673.380.113.391.955.460.133.35
tpdb-5.0/TRS/SK90/2.57.trs (XML format)0.040.010.010.021.663.780.113.722.064.340.293.23
tpdb-5.0/TRS/SK90/2.58.trs (XML format)0.030.020.010.021.673.360.164.752.015.390.363.84
tpdb-5.0/TRS/SK90/2.59.trs (XML format)0.050.010.030.011.998.660.133.822.393.491.203.56
tpdb-5.0/TRS/SK90/2.60.trs (XML format)0.040.020.010.021.693.790.113.772.073.870.313.14
tpdb-5.0/TRS/SK90/2.61.trs (XML format)0.150.040.410.043.3710.320.2810.632.6011.980.219.34
tpdb-5.0/TRS/SK90/4.01.trs (XML format)0.040.020.010.021.673.270.103.282.013.970.143.77
tpdb-5.0/TRS/SK90/4.02.trs (XML format)59.030.454.2444.4316.655.2127.2860.23
tpdb-5.0/TRS/SK90/4.03.trs (XML format)0.100.030.173.2712.820.2014.344.2211.7060.23
tpdb-5.0/TRS/SK90/4.04.trs (XML format)0.040.010.060.022.075.980.144.652.014.400.233.68
tpdb-5.0/TRS/SK90/4.05.trs (XML format)0.060.020.062.2810.370.1410.512.739.2260.25
tpdb-5.0/TRS/SK90/4.06.trs (XML format)0.070.020.191.772.0611.3960.28
tpdb-5.0/TRS/SK90/4.07.trs (XML format)0.050.020.050.022.087.680.144.332.004.640.223.58
tpdb-5.0/TRS/SK90/4.08.trs (XML format)0.020.010.040.011.983.730.123.701.903.660.213.51
tpdb-5.0/TRS/SK90/4.09.trs (XML format)0.090.030.152.4723.030.1916.734.0813.5560.25
tpdb-5.0/TRS/SK90/4.10.trs (XML format)0.110.030.162.9115.060.1713.453.8713.4660.28
tpdb-5.0/TRS/SK90/4.11.trs (XML format)0.030.010.080.022.244.470.154.391.914.410.233.48
tpdb-5.0/TRS/SK90/4.12.trs (XML format)0.040.020.070.022.174.080.154.062.125.140.323.48
tpdb-5.0/TRS/SK90/4.13.trs (XML format)59.030.090.023.1756.650.8813.555.925.755.465.18
tpdb-5.0/TRS/SK90/4.14.trs (XML format)0.150.040.373.5212.640.2719.812.8913.8060.26
tpdb-5.0/TRS/SK90/4.15.trs (XML format)0.030.010.030.021.927.710.124.362.025.280.213.54
tpdb-5.0/TRS/SK90/4.16.trs (XML format)0.080.030.160.032.575.530.185.432.557.170.434.67
tpdb-5.0/TRS/SK90/4.17.trs (XML format)59.040.150.023.0518.710.548.662.444.945.184.36
tpdb-5.0/TRS/SK90/4.18.trs (XML format)0.080.020.010.021.694.670.134.643.525.053.315.34
tpdb-5.0/TRS/SK90/4.19.trs (XML format)0.040.010.080.022.528.320.155.121.923.690.133.21
tpdb-5.0/TRS/SK90/4.20.trs (XML format)0.070.030.080.032.227.720.176.975.799.755.838.88
tpdb-5.0/TRS/SK90/4.21.trs (XML format)0.100.030.152.847.990.1913.133.049.8660.28
tpdb-5.0/TRS/SK90/4.22.trs (XML format)0.090.020.161.700.1913.3760.2760.24
tpdb-5.0/TRS/SK90/4.23.trs (XML format)0.090.030.092.301.490.1520.426.2960.24
tpdb-5.0/TRS/SK90/4.24.trs (XML format)0.140.030.252.438.8518.4522.8944.2818.33
tpdb-5.0/TRS/SK90/4.25.trs (XML format)0.050.020.050.022.117.490.144.382.065.810.394.04
tpdb-5.0/TRS/SK90/4.26.trs (XML format)0.170.030.250.033.056.610.196.162.8014.880.597.73
tpdb-5.0/TRS/SK90/4.27.trs (XML format)0.280.030.4260.252.979.081.366.08
tpdb-5.0/TRS/SK90/4.28.trs (XML format)0.210.040.860.055.8716.110.4915.872.8120.3414.4917.24
tpdb-5.0/TRS/SK90/4.29.trs (XML format)0.070.020.070.022.264.870.164.742.015.320.425.21
tpdb-5.0/TRS/SK90/4.30.trs (XML format)0.320.030.694.9860.201.4317.423.009.031.267.88
tpdb-5.0/TRS/SK90/4.31.trs (XML format)0.120.030.190.022.946.870.217.922.896.164.697.38
tpdb-5.0/TRS/SK90/4.32.trs (XML format)0.310.050.161.7916.665.777.220.976.17
tpdb-5.0/TRS/SK90/4.33.trs (XML format)0.020.010.040.011.943.450.133.502.273.500.133.01
tpdb-5.0/TRS/SK90/4.34.trs (XML format)0.050.010.051.406.6760.2960.25
tpdb-5.0/TRS/SK90/4.35.trs (XML format)0.050.010.010.011.643.130.103.132.343.230.273.06
tpdb-5.0/TRS/SK90/4.36.trs (XML format)0.040.010.010.011.683.070.103.052.283.180.273.07
tpdb-5.0/TRS/SK90/4.37.trs (XML format)0.020.010.010.011.592.950.102.962.073.460.132.99
tpdb-5.0/TRS/SK90/4.38.trs (XML format)0.040.020.190.022.565.720.155.072.118.010.364.34
tpdb-5.0/TRS/SK90/4.39.trs (XML format)0.030.010.050.022.113.930.143.931.953.550.233.12
tpdb-5.0/TRS/SK90/4.40.trs (XML format)0.310.020.081.371.993.2860.21
tpdb-5.0/TRS/SK90/4.41.trs (XML format)0.050.010.040.021.943.890.133.832.183.211.363.53
tpdb-5.0/TRS/SK90/4.42.trs (XML format)0.110.030.282.136.0460.2660.28
tpdb-5.0/TRS/SK90/4.43.trs (XML format)0.190.030.660.053.838.450.257.862.6210.610.578.58
tpdb-5.0/TRS/SK90/4.44.trs (XML format)0.090.020.010.022.514.510.164.433.256.010.343.75
tpdb-5.0/TRS/SK90/4.45.trs (XML format)0.020.010.020.011.947.150.123.801.853.870.133.29
tpdb-5.0/TRS/SK90/4.46.trs (XML format)0.050.010.010.011.673.570.103.102.223.750.243.48
tpdb-5.0/TRS/SK90/4.47.trs (XML format)0.200.030.020.031.698.630.148.512.968.340.604.22
tpdb-5.0/TRS/SK90/4.48.trs (XML format)0.040.020.070.022.044.780.145.122.015.460.133.60
tpdb-5.0/TRS/SK90/4.49.trs (XML format)0.010.010.071.320.522.8260.21
tpdb-5.0/TRS/SK90/4.50.trs (XML format)0.030.010.010.011.140.171.4660.20
tpdb-5.0/TRS/SK90/4.51.trs (XML format)0.120.020.090.022.4916.640.308.462.576.480.444.26
tpdb-5.0/TRS/SK90/4.52.trs (XML format)0.130.030.290.043.217.330.197.292.509.380.676.03
tpdb-5.0/TRS/SK90/4.53.trs (XML format)0.080.030.092.6110.000.179.527.759.1413.349.96
tpdb-5.0/TRS/SK90/4.54.trs (XML format)0.060.020.082.2960.2860.2660.29
tpdb-5.0/TRS/SK90/4.55.trs (XML format)1.160.021.040.091.4760.20
tpdb-5.0/TRS/SK90/4.56.trs (XML format)0.100.010.010.021.683.330.113.322.013.870.273.34
tpdb-5.0/TRS/SK90/4.57.trs (XML format)0.080.030.020.031.796.900.166.9916.5825.5719.9617.39
tpdb-5.0/TRS/SK90/4.59.trs (XML format)0.160.030.350.045.5410.420.3510.493.699.6810.5511.82
tpdb-5.0/TRS/SK90/4.60.trs (XML format)0.190.040.450.044.909.780.369.745.179.4711.2212.72
tpdb-5.0/TRS/SK90/4.61.trs (XML format)59.041.4060.5860.4060.21
tpdb-5.0/TRS/Ste92/hydra.trs (XML format)0.100.030.080.032.336.020.175.982.065.324.877.89
tpdb-5.0/TRS/Ste92/minsort.trs (XML format)59.031.0510.715.6960.3160.20
tpdb-5.0/TRS/Ste92/motivation.trs (XML format)0.080.020.070.022.117.830.144.162.385.000.573.93
tpdb-5.0/TRS/Ste92/perfect2.trs (XML format)0.220.060.920.068.2114.540.4039.9120.0615.7528.5026.48
tpdb-5.0/TRS/Ste92/perfect.trs (XML format)0.130.030.190.042.8010.440.229.2714.5711.749.4713.68
tpdb-5.0/TRS/Thiemann/div_notCeTermin.trs (XML format)59.045.1260.8360.3260.24
tpdb-5.0/TRS/Thiemann/div_notTermin.trs (XML format)59.036.0760.7660.3460.20
tpdb-5.0/TRS/Thiemann/factorial1.trs (XML format)59.030.705.1710.7860.2960.22
tpdb-5.0/TRS/Thiemann/factorial2.trs (XML format)59.030.587.076.8336.7760.24
tpdb-5.0/TRS/Thiemann/identity.trs (XML format)59.030.362.825.3160.2860.27
tpdb-5.0/TRS/Thiemann/logarithm.trs (XML format)59.031.7430.9760.2860.3060.23
tpdb-5.0/TRS/Thiemann/mapHard.trs (XML format)59.040.934.7252.429.7760.21
tpdb-5.0/TRS/Thiemann/modulo.trs (XML format)59.050.315.152.6515.8560.22
tpdb-5.0/TRS/Thiemann/nonterm.trs (XML format)0.100.030.3960.3160.3660.29
tpdb-5.0/TRS/Thiemann/quicksort.trs (XML format)59.032.0537.9338.6060.3360.20
tpdb-5.0/TRS/Thiemann/quot.trs (XML format)59.030.493.612.6260.2760.25
tpdb-5.0/TRS/Thiemann/sizeChange.trs (XML format)59.070.242.164.3111.0160.23
tpdb-5.0/TRS/Thiemann/tower_sizeChange.trs (XML format)59.030.574.832.2560.2760.26
tpdb-5.0/TRS/Thiemann/tower.trs (XML format)59.030.957.006.6060.3160.21
tpdb-5.0/TRS/TRCSR/Ex1_2_AEL03_C.trs (XML format)59.0459.0360.5160.2860.4660.21
tpdb-5.0/TRS/TRCSR/Ex1_2_AEL03_FR.trs (XML format)0.300.071.6012.5428.940.6739.9316.0126.4860.21
tpdb-5.0/TRS/TRCSR/Ex1_2_AEL03_GM.trs (XML format)59.034.649.3260.2160.3260.21
tpdb-5.0/TRS/TRCSR/Ex1_2_AEL03_iGM.trs (XML format)59.0328.1760.4760.2460.5260.21
tpdb-5.0/TRS/TRCSR/Ex1_2_AEL03_L.trs (XML format)0.010.030.010.880.090.902.61
tpdb-5.0/TRS/TRCSR/Ex1_2_AEL03_Z.trs (XML format)0.210.060.805.8327.110.5630.7511.3220.9460.21
tpdb-5.0/TRS/TRCSR/Ex1_2_Luc02c_C.trs (XML format)0.860.106.380.1635.3933.900.7322.854.2314.077.5223.97
tpdb-5.0/TRS/TRCSR/Ex1_2_Luc02c_FR.trs (XML format)0.100.030.093.5437.460.179.848.4110.8618.8612.62
tpdb-5.0/TRS/TRCSR/Ex1_2_Luc02c_GM.trs (XML format)59.030.194.5560.190.7814.2510.9313.1714.8810.14
tpdb-5.0/TRS/TRCSR/Ex1_2_Luc02c_iGM.trs (XML format)59.032.5827.5860.2118.3360.184.8415.113.5813.66
tpdb-5.0/TRS/TRCSR/Ex1_2_Luc02c_L.trs (XML format)0.020.010.010.010.860.090.890.193.22
tpdb-5.0/TRS/TRCSR/Ex1_2_Luc02c_Z.trs (XML format)0.060.020.010.031.674.120.124.142.409.470.875.72
tpdb-5.0/TRS/TRCSR/Ex14_AEGL02_C.trs (XML format)59.039.0228.7360.216.4442.0027.3137.7160.20
tpdb-5.0/TRS/TRCSR/Ex14_AEGL02_FR.trs (XML format)0.680.030.374.653.4860.3060.29
tpdb-5.0/TRS/TRCSR/Ex14_AEGL02_GM.trs (XML format)0.170.050.440.054.0610.270.7418.427.7610.7816.3013.87
tpdb-5.0/TRS/TRCSR/Ex14_AEGL02_iGM.trs (XML format)0.960.206.5223.5960.202.3241.036.1622.642.7515.09
tpdb-5.0/TRS/TRCSR/Ex14_AEGL02_L.trs (XML format)0.040.010.021.000.261.7560.21
tpdb-5.0/TRS/TRCSR/Ex14_AEGL02_Z.trs (XML format)0.080.030.101.532.4360.2860.24
tpdb-5.0/TRS/TRCSR/Ex14_Luc06_C.trs (XML format)59.035.0760.2960.3860.20
tpdb-5.0/TRS/TRCSR/Ex14_Luc06_FR.trs (XML format)0.050.020.051.301.022.3860.19
tpdb-5.0/TRS/TRCSR/Ex14_Luc06_GM.trs (XML format)0.190.030.262.603.604.4360.28
tpdb-5.0/TRS/TRCSR/Ex14_Luc06_iGM.trs (XML format)0.260.053.4812.3960.2860.3560.21
tpdb-5.0/TRS/TRCSR/Ex14_Luc06_L.trs (XML format)0.050.010.031.190.592.9060.20
tpdb-5.0/TRS/TRCSR/Ex14_Luc06_Z.trs (XML format)0.050.020.051.301.012.4860.20
tpdb-5.0/TRS/TRCSR/Ex15_Luc06_C.trs (XML format)59.032.537.7929.692.0715.867.2712.553.799.42
tpdb-5.0/TRS/TRCSR/Ex15_Luc06_FR.trs (XML format)0.130.030.050.022.165.740.154.994.129.010.705.50
tpdb-5.0/TRS/TRCSR/Ex15_Luc06_GM.trs (XML format)0.090.020.050.022.065.330.154.413.515.840.434.20
tpdb-5.0/TRS/TRCSR/Ex15_Luc06_iGM.trs (XML format)0.330.040.580.054.818.161.2312.334.777.610.815.08
tpdb-5.0/TRS/TRCSR/Ex15_Luc06_L.trs (XML format)0.010.010.010.980.301.216.48
tpdb-5.0/TRS/TRCSR/Ex15_Luc06_Z.trs (XML format)0.080.020.010.021.693.960.113.983.667.100.464.62
tpdb-5.0/TRS/TRCSR/Ex15_Luc98_C.trs (XML format)1.740.3721.940.4160.210.1234.7160.2036.1060.2160.20
tpdb-5.0/TRS/TRCSR/Ex15_Luc98_FR.trs (XML format)59.030.339.8160.3024.7829.2460.21
tpdb-5.0/TRS/TRCSR/Ex15_Luc98_GM.trs (XML format)0.310.070.850.094.8741.470.3024.323.5833.405.2329.67
tpdb-5.0/TRS/TRCSR/Ex15_Luc98_iGM.trs (XML format)2.290.4822.270.5133.7260.221.5060.2135.4760.2160.21
tpdb-5.0/TRS/TRCSR/Ex15_Luc98_L.trs (XML format)0.010.020.010.020.880.090.900.49
tpdb-5.0/TRS/TRCSR/Ex15_Luc98_Z.trs (XML format)0.200.070.246.6160.213.0941.1614.2733.6360.21
tpdb-5.0/TRS/TRCSR/Ex16_Luc06_C.trs (XML format)59.031.2160.2760.3560.26
tpdb-5.0/TRS/TRCSR/Ex16_Luc06_FR.trs (XML format)0.050.020.010.011.653.200.091.4460.19
tpdb-5.0/TRS/TRCSR/Ex16_Luc06_GM.trs (XML format)0.080.020.040.022.095.060.111.4760.19
tpdb-5.0/TRS/TRCSR/Ex16_Luc06_iGM.trs (XML format)59.030.532.712.337.7660.20
tpdb-5.0/TRS/TRCSR/Ex16_Luc06_L.trs (XML format)0.010.010.020.980.101.5960.20
tpdb-5.0/TRS/TRCSR/Ex16_Luc06_Z.trs (XML format)0.040.020.010.011.673.200.091.4260.20
tpdb-5.0/TRS/TRCSR/Ex18_Luc06_C.trs (XML format)2.140.051.200.067.3210.571.5915.748.4811.652.019.43
tpdb-5.0/TRS/TRCSR/Ex18_Luc06_FR.trs (XML format)0.050.020.050.022.064.640.154.492.554.670.243.97
tpdb-5.0/TRS/TRCSR/Ex18_Luc06_GM.trs (XML format)0.090.020.050.022.094.390.154.313.256.010.394.15
tpdb-5.0/TRS/TRCSR/Ex18_Luc06_iGM.trs (XML format)0.280.040.730.053.517.140.287.027.5210.812.337.61
tpdb-5.0/TRS/TRCSR/Ex18_Luc06_L.trs (XML format)0.020.010.010.011.673.020.103.002.033.420.122.96
tpdb-5.0/TRS/TRCSR/Ex18_Luc06_Z.trs (XML format)0.040.020.010.021.693.450.113.462.714.530.133.35
tpdb-5.0/TRS/TRCSR/Ex1_GL02a_C.trs (XML format)59.0315.1745.7260.2044.4260.2044.2549.2360.20
tpdb-5.0/TRS/TRCSR/Ex1_GL02a_FR.trs (XML format)59.030.6253.4333.0960.3560.24
tpdb-5.0/TRS/TRCSR/Ex1_GL02a_GM.trs (XML format)0.200.050.550.064.9419.900.3316.355.4411.1126.1623.49
tpdb-5.0/TRS/TRCSR/Ex1_GL02a_iGM.trs (XML format)2.950.4211.3645.5760.214.3860.208.1632.6760.28
tpdb-5.0/TRS/TRCSR/Ex1_GL02a_L.trs (XML format)0.010.020.031.040.091.2560.20
tpdb-5.0/TRS/TRCSR/Ex1_GL02a_Z.trs (XML format)59.030.7760.2660.3460.20
tpdb-5.0/TRS/TRCSR/Ex1_GM03_C.trs (XML format)59.0317.7160.3960.4760.21
tpdb-5.0/TRS/TRCSR/Ex1_GM03_FR.trs (XML format)59.031.536.1532.4660.3360.22
tpdb-5.0/TRS/TRCSR/Ex1_GM03_GM.trs (XML format)59.031.178.7060.2160.3160.21
tpdb-5.0/TRS/TRCSR/Ex1_GM03_iGM.trs (XML format)59.036.7960.7860.2660.9560.21
tpdb-5.0/TRS/TRCSR/Ex1_GM03_L.trs (XML format)0.010.020.010.840.090.900.51
tpdb-5.0/TRS/TRCSR/Ex1_GM03_Z.trs (XML format)0.010.020.222.410.1260.2760.24
tpdb-5.0/TRS/TRCSR/Ex1_GM99_C.trs (XML format)59.031.5860.2760.3360.20
tpdb-5.0/TRS/TRCSR/Ex1_GM99_FR.trs (XML format)0.220.020.031.140.222.1860.19
tpdb-5.0/TRS/TRCSR/Ex1_GM99_GM.trs (XML format)6.460.020.141.941.235.2960.29
tpdb-5.0/TRS/TRCSR/Ex1_GM99_iGM.trs (XML format)59.030.993.5315.6112.5460.24
tpdb-5.0/TRS/TRCSR/Ex1_GM99_L.trs (XML format)0.010.010.020.990.091.580.98
tpdb-5.0/TRS/TRCSR/Ex1_GM99_Z.trs (XML format)0.220.020.031.140.232.3460.20
tpdb-5.0/TRS/TRCSR/Ex1_Luc02b_C.trs (XML format)59.0315.5160.3260.3660.20
tpdb-5.0/TRS/TRCSR/Ex1_Luc02b_FR.trs (XML format)0.280.060.374.6518.9660.3060.29
tpdb-5.0/TRS/TRCSR/Ex1_Luc02b_GM.trs (XML format)59.031.084.8660.2160.3460.20
tpdb-5.0/TRS/TRCSR/Ex1_Luc02b_iGM.trs (XML format)59.035.3060.4660.3060.3760.21
tpdb-5.0/TRS/TRCSR/Ex1_Luc02b_L.trs (XML format)0.010.020.010.850.090.900.79
tpdb-5.0/TRS/TRCSR/Ex1_Luc02b_Z.trs (XML format)0.140.030.277.1529.7460.2760.30
tpdb-5.0/TRS/TRCSR/Ex1_Luc04b_C.trs (XML format)2.340.2813.2460.319.8046.7160.20
tpdb-5.0/TRS/TRCSR/Ex1_Luc04b_FR.trs (XML format)0.210.030.181.847.0960.2760.29
tpdb-5.0/TRS/TRCSR/Ex1_Luc04b_GM.trs (XML format)0.760.111.348.6360.265.9333.574.3927.15
tpdb-5.0/TRS/TRCSR/Ex1_Luc04b_iGM.trs (XML format)1.620.298.1460.3260.3017.4845.6560.21
tpdb-5.0/TRS/TRCSR/Ex1_Luc04b_L.trs (XML format)0.010.010.010.020.870.090.9060.20
tpdb-5.0/TRS/TRCSR/Ex1_Luc04b_Z.trs (XML format)0.010.020.242.030.1030.7460.25
tpdb-5.0/TRS/TRCSR/Ex1_Zan97_C.trs (XML format)59.031.355.0226.334.9015.247.659.981.659.47
tpdb-5.0/TRS/TRCSR/Ex1_Zan97_FR.trs (XML format)0.110.020.051.210.666.1560.29
tpdb-5.0/TRS/TRCSR/Ex1_Zan97_GM.trs (XML format)0.030.020.040.022.115.360.165.182.866.880.154.47
tpdb-5.0/TRS/TRCSR/Ex1_Zan97_iGM.trs (XML format)0.720.031.054.0822.720.5512.474.276.931.286.85
tpdb-5.0/TRS/TRCSR/Ex1_Zan97_L.trs (XML format)0.030.010.010.980.181.4213.41
tpdb-5.0/TRS/TRCSR/Ex1_Zan97_Z.trs (XML format)0.110.020.051.240.627.0860.28
tpdb-5.0/TRS/TRCSR/Ex23_Luc06_C.trs (XML format)2.700.082.460.0911.1615.794.0223.5611.6512.624.1415.13
tpdb-5.0/TRS/TRCSR/Ex23_Luc06_FR.trs (XML format)0.110.030.130.032.575.390.175.493.256.910.405.15
tpdb-5.0/TRS/TRCSR/Ex23_Luc06_GM.trs (XML format)0.110.020.130.022.184.830.164.764.106.850.404.37
tpdb-5.0/TRS/TRCSR/Ex23_Luc06_iGM.trs (XML format)0.370.061.200.076.4810.310.409.8923.9915.654.5111.40
tpdb-5.0/TRS/TRCSR/Ex23_Luc06_L.trs (XML format)0.020.010.010.011.562.920.112.922.073.310.123.28
tpdb-5.0/TRS/TRCSR/Ex23_Luc06_Z.trs (XML format)0.040.020.010.021.653.530.113.523.215.360.133.36
tpdb-5.0/TRS/TRCSR/Ex24_GM04_C.trs (XML format)59.042.1760.2960.3660.28
tpdb-5.0/TRS/TRCSR/Ex24_GM04_FR.trs (XML format)22.920.020.101.590.603.9760.20
tpdb-5.0/TRS/TRCSR/Ex24_GM04_GM.trs (XML format)59.030.091.560.504.2960.20
tpdb-5.0/TRS/TRCSR/Ex24_GM04_iGM.trs (XML format)59.031.254.673.8410.7760.20
tpdb-5.0/TRS/TRCSR/Ex24_GM04_L.trs (XML format)0.020.010.020.980.091.5260.20
tpdb-5.0/TRS/TRCSR/Ex24_GM04_Z.trs (XML format)0.110.020.061.270.553.8760.20
tpdb-5.0/TRS/TRCSR/Ex24_Luc06_C.trs (XML format)59.041.928.4745.0836.1021.3213.7717.533.4915.50
tpdb-5.0/TRS/TRCSR/Ex24_Luc06_FR.trs (XML format)0.080.010.051.200.352.0560.21
tpdb-5.0/TRS/TRCSR/Ex24_Luc06_GM.trs (XML format)0.100.020.101.630.542.0360.20
tpdb-5.0/TRS/TRCSR/Ex24_Luc06_iGM.trs (XML format)59.031.6260.2660.3160.3260.24
tpdb-5.0/TRS/TRCSR/Ex24_Luc06_L.trs (XML format)0.010.010.140.980.091.9960.20
tpdb-5.0/TRS/TRCSR/Ex24_Luc06_Z.trs (XML format)0.080.020.051.190.352.0960.20
tpdb-5.0/TRS/TRCSR/Ex25_Luc06_C.trs (XML format)0.420.064.770.1421.0023.410.8420.9810.3615.324.6721.34
tpdb-5.0/TRS/TRCSR/Ex25_Luc06_FR.trs (XML format)0.160.040.200.042.727.120.206.505.729.861.007.20
tpdb-5.0/TRS/TRCSR/Ex25_Luc06_GM.trs (XML format)0.170.040.170.042.997.380.196.895.5310.930.656.83
tpdb-5.0/TRS/TRCSR/Ex25_Luc06_iGM.trs (XML format)0.590.114.370.1515.0220.710.6116.9022.0316.134.7514.45
tpdb-5.0/TRS/TRCSR/Ex25_Luc06_L.trs (XML format)0.020.010.010.011.633.090.113.072.143.560.133.33
tpdb-5.0/TRS/TRCSR/Ex25_Luc06_Z.trs (XML format)0.090.030.080.032.295.860.185.724.298.750.164.79
tpdb-5.0/TRS/TRCSR/Ex26_Luc03b_C.trs (XML format)2.510.6330.630.5960.4651.1260.2144.6260.2360.22
tpdb-5.0/TRS/TRCSR/Ex26_Luc03b_FR.trs (XML format)59.030.565.9060.2560.3260.22
tpdb-5.0/TRS/TRCSR/Ex26_Luc03b_GM.trs (XML format)0.440.093.160.166.5223.873.5144.6116.2524.2960.21
tpdb-5.0/TRS/TRCSR/Ex26_Luc03b_iGM.trs (XML format)2.670.7429.960.7260.678.0060.2146.0535.3960.21
tpdb-5.0/TRS/TRCSR/Ex26_Luc03b_L.trs (XML format)0.060.020.010.021.693.850.113.842.198.940.185.11
tpdb-5.0/TRS/TRCSR/Ex26_Luc03b_Z.trs (XML format)0.580.120.4059.8660.2960.3560.22
tpdb-5.0/TRS/TRCSR/Ex2_Luc02a_C.trs (XML format)59.0440.0860.5351.3960.2260.4860.21
tpdb-5.0/TRS/TRCSR/Ex2_Luc02a_FR.trs (XML format)0.430.081.389.562.9735.7960.2760.21
tpdb-5.0/TRS/TRCSR/Ex2_Luc02a_GM.trs (XML format)59.032.2214.0115.9346.9060.3360.21
tpdb-5.0/TRS/TRCSR/Ex2_Luc02a_iGM.trs (XML format)59.0319.1860.3725.1860.2060.4260.21
tpdb-5.0/TRS/TRCSR/Ex2_Luc02a_L.trs (XML format)0.120.030.332.810.2916.7915.3960.26
tpdb-5.0/TRS/TRCSR/Ex2_Luc02a_Z.trs (XML format)0.170.040.686.1727.150.5725.5739.2960.25
tpdb-5.0/TRS/TRCSR/Ex2_Luc03b_C.trs (XML format)1.640.3620.660.3860.5927.3860.208.9437.7460.21
tpdb-5.0/TRS/TRCSR/Ex2_Luc03b_FR.trs (XML format)0.500.121.340.118.0223.080.2918.1115.1721.7632.7129.78
tpdb-5.0/TRS/TRCSR/Ex2_Luc03b_GM.trs (XML format)0.270.071.180.093.4315.560.2715.758.2912.3433.2327.93
tpdb-5.0/TRS/TRCSR/Ex2_Luc03b_iGM.trs (XML format)2.190.4514.420.3537.7760.201.2060.1924.6060.2260.21
tpdb-5.0/TRS/TRCSR/Ex2_Luc03b_L.trs (XML format)0.030.020.010.021.653.430.113.442.016.850.164.33
tpdb-5.0/TRS/TRCSR/Ex2_Luc03b_Z.trs (XML format)0.150.040.590.063.0912.100.2511.933.0418.003.2514.76
tpdb-5.0/TRS/TRCSR/Ex3_12_Luc96a_C.trs (XML format)59.038.5060.3060.3460.20
tpdb-5.0/TRS/TRCSR/Ex3_12_Luc96a_FR.trs (XML format)0.120.030.233.080.2213.5660.2960.24
tpdb-5.0/TRS/TRCSR/Ex3_12_Luc96a_GM.trs (XML format)59.030.422.8860.2160.3360.22
tpdb-5.0/TRS/TRCSR/Ex3_12_Luc96a_iGM.trs (XML format)59.032.9560.2960.3160.3460.21
tpdb-5.0/TRS/TRCSR/Ex3_12_Luc96a_L.trs (XML format)0.010.010.010.870.090.900.65
tpdb-5.0/TRS/TRCSR/Ex3_12_Luc96a_Z.trs (XML format)0.080.020.103.120.169.1660.2660.26
tpdb-5.0/TRS/TRCSR/Ex3_2_Luc97_C.trs (XML format)59.0419.6260.4260.2960.4060.20
tpdb-5.0/TRS/TRCSR/Ex3_2_Luc97_FR.trs (XML format)59.030.473.8860.2360.3160.21
tpdb-5.0/TRS/TRCSR/Ex3_2_Luc97_GM.trs (XML format)59.030.542.9060.2160.3460.22
tpdb-5.0/TRS/TRCSR/Ex3_2_Luc97_iGM.trs (XML format)59.0310.7360.4160.2960.3760.20
tpdb-5.0/TRS/TRCSR/Ex3_2_Luc97_L.trs (XML format)0.020.020.010.850.090.900.49
tpdb-5.0/TRS/TRCSR/Ex3_2_Luc97_Z.trs (XML format)59.030.403.4360.2460.3160.20
tpdb-5.0/TRS/TRCSR/Ex3_3_25_Bor03_C.trs (XML format)2.300.4424.020.4460.220.1234.8560.2143.3545.7160.21
tpdb-5.0/TRS/TRCSR/Ex3_3_25_Bor03_FR.trs (XML format)59.030.363.6360.2560.3160.20
tpdb-5.0/TRS/TRCSR/Ex3_3_25_Bor03_GM.trs (XML format)0.540.101.150.096.6621.310.3219.2210.7116.1060.21
tpdb-5.0/TRS/TRCSR/Ex3_3_25_Bor03_iGM.trs (XML format)1.990.4820.740.4959.0860.211.3760.1930.9929.0460.21
tpdb-5.0/TRS/TRCSR/Ex3_3_25_Bor03_L.trs (XML format)0.080.020.010.021.653.430.113.422.176.900.154.44
tpdb-5.0/TRS/TRCSR/Ex3_3_25_Bor03_Z.trs (XML format)0.020.040.673.740.1060.2860.24
tpdb-5.0/TRS/TRCSR/Ex4_4_Luc96b_C.trs (XML format)0.340.051.960.079.0115.670.5112.443.5415.052.2810.96
tpdb-5.0/TRS/TRCSR/Ex4_4_Luc96b_FR.trs (XML format)2.420.020.111.589.918.0060.22
tpdb-5.0/TRS/TRCSR/Ex4_4_Luc96b_GM.trs (XML format)0.120.020.100.023.016.070.205.093.405.156.036.22
tpdb-5.0/TRS/TRCSR/Ex4_4_Luc96b_iGM.trs (XML format)0.240.050.850.056.059.960.298.702.929.081.737.43
tpdb-5.0/TRS/TRCSR/Ex4_4_Luc96b_L.trs (XML format)0.020.010.020.011.873.380.123.412.013.420.122.97
tpdb-5.0/TRS/TRCSR/Ex4_4_Luc96b_Z.trs (XML format)0.070.020.091.492.663.3960.30
tpdb-5.0/TRS/TRCSR/Ex4_7_15_Bor03_C.trs (XML format)59.047.5634.6460.2130.6960.2021.6849.2760.21
tpdb-5.0/TRS/TRCSR/Ex4_7_15_Bor03_FR.trs (XML format)0.220.050.230.042.966.900.236.922.9511.650.747.16
tpdb-5.0/TRS/TRCSR/Ex4_7_15_Bor03_GM.trs (XML format)0.250.050.520.053.837.960.6213.933.2212.501.368.04
tpdb-5.0/TRS/TRCSR/Ex4_7_15_Bor03_iGM.trs (XML format)0.890.144.230.1522.4126.6421.1433.7815.8328.865.8417.93
tpdb-5.0/TRS/TRCSR/Ex4_7_15_Bor03_L.trs (XML format)0.070.020.010.022.374.120.154.082.615.020.323.67
tpdb-5.0/TRS/TRCSR/Ex4_7_15_Bor03_Z.trs (XML format)0.090.020.060.022.515.250.175.182.707.280.284.24
tpdb-5.0/TRS/TRCSR/Ex4_7_37_Bor03_C.trs (XML format)59.0342.4960.4560.2960.4660.22
tpdb-5.0/TRS/TRCSR/Ex4_7_37_Bor03_FR.trs (XML format)0.450.071.0910.4324.7160.3460.20
tpdb-5.0/TRS/TRCSR/Ex4_7_37_Bor03_GM.trs (XML format)59.034.9012.0560.2960.3360.22
tpdb-5.0/TRS/TRCSR/Ex4_7_37_Bor03_iGM.trs (XML format)59.0315.0961.2460.2960.4260.21
tpdb-5.0/TRS/TRCSR/Ex4_7_37_Bor03_L.trs (XML format)0.010.020.010.880.090.921.34
tpdb-5.0/TRS/TRCSR/Ex4_7_37_Bor03_Z.trs (XML format)0.270.061.0427.7632.9760.3360.21
tpdb-5.0/TRS/TRCSR/Ex4_7_56_Bor03_C.trs (XML format)59.038.2460.3360.3760.20
tpdb-5.0/TRS/TRCSR/Ex4_7_56_Bor03_FR.trs (XML format)0.110.030.210.033.327.520.2210.873.796.439.168.80
tpdb-5.0/TRS/TRCSR/Ex4_7_56_Bor03_GM.trs (XML format)59.030.352.7860.2129.1946.9955.6730.16
tpdb-5.0/TRS/TRCSR/Ex4_7_56_Bor03_iGM.trs (XML format)59.033.6450.1160.3060.3960.21
tpdb-5.0/TRS/TRCSR/Ex4_7_56_Bor03_L.trs (XML format)0.020.010.010.870.090.890.63
tpdb-5.0/TRS/TRCSR/Ex4_7_56_Bor03_Z.trs (XML format)0.080.020.060.022.235.590.165.352.944.9910.825.15
tpdb-5.0/TRS/TRCSR/Ex4_7_77_Bor03_C.trs (XML format)0.590.082.3113.8142.5038.0539.246.2826.643.9816.60
tpdb-5.0/TRS/TRCSR/Ex4_7_77_Bor03_FR.trs (XML format)0.040.020.010.011.623.480.113.482.075.960.143.69
tpdb-5.0/TRS/TRCSR/Ex4_7_77_Bor03_GM.trs (XML format)0.050.020.080.032.756.140.175.502.116.430.746.14
tpdb-5.0/TRS/TRCSR/Ex4_7_77_Bor03_iGM.trs (XML format)0.260.050.867.6550.101.2218.444.2418.392.5611.50
tpdb-5.0/TRS/TRCSR/Ex4_7_77_Bor03_L.trs (XML format)0.020.010.010.010.830.090.890.203.21
tpdb-5.0/TRS/TRCSR/Ex4_7_77_Bor03_Z.trs (XML format)0.040.020.010.011.653.480.113.492.075.950.143.70
tpdb-5.0/TRS/TRCSR/Ex49_GM04_C.trs (XML format)59.0416.4160.3660.3060.4760.22
tpdb-5.0/TRS/TRCSR/Ex49_GM04_FR.trs (XML format)59.030.8560.2560.2960.3560.21
tpdb-5.0/TRS/TRCSR/Ex49_GM04_GM.trs (XML format)0.810.111.350.087.3420.494.7749.2710.3415.6360.21
tpdb-5.0/TRS/TRCSR/Ex49_GM04_iGM.trs (XML format)2.580.4912.630.3451.5060.221.3760.2047.1549.6260.22
tpdb-5.0/TRS/TRCSR/Ex49_GM04_L.trs (XML format)0.020.010.010.880.090.890.49
tpdb-5.0/TRS/TRCSR/Ex49_GM04_Z.trs (XML format)0.250.060.640.067.7613.930.4113.5424.4714.7436.1925.87
tpdb-5.0/TRS/TRCSR/Ex4_DLMMU04_C.trs (XML format)59.0459.0360.5060.2660.4660.21
tpdb-5.0/TRS/TRCSR/Ex4_DLMMU04_FR.trs (XML format)0.470.068.0321.5160.2360.4160.20
tpdb-5.0/TRS/TRCSR/Ex4_DLMMU04_GM.trs (XML format)59.0313.3460.3360.2860.4160.21
tpdb-5.0/TRS/TRCSR/Ex4_DLMMU04_iGM.trs (XML format)59.0359.0360.4660.2660.4860.20
tpdb-5.0/TRS/TRCSR/Ex4_DLMMU04_L.trs (XML format)0.010.030.010.860.090.890.58
tpdb-5.0/TRS/TRCSR/Ex4_DLMMU04_Z.trs (XML format)0.440.066.4317.0334.2460.3860.21
tpdb-5.0/TRS/TRCSR/Ex4_Zan97_C.trs (XML format)59.0313.2660.3460.3860.21
tpdb-5.0/TRS/TRCSR/Ex4_Zan97_FR.trs (XML format)0.160.040.384.000.3117.9660.2960.26
tpdb-5.0/TRS/TRCSR/Ex4_Zan97_GM.trs (XML format)59.031.033.5160.2160.3360.21
tpdb-5.0/TRS/TRCSR/Ex4_Zan97_iGM.trs (XML format)59.035.0060.4660.3060.3760.20
tpdb-5.0/TRS/TRCSR/Ex4_Zan97_L.trs (XML format)0.010.020.010.870.090.900.85
tpdb-5.0/TRS/TRCSR/Ex4_Zan97_Z.trs (XML format)0.120.030.233.050.2213.2160.2660.24
tpdb-5.0/TRS/TRCSR/Ex5_7_Luc97_C.trs (XML format)59.0359.0260.5260.2760.4960.21
tpdb-5.0/TRS/TRCSR/Ex5_7_Luc97_FR.trs (XML format)59.031.8213.5831.8860.3560.20
tpdb-5.0/TRS/TRCSR/Ex5_7_Luc97_GM.trs (XML format)59.032.516.1060.2260.3060.21
tpdb-5.0/TRS/TRCSR/Ex5_7_Luc97_iGM.trs (XML format)59.0426.0360.5660.2560.5160.21
tpdb-5.0/TRS/TRCSR/Ex5_7_Luc97_L.trs (XML format)0.010.030.010.890.090.900.90
tpdb-5.0/TRS/TRCSR/Ex5_7_Luc97_Z.trs (XML format)59.031.7013.6134.1360.3260.22
tpdb-5.0/TRS/TRCSR/Ex5_DLMMU04_C.trs (XML format)6.240.8948.6860.6560.2936.7060.2160.21
tpdb-5.0/TRS/TRCSR/Ex5_DLMMU04_FR.trs (XML format)1.120.051.586.5260.2560.3460.29
tpdb-5.0/TRS/TRCSR/Ex5_DLMMU04_GM.trs (XML format)1.460.175.5820.7460.256.5751.1060.21
tpdb-5.0/TRS/TRCSR/Ex5_DLMMU04_iGM.trs (XML format)6.671.0729.0260.4360.2833.4460.2160.22
tpdb-5.0/TRS/TRCSR/Ex5_DLMMU04_L.trs (XML format)0.020.020.010.020.880.090.8960.20
tpdb-5.0/TRS/TRCSR/Ex5_DLMMU04_Z.trs (XML format)1.740.041.505.8418.9148.3760.28
tpdb-5.0/TRS/TRCSR/Ex5_Zan97_C.trs (XML format)0.920.113.2560.2910.1451.726.8924.39
tpdb-5.0/TRS/TRCSR/Ex5_Zan97_FR.trs (XML format)0.120.030.080.032.225.670.165.552.197.610.325.10
tpdb-5.0/TRS/TRCSR/Ex5_Zan97_GM.trs (XML format)0.280.050.602.7622.562.6715.501.079.20
tpdb-5.0/TRS/TRCSR/Ex5_Zan97_iGM.trs (XML format)0.650.101.7319.7856.097.3037.393.3520.98
tpdb-5.0/TRS/TRCSR/Ex5_Zan97_L.trs (XML format)0.020.010.010.010.870.090.8960.20
tpdb-5.0/TRS/TRCSR/Ex5_Zan97_Z.trs (XML format)0.040.020.060.022.125.150.165.112.117.850.154.08
tpdb-5.0/TRS/TRCSR/Ex6_15_AEL02_C.trs (XML format)59.0459.0360.4560.2760.9260.21
tpdb-5.0/TRS/TRCSR/Ex6_15_AEL02_FR.trs (XML format)59.033.2248.5318.9860.3560.20
tpdb-5.0/TRS/TRCSR/Ex6_15_AEL02_GM.trs (XML format)59.036.5416.1960.2760.3360.23
tpdb-5.0/TRS/TRCSR/Ex6_15_AEL02_iGM.trs (XML format)59.0442.0860.6460.2460.4760.21
tpdb-5.0/TRS/TRCSR/Ex6_15_AEL02_L.trs (XML format)0.020.030.010.850.090.900.96
tpdb-5.0/TRS/TRCSR/Ex6_15_AEL02_Z.trs (XML format)59.033.8460.3460.3560.21
tpdb-5.0/TRS/TRCSR/Ex6_9_Luc02c_C.trs (XML format)1.030.1311.520.2543.9657.011.0739.605.1719.5460.21
tpdb-5.0/TRS/TRCSR/Ex6_9_Luc02c_FR.trs (XML format)0.090.030.103.1145.210.4912.979.8112.0919.9310.40
tpdb-5.0/TRS/TRCSR/Ex6_9_Luc02c_GM.trs (XML format)59.030.507.6660.2110.1631.7216.8022.2641.1418.47
tpdb-5.0/TRS/TRCSR/Ex6_9_Luc02c_iGM.trs (XML format)59.034.8660.4660.2960.4260.21
tpdb-5.0/TRS/TRCSR/Ex6_9_Luc02c_L.trs (XML format)0.020.010.010.010.860.090.910.70
tpdb-5.0/TRS/TRCSR/Ex6_9_Luc02c_Z.trs (XML format)0.070.020.010.021.694.250.114.274.656.091.496.60
tpdb-5.0/TRS/TRCSR/Ex6_GM04_C.trs (XML format)1.060.050.770.054.949.011.7513.654.688.361.567.70
tpdb-5.0/TRS/TRCSR/Ex6_GM04_FR.trs (XML format)0.090.010.071.301.134.8760.28
tpdb-5.0/TRS/TRCSR/Ex6_GM04_GM.trs (XML format)0.040.020.010.021.683.570.113.572.815.790.143.76
tpdb-5.0/TRS/TRCSR/Ex6_GM04_iGM.trs (XML format)0.170.030.600.053.206.830.266.485.056.551.416.12
tpdb-5.0/TRS/TRCSR/Ex6_GM04_L.trs (XML format)0.020.010.010.011.752.960.102.962.043.240.133.10
tpdb-5.0/TRS/TRCSR/Ex6_GM04_Z.trs (XML format)0.090.010.071.251.145.7460.29
tpdb-5.0/TRS/TRCSR/Ex6_Luc98_C.trs (XML format)1.050.199.630.2139.0644.795.2249.119.7038.2460.21
tpdb-5.0/TRS/TRCSR/Ex6_Luc98_FR.trs (XML format)0.180.040.170.033.4110.161.3918.377.719.6712.8813.73
tpdb-5.0/TRS/TRCSR/Ex6_Luc98_GM.trs (XML format)0.260.060.550.052.898.270.219.543.167.4014.2312.64
tpdb-5.0/TRS/TRCSR/Ex6_Luc98_iGM.trs (XML format)0.690.164.740.1716.3528.800.6226.016.4628.3260.21
tpdb-5.0/TRS/TRCSR/Ex6_Luc98_L.trs (XML format)0.020.010.010.011.643.280.103.281.964.200.133.93
tpdb-5.0/TRS/TRCSR/Ex6_Luc98_Z.trs (XML format)0.070.030.090.032.417.140.187.022.3411.070.985.99
tpdb-5.0/TRS/TRCSR/Ex7_BLR02_C.trs (XML format)59.0326.3860.3960.4160.21
tpdb-5.0/TRS/TRCSR/Ex7_BLR02_FR.trs (XML format)0.250.060.394.0020.9660.3460.23
tpdb-5.0/TRS/TRCSR/Ex7_BLR02_GM.trs (XML format)59.032.155.8360.2260.3860.22
tpdb-5.0/TRS/TRCSR/Ex7_BLR02_iGM.trs (XML format)59.0310.0360.9060.2960.4160.21
tpdb-5.0/TRS/TRCSR/Ex7_BLR02_L.trs (XML format)0.020.020.200.880.090.890.88
tpdb-5.0/TRS/TRCSR/Ex7_BLR02_Z.trs (XML format)0.170.040.365.720.2815.5760.2960.25
tpdb-5.0/TRS/TRCSR/Ex8_BLR02_C.trs (XML format)59.0323.9060.7960.4360.21
tpdb-5.0/TRS/TRCSR/Ex8_BLR02_FR.trs (XML format)0.220.050.484.210.3623.7660.3360.20
tpdb-5.0/TRS/TRCSR/Ex8_BLR02_GM.trs (XML format)59.031.185.4260.2060.4860.21
tpdb-5.0/TRS/TRCSR/Ex8_BLR02_iGM.trs (XML format)59.038.2060.4660.2960.4060.21
tpdb-5.0/TRS/TRCSR/Ex8_BLR02_L.trs (XML format)0.010.020.010.840.090.891.28
tpdb-5.0/TRS/TRCSR/Ex8_BLR02_Z.trs (XML format)0.130.030.222.340.2515.0360.2760.24
tpdb-5.0/TRS/TRCSR/Ex9_BLR02_C.trs (XML format)2.220.4118.460.4260.230.1242.6460.2041.9248.4960.21
tpdb-5.0/TRS/TRCSR/Ex9_BLR02_FR.trs (XML format)59.030.364.2860.2560.3460.22
tpdb-5.0/TRS/TRCSR/Ex9_BLR02_GM.trs (XML format)0.860.172.040.117.3816.443.3518.8714.0418.0760.21
tpdb-5.0/TRS/TRCSR/Ex9_BLR02_iGM.trs (XML format)2.720.4615.550.4351.5760.2260.2740.5939.9960.21
tpdb-5.0/TRS/TRCSR/Ex9_BLR02_L.trs (XML format)0.060.020.010.021.673.560.113.552.136.240.154.67
tpdb-5.0/TRS/TRCSR/Ex9_BLR02_Z.trs (XML format)0.300.060.780.074.7312.3817.8912.3512.1716.5025.3620.37
tpdb-5.0/TRS/TRCSR/Ex9_Luc04_C.trs (XML format)59.031.6360.2860.3260.25
tpdb-5.0/TRS/TRCSR/Ex9_Luc04_FR.trs (XML format)0.070.010.031.140.211.9060.20
tpdb-5.0/TRS/TRCSR/Ex9_Luc04_GM.trs (XML format)23.380.020.121.475.3712.6860.27
tpdb-5.0/TRS/TRCSR/Ex9_Luc04_iGM.trs (XML format)59.030.673.048.9718.0560.21
tpdb-5.0/TRS/TRCSR/Ex9_Luc04_L.trs (XML format)0.040.010.020.980.151.3560.20
tpdb-5.0/TRS/TRCSR/Ex9_Luc04_Z.trs (XML format)0.070.010.031.150.211.9660.21
tpdb-5.0/TRS/TRCSR/Ex9_Luc06_C.trs (XML format)59.041.597.5444.231.2620.503.8913.572.9514.02
tpdb-5.0/TRS/TRCSR/Ex9_Luc06_FR.trs (XML format)0.130.020.071.190.514.3660.29
tpdb-5.0/TRS/TRCSR/Ex9_Luc06_GM.trs (XML format)0.080.020.100.032.516.240.196.372.1510.280.416.22
tpdb-5.0/TRS/TRCSR/Ex9_Luc06_iGM.trs (XML format)0.460.061.275.0245.821.1620.444.1419.372.1911.45
tpdb-5.0/TRS/TRCSR/Ex9_Luc06_L.trs (XML format)0.020.010.020.980.092.0160.21
tpdb-5.0/TRS/TRCSR/Ex9_Luc06_Z.trs (XML format)0.140.020.071.260.504.0760.28
tpdb-5.0/TRS/TRCSR/ExAppendixB_AEL03_C.trs (XML format)59.0459.0360.4560.2660.4460.21
tpdb-5.0/TRS/TRCSR/ExAppendixB_AEL03_FR.trs (XML format)0.300.072.0213.4128.0620.2238.1018.5331.4460.25
tpdb-5.0/TRS/TRCSR/ExAppendixB_AEL03_GM.trs (XML format)59.056.3713.2260.2360.3560.22
tpdb-5.0/TRS/TRCSR/ExAppendixB_AEL03_iGM.trs (XML format)59.0435.2260.4560.2360.5060.21
tpdb-5.0/TRS/TRCSR/ExAppendixB_AEL03_L.trs (XML format)0.020.040.010.850.090.883.37
tpdb-5.0/TRS/TRCSR/ExAppendixB_AEL03_Z.trs (XML format)0.270.071.817.7122.1718.3029.1719.1730.5160.21
tpdb-5.0/TRS/TRCSR/ExConc_Zan97_C.trs (XML format)0.260.052.150.0810.1116.280.5313.278.7313.802.9212.81
tpdb-5.0/TRS/TRCSR/ExConc_Zan97_FR.trs (XML format)0.090.020.050.022.215.290.155.003.537.370.414.65
tpdb-5.0/TRS/TRCSR/ExConc_Zan97_GM.trs (XML format)0.100.020.100.022.264.950.154.683.406.650.554.63
tpdb-5.0/TRS/TRCSR/ExConc_Zan97_iGM.trs (XML format)0.300.050.980.065.308.950.328.429.9811.622.998.85
tpdb-5.0/TRS/TRCSR/ExConc_Zan97_L.trs (XML format)0.020.010.010.011.642.880.102.882.013.200.122.93
tpdb-5.0/TRS/TRCSR/ExConc_Zan97_Z.trs (XML format)0.010.010.031.040.092.8760.19
tpdb-5.0/TRS/TRCSR/ExIntrod_GM01_C.trs (XML format)2.840.3617.5760.3360.2335.7860.2260.20
tpdb-5.0/TRS/TRCSR/ExIntrod_GM01_FR.trs (XML format)11.170.030.5510.8360.2960.3160.27
tpdb-5.0/TRS/TRCSR/ExIntrod_GM01_GM.trs (XML format)0.880.132.4713.7760.278.6644.5360.21
tpdb-5.0/TRS/TRCSR/ExIntrod_GM01_iGM.trs (XML format)2.610.3411.6460.3660.2823.8153.5760.20
tpdb-5.0/TRS/TRCSR/ExIntrod_GM01_L.trs (XML format)0.020.020.010.020.880.090.9060.20
tpdb-5.0/TRS/TRCSR/ExIntrod_GM01_Z.trs (XML format)0.530.030.4929.3560.3060.3260.25
tpdb-5.0/TRS/TRCSR/ExIntrod_GM04_C.trs (XML format)3.460.2812.6660.3110.8541.4860.21
tpdb-5.0/TRS/TRCSR/ExIntrod_GM04_FR.trs (XML format)0.350.040.6622.8360.2660.3160.25
tpdb-5.0/TRS/TRCSR/ExIntrod_GM04_GM.trs (XML format)0.420.070.830.075.3018.350.4113.803.6818.051.8416.58
tpdb-5.0/TRS/TRCSR/ExIntrod_GM04_iGM.trs (XML format)1.880.2510.3060.3260.2920.1549.4560.21
tpdb-5.0/TRS/TRCSR/ExIntrod_GM04_L.trs (XML format)0.010.010.010.020.870.090.890.47
tpdb-5.0/TRS/TRCSR/ExIntrod_GM04_Z.trs (XML format)0.250.040.6232.8060.2660.3360.25
tpdb-5.0/TRS/TRCSR/ExIntrod_GM99_C.trs (XML format)59.0358.9561.4360.2660.5460.21
tpdb-5.0/TRS/TRCSR/ExIntrod_GM99_FR.trs (XML format)59.030.4325.9960.2660.3460.20
tpdb-5.0/TRS/TRCSR/ExIntrod_GM99_GM.trs (XML format)59.032.0551.1960.2760.3660.21
tpdb-5.0/TRS/TRCSR/ExIntrod_GM99_iGM.trs (XML format)59.0317.7060.5460.2260.5160.20
tpdb-5.0/TRS/TRCSR/ExIntrod_GM99_L.trs (XML format)0.010.020.010.030.850.090.900.86
tpdb-5.0/TRS/TRCSR/ExIntrod_GM99_Z.trs (XML format)0.240.040.3157.0360.3360.2960.21
tpdb-5.0/TRS/TRCSR/ExIntrod_Zan97_C.trs (XML format)59.0435.3060.4560.2860.4660.21
tpdb-5.0/TRS/TRCSR/ExIntrod_Zan97_FR.trs (XML format)59.030.685.9540.0960.3560.21
tpdb-5.0/TRS/TRCSR/ExIntrod_Zan97_GM.trs (XML format)59.031.428.5760.2060.3260.21
tpdb-5.0/TRS/TRCSR/ExIntrod_Zan97_iGM.trs (XML format)59.0310.6660.6160.2660.4460.20
tpdb-5.0/TRS/TRCSR/ExIntrod_Zan97_L.trs (XML format)0.010.020.010.870.090.890.53
tpdb-5.0/TRS/TRCSR/ExIntrod_Zan97_Z.trs (XML format)0.010.030.383.570.1221.7660.23
tpdb-5.0/TRS/TRCSR/ExProp7_Luc06_C.trs (XML format)59.038.2931.1660.2122.2636.857.9929.9160.20
tpdb-5.0/TRS/TRCSR/ExProp7_Luc06_FR.trs (XML format)0.230.040.250.042.9721.480.6712.612.838.550.917.68
tpdb-5.0/TRS/TRCSR/ExProp7_Luc06_GM.trs (XML format)0.290.040.544.0924.601.1115.733.4117.661.268.15
tpdb-5.0/TRS/TRCSR/ExProp7_Luc06_iGM.trs (XML format)59.036.5220.1860.2045.4848.4218.6735.724.8517.79
tpdb-5.0/TRS/TRCSR/ExProp7_Luc06_L.trs (XML format)0.080.020.050.022.3410.450.346.362.464.790.253.69
tpdb-5.0/TRS/TRCSR/ExProp7_Luc06_Z.trs (XML format)0.110.020.060.022.4417.160.469.252.597.210.294.26
tpdb-5.0/TRS/TRCSR/ExSec11_1_Luc02a_C.trs (XML format)59.0445.6760.4446.5360.2060.5560.21
tpdb-5.0/TRS/TRCSR/ExSec11_1_Luc02a_FR.trs (XML format)0.510.091.8313.234.7644.0560.2960.22
tpdb-5.0/TRS/TRCSR/ExSec11_1_Luc02a_GM.trs (XML format)59.033.4916.6160.2560.3260.22
tpdb-5.0/TRS/TRCSR/ExSec11_1_Luc02a_iGM.trs (XML format)59.0431.3060.3927.4460.2060.4560.21
tpdb-5.0/TRS/TRCSR/ExSec11_1_Luc02a_L.trs (XML format)0.160.040.594.440.4021.7941.6660.30
tpdb-5.0/TRS/TRCSR/ExSec11_1_Luc02a_Z.trs (XML format)0.220.051.128.170.9932.0560.2760.22
tpdb-5.0/TRS/TRCSR/ExSec4_2_DLMMU04_C.trs (XML format)59.0459.0360.4660.2860.4360.22
tpdb-5.0/TRS/TRCSR/ExSec4_2_DLMMU04_FR.trs (XML format)0.210.050.435.240.7923.1160.3360.25
tpdb-5.0/TRS/TRCSR/ExSec4_2_DLMMU04_GM.trs (XML format)59.033.1613.1360.2660.3360.21
tpdb-5.0/TRS/TRCSR/ExSec4_2_DLMMU04_iGM.trs (XML format)59.0328.3160.4460.2760.5560.20
tpdb-5.0/TRS/TRCSR/ExSec4_2_DLMMU04_L.trs (XML format)0.020.030.010.850.090.851.44
tpdb-5.0/TRS/TRCSR/ExSec4_2_DLMMU04_Z.trs (XML format)0.170.050.3130.070.2515.9660.2960.20
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_complete_C.trs (XML format)59.0559.0460.4660.2760.4160.21
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_complete_FR.trs (XML format)59.0419.6960.3960.2660.5860.21
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_complete_GM.trs (XML format)14.101.3159.0248.4760.2660.2660.4360.21
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_complete_iGM.trs (XML format)59.0459.0560.6960.2160.4360.22
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_complete_L.trs (XML format)0.020.040.020.830.090.900.97
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_complete_noand_C.trs (XML format)59.0859.0860.4760.2560.3860.21
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_complete-noand_FR.trs (XML format)59.0455.7960.4360.2660.9660.22
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_complete_noand_GM.trs (XML format)31.732.7259.0360.6360.2760.8060.21
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_complete_noand_iGM.trs (XML format)59.0859.0860.4560.2160.5060.21
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_complete-noand_L.trs (XML format)0.020.060.020.840.090.890.82
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_complete-noand_Z.trs (XML format)59.0454.3449.9160.2661.0360.22
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_complete_Z.trs (XML format)59.0325.7060.3660.2661.1560.20
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_C.trs (XML format)59.0428.4360.4460.2960.3760.21
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_FR.trs (XML format)59.0315.4160.3060.2760.3160.21
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_GM.trs (XML format)1.330.153.850.1814.8550.1830.8560.215.1641.1460.21
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_iGM.trs (XML format)59.0329.9960.3660.2760.1860.2260.21
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_L.trs (XML format)0.020.020.010.880.090.900.51
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_C.trs (XML format)59.0459.0360.6160.2760.4960.20
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_FR.trs (XML format)59.034.4513.9441.0860.3360.25
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_GM.trs (XML format)2.040.2310.760.3730.5860.2021.5460.2020.3160.2060.21
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_iGM.trs (XML format)24.054.4259.0360.4860.2460.4960.20
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_L.trs (XML format)0.020.030.010.850.090.880.91
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_Z.trs (XML format)6.990.063.4611.4839.2060.2960.25
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_Z.trs (XML format)59.039.4036.6460.2760.3260.20
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_C.trs (XML format)59.048.7860.3260.4060.20
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_FR.trs (XML format)0.180.020.061.250.7860.2560.28
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_GM.trs (XML format)0.660.030.7116.7935.5160.2860.28
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_iGM.trs (XML format)59.037.4360.2960.2960.3260.28
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_L.trs (XML format)0.020.010.010.870.090.890.47
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_C.trs (XML format)59.0414.9160.3460.3660.20
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_FR.trs (XML format)0.130.020.101.609.0660.2660.28
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_GM.trs (XML format)0.480.031.2116.2360.2760.2960.29
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_iGM.trs (XML format)59.0313.9360.3060.3160.3760.21
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_L.trs (XML format)0.020.010.010.860.090.920.50
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_Z.trs (XML format)0.130.020.101.609.0360.2560.24
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_Z.trs (XML format)0.180.020.061.260.7760.2560.28
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_complete_C.trs (XML format)59.2859.1760.6260.2260.6060.22
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_complete_FR.trs (XML format)59.0524.4760.4260.2161.0360.21
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_complete_GM.trs (XML format)59.0542.5560.4460.2160.4760.20
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_complete_iGM.trs (XML format)59.0959.2560.4660.2160.5660.21
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_complete_L.trs (XML format)0.020.110.020.850.090.941.43
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_complete_noand_C.trs (XML format)59.0959.6860.5660.2160.5760.21
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_complete-noand_FR.trs (XML format)59.0959.0760.4360.2360.5060.21
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_complete_noand_GM.trs (XML format)59.0759.1960.4660.2260.5160.20
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_complete_noand_iGM.trs (XML format)59.1359.8661.1760.2260.5260.20
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_complete-noand_L.trs (XML format)0.020.220.050.890.090.942.24
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_complete-noand_Z.trs (XML format)59.0959.0760.4760.2360.4660.20
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_complete_Z.trs (XML format)59.0421.8760.4260.2260.4060.21
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nokinds_C.trs (XML format)59.0659.0660.4860.2460.6160.21
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nokinds_FR.trs (XML format)59.055.6660.3160.2160.5260.20
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nokinds_GM.trs (XML format)59.0413.6551.1660.2360.4960.20
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nokinds_iGM.trs (XML format)59.0559.0860.4660.2160.7060.21
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nokinds_L.trs (XML format)0.020.050.020.870.090.880.72
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nokinds_noand_C.trs (XML format)59.1359.1260.4760.2560.3660.20
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nokinds-noand_FR.trs (XML format)59.0517.3434.6060.2160.7460.21
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nokinds_noand_GM.trs (XML format)59.0530.0660.3760.2460.5960.21
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nokinds_noand_iGM.trs (XML format)59.0959.1660.4760.2260.4560.20
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nokinds-noand_L.trs (XML format)0.020.080.020.840.090.900.98
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nokinds-noand_Z.trs (XML format)59.0420.8931.8260.2160.5660.20
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nokinds_Z.trs (XML format)59.045.5160.2860.2260.4860.20
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nosorts_C.trs (XML format)59.0459.0360.4960.2560.4760.21
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nosorts_FR.trs (XML format)0.240.070.545.2935.9960.3360.21
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nosorts_GM.trs (XML format)59.033.2616.7460.2260.3560.22
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nosorts_iGM.trs (XML format)59.0443.5360.6960.2660.4460.20
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nosorts_L.trs (XML format)0.010.030.010.870.090.900.89
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nosorts_noand_C.trs (XML format)59.0659.0660.5960.2760.4060.21
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nosorts-noand_FR.trs (XML format)0.570.291.269.8160.2160.3560.21
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nosorts_noand_GM.trs (XML format)59.0410.5733.5760.2460.4460.21
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nosorts_noand_iGM.trs (XML format)59.0659.0760.4660.2360.4660.20
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nosorts-noand_L.trs (XML format)0.020.050.010.850.090.880.70
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nosorts-noand_Z.trs (XML format)0.470.260.926.0960.2360.3460.21
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nosorts_Z.trs (XML format)0.190.060.313.0344.7460.3260.20
tpdb-5.0/TRS/TRCSR/MYNAT_complete_C.trs (XML format)59.0659.0360.5260.2460.6360.20
tpdb-5.0/TRS/TRCSR/MYNAT_complete_FR.trs (XML format)59.035.9049.7660.2260.3960.21
tpdb-5.0/TRS/TRCSR/MYNAT_complete_GM.trs (XML format)59.037.6136.3160.2660.4060.20
tpdb-5.0/TRS/TRCSR/MYNAT_complete_iGM.trs (XML format)59.0459.0460.5760.2160.6660.20
tpdb-5.0/TRS/TRCSR/MYNAT_complete_L.trs (XML format)0.020.040.010.850.090.910.64
tpdb-5.0/TRS/TRCSR/MYNAT_complete_noand_C.trs (XML format)59.0759.0960.4960.2460.4360.21
tpdb-5.0/TRS/TRCSR/MYNAT_complete-noand_FR.trs (XML format)59.0413.6829.3960.2860.2560.4760.20
tpdb-5.0/TRS/TRCSR/MYNAT_complete_noand_GM.trs (XML format)59.0425.8960.6560.2560.4860.20
tpdb-5.0/TRS/TRCSR/MYNAT_complete_noand_iGM.trs (XML format)59.0659.0960.4860.2160.4760.21
tpdb-5.0/TRS/TRCSR/MYNAT_complete-noand_L.trs (XML format)0.020.060.020.870.090.891.18
tpdb-5.0/TRS/TRCSR/MYNAT_complete-noand_Z.trs (XML format)59.0313.9731.9860.2760.2360.4560.22
tpdb-5.0/TRS/TRCSR/MYNAT_complete_Z.trs (XML format)59.035.7538.8260.2160.4560.21
tpdb-5.0/TRS/TRCSR/MYNAT_nokinds_C.trs (XML format)59.0452.1960.4660.2760.5160.21
tpdb-5.0/TRS/TRCSR/MYNAT_nokinds_FR.trs (XML format)59.031.986.1760.2060.3260.21
tpdb-5.0/TRS/TRCSR/MYNAT_nokinds_GM.trs (XML format)59.033.2111.4260.2160.3560.21
tpdb-5.0/TRS/TRCSR/MYNAT_nokinds_iGM.trs (XML format)59.0321.3660.4860.2660.4660.21
tpdb-5.0/TRS/TRCSR/MYNAT_nokinds_L.trs (XML format)0.020.020.010.840.090.890.56
tpdb-5.0/TRS/TRCSR/MYNAT_nokinds_noand_C.trs (XML format)59.0559.0360.4860.2960.5260.21
tpdb-5.0/TRS/TRCSR/MYNAT_nokinds-noand_FR.trs (XML format)59.032.838.5860.2360.2230.9752.2260.20
tpdb-5.0/TRS/TRCSR/MYNAT_nokinds_noand_GM.trs (XML format)59.034.2237.5560.2360.4460.22
tpdb-5.0/TRS/TRCSR/MYNAT_nokinds_noand_iGM.trs (XML format)59.0459.0460.5160.2660.4960.21
tpdb-5.0/TRS/TRCSR/MYNAT_nokinds-noand_L.trs (XML format)0.010.030.011.030.090.840.62
tpdb-5.0/TRS/TRCSR/MYNAT_nokinds-noand_Z.trs (XML format)59.032.7512.1960.2160.2241.2660.2560.21
tpdb-5.0/TRS/TRCSR/MYNAT_nokinds_Z.trs (XML format)59.031.545.8960.2060.3460.21
tpdb-5.0/TRS/TRCSR/MYNAT_nosorts_C.trs (XML format)59.0311.0160.3134.8646.128.3442.8760.21
tpdb-5.0/TRS/TRCSR/MYNAT_nosorts_FR.trs (XML format)0.070.020.112.396.440.1912.192.068.1660.24
tpdb-5.0/TRS/TRCSR/MYNAT_nosorts_GM.trs (XML format)59.030.693.3524.922.5622.393.5533.3060.20
tpdb-5.0/TRS/TRCSR/MYNAT_nosorts_iGM.trs (XML format)59.033.8960.4060.305.7324.4660.21
tpdb-5.0/TRS/TRCSR/MYNAT_nosorts_L.trs (XML format)0.010.020.010.880.090.900.49
tpdb-5.0/TRS/TRCSR/MYNAT_nosorts_noand_C.trs (XML format)59.0435.5060.4029.3660.2060.21
tpdb-5.0/TRS/TRCSR/MYNAT_nosorts-noand_FR.trs (XML format)0.150.050.393.8414.5727.403.0026.5660.29
tpdb-5.0/TRS/TRCSR/MYNAT_nosorts_noand_GM.trs (XML format)59.031.267.8260.1960.217.5560.1960.22
tpdb-5.0/TRS/TRCSR/MYNAT_nosorts_noand_iGM.trs (XML format)59.0413.6061.1660.2538.4660.2060.21
tpdb-5.0/TRS/TRCSR/MYNAT_nosorts-noand_L.trs (XML format)0.010.020.010.870.090.900.52
tpdb-5.0/TRS/TRCSR/MYNAT_nosorts-noand_Z.trs (XML format)0.150.050.393.9414.5027.503.2426.7860.29
tpdb-5.0/TRS/TRCSR/MYNAT_nosorts_Z.trs (XML format)0.070.020.112.386.400.1912.122.077.3960.24
tpdb-5.0/TRS/TRCSR/OvConsOS_complete_C.trs (XML format)59.0559.0860.5160.2260.4360.21
tpdb-5.0/TRS/TRCSR/OvConsOS_complete_FR.trs (XML format)59.0331.8760.5360.2160.4060.21
tpdb-5.0/TRS/TRCSR/OvConsOS_complete_GM.trs (XML format)59.0459.0360.4560.2160.4460.21
tpdb-5.0/TRS/TRCSR/OvConsOS_complete_iGM.trs (XML format)59.0759.0660.5660.2260.6460.21
tpdb-5.0/TRS/TRCSR/OvConsOS_complete_L.trs (XML format)0.010.050.020.870.090.890.78
tpdb-5.0/TRS/TRCSR/OvConsOS_complete_noand_C.trs (XML format)59.1659.1460.4660.2460.5060.21
tpdb-5.0/TRS/TRCSR/OvConsOS_complete-noand_FR.trs (XML format)59.0459.0360.4860.2260.8160.20
tpdb-5.0/TRS/TRCSR/OvConsOS_complete_noand_GM.trs (XML format)20.1111.1759.0560.4560.2660.4660.20
tpdb-5.0/TRS/TRCSR/OvConsOS_complete_noand_iGM.trs (XML format)59.0959.1660.5260.2160.4860.20
tpdb-5.0/TRS/TRCSR/OvConsOS_complete-noand_L.trs (XML format)0.020.090.020.880.090.891.30
tpdb-5.0/TRS/TRCSR/OvConsOS_complete-noand_Z.trs (XML format)59.0459.0360.6160.2460.4160.21
tpdb-5.0/TRS/TRCSR/OvConsOS_complete_Z.trs (XML format)59.0446.9860.4960.2260.5860.21
tpdb-5.0/TRS/TRCSR/OvConsOS_nokinds_C.trs (XML format)59.0459.0260.4960.2660.7560.21
tpdb-5.0/TRS/TRCSR/OvConsOS_nokinds_FR.trs (XML format)59.038.1460.3060.2560.4360.21
tpdb-5.0/TRS/TRCSR/OvConsOS_nokinds_GM.trs (XML format)59.0317.3760.3860.2760.3860.20
tpdb-5.0/TRS/TRCSR/OvConsOS_nokinds_iGM.trs (XML format)59.0459.0360.6160.2360.4760.20
tpdb-5.0/TRS/TRCSR/OvConsOS_nokinds_L.trs (XML format)0.020.020.010.860.090.890.55
tpdb-5.0/TRS/TRCSR/OvConsOS_nokinds_noand_C.trs (XML format)59.0559.0460.6660.2660.7760.21
tpdb-5.0/TRS/TRCSR/OvConsOS_nokinds-noand_FR.trs (XML format)59.0318.0022.7260.2460.6860.21
tpdb-5.0/TRS/TRCSR/OvConsOS_nokinds_noand_GM.trs (XML format)3.221.2142.3557.9160.2460.2860.4360.21
tpdb-5.0/TRS/TRCSR/OvConsOS_nokinds_noand_iGM.trs (XML format)59.0459.0460.4760.2460.4660.21
tpdb-5.0/TRS/TRCSR/OvConsOS_nokinds-noand_L.trs (XML format)0.010.030.020.850.090.890.66
tpdb-5.0/TRS/TRCSR/OvConsOS_nokinds-noand_Z.trs (XML format)59.0312.8118.0260.2660.4660.21
tpdb-5.0/TRS/TRCSR/OvConsOS_nokinds_Z.trs (XML format)59.0310.1660.3160.2860.4260.21
tpdb-5.0/TRS/TRCSR/OvConsOS_nosorts_C.trs (XML format)59.0316.2960.3360.3560.21
tpdb-5.0/TRS/TRCSR/OvConsOS_nosorts_FR.trs (XML format)0.300.020.282.111.7360.2960.23
tpdb-5.0/TRS/TRCSR/OvConsOS_nosorts_GM.trs (XML format)0.460.031.7721.1755.5560.3160.25
tpdb-5.0/TRS/TRCSR/OvConsOS_nosorts_iGM.trs (XML format)59.0314.8960.3360.2860.4260.20
tpdb-5.0/TRS/TRCSR/OvConsOS_nosorts_L.trs (XML format)0.010.010.010.850.090.900.81
tpdb-5.0/TRS/TRCSR/OvConsOS_nosorts_noand_C.trs (XML format)59.0359.0260.4560.2960.4160.21
tpdb-5.0/TRS/TRCSR/OvConsOS_nosorts-noand_FR.trs (XML format)49.800.040.794.5927.9960.3060.23
tpdb-5.0/TRS/TRCSR/OvConsOS_nosorts_noand_GM.trs (XML format)2.180.063.0333.9660.2660.3660.22
tpdb-5.0/TRS/TRCSR/OvConsOS_nosorts_noand_iGM.trs (XML format)59.0359.0360.4060.2560.4960.21
tpdb-5.0/TRS/TRCSR/OvConsOS_nosorts-noand_L.trs (XML format)0.020.020.010.880.090.900.51
tpdb-5.0/TRS/TRCSR/OvConsOS_nosorts-noand_Z.trs (XML format)59.030.594.1927.5860.2760.24
tpdb-5.0/TRS/TRCSR/OvConsOS_nosorts_Z.trs (XML format)0.410.020.202.131.5360.2760.24
tpdb-5.0/TRS/TRCSR/PALINDROME_complete_C.trs (XML format)59.0559.0460.5260.2660.6560.21
tpdb-5.0/TRS/TRCSR/PALINDROME_complete_FR.trs (XML format)2.250.707.190.6134.3860.2123.5660.2059.3060.2360.21
tpdb-5.0/TRS/TRCSR/PALINDROME_complete_GM.trs (XML format)5.472.7649.371.8844.3460.2560.2360.4360.21
tpdb-5.0/TRS/TRCSR/PALINDROME_complete_iGM.trs (XML format)59.0659.0660.7660.2560.4160.21
tpdb-5.0/TRS/TRCSR/PALINDROME_complete_L.trs (XML format)0.020.040.020.850.090.890.76
tpdb-5.0/TRS/TRCSR/PALINDROME_complete_noand_C.trs (XML format)59.0859.1060.4560.2460.3260.21
tpdb-5.0/TRS/TRCSR/PALINDROME_complete-noand_FR.trs (XML format)2.651.5217.491.7860.250.1230.8660.2961.0360.21
tpdb-5.0/TRS/TRCSR/PALINDROME_complete_noand_GM.trs (XML format)10.186.6659.0460.3260.2660.4660.21
tpdb-5.0/TRS/TRCSR/PALINDROME_complete_noand_iGM.trs (XML format)59.0959.1260.4860.2260.4260.21
tpdb-5.0/TRS/TRCSR/PALINDROME_complete-noand_L.trs (XML format)0.020.062.7711.7560.2060.3160.25
tpdb-5.0/TRS/TRCSR/PALINDROME_complete-noand_Z.trs (XML format)2.781.4716.551.7255.7760.3027.3060.2960.4460.21
tpdb-5.0/TRS/TRCSR/PALINDROME_complete_Z.trs (XML format)3.150.787.670.5938.0660.202.1360.2060.8660.21
tpdb-5.0/TRS/TRCSR/PALINDROME_nokinds_C.trs (XML format)5.230.3321.630.4060.5345.4060.2110.0256.6960.21
tpdb-5.0/TRS/TRCSR/PALINDROME_nokinds_FR.trs (XML format)1.060.202.020.178.0043.840.5444.745.1233.6160.21
tpdb-5.0/TRS/TRCSR/PALINDROME_nokinds_GM.trs (XML format)1.810.203.340.229.8554.650.4340.574.5842.0260.21
tpdb-5.0/TRS/TRCSR/PALINDROME_nokinds_iGM.trs (XML format)2.440.2022.3360.5260.277.0628.3260.23
tpdb-5.0/TRS/TRCSR/PALINDROME_nokinds_L.trs (XML format)0.020.020.010.880.090.910.54
tpdb-5.0/TRS/TRCSR/PALINDROME_nokinds_noand_C.trs (XML format)31.221.2059.0360.4760.2654.2560.2160.21
tpdb-5.0/TRS/TRCSR/PALINDROME_nokinds-noand_FR.trs (XML format)1.780.232.340.2317.0960.211.0760.204.8337.7660.21
tpdb-5.0/TRS/TRCSR/PALINDROME_nokinds_noand_GM.trs (XML format)3.280.3114.030.5724.8460.221.2260.2323.0860.2160.21
tpdb-5.0/TRS/TRCSR/PALINDROME_nokinds_noand_iGM.trs (XML format)12.060.7659.0460.4960.2660.6060.21
tpdb-5.0/TRS/TRCSR/PALINDROME_nokinds-noand_L.trs (XML format)0.020.030.452.6143.637.9060.28
tpdb-5.0/TRS/TRCSR/PALINDROME_nokinds-noand_Z.trs (XML format)0.850.141.830.2115.8560.210.8059.037.0355.4260.22
tpdb-5.0/TRS/TRCSR/PALINDROME_nokinds_Z.trs (XML format)0.690.111.630.156.1842.200.5242.054.5328.1260.21
tpdb-5.0/TRS/TRCSR/PALINDROME_nosorts_C.trs (XML format)0.720.085.930.1525.8133.623.8940.907.2136.7260.21
tpdb-5.0/TRS/TRCSR/PALINDROME_nosorts_FR.trs (XML format)0.030.020.060.022.089.400.154.872.014.750.255.09
tpdb-5.0/TRS/TRCSR/PALINDROME_nosorts_GM.trs (XML format)0.410.060.330.053.7513.080.2413.392.9215.191.1311.92
tpdb-5.0/TRS/TRCSR/PALINDROME_nosorts_iGM.trs (XML format)0.490.073.3915.6157.434.0713.912.9721.10
tpdb-5.0/TRS/TRCSR/PALINDROME_nosorts_L.trs (XML format)0.020.010.010.870.090.890.49
tpdb-5.0/TRS/TRCSR/PALINDROME_nosorts_noand_C.trs (XML format)0.950.119.290.1937.2844.702.8147.627.0429.1460.21
tpdb-5.0/TRS/TRCSR/PALINDROME_nosorts-noand_FR.trs (XML format)0.070.030.070.022.115.170.155.152.127.030.295.72
tpdb-5.0/TRS/TRCSR/PALINDROME_nosorts_noand_GM.trs (XML format)0.530.090.540.065.0715.520.2514.133.4419.321.4614.95
tpdb-5.0/TRS/TRCSR/PALINDROME_nosorts_noand_iGM.trs (XML format)0.780.095.8320.7054.394.6017.582.4118.92
tpdb-5.0/TRS/TRCSR/PALINDROME_nosorts-noand_L.trs (XML format)0.050.020.070.032.128.780.154.892.065.720.255.16
tpdb-5.0/TRS/TRCSR/PALINDROME_nosorts-noand_Z.trs (XML format)0.070.030.070.022.169.920.155.142.117.050.265.72
tpdb-5.0/TRS/TRCSR/PALINDROME_nosorts_Z.trs (XML format)0.030.020.060.022.079.410.154.862.167.450.255.12
tpdb-5.0/TRS/TRCSR/PEANO_complete_C.trs (XML format)59.0459.0260.5360.2760.4660.21
tpdb-5.0/TRS/TRCSR/PEANO_complete_FR.trs (XML format)2.130.363.660.2611.6860.2254.7660.2330.2355.1060.20
tpdb-5.0/TRS/TRCSR/PEANO_complete_GM.trs (XML format)2.500.4612.880.5419.0360.2060.2742.7060.2360.22
tpdb-5.0/TRS/TRCSR/PEANO_complete_iGM.trs (XML format)13.864.3359.0360.4560.2860.5160.21
tpdb-5.0/TRS/TRCSR/PEANO_complete_L.trs (XML format)0.010.020.010.850.090.880.57
tpdb-5.0/TRS/TRCSR/PEANO_complete_noand_C.trs (XML format)59.0559.0460.4760.2660.4660.21
tpdb-5.0/TRS/TRCSR/PEANO_complete-noand_FR.trs (XML format)1.150.394.010.5718.6960.1927.3060.2331.8160.2460.20
tpdb-5.0/TRS/TRCSR/PEANO_complete_noand_GM.trs (XML format)2.210.9625.960.9544.5160.2460.2759.2960.2060.20
tpdb-5.0/TRS/TRCSR/PEANO_complete_noand_iGM.trs (XML format)56.6322.5959.0560.4760.2560.4660.21
tpdb-5.0/TRS/TRCSR/PEANO_complete-noand_L.trs (XML format)0.020.030.020.880.090.900.68
tpdb-5.0/TRS/TRCSR/PEANO_complete-noand_Z.trs (XML format)1.130.375.780.4812.0360.2048.0760.2045.5160.2560.21
tpdb-5.0/TRS/TRCSR/PEANO_complete_Z.trs (XML format)2.430.253.280.199.9754.9928.9160.2030.8455.3460.20
tpdb-5.0/TRS/TRCSR/PEANO_nokinds_C.trs (XML format)59.3422.1360.3460.4360.20
tpdb-5.0/TRS/TRCSR/PEANO_nokinds_FR.trs (XML format)0.360.081.300.103.7619.900.3220.4911.4416.1060.20
tpdb-5.0/TRS/TRCSR/PEANO_nokinds_GM.trs (XML format)0.820.182.560.1410.4530.7910.7033.3414.9626.3860.21
tpdb-5.0/TRS/TRCSR/PEANO_nokinds_iGM.trs (XML format)2.060.4514.8760.3760.2860.6260.21
tpdb-5.0/TRS/TRCSR/PEANO_nokinds_L.trs (XML format)0.020.020.010.870.090.910.52
tpdb-5.0/TRS/TRCSR/PEANO_nokinds_noand_C.trs (XML format)59.0457.2960.7560.2860.4560.21
tpdb-5.0/TRS/TRCSR/PEANO_nokinds-noand_FR.trs (XML format)0.560.141.450.145.6327.440.3528.5216.5623.8760.21
tpdb-5.0/TRS/TRCSR/PEANO_nokinds_noand_GM.trs (XML format)0.740.204.500.2113.5560.2013.2054.1324.2358.8760.21
tpdb-5.0/TRS/TRCSR/PEANO_nokinds_noand_iGM.trs (XML format)5.261.3359.0260.6760.2455.7360.2360.20
tpdb-5.0/TRS/TRCSR/PEANO_nokinds-noand_L.trs (XML format)0.010.020.010.840.090.890.86
tpdb-5.0/TRS/TRCSR/PEANO_nokinds-noand_Z.trs (XML format)0.320.090.810.107.3627.520.3324.6318.0325.5960.21
tpdb-5.0/TRS/TRCSR/PEANO_nokinds_Z.trs (XML format)0.300.070.740.093.7117.350.3117.579.0913.3460.20
tpdb-5.0/TRS/TRCSR/PEANO_nosorts_C.trs (XML format)1.190.114.920.1322.5631.293.0337.615.3123.1460.22
tpdb-5.0/TRS/TRCSR/PEANO_nosorts_FR.trs (XML format)0.040.020.040.021.998.310.144.532.065.720.234.15
tpdb-5.0/TRS/TRCSR/PEANO_nosorts_GM.trs (XML format)0.240.040.370.053.5510.140.219.442.6114.641.049.44
tpdb-5.0/TRS/TRCSR/PEANO_nosorts_iGM.trs (XML format)0.490.073.980.1414.4724.810.4619.063.5715.572.4716.58
tpdb-5.0/TRS/TRCSR/PEANO_nosorts_L.trs (XML format)0.020.010.010.880.090.900.47
tpdb-5.0/TRS/TRCSR/PEANO_nosorts_noand_C.trs (XML format)1.520.1311.280.2233.8758.8550.919.0050.0460.21
tpdb-5.0/TRS/TRCSR/PEANO_nosorts-noand_FR.trs (XML format)0.100.020.120.032.386.910.186.802.5112.990.365.26
tpdb-5.0/TRS/TRCSR/PEANO_nosorts_noand_GM.trs (XML format)0.450.070.430.063.3213.740.2615.443.6230.172.0816.64
tpdb-5.0/TRS/TRCSR/PEANO_nosorts_noand_iGM.trs (XML format)1.470.169.350.2428.6156.375.9260.215.6730.9760.21
tpdb-5.0/TRS/TRCSR/PEANO_nosorts-noand_L.trs (XML format)0.020.010.010.850.090.890.47
tpdb-5.0/TRS/TRCSR/PEANO_nosorts-noand_Z.trs (XML format)0.100.020.120.032.346.900.186.802.5513.050.345.26
tpdb-5.0/TRS/TRCSR/PEANO_nosorts_Z.trs (XML format)0.040.020.040.022.018.310.144.532.015.720.244.13
tpdb-5.0/TRS/various/02.trs (XML format)0.040.010.010.011.140.191.5360.22
tpdb-5.0/TRS/various/03.trs (XML format)0.050.020.020.021.200.262.1560.20
tpdb-5.0/TRS/various/04.trs (XML format)59.030.2518.9032.5631.7760.20
tpdb-5.0/TRS/various/05.trs (XML format)59.030.1814.9829.8422.5660.21
tpdb-5.0/TRS/various/06.trs (XML format)0.030.020.020.021.734.410.114.422.026.830.434.56
tpdb-5.0/TRS/various/07.trs (XML format)0.020.010.010.011.633.100.433.101.854.130.133.29
tpdb-5.0/TRS/various/08.trs (XML format)59.050.3947.4641.7660.2960.20
tpdb-5.0/TRS/various/09.trs (XML format)0.040.020.020.031.745.570.125.602.2823.960.998.30
tpdb-5.0/TRS/various/10.trs (XML format)0.490.073.2618.9660.215.9746.5921.5035.8060.21
tpdb-5.0/TRS/various/11.trs (XML format)59.070.051.280.362.7160.19
tpdb-5.0/TRS/various/12.trs (XML format)0.290.050.356.1814.692.792.398.9460.21
tpdb-5.0/TRS/various/13.trs (XML format)0.530.081.008.3221.874.709.8514.2560.20
tpdb-5.0/TRS/various/14.trs (XML format)2.590.269.3347.5360.2060.2728.9160.2460.21
tpdb-5.0/TRS/various/15.trs (XML format)59.030.060.023.8832.1560.3360.25
tpdb-5.0/TRS/various/18.trs (XML format)0.060.020.230.032.876.320.165.642.065.560.243.98
tpdb-5.0/TRS/various/19.trs (XML format)0.160.040.400.052.927.371.249.902.989.461.517.49
tpdb-5.0/TRS/various/20.trs (XML format)59.040.1060.3160.2960.574.024.01
tpdb-5.0/TRS/various/21.trs (XML format)0.430.091.110.134.4738.631.3757.542.8713.212.4212.02
tpdb-5.0/TRS/various/22.trs (XML format)0.060.020.060.022.374.760.165.012.894.153.314.42
tpdb-5.0/TRS/various/23.trs (XML format)0.080.020.170.032.215.430.166.092.116.690.244.23
tpdb-5.0/TRS/various/24.trs (XML format)0.360.030.490.034.406.020.245.754.366.770.545.58
tpdb-5.0/TRS/various/25.trs (XML format)0.050.020.020.021.993.930.133.912.074.880.363.68
tpdb-5.0/TRS/various/26.trs (XML format)0.090.020.080.022.248.220.154.562.575.980.854.36
tpdb-5.0/TRS/various/27.trs (XML format)0.030.010.020.011.643.080.103.081.903.600.202.99
tpdb-5.0/TRS/Waldmann/jwaprove1.trs (XML format)59.030.093.0240.2460.2560.30
tpdb-5.0/TRS/Waldmann/jwaprove2.trs (XML format)59.030.092.6630.0460.2660.28
tpdb-5.0/TRS/Waldmann/jwcime1.trs (XML format)59.070.103.6516.1942.2960.24
tpdb-5.0/TRS/Waldmann/jwcime2.trs (XML format)59.090.091.6918.8812.2760.30
tpdb-5.0/TRS/Waldmann/jwmatchb1.trs (XML format)59.030.062.6632.4060.252.603.98
tpdb-5.0/TRS/Waldmann/jwmatchb2.trs (XML format)59.030.062.9730.6360.242.843.99
tpdb-5.0/TRS/Waldmann/jwno1.trs (XML format)0.110.020.101.5725.368.5460.24
tpdb-5.0/TRS/Waldmann/jwno2.trs (XML format)59.090.091.604.8219.7160.26
tpdb-5.0/TRS/Waldmann/jwno3.trs (XML format)59.060.122.2523.714.9360.25
tpdb-5.0/TRS/Waldmann/jwno4.trs (XML format)0.100.020.071.613.883.9760.25
tpdb-5.0/TRS/Waldmann/jwno5.trs (XML format)59.090.091.613.283.4760.28
tpdb-5.0/TRS/Waldmann/jwno6.trs (XML format)0.090.020.071.634.642.1760.24
tpdb-5.0/TRS/Waldmann/jwno7.trs (XML format)59.070.101.808.3518.7560.24
tpdb-5.0/TRS/Waldmann/jwno8.trs (XML format)59.080.091.7921.025.2460.24
tpdb-5.0/TRS/Waldmann/jwno9.trs (XML format)0.220.020.101.7440.344.2460.29
tpdb-5.0/TRS/Waldmann/jwteparla1.trs (XML format)59.120.111.8046.4520.0560.29
tpdb-5.0/TRS/Waldmann/jwteparla2.trs (XML format)59.120.121.8748.8316.7260.29
tpdb-5.0/TRS/Waldmann/jwtpa1.trs (XML format)59.100.091.7538.9324.9560.28
tpdb-5.0/TRS/Waldmann/jwtpa2.trs (XML format)59.040.283.1560.201.4015.364.815.725.045.49
tpdb-5.0/TRS/Waldmann/jwttt.trs (XML format)59.040.250.033.2260.2119.2819.205.115.564.175.44
tpdb-5.0/TRS/Zantema06/beans.trs (XML format)59.060.630.0560.2860.3160.25
tpdb-5.0/TRS/Zantema06/gcdMinMax.trs (XML format)59.041.0511.1326.6035.3160.21
tpdb-5.0/TRS/Zantema06/gcd.trs (XML format)0.240.040.840.044.339.130.368.948.8510.0013.0611.36
tpdb-5.0/TRS/Zantema06/hydra.trs (XML format)59.030.8110.6532.6060.2860.26
tpdb-5.0/TRS/Zantema06/test1.trs (XML format)0.020.010.062.4822.770.297.762.294.270.233.18
tpdb-5.0/TRS/Zantema06/while2.trs (XML format)59.080.161.602.3055.1860.23
tpdb-5.0/TRS/Zantema06/while.trs (XML format)59.080.121.530.534.3260.25
tpdb-5.0/TRS/Zantema/jw01.trs (XML format)59.060.092.4121.320.397.463.193.972.243.77
tpdb-5.0/TRS/Zantema/jw02.trs (XML format)59.040.082.5924.794.247.713.594.193.284.10
tpdb-5.0/TRS/Zantema/jw03.trs (XML format)59.050.062.4020.680.496.803.354.482.584.21
tpdb-5.0/TRS/Zantema/jw04.trs (XML format)59.060.062.4321.110.567.003.414.432.764.16
tpdb-5.0/TRS/Zantema/jw05.trs (XML format)59.040.132.5521.733.677.673.544.132.834.15
tpdb-5.0/TRS/Zantema/jw06.trs (XML format)1.460.092.4221.170.417.083.403.932.703.74
tpdb-5.0/TRS/Zantema/jw07.trs (XML format)59.050.060.022.7960.181.1212.404.604.914.654.41
tpdb-5.0/TRS/Zantema/jw08.trs (XML format)59.030.093.0960.1931.3217.575.355.585.794.98
tpdb-5.0/TRS/Zantema/jw09.trs (XML format)59.060.081.7938.464.585.564.474.84
tpdb-5.0/TRS/Zantema/jw11.trs (XML format)0.070.020.060.023.0860.193.3616.764.765.035.114.55
tpdb-5.0/TRS/Zantema/jw12.trs (XML format)0.070.020.060.023.1060.2024.8514.134.985.146.825.39
tpdb-5.0/TRS/Zantema/jw13.trs (XML format)59.020.070.022.6936.660.7110.064.825.134.854.57
tpdb-5.0/TRS/Zantema/jw14.trs (XML format)0.050.020.020.022.9133.330.699.464.455.154.684.59
tpdb-5.0/TRS/Zantema/jw15.trs (XML format)59.040.072.6960.197.6460.194.095.213.835.37
tpdb-5.0/TRS/Zantema/jw16.trs (XML format)59.060.102.4553.270.9510.523.654.312.713.84
tpdb-5.0/TRS/Zantema/jw17.trs (XML format)59.040.102.7155.9717.8510.154.264.213.794.21
tpdb-5.0/TRS/Zantema/jw18.trs (XML format)59.040.122.3829.810.457.923.224.082.623.80
tpdb-5.0/TRS/Zantema/jw19.trs (XML format)59.040.092.6152.253.5112.505.055.584.204.53
tpdb-5.0/TRS/Zantema/jw20.trs (XML format)59.060.062.4460.191.5711.764.545.904.575.36
tpdb-5.0/TRS/Zantema/jw21.trs (XML format)59.040.112.4733.180.788.463.713.843.243.72
tpdb-5.0/TRS/Zantema/jw22.trs (XML format)59.040.102.6634.389.578.474.294.344.104.17
tpdb-5.0/TRS/Zantema/jw23.trs (XML format)59.040.092.4132.000.847.894.195.133.094.52
tpdb-5.0/TRS/Zantema/jw24.trs (XML format)59.050.072.4451.871.079.614.476.423.745.51
tpdb-5.0/TRS/Zantema/jw25.trs (XML format)59.050.062.4154.081.0510.173.834.803.925.45
tpdb-5.0/TRS/Zantema/jw26.trs (XML format)59.040.072.4133.190.828.093.954.803.314.51
tpdb-5.0/TRS/Zantema/jw27.trs (XML format)59.040.162.7336.728.738.804.104.214.134.16
tpdb-5.0/TRS/Zantema/jw28.trs (XML format)59.040.092.4032.560.728.273.483.863.063.75
tpdb-5.0/TRS/Zantema/jw29.trs (XML format)59.060.062.8060.191.2712.734.755.884.865.81
tpdb-5.0/TRS/Zantema/jw30.trs (XML format)59.050.112.6355.191.8013.154.725.433.894.49
tpdb-5.0/TRS/Zantema/jw31.trs (XML format)59.040.072.4427.130.458.273.174.332.123.73
tpdb-5.0/TRS/Zantema/jw32.trs (XML format)59.040.132.6754.7717.8511.064.114.234.044.21
tpdb-5.0/TRS/Zantema/jw33.trs (XML format)59.060.102.4952.990.9610.223.494.092.663.84
tpdb-5.0/TRS/Zantema/jw34.trs (XML format)59.040.072.7060.198.5860.204.736.215.536.09
tpdb-5.0/TRS/Zantema/jw35.trs (XML format)0.060.020.020.022.6539.710.6410.464.605.315.225.19
tpdb-5.0/TRS/Zantema/jw36.trs (XML format)59.030.080.022.7037.320.6610.714.835.694.544.63
tpdb-5.0/TRS/Zantema/jw37.trs (XML format)0.250.020.060.023.1460.1927.6215.034.315.024.854.50
tpdb-5.0/TRS/Zantema/jw38.trs (XML format)0.080.020.060.023.0560.205.6918.864.685.334.534.56
tpdb-5.0/TRS/Zantema/jw39.trs (XML format)59.060.142.7960.181.2711.663.854.344.524.43
tpdb-5.0/TRS/Zantema/jw40.trs (XML format)59.060.082.2442.534.545.624.344.89
tpdb-5.0/TRS/Zantema/jw41.trs (XML format)59.030.163.2560.1931.2518.675.695.185.525.04
tpdb-5.0/TRS/Zantema/jw42.trs (XML format)59.040.060.022.7360.191.1912.024.834.773.974.40
tpdb-5.0/TRS/Zantema/jw43.trs (XML format)0.080.020.082.7124.741.088.572.123.470.353.21
tpdb-5.0/TRS/Zantema/jw44.trs (XML format)0.030.010.060.022.064.080.134.801.903.390.243.09
tpdb-5.0/TRS/Zantema/jw47.trs (XML format)0.040.010.070.021.998.250.144.011.903.400.243.08
tpdb-5.0/TRS/Zantema/jw50.trs (XML format)0.070.020.072.4924.660.929.212.073.410.343.21
tpdb-5.0/TRS/Zantema/z01.trs (XML format)59.050.1228.9860.2860.24
tpdb-5.0/TRS/Zantema/z02.trs (XML format)59.020.071.272.982.7660.28
tpdb-5.0/TRS/Zantema/z03.trs (XML format)59.040.6960.2560.26
tpdb-5.0/TRS/Zantema/z04.trs (XML format)0.070.020.061.322.392.3260.30
tpdb-5.0/TRS/Zantema/z05.trs (XML format)59.020.451.8924.2812.4560.29
tpdb-5.0/TRS/Zantema/z06.trs (XML format)0.100.030.182.0456.992.7960.25
tpdb-5.0/TRS/Zantema/z07.trs (XML format)59.030.251.755.723.7860.25
tpdb-5.0/TRS/Zantema/z08.trs (XML format)59.030.112.5354.050.7910.845.775.7460.25
tpdb-5.0/TRS/Zantema/z09.trs (XML format)59.030.131.648.8313.2460.20
tpdb-5.0/TRS/Zantema/z10.trs (XML format)59.030.161.699.586.7260.22
tpdb-5.0/TRS/Zantema/z11.trs (XML format)59.030.212.1413.676.3460.25
tpdb-5.0/TRS/Zantema/z12.trs (XML format)59.040.2460.3160.2260.3260.24
tpdb-5.0/TRS/Zantema/z13.trs (XML format)59.030.242.088.9111.4960.27
tpdb-5.0/TRS/Zantema/z14.trs (XML format)59.030.152.0710.4818.4060.26
tpdb-5.0/TRS/Zantema/z15.trs (XML format)59.030.161.803.525.7960.25
tpdb-5.0/TRS/Zantema/z16.trs (XML format)59.030.161.918.0116.2260.28
tpdb-5.0/TRS/Zantema/z17.trs (XML format)59.030.251.813.735.3060.24
tpdb-5.0/TRS/Zantema/z18.trs (XML format)59.030.171.906.347.9060.24
tpdb-5.0/TRS/Zantema/z19.trs (XML format)59.030.334.3339.646.6960.25
tpdb-5.0/TRS/Zantema/z20.trs (XML format)59.030.339.7960.2860.27
tpdb-5.0/TRS/Zantema/z21.trs (XML format)59.030.3413.6830.7637.5860.24
tpdb-5.0/TRS/Zantema/z22.trs (XML format)59.030.3515.6860.3060.25
tpdb-5.0/TRS/Zantema/z23.trs (XML format)59.030.3060.0560.3060.2860.25
tpdb-5.0/TRS/Zantema/z24.trs (XML format)59.030.573.8818.8014.6760.26
tpdb-5.0/TRS/Zantema/z25.trs (XML format)59.033.312.0023.6014.8660.29
tpdb-5.0/TRS/Zantema/z26.trs (XML format)59.041.017.7560.2060.273.256.310.734.90
tpdb-5.0/TRS/Zantema/z27.trs (XML format)59.030.111.381.424.5760.25
tpdb-5.0/TRS/Zantema/z28.trs (XML format)59.030.091.753.6660.2560.25
tpdb-5.0/TRS/Zantema/z29.trs (XML format)0.150.030.181.632.873.578.662.237.99
tpdb-5.0/TRS/Zantema/z30.trs (XML format)59.050.2660.2760.2160.3460.24

Detailed Results (Part 2: comparison on same proofs)

All entries are hyperlinks which return the input system, the proof (human-readable, CeTA-format, CiME-format, Rainbow-format), and the generated Coq-scripts.