Cdiprover3: test results for delta-restricted interpretations

TPDB 4.0, 957 Examples

The following color code is used in the table below:

YES, we have termination and quadratic derivational complexity

MAYBE, no proof found

A TIMEOUT has occurred

An error has occurred

The tests were run single-threaded on a server equipped with 8 AMD Opteron 2.8 GHz dual core processors with 64GB of RAM. The time limit for this table is 60 seconds. All times are given in seconds. All tests were conducted using the incremental search strategy of cdiprover3 ("-i" flag). We searched for delta-restricted interpretations ("-c deltarestricted" flag).

problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
AG01/#3.10.trs	0.014	0.012	0.013	0.013	0.013	0.013
AG01/#3.12.trs	0.341	3.032	10.322	25.085	60.013	60.013
AG01/#3.13.trs	0.014	0.012	0.014	0.012	0.012	0.013
AG01/#3.14.trs	0.057	0.408	0.407	0.405	0.409	0.402
AG01/#3.15.trs	5.265	52.420	59.528	52.822	59.481	52.573
AG01/#3.16.trs	0.013	0.013	0.014	0.014	0.016	0.013
AG01/#3.17a.trs	60.011	60.011	60.011	60.013	60.012	60.013
AG01/#3.17.trs	10.750	60.013	60.016	60.013	60.014	60.012
AG01/#3.18.trs	0.014	0.012	0.013	0.013	0.013	0.012
AG01/#3.19.trs	0.013	0.013	0.015	0.021	0.014	0.013
AG01/#3.1.trs	0.013	0.014	0.013	0.013	0.014	0.012
AG01/#3.21.trs	0.014	0.012	0.012	0.013	0.013	0.012
AG01/#3.22.trs	0.013	0.013	0.014	0.013	0.015	0.013
AG01/#3.23.trs	0.013	0.013	0.013	0.013	0.013	0.014
AG01/#3.24.trs	0.128	1.041	1.029	1.101	1.000	1.094
AG01/#3.26.trs	0.299	4.597	60.013	60.012	60.012	60.015
AG01/#3.29.trs	0.013	0.013	0.014	0.012	0.013	0.014
AG01/#3.2.trs	0.013	0.013	0.013	0.016	0.013	0.012
AG01/#3.31.trs	0.013	0.013	0.013	0.013	0.013	0.014
AG01/#3.33.trs	2.995	60.012	60.013	60.013	60.012	60.015
AG01/#3.35.trs	0.090	0.090	0.093	0.089	0.093	0.089
AG01/#3.36.trs	0.013	0.013	0.014	0.016	0.015	0.013
AG01/#3.37.trs	0.735	41.588	60.015	60.011	60.012	60.013
AG01/#3.38.trs	0.013	0.013	0.012	0.014	0.013	0.012
AG01/#3.39.trs	0.013	0.013	0.013	0.020	0.015	0.012
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
AG01/#3.40.trs	0.014	0.012	0.013	0.012	0.013	0.014
AG01/#3.41.trs	0.013	0.014	0.012	0.013	0.013	0.018
AG01/#3.42.trs	0.013	0.013	0.013	0.013	0.012	0.014
AG01/#3.47.trs	0.013	0.012	0.012	0.013	0.012	0.013
AG01/#3.48.trs	0.013	0.013	0.013	0.013	0.012	0.013
AG01/#3.49.trs	1.458	33.870	60.014	60.012	60.012	60.013
AG01/#3.4.trs	0.015	0.013	0.012	0.013	0.013	0.013
AG01/#3.51.trs	1.691	14.412	60.011	60.012	60.013	60.010
AG01/#3.52.trs	0.014	0.012	0.014	0.013	0.012	0.013
AG01/#3.53a.trs	0.015	0.013	0.013	0.013	0.013	0.013
AG01/#3.53b.trs	0.014	0.012	0.012	0.013	0.013	0.012
AG01/#3.53.trs	0.014	0.013	0.012	0.012	0.014	0.013
AG01/#3.54.trs	0.013	0.012	0.014	0.013	0.013	0.013
AG01/#3.55.trs	0.014	0.013	0.012	0.017	0.016	0.013
AG01/#3.56.trs	0.175	1.527	5.176	12.203	25.931	51.321
AG01/#3.57.trs	0.014	0.013	0.013	0.016	0.016	0.013
AG01/#3.5a.trs	0.014	0.012	0.012	0.012	0.013	0.013
AG01/#3.5b.trs	0.013	0.013	0.012	0.017	0.013	0.013
AG01/#3.5.trs	0.013	0.013	0.013	0.014	0.012	0.013
AG01/#3.6a.trs	0.014	0.012	0.013	0.012	0.013	0.013
AG01/#3.6b.trs	0.013	0.015	0.014	0.013	0.013	0.012
AG01/#3.6.trs	0.013	0.013	0.012	0.012	0.013	0.013
AG01/#3.7.trs	1.857	21.011	23.016	20.896	22.928	20.524
AG01/#3.8a.trs	0.013	0.014	0.013	0.013	0.015	0.014
AG01/#3.8b.trs	0.014	0.013	0.013	0.012	0.013	0.012
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
AG01/#4.30c.trs	0.013	0.012	0.014	0.013	0.014	0.013
AProVE/AAECC-ring.trs	0.014	0.014	0.017	0.014	0.013	0.014
AProVE/AAECC.trs	0.013	0.013	0.013	0.012	0.013	0.012
AProVE/fac.trs	0.012	0.013	0.013	0.012	0.013	0.014
AProVE/forward_instantiation2.trs	0.013	0.013	0.014	0.014	0.013	0.014
AProVE/forward_instantiation.trs	0.014	0.013	0.013	0.013	0.012	0.012
AProVE/IJCAR_12.trs	0.013	0.012	0.013	0.013	0.012	0.014
AProVE/IJCAR_18.trs	0.012	0.013	0.014	0.014	0.012	0.014
AProVE/IJCAR_1.trs	0.012	0.013	0.013	0.012	0.013	0.013
AProVE/IJCAR_26a.trs	0.013	0.013	0.013	0.015	0.013	0.014
AProVE/IJCAR_26.trs	0.013	0.013	0.013	0.013	0.013	0.013
AProVE/improved_usable2.trs	0.013	0.012	0.013	0.014	0.012	0.013
AProVE/improved_usable.trs	0.012	0.013	0.016	0.012	0.013	0.013
AProVE/JFP_Ex31.trs	0.013	0.012	0.013	0.012	0.013	0.014
AProVE/JFP_Ex51.trs	0.012	0.014	0.013	0.017	0.012	0.013
AProVE/Liveness6.1.trs	0.077	0.759	3.342	9.623	35.037	60.012
AProVE/Liveness6.2.trs	0.069	0.526	1.932	9.078	31.665	60.012
AProVE/Liveness6.3.trs	0.551	5.714	23.874	60.012	60.012	60.012
AProVE/Liveness6.4.trs	0.816	7.302	29.833	60.015	60.013	60.012
AProVE/Liveness8.trs	0.370	3.364	22.075	60.012	60.013	60.013
AProVE/Liveness_WRS.trs	60.015	60.012	60.011	60.012	60.012	60.014
AProVE/LPAR_intlist.trs	60.013	60.012	60.013	60.011	60.013	60.011
AProVE/rta1.trs	0.012	0.013	0.013	0.014	0.014	0.013
AProVE/rta2.trs	0.012	0.012	0.012	0.012	0.012	0.014
AProVE/rta3.trs	0.013	0.013	0.012	0.012	0.013	0.014
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
Beerendonk/10.trs	0.014	0.013	0.015	0.012	0.012	0.014
Beerendonk/11.trs	0.015	0.014	0.013	0.013	0.014	0.013
Beerendonk/12.trs	0.013	0.013	0.012	0.013	0.018	0.015
Beerendonk/13.trs	0.013	0.012	0.013	0.013	0.013	0.014
Beerendonk/14.trs	0.014	0.013	0.012	0.012	0.012	0.016
Beerendonk/15.trs	0.013	0.013	0.013	0.012	0.015	0.014
Beerendonk/16.trs	0.013	0.014	0.012	0.013	0.013	0.017
Beerendonk/17.trs	0.016	0.014	0.013	0.013	0.013	0.015
Beerendonk/18.trs	0.014	0.012	0.013	0.013	0.013	0.016
Beerendonk/19.trs	0.012	0.013	0.012	0.013	0.013	0.014
Beerendonk/1.trs	0.013	0.013	0.012	0.013	0.013	0.015
Beerendonk/20.trs	0.014	0.014	0.013	0.014	0.012	0.017
Beerendonk/21.trs	0.013	0.013	0.013	0.013	0.018	0.013
Beerendonk/22.trs	0.013	0.014	0.012	0.013	0.012	0.013
Beerendonk/23.trs	0.014	0.014	0.013	0.013	0.012	0.013
Beerendonk/24.trs	0.013	0.013	0.013	0.013	0.012	0.016
Beerendonk/2.trs	0.013	0.012	0.012	0.013	0.013	0.014
Beerendonk/3.trs	0.013	0.013	0.012	0.013	0.012	0.018
Beerendonk/4.trs	0.012	0.013	0.013	0.014	0.012	0.012
Beerendonk/5.trs	0.013	0.014	0.013	0.012	0.012	0.013
Beerendonk/6.trs	0.012	0.013	0.012	0.013	0.013	0.014
Beerendonk/7.trs	0.013	0.013	0.012	0.013	0.012	0.016
Beerendonk/8.trs	0.013	0.014	0.012	0.013	0.012	0.013
Beerendonk/9.trs	0.012	0.013	0.013	0.013	0.012	0.014
Cime/ack_prolog.trs	0.013	0.012	0.013	0.013	0.013	0.013
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
Cime/append-hard.trs	0.014	0.012	0.013	0.013	0.013	0.012
Cime/append.trs	0.016	0.015	0.012	0.013	0.012	0.012
Cime/big.trs	0.014	0.014	0.015	0.014	0.014	0.014
Cime/boolean_rings.trs	0.014	0.013	0.013	0.012	0.014	0.013
Cime/dpqs.trs	0.203	1.867	6.940	17.587	48.596	60.013
Cime/fact-hard.trs	0.014	0.013	0.014	0.012	0.014	0.014
Cime/filliatre2.trs	45.613	60.013	60.012	60.013	60.013	60.018
Cime/filliatre3.trs	0.012	0.014	0.015	0.014	0.013	0.013
Cime/filliatre.trs	60.013	60.012	60.013	60.013	60.011	60.018
Cime/intersect.trs	0.013	0.013	0.013	0.013	0.012	0.014
Cime/list-sum-prod-assoc-append.trs	0.013	0.014	0.012	0.012	0.014	0.013
Cime/list-sum-prod-assoc.trs	0.013	0.012	0.014	0.013	0.013	0.014
Cime/list-sum-prod-bin-assoc-distr-app.trs	0.014	0.013	0.013	0.013	0.013	0.014
Cime/list-sum-prod-bin-assoc.trs	0.013	0.013	0.014	0.013	0.012	0.012
Cime/list-sum-prod-bin.trs	0.013	0.013	0.013	0.012	0.013	0.016
Cime/list-sum-prod.trs	0.013	0.012	0.013	0.013	0.013	0.015
Cime/log2.trs	0.014	0.013	0.016	0.013	0.013	0.014
Cime/lse.trs	0.013	0.013	0.014	0.013	0.012	0.014
Cime/mucrl1.trs	0.023	0.023	0.022	0.022	0.022	0.023
Cime/quick.trs	0.014	0.014	0.013	0.014	0.013	0.013
Cime/ternary-hard.trs	0.013	0.013	0.013	0.013	0.013	0.013
Cime/ternary.trs	0.013	0.013	0.014	0.012	0.013	0.014
Cime/tree.trs	0.014	0.015	0.014	0.013	0.013	0.015
CSR/Ex1_Luc04b_GM.trs	0.581	4.791	17.570	60.017	60.014	60.012
currying/AG01/#3.10.trs	0.014	0.013	0.015	0.014	0.014	0.014
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
currying/AG01/#3.13.trs	0.014	0.013	0.014	0.013	0.014	0.014
currying/AG01/#3.16.trs	0.013	0.012	0.012	0.013	0.012	0.013
currying/AG01/#3.18.trs	0.013	0.012	0.013	0.014	0.012	0.013
currying/AG01/#3.22.trs	0.012	0.013	0.012	0.013	0.013	0.013
currying/AG01/#3.25.trs	0.013	0.015	0.013	0.013	0.013	0.013
currying/AG01/#3.27.trs	0.013	0.012	0.013	0.013	0.014	0.014
currying/AG01/#3.2.trs	0.013	0.013	0.014	0.013	0.013	0.014
currying/AG01/#3.32.trs	0.012	0.012	0.013	0.012	0.012	0.013
currying/AG01/#3.36.trs	0.013	0.012	0.013	0.013	0.013	0.014
currying/AG01/#3.38.trs	0.012	0.013	0.014	0.014	0.013	0.013
currying/AG01/#3.40.trs	0.014	0.013	0.014	0.014	0.012	0.013
currying/AG01/#3.45.trs	0.013	0.013	0.013	0.013	0.013	0.013
currying/AG01/#3.48.trs	0.013	0.013	0.013	0.013	0.013	0.013
currying/AG01/#3.52.trs	0.013	0.012	0.013	0.013	0.013	0.014
currying/AG01/#3.55.trs	0.014	0.014	0.014	0.014	0.013	0.014
currying/AG01/#3.57.trs	0.014	0.013	0.014	0.013	0.013	0.016
currying/AG01/#3.6.trs	0.013	0.012	0.013	0.013	0.013	0.013
currying/AG01/#3.8.trs	0.014	0.012	0.014	0.017	0.013	0.013
currying/D33/01.trs	0.013	0.012	0.013	0.013	0.013	0.013
currying/D33/02.trs	0.013	0.014	0.013	0.014	0.012	0.012
currying/D33/06.trs	0.012	0.012	0.013	0.013	0.013	0.013
currying/D33/08.trs	0.014	0.012	0.013	0.013	0.013	0.013
currying/D33/11.trs	0.012	0.013	0.013	0.014	0.014	0.014
currying/D33/12.trs	0.013	0.013	0.013	0.012	0.013	0.013
currying/D33/13.trs	0.013	0.013	0.013	0.012	0.012	0.013
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
currying/D33/17.trs	0.012	0.013	0.014	0.013	0.012	0.012
currying/D33/18.trs	0.013	0.014	0.013	0.013	0.013	0.012
currying/D33/21.trs	0.013	0.013	0.013	0.013	0.011	0.013
currying/D33/29.trs	0.014	0.013	0.013	0.013	0.012	0.013
currying/D33/30.trs	0.012	0.012	0.013	0.012	0.012	0.013
currying/D33/31.trs	0.013	0.015	0.013	0.013	0.013	0.013
currying/Ste92/hydra.trs	0.014	0.013	0.013	0.013	0.013	0.013
currying/Ste92/motivation.trs	0.013	0.012	0.013	0.013	0.012	0.012
currying/Ste92/perfect2.trs	0.014	0.013	0.014	0.013	0.013	0.014
currying/Ste92/perfect.trs	0.013	0.013	0.013	0.012	0.014	0.012
D33/01.trs	0.038	0.037	0.037	0.037	0.037	0.037
D33/02.trs	0.055	0.054	0.055	0.056	0.055	0.055
D33/03.trs	0.019	0.019	0.019	0.019	0.019	0.019
D33/04.trs	0.020	0.081	0.083	0.081	0.082	0.081
D33/06.trs	0.100	1.089	5.048	24.616	58.628	60.014
D33/07.trs	0.029	0.029	0.030	0.030	0.030	0.030
D33/08.trs	0.013	0.012	0.015	0.013	0.013	0.012
D33/09.trs	0.018	0.058	0.203	0.784	4.591	26.451
D33/11.trs	0.014	0.013	0.013	0.013	0.012	0.013
D33/12.trs	0.012	0.013	0.013	0.013	0.013	0.014
D33/13.trs	0.012	0.013	0.013	0.012	0.012	0.013
D33/17.trs	0.109	0.717	2.042	4.654	10.294	18.296
D33/18.trs	0.013	0.012	0.013	0.013	0.013	0.013
D33/20.trs	60.014	60.013	60.014	60.012	60.016	60.013
D33/21.trs	0.013	0.012	0.013	0.013	0.013	0.012
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
D33/27.trs	0.024	0.130	0.131	0.131	0.131	0.131
D33/28.trs	0.014	0.013	0.013	0.013	0.013	0.012
D33/30.trs	0.013	0.013	0.013	0.012	0.012	0.013
D33/31.trs	0.013	0.013	0.013	0.012	0.013	0.013
D33/32.trs	0.013	0.013	0.014	0.013	0.012	0.013
Endrullis/direct.trs	60.012	60.011	60.013	60.012	60.012	60.013
Endrullis/labeling.trs	0.013	0.013	0.015	0.013	0.013	0.012
Endrullis/linear1.trs	60.012	60.012	60.011	60.012	60.012	60.012
Endrullis/linear2.trs	60.012	60.011	60.013	60.014	60.012	60.012
Endrullis/pair2hard.trs	0.013	0.012	0.015	0.013	0.013	0.013
Endrullis/pair2simple1.trs	0.013	0.014	0.014	0.014	0.014	0.014
Endrullis/pair2simple2.trs	0.013	0.014	0.016	0.013	0.014	0.013
Endrullis/pair3hard.trs	0.015	0.013	0.017	0.013	0.013	0.013
Endrullis/pair3rotate.trs	11.819	60.012	60.013	60.013	60.014	60.013
Endrullis/pair3swap.trs	60.012	60.017	60.013	60.011	60.013	60.012
Endrullis/quadruple1.trs	60.011	60.011	60.013	60.011	60.013	60.015
Endrullis/quadruple2.trs	60.012	60.013	60.014	60.012	60.013	60.011
higher-order/AotoYam/002.trs	0.013	0.013	0.013	0.013	0.013	0.014
higher-order/AotoYam/004.trs	0.013	0.013	0.014	0.013	0.013	0.013
higher-order/AotoYam/005.trs	38.385	40.406	40.498	39.207	39.285	38.036
higher-order/AotoYam/006.trs	0.013	0.013	0.013	0.013	0.014	0.013
higher-order/AotoYam/007.trs	0.014	0.013	0.014	0.013	0.017	0.013
higher-order/AotoYam/009.trs	0.012	0.012	0.013	0.013	0.012	0.013
higher-order/AotoYam/010.trs	0.013	0.012	0.013	0.013	0.013	0.012
higher-order/AotoYam/011.trs	0.013	0.013	0.014	0.013	0.012	0.013
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
higher-order/AotoYam/012.trs	0.013	0.013	0.013	0.012	0.013	0.019
higher-order/AotoYam/013.trs	0.013	0.012	0.013	0.013	0.013	0.013
higher-order/AotoYam/014.trs	0.014	0.012	0.013	0.013	0.012	0.016
higher-order/AotoYam/015.trs	0.014	0.012	0.014	0.014	0.012	0.012
higher-order/AotoYam/016.trs	0.013	0.013	0.013	0.014	0.013	0.013
higher-order/AotoYam/017.trs	0.081	0.082	0.082	0.081	0.080	0.080
higher-order/AotoYam/019.trs	0.013	0.012	0.013	0.013	0.013	0.013
higher-order/AotoYam/020.trs	0.013	0.013	0.013	0.012	0.013	0.013
higher-order/AotoYam/021.trs	0.012	0.012	0.013	0.013	0.013	0.012
higher-order/AotoYam/022.trs	0.012	0.012	0.013	0.013	0.014	0.013
higher-order/AotoYam/023.trs	37.403	36.899	38.507	36.805	38.926	36.729
higher-order/AotoYam/024.trs	0.013	0.013	0.013	0.012	0.013	0.013
higher-order/AotoYam/025.trs	0.023	0.024	0.024	0.023	0.023	0.023
higher-order/AotoYam/026.trs	0.013	0.013	0.013	0.012	0.013	0.012
higher-order/AotoYam/027.trs	0.012	0.013	0.014	0.012	0.013	0.013
higher-order/AotoYam/028.trs	0.012	0.012	0.013	0.013	0.013	0.013
higher-order/AotoYam/Ex1SimplyTyped.trs	0.013	0.013	0.012	0.013	0.013	0.013
higher-order/AProVE_HO/mapDivMinusHard.trs	0.013	0.014	0.013	0.013	0.013	0.014
higher-order/AProVE_HO/mapDivMinus.trs	0.013	0.013	0.012	0.012	0.013	0.013
higher-order/AProVE_HO/ReverseLastInit.trs	60.011	60.013	60.021	60.011	60.012	60.015
higher-order/AProVE_HO/TakeDropWhile.trs	0.013	0.013	0.013	0.013	0.013	0.013
higher-order/AProVE_HO/TypeEx1.trs	0.013	0.013	0.012	0.013	0.012	0.013
higher-order/Bird/BTreeMember.trs	0.012	0.013	0.014	0.013	0.013	0.013
higher-order/Bird/Ex2_6_1Composition.trs	0.368	0.377	0.379	0.366	0.367	0.371
higher-order/Bird/TreeFlatten.trs	0.013	0.014	0.012	0.013	0.012	0.013
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
higher-order/Bird/TreeHeight.trs	0.013	0.013	0.014	0.013	0.013	0.013
higher-order/Bird/TreeLevels.trs	0.013	0.013	0.013	0.013	0.013	0.013
higher-order/Bird/TreeMap.trs	0.013	0.014	0.013	0.013	0.013	0.013
higher-order/Bird/TreeSize.trs	0.013	0.013	0.014	0.012	0.013	0.013
higher-order/Kusakari/Ex6_11.trs	0.013	0.013	0.012	0.013	0.013	0.013
higher-order/Kusakari/Ex7_9.trs	0.014	0.012	0.013	0.014	0.013	0.013
higher-order/Lifantsev/Ex3Lists.trs	0.013	0.013	0.014	0.013	0.014	0.013
higher-order/Lifantsev/Ex4MapList.trs	0.013	0.013	0.013	0.013	0.013	0.011
higher-order/Lifantsev/Ex8Polymorphic.trs	0.013	0.013	0.013	0.012	0.014	0.012
higher-order/Lifantsev/Ex9Maps.trs	0.013	0.013	0.014	0.013	0.012	0.013
HM/t000.trs	17.154	60.012	60.012	60.013	60.012	60.012
HM/t001.trs	0.012	0.013	0.013	0.012	0.012	0.012
HM/t002.trs	0.013	0.014	0.013	0.013	0.014	0.013
HM/t003.trs	0.013	0.014	0.014	0.014	0.013	0.014
HM/t004.trs	5.388	60.012	60.012	60.013	60.013	60.013
HM/t005.trs	0.017	0.017	0.017	0.017	0.016	0.017
HM/t006.trs	0.025	0.027	0.026	0.026	0.026	0.026
HM/t007.trs	0.015	0.044	0.515	15.253	60.013	60.015
HM/t008.trs	0.636	53.648	60.016	60.012	60.014	60.012
HM/t009.trs	60.011	60.018	60.012	60.012	60.012	60.012
HM/t010.trs	0.025	0.123	0.123	0.125	0.123	0.123
HM/t011.trs	0.028	0.158	0.157	0.160	0.159	0.159
HM/t012.trs	60.013	60.015	60.012	60.013	60.012	60.018
HM/t013.trs	0.012	0.013	0.013	0.012	0.012	0.013
HM/t014.trs	0.012	0.013	0.013	0.013	0.013	0.013
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
HofWald/1.trs	60.012	60.012	60.019	60.012	60.012	60.012
HofWald/2.trs	60.011	60.012	60.015	60.011	60.014	60.012
HofWald/3.trs	0.014	0.012	0.014	0.013	0.014	0.012
HofWald/4.trs	60.013	60.017	60.014	60.012	60.012	60.017
HofWald/5.trs	0.014	0.012	0.013	0.013	0.013	0.013
Koprowski/gcd_triple.trs	0.013	0.014	0.014	0.012	0.013	0.012
LJB01/jones1.trs	0.023	0.024	0.024	0.025	0.024	0.024
LJB01/jones2.trs	0.012	0.012	0.013	0.012	0.013	0.013
LJB01/jones4.trs	0.044	0.045	0.045	0.045	0.045	0.045
LJB01/jones5.trs	0.013	0.012	0.014	0.012	0.013	0.013
LJB01/jones6.trs	0.040	0.252	0.246	0.254	0.253	0.253
nontermin/AG01/#4.20a.trs	0.299	4.914	5.499	4.998	4.698	5.403
nontermin/AG01/#4.20.trs	0.103	0.114	0.118	0.116	0.115	0.115
nontermin/AG01/#4.21.trs	0.031	0.287	2.434	14.740	60.012	60.018
nontermin/AG01/#4.22.trs	0.013	0.013	0.012	0.013	0.014	0.013
nontermin/AG01/#4.23.trs	0.013	0.019	0.012	0.012	0.016	0.020
nontermin/AG01/#4.25.trs	0.014	0.022	0.052	0.087	0.151	0.260
nontermin/AG01/#4.26.trs	0.012	0.011	0.012	0.013	0.014	0.015
nontermin/AG01/#4.27.trs	0.013	0.014	0.019	0.013	0.012	0.015
nontermin/AG01/#4.28.trs	0.570	35.671	60.016	60.012	60.013	60.014
nontermin/AG01/#4.29.trs	0.015	0.012	0.014	0.013	0.013	0.013
nontermin/AG01/#4.30a.trs	0.012	0.014	0.020	0.012	0.014	0.013
nontermin/AG01/#4.30b.trs	0.013	0.012	0.013	0.014	0.013	0.013
nontermin/AG01/#4.30c.trs	0.012	0.014	0.012	0.013	0.014	0.015
nontermin/AG01/#4.30.trs	0.013	0.012	0.028	0.013	0.014	0.014
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
nontermin/AG01/#4.31.trs	1.102	11.188	39.782	60.011	60.017	60.013
nontermin/AG01/#4.32.trs	0.013	0.013	0.012	0.012	0.013	0.013
nontermin/AG01/#4.33.trs	0.012	0.012	0.012	0.012	0.012	0.014
nontermin/AG01/#4.34.trs	0.013	0.012	0.012	0.013	0.013	0.013
nontermin/AG01/#4.35.trs	0.012	0.020	0.013	0.013	0.013	0.016
nontermin/AG01/#4.36.trs	0.015	0.013	0.013	0.013	0.013	0.013
nontermin/AG01/#4.37a.trs	0.180	3.197	3.631	3.138	3.621	3.646
nontermin/AG01/#4.37.trs	0.160	2.034	2.301	2.036	2.306	2.343
nontermin/cariboo/tricky1.trs	0.013	0.012	0.013	0.013	0.012	0.013
nontermin/CSR/Ex49_GM04.trs	0.012	0.012	0.013	0.013	0.012	0.013
nontermin/Rubio-inn/test830.trs	0.055	0.441	0.449	0.451	0.443	0.456
Rubio/aoto.trs	0.865	10.085	42.422	60.013	60.012	60.013
Rubio/bintrees.trs	0.057	0.405	0.425	0.413	0.406	0.407
Rubio/bn122.trs	0.013	0.012	0.013	0.013	0.012	0.012
Rubio/bn129.trs	0.431	6.344	56.159	60.011	60.012	60.012
Rubio/division.trs	0.014	0.012	0.013	0.013	0.013	0.013
Rubio/elimdupl.trs	0.013	0.012	0.013	0.012	0.013	0.013
Rubio/enno.trs	0.014	0.014	0.013	0.014	0.013	0.013
Rubio/gcd.trs	0.012	0.012	0.013	0.012	0.012	0.012
Rubio/gmnp.trs	0.194	1.593	4.782	14.851	25.877	47.464
Rubio/gm.trs	0.013	0.013	0.013	0.012	0.012	0.013
Rubio/koen.trs	0.031	0.160	0.161	0.159	0.164	0.160
Rubio/lescanne.trs	0.075	0.738	2.526	10.378	39.302	54.329
Rubio/lindau.trs	60.012	60.014	60.013	60.015	60.011	60.014
Rubio/logarquot.trs	0.013	0.013	0.013	0.016	0.014	0.013
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
Rubio/ma96.trs	0.014	0.013	0.013	0.013	0.013	0.013
Rubio/mfp90b.trs	0.027	0.025	0.026	0.026	0.026	0.027
Rubio/mfp95.trs	0.687	0.676	0.695	0.687	0.670	0.667
Rubio/nestrec.trs	0.071	0.840	4.196	17.686	60.012	60.011
Rubio/p266.trs	0.161	1.510	1.405	1.513	1.462	1.523
Rubio/polo2.trs	0.014	0.013	0.014	0.012	0.013	0.013
Rubio/prov.trs	0.013	0.013	0.012	0.013	0.014	0.012
Rubio/quick.trs	0.013	0.013	0.014	0.013	0.012	0.013
Rubio/quotminus.trs	0.014	0.012	0.013	0.014	0.012	0.012
Rubio/revlist.trs	0.014	0.012	0.013	0.013	0.013	0.012
Rubio/selsort.trs	0.014	0.013	0.014	0.014	0.013	0.014
Rubio/test4.trs	0.081	4.831	20.352	21.803	19.009	22.382
Rubio/test829.trs	0.759	7.824	7.778	7.948	6.709	7.685
Rubio/wst99.trs	0.014	0.012	0.013	0.023	0.013	0.013
SchneiderKamp/trs/cade01.trs	0.013	0.013	0.014	0.013	0.014	0.013
SchneiderKamp/trs/cade03.trs	0.013	0.012	0.012	0.013	0.013	0.013
SchneiderKamp/trs/cade04t.trs	0.013	0.013	0.013	0.013	0.012	0.014
SchneiderKamp/trs/cade05t.trs	0.012	0.014	0.012	0.012	0.013	0.013
SchneiderKamp/trs/cade06.trs	0.013	0.013	0.012	0.017	0.013	0.013
SchneiderKamp/trs/cade07.trs	0.013	0.012	0.012	0.012	0.013	0.013
SchneiderKamp/trs/cade08.trs	0.013	0.012	0.012	0.013	0.013	0.014
SchneiderKamp/trs/cade09.trs	0.013	0.012	0.013	0.014	0.013	0.013
SchneiderKamp/trs/cade10.trs	0.013	0.014	0.012	0.013	0.013	0.013
SchneiderKamp/trs/cade11.trs	0.013	0.013	0.012	0.013	0.013	0.013
SchneiderKamp/trs/cade13t.trs	0.012	0.012	0.012	0.013	0.017	0.013
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
SchneiderKamp/trs/cade14.trs	0.013	0.015	0.013	0.013	0.013	0.013
SchneiderKamp/trs/cade15.trs	0.013	0.012	0.012	0.014	0.014	0.013
SchneiderKamp/trs/cade16.trs	0.014	0.012	0.013	0.013	0.014	0.013
SchneiderKamp/trs/kabasci01.trs	0.015	0.013	0.013	0.014	0.015	0.015
SchneiderKamp/trs/kabasci02.trs	0.013	0.013	0.013	0.013	0.013	0.014
SchneiderKamp/trs/kabasci03.trs	0.013	0.014	0.012	0.013	0.012	0.013
SchneiderKamp/trs/kabasci04.trs	0.012	0.013	0.013	0.013	0.014	0.014
SchneiderKamp/trs/kabasci05.trs	0.013	0.012	0.013	0.013	0.014	0.013
SchneiderKamp/trs/kabasci06.trs	0.013	0.013	0.012	0.013	0.013	0.014
SchneiderKamp/trs/otto01.trs	0.013	0.013	0.014	0.013	0.014	0.012
SchneiderKamp/trs/otto02.trs	0.012	0.012	0.012	0.012	0.014	0.013
SchneiderKamp/trs/otto03.trs	0.013	0.013	0.012	0.013	0.013	0.013
SchneiderKamp/trs/otto04.trs	0.013	0.013	0.013	0.013	0.014	0.014
SchneiderKamp/trs/otto05.trs	0.013	0.013	0.012	0.013	0.013	0.013
SchneiderKamp/trs/otto06.trs	0.013	0.012	0.012	0.012	0.012	0.013
SchneiderKamp/trs/otto07.trs	0.013	0.012	0.012	0.013	0.012	0.013
SchneiderKamp/trs/otto08.trs	0.013	0.013	0.012	0.013	0.013	0.013
SchneiderKamp/trs/otto09.trs	0.013	0.012	0.012	0.013	0.013	0.013
SchneiderKamp/trs/otto10.trs	0.013	0.012	0.012	0.013	0.013	0.013
SchneiderKamp/trs/otto11.trs	0.014	0.013	0.013	0.013	0.013	0.013
SchneiderKamp/trs/otto12.trs	0.013	0.013	0.012	0.014	0.012	0.013
SchneiderKamp/trs/otto13.trs	0.013	0.013	0.012	0.013	0.012	0.013
SchneiderKamp/trs/thiemann01.trs	0.012	0.012	0.012	0.013	0.013	0.013
SchneiderKamp/trs/thiemann02.trs	0.014	0.012	0.012	0.013	0.013	0.013
SchneiderKamp/trs/thiemann03.trs	0.013	0.012	0.012	0.013	0.012	0.013
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
SchneiderKamp/trs/thiemann04.trs	0.013	0.012	0.014	0.013	0.013	0.013
SchneiderKamp/trs/thiemann05.trs	0.013	0.012	0.013	0.013	0.014	0.013
SchneiderKamp/trs/thiemann06.trs	0.013	0.013	0.013	0.012	0.013	0.013
SchneiderKamp/trs/thiemann07.trs	0.014	0.013	0.013	0.014	0.014	0.013
SchneiderKamp/trs/thiemann08.trs	0.013	0.012	0.013	0.013	0.014	0.013
SchneiderKamp/trs/thiemann09.trs	0.013	0.013	0.012	0.013	0.013	0.013
SchneiderKamp/trs/thiemann10.trs	0.013	0.013	0.013	0.012	0.013	0.013
SchneiderKamp/trs/thiemann11.trs	0.013	0.012	0.013	0.014	0.013	0.012
SchneiderKamp/trs/thiemann12.trs	0.013	0.012	0.012	0.012	0.014	0.014
SchneiderKamp/trs/thiemann13.trs	0.012	0.013	0.013	0.013	0.012	0.012
SchneiderKamp/trs/thiemann14.trs	0.013	0.013	0.012	0.013	0.014	0.013
SchneiderKamp/trs/thiemann15.trs	0.014	0.012	0.013	0.014	0.012	0.013
SchneiderKamp/trs/thiemann16.trs	0.013	0.014	0.012	0.013	0.014	0.012
SchneiderKamp/trs/thiemann17.trs	0.013	0.012	0.012	0.013	0.014	0.013
SchneiderKamp/trs/thiemann18.trs	0.014	0.012	0.012	0.013	0.013	0.014
SchneiderKamp/trs/thiemann19.trs	0.014	0.014	0.013	0.013	0.013	0.013
SchneiderKamp/trs/thiemann20.trs	0.013	0.012	0.013	0.014	0.014	0.014
SchneiderKamp/trs/thiemann22.trs	0.013	0.012	0.014	0.014	0.012	0.013
SchneiderKamp/trs/thiemann23.trs	0.014	0.013	0.012	0.014	0.012	0.014
SchneiderKamp/trs/thiemann24.trs	0.012	0.012	0.012	0.013	0.013	0.013
SchneiderKamp/trs/thiemann25.trs	0.013	0.013	0.012	0.013	0.014	0.013
SchneiderKamp/trs/thiemann27.trs	0.013	0.012	0.013	0.013	0.016	0.013
SchneiderKamp/trs/thiemann29.trs	0.013	0.013	0.013	0.014	0.014	0.012
SchneiderKamp/trs/thiemann31.trs	0.013	0.013	0.013	0.013	0.013	0.012
SchneiderKamp/trs/thiemann32.trs	0.013	0.013	0.013	0.013	0.013	0.013
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
SchneiderKamp/trs/thiemann33.trs	0.013	0.012	0.013	0.015	0.013	0.013
SchneiderKamp/trs/thiemann34.trs	0.013	0.012	0.013	0.014	0.014	0.013
SchneiderKamp/trs/thiemann35.trs	0.013	0.013	0.014	0.013	0.014	0.014
SchneiderKamp/trs/thiemann36.trs	0.013	0.012	0.012	0.012	0.015	0.012
SchneiderKamp/trs/thiemann37.trs	0.013	0.020	0.013	0.013	0.013	0.012
SchneiderKamp/trs/thiemann38.trs	0.014	0.012	0.012	0.014	0.013	0.012
SchneiderKamp/trs/thiemann39.trs	0.014	0.013	0.014	0.013	0.014	0.013
SchneiderKamp/trs/thiemann41.trs	0.013	0.012	0.012	0.013	0.014	0.013
secret05/aprove1.trs	0.014	0.013	0.013	0.012	0.013	0.013
secret05/aprove2.trs	0.013	0.014	0.014	0.012	0.013	0.013
secret05/aprove3.trs	0.013	0.013	0.013	0.013	0.012	0.013
secret05/aprove4.trs	0.012	0.012	0.013	0.015	0.013	0.014
secret05/aprove5.trs	0.012	0.012	0.012	0.013	0.012	0.013
secret05/cime1.trs	0.012	0.013	0.013	0.017	0.013	0.014
secret05/cime2.trs	0.013	0.013	0.013	0.013	0.013	0.013
secret05/cime5.trs	0.014	0.013	0.013	0.014	0.014	0.015
secret05/matchbox1.trs	0.013	0.013	0.013	0.013	0.012	0.013
secret05/matchbox2.trs	1.017	11.301	40.232	60.011	60.013	60.012
secret05/teparla1.trs	60.016	60.017	60.015	60.011	60.018	60.012
secret05/teparla2.trs	60.012	60.012	60.036	60.012	60.014	60.011
secret05/teparla3.trs	60.018	60.012	60.012	60.012	60.012	60.012
secret05/tpa1.trs	0.014	0.013	0.013	0.013	0.012	0.012
secret05/tpa2.trs	0.013	0.014	0.013	0.014	0.013	0.013
secret05/tpa3.trs	0.012	0.012	0.012	0.015	0.013	0.013
secret05/tpa4.trs	0.013	0.013	0.013	0.014	0.013	0.013
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
secret05/tpa5.trs	0.013	0.013	0.013	0.013	0.013	0.014
secret06/aprove/addList.trs	0.013	0.014	0.013	0.013	0.013	0.014
secret06/aprove/divExp.trs	0.013	0.013	0.013	0.012	0.013	0.012
secret06/aprove/division.trs	0.013	0.012	0.013	0.013	0.013	0.014
secret06/aprove/double.trs	0.015	0.013	0.013	0.013	0.013	0.013
secret06/aprove/logarithm.trs	0.013	0.013	0.012	0.014	0.013	0.013
secret06/aprove/nrOfNodes.trs	0.013	0.012	0.013	0.012	0.013	0.014
secret06/aprove/reverse.trs	0.013	0.013	0.012	0.013	0.013	0.013
secret06/aprove/sumList.trs	0.013	0.015	0.013	0.013	0.014	0.015
secret06/aprove/times.trs	0.013	0.013	0.014	0.013	0.013	0.014
secret06/aprove/toList.trs	0.014	0.012	0.013	0.013	0.013	0.014
secret06/jambox/10.trs	60.013	60.012	60.012	60.016	60.012	60.015
secret06/jambox/2.trs	37.521	60.012	60.012	60.021	60.012	60.021
secret06/jambox/3.trs	3.151	42.239	60.013	60.016	60.012	60.012
secret06/jambox/4.trs	26.129	60.013	60.011	60.012	60.012	60.015
secret06/jambox/5.trs	60.013	60.011	60.014	60.016	60.012	60.012
secret06/jambox/6.trs	60.012	60.015	60.012	60.014	60.013	60.013
secret06/jambox/7.trs	60.012	60.014	60.012	60.015	60.013	60.012
secret06/jambox/8.trs	60.012	60.013	60.012	60.015	60.012	60.013
secret06/jambox/9.trs	60.013	60.016	60.013	60.017	60.012	60.013
secret06/matchbox/gen-10.trs	0.013	0.013	0.013	0.013	0.014	0.013
secret06/matchbox/gen-14.trs	0.013	0.013	0.013	0.013	0.012	0.013
secret06/matchbox/gen-15.trs	0.013	0.013	0.013	0.013	0.013	0.012
secret06/matchbox/gen-17.trs	0.013	0.012	0.013	0.013	0.013	0.013
secret06/matchbox/gen-18.trs	0.013	0.013	0.013	0.013	0.012	0.013
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
secret06/matchbox/gen-1.trs	0.012	0.013	0.013	0.014	0.013	0.012
secret06/matchbox/gen-22.trs	0.013	0.012	0.013	0.014	0.013	0.013
secret06/matchbox/gen-25.trs	0.013	0.014	0.013	0.012	0.013	0.013
secret06/matchbox/gen-28.trs	0.014	0.013	0.013	0.013	0.013	0.013
secret06/matchbox/gen-9.trs	0.012	0.013	0.013	0.013	0.013	0.013
secret06/tpa01.trs	0.298	2.595	14.833	45.324	60.013	60.012
secret06/tpa02.trs	0.278	2.444	10.500	36.347	48.681	60.012
secret06/tpa03.trs	0.069	0.647	3.262	7.189	14.656	22.504
secret06/tpa04.trs	0.013	0.013	0.014	0.013	0.012	0.015
secret06/tpa05.trs	0.013	0.012	0.013	0.013	0.013	0.014
secret06/tpa06.trs	0.013	0.013	0.012	0.013	0.013	0.014
secret06/tpa07.trs	0.013	0.012	0.012	0.013	0.013	0.014
secret06/tpa08.trs	0.013	0.012	0.013	0.016	0.013	0.014
secret06/tpa09.trs	0.013	0.013	0.013	0.013	0.012	0.014
secret06/tpa10.trs	0.014	0.013	0.013	0.013	0.013	0.013
secret07/aprove/aprove01.trs	0.014	0.013	0.013	0.013	0.013	0.013
secret07/aprove/aprove02.trs	0.013	0.013	0.013	0.013	0.013	0.013
secret07/aprove/aprove04.trs	0.014	0.013	0.013	0.013	0.012	0.014
secret07/aprove/aprove05.trs	0.014	0.013	0.013	0.013	0.012	0.013
secret07/aprove/aprove06.trs	0.014	0.012	0.013	0.014	0.013	0.013
secret07/aprove/aprove07.trs	0.014	0.013	0.013	0.013	0.013	0.013
secret07/aprove/aprove08.trs	0.014	0.012	0.013	0.012	0.013	0.013
secret07/aprove/aprove09.trs	0.014	0.013	0.013	0.013	0.013	0.013
secret07/aprove/aprove10.trs	0.014	0.013	0.013	0.012	0.012	0.015
secret07/cime/secret1.trs	0.014	0.013	0.013	0.013	0.012	0.014
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
secret07/cime/secret2.trs	0.014	0.013	0.013	0.013	0.013	0.014
secret07/cime/secret3.trs	0.014	0.012	0.013	0.012	0.012	0.013
secret07/cime/secret4.trs	0.013	0.013	0.013	0.013	0.014	0.013
secret07/cime/secret5.trs	0.013	0.012	0.013	0.014	0.013	0.013
secret07/others/dj.trs	0.700	7.026	28.772	60.014	60.013	60.011
secret07/TTT2/1.trs	4.018	48.079	60.012	60.012	60.013	60.012
secret07/TTT2/2.trs	60.012	60.015	60.011	60.012	60.011	60.011
secret07/TTT2/3.trs	60.011	60.014	60.014	60.012	60.012	60.012
secret07/TTT2/5.trs	60.015	60.015	60.013	60.012	60.013	60.012
SK90/2.01.trs	0.093	0.638	1.964	4.656	9.100	14.492
SK90/2.02.trs	0.363	3.412	17.437	42.397	60.011	60.012
SK90/2.03.trs	0.056	0.402	1.322	3.809	7.195	11.473
SK90/2.04.trs	0.028	0.188	0.655	2.867	8.776	34.106
SK90/2.06.trs	0.419	5.179	17.566	45.160	60.012	60.012
SK90/2.07.trs	0.012	0.013	0.014	0.013	0.013	0.016
SK90/2.08.trs	0.014	0.013	0.013	0.013	0.013	0.013
SK90/2.09.trs	0.026	0.027	0.026	0.026	0.027	0.025
SK90/2.10.trs	0.590	5.796	19.461	44.151	60.012	60.012
SK90/2.11.trs	0.031	0.031	0.032	0.031	0.030	0.031
SK90/2.12.trs	0.012	0.013	0.012	0.013	0.013	0.013
SK90/2.13.trs	0.014	0.013	0.021	0.012	0.015	0.012
SK90/2.14.trs	0.141	1.275	4.192	8.247	20.704	39.834
SK90/2.15.trs	0.012	0.013	0.012	0.012	0.013	0.013
SK90/2.16.trs	0.013	0.013	0.014	0.014	0.013	0.013
SK90/2.17.trs	0.012	0.013	0.013	0.012	0.017	0.013
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
SK90/2.18.trs	0.013	0.012	0.012	0.013	0.013	0.013
SK90/2.19.trs	0.014	0.013	0.013	0.013	0.013	0.014
SK90/2.20.trs	0.012	0.014	0.012	0.013	0.014	0.013
SK90/2.21.trs	0.012	0.013	0.013	0.013	0.013	0.014
SK90/2.22.trs	0.013	0.013	0.065	0.013	0.013	0.012
SK90/2.23.trs	0.014	0.012	0.013	0.013	0.013	0.014
SK90/2.24.trs	0.012	0.012	0.013	0.012	0.013	0.013
SK90/2.25.trs	0.012	0.014	0.012	0.013	0.013	0.013
SK90/2.26.trs	0.014	0.012	0.013	0.013	0.013	0.013
SK90/2.27.trs	0.014	0.014	0.012	0.013	0.014	0.012
SK90/2.28.trs	0.012	0.013	0.013	0.013	0.013	0.013
SK90/2.29.trs	0.015	0.013	0.013	0.013	0.013	0.013
SK90/2.30.trs	0.012	0.012	0.012	0.013	0.013	0.013
SK90/2.31.trs	0.039	0.242	0.826	1.958	3.513	5.641
SK90/2.32.trs	0.013	0.012	0.013	0.012	0.013	0.012
SK90/2.33.trs	0.122	0.818	3.133	6.517	13.554	22.204
SK90/2.34.trs	60.012	60.011	60.015	60.011	60.013	60.011
SK90/2.35.trs	0.013	0.012	0.013	0.013	0.015	0.013
SK90/2.36.trs	0.028	0.152	0.639	5.014	24.526	60.013
SK90/2.37.trs	0.013	0.013	0.022	0.013	0.013	0.013
SK90/2.38.trs	0.026	0.128	0.428	1.007	2.026	3.704
SK90/2.39.trs	0.256	1.878	8.147	17.238	28.411	60.012
SK90/2.40.trs	0.012	0.013	0.013	0.013	0.014	0.013
SK90/2.41.trs	0.066	0.066	0.067	0.065	0.066	0.066
SK90/2.42.trs	0.357	2.883	10.347	23.677	47.500	60.013
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
SK90/2.43.trs	0.014	0.013	0.013	0.013	0.014	0.013
SK90/2.44.trs	0.012	0.013	0.014	0.013	0.013	0.014
SK90/2.45.trs	0.013	0.013	0.013	0.013	0.013	0.013
SK90/2.46.trs	0.187	0.190	0.188	0.187	0.193	0.190
SK90/2.47.trs	0.019	0.066	0.205	0.546	1.062	1.916
SK90/2.48.trs	0.034	0.035	0.034	0.034	0.033	0.034
SK90/2.49.trs	1.535	1.582	1.716	1.731	1.701	1.712
SK90/2.50.trs	0.051	0.706	4.040	15.478	45.191	58.218
SK90/2.51.trs	0.013	0.013	0.012	0.013	0.013	0.013
SK90/2.52.trs	0.013	0.012	0.012	0.014	0.013	0.014
SK90/2.53.trs	0.029	0.164	0.165	0.163	0.166	0.164
SK90/2.54.trs	0.019	0.020	0.020	0.020	0.021	0.020
SK90/2.55.trs	0.022	0.077	0.248	0.547	1.157	2.041
SK90/2.56.trs	0.032	0.032	0.034	0.032	0.032	0.032
SK90/2.57.trs	0.013	0.013	0.012	0.013	0.014	0.013
SK90/2.58.trs	0.012	0.014	0.012	0.012	0.012	0.014
SK90/2.59.trs	0.013	0.014	0.014	0.013	0.013	0.014
SK90/2.60.trs	60.012	60.011	60.013	60.013	60.012	60.013
SK90/2.61.trs	2.779	21.785	22.235	23.048	22.370	20.783
SK90/4.01.trs	0.081	0.627	0.603	0.665	0.667	0.668
SK90/4.02.trs	0.013	0.013	0.013	0.013	0.018	0.013
SK90/4.03.trs	0.013	0.012	0.013	0.014	0.013	0.013
SK90/4.04.trs	1.107	11.553	48.242	60.011	60.012	60.012
SK90/4.05.trs	0.014	0.012	0.013	0.013	0.013	0.013
SK90/4.07.trs	0.022	0.084	0.260	0.598	1.163	2.109
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
SK90/4.08.trs	0.019	0.053	0.172	0.396	0.804	1.367
SK90/4.09.trs	0.013	0.012	0.013	0.012	0.013	0.014
SK90/4.10.trs	0.013	0.013	0.013	0.013	0.013	0.014
SK90/4.11.trs	0.036	0.238	0.791	1.867	3.576	6.011
SK90/4.12.trs	9.004	60.014	60.014	60.016	60.015	60.012
SK90/4.13.trs	0.012	0.013	0.013	0.012	0.014	0.013
SK90/4.14.trs	0.013	0.013	0.013	0.013	0.014	0.012
SK90/4.15.trs	0.023	0.083	0.275	0.623	1.120	2.186
SK90/4.16.trs	60.010	60.013	60.013	60.013	60.012	60.012
SK90/4.17.trs	0.011	0.013	0.013	0.013	0.013	0.014
SK90/4.18.trs	0.013	0.013	0.014	0.013	0.012	0.013
SK90/4.19.trs	9.757	9.355	9.993	9.411	9.665	9.844
SK90/4.20.trs	0.012	0.013	0.013	0.013	0.013	0.012
SK90/4.21.trs	0.012	0.013	0.012	0.013	0.014	0.014
SK90/4.22.trs	0.014	0.012	0.014	0.013	0.012	0.012
SK90/4.23.trs	0.013	0.012	0.013	0.013	0.012	0.013
SK90/4.24.trs	0.012	0.012	0.013	0.013	0.013	0.013
SK90/4.25.trs	0.056	0.056	0.056	0.056	0.056	0.057
SK90/4.26.trs	0.072	0.544	1.800	4.482	7.640	12.970
SK90/4.27.trs	60.013	60.013	60.013	60.011	60.014	60.016
SK90/4.28.trs	0.012	0.012	0.014	0.013	0.013	0.013
SK90/4.29.trs	60.012	60.012	60.012	60.013	60.013	60.011
SK90/4.30.trs	0.473	5.320	47.260	60.012	60.011	60.012
SK90/4.31.trs	0.013	0.013	0.013	0.013	0.012	0.013
SK90/4.32.trs	0.180	1.533	4.822	12.250	29.708	47.015
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
SK90/4.33.trs	0.232	0.229	0.233	0.234	0.232	0.232
SK90/4.35.trs	0.025	0.143	0.145	0.136	0.151	0.143
SK90/4.36.trs	0.024	0.151	0.154	0.155	0.152	0.152
SK90/4.37.trs	0.036	0.035	0.037	0.037	0.039	0.036
SK90/4.38.trs	0.043	0.041	0.042	0.041	0.040	0.040
SK90/4.39.trs	0.326	0.330	0.334	0.326	0.330	0.332
SK90/4.41.trs	0.013	0.013	0.012	0.012	0.012	0.013
SK90/4.42.trs	0.012	0.013	0.015	0.014	0.012	0.013
SK90/4.43.trs	1.217	10.460	42.871	60.011	60.011	60.012
SK90/4.44.trs	0.020	0.080	0.079	0.079	0.080	0.080
SK90/4.45.trs	0.015	0.015	0.014	0.015	0.016	0.014
SK90/4.46.trs	0.016	0.044	0.044	0.044	0.043	0.044
SK90/4.47.trs	60.012	60.012	60.012	60.014	60.012	60.016
SK90/4.48.trs	0.029	0.029	0.028	0.032	0.029	0.029
SK90/4.50.trs	0.012	0.014	0.013	0.014	0.013	0.012
SK90/4.51.trs	0.130	2.647	35.815	60.013	60.014	60.012
SK90/4.52.trs	0.306	2.375	7.911	23.181	43.601	60.012
SK90/4.53.trs	0.012	0.012	0.012	0.013	0.012	0.013
SK90/4.55.trs	0.019	0.074	0.232	0.778	1.493	3.053
SK90/4.56.trs	0.015	0.034	0.034	0.034	0.034	0.033
SK90/4.57.trs	0.012	0.013	0.012	0.013	0.013	0.012
SK90/4.59.trs	0.012	0.012	0.014	0.013	0.014	0.013
SK90/4.60.trs	0.012	0.012	0.012	0.012	0.012	0.013
SK90/4.61.trs	0.013	0.013	0.013	0.013	0.015	0.013
Ste92/hydra.trs	0.014	0.013	0.014	0.012	0.013	0.014
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
Ste92/motivation.trs	0.013	0.013	0.013	0.012	0.014	0.013
Ste92/perfect2.trs	0.014	0.012	0.014	0.012	0.012	0.013
Ste92/perfect.trs	0.014	0.013	0.012	0.013	0.012	0.014
Thiemann/div_notCeTermin.trs	0.013	0.013	0.013	0.013	0.013	0.013
Thiemann/factorial1.trs	0.013	0.013	0.013	0.015	0.013	0.013
Thiemann/factorial2.trs	0.012	0.013	0.015	0.016	0.013	0.012
Thiemann/identity.trs	2.490	35.214	60.012	60.013	60.012	60.015
Thiemann/logarithm.trs	0.012	0.013	0.013	0.014	0.013	0.014
Thiemann/mapHard.trs	0.013	0.013	0.013	0.014	0.013	0.013
Thiemann/modulo.trs	0.013	0.013	0.013	0.015	0.014	0.013
Thiemann/quicksort.trs	0.013	0.013	0.014	0.016	0.013	0.014
Thiemann/quot.trs	0.013	0.014	0.014	0.013	0.013	0.013
Thiemann/sizeChange.trs	0.013	0.013	0.013	0.013	0.014	0.012
Thiemann/tower_sizeChange.trs	0.359	3.465	12.811	31.791	60.013	60.012
Thiemann/tower.trs	0.013	0.013	0.013	0.013	0.013	0.013
TRCSR/Ex1_2_AEL03_FR.trs	0.014	0.014	0.012	0.013	0.013	0.012
TRCSR/Ex1_2_AEL03_Z.trs	0.013	0.013	0.013	0.012	0.012	0.013
TRCSR/Ex1_2_Luc02c_C.trs	0.014	0.013	0.016	0.013	0.013	0.012
TRCSR/Ex1_2_Luc02c_FR.trs	0.013	0.013	0.013	0.012	0.015	0.013
TRCSR/Ex1_2_Luc02c_GM.trs	0.013	0.013	0.013	0.013	0.015	0.013
TRCSR/Ex1_2_Luc02c_iGM.trs	0.014	0.013	0.011	0.013	0.015	0.013
TRCSR/Ex1_2_Luc02c_Z.trs	0.013	0.013	0.013	0.013	0.012	0.013
TRCSR/Ex14_AEGL02_C.trs	0.015	0.014	0.014	0.014	0.016	0.013
TRCSR/Ex14_AEGL02_GM.trs	0.013	0.016	0.013	0.013	0.015	0.013
TRCSR/Ex14_AEGL02_iGM.trs	0.013	0.013	0.013	0.014	0.013	0.016
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
TRCSR/Ex15_Luc06_C.trs	60.014	60.012	60.025	60.011	60.016	60.013
TRCSR/Ex15_Luc06_FR.trs	0.311	3.345	10.657	35.813	60.015	60.012
TRCSR/Ex15_Luc06_GM.trs	0.318	11.821	60.011	60.017	60.012	60.012
TRCSR/Ex15_Luc06_iGM.trs	60.013	60.013	60.011	60.084	60.016	60.013
TRCSR/Ex15_Luc06_Z.trs	0.509	7.957	8.745	9.261	8.056	7.660
TRCSR/Ex15_Luc98_C.trs	0.014	0.014	0.013	0.014	0.014	0.014
TRCSR/Ex15_Luc98_GM.trs	0.013	0.013	0.012	0.013	0.013	0.013
TRCSR/Ex15_Luc98_iGM.trs	0.013	0.014	0.014	0.013	0.014	0.014
TRCSR/Ex15_Luc98_Z.trs	0.013	0.013	0.012	0.013	0.013	0.013
TRCSR/Ex16_Luc06_C.trs	0.581	7.202	28.551	60.011	60.013	60.012
TRCSR/Ex16_Luc06_FR.trs	0.025	0.084	0.310	0.751	2.147	4.291
TRCSR/Ex16_Luc06_GM.trs	0.035	0.239	1.516	2.711	60.012	60.011
TRCSR/Ex16_Luc06_iGM.trs	0.629	6.486	35.985	60.013	60.012	60.013
TRCSR/Ex16_Luc06_Z.trs	0.020	0.085	0.338	0.810	2.404	3.594
TRCSR/Ex18_Luc06_C.trs	60.012	60.012	60.014	60.012	60.012	60.017
TRCSR/Ex18_Luc06_FR.trs	0.660	7.077	28.871	60.013	60.013	60.012
TRCSR/Ex18_Luc06_GM.trs	0.322	14.289	14.413	17.206	14.570	14.261
TRCSR/Ex18_Luc06_iGM.trs	60.013	60.011	60.014	60.013	60.014	60.014
TRCSR/Ex18_Luc06_L.trs	0.026	0.023	0.024	0.023	0.027	0.025
TRCSR/Ex18_Luc06_Z.trs	0.490	6.263	7.000	7.154	6.274	6.511
TRCSR/Ex1_GL02a_C.trs	0.013	0.013	0.014	0.014	0.014	0.014
TRCSR/Ex1_GL02a_GM.trs	0.013	0.013	0.013	0.014	0.013	0.013
TRCSR/Ex1_GL02a_iGM.trs	0.013	0.013	0.014	0.013	0.014	0.014
TRCSR/Ex1_GM99_C.trs	0.013	0.013	0.013	0.013	0.016	0.013
TRCSR/Ex1_Luc02b_FR.trs	0.013	0.012	0.013	0.012	0.013	0.012
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
TRCSR/Ex1_Luc02b_Z.trs	0.013	0.013	0.013	0.012	0.013	0.013
TRCSR/Ex1_Luc04b_C.trs	14.977	60.012	60.011	60.013	60.016	60.012
TRCSR/Ex1_Luc04b_GM.trs	0.527	5.495	19.416	60.012	60.012	60.012
TRCSR/Ex1_Luc04b_iGM.trs	16.213	60.013	60.013	60.012	60.012	60.011
TRCSR/Ex1_Zan97_C.trs	0.453	16.807	60.014	60.010	60.015	60.013
TRCSR/Ex1_Zan97_GM.trs	0.028	0.136	0.134	0.132	0.134	0.133
TRCSR/Ex1_Zan97_iGM.trs	0.467	16.652	60.012	60.012	60.012	60.011
TRCSR/Ex23_Luc06_C.trs	60.011	60.013	60.012	60.012	60.013	60.013
TRCSR/Ex23_Luc06_FR.trs	60.016	60.012	60.013	60.013	60.019	60.014
TRCSR/Ex23_Luc06_GM.trs	39.874	60.018	60.013	60.013	60.012	60.012
TRCSR/Ex23_Luc06_iGM.trs	60.014	60.012	60.012	60.011	60.013	60.017
TRCSR/Ex23_Luc06_L.trs	0.023	0.024	0.024	0.026	0.023	0.025
TRCSR/Ex23_Luc06_Z.trs	38.422	60.012	60.011	60.012	60.012	60.014
TRCSR/Ex24_GM04_C.trs	0.012	0.013	0.013	0.013	0.013	0.013
TRCSR/Ex24_Luc06_C.trs	0.013	0.014	0.013	0.013	0.013	0.013
TRCSR/Ex25_Luc06_C.trs	54.701	60.011	60.013	60.012	60.012	60.012
TRCSR/Ex25_Luc06_FR.trs	0.582	5.238	22.245	48.358	60.016	60.013
TRCSR/Ex25_Luc06_GM.trs	0.552	5.361	26.505	60.011	60.011	60.015
TRCSR/Ex25_Luc06_iGM.trs	59.238	60.012	60.013	60.013	60.017	60.014
TRCSR/Ex25_Luc06_L.trs	0.014	0.025	0.022	0.023	0.023	0.024
TRCSR/Ex25_Luc06_Z.trs	0.562	5.567	21.403	21.910	18.995	19.428
TRCSR/Ex26_Luc03b_C.trs	0.013	0.014	0.015	0.014	0.016	0.014
TRCSR/Ex26_Luc03b_GM.trs	0.050	0.013	0.014	0.013	0.016	0.013
TRCSR/Ex26_Luc03b_iGM.trs	0.014	0.013	0.014	0.014	0.014	0.013
TRCSR/Ex26_Luc03b_L.trs	0.053	0.051	0.052	0.050	0.052	0.052
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
TRCSR/Ex26_Luc03b_Z.trs	0.014	0.013	0.014	0.012	0.015	0.013
TRCSR/Ex2_Luc02a_C.trs	0.015	0.014	0.015	0.014	0.014	0.014
TRCSR/Ex2_Luc02a_FR.trs	0.014	0.015	0.012	0.013	0.014	0.013
TRCSR/Ex2_Luc02a_GM.trs	0.013	0.013	0.014	0.014	0.013	0.014
TRCSR/Ex2_Luc02a_iGM.trs	0.014	0.015	0.014	0.015	0.015	0.013
TRCSR/Ex2_Luc02a_L.trs	0.013	0.012	0.012	0.013	0.013	0.013
TRCSR/Ex2_Luc02a_Z.trs	0.013	0.014	0.012	0.012	0.013	0.013
TRCSR/Ex2_Luc03b_C.trs	0.017	0.013	0.014	0.014	0.013	0.014
TRCSR/Ex2_Luc03b_FR.trs	0.014	0.013	0.012	0.013	0.014	0.014
TRCSR/Ex2_Luc03b_GM.trs	0.013	0.012	0.014	0.013	0.013	0.013
TRCSR/Ex2_Luc03b_iGM.trs	0.013	0.013	0.013	0.013	0.017	0.013
TRCSR/Ex2_Luc03b_L.trs	0.029	0.028	0.028	0.028	0.028	0.029
TRCSR/Ex2_Luc03b_Z.trs	0.012	0.013	0.013	0.013	0.012	0.013
TRCSR/Ex3_12_Luc96a_FR.trs	0.014	0.012	0.016	0.014	0.015	0.014
TRCSR/Ex3_12_Luc96a_Z.trs	0.013	0.013	0.015	0.013	0.012	0.012
TRCSR/Ex3_3_25_Bor03_C.trs	0.017	0.013	0.014	0.014	0.015	0.014
TRCSR/Ex3_3_25_Bor03_GM.trs	0.015	0.013	0.013	0.013	0.013	0.014
TRCSR/Ex3_3_25_Bor03_iGM.trs	0.013	0.013	0.012	0.015	0.013	0.014
TRCSR/Ex3_3_25_Bor03_L.trs	0.281	0.279	0.276	0.280	0.272	0.274
TRCSR/Ex4_4_Luc96b_C.trs	0.012	0.012	0.012	0.013	0.013	0.013
TRCSR/Ex4_4_Luc96b_GM.trs	0.012	0.013	0.012	0.012	0.013	0.012
TRCSR/Ex4_4_Luc96b_iGM.trs	0.013	0.012	0.013	0.012	0.012	0.014
TRCSR/Ex4_4_Luc96b_L.trs	0.019	0.014	0.015	0.014	0.015	0.014
TRCSR/Ex4_7_15_Bor03_C.trs	60.019	60.012	60.011	60.012	60.012	60.012
TRCSR/Ex4_7_15_Bor03_FR.trs	2.136	20.286	60.012	60.012	60.013	60.012
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
TRCSR/Ex4_7_15_Bor03_GM.trs	2.268	60.012	60.012	60.012	60.014	60.012
TRCSR/Ex4_7_15_Bor03_iGM.trs	60.015	60.012	60.011	60.013	60.016	60.014
TRCSR/Ex4_7_15_Bor03_L.trs	0.533	6.498	5.532	5.883	5.789	5.898
TRCSR/Ex4_7_15_Bor03_Z.trs	2.131	60.012	60.011	60.017	60.015	60.013
TRCSR/Ex4_7_37_Bor03_FR.trs	0.013	0.013	0.012	0.012	0.013	0.014
TRCSR/Ex4_7_37_Bor03_Z.trs	0.013	0.013	0.013	0.012	0.014	0.014
TRCSR/Ex4_7_56_Bor03_FR.trs	0.013	0.013	0.013	0.012	0.014	0.012
TRCSR/Ex4_7_56_Bor03_Z.trs	0.012	0.012	0.013	0.013	0.014	0.013
TRCSR/Ex4_7_77_Bor03_C.trs	0.531	5.355	25.057	60.012	60.016	60.012
TRCSR/Ex4_7_77_Bor03_FR.trs	0.026	0.116	0.119	0.118	0.119	0.112
TRCSR/Ex4_7_77_Bor03_GM.trs	0.044	0.432	1.444	4.951	16.330	60.012
TRCSR/Ex4_7_77_Bor03_iGM.trs	0.607	6.138	32.041	60.012	60.012	60.012
TRCSR/Ex4_7_77_Bor03_Z.trs	0.025	0.117	0.117	0.116	0.117	0.118
TRCSR/Ex49_GM04_C.trs	0.013	0.014	0.014	0.014	0.014	0.013
TRCSR/Ex49_GM04_GM.trs	0.013	0.013	0.013	0.013	0.013	0.013
TRCSR/Ex49_GM04_iGM.trs	0.014	0.014	0.015	0.014	0.016	0.014
TRCSR/Ex49_GM04_Z.trs	0.013	0.013	0.013	0.013	0.012	0.012
TRCSR/Ex4_Zan97_FR.trs	0.013	0.012	0.012	0.013	0.016	0.014
TRCSR/Ex4_Zan97_Z.trs	0.013	0.013	0.014	0.013	0.015	0.013
TRCSR/Ex5_DLMMU04_C.trs	0.015	0.014	0.015	0.015	0.015	0.016
TRCSR/Ex5_DLMMU04_GM.trs	0.013	0.013	0.013	0.012	0.013	0.012
TRCSR/Ex5_DLMMU04_iGM.trs	0.014	0.014	0.014	0.014	0.014	0.014
TRCSR/Ex5_Zan97_C.trs	4.502	51.359	60.011	60.012	60.013	60.011
TRCSR/Ex5_Zan97_FR.trs	0.090	0.716	2.441	5.125	12.447	27.947
TRCSR/Ex5_Zan97_GM.trs	0.366	4.086	19.283	60.013	60.011	60.011
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
TRCSR/Ex5_Zan97_iGM.trs	4.406	55.322	60.013	60.012	60.012	60.010
TRCSR/Ex5_Zan97_Z.trs	0.085	0.642	0.681	0.687	0.661	0.650
TRCSR/Ex6_9_Luc02c_C.trs	0.016	0.012	0.014	0.013	0.014	0.013
TRCSR/Ex6_9_Luc02c_FR.trs	0.013	0.013	0.013	0.013	0.012	0.012
TRCSR/Ex6_9_Luc02c_GM.trs	0.013	0.012	0.012	0.013	0.013	0.013
TRCSR/Ex6_9_Luc02c_iGM.trs	0.014	0.013	0.014	0.014	0.014	0.014
TRCSR/Ex6_9_Luc02c_Z.trs	0.014	0.013	0.014	0.013	0.013	0.014
TRCSR/Ex6_GM04_C.trs	0.558	60.012	60.012	60.012	60.013	60.012
TRCSR/Ex6_GM04_GM.trs	0.033	0.190	0.188	0.190	0.189	0.190
TRCSR/Ex6_GM04_iGM.trs	0.602	12.041	60.017	60.011	60.013	60.014
TRCSR/Ex6_GM04_L.trs	0.012	0.015	0.015	0.014	0.018	0.014
TRCSR/Ex6_Luc98_C.trs	0.015	0.013	0.014	0.013	0.012	0.013
TRCSR/Ex6_Luc98_FR.trs	0.012	0.013	0.013	0.013	0.014	0.012
TRCSR/Ex6_Luc98_GM.trs	0.013	0.013	0.013	0.012	0.013	0.013
TRCSR/Ex6_Luc98_iGM.trs	0.019	0.013	0.013	0.013	0.016	0.013
TRCSR/Ex6_Luc98_L.trs	0.023	0.023	0.022	0.023	0.023	0.025
TRCSR/Ex6_Luc98_Z.trs	0.013	0.014	0.013	0.013	0.014	0.014
TRCSR/Ex7_BLR02_FR.trs	0.013	0.013	0.013	0.013	0.012	0.014
TRCSR/Ex7_BLR02_Z.trs	0.013	0.013	0.013	0.013	0.012	0.013
TRCSR/Ex8_BLR02_FR.trs	0.012	0.012	0.012	0.013	0.013	0.013
TRCSR/Ex8_BLR02_Z.trs	0.013	0.013	0.014	0.012	0.012	0.012
TRCSR/Ex9_BLR02_C.trs	0.013	0.015	0.015	0.015	0.014	0.014
TRCSR/Ex9_BLR02_GM.trs	0.013	0.013	0.014	0.014	0.016	0.013
TRCSR/Ex9_BLR02_iGM.trs	0.013	0.013	0.013	0.014	0.014	0.013
TRCSR/Ex9_BLR02_L.trs	2.471	17.063	15.414	13.867	13.877	13.951
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
TRCSR/Ex9_BLR02_Z.trs	0.013	0.013	0.013	0.012	0.013	0.013
TRCSR/Ex9_Luc06_C.trs	3.182	30.272	60.012	60.013	60.013	60.014
TRCSR/Ex9_Luc06_GM.trs	0.062	0.490	3.736	41.113	60.012	60.057
TRCSR/Ex9_Luc06_iGM.trs	3.017	33.348	60.012	60.012	60.012	60.014
TRCSR/ExAppendixB_AEL03_FR.trs	0.014	0.013	0.013	0.013	0.013	0.012
TRCSR/ExAppendixB_AEL03_Z.trs	0.013	0.014	0.014	0.012	0.014	0.013
TRCSR/ExConc_Zan97_C.trs	0.586	9.517	60.014	60.012	60.011	60.011
TRCSR/ExConc_Zan97_FR.trs	0.052	0.361	1.213	2.733	7.627	14.828
TRCSR/ExConc_Zan97_GM.trs	0.049	0.374	2.411	6.528	26.029	60.012
TRCSR/ExConc_Zan97_iGM.trs	0.759	8.826	50.569	60.012	60.013	60.012
TRCSR/ExConc_Zan97_L.trs	0.015	0.014	0.013	0.013	0.012	0.013
TRCSR/ExIntrod_GM01_C.trs	10.785	60.013	60.012	60.013	60.015	60.012
TRCSR/ExIntrod_GM01_GM.trs	1.011	8.435	43.121	60.012	60.012	60.013
TRCSR/ExIntrod_GM01_iGM.trs	13.482	60.015	60.016	60.012	60.012	60.012
TRCSR/ExIntrod_GM04_C.trs	10.345	60.013	60.011	60.012	60.013	60.012
TRCSR/ExIntrod_GM04_GM.trs	0.246	2.414	14.352	60.018	60.013	60.012
TRCSR/ExIntrod_GM04_iGM.trs	11.129	60.015	60.012	60.013	60.014	60.012
TRCSR/ExProp7_Luc06_C.trs	60.014	60.012	60.016	60.016	60.014	60.012
TRCSR/ExProp7_Luc06_FR.trs	2.095	20.387	60.012	60.011	60.016	60.013
TRCSR/ExProp7_Luc06_GM.trs	2.223	33.189	60.011	60.012	60.013	60.014
TRCSR/ExProp7_Luc06_iGM.trs	60.013	60.012	60.012	60.012	60.013	60.011
TRCSR/ExProp7_Luc06_L.trs	0.315	3.583	22.636	60.012	60.012	60.013
TRCSR/ExProp7_Luc06_Z.trs	2.088	21.703	60.012	60.012	60.012	60.012
TRCSR/ExSec11_1_Luc02a_C.trs	0.013	0.014	0.014	0.014	0.015	0.015
TRCSR/ExSec11_1_Luc02a_FR.trs	0.013	0.013	0.013	0.013	0.012	0.013
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
TRCSR/ExSec11_1_Luc02a_GM.trs	0.013	0.014	0.013	0.014	0.013	0.032
TRCSR/ExSec11_1_Luc02a_iGM.trs	0.016	0.018	0.013	0.014	0.014	0.014
TRCSR/ExSec11_1_Luc02a_L.trs	0.015	0.013	0.013	0.013	0.013	0.013
TRCSR/ExSec11_1_Luc02a_Z.trs	0.013	0.013	0.013	0.013	0.013	0.013
TRCSR/ExSec4_2_DLMMU04_FR.trs	0.013	0.013	0.014	0.013	0.014	0.014
TRCSR/ExSec4_2_DLMMU04_Z.trs	0.013	0.016	0.013	0.013	0.014	0.013
TRCSR/LengthOfFiniteLists_complete_GM.trs	0.015	0.014	0.013	0.016	0.014	0.015
TRCSR/LengthOfFiniteLists_complete_noand_GM.trs	0.015	0.015	0.015	0.015	0.015	0.015
TRCSR/LengthOfFiniteLists_nokinds_C.trs	0.015	0.014	0.013	0.013	0.015	0.014
TRCSR/LengthOfFiniteLists_nokinds_GM.trs	0.013	0.013	0.014	0.012	0.013	0.013
TRCSR/LengthOfFiniteLists_nokinds_noand_GM.trs	0.014	0.015	0.015	0.014	0.014	0.014
TRCSR/LengthOfFiniteLists_nokinds_noand_iGM.trs	0.014	0.015	0.014	0.014	0.017	0.054
TRCSR/LISTUTILITIES_nosorts_FR.trs	0.014	0.014	0.013	0.012	0.013	0.014
TRCSR/LISTUTILITIES_nosorts-noand_FR.trs	0.014	0.013	0.014	0.017	0.014	0.013
TRCSR/LISTUTILITIES_nosorts-noand_Z.trs	0.014	0.014	0.014	0.013	0.014	0.013
TRCSR/LISTUTILITIES_nosorts_Z.trs	0.012	0.013	0.013	0.012	0.016	0.014
TRCSR/MYNAT_complete_C.trs	0.015	0.015	0.015	0.015	0.015	0.016
TRCSR/MYNAT_complete_FR.trs	0.014	0.014	0.014	0.015	0.014	0.015
TRCSR/MYNAT_complete_iGM.trs	0.018	0.014	0.015	0.015	0.016	0.017
TRCSR/MYNAT_complete_Z.trs	0.014	0.021	0.014	0.013	0.015	0.014
TRCSR/MYNAT_nokinds_C.trs	0.016	0.014	0.014	0.014	0.014	0.014
TRCSR/MYNAT_nokinds_FR.trs	0.013	0.013	0.013	0.013	0.013	0.013
TRCSR/MYNAT_nokinds_GM.trs	0.015	0.014	0.013	0.012	0.014	0.014
TRCSR/MYNAT_nokinds_iGM.trs	0.014	0.014	0.015	0.014	0.013	0.014
TRCSR/MYNAT_nokinds-noand_FR.trs	0.013	0.015	0.014	0.013	0.013	0.013
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
TRCSR/MYNAT_nokinds_noand_GM.trs	0.013	0.015	0.014	0.014	0.013	0.014
TRCSR/MYNAT_nokinds-noand_Z.trs	0.013	0.013	0.014	0.013	0.014	0.013
TRCSR/MYNAT_nokinds_Z.trs	0.013	0.013	0.013	0.013	0.013	0.014
TRCSR/MYNAT_nosorts_C.trs	0.013	0.013	0.013	0.013	0.012	0.013
TRCSR/MYNAT_nosorts_FR.trs	0.013	0.013	0.012	0.013	0.013	0.012
TRCSR/MYNAT_nosorts_GM.trs	0.013	0.013	0.012	0.013	0.013	0.012
TRCSR/MYNAT_nosorts_iGM.trs	0.019	0.013	0.013	0.013	0.012	0.013
TRCSR/MYNAT_nosorts_noand_C.trs	0.015	0.014	0.014	0.014	0.014	0.013
TRCSR/MYNAT_nosorts-noand_FR.trs	0.013	0.014	0.012	0.013	0.013	0.013
TRCSR/MYNAT_nosorts_noand_GM.trs	0.014	0.013	0.013	0.014	0.012	0.012
TRCSR/MYNAT_nosorts_noand_iGM.trs	0.014	0.016	0.014	0.014	0.015	0.014
TRCSR/MYNAT_nosorts-noand_Z.trs	0.015	0.014	0.013	0.013	0.013	0.014
TRCSR/MYNAT_nosorts_Z.trs	0.013	0.012	0.014	0.015	0.013	0.014
TRCSR/OvConsOS_nokinds_noand_GM.trs	0.014	0.015	0.014	0.014	0.016	0.016
TRCSR/PALINDROME_complete_C.trs	0.017	0.017	0.017	0.017	0.016	0.016
TRCSR/PALINDROME_complete_FR.trs	0.015	0.014	0.014	0.014	0.014	0.017
TRCSR/PALINDROME_complete_GM.trs	0.017	0.015	0.015	0.014	0.017	0.016
TRCSR/PALINDROME_complete-noand_FR.trs	0.014	0.015	0.014	0.015	0.015	0.014
TRCSR/PALINDROME_complete_noand_GM.trs	0.016	0.016	0.015	0.015	0.016	0.016
TRCSR/PALINDROME_complete-noand_Z.trs	0.016	0.015	0.015	0.015	0.015	0.015
TRCSR/PALINDROME_complete_Z.trs	0.022	0.014	0.014	0.014	0.014	0.014
TRCSR/PALINDROME_nokinds_C.trs	60.012	60.011	60.012	60.013	60.012	60.014
TRCSR/PALINDROME_nokinds_FR.trs	39.610	60.012	60.014	60.012	60.013	60.012
TRCSR/PALINDROME_nokinds_GM.trs	1.233	13.040	60.012	60.012	60.012	60.018
TRCSR/PALINDROME_nokinds_iGM.trs	60.012	60.011	60.013	60.014	60.014	60.011
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
TRCSR/PALINDROME_nokinds_noand_C.trs	25.900	60.012	60.012	60.014	60.016	60.011
TRCSR/PALINDROME_nokinds-noand_FR.trs	4.249	34.075	60.018	60.012	60.012	60.013
TRCSR/PALINDROME_nokinds_noand_GM.trs	1.276	11.709	60.019	60.013	60.013	60.013
TRCSR/PALINDROME_nokinds_noand_iGM.trs	30.888	60.011	60.013	60.011	60.012	60.012
TRCSR/PALINDROME_nokinds-noand_Z.trs	4.419	35.358	60.014	60.011	60.013	60.014
TRCSR/PALINDROME_nokinds_Z.trs	44.082	60.012	60.013	60.012	60.013	60.013
TRCSR/PALINDROME_nosorts_C.trs	1.871	20.123	60.013	60.015	60.013	60.019
TRCSR/PALINDROME_nosorts_FR.trs	0.047	0.304	1.047	2.293	4.144	7.531
TRCSR/PALINDROME_nosorts_GM.trs	0.623	5.752	26.272	60.011	60.012	60.012
TRCSR/PALINDROME_nosorts_iGM.trs	2.732	22.171	60.011	60.011	60.012	60.011
TRCSR/PALINDROME_nosorts_noand_C.trs	6.789	60.013	60.012	60.014	60.013	60.011
TRCSR/PALINDROME_nosorts-noand_FR.trs	0.117	0.797	2.980	6.672	12.930	22.614
TRCSR/PALINDROME_nosorts_noand_GM.trs	0.773	9.486	36.336	60.011	60.013	60.016
TRCSR/PALINDROME_nosorts_noand_iGM.trs	8.196	60.012	60.013	60.012	60.012	60.012
TRCSR/PALINDROME_nosorts-noand_L.trs	0.114	0.835	2.747	6.568	11.428	20.408
TRCSR/PALINDROME_nosorts-noand_Z.trs	0.120	0.826	3.430	6.738	13.593	21.507
TRCSR/PALINDROME_nosorts_Z.trs	0.049	0.302	0.969	2.259	4.418	7.745
TRCSR/PEANO_complete_C.trs	0.013	0.014	0.014	0.015	0.014	0.014
TRCSR/PEANO_complete_FR.trs	0.014	0.013	0.012	0.012	0.012	0.013
TRCSR/PEANO_complete_GM.trs	0.014	0.014	0.014	0.016	0.018	0.014
TRCSR/PEANO_complete_iGM.trs	0.023	0.049	0.015	0.015	0.019	0.015
TRCSR/PEANO_complete-noand_FR.trs	0.013	0.015	0.013	0.014	0.014	0.014
TRCSR/PEANO_complete_noand_GM.trs	0.014	0.015	0.014	0.014	0.015	0.015
TRCSR/PEANO_complete-noand_Z.trs	0.015	0.014	0.016	0.014	0.014	0.014
TRCSR/PEANO_complete_Z.trs	0.013	0.016	0.013	0.013	0.011	0.012
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
TRCSR/PEANO_nokinds_C.trs	0.014	0.013	0.014	0.013	0.014	0.015
TRCSR/PEANO_nokinds_FR.trs	0.013	0.013	0.013	0.013	0.014	0.013
TRCSR/PEANO_nokinds_GM.trs	0.013	0.015	0.013	0.015	0.016	0.013
TRCSR/PEANO_nokinds_iGM.trs	0.014	0.015	0.014	0.014	0.013	0.013
TRCSR/PEANO_nokinds_noand_C.trs	0.015	0.014	0.018	0.014	0.014	0.014
TRCSR/PEANO_nokinds-noand_FR.trs	0.013	0.013	0.013	0.013	0.013	0.013
TRCSR/PEANO_nokinds_noand_GM.trs	0.013	0.014	0.016	0.013	0.014	0.014
TRCSR/PEANO_nokinds_noand_iGM.trs	0.014	0.014	0.013	0.014	0.016	0.014
TRCSR/PEANO_nokinds-noand_Z.trs	0.013	0.014	0.014	0.013	0.013	0.014
TRCSR/PEANO_nokinds_Z.trs	0.012	0.014	0.013	0.013	0.014	0.014
TRCSR/PEANO_nosorts_C.trs	0.734	8.037	37.857	60.012	60.013	60.016
TRCSR/PEANO_nosorts_FR.trs	0.024	0.025	0.024	0.024	0.023	0.025
TRCSR/PEANO_nosorts_GM.trs	0.469	5.015	18.917	48.826	60.012	60.012
TRCSR/PEANO_nosorts_iGM.trs	1.439	11.990	60.013	60.014	60.012	60.012
TRCSR/PEANO_nosorts_noand_C.trs	3.668	31.483	60.012	60.018	60.016	60.011
TRCSR/PEANO_nosorts-noand_FR.trs	0.858	10.028	9.346	9.274	9.851	8.949
TRCSR/PEANO_nosorts_noand_GM.trs	0.753	8.123	25.558	60.012	60.016	60.013
TRCSR/PEANO_nosorts_noand_iGM.trs	3.909	36.762	60.013	60.013	60.011	60.012
TRCSR/PEANO_nosorts-noand_Z.trs	0.788	10.275	9.131	8.749	9.839	10.744
TRCSR/PEANO_nosorts_Z.trs	0.023	0.023	0.023	0.023	0.024	0.023
various/02.trs	0.013	0.012	0.014	0.014	0.014	0.014
various/03.trs	0.012	0.012	0.013	0.012	0.012	0.013
various/06.trs	0.012	0.016	0.013	0.013	0.015	0.014
various/07.trs	0.016	0.016	0.017	0.016	0.016	0.017
various/09.trs	0.012	0.013	0.013	0.012	0.013	0.012
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
various/10.trs	0.013	0.012	0.012	0.013	0.012	0.012
various/11.trs	0.013	0.012	0.013	0.013	0.014	0.013
various/12.trs	0.012	0.012	0.013	0.013	0.012	0.012
various/13.trs	0.013	0.014	0.013	0.012	0.013	0.014
various/14.trs	0.014	0.014	0.014	0.013	0.013	0.014
various/15.trs	4.576	60.014	60.014	60.014	60.016	60.011
various/18.trs	1.812	19.332	60.014	60.012	60.018	60.012
various/19.trs	0.697	5.980	18.989	43.826	60.013	60.015
various/20.trs	60.013	60.011	60.016	60.012	60.012	60.013
various/21.trs	5.611	60.018	60.012	60.012	60.013	60.012
various/22.trs	0.013	0.014	0.013	0.013	0.012	0.012
various/23.trs	4.929	48.982	60.014	60.013	60.013	60.014
various/24.trs	60.013	60.060	60.013	60.012	60.013	60.013
various/25.trs	0.052	0.736	1.962	2.243	2.271	2.246
various/26.trs	0.013	0.012	0.013	0.012	0.016	0.012
various/27.trs	0.039	0.038	0.039	0.039	0.039	0.040
Waldmann/jwaprove1.trs	16.099	60.012	60.013	60.013	60.012	60.013
Waldmann/jwaprove2.trs	15.819	60.017	60.020	60.016	60.013	60.014
Waldmann/jwcime1.trs	60.014	60.012	60.020	60.015	60.012	60.014
Waldmann/jwcime2.trs	60.011	60.014	60.015	60.016	60.012	60.012
Waldmann/jwmatchb1.trs	4.019	58.351	60.016	60.015	60.012	60.012
Waldmann/jwmatchb2.trs	4.088	59.950	60.018	60.015	60.012	60.012
Waldmann/jwteparla1.trs	0.013	0.012	0.016	0.016	0.014	0.013
Waldmann/jwteparla2.trs	0.013	0.014	0.015	0.016	0.012	0.014
Waldmann/jwtpa1.trs	60.012	60.012	60.015	60.013	60.012	60.012
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
Waldmann/jwtpa2.trs	60.013	60.015	60.015	60.014	60.013	60.012
Waldmann/jwttt.trs	60.013	60.011	60.018	60.016	60.014	60.017
Zantema06/beans.trs	60.012	60.012	60.015	60.013	60.015	60.012
Zantema06/gcdMinMax.trs	0.013	0.013	0.013	0.014	0.013	0.012
Zantema06/gcd.trs	0.015	0.013	0.014	0.013	0.016	0.014
Zantema06/test1.trs	0.012	0.012	0.013	0.012	0.013	0.013
Zantema06/while.trs	0.013	0.012	0.014	0.013	0.013	0.012
Zantema/jw01.trs	1.733	31.875	60.013	60.019	60.013	60.016
Zantema/jw02.trs	2.991	38.919	60.012	60.012	60.012	60.013
Zantema/jw03.trs	60.011	60.010	60.022	60.013	60.011	60.012
Zantema/jw04.trs	60.016	60.012	60.013	60.012	60.098	60.013
Zantema/jw05.trs	2.688	35.395	60.014	60.018	60.012	60.017
Zantema/jw06.trs	1.847	42.775	60.012	60.012	60.012	60.012
Zantema/jw07.trs	60.012	60.012	60.012	60.012	60.012	60.014
Zantema/jw08.trs	57.604	60.012	60.017	60.012	60.012	60.013
Zantema/jw09.trs	60.018	60.012	60.014	60.012	60.013	60.014
Zantema/jw11.trs	24.896	60.013	60.014	60.017	60.012	60.014
Zantema/jw12.trs	26.687	60.014	60.013	60.012	60.012	60.012
Zantema/jw13.trs	26.965	60.012	60.016	60.012	60.012	60.013
Zantema/jw14.trs	24.986	60.012	60.015	60.013	60.012	60.014
Zantema/jw15.trs	60.011	60.012	60.014	60.012	60.012	60.019
Zantema/jw16.trs	60.012	60.014	60.012	60.011	60.012	60.012
Zantema/jw17.trs	60.012	60.012	60.014	60.015	60.012	60.013
Zantema/jw18.trs	42.667	60.011	60.012	60.018	60.012	60.018
Zantema/jw19.trs	44.931	60.012	60.011	60.011	60.015	60.012
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
Zantema/jw20.trs	60.012	60.014	60.019	60.017	60.012	60.011
Zantema/jw21.trs	60.013	60.011	60.012	60.013	60.012	60.011
Zantema/jw22.trs	60.012	60.013	60.013	60.013	60.014	60.015
Zantema/jw23.trs	60.012	60.014	60.012	60.013	60.013	60.012
Zantema/jw24.trs	60.012	60.011	60.015	60.018	60.012	60.014
Zantema/jw25.trs	60.012	60.011	60.011	60.016	60.014	60.013
Zantema/jw26.trs	60.012	60.011	60.013	60.012	60.013	60.012
Zantema/jw27.trs	60.012	60.013	60.015	60.012	60.011	60.012
Zantema/jw28.trs	60.014	60.012	60.016	60.016	60.013	60.013
Zantema/jw29.trs	60.011	60.013	60.016	60.012	60.011	60.017
Zantema/jw30.trs	49.549	60.011	60.012	60.011	60.013	60.012
Zantema/jw31.trs	37.615	60.011	60.019	60.013	60.012	60.013
Zantema/jw32.trs	60.012	60.013	60.012	60.012	60.012	60.014
Zantema/jw33.trs	60.013	60.011	60.015	60.016	60.013	60.012
Zantema/jw34.trs	60.012	60.012	60.012	60.014	60.011	60.013
Zantema/jw35.trs	25.231	60.018	60.013	60.013	60.014	60.013
Zantema/jw36.trs	25.047	60.013	60.012	60.012	60.012	60.016
Zantema/jw37.trs	26.344	60.013	60.012	60.013	60.012	60.012
Zantema/jw38.trs	24.286	60.012	60.016	60.017	60.013	60.014
Zantema/jw39.trs	60.012	60.013	60.015	60.013	60.011	60.012
Zantema/jw40.trs	60.013	60.018	60.012	60.015	60.012	60.011
Zantema/jw41.trs	53.810	60.012	60.016	60.013	60.013	60.013
Zantema/jw42.trs	60.014	60.011	60.014	60.014	60.012	60.013
Zantema/jw43.trs	60.012	60.011	60.015	60.012	60.011	60.012
Zantema/jw44.trs	60.017	60.012	60.012	60.012	60.013	60.013
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
Zantema/jw47.trs	60.013	60.011	60.012	60.012	60.013	60.012
Zantema/jw50.trs	60.011	60.012	60.016	60.015	60.012	60.014
Zantema/z01.trs	60.013	60.013	60.020	60.015	60.012	60.014
Zantema/z02.trs	1.440	15.682	60.011	60.012	60.013	60.015
Zantema/z03.trs	8.259	60.013	60.017	60.012	60.012	60.014
Zantema/z04.trs	0.013	0.012	0.013	0.013	0.013	0.012
Zantema/z05.trs	0.193	40.506	60.015	60.013	60.012	60.015
Zantema/z06.trs	0.976	42.614	60.012	60.014	60.015	60.011
Zantema/z07.trs	0.111	1.449	15.856	60.016	60.014	60.012
Zantema/z08.trs	3.691	60.014	60.012	60.011	60.013	60.013
Zantema/z09.trs	0.013	0.013	0.013	0.013	0.013	0.013
Zantema/z10.trs	0.014	0.014	0.017	0.013	0.013	0.013
Zantema/z11.trs	60.013	60.012	60.015	60.014	60.012	60.013
Zantema/z12.trs	60.013	60.012	60.012	60.013	60.013	60.016
Zantema/z13.trs	0.739	9.409	60.017	60.014	60.013	60.014
Zantema/z14.trs	2.377	30.045	60.015	60.017	60.011	60.013
Zantema/z15.trs	0.251	3.421	18.975	60.012	60.012	60.013
Zantema/z16.trs	2.323	23.717	60.012	60.013	60.013	60.019
Zantema/z17.trs	0.560	60.014	60.016	60.012	60.011	60.015
Zantema/z18.trs	3.293	40.633	60.015	60.013	60.013	60.012
Zantema/z19.trs	44.391	60.011	60.012	60.018	60.012	60.012
Zantema/z20.trs	60.012	60.012	60.016	60.017	60.013	60.013
Zantema/z21.trs	2.195	23.851	60.018	60.012	60.012	60.012
Zantema/z22.trs	60.012	60.014	60.015	60.014	60.013	60.012
Zantema/z23.trs	60.012	60.014	60.012	60.015	60.018	60.012
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
Zantema/z24.trs	0.804	9.767	57.328	60.014	60.014	60.013
Zantema/z25.trs	0.056	0.811	15.637	60.013	60.013	60.011
Zantema/z26.trs	60.020	60.014	60.012	60.014	60.012	60.012
Zantema/z27.trs	0.013	0.014	0.013	0.013	0.013	0.012
Zantema/z28.trs	0.013	0.012	0.014	0.013	0.013	0.013
Zantema/z29.trs	0.599	5.319	18.566	50.519	60.012	60.012
Zantema/z30.trs	60.012	60.012	60.015	60.016	60.012	60.016
problem	1 Bit	2 Bits	3 Bits	4 Bits	5 Bits	6 Bits
Total time	6957.127	10542.024	13055.792	14542.144	15380.418	15892.562
YES score	42	83	86	86	86	86
YES time	90.276	284.310	338.471	330.060	330.715	321.930
Avg. YES time	2.149	3.425	3.935	3.837	3.845	3.743
Timeouts	92	142	189	222	238	249