Comparison of cdiprover2 and cdiprover3

TPDB 4.0, 957 Examples

The following color code is used in the table below:

YES, we have termination and exponential/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 cdiprover2 and cdiprover3 ("-i" flag). The maximal bound for all coefficient variables has been set to 31 ("-b 31" flag), which corresponds to using at most 5 bits each in a SAT encoding.

problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
AG01/#3.10.trs	60.043	0.013	60.011	0.012
AG01/#3.12.trs	60.055	60.013	60.012	60.017
AG01/#3.13.trs	60.016	0.012	60.012	0.012
AG01/#3.14.trs	0.853	0.409	60.014	60.013
AG01/#3.15.trs	60.023	59.481	60.011	60.013
AG01/#3.16.trs	10.836	0.016	0.182	0.012
AG01/#3.17a.trs	60.015	60.012	60.011	60.011
AG01/#3.17.trs	60.036	60.014	56.791	52.096
AG01/#3.18.trs	60.015	0.013	3.266	0.012
AG01/#3.19.trs	60.016	0.014	4.510	0.012
AG01/#3.1.trs	60.019	0.014	60.011	0.011
AG01/#3.21.trs	60.016	0.013	60.011	0.012
AG01/#3.22.trs	60.018	0.015	60.012	0.012
AG01/#3.23.trs	1.141	0.013	60.014	0.012
AG01/#3.24.trs	5.249	1.000	3.749	5.134
AG01/#3.26.trs	60.015	60.012	60.013	60.013
AG01/#3.29.trs	4.748	0.013	2.935	0.012
AG01/#3.2.trs	60.094	0.013	60.018	0.012
AG01/#3.31.trs	60.020	0.013	60.018	0.013
AG01/#3.33.trs	60.015	60.012	60.012	60.014
AG01/#3.35.trs	0.094	0.093	6.967	1.952
AG01/#3.36.trs	60.096	0.015	3.335	0.012
AG01/#3.37.trs	60.016	60.012	60.013	60.016
AG01/#3.38.trs	60.018	0.013	60.013	0.011
AG01/#3.39.trs	60.015	0.015	60.013	0.012
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
AG01/#3.40.trs	60.016	0.013	60.011	0.012
AG01/#3.41.trs	60.016	0.013	60.012	0.011
AG01/#3.42.trs	60.016	0.012	60.012	0.012
AG01/#3.47.trs	60.013	0.012	60.013	0.011
AG01/#3.48.trs	60.024	0.012	60.013	0.013
AG01/#3.49.trs	60.015	60.012	60.012	60.012
AG01/#3.4.trs	60.059	0.013	60.012	0.011
AG01/#3.51.trs	60.083	60.013	60.012	60.016
AG01/#3.52.trs	60.047	0.012	60.012	0.012
AG01/#3.53a.trs	7.898	0.013	60.012	0.013
AG01/#3.53b.trs	60.017	0.013	60.012	0.012
AG01/#3.53.trs	60.016	0.014	60.012	0.011
AG01/#3.54.trs	60.016	0.013	60.011	0.012
AG01/#3.55.trs	60.028	0.016	60.012	0.012
AG01/#3.56.trs	60.042	25.931	0.391	0.160
AG01/#3.57.trs	60.022	0.016	60.013	0.011
AG01/#3.5a.trs	60.016	0.013	60.013	0.011
AG01/#3.5b.trs	60.037	0.013	60.011	0.012
AG01/#3.5.trs	60.073	0.012	60.017	0.013
AG01/#3.6a.trs	60.074	0.013	60.013	0.013
AG01/#3.6b.trs	60.016	0.013	60.013	0.012
AG01/#3.6.trs	60.015	0.013	60.011	0.012
AG01/#3.7.trs	53.503	22.928	60.013	60.014
AG01/#3.8a.trs	60.016	0.015	60.012	0.012
AG01/#3.8b.trs	60.017	0.013	60.012	0.012
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
AG01/#4.30c.trs	60.015	0.014	20.968	0.011
AProVE/AAECC-ring.trs	60.014	0.013	60.014	0.013
AProVE/AAECC.trs	60.012	0.013	60.013	0.011
AProVE/fac.trs	60.059	0.013	60.011	0.013
AProVE/forward_instantiation2.trs	4.693	0.013	60.013	0.013
AProVE/forward_instantiation.trs	5.094	0.012	60.012	0.012
AProVE/IJCAR_12.trs	60.017	0.012	5.449	0.012
AProVE/IJCAR_18.trs	60.037	0.012	60.012	0.012
AProVE/IJCAR_1.trs	60.015	0.013	60.012	0.012
AProVE/IJCAR_26a.trs	60.016	0.013	53.414	0.012
AProVE/IJCAR_26.trs	60.020	0.013	52.589	0.012
AProVE/improved_usable2.trs	3.164	0.012	60.012	0.012
AProVE/improved_usable.trs	4.611	0.013	60.012	0.012
AProVE/JFP_Ex31.trs	60.015	0.013	60.011	0.011
AProVE/JFP_Ex51.trs	60.014	0.012	60.011	0.012
AProVE/Liveness6.1.trs	60.016	35.037	60.013	60.012
AProVE/Liveness6.2.trs	60.016	31.665	60.014	60.013
AProVE/Liveness6.3.trs	60.013	60.012	60.012	60.013
AProVE/Liveness6.4.trs	60.021	60.013	60.014	60.012
AProVE/Liveness8.trs	60.014	60.013	60.012	60.013
AProVE/Liveness_WRS.trs	60.015	60.012	60.011	60.012
AProVE/LPAR_intlist.trs	60.015	60.013	60.012	60.012
AProVE/rta1.trs	60.015	0.014	21.012	0.012
AProVE/rta2.trs	5.463	0.012	32.465	0.012
AProVE/rta3.trs	60.018	0.013	60.013	0.012
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
Beerendonk/10.trs	60.041	0.012	60.012	0.011
Beerendonk/11.trs	60.066	0.014	60.013	0.011
Beerendonk/12.trs	60.058	0.018	60.012	0.011
Beerendonk/13.trs	60.015	0.013	60.012	0.011
Beerendonk/14.trs	60.017	0.012	60.012	0.012
Beerendonk/15.trs	60.014	0.015	60.012	0.012
Beerendonk/16.trs	60.097	0.013	60.013	0.012
Beerendonk/17.trs	60.016	0.013	60.013	0.011
Beerendonk/18.trs	60.040	0.013	60.014	0.011
Beerendonk/19.trs	60.017	0.013	60.013	0.012
Beerendonk/1.trs	60.015	0.013	60.012	0.011
Beerendonk/20.trs	60.017	0.012	60.013	0.012
Beerendonk/21.trs	60.016	0.018	60.014	0.011
Beerendonk/22.trs	60.015	0.012	60.012	0.012
Beerendonk/23.trs	60.061	0.012	60.013	0.011
Beerendonk/24.trs	60.016	0.012	60.012	0.011
Beerendonk/2.trs	60.015	0.013	60.013	0.011
Beerendonk/3.trs	60.015	0.012	60.012	0.012
Beerendonk/4.trs	31.025	0.012	60.012	0.012
Beerendonk/5.trs	60.015	0.012	60.013	0.011
Beerendonk/6.trs	60.016	0.013	60.013	0.011
Beerendonk/7.trs	60.015	0.012	60.013	0.011
Beerendonk/8.trs	60.014	0.012	60.013	0.012
Beerendonk/9.trs	60.017	0.012	60.015	0.011
Cime/ack_prolog.trs	60.020	0.013	60.011	0.011
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
Cime/append-hard.trs	60.015	0.013	12.597	0.011
Cime/append.trs	8.968	0.012	0.542	0.012
Cime/big.trs	60.016	0.014	60.014	0.013
Cime/boolean_rings.trs	60.014	0.014	1.767	0.011
Cime/dpqs.trs	60.016	48.596	60.011	60.013
Cime/fact-hard.trs	60.018	0.014	60.014	0.012
Cime/filliatre2.trs	60.021	60.013	60.011	60.016
Cime/filliatre3.trs	60.015	0.013	60.013	0.011
Cime/filliatre.trs	60.022	60.011	60.013	60.012
Cime/intersect.trs	60.022	0.012	60.012	0.012
Cime/list-sum-prod-assoc-append.trs	60.016	0.014	8.284	0.011
Cime/list-sum-prod-assoc.trs	60.015	0.013	3.336	0.017
Cime/list-sum-prod-bin-assoc-distr-app.trs	60.015	0.013	24.982	0.012
Cime/list-sum-prod-bin-assoc.trs	60.016	0.012	12.550	0.016
Cime/list-sum-prod-bin.trs	60.017	0.013	60.012	0.012
Cime/list-sum-prod.trs	60.016	0.013	47.414	0.012
Cime/log2.trs	60.016	0.013	60.012	0.016
Cime/lse.trs	60.016	0.012	60.013	0.013
Cime/mucrl1.trs	60.046	0.022	60.012	0.021
Cime/quick.trs	60.016	0.013	60.014	0.012
Cime/ternary-hard.trs	60.016	0.013	36.802	0.011
Cime/ternary.trs	60.018	0.013	60.013	0.012
Cime/tree.trs	60.015	0.013	60.012	0.013
CSR/Ex1_Luc04b_GM.trs	60.014	60.014	60.011	60.016
currying/AG01/#3.10.trs	60.047	0.014	60.013	0.013
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
currying/AG01/#3.13.trs	60.052	0.014	60.014	0.012
currying/AG01/#3.16.trs	60.017	0.012	60.013	0.012
currying/AG01/#3.18.trs	60.013	0.012	60.014	0.012
currying/AG01/#3.22.trs	60.053	0.013	60.014	0.012
currying/AG01/#3.25.trs	60.056	0.013	60.014	0.011
currying/AG01/#3.27.trs	60.049	0.014	60.013	0.012
currying/AG01/#3.2.trs	60.015	0.013	60.015	0.013
currying/AG01/#3.32.trs	60.022	0.012	60.014	0.012
currying/AG01/#3.36.trs	60.013	0.013	60.013	0.012
currying/AG01/#3.38.trs	60.013	0.013	60.017	0.012
currying/AG01/#3.40.trs	60.073	0.012	60.016	0.012
currying/AG01/#3.45.trs	60.051	0.013	60.016	0.012
currying/AG01/#3.48.trs	60.013	0.013	60.013	0.012
currying/AG01/#3.52.trs	60.051	0.013	60.017	0.011
currying/AG01/#3.55.trs	60.013	0.013	60.013	0.013
currying/AG01/#3.57.trs	60.014	0.013	60.015	0.013
currying/AG01/#3.6.trs	60.057	0.013	60.015	0.012
currying/AG01/#3.8.trs	60.060	0.013	60.013	0.012
currying/D33/01.trs	60.019	0.013	60.018	0.012
currying/D33/02.trs	60.049	0.012	60.015	0.015
currying/D33/06.trs	60.020	0.013	60.014	0.011
currying/D33/08.trs	60.023	0.013	60.014	0.012
currying/D33/11.trs	60.026	0.014	60.014	0.013
currying/D33/12.trs	60.017	0.013	60.014	0.013
currying/D33/13.trs	60.014	0.012	60.014	0.013
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
currying/D33/17.trs	60.058	0.012	60.015	0.014
currying/D33/18.trs	60.057	0.013	60.013	0.015
currying/D33/21.trs	60.029	0.011	60.015	0.013
currying/D33/29.trs	60.013	0.012	60.014	0.011
currying/D33/30.trs	60.016	0.012	60.016	0.011
currying/D33/31.trs	60.051	0.013	60.017	0.011
currying/Ste92/hydra.trs	60.012	0.013	60.014	0.012
currying/Ste92/motivation.trs	60.013	0.012	60.013	0.014
currying/Ste92/perfect2.trs	60.052	0.013	60.015	0.013
currying/Ste92/perfect.trs	60.107	0.014	60.047	0.012
D33/01.trs	0.040	0.037	0.050	0.049
D33/02.trs	0.056	0.055	0.040	0.034
D33/03.trs	0.023	0.019	0.022	0.021
D33/04.trs	0.168	0.082	0.198	0.108
D33/06.trs	60.012	58.628	60.012	60.013
D33/07.trs	0.031	0.030	0.060	0.058
D33/08.trs	60.014	0.013	60.017	0.012
D33/09.trs	9.784	4.591	1.933	1.867
D33/11.trs	60.013	0.012	60.016	0.011
D33/12.trs	60.012	0.013	60.013	0.012
D33/13.trs	60.015	0.012	60.012	0.012
D33/17.trs	40.934	10.294	0.158	0.150
D33/18.trs	60.013	0.013	60.016	0.012
D33/20.trs	60.014	60.016	60.017	60.013
D33/21.trs	60.012	0.013	60.014	0.012
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
D33/27.trs	0.271	0.131	0.328	1.130
D33/28.trs	31.407	0.013	60.012	0.012
D33/30.trs	60.013	0.012	60.012	0.011
D33/31.trs	60.015	0.013	60.012	0.011
D33/32.trs	60.015	0.012	60.014	0.011
Endrullis/direct.trs	60.012	60.012	60.012	60.015
Endrullis/labeling.trs	55.137	0.013	60.013	0.014
Endrullis/linear1.trs	60.013	60.012	60.012	60.012
Endrullis/linear2.trs	60.012	60.012	60.013	60.011
Endrullis/pair2hard.trs	60.013	0.013	60.012	0.011
Endrullis/pair2simple1.trs	60.014	0.014	60.013	0.014
Endrullis/pair2simple2.trs	60.076	0.014	60.012	0.013
Endrullis/pair3hard.trs	60.014	0.013	9.561	0.013
Endrullis/pair3rotate.trs	60.018	60.014	60.011	60.014
Endrullis/pair3swap.trs	60.014	60.013	60.013	60.013
Endrullis/quadruple1.trs	60.019	60.013	60.013	60.012
Endrullis/quadruple2.trs	60.021	60.013	60.014	60.014
higher-order/AotoYam/002.trs	60.013	0.013	60.014	0.012
higher-order/AotoYam/004.trs	60.019	0.013	60.014	0.011
higher-order/AotoYam/005.trs	38.974	39.285	60.015	60.013
higher-order/AotoYam/006.trs	60.016	0.014	60.013	0.015
higher-order/AotoYam/007.trs	60.016	0.017	60.014	0.012
higher-order/AotoYam/009.trs	60.043	0.012	60.015	0.012
higher-order/AotoYam/010.trs	60.087	0.013	60.014	0.012
higher-order/AotoYam/011.trs	60.025	0.012	60.015	0.012
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
higher-order/AotoYam/012.trs	60.040	0.013	60.013	0.012
higher-order/AotoYam/013.trs	60.036	0.013	60.016	0.015
higher-order/AotoYam/014.trs	60.014	0.012	60.017	0.012
higher-order/AotoYam/015.trs	60.015	0.012	60.014	0.012
higher-order/AotoYam/016.trs	60.016	0.013	60.013	0.011
higher-order/AotoYam/017.trs	0.085	0.080	0.061	0.060
higher-order/AotoYam/019.trs	60.066	0.013	60.015	0.011
higher-order/AotoYam/020.trs	60.047	0.013	60.013	0.012
higher-order/AotoYam/021.trs	60.012	0.013	60.015	0.011
higher-order/AotoYam/022.trs	60.013	0.014	60.016	0.015
higher-order/AotoYam/023.trs	40.976	38.926	60.014	60.013
higher-order/AotoYam/024.trs	60.024	0.013	60.016	0.012
higher-order/AotoYam/025.trs	0.028	0.023	0.021	0.020
higher-order/AotoYam/026.trs	60.014	0.013	60.011	0.012
higher-order/AotoYam/027.trs	60.017	0.013	60.016	0.011
higher-order/AotoYam/028.trs	60.014	0.013	60.013	0.011
higher-order/AotoYam/Ex1SimplyTyped.trs	60.025	0.013	60.014	0.012
higher-order/AProVE_HO/mapDivMinusHard.trs	60.017	0.013	60.012	0.012
higher-order/AProVE_HO/mapDivMinus.trs	60.045	0.013	60.012	0.011
higher-order/AProVE_HO/ReverseLastInit.trs	60.023	60.012	60.016	60.013
higher-order/AProVE_HO/TakeDropWhile.trs	60.017	0.013	60.011	0.011
higher-order/AProVE_HO/TypeEx1.trs	60.014	0.012	60.012	0.011
higher-order/Bird/BTreeMember.trs	60.157	0.013	60.014	0.012
higher-order/Bird/Ex2_6_1Composition.trs	0.375	0.367	0.584	0.577
higher-order/Bird/TreeFlatten.trs	60.115	0.012	60.014	0.013
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
higher-order/Bird/TreeHeight.trs	60.016	0.013	60.019	0.012
higher-order/Bird/TreeLevels.trs	60.015	0.013	60.014	0.012
higher-order/Bird/TreeMap.trs	60.016	0.013	60.013	0.012
higher-order/Bird/TreeSize.trs	60.017	0.013	60.012	0.012
higher-order/Kusakari/Ex6_11.trs	60.013	0.013	60.013	0.013
higher-order/Kusakari/Ex7_9.trs	60.013	0.013	60.013	0.012
higher-order/Lifantsev/Ex3Lists.trs	60.033	0.014	60.014	0.014
higher-order/Lifantsev/Ex4MapList.trs	60.036	0.013	60.018	0.012
higher-order/Lifantsev/Ex8Polymorphic.trs	60.095	0.014	60.014	0.011
higher-order/Lifantsev/Ex9Maps.trs	60.017	0.012	60.022	0.011
HM/t000.trs	60.016	60.012	60.011	60.014
HM/t001.trs	60.014	0.012	60.019	0.012
HM/t002.trs	60.014	0.014	60.016	0.015
HM/t003.trs	60.015	0.013	60.013	0.015
HM/t004.trs	60.015	60.013	60.012	60.013
HM/t005.trs	60.013	0.016	60.015	0.015
HM/t006.trs	0.029	0.026	0.030	0.030
HM/t007.trs	60.015	60.013	60.012	60.016
HM/t008.trs	60.014	60.014	60.012	60.017
HM/t009.trs	60.015	60.012	60.014	60.011
HM/t010.trs	0.207	0.123	1.690	20.636
HM/t011.trs	0.386	0.159	0.877	0.538
HM/t012.trs	60.015	60.012	60.012	60.015
HM/t013.trs	60.011	0.012	3.381	0.011
HM/t014.trs	60.016	0.013	60.013	0.014
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
HofWald/1.trs	60.027	60.012	60.013	60.011
HofWald/2.trs	60.060	60.014	60.013	60.013
HofWald/3.trs	60.021	0.014	60.014	0.014
HofWald/4.trs	60.049	60.012	60.014	60.011
HofWald/5.trs	60.091	0.013	60.014	0.015
Koprowski/gcd_triple.trs	60.017	0.013	60.013	0.012
LJB01/jones1.trs	0.023	0.024	0.049	0.045
LJB01/jones2.trs	6.986	0.013	60.012	0.011
LJB01/jones4.trs	0.048	0.045	0.098	0.096
LJB01/jones5.trs	4.903	0.013	0.037	0.011
LJB01/jones6.trs	0.596	0.253	2.505	1.703
nontermin/AG01/#4.20a.trs	12.888	4.698	21.040	60.013
nontermin/AG01/#4.20.trs	0.243	0.115	0.104	0.186
nontermin/AG01/#4.21.trs	60.014	60.012	60.013	60.014
nontermin/AG01/#4.22.trs	60.014	0.014	60.012	0.011
nontermin/AG01/#4.23.trs	60.015	0.016	60.013	0.011
nontermin/AG01/#4.25.trs	0.399	0.151	0.019	0.020
nontermin/AG01/#4.26.trs	60.045	0.014	60.012	0.012
nontermin/AG01/#4.27.trs	60.022	0.012	60.013	0.011
nontermin/AG01/#4.28.trs	60.044	60.013	60.013	60.017
nontermin/AG01/#4.29.trs	60.017	0.013	60.013	0.011
nontermin/AG01/#4.30a.trs	60.023	0.014	60.012	0.012
nontermin/AG01/#4.30b.trs	60.013	0.013	60.010	0.017
nontermin/AG01/#4.30c.trs	60.014	0.014	19.310	0.011
nontermin/AG01/#4.30.trs	60.066	0.014	60.013	0.012
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
nontermin/AG01/#4.31.trs	60.013	60.017	11.734	11.312
nontermin/AG01/#4.32.trs	60.096	0.013	60.010	0.012
nontermin/AG01/#4.33.trs	60.015	0.012	60.012	0.012
nontermin/AG01/#4.34.trs	60.015	0.013	60.012	0.012
nontermin/AG01/#4.35.trs	60.018	0.013	60.011	0.012
nontermin/AG01/#4.36.trs	60.023	0.013	60.012	0.012
nontermin/AG01/#4.37a.trs	12.860	3.621	11.849	9.997
nontermin/AG01/#4.37.trs	14.819	2.306	12.202	3.859
nontermin/cariboo/tricky1.trs	60.013	0.012	60.013	0.014
nontermin/CSR/Ex49_GM04.trs	60.013	0.012	60.011	0.014
nontermin/Rubio-inn/test830.trs	1.376	0.443	9.419	60.021
Rubio/aoto.trs	60.015	60.012	60.012	60.015
Rubio/bintrees.trs	0.894	0.406	60.014	60.012
Rubio/bn122.trs	16.285	0.012	60.010	0.012
Rubio/bn129.trs	60.016	60.012	60.012	60.015
Rubio/division.trs	60.016	0.013	60.011	0.011
Rubio/elimdupl.trs	60.017	0.013	60.012	0.011
Rubio/enno.trs	60.015	0.013	60.012	0.012
Rubio/gcd.trs	60.014	0.012	60.016	0.015
Rubio/gmnp.trs	60.012	25.877	1.081	0.579
Rubio/gm.trs	60.015	0.012	60.011	0.011
Rubio/koen.trs	0.352	0.164	2.843	1.863
Rubio/lescanne.trs	60.012	39.302	60.013	60.017
Rubio/lindau.trs	60.014	60.011	60.012	60.015
Rubio/logarquot.trs	60.015	0.014	60.012	0.014
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
Rubio/ma96.trs	60.014	0.013	60.012	0.012
Rubio/mfp90b.trs	0.029	0.026	0.145	0.267
Rubio/mfp95.trs	0.666	0.670	5.596	5.688
Rubio/nestrec.trs	60.016	60.012	60.017	60.012
Rubio/p266.trs	5.075	1.462	60.012	14.999
Rubio/polo2.trs	60.015	0.013	60.012	0.011
Rubio/prov.trs	60.012	0.014	60.013	0.013
Rubio/quick.trs	60.013	0.012	60.015	0.011
Rubio/quotminus.trs	60.013	0.012	60.012	0.011
Rubio/revlist.trs	60.013	0.013	60.013	0.012
Rubio/selsort.trs	60.014	0.013	60.012	0.015
Rubio/test4.trs	60.016	19.009	60.012	60.013
Rubio/test829.trs	19.349	6.709	60.013	60.015
Rubio/wst99.trs	60.016	0.013	60.012	0.012
SchneiderKamp/trs/cade01.trs	60.016	0.014	60.013	0.011
SchneiderKamp/trs/cade03.trs	60.016	0.013	60.011	0.012
SchneiderKamp/trs/cade04t.trs	46.243	0.012	60.014	0.012
SchneiderKamp/trs/cade05t.trs	60.015	0.013	60.012	0.011
SchneiderKamp/trs/cade06.trs	60.015	0.013	60.011	0.011
SchneiderKamp/trs/cade07.trs	60.014	0.013	60.012	0.013
SchneiderKamp/trs/cade08.trs	60.015	0.013	60.012	0.011
SchneiderKamp/trs/cade09.trs	60.013	0.013	60.012	0.012
SchneiderKamp/trs/cade10.trs	60.016	0.013	60.012	0.011
SchneiderKamp/trs/cade11.trs	60.014	0.013	60.011	0.012
SchneiderKamp/trs/cade13t.trs	60.015	0.017	60.012	0.011
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
SchneiderKamp/trs/cade14.trs	60.016	0.013	60.012	0.012
SchneiderKamp/trs/cade15.trs	60.015	0.014	52.214	0.012
SchneiderKamp/trs/cade16.trs	60.016	0.014	4.483	0.012
SchneiderKamp/trs/kabasci01.trs	60.016	0.015	60.012	0.015
SchneiderKamp/trs/kabasci02.trs	60.017	0.013	60.014	0.013
SchneiderKamp/trs/kabasci03.trs	60.013	0.012	60.016	0.012
SchneiderKamp/trs/kabasci04.trs	60.015	0.014	60.013	0.012
SchneiderKamp/trs/kabasci05.trs	60.014	0.014	60.012	0.012
SchneiderKamp/trs/kabasci06.trs	60.016	0.013	60.013	0.011
SchneiderKamp/trs/otto01.trs	60.014	0.014	60.012	0.012
SchneiderKamp/trs/otto02.trs	60.015	0.014	60.012	0.012
SchneiderKamp/trs/otto03.trs	60.015	0.013	60.014	0.012
SchneiderKamp/trs/otto04.trs	60.014	0.014	60.012	0.012
SchneiderKamp/trs/otto05.trs	60.012	0.013	3.325	0.011
SchneiderKamp/trs/otto06.trs	60.013	0.012	60.012	0.011
SchneiderKamp/trs/otto07.trs	60.012	0.012	60.013	0.011
SchneiderKamp/trs/otto08.trs	60.015	0.013	60.012	0.013
SchneiderKamp/trs/otto09.trs	60.013	0.013	60.016	0.011
SchneiderKamp/trs/otto10.trs	60.015	0.013	60.012	0.012
SchneiderKamp/trs/otto11.trs	60.013	0.013	4.067	0.014
SchneiderKamp/trs/otto12.trs	60.012	0.012	15.888	0.011
SchneiderKamp/trs/otto13.trs	60.013	0.012	60.012	0.013
SchneiderKamp/trs/thiemann01.trs	60.012	0.013	60.015	0.013
SchneiderKamp/trs/thiemann02.trs	60.012	0.013	60.015	0.011
SchneiderKamp/trs/thiemann03.trs	60.011	0.012	60.013	0.012
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
SchneiderKamp/trs/thiemann04.trs	60.014	0.013	60.012	0.012
SchneiderKamp/trs/thiemann05.trs	60.014	0.014	60.014	0.012
SchneiderKamp/trs/thiemann06.trs	60.016	0.013	60.013	0.011
SchneiderKamp/trs/thiemann07.trs	60.012	0.014	60.023	0.012
SchneiderKamp/trs/thiemann08.trs	60.016	0.014	7.716	0.013
SchneiderKamp/trs/thiemann09.trs	60.013	0.013	60.019	0.012
SchneiderKamp/trs/thiemann10.trs	60.014	0.013	60.014	0.011
SchneiderKamp/trs/thiemann11.trs	60.016	0.013	9.339	0.012
SchneiderKamp/trs/thiemann12.trs	60.015	0.014	35.218	0.012
SchneiderKamp/trs/thiemann13.trs	60.011	0.012	60.014	0.012
SchneiderKamp/trs/thiemann14.trs	60.014	0.014	60.014	0.012
SchneiderKamp/trs/thiemann15.trs	60.014	0.012	3.117	0.011
SchneiderKamp/trs/thiemann16.trs	60.015	0.014	60.013	0.012
SchneiderKamp/trs/thiemann17.trs	60.014	0.014	60.013	0.012
SchneiderKamp/trs/thiemann18.trs	60.017	0.013	60.013	0.013
SchneiderKamp/trs/thiemann19.trs	60.015	0.013	60.012	0.011
SchneiderKamp/trs/thiemann20.trs	60.016	0.014	3.088	0.011
SchneiderKamp/trs/thiemann22.trs	60.013	0.012	60.013	0.011
SchneiderKamp/trs/thiemann23.trs	60.016	0.012	60.013	0.011
SchneiderKamp/trs/thiemann24.trs	60.015	0.013	18.098	0.013
SchneiderKamp/trs/thiemann25.trs	60.015	0.014	10.372	0.011
SchneiderKamp/trs/thiemann27.trs	60.016	0.016	60.012	0.012
SchneiderKamp/trs/thiemann29.trs	60.016	0.014	60.012	0.013
SchneiderKamp/trs/thiemann31.trs	60.015	0.013	60.014	0.012
SchneiderKamp/trs/thiemann32.trs	60.011	0.013	60.012	0.012
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
SchneiderKamp/trs/thiemann33.trs	60.016	0.013	60.011	0.012
SchneiderKamp/trs/thiemann34.trs	60.015	0.014	60.013	0.012
SchneiderKamp/trs/thiemann35.trs	60.015	0.014	60.013	0.014
SchneiderKamp/trs/thiemann36.trs	60.014	0.015	60.011	0.012
SchneiderKamp/trs/thiemann37.trs	60.015	0.013	60.012	0.011
SchneiderKamp/trs/thiemann38.trs	60.014	0.013	60.012	0.011
SchneiderKamp/trs/thiemann39.trs	60.016	0.014	60.012	0.013
SchneiderKamp/trs/thiemann41.trs	60.018	0.014	60.012	0.012
secret05/aprove1.trs	60.058	0.013	60.014	0.011
secret05/aprove2.trs	60.016	0.013	60.014	0.013
secret05/aprove3.trs	60.018	0.012	60.014	0.012
secret05/aprove4.trs	60.016	0.013	60.016	0.011
secret05/aprove5.trs	60.023	0.012	60.022	0.012
secret05/cime1.trs	60.021	0.013	60.013	0.022
secret05/cime2.trs	60.068	0.013	60.015	0.010
secret05/cime5.trs	60.014	0.014	60.014	0.012
secret05/matchbox1.trs	32.893	0.012	60.015	0.012
secret05/matchbox2.trs	60.037	60.013	60.015	60.012
secret05/teparla1.trs	60.066	60.018	60.013	60.012
secret05/teparla2.trs	60.016	60.014	60.014	60.012
secret05/teparla3.trs	60.014	60.012	60.015	60.012
secret05/tpa1.trs	60.015	0.012	60.014	0.011
secret05/tpa2.trs	60.017	0.013	60.014	0.012
secret05/tpa3.trs	60.016	0.013	60.015	0.011
secret05/tpa4.trs	60.014	0.013	60.014	0.011
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
secret05/tpa5.trs	60.014	0.013	60.014	0.012
secret06/aprove/addList.trs	60.016	0.013	60.011	0.011
secret06/aprove/divExp.trs	60.016	0.013	60.012	0.012
secret06/aprove/division.trs	60.015	0.013	37.487	0.011
secret06/aprove/double.trs	60.017	0.013	15.224	0.011
secret06/aprove/logarithm.trs	60.016	0.013	60.013	0.012
secret06/aprove/nrOfNodes.trs	60.016	0.013	60.012	0.011
secret06/aprove/reverse.trs	60.016	0.013	16.398	0.012
secret06/aprove/sumList.trs	60.017	0.014	60.021	0.015
secret06/aprove/times.trs	60.016	0.013	60.013	0.012
secret06/aprove/toList.trs	60.016	0.013	60.013	0.012
secret06/jambox/10.trs	60.016	60.012	60.014	60.021
secret06/jambox/2.trs	60.015	60.012	60.013	60.017
secret06/jambox/3.trs	60.020	60.012	60.013	60.017
secret06/jambox/4.trs	60.014	60.012	60.012	60.014
secret06/jambox/5.trs	60.020	60.012	60.012	60.017
secret06/jambox/6.trs	60.016	60.013	60.011	60.017
secret06/jambox/7.trs	60.020	60.013	60.012	60.016
secret06/jambox/8.trs	60.014	60.012	60.012	60.016
secret06/jambox/9.trs	60.015	60.012	60.013	60.016
secret06/matchbox/gen-10.trs	60.017	0.014	60.013	0.011
secret06/matchbox/gen-14.trs	60.023	0.012	60.012	0.012
secret06/matchbox/gen-15.trs	60.018	0.013	37.707	0.011
secret06/matchbox/gen-17.trs	60.016	0.013	60.018	0.011
secret06/matchbox/gen-18.trs	60.014	0.012	7.661	0.012
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
secret06/matchbox/gen-1.trs	60.016	0.013	60.012	0.011
secret06/matchbox/gen-22.trs	60.017	0.013	60.014	0.011
secret06/matchbox/gen-25.trs	60.016	0.013	60.012	0.011
secret06/matchbox/gen-28.trs	60.019	0.013	60.016	0.011
secret06/matchbox/gen-9.trs	60.017	0.013	60.012	0.011
secret06/tpa01.trs	60.012	60.013	60.018	60.015
secret06/tpa02.trs	60.015	48.681	60.012	60.017
secret06/tpa03.trs	54.593	14.656	60.014	60.012
secret06/tpa04.trs	60.016	0.012	60.013	0.012
secret06/tpa05.trs	60.016	0.013	60.013	0.012
secret06/tpa06.trs	60.015	0.013	60.012	0.015
secret06/tpa07.trs	60.016	0.013	60.012	0.012
secret06/tpa08.trs	60.015	0.013	60.012	0.014
secret06/tpa09.trs	60.016	0.012	60.013	0.011
secret06/tpa10.trs	60.014	0.013	60.013	0.011
secret07/aprove/aprove01.trs	60.015	0.013	60.012	0.012
secret07/aprove/aprove02.trs	60.091	0.013	43.767	0.012
secret07/aprove/aprove04.trs	60.015	0.012	60.012	0.012
secret07/aprove/aprove05.trs	60.045	0.012	60.012	0.012
secret07/aprove/aprove06.trs	60.022	0.013	60.012	0.013
secret07/aprove/aprove07.trs	60.093	0.013	27.562	0.012
secret07/aprove/aprove08.trs	60.021	0.013	60.012	0.011
secret07/aprove/aprove09.trs	60.023	0.013	60.013	0.012
secret07/aprove/aprove10.trs	60.017	0.012	60.016	0.011
secret07/cime/secret1.trs	60.023	0.012	60.012	0.012
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
secret07/cime/secret2.trs	60.016	0.013	25.309	0.012
secret07/cime/secret3.trs	60.015	0.012	7.681	0.012
secret07/cime/secret4.trs	60.021	0.014	13.962	0.012
secret07/cime/secret5.trs	60.029	0.013	48.142	0.011
secret07/others/dj.trs	60.023	60.013	60.013	60.013
secret07/TTT2/1.trs	60.089	60.013	60.012	60.012
secret07/TTT2/2.trs	60.014	60.011	60.011	60.012
secret07/TTT2/3.trs	60.102	60.012	60.011	60.014
secret07/TTT2/5.trs	60.015	60.013	60.012	60.012
SK90/2.01.trs	43.582	9.100	0.141	0.133
SK90/2.02.trs	60.081	60.011	60.012	60.016
SK90/2.03.trs	31.884	7.195	0.128	0.194
SK90/2.04.trs	29.244	8.776	60.013	60.011
SK90/2.06.trs	60.015	60.012	60.011	60.016
SK90/2.07.trs	33.576	0.013	0.328	0.011
SK90/2.08.trs	51.154	0.013	60.014	0.014
SK90/2.09.trs	0.057	0.027	0.042	0.035
SK90/2.10.trs	60.018	60.012	1.712	1.682
SK90/2.11.trs	0.038	0.030	0.070	0.069
SK90/2.12.trs	47.834	0.013	1.282	0.011
SK90/2.13.trs	34.465	0.015	0.227	0.012
SK90/2.14.trs	60.012	20.704	0.528	0.642
SK90/2.15.trs	60.012	0.013	60.010	0.012
SK90/2.16.trs	60.013	0.013	2.078	0.011
SK90/2.17.trs	60.025	0.017	60.013	0.012
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
SK90/2.18.trs	24.659	0.013	60.013	0.011
SK90/2.19.trs	60.016	0.013	60.012	0.012
SK90/2.20.trs	60.017	0.014	60.017	0.012
SK90/2.21.trs	60.036	0.013	60.013	0.011
SK90/2.22.trs	32.494	0.013	60.013	0.011
SK90/2.23.trs	60.020	0.013	2.161	0.012
SK90/2.24.trs	60.013	0.013	60.012	0.012
SK90/2.25.trs	60.013	0.013	60.013	0.012
SK90/2.26.trs	60.016	0.013	60.011	0.011
SK90/2.27.trs	60.030	0.014	60.012	0.016
SK90/2.28.trs	60.020	0.013	60.014	0.012
SK90/2.29.trs	60.015	0.013	60.013	0.011
SK90/2.30.trs	60.067	0.013	60.014	0.011
SK90/2.31.trs	11.514	3.513	0.290	0.214
SK90/2.32.trs	60.018	0.013	1.361	0.012
SK90/2.33.trs	47.857	13.554	0.685	0.698
SK90/2.34.trs	60.013	60.013	60.017	60.014
SK90/2.35.trs	16.499	0.015	0.300	0.015
SK90/2.36.trs	60.013	24.526	60.013	60.013
SK90/2.37.trs	60.018	0.013	60.015	0.012
SK90/2.38.trs	6.958	2.026	0.060	0.049
SK90/2.39.trs	60.017	28.411	1.147	4.489
SK90/2.40.trs	60.043	0.014	60.012	0.011
SK90/2.41.trs	0.064	0.066	37.008	60.016
SK90/2.42.trs	60.017	47.500	1.636	0.583
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
SK90/2.43.trs	60.018	0.014	60.013	0.012
SK90/2.44.trs	60.013	0.013	60.013	0.012
SK90/2.45.trs	60.061	0.013	60.012	0.011
SK90/2.46.trs	0.189	0.193	0.360	0.418
SK90/2.47.trs	3.837	1.062	0.034	0.034
SK90/2.48.trs	0.034	0.033	0.647	0.155
SK90/2.49.trs	1.588	1.701	60.012	60.013
SK90/2.50.trs	1.948	45.191	0.271	60.012
SK90/2.51.trs	60.013	0.013	60.012	0.013
SK90/2.52.trs	60.014	0.013	60.014	0.011
SK90/2.53.trs	0.404	0.166	0.205	0.430
SK90/2.54.trs	0.024	0.021	0.026	0.024
SK90/2.55.trs	3.559	1.157	0.036	0.033
SK90/2.56.trs	0.057	0.032	0.208	0.698
SK90/2.57.trs	60.017	0.014	60.018	0.012
SK90/2.58.trs	49.717	0.012	0.798	0.013
SK90/2.59.trs	14.158	0.013	60.012	0.013
SK90/2.60.trs	60.012	60.012	60.014	60.013
SK90/2.61.trs	60.018	22.370	60.012	60.012
SK90/4.01.trs	1.412	0.667	0.196	0.193
SK90/4.02.trs	60.016	0.018	60.013	0.012
SK90/4.03.trs	60.012	0.013	0.776	0.012
SK90/4.04.trs	60.015	60.012	60.012	60.019
SK90/4.05.trs	45.516	0.013	0.138	0.015
SK90/4.07.trs	3.643	1.163	60.015	60.018
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
SK90/4.08.trs	3.091	0.804	0.017	0.021
SK90/4.09.trs	50.285	0.013	0.915	0.012
SK90/4.10.trs	60.016	0.013	1.415	0.011
SK90/4.11.trs	11.301	3.576	0.145	0.058
SK90/4.12.trs	60.043	60.015	60.012	60.013
SK90/4.13.trs	60.015	0.014	60.013	0.011
SK90/4.14.trs	60.017	0.014	1.019	0.012
SK90/4.15.trs	4.512	1.120	0.045	0.039
SK90/4.16.trs	60.014	60.012	60.011	60.013
SK90/4.17.trs	60.026	0.013	60.013	0.012
SK90/4.18.trs	60.015	0.012	60.013	0.011
SK90/4.19.trs	10.421	9.665	18.665	18.609
SK90/4.20.trs	60.014	0.013	0.933	0.011
SK90/4.21.trs	35.212	0.014	0.199	0.013
SK90/4.22.trs	60.018	0.012	60.011	0.011
SK90/4.23.trs	27.757	0.012	60.012	0.012
SK90/4.24.trs	60.083	0.013	11.032	0.012
SK90/4.25.trs	0.088	0.056	1.482	0.517
SK90/4.26.trs	31.477	7.640	0.330	0.266
SK90/4.27.trs	60.013	60.014	60.013	60.013
SK90/4.28.trs	60.015	0.013	60.012	0.015
SK90/4.29.trs	60.014	60.013	60.012	60.013
SK90/4.30.trs	60.082	60.011	60.012	60.012
SK90/4.31.trs	60.013	0.012	60.014	0.014
SK90/4.32.trs	60.051	29.708	0.384	0.374
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
SK90/4.33.trs	0.234	0.232	1.155	1.083
SK90/4.35.trs	0.614	0.151	0.110	0.104
SK90/4.36.trs	0.387	0.152	0.087	0.086
SK90/4.37.trs	0.039	0.039	0.060	0.057
SK90/4.38.trs	0.075	0.040	2.190	1.072
SK90/4.39.trs	0.313	0.330	1.717	1.714
SK90/4.41.trs	5.396	0.012	60.013	0.011
SK90/4.42.trs	60.025	0.012	60.014	0.012
SK90/4.43.trs	60.012	60.011	1.423	8.931
SK90/4.44.trs	0.154	0.080	18.044	0.945
SK90/4.45.trs	0.024	0.016	0.014	0.013
SK90/4.46.trs	0.056	0.043	0.021	0.020
SK90/4.47.trs	60.016	60.012	60.011	60.014
SK90/4.48.trs	0.057	0.029	0.030	0.029
SK90/4.50.trs	2.151	0.013	60.011	0.011
SK90/4.51.trs	60.042	60.014	60.013	60.013
SK90/4.52.trs	60.068	43.601	0.553	1.363
SK90/4.53.trs	60.013	0.012	60.013	0.012
SK90/4.55.trs	6.584	1.493	60.012	60.012
SK90/4.56.trs	0.055	0.034	0.119	0.111
SK90/4.57.trs	60.017	0.013	60.018	0.011
SK90/4.59.trs	60.016	0.014	60.014	0.012
SK90/4.60.trs	60.017	0.012	60.013	0.012
SK90/4.61.trs	60.016	0.015	60.012	0.012
Ste92/hydra.trs	60.015	0.013	60.013	0.015
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
Ste92/motivation.trs	60.014	0.014	60.011	0.011
Ste92/perfect2.trs	60.018	0.012	60.012	0.012
Ste92/perfect.trs	60.015	0.012	60.012	0.011
Thiemann/div_notCeTermin.trs	60.016	0.013	60.013	0.012
Thiemann/factorial1.trs	60.015	0.013	32.846	0.012
Thiemann/factorial2.trs	60.014	0.013	60.012	0.012
Thiemann/identity.trs	60.015	60.012	60.012	60.011
Thiemann/logarithm.trs	60.015	0.013	60.012	0.012
Thiemann/mapHard.trs	60.017	0.013	60.012	0.012
Thiemann/modulo.trs	60.015	0.014	60.012	0.013
Thiemann/quicksort.trs	60.016	0.013	60.015	0.070
Thiemann/quot.trs	60.015	0.013	60.011	0.013
Thiemann/sizeChange.trs	60.015	0.014	60.014	0.012
Thiemann/tower_sizeChange.trs	60.016	60.013	60.012	60.013
Thiemann/tower.trs	60.015	0.013	40.499	0.013
TRCSR/Ex1_2_AEL03_FR.trs	60.030	0.013	60.017	0.013
TRCSR/Ex1_2_AEL03_Z.trs	60.013	0.012	60.015	0.012
TRCSR/Ex1_2_Luc02c_C.trs	60.077	0.013	60.013	0.015
TRCSR/Ex1_2_Luc02c_FR.trs	60.016	0.015	1.444	0.012
TRCSR/Ex1_2_Luc02c_GM.trs	60.069	0.015	60.012	0.013
TRCSR/Ex1_2_Luc02c_iGM.trs	60.017	0.015	60.017	0.012
TRCSR/Ex1_2_Luc02c_Z.trs	33.528	0.012	0.641	0.012
TRCSR/Ex14_AEGL02_C.trs	60.099	0.016	60.041	0.017
TRCSR/Ex14_AEGL02_GM.trs	60.042	0.015	60.014	0.016
TRCSR/Ex14_AEGL02_iGM.trs	60.018	0.013	60.013	0.013
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
TRCSR/Ex15_Luc06_C.trs	60.013	60.016	60.012	60.012
TRCSR/Ex15_Luc06_FR.trs	60.013	60.015	60.013	60.016
TRCSR/Ex15_Luc06_GM.trs	60.016	60.012	60.014	60.011
TRCSR/Ex15_Luc06_iGM.trs	60.017	60.016	60.013	60.015
TRCSR/Ex15_Luc06_Z.trs	28.600	8.056	60.012	27.638
TRCSR/Ex15_Luc98_C.trs	60.012	0.014	60.014	0.016
TRCSR/Ex15_Luc98_GM.trs	60.014	0.013	60.014	0.013
TRCSR/Ex15_Luc98_iGM.trs	60.034	0.014	60.015	0.014
TRCSR/Ex15_Luc98_Z.trs	60.072	0.013	60.013	0.013
TRCSR/Ex16_Luc06_C.trs	60.014	60.013	60.013	60.013
TRCSR/Ex16_Luc06_FR.trs	6.543	2.147	60.014	60.012
TRCSR/Ex16_Luc06_GM.trs	43.949	60.012	60.014	60.012
TRCSR/Ex16_Luc06_iGM.trs	60.014	60.012	60.016	60.019
TRCSR/Ex16_Luc06_Z.trs	5.718	2.404	60.011	60.014
TRCSR/Ex18_Luc06_C.trs	60.012	60.012	60.011	60.015
TRCSR/Ex18_Luc06_FR.trs	60.016	60.013	60.014	60.012
TRCSR/Ex18_Luc06_GM.trs	53.917	14.570	60.012	60.016
TRCSR/Ex18_Luc06_iGM.trs	60.016	60.014	60.015	60.016
TRCSR/Ex18_Luc06_L.trs	0.037	0.027	0.024	0.027
TRCSR/Ex18_Luc06_Z.trs	15.751	6.274	5.144	6.231
TRCSR/Ex1_GL02a_C.trs	60.014	0.014	60.014	0.013
TRCSR/Ex1_GL02a_GM.trs	60.057	0.013	60.017	0.012
TRCSR/Ex1_GL02a_iGM.trs	60.062	0.014	60.017	0.012
TRCSR/Ex1_GM99_C.trs	60.013	0.016	60.013	0.014
TRCSR/Ex1_Luc02b_FR.trs	60.013	0.013	19.494	0.012
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
TRCSR/Ex1_Luc02b_Z.trs	60.013	0.013	14.467	0.012
TRCSR/Ex1_Luc04b_C.trs	60.013	60.016	60.015	60.015
TRCSR/Ex1_Luc04b_GM.trs	60.025	60.012	60.017	60.017
TRCSR/Ex1_Luc04b_iGM.trs	60.012	60.012	60.016	60.013
TRCSR/Ex1_Zan97_C.trs	60.038	60.015	60.012	60.012
TRCSR/Ex1_Zan97_GM.trs	0.240	0.134	3.198	56.207
TRCSR/Ex1_Zan97_iGM.trs	60.013	60.012	60.013	60.013
TRCSR/Ex23_Luc06_C.trs	60.042	60.013	60.032	60.016
TRCSR/Ex23_Luc06_FR.trs	60.020	60.019	60.011	60.012
TRCSR/Ex23_Luc06_GM.trs	60.024	60.012	60.013	60.014
TRCSR/Ex23_Luc06_iGM.trs	60.015	60.013	60.013	60.012
TRCSR/Ex23_Luc06_L.trs	0.025	0.023	0.022	0.025
TRCSR/Ex23_Luc06_Z.trs	60.013	60.012	60.015	60.012
TRCSR/Ex24_GM04_C.trs	60.058	0.013	60.014	0.012
TRCSR/Ex24_Luc06_C.trs	60.136	0.013	60.012	0.012
TRCSR/Ex25_Luc06_C.trs	60.036	60.012	60.016	60.016
TRCSR/Ex25_Luc06_FR.trs	60.035	60.016	60.015	60.020
TRCSR/Ex25_Luc06_GM.trs	60.017	60.011	60.011	60.014
TRCSR/Ex25_Luc06_iGM.trs	60.014	60.017	60.017	60.016
TRCSR/Ex25_Luc06_L.trs	0.056	0.023	0.021	0.018
TRCSR/Ex25_Luc06_Z.trs	60.084	18.995	60.014	60.015
TRCSR/Ex26_Luc03b_C.trs	60.016	0.016	60.011	0.017
TRCSR/Ex26_Luc03b_GM.trs	60.013	0.016	60.013	0.013
TRCSR/Ex26_Luc03b_iGM.trs	60.012	0.014	60.013	0.015
TRCSR/Ex26_Luc03b_L.trs	0.056	0.052	60.013	1.068
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
TRCSR/Ex26_Luc03b_Z.trs	60.021	0.015	60.017	0.013
TRCSR/Ex2_Luc02a_C.trs	60.016	0.014	60.015	0.015
TRCSR/Ex2_Luc02a_FR.trs	60.093	0.014	60.012	0.014
TRCSR/Ex2_Luc02a_GM.trs	60.015	0.013	60.021	0.015
TRCSR/Ex2_Luc02a_iGM.trs	60.013	0.015	60.020	0.017
TRCSR/Ex2_Luc02a_L.trs	60.014	0.013	60.012	0.012
TRCSR/Ex2_Luc02a_Z.trs	60.060	0.013	60.014	0.013
TRCSR/Ex2_Luc03b_C.trs	60.076	0.013	60.013	0.012
TRCSR/Ex2_Luc03b_FR.trs	60.016	0.014	60.014	0.017
TRCSR/Ex2_Luc03b_GM.trs	60.016	0.013	60.012	0.012
TRCSR/Ex2_Luc03b_iGM.trs	60.013	0.017	60.014	0.012
TRCSR/Ex2_Luc03b_L.trs	0.056	0.028	0.485	0.358
TRCSR/Ex2_Luc03b_Z.trs	60.022	0.012	60.013	0.012
TRCSR/Ex3_12_Luc96a_FR.trs	30.795	0.015	1.223	0.013
TRCSR/Ex3_12_Luc96a_Z.trs	22.503	0.012	0.630	0.015
TRCSR/Ex3_3_25_Bor03_C.trs	60.029	0.015	60.013	0.012
TRCSR/Ex3_3_25_Bor03_GM.trs	60.022	0.013	60.013	0.015
TRCSR/Ex3_3_25_Bor03_iGM.trs	60.027	0.013	60.025	0.013
TRCSR/Ex3_3_25_Bor03_L.trs	0.311	0.272	60.015	60.016
TRCSR/Ex4_4_Luc96b_C.trs	60.014	0.013	60.013	0.012
TRCSR/Ex4_4_Luc96b_GM.trs	60.039	0.013	60.016	0.012
TRCSR/Ex4_4_Luc96b_iGM.trs	60.014	0.012	60.015	0.013
TRCSR/Ex4_4_Luc96b_L.trs	0.024	0.015	0.013	0.013
TRCSR/Ex4_7_15_Bor03_C.trs	60.015	60.012	60.013	60.021
TRCSR/Ex4_7_15_Bor03_FR.trs	60.073	60.013	60.012	60.014
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
TRCSR/Ex4_7_15_Bor03_GM.trs	60.013	60.014	60.015	60.013
TRCSR/Ex4_7_15_Bor03_iGM.trs	60.015	60.016	60.015	60.012
TRCSR/Ex4_7_15_Bor03_L.trs	53.214	5.789	60.011	60.013
TRCSR/Ex4_7_15_Bor03_Z.trs	60.012	60.015	60.018	60.018
TRCSR/Ex4_7_37_Bor03_FR.trs	60.055	0.013	60.022	0.012
TRCSR/Ex4_7_37_Bor03_Z.trs	60.014	0.014	60.014	0.014
TRCSR/Ex4_7_56_Bor03_FR.trs	31.112	0.014	60.014	0.013
TRCSR/Ex4_7_56_Bor03_Z.trs	20.536	0.014	60.014	0.012
TRCSR/Ex4_7_77_Bor03_C.trs	60.016	60.016	60.020	60.016
TRCSR/Ex4_7_77_Bor03_FR.trs	0.197	0.119	60.013	60.014
TRCSR/Ex4_7_77_Bor03_GM.trs	47.706	16.330	60.012	60.012
TRCSR/Ex4_7_77_Bor03_iGM.trs	60.016	60.012	60.015	60.017
TRCSR/Ex4_7_77_Bor03_Z.trs	0.191	0.117	60.011	60.017
TRCSR/Ex49_GM04_C.trs	60.013	0.014	60.013	0.021
TRCSR/Ex49_GM04_GM.trs	60.017	0.013	60.016	0.013
TRCSR/Ex49_GM04_iGM.trs	60.016	0.016	60.012	0.015
TRCSR/Ex49_GM04_Z.trs	60.013	0.012	60.015	0.012
TRCSR/Ex4_Zan97_FR.trs	60.075	0.016	2.491	0.015
TRCSR/Ex4_Zan97_Z.trs	60.016	0.015	1.524	0.015
TRCSR/Ex5_DLMMU04_C.trs	60.038	0.015	60.014	0.016
TRCSR/Ex5_DLMMU04_GM.trs	60.012	0.013	60.012	0.015
TRCSR/Ex5_DLMMU04_iGM.trs	60.019	0.014	60.017	0.013
TRCSR/Ex5_Zan97_C.trs	60.018	60.013	60.013	60.014
TRCSR/Ex5_Zan97_FR.trs	45.868	12.447	60.014	60.018
TRCSR/Ex5_Zan97_GM.trs	60.065	60.011	60.013	60.015
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
TRCSR/Ex5_Zan97_iGM.trs	60.049	60.012	60.016	60.014
TRCSR/Ex5_Zan97_Z.trs	1.412	0.661	60.013	60.016
TRCSR/Ex6_9_Luc02c_C.trs	60.027	0.014	60.013	0.012
TRCSR/Ex6_9_Luc02c_FR.trs	50.720	0.012	1.305	0.012
TRCSR/Ex6_9_Luc02c_GM.trs	60.018	0.013	60.014	0.014
TRCSR/Ex6_9_Luc02c_iGM.trs	60.080	0.014	60.013	0.015
TRCSR/Ex6_9_Luc02c_Z.trs	39.472	0.013	0.676	0.014
TRCSR/Ex6_GM04_C.trs	60.012	60.013	60.014	60.014
TRCSR/Ex6_GM04_GM.trs	0.376	0.189	60.014	60.014
TRCSR/Ex6_GM04_iGM.trs	60.012	60.013	60.012	60.013
TRCSR/Ex6_GM04_L.trs	0.024	0.018	0.015	0.012
TRCSR/Ex6_Luc98_C.trs	60.082	0.012	60.014	0.012
TRCSR/Ex6_Luc98_FR.trs	60.012	0.014	60.013	0.012
TRCSR/Ex6_Luc98_GM.trs	60.014	0.013	60.012	0.012
TRCSR/Ex6_Luc98_iGM.trs	60.014	0.016	60.013	0.012
TRCSR/Ex6_Luc98_L.trs	0.035	0.023	0.055	0.098
TRCSR/Ex6_Luc98_Z.trs	60.015	0.014	60.048	0.014
TRCSR/Ex7_BLR02_FR.trs	60.021	0.012	18.725	0.012
TRCSR/Ex7_BLR02_Z.trs	60.098	0.012	12.443	0.012
TRCSR/Ex8_BLR02_FR.trs	60.090	0.013	60.010	0.011
TRCSR/Ex8_BLR02_Z.trs	60.023	0.012	60.015	0.013
TRCSR/Ex9_BLR02_C.trs	60.015	0.014	60.015	0.019
TRCSR/Ex9_BLR02_GM.trs	60.031	0.016	60.012	0.014
TRCSR/Ex9_BLR02_iGM.trs	60.016	0.014	60.012	0.012
TRCSR/Ex9_BLR02_L.trs	39.374	13.877	60.014	60.016
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
TRCSR/Ex9_BLR02_Z.trs	60.039	0.013	60.020	0.012
TRCSR/Ex9_Luc06_C.trs	60.092	60.013	60.018	60.020
TRCSR/Ex9_Luc06_GM.trs	60.012	60.012	60.012	60.013
TRCSR/Ex9_Luc06_iGM.trs	60.056	60.012	60.018	60.011
TRCSR/ExAppendixB_AEL03_FR.trs	60.013	0.013	60.014	0.011
TRCSR/ExAppendixB_AEL03_Z.trs	60.017	0.014	60.018	0.013
TRCSR/ExConc_Zan97_C.trs	60.018	60.011	60.013	60.014
TRCSR/ExConc_Zan97_FR.trs	42.074	7.627	60.013	60.013
TRCSR/ExConc_Zan97_GM.trs	60.021	26.029	60.015	60.011
TRCSR/ExConc_Zan97_iGM.trs	60.016	60.013	60.021	60.013
TRCSR/ExConc_Zan97_L.trs	0.023	0.012	0.013	0.011
TRCSR/ExIntrod_GM01_C.trs	60.014	60.015	60.013	60.012
TRCSR/ExIntrod_GM01_GM.trs	60.040	60.012	60.014	60.014
TRCSR/ExIntrod_GM01_iGM.trs	60.019	60.012	60.013	60.013
TRCSR/ExIntrod_GM04_C.trs	60.024	60.013	60.015	60.016
TRCSR/ExIntrod_GM04_GM.trs	60.015	60.013	60.013	60.013
TRCSR/ExIntrod_GM04_iGM.trs	60.072	60.014	60.015	60.013
TRCSR/ExProp7_Luc06_C.trs	60.014	60.014	60.013	60.015
TRCSR/ExProp7_Luc06_FR.trs	60.015	60.016	60.014	60.012
TRCSR/ExProp7_Luc06_GM.trs	60.096	60.013	60.015	60.014
TRCSR/ExProp7_Luc06_iGM.trs	60.014	60.013	60.012	60.012
TRCSR/ExProp7_Luc06_L.trs	60.044	60.012	60.012	60.011
TRCSR/ExProp7_Luc06_Z.trs	60.025	60.012	60.012	60.017
TRCSR/ExSec11_1_Luc02a_C.trs	60.015	0.015	60.014	0.013
TRCSR/ExSec11_1_Luc02a_FR.trs	60.016	0.012	54.043	0.012
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
TRCSR/ExSec11_1_Luc02a_GM.trs	60.013	0.013	60.011	0.013
TRCSR/ExSec11_1_Luc02a_iGM.trs	60.035	0.014	60.014	0.016
TRCSR/ExSec11_1_Luc02a_L.trs	60.089	0.013	14.452	0.012
TRCSR/ExSec11_1_Luc02a_Z.trs	60.024	0.013	45.626	0.012
TRCSR/ExSec4_2_DLMMU04_FR.trs	60.017	0.014	60.015	0.014
TRCSR/ExSec4_2_DLMMU04_Z.trs	60.083	0.014	60.014	0.012
TRCSR/LengthOfFiniteLists_complete_GM.trs	60.033	0.014	60.014	0.014
TRCSR/LengthOfFiniteLists_complete_noand_GM.trs	60.014	0.015	60.015	0.015
TRCSR/LengthOfFiniteLists_nokinds_C.trs	60.024	0.015	60.013	0.013
TRCSR/LengthOfFiniteLists_nokinds_GM.trs	60.019	0.013	60.017	0.013
TRCSR/LengthOfFiniteLists_nokinds_noand_GM.trs	60.024	0.014	60.016	0.013
TRCSR/LengthOfFiniteLists_nokinds_noand_iGM.trs	60.017	0.017	60.014	0.017
TRCSR/LISTUTILITIES_nosorts_FR.trs	60.019	0.013	60.013	0.013
TRCSR/LISTUTILITIES_nosorts-noand_FR.trs	60.017	0.014	60.012	0.013
TRCSR/LISTUTILITIES_nosorts-noand_Z.trs	60.057	0.014	60.014	0.013
TRCSR/LISTUTILITIES_nosorts_Z.trs	60.013	0.016	60.012	0.012
TRCSR/MYNAT_complete_C.trs	60.067	0.015	60.013	0.017
TRCSR/MYNAT_complete_FR.trs	60.036	0.014	60.014	0.017
TRCSR/MYNAT_complete_iGM.trs	60.013	0.016	60.014	0.017
TRCSR/MYNAT_complete_Z.trs	60.036	0.015	60.012	0.013
TRCSR/MYNAT_nokinds_C.trs	60.018	0.014	60.012	0.013
TRCSR/MYNAT_nokinds_FR.trs	60.013	0.013	60.015	0.016
TRCSR/MYNAT_nokinds_GM.trs	60.015	0.014	60.016	0.016
TRCSR/MYNAT_nokinds_iGM.trs	60.018	0.013	60.026	0.014
TRCSR/MYNAT_nokinds-noand_FR.trs	60.016	0.013	60.012	0.013
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
TRCSR/MYNAT_nokinds_noand_GM.trs	60.057	0.013	60.015	0.014
TRCSR/MYNAT_nokinds-noand_Z.trs	60.083	0.014	60.013	0.013
TRCSR/MYNAT_nokinds_Z.trs	60.017	0.013	60.014	0.011
TRCSR/MYNAT_nosorts_C.trs	60.013	0.012	60.020	0.012
TRCSR/MYNAT_nosorts_FR.trs	10.883	0.013	60.014	0.012
TRCSR/MYNAT_nosorts_GM.trs	60.013	0.013	60.013	0.011
TRCSR/MYNAT_nosorts_iGM.trs	60.033	0.012	60.014	0.012
TRCSR/MYNAT_nosorts_noand_C.trs	60.015	0.014	60.012	0.013
TRCSR/MYNAT_nosorts-noand_FR.trs	60.039	0.013	60.015	0.012
TRCSR/MYNAT_nosorts_noand_GM.trs	60.015	0.012	60.014	0.012
TRCSR/MYNAT_nosorts_noand_iGM.trs	60.045	0.015	60.016	0.013
TRCSR/MYNAT_nosorts-noand_Z.trs	60.013	0.013	60.014	0.012
TRCSR/MYNAT_nosorts_Z.trs	9.685	0.013	60.011	0.012
TRCSR/OvConsOS_nokinds_noand_GM.trs	60.017	0.016	60.015	0.017
TRCSR/PALINDROME_complete_C.trs	60.013	0.016	60.015	0.018
TRCSR/PALINDROME_complete_FR.trs	60.029	0.014	60.016	0.017
TRCSR/PALINDROME_complete_GM.trs	60.014	0.017	60.014	0.015
TRCSR/PALINDROME_complete-noand_FR.trs	60.019	0.015	60.014	0.014
TRCSR/PALINDROME_complete_noand_GM.trs	60.012	0.016	60.014	0.015
TRCSR/PALINDROME_complete-noand_Z.trs	60.016	0.015	60.013	0.013
TRCSR/PALINDROME_complete_Z.trs	60.017	0.014	60.012	0.013
TRCSR/PALINDROME_nokinds_C.trs	60.013	60.012	60.014	60.012
TRCSR/PALINDROME_nokinds_FR.trs	60.030	60.013	60.013	60.015
TRCSR/PALINDROME_nokinds_GM.trs	60.017	60.012	60.013	60.015
TRCSR/PALINDROME_nokinds_iGM.trs	60.018	60.014	60.012	60.016
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
TRCSR/PALINDROME_nokinds_noand_C.trs	60.017	60.016	60.013	60.012
TRCSR/PALINDROME_nokinds-noand_FR.trs	60.096	60.012	60.016	60.013
TRCSR/PALINDROME_nokinds_noand_GM.trs	60.021	60.013	60.013	60.017
TRCSR/PALINDROME_nokinds_noand_iGM.trs	60.014	60.012	60.012	60.013
TRCSR/PALINDROME_nokinds-noand_Z.trs	60.021	60.013	60.014	60.014
TRCSR/PALINDROME_nokinds_Z.trs	60.047	60.013	60.014	60.015
TRCSR/PALINDROME_nosorts_C.trs	60.087	60.013	60.022	60.014
TRCSR/PALINDROME_nosorts_FR.trs	17.213	4.144	0.139	0.161
TRCSR/PALINDROME_nosorts_GM.trs	60.085	60.012	60.015	60.013
TRCSR/PALINDROME_nosorts_iGM.trs	60.015	60.012	60.013	60.016
TRCSR/PALINDROME_nosorts_noand_C.trs	60.012	60.013	60.016	60.021
TRCSR/PALINDROME_nosorts-noand_FR.trs	50.793	12.930	0.218	0.458
TRCSR/PALINDROME_nosorts_noand_GM.trs	60.095	60.013	60.013	60.016
TRCSR/PALINDROME_nosorts_noand_iGM.trs	60.033	60.012	60.018	60.016
TRCSR/PALINDROME_nosorts-noand_L.trs	39.986	11.428	0.160	0.380
TRCSR/PALINDROME_nosorts-noand_Z.trs	41.466	13.593	0.220	0.457
TRCSR/PALINDROME_nosorts_Z.trs	12.655	4.418	0.139	0.161
TRCSR/PEANO_complete_C.trs	60.020	0.014	60.014	0.013
TRCSR/PEANO_complete_FR.trs	60.034	0.012	60.016	0.015
TRCSR/PEANO_complete_GM.trs	60.015	0.018	60.011	0.014
TRCSR/PEANO_complete_iGM.trs	60.075	0.019	60.014	0.016
TRCSR/PEANO_complete-noand_FR.trs	60.013	0.014	60.014	0.013
TRCSR/PEANO_complete_noand_GM.trs	60.013	0.015	60.014	0.016
TRCSR/PEANO_complete-noand_Z.trs	60.012	0.014	60.014	0.017
TRCSR/PEANO_complete_Z.trs	60.032	0.011	60.015	0.012
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
TRCSR/PEANO_nokinds_C.trs	60.014	0.014	60.012	0.012
TRCSR/PEANO_nokinds_FR.trs	60.042	0.014	60.014	0.015
TRCSR/PEANO_nokinds_GM.trs	60.013	0.016	60.013	0.013
TRCSR/PEANO_nokinds_iGM.trs	60.013	0.013	60.014	0.013
TRCSR/PEANO_nokinds_noand_C.trs	60.013	0.014	60.014	0.015
TRCSR/PEANO_nokinds-noand_FR.trs	60.091	0.013	60.014	0.015
TRCSR/PEANO_nokinds_noand_GM.trs	60.016	0.014	60.014	0.013
TRCSR/PEANO_nokinds_noand_iGM.trs	60.015	0.016	60.014	0.014
TRCSR/PEANO_nokinds-noand_Z.trs	60.014	0.013	60.016	0.014
TRCSR/PEANO_nokinds_Z.trs	60.030	0.014	60.012	0.012
TRCSR/PEANO_nosorts_C.trs	60.017	60.013	60.013	60.014
TRCSR/PEANO_nosorts_FR.trs	0.042	0.023	0.552	0.089
TRCSR/PEANO_nosorts_GM.trs	60.013	60.012	60.014	60.013
TRCSR/PEANO_nosorts_iGM.trs	60.015	60.012	60.014	60.016
TRCSR/PEANO_nosorts_noand_C.trs	60.012	60.016	60.014	60.015
TRCSR/PEANO_nosorts-noand_FR.trs	23.903	9.851	60.025	60.013
TRCSR/PEANO_nosorts_noand_GM.trs	60.048	60.016	60.018	60.013
TRCSR/PEANO_nosorts_noand_iGM.trs	60.013	60.011	60.016	60.016
TRCSR/PEANO_nosorts-noand_Z.trs	22.362	9.839	60.015	60.017
TRCSR/PEANO_nosorts_Z.trs	0.077	0.024	0.548	0.086
various/02.trs	2.103	0.014	60.016	0.016
various/03.trs	5.609	0.012	60.012	0.012
various/06.trs	0.106	0.015	0.227	0.015
various/07.trs	0.019	0.016	0.017	0.019
various/09.trs	14.476	0.013	60.014	0.012
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
various/10.trs	60.013	0.012	60.015	0.012
various/11.trs	7.678	0.014	60.013	0.015
various/12.trs	60.014	0.012	60.013	0.015
various/13.trs	60.015	0.013	60.015	0.012
various/14.trs	60.013	0.013	60.013	0.013
various/15.trs	60.016	60.016	60.014	60.015
various/18.trs	60.013	60.018	60.012	60.018
various/19.trs	60.019	60.013	0.462	0.454
various/20.trs	60.015	60.012	60.014	60.015
various/21.trs	60.016	60.013	60.016	60.013
various/22.trs	60.013	0.012	60.012	0.012
various/23.trs	60.017	60.013	60.014	60.017
various/24.trs	60.015	60.013	60.016	60.013
various/25.trs	16.123	2.271	60.012	60.013
various/26.trs	60.016	0.016	60.020	0.011
various/27.trs	0.038	0.039	0.118	0.115
Waldmann/jwaprove1.trs	60.015	60.012	60.012	60.012
Waldmann/jwaprove2.trs	60.016	60.013	60.012	60.015
Waldmann/jwcime1.trs	60.016	60.012	60.013	60.013
Waldmann/jwcime2.trs	60.020	60.012	60.013	60.016
Waldmann/jwmatchb1.trs	60.017	60.012	60.013	60.014
Waldmann/jwmatchb2.trs	60.017	60.012	60.012	60.015
Waldmann/jwteparla1.trs	60.015	0.014	60.012	0.015
Waldmann/jwteparla2.trs	60.017	0.012	60.012	0.015
Waldmann/jwtpa1.trs	60.017	60.012	60.012	60.014
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
Waldmann/jwtpa2.trs	60.015	60.013	60.012	60.015
Waldmann/jwttt.trs	60.016	60.014	60.012	60.015
Zantema06/beans.trs	60.014	60.015	60.012	60.014
Zantema06/gcdMinMax.trs	60.015	0.013	60.012	0.011
Zantema06/gcd.trs	60.017	0.016	60.011	0.016
Zantema06/test1.trs	60.014	0.013	60.011	0.012
Zantema06/while.trs	60.016	0.013	60.010	0.012
Zantema/jw01.trs	60.012	60.013	60.012	60.012
Zantema/jw02.trs	60.016	60.012	60.013	60.013
Zantema/jw03.trs	60.018	60.011	60.011	60.012
Zantema/jw04.trs	60.016	60.098	60.012	60.012
Zantema/jw05.trs	60.012	60.012	60.034	60.012
Zantema/jw06.trs	60.015	60.012	60.012	60.012
Zantema/jw07.trs	60.013	60.012	60.012	60.012
Zantema/jw08.trs	60.015	60.012	60.012	60.012
Zantema/jw09.trs	60.012	60.013	60.012	60.012
Zantema/jw11.trs	60.015	60.012	60.011	60.012
Zantema/jw12.trs	60.011	60.012	60.011	60.013
Zantema/jw13.trs	60.015	60.012	60.013	60.015
Zantema/jw14.trs	60.016	60.012	60.011	60.013
Zantema/jw15.trs	60.012	60.012	60.012	60.011
Zantema/jw16.trs	60.014	60.012	60.013	60.011
Zantema/jw17.trs	60.012	60.012	60.013	60.012
Zantema/jw18.trs	60.012	60.012	60.013	60.012
Zantema/jw19.trs	60.012	60.015	60.013	60.011
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
Zantema/jw20.trs	60.014	60.012	60.012	60.013
Zantema/jw21.trs	60.015	60.012	60.012	60.012
Zantema/jw22.trs	60.014	60.014	60.012	60.013
Zantema/jw23.trs	60.018	60.013	60.012	60.012
Zantema/jw24.trs	60.017	60.012	60.011	60.012
Zantema/jw25.trs	60.012	60.014	60.013	60.012
Zantema/jw26.trs	60.013	60.013	60.011	60.012
Zantema/jw27.trs	60.012	60.011	60.012	60.013
Zantema/jw28.trs	60.015	60.013	60.012	60.012
Zantema/jw29.trs	60.015	60.011	60.012	60.012
Zantema/jw30.trs	60.012	60.013	60.013	60.013
Zantema/jw31.trs	60.015	60.012	60.012	60.013
Zantema/jw32.trs	60.011	60.012	60.011	60.013
Zantema/jw33.trs	60.016	60.013	60.012	60.014
Zantema/jw34.trs	60.017	60.011	60.011	60.012
Zantema/jw35.trs	60.015	60.014	60.011	60.012
Zantema/jw36.trs	60.014	60.012	60.011	60.011
Zantema/jw37.trs	60.013	60.012	60.013	60.011
Zantema/jw38.trs	60.015	60.013	60.012	60.012
Zantema/jw39.trs	60.012	60.011	60.011	60.013
Zantema/jw40.trs	60.011	60.012	60.011	60.013
Zantema/jw41.trs	60.011	60.013	60.012	60.012
Zantema/jw42.trs	60.014	60.012	60.011	60.011
Zantema/jw43.trs	60.015	60.011	60.012	60.012
Zantema/jw44.trs	60.017	60.013	60.012	60.012
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
Zantema/jw47.trs	60.016	60.013	60.013	60.011
Zantema/jw50.trs	60.015	60.012	60.011	60.012
Zantema/z01.trs	60.016	60.012	60.013	60.012
Zantema/z02.trs	60.011	60.013	60.012	60.012
Zantema/z03.trs	60.013	60.012	60.012	60.013
Zantema/z04.trs	60.012	0.013	60.011	0.013
Zantema/z05.trs	60.016	60.012	60.013	60.013
Zantema/z06.trs	60.015	60.015	60.012	60.013
Zantema/z07.trs	60.014	60.014	60.013	60.013
Zantema/z08.trs	60.012	60.013	60.034	60.013
Zantema/z09.trs	60.015	0.013	60.012	0.012
Zantema/z10.trs	60.015	0.013	60.012	0.012
Zantema/z11.trs	60.016	60.012	60.012	60.013
Zantema/z12.trs	60.013	60.013	60.012	60.012
Zantema/z13.trs	60.015	60.013	60.011	60.013
Zantema/z14.trs	60.014	60.011	60.011	60.012
Zantema/z15.trs	60.014	60.012	60.012	60.012
Zantema/z16.trs	60.017	60.013	60.012	60.014
Zantema/z17.trs	60.016	60.011	60.012	60.011
Zantema/z18.trs	60.017	60.013	60.013	60.012
Zantema/z19.trs	60.016	60.012	60.013	60.014
Zantema/z20.trs	60.016	60.013	60.011	60.012
Zantema/z21.trs	60.011	60.012	60.011	60.012
Zantema/z22.trs	60.017	60.013	60.011	60.012
Zantema/z23.trs	60.015	60.018	60.011	60.012
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
Zantema/z24.trs	60.016	60.014	60.013	60.012
Zantema/z25.trs	60.012	60.013	60.012	60.012
Zantema/z26.trs	60.015	60.012	60.011	60.012
Zantema/z27.trs	27.229	0.013	60.013	0.012
Zantema/z28.trs	60.015	0.013	60.013	0.012
Zantema/z29.trs	60.016	60.012	0.241	0.216
Zantema/z30.trs	60.016	60.012	60.013	60.012
problem	CDI3-Linear	CDI3-Restricted	CDI2-Linear	CDI2-Restricted
Total time	50081.928	15380.418	48303.275	16786.899
YES score	83	86	62	61
YES time	485.381	330.715	173.479	187.447
Avg. YES time	5.847	3.845	2.798	3.072
Timeouts	797	238	782	275