TPDB 4.0, 957 Terminating Examples

The following color code is used in the table below:

YES, we have termination and exponential derivational complexity
MAYBE, no proof found
A TIMEOUT has occurred
An error has occurred

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

problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
AG01/#3.10.trs 53.090 60.012 60.012 60.013 60.043 60.012
AG01/#3.12.trs 0.320 6.478 38.665 60.011 60.055 60.014
AG01/#3.13.trs 31.213 60.012 60.012 60.013 60.016 60.013
AG01/#3.14.trs 0.056 0.957 0.934 0.916 0.853 0.842
AG01/#3.15.trs 5.509 60.011 60.011 60.011 60.023 60.012
AG01/#3.16.trs 0.041 0.540 2.106 4.706 10.836 19.175
AG01/#3.17a.trs 60.012 60.013 60.012 60.012 60.015 60.013
AG01/#3.17.trs 10.343 60.012 60.013 60.012 60.036 60.013
AG01/#3.18.trs 0.628 12.821 55.227 60.012 60.015 60.012
AG01/#3.19.trs 0.883 17.849 60.012 60.011 60.016 60.012
AG01/#3.1.trs 1.122 30.406 60.013 60.011 60.019 60.011
AG01/#3.21.trs 60.013 60.011 60.013 60.012 60.016 60.013
AG01/#3.22.trs 60.013 60.013 60.013 60.012 60.018 60.012
AG01/#3.23.trs 0.016 0.061 0.194 0.542 1.141 2.031
AG01/#3.24.trs 0.127 5.329 4.896 4.692 5.249 5.335
AG01/#3.26.trs 0.296 23.904 60.013 60.011 60.015 60.012
AG01/#3.29.trs 0.020 0.156 0.690 1.945 4.748 39.456
AG01/#3.2.trs 1.106 38.798 60.012 60.013 60.094 60.011
AG01/#3.31.trs 60.012 60.012 60.012 60.012 60.020 60.012
AG01/#3.33.trs 3.223 60.012 60.013 60.012 60.015 60.012
AG01/#3.35.trs 0.089 0.087 0.090 0.092 0.094 0.098
AG01/#3.36.trs 0.549 10.629 36.362 60.012 60.096 60.012
AG01/#3.37.trs 0.771 60.012 60.016 60.012 60.016 60.015
AG01/#3.38.trs 0.210 8.968 60.015 60.011 60.018 60.015
AG01/#3.39.trs 12.772 60.011 60.012 60.011 60.015 60.012
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
AG01/#3.40.trs 33.349 60.012 60.013 60.013 60.016 60.013
AG01/#3.41.trs 2.101 60.013 60.013 60.015 60.016 60.013
AG01/#3.42.trs 22.773 60.012 60.012 60.012 60.016 60.012
AG01/#3.47.trs 0.092 2.561 14.011 52.537 60.013 60.013
AG01/#3.48.trs 60.013 60.012 60.011 60.012 60.024 60.012
AG01/#3.49.trs 1.398 60.012 60.011 60.012 60.015 60.013
AG01/#3.4.trs 1.164 35.710 60.011 60.011 60.059 60.013
AG01/#3.51.trs 1.605 44.653 60.013 60.012 60.083 60.013
AG01/#3.52.trs 0.379 12.097 60.012 60.012 60.047 60.013
AG01/#3.53a.trs 0.022 0.150 0.752 2.310 7.898 33.778
AG01/#3.53b.trs 0.371 8.731 60.012 60.012 60.017 60.013
AG01/#3.53.trs 1.620 40.180 60.011 60.014 60.016 60.013
AG01/#3.54.trs 0.082 2.745 20.439 28.606 60.016 60.012
AG01/#3.55.trs 40.701 60.012 60.012 60.013 60.028 60.012
AG01/#3.56.trs 0.171 4.722 27.095 60.014 60.042 60.013
AG01/#3.57.trs 11.345 60.011 60.012 60.011 60.022 60.012
AG01/#3.5a.trs 2.366 28.865 60.011 60.012 60.016 60.013
AG01/#3.5b.trs 3.079 60.014 60.013 60.012 60.037 60.012
AG01/#3.5.trs 2.455 38.806 60.012 60.012 60.073 60.010
AG01/#3.6a.trs 3.690 33.815 60.012 60.011 60.074 60.016
AG01/#3.6b.trs 4.434 59.820 60.012 60.012 60.016 60.012
AG01/#3.6.trs 3.589 37.966 60.013 60.013 60.015 60.014
AG01/#3.7.trs 1.986 44.735 52.267 55.715 53.503 45.090
AG01/#3.8a.trs 60.011 60.012 60.012 60.012 60.016 60.012
AG01/#3.8b.trs 60.013 60.012 60.014 60.012 60.017 60.014
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
AG01/#4.30c.trs 0.871 13.037 60.013 60.012 60.015 60.012
AProVE/AAECC-ring.trs 60.017 60.011 60.012 60.014 60.014 60.012
AProVE/AAECC.trs 60.012 60.011 60.018 60.013 60.012 60.011
AProVE/fac.trs 2.236 42.951 60.013 60.011 60.059 60.015
AProVE/forward_instantiation2.trs 0.057 0.235 0.856 2.180 4.693 8.536
AProVE/forward_instantiation.trs 0.027 0.230 0.956 2.344 5.094 8.980
AProVE/IJCAR_12.trs 0.346 7.007 39.904 60.016 60.017 60.013
AProVE/IJCAR_18.trs 24.163 60.011 60.013 60.012 60.037 60.012
AProVE/IJCAR_1.trs 0.291 6.034 28.074 60.013 60.015 60.015
AProVE/IJCAR_26a.trs 26.344 60.012 60.012 60.011 60.016 60.011
AProVE/IJCAR_26.trs 26.617 60.014 60.012 60.014 60.020 60.013
AProVE/improved_usable2.trs 0.017 0.096 0.380 1.187 3.164 7.362
AProVE/improved_usable.trs 0.018 0.097 0.401 1.492 4.611 8.631
AProVE/JFP_Ex31.trs 0.909 22.594 60.013 60.012 60.015 60.012
AProVE/JFP_Ex51.trs 60.012 60.012 60.012 60.012 60.014 60.013
AProVE/Liveness6.1.trs 0.075 1.840 9.478 29.785 60.016 60.013
AProVE/Liveness6.2.trs 0.069 1.773 6.977 29.630 60.016 60.013
AProVE/Liveness6.3.trs 0.537 12.806 60.012 60.012 60.013 60.012
AProVE/Liveness6.4.trs 0.757 16.291 60.013 60.013 60.021 60.013
AProVE/Liveness8.trs 0.374 9.147 60.011 60.013 60.014 60.014
AProVE/Liveness_WRS.trs 60.014 60.011 60.014 60.012 60.015 60.013
AProVE/LPAR_intlist.trs 60.017 60.012 60.013 60.013 60.015 60.012
AProVE/rta1.trs 1.639 34.621 60.013 60.013 60.015 60.012
AProVE/rta2.trs 0.025 0.152 0.793 2.600 5.463 11.983
AProVE/rta3.trs 0.118 2.744 13.687 37.463 60.018 60.014
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
Beerendonk/10.trs 0.961 25.763 60.012 60.010 60.041 60.014
Beerendonk/11.trs 0.666 15.499 60.017 60.012 60.066 60.012
Beerendonk/12.trs 0.147 5.154 47.872 60.014 60.058 60.016
Beerendonk/13.trs 0.622 16.403 60.012 60.012 60.015 60.013
Beerendonk/14.trs 0.446 8.853 43.437 60.012 60.017 60.013
Beerendonk/15.trs 12.553 60.012 60.014 60.010 60.014 60.013
Beerendonk/16.trs 2.183 58.844 60.012 60.013 60.097 60.013
Beerendonk/17.trs 19.532 60.011 60.013 60.014 60.016 60.013
Beerendonk/18.trs 60.012 60.011 60.013 60.013 60.040 60.012
Beerendonk/19.trs 17.301 60.012 60.013 60.012 60.017 60.013
Beerendonk/1.trs 0.049 0.849 5.869 23.461 60.015 60.013
Beerendonk/20.trs 7.776 60.011 60.012 60.011 60.017 60.013
Beerendonk/21.trs 1.177 47.548 60.012 60.015 60.016 60.014
Beerendonk/22.trs 0.701 30.546 60.011 60.012 60.015 60.012
Beerendonk/23.trs 0.166 3.258 21.987 60.012 60.061 60.012
Beerendonk/24.trs 60.012 60.011 60.012 60.013 60.016 60.012
Beerendonk/2.trs 0.100 3.562 48.520 60.012 60.015 60.018
Beerendonk/3.trs 0.057 1.004 4.761 26.704 60.015 60.017
Beerendonk/4.trs 0.034 0.419 2.544 7.606 31.025 60.013
Beerendonk/5.trs 6.829 60.012 60.012 60.012 60.015 60.013
Beerendonk/6.trs 0.054 1.143 6.566 36.330 60.016 60.013
Beerendonk/7.trs 0.582 15.050 60.012 60.013 60.015 60.012
Beerendonk/8.trs 60.014 60.011 60.013 60.012 60.014 60.013
Beerendonk/9.trs 2.985 60.017 60.013 60.014 60.017 60.013
Cime/ack_prolog.trs 1.996 60.012 60.012 60.012 60.020 60.016
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
Cime/append-hard.trs 0.399 5.719 27.067 60.013 60.015 60.016
Cime/append.trs 0.038 0.387 1.667 4.251 8.968 14.800
Cime/big.trs 60.012 60.012 60.013 60.014 60.016 60.015
Cime/boolean_rings.trs 0.236 3.841 17.143 46.043 60.014 60.011
Cime/dpqs.trs 0.204 4.573 20.228 45.958 60.016 60.014
Cime/fact-hard.trs 11.863 60.012 60.013 60.013 60.018 60.015
Cime/filliatre2.trs 43.665 60.015 60.013 60.013 60.021 60.012
Cime/filliatre3.trs 43.731 60.013 60.012 60.018 60.015 60.016
Cime/filliatre.trs 60.012 60.013 60.014 60.013 60.022 60.015
Cime/intersect.trs 0.318 4.381 22.186 51.565 60.022 60.015
Cime/list-sum-prod-assoc-append.trs 2.902 60.012 60.012 60.012 60.016 60.013
Cime/list-sum-prod-assoc.trs 2.775 60.015 60.014 60.020 60.015 60.016
Cime/list-sum-prod-bin-assoc-distr-app.trs 15.105 60.012 60.011 60.019 60.015 60.016
Cime/list-sum-prod-bin-assoc.trs 15.402 60.017 60.012 60.013 60.016 60.017
Cime/list-sum-prod-bin.trs 15.916 60.014 60.017 60.013 60.017 60.016
Cime/list-sum-prod.trs 2.851 55.943 60.016 60.011 60.016 60.017
Cime/log2.trs 60.012 60.013 60.011 60.012 60.016 60.016
Cime/lse.trs 0.464 9.140 35.302 60.012 60.016 60.014
Cime/mucrl1.trs 60.012 60.013 60.013 60.013 60.046 60.012
Cime/quick.trs 0.725 12.361 58.530 60.017 60.016 60.019
Cime/ternary-hard.trs 47.263 60.013 60.016 60.012 60.016 60.015
Cime/ternary.trs 47.152 60.014 60.014 60.011 60.018 60.015
Cime/tree.trs 60.014 60.014 60.012 60.014 60.015 60.013
CSR/Ex1_Luc04b_GM.trs 0.586 11.025 60.012 60.013 60.014 60.016
currying/AG01/#3.10.trs 60.011 60.013 60.013 60.014 60.047 60.013
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
currying/AG01/#3.13.trs 60.014 60.012 60.012 60.012 60.052 60.019
currying/AG01/#3.16.trs 60.016 60.012 60.012 60.012 60.017 60.014
currying/AG01/#3.18.trs 60.011 60.012 60.013 60.013 60.013 60.011
currying/AG01/#3.22.trs 60.011 60.011 60.012 60.011 60.053 60.012
currying/AG01/#3.25.trs 60.013 60.020 60.013 60.012 60.056 60.013
currying/AG01/#3.27.trs 60.018 60.015 60.012 60.015 60.049 60.015
currying/AG01/#3.2.trs 60.013 60.012 60.012 60.014 60.015 60.012
currying/AG01/#3.32.trs 60.013 60.012 60.013 60.013 60.022 60.012
currying/AG01/#3.36.trs 60.012 60.021 60.011 60.012 60.013 60.011
currying/AG01/#3.38.trs 60.012 60.015 60.012 60.013 60.013 60.012
currying/AG01/#3.40.trs 60.012 60.014 60.014 60.014 60.073 60.012
currying/AG01/#3.45.trs 60.012 60.013 60.012 60.013 60.051 60.013
currying/AG01/#3.48.trs 60.013 60.014 60.012 60.014 60.013 60.013
currying/AG01/#3.52.trs 60.013 60.012 60.011 60.012 60.051 60.013
currying/AG01/#3.55.trs 60.013 60.078 60.012 60.013 60.013 60.012
currying/AG01/#3.57.trs 60.013 60.016 60.012 60.014 60.014 60.012
currying/AG01/#3.6.trs 60.013 60.015 60.012 60.015 60.057 60.012
currying/AG01/#3.8.trs 60.044 60.012 60.026 60.012 60.060 60.011
currying/D33/01.trs 60.020 60.013 60.012 60.014 60.019 60.012
currying/D33/02.trs 60.011 60.013 60.013 60.013 60.049 60.012
currying/D33/06.trs 60.012 60.014 60.013 60.013 60.020 60.013
currying/D33/08.trs 60.012 60.013 60.012 60.015 60.023 60.013
currying/D33/11.trs 60.013 60.014 60.013 60.018 60.026 60.013
currying/D33/12.trs 60.011 60.012 60.014 60.015 60.017 60.012
currying/D33/13.trs 60.012 60.012 60.013 60.015 60.014 60.014
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
currying/D33/17.trs 60.011 60.013 60.012 60.014 60.058 60.015
currying/D33/18.trs 60.014 60.013 60.013 60.014 60.057 60.013
currying/D33/21.trs 60.011 60.013 60.011 60.014 60.029 60.011
currying/D33/29.trs 60.012 60.013 60.012 60.015 60.013 60.011
currying/D33/30.trs 60.012 60.013 60.012 60.017 60.016 60.018
currying/D33/31.trs 60.011 60.014 60.012 60.015 60.051 60.014
currying/Ste92/hydra.trs 60.015 60.013 60.011 60.013 60.012 60.011
currying/Ste92/motivation.trs 60.014 60.015 60.011 60.018 60.013 60.013
currying/Ste92/perfect2.trs 60.012 60.014 60.013 60.014 60.052 60.012
currying/Ste92/perfect.trs 60.013 60.012 60.014 60.013 60.107 60.012
D33/01.trs 0.036 0.036 0.037 0.037 0.040 0.037
D33/02.trs 0.055 0.056 0.057 0.057 0.056 0.054
D33/03.trs 0.018 0.020 0.023 0.020 0.023 0.021
D33/04.trs 0.022 0.165 0.167 0.175 0.168 0.165
D33/06.trs 0.106 3.101 17.728 60.012 60.012 60.013
D33/07.trs 0.033 0.029 0.029 0.031 0.031 0.030
D33/08.trs 2.445 60.013 60.013 60.012 60.014 60.018
D33/09.trs 0.017 0.150 0.757 2.729 9.784 38.429
D33/11.trs 60.011 60.012 60.012 60.013 60.013 60.012
D33/12.trs 0.238 4.699 18.532 60.012 60.012 60.011
D33/13.trs 0.123 2.942 10.961 31.837 60.015 60.012
D33/17.trs 0.095 1.417 7.930 18.147 40.934 60.013
D33/18.trs 0.057 2.050 12.015 39.858 60.013 60.012
D33/20.trs 60.012 60.012 60.012 60.011 60.014 60.012
D33/21.trs 1.999 34.747 60.011 60.014 60.012 60.013
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
D33/27.trs 0.026 0.275 0.285 0.283 0.271 0.274
D33/28.trs 0.056 0.991 4.291 13.504 31.407 60.012
D33/30.trs 60.011 60.012 60.012 60.013 60.013 60.012
D33/31.trs 0.130 3.535 15.494 52.430 60.015 60.012
D33/32.trs 0.335 9.055 60.013 60.013 60.015 60.015
Endrullis/direct.trs 60.014 60.011 60.011 60.012 60.012 60.012
Endrullis/labeling.trs 0.097 1.918 9.938 22.554 55.137 60.013
Endrullis/linear1.trs 60.013 60.014 60.012 60.013 60.013 60.013
Endrullis/linear2.trs 60.011 60.012 60.012 60.012 60.012 60.012
Endrullis/pair2hard.trs 35.873 60.012 60.018 60.012 60.013 60.013
Endrullis/pair2simple1.trs 21.902 60.014 60.012 60.014 60.014 60.013
Endrullis/pair2simple2.trs 5.042 60.017 60.014 60.011 60.076 60.013
Endrullis/pair3hard.trs 0.288 7.533 38.714 60.014 60.014 60.012
Endrullis/pair3rotate.trs 11.456 60.014 60.012 60.012 60.018 60.012
Endrullis/pair3swap.trs 60.012 60.015 60.013 60.016 60.014 60.014
Endrullis/quadruple1.trs 60.017 60.011 60.012 60.015 60.019 60.013
Endrullis/quadruple2.trs 60.016 60.015 60.013 60.011 60.021 60.012
higher-order/AotoYam/002.trs 60.015 60.018 60.012 60.030 60.013 60.012
higher-order/AotoYam/004.trs 60.011 60.016 60.014 60.016 60.019 60.012
higher-order/AotoYam/005.trs 37.628 39.870 38.038 37.432 38.974 39.927
higher-order/AotoYam/006.trs 60.012 60.013 60.012 60.013 60.016 60.011
higher-order/AotoYam/007.trs 60.012 60.022 60.020 60.013 60.016 60.012
higher-order/AotoYam/009.trs 42.745 60.014 60.013 60.011 60.043 60.012
higher-order/AotoYam/010.trs 60.012 60.083 60.010 60.016 60.087 60.035
higher-order/AotoYam/011.trs 60.014 60.025 60.012 60.011 60.025 60.012
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
higher-order/AotoYam/012.trs 37.793 60.015 60.012 60.012 60.040 60.012
higher-order/AotoYam/013.trs 60.012 60.013 60.013 60.012 60.036 60.013
higher-order/AotoYam/014.trs 60.011 60.018 60.014 60.011 60.014 60.014
higher-order/AotoYam/015.trs 60.013 60.052 60.013 60.012 60.015 60.013
higher-order/AotoYam/016.trs 60.015 60.014 60.012 60.012 60.016 60.014
higher-order/AotoYam/017.trs 0.083 0.081 0.081 0.082 0.085 0.081
higher-order/AotoYam/019.trs 0.393 10.676 44.539 60.011 60.066 60.011
higher-order/AotoYam/020.trs 60.011 60.014 60.013 60.012 60.047 60.012
higher-order/AotoYam/021.trs 60.012 60.014 60.011 60.012 60.012 60.013
higher-order/AotoYam/022.trs 60.011 60.017 60.013 60.012 60.013 60.011
higher-order/AotoYam/023.trs 36.654 37.698 36.321 36.426 40.976 36.208
higher-order/AotoYam/024.trs 7.346 60.036 60.012 60.012 60.024 60.012
higher-order/AotoYam/025.trs 0.024 0.045 0.022 0.023 0.028 0.023
higher-order/AotoYam/026.trs 8.934 60.058 60.014 60.012 60.014 60.012
higher-order/AotoYam/027.trs 60.013 60.030 60.012 60.014 60.017 60.013
higher-order/AotoYam/028.trs 60.012 60.019 60.012 60.012 60.014 60.012
higher-order/AotoYam/Ex1SimplyTyped.trs 59.804 60.033 60.013 60.013 60.025 60.015
higher-order/AProVE_HO/mapDivMinusHard.trs 60.012 60.013 60.017 60.033 60.017 60.012
higher-order/AProVE_HO/mapDivMinus.trs 60.012 60.014 60.013 60.012 60.045 60.014
higher-order/AProVE_HO/ReverseLastInit.trs 60.011 60.013 60.015 60.015 60.023 60.013
higher-order/AProVE_HO/TakeDropWhile.trs 60.012 60.013 60.012 60.013 60.017 60.014
higher-order/AProVE_HO/TypeEx1.trs 60.011 60.013 60.013 60.012 60.014 60.012
higher-order/Bird/BTreeMember.trs 60.012 60.012 60.013 60.014 60.157 60.013
higher-order/Bird/Ex2_6_1Composition.trs 0.368 0.365 0.358 0.355 0.375 0.370
higher-order/Bird/TreeFlatten.trs 60.013 60.012 60.012 60.012 60.115 60.011
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
higher-order/Bird/TreeHeight.trs 60.013 60.014 60.015 60.012 60.016 60.012
higher-order/Bird/TreeLevels.trs 60.012 60.067 60.015 60.012 60.015 60.011
higher-order/Bird/TreeMap.trs 60.012 60.014 60.018 60.016 60.016 60.013
higher-order/Bird/TreeSize.trs 60.012 60.015 60.037 60.042 60.017 60.012
higher-order/Kusakari/Ex6_11.trs 60.013 60.087 60.013 60.012 60.013 60.012
higher-order/Kusakari/Ex7_9.trs 60.012 60.015 60.013 60.012 60.013 60.018
higher-order/Lifantsev/Ex3Lists.trs 60.013 60.020 60.017 60.012 60.033 60.011
higher-order/Lifantsev/Ex4MapList.trs 60.013 60.036 60.020 60.013 60.036 60.011
higher-order/Lifantsev/Ex8Polymorphic.trs 60.015 60.082 60.012 60.011 60.095 60.012
higher-order/Lifantsev/Ex9Maps.trs 60.018 60.013 60.016 60.012 60.017 60.012
HM/t000.trs 18.139 60.012 60.015 60.014 60.016 60.012
HM/t001.trs 60.013 60.013 60.013 60.012 60.014 60.012
HM/t002.trs 60.013 60.013 60.013 60.011 60.014 60.018
HM/t003.trs 60.014 60.011 60.013 60.015 60.015 60.013
HM/t004.trs 5.462 60.013 60.013 60.013 60.015 60.014
HM/t005.trs 60.012 60.011 60.016 60.013 60.013 60.012
HM/t006.trs 0.027 0.026 0.026 0.027 0.029 0.036
HM/t007.trs 0.016 0.067 0.890 28.567 60.015 60.014
HM/t008.trs 0.721 60.012 60.012 60.012 60.014 60.012
HM/t009.trs 60.013 60.012 60.013 60.013 60.015 60.014
HM/t010.trs 0.027 0.208 0.207 0.207 0.207 0.206
HM/t011.trs 0.027 0.402 0.397 0.404 0.386 0.391
HM/t012.trs 60.013 60.013 60.013 60.013 60.015 60.018
HM/t013.trs 0.550 10.187 40.808 60.012 60.011 60.021
HM/t014.trs 60.015 60.012 60.012 60.013 60.016 60.017
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
HofWald/1.trs 60.011 60.024 60.013 60.018 60.027 60.011
HofWald/2.trs 60.013 60.014 60.018 60.014 60.060 60.012
HofWald/3.trs 60.016 60.105 60.019 60.012 60.021 60.012
HofWald/4.trs 60.013 60.051 60.011 60.014 60.049 60.010
HofWald/5.trs 0.636 19.014 60.013 60.013 60.091 60.012
Koprowski/gcd_triple.trs 23.054 60.012 60.013 60.012 60.017 60.013
LJB01/jones1.trs 0.024 0.024 0.024 0.024 0.023 0.024
LJB01/jones2.trs 0.030 0.316 1.337 3.340 6.986 15.712
LJB01/jones4.trs 0.047 0.044 0.044 0.046 0.048 0.044
LJB01/jones5.trs 0.024 0.245 0.943 2.573 4.903 8.241
LJB01/jones6.trs 0.043 0.611 0.639 0.629 0.596 0.546
nontermin/AG01/#4.20a.trs 0.320 12.639 10.905 12.046 12.888 13.215
nontermin/AG01/#4.20.trs 0.024 0.232 0.234 0.230 0.243 0.265
nontermin/AG01/#4.21.trs 0.029 0.591 4.248 19.701 60.014 60.012
nontermin/AG01/#4.22.trs 0.984 28.549 60.012 60.012 60.014 60.013
nontermin/AG01/#4.23.trs 60.013 60.018 60.012 60.012 60.015 60.011
nontermin/AG01/#4.25.trs 0.014 0.031 0.088 0.205 0.399 0.811
nontermin/AG01/#4.26.trs 0.140 3.227 16.331 58.290 60.045 60.012
nontermin/AG01/#4.27.trs 60.014 60.012 60.013 60.012 60.022 60.012
nontermin/AG01/#4.28.trs 0.658 60.011 60.012 60.012 60.044 60.013
nontermin/AG01/#4.29.trs 60.018 60.012 60.013 60.013 60.017 60.013
nontermin/AG01/#4.30a.trs 60.014 60.013 60.012 60.012 60.023 60.011
nontermin/AG01/#4.30b.trs 0.944 13.038 50.061 60.013 60.013 60.011
nontermin/AG01/#4.30c.trs 0.876 11.856 40.202 60.013 60.014 60.012
nontermin/AG01/#4.30.trs 0.571 15.304 60.013 60.013 60.066 60.012
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
nontermin/AG01/#4.31.trs 1.091 35.338 60.014 60.012 60.013 60.012
nontermin/AG01/#4.32.trs 0.398 16.432 60.011 60.011 60.096 60.013
nontermin/AG01/#4.33.trs 60.011 60.018 60.012 60.014 60.015 60.015
nontermin/AG01/#4.34.trs 0.906 14.793 60.012 60.015 60.015 60.012
nontermin/AG01/#4.35.trs 60.013 60.013 60.012 60.011 60.018 60.011
nontermin/AG01/#4.36.trs 60.012 60.010 60.011 60.012 60.023 60.011
nontermin/AG01/#4.37a.trs 0.190 11.995 10.843 10.157 12.860 12.230
nontermin/AG01/#4.37.trs 0.161 13.899 12.116 11.752 14.819 13.241
nontermin/cariboo/tricky1.trs 60.014 60.012 60.014 60.012 60.013 60.012
nontermin/CSR/Ex49_GM04.trs 60.012 60.013 60.014 60.013 60.013 60.011
nontermin/Rubio-inn/test830.trs 0.054 1.481 1.436 1.389 1.376 1.498
Rubio/aoto.trs 0.874 29.882 60.011 60.016 60.015 60.015
Rubio/bintrees.trs 0.057 0.931 0.941 0.835 0.894 0.822
Rubio/bn122.trs 0.031 0.432 2.194 6.807 16.285 34.885
Rubio/bn129.trs 0.432 31.172 60.012 60.016 60.016 60.016
Rubio/division.trs 1.949 60.011 60.012 60.012 60.016 60.024
Rubio/elimdupl.trs 0.334 13.959 60.012 60.013 60.017 60.020
Rubio/enno.trs 0.643 15.697 60.013 60.013 60.015 60.021
Rubio/gcd.trs 3.676 32.180 60.012 60.012 60.014 60.013
Rubio/gmnp.trs 0.201 3.650 18.823 45.286 60.012 60.013
Rubio/gm.trs 1.182 31.455 60.012 60.013 60.015 60.016
Rubio/koen.trs 0.032 0.327 0.349 0.346 0.352 0.350
Rubio/lescanne.trs 0.073 1.857 10.049 38.452 60.012 60.013
Rubio/lindau.trs 60.011 60.012 60.013 60.014 60.014 60.016
Rubio/logarquot.trs 60.012 60.013 60.015 60.013 60.015 60.016
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
Rubio/ma96.trs 60.012 60.012 60.012 60.012 60.014 60.015
Rubio/mfp90b.trs 0.026 0.025 0.026 0.026 0.029 0.028
Rubio/mfp95.trs 0.705 0.697 0.683 0.671 0.666 0.656
Rubio/nestrec.trs 0.073 2.049 22.361 60.013 60.016 60.015
Rubio/p266.trs 0.161 5.210 5.310 4.559 5.075 5.237
Rubio/polo2.trs 60.012 60.012 60.013 60.013 60.015 60.018
Rubio/prov.trs 0.241 9.228 60.015 60.012 60.012 60.015
Rubio/quick.trs 37.603 60.012 60.012 60.012 60.013 60.013
Rubio/quotminus.trs 1.204 34.714 60.012 60.013 60.013 60.012
Rubio/revlist.trs 0.990 48.734 60.013 60.012 60.013 60.013
Rubio/selsort.trs 60.011 60.011 60.013 60.013 60.014 60.015
Rubio/test4.trs 0.082 11.714 60.013 60.012 60.016 60.017
Rubio/test829.trs 0.800 19.840 20.489 17.223 19.349 18.809
Rubio/wst99.trs 3.471 60.012 60.012 60.015 60.016 60.020
SchneiderKamp/trs/cade01.trs 0.136 3.532 18.356 44.153 60.016 60.013
SchneiderKamp/trs/cade03.trs 0.169 3.825 43.375 60.013 60.016 60.014
SchneiderKamp/trs/cade04t.trs 0.079 1.462 8.040 24.632 46.243 60.012
SchneiderKamp/trs/cade05t.trs 0.272 12.249 60.012 60.012 60.015 60.014
SchneiderKamp/trs/cade06.trs 0.303 8.130 45.841 60.013 60.015 60.012
SchneiderKamp/trs/cade07.trs 0.247 6.673 60.013 60.012 60.014 60.011
SchneiderKamp/trs/cade08.trs 1.581 46.475 60.012 60.013 60.015 60.012
SchneiderKamp/trs/cade09.trs 0.534 19.099 60.013 60.012 60.013 60.013
SchneiderKamp/trs/cade10.trs 0.293 7.849 60.011 60.012 60.016 60.012
SchneiderKamp/trs/cade11.trs 0.389 17.855 60.014 60.013 60.014 60.012
SchneiderKamp/trs/cade13t.trs 6.063 60.011 60.011 60.013 60.015 60.016
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
SchneiderKamp/trs/cade14.trs 0.318 6.578 33.631 60.012 60.016 60.015
SchneiderKamp/trs/cade15.trs 0.814 16.707 60.014 60.017 60.015 60.012
SchneiderKamp/trs/cade16.trs 0.178 3.486 14.535 47.808 60.016 60.012
SchneiderKamp/trs/kabasci01.trs 60.018 60.014 60.011 60.012 60.016 60.013
SchneiderKamp/trs/kabasci02.trs 60.013 60.012 60.012 60.013 60.017 60.016
SchneiderKamp/trs/kabasci03.trs 60.011 60.013 60.013 60.013 60.013 60.013
SchneiderKamp/trs/kabasci04.trs 5.628 60.011 60.012 60.019 60.015 60.016
SchneiderKamp/trs/kabasci05.trs 60.012 60.012 60.025 60.019 60.014 60.012
SchneiderKamp/trs/kabasci06.trs 60.015 60.014 60.012 60.011 60.016 60.012
SchneiderKamp/trs/otto01.trs 60.014 60.012 60.013 60.013 60.014 60.015
SchneiderKamp/trs/otto02.trs 1.247 24.430 60.012 60.017 60.015 60.011
SchneiderKamp/trs/otto03.trs 0.430 7.408 49.378 60.011 60.015 60.013
SchneiderKamp/trs/otto04.trs 60.013 60.012 60.012 60.014 60.014 60.015
SchneiderKamp/trs/otto05.trs 0.199 3.297 12.960 46.318 60.012 60.012
SchneiderKamp/trs/otto06.trs 1.333 26.831 60.012 60.016 60.013 60.013
SchneiderKamp/trs/otto07.trs 0.126 2.788 14.553 60.013 60.012 60.012
SchneiderKamp/trs/otto08.trs 2.281 36.649 60.013 60.012 60.015 60.016
SchneiderKamp/trs/otto09.trs 30.144 60.013 60.012 60.015 60.013 60.012
SchneiderKamp/trs/otto10.trs 60.014 60.012 60.013 60.012 60.015 60.015
SchneiderKamp/trs/otto11.trs 0.182 3.832 13.843 34.907 60.013 60.012
SchneiderKamp/trs/otto12.trs 0.272 4.655 21.787 51.602 60.012 60.013
SchneiderKamp/trs/otto13.trs 7.411 60.013 60.012 60.013 60.013 60.012
SchneiderKamp/trs/thiemann01.trs 2.540 47.416 60.012 60.013 60.012 60.013
SchneiderKamp/trs/thiemann02.trs 60.042 60.018 60.011 60.017 60.012 60.012
SchneiderKamp/trs/thiemann03.trs 11.041 60.012 60.011 60.016 60.011 60.013
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
SchneiderKamp/trs/thiemann04.trs 60.012 60.013 60.013 60.012 60.014 60.013
SchneiderKamp/trs/thiemann05.trs 60.012 60.012 60.014 60.011 60.014 60.012
SchneiderKamp/trs/thiemann06.trs 60.014 60.014 60.012 60.012 60.016 60.013
SchneiderKamp/trs/thiemann07.trs 60.012 60.011 60.013 60.013 60.012 60.013
SchneiderKamp/trs/thiemann08.trs 0.264 6.320 23.524 60.012 60.016 60.013
SchneiderKamp/trs/thiemann09.trs 8.922 60.012 60.013 60.015 60.013 60.012
SchneiderKamp/trs/thiemann10.trs 0.741 12.715 60.013 60.012 60.014 60.012
SchneiderKamp/trs/thiemann11.trs 1.861 15.249 60.011 60.012 60.016 60.013
SchneiderKamp/trs/thiemann12.trs 0.953 18.044 60.012 60.013 60.015 60.013
SchneiderKamp/trs/thiemann13.trs 51.626 60.011 60.012 60.011 60.011 60.011
SchneiderKamp/trs/thiemann14.trs 7.207 60.012 60.012 60.013 60.014 60.011
SchneiderKamp/trs/thiemann15.trs 0.135 2.544 9.163 25.705 60.014 60.012
SchneiderKamp/trs/thiemann16.trs 60.013 60.012 60.014 60.015 60.015 60.011
SchneiderKamp/trs/thiemann17.trs 60.015 60.012 60.011 60.016 60.014 60.012
SchneiderKamp/trs/thiemann18.trs 22.352 60.012 60.013 60.013 60.017 60.012
SchneiderKamp/trs/thiemann19.trs 17.617 60.012 60.014 60.014 60.015 60.013
SchneiderKamp/trs/thiemann20.trs 0.159 2.712 12.051 48.695 60.016 60.012
SchneiderKamp/trs/thiemann22.trs 1.543 42.570 60.013 60.012 60.013 60.011
SchneiderKamp/trs/thiemann23.trs 60.013 60.012 60.013 60.012 60.016 60.012
SchneiderKamp/trs/thiemann24.trs 0.860 15.826 60.012 60.013 60.015 60.013
SchneiderKamp/trs/thiemann25.trs 0.370 6.247 28.811 60.012 60.015 60.013
SchneiderKamp/trs/thiemann27.trs 0.152 2.993 16.259 60.012 60.016 60.014
SchneiderKamp/trs/thiemann29.trs 60.014 60.014 60.013 60.012 60.016 60.013
SchneiderKamp/trs/thiemann31.trs 2.492 37.633 60.013 60.013 60.015 60.014
SchneiderKamp/trs/thiemann32.trs 60.012 60.011 60.013 60.013 60.011 60.011
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
SchneiderKamp/trs/thiemann33.trs 60.012 60.012 60.012 60.014 60.016 60.013
SchneiderKamp/trs/thiemann34.trs 0.288 5.717 30.251 60.012 60.015 60.013
SchneiderKamp/trs/thiemann35.trs 60.013 60.011 60.012 60.015 60.015 60.014
SchneiderKamp/trs/thiemann36.trs 4.042 60.013 60.013 60.012 60.014 60.013
SchneiderKamp/trs/thiemann37.trs 60.016 60.011 60.012 60.012 60.015 60.012
SchneiderKamp/trs/thiemann38.trs 2.154 28.554 60.012 60.013 60.014 60.011
SchneiderKamp/trs/thiemann39.trs 60.114 60.017 60.013 60.012 60.016 60.015
SchneiderKamp/trs/thiemann41.trs 0.449 10.576 60.011 60.014 60.018 60.013
secret05/aprove1.trs 60.014 60.012 60.013 60.014 60.058 60.018
secret05/aprove2.trs 0.442 11.898 60.016 60.012 60.016 60.012
secret05/aprove3.trs 35.292 60.012 60.011 60.013 60.018 60.012
secret05/aprove4.trs 0.226 5.356 30.374 60.013 60.016 60.015
secret05/aprove5.trs 60.012 60.013 60.019 60.013 60.023 60.017
secret05/cime1.trs 60.107 60.013 60.024 60.012 60.021 60.018
secret05/cime2.trs 10.693 60.012 60.012 60.012 60.068 60.013
secret05/cime5.trs 60.014 60.014 60.013 60.013 60.014 60.013
secret05/matchbox1.trs 0.052 1.249 5.195 12.510 32.893 44.399
secret05/matchbox2.trs 0.974 23.581 60.014 60.012 60.037 60.013
secret05/teparla1.trs 60.013 60.014 60.013 60.012 60.066 60.011
secret05/teparla2.trs 60.057 60.016 60.015 60.012 60.016 60.014
secret05/teparla3.trs 60.012 60.012 60.014 60.013 60.014 60.012
secret05/tpa1.trs 60.012 60.012 60.012 60.012 60.015 60.012
secret05/tpa2.trs 60.014 60.013 60.016 60.014 60.017 60.011
secret05/tpa3.trs 60.013 60.012 60.015 60.011 60.016 60.014
secret05/tpa4.trs 60.017 60.013 60.011 60.012 60.014 60.015
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
secret05/tpa5.trs 9.961 60.014 60.013 60.013 60.014 60.015
secret06/aprove/addList.trs 60.013 60.013 60.012 60.012 60.016 60.019
secret06/aprove/divExp.trs 60.013 60.013 60.012 60.014 60.016 60.016
secret06/aprove/division.trs 1.712 26.168 60.012 60.012 60.015 60.015
secret06/aprove/double.trs 1.479 31.686 60.013 60.014 60.017 60.016
secret06/aprove/logarithm.trs 60.012 60.013 60.013 60.013 60.016 60.016
secret06/aprove/nrOfNodes.trs 60.014 60.016 60.012 60.014 60.016 60.019
secret06/aprove/reverse.trs 0.808 16.819 60.012 60.017 60.016 60.016
secret06/aprove/sumList.trs 60.012 60.012 60.011 60.012 60.017 60.016
secret06/aprove/times.trs 60.013 60.012 60.011 60.014 60.016 60.015
secret06/aprove/toList.trs 60.012 60.012 60.013 60.013 60.016 60.017
secret06/jambox/10.trs 60.015 60.013 60.014 60.013 60.016 60.015
secret06/jambox/2.trs 37.302 60.014 60.017 60.014 60.015 60.016
secret06/jambox/3.trs 2.998 60.013 60.016 60.011 60.020 60.018
secret06/jambox/4.trs 25.210 60.013 60.013 60.011 60.014 60.014
secret06/jambox/5.trs 60.012 60.015 60.012 60.012 60.020 60.014
secret06/jambox/6.trs 60.016 60.013 60.011 60.011 60.016 60.016
secret06/jambox/7.trs 60.012 60.013 60.017 60.012 60.020 60.017
secret06/jambox/8.trs 60.012 60.014 60.013 60.013 60.014 60.017
secret06/jambox/9.trs 60.012 60.015 60.013 60.014 60.015 60.016
secret06/matchbox/gen-10.trs 46.616 60.015 60.014 60.013 60.017 60.015
secret06/matchbox/gen-14.trs 60.014 60.012 60.012 60.012 60.023 60.018
secret06/matchbox/gen-15.trs 60.014 60.013 60.016 60.012 60.018 60.015
secret06/matchbox/gen-17.trs 60.015 60.014 60.013 60.012 60.016 60.016
secret06/matchbox/gen-18.trs 35.572 60.013 60.015 60.012 60.014 60.015
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
secret06/matchbox/gen-1.trs 5.237 60.014 60.013 60.013 60.016 60.015
secret06/matchbox/gen-22.trs 60.016 60.014 60.015 60.011 60.017 60.015
secret06/matchbox/gen-25.trs 60.014 60.013 60.013 60.013 60.016 60.014
secret06/matchbox/gen-28.trs 60.015 60.014 60.014 60.014 60.019 60.016
secret06/matchbox/gen-9.trs 60.013 60.014 60.012 60.011 60.017 60.015
secret06/tpa01.trs 0.294 7.218 39.551 60.012 60.012 60.014
secret06/tpa02.trs 0.275 6.058 37.698 60.011 60.015 60.016
secret06/tpa03.trs 0.083 1.379 7.466 26.871 54.593 60.016
secret06/tpa04.trs 60.013 60.013 60.014 60.013 60.016 60.015
secret06/tpa05.trs 60.016 60.012 60.012 60.012 60.016 60.017
secret06/tpa06.trs 60.012 60.011 60.016 60.011 60.015 60.018
secret06/tpa07.trs 60.011 60.012 60.012 60.012 60.016 60.016
secret06/tpa08.trs 60.013 60.011 60.015 60.013 60.015 60.016
secret06/tpa09.trs 60.012 60.012 60.013 60.012 60.016 60.016
secret06/tpa10.trs 60.013 60.012 60.014 60.013 60.014 60.014
secret07/aprove/aprove01.trs 38.719 60.013 60.011 60.012 60.015 60.013
secret07/aprove/aprove02.trs 0.361 8.044 38.426 60.013 60.091 60.016
secret07/aprove/aprove04.trs 3.091 60.012 60.012 60.012 60.015 60.010
secret07/aprove/aprove05.trs 0.592 11.228 60.011 60.012 60.045 60.013
secret07/aprove/aprove06.trs 5.847 60.014 60.012 60.013 60.022 60.012
secret07/aprove/aprove07.trs 0.287 5.302 20.765 49.184 60.093 60.013
secret07/aprove/aprove08.trs 60.012 60.014 60.013 60.011 60.021 60.014
secret07/aprove/aprove09.trs 18.539 60.013 60.011 60.016 60.023 60.013
secret07/aprove/aprove10.trs 7.727 60.012 60.012 60.011 60.017 60.013
secret07/cime/secret1.trs 60.026 60.013 60.012 60.013 60.023 60.012
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
secret07/cime/secret2.trs 4.270 60.013 60.013 60.013 60.016 60.013
secret07/cime/secret3.trs 0.984 41.557 60.012 60.013 60.015 60.013
secret07/cime/secret4.trs 7.530 60.021 60.012 60.013 60.021 60.012
secret07/cime/secret5.trs 1.932 37.963 60.012 60.013 60.029 60.018
secret07/others/dj.trs 0.690 13.727 58.787 60.015 60.023 60.013
secret07/TTT2/1.trs 4.160 60.013 60.012 60.013 60.089 60.013
secret07/TTT2/2.trs 60.013 60.011 60.012 60.012 60.014 60.012
secret07/TTT2/3.trs 60.016 60.026 60.014 60.011 60.102 60.012
secret07/TTT2/5.trs 60.013 60.013 60.012 60.013 60.015 60.013
SK90/2.01.trs 0.120 1.364 6.758 15.633 43.582 60.011
SK90/2.02.trs 0.367 11.753 60.012 60.012 60.081 60.014
SK90/2.03.trs 0.088 1.266 6.307 13.255 31.884 43.906
SK90/2.04.trs 0.056 0.464 1.803 8.104 29.244 39.018
SK90/2.06.trs 0.435 16.833 60.012 60.012 60.015 60.013
SK90/2.07.trs 0.087 1.330 5.686 17.674 33.576 47.035
SK90/2.08.trs 0.084 1.760 7.638 24.863 51.154 60.014
SK90/2.09.trs 0.056 0.035 0.028 0.027 0.057 0.028
SK90/2.10.trs 0.557 12.725 53.445 60.011 60.018 60.013
SK90/2.11.trs 0.057 0.033 0.031 0.031 0.038 0.032
SK90/2.12.trs 0.140 2.078 8.017 22.922 47.834 60.012
SK90/2.13.trs 0.078 1.440 6.268 15.295 34.465 60.012
SK90/2.14.trs 0.146 2.890 12.055 41.450 60.012 60.013
SK90/2.15.trs 0.260 5.109 28.806 60.013 60.012 60.013
SK90/2.16.trs 0.164 3.395 15.296 60.013 60.013 60.031
SK90/2.17.trs 0.610 18.763 60.011 60.014 60.025 60.011
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
SK90/2.18.trs 0.056 0.821 3.903 10.081 24.659 33.795
SK90/2.19.trs 0.787 16.091 60.015 60.012 60.016 60.012
SK90/2.20.trs 2.284 35.064 60.013 60.012 60.017 60.012
SK90/2.21.trs 1.092 56.545 60.019 60.013 60.036 60.012
SK90/2.22.trs 0.064 0.861 4.548 11.916 32.494 60.011
SK90/2.23.trs 0.137 2.570 11.788 38.372 60.020 60.012
SK90/2.24.trs 1.320 56.308 60.013 60.012 60.013 60.013
SK90/2.25.trs 1.291 35.967 60.014 60.012 60.013 60.015
SK90/2.26.trs 60.018 60.011 60.012 60.011 60.016 60.012
SK90/2.27.trs 7.887 60.013 60.012 60.012 60.030 60.012
SK90/2.28.trs 0.058 1.685 11.154 44.081 60.020 60.012
SK90/2.29.trs 60.013 60.012 60.018 60.012 60.015 60.013
SK90/2.30.trs 0.166 4.710 22.495 60.012 60.067 60.012
SK90/2.31.trs 0.044 0.528 2.002 5.349 11.514 16.346
SK90/2.32.trs 0.305 4.994 22.064 60.012 60.018 60.011
SK90/2.33.trs 0.114 2.285 7.203 22.288 47.857 60.013
SK90/2.34.trs 60.017 60.012 60.012 60.012 60.013 60.014
SK90/2.35.trs 0.056 0.731 2.920 8.530 16.499 28.883
SK90/2.36.trs 0.031 0.353 1.960 18.149 60.013 60.012
SK90/2.37.trs 0.304 7.914 60.012 60.012 60.018 60.013
SK90/2.38.trs 0.049 0.328 1.361 3.295 6.958 12.175
SK90/2.39.trs 0.258 5.382 22.340 60.012 60.017 60.014
SK90/2.40.trs 0.097 3.243 39.271 60.013 60.043 60.012
SK90/2.41.trs 0.064 0.066 0.066 0.062 0.064 0.067
SK90/2.42.trs 0.344 7.108 35.939 60.012 60.017 60.014
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
SK90/2.43.trs 60.012 60.012 60.014 60.013 60.018 60.012
SK90/2.44.trs 60.012 60.012 60.016 60.013 60.013 60.011
SK90/2.45.trs 60.012 60.012 60.012 60.012 60.061 60.012
SK90/2.46.trs 0.192 0.191 0.180 0.194 0.189 0.190
SK90/2.47.trs 0.024 0.134 0.508 1.409 3.837 6.642
SK90/2.48.trs 0.034 0.034 0.034 0.033 0.034 0.034
SK90/2.49.trs 1.691 1.787 1.706 1.735 1.588 1.545
SK90/2.50.trs 0.097 1.825 2.050 1.930 1.948 1.646
SK90/2.51.trs 0.110 2.808 12.734 31.121 60.013 60.014
SK90/2.52.trs 60.013 60.013 60.013 60.012 60.014 60.013
SK90/2.53.trs 0.035 0.417 0.404 0.421 0.404 0.413
SK90/2.54.trs 0.033 0.021 0.020 0.020 0.024 0.020
SK90/2.55.trs 0.024 0.159 0.670 1.819 3.559 6.768
SK90/2.56.trs 0.057 0.034 0.032 0.031 0.057 0.031
SK90/2.57.trs 60.013 60.013 60.011 60.014 60.017 60.012
SK90/2.58.trs 0.116 1.651 9.030 16.255 49.717 60.013
SK90/2.59.trs 0.025 0.243 1.332 4.517 14.158 28.920
SK90/2.60.trs 60.012 60.012 60.011 60.012 60.012 60.014
SK90/2.61.trs 2.760 60.013 60.011 60.013 60.018 60.011
SK90/4.01.trs 0.086 1.596 1.543 1.577 1.412 1.659
SK90/4.02.trs 60.012 60.013 60.013 60.017 60.016 60.014
SK90/4.03.trs 0.121 2.191 8.139 23.762 60.012 60.014
SK90/4.04.trs 1.041 28.049 60.012 60.011 60.015 60.012
SK90/4.05.trs 0.107 2.002 6.705 19.825 45.516 60.016
SK90/4.07.trs 0.022 0.185 0.729 2.028 3.643 7.014
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
SK90/4.08.trs 0.024 0.127 0.597 1.304 3.091 4.761
SK90/4.09.trs 0.116 2.256 8.246 21.191 50.285 60.013
SK90/4.10.trs 0.147 2.577 10.598 28.616 60.016 60.012
SK90/4.11.trs 0.048 0.542 2.084 5.614 11.301 19.068
SK90/4.12.trs 9.239 60.014 60.013 60.013 60.043 60.012
SK90/4.13.trs 60.011 60.012 60.012 60.012 60.015 60.011
SK90/4.14.trs 0.125 2.382 9.356 20.270 60.017 60.013
SK90/4.15.trs 0.023 0.207 0.826 2.173 4.512 10.216
SK90/4.16.trs 60.012 60.012 60.012 60.013 60.014 60.013
SK90/4.17.trs 2.438 60.011 60.013 60.011 60.026 60.012
SK90/4.18.trs 60.018 60.011 60.012 60.012 60.015 60.014
SK90/4.19.trs 10.152 9.775 9.358 9.928 10.421 9.449
SK90/4.20.trs 0.184 3.297 16.449 43.479 60.014 60.010
SK90/4.21.trs 0.079 1.332 5.213 13.640 35.212 60.012
SK90/4.22.trs 0.180 5.343 28.917 60.012 60.018 60.012
SK90/4.23.trs 0.099 1.171 4.889 12.720 27.757 54.496
SK90/4.24.trs 0.855 20.029 60.012 60.012 60.083 60.014
SK90/4.25.trs 0.057 0.059 0.059 0.057 0.088 0.054
SK90/4.26.trs 0.088 1.241 5.382 11.668 31.477 60.012
SK90/4.27.trs 60.011 60.012 60.014 60.014 60.013 60.013
SK90/4.28.trs 60.044 60.017 60.012 60.012 60.015 60.012
SK90/4.29.trs 60.022 60.011 60.017 60.011 60.014 60.012
SK90/4.30.trs 0.466 25.330 60.014 60.012 60.082 60.013
SK90/4.31.trs 2.052 53.295 60.013 60.012 60.013 60.017
SK90/4.32.trs 0.185 4.447 20.886 58.897 60.051 60.013
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
SK90/4.33.trs 0.238 0.233 0.241 0.233 0.234 0.237
SK90/4.35.trs 0.051 0.636 0.594 0.690 0.614 0.620
SK90/4.36.trs 0.044 0.367 0.386 0.369 0.387 0.337
SK90/4.37.trs 0.038 0.036 0.038 0.037 0.039 0.040
SK90/4.38.trs 0.056 0.041 0.042 0.040 0.075 0.043
SK90/4.39.trs 0.341 0.305 0.315 0.309 0.313 0.341
SK90/4.41.trs 0.024 0.176 0.774 2.520 5.396 13.384
SK90/4.42.trs 0.281 5.635 19.868 60.010 60.025 60.015
SK90/4.43.trs 1.246 42.462 60.011 60.013 60.012 60.012
SK90/4.44.trs 0.025 0.152 0.152 0.156 0.154 0.156
SK90/4.45.trs 0.013 0.015 0.015 0.015 0.024 0.015
SK90/4.46.trs 0.024 0.046 0.045 0.045 0.056 0.047
SK90/4.47.trs 60.013 60.011 60.012 60.012 60.016 60.012
SK90/4.48.trs 0.040 0.028 0.029 0.028 0.057 0.029
SK90/4.50.trs 0.027 0.104 0.404 1.025 2.151 3.848
SK90/4.51.trs 0.125 13.830 60.012 60.012 60.042 60.010
SK90/4.52.trs 0.308 6.166 26.090 55.490 60.068 60.015
SK90/4.53.trs 2.241 45.150 60.011 60.011 60.013 60.019
SK90/4.55.trs 0.022 0.137 0.566 1.939 6.584 12.183
SK90/4.56.trs 0.024 0.054 0.053 0.052 0.055 0.053
SK90/4.57.trs 60.012 60.013 60.014 60.013 60.017 60.014
SK90/4.59.trs 46.548 60.012 60.013 60.013 60.016 60.018
SK90/4.60.trs 48.113 60.012 60.012 60.013 60.017 60.011
SK90/4.61.trs 60.022 60.014 60.013 60.012 60.016 60.012
Ste92/hydra.trs 6.518 60.014 60.013 60.012 60.015 60.015
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
Ste92/motivation.trs 0.049 1.433 9.097 26.987 60.014 60.015
Ste92/perfect2.trs 60.013 60.012 60.013 60.013 60.018 60.015
Ste92/perfect.trs 60.013 60.015 60.012 60.015 60.015 60.015
Thiemann/div_notCeTermin.trs 0.892 39.043 60.013 60.015 60.016 60.016
Thiemann/factorial1.trs 1.908 40.974 60.012 60.013 60.015 60.017
Thiemann/factorial2.trs 4.312 60.012 60.012 60.013 60.014 60.015
Thiemann/identity.trs 2.524 60.012 60.012 60.013 60.015 60.015
Thiemann/logarithm.trs 60.076 60.014 60.012 60.012 60.015 60.016
Thiemann/mapHard.trs 60.038 60.011 60.011 60.013 60.017 60.015
Thiemann/modulo.trs 0.198 2.783 9.567 33.237 60.015 60.016
Thiemann/quicksort.trs 60.016 60.012 60.012 60.020 60.016 60.014
Thiemann/quot.trs 0.719 23.290 60.012 60.011 60.015 60.015
Thiemann/sizeChange.trs 36.243 60.012 60.013 60.011 60.015 60.015
Thiemann/tower_sizeChange.trs 0.341 7.849 34.488 60.012 60.016 60.018
Thiemann/tower.trs 1.465 33.840 60.012 60.012 60.015 60.017
TRCSR/Ex1_2_AEL03_FR.trs 60.012 60.014 60.016 60.013 60.030 60.012
TRCSR/Ex1_2_AEL03_Z.trs 60.012 60.013 60.014 60.027 60.013 60.012
TRCSR/Ex1_2_Luc02c_C.trs 1.259 38.686 60.013 60.014 60.077 60.013
TRCSR/Ex1_2_Luc02c_FR.trs 0.102 1.787 8.391 21.963 60.016 60.015
TRCSR/Ex1_2_Luc02c_GM.trs 0.176 3.273 19.400 60.012 60.069 60.016
TRCSR/Ex1_2_Luc02c_iGM.trs 1.469 44.884 60.012 60.012 60.017 60.020
TRCSR/Ex1_2_Luc02c_Z.trs 0.072 1.265 4.406 13.536 33.528 54.940
TRCSR/Ex14_AEGL02_C.trs 1.993 40.170 60.014 60.012 60.099 60.041
TRCSR/Ex14_AEGL02_GM.trs 0.156 3.010 20.938 60.067 60.042 60.014
TRCSR/Ex14_AEGL02_iGM.trs 1.979 50.055 60.019 60.013 60.018 60.012
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
TRCSR/Ex15_Luc06_C.trs 60.012 60.013 60.013 60.013 60.013 60.012
TRCSR/Ex15_Luc06_FR.trs 0.316 9.073 44.054 60.047 60.013 60.013
TRCSR/Ex15_Luc06_GM.trs 0.327 41.518 60.013 60.049 60.016 60.017
TRCSR/Ex15_Luc06_iGM.trs 60.012 60.013 60.012 60.013 60.017 60.031
TRCSR/Ex15_Luc06_Z.trs 0.514 23.489 24.276 24.456 28.600 23.454
TRCSR/Ex15_Luc98_C.trs 7.549 60.015 60.066 60.055 60.012 60.019
TRCSR/Ex15_Luc98_GM.trs 0.264 5.368 27.349 60.012 60.014 60.013
TRCSR/Ex15_Luc98_iGM.trs 7.742 60.015 60.030 60.070 60.034 60.014
TRCSR/Ex15_Luc98_Z.trs 15.395 60.012 60.013 60.012 60.072 60.014
TRCSR/Ex16_Luc06_C.trs 0.582 16.526 60.019 60.012 60.014 60.013
TRCSR/Ex16_Luc06_FR.trs 0.022 0.158 0.749 2.310 6.543 11.709
TRCSR/Ex16_Luc06_GM.trs 0.034 0.491 3.854 27.009 43.949 60.015
TRCSR/Ex16_Luc06_iGM.trs 0.650 13.436 60.013 60.012 60.014 60.013
TRCSR/Ex16_Luc06_Z.trs 0.022 0.163 0.752 2.315 5.718 12.084
TRCSR/Ex18_Luc06_C.trs 60.012 60.015 60.013 60.013 60.012 60.013
TRCSR/Ex18_Luc06_FR.trs 0.667 14.766 60.013 60.013 60.016 60.090
TRCSR/Ex18_Luc06_GM.trs 0.326 49.371 49.161 60.018 53.917 60.014
TRCSR/Ex18_Luc06_iGM.trs 60.013 60.012 60.012 60.015 60.016 60.019
TRCSR/Ex18_Luc06_L.trs 0.024 0.025 0.025 0.024 0.037 0.057
TRCSR/Ex18_Luc06_Z.trs 0.506 14.731 13.794 14.993 15.751 13.056
TRCSR/Ex1_GL02a_C.trs 8.874 60.014 60.011 60.012 60.014 60.012
TRCSR/Ex1_GL02a_GM.trs 0.245 5.718 40.903 60.013 60.057 60.020
TRCSR/Ex1_GL02a_iGM.trs 11.592 60.013 60.013 60.013 60.062 60.013
TRCSR/Ex1_GM99_C.trs 0.988 30.347 60.012 60.015 60.013 60.013
TRCSR/Ex1_Luc02b_FR.trs 0.588 9.896 60.013 60.015 60.013 60.014
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
TRCSR/Ex1_Luc02b_Z.trs 0.406 8.146 38.795 60.013 60.013 60.023
TRCSR/Ex1_Luc04b_C.trs 14.813 60.011 60.013 60.013 60.013 60.018
TRCSR/Ex1_Luc04b_GM.trs 0.585 9.445 60.036 60.028 60.025 60.012
TRCSR/Ex1_Luc04b_iGM.trs 16.523 60.012 60.036 60.045 60.012 60.015
TRCSR/Ex1_Zan97_C.trs 0.461 49.277 60.013 60.015 60.038 60.014
TRCSR/Ex1_Zan97_GM.trs 0.028 0.238 0.237 0.237 0.240 0.236
TRCSR/Ex1_Zan97_iGM.trs 0.522 22.790 60.012 60.012 60.013 60.014
TRCSR/Ex23_Luc06_C.trs 60.012 60.012 60.013 60.013 60.042 60.035
TRCSR/Ex23_Luc06_FR.trs 59.567 60.012 60.013 60.012 60.020 60.011
TRCSR/Ex23_Luc06_GM.trs 40.349 60.013 60.033 60.020 60.024 60.012
TRCSR/Ex23_Luc06_iGM.trs 60.012 60.014 60.013 60.012 60.015 60.012
TRCSR/Ex23_Luc06_L.trs 0.027 0.024 0.050 0.030 0.025 0.024
TRCSR/Ex23_Luc06_Z.trs 37.807 60.012 60.052 60.027 60.013 60.012
TRCSR/Ex24_GM04_C.trs 0.674 22.636 60.086 60.013 60.058 60.079
TRCSR/Ex24_Luc06_C.trs 2.936 60.014 60.012 60.012 60.136 60.013
TRCSR/Ex25_Luc06_C.trs 56.967 60.012 60.012 60.012 60.036 60.028
TRCSR/Ex25_Luc06_FR.trs 0.587 14.553 60.013 60.013 60.035 60.013
TRCSR/Ex25_Luc06_GM.trs 0.552 13.083 60.015 60.014 60.017 60.025
TRCSR/Ex25_Luc06_iGM.trs 58.607 60.012 60.013 60.013 60.014 60.013
TRCSR/Ex25_Luc06_L.trs 0.014 0.035 0.042 0.035 0.056 0.056
TRCSR/Ex25_Luc06_Z.trs 0.563 12.921 60.014 60.015 60.084 60.013
TRCSR/Ex26_Luc03b_C.trs 60.011 60.014 60.023 60.013 60.016 60.015
TRCSR/Ex26_Luc03b_GM.trs 7.097 60.012 60.014 60.011 60.013 60.014
TRCSR/Ex26_Luc03b_iGM.trs 60.012 60.014 60.011 60.012 60.012 60.011
TRCSR/Ex26_Luc03b_L.trs 0.051 0.056 0.073 0.054 0.056 0.054
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
TRCSR/Ex26_Luc03b_Z.trs 50.421 60.012 60.014 60.012 60.021 60.015
TRCSR/Ex2_Luc02a_C.trs 60.012 60.018 60.012 60.022 60.016 60.015
TRCSR/Ex2_Luc02a_FR.trs 1.825 32.328 60.014 60.015 60.093 60.014
TRCSR/Ex2_Luc02a_GM.trs 60.014 60.013 60.012 60.013 60.015 60.012
TRCSR/Ex2_Luc02a_iGM.trs 60.017 60.013 60.013 60.012 60.013 60.013
TRCSR/Ex2_Luc02a_L.trs 0.583 11.486 53.242 60.012 60.014 60.014
TRCSR/Ex2_Luc02a_Z.trs 1.673 60.012 60.011 60.012 60.060 60.013
TRCSR/Ex2_Luc03b_C.trs 8.183 60.013 60.013 60.014 60.076 60.013
TRCSR/Ex2_Luc03b_FR.trs 2.500 50.217 60.078 60.014 60.016 60.012
TRCSR/Ex2_Luc03b_GM.trs 0.628 12.280 60.013 60.012 60.016 60.012
TRCSR/Ex2_Luc03b_iGM.trs 10.499 60.011 60.013 60.015 60.013 60.014
TRCSR/Ex2_Luc03b_L.trs 0.029 0.029 0.029 0.029 0.056 0.028
TRCSR/Ex2_Luc03b_Z.trs 2.344 60.012 60.013 60.014 60.022 60.022
TRCSR/Ex3_12_Luc96a_FR.trs 0.079 1.341 5.910 13.781 30.795 48.274
TRCSR/Ex3_12_Luc96a_Z.trs 0.066 0.975 3.632 9.692 22.503 34.674
TRCSR/Ex3_3_25_Bor03_C.trs 60.012 60.017 60.012 60.014 60.029 60.030
TRCSR/Ex3_3_25_Bor03_GM.trs 60.011 60.013 60.014 60.013 60.022 60.052
TRCSR/Ex3_3_25_Bor03_iGM.trs 60.012 60.013 60.013 60.015 60.027 60.013
TRCSR/Ex3_3_25_Bor03_L.trs 0.281 0.263 0.275 0.258 0.311 0.280
TRCSR/Ex4_4_Luc96b_C.trs 2.944 60.012 60.014 60.072 60.014 60.012
TRCSR/Ex4_4_Luc96b_GM.trs 0.112 3.558 15.994 60.061 60.039 60.041
TRCSR/Ex4_4_Luc96b_iGM.trs 3.320 60.014 60.016 60.018 60.014 60.012
TRCSR/Ex4_4_Luc96b_L.trs 0.014 0.014 0.019 0.014 0.024 0.022
TRCSR/Ex4_7_15_Bor03_C.trs 60.012 60.014 60.014 60.013 60.015 60.013
TRCSR/Ex4_7_15_Bor03_FR.trs 1.992 60.012 60.012 60.013 60.073 60.015
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
TRCSR/Ex4_7_15_Bor03_GM.trs 2.281 60.018 60.013 60.011 60.013 60.013
TRCSR/Ex4_7_15_Bor03_iGM.trs 60.012 60.015 60.013 60.015 60.015 60.014
TRCSR/Ex4_7_15_Bor03_L.trs 0.538 43.364 52.493 43.815 53.214 44.410
TRCSR/Ex4_7_15_Bor03_Z.trs 2.181 60.067 60.012 60.012 60.012 60.011
TRCSR/Ex4_7_37_Bor03_FR.trs 17.663 60.016 60.012 60.047 60.055 60.074
TRCSR/Ex4_7_37_Bor03_Z.trs 18.519 60.014 60.015 60.011 60.014 60.020
TRCSR/Ex4_7_56_Bor03_FR.trs 0.076 1.274 5.178 11.688 31.112 53.997
TRCSR/Ex4_7_56_Bor03_Z.trs 0.056 0.946 3.957 10.194 20.536 40.518
TRCSR/Ex4_7_77_Bor03_C.trs 0.535 10.799 58.152 60.013 60.016 60.011
TRCSR/Ex4_7_77_Bor03_FR.trs 0.026 0.188 0.178 0.188 0.197 0.200
TRCSR/Ex4_7_77_Bor03_GM.trs 0.040 0.769 2.752 14.828 47.706 60.013
TRCSR/Ex4_7_77_Bor03_iGM.trs 0.637 14.818 60.030 60.021 60.016 60.013
TRCSR/Ex4_7_77_Bor03_Z.trs 0.026 0.175 0.196 0.190 0.191 0.194
TRCSR/Ex49_GM04_C.trs 60.012 60.011 60.013 60.062 60.013 60.012
TRCSR/Ex49_GM04_GM.trs 60.014 60.011 60.012 60.011 60.017 60.014
TRCSR/Ex49_GM04_iGM.trs 60.012 60.011 60.014 60.012 60.016 60.083
TRCSR/Ex49_GM04_Z.trs 60.012 60.014 60.057 60.013 60.013 60.053
TRCSR/Ex4_Zan97_FR.trs 0.145 2.878 12.642 30.511 60.075 60.012
TRCSR/Ex4_Zan97_Z.trs 0.118 2.144 8.611 35.669 60.016 60.011
TRCSR/Ex5_DLMMU04_C.trs 60.014 60.012 60.013 60.016 60.038 60.014
TRCSR/Ex5_DLMMU04_GM.trs 19.783 60.012 60.014 60.014 60.012 60.014
TRCSR/Ex5_DLMMU04_iGM.trs 60.012 60.015 60.012 60.012 60.019 60.012
TRCSR/Ex5_Zan97_C.trs 3.949 60.015 60.014 60.013 60.018 60.013
TRCSR/Ex5_Zan97_FR.trs 0.090 1.397 7.916 20.427 45.868 60.012
TRCSR/Ex5_Zan97_GM.trs 0.401 11.508 55.996 60.015 60.065 60.013
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
TRCSR/Ex5_Zan97_iGM.trs 4.423 60.037 60.013 60.014 60.049 60.012
TRCSR/Ex5_Zan97_Z.trs 0.087 1.276 1.424 1.398 1.412 1.444
TRCSR/Ex6_9_Luc02c_C.trs 2.181 60.012 60.015 60.013 60.027 60.096
TRCSR/Ex6_9_Luc02c_FR.trs 0.112 1.915 8.199 21.413 50.720 60.014
TRCSR/Ex6_9_Luc02c_GM.trs 0.370 7.960 60.012 60.011 60.018 60.014
TRCSR/Ex6_9_Luc02c_iGM.trs 3.152 60.012 60.054 60.012 60.080 60.012
TRCSR/Ex6_9_Luc02c_Z.trs 0.087 1.489 6.801 19.676 39.472 60.013
TRCSR/Ex6_GM04_C.trs 0.562 60.012 60.013 60.016 60.012 60.037
TRCSR/Ex6_GM04_GM.trs 0.033 0.372 0.346 0.350 0.376 0.341
TRCSR/Ex6_GM04_iGM.trs 0.637 34.235 60.014 60.013 60.012 60.012
TRCSR/Ex6_GM04_L.trs 0.013 0.019 0.014 0.014 0.024 0.015
TRCSR/Ex6_Luc98_C.trs 5.219 60.012 60.015 60.011 60.082 60.023
TRCSR/Ex6_Luc98_FR.trs 0.483 13.106 60.075 60.053 60.012 60.073
TRCSR/Ex6_Luc98_GM.trs 0.484 13.397 60.013 60.013 60.014 60.012
TRCSR/Ex6_Luc98_iGM.trs 6.326 60.011 60.012 60.012 60.014 60.012
TRCSR/Ex6_Luc98_L.trs 0.025 0.056 0.056 0.024 0.035 0.036
TRCSR/Ex6_Luc98_Z.trs 0.377 9.817 60.052 60.014 60.015 60.101
TRCSR/Ex7_BLR02_FR.trs 0.545 11.699 60.013 60.053 60.021 60.031
TRCSR/Ex7_BLR02_Z.trs 0.421 9.384 40.694 60.015 60.098 60.012
TRCSR/Ex8_BLR02_FR.trs 7.151 60.013 60.012 60.013 60.090 60.013
TRCSR/Ex8_BLR02_Z.trs 7.024 60.079 60.012 60.019 60.023 60.012
TRCSR/Ex9_BLR02_C.trs 60.014 60.012 60.016 60.014 60.015 60.012
TRCSR/Ex9_BLR02_GM.trs 25.178 60.012 60.011 60.013 60.031 60.013
TRCSR/Ex9_BLR02_iGM.trs 60.011 60.012 60.016 60.014 60.016 60.015
TRCSR/Ex9_BLR02_L.trs 2.294 33.132 38.755 37.756 39.374 37.275
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
TRCSR/Ex9_BLR02_Z.trs 36.513 60.012 60.014 60.015 60.039 60.013
TRCSR/Ex9_Luc06_C.trs 3.104 60.014 60.013 60.011 60.092 60.022
TRCSR/Ex9_Luc06_GM.trs 0.058 1.269 10.088 60.012 60.012 60.012
TRCSR/Ex9_Luc06_iGM.trs 3.150 60.011 60.012 60.014 60.056 60.014
TRCSR/ExAppendixB_AEL03_FR.trs 55.735 60.012 60.012 60.012 60.013 60.013
TRCSR/ExAppendixB_AEL03_Z.trs 58.189 60.012 60.014 60.016 60.017 60.012
TRCSR/ExConc_Zan97_C.trs 0.632 25.960 60.015 60.012 60.018 60.012
TRCSR/ExConc_Zan97_FR.trs 0.052 0.843 3.202 11.342 42.074 60.013
TRCSR/ExConc_Zan97_GM.trs 0.047 0.842 6.122 29.845 60.021 60.012
TRCSR/ExConc_Zan97_iGM.trs 0.792 24.823 60.011 60.013 60.016 60.013
TRCSR/ExConc_Zan97_L.trs 0.014 0.013 0.024 0.026 0.023 0.014
TRCSR/ExIntrod_GM01_C.trs 11.414 60.012 60.012 60.014 60.014 60.013
TRCSR/ExIntrod_GM01_GM.trs 1.005 26.080 60.013 60.016 60.040 60.013
TRCSR/ExIntrod_GM01_iGM.trs 12.504 60.012 60.014 60.012 60.019 60.014
TRCSR/ExIntrod_GM04_C.trs 10.667 60.066 60.016 60.013 60.024 60.012
TRCSR/ExIntrod_GM04_GM.trs 0.250 5.334 50.858 60.013 60.015 60.014
TRCSR/ExIntrod_GM04_iGM.trs 12.457 60.011 60.013 60.013 60.072 60.013
TRCSR/ExProp7_Luc06_C.trs 60.012 60.012 60.013 60.018 60.014 60.012
TRCSR/ExProp7_Luc06_FR.trs 1.979 42.092 60.013 60.014 60.015 60.011
TRCSR/ExProp7_Luc06_GM.trs 2.334 60.013 60.013 60.013 60.096 60.014
TRCSR/ExProp7_Luc06_iGM.trs 60.017 60.012 60.017 60.015 60.014 60.015
TRCSR/ExProp7_Luc06_L.trs 0.315 11.610 41.431 60.017 60.044 60.011
TRCSR/ExProp7_Luc06_Z.trs 2.123 45.801 60.012 60.013 60.025 60.012
TRCSR/ExSec11_1_Luc02a_C.trs 60.012 60.032 60.014 60.017 60.015 60.014
TRCSR/ExSec11_1_Luc02a_FR.trs 1.787 39.284 60.013 60.071 60.016 60.115
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
TRCSR/ExSec11_1_Luc02a_GM.trs 60.001 60.011 60.014 60.012 60.013 60.013
TRCSR/ExSec11_1_Luc02a_iGM.trs 60.012 60.012 60.014 60.022 60.035 60.018
TRCSR/ExSec11_1_Luc02a_L.trs 0.668 12.641 60.013 60.019 60.089 60.044
TRCSR/ExSec11_1_Luc02a_Z.trs 1.733 31.028 60.057 60.016 60.024 60.012
TRCSR/ExSec4_2_DLMMU04_FR.trs 1.982 34.158 60.013 60.025 60.017 60.012
TRCSR/ExSec4_2_DLMMU04_Z.trs 1.950 38.142 60.014 60.015 60.083 60.012
TRCSR/LengthOfFiniteLists_complete_GM.trs 60.013 60.012 60.012 60.012 60.033 60.032
TRCSR/LengthOfFiniteLists_complete_noand_GM.trs 1.644 32.612 60.015 60.098 60.014 60.013
TRCSR/LengthOfFiniteLists_nokinds_C.trs 60.011 60.013 60.016 60.013 60.024 60.012
TRCSR/LengthOfFiniteLists_nokinds_GM.trs 1.073 43.350 60.011 60.012 60.019 60.014
TRCSR/LengthOfFiniteLists_nokinds_noand_GM.trs 0.520 15.780 55.946 60.025 60.024 60.015
TRCSR/LengthOfFiniteLists_nokinds_noand_iGM.trs 18.168 60.013 60.015 60.012 60.017 60.013
TRCSR/LISTUTILITIES_nosorts_FR.trs 3.013 60.012 60.018 60.015 60.019 60.046
TRCSR/LISTUTILITIES_nosorts-noand_FR.trs 10.387 60.011 60.015 60.017 60.017 60.062
TRCSR/LISTUTILITIES_nosorts-noand_Z.trs 10.613 60.011 60.013 60.013 60.057 60.060
TRCSR/LISTUTILITIES_nosorts_Z.trs 3.080 60.015 60.016 60.013 60.013 60.011
TRCSR/MYNAT_complete_C.trs 60.012 60.011 60.014 60.078 60.067 60.014
TRCSR/MYNAT_complete_FR.trs 60.013 60.012 60.012 60.013 60.036 60.014
TRCSR/MYNAT_complete_iGM.trs 60.012 60.011 60.013 60.013 60.013 60.012
TRCSR/MYNAT_complete_Z.trs 60.012 60.011 60.012 60.012 60.036 60.012
TRCSR/MYNAT_nokinds_C.trs 60.011 60.013 60.013 60.012 60.018 60.018
TRCSR/MYNAT_nokinds_FR.trs 9.520 60.013 60.013 60.013 60.013 60.015
TRCSR/MYNAT_nokinds_GM.trs 5.884 60.013 60.014 60.014 60.015 60.014
TRCSR/MYNAT_nokinds_iGM.trs 60.012 60.012 60.011 60.012 60.018 60.012
TRCSR/MYNAT_nokinds-noand_FR.trs 9.660 60.013 60.015 60.064 60.016 60.013
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
TRCSR/MYNAT_nokinds_noand_GM.trs 3.935 60.013 60.012 60.012 60.057 60.014
TRCSR/MYNAT_nokinds-noand_Z.trs 9.446 60.012 60.015 60.014 60.083 60.012
TRCSR/MYNAT_nokinds_Z.trs 9.977 60.012 60.016 60.014 60.017 60.012
TRCSR/MYNAT_nosorts_C.trs 1.959 32.273 60.012 60.104 60.013 60.014
TRCSR/MYNAT_nosorts_FR.trs 0.035 0.430 1.824 4.751 10.883 16.047
TRCSR/MYNAT_nosorts_GM.trs 2.525 60.014 60.017 60.014 60.013 60.016
TRCSR/MYNAT_nosorts_iGM.trs 2.996 60.012 60.016 60.014 60.033 60.074
TRCSR/MYNAT_nosorts_noand_C.trs 9.856 60.016 60.013 60.015 60.015 60.020
TRCSR/MYNAT_nosorts-noand_FR.trs 3.703 60.013 60.028 60.082 60.039 60.013
TRCSR/MYNAT_nosorts_noand_GM.trs 3.512 60.020 60.041 60.040 60.015 60.082
TRCSR/MYNAT_nosorts_noand_iGM.trs 10.079 60.012 60.013 60.014 60.045 60.012
TRCSR/MYNAT_nosorts-noand_Z.trs 3.488 60.014 60.014 60.016 60.013 60.013
TRCSR/MYNAT_nosorts_Z.trs 0.036 0.432 1.856 4.771 9.685 16.309
TRCSR/OvConsOS_nokinds_noand_GM.trs 1.151 22.425 60.012 60.013 60.017 60.011
TRCSR/PALINDROME_complete_C.trs 60.013 60.084 60.012 60.012 60.013 60.012
TRCSR/PALINDROME_complete_FR.trs 60.012 60.012 60.012 60.011 60.029 60.011
TRCSR/PALINDROME_complete_GM.trs 60.014 60.012 60.016 60.014 60.014 60.014
TRCSR/PALINDROME_complete-noand_FR.trs 60.011 60.011 60.011 60.013 60.019 60.013
TRCSR/PALINDROME_complete_noand_GM.trs 3.133 59.652 60.013 60.013 60.012 60.015
TRCSR/PALINDROME_complete-noand_Z.trs 60.013 60.011 60.012 60.015 60.016 60.014
TRCSR/PALINDROME_complete_Z.trs 60.013 60.013 60.012 60.014 60.017 60.014
TRCSR/PALINDROME_nokinds_C.trs 60.011 60.013 60.013 60.037 60.013 60.014
TRCSR/PALINDROME_nokinds_FR.trs 40.140 60.016 60.011 60.011 60.030 60.013
TRCSR/PALINDROME_nokinds_GM.trs 1.327 27.876 60.013 60.013 60.017 60.067
TRCSR/PALINDROME_nokinds_iGM.trs 60.012 60.012 60.013 60.012 60.018 60.013
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
TRCSR/PALINDROME_nokinds_noand_C.trs 26.222 60.011 60.013 60.013 60.017 60.012
TRCSR/PALINDROME_nokinds-noand_FR.trs 4.564 60.012 60.013 60.011 60.096 60.014
TRCSR/PALINDROME_nokinds_noand_GM.trs 1.278 30.994 60.013 60.019 60.021 60.015
TRCSR/PALINDROME_nokinds_noand_iGM.trs 27.801 60.011 60.016 60.013 60.014 60.013
TRCSR/PALINDROME_nokinds-noand_Z.trs 4.551 60.013 60.017 60.012 60.021 60.015
TRCSR/PALINDROME_nokinds_Z.trs 41.821 60.012 60.015 60.016 60.047 60.018
TRCSR/PALINDROME_nosorts_C.trs 1.910 45.913 60.021 60.013 60.087 60.012
TRCSR/PALINDROME_nosorts_FR.trs 0.046 0.654 2.720 7.324 17.213 25.758
TRCSR/PALINDROME_nosorts_GM.trs 0.669 14.991 60.019 60.015 60.085 60.016
TRCSR/PALINDROME_nosorts_iGM.trs 2.427 60.014 60.013 60.013 60.015 60.094
TRCSR/PALINDROME_nosorts_noand_C.trs 6.724 60.014 60.013 60.013 60.012 60.014
TRCSR/PALINDROME_nosorts-noand_FR.trs 0.112 2.058 7.241 21.274 50.793 60.014
TRCSR/PALINDROME_nosorts_noand_GM.trs 0.777 16.346 60.014 60.015 60.095 60.027
TRCSR/PALINDROME_nosorts_noand_iGM.trs 8.146 60.013 60.017 60.069 60.033 60.012
TRCSR/PALINDROME_nosorts-noand_L.trs 0.114 2.020 8.167 20.171 39.986 60.013
TRCSR/PALINDROME_nosorts-noand_Z.trs 0.113 2.038 7.986 20.886 41.466 60.014
TRCSR/PALINDROME_nosorts_Z.trs 0.047 0.743 3.072 7.754 12.655 27.462
TRCSR/PEANO_complete_C.trs 60.013 60.011 60.013 60.011 60.020 60.013
TRCSR/PEANO_complete_FR.trs 60.012 60.014 60.015 60.019 60.034 60.036
TRCSR/PEANO_complete_GM.trs 60.011 60.012 60.013 60.011 60.015 60.012
TRCSR/PEANO_complete_iGM.trs 60.013 60.011 60.012 60.014 60.075 60.015
TRCSR/PEANO_complete-noand_FR.trs 27.838 60.013 60.019 60.028 60.013 60.012
TRCSR/PEANO_complete_noand_GM.trs 1.720 39.667 60.013 60.012 60.013 60.013
TRCSR/PEANO_complete-noand_Z.trs 28.448 60.030 60.013 60.031 60.012 60.015
TRCSR/PEANO_complete_Z.trs 60.012 60.015 60.021 60.014 60.032 60.015
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
TRCSR/PEANO_nokinds_C.trs 60.012 60.014 60.012 60.013 60.014 60.018
TRCSR/PEANO_nokinds_FR.trs 3.699 60.014 60.092 60.016 60.042 60.013
TRCSR/PEANO_nokinds_GM.trs 1.707 37.132 60.014 60.014 60.013 60.013
TRCSR/PEANO_nokinds_iGM.trs 60.012 60.020 60.013 60.013 60.013 60.011
TRCSR/PEANO_nokinds_noand_C.trs 10.112 60.013 60.014 60.015 60.013 60.014
TRCSR/PEANO_nokinds-noand_FR.trs 3.062 52.864 60.027 60.023 60.091 60.013
TRCSR/PEANO_nokinds_noand_GM.trs 0.888 19.081 60.012 60.012 60.016 60.013
TRCSR/PEANO_nokinds_noand_iGM.trs 11.695 60.015 60.013 60.013 60.015 60.012
TRCSR/PEANO_nokinds-noand_Z.trs 2.892 60.012 60.056 60.021 60.014 60.012
TRCSR/PEANO_nokinds_Z.trs 3.554 60.012 60.012 60.012 60.030 60.012
TRCSR/PEANO_nosorts_C.trs 0.794 16.330 60.013 60.015 60.017 60.012
TRCSR/PEANO_nosorts_FR.trs 0.023 0.039 0.056 0.035 0.042 0.023
TRCSR/PEANO_nosorts_GM.trs 0.471 13.851 60.013 60.012 60.013 60.016
TRCSR/PEANO_nosorts_iGM.trs 1.441 39.813 60.072 60.076 60.015 60.013
TRCSR/PEANO_nosorts_noand_C.trs 3.580 60.011 60.012 60.013 60.012 60.014
TRCSR/PEANO_nosorts-noand_FR.trs 0.851 22.646 22.428 26.919 23.903 25.904
TRCSR/PEANO_nosorts_noand_GM.trs 0.763 14.505 60.012 60.013 60.048 60.015
TRCSR/PEANO_nosorts_noand_iGM.trs 3.722 60.014 60.019 60.069 60.013 60.011
TRCSR/PEANO_nosorts-noand_Z.trs 0.858 25.304 25.855 25.385 22.362 26.157
TRCSR/PEANO_nosorts_Z.trs 0.023 0.025 0.024 0.076 0.077 0.056
various/02.trs 0.021 0.111 0.404 0.919 2.103 3.652
various/03.trs 0.031 0.279 1.041 2.670 5.609 11.189
various/06.trs 0.019 0.027 0.045 0.070 0.106 0.143
various/07.trs 0.015 0.017 0.016 0.016 0.019 0.019
various/09.trs 0.068 0.758 3.043 7.139 14.476 25.906
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
various/10.trs 11.550 60.012 60.015 60.014 60.013 60.013
various/11.trs 0.028 0.291 1.111 2.591 7.678 12.714
various/12.trs 15.219 60.014 60.013 60.012 60.014 60.016
various/13.trs 39.833 60.012 60.012 60.014 60.015 60.012
various/14.trs 60.011 60.012 60.013 60.015 60.013 60.013
various/15.trs 4.892 60.012 60.012 60.014 60.016 60.014
various/18.trs 1.698 40.450 60.014 60.013 60.013 60.013
various/19.trs 0.708 13.545 60.013 60.013 60.019 60.013
various/20.trs 60.011 60.014 60.015 60.013 60.015 60.019
various/21.trs 5.407 60.014 60.021 60.013 60.016 60.017
various/22.trs 0.055 1.227 7.142 16.970 60.013 60.014
various/23.trs 4.747 60.012 60.015 60.011 60.017 60.020
various/24.trs 60.013 60.014 60.015 60.013 60.015 60.016
various/25.trs 0.054 2.547 16.435 16.612 16.123 14.268
various/26.trs 0.137 3.029 16.048 46.021 60.016 60.023
various/27.trs 0.039 0.039 0.038 0.040 0.038 0.039
Waldmann/jwaprove1.trs 15.346 60.012 60.012 60.013 60.015 60.023
Waldmann/jwaprove2.trs 15.099 60.013 60.015 60.013 60.016 60.015
Waldmann/jwcime1.trs 60.024 60.012 60.012 60.012 60.016 60.015
Waldmann/jwcime2.trs 60.013 60.014 60.012 60.011 60.020 60.016
Waldmann/jwmatchb1.trs 4.194 60.014 60.013 60.013 60.017 60.015
Waldmann/jwmatchb2.trs 4.009 60.017 60.013 60.011 60.017 60.015
Waldmann/jwteparla1.trs 60.012 60.014 60.013 60.017 60.015 60.015
Waldmann/jwteparla2.trs 60.013 60.015 60.012 60.013 60.017 60.017
Waldmann/jwtpa1.trs 60.012 60.014 60.014 60.014 60.017 60.015
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
Waldmann/jwtpa2.trs 60.012 60.018 60.013 60.012 60.015 60.015
Waldmann/jwttt.trs 60.012 60.020 60.012 60.012 60.016 60.016
Zantema06/beans.trs 60.014 60.013 60.012 60.012 60.014 60.014
Zantema06/gcdMinMax.trs 60.012 60.012 60.012 60.012 60.015 60.012
Zantema06/gcd.trs 4.917 60.011 60.011 60.014 60.017 60.012
Zantema06/test1.trs 0.070 1.692 8.604 27.971 60.014 60.011
Zantema06/while.trs 0.043 0.831 4.817 18.535 60.016 60.013
Zantema/jw01.trs 1.688 60.012 60.012 60.021 60.012 60.011
Zantema/jw02.trs 2.903 60.013 60.012 60.013 60.016 60.016
Zantema/jw03.trs 60.014 60.013 60.014 60.013 60.018 60.013
Zantema/jw04.trs 60.016 60.012 60.012 60.014 60.016 60.011
Zantema/jw05.trs 2.695 60.012 60.012 60.015 60.012 60.014
Zantema/jw06.trs 1.931 60.012 60.012 60.012 60.015 60.016
Zantema/jw07.trs 60.016 60.012 60.012 60.014 60.013 60.013
Zantema/jw08.trs 56.590 60.013 60.013 60.012 60.015 60.017
Zantema/jw09.trs 60.017 60.012 60.014 60.017 60.012 60.014
Zantema/jw11.trs 25.575 60.011 60.013 60.012 60.015 60.015
Zantema/jw12.trs 28.535 60.020 60.012 60.014 60.011 60.017
Zantema/jw13.trs 26.147 60.014 60.017 60.012 60.015 60.013
Zantema/jw14.trs 25.251 60.012 60.015 60.012 60.016 60.012
Zantema/jw15.trs 60.015 60.012 60.013 60.018 60.012 60.012
Zantema/jw16.trs 60.016 60.013 60.012 60.013 60.014 60.013
Zantema/jw17.trs 60.011 60.011 60.013 60.016 60.012 60.013
Zantema/jw18.trs 45.426 60.012 60.013 60.012 60.012 60.012
Zantema/jw19.trs 47.074 60.012 60.013 60.014 60.012 60.015
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
Zantema/jw20.trs 60.015 60.013 60.012 60.011 60.014 60.012
Zantema/jw21.trs 60.012 60.014 60.012 60.012 60.015 60.014
Zantema/jw22.trs 60.011 60.014 60.013 60.012 60.014 60.011
Zantema/jw23.trs 60.047 60.012 60.013 60.012 60.018 60.012
Zantema/jw24.trs 60.012 60.012 60.012 60.013 60.017 60.013
Zantema/jw25.trs 60.066 60.012 60.013 60.013 60.012 60.013
Zantema/jw26.trs 60.012 60.011 60.011 60.012 60.013 60.012
Zantema/jw27.trs 60.010 60.016 60.012 60.012 60.012 60.011
Zantema/jw28.trs 60.012 60.038 60.014 60.013 60.015 60.015
Zantema/jw29.trs 60.011 60.012 60.012 60.012 60.015 60.015
Zantema/jw30.trs 52.149 60.012 60.013 60.013 60.012 60.013
Zantema/jw31.trs 38.076 60.013 60.013 60.013 60.015 60.014
Zantema/jw32.trs 60.016 60.012 60.012 60.013 60.011 60.012
Zantema/jw33.trs 60.011 60.014 60.014 60.013 60.016 60.013
Zantema/jw34.trs 60.016 60.012 60.013 60.014 60.017 60.013
Zantema/jw35.trs 25.724 60.012 60.012 60.013 60.015 60.012
Zantema/jw36.trs 26.626 60.011 60.011 60.017 60.014 60.011
Zantema/jw37.trs 27.571 60.011 60.014 60.014 60.013 60.012
Zantema/jw38.trs 25.467 60.013 60.012 60.012 60.015 60.013
Zantema/jw39.trs 60.013 60.012 60.012 60.012 60.012 60.013
Zantema/jw40.trs 60.014 60.012 60.012 60.013 60.011 60.011
Zantema/jw41.trs 57.028 60.015 60.011 60.016 60.011 60.013
Zantema/jw42.trs 60.015 60.017 60.011 60.011 60.014 60.012
Zantema/jw43.trs 60.012 60.012 60.019 60.014 60.015 60.011
Zantema/jw44.trs 60.012 60.011 60.011 60.013 60.017 60.020
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
Zantema/jw47.trs 60.012 60.012 60.012 60.013 60.016 60.012
Zantema/jw50.trs 60.013 60.020 60.013 60.014 60.015 60.015
Zantema/z01.trs 60.012 60.012 60.016 60.013 60.016 60.016
Zantema/z02.trs 1.457 30.804 60.013 60.015 60.011 60.013
Zantema/z03.trs 8.769 60.016 60.012 60.012 60.013 60.013
Zantema/z04.trs 1.435 33.542 60.012 60.013 60.012 60.012
Zantema/z05.trs 0.205 60.013 60.012 60.013 60.016 60.018
Zantema/z06.trs 0.974 60.011 60.011 60.015 60.015 60.015
Zantema/z07.trs 0.106 4.119 60.012 60.016 60.014 60.012
Zantema/z08.trs 3.980 60.011 60.014 60.013 60.012 60.013
Zantema/z09.trs 60.014 60.011 60.013 60.012 60.015 60.020
Zantema/z10.trs 60.012 60.012 60.012 60.013 60.015 60.015
Zantema/z11.trs 60.015 60.011 60.013 60.012 60.016 60.016
Zantema/z12.trs 60.012 60.013 60.013 60.013 60.013 60.018
Zantema/z13.trs 0.742 30.924 60.019 60.012 60.015 60.013
Zantema/z14.trs 2.265 60.016 60.012 60.012 60.014 60.013
Zantema/z15.trs 0.272 8.896 60.011 60.012 60.014 60.012
Zantema/z16.trs 2.231 60.013 60.011 60.013 60.017 60.016
Zantema/z17.trs 0.559 60.012 60.012 60.013 60.016 60.013
Zantema/z18.trs 3.401 60.011 60.013 60.012 60.017 60.013
Zantema/z19.trs 44.837 60.012 60.013 60.017 60.016 60.016
Zantema/z20.trs 60.011 60.013 60.012 60.013 60.016 60.013
Zantema/z21.trs 2.267 32.618 60.012 60.013 60.011 60.011
Zantema/z22.trs 60.012 60.012 60.013 60.011 60.017 60.013
Zantema/z23.trs 60.012 60.012 60.011 60.011 60.015 60.015
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
Zantema/z24.trs 0.844 53.706 60.014 60.012 60.016 60.012
Zantema/z25.trs 0.055 3.498 60.013 60.012 60.012 60.013
Zantema/z26.trs 60.011 60.011 60.012 60.013 60.015 60.012
Zantema/z27.trs 0.047 0.738 3.890 9.544 27.229 39.928
Zantema/z28.trs 0.434 11.709 46.956 60.013 60.015 60.012
Zantema/z29.trs 0.620 12.670 60.015 60.012 60.016 60.015
Zantema/z30.trs 60.017 60.012 60.014 60.013 60.016 60.014
problem 1 Bit 2 Bits 3 Bits 4 Bits 5 Bits 6 Bits
Total time 22602.833 36945.337 44764.461 47933.281 50081.928 50974.398
YES score 42 82 83 82 83 82
YES time 89.486 431.065 462.014 407.901 485.381 400.901
Avg. YES time 2.130 5.256 5.566 4.974 5.847 4.889
Timeouts 313 525 687 750 797 824