An Isabelle/HOL Formalization of Rewriting 
for Certified Termination Analysis 

Setup

Experiments have been run on the 2132 TRSs of TPDB version 7.0.2. All of the proofs have been generated with TTT2 (changeset a5b22ac1840e of the mercurial repository). Then, the generated proofs have been certified using CeTA v1.10.
All Experiments have been performed on a machine with 8 Dual Core AMD Opteron 885 processors and 64GB RAM running Linux.

  • basic uses the dependency graph and the reduction pair processor with linear polynomial orders. Furthermore, some fast methods for finding nontermination are used: check whether the lhs is a variable, check whether the rhs contains a free variable, check whether the rhs contains a substitution instance of the lhs.
  • sc is like basic where additionally the subterm criterion is used.
  • ur is like basic where the reduction pair processor in combination with usable rules is added.
  • sc_ur is simply the combination of sc and ur.
  • full uses a combination of all techniques that are available in TTT2 and supported by CeTA.

Statistics

problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
#yes 439 439 553 553 663 663 669 669 1223 1223
total time 1459.054 25.696 993.434 26.399 1390.208 43.379 1305.547 41.212 4247.826 90.385
average time 3.324 0.059 1.796 0.048 2.097 0.065 1.951 0.062 3.473 0.074
#no 125 125 125 125 125 125 125 125 221 221
total time 17.517 2.51 17.459 2.502 17.672 2.5 17.587 2.505 233.776 4.627
average time 0.14 0.02 0.14 0.02 0.141 0.02 0.141 0.02 1.058 0.021
#maybe 1406 0 1336 0 1215 0 1209 0 440 0
total time 5452.061 0.0 5078.596 0.0 5343.288 0.0 5212.156 0.0 16221.683 0.0
average time 3.878 - 3.801 - 4.398 - 4.311 - 36.867 -
#timeout 162 0 118 0 129 0 129 0 248 0
total time 9720.0 0.0 7080.0 0.0 7740.0 0.0 7740.0 0.0 14880.0 0.0
average time 60.0 - 60.0 - 60.0 - 60.0 - 60.0 -
total time 16648.631 28.206 13169.489 28.901 14491.167 45.879 14275.29 43.717 35583.286 95.011
Yes No Maybe Timeout

Results

problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
AG01/#3.1 0.422 0.024 0.313 0.019 0.243 0.021 0.24 0.02 0.483 0.02
AG01/#3.10 9.515 0.145 2.976 0.096 2.908 0.099 2.305 0.083 2.127 0.085
AG01/#3.12 0.703 0.029 0.381 0.023 0.307 0.027 0.309 0.024 0.476 0.029
AG01/#3.13 6.962 0.116 4.828 0.091 0.904 0.069 0.759 0.062 1.9 0.078
AG01/#3.15 0.52 0.02 0.362 0.018 0.282 0.019 0.243 0.018 0.368 0.021
AG01/#3.16 0.326 0.157 0.018 0.202 0.022 0.156 0.018 0.334 0.019
AG01/#3.17 1.964 0.048 1.33 0.043 0.709 0.042 0.719 0.043 2.797 0.042
AG01/#3.17a 3.336 0.056 1.858 0.052 0.64 0.051 0.78 0.05 3.444 0.056
AG01/#3.18 0.88 0.444 0.398 0.032 0.386 0.029 0.704 0.025
AG01/#3.19 1.574 0.94 1.237 1.326 0.787 0.031
AG01/#3.2 0.392 0.024 0.299 0.021 0.223 0.022 0.222 0.021 0.461 0.021
AG01/#3.21 0.248 0.26 0.187 0.022 0.205 0.022 0.399 0.025
AG01/#3.22 0.585 0.403 0.471 0.044 0.486 0.045 0.609 0.031
AG01/#3.23 0.163 0.015 0.13 0.012 0.133 0.014 0.128 0.013 0.288 0.013
AG01/#3.24 0.248 0.014 0.257 0.014 0.361 0.019 0.37 0.019 0.236 0.014
AG01/#3.26 0.21 0.013 0.215 0.013 0.211 0.014 0.218 0.014 0.484 0.014
AG01/#3.29 0.167 0.013 0.173 0.013 0.143 0.012 0.151 0.012 0.153 0.011
AG01/#3.31 0.229 0.015 0.131 0.013 0.134 0.014 0.13 0.013 0.444 0.013
AG01/#3.33 0.129 0.017 0.14 0.017 0.129 0.017 0.14 0.017 3.19 0.017
AG01/#3.35 0.219 0.016 0.126 0.013 0.147 0.014 0.125 0.012 0.243 0.017
AG01/#3.36 0.584 0.033 0.475 0.029 0.497 0.036 0.495 0.035 0.32 0.023
AG01/#3.37 0.238 0.021 0.138 0.017 0.166 0.019 0.139 0.017 2.234 0.021
AG01/#3.38 0.544 0.028 0.377 0.026 0.422 0.03 0.422 0.027 0.545 0.026
AG01/#3.39 1.997 1.555 0.904 0.041 0.898 0.039 1.15 0.039
AG01/#3.4 0.868 0.04 0.347 0.026 0.364 0.032 0.281 0.026 0.571 0.025
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
AG01/#3.40 5.314 4.864 5.664 0.064 5.672 0.064 1.998 0.063
AG01/#3.41 0.293 0.3 0.252 0.016 0.257 0.016 0.716 0.016
AG01/#3.42 0.932 0.554 0.474 0.026 0.448 0.025 1.277 0.024
AG01/#3.47 0.316 0.019 0.137 0.015 0.18 0.018 0.138 0.015 0.486 0.016
AG01/#3.48 0.874 0.041 0.171 0.025 0.186 0.026 0.17 0.024 0.652 0.026
AG01/#3.49 0.768 0.028 0.781 0.028 0.525 0.025 0.536 0.025 2.453 0.025
AG01/#3.5 0.857 0.047 0.473 0.034 0.351 0.035 0.333 0.032 0.603 0.03
AG01/#3.51 0.319 0.023 0.159 0.022 0.149 0.02 0.159 0.021 3.424 0.03
AG01/#3.52 0.223 0.017 0.131 0.014 0.163 0.016 0.131 0.014 0.242 0.014
AG01/#3.53 3.352 0.105 1.662 0.066 0.469 0.058 0.47 0.053 1.367 0.058
AG01/#3.53a 0.172 0.015 0.181 0.015 0.146 0.013 0.156 0.013 0.187 0.016
AG01/#3.53b 0.226 0.018 0.135 0.014 0.166 0.016 0.133 0.015 0.243 0.015
AG01/#3.54 0.338 0.022 0.352 0.022 0.242 0.02 0.255 0.019 0.466 0.019
AG01/#3.55 19.018 6.647 1.233 0.11 0.866 0.083 1.331 0.068
AG01/#3.56 1.297 1.33 0.26 0.021 0.278 0.022 3.466 0.026
AG01/#3.57 4.569 0.091 2.473 0.064 0.868 0.062 0.815 0.058 1.708 0.058
AG01/#3.5a 0.889 0.051 0.529 0.036 0.365 0.041 0.356 0.036 0.647 0.034
AG01/#3.5b 1.36 0.057 0.664 0.043 0.522 0.049 0.431 0.043 0.695 0.041
AG01/#3.6 0.86 0.056 0.508 0.044 0.398 0.041 0.39 0.037 0.918 0.047
AG01/#3.6a 0.795 0.052 0.451 0.04 0.421 0.037 0.406 0.035 0.823 0.046
AG01/#3.6b 1.335 0.059 0.519 0.047 0.515 0.054 0.426 0.05 1.044 0.054
AG01/#3.7 0.405 0.021 0.297 0.019 0.241 0.019 0.229 0.019 0.242 0.016
AG01/#3.8a 0.989 0.035 0.705 0.032 0.408 0.034 0.414 0.032 0.925 0.031
AG01/#3.8b 2.168 0.057 1.395 0.048 0.755 0.056 0.673 0.051 1.198 0.046
AG01/#4.30c 8.896 8.538 11.847 11.891 59.194
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
AProVE_04/AAECC-ring 60.0 60.0 60.0 60.0 59.426
AProVE_04/AAECC 25.118 18.801 27.218 27.206 52.619
AProVE_04/IJCAR_1 0.564 0.27 0.021 0.222 0.022 0.179 0.02 0.418 0.019
AProVE_04/IJCAR_12 0.718 0.369 0.473 0.048 0.225 0.032 0.67 0.032
AProVE_04/IJCAR_18 2.49 0.649 0.903 0.076 0.275 0.058 1.047 0.056
AProVE_04/IJCAR_26 2.956 1.398 2.137 0.102 0.837 0.073 1.508 0.072
AProVE_04/IJCAR_26a 3.0 1.452 2.136 0.101 0.834 0.073 1.666 0.073
AProVE_04/JFP_Ex31 43.107 41.68 33.903 33.913 59.257
AProVE_04/JFP_Ex51 5.427 0.09 4.331 0.068 2.173 0.081 2.154 0.079 4.674 0.118
AProVE_04/LPAR_intlist 6.394 0.157 0.022 0.211 0.025 0.157 0.022 2.425 0.034
AProVE_04/Liveness6.1 3.654 3.039 11.339 11.037 2.652 0.048
AProVE_04/Liveness6.2 4.735 4.35 12.846 12.95 3.604 0.046
AProVE_04/Liveness6.3 19.183 16.015 60.0 60.0 3.673 0.085
AProVE_04/Liveness6.4 13.461 11.329 37.804 37.824 59.227
AProVE_04/Liveness8 3.806 0.103 1.598 0.061 1.476 0.085 1.413 0.07 3.845 0.066
AProVE_04/Liveness_WRS 60.0 60.0 60.0 60.0 4.768 0.104
AProVE_04/fac 1.269 0.59 0.849 0.813 0.882 0.03
AProVE_04/forward_instantiation 0.156 0.164 0.154 0.163 0.395
AProVE_04/forward_instantiation2 0.159 0.168 0.157 0.165 0.41
AProVE_04/improved_usable 0.757 0.719 0.215 0.02 0.221 0.019 0.379 0.02
AProVE_04/improved_usable2 0.411 0.377 0.17 0.019 0.18 0.018 0.353 0.018
AProVE_04/rta1 0.896 0.482 0.521 0.031 0.243 0.027 0.861 0.029
AProVE_04/rta2 0.175 0.014 0.182 0.014 0.149 0.013 0.157 0.013 0.16 0.012
AProVE_04/rta3 0.389 0.409 0.364 0.024 0.372 0.024 0.468 0.083
AProVE_06/div_notCeTermin 60.0 18.151 14.658 14.59 59.236
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
AProVE_06/div_notTermin 60.0 14.163 14.937 14.874 59.228
AProVE_06/factorial1 2.586 1.91 2.195 2.209 1.766 0.055
AProVE_06/factorial2 1.221 0.535 0.604 0.597 5.487
AProVE_06/identity 1.095 0.568 1.182 1.19 59.193
AProVE_06/logarithm 29.057 13.889 6.779 6.739 59.22
AProVE_06/mapHard 1.305 0.571 0.869 0.727 59.24
AProVE_06/modulo 0.599 0.365 0.827 0.805 4.006
AProVE_06/nonterm 1.262 1.089 1.134 1.134 0.177 0.027
AProVE_06/quicksort 3.47 0.866 6.292 5.902 2.905 0.076
AProVE_06/quot 2.525 0.846 0.786 0.768 3.757
AProVE_06/sizeChange 0.364 0.37 1.778 1.78 0.497 0.03
AProVE_06/tower 3.82 1.948 2.347 2.347 1.969 0.058
AProVE_06/tower_sizeChange 1.811 0.77 0.996 0.983 6.28
AProVE_07/kabasci01 47.773 21.061 28.14 27.957 15.984 0.196
AProVE_07/kabasci02 3.433 1.92 20.977 0.173 14.052 0.133 3.991 0.161
AProVE_07/kabasci03 3.515 2.863 26.29 26.273 2.759 0.058
AProVE_07/kabasci04 2.858 1.259 0.599 0.047 0.514 0.04 1.202 0.038
AProVE_07/kabasci05 3.686 1.974 1.036 0.062 0.929 0.058 1.776 0.06
AProVE_07/kabasci06 1.544 0.984 10.08 9.985 5.166
AProVE_07/otto01 3.093 0.701 1.21 1.161 7.165
AProVE_07/otto02 1.853 0.538 0.457 0.436 5.092
AProVE_07/otto03 0.54 0.419 0.361 0.355 3.823
AProVE_07/otto04 8.96 7.041 3.162 3.126 5.388
AProVE_07/otto05 1.888 0.884 0.972 0.956 0.748 0.035
AProVE_07/otto06 5.484 1.884 0.865 0.866 6.218
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
AProVE_07/otto07 0.809 0.434 0.355 0.352 3.698
AProVE_07/otto08 2.245 1.515 1.87 1.859 4.051
AProVE_07/otto09 8.478 4.326 1.024 1.018 4.073
AProVE_07/otto10 42.834 24.832 14.513 14.595 6.226
AProVE_07/otto11 0.597 0.353 0.39 0.365 3.896
AProVE_07/otto12 2.15 0.643 0.672 0.65 5.8
AProVE_07/otto13 3.192 2.238 1.483 1.462 7.166
AProVE_07/thiemann01 5.46 2.587 2.855 2.845 4.74
AProVE_07/thiemann02 6.056 2.252 4.947 4.627 12.658
AProVE_07/thiemann03 0.831 0.446 5.573 5.507 59.196
AProVE_07/thiemann04 15.199 13.515 10.22 10.222 8.205
AProVE_07/thiemann05 1.005 0.845 0.898 0.913 5.469
AProVE_07/thiemann06 6.741 6.257 3.431 3.453 59.208
AProVE_07/thiemann07 9.213 3.951 2.472 2.387 59.227
AProVE_07/thiemann08 0.844 0.854 0.486 0.5 0.799 0.04
AProVE_07/thiemann09 3.525 1.164 1.756 1.437 6.407
AProVE_07/thiemann10 8.532 8.039 4.562 4.566 0.819 0.035
AProVE_07/thiemann11 60.0 60.0 60.0 60.0 59.235
AProVE_07/thiemann12 2.577 2.173 1.728 1.718 0.839 0.036
AProVE_07/thiemann13 9.315 8.016 21.526 21.53 59.221
AProVE_07/thiemann14 13.796 13.262 7.731 7.745 1.706 0.064
AProVE_07/thiemann15 1.143 0.836 3.886 3.825 0.709 0.033
AProVE_07/thiemann16 1.641 0.628 0.992 1.036 1.3 0.057
AProVE_07/thiemann17 2.466 2.589 35.879 35.839 1.266 0.052
AProVE_07/thiemann18 6.067 3.015 10.507 10.308 1.981 0.084
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
AProVE_07/thiemann19 2.846 1.885 1.159 1.151 8.086
AProVE_07/thiemann20 2.764 0.879 0.796 0.79 59.189
AProVE_07/thiemann21 6.608 2.814 3.22 2.837 59.242
AProVE_07/thiemann22 60.0 60.0 60.0 60.0 59.218
AProVE_07/thiemann23 0.805 0.572 0.567 0.566 4.554
AProVE_07/thiemann24 1.267 0.609 0.55 0.534 5.82
AProVE_07/thiemann25 0.578 0.353 0.443 0.434 4.675
AProVE_07/thiemann26 2.608 1.375 0.974 0.96 20.905
AProVE_07/thiemann27 0.444 0.343 0.338 0.334 3.643
AProVE_07/thiemann28 2.926 0.944 0.989 0.979 13.056
AProVE_07/thiemann29 8.742 7.474 47.242 47.268 59.23
AProVE_07/thiemann30 10.05 3.708 2.019 1.567 5.14
AProVE_07/thiemann31 33.955 29.688 18.536 18.593 18.429
AProVE_07/thiemann32 4.431 2.874 5.178 5.132 59.226
AProVE_07/thiemann33 1.538 0.646 0.831 0.7 5.662
AProVE_07/thiemann34 3.112 2.618 3.054 3.031 6.449
AProVE_07/thiemann35 1.976 1.374 1.636 1.577 7.952
AProVE_07/thiemann36 46.033 43.033 15.674 15.694 12.617
AProVE_07/thiemann37 9.888 7.843 1.897 1.883 6.699
AProVE_07/thiemann38 0.833 0.465 0.959 0.948 6.312
AProVE_07/thiemann39 1.41 1.284 5.074 5.187 21.569
AProVE_07/thiemann40 0.394 0.416 0.32 0.329 0.459 0.026
AProVE_07/thiemann41 3.13 2.695 0.431 0.425 4.21
AProVE_07/wiehe01 2.716 1.142 1.09 1.085 1.373 0.062
AProVE_07/wiehe02 6.58 4.408 2.813 2.834 3.682 0.097
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
AProVE_07/wiehe03 9.169 5.027 2.837 2.876 4.114 0.105
AProVE_07/wiehe05 2.352 0.849 1.105 1.091 1.65 0.064
AProVE_07/wiehe06 4.138 3.399 1.524 1.623 2.01 0.081
AProVE_07/wiehe07 2.854 1.879 2.303 2.358 13.293
AProVE_07/wiehe08 2.724 1.607 1.044 1.037 2.128 0.069
AProVE_07/wiehe09 3.024 1.771 2.894 1.681 1.795 0.074
AProVE_07/wiehe11 7.631 4.47 4.084 3.295 3.745 0.126
AProVE_07/wiehe12 11.705 4.985 2.019 2.0 3.698 0.131
AProVE_08/id_inc 2.522 2.085 2.089 2.088 2.928 0.037
AProVE_08/log 7.689 5.447 3.314 3.312 59.196
AProVE_08/parting01_reverse 2.074 0.599 0.863 0.759 39.429
AProVE_08/parting02_doublelist 3.132 0.68 0.714 0.642 59.202
AProVE_08/parting03_minsort 2.432 0.715 0.945 0.806 35.104
AProVE_08/parting04_maxsort_h 4.533 1.747 1.631 1.441 59.235
AProVE_08/parting05_maxsort 2.499 1.233 1.204 1.16 51.31
AProVE_08/round 0.394 0.276 0.406 0.394 3.055
AProVE_08/round_nonterm 0.361 0.264 0.373 0.363 0.156 0.015
AProVE_08/thiemann40_modified 10.285 6.815 4.402 4.361 0.679 0.029
AProVE_09_Inductive/div 7.823 1.26 1.321 1.234 6.082
AProVE_09_Inductive/divhard 3.491 2.202 1.341 1.32 6.021
AProVE_09_Inductive/gcd 2.85 1.903 1.728 1.64 5.354
AProVE_09_Inductive/gcd2 6.969 5.873 4.86 4.791 7.752
AProVE_09_Inductive/gcdhard 24.236 23.73 10.156 10.147 15.637
AProVE_09_Inductive/log 2.112 1.479 2.097 2.12 59.188
AProVE_09_Inductive/maxsort 2.658 1.3 1.2 1.126 59.218
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
AProVE_09_Inductive/maxsortcondition 3.058 1.902 1.127 1.056 7.64
AProVE_09_Inductive/minsort 3.364 1.528 2.188 2.133 18.617
AProVE_09_Inductive/mod 10.867 9.894 5.989 5.91 10.711
AProVE_09_Inductive/qsort 7.981 5.141 6.533 6.327 36.183
AProVE_09_Inductive/qsortlast 6.993 2.053 6.962 5.723 58.379
AProVE_09_Inductive/qsortmiddle 13.859 2.405 8.446 8.178 59.254
AProVE_09_Inductive/zerolist 1.449 1.149 1.203 1.099 2.421
AotoYamada_05/001 0.12 0.013 0.121 0.013 0.119 0.013 0.119 0.013 0.127 0.013
AotoYamada_05/002 0.451 0.049 0.183 0.037 0.298 0.044 0.183 0.037 0.674 0.046
AotoYamada_05/003 0.131 0.018 0.13 0.017 0.131 0.017 0.131 0.017 0.138 0.017
AotoYamada_05/004 0.511 0.35 0.314 0.036 0.238 0.032 0.673 0.033
AotoYamada_05/005 0.446 0.029 0.469 0.032 0.357 0.029 0.381 0.033 0.341 0.021
AotoYamada_05/006 0.604 0.178 0.032 0.341 0.042 0.179 0.032 0.642 0.05
AotoYamada_05/007 0.56 0.428 0.318 0.044 0.286 0.046 0.773 0.046
AotoYamada_05/009 1.033 0.058 0.212 0.047 0.354 0.055 0.212 0.048 0.75 0.056
AotoYamada_05/010 1.234 1.401 1.048 1.192 6.405
AotoYamada_05/011 0.748 0.905 0.753 0.846 6.77
AotoYamada_05/012 1.075 0.056 0.203 0.043 0.347 0.053 0.205 0.043 0.789 0.052
AotoYamada_05/013 0.702 0.449 0.384 0.053 0.279 0.05 0.833 0.061
AotoYamada_05/014 1.1 0.957 0.395 0.063 0.418 0.066 1.079 0.068
AotoYamada_05/015 0.369 0.175 0.032 0.27 0.036 0.176 0.032 0.76 0.033
AotoYamada_05/016 1.374 0.072 0.319 0.066 0.966 0.087 0.32 0.066 1.031 0.075
AotoYamada_05/017 0.209 0.014 0.218 0.014 0.208 0.015 0.216 0.015 0.171 0.012
AotoYamada_05/019 0.229 0.139 0.031 0.238 0.019 0.138 0.017 0.351 0.019
AotoYamada_05/020 0.782 0.585 0.533 0.045 0.296 0.041 0.853 0.046
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
AotoYamada_05/021 1.943 0.928 0.467 0.07 0.341 0.067 1.077 0.069
AotoYamada_05/022 0.641 0.178 0.036 0.284 0.04 0.177 0.036 0.612 0.036
AotoYamada_05/023 0.246 0.02 0.252 0.02 0.205 0.02 0.212 0.02 0.339 0.02
AotoYamada_05/024 0.406 0.026 0.152 0.021 0.25 0.025 0.152 0.022 0.455 0.023
AotoYamada_05/025 0.153 0.013 0.119 0.011 0.139 0.013 0.12 0.011 0.155 0.012
AotoYamada_05/026 0.369 0.175 0.029 0.561 0.174 0.029 0.533 0.048
AotoYamada_05/027 0.843 0.4 0.344 0.046 0.248 0.044 0.736 0.047
AotoYamada_05/028 0.527 0.037 0.17 0.031 0.269 0.035 0.171 0.031 0.672 0.032
AotoYamada_05/Ex1SimplyTyped 0.376 0.37 0.325 0.035 0.244 0.033 0.654 0.032
AotoYamada_05/Ex5TermProof 1.029 1.115 0.958 1.037 5.692
Applicative_05/BTreeMember 1.144 0.224 0.062 0.353 0.068 0.226 0.062 1.082 0.067
Applicative_05/Ex10Functional 0.957 1.161 1.441 1.748 7.25
Applicative_05/Ex2PrimRec 0.318 0.326 0.499 0.503 5.278
Applicative_05/Ex2_6_1Composition 0.216 0.014 0.121 0.012 0.22 0.014 0.122 0.013 0.175 0.012
Applicative_05/Ex2_8_1ConstSubstFix 0.313 0.321 0.515 0.526 0.158 0.016
Applicative_05/Ex3Lists 0.691 0.488 0.563 0.067 0.437 0.064 0.939 0.079
Applicative_05/Ex4MapList 0.301 0.31 0.231 0.025 0.239 0.025 0.498 0.024
Applicative_05/Ex5Folding 1.108 1.203 0.964 1.058 6.065
Applicative_05/Ex5Sorting 2.004 0.947 1.797 1.845 7.921
Applicative_05/Ex6Folding 0.455 0.463 0.771 0.873 5.277
Applicative_05/Ex6Recursor 0.318 0.327 0.501 0.508 5.527
Applicative_05/Ex6_11 0.296 0.144 0.021 0.21 0.023 0.145 0.021 0.516 0.022
Applicative_05/Ex7OrdinalRec 0.55 0.557 1.052 1.059 6.425
Applicative_05/Ex7Sorting 1.977 0.942 1.823 1.718 7.953
Applicative_05/Ex7_9 2.675 0.728 0.704 0.505 7.633
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Applicative_05/Ex8Polymorphic 0.464 0.191 0.041 0.692 0.192 0.041 0.731 0.041
Applicative_05/Ex9Maps 0.754 0.761 1.418 1.464 16.116
Applicative_05/Hamming 5.972 5.209 0.863 1.785 0.297 0.061
Applicative_05/ReverseLastInit 0.693 0.05 0.525 0.051 0.452 0.046 0.347 0.048 0.886 0.053
Applicative_05/TakeDropWhile 0.47 0.211 0.052 0.354 0.06 0.216 0.052 0.814 0.06
Applicative_05/TreeFlatten 1.15 0.48 0.394 0.059 0.28 0.055 0.966 0.061
Applicative_05/TreeHeight 1.287 0.247 0.06 0.442 0.067 0.235 0.06 1.081 0.067
Applicative_05/TreeLevels 1.773 0.611 0.697 0.108 0.359 0.095 1.326 0.097
Applicative_05/TreeMap 0.652 0.178 0.034 0.406 0.047 0.178 0.034 0.699 0.034
Applicative_05/TreeSize 1.334 0.644 0.377 0.055 0.265 0.051 0.965 0.057
Applicative_05/TypeEx1 0.443 0.452 0.762 0.755 0.675 0.022
Applicative_05/TypeEx3 0.134 0.018 0.135 0.017 0.135 0.018 0.135 0.018 0.142 0.018
Applicative_05/TypeEx5 0.118 0.012 0.117 0.012 0.117 0.012 0.118 0.012 0.126 0.012
Applicative_05/mapDivMinus 1.107 0.502 0.595 0.461 4.218
Applicative_05/mapDivMinusHard 1.171 0.93 9.859 9.823 4.635
Applicative_05/nonTermF 0.445 0.453 0.748 0.759 0.166 0.022
Applicative_05/termMonTypes 0.289 0.467 0.428 0.73 0.154 0.015
Applicative_first_order_05/#3.10 8.39 3.924 4.249 2.556 9.957
Applicative_first_order_05/#3.13 5.434 3.109 3.949 2.596 11.281
Applicative_first_order_05/#3.16 1.743 0.686 0.998 0.099 0.355 0.089 1.345 0.088
Applicative_first_order_05/#3.18 2.543 0.848 1.4 0.711 5.685
Applicative_first_order_05/#3.2 1.701 0.748 1.233 0.524 4.005
Applicative_first_order_05/#3.22 2.099 0.884 5.436 4.8 2.64 0.138
Applicative_first_order_05/#3.25 1.018 0.625 0.584 0.454 3.097
Applicative_first_order_05/#3.27 0.998 0.231 0.064 0.449 0.067 0.236 0.066 0.978 0.09
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Applicative_first_order_05/#3.32 0.611 0.219 0.061 0.551 0.075 0.222 0.062 0.864 0.088
Applicative_first_order_05/#3.36 1.691 0.716 1.286 0.616 4.369
Applicative_first_order_05/#3.38 2.06 0.812 1.105 0.922 6.165
Applicative_first_order_05/#3.40 3.207 1.79 60.0 60.0 5.856
Applicative_first_order_05/#3.45 2.325 0.772 0.08 0.62 0.083 0.445 0.077 1.409 0.078
Applicative_first_order_05/#3.48 2.39 0.319 0.103 1.154 0.112 0.322 0.102 1.59 0.146
Applicative_first_order_05/#3.52 3.406 0.265 0.084 0.526 0.088 0.27 0.086 1.129 0.084
Applicative_first_order_05/#3.55 8.696 3.554 11.499 9.471 7.303
Applicative_first_order_05/#3.57 5.895 5.055 5.047 4.003 7.885
Applicative_first_order_05/#3.6 2.859 0.97 1.779 0.947 6.217
Applicative_first_order_05/#3.8 2.638 1.553 1.852 1.102 10.0
Applicative_first_order_05/01 0.675 0.257 0.071 0.739 0.076 0.261 0.072 1.114 0.072
Applicative_first_order_05/02 0.665 0.251 0.067 0.721 0.074 0.252 0.067 1.002 0.067
Applicative_first_order_05/06 1.004 0.245 0.069 0.42 0.07 0.249 0.069 1.059 0.096
Applicative_first_order_05/08 1.463 0.334 0.101 0.574 0.103 0.336 0.099 1.367 0.101
Applicative_first_order_05/11 2.802 0.73 0.2 1.047 0.206 0.751 0.2 2.498 0.201
Applicative_first_order_05/12 1.772 0.807 1.057 0.119 0.471 0.109 1.583 0.127
Applicative_first_order_05/13 2.039 1.61 1.125 1.026 6.107
Applicative_first_order_05/17 1.736 0.717 1.18 0.116 0.513 0.101 1.441 0.103
Applicative_first_order_05/18 1.055 0.248 0.069 0.439 0.073 0.249 0.069 1.068 0.097
Applicative_first_order_05/21 2.268 1.326 1.148 0.107 0.559 0.101 1.526 0.1
Applicative_first_order_05/29 1.846 1.282 1.173 1.065 1.335 0.086
Applicative_first_order_05/30 2.237 1.656 1.865 1.735 1.52 0.157
Applicative_first_order_05/31 1.826 1.225 1.314 1.184 6.741
Applicative_first_order_05/33 8.513 6.056 7.483 6.958 59.306
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Applicative_first_order_05/hydra 1.439 0.873 1.2 0.104 0.555 0.099 1.491 0.099
Applicative_first_order_05/minsort 5.105 1.173 2.605 1.274 7.811
Applicative_first_order_05/motivation 1.22 0.693 0.077 0.536 0.077 0.406 0.078 1.127 0.103
Applicative_first_order_05/perfect 7.08 6.096 3.219 2.258 2.688 0.169
Applicative_first_order_05/perfect2 4.166 1.378 5.327 4.097 59.339
Beerendonk_07/1 0.476 0.402 0.43 0.426 0.463 0.023
Beerendonk_07/10 11.065 10.518 5.485 5.485 1.314 0.051
Beerendonk_07/11 8.063 7.763 4.007 3.965 13.464
Beerendonk_07/12 4.521 4.363 3.63 3.641 21.122
Beerendonk_07/13 4.182 4.099 2.985 3.008 13.548
Beerendonk_07/14 1.856 1.552 0.547 0.526 3.673
Beerendonk_07/15 21.512 21.099 14.48 14.434 54.122
Beerendonk_07/16 35.076 34.529 24.518 24.499 51.862
Beerendonk_07/17 30.611 29.735 36.485 36.421 59.222
Beerendonk_07/18 32.116 31.73 21.444 21.383 59.223
Beerendonk_07/19 53.86 53.384 33.098 33.193 59.229
Beerendonk_07/2 0.617 0.526 0.507 0.502 0.505 0.023
Beerendonk_07/20 7.971 7.322 5.799 5.805 31.611
Beerendonk_07/21 10.499 9.901 8.666 8.68 27.639
Beerendonk_07/22 3.562 3.442 2.02 2.041 0.82 0.042
Beerendonk_07/23 3.614 3.536 3.244 3.226 0.781 0.045
Beerendonk_07/24 60.0 60.0 60.0 60.0 59.233
Beerendonk_07/3 0.673 0.461 0.497 0.488 3.555
Beerendonk_07/4 0.378 0.321 0.34 0.334 1.816
Beerendonk_07/5 0.916 0.697 0.827 0.821 0.841 0.032
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Beerendonk_07/6 0.527 0.439 0.418 0.408 0.513 0.021
Beerendonk_07/7 0.555 0.438 0.54 0.512 0.615 0.024
Beerendonk_07/8 1.279 1.133 1.015 1.017 0.74 0.031
Beerendonk_07/9 1.192 0.999 1.083 1.095 0.789 0.032
Bouchare_06/01 0.547 0.554 0.746 0.752 1.362 0.026
Bouchare_06/02 0.491 0.522 0.577 0.591 0.74 0.022
Bouchare_06/03 0.368 0.377 0.612 0.619 10.814 0.025
Bouchare_06/04 0.703 0.725 1.015 1.154 1.871 0.043
Bouchare_06/05 0.405 0.411 0.603 0.61 1.958 0.038
Bouchare_06/06 3.638 3.615 3.401 3.407 2.161 0.027
Bouchare_06/07 0.975 0.986 1.254 1.259 1.515 0.033
Bouchare_06/08 0.79 0.83 1.095 1.097 0.191 0.017
Bouchare_06/09 0.347 0.354 0.57 0.58 0.225 0.018
Bouchare_06/10 0.671 0.673 1.198 1.207 11.962 0.049
Bouchare_06/11 0.296 0.304 0.427 0.434 1.591 0.027
Bouchare_06/12 0.258 0.268 0.39 0.399 11.721 0.04
Bouchare_06/13 0.619 0.627 0.792 0.796 1.019 0.025
Bouchare_06/14 0.296 0.304 0.45 0.46 40.14
Bouchare_06/15 0.396 0.403 0.591 0.596 1.502 0.027
Bouchare_06/16 0.278 0.284 0.46 0.467 1.039 0.026
Bouchare_06/17 0.327 0.344 0.511 0.559 1.622 0.035
Bouchare_06/18 0.579 0.591 0.776 0.787 1.616 0.029
CiME_04/ack_prolog 0.522 0.035 0.15 0.025 0.381 0.03 0.15 0.025 0.426 0.025
CiME_04/append-hard 0.261 0.27 0.285 0.307 0.489 0.024
CiME_04/append-wrong 0.307 0.317 1.769 1.764 0.194 0.019
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
CiME_04/append 0.214 0.022 0.137 0.016 0.15 0.019 0.137 0.017 0.342 0.016
CiME_04/big 20.575 6.719 3.237 0.26 2.26 0.227 4.746 1.176
CiME_04/boolean_rings 0.29 0.036 0.158 0.03 0.173 0.031 0.157 0.03 0.371 0.03
CiME_04/dpqs 0.131 0.017 0.15 0.02 0.131 0.018 0.151 0.02 3.285 0.025
CiME_04/fact-hard 1.779 0.797 0.963 0.929 59.196
CiME_04/filliatre 3.222 0.056 3.238 0.056 3.29 0.067 3.337 0.067 1.729 0.102
CiME_04/filliatre2 4.098 0.081 4.101 0.081 4.189 0.092 4.187 0.092 0.978 0.078
CiME_04/filliatre3 8.799 0.099 8.453 0.095 34.104 0.121 33.968 0.121 3.354 0.114
CiME_04/intersect 4.835 2.468 0.596 0.07 0.443 0.063 0.963 0.993
CiME_04/list-sum-prod-assoc-append 2.492 0.226 0.048 1.114 0.074 0.229 0.048 0.95 0.049
CiME_04/list-sum-prod-assoc 1.49 0.192 0.034 1.055 0.059 0.191 0.034 0.73 0.034
CiME_04/list-sum-prod-bin-assoc-distr-app 4.321 0.874 1.837 0.117 0.982 0.089 2.21 0.1
CiME_04/list-sum-prod-bin-assoc 2.146 0.814 1.511 0.094 0.832 0.068 1.916 0.077
CiME_04/list-sum-prod-bin 1.648 0.683 0.783 0.066 0.65 0.058 1.587 0.058
CiME_04/list-sum-prod 1.191 0.164 0.027 0.219 0.033 0.166 0.027 0.645 0.027
CiME_04/log2 7.651 3.656 0.108 1.776 0.122 1.567 0.111 5.219 0.196
CiME_04/lse 2.143 1.023 2.684 0.167 2.059 0.131 1.533 0.087
CiME_04/maude2 41.375 14.579 5.057 5.058 19.748
CiME_04/mucrl1 60.0 1.731 0.524 1.774 0.56 1.734 0.528 4.801 0.528
CiME_04/ternary-hard 3.396 1.125 3.937 0.13 1.032 0.099 2.103 0.097
CiME_04/ternary 2.567 1.049 2.975 0.11 0.952 0.084 1.884 0.082
CiME_04/tree 22.431 0.259 10.429 0.191 1.865 0.173 1.68 0.152 4.57 0.174
Der95/01 0.133 0.016 0.133 0.016 0.133 0.016 0.133 0.016 0.25 0.023
Der95/02 0.127 0.014 0.126 0.014 0.127 0.014 0.128 0.014 0.262 0.023
Der95/03 0.115 0.01 0.115 0.01 0.115 0.01 0.115 0.01 0.181 0.011
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Der95/04 0.192 0.014 0.122 0.013 0.199 0.016 0.124 0.013 0.21 0.014
Der95/06 0.206 0.013 0.122 0.012 0.132 0.013 0.123 0.012 0.248 0.014
Der95/07 0.281 0.02 0.133 0.016 0.161 0.018 0.133 0.015 0.275 0.018
Der95/08 0.565 0.135 0.017 0.22 0.024 0.136 0.017 0.986 0.017
Der95/09 0.241 0.016 0.12 0.012 0.191 0.013 0.121 0.012 0.159 0.012
Der95/11 1.387 0.161 0.028 0.444 0.053 0.163 0.028 2.588 0.028
Der95/12 0.511 0.346 0.224 0.028 0.202 0.026 0.515 0.062
Der95/13 0.508 0.367 0.613 0.572 5.467
Der95/17 0.458 0.03 0.152 0.022 0.313 0.03 0.151 0.022 0.339 0.024
Der95/18 0.19 0.014 0.122 0.012 0.136 0.014 0.122 0.012 0.23 0.012
Der95/20 0.368 0.022 0.376 0.022 0.367 0.025 0.378 0.025 0.972 0.031
Der95/21 0.645 0.411 0.291 0.027 0.282 0.025 0.846 0.026
Der95/27 0.162 0.016 0.125 0.013 0.137 0.015 0.126 0.013 0.188 0.016
Der95/28 0.245 0.123 0.014 0.266 0.016 0.125 0.014 0.251 0.014
Der95/30 0.353 0.363 0.59 0.598 0.493 0.018
Der95/31 0.321 0.151 0.02 0.35 0.025 0.151 0.02 0.466 0.028
Der95/32 0.704 0.047 0.161 0.029 0.259 0.037 0.162 0.029 0.432 0.028
Der95/33 5.395 3.958 3.235 3.036 59.244
Endrullis_06/direct 3.455 3.473 4.878 4.97 3.518 0.027
Endrullis_06/labeling 0.206 0.215 0.28 0.286 2.751
Endrullis_06/linear1 0.769 0.717 0.965 0.994 1.375 0.039
Endrullis_06/linear2 6.361 6.414 6.899 7.855 4.173 0.062
Endrullis_06/pair2hard 0.991 0.93 1.051 0.991 2.211 0.039
Endrullis_06/pair2simple1 35.232 35.533 39.99 39.811 1.088 0.025
Endrullis_06/pair2simple2 0.946 0.944 0.991 0.996 28.615
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Endrullis_06/pair3hard 0.645 0.559 0.665 0.667 59.17
Endrullis_06/pair3rotate 4.295 4.34 14.165 14.164 4.293 0.03
Endrullis_06/pair3swap 2.637 2.638 4.122 4.15 4.118 0.034
Endrullis_06/quadruple1 26.187 39.058 31.269 31.262 3.46 0.029
Endrullis_06/quadruple2 5.565 5.599 4.896 4.881 3.878 0.048
GTSSK07/cade01 0.728 0.412 0.36 0.358 3.689
GTSSK07/cade03 0.642 0.378 0.361 0.357 3.673
GTSSK07/cade04t 0.379 0.281 0.292 0.288 2.704
GTSSK07/cade05t 2.375 0.963 0.968 0.947 51.742
GTSSK07/cade06 0.879 0.598 0.684 0.666 5.272
GTSSK07/cade07 2.657 2.507 2.283 2.302 4.902
GTSSK07/cade08 0.953 0.812 0.716 0.706 5.184
GTSSK07/cade09 5.287 4.932 5.614 5.554 59.211
GTSSK07/cade10 3.092 2.813 2.612 2.577 59.184
GTSSK07/cade11 1.001 0.901 0.583 0.574 4.924
GTSSK07/cade12t 21.511 20.652 35.808 35.779 59.206
GTSSK07/cade13t 3.016 0.802 0.657 0.64 4.332
GTSSK07/cade14 5.184 2.08 1.74 1.708 6.697
GTSSK07/cade15 4.457 1.746 1.612 1.586 28.681
GTSSK07/cade16 1.001 0.705 0.718 0.702 5.868
GTSSK07/cade17 60.0 60.0 60.0 60.0 59.252
Gebhardt_06/01 0.943 0.946 1.23 1.249 60.0
Gebhardt_06/02 0.762 0.775 1.072 1.096 60.0
Gebhardt_06/03 1.045 1.051 1.355 1.362 60.0
Gebhardt_06/04 1.053 1.059 1.337 1.345 60.0
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Gebhardt_06/05 1.113 1.119 1.565 1.566 60.0
Gebhardt_06/06 1.107 1.089 1.373 1.376 60.0
Gebhardt_06/07 1.493 1.49 1.402 1.408 60.0
Gebhardt_06/08 1.872 1.871 1.539 1.549 60.0
Gebhardt_06/09 0.953 0.964 1.208 1.215 60.0
Gebhardt_06/10 1.273 1.275 1.591 1.605 60.0
Gebhardt_06/11 1.444 1.447 1.722 1.734 60.0
Gebhardt_06/12 1.102 1.062 1.364 1.378 60.0
Gebhardt_06/13 1.08 1.089 1.448 1.454 60.0
Gebhardt_06/14 0.842 0.854 1.139 1.152 60.0
Gebhardt_06/15 1.174 1.245 1.47 1.588 60.0
Gebhardt_06/16 1.392 1.412 1.721 1.707 60.0
Gebhardt_06/17 1.069 1.103 1.4 1.412 60.0
Gebhardt_06/18 0.9 0.922 1.236 1.249 60.0
Gebhardt_06/19 2.499 2.486 3.063 3.07 60.0
Gebhardt_06/20 1.852 1.86 2.847 2.862 60.0
HirokawaMiddeldorp_04/n002 0.115 0.011 0.126 0.01 0.114 0.011 0.115 0.01 0.122 0.01
HirokawaMiddeldorp_04/n003 0.114 0.011 0.115 0.011 0.114 0.011 0.114 0.01 0.121 0.011
HirokawaMiddeldorp_04/n004 0.114 0.011 0.114 0.01 0.114 0.011 0.114 0.011 0.122 0.011
HirokawaMiddeldorp_04/n005 0.114 0.011 0.115 0.011 0.115 0.011 0.116 0.011 0.122 0.011
HirokawaMiddeldorp_04/n006 0.115 0.011 0.115 0.011 0.115 0.011 0.115 0.011 0.122 0.011
HirokawaMiddeldorp_04/n007 0.117 0.012 0.117 0.012 0.117 0.012 0.117 0.012 0.124 0.012
HirokawaMiddeldorp_04/n008 0.116 0.011 0.116 0.011 0.115 0.011 0.115 0.011 0.125 0.011
HirokawaMiddeldorp_04/t000 1.226 0.159 1.478 0.16 1.14 0.243 1.315 0.239 1.429 0.169
HirokawaMiddeldorp_04/t001 3.666 1.933 0.814 0.782 1.231 0.052
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
HirokawaMiddeldorp_04/t002 0.893 0.463 0.815 0.796 1.945
HirokawaMiddeldorp_04/t003 1.666 0.065 0.579 0.048 0.379 0.051 0.277 0.043 0.839 0.041
HirokawaMiddeldorp_04/t004 0.304 0.311 0.571 0.58 0.586 0.018
HirokawaMiddeldorp_04/t005 5.641 3.153 1.652 0.431 2.043 0.477 4.212 0.477
HirokawaMiddeldorp_04/t006 0.191 0.014 0.166 0.012 0.154 0.014 0.121 0.012 0.163 0.013
HirokawaMiddeldorp_04/t007 0.122 0.013 0.135 0.014 0.121 0.013 0.134 0.014 1.676 0.016
HirokawaMiddeldorp_04/t008 0.873 0.419 0.487 0.026 0.483 0.025 1.789 0.025
HirokawaMiddeldorp_04/t009 60.0 60.0 60.0 60.0 23.176 1.044
HirokawaMiddeldorp_04/t010 0.12 0.013 0.137 0.013 0.12 0.013 0.128 0.013 0.208 0.017
HirokawaMiddeldorp_04/t011 0.192 0.017 0.127 0.014 0.149 0.015 0.126 0.013 0.194 0.016
HirokawaMiddeldorp_04/t012 0.634 0.038 0.472 0.034 0.435 0.038 0.438 0.036 1.141 0.046
HirokawaMiddeldorp_04/t013 0.6 0.035 0.487 0.031 0.543 0.037 0.539 0.036 0.496 0.03
HirokawaMiddeldorp_04/t014 0.833 0.045 0.421 0.032 0.265 0.032 0.246 0.029 1.039 0.029
Mixed_CTRS/quick 4.794 0.096 2.143 0.064 0.561 0.07 0.553 0.066 1.068 0.065
Mixed_SRS/01-oppelt08 3.597 2.786 4.232 4.349 60.0
Mixed_SRS/01 0.823 0.846 0.985 0.992 60.0
Mixed_SRS/02-oppelt08 1.029 1.036 1.375 1.39 60.0
Mixed_SRS/02 1.817 1.828 3.262 3.288 59.223
Mixed_SRS/03-oppelt08 1.753 1.747 1.694 1.689 60.0
Mixed_SRS/03 0.796 0.805 1.11 1.127 60.0
Mixed_SRS/04-oppelt08 1.058 1.12 1.395 1.42 60.0
Mixed_SRS/04 0.735 0.748 0.952 0.959 60.0
Mixed_SRS/05-oppelt08 5.179 4.919 6.724 6.705 60.0
Mixed_SRS/05 0.528 0.534 0.879 0.89 5.563 0.06
Mixed_SRS/06-oppelt08 0.574 0.509 0.597 0.601 60.0
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Mixed_SRS/06 0.413 0.421 0.645 0.663 1.975 0.043
Mixed_SRS/07-oppelt08 3.862 3.594 4.951 4.975 60.0
Mixed_SRS/07 0.286 0.289 0.449 0.454 11.105 0.024
Mixed_SRS/08-oppelt08 10.153 10.03 8.89 8.918 60.0
Mixed_SRS/08 0.807 0.817 1.059 1.072 60.0
Mixed_SRS/09 0.727 0.734 1.376 1.386 10.986 0.034
Mixed_SRS/1 0.339 0.344 0.436 0.445 32.996 0.025
Mixed_SRS/2 0.61 0.619 0.853 0.794 60.0
Mixed_SRS/3 0.489 0.497 0.766 0.768 0.829 0.024
Mixed_SRS/4 1.044 1.052 1.906 1.913 60.0
Mixed_SRS/s6 8.919 0.169 0.302 0.111 0.378 0.119 0.301 0.113 2.498 0.112
Mixed_SRS/touzet 0.315 0.324 0.495 0.502 0.782 0.022
Mixed_SRS/turing_add 1.098 0.041 0.603 0.034 0.602 0.04 0.755 0.036 0.786 0.034
Mixed_SRS/turing_copy 0.207 0.049 0.208 0.048 0.208 0.049 0.207 0.049 0.214 0.048
Mixed_SRS/turing_mult 60.0 60.0 60.0 60.0 0.302 0.059
Mixed_TRS/1 0.36 0.367 0.658 0.671 0.501 0.02
Mixed_TRS/2 0.236 0.247 0.329 0.335 0.495 0.023
Mixed_TRS/3 0.323 0.333 0.364 0.371 0.427 0.017
Mixed_TRS/4 0.39 0.389 0.672 0.677 0.454 0.019
Mixed_TRS/5 0.266 0.272 0.283 0.289 0.332 0.016
Mixed_TRS/6 0.374 0.382 0.492 0.507 8.022
Mixed_TRS/7 0.294 0.303 0.462 0.471 8.505
Mixed_TRS/Ex1_Luc04b_GM 7.891 7.914 8.082 0.138 8.194 0.132 4.822 0.118
Mixed_TRS/beans 2.918 3.291 6.218 5.965 59.229
Mixed_TRS/gcd 1.287 0.05 0.503 0.034 0.561 0.04 0.533 0.036 1.195 0.036
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Mixed_TRS/gcdMinMax 5.485 2.633 2.515 2.483 6.879
Mixed_TRS/gcd_triple 2.019 0.07 1.057 0.055 1.422 0.062 1.378 0.059 2.963 0.058
Mixed_TRS/hydra-Zantema06 2.496 1.794 1.942 1.904 59.201
Mixed_TRS/hydra 0.295 0.024 0.15 0.019 0.249 0.023 0.151 0.019 0.459 0.02
Mixed_TRS/jones1 0.203 0.017 0.126 0.015 0.156 0.016 0.128 0.014 0.21 0.019
Mixed_TRS/jones2 0.245 0.019 0.129 0.015 0.183 0.018 0.13 0.015 0.224 0.019
Mixed_TRS/jones4 0.199 0.016 0.207 0.017 0.158 0.016 0.165 0.016 0.205 0.017
Mixed_TRS/jones5 0.213 0.016 0.218 0.016 0.164 0.015 0.174 0.015 0.195 0.016
Mixed_TRS/jones6 0.339 0.024 0.136 0.017 0.2 0.021 0.137 0.017 0.322 0.026
Mixed_TRS/minsort 2.202 0.598 0.891 0.95 7.183
Mixed_TRS/motivation 0.245 0.018 0.258 0.018 0.244 0.018 0.255 0.019 0.411 0.018
Mixed_TRS/perfect 0.466 0.031 0.169 0.025 0.223 0.028 0.168 0.025 0.535 0.026
Mixed_TRS/perfect2 1.763 0.068 0.566 0.05 0.402 0.053 0.289 0.048 0.814 0.045
Mixed_TRS/test1 0.202 0.015 0.209 0.015 0.163 0.015 0.172 0.015 0.171 0.013
Mixed_TRS/while 0.424 0.364 0.378 0.371 3.244
Mixed_TRS/while2 0.355 0.363 0.527 0.534 59.193
Rubio_04/aoto 0.317 0.326 0.164 0.017 0.171 0.017 0.471 0.017
Rubio_04/bintrees 0.413 0.028 0.317 0.024 0.247 0.025 0.251 0.025 0.329 0.024
Rubio_04/bn122 0.359 0.026 0.217 0.02 0.212 0.02 0.153 0.018 0.207 0.016
Rubio_04/bn129 0.461 0.024 0.332 0.022 0.487 0.025 0.335 0.024 0.906 0.024
Rubio_04/division 1.132 0.048 0.536 0.034 0.465 0.045 0.343 0.035 0.915 0.032
Rubio_04/elimdupl 1.173 0.05 0.578 0.035 0.438 0.047 0.34 0.037 0.627 0.034
Rubio_04/enno 5.127 0.089 2.236 0.054 0.651 0.059 0.641 0.055 1.408 0.055
Rubio_04/gcd 1.18 0.06 0.84 0.05 0.377 0.045 0.37 0.04 0.881 0.048
Rubio_04/gm 0.413 0.026 0.304 0.023 0.242 0.024 0.236 0.023 0.494 0.022
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Rubio_04/gmnp 0.248 0.023 0.153 0.021 0.148 0.021 0.165 0.021 3.332 0.028
Rubio_04/koen 0.253 0.021 0.139 0.015 0.179 0.018 0.139 0.015 0.232 0.02
Rubio_04/lescanne 0.285 0.018 0.298 0.018 0.388 0.024 0.307 0.022 0.189 0.014
Rubio_04/lindau 0.421 0.148 0.021 0.16 0.022 0.147 0.021 0.619 0.022
Rubio_04/logarquot 0.965 0.034 0.672 0.03 0.406 0.031 0.402 0.03 0.804 0.029
Rubio_04/ma96 4.586 2.995 0.083 2.73 0.107 2.604 0.096 1.609 0.073
Rubio_04/mfp90b 0.19 0.017 0.197 0.017 0.157 0.017 0.167 0.017 0.187 0.015
Rubio_04/mfp95 0.12 0.012 0.127 0.012 0.119 0.012 0.127 0.012 0.182 0.013
Rubio_04/nestrec 0.212 0.015 0.219 0.015 0.216 0.015 0.223 0.015 0.44 0.015
Rubio_04/p266 0.125 0.015 0.134 0.016 0.129 0.015 0.133 0.016 0.585 0.018
Rubio_04/polo2 1.059 0.163 0.028 0.441 0.054 0.163 0.028 1.608 0.028
Rubio_04/prov 0.222 0.02 0.133 0.017 0.147 0.018 0.134 0.016 0.292 0.016
Rubio_04/quick 20.927 9.832 0.732 0.07 0.554 0.062 2.322 0.058
Rubio_04/quotminus 0.931 0.043 0.38 0.028 0.373 0.031 0.302 0.028 0.614 0.027
Rubio_04/revlist 0.736 0.032 0.541 0.029 0.51 0.032 0.509 0.03 0.798 0.029
Rubio_04/selsort 7.189 3.87 0.086 2.972 0.103 2.691 0.095 3.607 0.071
Rubio_04/test4 0.351 0.024 0.285 0.022 0.222 0.023 0.221 0.021 3.361 0.022
Rubio_04/test829 0.263 0.018 0.273 0.018 0.2 0.017 0.209 0.017 0.261 0.017
Rubio_04/wst99 3.256 0.109 3.416 0.109 2.61 0.115 2.664 0.117 3.729 0.059
SK90/2.01 0.455 0.032 0.153 0.023 0.314 0.031 0.153 0.023 0.442 0.029
SK90/2.02 0.656 0.025 0.421 0.02 0.681 0.028 0.418 0.025 0.256 0.017
SK90/2.03 0.216 0.016 0.125 0.014 0.151 0.016 0.124 0.014 0.229 0.016
SK90/2.04 0.272 0.019 0.132 0.015 0.27 0.022 0.132 0.016 0.207 0.015
SK90/2.05 2.001 2.01 3.292 3.296 0.159 0.018
SK90/2.06 0.379 0.021 0.134 0.017 0.582 0.027 0.133 0.017 0.232 0.016
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
SK90/2.07 0.268 0.137 0.018 0.408 0.026 0.136 0.017 0.361 0.017
SK90/2.08 0.739 0.039 0.185 0.028 0.3 0.032 0.184 0.028 0.62 0.031
SK90/2.09 0.244 0.018 0.125 0.013 0.146 0.015 0.124 0.013 0.207 0.016
SK90/2.10 0.511 0.029 0.148 0.022 0.693 0.035 0.148 0.022 0.335 0.022
SK90/2.11 0.267 0.021 0.15 0.016 0.161 0.019 0.133 0.016 0.218 0.018
SK90/2.12 0.819 0.163 0.026 0.242 0.036 0.164 0.026 0.468 0.025
SK90/2.13 0.332 0.024 0.143 0.019 0.183 0.022 0.144 0.019 0.278 0.022
SK90/2.14 0.574 0.033 0.147 0.021 0.204 0.023 0.148 0.032 0.567 0.037
SK90/2.15 0.223 0.018 0.132 0.015 0.14 0.016 0.13 0.015 0.418 0.015
SK90/2.16 0.507 0.151 0.022 0.248 0.026 0.151 0.022 0.462 0.022
SK90/2.17 0.338 0.021 0.131 0.015 0.152 0.018 0.133 0.015 0.461 0.016
SK90/2.18 0.283 0.132 0.016 0.155 0.018 0.134 0.016 0.28 0.016
SK90/2.19 0.849 0.151 0.022 0.177 0.025 0.15 0.022 0.458 0.022
SK90/2.20 0.252 0.02 0.132 0.015 0.143 0.017 0.133 0.016 0.354 0.024
SK90/2.21 0.236 0.017 0.13 0.015 0.151 0.015 0.131 0.015 0.301 0.015
SK90/2.22 0.469 0.032 0.146 0.02 0.184 0.024 0.145 0.02 0.34 0.02
SK90/2.23 0.761 0.162 0.027 0.29 0.032 0.165 0.027 0.424 0.026
SK90/2.24 0.254 0.016 0.125 0.014 0.163 0.014 0.181 0.013 0.255 0.018
SK90/2.25 0.492 0.137 0.019 0.192 0.021 0.137 0.019 0.4 0.019
SK90/2.26 1.287 0.182 0.037 0.202 0.04 0.179 0.037 0.936 0.037
SK90/2.27 1.001 0.157 0.026 0.177 0.03 0.158 0.026 0.649 0.027
SK90/2.28 0.341 0.018 0.123 0.013 0.227 0.015 0.122 0.013 0.177 0.013
SK90/2.29 0.41 0.027 0.144 0.021 0.19 0.023 0.145 0.021 0.627 0.021
SK90/2.30 0.127 0.014 0.127 0.014 0.127 0.015 0.126 0.014 0.293 0.029
SK90/2.31 0.319 0.025 0.142 0.019 0.185 0.022 0.144 0.019 0.342 0.028
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
SK90/2.32 0.148 0.025 0.144 0.025 0.145 0.025 0.144 0.025 0.293 0.03
SK90/2.33 0.257 0.022 0.141 0.02 0.17 0.021 0.139 0.02 0.265 0.019
SK90/2.34 0.28 0.02 0.132 0.016 0.271 0.019 0.132 0.016 0.313 0.022
SK90/2.35 0.247 0.021 0.266 0.022 0.182 0.022 0.193 0.021 0.289 0.022
SK90/2.36 0.266 0.021 0.276 0.021 0.185 0.02 0.195 0.019 0.177 0.016
SK90/2.37 0.23 0.016 0.236 0.016 0.182 0.015 0.191 0.015 0.177 0.014
SK90/2.38 0.24 0.018 0.129 0.014 0.324 0.021 0.128 0.015 0.245 0.018
SK90/2.39 0.387 0.029 0.144 0.02 0.159 0.022 0.144 0.02 0.601 0.046
SK90/2.40 0.252 0.023 0.138 0.018 0.152 0.019 0.138 0.018 0.312 0.018
SK90/2.41 0.511 0.031 0.148 0.019 0.185 0.024 0.147 0.019 0.365 0.03
SK90/2.42 1.002 0.05 0.175 0.032 0.354 0.042 0.175 0.032 0.537 0.037
SK90/2.43 0.845 0.044 0.158 0.025 0.209 0.029 0.158 0.025 0.726 0.025
SK90/2.44 0.484 0.034 0.496 0.035 0.35 0.034 0.364 0.034 0.942 0.032
SK90/2.45 0.567 0.026 0.143 0.019 0.241 0.022 0.143 0.019 0.958 0.02
SK90/2.46 0.261 0.017 0.281 0.016 0.274 0.017 0.284 0.017 0.212 0.013
SK90/2.47 0.157 0.014 0.122 0.012 0.13 0.013 0.122 0.012 0.213 0.014
SK90/2.48 0.126 0.015 0.126 0.014 0.127 0.015 0.126 0.014 0.342 0.028
SK90/2.49 0.667 0.031 0.152 0.024 0.209 0.026 0.153 0.024 0.439 0.025
SK90/2.50 0.168 0.013 0.12 0.012 0.13 0.013 0.119 0.011 0.19 0.013
SK90/2.51 0.412 0.133 0.016 0.29 0.02 0.142 0.016 0.295 0.016
SK90/2.52 1.812 0.187 0.041 1.008 0.06 0.185 0.042 0.564 0.041
SK90/2.53 0.193 0.018 0.13 0.015 0.144 0.017 0.13 0.015 0.191 0.017
SK90/2.54 0.164 0.014 0.127 0.012 0.142 0.014 0.122 0.012 0.185 0.015
SK90/2.55 0.174 0.015 0.122 0.012 0.142 0.014 0.122 0.012 0.19 0.016
SK90/2.56 0.124 0.015 0.134 0.015 0.125 0.015 0.133 0.015 0.183 0.016
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
SK90/2.57 0.124 0.015 0.13 0.015 0.123 0.015 0.131 0.016 0.219 0.014
SK90/2.58 0.125 0.015 0.137 0.016 0.125 0.015 0.135 0.016 0.262 0.026
SK90/2.59 0.164 0.014 0.12 0.012 0.135 0.014 0.123 0.012 0.267 0.012
SK90/2.60 0.126 0.016 0.134 0.015 0.127 0.015 0.134 0.015 0.224 0.016
SK90/2.61 0.885 0.046 0.168 0.03 0.331 0.036 0.168 0.03 0.45 0.035
SK90/4.01 0.126 0.016 0.125 0.016 0.127 0.016 0.125 0.016 0.236 0.015
SK90/4.02 0.878 0.657 1.082 1.076 7.084
SK90/4.03 0.416 0.159 0.025 0.202 0.029 0.158 0.025 0.446 0.025
SK90/4.04 0.256 0.021 0.137 0.018 0.204 0.02 0.138 0.018 0.208 0.015
SK90/4.05 0.231 0.134 0.017 0.161 0.018 0.134 0.017 0.291 0.017
SK90/4.06 0.586 0.429 0.534 0.354 0.162 0.017
SK90/4.07 0.271 0.02 0.127 0.014 0.209 0.016 0.127 0.014 0.279 0.021
SK90/4.08 0.248 0.017 0.132 0.013 0.193 0.014 0.123 0.013 0.164 0.013
SK90/4.09 0.437 0.161 0.025 0.261 0.028 0.16 0.025 0.362 0.025
SK90/4.10 0.43 0.137 0.018 0.229 0.024 0.136 0.019 0.324 0.019
SK90/4.11 0.244 0.02 0.133 0.016 0.16 0.02 0.135 0.016 0.207 0.017
SK90/4.12 0.24 0.018 0.249 0.017 0.186 0.018 0.196 0.019 0.254 0.017
SK90/4.13 0.366 0.373 0.267 0.02 0.273 0.02 0.562 0.02
SK90/4.14 0.99 0.177 0.032 0.256 0.043 0.177 0.032 0.506 0.032
SK90/4.15 0.165 0.017 0.126 0.014 0.137 0.016 0.128 0.014 0.194 0.016
SK90/4.16 0.435 0.027 0.136 0.018 0.186 0.021 0.136 0.018 0.379 0.027
SK90/4.17 0.582 0.443 0.81 0.792 1.062 0.023
SK90/4.18 0.129 0.016 0.137 0.016 0.129 0.016 0.136 0.016 0.399 0.016
SK90/4.19 0.283 0.017 0.292 0.017 0.285 0.017 0.29 0.017 0.208 0.014
SK90/4.20 0.271 0.032 0.152 0.027 0.165 0.03 0.153 0.027 0.352 0.027
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
SK90/4.21 0.393 0.153 0.025 0.219 0.031 0.156 0.025 0.385 0.025
SK90/4.22 0.499 0.145 0.021 0.192 0.024 0.144 0.021 0.524 0.021
SK90/4.23 0.265 0.138 0.019 0.279 0.021 0.137 0.018 0.298 0.018
SK90/4.24 0.543 0.404 0.619 0.029 0.628 0.028 0.756 0.028
SK90/4.25 0.209 0.017 0.126 0.014 0.149 0.016 0.127 0.015 0.259 0.021
SK90/4.26 0.7 0.041 0.153 0.023 0.29 0.031 0.154 0.023 0.456 0.034
SK90/4.27 2.419 0.156 0.023 0.208 0.026 0.153 0.023 2.418 0.032
SK90/4.28 1.801 0.061 0.178 0.029 0.296 0.034 0.179 0.029 0.768 0.029
SK90/4.29 0.255 0.022 0.139 0.018 0.173 0.021 0.138 0.018 0.352 0.025
SK90/4.30 3.563 3.496 0.501 0.029 0.515 0.029 2.187 0.035
SK90/4.31 0.592 0.026 0.375 0.023 0.283 0.024 0.284 0.023 0.929 0.021
SK90/4.32 0.581 0.593 1.679 0.056 1.706 0.056 1.044 0.044
SK90/4.33 0.205 0.014 0.214 0.014 0.157 0.014 0.168 0.014 0.201 0.012
SK90/4.34 0.243 0.247 0.316 0.323 0.179 0.013
SK90/4.35 0.119 0.013 0.125 0.012 0.119 0.012 0.124 0.012 0.669 0.012
SK90/4.36 0.118 0.012 0.124 0.012 0.12 0.012 0.125 0.012 0.363 0.012
SK90/4.37 0.118 0.011 0.116 0.011 0.117 0.011 0.117 0.011 0.184 0.013
SK90/4.38 0.484 0.026 0.132 0.016 0.214 0.02 0.132 0.016 0.363 0.021
SK90/4.39 0.228 0.016 0.237 0.015 0.228 0.016 0.238 0.015 0.184 0.013
SK90/4.40 0.243 0.25 0.349 0.359 0.156 0.019
SK90/4.41 0.179 0.016 0.19 0.016 0.156 0.016 0.165 0.016 0.304 0.017
SK90/4.42 0.958 0.148 0.021 0.363 0.027 0.148 0.022 0.349 0.021
SK90/4.43 1.855 0.055 0.546 0.034 0.439 0.037 0.35 0.036 0.715 0.039
SK90/4.44 0.124 0.016 0.14 0.017 0.124 0.015 0.141 0.017 2.031 0.019
SK90/4.45 0.143 0.014 0.121 0.012 0.132 0.014 0.123 0.013 0.164 0.015
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
SK90/4.46 0.121 0.013 0.135 0.014 0.119 0.013 0.133 0.014 1.65 0.014
SK90/4.47 0.143 0.024 0.151 0.025 0.143 0.024 0.151 0.024 3.372 0.028
SK90/4.48 0.225 0.019 0.133 0.017 0.225 0.019 0.132 0.017 0.19 0.017
SK90/4.49 0.12 0.013 0.12 0.014 0.12 0.013 0.12 0.014 0.128 0.013
SK90/4.50 0.118 0.012 0.125 0.012 0.119 0.012 0.128 0.012 0.18 0.012
SK90/4.51 0.731 0.743 0.175 0.019 0.187 0.019 1.202 0.023
SK90/4.52 0.545 0.032 0.163 0.027 0.227 0.031 0.164 0.026 0.519 0.031
SK90/4.53 0.369 0.146 0.021 0.177 0.023 0.145 0.021 0.532 0.021
SK90/4.54 0.342 0.348 0.488 0.497 0.158 0.018
SK90/4.55 0.144 0.153 0.148 0.156 0.279
SK90/4.56 0.121 0.014 0.128 0.014 0.122 0.014 0.128 0.014 3.155 0.014
SK90/4.57 0.142 0.025 0.162 0.029 0.142 0.025 0.163 0.028 0.441 0.029
SK90/4.59 0.985 0.037 0.164 0.026 0.172 0.028 0.164 0.026 1.71 0.026
SK90/4.60 1.03 0.045 0.465 0.031 0.41 0.035 0.4 0.032 0.751 0.028
SK90/4.61 5.98 2.867 2.141 2.089 2.723 0.047
Secret_05_SRS/aprove1 4.28 2.651 3.398 3.27 3.198 0.062
Secret_05_SRS/aprove2 4.233 4.265 5.402 5.509 12.468 0.069
Secret_05_SRS/aprove3 2.501 1.869 2.498 2.49 11.853 0.067
Secret_05_SRS/aprove4 4.844 3.346 7.495 7.414 4.744 0.091
Secret_05_SRS/aprove5 7.041 7.03 7.199 7.351 18.065 0.122
Secret_05_SRS/jambox1 0.488 0.495 0.848 0.861 60.0
Secret_05_SRS/jambox2 1.799 1.812 2.385 2.402 60.0
Secret_05_SRS/jambox3 0.676 0.686 1.076 1.083 60.0
Secret_05_SRS/jambox4 0.434 0.432 0.618 0.65 3.035 0.063
Secret_05_SRS/jambox5 0.548 0.567 1.231 1.257 60.0
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Secret_05_SRS/matchbox1 7.598 7.604 15.2 15.223 3.276 0.052
Secret_05_SRS/matchbox2 3.432 3.474 6.402 6.458 4.744 0.11
Secret_05_SRS/torpa1 0.488 0.03 0.475 0.031 0.572 0.032 0.494 0.032 1.239 0.032
Secret_05_SRS/torpa2 0.663 0.715 0.802 0.807 12.642 0.029
Secret_05_SRS/torpa3 0.645 0.039 0.848 0.048 0.751 0.052 0.922 0.05 1.839 0.083
Secret_05_SRS/torpa4 7.445 7.428 58.318 60.0 3.865 0.073
Secret_05_TRS/aprove1 1.221 0.62 0.906 0.762 59.251
Secret_05_TRS/aprove2 4.657 1.653 1.36 1.35 26.559
Secret_05_TRS/aprove3 1.073 0.814 0.584 0.562 5.134
Secret_05_TRS/aprove4 1.71 0.465 0.562 0.514 7.023
Secret_05_TRS/aprove5 6.766 5.877 4.585 4.561 5.73
Secret_05_TRS/cime1 60.0 60.0 60.0 60.0 59.458
Secret_05_TRS/cime2 0.614 0.654 1.259 1.285 6.221
Secret_05_TRS/cime3 9.023 9.037 11.389 11.477 59.23
Secret_05_TRS/cime4 0.247 0.257 0.2 0.207 0.703
Secret_05_TRS/cime5 60.0 60.0 41.767 0.391 15.326 0.234 19.393 0.281
Secret_05_TRS/matchbox1 0.19 0.199 0.25 0.258 2.017
Secret_05_TRS/matchbox2 0.395 0.402 0.6 0.608 0.395 0.018
Secret_05_TRS/teparla1 0.994 0.993 4.636 4.724 59.188
Secret_05_TRS/teparla2 0.525 0.531 0.711 0.719 33.327
Secret_05_TRS/teparla3 0.485 0.493 0.779 0.781 19.854
Secret_05_TRS/tpa1 6.61 5.721 2.497 2.467 7.083
Secret_05_TRS/tpa2 5.927 5.75 3.102 3.097 1.256 0.04
Secret_05_TRS/tpa3 0.983 0.42 0.567 0.554 6.611
Secret_05_TRS/tpa4 0.959 0.402 0.552 0.534 6.828
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Secret_05_TRS/tpa5 2.298 1.217 1.834 1.801 59.204
Secret_05_TRS/ttt1 0.388 0.402 0.371 0.382 0.429 0.02
Secret_05_TRS/ttt2 0.225 0.233 0.303 0.312 0.15 0.013
Secret_06_SRS/1-matchbox 0.339 0.347 0.523 0.531 60.0
Secret_06_SRS/1 0.577 0.581 0.993 0.997 59.2
Secret_06_SRS/10 0.285 0.29 0.442 0.446 0.793 0.019
Secret_06_SRS/2-matchbox 3.117 2.984 4.605 3.94 42.059 0.141
Secret_06_SRS/2 0.898 0.914 1.58 1.595 60.0
Secret_06_SRS/3-matchbox 60.0 60.0 60.0 60.0 6.529 0.087
Secret_06_SRS/3 0.479 0.488 0.813 0.826 60.0
Secret_06_SRS/5-matchbox 0.442 0.453 0.736 0.743 1.892 0.035
Secret_06_SRS/5 0.562 0.5 0.91 0.876 60.0
Secret_06_SRS/6 7.019 7.058 11.265 11.249 5.049 0.044
Secret_06_SRS/7 0.357 0.388 0.576 0.585 1.227 0.024
Secret_06_SRS/8 4.941 4.931 6.134 6.145 3.875 0.046
Secret_06_SRS/9 0.309 0.317 0.448 0.455 1.417 0.024
Secret_06_SRS/aprove00 3.613 2.051 1.077 1.074 3.528 0.048
Secret_06_SRS/aprove01 10.934 6.274 2.773 2.784 3.951 0.085
Secret_06_SRS/aprove02 5.667 3.219 2.339 2.377 3.872 0.079
Secret_06_SRS/aprove03 8.721 5.943 2.581 2.622 4.377 0.14
Secret_06_SRS/aprove04 8.37 5.698 2.715 2.649 60.0
Secret_06_SRS/aprove05 6.963 4.335 1.027 1.073 3.476 0.127
Secret_06_SRS/aprove06 8.413 6.304 1.555 1.673 60.0
Secret_06_SRS/aprove07 3.782 2.135 3.397 3.396 16.729 0.144
Secret_06_SRS/aprove08 3.283 1.662 1.59 1.569 60.0
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Secret_06_SRS/aprove09 3.14 1.457 1.138 1.156 3.071 0.054
Secret_06_SRS/multum1 3.749 3.734 6.524 6.537 13.613 0.038
Secret_06_SRS/multum2 0.601 0.609 0.962 0.971 13.162 0.053
Secret_06_SRS/multum3 0.812 0.826 1.325 1.33 10.682 0.021
Secret_06_SRS/multum4 2.321 2.324 4.748 4.727 7.337 0.094
Secret_06_SRS/multum5 3.438 3.427 4.962 5.022 2.612 0.047
Secret_06_SRS/multum6 5.118 5.122 8.205 8.22 7.657 0.09
Secret_06_SRS/secr1 0.418 0.414 0.798 0.712 0.965 0.025
Secret_06_SRS/secr10 3.66 3.695 6.879 6.988 3.405 0.069
Secret_06_SRS/secr2 0.449 0.455 0.73 0.739 1.138 0.033
Secret_06_SRS/secr3 1.663 1.67 1.7 1.71 60.0
Secret_06_SRS/secr4 1.044 0.046 0.756 0.04 0.541 0.047 0.536 0.045 0.98 0.027
Secret_06_SRS/secr5 1.387 1.404 1.078 1.094 60.0
Secret_06_SRS/secr6 0.703 0.704 1.094 1.106 11.094 0.042
Secret_06_SRS/secr7 0.416 0.427 0.644 0.653 1.247 0.026
Secret_06_SRS/secr8 1.099 1.114 1.48 1.487 2.136 0.046
Secret_06_SRS/secr9 2.904 2.466 2.666 2.498 5.137 0.075
Secret_06_TRS/10 1.461 1.48 1.581 1.587 3.202 0.056
Secret_06_TRS/2 2.594 2.626 3.415 3.397 2.449 0.053
Secret_06_TRS/3 9.582 9.425 13.177 13.241 59.216
Secret_06_TRS/4 1.405 1.432 1.938 1.927 1.217 0.033
Secret_06_TRS/5 0.623 0.628 1.468 1.462 2.42 0.034
Secret_06_TRS/6 0.833 0.841 2.659 2.668 2.278 0.037
Secret_06_TRS/7 0.593 0.028 0.601 0.028 0.578 0.03 0.635 0.03 0.333 0.019
Secret_06_TRS/8 0.649 0.668 0.969 0.989 1.337 0.035
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Secret_06_TRS/9 1.162 1.141 1.31 1.305 1.345 0.044
Secret_06_TRS/addList 2.152 0.808 3.741 3.779 59.253
Secret_06_TRS/cime1 1.202 1.266 1.114 1.144 7.555
Secret_06_TRS/divExp 0.888 0.697 0.522 0.526 0.984
Secret_06_TRS/division 6.437 1.953 4.605 4.573 5.17
Secret_06_TRS/double 8.747 1.658 9.684 0.821 5.684
Secret_06_TRS/gen-1 0.673 0.031 0.691 0.029 0.657 0.034 0.621 0.034 2.357 0.026
Secret_06_TRS/gen-10 2.016 2.042 3.064 3.068 1.311 0.044
Secret_06_TRS/gen-14 0.452 0.463 0.59 0.601 1.418 0.033
Secret_06_TRS/gen-15 1.372 1.382 1.244 1.404 1.266 0.046
Secret_06_TRS/gen-17 0.891 0.031 0.92 0.034 0.253 0.029 0.286 0.033 2.557 0.034
Secret_06_TRS/gen-18 0.338 0.35 0.655 0.667 1.138 0.036
Secret_06_TRS/gen-22 2.825 2.823 3.419 3.469 2.929 0.059
Secret_06_TRS/gen-25 0.5 0.507 0.737 0.751 3.231 0.058
Secret_06_TRS/gen-28 2.246 2.606 3.307 3.001 2.287 0.051
Secret_06_TRS/gen-9 0.779 0.795 0.761 0.774 1.413 0.05
Secret_06_TRS/logarithm 19.677 7.093 4.892 4.879 59.225
Secret_06_TRS/nrOfNodes 1.494 1.094 1.126 1.127 9.346
Secret_06_TRS/reverse 1.327 0.495 2.741 2.684 1.302 0.042
Secret_06_TRS/sumList 2.287 1.476 1.283 1.349 59.235
Secret_06_TRS/times 1.855 1.107 1.018 1.012 9.281
Secret_06_TRS/toList 1.977 1.511 1.289 1.28 59.216
Secret_06_TRS/tpa01 0.389 0.389 0.477 0.49 2.309
Secret_06_TRS/tpa02 0.277 0.284 0.403 0.412 2.719
Secret_06_TRS/tpa03 0.241 0.25 0.343 0.352 2.314
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Secret_06_TRS/tpa04 3.441 1.586 2.136 2.116 59.223
Secret_06_TRS/tpa05 1.929 0.544 0.758 0.737 7.052
Secret_06_TRS/tpa06 5.144 2.195 42.041 42.067 59.246
Secret_06_TRS/tpa07 1.228 0.512 0.655 0.636 6.914
Secret_06_TRS/tpa08 1.423 0.521 0.773 0.771 7.039
Secret_06_TRS/tpa09 3.006 0.774 0.905 0.973 8.029
Secret_06_TRS/tpa10 2.683 0.704 6.862 6.799 11.664
Secret_07_SRS/dj 0.271 0.023 0.138 0.022 0.149 0.023 0.137 0.021 0.252 0.015
Secret_07_SRS/num-514 0.343 0.366 0.559 0.622 60.0
Secret_07_SRS/num-515 0.316 0.325 0.496 0.502 60.0
Secret_07_SRS/num-518 0.675 0.686 0.864 0.875 60.0
Secret_07_SRS/num-519 0.783 0.787 0.989 0.991 60.0
Secret_07_SRS/num-520 0.358 0.37 0.584 0.574 60.0
Secret_07_SRS/num-521 0.398 0.407 0.622 0.624 60.0
Secret_07_SRS/num-525 0.342 0.351 0.551 0.556 60.0
Secret_07_SRS/num-527 0.343 0.345 0.504 0.516 60.0
Secret_07_SRS/num-530 0.327 0.336 0.506 0.513 60.0
Secret_07_SRS/num-539 0.363 0.37 0.516 0.525 60.0
Secret_07_SRS/x01 0.361 0.356 0.577 0.589 60.0
Secret_07_SRS/x02 0.332 0.37 0.612 0.587 1.269 0.033
Secret_07_SRS/x03 0.62 0.631 1.413 1.439 1.164 0.031
Secret_07_SRS/x04 3.023 2.76 3.332 3.341 5.397 0.086
Secret_07_SRS/x05 0.445 0.46 0.666 0.682 10.926 0.05
Secret_07_SRS/x06 1.318 1.34 1.125 1.141 60.0
Secret_07_SRS/x07 1.143 0.922 1.631 1.625 60.0
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Secret_07_SRS/x08 0.582 0.584 1.107 1.122 60.0
Secret_07_SRS/x09 0.478 0.482 0.854 0.955 60.0
Secret_07_SRS/x10 0.473 0.479 0.949 0.956 3.365 0.056
Secret_07_TRS/1 9.225 9.285 7.078 7.158 59.202
Secret_07_TRS/2 5.073 5.15 5.39 5.517 37.818
Secret_07_TRS/3 7.004 6.725 8.483 8.812 59.246
Secret_07_TRS/4 6.451 6.539 18.942 19.041 59.199
Secret_07_TRS/5 60.0 60.0 60.0 60.0 59.331
Secret_07_TRS/7 1.01 1.022 1.126 1.137 59.189
Secret_07_TRS/aprove01 2.988 1.36 1.998 1.986 59.289
Secret_07_TRS/aprove02 2.782 1.274 1.531 1.512 7.005
Secret_07_TRS/aprove03 6.478 2.73 42.226 42.255 59.265
Secret_07_TRS/aprove04 5.882 3.389 5.459 5.528 11.026
Secret_07_TRS/aprove05 2.092 1.399 1.051 1.211 5.188
Secret_07_TRS/aprove06 60.0 60.0 60.0 60.0 59.246
Secret_07_TRS/aprove07 1.119 0.877 0.856 0.909 4.551
Secret_07_TRS/aprove08 10.397 8.73 4.726 4.701 7.736
Secret_07_TRS/aprove09 6.473 4.566 1.751 1.663 10.284
Secret_07_TRS/aprove10 7.997 6.57 6.312 6.324 59.282
Secret_07_TRS/secret1 3.203 0.268 0.046 0.844 0.08 0.27 0.047 2.691 0.047
Secret_07_TRS/secret2 1.794 0.241 0.055 1.085 0.073 0.241 0.055 0.786 0.054
Secret_07_TRS/secret3 1.198 0.536 0.037 0.73 0.047 0.397 0.037 0.835 0.037
Secret_07_TRS/secret4 3.083 0.746 0.063 1.595 0.092 0.486 0.062 1.063 0.063
Secret_07_TRS/secret5 4.023 1.745 0.068 1.501 0.076 1.652 0.072 1.693 0.063
Strategy_removed_AG01/#4.12a 0.16 0.169 0.159 0.166 0.157 0.016
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Strategy_removed_AG01/#4.13 0.158 0.165 0.155 0.162 0.354
Strategy_removed_AG01/#4.14 0.426 0.372 0.373 0.376 0.154 0.016
Strategy_removed_AG01/#4.15 10.273 10.224 12.356 12.303 0.162 0.019
Strategy_removed_AG01/#4.16 0.24 0.206 0.212 0.213 0.15 0.014
Strategy_removed_AG01/#4.17 5.651 5.608 5.011 5.078 0.157 0.017
Strategy_removed_AG01/#4.18 1.302 1.337 2.168 2.18 0.179 0.016
Strategy_removed_AG01/#4.19 0.441 0.326 0.453 0.421 7.391
Strategy_removed_AG01/#4.2 1.407 1.362 1.141 1.143 0.156 0.017
Strategy_removed_AG01/#4.20 0.12 0.014 0.129 0.014 0.121 0.014 0.129 0.015 0.841 0.015
Strategy_removed_AG01/#4.20a 0.203 0.019 0.138 0.017 0.141 0.018 0.142 0.017 0.917 0.019
Strategy_removed_AG01/#4.21 0.125 0.017 0.137 0.017 0.128 0.017 0.136 0.017 1.131 0.017
Strategy_removed_AG01/#4.22 0.326 0.139 0.017 0.181 0.019 0.138 0.017 0.301 0.017
Strategy_removed_AG01/#4.23 2.948 0.328 0.026 0.325 0.029 0.245 0.025 0.51 0.024
Strategy_removed_AG01/#4.25 0.152 0.158 0.151 0.158 0.473
Strategy_removed_AG01/#4.26 0.749 0.418 0.368 0.367 0.561 0.029
Strategy_removed_AG01/#4.27 0.595 0.425 0.297 0.031 0.29 0.03 0.63 0.03
Strategy_removed_AG01/#4.28 0.913 0.458 0.446 0.023 0.432 0.021 1.762 0.025
Strategy_removed_AG01/#4.29 3.144 2.013 60.0 60.0 1.337 0.049
Strategy_removed_AG01/#4.3 0.139 0.146 0.141 0.15 0.305
Strategy_removed_AG01/#4.30 10.375 6.808 3.911 3.863 6.773
Strategy_removed_AG01/#4.30a 3.301 1.055 0.606 0.58 1.919
Strategy_removed_AG01/#4.30b 23.324 22.834 15.803 16.015 16.671
Strategy_removed_AG01/#4.30c 14.168 13.804 17.164 17.26 47.313
Strategy_removed_AG01/#4.32 0.39 0.023 0.142 0.018 0.215 0.021 0.145 0.018 0.593 0.018
Strategy_removed_AG01/#4.33 2.281 2.292 0.447 0.032 0.462 0.032 1.285 0.033
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Strategy_removed_AG01/#4.34 0.65 0.511 0.033 0.514 0.04 0.52 0.039 0.611 0.027
Strategy_removed_AG01/#4.35 4.328 1.491 0.074 3.378 0.111 2.949 0.099 1.895 0.072
Strategy_removed_AG01/#4.36 4.363 2.474 0.071 1.339 0.081 1.26 0.07 1.757 0.064
Strategy_removed_AG01/#4.37 0.428 0.022 0.44 0.022 0.256 0.02 0.272 0.02 3.356 0.02
Strategy_removed_AG01/#4.37a 0.508 0.024 0.519 0.025 0.259 0.022 0.28 0.024 3.463 0.025
Strategy_removed_AG01/#4.4 0.219 0.229 0.228 0.241 0.154 0.016
Strategy_removed_AG01/#4.7 13.148 13.364 34.928 35.059 0.153 0.015
Strategy_removed_CSR_05/Ex14_AEGL02 0.123 0.015 0.124 0.014 0.123 0.014 0.124 0.014 0.132 0.014
Strategy_removed_CSR_05/Ex15_Luc98 0.133 0.018 0.133 0.017 0.133 0.018 0.134 0.018 0.141 0.018
Strategy_removed_CSR_05/Ex1_2_AEL03 0.146 0.022 0.146 0.023 0.146 0.023 0.145 0.022 0.153 0.023
Strategy_removed_CSR_05/Ex1_2_Luc02c 0.12 0.014 0.122 0.014 0.121 0.014 0.122 0.013 0.13 0.014
Strategy_removed_CSR_05/Ex1_GL02a 0.133 0.018 0.132 0.018 0.133 0.018 0.133 0.018 0.14 0.018
Strategy_removed_CSR_05/Ex1_GM03 0.133 0.018 0.133 0.018 0.133 0.018 0.135 0.018 0.141 0.018
Strategy_removed_CSR_05/Ex1_GM99 0.262 0.16 0.149 0.158 0.151 0.014
Strategy_removed_CSR_05/Ex1_Luc02b 0.129 0.016 0.129 0.016 0.129 0.016 0.129 0.017 0.137 0.016
Strategy_removed_CSR_05/Ex1_Zan97 0.249 0.256 0.345 0.355 0.15 0.013
Strategy_removed_CSR_05/Ex24_GM04 0.147 0.157 0.14 0.148 0.323
Strategy_removed_CSR_05/Ex26_Luc03b 0.137 0.02 0.138 0.021 0.22 0.02 0.138 0.021 0.145 0.02
Strategy_removed_CSR_05/Ex2_Luc03b 0.133 0.018 0.131 0.018 0.131 0.018 0.131 0.018 0.139 0.017
Strategy_removed_CSR_05/Ex3_12_Luc96a 0.124 0.014 0.124 0.014 0.123 0.014 0.124 0.015 0.132 0.014
Strategy_removed_CSR_05/Ex3_2_Luc97 0.137 0.019 0.138 0.019 0.137 0.019 0.137 0.019 0.145 0.019
Strategy_removed_CSR_05/Ex3_3_25_Bor03 0.135 0.019 0.134 0.019 0.135 0.019 0.136 0.019 0.142 0.019
Strategy_removed_CSR_05/Ex49_GM04 0.825 0.046 0.393 0.032 0.26 0.032 0.24 0.03 1.1 0.03
Strategy_removed_CSR_05/Ex4_4_Luc96b 0.119 0.013 0.119 0.013 0.118 0.013 0.119 0.013 0.126 0.013
Strategy_removed_CSR_05/Ex4_7_15_Bor03 0.316 0.329 0.411 0.424 0.156 0.016
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Strategy_removed_CSR_05/Ex4_7_37_Bor03 0.144 0.021 0.141 0.021 0.196 0.021 0.141 0.021 0.149 0.021
Strategy_removed_CSR_05/Ex4_7_56_Bor03 0.122 0.014 0.123 0.014 0.123 0.014 0.123 0.014 0.132 0.014
Strategy_removed_CSR_05/Ex4_7_77_Bor03 0.118 0.012 0.118 0.013 0.118 0.013 0.118 0.013 0.126 0.013
Strategy_removed_CSR_05/Ex4_Zan97 0.127 0.016 0.127 0.016 0.129 0.016 0.129 0.016 0.135 0.016
Strategy_removed_CSR_05/Ex5_7_Luc97 0.154 0.026 0.155 0.026 0.155 0.026 0.155 0.026 0.162 0.026
Strategy_removed_CSR_05/Ex5_Zan97 0.121 0.014 0.121 0.014 0.123 0.014 0.122 0.014 0.129 0.014
Strategy_removed_CSR_05/Ex6_15_AEL02 0.219 0.03 0.164 0.03 0.163 0.031 0.163 0.03 0.17 0.03
Strategy_removed_CSR_05/Ex6_9_Luc02c 0.123 0.014 0.125 0.014 0.124 0.014 0.124 0.014 0.131 0.015
Strategy_removed_CSR_05/Ex6_GM04 0.118 0.013 0.119 0.012 0.123 0.013 0.118 0.013 0.126 0.013
Strategy_removed_CSR_05/Ex6_Luc98 0.125 0.015 0.123 0.015 0.124 0.015 0.124 0.015 0.131 0.015
Strategy_removed_CSR_05/Ex7_BLR02 0.132 0.018 0.133 0.018 0.132 0.018 0.132 0.018 0.141 0.018
Strategy_removed_CSR_05/Ex8_BLR02 0.132 0.019 0.133 0.018 0.132 0.018 0.132 0.018 0.14 0.018
Strategy_removed_CSR_05/Ex9_BLR02 0.137 0.02 0.137 0.02 0.137 0.02 0.139 0.02 0.144 0.02
Strategy_removed_CSR_05/ExAppendixB_AEL03 0.152 0.026 0.152 0.025 0.153 0.026 0.153 0.025 0.161 0.025
Strategy_removed_CSR_05/ExConc_Zan97 0.118 0.013 0.118 0.013 0.119 0.013 0.118 0.013 0.125 0.012
Strategy_removed_CSR_05/ExIntrod_GM01 0.131 0.018 0.131 0.017 0.132 0.017 0.131 0.017 0.138 0.017
Strategy_removed_CSR_05/ExIntrod_GM04 0.129 0.016 0.13 0.016 0.129 0.016 0.13 0.016 0.136 0.016
Strategy_removed_CSR_05/ExIntrod_GM99 0.142 0.021 0.143 0.021 0.143 0.021 0.157 0.021 0.15 0.021
Strategy_removed_CSR_05/ExIntrod_Zan97 0.138 0.021 0.136 0.02 0.136 0.02 0.138 0.02 0.145 0.02
Strategy_removed_mixed_05/ExSec11_1_Luc02a 0.144 0.022 0.145 0.022 0.145 0.022 0.145 0.022 0.155 0.022
Strategy_removed_mixed_05/bn111 0.199 0.207 0.252 0.26 2.537
Strategy_removed_mixed_05/ex1 0.121 0.013 0.12 0.013 0.121 0.014 0.121 0.013 0.128 0.013
Strategy_removed_mixed_05/ex2 0.12 0.014 0.121 0.013 0.12 0.013 0.12 0.014 0.128 0.014
Strategy_removed_mixed_05/ex3 0.122 0.014 0.123 0.014 0.122 0.014 0.121 0.014 0.129 0.014
Strategy_removed_mixed_05/ex4 0.198 0.205 0.238 0.246 0.152 0.014
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Strategy_removed_mixed_05/ex5 0.119 0.013 0.12 0.013 0.119 0.013 0.12 0.013 0.126 0.013
Strategy_removed_mixed_05/ex6 0.269 0.277 0.251 0.256 0.196 0.017
Strategy_removed_mixed_05/gkg 0.176 0.192 0.198 0.212 0.15 0.013
Strategy_removed_mixed_05/muladd 0.597 0.606 2.205 2.211 0.158 0.017
Strategy_removed_mixed_05/n001 0.289 0.299 0.368 0.38 0.177 0.015
Strategy_removed_mixed_05/test10 0.461 0.397 0.818 0.823 0.157 0.016
Strategy_removed_mixed_05/test75 0.187 0.199 0.185 0.195 0.155 0.017
Strategy_removed_mixed_05/test76 0.301 0.243 0.268 0.269 1.753
Strategy_removed_mixed_05/test77 0.3 0.244 0.265 0.268 1.736
Strategy_removed_mixed_05/test830 0.376 0.025 0.146 0.02 0.164 0.022 0.145 0.02 0.802 0.023
Strategy_removed_mixed_05/test9 0.168 0.177 0.166 0.175 0.156 0.017
Strategy_removed_mixed_05/toyama 0.154 0.169 0.15 0.158 0.333
Strategy_removed_mixed_05/tricky1 0.134 0.022 0.149 0.023 0.134 0.022 0.152 0.023 0.496 0.024
TCT_09/ackantiinn 1.387 1.417 0.491 0.045 0.474 0.041 1.021 0.054
TCT_09/ackantiinn2 0.426 0.146 0.021 0.32 0.027 0.144 0.022 0.323 0.021
TCT_09/ackhofbauer 0.49 0.031 0.374 0.029 0.497 0.035 0.369 0.031 0.937 0.032
TCT_09/ackhofbauernonsimp 0.585 0.038 0.604 0.038 0.637 0.046 0.651 0.045 0.689 0.039
TCT_09/add 0.158 0.016 0.123 0.013 0.135 0.015 0.123 0.014 0.193 0.017
TCT_09/addmult 0.268 0.135 0.018 0.154 0.02 0.136 0.018 0.282 0.018
TCT_09/append 0.174 0.016 0.124 0.014 0.133 0.015 0.145 0.014 0.198 0.017
TCT_09/bits 0.906 0.46 0.444 0.024 0.439 0.022 1.769 0.026
TCT_09/dexpdp 0.197 0.018 0.126 0.014 0.196 0.017 0.125 0.014 0.212 0.014
TCT_09/dexpdp2 0.2 0.016 0.209 0.016 0.198 0.017 0.206 0.017 0.333 0.017
TCT_09/expantiinn 0.302 0.022 0.135 0.017 0.153 0.019 0.135 0.017 0.307 0.023
TCT_09/insertsort 0.868 0.161 0.027 0.204 0.032 0.162 0.027 0.579 0.027
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
TCT_09/lcs 0.645 0.042 0.187 0.033 0.251 0.036 0.186 0.034 0.564 0.033
TCT_09/ma1 0.188 0.019 0.128 0.015 0.157 0.018 0.129 0.015 0.197 0.018
TCT_09/ma2 0.207 0.019 0.128 0.016 0.159 0.018 0.13 0.016 0.212 0.02
TCT_09/ma3 0.188 0.019 0.129 0.016 0.161 0.018 0.131 0.016 0.192 0.017
TCT_09/ma4 0.685 0.147 0.021 0.173 0.024 0.147 0.021 0.438 0.021
TCT_09/ma5 0.304 0.022 0.134 0.017 0.154 0.019 0.135 0.017 0.305 0.022
TCT_09/ma6 0.677 0.051 0.171 0.03 0.206 0.036 0.165 0.03 0.462 0.03
TCT_09/ma7 1.581 0.079 0.193 0.04 0.284 0.052 0.194 0.04 0.572 0.04
TCT_09/ma8 0.287 0.029 0.152 0.025 0.161 0.026 0.151 0.025 0.393 0.025
TCT_09/ma9 0.237 0.02 0.247 0.02 0.17 0.019 0.182 0.019 0.266 0.021
TCT_09/mergesort 4.092 2.165 3.654 3.611 0.195 0.029
TCT_09/nonmultrec 1.222 1.003 0.969 0.97 7.799
TCT_09/qbf 1.508 0.09 0.212 0.042 0.296 0.053 0.211 0.042 0.711 0.042
TCT_09/revappend 0.127 0.016 0.126 0.016 0.126 0.015 0.126 0.015 0.133 0.016
TCT_09/shuffle 0.131 0.018 0.13 0.018 0.132 0.018 0.235 0.018 0.138 0.018
TCT_09/supexpdg 0.674 0.031 0.146 0.022 0.336 0.027 0.145 0.021 3.176 0.022
TCT_09/supexpur 0.346 0.134 0.017 0.213 0.02 0.135 0.017 0.375 0.021
TCT_09/z86 2.938 2.938 3.585 3.608 2.071 0.038
Trafo_06/dup01 36.251 0.388 36.449 0.389 4.738 0.362 5.093 0.361 4.775 0.333
Trafo_06/dup05 9.144 21.365 33.162 11.734 15.565 0.138
Trafo_06/dup06 2.676 2.777 1.902 0.056 1.868 0.055 3.95 0.052
Trafo_06/dup07 3.308 3.336 3.091 3.211 11.229 0.061
Trafo_06/dup08 2.583 2.613 4.476 4.481 3.927 0.068
Trafo_06/dup09 3.211 0.042 3.217 0.056 15.333 0.056 12.949 0.056 3.423 0.065
Trafo_06/dup10 3.853 3.707 7.981 8.029 13.638 0.129
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Trafo_06/dup11 12.788 0.226 13.203 0.226 11.763 0.259 11.693 0.265 7.197 0.135
Trafo_06/dup12 5.307 5.943 9.61 9.749 35.298 0.146
Trafo_06/dup13 2.923 2.941 4.32 4.394 21.873 0.101
Trafo_06/dup14 3.479 3.517 4.856 5.171 11.753 0.076
Trafo_06/dup15 4.233 0.059 4.789 0.059 9.16 0.07 9.189 0.07 0.524 0.026
Trafo_06/dup16 1.071 0.037 1.075 0.038 1.272 0.039 1.279 0.039 1.614 0.033
Trafo_06/dup17 5.807 5.775 7.385 0.08 7.369 0.08 0.642 0.027
Trafo_06/hom01 3.055 1.698 2.844 2.344 14.002 0.094
Trafo_06/hom02 0.624 0.034 0.646 0.034 0.601 0.036 0.614 0.036 1.223 0.03
Trafo_06/hom03 19.632 19.726 20.195 20.163 18.268 0.041
Trafo_06/un02 9.624 9.624 9.352 9.29 60.0
Trafo_06/un04 5.941 5.963 7.503 7.541 60.0
Trafo_06/un05 1.458 1.455 1.379 1.39 60.0
Trafo_06/un06 2.9 1.977 3.923 2.588 2.084 0.042
Trafo_06/un07 7.89 7.898 5.947 5.962 4.667 0.065
Trafo_06/un08 4.156 4.169 4.862 4.886 36.876 0.061
Trafo_06/un09 11.457 11.435 18.314 18.268 15.745 0.078
Trafo_06/un10 2.355 2.379 2.485 2.493 6.989 0.058
Trafo_06/un11 7.529 7.525 9.153 9.2 60.0
Trafo_06/un12 1.178 1.183 1.992 1.998 60.0
Trafo_06/un13 11.819 11.877 13.08 13.084 60.0
Trafo_06/un14 8.594 8.617 9.464 9.487 19.189 0.105
Trafo_06/un15 8.044 6.981 11.125 9.007 60.0
Trafo_06/un16 6.778 5.76 9.52 6.904 60.0
Trafo_06/un17 1.918 1.92 2.724 2.74 60.0
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Trafo_06/un18 9.593 9.598 9.215 9.226 60.0
Transformed_CSR_04/Ex14_AEGL02_C 46.605 36.385 40.163 39.696 5.576 0.123
Transformed_CSR_04/Ex14_AEGL02_FR 1.703 0.72 0.739 0.701 48.748
Transformed_CSR_04/Ex14_AEGL02_GM 0.937 0.059 0.423 0.038 0.515 0.05 0.489 0.046 0.977 0.046
Transformed_CSR_04/Ex14_AEGL02_L 0.131 0.14 0.129 0.138 0.153 0.014
Transformed_CSR_04/Ex14_AEGL02_Z 0.54 0.552 0.492 0.501 0.663 0.024
Transformed_CSR_04/Ex14_AEGL02_iGM 29.965 17.396 4.054 0.144 2.709 0.138 5.346 0.185
Transformed_CSR_04/Ex14_Luc06_C 60.0 60.0 60.0 60.0 59.297
Transformed_CSR_04/Ex14_Luc06_FR 0.242 0.252 0.259 0.269 0.158 0.016
Transformed_CSR_04/Ex14_Luc06_GM 1.402 1.447 1.258 1.282 1.888
Transformed_CSR_04/Ex14_Luc06_L 0.195 0.199 0.312 0.323 0.153 0.015
Transformed_CSR_04/Ex14_Luc06_iGM 60.0 60.0 60.0 60.0 59.317
Transformed_CSR_04/Ex15_Luc06_C 60.0 60.0 60.0 60.0 3.875 0.062
Transformed_CSR_04/Ex15_Luc06_FR 0.232 0.024 0.145 0.021 0.148 0.023 0.145 0.021 1.318 0.033
Transformed_CSR_04/Ex15_Luc06_GM 0.222 0.02 0.14 0.019 0.146 0.019 0.141 0.019 1.318 0.025
Transformed_CSR_04/Ex15_Luc06_L 0.115 0.012 0.116 0.012 0.115 0.012 0.116 0.012 0.123 0.012
Transformed_CSR_04/Ex15_Luc06_Z 0.135 0.02 0.144 0.021 0.134 0.02 0.144 0.021 2.489 0.035
Transformed_CSR_04/Ex15_Luc06_iGM 0.807 0.046 0.385 0.035 0.308 0.042 0.293 0.038 2.419 0.037
Transformed_CSR_04/Ex15_Luc98_C 44.477 0.4 4.76 0.144 5.146 0.211 4.72 0.181 4.016 0.175
Transformed_CSR_04/Ex15_Luc98_FR 1.197 1.213 1.715 1.733 2.797 0.125
Transformed_CSR_04/Ex15_Luc98_GM 1.217 0.072 0.75 0.062 1.237 0.073 0.758 0.065 0.566 0.057
Transformed_CSR_04/Ex15_Luc98_L 0.126 0.015 0.127 0.015 0.127 0.016 0.127 0.015 0.135 0.015
Transformed_CSR_04/Ex15_Luc98_Z 0.812 0.82 0.283 0.052 0.294 0.052 1.158 0.142
Transformed_CSR_04/Ex15_Luc98_iGM 41.025 0.477 12.354 0.254 2.697 0.22 18.807 0.455 3.974 0.199
Transformed_CSR_04/Ex16_Luc06_C 46.14 45.164 35.077 35.137 59.238
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Transformed_CSR_04/Ex16_Luc06_FR 0.123 0.015 0.131 0.016 0.124 0.015 0.132 0.016 0.203 0.017
Transformed_CSR_04/Ex16_Luc06_GM 0.206 0.022 0.143 0.02 0.147 0.021 0.142 0.02 0.305 0.027
Transformed_CSR_04/Ex16_Luc06_L 0.118 0.013 0.117 0.013 0.118 0.013 0.117 0.013 0.125 0.013
Transformed_CSR_04/Ex16_Luc06_iGM 4.511 4.331 9.77 10.097 6.867
Transformed_CSR_04/Ex18_Luc06_C 3.205 0.07 1.13 0.046 0.833 0.055 0.805 0.048 3.499 0.047
Transformed_CSR_04/Ex18_Luc06_FR 0.259 0.022 0.166 0.019 0.17 0.02 0.168 0.019 0.376 0.027
Transformed_CSR_04/Ex18_Luc06_GM 0.262 0.021 0.164 0.019 0.168 0.02 0.164 0.019 0.988 0.029
Transformed_CSR_04/Ex18_Luc06_L 0.14 0.013 0.148 0.013 0.141 0.014 0.147 0.013 0.181 0.014
Transformed_CSR_04/Ex18_Luc06_Z 0.15 0.016 0.158 0.017 0.15 0.016 0.157 0.017 0.222 0.018
Transformed_CSR_04/Ex18_Luc06_iGM 1.143 0.044 1.087 0.049 0.546 0.04 0.762 0.051 3.464 0.043
Transformed_CSR_04/Ex1_2_AEL03_C 60.0 47.1 30.188 45.341 59.658
Transformed_CSR_04/Ex1_2_AEL03_FR 5.25 0.253 0.053 0.601 0.066 0.254 0.052 1.151 0.053
Transformed_CSR_04/Ex1_2_AEL03_GM 38.337 38.284 43.769 43.754 59.369
Transformed_CSR_04/Ex1_2_AEL03_L 0.164 0.021 0.163 0.021 0.165 0.021 0.165 0.021 0.172 0.021
Transformed_CSR_04/Ex1_2_AEL03_Z 2.076 0.224 0.044 0.421 0.055 0.224 0.044 1.579 0.044
Transformed_CSR_04/Ex1_2_AEL03_iGM 60.0 25.859 46.591 31.352 59.511
Transformed_CSR_04/Ex1_2_Luc02c_C 17.464 0.182 2.155 0.072 2.139 0.112 1.768 0.089 2.54 0.124
Transformed_CSR_04/Ex1_2_Luc02c_FR 0.426 0.179 0.025 0.265 0.032 0.18 0.025 0.765 0.025
Transformed_CSR_04/Ex1_2_Luc02c_GM 1.429 1.455 1.532 1.575 1.137 0.033
Transformed_CSR_04/Ex1_2_Luc02c_L 0.139 0.013 0.139 0.012 0.139 0.013 0.141 0.012 0.147 0.013
Transformed_CSR_04/Ex1_2_Luc02c_Z 0.158 0.02 0.157 0.02 0.158 0.02 0.158 0.02 0.392 0.031
Transformed_CSR_04/Ex1_2_Luc02c_iGM 13.899 4.917 6.835 7.035 4.37 0.132
Transformed_CSR_04/Ex1_GL02a_C 60.0 28.66 26.14 41.245 8.266 0.171
Transformed_CSR_04/Ex1_GL02a_FR 14.647 14.654 13.067 9.262 59.294
Transformed_CSR_04/Ex1_GL02a_GM 1.682 0.061 0.221 0.037 0.316 0.041 0.221 0.037 1.574 0.037
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Transformed_CSR_04/Ex1_GL02a_L 0.148 0.015 0.149 0.015 0.15 0.015 0.151 0.015 0.157 0.015
Transformed_CSR_04/Ex1_GL02a_Z 15.312 15.333 20.993 20.665 59.281
Transformed_CSR_04/Ex1_GL02a_iGM 46.523 38.885 7.733 0.215 6.588 0.19 4.751 0.235
Transformed_CSR_04/Ex1_GM03_C 60.0 37.15 30.769 30.319 59.428
Transformed_CSR_04/Ex1_GM03_FR 54.061 52.301 28.97 28.665 59.264
Transformed_CSR_04/Ex1_GM03_GM 12.998 13.169 10.528 10.568 59.293
Transformed_CSR_04/Ex1_GM03_L 0.153 0.016 0.152 0.016 0.151 0.016 0.152 0.016 0.16 0.016
Transformed_CSR_04/Ex1_GM03_Z 0.166 0.022 0.163 0.021 0.164 0.021 0.164 0.021 0.173 0.022
Transformed_CSR_04/Ex1_GM03_iGM 30.986 11.315 14.461 13.288 59.423
Transformed_CSR_04/Ex1_GM99_C 52.577 50.761 54.7 54.849 59.282
Transformed_CSR_04/Ex1_GM99_FR 0.205 0.217 0.19 0.196 0.188 0.018
Transformed_CSR_04/Ex1_GM99_GM 1.813 1.803 1.4 1.429 17.201
Transformed_CSR_04/Ex1_GM99_L 0.141 0.013 0.141 0.013 0.143 0.013 0.141 0.013 0.148 0.013
Transformed_CSR_04/Ex1_GM99_iGM 4.049 2.648 3.389 3.233 59.221
Transformed_CSR_04/Ex1_Luc02b_C 56.547 19.618 24.811 24.236 59.409
Transformed_CSR_04/Ex1_Luc02b_FR 2.255 0.899 1.748 0.081 1.522 0.072 1.485 0.049
Transformed_CSR_04/Ex1_Luc02b_GM 7.655 7.565 7.646 7.69 59.242
Transformed_CSR_04/Ex1_Luc02b_L 0.148 0.015 0.148 0.015 0.15 0.015 0.148 0.015 0.156 0.015
Transformed_CSR_04/Ex1_Luc02b_Z 2.561 0.18 0.026 0.409 0.033 0.182 0.026 1.078 0.026
Transformed_CSR_04/Ex1_Luc02b_iGM 37.448 10.47 11.819 11.61 59.409
Transformed_CSR_04/Ex1_Luc04b_C 60.0 39.95 60.0 60.0 4.164 0.162
Transformed_CSR_04/Ex1_Luc04b_FR 2.529 1.936 1.667 1.675 0.172 0.023
Transformed_CSR_04/Ex1_Luc04b_GM 6.683 6.7 9.654 0.162 9.678 0.155 3.939 0.135
Transformed_CSR_04/Ex1_Luc04b_L 0.125 0.015 0.125 0.015 0.125 0.015 0.125 0.015 0.133 0.015
Transformed_CSR_04/Ex1_Luc04b_Z 0.134 0.019 0.135 0.018 0.134 0.019 0.134 0.019 0.241 0.019
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Transformed_CSR_04/Ex1_Luc04b_iGM 53.604 37.339 47.469 0.359 28.261 0.259 4.535 0.205
Transformed_CSR_04/Ex1_Zan97_C 60.0 60.0 60.0 60.0 3.985 0.059
Transformed_CSR_04/Ex1_Zan97_FR 1.332 1.347 3.866 3.874 0.16 0.017
Transformed_CSR_04/Ex1_Zan97_GM 0.212 0.025 0.218 0.025 0.151 0.023 0.162 0.023 0.238 0.025
Transformed_CSR_04/Ex1_Zan97_L 0.125 0.133 0.127 0.136 0.148 0.013
Transformed_CSR_04/Ex1_Zan97_iGM 60.0 60.0 0.353 0.04 0.4 0.049 3.413 0.037
Transformed_CSR_04/Ex23_Luc06_C 4.61 0.104 1.022 0.059 0.993 0.072 0.92 0.065 3.533 0.062
Transformed_CSR_04/Ex23_Luc06_FR 0.373 0.03 0.14 0.021 0.16 0.023 0.14 0.022 0.503 0.047
Transformed_CSR_04/Ex23_Luc06_GM 0.375 0.026 0.136 0.019 0.157 0.021 0.136 0.019 0.424 0.03
Transformed_CSR_04/Ex23_Luc06_L 0.118 0.013 0.117 0.012 0.119 0.012 0.117 0.012 0.155 0.014
Transformed_CSR_04/Ex23_Luc06_Z 0.125 0.015 0.127 0.015 0.126 0.015 0.126 0.015 0.27 0.023
Transformed_CSR_04/Ex23_Luc06_iGM 1.612 0.064 0.497 0.051 0.365 0.054 0.334 0.051 3.454 0.052
Transformed_CSR_04/Ex24_GM04_C 46.581 44.828 45.469 45.527 59.266
Transformed_CSR_04/Ex24_GM04_FR 0.319 0.263 0.279 0.281 1.481
Transformed_CSR_04/Ex24_GM04_GM 0.301 0.238 0.169 0.17 0.445
Transformed_CSR_04/Ex24_GM04_L 0.118 0.013 0.12 0.013 0.119 0.013 0.12 0.013 0.126 0.013
Transformed_CSR_04/Ex24_GM04_Z 0.238 0.247 0.257 0.266 1.069 0.02
Transformed_CSR_04/Ex24_GM04_iGM 3.287 1.512 1.732 1.741 24.3
Transformed_CSR_04/Ex24_Luc06_C 60.0 60.0 60.0 60.0 4.471 0.071
Transformed_CSR_04/Ex24_Luc06_FR 0.749 0.762 1.31 1.322 0.155 0.017
Transformed_CSR_04/Ex24_Luc06_GM 0.88 0.826 1.367 1.368 0.161 0.018
Transformed_CSR_04/Ex24_Luc06_L 0.119 0.013 0.118 0.013 0.119 0.013 0.12 0.013 0.126 0.013
Transformed_CSR_04/Ex24_Luc06_iGM 60.0 60.0 60.0 60.0 59.26
Transformed_CSR_04/Ex25_Luc06_C 9.634 0.163 1.638 0.07 0.94 0.087 0.847 0.071 1.431 0.097
Transformed_CSR_04/Ex25_Luc06_FR 0.532 0.042 0.539 0.042 0.492 0.048 0.499 0.048 1.726 0.05
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Transformed_CSR_04/Ex25_Luc06_GM 0.474 0.036 0.149 0.026 0.17 0.028 0.149 0.026 0.515 0.037
Transformed_CSR_04/Ex25_Luc06_L 0.121 0.014 0.121 0.014 0.12 0.014 0.122 0.014 0.186 0.018
Transformed_CSR_04/Ex25_Luc06_Z 0.284 0.027 0.294 0.028 0.219 0.026 0.227 0.026 0.361 0.033
Transformed_CSR_04/Ex25_Luc06_iGM 5.543 0.117 3.217 0.096 3.052 0.131 3.098 0.126 2.817 0.08
Transformed_CSR_04/Ex26_Luc03b_C 60.0 10.94 0.173 5.787 0.261 5.18 0.217 4.118 0.211
Transformed_CSR_04/Ex26_Luc03b_FR 1.931 1.939 5.065 3.51 59.244
Transformed_CSR_04/Ex26_Luc03b_GM 8.023 0.178 3.44 0.106 3.064 0.163 3.086 0.147 3.884 0.133
Transformed_CSR_04/Ex26_Luc03b_L 0.132 0.017 0.135 0.018 0.134 0.017 0.134 0.017 0.328 0.031
Transformed_CSR_04/Ex26_Luc03b_Z 1.592 1.601 3.78 0.175 3.693 0.173 3.681 0.132
Transformed_CSR_04/Ex26_Luc03b_iGM 46.148 0.43 23.318 0.355 25.051 0.464 19.187 0.357 5.333 0.373
Transformed_CSR_04/Ex2_Luc02a_C 60.0 23.459 22.456 21.911 4.171 0.221
Transformed_CSR_04/Ex2_Luc02a_FR 3.59 1.857 0.067 1.38 0.084 1.366 0.075 1.617 0.065
Transformed_CSR_04/Ex2_Luc02a_GM 8.485 8.48 12.084 12.066 59.297
Transformed_CSR_04/Ex2_Luc02a_L 0.878 0.155 0.024 0.185 0.027 0.155 0.025 0.566 0.024
Transformed_CSR_04/Ex2_Luc02a_Z 1.985 0.179 0.033 0.236 0.039 0.177 0.033 0.792 0.033
Transformed_CSR_04/Ex2_Luc02a_iGM 48.836 14.11 14.603 21.175 4.172 0.199
Transformed_CSR_04/Ex2_Luc03b_C 33.892 0.329 3.498 0.136 5.521 0.2 5.241 0.166 3.94 0.16
Transformed_CSR_04/Ex2_Luc03b_FR 3.061 0.117 2.949 0.116 2.465 0.121 2.468 0.121 4.205 0.198
Transformed_CSR_04/Ex2_Luc03b_GM 1.562 0.076 0.76 0.06 0.831 0.072 0.783 0.067 2.873 0.133
Transformed_CSR_04/Ex2_Luc03b_L 0.127 0.015 0.128 0.015 0.128 0.016 0.128 0.016 0.297 0.03
Transformed_CSR_04/Ex2_Luc03b_Z 1.078 0.061 1.108 0.061 0.327 0.051 0.34 0.052 0.628 0.057
Transformed_CSR_04/Ex2_Luc03b_iGM 19.711 0.247 1.965 0.137 5.716 0.214 7.427 0.239 3.522 0.173
Transformed_CSR_04/Ex3_12_Luc96a_C 24.098 10.835 10.416 10.035 59.326
Transformed_CSR_04/Ex3_12_Luc96a_FR 1.071 0.148 0.024 0.274 0.028 0.148 0.023 0.486 0.024
Transformed_CSR_04/Ex3_12_Luc96a_GM 1.779 1.806 2.193 2.215 59.206
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Transformed_CSR_04/Ex3_12_Luc96a_L 0.122 0.014 0.121 0.014 0.121 0.014 0.123 0.014 0.129 0.014
Transformed_CSR_04/Ex3_12_Luc96a_Z 1.343 0.139 0.02 0.216 0.023 0.139 0.019 0.529 0.019
Transformed_CSR_04/Ex3_12_Luc96a_iGM 12.048 6.936 5.174 5.575 59.345
Transformed_CSR_04/Ex3_2_Luc97_C 60.0 19.072 22.47 21.925 59.441
Transformed_CSR_04/Ex3_2_Luc97_FR 1.979 1.989 3.342 3.188 59.249
Transformed_CSR_04/Ex3_2_Luc97_GM 3.037 3.045 3.588 3.604 59.278
Transformed_CSR_04/Ex3_2_Luc97_L 0.14 0.016 0.14 0.017 0.141 0.016 0.14 0.016 0.149 0.017
Transformed_CSR_04/Ex3_2_Luc97_Z 1.534 1.546 2.814 2.689 59.25
Transformed_CSR_04/Ex3_2_Luc97_iGM 34.732 15.46 18.032 18.198 59.396
Transformed_CSR_04/Ex3_3_25_Bor03_C 58.412 0.392 6.864 0.149 8.221 0.227 7.784 0.192 4.043 0.186
Transformed_CSR_04/Ex3_3_25_Bor03_FR 1.8 2.105 3.222 3.162 59.282
Transformed_CSR_04/Ex3_3_25_Bor03_GM 4.095 0.109 2.379 0.079 4.005 0.137 3.977 0.132 5.918 0.26
Transformed_CSR_04/Ex3_3_25_Bor03_L 0.145 0.019 0.146 0.019 0.145 0.018 0.145 0.018 0.537 0.042
Transformed_CSR_04/Ex3_3_25_Bor03_Z 0.166 0.027 0.165 0.027 0.167 0.026 0.165 0.026 0.173 0.026
Transformed_CSR_04/Ex3_3_25_Bor03_iGM 50.002 0.391 7.832 0.194 19.167 0.402 20.098 0.367 4.246 0.204
Transformed_CSR_04/Ex49_GM04_C 60.0 60.0 51.831 51.451 3.894 0.142
Transformed_CSR_04/Ex49_GM04_FR 4.501 4.504 6.524 6.51 6.467 0.216
Transformed_CSR_04/Ex49_GM04_GM 4.566 0.101 3.33 0.075 4.881 0.119 4.958 0.117 4.646 0.115
Transformed_CSR_04/Ex49_GM04_L 0.14 0.016 0.138 0.016 0.138 0.016 0.138 0.016 0.146 0.016
Transformed_CSR_04/Ex49_GM04_Z 2.025 0.069 2.317 0.067 0.516 0.06 0.527 0.06 1.663 0.061
Transformed_CSR_04/Ex49_GM04_iGM 44.092 0.366 19.685 0.239 23.847 0.395 19.929 0.318 4.096 0.208
Transformed_CSR_04/Ex4_4_Luc96b_C 4.593 0.095 1.109 0.056 1.056 0.071 0.969 0.061 0.835 0.054
Transformed_CSR_04/Ex4_4_Luc96b_FR 0.518 0.523 0.825 0.831 0.183 0.021
Transformed_CSR_04/Ex4_4_Luc96b_GM 0.534 0.032 0.452 0.029 0.48 0.033 0.485 0.032 0.928 0.024
Transformed_CSR_04/Ex4_4_Luc96b_L 0.142 0.015 0.121 0.013 0.131 0.014 0.122 0.013 0.178 0.014
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Transformed_CSR_04/Ex4_4_Luc96b_Z 0.494 0.501 0.6 0.605 0.158 0.019
Transformed_CSR_04/Ex4_4_Luc96b_iGM 1.529 0.056 0.555 0.042 0.617 0.057 0.542 0.049 1.255 0.062
Transformed_CSR_04/Ex4_7_15_Bor03_C 60.0 60.0 60.0 60.0 8.018 0.118
Transformed_CSR_04/Ex4_7_15_Bor03_FR 0.562 0.04 0.45 0.029 0.212 0.029 0.202 0.028 1.346 0.063
Transformed_CSR_04/Ex4_7_15_Bor03_GM 1.097 0.053 0.348 0.031 0.269 0.037 0.21 0.031 1.593 0.056
Transformed_CSR_04/Ex4_7_15_Bor03_L 0.125 0.016 0.136 0.017 0.125 0.016 0.137 0.017 0.774 0.021
Transformed_CSR_04/Ex4_7_15_Bor03_Z 0.242 0.024 0.249 0.023 0.171 0.022 0.18 0.021 0.888 0.03
Transformed_CSR_04/Ex4_7_15_Bor03_iGM 7.135 0.147 4.971 0.129 5.4 0.188 5.709 0.193 3.782 0.106
Transformed_CSR_04/Ex4_7_37_Bor03_C 60.0 22.066 29.3 28.67 59.501
Transformed_CSR_04/Ex4_7_37_Bor03_FR 6.306 3.251 1.358 0.076 0.854 0.064 3.3 0.14
Transformed_CSR_04/Ex4_7_37_Bor03_GM 17.693 17.661 24.031 23.991 59.282
Transformed_CSR_04/Ex4_7_37_Bor03_L 0.139 0.019 0.138 0.019 0.138 0.019 0.138 0.019 0.146 0.019
Transformed_CSR_04/Ex4_7_37_Bor03_Z 6.214 4.102 0.624 0.06 0.314 0.049 0.968 0.046
Transformed_CSR_04/Ex4_7_37_Bor03_iGM 60.0 17.229 15.646 19.754 59.427
Transformed_CSR_04/Ex4_7_56_Bor03_C 30.765 16.937 11.275 11.01 59.33
Transformed_CSR_04/Ex4_7_56_Bor03_FR 0.555 0.039 0.148 0.024 0.276 0.029 0.148 0.024 0.464 0.025
Transformed_CSR_04/Ex4_7_56_Bor03_GM 1.189 1.342 1.62 1.63 1.305 0.054
Transformed_CSR_04/Ex4_7_56_Bor03_L 0.122 0.014 0.122 0.014 0.123 0.013 0.121 0.014 0.128 0.014
Transformed_CSR_04/Ex4_7_56_Bor03_Z 0.245 0.024 0.137 0.02 0.217 0.024 0.136 0.02 0.584 0.02
Transformed_CSR_04/Ex4_7_56_Bor03_iGM 8.807 4.31 5.936 4.888 5.358 0.205
Transformed_CSR_04/Ex4_7_77_Bor03_C 26.538 23.437 25.49 0.093 16.912 0.078 2.151 0.062
Transformed_CSR_04/Ex4_7_77_Bor03_FR 0.125 0.016 0.125 0.016 0.126 0.016 0.125 0.016 0.189 0.019
Transformed_CSR_04/Ex4_7_77_Bor03_GM 0.367 0.029 0.287 0.026 0.289 0.029 0.291 0.028 0.409 0.036
Transformed_CSR_04/Ex4_7_77_Bor03_L 0.118 0.013 0.118 0.013 0.119 0.012 0.118 0.013 0.126 0.013
Transformed_CSR_04/Ex4_7_77_Bor03_iGM 2.338 1.595 1.123 0.074 1.026 0.07 2.577 0.052
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Transformed_CSR_04/Ex4_DLMMU04_C 60.0 60.0 50.141 48.842 59.609
Transformed_CSR_04/Ex4_DLMMU04_FR 60.0 60.0 60.0 60.0 2.016 0.044
Transformed_CSR_04/Ex4_DLMMU04_GM 60.0 60.0 60.0 60.0 59.371
Transformed_CSR_04/Ex4_DLMMU04_L 0.143 0.021 0.143 0.022 0.142 0.022 0.143 0.021 0.149 0.021
Transformed_CSR_04/Ex4_DLMMU04_Z 60.0 60.0 60.0 60.0 2.245 0.043
Transformed_CSR_04/Ex4_DLMMU04_iGM 60.0 60.0 60.0 60.0 59.576
Transformed_CSR_04/Ex4_Zan97_C 31.034 10.04 16.671 16.297 59.36
Transformed_CSR_04/Ex4_Zan97_FR 1.597 0.157 0.027 0.337 0.034 0.159 0.027 0.59 0.027
Transformed_CSR_04/Ex4_Zan97_GM 6.215 6.231 3.645 3.654 59.231
Transformed_CSR_04/Ex4_Zan97_L 0.125 0.015 0.126 0.015 0.126 0.015 0.125 0.015 0.133 0.015
Transformed_CSR_04/Ex4_Zan97_Z 2.333 0.149 0.023 0.287 0.028 0.147 0.023 0.71 0.023
Transformed_CSR_04/Ex4_Zan97_iGM 19.716 7.787 9.211 7.735 59.341
Transformed_CSR_04/Ex5_7_Luc97_C 60.0 25.519 35.465 35.157 59.554
Transformed_CSR_04/Ex5_7_Luc97_FR 4.591 4.866 7.367 7.327 59.314
Transformed_CSR_04/Ex5_7_Luc97_GM 18.832 18.805 22.887 22.753 59.343
Transformed_CSR_04/Ex5_7_Luc97_L 0.143 0.022 0.142 0.021 0.143 0.021 0.142 0.021 0.149 0.021
Transformed_CSR_04/Ex5_7_Luc97_Z 4.398 4.318 6.688 6.625 59.249
Transformed_CSR_04/Ex5_7_Luc97_iGM 60.0 21.83 24.516 28.557 59.526
Transformed_CSR_04/Ex5_DLMMU04_C 60.0 24.917 60.0 60.0 4.942 0.318
Transformed_CSR_04/Ex5_DLMMU04_FR 5.944 5.936 26.108 26.108 59.27
Transformed_CSR_04/Ex5_DLMMU04_GM 15.139 15.043 14.531 0.352 14.563 0.353 4.903 0.196
Transformed_CSR_04/Ex5_DLMMU04_L 0.136 0.019 0.135 0.018 0.136 0.019 0.135 0.018 0.143 0.018
Transformed_CSR_04/Ex5_DLMMU04_Z 4.805 1.324 0.335 0.41 0.2 0.033
Transformed_CSR_04/Ex5_DLMMU04_iGM 60.0 60.0 60.0 60.0 4.513 0.389
Transformed_CSR_04/Ex5_Zan97_C 15.385 10.97 12.696 0.113 12.771 0.107 3.962 0.097
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Transformed_CSR_04/Ex5_Zan97_FR 0.363 0.035 0.372 0.034 0.275 0.032 0.274 0.032 0.405 0.044
Transformed_CSR_04/Ex5_Zan97_GM 1.287 1.306 2.184 0.1 2.205 0.098 0.626 0.056
Transformed_CSR_04/Ex5_Zan97_L 0.119 0.013 0.12 0.013 0.12 0.013 0.121 0.013 0.128 0.014
Transformed_CSR_04/Ex5_Zan97_Z 0.215 0.025 0.224 0.024 0.174 0.022 0.187 0.022 0.32 0.034
Transformed_CSR_04/Ex5_Zan97_iGM 9.583 7.349 8.772 0.113 10.359 0.138 2.88 0.099
Transformed_CSR_04/Ex6_15_AEL02_C 60.0 24.039 43.651 42.381 59.724
Transformed_CSR_04/Ex6_15_AEL02_FR 12.058 5.439 5.076 4.556 59.26
Transformed_CSR_04/Ex6_15_AEL02_GM 39.979 40.076 47.585 47.516 59.385
Transformed_CSR_04/Ex6_15_AEL02_L 0.153 0.027 0.153 0.026 0.153 0.027 0.153 0.027 0.16 0.026
Transformed_CSR_04/Ex6_15_AEL02_Z 21.221 4.908 4.812 4.321 36.522 0.048
Transformed_CSR_04/Ex6_15_AEL02_iGM 60.0 41.549 37.284 34.727 59.65
Transformed_CSR_04/Ex6_9_Luc02c_C 20.238 0.226 2.729 0.107 2.182 0.144 1.9 0.123 1.665 0.101
Transformed_CSR_04/Ex6_9_Luc02c_FR 0.371 0.153 0.025 0.163 0.025 0.154 0.025 0.584 0.025
Transformed_CSR_04/Ex6_9_Luc02c_GM 1.789 1.824 2.266 2.292 1.508 0.058
Transformed_CSR_04/Ex6_9_Luc02c_L 0.123 0.014 0.122 0.014 0.122 0.014 0.122 0.014 0.13 0.014
Transformed_CSR_04/Ex6_9_Luc02c_Z 0.133 0.019 0.142 0.02 0.135 0.019 0.141 0.02 0.826 0.02
Transformed_CSR_04/Ex6_9_Luc02c_iGM 20.272 7.033 8.791 8.671 7.269 0.221
Transformed_CSR_04/Ex6_GM04_C 1.746 0.058 0.862 0.04 0.744 0.047 0.73 0.044 3.472 0.042
Transformed_CSR_04/Ex6_GM04_FR 0.611 0.627 0.617 0.627 0.158 0.017
Transformed_CSR_04/Ex6_GM04_GM 0.131 0.018 0.131 0.018 0.131 0.018 0.132 0.018 0.242 0.023
Transformed_CSR_04/Ex6_GM04_L 0.118 0.013 0.119 0.013 0.119 0.013 0.119 0.013 0.16 0.015
Transformed_CSR_04/Ex6_GM04_iGM 0.863 0.046 0.177 0.032 0.311 0.036 0.176 0.032 3.296 0.028
Transformed_CSR_04/Ex6_Luc98_C 15.862 0.207 2.353 0.099 3.379 0.135 3.114 0.117 3.706 0.112
Transformed_CSR_04/Ex6_Luc98_FR 1.429 0.061 1.254 0.057 1.155 0.067 1.168 0.066 1.913 0.081
Transformed_CSR_04/Ex6_Luc98_GM 1.303 0.061 1.091 0.056 1.095 0.073 1.197 0.071 1.907 0.079
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Transformed_CSR_04/Ex6_Luc98_L 0.122 0.014 0.123 0.014 0.123 0.014 0.122 0.014 0.2 0.021
Transformed_CSR_04/Ex6_Luc98_Z 0.305 0.028 0.143 0.021 0.176 0.025 0.143 0.021 0.399 0.043
Transformed_CSR_04/Ex6_Luc98_iGM 7.541 0.141 3.959 0.121 1.37 0.109 1.07 0.101 2.767 0.106
Transformed_CSR_04/Ex7_BLR02_C 60.0 14.299 17.984 17.524 59.438
Transformed_CSR_04/Ex7_BLR02_FR 2.269 0.783 0.749 0.059 0.55 0.053 1.901 0.073
Transformed_CSR_04/Ex7_BLR02_GM 8.864 8.861 11.259 11.301 59.258
Transformed_CSR_04/Ex7_BLR02_L 0.129 0.016 0.13 0.016 0.129 0.016 0.129 0.016 0.137 0.016
Transformed_CSR_04/Ex7_BLR02_Z 3.184 0.165 0.029 0.348 0.037 0.164 0.029 1.051 0.029
Transformed_CSR_04/Ex7_BLR02_iGM 43.603 11.588 12.897 14.071 59.39
Transformed_CSR_04/Ex8_BLR02_C 54.789 14.388 15.084 14.602 59.43
Transformed_CSR_04/Ex8_BLR02_FR 1.183 0.176 0.034 0.384 0.046 0.177 0.033 0.78 0.034
Transformed_CSR_04/Ex8_BLR02_GM 9.355 9.37 6.997 6.928 59.245
Transformed_CSR_04/Ex8_BLR02_L 0.13 0.018 0.13 0.017 0.206 0.017 0.13 0.018 0.138 0.017
Transformed_CSR_04/Ex8_BLR02_Z 0.798 0.159 0.029 0.294 0.034 0.158 0.029 0.664 0.029
Transformed_CSR_04/Ex8_BLR02_iGM 25.112 10.015 13.926 14.821 59.392
Transformed_CSR_04/Ex9_BLR02_C 45.124 0.354 10.08 0.145 7.152 0.22 6.763 0.181 4.008 0.175
Transformed_CSR_04/Ex9_BLR02_FR 1.226 1.247 2.111 2.118 4.029 0.155
Transformed_CSR_04/Ex9_BLR02_GM 3.478 0.082 3.495 0.08 6.478 0.153 6.63 0.153 2.607 0.099
Transformed_CSR_04/Ex9_BLR02_L 0.134 0.02 0.136 0.02 0.134 0.019 0.178 0.02 0.269 0.024
Transformed_CSR_04/Ex9_BLR02_Z 1.611 0.06 1.139 0.051 1.079 0.06 1.051 0.057 1.668 0.059
Transformed_CSR_04/Ex9_BLR02_iGM 21.804 0.241 8.524 0.194 14.881 0.376 9.111 0.287 4.446 0.228
Transformed_CSR_04/Ex9_Luc04_C 10.675 8.682 10.492 10.425 59.27
Transformed_CSR_04/Ex9_Luc04_FR 0.164 0.171 0.157 0.164 0.154 0.017
Transformed_CSR_04/Ex9_Luc04_GM 0.567 0.57 0.687 0.698 47.929
Transformed_CSR_04/Ex9_Luc04_L 0.136 0.144 0.137 0.146 0.151 0.014
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Transformed_CSR_04/Ex9_Luc04_iGM 2.09 1.006 1.198 1.151 59.207
Transformed_CSR_04/Ex9_Luc06_C 60.0 60.0 60.0 60.0 5.125 0.068
Transformed_CSR_04/Ex9_Luc06_FR 10.709 10.713 10.476 10.488 0.157 0.018
Transformed_CSR_04/Ex9_Luc06_GM 0.294 0.03 0.242 0.026 0.17 0.026 0.17 0.024 0.313 0.031
Transformed_CSR_04/Ex9_Luc06_iGM 60.0 60.0 0.833 0.062 0.778 0.066 3.824 0.063
Transformed_CSR_04/ExAppendixB_AEL03_C 60.0 31.295 43.618 42.618 59.699
Transformed_CSR_04/ExAppendixB_AEL03_FR 13.506 0.246 0.06 0.535 0.067 0.245 0.061 1.22 0.06
Transformed_CSR_04/ExAppendixB_AEL03_GM 39.258 39.502 47.09 47.407 59.401
Transformed_CSR_04/ExAppendixB_AEL03_L 0.151 0.025 0.15 0.025 0.154 0.025 0.15 0.025 0.159 0.026
Transformed_CSR_04/ExAppendixB_AEL03_Z 12.543 0.228 0.054 0.436 0.062 0.227 0.055 2.306 0.054
Transformed_CSR_04/ExAppendixB_AEL03_iGM 60.0 29.578 49.053 39.986 59.499
Transformed_CSR_04/ExConc_Zan97_C 4.501 0.105 1.067 0.054 0.821 0.071 0.752 0.06 1.038 0.066
Transformed_CSR_04/ExConc_Zan97_FR 0.31 0.027 0.135 0.019 0.156 0.021 0.135 0.02 0.46 0.04
Transformed_CSR_04/ExConc_Zan97_GM 0.242 0.021 0.137 0.018 0.157 0.02 0.135 0.018 0.36 0.028
Transformed_CSR_04/ExConc_Zan97_L 0.117 0.012 0.116 0.013 0.118 0.013 0.118 0.012 0.145 0.014
Transformed_CSR_04/ExConc_Zan97_Z 0.123 0.015 0.123 0.015 0.123 0.015 0.126 0.015 0.13 0.015
Transformed_CSR_04/ExConc_Zan97_iGM 2.044 0.065 1.432 0.056 1.339 0.067 1.327 0.066 2.058 0.052
Transformed_CSR_04/ExIntrod_GM01_C 48.098 19.789 60.0 60.0 3.472 0.217
Transformed_CSR_04/ExIntrod_GM01_FR 3.801 3.692 4.592 4.599 0.772 0.028
Transformed_CSR_04/ExIntrod_GM01_GM 11.765 11.797 15.411 0.228 15.436 0.227 3.616 0.118
Transformed_CSR_04/ExIntrod_GM01_L 0.128 0.016 0.129 0.016 0.128 0.016 0.129 0.017 0.136 0.016
Transformed_CSR_04/ExIntrod_GM01_Z 2.177 2.182 54.882 54.802 0.203 0.027
Transformed_CSR_04/ExIntrod_GM01_iGM 60.0 37.763 60.0 60.0 4.212 0.259
Transformed_CSR_04/ExIntrod_GM04_C 60.0 60.0 60.0 60.0 3.593 0.186
Transformed_CSR_04/ExIntrod_GM04_FR 2.97 2.986 5.679 5.816 59.234
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Transformed_CSR_04/ExIntrod_GM04_GM 2.955 0.095 2.218 0.09 1.783 0.113 1.789 0.112 0.808 0.076
Transformed_CSR_04/ExIntrod_GM04_L 0.123 0.015 0.123 0.014 0.124 0.015 0.124 0.015 0.13 0.014
Transformed_CSR_04/ExIntrod_GM04_Z 2.918 2.945 6.022 6.024 1.03 0.032
Transformed_CSR_04/ExIntrod_GM04_iGM 29.824 19.024 14.654 0.308 17.112 0.343 4.237 0.236
Transformed_CSR_04/ExIntrod_GM99_C 60.0 17.225 33.131 32.6 59.532
Transformed_CSR_04/ExIntrod_GM99_FR 1.582 1.131 2.049 2.457 59.31
Transformed_CSR_04/ExIntrod_GM99_GM 10.499 10.815 14.865 13.462 59.285
Transformed_CSR_04/ExIntrod_GM99_L 0.133 0.017 0.134 0.017 0.133 0.018 0.133 0.017 0.141 0.017
Transformed_CSR_04/ExIntrod_GM99_Z 0.988 1.0 3.564 3.066 0.214 0.03
Transformed_CSR_04/ExIntrod_GM99_iGM 60.0 22.271 18.458 17.197 59.481
Transformed_CSR_04/ExIntrod_Zan97_C 60.0 18.398 21.091 20.778 59.458
Transformed_CSR_04/ExIntrod_Zan97_FR 1.78 1.159 1.51 1.509 59.234
Transformed_CSR_04/ExIntrod_Zan97_GM 6.092 6.096 8.674 8.689 59.25
Transformed_CSR_04/ExIntrod_Zan97_L 0.133 0.018 0.133 0.018 0.133 0.018 0.133 0.018 0.14 0.018
Transformed_CSR_04/ExIntrod_Zan97_Z 0.147 0.026 0.146 0.026 0.146 0.026 0.146 0.025 0.154 0.025
Transformed_CSR_04/ExIntrod_Zan97_iGM 28.105 9.052 13.453 11.095 59.335
Transformed_CSR_04/ExProp7_Luc06_C 60.0 60.0 60.0 60.0 5.32 0.118
Transformed_CSR_04/ExProp7_Luc06_FR 0.511 0.382 0.362 0.032 0.352 0.03 1.165 0.052
Transformed_CSR_04/ExProp7_Luc06_GM 2.037 1.719 2.167 0.081 2.179 0.082 1.578 0.056
Transformed_CSR_04/ExProp7_Luc06_L 0.295 0.305 0.291 0.02 0.3 0.02 0.782 0.021
Transformed_CSR_04/ExProp7_Luc06_Z 0.321 0.331 0.299 0.024 0.306 0.023 0.914 0.03
Transformed_CSR_04/ExProp7_Luc06_iGM 60.0 60.0 60.0 60.0 4.385 0.121
Transformed_CSR_04/ExSec11_1_Luc02a_C 60.0 25.38 25.887 25.062 4.293 0.246
Transformed_CSR_04/ExSec11_1_Luc02a_FR 4.099 0.934 0.062 0.714 0.071 0.684 0.067 1.735 0.07
Transformed_CSR_04/ExSec11_1_Luc02a_GM 19.52 19.512 19.794 19.831 59.267
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Transformed_CSR_04/ExSec11_1_Luc02a_L 1.403 0.167 0.028 0.22 0.034 0.167 0.028 0.721 0.028
Transformed_CSR_04/ExSec11_1_Luc02a_Z 2.514 0.193 0.036 0.265 0.045 0.197 0.036 0.91 0.037
Transformed_CSR_04/ExSec11_1_Luc02a_iGM 59.553 16.88 24.012 21.141 4.349 0.233
Transformed_CSR_04/ExSec4_2_DLMMU04_C 60.0 27.859 39.864 38.819 59.653
Transformed_CSR_04/ExSec4_2_DLMMU04_FR 2.583 0.187 0.042 0.314 0.05 0.187 0.041 0.904 0.042
Transformed_CSR_04/ExSec4_2_DLMMU04_GM 19.586 19.607 22.671 22.604 59.362
Transformed_CSR_04/ExSec4_2_DLMMU04_L 0.14 0.02 0.139 0.019 0.14 0.02 0.139 0.02 0.147 0.019
Transformed_CSR_04/ExSec4_2_DLMMU04_Z 2.318 0.175 0.038 0.255 0.041 0.175 0.037 1.959 0.037
Transformed_CSR_04/ExSec4_2_DLMMU04_iGM 60.0 35.673 33.563 35.802 59.611
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_complete-noand_L 0.351 0.105 0.348 0.104 0.348 0.105 0.348 0.106 0.357 0.105
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_complete_C 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_complete_FR 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_complete_GM 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_complete_L 0.243 0.063 0.241 0.065 0.242 0.063 0.242 0.064 0.25 0.063
Transformed_CSR_04/LISTUTILITIES_complete_Z 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_complete_iGM 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_complete_noand_C 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR 60.0 60.0 60.0 60.0 59.765
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L 0.214 0.047 0.214 0.047 0.212 0.047 0.214 0.047 0.221 0.047
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z 60.0 60.0 60.0 60.0 59.82
Transformed_CSR_04/LISTUTILITIES_nokinds_C 60.0 60.0 60.0 60.0 60.0
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Transformed_CSR_04/LISTUTILITIES_nokinds_FR 60.0 60.0 60.0 60.0 59.691
Transformed_CSR_04/LISTUTILITIES_nokinds_GM 60.0 60.0 60.0 60.0 59.736
Transformed_CSR_04/LISTUTILITIES_nokinds_L 0.171 0.034 0.172 0.033 0.172 0.034 0.173 0.033 0.179 0.034
Transformed_CSR_04/LISTUTILITIES_nokinds_Z 44.552 44.407 60.0 60.0 59.617
Transformed_CSR_04/LISTUTILITIES_nokinds_iGM 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR 4.472 2.72 0.694 0.138 0.701 0.137 2.298 0.136
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L 0.171 0.032 0.17 0.032 0.169 0.032 0.17 0.032 0.177 0.032
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z 6.199 6.277 0.593 0.129 0.6 0.129 2.88 0.127
Transformed_CSR_04/LISTUTILITIES_nosorts_C 60.0 28.934 40.284 38.239 59.733
Transformed_CSR_04/LISTUTILITIES_nosorts_FR 2.11 1.541 0.364 0.062 0.36 0.061 1.227 0.061
Transformed_CSR_04/LISTUTILITIES_nosorts_GM 19.904 19.903 27.896 27.986 59.421
Transformed_CSR_04/LISTUTILITIES_nosorts_L 0.144 0.021 0.143 0.021 0.143 0.021 0.143 0.021 0.151 0.021
Transformed_CSR_04/LISTUTILITIES_nosorts_Z 2.143 2.155 0.303 0.053 0.31 0.053 1.091 0.054
Transformed_CSR_04/LISTUTILITIES_nosorts_iGM 60.0 30.561 48.559 38.35 59.708
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM 60.0 60.0 60.0 60.0 59.635
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR 60.0 60.0 60.0 60.0 59.507
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L 0.18 0.037 0.182 0.036 0.18 0.036 0.181 0.036 0.187 0.037
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z 60.0 60.0 60.0 60.0 59.517
Transformed_CSR_04/LengthOfFiniteLists_complete_C 60.0 57.27 60.0 60.0 59.821
Transformed_CSR_04/LengthOfFiniteLists_complete_FR 60.0 60.0 60.0 60.0 59.429
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Transformed_CSR_04/LengthOfFiniteLists_complete_GM 60.0 60.0 60.0 60.0 17.02 0.786
Transformed_CSR_04/LengthOfFiniteLists_complete_L 0.157 0.027 0.158 0.027 0.157 0.027 0.158 0.027 0.164 0.027
Transformed_CSR_04/LengthOfFiniteLists_complete_Z 60.0 60.0 60.0 60.0 59.409
Transformed_CSR_04/LengthOfFiniteLists_complete_iGM 60.0 60.0 60.0 60.0 59.731
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C 60.0 60.0 60.0 60.0 59.825
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM 60.0 60.0 60.0 60.0 25.77 1.287
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR 60.0 60.0 60.0 60.0 59.268
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L 0.143 0.022 0.144 0.022 0.143 0.022 0.143 0.021 0.151 0.022
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z 60.0 60.0 60.0 60.0 59.259
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C 60.0 26.462 60.0 60.0 59.444
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR 60.0 60.0 60.0 60.0 59.347
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM 23.49 0.219 20.526 0.198 9.067 0.186 7.776 0.161 3.051 0.227
Transformed_CSR_04/LengthOfFiniteLists_nokinds_L 0.136 0.018 0.132 0.018 0.132 0.018 0.133 0.018 0.14 0.018
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z 60.0 60.0 60.0 60.0 59.345
Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM 60.0 60.0 60.0 60.0 59.469
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C 60.0 60.0 60.0 60.0 59.697
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM 38.527 0.409 18.417 0.194 28.397 0.371 27.762 0.331 4.314 0.312
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM 60.0 60.0 60.0 60.0 59.557
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR 0.482 0.488 0.561 0.571 0.174 0.022
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L 0.126 0.015 0.125 0.015 0.124 0.015 0.125 0.015 0.133 0.015
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C 45.083 30.358 60.0 60.0 59.319
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR 1.111 1.132 3.15 3.154 0.163 0.019
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM 4.974 3.088 14.489 14.253 0.176 0.025
Transformed_CSR_04/LengthOfFiniteLists_nosorts_L 0.123 0.014 0.123 0.014 0.123 0.014 0.123 0.014 0.132 0.014
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM 43.746 25.043 60.0 60.0 59.294
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C 47.161 28.812 60.0 60.0 59.357
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM 5.162 3.207 13.777 13.831 3.445 0.029
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM 60.0 60.0 60.0 60.0 59.392
Transformed_CSR_04/MYNAT_complete-noand_FR 60.0 60.0 60.0 60.0 59.59
Transformed_CSR_04/MYNAT_complete-noand_L 0.186 0.038 0.185 0.038 0.185 0.038 0.185 0.038 0.193 0.037
Transformed_CSR_04/MYNAT_complete-noand_Z 60.0 60.0 60.0 60.0 59.591
Transformed_CSR_04/MYNAT_complete_C 60.0 60.0 53.572 53.255 59.85
Transformed_CSR_04/MYNAT_complete_FR 60.0 60.0 60.0 60.0 59.436
Transformed_CSR_04/MYNAT_complete_GM 50.196 50.233 60.0 60.0 59.509
Transformed_CSR_04/MYNAT_complete_L 0.156 0.026 0.159 0.027 0.156 0.026 0.157 0.027 0.164 0.026
Transformed_CSR_04/MYNAT_complete_Z 60.0 60.0 60.0 60.0 59.417
Transformed_CSR_04/MYNAT_complete_iGM 60.0 46.362 60.0 60.0 59.87
Transformed_CSR_04/MYNAT_complete_noand_C 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/MYNAT_complete_noand_GM 60.0 60.0 60.0 60.0 59.795
Transformed_CSR_04/MYNAT_complete_noand_iGM 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/MYNAT_nokinds-noand_FR 39.127 39.279 44.051 44.043 59.277
Transformed_CSR_04/MYNAT_nokinds-noand_L 0.147 0.023 0.147 0.023 0.147 0.022 0.147 0.023 0.154 0.023
Transformed_CSR_04/MYNAT_nokinds-noand_Z 29.811 29.855 35.197 35.209 59.276
Transformed_CSR_04/MYNAT_nokinds_C 60.0 22.711 41.634 40.985 59.55
Transformed_CSR_04/MYNAT_nokinds_FR 16.013 16.077 16.79 16.771 59.263
Transformed_CSR_04/MYNAT_nokinds_GM 26.321 26.369 24.089 24.093 59.292
Transformed_CSR_04/MYNAT_nokinds_L 0.136 0.02 0.136 0.019 0.136 0.019 0.137 0.02 0.145 0.019
Transformed_CSR_04/MYNAT_nokinds_Z 15.626 15.64 14.524 14.624 59.264
Transformed_CSR_04/MYNAT_nokinds_iGM 60.0 20.113 21.214 22.251 59.511
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Transformed_CSR_04/MYNAT_nokinds_noand_C 60.0 40.087 52.26 50.692 59.771
Transformed_CSR_04/MYNAT_nokinds_noand_GM 38.458 35.619 24.6 23.97 59.343
Transformed_CSR_04/MYNAT_nokinds_noand_iGM 60.0 48.735 38.176 44.577 59.633
Transformed_CSR_04/MYNAT_nosorts-noand_FR 1.413 1.437 0.329 0.051 0.349 0.052 0.864 0.056
Transformed_CSR_04/MYNAT_nosorts-noand_L 0.132 0.017 0.132 0.018 0.132 0.017 0.132 0.017 0.139 0.017
Transformed_CSR_04/MYNAT_nosorts_C 31.678 11.879 13.168 12.856 3.765 0.126
Transformed_CSR_04/MYNAT_nosorts_FR 0.552 0.142 0.02 0.16 0.023 0.142 0.021 0.288 0.021
Transformed_CSR_04/MYNAT_nosorts_GM 2.874 2.888 3.776 3.782 59.306
Transformed_CSR_04/MYNAT_nosorts_L 0.128 0.015 0.126 0.015 0.127 0.016 0.126 0.015 0.134 0.015
Transformed_CSR_04/MYNAT_nosorts_iGM 13.292 4.842 6.298 5.974 2.338 0.114
Transformed_CSR_04/MYNAT_nosorts_noand_C 60.0 18.761 23.588 23.119 59.596
Transformed_CSR_04/MYNAT_nosorts_noand_GM 9.659 9.677 7.445 7.665 59.301
Transformed_CSR_04/MYNAT_nosorts_noand_iGM 52.974 11.438 17.124 15.698 59.392
Transformed_CSR_04/OvConsOS_complete-noand_FR 60.0 60.0 60.0 60.0 59.856
Transformed_CSR_04/OvConsOS_complete-noand_L 0.214 0.048 0.212 0.048 0.213 0.048 0.211 0.049 0.22 0.048
Transformed_CSR_04/OvConsOS_complete-noand_Z 60.0 60.0 60.0 60.0 59.559
Transformed_CSR_04/OvConsOS_complete_C 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/OvConsOS_complete_FR 60.0 60.0 60.0 60.0 59.627
Transformed_CSR_04/OvConsOS_complete_GM 60.0 60.0 60.0 60.0 59.647
Transformed_CSR_04/OvConsOS_complete_L 0.172 0.033 0.173 0.032 0.173 0.033 0.173 0.032 0.179 0.033
Transformed_CSR_04/OvConsOS_complete_Z 60.0 60.0 60.0 60.0 59.589
Transformed_CSR_04/OvConsOS_complete_iGM 60.0 60.0 60.0 60.0 59.945
Transformed_CSR_04/OvConsOS_complete_noand_C 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/OvConsOS_complete_noand_GM 60.0 60.0 60.0 60.0 59.806
Transformed_CSR_04/OvConsOS_complete_noand_iGM 60.0 60.0 60.0 60.0 60.0
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Transformed_CSR_04/OvConsOS_nokinds-noand_FR 60.0 60.0 60.0 60.0 59.34
Transformed_CSR_04/OvConsOS_nokinds-noand_L 0.158 0.027 0.159 0.028 0.159 0.028 0.16 0.027 0.166 0.027
Transformed_CSR_04/OvConsOS_nokinds-noand_Z 60.0 60.0 60.0 60.0 59.331
Transformed_CSR_04/OvConsOS_nokinds_C 60.0 36.604 60.0 60.0 59.605
Transformed_CSR_04/OvConsOS_nokinds_FR 60.0 60.0 60.0 60.0 59.403
Transformed_CSR_04/OvConsOS_nokinds_GM 60.0 60.0 60.0 60.0 59.413
Transformed_CSR_04/OvConsOS_nokinds_L 0.14 0.021 0.14 0.021 0.14 0.021 0.139 0.021 0.147 0.021
Transformed_CSR_04/OvConsOS_nokinds_Z 60.0 60.0 60.0 60.0 59.408
Transformed_CSR_04/OvConsOS_nokinds_iGM 60.0 60.0 60.0 60.0 59.528
Transformed_CSR_04/OvConsOS_nokinds_noand_C 60.0 60.0 60.0 60.0 59.964
Transformed_CSR_04/OvConsOS_nokinds_noand_GM 60.0 60.0 60.0 60.0 20.382 0.84
Transformed_CSR_04/OvConsOS_nokinds_noand_iGM 60.0 60.0 60.0 60.0 59.764
Transformed_CSR_04/OvConsOS_nosorts-noand_FR 2.209 2.124 5.04 5.067 8.275
Transformed_CSR_04/OvConsOS_nosorts-noand_L 0.135 0.018 0.134 0.018 0.133 0.018 0.134 0.018 0.143 0.018
Transformed_CSR_04/OvConsOS_nosorts-noand_Z 1.713 1.716 3.008 3.011 8.538
Transformed_CSR_04/OvConsOS_nosorts_C 45.72 24.147 60.0 60.0 59.37
Transformed_CSR_04/OvConsOS_nosorts_FR 2.254 2.272 6.774 6.785 0.171 0.023
Transformed_CSR_04/OvConsOS_nosorts_GM 7.672 4.274 13.209 13.509 0.191 0.029
Transformed_CSR_04/OvConsOS_nosorts_L 0.128 0.016 0.127 0.016 0.129 0.015 0.126 0.016 0.134 0.016
Transformed_CSR_04/OvConsOS_nosorts_Z 1.907 1.707 7.137 7.117 0.173 0.023
Transformed_CSR_04/OvConsOS_nosorts_iGM 57.491 38.221 60.0 60.0 59.355
Transformed_CSR_04/OvConsOS_nosorts_noand_C 60.0 42.374 60.0 60.0 59.549
Transformed_CSR_04/OvConsOS_nosorts_noand_GM 17.538 12.972 33.406 33.462 59.269
Transformed_CSR_04/OvConsOS_nosorts_noand_iGM 60.0 60.0 60.0 60.0 59.65
Transformed_CSR_04/PALINDROME_complete-noand_FR 60.0 60.0 7.06 0.414 6.901 0.405 17.291 0.468
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Transformed_CSR_04/PALINDROME_complete-noand_L 0.195 0.042 0.195 0.042 0.195 0.042 0.194 0.041 0.201 0.041
Transformed_CSR_04/PALINDROME_complete-noand_Z 59.013 0.504 52.493 0.466 17.472 0.389 17.535 0.381 25.137 0.466
Transformed_CSR_04/PALINDROME_complete_C 60.0 60.0 60.0 60.0 7.123 0.8
Transformed_CSR_04/PALINDROME_complete_FR 38.111 0.403 27.428 0.317 26.209 0.405 26.097 0.393 20.094 0.488
Transformed_CSR_04/PALINDROME_complete_GM 60.0 60.0 60.0 60.0 43.351 2.171
Transformed_CSR_04/PALINDROME_complete_L 0.164 0.03 0.164 0.03 0.165 0.03 0.166 0.03 0.175 0.03
Transformed_CSR_04/PALINDROME_complete_Z 60.0 60.0 5.29 0.288 5.161 0.275 9.714 0.362
Transformed_CSR_04/PALINDROME_complete_iGM 60.0 60.0 60.0 60.0 8.741 0.87
Transformed_CSR_04/PALINDROME_complete_noand_C 60.0 60.0 60.0 60.0 16.446 2.124
Transformed_CSR_04/PALINDROME_complete_noand_GM 60.0 60.0 36.291 1.103 34.371 1.005 18.969 7.0
Transformed_CSR_04/PALINDROME_complete_noand_iGM 60.0 60.0 60.0 60.0 22.958 1.979
Transformed_CSR_04/PALINDROME_nokinds-noand_FR 7.949 0.195 4.732 0.138 3.085 0.21 3.142 0.206 1.8 0.139
Transformed_CSR_04/PALINDROME_nokinds-noand_L 0.152 0.025 0.153 0.025 0.152 0.025 0.154 0.025 0.159 0.025
Transformed_CSR_04/PALINDROME_nokinds-noand_Z 6.276 0.199 4.392 0.167 1.678 0.144 2.17 0.136 1.539 0.145
Transformed_CSR_04/PALINDROME_nokinds_C 44.053 0.33 16.047 0.149 13.826 0.217 13.496 0.191 3.07 0.174
Transformed_CSR_04/PALINDROME_nokinds_FR 6.305 0.209 7.236 0.19 8.62 0.225 8.417 0.219 1.371 0.147
Transformed_CSR_04/PALINDROME_nokinds_GM 9.785 0.191 8.579 0.162 14.758 0.236 9.543 0.228 2.415 0.258
Transformed_CSR_04/PALINDROME_nokinds_L 0.133 0.018 0.133 0.019 0.134 0.019 0.133 0.019 0.141 0.018
Transformed_CSR_04/PALINDROME_nokinds_Z 3.865 0.135 3.422 0.126 3.626 0.153 3.506 0.142 0.984 0.127
Transformed_CSR_04/PALINDROME_nokinds_iGM 31.698 17.331 0.321 26.334 0.562 13.17 0.369 2.537 0.154
Transformed_CSR_04/PALINDROME_nokinds_noand_C 60.0 33.409 0.314 39.131 0.568 37.745 0.471 4.938 0.523
Transformed_CSR_04/PALINDROME_nokinds_noand_GM 44.94 0.505 9.172 0.209 13.851 0.436 12.947 0.373 3.353 0.335
Transformed_CSR_04/PALINDROME_nokinds_noand_iGM 60.0 60.0 60.0 31.475 0.896 6.994 0.846
Transformed_CSR_04/PALINDROME_nosorts-noand_FR 0.315 0.031 0.141 0.021 0.212 0.023 0.142 0.021 0.313 0.029
Transformed_CSR_04/PALINDROME_nosorts-noand_L 0.23 0.024 0.138 0.022 0.209 0.023 0.139 0.022 0.348 0.031
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Transformed_CSR_04/PALINDROME_nosorts_C 10.772 0.16 2.214 0.083 2.31 0.122 2.034 0.105 2.547 0.145
Transformed_CSR_04/PALINDROME_nosorts_FR 0.291 0.028 0.139 0.02 0.209 0.022 0.14 0.02 0.256 0.024
Transformed_CSR_04/PALINDROME_nosorts_GM 0.952 0.056 0.77 0.051 0.958 0.06 0.661 0.057 0.795 0.073
Transformed_CSR_04/PALINDROME_nosorts_L 0.127 0.016 0.126 0.016 0.127 0.016 0.127 0.016 0.133 0.016
Transformed_CSR_04/PALINDROME_nosorts_iGM 7.993 6.184 0.131 6.377 0.214 5.133 0.188 1.311 0.084
Transformed_CSR_04/PALINDROME_nosorts_noand_C 16.787 0.218 2.771 0.094 2.369 0.133 2.126 0.117 2.629 0.142
Transformed_CSR_04/PALINDROME_nosorts_noand_GM 1.501 0.076 0.955 0.065 0.799 0.069 0.765 0.065 1.569 0.136
Transformed_CSR_04/PALINDROME_nosorts_noand_iGM 8.546 10.174 0.18 6.866 0.21 8.211 0.236 1.446 0.087
Transformed_CSR_04/PEANO_complete-noand_FR 32.662 0.34 32.702 0.341 17.462 0.191 17.466 0.191 13.121 0.461
Transformed_CSR_04/PEANO_complete-noand_L 0.158 0.027 0.156 0.027 0.157 0.026 0.156 0.027 0.163 0.026
Transformed_CSR_04/PEANO_complete-noand_Z 19.201 0.206 19.3 0.208 21.566 0.197 21.632 0.199 26.148 0.825
Transformed_CSR_04/PEANO_complete_C 60.0 27.603 39.265 38.235 59.637
Transformed_CSR_04/PEANO_complete_FR 51.177 0.142 49.349 0.126 54.846 0.461 54.165 0.452 20.884 0.487
Transformed_CSR_04/PEANO_complete_GM 60.0 60.0 33.013 0.275 30.934 0.253 12.915 0.666
Transformed_CSR_04/PEANO_complete_L 0.141 0.021 0.141 0.021 0.14 0.02 0.145 0.021 0.149 0.021
Transformed_CSR_04/PEANO_complete_Z 14.365 0.165 14.369 0.165 29.929 0.164 29.968 0.164 7.483 0.137
Transformed_CSR_04/PEANO_complete_iGM 60.0 60.0 60.0 60.0 59.516
Transformed_CSR_04/PEANO_complete_noand_C 60.0 60.0 60.0 60.0 59.959
Transformed_CSR_04/PEANO_complete_noand_GM 60.0 53.731 0.359 58.247 0.516 57.848 0.458 12.735 0.897
Transformed_CSR_04/PEANO_complete_noand_iGM 60.0 60.0 60.0 60.0 58.885
Transformed_CSR_04/PEANO_nokinds-noand_FR 6.807 0.114 6.384 0.106 4.067 0.127 4.063 0.126 3.571 0.154
Transformed_CSR_04/PEANO_nokinds-noand_L 0.134 0.018 0.134 0.018 0.134 0.018 0.136 0.018 0.141 0.018
Transformed_CSR_04/PEANO_nokinds-noand_Z 3.467 0.106 3.521 0.117 3.443 0.116 3.46 0.116 3.022 0.156
Transformed_CSR_04/PEANO_nokinds_C 45.4 17.673 23.5 23.069 59.426
Transformed_CSR_04/PEANO_nokinds_FR 3.207 0.11 3.01 0.106 2.758 0.114 2.745 0.114 4.333 0.214
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Transformed_CSR_04/PEANO_nokinds_GM 5.142 0.123 3.259 0.091 4.992 0.191 5.056 0.192 4.517 0.203
Transformed_CSR_04/PEANO_nokinds_L 0.128 0.017 0.129 0.017 0.129 0.017 0.13 0.017 0.137 0.017
Transformed_CSR_04/PEANO_nokinds_Z 2.67 0.078 2.684 0.078 2.492 0.103 2.485 0.102 3.604 0.192
Transformed_CSR_04/PEANO_nokinds_iGM 46.275 0.389 24.079 0.281 11.123 0.303 19.761 0.465 16.246 0.5
Transformed_CSR_04/PEANO_nokinds_noand_C 60.0 38.304 30.242 29.456 59.518
Transformed_CSR_04/PEANO_nokinds_noand_GM 7.775 0.183 3.742 0.107 14.767 0.222 14.52 0.201 7.673 0.363
Transformed_CSR_04/PEANO_nokinds_noand_iGM 60.0 46.234 0.499 42.621 0.718 57.609 0.761 28.779 0.714
Transformed_CSR_04/PEANO_nosorts-noand_FR 0.382 0.032 0.395 0.032 0.231 0.03 0.239 0.03 0.485 0.046
Transformed_CSR_04/PEANO_nosorts-noand_L 0.124 0.015 0.126 0.015 0.124 0.015 0.125 0.016 0.131 0.015
Transformed_CSR_04/PEANO_nosorts_C 9.648 0.155 1.858 0.08 2.106 0.113 1.969 0.101 2.107 0.119
Transformed_CSR_04/PEANO_nosorts_FR 0.174 0.021 0.132 0.018 0.141 0.018 0.133 0.017 0.207 0.022
Transformed_CSR_04/PEANO_nosorts_GM 1.469 0.074 1.16 0.064 0.905 0.062 0.736 0.055 0.535 0.05
Transformed_CSR_04/PEANO_nosorts_L 0.122 0.014 0.124 0.014 0.121 0.014 0.122 0.014 0.13 0.014
Transformed_CSR_04/PEANO_nosorts_iGM 9.12 0.183 4.763 0.116 4.318 0.167 4.499 0.16 1.087 0.07
Transformed_CSR_04/PEANO_nosorts_noand_C 18.146 0.216 3.74 0.112 3.335 0.149 3.064 0.134 2.666 0.146
Transformed_CSR_04/PEANO_nosorts_noand_GM 1.254 0.069 1.063 0.063 2.255 0.107 2.2 0.103 0.841 0.086
Transformed_CSR_04/PEANO_nosorts_noand_iGM 20.014 0.284 6.55 0.174 7.516 0.25 5.693 0.211 2.065 0.146
Various_04/02 0.125 0.016 0.131 0.016 0.127 0.016 0.131 0.016 0.184 0.016
Various_04/03 0.128 0.017 0.134 0.017 0.13 0.017 0.134 0.018 0.237 0.018
Various_04/04 0.707 0.728 0.387 0.405 1.929
Various_04/05 0.43 0.449 0.348 0.368 1.796
Various_04/06 0.144 0.025 0.144 0.025 0.146 0.025 0.145 0.026 0.221 0.031
Various_04/07 0.122 0.016 0.123 0.016 0.126 0.016 0.123 0.016 0.17 0.019
Various_04/08 1.508 1.549 0.557 0.583 5.016
Various_04/09 0.153 0.032 0.153 0.032 0.155 0.032 0.153 0.031 0.238 0.032
problem basic_ttt2 ceta1 sc_ttt2 ceta2 ur_ttt2 ceta3 scur_ttt2 ceta4 full_ttt2 ceta5
Various_04/10 13.395 10.368 0.795 0.069 0.795 0.068 1.864 0.067
Various_04/11 0.213