TPDB 4.0, 957 Examples

The following color code is used in the table below:

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

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

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