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