TPDB 4.0, 957 Examples

The following color code is used in the table below:

YES, we have termination and linear/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 on cdiprover3 were conducted using the incremental search strategy of cdiprover3 ("-i" flag). The maximal bound for all coefficient variables in cdiprover3 has been set to 31 ("-b 31" flag), which corresponds to using at most 5 bits each in a SAT encoding. TTT2 was called with the strategy 'if duplicating then fail else bounds[60]'.

problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
AG01/#3.10.trs 0.013 0.020 0.013 0.013
AG01/#3.12.trs 0.013 60.012 60.013 57.995
AG01/#3.13.trs 0.013 0.020 0.012 0.013
AG01/#3.14.trs 0.013 60.013 0.409 0.412
AG01/#3.15.trs 0.014 60.015 59.481 49.575
AG01/#3.16.trs 0.013 0.022 0.016 0.013
AG01/#3.17a.trs 0.014 60.013 60.012 60.012
AG01/#3.17.trs 0.014 60.012 60.014 60.013
AG01/#3.18.trs 0.015 0.018 0.013 0.013
AG01/#3.19.trs 0.014 0.022 0.014 0.013
AG01/#3.1.trs 0.013 0.019 0.014 0.013
AG01/#3.21.trs 0.015 0.018 0.013 0.013
AG01/#3.22.trs 0.013 0.022 0.015 0.013
AG01/#3.23.trs 0.013 0.018 0.013 0.013
AG01/#3.24.trs 0.016 0.024 1.000 1.116
AG01/#3.26.trs 0.016 60.012 60.012 60.011
AG01/#3.29.trs 0.013 0.020 0.013 0.013
AG01/#3.2.trs 0.013 0.018 0.013 0.012
AG01/#3.31.trs 0.013 0.022 0.013 0.012
AG01/#3.33.trs 0.150 0.019 60.012 60.011
AG01/#3.35.trs 0.024 60.012 0.093 0.099
AG01/#3.36.trs 0.013 0.018 0.015 0.013
AG01/#3.37.trs 0.031 0.027 60.012 60.013
AG01/#3.38.trs 0.012 0.020 0.013 0.013
AG01/#3.39.trs 0.014 0.018 0.015 0.012
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
AG01/#3.40.trs 0.013 0.019 0.013 0.013
AG01/#3.41.trs 0.012 0.017 0.013 0.013
AG01/#3.42.trs 0.013 0.019 0.012 0.013
AG01/#3.47.trs 0.013 0.018 0.012 0.012
AG01/#3.48.trs 0.013 0.025 0.012 0.013
AG01/#3.49.trs 0.013 60.013 60.012 60.011
AG01/#3.4.trs 0.012 0.019 0.013 0.013
AG01/#3.51.trs 0.030 0.026 60.013 60.013
AG01/#3.52.trs 0.013 0.018 0.012 0.013
AG01/#3.53a.trs 0.014 0.021 0.013 0.014
AG01/#3.53b.trs 0.013 0.019 0.013 0.012
AG01/#3.53.trs 0.013 0.020 0.014 0.013
AG01/#3.54.trs 0.013 0.019 0.013 0.012
AG01/#3.55.trs 0.013 0.021 0.016 0.013
AG01/#3.56.trs 0.014 60.011 25.931 24.792
AG01/#3.57.trs 0.013 0.019 0.016 0.013
AG01/#3.5a.trs 0.013 0.019 0.013 0.014
AG01/#3.5b.trs 0.013 0.018 0.013 0.013
AG01/#3.5.trs 0.013 0.021 0.012 0.012
AG01/#3.6a.trs 0.014 0.022 0.013 0.013
AG01/#3.6b.trs 0.013 0.019 0.013 0.013
AG01/#3.6.trs 0.013 0.019 0.013 0.013
AG01/#3.7.trs 0.015 60.013 22.928 21.388
AG01/#3.8a.trs 0.012 0.019 0.015 0.013
AG01/#3.8b.trs 0.013 0.019 0.013 0.014
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
AG01/#4.30c.trs 0.013 0.019 0.014 0.012
AProVE/AAECC-ring.trs 0.013 0.024 0.013 0.013
AProVE/AAECC.trs 0.013 0.024 0.013 0.012
AProVE/fac.trs 0.013 0.018 0.013 0.012
AProVE/forward_instantiation2.trs 0.012 0.024 0.013 0.013
AProVE/forward_instantiation.trs 0.013 0.016 0.012 0.013
AProVE/IJCAR_12.trs 0.013 0.100 0.012 0.012
AProVE/IJCAR_18.trs 0.013 0.024 0.012 0.013
AProVE/IJCAR_1.trs 0.013 0.032 0.013 0.013
AProVE/IJCAR_26a.trs 0.014 0.025 0.013 0.012
AProVE/IJCAR_26.trs 0.013 0.024 0.013 0.012
AProVE/improved_usable2.trs 0.012 0.025 0.012 0.014
AProVE/improved_usable.trs 0.013 0.031 0.013 0.013
AProVE/JFP_Ex31.trs 0.013 0.017 0.013 0.012
AProVE/JFP_Ex51.trs 0.015 0.020 0.012 0.012
AProVE/Liveness6.1.trs 0.015 60.013 35.037 36.101
AProVE/Liveness6.2.trs 0.014 60.013 31.665 39.900
AProVE/Liveness6.3.trs 0.014 60.051 60.012 60.012
AProVE/Liveness6.4.trs 0.017 60.012 60.013 60.013
AProVE/Liveness8.trs 0.014 60.020 60.013 60.012
AProVE/Liveness_WRS.trs 0.016 60.013 60.012 60.012
AProVE/LPAR_intlist.trs 0.028 60.025 60.013 60.019
AProVE/rta1.trs 0.012 0.019 0.014 0.014
AProVE/rta2.trs 0.013 0.017 0.012 0.012
AProVE/rta3.trs 0.013 0.021 0.013 0.012
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
Beerendonk/10.trs 0.013 0.019 0.012 0.012
Beerendonk/11.trs 0.013 0.019 0.014 0.013
Beerendonk/12.trs 0.013 0.018 0.018 0.013
Beerendonk/13.trs 0.012 0.019 0.013 0.012
Beerendonk/14.trs 0.012 0.020 0.012 0.013
Beerendonk/15.trs 0.013 0.020 0.015 0.013
Beerendonk/16.trs 0.013 0.019 0.013 0.015
Beerendonk/17.trs 0.014 0.020 0.013 0.012
Beerendonk/18.trs 0.013 0.019 0.013 0.013
Beerendonk/19.trs 0.013 0.019 0.013 0.013
Beerendonk/1.trs 0.013 0.018 0.013 0.013
Beerendonk/20.trs 0.013 0.019 0.012 0.013
Beerendonk/21.trs 0.014 0.020 0.018 0.013
Beerendonk/22.trs 0.013 0.019 0.012 0.013
Beerendonk/23.trs 0.012 0.019 0.012 0.017
Beerendonk/24.trs 0.013 0.020 0.012 0.013
Beerendonk/2.trs 0.013 0.018 0.013 0.016
Beerendonk/3.trs 0.012 0.018 0.012 0.013
Beerendonk/4.trs 0.014 0.018 0.012 0.013
Beerendonk/5.trs 0.013 0.019 0.012 0.013
Beerendonk/6.trs 0.012 0.018 0.013 0.012
Beerendonk/7.trs 0.013 0.019 0.012 0.012
Beerendonk/8.trs 0.012 0.019 0.012 0.013
Beerendonk/9.trs 0.012 0.019 0.012 0.013
Cime/ack_prolog.trs 0.013 0.037 0.013 0.013
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
Cime/append-hard.trs 0.012 0.024 0.013 0.013
Cime/append.trs 0.013 0.028 0.012 0.013
Cime/big.trs 0.016 0.032 0.014 0.014
Cime/boolean_rings.trs 0.012 0.031 0.014 0.013
Cime/dpqs.trs 0.025 0.024 48.596 48.321
Cime/fact-hard.trs 0.013 0.024 0.014 0.012
Cime/filliatre2.trs 0.072 60.011 60.013 60.013
Cime/filliatre3.trs 0.013 0.024 0.013 0.013
Cime/filliatre.trs 0.048 60.017 60.011 60.012
Cime/intersect.trs 0.013 0.022 0.012 0.013
Cime/list-sum-prod-assoc-append.trs 0.013 0.019 0.014 0.012
Cime/list-sum-prod-assoc.trs 0.013 0.020 0.013 0.013
Cime/list-sum-prod-bin-assoc-distr-app.trs 0.013 0.024 0.013 0.013
Cime/list-sum-prod-bin-assoc.trs 0.013 0.021 0.012 0.012
Cime/list-sum-prod-bin.trs 0.014 0.026 0.013 0.013
Cime/list-sum-prod.trs 0.013 0.024 0.013 0.012
Cime/log2.trs 0.015 0.024 0.013 0.014
Cime/lse.trs 0.013 0.054 0.012 0.012
Cime/mucrl1.trs 0.023 0.088 0.022 0.022
Cime/quick.trs 0.013 0.021 0.013 0.013
Cime/ternary-hard.trs 0.014 0.061 0.013 0.013
Cime/ternary.trs 0.013 0.034 0.013 0.014
Cime/tree.trs 0.017 0.056 0.013 0.014
CSR/Ex1_Luc04b_GM.trs 0.015 60.012 60.014 60.020
currying/AG01/#3.10.trs 0.015 0.025 0.014 0.014
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
currying/AG01/#3.13.trs 0.014 0.023 0.014 0.015
currying/AG01/#3.16.trs 0.012 0.020 0.012 0.013
currying/AG01/#3.18.trs 0.013 0.020 0.012 0.013
currying/AG01/#3.22.trs 0.013 0.021 0.013 0.013
currying/AG01/#3.25.trs 0.013 0.019 0.013 0.013
currying/AG01/#3.27.trs 0.015 0.020 0.014 0.013
currying/AG01/#3.2.trs 0.012 0.024 0.013 0.013
currying/AG01/#3.32.trs 0.012 0.019 0.012 0.014
currying/AG01/#3.36.trs 0.013 0.023 0.013 0.013
currying/AG01/#3.38.trs 0.015 0.022 0.013 0.013
currying/AG01/#3.40.trs 0.014 0.026 0.012 0.014
currying/AG01/#3.45.trs 0.013 0.023 0.013 0.013
currying/AG01/#3.48.trs 0.013 0.023 0.013 0.014
currying/AG01/#3.52.trs 0.013 0.025 0.013 0.013
currying/AG01/#3.55.trs 0.014 0.026 0.013 0.015
currying/AG01/#3.57.trs 0.013 0.024 0.013 0.014
currying/AG01/#3.6.trs 0.013 0.024 0.013 0.014
currying/AG01/#3.8.trs 0.016 0.020 0.013 0.013
currying/D33/01.trs 0.013 0.021 0.013 0.013
currying/D33/02.trs 0.012 0.022 0.012 0.013
currying/D33/06.trs 0.012 0.020 0.013 0.013
currying/D33/08.trs 0.013 0.021 0.013 0.013
currying/D33/11.trs 0.014 0.021 0.014 0.013
currying/D33/12.trs 0.012 0.021 0.013 0.013
currying/D33/13.trs 0.012 0.021 0.012 0.014
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
currying/D33/17.trs 0.012 0.023 0.012 0.013
currying/D33/18.trs 0.012 0.020 0.013 0.013
currying/D33/21.trs 0.012 0.023 0.011 0.013
currying/D33/29.trs 0.013 0.021 0.012 0.013
currying/D33/30.trs 0.013 0.019 0.012 0.013
currying/D33/31.trs 0.012 0.020 0.013 0.013
currying/Ste92/hydra.trs 0.013 0.022 0.013 0.013
currying/Ste92/motivation.trs 0.013 0.019 0.012 0.013
currying/Ste92/perfect2.trs 0.013 0.023 0.013 0.014
currying/Ste92/perfect.trs 0.013 0.025 0.014 0.013
D33/01.trs 0.014 0.024 0.037 0.014
D33/02.trs 0.013 0.024 0.055 0.014
D33/03.trs 0.014 0.031 0.019 0.013
D33/04.trs 0.015 60.021 0.082 0.014
D33/06.trs 0.019 60.022 58.628 54.686
D33/07.trs 0.013 60.012 0.030 0.030
D33/08.trs 0.013 0.024 0.013 0.013
D33/09.trs 0.012 60.013 4.591 4.302
D33/11.trs 0.012 0.037 0.012 0.013
D33/12.trs 0.013 0.023 0.013 0.012
D33/13.trs 0.012 0.044 0.012 0.013
D33/17.trs 0.014 60.017 10.294 8.923
D33/18.trs 0.013 0.024 0.013 0.013
D33/20.trs 0.027 60.012 60.016 60.014
D33/21.trs 0.013 0.033 0.013 0.013
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
D33/27.trs 0.018 60.033 0.131 0.133
D33/28.trs 0.013 0.032 0.013 0.012
D33/30.trs 0.012 0.021 0.012 0.014
D33/31.trs 0.013 0.024 0.013 0.013
D33/32.trs 0.013 0.016 0.012 0.013
Endrullis/direct.trs 0.018 0.034 60.012 60.013
Endrullis/labeling.trs 0.018 0.017 0.013 0.013
Endrullis/linear1.trs 0.014 60.012 60.012 60.013
Endrullis/linear2.trs 0.014 60.012 60.012 60.012
Endrullis/pair2hard.trs 0.014 0.017 0.013 0.012
Endrullis/pair2simple1.trs 0.016 0.021 0.014 0.013
Endrullis/pair2simple2.trs 0.013 0.018 0.014 0.015
Endrullis/pair3hard.trs 0.012 0.018 0.013 0.013
Endrullis/pair3rotate.trs 0.014 60.014 60.014 60.012
Endrullis/pair3swap.trs 0.015 60.015 60.013 60.011
Endrullis/quadruple1.trs 0.017 0.022 60.013 60.010
Endrullis/quadruple2.trs 0.016 0.028 60.013 60.018
higher-order/AotoYam/002.trs 0.013 0.020 0.013 0.013
higher-order/AotoYam/004.trs 0.013 0.021 0.013 0.014
higher-order/AotoYam/005.trs 0.014 60.013 39.285 38.278
higher-order/AotoYam/006.trs 0.013 0.023 0.014 0.012
higher-order/AotoYam/007.trs 0.013 0.019 0.017 0.012
higher-order/AotoYam/009.trs 0.012 0.020 0.012 0.014
higher-order/AotoYam/010.trs 0.013 0.019 0.013 0.013
higher-order/AotoYam/011.trs 0.012 0.022 0.012 0.013
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
higher-order/AotoYam/012.trs 0.014 0.020 0.013 0.014
higher-order/AotoYam/013.trs 0.013 0.021 0.013 0.013
higher-order/AotoYam/014.trs 0.013 0.020 0.012 0.015
higher-order/AotoYam/015.trs 0.013 0.019 0.012 0.013
higher-order/AotoYam/016.trs 0.013 0.020 0.013 0.013
higher-order/AotoYam/017.trs 0.013 0.025 0.080 0.013
higher-order/AotoYam/019.trs 0.013 0.019 0.013 0.013
higher-order/AotoYam/020.trs 0.012 0.019 0.013 0.011
higher-order/AotoYam/021.trs 0.012 0.020 0.013 0.013
higher-order/AotoYam/022.trs 0.013 0.021 0.014 0.017
higher-order/AotoYam/023.trs 0.014 60.014 38.926 37.056
higher-order/AotoYam/024.trs 0.014 0.019 0.013 0.013
higher-order/AotoYam/025.trs 0.015 0.023 0.023 0.014
higher-order/AotoYam/026.trs 0.013 0.019 0.013 0.013
higher-order/AotoYam/027.trs 0.013 0.023 0.013 0.014
higher-order/AotoYam/028.trs 0.014 0.019 0.013 0.014
higher-order/AotoYam/Ex1SimplyTyped.trs 0.013 0.020 0.013 0.013
higher-order/AProVE_HO/mapDivMinusHard.trs 0.013 0.019 0.013 0.013
higher-order/AProVE_HO/mapDivMinus.trs 0.012 0.018 0.013 0.013
higher-order/AProVE_HO/ReverseLastInit.trs 0.015 20.843 60.012 60.017
higher-order/AProVE_HO/TakeDropWhile.trs 0.013 0.019 0.013 0.012
higher-order/AProVE_HO/TypeEx1.trs 0.013 0.018 0.012 0.012
higher-order/Bird/BTreeMember.trs 0.013 0.019 0.013 0.012
higher-order/Bird/Ex2_6_1Composition.trs 0.014 0.030 0.367 0.013
higher-order/Bird/TreeFlatten.trs 0.014 0.019 0.012 0.013
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
higher-order/Bird/TreeHeight.trs 0.013 0.020 0.013 0.013
higher-order/Bird/TreeLevels.trs 0.013 0.021 0.013 0.013
higher-order/Bird/TreeMap.trs 0.013 0.018 0.013 0.013
higher-order/Bird/TreeSize.trs 0.013 0.018 0.013 0.013
higher-order/Kusakari/Ex6_11.trs 0.013 0.019 0.013 0.013
higher-order/Kusakari/Ex7_9.trs 0.013 0.021 0.013 0.013
higher-order/Lifantsev/Ex3Lists.trs 0.013 0.022 0.014 0.013
higher-order/Lifantsev/Ex4MapList.trs 0.012 0.019 0.013 0.013
higher-order/Lifantsev/Ex8Polymorphic.trs 0.014 0.027 0.014 0.012
higher-order/Lifantsev/Ex9Maps.trs 0.014 0.020 0.012 0.013
HM/t000.trs 0.033 60.085 60.012 60.017
HM/t001.trs 0.016 0.024 0.012 0.012
HM/t002.trs 0.014 0.024 0.014 0.013
HM/t003.trs 0.015 0.027 0.013 0.013
HM/t004.trs 0.020 60.012 60.013 60.016
HM/t005.trs 0.019 0.055 0.016 0.016
HM/t006.trs 0.013 0.026 0.026 0.012
HM/t007.trs 0.020 0.024 60.013 60.016
HM/t008.trs 0.021 60.011 60.014 60.011
HM/t009.trs 0.168 60.014 60.012 60.016
HM/t010.trs 0.016 0.025 0.123 0.166
HM/t011.trs 0.018 60.013 0.159 0.166
HM/t012.trs 0.025 60.013 60.012 60.013
HM/t013.trs 0.014 0.023 0.012 0.013
HM/t014.trs 0.015 0.040 0.013 0.013
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
HofWald/1.trs 0.020 0.018 60.012 60.012
HofWald/2.trs 0.015 60.011 60.014 60.014
HofWald/3.trs 0.012 0.017 0.014 0.014
HofWald/4.trs 0.019 0.019 60.012 60.013
HofWald/5.trs 0.013 0.019 0.013 0.014
Koprowski/gcd_triple.trs 0.013 0.022 0.013 0.013
LJB01/jones1.trs 0.016 60.012 0.024 0.024
LJB01/jones2.trs 0.014 0.024 0.013 0.012
LJB01/jones4.trs 0.016 0.056 0.045 0.014
LJB01/jones5.trs 0.014 0.024 0.013 0.012
LJB01/jones6.trs 0.017 60.017 0.253 0.248
nontermin/AG01/#4.20a.trs 0.014 60.012 4.698 4.267
nontermin/AG01/#4.20.trs 0.015 60.012 0.115 0.119
nontermin/AG01/#4.21.trs 0.020 60.011 60.012 60.011
nontermin/AG01/#4.22.trs 0.012 0.020 0.014 0.013
nontermin/AG01/#4.23.trs 0.014 0.017 0.016 0.013
nontermin/AG01/#4.25.trs 0.016 28.132 0.151 0.168
nontermin/AG01/#4.26.trs 0.012 0.018 0.014 0.015
nontermin/AG01/#4.27.trs 0.014 0.019 0.012 0.016
nontermin/AG01/#4.28.trs 0.020 60.012 60.013 60.013
nontermin/AG01/#4.29.trs 0.013 0.018 0.013 0.013
nontermin/AG01/#4.30a.trs 0.012 0.021 0.014 0.015
nontermin/AG01/#4.30b.trs 0.013 0.021 0.013 0.013
nontermin/AG01/#4.30c.trs 0.013 0.019 0.014 0.016
nontermin/AG01/#4.30.trs 0.014 0.018 0.014 0.013
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
nontermin/AG01/#4.31.trs 0.023 60.011 60.017 60.011
nontermin/AG01/#4.32.trs 0.013 0.018 0.013 0.012
nontermin/AG01/#4.33.trs 0.014 0.018 0.012 0.018
nontermin/AG01/#4.34.trs 0.014 0.018 0.013 0.019
nontermin/AG01/#4.35.trs 0.014 0.020 0.013 0.015
nontermin/AG01/#4.36.trs 0.014 0.019 0.013 0.013
nontermin/AG01/#4.37a.trs 0.017 0.019 3.621 2.634
nontermin/AG01/#4.37.trs 0.013 0.018 2.306 2.131
nontermin/cariboo/tricky1.trs 0.016 0.018 0.012 0.015
nontermin/CSR/Ex49_GM04.trs 0.020 0.019 0.012 0.013
nontermin/Rubio-inn/test830.trs 0.021 0.023 0.443 0.488
Rubio/aoto.trs 0.018 0.056 60.012 60.013
Rubio/bintrees.trs 0.014 60.010 0.406 0.416
Rubio/bn122.trs 0.013 0.080 0.012 0.013
Rubio/bn129.trs 0.014 60.015 60.012 60.011
Rubio/division.trs 0.012 0.024 0.013 0.012
Rubio/elimdupl.trs 0.014 0.024 0.013 0.013
Rubio/enno.trs 0.012 0.019 0.013 0.012
Rubio/gcd.trs 0.013 0.019 0.012 0.013
Rubio/gmnp.trs 0.025 0.024 25.877 28.805
Rubio/gm.trs 0.012 0.024 0.012 0.012
Rubio/koen.trs 0.015 0.063 0.164 0.013
Rubio/lescanne.trs 0.015 60.021 39.302 42.380
Rubio/lindau.trs 0.019 0.032 60.011 60.011
Rubio/logarquot.trs 0.012 0.024 0.014 0.013
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
Rubio/ma96.trs 0.012 0.020 0.013 0.012
Rubio/mfp90b.trs 0.015 0.025 0.026 0.016
Rubio/mfp95.trs 0.015 0.025 0.670 0.740
Rubio/nestrec.trs 0.016 60.013 60.012 60.014
Rubio/p266.trs 0.020 0.032 1.462 1.461
Rubio/polo2.trs 0.012 0.024 0.013 0.012
Rubio/prov.trs 0.013 0.024 0.014 0.012
Rubio/quick.trs 0.013 0.037 0.012 0.012
Rubio/quotminus.trs 0.012 0.022 0.012 0.012
Rubio/revlist.trs 0.013 0.032 0.013 0.013
Rubio/selsort.trs 0.013 0.024 0.013 0.013
Rubio/test4.trs 0.023 0.024 19.009 27.494
Rubio/test829.trs 0.013 0.045 6.709 6.655
Rubio/wst99.trs 0.013 0.024 0.013 0.012
SchneiderKamp/trs/cade01.trs 0.014 0.024 0.014 0.012
SchneiderKamp/trs/cade03.trs 0.013 0.017 0.013 0.013
SchneiderKamp/trs/cade04t.trs 0.012 0.031 0.012 0.013
SchneiderKamp/trs/cade05t.trs 0.016 0.022 0.013 0.013
SchneiderKamp/trs/cade06.trs 0.018 0.017 0.013 0.012
SchneiderKamp/trs/cade07.trs 0.013 0.027 0.013 0.013
SchneiderKamp/trs/cade08.trs 0.013 0.024 0.013 0.012
SchneiderKamp/trs/cade09.trs 0.012 0.024 0.013 0.012
SchneiderKamp/trs/cade10.trs 0.016 0.018 0.013 0.013
SchneiderKamp/trs/cade11.trs 0.013 0.019 0.013 0.012
SchneiderKamp/trs/cade13t.trs 0.018 0.017 0.017 0.012
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
SchneiderKamp/trs/cade14.trs 0.013 0.018 0.013 0.012
SchneiderKamp/trs/cade15.trs 0.014 0.023 0.014 0.013
SchneiderKamp/trs/cade16.trs 0.015 0.024 0.014 0.012
SchneiderKamp/trs/kabasci01.trs 0.014 0.024 0.015 0.015
SchneiderKamp/trs/kabasci02.trs 0.014 0.019 0.013 0.013
SchneiderKamp/trs/kabasci03.trs 0.013 0.024 0.012 0.013
SchneiderKamp/trs/kabasci04.trs 0.013 0.024 0.014 0.012
SchneiderKamp/trs/kabasci05.trs 0.013 0.024 0.014 0.012
SchneiderKamp/trs/kabasci06.trs 0.013 0.024 0.013 0.013
SchneiderKamp/trs/otto01.trs 0.013 0.034 0.014 0.012
SchneiderKamp/trs/otto02.trs 0.013 0.019 0.014 0.013
SchneiderKamp/trs/otto03.trs 0.015 0.017 0.013 0.013
SchneiderKamp/trs/otto04.trs 0.013 0.024 0.014 0.013
SchneiderKamp/trs/otto05.trs 0.013 0.024 0.013 0.013
SchneiderKamp/trs/otto06.trs 0.013 0.038 0.012 0.013
SchneiderKamp/trs/otto07.trs 0.012 0.022 0.012 0.013
SchneiderKamp/trs/otto08.trs 0.013 0.019 0.013 0.013
SchneiderKamp/trs/otto09.trs 0.013 0.031 0.013 0.027
SchneiderKamp/trs/otto10.trs 0.014 0.024 0.013 0.012
SchneiderKamp/trs/otto11.trs 0.012 0.017 0.013 0.013
SchneiderKamp/trs/otto12.trs 0.012 0.024 0.012 0.013
SchneiderKamp/trs/otto13.trs 0.012 0.022 0.012 0.012
SchneiderKamp/trs/thiemann01.trs 0.013 0.024 0.013 0.012
SchneiderKamp/trs/thiemann02.trs 0.013 0.024 0.013 0.013
SchneiderKamp/trs/thiemann03.trs 0.013 0.024 0.012 0.013
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
SchneiderKamp/trs/thiemann04.trs 0.014 0.019 0.013 0.012
SchneiderKamp/trs/thiemann05.trs 0.013 0.024 0.014 0.013
SchneiderKamp/trs/thiemann06.trs 0.014 0.018 0.013 0.013
SchneiderKamp/trs/thiemann07.trs 0.013 0.024 0.014 0.012
SchneiderKamp/trs/thiemann08.trs 0.013 0.023 0.014 0.013
SchneiderKamp/trs/thiemann09.trs 0.013 0.034 0.013 0.016
SchneiderKamp/trs/thiemann10.trs 0.013 0.025 0.013 0.012
SchneiderKamp/trs/thiemann11.trs 0.013 0.029 0.013 0.012
SchneiderKamp/trs/thiemann12.trs 0.013 0.029 0.014 0.013
SchneiderKamp/trs/thiemann13.trs 0.013 0.024 0.012 0.013
SchneiderKamp/trs/thiemann14.trs 0.014 0.025 0.014 0.013
SchneiderKamp/trs/thiemann15.trs 0.016 0.030 0.012 0.012
SchneiderKamp/trs/thiemann16.trs 0.013 0.025 0.014 0.013
SchneiderKamp/trs/thiemann17.trs 0.013 0.029 0.014 0.012
SchneiderKamp/trs/thiemann18.trs 0.013 0.056 0.013 0.013
SchneiderKamp/trs/thiemann19.trs 0.013 0.018 0.013 0.013
SchneiderKamp/trs/thiemann20.trs 0.013 0.024 0.014 0.013
SchneiderKamp/trs/thiemann22.trs 0.014 0.057 0.012 0.013
SchneiderKamp/trs/thiemann23.trs 0.017 0.024 0.012 0.013
SchneiderKamp/trs/thiemann24.trs 0.015 0.024 0.013 0.013
SchneiderKamp/trs/thiemann25.trs 0.015 0.017 0.014 0.013
SchneiderKamp/trs/thiemann27.trs 0.013 0.021 0.016 0.012
SchneiderKamp/trs/thiemann29.trs 0.014 0.019 0.014 0.013
SchneiderKamp/trs/thiemann31.trs 0.015 0.019 0.013 0.013
SchneiderKamp/trs/thiemann32.trs 0.012 0.023 0.013 0.013
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
SchneiderKamp/trs/thiemann33.trs 0.014 0.025 0.013 0.012
SchneiderKamp/trs/thiemann34.trs 0.014 0.025 0.014 0.014
SchneiderKamp/trs/thiemann35.trs 0.013 0.047 0.014 0.013
SchneiderKamp/trs/thiemann36.trs 0.013 0.024 0.015 0.013
SchneiderKamp/trs/thiemann37.trs 0.014 0.022 0.013 0.012
SchneiderKamp/trs/thiemann38.trs 0.013 0.032 0.013 0.012
SchneiderKamp/trs/thiemann39.trs 0.018 0.031 0.014 0.012
SchneiderKamp/trs/thiemann41.trs 0.013 0.100 0.014 0.013
secret05/aprove1.trs 0.013 0.020 0.013 0.013
secret05/aprove2.trs 0.013 0.021 0.013 0.013
secret05/aprove3.trs 0.013 0.022 0.012 0.013
secret05/aprove4.trs 0.013 0.018 0.013 0.013
secret05/aprove5.trs 0.013 0.021 0.012 0.013
secret05/cime1.trs 0.013 0.020 0.013 0.013
secret05/cime2.trs 0.012 0.019 0.013 0.013
secret05/cime5.trs 0.014 0.023 0.014 0.014
secret05/matchbox1.trs 0.014 0.020 0.012 0.012
secret05/matchbox2.trs 0.015 0.018 60.013 60.014
secret05/teparla1.trs 0.016 60.014 60.018 60.011
secret05/teparla2.trs 0.025 60.012 60.014 60.012
secret05/teparla3.trs 0.023 60.012 60.012 60.012
secret05/tpa1.trs 0.012 0.019 0.012 0.013
secret05/tpa2.trs 0.014 0.021 0.013 0.013
secret05/tpa3.trs 0.012 0.019 0.013 0.013
secret05/tpa4.trs 0.012 0.017 0.013 0.013
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
secret05/tpa5.trs 0.013 0.020 0.013 0.014
secret06/aprove/addList.trs 0.014 0.024 0.013 0.013
secret06/aprove/divExp.trs 0.013 0.024 0.013 0.013
secret06/aprove/division.trs 0.013 0.024 0.013 0.013
secret06/aprove/double.trs 0.013 0.024 0.013 0.013
secret06/aprove/logarithm.trs 0.013 0.024 0.013 0.012
secret06/aprove/nrOfNodes.trs 0.014 0.041 0.013 0.013
secret06/aprove/reverse.trs 0.018 0.024 0.013 0.012
secret06/aprove/sumList.trs 0.014 0.024 0.014 0.013
secret06/aprove/times.trs 0.013 0.024 0.013 0.014
secret06/aprove/toList.trs 0.013 0.024 0.013 0.012
secret06/jambox/10.trs 0.018 0.040 60.012 60.019
secret06/jambox/2.trs 0.290 60.014 60.012 60.015
secret06/jambox/3.trs 0.015 60.032 60.012 60.016
secret06/jambox/4.trs 0.022 60.025 60.012 60.016
secret06/jambox/5.trs 0.024 60.012 60.012 60.016
secret06/jambox/6.trs 0.025 60.034 60.013 60.022
secret06/jambox/7.trs 0.031 6.901 60.013 60.017
secret06/jambox/8.trs 0.033 0.024 60.012 60.016
secret06/jambox/9.trs 0.028 0.037 60.012 60.016
secret06/matchbox/gen-10.trs 0.014 0.022 0.014 0.013
secret06/matchbox/gen-14.trs 0.014 0.023 0.012 0.014
secret06/matchbox/gen-15.trs 0.014 0.016 0.013 0.012
secret06/matchbox/gen-17.trs 0.014 0.025 0.013 0.012
secret06/matchbox/gen-18.trs 0.013 0.024 0.012 0.013
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
secret06/matchbox/gen-1.trs 0.014 0.029 0.013 0.013
secret06/matchbox/gen-22.trs 0.012 0.025 0.013 0.012
secret06/matchbox/gen-25.trs 0.012 0.040 0.013 0.013
secret06/matchbox/gen-28.trs 0.014 0.025 0.013 0.012
secret06/matchbox/gen-9.trs 0.014 0.023 0.013 0.012
secret06/tpa01.trs 0.017 0.056 60.013 51.736
secret06/tpa02.trs 0.018 0.055 48.681 52.990
secret06/tpa03.trs 0.016 60.015 14.656 10.940
secret06/tpa04.trs 0.014 0.025 0.012 0.013
secret06/tpa05.trs 0.014 0.024 0.013 0.013
secret06/tpa06.trs 0.014 0.020 0.013 0.013
secret06/tpa07.trs 0.014 0.025 0.013 0.012
secret06/tpa08.trs 0.012 0.024 0.013 0.016
secret06/tpa09.trs 0.013 0.025 0.012 0.013
secret06/tpa10.trs 0.012 0.024 0.013 0.013
secret07/aprove/aprove01.trs 0.013 0.019 0.013 0.014
secret07/aprove/aprove02.trs 0.014 0.018 0.013 0.014
secret07/aprove/aprove04.trs 0.016 0.024 0.012 0.015
secret07/aprove/aprove05.trs 0.014 0.024 0.012 0.013
secret07/aprove/aprove06.trs 0.012 0.024 0.013 0.013
secret07/aprove/aprove07.trs 0.014 0.024 0.013 0.013
secret07/aprove/aprove08.trs 0.013 0.051 0.013 0.013
secret07/aprove/aprove09.trs 0.013 0.024 0.013 0.013
secret07/aprove/aprove10.trs 0.013 0.024 0.012 0.014
secret07/cime/secret1.trs 0.014 0.024 0.012 0.012
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
secret07/cime/secret2.trs 0.019 0.024 0.013 0.014
secret07/cime/secret3.trs 0.016 0.019 0.012 0.013
secret07/cime/secret4.trs 0.014 0.024 0.014 0.013
secret07/cime/secret5.trs 0.016 0.024 0.013 0.014
secret07/others/dj.trs 0.024 60.012 60.013 60.015
secret07/TTT2/1.trs 0.040 60.011 60.013 60.012
secret07/TTT2/2.trs 0.033 60.011 60.011 60.013
secret07/TTT2/3.trs 0.014 55.612 60.012 60.013
secret07/TTT2/5.trs 0.073 60.033 60.013 60.012
SK90/2.01.trs 0.014 60.013 9.100 9.623
SK90/2.02.trs 0.017 60.013 60.011 60.014
SK90/2.03.trs 0.013 60.015 7.195 9.687
SK90/2.04.trs 0.014 60.014 8.776 8.096
SK90/2.06.trs 0.014 60.013 60.012 60.014
SK90/2.07.trs 0.013 0.021 0.013 0.013
SK90/2.08.trs 0.012 0.020 0.013 0.013
SK90/2.09.trs 0.014 31.427 0.027 0.027
SK90/2.10.trs 0.015 60.012 60.012 60.060
SK90/2.11.trs 0.013 60.011 0.030 0.032
SK90/2.12.trs 0.013 0.022 0.013 0.013
SK90/2.13.trs 0.013 0.018 0.015 0.013
SK90/2.14.trs 0.023 60.015 20.704 18.489
SK90/2.15.trs 0.013 0.024 0.013 0.013
SK90/2.16.trs 0.013 0.020 0.013 0.012
SK90/2.17.trs 0.013 0.024 0.017 0.013
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
SK90/2.18.trs 0.012 0.021 0.013 0.012
SK90/2.19.trs 0.013 0.020 0.013 0.013
SK90/2.20.trs 0.012 0.021 0.014 0.013
SK90/2.21.trs 0.013 0.028 0.013 0.013
SK90/2.22.trs 0.013 0.020 0.013 0.013
SK90/2.23.trs 0.012 0.021 0.013 0.013
SK90/2.24.trs 0.014 0.023 0.013 0.012
SK90/2.25.trs 0.014 0.020 0.013 0.012
SK90/2.26.trs 0.013 0.019 0.013 0.012
SK90/2.27.trs 0.013 0.020 0.014 0.013
SK90/2.28.trs 0.013 0.024 0.013 0.013
SK90/2.29.trs 0.013 0.019 0.013 0.013
SK90/2.30.trs 0.013 0.017 0.013 0.013
SK90/2.31.trs 0.014 60.013 3.513 3.442
SK90/2.32.trs 0.013 0.020 0.013 0.014
SK90/2.33.trs 0.021 60.015 13.554 12.133
SK90/2.34.trs 0.021 60.012 60.013 60.014
SK90/2.35.trs 0.013 0.020 0.015 0.015
SK90/2.36.trs 0.014 60.011 24.526 31.036
SK90/2.37.trs 0.013 0.018 0.013 0.012
SK90/2.38.trs 0.013 60.012 2.026 2.110
SK90/2.39.trs 0.013 60.012 28.411 39.164
SK90/2.40.trs 0.012 0.022 0.014 0.012
SK90/2.41.trs 0.014 60.012 0.066 0.066
SK90/2.42.trs 0.014 60.011 47.500 57.010
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
SK90/2.43.trs 0.013 0.020 0.014 0.013
SK90/2.44.trs 0.012 0.020 0.013 0.012
SK90/2.45.trs 0.012 0.024 0.013 0.013
SK90/2.46.trs 0.013 60.012 0.193 0.200
SK90/2.47.trs 0.013 60.013 1.062 1.051
SK90/2.48.trs 0.018 0.023 0.033 0.015
SK90/2.49.trs 0.015 0.027 1.701 0.015
SK90/2.50.trs 0.013 60.013 45.191 44.867
SK90/2.51.trs 0.013 0.020 0.013 0.013
SK90/2.52.trs 0.014 0.024 0.013 0.012
SK90/2.53.trs 0.014 16.774 0.166 0.171
SK90/2.54.trs 0.013 60.012 0.021 0.020
SK90/2.55.trs 0.014 60.012 1.157 1.122
SK90/2.56.trs 0.015 0.022 0.032 0.014
SK90/2.57.trs 0.013 0.024 0.014 0.014
SK90/2.58.trs 0.013 0.020 0.012 0.013
SK90/2.59.trs 0.012 0.020 0.013 0.013
SK90/2.60.trs 0.018 0.022 60.012 60.013
SK90/2.61.trs 0.018 44.807 22.370 0.018
SK90/4.01.trs 0.014 60.011 0.667 0.015
SK90/4.02.trs 0.013 0.023 0.018 0.015
SK90/4.03.trs 0.013 0.017 0.013 0.013
SK90/4.04.trs 0.014 60.014 60.012 60.010
SK90/4.05.trs 0.012 0.022 0.013 0.013
SK90/4.07.trs 0.013 60.011 1.163 1.143
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
SK90/4.08.trs 0.013 60.014 0.804 0.746
SK90/4.09.trs 0.013 0.023 0.013 0.013
SK90/4.10.trs 0.013 0.018 0.013 0.013
SK90/4.11.trs 0.014 60.011 3.576 3.538
SK90/4.12.trs 0.016 60.012 60.015 60.012
SK90/4.13.trs 0.014 0.018 0.014 0.013
SK90/4.14.trs 0.013 0.019 0.014 0.013
SK90/4.15.trs 0.013 60.017 1.120 1.227
SK90/4.16.trs 0.021 0.065 60.012 60.012
SK90/4.17.trs 0.012 0.017 0.013 0.013
SK90/4.18.trs 0.014 0.017 0.012 0.013
SK90/4.19.trs 0.012 0.026 9.665 0.012
SK90/4.20.trs 0.013 0.023 0.013 0.013
SK90/4.21.trs 0.013 0.020 0.014 0.012
SK90/4.22.trs 0.012 0.017 0.012 0.012
SK90/4.23.trs 0.013 0.039 0.012 0.013
SK90/4.24.trs 0.012 0.023 0.013 0.012
SK90/4.25.trs 0.013 60.011 0.056 0.056
SK90/4.26.trs 0.014 60.016 7.640 7.785
SK90/4.27.trs 0.032 60.015 60.014 60.014
SK90/4.28.trs 0.012 0.023 0.013 0.013
SK90/4.29.trs 0.014 60.015 60.013 60.015
SK90/4.30.trs 0.014 60.014 60.011 60.013
SK90/4.31.trs 0.013 0.020 0.012 0.015
SK90/4.32.trs 0.019 60.011 29.708 28.310
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
SK90/4.33.trs 0.012 0.024 0.232 0.013
SK90/4.35.trs 0.014 0.020 0.151 0.230
SK90/4.36.trs 0.014 0.018 0.152 0.128
SK90/4.37.trs 0.012 0.024 0.039 0.013
SK90/4.38.trs 0.014 60.011 0.040 0.045
SK90/4.39.trs 0.013 60.012 0.330 0.327
SK90/4.41.trs 0.013 0.018 0.012 0.013
SK90/4.42.trs 0.013 0.019 0.012 0.013
SK90/4.43.trs 0.014 60.013 60.011 60.012
SK90/4.44.trs 0.020 0.019 0.080 0.086
SK90/4.45.trs 0.013 0.025 0.016 0.013
SK90/4.46.trs 0.015 0.018 0.043 0.040
SK90/4.47.trs 0.080 0.031 60.012 60.011
SK90/4.48.trs 0.013 60.013 0.029 0.014
SK90/4.50.trs 0.012 0.021 0.013 0.013
SK90/4.51.trs 0.017 10.900 60.014 60.012
SK90/4.52.trs 0.020 60.017 43.601 42.884
SK90/4.53.trs 0.012 0.031 0.012 0.016
SK90/4.55.trs 0.016 0.023 1.493 1.620
SK90/4.56.trs 0.014 0.019 0.034 0.036
SK90/4.57.trs 0.012 0.020 0.013 0.013
SK90/4.59.trs 0.012 0.018 0.014 0.012
SK90/4.60.trs 0.013 0.019 0.012 0.013
SK90/4.61.trs 0.014 0.039 0.015 0.012
Ste92/hydra.trs 0.013 0.020 0.013 0.014
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
Ste92/motivation.trs 0.012 0.024 0.014 0.012
Ste92/perfect2.trs 0.013 0.035 0.012 0.012
Ste92/perfect.trs 0.013 0.025 0.012 0.013
Thiemann/div_notCeTermin.trs 0.013 0.024 0.013 0.013
Thiemann/factorial1.trs 0.013 0.024 0.013 0.013
Thiemann/factorial2.trs 0.013 0.024 0.013 0.013
Thiemann/identity.trs 0.033 60.011 60.012 60.014
Thiemann/logarithm.trs 0.013 0.018 0.013 0.012
Thiemann/mapHard.trs 0.013 0.052 0.013 0.013
Thiemann/modulo.trs 0.013 0.028 0.014 0.013
Thiemann/quicksort.trs 0.013 0.029 0.013 0.013
Thiemann/quot.trs 0.014 0.024 0.013 0.013
Thiemann/sizeChange.trs 0.013 0.025 0.014 0.013
Thiemann/tower_sizeChange.trs 0.034 52.704 60.013 60.012
Thiemann/tower.trs 0.013 0.024 0.013 0.013
TRCSR/Ex1_2_AEL03_FR.trs 0.013 0.020 0.013 0.013
TRCSR/Ex1_2_AEL03_Z.trs 0.013 0.018 0.012 0.013
TRCSR/Ex1_2_Luc02c_C.trs 0.013 0.022 0.013 0.013
TRCSR/Ex1_2_Luc02c_FR.trs 0.013 0.018 0.015 0.012
TRCSR/Ex1_2_Luc02c_GM.trs 0.012 0.019 0.015 0.013
TRCSR/Ex1_2_Luc02c_iGM.trs 0.013 0.019 0.015 0.012
TRCSR/Ex1_2_Luc02c_Z.trs 0.012 0.018 0.012 0.013
TRCSR/Ex14_AEGL02_C.trs 0.013 0.021 0.016 0.015
TRCSR/Ex14_AEGL02_GM.trs 0.014 0.020 0.015 0.013
TRCSR/Ex14_AEGL02_iGM.trs 0.013 0.020 0.013 0.013
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
TRCSR/Ex15_Luc06_C.trs 0.014 60.014 60.016 60.012
TRCSR/Ex15_Luc06_FR.trs 0.021 60.013 60.015 60.013
TRCSR/Ex15_Luc06_GM.trs 0.013 60.015 60.012 60.011
TRCSR/Ex15_Luc06_iGM.trs 0.017 60.012 60.016 60.013
TRCSR/Ex15_Luc06_Z.trs 0.026 60.014 8.056 12.094
TRCSR/Ex15_Luc98_C.trs 0.013 0.025 0.014 0.015
TRCSR/Ex15_Luc98_GM.trs 0.013 0.019 0.013 0.012
TRCSR/Ex15_Luc98_iGM.trs 0.013 0.024 0.014 0.015
TRCSR/Ex15_Luc98_Z.trs 0.012 0.018 0.013 0.013
TRCSR/Ex16_Luc06_C.trs 0.014 60.011 60.013 60.014
TRCSR/Ex16_Luc06_FR.trs 0.019 0.027 2.147 1.786
TRCSR/Ex16_Luc06_GM.trs 0.021 60.013 60.012 60.014
TRCSR/Ex16_Luc06_iGM.trs 0.022 60.013 60.012 60.019
TRCSR/Ex16_Luc06_Z.trs 0.019 0.025 2.404 2.032
TRCSR/Ex18_Luc06_C.trs 0.016 60.012 60.012 60.014
TRCSR/Ex18_Luc06_FR.trs 0.025 60.011 60.013 60.012
TRCSR/Ex18_Luc06_GM.trs 0.015 60.013 14.570 8.864
TRCSR/Ex18_Luc06_iGM.trs 0.017 60.011 60.014 60.012
TRCSR/Ex18_Luc06_L.trs 0.015 0.021 0.027 0.013
TRCSR/Ex18_Luc06_Z.trs 0.015 60.012 6.274 0.014
TRCSR/Ex1_GL02a_C.trs 0.014 0.021 0.014 0.014
TRCSR/Ex1_GL02a_GM.trs 0.014 0.019 0.013 0.013
TRCSR/Ex1_GL02a_iGM.trs 0.014 0.022 0.014 0.014
TRCSR/Ex1_GM99_C.trs 0.013 0.022 0.016 0.014
TRCSR/Ex1_Luc02b_FR.trs 0.012 0.019 0.013 0.012
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
TRCSR/Ex1_Luc02b_Z.trs 0.013 0.018 0.013 0.012
TRCSR/Ex1_Luc04b_C.trs 0.016 60.013 60.016 60.013
TRCSR/Ex1_Luc04b_GM.trs 0.017 60.013 60.012 60.012
TRCSR/Ex1_Luc04b_iGM.trs 0.058 60.013 60.012 60.015
TRCSR/Ex1_Zan97_C.trs 0.014 60.013 60.015 60.016
TRCSR/Ex1_Zan97_GM.trs 0.026 60.013 0.134 0.020
TRCSR/Ex1_Zan97_iGM.trs 0.953 60.014 60.012 60.011
TRCSR/Ex23_Luc06_C.trs 0.014 60.011 60.013 60.012
TRCSR/Ex23_Luc06_FR.trs 0.037 60.012 60.019 60.014
TRCSR/Ex23_Luc06_GM.trs 0.016 60.012 60.012 60.013
TRCSR/Ex23_Luc06_iGM.trs 0.019 60.012 60.013 60.011
TRCSR/Ex23_Luc06_L.trs 0.013 0.018 0.023 0.012
TRCSR/Ex23_Luc06_Z.trs 0.014 60.012 60.012 0.015
TRCSR/Ex24_GM04_C.trs 0.012 0.019 0.013 0.013
TRCSR/Ex24_Luc06_C.trs 0.012 0.022 0.013 0.013
TRCSR/Ex25_Luc06_C.trs 0.015 60.012 60.012 60.011
TRCSR/Ex25_Luc06_FR.trs 0.047 60.012 60.016 60.014
TRCSR/Ex25_Luc06_GM.trs 0.029 60.014 60.011 60.012
TRCSR/Ex25_Luc06_iGM.trs 0.028 60.013 60.017 60.012
TRCSR/Ex25_Luc06_L.trs 0.014 0.021 0.023 0.013
TRCSR/Ex25_Luc06_Z.trs 0.033 60.011 18.995 0.033
TRCSR/Ex26_Luc03b_C.trs 0.015 0.025 0.016 0.015
TRCSR/Ex26_Luc03b_GM.trs 0.013 0.021 0.016 0.015
TRCSR/Ex26_Luc03b_iGM.trs 0.014 0.021 0.014 0.015
TRCSR/Ex26_Luc03b_L.trs 0.015 0.022 0.052 0.015
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
TRCSR/Ex26_Luc03b_Z.trs 0.012 0.021 0.015 0.013
TRCSR/Ex2_Luc02a_C.trs 0.015 0.022 0.014 0.015
TRCSR/Ex2_Luc02a_FR.trs 0.013 0.021 0.014 0.014
TRCSR/Ex2_Luc02a_GM.trs 0.013 0.022 0.013 0.013
TRCSR/Ex2_Luc02a_iGM.trs 0.014 0.039 0.015 0.013
TRCSR/Ex2_Luc02a_L.trs 0.012 0.018 0.013 0.013
TRCSR/Ex2_Luc02a_Z.trs 0.013 0.020 0.013 0.013
TRCSR/Ex2_Luc03b_C.trs 0.014 0.023 0.013 0.014
TRCSR/Ex2_Luc03b_FR.trs 0.012 0.020 0.014 0.013
TRCSR/Ex2_Luc03b_GM.trs 0.012 0.018 0.013 0.014
TRCSR/Ex2_Luc03b_iGM.trs 0.013 0.032 0.017 0.014
TRCSR/Ex2_Luc03b_L.trs 0.016 0.019 0.028 0.014
TRCSR/Ex2_Luc03b_Z.trs 0.013 0.027 0.012 0.013
TRCSR/Ex3_12_Luc96a_FR.trs 0.013 0.020 0.015 0.013
TRCSR/Ex3_12_Luc96a_Z.trs 0.013 0.020 0.012 0.014
TRCSR/Ex3_3_25_Bor03_C.trs 0.013 0.022 0.015 0.015
TRCSR/Ex3_3_25_Bor03_GM.trs 0.013 0.020 0.013 0.013
TRCSR/Ex3_3_25_Bor03_iGM.trs 0.013 0.022 0.013 0.013
TRCSR/Ex3_3_25_Bor03_L.trs 0.014 0.022 0.272 0.016
TRCSR/Ex4_4_Luc96b_C.trs 0.013 0.019 0.013 0.013
TRCSR/Ex4_4_Luc96b_GM.trs 0.012 0.018 0.013 0.013
TRCSR/Ex4_4_Luc96b_iGM.trs 0.013 0.017 0.012 0.012
TRCSR/Ex4_4_Luc96b_L.trs 0.013 0.019 0.015 0.014
TRCSR/Ex4_7_15_Bor03_C.trs 0.015 60.011 60.012 60.016
TRCSR/Ex4_7_15_Bor03_FR.trs 0.032 60.012 60.013 60.011
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
TRCSR/Ex4_7_15_Bor03_GM.trs 0.014 60.011 60.014 60.011
TRCSR/Ex4_7_15_Bor03_iGM.trs 0.029 60.012 60.016 60.013
TRCSR/Ex4_7_15_Bor03_L.trs 0.019 0.024 5.789 6.519
TRCSR/Ex4_7_15_Bor03_Z.trs 0.024 0.021 60.015 60.011
TRCSR/Ex4_7_37_Bor03_FR.trs 0.013 0.018 0.013 0.013
TRCSR/Ex4_7_37_Bor03_Z.trs 0.013 0.022 0.014 0.012
TRCSR/Ex4_7_56_Bor03_FR.trs 0.012 0.018 0.014 0.013
TRCSR/Ex4_7_56_Bor03_Z.trs 0.012 0.018 0.014 0.013
TRCSR/Ex4_7_77_Bor03_C.trs 0.014 60.012 60.016 60.013
TRCSR/Ex4_7_77_Bor03_FR.trs 0.015 0.022 0.119 0.016
TRCSR/Ex4_7_77_Bor03_GM.trs 0.014 48.947 16.330 17.845
TRCSR/Ex4_7_77_Bor03_iGM.trs 0.025 60.012 60.012 60.011
TRCSR/Ex4_7_77_Bor03_Z.trs 0.017 0.021 0.117 0.016
TRCSR/Ex49_GM04_C.trs 0.014 0.023 0.014 0.014
TRCSR/Ex49_GM04_GM.trs 0.012 0.020 0.013 0.014
TRCSR/Ex49_GM04_iGM.trs 0.014 0.023 0.016 0.014
TRCSR/Ex49_GM04_Z.trs 0.013 0.018 0.012 0.013
TRCSR/Ex4_Zan97_FR.trs 0.015 0.021 0.016 0.013
TRCSR/Ex4_Zan97_Z.trs 0.013 0.018 0.015 0.013
TRCSR/Ex5_DLMMU04_C.trs 0.014 0.026 0.015 0.014
TRCSR/Ex5_DLMMU04_GM.trs 0.013 0.022 0.013 0.014
TRCSR/Ex5_DLMMU04_iGM.trs 0.014 0.022 0.014 0.014
TRCSR/Ex5_Zan97_C.trs 0.015 60.010 60.013 60.013
TRCSR/Ex5_Zan97_FR.trs 0.030 60.012 12.447 14.700
TRCSR/Ex5_Zan97_GM.trs 0.037 60.011 60.011 60.013
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
TRCSR/Ex5_Zan97_iGM.trs 0.034 60.012 60.012 60.011
TRCSR/Ex5_Zan97_Z.trs 0.016 0.052 0.661 0.017
TRCSR/Ex6_9_Luc02c_C.trs 0.013 0.021 0.014 0.013
TRCSR/Ex6_9_Luc02c_FR.trs 0.012 0.018 0.012 0.012
TRCSR/Ex6_9_Luc02c_GM.trs 0.012 0.019 0.013 0.013
TRCSR/Ex6_9_Luc02c_iGM.trs 0.012 0.021 0.014 0.014
TRCSR/Ex6_9_Luc02c_Z.trs 0.013 0.020 0.013 0.013
TRCSR/Ex6_GM04_C.trs 0.013 60.012 60.013 60.011
TRCSR/Ex6_GM04_GM.trs 0.015 60.012 0.189 0.015
TRCSR/Ex6_GM04_iGM.trs 0.024 60.013 60.013 60.012
TRCSR/Ex6_GM04_L.trs 0.014 0.016 0.018 0.016
TRCSR/Ex6_Luc98_C.trs 0.013 0.021 0.012 0.014
TRCSR/Ex6_Luc98_FR.trs 0.012 0.018 0.014 0.013
TRCSR/Ex6_Luc98_GM.trs 0.013 0.022 0.013 0.013
TRCSR/Ex6_Luc98_iGM.trs 0.015 0.020 0.016 0.013
TRCSR/Ex6_Luc98_L.trs 0.014 0.020 0.023 0.013
TRCSR/Ex6_Luc98_Z.trs 0.012 0.020 0.014 0.014
TRCSR/Ex7_BLR02_FR.trs 0.012 0.020 0.012 0.013
TRCSR/Ex7_BLR02_Z.trs 0.013 0.019 0.012 0.013
TRCSR/Ex8_BLR02_FR.trs 0.013 0.018 0.013 0.013
TRCSR/Ex8_BLR02_Z.trs 0.012 0.019 0.012 0.013
TRCSR/Ex9_BLR02_C.trs 0.019 0.021 0.014 0.014
TRCSR/Ex9_BLR02_GM.trs 0.012 0.018 0.016 0.014
TRCSR/Ex9_BLR02_iGM.trs 0.014 0.023 0.014 0.013
TRCSR/Ex9_BLR02_L.trs 0.016 0.032 13.877 0.016
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
TRCSR/Ex9_BLR02_Z.trs 0.013 0.019 0.013 0.014
TRCSR/Ex9_Luc06_C.trs 0.014 60.012 60.013 60.011
TRCSR/Ex9_Luc06_GM.trs 0.021 60.013 60.012 60.012
TRCSR/Ex9_Luc06_iGM.trs 0.024 60.012 60.012 60.013
TRCSR/ExAppendixB_AEL03_FR.trs 0.013 0.020 0.013 0.013
TRCSR/ExAppendixB_AEL03_Z.trs 0.013 0.019 0.014 0.013
TRCSR/ExConc_Zan97_C.trs 0.014 60.014 60.011 50.262
TRCSR/ExConc_Zan97_FR.trs 0.021 60.011 7.627 7.947
TRCSR/ExConc_Zan97_GM.trs 0.015 60.012 26.029 22.915
TRCSR/ExConc_Zan97_iGM.trs 0.018 60.011 60.013 60.012
TRCSR/ExConc_Zan97_L.trs 0.012 0.017 0.012 0.013
TRCSR/ExIntrod_GM01_C.trs 0.017 60.014 60.015 60.011
TRCSR/ExIntrod_GM01_GM.trs 0.015 60.013 60.012 60.012
TRCSR/ExIntrod_GM01_iGM.trs 0.049 60.012 60.012 60.013
TRCSR/ExIntrod_GM04_C.trs 0.016 60.013 60.013 60.012
TRCSR/ExIntrod_GM04_GM.trs 0.053 60.012 60.013 60.013
TRCSR/ExIntrod_GM04_iGM.trs 0.045 52.390 60.014 60.018
TRCSR/ExProp7_Luc06_C.trs 0.014 60.011 60.014 60.012
TRCSR/ExProp7_Luc06_FR.trs 0.032 60.014 60.016 60.014
TRCSR/ExProp7_Luc06_GM.trs 0.016 46.760 60.013 60.012
TRCSR/ExProp7_Luc06_iGM.trs 0.029 60.013 60.013 60.012
TRCSR/ExProp7_Luc06_L.trs 0.016 0.022 60.012 60.013
TRCSR/ExProp7_Luc06_Z.trs 0.025 0.019 60.012 60.012
TRCSR/ExSec11_1_Luc02a_C.trs 0.014 0.025 0.015 0.014
TRCSR/ExSec11_1_Luc02a_FR.trs 0.012 0.019 0.012 0.014
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
TRCSR/ExSec11_1_Luc02a_GM.trs 0.012 0.021 0.013 0.013
TRCSR/ExSec11_1_Luc02a_iGM.trs 0.013 0.025 0.014 0.016
TRCSR/ExSec11_1_Luc02a_L.trs 0.012 0.018 0.013 0.013
TRCSR/ExSec11_1_Luc02a_Z.trs 0.013 0.019 0.013 0.013
TRCSR/ExSec4_2_DLMMU04_FR.trs 0.013 0.021 0.014 0.014
TRCSR/ExSec4_2_DLMMU04_Z.trs 0.013 0.019 0.014 0.012
TRCSR/LengthOfFiniteLists_complete_GM.trs 0.014 0.025 0.014 0.014
TRCSR/LengthOfFiniteLists_complete_noand_GM.trs 0.015 0.031 0.015 0.014
TRCSR/LengthOfFiniteLists_nokinds_C.trs 0.014 0.023 0.015 0.014
TRCSR/LengthOfFiniteLists_nokinds_GM.trs 0.013 0.021 0.013 0.013
TRCSR/LengthOfFiniteLists_nokinds_noand_GM.trs 0.014 0.023 0.014 0.013
TRCSR/LengthOfFiniteLists_nokinds_noand_iGM.trs 0.014 0.030 0.017 0.016
TRCSR/LISTUTILITIES_nosorts_FR.trs 0.014 0.018 0.013 0.014
TRCSR/LISTUTILITIES_nosorts-noand_FR.trs 0.014 0.022 0.014 0.014
TRCSR/LISTUTILITIES_nosorts-noand_Z.trs 0.014 0.021 0.014 0.014
TRCSR/LISTUTILITIES_nosorts_Z.trs 0.013 0.021 0.016 0.013
TRCSR/MYNAT_complete_C.trs 0.016 0.033 0.015 0.016
TRCSR/MYNAT_complete_FR.trs 0.013 0.023 0.014 0.014
TRCSR/MYNAT_complete_iGM.trs 0.015 0.033 0.016 0.015
TRCSR/MYNAT_complete_Z.trs 0.016 0.022 0.015 0.014
TRCSR/MYNAT_nokinds_C.trs 0.014 0.042 0.014 0.014
TRCSR/MYNAT_nokinds_FR.trs 0.015 0.021 0.013 0.014
TRCSR/MYNAT_nokinds_GM.trs 0.013 0.023 0.014 0.013
TRCSR/MYNAT_nokinds_iGM.trs 0.015 0.024 0.013 0.014
TRCSR/MYNAT_nokinds-noand_FR.trs 0.012 0.022 0.013 0.013
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
TRCSR/MYNAT_nokinds_noand_GM.trs 0.016 0.022 0.013 0.013
TRCSR/MYNAT_nokinds-noand_Z.trs 0.015 0.021 0.014 0.014
TRCSR/MYNAT_nokinds_Z.trs 0.013 0.020 0.013 0.014
TRCSR/MYNAT_nosorts_C.trs 0.013 0.020 0.012 0.014
TRCSR/MYNAT_nosorts_FR.trs 0.013 0.017 0.013 0.013
TRCSR/MYNAT_nosorts_GM.trs 0.013 0.019 0.013 0.013
TRCSR/MYNAT_nosorts_iGM.trs 0.012 0.020 0.012 0.013
TRCSR/MYNAT_nosorts_noand_C.trs 0.013 0.023 0.014 0.014
TRCSR/MYNAT_nosorts-noand_FR.trs 0.012 0.019 0.013 0.013
TRCSR/MYNAT_nosorts_noand_GM.trs 0.012 0.020 0.012 0.013
TRCSR/MYNAT_nosorts_noand_iGM.trs 0.014 0.023 0.015 0.014
TRCSR/MYNAT_nosorts-noand_Z.trs 0.013 0.019 0.013 0.013
TRCSR/MYNAT_nosorts_Z.trs 0.013 0.018 0.013 0.013
TRCSR/OvConsOS_nokinds_noand_GM.trs 0.014 0.027 0.016 0.015
TRCSR/PALINDROME_complete_C.trs 0.016 0.040 0.016 0.016
TRCSR/PALINDROME_complete_FR.trs 0.013 0.025 0.014 0.015
TRCSR/PALINDROME_complete_GM.trs 0.016 0.027 0.017 0.015
TRCSR/PALINDROME_complete-noand_FR.trs 0.015 0.025 0.015 0.013
TRCSR/PALINDROME_complete_noand_GM.trs 0.016 0.032 0.016 0.016
TRCSR/PALINDROME_complete-noand_Z.trs 0.014 0.027 0.015 0.014
TRCSR/PALINDROME_complete_Z.trs 0.016 0.044 0.014 0.017
TRCSR/PALINDROME_nokinds_C.trs 0.019 60.015 60.012 60.013
TRCSR/PALINDROME_nokinds_FR.trs 0.018 60.013 60.013 60.013
TRCSR/PALINDROME_nokinds_GM.trs 0.113 47.745 60.012 60.012
TRCSR/PALINDROME_nokinds_iGM.trs 0.112 60.011 60.014 60.017
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
TRCSR/PALINDROME_nokinds_noand_C.trs 0.025 60.011 60.016 60.013
TRCSR/PALINDROME_nokinds-noand_FR.trs 0.021 60.013 60.012 60.013
TRCSR/PALINDROME_nokinds_noand_GM.trs 0.168 60.011 60.013 60.013
TRCSR/PALINDROME_nokinds_noand_iGM.trs 0.228 60.012 60.012 60.014
TRCSR/PALINDROME_nokinds-noand_Z.trs 0.020 60.010 60.013 60.014
TRCSR/PALINDROME_nokinds_Z.trs 0.019 60.014 60.013 60.015
TRCSR/PALINDROME_nosorts_C.trs 0.014 60.011 60.013 60.012
TRCSR/PALINDROME_nosorts_FR.trs 0.013 60.011 4.144 5.133
TRCSR/PALINDROME_nosorts_GM.trs 0.043 60.012 60.012 60.012
TRCSR/PALINDROME_nosorts_iGM.trs 0.036 44.401 60.012 60.013
TRCSR/PALINDROME_nosorts_noand_C.trs 0.016 60.013 60.013 60.015
TRCSR/PALINDROME_nosorts-noand_FR.trs 0.014 60.012 12.930 13.708
TRCSR/PALINDROME_nosorts_noand_GM.trs 0.047 25.538 60.013 60.016
TRCSR/PALINDROME_nosorts_noand_iGM.trs 0.044 46.390 60.012 60.012
TRCSR/PALINDROME_nosorts-noand_L.trs 0.014 60.013 11.428 13.827
TRCSR/PALINDROME_nosorts-noand_Z.trs 0.014 60.014 13.593 13.878
TRCSR/PALINDROME_nosorts_Z.trs 0.014 60.011 4.418 4.433
TRCSR/PEANO_complete_C.trs 0.014 0.025 0.014 0.014
TRCSR/PEANO_complete_FR.trs 0.012 0.021 0.012 0.013
TRCSR/PEANO_complete_GM.trs 0.014 0.024 0.018 0.013
TRCSR/PEANO_complete_iGM.trs 0.014 0.027 0.019 0.014
TRCSR/PEANO_complete-noand_FR.trs 0.015 0.020 0.014 0.013
TRCSR/PEANO_complete_noand_GM.trs 0.016 0.026 0.015 0.016
TRCSR/PEANO_complete-noand_Z.trs 0.014 0.024 0.014 0.014
TRCSR/PEANO_complete_Z.trs 0.013 0.020 0.011 0.012
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
TRCSR/PEANO_nokinds_C.trs 0.014 0.021 0.014 0.015
TRCSR/PEANO_nokinds_FR.trs 0.012 0.020 0.014 0.013
TRCSR/PEANO_nokinds_GM.trs 0.013 0.023 0.016 0.014
TRCSR/PEANO_nokinds_iGM.trs 0.014 0.024 0.013 0.014
TRCSR/PEANO_nokinds_noand_C.trs 0.014 0.024 0.014 0.015
TRCSR/PEANO_nokinds-noand_FR.trs 0.014 0.021 0.013 0.014
TRCSR/PEANO_nokinds_noand_GM.trs 0.013 0.021 0.014 0.013
TRCSR/PEANO_nokinds_noand_iGM.trs 0.014 0.027 0.016 0.015
TRCSR/PEANO_nokinds-noand_Z.trs 0.013 0.025 0.013 0.015
TRCSR/PEANO_nokinds_Z.trs 0.012 0.021 0.014 0.013
TRCSR/PEANO_nosorts_C.trs 0.015 60.012 60.013 60.012
TRCSR/PEANO_nosorts_FR.trs 0.014 36.535 0.023 0.025
TRCSR/PEANO_nosorts_GM.trs 0.014 60.012 60.012 60.012
TRCSR/PEANO_nosorts_iGM.trs 0.025 60.012 60.012 60.014
TRCSR/PEANO_nosorts_noand_C.trs 0.016 60.011 60.016 60.012
TRCSR/PEANO_nosorts-noand_FR.trs 0.048 60.011 9.851 5.788
TRCSR/PEANO_nosorts_noand_GM.trs 0.015 60.013 60.016 60.026
TRCSR/PEANO_nosorts_noand_iGM.trs 0.043 60.015 60.011 60.011
TRCSR/PEANO_nosorts-noand_Z.trs 0.048 60.012 9.839 6.314
TRCSR/PEANO_nosorts_Z.trs 0.013 38.876 0.024 0.025
various/02.trs 0.013 0.024 0.014 0.013
various/03.trs 0.014 0.022 0.012 0.013
various/06.trs 0.013 0.021 0.015 0.013
various/07.trs 0.015 0.019 0.016 0.013
various/09.trs 0.012 0.048 0.013 0.013
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
various/10.trs 0.013 0.031 0.012 0.012
various/11.trs 0.013 0.410 0.014 0.012
various/12.trs 0.017 0.024 0.012 0.012
various/13.trs 0.014 0.025 0.013 0.012
various/14.trs 0.014 0.024 0.013 0.015
various/15.trs 0.018 60.012 60.016 60.013
various/18.trs 0.028 60.017 60.018 60.012
various/19.trs 0.021 39.859 60.013 60.012
various/20.trs 0.016 60.048 60.012 60.012
various/21.trs 0.017 60.012 60.013 60.013
various/22.trs 0.014 0.313 0.012 0.012
various/23.trs 0.021 60.015 60.013 60.017
various/24.trs 0.025 60.012 60.013 60.010
various/25.trs 0.025 0.018 2.271 2.185
various/26.trs 0.013 0.023 0.016 0.012
various/27.trs 0.015 0.033 0.039 0.040
Waldmann/jwaprove1.trs 0.019 60.025 60.012 60.012
Waldmann/jwaprove2.trs 0.018 60.015 60.013 60.017
Waldmann/jwcime1.trs 0.024 60.013 60.012 60.014
Waldmann/jwcime2.trs 0.023 0.024 60.012 60.017
Waldmann/jwmatchb1.trs 0.019 60.012 60.012 60.014
Waldmann/jwmatchb2.trs 0.018 60.023 60.012 60.016
Waldmann/jwteparla1.trs 0.014 0.031 0.014 0.016
Waldmann/jwteparla2.trs 0.013 0.022 0.012 0.016
Waldmann/jwtpa1.trs 0.023 0.033 60.012 60.014
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
Waldmann/jwtpa2.trs 0.024 60.027 60.013 60.015
Waldmann/jwttt.trs 0.023 60.014 60.014 60.020
Zantema06/beans.trs 0.016 60.031 60.015 60.013
Zantema06/gcdMinMax.trs 0.017 0.024 0.013 0.013
Zantema06/gcd.trs 0.014 0.021 0.016 0.013
Zantema06/test1.trs 0.014 0.016 0.013 0.012
Zantema06/while.trs 0.019 0.032 0.013 0.013
Zantema/jw01.trs 0.016 0.017 60.013 60.011
Zantema/jw02.trs 0.015 0.024 60.012 60.013
Zantema/jw03.trs 0.015 0.032 60.011 60.013
Zantema/jw04.trs 0.015 0.025 60.098 60.014
Zantema/jw05.trs 0.015 0.024 60.012 60.012
Zantema/jw06.trs 0.015 0.024 60.012 60.012
Zantema/jw07.trs 0.020 0.024 60.012 60.012
Zantema/jw08.trs 0.019 0.023 60.012 60.016
Zantema/jw09.trs 0.019 0.039 60.013 60.014
Zantema/jw11.trs 0.019 0.022 60.012 60.013
Zantema/jw12.trs 0.019 0.017 60.012 60.012
Zantema/jw13.trs 0.020 0.024 60.012 60.025
Zantema/jw14.trs 0.019 0.024 60.012 60.012
Zantema/jw15.trs 0.019 0.044 60.012 60.012
Zantema/jw16.trs 0.018 0.018 60.012 60.013
Zantema/jw17.trs 0.019 0.023 60.012 60.013
Zantema/jw18.trs 0.019 0.024 60.012 60.012
Zantema/jw19.trs 0.021 0.036 60.015 60.013
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
Zantema/jw20.trs 0.020 0.017 60.012 60.014
Zantema/jw21.trs 0.020 0.020 60.012 60.013
Zantema/jw22.trs 0.020 0.023 60.014 60.013
Zantema/jw23.trs 0.021 0.019 60.013 60.012
Zantema/jw24.trs 0.019 0.031 60.012 60.015
Zantema/jw25.trs 0.020 0.024 60.014 60.013
Zantema/jw26.trs 0.020 0.054 60.013 60.015
Zantema/jw27.trs 0.019 0.024 60.011 60.013
Zantema/jw28.trs 0.020 0.024 60.013 60.013
Zantema/jw29.trs 0.020 0.037 60.011 60.017
Zantema/jw30.trs 0.020 0.024 60.013 60.013
Zantema/jw31.trs 0.019 0.024 60.012 60.014
Zantema/jw32.trs 0.018 0.024 60.012 60.017
Zantema/jw33.trs 0.020 0.021 60.013 60.013
Zantema/jw34.trs 0.019 0.024 60.011 60.013
Zantema/jw35.trs 0.019 0.024 60.014 60.016
Zantema/jw36.trs 0.019 0.024 60.012 60.013
Zantema/jw37.trs 0.019 0.056 60.012 60.013
Zantema/jw38.trs 0.021 0.024 60.013 60.013
Zantema/jw39.trs 0.019 0.024 60.011 60.016
Zantema/jw40.trs 0.019 0.024 60.012 60.013
Zantema/jw41.trs 0.020 0.024 60.013 60.013
Zantema/jw42.trs 0.019 0.024 60.012 60.013
Zantema/jw43.trs 0.013 0.023 60.011 60.017
Zantema/jw44.trs 0.012 60.012 60.013 60.013
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
Zantema/jw47.trs 0.014 60.013 60.013 60.014
Zantema/jw50.trs 0.013 0.024 60.012 60.012
Zantema/z01.trs 0.020 60.012 60.012 60.012
Zantema/z02.trs 0.022 0.056 60.013 60.012
Zantema/z03.trs 0.018 60.017 60.012 60.015
Zantema/z04.trs 0.013 0.025 0.013 0.013
Zantema/z05.trs 0.038 60.011 60.012 60.017
Zantema/z06.trs 0.023 60.011 60.015 60.011
Zantema/z07.trs 0.013 60.010 60.014 60.014
Zantema/z08.trs 0.017 60.028 60.013 60.017
Zantema/z09.trs 0.013 0.024 0.013 0.013
Zantema/z10.trs 0.014 0.032 0.013 0.014
Zantema/z11.trs 0.048 60.012 60.012 60.014
Zantema/z12.trs 0.014 60.010 60.013 60.014
Zantema/z13.trs 0.014 60.013 60.013 60.013
Zantema/z14.trs 0.014 60.012 60.011 60.012
Zantema/z15.trs 0.015 60.012 60.012 60.013
Zantema/z16.trs 0.014 60.017 60.013 60.011
Zantema/z17.trs 0.029 60.011 60.011 60.012
Zantema/z18.trs 0.013 60.020 60.013 60.011
Zantema/z19.trs 0.013 60.016 60.012 60.012
Zantema/z20.trs 0.013 60.013 60.013 60.014
Zantema/z21.trs 0.014 60.019 60.012 60.013
Zantema/z22.trs 0.013 60.024 60.013 60.013
Zantema/z23.trs 0.014 60.014 60.018 60.013
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
Zantema/z24.trs 0.014 60.024 60.014 60.012
Zantema/z25.trs 0.014 60.011 60.013 60.013
Zantema/z26.trs 0.022 60.022 60.012 60.012
Zantema/z27.trs 0.013 0.024 0.013 0.013
Zantema/z28.trs 0.013 0.017 0.013 0.013
Zantema/z29.trs 0.014 60.024 60.012 60.013
Zantema/z30.trs 0.021 0.131 60.012 60.011
problem CDI3: strongly linear interpretations TTT2: match-raise-bounds CDI3: delta-restricted CDI3: SL+delta-restricted
Total time 17.082 14216.586 15380.418 15245.563
YES score 41 125 86 88
YES time 0.621 55.142 330.715 289.282
Avg. YES time 0.015 0.441 3.845 3.287
Timeouts 0 225 238 234