DI Martin Korp  
Home Teaching Research
Research
Publications Talks TTT2 TTTbox

Results for TRSs

problem t e s nv g c r *
AG01/#3.1 0.145 0.152 0.193 0.202 60.0 0.155 0.156 0.175
AG01/#3.10 0.201 0.201 13.216 60.0 60.0 0.255 0.261 0.373
AG01/#3.12 0.174 0.148 0.227 0.262 60.0 0.168 0.199 0.221
AG01/#3.13 0.185 0.19 60.0 60.0 60.0 0.207 0.219 0.25
AG01/#3.15 0.145 0.154 0.151 0.151 0.192 0.145 0.157 0.189
AG01/#3.16 0.155 0.149 0.252 0.401 60.0 0.154 0.155 0.176
AG01/#3.17 0.168 0.167 0.435 0.588 60.0 0.209 0.242 0.284
AG01/#3.17a 0.184 0.169 0.535 0.815 60.0 0.216 0.279 0.33
AG01/#3.18 0.161 0.155 0.306 0.432 60.0 0.169 0.174 0.186
AG01/#3.19 0.169 0.159 0.657 3.785 60.0 0.183 0.193 0.228
AG01/#3.2 0.142 0.153 0.211 0.262 60.0 0.165 0.153 0.164
AG01/#3.21 0.153 0.146 0.219 0.274 60.0 0.15 0.154 0.168
AG01/#3.22 0.179 0.152 0.391 0.979 60.0 0.198 0.193 0.247
AG01/#3.23 0.142 0.144 0.167 0.17 60.0 0.149 0.149 0.15
AG01/#3.24 0.139 0.144 0.166 0.175 60.0 0.148 0.158 0.171
AG01/#3.26 0.14 0.141 0.157 0.161 1.311 0.139 0.149 0.177
AG01/#3.29 0.137 0.14 0.158 0.167 0.154 0.144 0.135 0.164
AG01/#3.31 0.138 0.135 0.175 0.201 60.0 0.159 0.144 0.156
AG01/#3.33 0.147 0.147 0.167 0.174 0.199 0.156 0.161 0.163
AG01/#3.35 0.149 0.138 0.151 0.143 0.142 0.141 0.144 0.168
AG01/#3.36 0.148 0.162 0.355 0.728 60.0 0.184 0.166 0.229
AG01/#3.37 0.158 0.153 0.243 0.236 60.0 0.163 0.181 0.195
AG01/#3.38 0.16 0.152 0.327 0.343 60.0 0.162 0.152 0.176
AG01/#3.39 0.159 0.167 0.264 0.323 60.0 0.187 0.174 0.208
AG01/#3.4 0.181 0.179 0.362 0.585 60.0 0.196 0.208 0.248
problem t e s nv g c r *
AG01/#3.40 0.204 0.198 0.743 5.068 60.0 0.197 0.197 0.243
AG01/#3.41 0.138 0.152 0.164 0.149 0.161 0.144 0.143 0.18
AG01/#3.42 0.157 0.159 0.207 0.243 60.0 0.154 0.169 0.202
AG01/#3.47 0.147 0.146 0.187 0.219 60.0 0.156 0.147 0.168
AG01/#3.48 0.161 0.169 0.495 5.141 60.0 0.182 0.191 0.21
AG01/#3.49 0.154 0.155 0.162 0.171 0.234 0.153 0.189 0.229
AG01/#3.5 0.17 0.166 0.36 0.504 60.0 0.167 0.165 0.21
AG01/#3.51 0.165 0.161 0.227 0.25 60.0 0.162 0.162 0.173
AG01/#3.52 0.144 0.14 0.179 0.187 0.344 0.154 0.147 0.16
AG01/#3.53 0.178 0.175 1.015 9.582 60.0 0.205 0.208 0.262
AG01/#3.53a 0.147 0.151 0.167 0.162 0.159 0.139 0.135 0.151
AG01/#3.53b 0.14 0.148 0.184 0.176 0.349 0.146 0.143 0.168
AG01/#3.54 0.146 0.146 0.197 0.273 60.0 0.157 0.148 0.189
AG01/#3.55 0.187 0.202 11.443 60.0 60.0 0.248 0.25 0.382
AG01/#3.56 0.149 0.175 0.191 0.227 60.0 0.153 0.171 0.2
AG01/#3.57 0.172 0.191 3.068 60.0 60.0 0.228 0.218 0.26
AG01/#3.5a 0.159 0.167 0.455 0.613 60.0 0.17 0.189 0.195
AG01/#3.5b 0.173 0.176 0.67 7.535 60.0 0.186 0.203 0.233
AG01/#3.6 0.16 0.173 0.457 0.722 60.0 0.175 0.182 0.208
AG01/#3.6a 0.163 0.163 0.39 0.588 60.0 0.168 0.178 0.21
AG01/#3.6b 0.169 0.179 0.706 9.557 60.0 0.197 0.219 0.231
AG01/#3.7 0.152 0.146 0.174 0.174 9.578 0.147 0.146 0.177
AG01/#3.8a 0.163 0.159 0.382 0.652 60.0 0.164 0.163 0.214
AG01/#3.8b 0.176 0.174 1.16 18.421 60.0 0.188 0.2 0.268
AG01/#4.30c 0.157 0.159 0.466 0.771 60.0 0.174 0.177 0.217
problem t e s nv g c r *
AProVE_04/AAECC-ring 0.278 0.304 60.0 60.0 60.0 0.659 0.664 1.036
AProVE_04/AAECC 0.203 0.206 15.432 36.25 60.0 0.317 0.335 0.461
AProVE_04/IJCAR_1 0.157 0.142 0.177 0.189 0.458 0.177 0.169 0.179
AProVE_04/IJCAR_12 0.195 0.195 0.527 1.017 60.0 0.192 0.203 0.23
AProVE_04/IJCAR_18 0.189 0.187 10.537 60.0 60.0 0.257 0.244 0.358
AProVE_04/IJCAR_26 0.201 0.201 20.615 60.0 60.0 0.267 0.268 0.408
AProVE_04/IJCAR_26a 0.211 0.213 21.847 60.0 60.0 0.283 0.301 0.4
AProVE_04/JFP_Ex31 0.172 0.177 1.764 60.0 60.0 0.221 0.221 0.293
AProVE_04/JFP_Ex51 0.192 0.175 6.088 60.0 60.0 0.217 0.22 0.307
AProVE_04/LPAR_intlist 0.154 0.167 0.367 0.385 60.0 0.167 0.184 0.204
AProVE_04/Liveness6.1 0.155 0.159 0.555 0.605 60.0 0.186 0.236 0.275
AProVE_04/Liveness6.2 0.167 0.162 0.353 0.404 60.0 0.17 0.198 0.236
AProVE_04/Liveness6.3 0.178 0.185 2.568 4.649 60.0 0.225 0.471 0.453
AProVE_04/Liveness6.4 0.192 0.186 0.919 1.009 60.0 0.245 0.382 0.485
AProVE_04/Liveness8 0.167 0.189 2.684 2.4 60.0 0.253 0.433 0.554
AProVE_04/Liveness_WRS 0.201 0.208 1.666 3.535 60.0 0.282 60.0 0.776
AProVE_04/fac 0.154 0.163 0.529 1.493 60.0 0.192 0.173 0.222
AProVE_04/forward_instantiation 0.134 0.141 0.17 0.164 0.288 0.138 0.14 0.161
AProVE_04/forward_instantiation2 0.154 0.141 0.168 0.178 0.297 0.149 0.151 0.156
AProVE_04/improved_usable 0.139 0.158 0.205 0.225 6.864 0.147 0.17 0.171
AProVE_04/improved_usable2 0.154 0.143 0.209 0.203 0.446 0.155 0.145 0.167
AProVE_04/rta1 0.164 0.169 0.459 1.375 60.0 60.0 60.0 1.175
AProVE_04/rta2 0.146 0.137 0.171 0.168 0.162 0.144 0.142 0.156
AProVE_04/rta3 0.164 0.157 0.423 0.825 60.0 0.164 0.168 0.201
AProVE_06/div_notCeTermin 0.178 0.185 2.215 5.917 60.0 0.234 0.235 0.249
problem t e s nv g c r *
AProVE_06/div_notTermin 0.181 0.183 13.052 60.0 60.0 0.268 0.277 0.373
AProVE_06/factorial1 0.163 0.167 0.581 1.233 60.0 0.173 0.18 0.233
AProVE_06/factorial2 0.174 0.162 1.508 5.012 60.0 0.188 0.182 0.255
AProVE_06/identity 0.165 0.164 0.407 0.475 60.0 0.196 60.0 0.708
AProVE_06/logarithm 0.188 0.189 1.553 4.877 60.0 0.198 0.209 0.259
AProVE_06/mapHard 0.198 0.229 6.24 60.0 60.0 60.0 60.0 0.259
AProVE_06/modulo 0.172 0.173 0.707 60.0 60.0 0.187 0.184 0.222
AProVE_06/nonterm 0.163 0.163 0.427 0.647 60.0 0.182 0.186 0.229
AProVE_06/quicksort 0.205 0.199 15.517 60.0 60.0 0.262 0.269 0.359
AProVE_06/quot 0.165 0.169 0.525 2.616 60.0 0.195 0.197 0.235
AProVE_06/sizeChange 0.161 0.164 60.0 60.0 60.0 0.172 0.162 0.184
AProVE_06/tower 0.17 0.175 0.956 3.721 60.0 0.19 0.185 0.231
AProVE_06/tower_sizeChange 0.169 0.169 0.571 0.746 60.0 0.195 60.0 0.692
AProVE_07/kabasci01 0.25 0.254 60.0 60.0 60.0 0.626 0.631 1.03
AProVE_07/kabasci02 0.221 0.226 60.0 60.0 60.0 2.237 2.235 1.245
AProVE_07/kabasci03 0.183 0.18 18.052 60.0 60.0 60.0 60.0 1.194
AProVE_07/kabasci04 0.165 0.167 0.976 3.573 60.0 0.18 0.183 0.221
AProVE_07/kabasci05 0.174 0.197 4.983 15.993 60.0 0.215 0.228 0.281
AProVE_07/kabasci06 0.204 0.199 5.699 60.0 60.0 0.468 0.471 0.304
AProVE_07/otto01 0.191 0.176 6.541 60.0 60.0 0.263 0.257 0.332
AProVE_07/otto02 0.193 0.178 1.074 60.0 60.0 0.219 0.211 0.256
AProVE_07/otto03 0.165 0.146 0.276 0.36 60.0 0.154 0.171 0.183
AProVE_07/otto04 0.198 0.193 3.391 60.0 60.0 0.236 0.243 0.302
AProVE_07/otto05 0.169 0.163 0.576 1.375 60.0 0.182 0.186 0.219
AProVE_07/otto06 0.19 0.18 2.751 60.0 60.0 0.243 0.218 0.316
problem t e s nv g c r *
AProVE_07/otto07 0.15 0.145 0.245 0.317 60.0 0.158 0.148 0.174
AProVE_07/otto08 0.173 0.176 0.951 4.24 60.0 0.203 0.189 0.234
AProVE_07/otto09 0.168 0.163 0.464 1.544 60.0 0.19 0.169 0.192
AProVE_07/otto10 0.178 0.171 3.613 60.0 60.0 0.187 0.19 0.217
AProVE_07/otto11 0.163 0.171 1.243 60.0 60.0 0.191 0.191 0.245
AProVE_07/otto12 0.184 0.167 1.199 60.0 60.0 0.195 0.198 0.217
AProVE_07/otto13 0.171 0.18 1.477 60.0 60.0 0.221 0.216 0.285
AProVE_07/thiemann01 0.175 0.178 0.73 2.062 60.0 0.179 0.189 0.222
AProVE_07/thiemann02 0.222 0.215 32.472 60.0 60.0 0.305 0.314 0.463
AProVE_07/thiemann03 0.171 0.164 1.362 5.525 60.0 0.192 0.19 0.257
AProVE_07/thiemann04 0.22 0.214 60.0 60.0 60.0 0.272 0.254 0.346
AProVE_07/thiemann05 0.167 0.174 0.543 1.508 60.0 0.17 0.182 0.202
AProVE_07/thiemann06 0.175 0.183 60.0 60.0 60.0 0.21 0.196 0.251
AProVE_07/thiemann07 0.21 0.205 13.868 60.0 60.0 0.248 0.234 0.307
AProVE_07/thiemann08 0.166 0.169 0.777 1.892 60.0 0.189 0.187 0.218
AProVE_07/thiemann09 0.195 0.203 3.973 11.056 60.0 0.23 0.244 0.306
AProVE_07/thiemann10 0.163 0.179 0.778 1.587 60.0 0.195 0.185 0.208
AProVE_07/thiemann11 0.181 0.174 1.137 60.0 60.0 0.195 0.201 0.233
AProVE_07/thiemann12 0.164 0.166 0.833 1.587 60.0 0.182 0.175 0.219
AProVE_07/thiemann13 0.198 0.176 1.923 14.114 60.0 0.213 0.21 0.266
AProVE_07/thiemann14 0.193 0.194 12.488 60.0 60.0 0.235 0.245 0.291
AProVE_07/thiemann15 0.169 0.156 0.644 1.134 60.0 0.169 0.173 0.197
AProVE_07/thiemann16 0.174 0.185 20.74 60.0 60.0 0.222 0.225 0.296
AProVE_07/thiemann17 0.166 0.165 1.049 14.925 60.0 0.19 0.206 0.224
AProVE_07/thiemann18 0.205 0.21 19.497 60.0 60.0 0.263 0.25 0.351
problem t e s nv g c r *
AProVE_07/thiemann19 0.168 0.161 1.264 3.344 60.0 0.196 0.198 0.27
AProVE_07/thiemann20 0.177 0.189 0.682 1.316 60.0 0.199 0.222 0.246
AProVE_07/thiemann21 0.235 0.243 25.455 60.0 60.0 0.268 0.292 0.383
AProVE_07/thiemann22 0.165 0.169 0.46 3.487 60.0 0.19 0.177 0.235
AProVE_07/thiemann23 0.169 0.166 0.339 0.382 60.0 0.183 0.177 0.201
AProVE_07/thiemann24 0.178 0.188 0.71 4.211 60.0 0.18 0.19 0.218
AProVE_07/thiemann25 0.172 0.172 0.462 60.0 60.0 0.163 0.164 0.206
AProVE_07/thiemann26 0.177 0.163 0.953 20.04 60.0 0.194 0.179 0.211
AProVE_07/thiemann27 0.147 0.156 0.242 0.314 60.0 0.177 0.173 0.201
AProVE_07/thiemann28 0.185 0.209 1.139 60.0 60.0 0.206 0.216 0.245
AProVE_07/thiemann29 0.175 0.176 1.223 60.0 60.0 0.211 0.215 0.247
AProVE_07/thiemann30 0.205 0.215 16.561 60.0 60.0 0.312 0.32 0.433
AProVE_07/thiemann31 0.186 0.19 0.68 60.0 60.0 0.213 0.204 0.239
AProVE_07/thiemann32 0.182 0.179 1.443 3.976 60.0 0.219 0.217 0.277
AProVE_07/thiemann33 0.185 0.163 0.965 2.372 60.0 0.196 0.225 0.28
AProVE_07/thiemann34 0.17 0.173 1.082 5.486 60.0 0.197 0.2 0.237
AProVE_07/thiemann35 0.202 0.219 20.166 60.0 60.0 28.528 28.688 0.745
AProVE_07/thiemann36 0.176 0.173 5.913 60.0 60.0 0.191 0.192 0.218
AProVE_07/thiemann37 0.191 0.193 60.0 60.0 60.0 0.235 0.238 0.304
AProVE_07/thiemann38 0.171 0.172 1.344 60.0 60.0 0.199 0.225 0.252
AProVE_07/thiemann39 0.22 0.223 17.779 60.0 60.0 60.0 60.0 0.36
AProVE_07/thiemann40 0.179 0.183 0.379 0.419 43.281 0.177 0.184 0.205
AProVE_07/thiemann41 0.177 0.165 0.906 60.0 60.0 0.195 0.207 0.252
AProVE_07/wiehe01 0.197 0.203 4.201 27.741 60.0 6.217 6.021 1.222
AProVE_07/wiehe02 0.213 0.232 13.813 60.0 60.0 13.306 13.121 1.238
problem t e s nv g c r *
AProVE_07/wiehe03 0.217 0.203 16.59 60.0 60.0 14.469 14.394 1.216
AProVE_07/wiehe05 0.185 0.179 1.091 5.278 60.0 0.259 0.265 0.372
AProVE_07/wiehe06 0.193 0.188 6.187 46.83 60.0 9.315 8.899 1.202
AProVE_07/wiehe07 0.186 0.213 6.953 60.0 60.0 43.037 46.365 1.221
AProVE_07/wiehe08 0.199 0.197 1.689 7.554 60.0 0.262 0.273 0.381
AProVE_07/wiehe09 0.186 0.202 8.181 42.371 60.0 7.833 7.792 1.198
AProVE_07/wiehe11 0.218 0.223 33.715 60.0 60.0 24.64 24.18 1.243
AProVE_07/wiehe12 0.238 0.234 60.0 60.0 60.0 60.0 60.0 1.268
AProVE_08/id_inc 0.173 0.167 0.382 0.781 60.0 0.174 0.187 0.204
AProVE_08/log 0.165 0.167 0.618 1.27 60.0 0.203 0.212 0.252
AProVE_08/parting01_reverse 0.171 0.174 1.271 60.0 60.0 0.193 0.191 0.255
AProVE_08/parting02_doublelist 0.169 0.165 1.142 60.0 60.0 0.2 0.197 0.228
AProVE_08/parting03_minsort 0.208 0.189 4.936 60.0 60.0 0.239 0.224 0.304
AProVE_08/parting04_maxsort_h 0.187 0.208 10.841 60.0 60.0 0.254 0.254 0.35
AProVE_08/parting05_maxsort 0.194 0.194 6.712 60.0 60.0 0.225 0.224 0.293
AProVE_08/round 0.156 0.148 0.209 0.267 60.0 0.162 0.163 0.195
AProVE_08/round_nonterm 0.162 0.147 0.206 0.255 60.0 0.152 0.16 0.187
AProVE_08/thiemann40_modified 0.156 0.153 0.472 0.773 60.0 0.171 0.161 0.185
AProVE_09_Inductive/div 0.175 0.18 1.207 19.197 60.0 0.204 0.195 0.239
AProVE_09_Inductive/divhard 0.184 0.182 1.94 22.393 60.0 0.219 0.2 0.245
AProVE_09_Inductive/gcd 0.177 0.182 1.338 23.228 60.0 0.216 0.206 0.256
AProVE_09_Inductive/gcd2 0.176 0.18 1.408 26.482 60.0 0.218 0.22 0.264
AProVE_09_Inductive/gcdhard 0.184 0.173 1.205 7.639 60.0 0.197 0.199 0.26
AProVE_09_Inductive/log 0.165 0.166 0.794 1.496 60.0 0.208 0.198 0.247
AProVE_09_Inductive/maxsort 0.182 0.183 5.852 60.0 60.0 0.227 0.232 0.339
problem t e s nv g c r *
AProVE_09_Inductive/maxsortcondition 0.194 0.193 9.868 60.0 60.0 0.215 0.232 0.279
AProVE_09_Inductive/minsort 0.194 0.185 5.582 60.0 60.0 0.215 0.213 0.291
AProVE_09_Inductive/mod 0.172 0.166 1.448 25.363 60.0 0.183 0.183 0.237
AProVE_09_Inductive/qsort 0.19 0.18 7.075 60.0 60.0 0.254 0.238 0.301
AProVE_09_Inductive/qsortlast 0.203 0.2 12.118 60.0 60.0 60.0 60.0 0.336
AProVE_09_Inductive/qsortmiddle 0.217 0.223 37.057 60.0 60.0 60.0 60.0 0.441
AProVE_09_Inductive/zerolist 0.163 0.173 0.392 0.677 60.0 0.186 0.183 0.222
AotoYamada_05/001 0.145 0.146 0.2 0.253 60.0 0.163 0.163 0.168
AotoYamada_05/002 0.166 0.158 1.197 16.129 60.0 0.227 0.242 0.188
AotoYamada_05/003 0.164 0.159 0.312 1.768 60.0 0.405 0.416 0.187
AotoYamada_05/004 0.164 0.159 0.403 1.864 60.0 0.209 0.212 0.198
AotoYamada_05/005 0.159 0.156 0.255 0.417 60.0 0.179 0.326 0.378
AotoYamada_05/006 0.154 0.157 1.324 60.0 60.0 0.196 0.2 0.2
AotoYamada_05/007 0.163 0.156 0.636 2.044 60.0 0.233 0.223 0.192
AotoYamada_05/009 0.175 0.177 3.815 18.743 60.0 0.263 0.254 0.235
AotoYamada_05/010 0.18 0.187 3.101 16.581 60.0 0.368 0.377 0.277
AotoYamada_05/011 0.181 0.178 1.02 4.914 60.0 0.269 0.28 0.235
AotoYamada_05/012 0.215 0.225 2.227 4.22 60.0 0.304 0.316 0.268
AotoYamada_05/013 0.228 0.232 1.257 18.479 60.0 0.299 0.298 0.228
AotoYamada_05/014 0.184 0.187 1.788 6.677 60.0 0.318 0.319 0.246
AotoYamada_05/015 0.237 0.258 0.554 1.371 60.0 0.318 0.312 0.3
AotoYamada_05/016 0.294 0.276 4.402 60.0 60.0 0.312 0.318 0.239
AotoYamada_05/017 0.138 0.144 0.169 0.154 60.0 0.134 0.158 0.165
AotoYamada_05/019 0.151 0.146 0.205 0.471 60.0 0.153 0.165 0.163
AotoYamada_05/020 0.167 0.171 0.806 3.72 60.0 0.339 0.344 0.327
problem t e s nv g c r *
AotoYamada_05/021 0.28 0.283 2.896 60.0 60.0 0.482 0.478 0.369
AotoYamada_05/022 0.277 0.296 0.695 9.866 60.0 0.362 0.362 0.328
AotoYamada_05/023 0.156 0.271 0.209 0.228 60.0 0.153 0.166 0.19
AotoYamada_05/024 0.151 0.149 0.25 0.743 60.0 0.17 0.17 0.177
AotoYamada_05/025 0.149 0.164 0.157 0.16 0.167 0.159 0.161 0.185
AotoYamada_05/026 0.186 0.189 0.455 36.8 60.0 0.193 0.213 0.192
AotoYamada_05/027 0.172 0.171 0.725 13.819 60.0 0.236 0.253 0.215
AotoYamada_05/028 0.168 0.184 0.451 1.526 60.0 0.229 0.23 0.224
AotoYamada_05/Ex1SimplyTyped 0.177 0.154 0.508 1.466 60.0 0.281 0.269 0.262
AotoYamada_05/Ex5TermProof 0.218 0.202 1.585 38.358 60.0 0.297 0.319 0.245
Applicative_05/BTreeMember 0.177 0.182 18.737 60.0 60.0 60.0 60.0 0.235
Applicative_05/Ex10Functional 0.202 0.214 60.0 60.0 60.0 0.454 0.44 0.408
Applicative_05/Ex2PrimRec 0.141 0.148 0.257 35.642 60.0 0.155 0.158 0.18
Applicative_05/Ex2_6_1Composition 0.151 0.14 0.173 0.176 60.0 0.148 0.164 0.18
Applicative_05/Ex2_8_1ConstSubstFix 0.147 0.148 0.259 0.7 60.0 0.155 0.158 0.179
Applicative_05/Ex3Lists 0.18 0.187 1.306 39.889 60.0 0.297 0.299 0.273
Applicative_05/Ex4MapList 0.157 0.153 0.271 0.483 60.0 0.192 0.183 0.187
Applicative_05/Ex5Folding 0.187 0.189 4.545 60.0 60.0 0.393 0.393 0.355
Applicative_05/Ex5Sorting 0.306 0.324 60.0 60.0 60.0 0.706 0.683 0.485
Applicative_05/Ex6Folding 0.165 0.178 7.184 60.0 60.0 0.24 0.241 0.249
Applicative_05/Ex6Recursor 0.159 0.162 0.347 2.022 60.0 0.156 0.153 0.174
Applicative_05/Ex6_11 0.149 0.155 0.231 0.371 60.0 0.269 0.262 0.165
Applicative_05/Ex7OrdinalRec 0.181 0.185 60.0 60.0 60.0 0.304 0.295 0.276
Applicative_05/Ex7Sorting 0.217 0.213 60.0 60.0 60.0 60.0 60.0 0.361
Applicative_05/Ex7_9 0.219 0.206 13.488 60.0 60.0 0.527 0.512 0.289
problem t e s nv g c r *
Applicative_05/Ex8Polymorphic 0.187 0.177 0.705 60.0 60.0 0.253 0.251 0.224
Applicative_05/Ex9Maps 0.195 0.2 46.499 60.0 60.0 60.0 60.0 0.281
Applicative_05/Hamming 0.283 0.282 60.0 60.0 60.0 60.0 60.0 1.319
Applicative_05/ReverseLastInit 0.177 0.175 0.785 2.843 60.0 0.229 0.569 0.562
Applicative_05/TakeDropWhile 0.182 0.171 1.086 5.658 60.0 0.287 0.269 0.222
Applicative_05/TreeFlatten 0.17 0.172 1.633 52.063 60.0 0.51 0.509 0.249
Applicative_05/TreeHeight 0.181 0.19 2.815 60.0 60.0 60.0 60.0 0.248
Applicative_05/TreeLevels 0.217 0.195 10.974 60.0 60.0 60.0 60.0 0.289
Applicative_05/TreeMap 0.155 0.173 0.491 16.918 60.0 0.296 0.293 0.206
Applicative_05/TreeSize 0.171 0.17 1.204 58.34 60.0 0.558 0.548 0.241
Applicative_05/TypeEx1 0.141 0.147 0.213 0.296 60.0 0.21 0.199 0.246
Applicative_05/TypeEx3 0.168 0.163 0.561 7.443 60.0 60.0 60.0 1.185
Applicative_05/TypeEx5 0.151 0.141 0.137 0.149 0.179 0.146 0.142 0.16
Applicative_05/mapDivMinus 0.184 0.19 0.986 17.066 60.0 0.275 0.265 0.222
Applicative_05/mapDivMinusHard 0.179 0.18 1.999 28.982 60.0 0.316 0.318 0.247
Applicative_05/nonTermF 0.147 0.167 9.277 60.0 60.0 60.0 60.0 1.165
Applicative_05/termMonTypes 0.153 0.163 0.313 0.753 60.0 0.155 0.154 0.169
Applicative_first_order_05/#3.10 0.303 0.323 60.0 60.0 60.0 2.693 2.689 0.769
Applicative_first_order_05/#3.13 0.31 0.314 60.0 60.0 60.0 23.713 23.675 0.649
Applicative_first_order_05/#3.16 0.221 0.212 11.449 60.0 60.0 0.572 0.549 0.33
Applicative_first_order_05/#3.18 0.232 0.232 21.425 60.0 60.0 0.829 0.812 0.407
Applicative_first_order_05/#3.2 0.208 0.203 9.672 60.0 60.0 0.545 0.527 0.321
Applicative_first_order_05/#3.22 0.206 0.222 15.347 60.0 60.0 0.742 0.717 0.413
Applicative_first_order_05/#3.25 0.183 0.188 2.857 45.861 60.0 0.445 0.45 0.271
Applicative_first_order_05/#3.27 0.185 0.193 2.808 24.49 60.0 0.373 0.374 0.266
problem t e s nv g c r *
Applicative_first_order_05/#3.32 0.2 0.197 2.84 60.0 60.0 0.346 0.357 0.245
Applicative_first_order_05/#3.36 0.198 0.22 13.64 60.0 60.0 0.618 0.622 0.401
Applicative_first_order_05/#3.38 0.241 0.227 15.831 60.0 60.0 0.681 0.684 0.332
Applicative_first_order_05/#3.40 0.249 0.25 38.79 60.0 60.0 3.539 3.589 0.485
Applicative_first_order_05/#3.45 0.192 0.195 7.328 57.8 60.0 0.437 0.452 0.282
Applicative_first_order_05/#3.48 0.217 0.217 18.999 60.0 60.0 1.059 1.004 0.347
Applicative_first_order_05/#3.52 0.196 0.197 3.9 60.0 60.0 0.493 0.488 0.291
Applicative_first_order_05/#3.55 0.286 0.314 60.0 60.0 60.0 2.173 2.225 0.737
Applicative_first_order_05/#3.57 0.241 0.259 60.0 60.0 60.0 1.316 1.243 0.509
Applicative_first_order_05/#3.6 0.233 0.228 39.071 60.0 60.0 0.851 0.896 0.41
Applicative_first_order_05/#3.8 0.209 0.213 18.974 60.0 60.0 60.0 60.0 0.371
Applicative_first_order_05/01 0.209 0.215 19.563 60.0 60.0 4.452 4.629 0.577
Applicative_first_order_05/02 0.213 0.218 11.403 44.046 60.0 4.293 4.298 0.54
Applicative_first_order_05/06 0.196 0.184 2.872 60.0 60.0 0.428 0.43 0.253
Applicative_first_order_05/08 0.198 0.215 11.817 60.0 60.0 0.778 0.775 0.365
Applicative_first_order_05/11 0.262 0.269 60.0 60.0 60.0 2.575 2.611 0.88
Applicative_first_order_05/12 0.204 0.22 13.003 60.0 60.0 0.725 0.731 0.385
Applicative_first_order_05/13 0.209 0.221 11.764 60.0 60.0 0.628 0.65 0.386
Applicative_first_order_05/17 0.227 0.221 20.916 60.0 60.0 25.083 23.958 0.82
Applicative_first_order_05/18 0.184 0.181 2.508 60.0 60.0 0.395 0.412 0.264
Applicative_first_order_05/21 0.21 0.217 17.416 60.0 60.0 0.691 0.656 0.36
Applicative_first_order_05/29 0.202 0.205 5.291 56.593 60.0 0.459 0.464 0.289
Applicative_first_order_05/30 0.206 0.199 60.0 60.0 60.0 0.542 0.53 0.337
Applicative_first_order_05/31 0.202 0.211 9.094 60.0 60.0 0.664 0.673 0.338
Applicative_first_order_05/33 0.231 0.241 21.83 60.0 60.0 0.891 0.902 0.423
problem t e s nv g c r *
Applicative_first_order_05/hydra 0.203 0.201 10.888 60.0 60.0 0.604 0.584 0.316
Applicative_first_order_05/minsort 0.251 0.262 60.0 60.0 60.0 25.266 24.606 0.51
Applicative_first_order_05/motivation 0.206 0.21 4.654 49.765 60.0 0.44 0.424 0.281
Applicative_first_order_05/perfect 0.235 0.239 60.0 60.0 60.0 1.174 1.156 0.458
Applicative_first_order_05/perfect2 0.261 0.276 60.0 60.0 60.0 1.411 1.44 0.56
Beerendonk_07/1 0.154 0.143 0.258 0.4 60.0 0.153 0.166 0.173
Beerendonk_07/10 0.167 0.167 1.252 1.79 60.0 0.198 0.202 0.239
Beerendonk_07/11 0.173 0.168 0.648 1.357 60.0 0.183 0.201 0.221
Beerendonk_07/12 0.157 0.168 0.523 1.15 60.0 0.167 0.195 0.207
Beerendonk_07/13 0.157 0.166 0.383 0.745 60.0 0.171 0.187 0.206
Beerendonk_07/14 0.158 0.168 0.424 0.576 60.0 0.173 0.195 0.211
Beerendonk_07/15 0.169 0.172 0.692 1.387 60.0 0.208 0.209 0.253
Beerendonk_07/16 0.167 0.186 0.862 20.869 60.0 0.214 0.215 0.3
Beerendonk_07/17 0.205 0.199 1.817 7.412 60.0 0.239 0.247 0.309
Beerendonk_07/18 0.208 0.195 0.776 3.808 60.0 0.223 0.225 0.272
Beerendonk_07/19 0.186 0.187 0.974 60.0 60.0 0.223 0.224 0.273
Beerendonk_07/2 0.159 0.154 0.279 0.396 60.0 0.157 0.152 0.184
Beerendonk_07/20 0.18 0.172 1.717 7.167 60.0 0.201 0.21 0.243
Beerendonk_07/21 0.181 0.181 2.106 60.0 60.0 0.191 0.191 0.238
Beerendonk_07/22 0.166 0.163 0.348 0.532 60.0 0.191 0.19 0.213
Beerendonk_07/23 0.164 0.159 0.399 8.109 60.0 0.217 0.199 0.232
Beerendonk_07/24 0.202 0.207 1.028 7.231 60.0 0.267 0.251 0.306
Beerendonk_07/3 0.155 0.146 0.283 0.595 60.0 0.158 0.151 0.193
Beerendonk_07/4 0.151 0.143 0.213 0.292 60.0 0.147 0.156 0.172
Beerendonk_07/5 0.157 0.16 0.899 1.339 60.0 0.183 0.184 0.215
problem t e s nv g c r *
Beerendonk_07/6 0.152 0.144 0.28 0.263 60.0 0.154 0.158 0.181
Beerendonk_07/7 0.145 0.156 0.323 0.327 60.0 0.168 0.157 0.176
Beerendonk_07/8 0.171 0.159 0.553 1.369 60.0 0.19 0.175 0.201
Beerendonk_07/9 0.155 0.165 0.644 60.0 60.0 0.18 0.174 0.192
Bouchare_06/01 0.154 0.139 0.195 0.296 60.0 0.154 0.183 0.206
Bouchare_06/02 0.151 0.155 0.203 0.236 60.0 0.147 0.178 0.203
Bouchare_06/03 0.142 0.151 0.213 0.27 60.0 0.157 0.188 0.232
Bouchare_06/04 0.155 0.161 0.223 0.3 60.0 0.16 0.213 0.206
Bouchare_06/05 0.151 0.148 0.2 0.32 60.0 0.154 0.208 0.248
Bouchare_06/06 0.157 0.162 0.199 0.318 60.0 0.162 0.197 0.214
Bouchare_06/07 0.165 0.167 0.253 0.287 60.0 0.178 0.229 0.238
Bouchare_06/08 0.157 0.147 0.203 0.23 60.0 0.155 0.178 0.208
Bouchare_06/09 0.147 0.155 0.21 0.324 60.0 0.161 0.164 0.209
Bouchare_06/10 0.146 0.147 0.227 0.355 60.0 0.159 0.167 0.207
Bouchare_06/11 0.148 0.148 0.198 0.257 60.0 0.149 0.17 0.193
Bouchare_06/12 0.137 0.14 0.171 0.171 60.0 0.151 0.15 0.157
Bouchare_06/13 0.166 0.15 0.19 0.279 60.0 0.153 0.174 0.214
Bouchare_06/14 0.145 0.164 0.21 0.225 34.155 0.15 0.179 0.242
Bouchare_06/15 0.145 0.147 0.207 0.293 60.0 0.152 0.186 0.258
Bouchare_06/16 0.156 0.142 0.188 0.223 60.0 0.144 0.184 0.235
Bouchare_06/17 0.163 0.15 0.205 0.288 60.0 0.167 0.222 0.232
Bouchare_06/18 0.145 0.143 0.197 0.335 60.0 0.163 0.188 0.218
CiME_04/ack_prolog 0.158 0.166 0.395 0.817 60.0 0.169 0.173 0.21
CiME_04/append-hard 0.16 0.168 0.255 0.287 45.659 0.153 0.165 0.174
CiME_04/append-wrong 0.158 0.144 0.27 0.31 60.0 0.154 0.173 0.182
problem t e s nv g c r *
CiME_04/append 0.147 0.151 0.167 0.175 0.174 0.155 0.147 0.157
CiME_04/big 0.293 0.335 60.0 60.0 60.0 0.776 0.797 1.171
CiME_04/boolean_rings 0.17 0.173 0.514 0.862 60.0 0.18 0.195 0.174
CiME_04/dpqs 0.154 0.142 0.2 0.203 60.0 0.156 0.172 0.156
CiME_04/fact-hard 0.16 0.174 1.714 6.041 60.0 0.212 0.196 0.288
CiME_04/filliatre 0.179 0.178 3.258 3.29 60.0 0.194 0.351 0.386
CiME_04/filliatre2 0.186 0.178 5.439 8.687 60.0 0.193 0.502 0.527
CiME_04/filliatre3 0.178 0.184 10.024 60.0 60.0 0.201 0.202 0.283
CiME_04/intersect 0.191 0.196 10.837 60.0 60.0 0.237 0.242 0.335
CiME_04/list-sum-prod-assoc-append 0.178 0.172 5.887 37.127 60.0 0.247 0.251 0.364
CiME_04/list-sum-prod-assoc 0.182 0.178 1.521 14.841 60.0 0.2 0.221 0.285
CiME_04/list-sum-prod-bin-assoc-distr-app 0.222 0.195 22.678 60.0 60.0 0.348 0.349 0.51
CiME_04/list-sum-prod-bin-assoc 0.173 0.175 8.405 47.242 60.0 0.256 0.245 0.337
CiME_04/list-sum-prod-bin 0.172 0.169 4.861 11.714 60.0 0.23 0.236 0.298
CiME_04/list-sum-prod 0.169 0.16 0.786 2.138 60.0 0.183 0.182 0.227
CiME_04/log2 0.223 0.222 53.84 60.0 60.0 0.329 0.341 0.409
CiME_04/lse 0.209 0.205 16.801 60.0 60.0 0.298 0.299 0.396
CiME_04/maude2 0.194 0.207 4.424 18.615 60.0 0.285 0.288 0.41
CiME_04/mucrl1 1.018 1.033 60.0 60.0 60.0 2.105 2.152 2.107
CiME_04/ternary-hard 0.21 0.225 38.727 60.0 60.0 0.367 0.349 0.516
CiME_04/ternary 0.214 0.206 27.161 60.0 60.0 0.322 0.315 0.432
CiME_04/tree 0.252 0.254 60.0 60.0 60.0 0.532 0.512 0.711
Der95/01 0.152 0.152 0.148 0.156 0.153 0.15 0.15 0.153
Der95/02 0.139 0.161 0.144 0.149 0.143 0.151 0.142 0.144
Der95/03 0.135 0.148 0.139 0.132 0.133 0.135 0.139 0.13
problem t e s nv g c r *
Der95/04 0.141 0.136 0.151 0.158 0.593 0.153 0.163 0.182
Der95/06 0.142 0.144 0.142 0.154 0.15 0.148 0.137 0.155
Der95/07 0.147 0.152 0.189 0.208 1.75 0.145 0.157 0.169
Der95/08 0.157 0.152 0.165 0.161 0.178 0.155 0.154 0.178
Der95/09 0.142 0.139 0.148 0.154 22.676 0.133 0.148 0.165
Der95/11 0.174 0.172 0.251 0.24 0.288 0.204 0.18 0.236
Der95/12 0.152 0.167 0.257 0.336 60.0 0.168 0.163 0.209
Der95/13 0.162 0.153 0.268 1.465 60.0 0.16 0.164 0.201
Der95/17 0.159 0.157 0.42 0.778 60.0 0.164 0.24 0.263
Der95/18 0.138 0.135 0.148 0.153 0.139 0.14 0.149 0.161
Der95/20 0.142 0.142 0.226 0.306 60.0 0.188 0.195 0.255
Der95/21 0.158 0.159 0.388 0.699 60.0 0.178 0.178 0.195
Der95/27 0.143 0.146 0.138 0.156 0.14 0.154 0.14 0.158
Der95/28 0.149 0.146 0.244 0.343 60.0 0.135 0.143 0.15
Der95/30 0.153 0.151 5.76 60.0 60.0 0.159 0.158 0.162
Der95/31 0.145 0.164 0.219 0.247 60.0 0.162 0.158 0.185
Der95/32 0.166 0.167 1.17 60.0 60.0 0.169 0.166 0.212
Der95/33 0.166 0.159 0.467 60.0 60.0 0.188 0.177 0.22
Endrullis_06/direct 0.142 0.153 0.161 0.154 1.895 0.147 0.242 0.277
Endrullis_06/labeling 0.138 0.137 0.199 0.657 60.0 0.138 0.135 0.154
Endrullis_06/linear1 0.171 0.148 0.257 0.369 60.0 0.166 60.0 0.215
Endrullis_06/linear2 0.161 0.165 0.29 0.527 60.0 0.219 0.355 0.336
Endrullis_06/pair2hard 0.159 0.146 0.24 1.684 60.0 0.174 0.153 0.179
Endrullis_06/pair2simple1 0.144 0.145 0.197 0.256 60.0 0.15 0.144 0.166
Endrullis_06/pair2simple2 0.137 0.143 0.211 0.313 60.0 0.145 0.146 0.159
problem t e s nv g c r *
Endrullis_06/pair3hard 0.149 0.145 0.601 60.0 60.0 0.144 0.147 0.154
Endrullis_06/pair3rotate 0.142 0.142 0.18 0.185 60.0 0.149 0.185 0.203
Endrullis_06/pair3swap 0.149 0.144 0.167 0.195 60.0 0.154 0.174 0.191
Endrullis_06/quadruple1 0.136 0.148 0.15 0.163 14.018 0.15 0.17 0.191
Endrullis_06/quadruple2 0.145 0.146 0.173 0.183 60.0 0.162 0.185 0.183
GTSSK07/cade01 0.165 0.149 0.241 0.321 60.0 0.148 0.15 0.177
GTSSK07/cade03 0.145 0.162 0.27 0.35 60.0 0.152 0.158 0.181
GTSSK07/cade04t 0.148 0.162 0.227 0.492 60.0 0.148 0.167 0.181
GTSSK07/cade05t 0.156 0.178 0.516 1.421 60.0 0.176 0.181 0.207
GTSSK07/cade06 0.157 0.163 0.447 5.452 60.0 0.191 0.186 0.229
GTSSK07/cade07 0.165 0.149 0.289 2.933 60.0 0.161 0.163 0.206
GTSSK07/cade08 0.165 0.168 0.408 6.993 60.0 0.169 0.166 0.22
GTSSK07/cade09 0.154 0.158 0.383 1.459 60.0 0.178 0.171 0.214
GTSSK07/cade10 0.155 0.161 0.333 1.267 60.0 0.16 0.165 0.202
GTSSK07/cade11 0.146 0.142 0.219 0.282 60.0 0.147 0.15 0.171
GTSSK07/cade12t 0.175 0.181 0.926 2.165 60.0 0.182 0.192 0.233
GTSSK07/cade13t 0.157 0.171 0.434 2.497 60.0 0.17 0.188 0.211
GTSSK07/cade14 0.178 0.178 0.634 1.811 60.0 0.178 0.182 0.216
GTSSK07/cade15 0.193 0.182 5.96 45.745 60.0 0.238 0.236 0.31
GTSSK07/cade16 0.163 0.156 0.766 6.413 60.0 0.18 0.188 0.226
GTSSK07/cade17 0.175 0.185 2.189 60.0 60.0 0.221 0.221 0.33
HirokawaMiddeldorp_04/n002 0.141 0.132 0.136 0.144 0.149 0.145 0.138 0.147
HirokawaMiddeldorp_04/n003 0.136 0.136 0.136 0.137 0.148 0.146 0.148 0.141
HirokawaMiddeldorp_04/n004 0.141 0.151 0.14 0.153 0.139 0.131 0.129 0.145
HirokawaMiddeldorp_04/n005 0.133 0.13 0.16 0.15 0.174 0.138 0.136 0.158
problem t e s nv g c r *
HirokawaMiddeldorp_04/n006 0.144 0.127 0.137 0.14 0.134 0.141 0.161 0.14
HirokawaMiddeldorp_04/n007 0.134 0.143 0.17 0.149 0.147 0.139 0.134 0.149
HirokawaMiddeldorp_04/n008 0.157 0.129 0.146 0.159 0.148 0.15 0.151 0.141
HirokawaMiddeldorp_04/t000 0.336 0.327 60.0 60.0 60.0 0.413 0.775 0.802
HirokawaMiddeldorp_04/t001 0.176 0.175 5.028 60.0 60.0 0.21 0.196 0.257
HirokawaMiddeldorp_04/t002 0.165 0.165 0.765 3.196 60.0 0.178 0.19 0.212
HirokawaMiddeldorp_04/t003 0.181 0.185 2.794 60.0 60.0 0.2 0.193 0.253
HirokawaMiddeldorp_04/t004 0.144 0.138 0.178 0.194 60.0 0.152 0.154 0.187
HirokawaMiddeldorp_04/t005 0.581 0.587 60.0 60.0 60.0 0.943 0.955 0.915
HirokawaMiddeldorp_04/t006 0.132 0.137 0.144 0.153 0.161 0.133 0.147 0.144
HirokawaMiddeldorp_04/t007 0.14 0.155 0.148 0.146 0.152 0.142 0.153 0.163
HirokawaMiddeldorp_04/t008 0.151 0.145 0.267 0.383 60.0 0.169 0.187 0.231
HirokawaMiddeldorp_04/t009 0.357 0.367 1.492 1.524 60.0 0.513 42.915 1.021
HirokawaMiddeldorp_04/t010 0.15 0.141 0.15 0.143 0.146 0.143 0.146 0.158
HirokawaMiddeldorp_04/t011 0.135 0.148 0.149 0.164 0.165 0.147 0.147 0.167
HirokawaMiddeldorp_04/t012 0.149 0.152 0.333 0.658 60.0 0.194 0.236 0.317
HirokawaMiddeldorp_04/t013 0.161 0.157 0.424 0.967 60.0 0.169 0.17 0.229
HirokawaMiddeldorp_04/t014 0.171 0.171 0.833 3.97 60.0 0.174 0.181 0.2
Mixed_CTRS/quick 0.174 0.174 60.0 60.0 60.0 0.224 0.229 0.279
Mixed_TRS/1 0.159 0.152 0.156 0.157 60.0 0.161 0.16 0.173
Mixed_TRS/2 0.138 0.15 0.173 0.195 60.0 0.165 60.0 0.17
Mixed_TRS/3 0.139 0.144 0.172 0.18 60.0 0.152 0.155 0.159
Mixed_TRS/4 0.141 0.144 0.168 0.154 13.898 0.159 0.159 0.175
Mixed_TRS/5 0.135 0.142 0.169 0.167 0.3 0.145 0.154 0.149
Mixed_TRS/6 0.152 0.141 0.166 0.168 60.0 0.148 0.163 0.168
problem t e s nv g c r *
Mixed_TRS/7 0.149 0.149 1.82 13.107 60.0 0.16 0.14 0.163
Mixed_TRS/Ex1_Luc04b_GM 0.176 0.187 11.085 8.482 60.0 0.246 60.0 0.741
Mixed_TRS/beans 0.179 0.183 0.287 0.364 60.0 0.207 60.0 0.696
Mixed_TRS/gcd 0.169 0.164 0.602 1.747 60.0 0.18 0.181 0.224
Mixed_TRS/gcdMinMax 0.165 0.165 0.573 1.787 60.0 0.196 0.18 0.209
Mixed_TRS/gcd_triple 0.178 0.189 0.859 20.292 60.0 0.229 0.21 0.274
Mixed_TRS/hydra-Zantema06 0.171 0.175 0.568 41.295 60.0 0.183 0.186 0.23
Mixed_TRS/hydra 0.165 0.154 0.27 0.623 60.0 0.152 0.168 0.165
Mixed_TRS/jones1 0.146 0.135 0.144 0.151 0.144 0.14 0.144 0.173
Mixed_TRS/jones2 0.148 0.147 0.187 0.189 0.162 0.139 0.146 0.157
Mixed_TRS/jones4 0.133 0.151 0.154 0.152 0.221 0.14 0.15 0.186
Mixed_TRS/jones5 0.149 0.146 0.169 0.172 0.183 0.149 0.15 0.166
Mixed_TRS/jones6 0.146 0.142 0.157 0.156 0.163 0.15 0.164 0.196
Mixed_TRS/minsort 0.173 0.188 3.077 17.719 60.0 0.206 0.199 0.239
Mixed_TRS/motivation 0.138 0.139 0.189 0.216 60.0 0.141 0.162 0.181
Mixed_TRS/perfect 0.184 0.153 0.422 0.478 60.0 0.169 0.179 0.19
Mixed_TRS/perfect2 0.182 0.186 3.929 60.0 60.0 0.199 0.198 0.245
Mixed_TRS/test1 0.144 0.142 0.172 0.162 0.18 0.15 0.151 0.155
Mixed_TRS/while 0.151 0.148 0.188 0.233 60.0 0.156 0.151 0.165
Mixed_TRS/while2 0.146 0.155 0.747 3.519 60.0 0.182 0.169 0.169
Rubio_04/aoto 0.138 0.146 0.17 0.181 60.0 0.158 0.165 0.171
Rubio_04/bintrees 0.15 0.153 0.19 0.18 60.0 0.156 0.16 0.177
Rubio_04/bn122 0.151 0.153 0.191 0.395 60.0 0.168 0.145 0.18
Rubio_04/bn129 0.146 0.145 0.205 0.233 60.0 0.158 0.214 0.25
Rubio_04/division 0.167 0.172 0.563 6.262 60.0 0.18 0.179 0.209
problem t e s nv g c r *
Rubio_04/elimdupl 0.167 0.159 0.692 8.102 60.0 0.199 0.181 0.212
Rubio_04/enno 0.171 0.17 17.223 60.0 60.0 0.212 0.228 0.283
Rubio_04/gcd 0.184 0.163 0.475 0.691 60.0 0.173 0.173 0.217
Rubio_04/gm 0.154 0.155 0.217 0.277 60.0 0.157 0.153 0.174
Rubio_04/gmnp 0.149 0.147 0.161 0.171 0.175 0.165 0.163 0.162
Rubio_04/koen 0.137 0.156 0.173 0.172 0.16 0.154 0.147 0.172
Rubio_04/lescanne 0.144 0.142 0.19 0.231 60.0 0.162 0.302 0.305
Rubio_04/lindau 0.15 0.149 0.218 0.247 60.0 0.151 0.184 0.218
Rubio_04/logarquot 0.164 0.17 0.322 0.497 60.0 0.161 0.17 0.204
Rubio_04/ma96 0.205 0.21 24.009 60.0 60.0 0.254 0.259 0.337
Rubio_04/mfp90b 0.142 0.139 0.166 0.153 0.154 0.152 0.159 0.183
Rubio_04/mfp95 0.144 0.139 0.167 0.138 0.141 0.138 0.141 0.145
Rubio_04/nestrec 0.149 0.146 0.165 0.167 2.033 0.15 0.143 0.164
Rubio_04/p266 0.141 0.139 0.179 0.196 60.0 0.142 0.157 0.152
Rubio_04/polo2 0.188 0.181 0.241 0.243 0.279 0.193 0.183 0.231
Rubio_04/prov 0.149 0.147 0.211 0.231 60.0 0.162 0.15 0.164
Rubio_04/quick 0.175 0.177 4.794 60.0 60.0 0.248 0.244 0.327
Rubio_04/quotminus 0.157 0.168 0.367 0.673 60.0 0.172 0.162 0.203
Rubio_04/revlist 0.16 0.162 0.34 0.351 60.0 0.173 0.174 0.2
Rubio_04/selsort 0.209 0.213 11.326 60.0 60.0 0.249 0.259 0.35
Rubio_04/test4 0.159 0.14 0.165 0.165 0.189 0.161 0.168 0.181
Rubio_04/test829 0.139 0.145 0.152 0.149 0.17 0.157 0.16 0.161
Rubio_04/wst99 0.175 0.18 2.309 60.0 60.0 0.219 0.244 0.29
SK90/2.01 0.165 0.156 0.421 0.804 60.0 0.159 0.231 0.277
SK90/2.02 0.145 0.164 0.203 0.262 60.0 0.158 0.219 0.238
problem t e s nv g c r *
SK90/2.03 0.141 0.145 0.153 0.16 0.148 0.146 0.146 0.155
SK90/2.04 0.141 0.152 0.163 0.17 60.0 0.152 0.157 0.177
SK90/2.05 0.159 0.166 0.355 26.832 60.0 0.193 0.191 0.239
SK90/2.06 0.149 0.16 0.32 7.141 60.0 0.154 0.187 0.225
SK90/2.07 0.15 0.156 0.246 0.381 60.0 0.17 0.161 0.178
SK90/2.08 0.173 0.161 0.405 1.278 60.0 0.177 0.187 0.211
SK90/2.09 0.142 0.144 0.151 0.156 0.154 0.146 0.148 0.18
SK90/2.10 0.161 0.17 0.412 0.747 60.0 0.163 0.2 0.238
SK90/2.11 0.149 0.16 0.16 0.165 0.167 0.146 0.148 0.153
SK90/2.12 0.154 0.166 0.593 1.147 60.0 0.186 0.186 0.221
SK90/2.13 0.149 0.15 0.192 0.186 0.198 0.165 0.158 0.159
SK90/2.14 0.159 0.151 0.185 0.163 0.171 0.169 0.157 0.175
SK90/2.15 0.157 0.147 0.186 0.212 60.0 0.153 0.156 0.173
SK90/2.16 0.166 0.156 0.251 0.289 60.0 0.165 0.165 0.19
SK90/2.17 0.14 0.146 0.164 0.17 0.165 0.148 0.145 0.16
SK90/2.18 0.138 0.137 0.202 0.255 60.0 0.162 0.146 0.164
SK90/2.19 0.155 0.163 0.399 0.637 60.0 0.189 0.163 0.196
SK90/2.20 0.145 0.143 0.158 0.158 0.152 0.147 0.154 0.167
SK90/2.21 0.143 0.144 0.153 0.156 0.159 0.153 0.146 0.178
SK90/2.22 0.148 0.167 0.269 0.51 60.0 0.161 0.15 0.179
SK90/2.23 0.167 0.178 0.818 1.471 60.0 0.171 0.171 0.214
SK90/2.24 0.138 0.145 0.156 0.153 0.147 0.152 0.148 0.178
SK90/2.25 0.15 0.151 0.258 0.355 60.0 0.154 0.155 0.165
SK90/2.26 0.169 0.186 1.023 2.524 60.0 0.217 0.203 0.237
SK90/2.27 0.159 0.16 0.473 0.507 60.0 0.177 0.173 0.201
problem t e s nv g c r *
SK90/2.28 0.149 0.16 0.168 0.169 60.0 0.147 0.137 0.163
SK90/2.29 0.177 0.177 0.203 0.222 0.262 0.166 0.161 0.186
SK90/2.30 0.146 0.161 0.161 0.149 0.154 0.151 0.142 0.147
SK90/2.31 0.145 0.156 0.211 0.242 60.0 0.149 0.16 0.171
SK90/2.32 0.167 0.186 0.326 0.394 60.0 0.16 0.182 0.178
SK90/2.33 0.148 0.153 0.209 0.249 60.0 0.153 0.178 0.219
SK90/2.34 0.154 0.156 0.2 0.25 60.0 0.202 0.18 0.267
SK90/2.35 0.151 0.158 0.225 0.24 11.709 0.173 0.152 0.172
SK90/2.36 0.146 0.141 0.147 0.171 0.171 0.143 0.162 0.196
SK90/2.37 0.141 0.133 0.163 0.166 1.595 0.145 0.143 0.159
SK90/2.38 0.139 0.143 0.173 0.2 60.0 0.152 0.161 0.2
SK90/2.39 0.157 0.161 0.21 0.228 60.0 0.157 0.167 0.224
SK90/2.40 0.146 0.154 0.237 0.369 60.0 0.158 0.165 0.172
SK90/2.41 0.152 0.167 0.169 0.16 0.177 0.151 0.167 0.174
SK90/2.42 0.171 0.168 0.957 2.892 60.0 0.185 0.266 0.318
SK90/2.43 0.158 0.171 0.351 5.382 60.0 0.162 0.177 0.201
SK90/2.44 0.167 0.167 0.413 30.744 60.0 0.186 0.171 0.203
SK90/2.45 0.157 0.165 4.829 60.0 60.0 0.152 0.154 0.178
SK90/2.46 0.146 0.144 0.181 0.194 27.461 0.144 0.157 0.193
SK90/2.47 0.134 0.134 0.148 0.149 0.142 0.154 0.141 0.15
SK90/2.48 0.144 0.143 0.158 0.159 0.147 0.139 0.144 0.169
SK90/2.49 0.156 0.17 0.417 0.364 60.0 0.168 0.178 0.213
SK90/2.50 0.135 0.143 0.158 0.137 0.149 0.141 0.145 0.158
SK90/2.51 0.149 0.143 0.193 0.251 60.0 0.161 0.152 0.185
SK90/2.52 0.177 0.182 4.078 46.944 60.0 0.387 0.389 0.261
problem t e s nv g c r *
SK90/2.53 0.144 0.149 0.149 0.148 0.156 0.152 0.14 0.178
SK90/2.54 0.141 0.145 0.139 0.148 0.146 0.144 0.142 0.163
SK90/2.55 0.136 0.133 0.143 0.143 0.155 0.136 0.137 0.167
SK90/2.56 0.139 0.149 0.147 0.149 0.173 0.14 0.149 0.154
SK90/2.57 0.14 0.138 0.193 0.19 7.332 0.159 0.144 0.176
SK90/2.58 0.149 0.15 0.191 0.177 0.256 0.14 0.15 0.16
SK90/2.59 0.142 0.134 0.145 0.163 0.163 0.142 0.134 0.146
SK90/2.60 0.142 0.142 0.15 0.149 60.0 0.174 0.156 0.153
SK90/2.61 0.18 0.178 0.643 60.0 60.0 0.277 0.303 0.428
SK90/4.01 0.149 0.139 0.155 0.154 0.203 0.156 0.162 0.143
SK90/4.02 0.172 0.176 2.645 14.014 60.0 0.219 0.226 0.273
SK90/4.03 0.158 0.172 0.467 0.894 60.0 0.165 0.179 0.201
SK90/4.04 0.162 0.157 0.19 0.234 60.0 0.148 0.167 0.204
SK90/4.05 0.138 0.145 0.154 0.16 0.153 0.152 0.145 0.168
SK90/4.06 0.154 0.164 0.236 1.728 60.0 0.167 0.162 0.176
SK90/4.07 0.14 0.146 0.193 0.183 60.0 0.141 0.173 0.19
SK90/4.08 0.143 0.138 0.156 0.145 24.458 0.142 0.159 0.18
SK90/4.09 0.152 0.152 0.269 0.794 60.0 0.17 0.165 0.203
SK90/4.10 0.159 0.15 0.182 0.177 0.197 0.156 0.159 0.177
SK90/4.11 0.136 0.167 0.191 0.195 60.0 0.143 0.173 0.178
SK90/4.12 0.142 0.151 0.176 0.166 36.553 0.154 0.147 0.172
SK90/4.13 0.145 0.154 0.174 0.172 0.217 0.149 0.155 0.165
SK90/4.14 0.163 0.157 1.116 3.42 60.0 0.194 0.196 0.222
SK90/4.15 0.14 0.142 0.151 0.166 60.0 0.141 0.151 0.184
SK90/4.16 0.148 0.157 0.165 0.173 0.195 0.157 0.16 0.162
problem t e s nv g c r *
SK90/4.17 0.153 0.156 0.183 0.191 39.046 0.154 0.153 0.179
SK90/4.18 0.157 0.139 0.169 0.168 0.207 0.156 0.157 0.144
SK90/4.19 0.141 0.142 0.161 0.184 60.0 0.151 0.151 0.174
SK90/4.20 0.159 0.163 0.389 0.529 60.0 0.165 0.166 0.178
SK90/4.21 0.164 0.153 0.455 1.013 60.0 0.17 0.179 0.204
SK90/4.22 0.145 0.153 0.209 0.224 60.0 0.17 0.16 0.195
SK90/4.23 0.15 0.144 0.284 6.552 60.0 0.143 0.16 0.174
SK90/4.24 0.149 0.152 0.264 0.333 60.0 0.165 0.159 0.187
SK90/4.25 0.145 0.151 0.154 0.145 0.147 0.141 0.139 0.157
SK90/4.26 0.162 0.152 0.299 0.476 60.0 0.172 0.211 0.259
SK90/4.27 0.162 0.154 0.319 0.342 60.0 0.174 60.0 0.217
SK90/4.28 0.181 0.169 0.218 0.22 0.348 0.17 0.183 0.211
SK90/4.29 0.143 0.145 0.153 0.16 0.389 0.151 0.159 0.177
SK90/4.30 0.16 0.151 0.179 0.18 0.199 0.15 0.18 0.232
SK90/4.31 0.151 0.147 0.202 0.199 60.0 0.161 0.156 0.178
SK90/4.32 0.161 0.164 0.38 0.699 60.0 0.202 60.0 0.703
SK90/4.33 0.141 0.148 0.135 0.148 0.153 0.141 0.147 0.148
SK90/4.34 0.146 0.145 0.174 0.171 1.015 0.138 0.145 0.156
SK90/4.35 0.133 0.132 0.141 0.145 0.15 0.154 0.144 0.136
SK90/4.36 0.15 0.137 0.143 0.159 0.66 0.15 0.136 0.136
SK90/4.37 0.136 0.132 0.14 0.138 0.14 0.143 0.139 0.135
SK90/4.38 0.143 0.151 0.167 0.173 0.163 0.165 0.173 0.182
SK90/4.39 0.138 0.138 0.163 0.167 60.0 0.133 0.14 0.158
SK90/4.40 0.14 0.158 0.197 0.577 60.0 0.144 0.144 0.164
SK90/4.41 0.14 0.139 0.175 0.187 0.25 0.15 0.139 0.161
problem t e s nv g c r *
SK90/4.42 0.15 0.159 0.274 0.916 60.0 0.155 0.166 0.182
SK90/4.43 0.179 0.175 0.348 0.427 60.0 0.194 0.237 0.296
SK90/4.44 0.14 0.146 0.178 0.158 0.17 0.147 0.146 0.173
SK90/4.45 0.14 0.139 0.151 0.139 0.138 0.141 0.147 0.145
SK90/4.46 0.145 0.156 0.148 0.156 0.152 0.148 0.136 0.136
SK90/4.47 0.161 0.155 0.17 0.185 60.0 0.168 0.184 0.155
SK90/4.48 0.153 0.149 0.236 0.572 60.0 0.154 0.278 0.315
SK90/4.49 0.151 0.16 0.244 0.337 60.0 0.163 0.161 0.171
SK90/4.50 0.158 0.16 0.161 0.168 0.246 0.137 0.138 0.152
SK90/4.51 0.144 0.148 0.178 0.183 0.174 0.162 0.159 0.178
SK90/4.52 0.167 0.16 0.412 0.699 60.0 0.182 0.23 0.253
SK90/4.53 0.15 0.152 0.264 0.493 60.0 0.166 0.161 0.186
SK90/4.54 0.147 0.156 0.166 0.167 60.0 0.144 0.162 0.156
SK90/4.55 0.14 0.145 0.17 0.164 0.147 0.144 0.143 0.162
SK90/4.56 0.134 0.144 0.144 0.144 0.149 0.152 0.155 0.148
SK90/4.57 0.16 0.169 0.292 60.0 60.0 0.166 0.172 0.185
SK90/4.59 0.157 0.157 0.287 0.301 60.0 0.175 0.17 0.206
SK90/4.60 0.158 0.159 0.343 1.767 60.0 0.184 0.169 0.198
SK90/4.61 0.171 0.186 1.367 60.0 60.0 0.209 0.214 0.265
Secret_05_TRS/aprove1 0.182 0.194 6.573 60.0 60.0 0.534 0.514 0.29
Secret_05_TRS/aprove2 0.156 0.164 0.419 0.661 60.0 0.179 0.189 0.227
Secret_05_TRS/aprove3 0.165 0.182 1.154 60.0 60.0 0.223 0.219 0.209
Secret_05_TRS/aprove4 0.166 0.169 0.493 0.716 60.0 0.175 0.186 0.205
Secret_05_TRS/aprove5 0.178 0.182 1.583 10.689 60.0 0.214 0.217 0.27
Secret_05_TRS/cime1 0.244 0.221 12.791 60.0 60.0 0.332 0.328 0.347
problem t e s nv g c r *
Secret_05_TRS/cime2 0.161 0.174 1.136 4.265 60.0 0.201 0.186 0.242
Secret_05_TRS/cime3 0.198 0.202 54.418 60.0 60.0 0.949 0.982 1.222
Secret_05_TRS/cime4 0.148 0.154 0.225 0.284 60.0 0.148 0.151 0.164
Secret_05_TRS/cime5 0.291 0.301 60.0 60.0 60.0 60.0 60.0 1.329
Secret_05_TRS/matchbox1 0.135 0.139 0.156 0.167 60.0 0.146 0.142 0.157
Secret_05_TRS/matchbox2 0.139 0.139 0.143 0.159 0.376 0.14 0.163 0.167
Secret_05_TRS/teparla1 0.151 0.154 0.192 0.193 60.0 0.171 0.185 0.21
Secret_05_TRS/teparla2 0.144 0.157 0.267 0.833 60.0 0.345 0.336 0.484
Secret_05_TRS/teparla3 0.147 0.159 0.251 0.74 60.0 0.21 0.193 0.253
Secret_05_TRS/tpa1 0.175 0.185 0.614 1.721 60.0 0.176 0.188 0.216
Secret_05_TRS/tpa2 0.162 0.156 0.35 0.42 60.0 0.192 0.178 0.215
Secret_05_TRS/tpa3 0.167 0.17 0.5 0.801 60.0 0.183 0.182 0.233
Secret_05_TRS/tpa4 0.18 0.172 0.634 0.985 60.0 0.205 0.199 0.245
Secret_05_TRS/tpa5 0.172 0.163 0.552 2.128 60.0 0.186 0.184 0.232
Secret_05_TRS/ttt1 0.147 0.155 0.205 0.946 60.0 0.158 0.15 0.175
Secret_05_TRS/ttt2 0.137 0.153 0.153 0.167 0.207 0.15 0.139 0.155
Secret_06_TRS/10 0.141 0.16 0.213 0.314 60.0 0.16 0.176 0.198
Secret_06_TRS/2 0.154 0.161 0.303 0.493 60.0 0.174 0.247 0.272
Secret_06_TRS/3 0.17 0.17 0.504 1.355 60.0 0.22 60.0 0.253
Secret_06_TRS/4 0.157 0.156 0.205 0.258 60.0 0.148 60.0 0.208
Secret_06_TRS/5 0.15 0.16 0.232 0.283 60.0 0.157 0.196 0.216
Secret_06_TRS/6 0.155 0.157 0.22 0.291 60.0 0.163 60.0 0.676
Secret_06_TRS/7 0.155 0.157 0.286 0.423 60.0 0.194 0.442 0.504
Secret_06_TRS/8 0.165 0.167 0.253 0.371 60.0 0.169 0.168 0.208
Secret_06_TRS/9 0.145 0.15 0.24 0.275 60.0 0.156 0.198 0.238
problem t e s nv g c r *
Secret_06_TRS/addList 0.203 0.19 60.0 60.0 60.0 0.246 0.252 0.309
Secret_06_TRS/cime1 0.199 0.187 22.003 60.0 60.0 0.576 0.56 0.472
Secret_06_TRS/divExp 0.152 0.17 0.517 3.513 60.0 0.656 0.677 1.168
Secret_06_TRS/division 0.167 0.171 0.688 3.872 60.0 0.182 0.182 0.205
Secret_06_TRS/double 0.185 0.187 3.558 9.716 60.0 0.258 0.255 0.287
Secret_06_TRS/gen-1 0.165 0.141 0.26 0.409 60.0 0.182 0.161 0.191
Secret_06_TRS/gen-10 0.155 0.148 0.327 2.04 60.0 0.165 0.164 0.176
Secret_06_TRS/gen-14 0.165 0.164 0.281 2.867 60.0 0.165 0.162 0.183
Secret_06_TRS/gen-15 0.153 0.159 0.329 0.588 60.0 0.171 0.166 0.18
Secret_06_TRS/gen-17 0.16 0.156 0.515 9.685 60.0 0.179 0.17 0.195
Secret_06_TRS/gen-18 0.156 0.163 0.248 1.435 60.0 0.165 0.16 0.175
Secret_06_TRS/gen-22 0.166 0.17 1.008 60.0 60.0 0.2 0.213 0.192
Secret_06_TRS/gen-25 0.157 0.153 0.355 40.161 60.0 0.182 0.191 0.25
Secret_06_TRS/gen-28 0.151 0.155 0.28 1.804 60.0 0.182 0.158 0.189
Secret_06_TRS/gen-9 0.155 0.148 0.318 5.198 60.0 0.168 0.163 0.185
Secret_06_TRS/logarithm 0.181 0.197 0.918 3.882 60.0 0.191 0.197 0.239
Secret_06_TRS/nrOfNodes 0.18 0.175 14.063 60.0 60.0 0.201 0.194 0.226
Secret_06_TRS/reverse 0.171 0.171 1.334 13.723 60.0 0.192 0.181 0.22
Secret_06_TRS/sumList 0.177 0.182 5.742 60.0 60.0 0.21 0.203 0.258
Secret_06_TRS/times 0.176 0.187 3.709 60.0 60.0 0.452 0.416 0.731
Secret_06_TRS/toList 0.174 0.184 35.035 60.0 60.0 0.216 0.214 0.248
Secret_06_TRS/tpa01 0.141 0.136 0.162 0.169 60.0 0.148 0.146 0.177
Secret_06_TRS/tpa02 0.141 0.151 0.177 0.193 60.0 0.147 0.148 0.178
Secret_06_TRS/tpa03 0.14 0.137 0.165 0.185 60.0 0.148 0.158 0.183
Secret_06_TRS/tpa04 0.178 0.18 1.799 5.345 60.0 0.19 0.194 0.271
problem t e s nv g c r *
Secret_06_TRS/tpa05 0.169 0.172 0.683 1.085 60.0 0.239 0.24 0.344
Secret_06_TRS/tpa06 0.187 0.171 0.751 60.0 60.0 0.2 0.208 0.267
Secret_06_TRS/tpa07 0.164 0.169 0.514 0.874 60.0 0.184 0.204 0.24
Secret_06_TRS/tpa08 0.165 0.18 0.714 1.021 60.0 0.236 0.249 0.346
Secret_06_TRS/tpa09 0.201 0.193 1.51 2.877 60.0 0.29 0.281 0.448
Secret_06_TRS/tpa10 0.184 0.172 2.739 7.182 60.0 0.217 0.198 0.266
Secret_07_TRS/1 0.16 0.168 0.56 2.133 60.0 0.362 0.314 0.491
Secret_07_TRS/2 0.168 0.157 2.661 60.0 60.0 5.853 0.33 0.857
Secret_07_TRS/3 0.175 0.177 2.131 60.0 60.0 2.411 60.0 1.198
Secret_07_TRS/4 0.177 0.176 0.727 24.186 60.0 0.456 1.171 0.669
Secret_07_TRS/5 0.187 0.183 2.271 60.0 60.0 2.494 60.0 1.215
Secret_07_TRS/7 0.156 0.164 0.278 0.452 60.0 0.21 60.0 0.255
Secret_07_TRS/aprove01 0.204 0.217 19.757 60.0 60.0 0.246 0.259 0.331
Secret_07_TRS/aprove02 0.191 0.191 9.352 60.0 60.0 0.224 0.217 0.292
Secret_07_TRS/aprove03 0.236 0.243 60.0 60.0 60.0 0.356 0.343 0.493
Secret_07_TRS/aprove04 0.209 0.204 14.137 60.0 60.0 0.247 0.247 0.323
Secret_07_TRS/aprove05 0.186 0.177 7.467 60.0 60.0 0.22 0.227 0.275
Secret_07_TRS/aprove06 0.199 0.19 15.93 60.0 60.0 0.247 0.25 0.348
Secret_07_TRS/aprove07 0.182 0.176 3.113 60.0 60.0 0.221 0.205 0.276
Secret_07_TRS/aprove08 0.197 0.191 60.0 60.0 60.0 0.229 0.235 0.252
Secret_07_TRS/aprove09 0.185 0.188 11.544 60.0 60.0 0.223 0.229 0.279
Secret_07_TRS/aprove10 0.18 0.181 2.322 60.0 60.0 0.235 0.235 0.343
Secret_07_TRS/secret1 0.197 0.199 5.189 60.0 60.0 0.31 0.286 0.343
Secret_07_TRS/secret2 0.189 0.193 4.517 60.0 60.0 0.25 0.239 0.302
Secret_07_TRS/secret3 0.164 0.179 0.483 1.467 60.0 0.186 0.195 0.22
problem t e s nv g c r *
Secret_07_TRS/secret4 0.19 0.182 2.664 60.0 60.0 0.237 0.232 0.3
Secret_07_TRS/secret5 0.183 0.185 7.683 18.093 60.0 0.221 0.223 0.279
Strategy_removed_AG01/#4.12a 0.146 0.134 0.173 0.178 0.267 0.153 0.14 0.167
Strategy_removed_AG01/#4.13 0.145 0.141 0.166 0.159 0.242 0.153 0.138 0.172
Strategy_removed_AG01/#4.14 0.146 0.154 0.185 0.201 60.0 0.15 0.154 0.166
Strategy_removed_AG01/#4.15 0.149 0.166 0.233 1.708 60.0 0.16 0.151 0.167
Strategy_removed_AG01/#4.16 0.15 0.14 0.188 0.187 4.724 0.147 0.139 0.154
Strategy_removed_AG01/#4.17 0.149 0.157 0.198 0.205 60.0 0.155 0.158 0.19
Strategy_removed_AG01/#4.18 0.142 0.145 0.154 0.163 60.0 0.148 0.141 0.164
Strategy_removed_AG01/#4.19 0.166 0.159 0.249 0.73 60.0 0.179 0.169 0.18
Strategy_removed_AG01/#4.2 0.149 0.148 0.192 0.242 60.0 0.172 0.155 0.192
Strategy_removed_AG01/#4.20 0.135 0.142 0.145 0.152 0.145 0.142 0.136 0.144
Strategy_removed_AG01/#4.20a 0.142 0.148 0.178 0.195 0.363 0.166 0.16 0.154
Strategy_removed_AG01/#4.21 0.153 0.158 0.175 0.157 0.156 0.154 0.153 0.156
Strategy_removed_AG01/#4.22 0.141 0.157 0.184 0.181 0.517 0.149 0.147 0.162
Strategy_removed_AG01/#4.23 0.15 0.149 0.25 0.301 60.0 0.171 0.157 0.198
Strategy_removed_AG01/#4.25 0.134 0.146 0.16 0.16 0.16 0.141 0.138 0.168
Strategy_removed_AG01/#4.26 0.152 0.16 0.317 0.423 60.0 0.162 0.176 0.188
Strategy_removed_AG01/#4.27 0.159 0.163 0.636 1.953 60.0 0.171 0.173 0.196
Strategy_removed_AG01/#4.28 0.152 0.154 0.189 0.199 60.0 0.158 0.153 0.203
Strategy_removed_AG01/#4.29 0.173 0.171 1.77 15.521 60.0 0.214 0.199 0.27
Strategy_removed_AG01/#4.3 0.147 0.154 0.149 0.146 0.16 0.137 0.153 0.15
Strategy_removed_AG01/#4.30 0.166 0.176 0.389 0.537 60.0 0.19 0.183 0.21
Strategy_removed_AG01/#4.30a 0.168 0.154 0.238 0.274 60.0 0.159 0.16 0.198
Strategy_removed_AG01/#4.30b 0.163 0.17 0.362 0.528 60.0 0.172 0.186 0.188
problem t e s nv g c r *
Strategy_removed_AG01/#4.30c 0.165 0.168 0.435 0.751 60.0 0.184 0.19 0.21
Strategy_removed_AG01/#4.32 0.148 0.142 0.183 0.258 60.0 0.153 0.144 0.165
Strategy_removed_AG01/#4.33 0.174 0.173 0.634 5.438 60.0 0.164 0.177 0.197
Strategy_removed_AG01/#4.34 0.156 0.155 0.417 1.438 60.0 0.169 0.167 0.19
Strategy_removed_AG01/#4.35 0.225 0.221 19.591 60.0 60.0 60.0 60.0 1.238
Strategy_removed_AG01/#4.36 0.189 0.196 8.364 60.0 60.0 0.226 0.232 0.335
Strategy_removed_AG01/#4.37 0.145 0.143 0.148 0.15 0.179 0.148 0.155 0.186
Strategy_removed_AG01/#4.37a 0.162 0.144 0.194 0.195 60.0 0.157 0.172 0.171
Strategy_removed_AG01/#4.4 0.148 0.138 0.164 0.171 1.534 0.142 0.135 0.173
Strategy_removed_AG01/#4.7 0.141 0.147 0.181 0.185 0.341 0.138 0.147 0.16
Strategy_removed_CSR_05/Ex14_AEGL02 0.149 0.145 0.171 0.15 0.164 0.142 0.144 0.165
Strategy_removed_CSR_05/Ex15_Luc98 0.163 0.16 0.161 0.178 0.176 0.159 0.154 0.174
Strategy_removed_CSR_05/Ex1_2_AEL03 0.164 0.161 0.514 1.39 60.0 0.175 0.177 0.218
Strategy_removed_CSR_05/Ex1_2_Luc02c 0.133 0.145 0.15 0.149 0.145 0.149 0.148 0.161
Strategy_removed_CSR_05/Ex1_GL02a 0.152 0.16 0.183 0.188 0.207 0.152 0.155 0.182
Strategy_removed_CSR_05/Ex1_GM03 0.153 0.154 0.406 1.282 60.0 0.153 0.164 0.17
Strategy_removed_CSR_05/Ex1_GM99 0.146 0.145 0.166 0.156 0.243 0.135 0.146 0.154
Strategy_removed_CSR_05/Ex1_Luc02b 0.159 0.152 0.162 0.169 0.181 0.144 0.159 0.164
Strategy_removed_CSR_05/Ex1_Zan97 0.141 0.135 0.17 0.15 0.164 0.134 0.146 0.163
Strategy_removed_CSR_05/Ex24_GM04 0.15 0.147 0.147 0.157 0.161 0.141 0.143 0.146
Strategy_removed_CSR_05/Ex26_Luc03b 0.168 0.158 0.502 1.0 60.0 0.162 0.189 0.22
Strategy_removed_CSR_05/Ex2_Luc03b 0.154 0.156 0.178 0.168 0.192 0.163 0.171 0.172
Strategy_removed_CSR_05/Ex3_12_Luc96a 0.144 0.139 0.154 0.151 0.16 0.148 0.153 0.176
Strategy_removed_CSR_05/Ex3_2_Luc97 0.156 0.165 0.18 0.181 0.213 0.163 0.166 0.208
Strategy_removed_CSR_05/Ex3_3_25_Bor03 0.165 0.161 0.491 60.0 60.0 0.175 0.174 0.215
problem t e s nv g c r *
Strategy_removed_CSR_05/Ex49_GM04 0.165 0.164 0.576 3.213 60.0 0.181 0.179 0.208
Strategy_removed_CSR_05/Ex4_4_Luc96b 0.149 0.131 0.165 0.161 60.0 0.136 0.136 0.159
Strategy_removed_CSR_05/Ex4_7_15_Bor03 0.142 0.155 0.17 0.166 0.164 0.157 0.158 0.167
Strategy_removed_CSR_05/Ex4_7_37_Bor03 0.163 0.157 0.311 0.4 60.0 0.189 0.183 0.206
Strategy_removed_CSR_05/Ex4_7_56_Bor03 0.155 0.149 0.153 0.154 0.158 0.142 0.149 0.182
Strategy_removed_CSR_05/Ex4_7_77_Bor03 0.144 0.133 0.138 0.14 0.136 0.152 0.146 0.143
Strategy_removed_CSR_05/Ex4_Zan97 0.145 0.153 0.205 0.213 6.277 0.161 0.152 0.166
Strategy_removed_CSR_05/Ex5_7_Luc97 0.176 0.189 0.213 0.255 0.27 0.181 0.216 0.225
Strategy_removed_CSR_05/Ex5_Zan97 0.138 0.141 0.171 0.179 60.0 0.143 0.141 0.151
Strategy_removed_CSR_05/Ex6_15_AEL02 0.198 0.194 0.624 0.623 60.0 0.21 0.247 0.304
Strategy_removed_CSR_05/Ex6_9_Luc02c 0.156 0.143 0.15 0.157 0.164 0.144 0.145 0.17
Strategy_removed_CSR_05/Ex6_GM04 0.14 0.158 0.157 0.154 0.166 0.138 0.145 0.156
Strategy_removed_CSR_05/Ex6_Luc98 0.138 0.153 0.158 0.148 0.155 0.149 0.144 0.16
Strategy_removed_CSR_05/Ex7_BLR02 0.153 0.148 0.198 0.169 0.202 0.162 0.149 0.173
Strategy_removed_CSR_05/Ex8_BLR02 0.154 0.163 0.289 0.424 60.0 0.209 0.204 0.239
Strategy_removed_CSR_05/Ex9_BLR02 0.199 0.205 0.426 21.315 60.0 60.0 60.0 1.212
Strategy_removed_CSR_05/ExAppendixB_AEL03 0.18 0.175 0.697 3.694 60.0 60.0 60.0 1.193
Strategy_removed_CSR_05/ExConc_Zan97 0.141 0.146 0.159 0.151 0.137 0.135 0.142 0.15
Strategy_removed_CSR_05/ExIntrod_GM01 0.158 0.158 0.286 0.306 60.0 0.158 60.0 0.68
Strategy_removed_CSR_05/ExIntrod_GM04 0.152 0.148 0.232 0.275 60.0 0.157 60.0 0.668
Strategy_removed_CSR_05/ExIntrod_GM99 0.159 0.173 0.516 11.771 60.0 0.175 0.18 0.236
Strategy_removed_CSR_05/ExIntrod_Zan97 0.163 0.165 0.816 2.702 60.0 0.174 0.173 0.197
Strategy_removed_mixed_05/ExSec11_1_Luc02a 0.17 0.163 0.573 1.138 60.0 0.181 0.184 0.213
Strategy_removed_mixed_05/bn111 0.138 0.145 0.18 0.189 60.0 0.151 0.149 0.149
Strategy_removed_mixed_05/ex1 0.145 0.136 0.157 0.201 0.238 0.14 0.141 0.151
problem t e s nv g c r *
Strategy_removed_mixed_05/ex2 0.143 0.141 0.162 0.175 60.0 0.167 0.141 0.153
Strategy_removed_mixed_05/ex3 0.146 0.152 0.214 0.221 11.353 0.15 0.173 0.197
Strategy_removed_mixed_05/ex4 0.145 0.138 0.153 0.15 0.144 0.14 0.144 0.152
Strategy_removed_mixed_05/ex5 0.136 0.157 0.163 0.179 0.181 0.135 0.146 0.146
Strategy_removed_mixed_05/ex6 0.152 0.146 0.177 0.18 0.192 0.163 0.155 0.181
Strategy_removed_mixed_05/gkg 0.141 0.142 0.167 0.153 0.175 0.144 0.152 0.176
Strategy_removed_mixed_05/muladd 0.148 0.154 0.175 0.163 0.767 0.15 0.154 0.167
Strategy_removed_mixed_05/n001 0.148 0.149 0.172 0.176 1.829 0.146 0.153 0.154
Strategy_removed_mixed_05/test10 0.154 0.143 0.227 0.264 60.0 0.153 0.147 0.181
Strategy_removed_mixed_05/test75 0.143 0.139 0.175 0.171 0.301 0.137 0.148 0.174
Strategy_removed_mixed_05/test76 0.154 0.154 0.186 0.225 60.0 0.17 0.149 0.164
Strategy_removed_mixed_05/test77 0.149 0.147 0.252 0.281 60.0 0.156 0.157 0.177
Strategy_removed_mixed_05/test830 0.153 0.154 0.201 0.211 60.0 0.164 0.162 0.189
Strategy_removed_mixed_05/test9 0.149 0.141 0.172 0.173 0.254 0.16 0.139 0.155
Strategy_removed_mixed_05/toyama 0.139 0.149 0.174 0.152 0.234 0.143 0.139 0.149
Strategy_removed_mixed_05/tricky1 0.157 0.149 0.269 0.33 60.0 0.165 0.165 0.162
TCT_09/ackantiinn 0.157 0.159 0.857 1.644 60.0 0.208 0.221 0.262
TCT_09/ackantiinn2 0.152 0.154 0.29 0.405 60.0 0.166 0.176 0.184
TCT_09/ackhofbauer 0.159 0.15 0.237 0.313 60.0 0.158 0.228 0.26
TCT_09/ackhofbauernonsimp 0.153 0.163 0.522 60.0 60.0 0.18 0.189 0.206
TCT_09/add 0.153 0.153 0.145 0.136 0.147 0.136 0.14 0.152
TCT_09/addmult 0.138 0.15 0.201 0.257 60.0 0.162 0.145 0.178
TCT_09/append 0.155 0.139 0.143 0.145 0.146 0.145 0.154 0.152
TCT_09/bits 0.141 0.141 0.189 0.194 60.0 0.144 0.162 0.178
TCT_09/dexpdp 0.143 0.141 0.173 0.183 60.0 0.153 0.135 0.147
problem t e s nv g c r *
TCT_09/dexpdp2 0.148 0.144 0.161 0.175 2.521 0.146 0.155 0.168
TCT_09/expantiinn 0.159 0.143 0.188 0.213 16.199 0.144 60.0 0.673
TCT_09/insertsort 0.159 0.171 0.673 4.636 60.0 0.184 0.169 0.214
TCT_09/lcs 0.161 0.17 0.886 1.895 60.0 0.208 0.205 0.225
TCT_09/ma1 0.141 0.17 0.17 0.163 0.17 0.145 0.152 0.179
TCT_09/ma2 0.147 0.146 0.161 0.162 0.151 0.152 0.152 0.174
TCT_09/ma3 0.136 0.138 0.167 0.165 0.358 0.143 0.161 0.163
TCT_09/ma4 0.146 0.155 0.294 0.422 60.0 0.152 0.155 0.19
TCT_09/ma5 0.141 0.142 0.206 0.213 15.988 0.162 60.0 0.657
TCT_09/ma6 0.167 0.161 0.578 9.158 60.0 0.178 0.175 0.218
TCT_09/ma7 0.168 0.182 1.075 15.428 60.0 0.178 0.191 0.217
TCT_09/ma8 0.165 0.159 1.352 60.0 60.0 0.187 0.201 0.188
TCT_09/ma9 0.145 0.143 0.162 0.159 0.169 0.144 0.146 0.17
TCT_09/mergesort 0.179 0.199 4.977 60.0 60.0 0.213 0.214 0.29
TCT_09/nonmultrec 0.162 0.169 0.394 60.0 60.0 0.178 0.188 0.209
TCT_09/qbf 0.181 0.182 6.205 13.45 60.0 0.241 0.231 0.239
TCT_09/revappend 0.143 0.144 0.166 0.146 0.16 0.177 0.143 0.17
TCT_09/shuffle 0.162 0.165 0.193 0.196 60.0 0.15 0.17 0.18
TCT_09/supexpdg 0.15 0.156 0.215 0.222 60.0 0.16 60.0 0.667
TCT_09/supexpur 0.158 0.141 0.171 0.169 0.711 0.15 0.162 0.203
TCT_09/z86 0.143 0.137 0.217 0.253 10.219 0.155 0.189 0.223
Transformed_CSR_04/Ex14_AEGL02_C 0.196 0.213 42.014 60.0 60.0 0.365 0.382 0.597
Transformed_CSR_04/Ex14_AEGL02_FR 0.155 0.169 1.552 2.304 60.0 0.177 0.189 0.233
Transformed_CSR_04/Ex14_AEGL02_GM 0.157 0.163 1.318 0.853 60.0 0.169 0.18 0.213
Transformed_CSR_04/Ex14_AEGL02_L 0.135 0.138 0.154 0.156 0.156 0.152 0.145 0.157
problem t e s nv g c r *
Transformed_CSR_04/Ex14_AEGL02_Z 0.153 0.166 0.594 0.86 60.0 0.174 0.173 0.202
Transformed_CSR_04/Ex14_AEGL02_iGM 0.192 0.197 34.467 22.281 60.0 0.33 0.325 0.436
Transformed_CSR_04/Ex14_Luc06_C 0.183 0.184 18.814 52.111 60.0 0.369 0.377 0.559
Transformed_CSR_04/Ex14_Luc06_FR 0.147 0.144 0.219 0.234 0.197 0.153 0.16 0.187
Transformed_CSR_04/Ex14_Luc06_GM 0.163 0.166 1.263 1.733 60.0 0.2 0.214 0.286
Transformed_CSR_04/Ex14_Luc06_L 0.14 0.148 0.168 0.162 0.155 0.141 0.147 0.177
Transformed_CSR_04/Ex14_Luc06_iGM 0.194 0.193 14.938 9.535 60.0 0.357 0.355 0.454
Transformed_CSR_04/Ex15_Luc06_C 0.172 0.178 0.88 0.961 60.0 0.197 0.291 0.374
Transformed_CSR_04/Ex15_Luc06_FR 0.155 0.147 0.355 0.368 60.0 0.161 0.206 0.218
Transformed_CSR_04/Ex15_Luc06_GM 0.143 0.146 0.154 0.166 0.16 0.153 0.156 0.168
Transformed_CSR_04/Ex15_Luc06_L 0.137 0.13 0.135 0.146 0.135 0.147 0.143 0.139
Transformed_CSR_04/Ex15_Luc06_Z 0.167 0.147 0.197 0.206 0.183 0.152 0.157 0.174
Transformed_CSR_04/Ex15_Luc06_iGM 0.159 0.165 0.712 0.679 60.0 0.195 0.272 0.309
Transformed_CSR_04/Ex15_Luc98_C 0.252 0.269 60.0 60.0 60.0 0.634 0.611 1.071
Transformed_CSR_04/Ex15_Luc98_FR 0.171 0.185 4.288 4.259 60.0 0.219 0.23 0.288
Transformed_CSR_04/Ex15_Luc98_GM 0.182 0.194 11.429 10.254 60.0 0.245 0.242 0.325
Transformed_CSR_04/Ex15_Luc98_Z 0.166 0.184 3.493 2.91 60.0 0.204 0.209 0.224
Transformed_CSR_04/Ex15_Luc98_iGM 0.252 0.268 60.0 60.0 60.0 0.581 0.607 0.845
Transformed_CSR_04/Ex16_Luc06_C 0.183 0.183 0.704 1.548 60.0 0.219 0.268 0.345
Transformed_CSR_04/Ex16_Luc06_FR 0.151 0.136 0.16 0.15 0.173 0.149 0.137 0.15
Transformed_CSR_04/Ex16_Luc06_GM 0.146 0.152 0.271 0.311 60.0 0.154 0.196 0.234
Transformed_CSR_04/Ex16_Luc06_L 0.148 0.141 0.151 0.15 0.155 0.148 0.148 0.164
Transformed_CSR_04/Ex16_Luc06_iGM 0.168 0.156 0.817 1.092 60.0 0.224 0.276 0.306
Transformed_CSR_04/Ex18_Luc06_C 0.171 0.172 0.904 1.043 60.0 0.207 0.282 0.363
Transformed_CSR_04/Ex18_Luc06_FR 0.145 0.143 0.244 0.281 60.0 0.161 0.173 0.197
problem t e s nv g c r *
Transformed_CSR_04/Ex18_Luc06_GM 0.157 0.143 0.209 0.218 60.0 0.161 0.177 0.19
Transformed_CSR_04/Ex18_Luc06_L 0.149 0.143 0.154 0.155 0.161 0.143 0.152 0.148
Transformed_CSR_04/Ex18_Luc06_Z 0.149 0.142 0.156 0.148 0.148 0.149 0.144 0.166
Transformed_CSR_04/Ex18_Luc06_iGM 0.184 0.163 0.682 0.666 60.0 0.189 0.285 0.313
Transformed_CSR_04/Ex1_2_AEL03_C 0.371 0.385 60.0 60.0 60.0 1.739 1.73 1.412
Transformed_CSR_04/Ex1_2_AEL03_FR 0.191 0.191 2.958 31.55 60.0 0.222 0.226 0.308
Transformed_CSR_04/Ex1_2_AEL03_GM 0.227 0.228 60.0 60.0 60.0 0.636 0.624 1.073
Transformed_CSR_04/Ex1_2_AEL03_Z 0.184 0.182 1.414 18.509 60.0 0.215 0.203 0.273
Transformed_CSR_04/Ex1_2_AEL03_iGM 0.316 0.359 60.0 60.0 60.0 1.289 1.295 1.373
Transformed_CSR_04/Ex1_2_Luc02c_C 0.192 0.183 20.631 60.0 60.0 0.327 0.313 0.486
Transformed_CSR_04/Ex1_2_Luc02c_FR 0.152 0.153 0.568 0.866 60.0 0.171 0.166 0.178
Transformed_CSR_04/Ex1_2_Luc02c_GM 0.168 0.169 0.428 0.503 60.0 0.172 0.161 0.208
Transformed_CSR_04/Ex1_2_Luc02c_Z 0.164 0.162 0.253 0.254 0.255 0.159 0.156 0.188
Transformed_CSR_04/Ex1_2_Luc02c_iGM 0.176 0.177 6.53 6.11 60.0 0.266 0.265 0.348
Transformed_CSR_04/Ex1_GL02a_C 0.24 0.23 60.0 60.0 60.0 0.494 0.479 0.867
Transformed_CSR_04/Ex1_GL02a_FR 0.187 0.182 5.194 3.469 60.0 0.232 0.225 0.289
Transformed_CSR_04/Ex1_GL02a_GM 0.176 0.187 5.989 1.316 60.0 0.191 0.195 0.225
Transformed_CSR_04/Ex1_GL02a_L 0.145 0.145 0.144 0.155 0.146 0.149 0.155 0.158
Transformed_CSR_04/Ex1_GL02a_Z 0.194 0.18 5.307 2.157 60.0 0.212 0.205 0.241
Transformed_CSR_04/Ex1_GL02a_iGM 0.219 0.239 60.0 60.0 60.0 0.471 0.496 0.654
Transformed_CSR_04/Ex1_GM03_C 0.233 0.253 60.0 60.0 60.0 0.557 0.578 0.935
Transformed_CSR_04/Ex1_GM03_FR 0.176 0.167 4.194 21.677 60.0 0.201 0.194 0.246
Transformed_CSR_04/Ex1_GM03_GM 0.186 0.178 7.999 60.0 60.0 0.257 0.273 0.379
Transformed_CSR_04/Ex1_GM03_Z 0.172 0.169 1.417 6.428 60.0 0.168 0.17 0.203
Transformed_CSR_04/Ex1_GM03_iGM 0.223 0.243 60.0 60.0 60.0 0.468 0.469 0.665
problem t e s nv g c r *
Transformed_CSR_04/Ex1_GM99_C 0.177 0.17 1.666 60.0 60.0 0.223 0.22 0.295
Transformed_CSR_04/Ex1_GM99_FR 0.153 0.165 0.179 0.193 0.256 0.151 0.146 0.158
Transformed_CSR_04/Ex1_GM99_GM 0.158 0.158 0.328 2.56 60.0 0.159 0.168 0.179
Transformed_CSR_04/Ex1_GM99_L 0.148 0.144 0.148 0.15 0.135 0.149 0.134 0.155
Transformed_CSR_04/Ex1_GM99_iGM 0.176 0.184 2.839 60.0 60.0 0.202 0.213 0.223
Transformed_CSR_04/Ex1_Luc02b_C 0.219 0.239 60.0 60.0 60.0 0.514 0.502 0.864
Transformed_CSR_04/Ex1_Luc02b_FR 0.188 0.176 0.902 0.786 60.0 0.186 0.196 0.235
Transformed_CSR_04/Ex1_Luc02b_GM 0.185 0.169 2.842 4.874 60.0 0.213 0.226 0.289
Transformed_CSR_04/Ex1_Luc02b_Z 0.159 0.165 0.478 0.422 60.0 0.171 0.17 0.219
Transformed_CSR_04/Ex1_Luc02b_iGM 0.219 0.224 60.0 60.0 60.0 0.423 0.409 0.629
Transformed_CSR_04/Ex1_Luc04b_C 0.221 0.213 60.0 53.406 60.0 0.449 1.718 0.971
Transformed_CSR_04/Ex1_Luc04b_FR 0.156 0.155 0.858 0.589 60.0 0.178 0.236 0.28
Transformed_CSR_04/Ex1_Luc04b_GM 0.174 0.179 10.282 6.589 60.0 0.234 60.0 0.754
Transformed_CSR_04/Ex1_Luc04b_Z 0.162 0.159 0.365 0.385 60.0 0.165 0.177 0.213
Transformed_CSR_04/Ex1_Luc04b_iGM 0.198 0.219 60.0 58.429 60.0 0.398 3.208 0.916
Transformed_CSR_04/Ex1_Zan97_C 0.166 0.159 0.927 0.765 60.0 0.208 0.258 0.308
Transformed_CSR_04/Ex1_Zan97_FR 0.151 0.156 0.248 0.253 0.188 0.149 0.165 0.197
Transformed_CSR_04/Ex1_Zan97_GM 0.143 0.157 0.163 0.165 0.167 0.171 0.17 0.176
Transformed_CSR_04/Ex1_Zan97_L 0.144 0.138 0.143 0.153 0.148 0.135 0.145 0.145
Transformed_CSR_04/Ex1_Zan97_iGM 0.164 0.18 0.365 0.355 1.855 0.189 0.232 0.237
Transformed_CSR_04/Ex23_Luc06_C 0.167 0.169 3.422 2.996 60.0 0.249 0.404 0.496
Transformed_CSR_04/Ex23_Luc06_FR 0.152 0.16 0.355 0.34 60.0 0.16 0.179 0.209
Transformed_CSR_04/Ex23_Luc06_GM 0.15 0.157 0.235 0.251 60.0 0.159 0.18 0.189
Transformed_CSR_04/Ex23_Luc06_L 0.133 0.142 0.15 0.15 0.136 0.141 0.152 0.131
Transformed_CSR_04/Ex23_Luc06_Z 0.145 0.143 0.144 0.153 0.165 0.162 0.14 0.14
problem t e s nv g c r *
Transformed_CSR_04/Ex23_Luc06_iGM 0.171 0.181 1.911 1.337 60.0 0.216 0.338 0.382
Transformed_CSR_04/Ex24_GM04_C 0.174 0.169 2.475 60.0 60.0 0.262 0.264 0.396
Transformed_CSR_04/Ex24_GM04_FR 0.158 0.157 0.239 0.323 60.0 0.162 0.153 0.194
Transformed_CSR_04/Ex24_GM04_GM 0.168 0.175 0.437 6.368 60.0 0.164 0.151 0.182
Transformed_CSR_04/Ex24_GM04_L 0.148 0.155 0.158 0.154 0.163 0.142 0.134 0.148
Transformed_CSR_04/Ex24_GM04_Z 0.145 0.155 0.225 0.284 44.756 0.166 0.166 0.193
Transformed_CSR_04/Ex24_GM04_iGM 0.179 0.172 4.299 60.0 60.0 0.258 0.254 0.32
Transformed_CSR_04/Ex24_Luc06_C 0.165 0.177 1.114 60.0 60.0 0.215 0.207 0.273
Transformed_CSR_04/Ex24_Luc06_FR 0.144 0.149 0.225 0.219 0.283 0.153 0.164 0.173
Transformed_CSR_04/Ex24_Luc06_GM 0.149 0.148 0.302 1.495 60.0 0.162 0.163 0.18
Transformed_CSR_04/Ex24_Luc06_L 0.135 0.138 0.15 0.147 0.143 0.138 0.149 0.15
Transformed_CSR_04/Ex24_Luc06_iGM 0.171 0.175 1.454 29.356 60.0 0.204 0.204 0.238
Transformed_CSR_04/Ex25_Luc06_C 0.19 0.193 14.175 10.115 60.0 0.308 0.703 0.882
Transformed_CSR_04/Ex25_Luc06_FR 0.174 0.157 0.551 0.482 60.0 0.173 0.228 0.266
Transformed_CSR_04/Ex25_Luc06_GM 0.155 0.157 0.74 0.5 60.0 0.174 0.212 0.256
Transformed_CSR_04/Ex25_Luc06_L 0.146 0.142 0.143 0.153 0.139 0.144 0.154 0.149
Transformed_CSR_04/Ex25_Luc06_Z 0.148 0.147 0.366 0.352 60.0 0.151 0.181 0.227
Transformed_CSR_04/Ex25_Luc06_iGM 0.185 0.182 13.252 4.917 60.0 0.299 0.529 0.549
Transformed_CSR_04/Ex26_Luc03b_C 0.265 0.294 60.0 60.0 60.0 0.862 0.87 1.283
Transformed_CSR_04/Ex26_Luc03b_FR 0.201 0.204 15.612 60.0 60.0 0.29 0.271 0.388
Transformed_CSR_04/Ex26_Luc03b_GM 0.183 0.186 13.453 15.363 60.0 0.28 0.288 0.398
Transformed_CSR_04/Ex26_Luc03b_L 0.143 0.164 0.168 0.164 0.155 0.147 0.143 0.149
Transformed_CSR_04/Ex26_Luc03b_Z 0.19 0.198 11.563 49.824 60.0 0.219 0.22 0.282
Transformed_CSR_04/Ex26_Luc03b_iGM 0.252 0.27 60.0 60.0 60.0 0.714 0.713 1.065
Transformed_CSR_04/Ex2_Luc02a_C 0.282 0.311 60.0 60.0 60.0 0.892 0.915 1.302
problem t e s nv g c r *
Transformed_CSR_04/Ex2_Luc02a_FR 0.175 0.176 5.499 14.321 60.0 0.214 0.221 0.256
Transformed_CSR_04/Ex2_Luc02a_GM 0.199 0.194 18.514 60.0 60.0 0.348 0.341 0.507
Transformed_CSR_04/Ex2_Luc02a_L 0.164 0.164 0.391 0.611 60.0 0.16 0.172 0.192
Transformed_CSR_04/Ex2_Luc02a_Z 0.179 0.163 0.622 1.419 60.0 0.176 0.178 0.225
Transformed_CSR_04/Ex2_Luc02a_iGM 0.244 0.258 60.0 60.0 60.0 0.742 0.76 1.275
Transformed_CSR_04/Ex2_Luc03b_C 0.246 0.255 60.0 60.0 60.0 0.602 0.602 1.011
Transformed_CSR_04/Ex2_Luc03b_FR 0.169 0.183 6.132 4.775 60.0 0.25 0.226 0.302
Transformed_CSR_04/Ex2_Luc03b_GM 0.183 0.182 5.425 4.978 60.0 0.263 0.243 0.299
Transformed_CSR_04/Ex2_Luc03b_L 0.141 0.149 0.148 0.141 0.143 0.146 0.143 0.148
Transformed_CSR_04/Ex2_Luc03b_Z 0.164 0.173 0.2 0.219 0.241 0.196 0.192 0.251
Transformed_CSR_04/Ex2_Luc03b_iGM 0.229 0.249 60.0 60.0 60.0 0.486 0.503 0.695
Transformed_CSR_04/Ex3_12_Luc96a_C 0.204 0.199 40.54 60.0 60.0 0.375 0.356 0.612
Transformed_CSR_04/Ex3_12_Luc96a_FR 0.157 0.15 0.323 0.357 60.0 0.164 0.17 0.191
Transformed_CSR_04/Ex3_12_Luc96a_GM 0.156 0.169 0.718 0.898 60.0 0.191 0.178 0.238
Transformed_CSR_04/Ex3_12_Luc96a_Z 0.158 0.153 0.217 0.221 6.602 0.159 0.156 0.172
Transformed_CSR_04/Ex3_12_Luc96a_iGM 0.19 0.186 20.919 15.995 60.0 0.297 0.298 0.433
Transformed_CSR_04/Ex3_2_Luc97_C 0.25 0.254 60.0 60.0 60.0 0.596 0.578 1.004
Transformed_CSR_04/Ex3_2_Luc97_FR 0.195 0.215 15.458 12.171 60.0 0.291 0.304 0.414
Transformed_CSR_04/Ex3_2_Luc97_GM 0.202 0.187 9.084 7.237 60.0 0.234 0.236 0.268
Transformed_CSR_04/Ex3_2_Luc97_Z 0.192 0.182 12.868 10.453 60.0 0.24 0.232 0.286
Transformed_CSR_04/Ex3_2_Luc97_iGM 0.248 0.257 60.0 60.0 60.0 0.536 0.536 0.767
Transformed_CSR_04/Ex3_3_25_Bor03_C 0.248 0.263 60.0 60.0 60.0 0.671 0.681 1.11
Transformed_CSR_04/Ex3_3_25_Bor03_FR 0.178 0.194 9.045 6.044 60.0 0.239 0.239 0.317
Transformed_CSR_04/Ex3_3_25_Bor03_GM 0.176 0.188 7.452 8.582 60.0 0.246 0.245 0.345
Transformed_CSR_04/Ex3_3_25_Bor03_L 0.15 0.151 0.155 0.155 0.161 0.168 0.157 0.159
problem t e s nv g c r *
Transformed_CSR_04/Ex3_3_25_Bor03_Z 0.167 0.174 0.224 0.239 0.247 0.174 0.232 0.27
Transformed_CSR_04/Ex3_3_25_Bor03_iGM 0.238 0.242 60.0 60.0 60.0 0.527 0.53 0.731
Transformed_CSR_04/Ex49_GM04_C 0.248 0.247 60.0 60.0 60.0 0.456 0.46 0.769
Transformed_CSR_04/Ex49_GM04_FR 0.173 0.187 8.367 60.0 60.0 0.24 0.238 0.338
Transformed_CSR_04/Ex49_GM04_GM 0.189 0.196 8.377 60.0 60.0 0.236 0.238 0.28
Transformed_CSR_04/Ex49_GM04_Z 0.192 0.178 3.212 20.728 60.0 0.234 0.223 0.302
Transformed_CSR_04/Ex49_GM04_iGM 0.233 0.265 60.0 60.0 60.0 0.453 0.462 0.599
Transformed_CSR_04/Ex4_4_Luc96b_C 0.165 0.165 1.975 10.686 60.0 0.221 0.228 0.315
Transformed_CSR_04/Ex4_4_Luc96b_FR 0.172 0.153 0.278 0.409 60.0 0.167 0.167 0.172
Transformed_CSR_04/Ex4_4_Luc96b_GM 0.154 0.154 0.221 0.33 60.0 0.162 0.154 0.182
Transformed_CSR_04/Ex4_4_Luc96b_L 0.134 0.144 0.152 0.14 0.145 0.146 0.143 0.158
Transformed_CSR_04/Ex4_4_Luc96b_Z 0.165 0.15 0.208 0.253 60.0 0.152 0.164 0.18
Transformed_CSR_04/Ex4_4_Luc96b_iGM 0.177 0.158 0.844 1.246 60.0 0.197 0.199 0.24
Transformed_CSR_04/Ex4_7_15_Bor03_C 0.19 0.208 29.668 22.052 60.0 0.336 60.0 0.872
Transformed_CSR_04/Ex4_7_15_Bor03_FR 0.16 0.164 0.656 0.604 60.0 0.165 0.218 0.292
Transformed_CSR_04/Ex4_7_15_Bor03_GM 0.16 0.161 0.717 0.705 60.0 0.174 0.243 0.256
Transformed_CSR_04/Ex4_7_15_Bor03_L 0.15 0.143 0.157 0.16 0.159 0.144 0.148 0.158
Transformed_CSR_04/Ex4_7_15_Bor03_Z 0.169 0.162 0.188 0.168 0.171 0.149 0.163 0.177
Transformed_CSR_04/Ex4_7_15_Bor03_iGM 0.179 0.191 17.836 6.327 60.0 0.302 0.89 0.735
Transformed_CSR_04/Ex4_7_37_Bor03_C 0.307 0.29 60.0 60.0 60.0 0.906 0.898 1.306
Transformed_CSR_04/Ex4_7_37_Bor03_FR 0.184 0.175 5.051 60.0 60.0 0.223 0.224 0.291
Transformed_CSR_04/Ex4_7_37_Bor03_GM 0.206 0.206 19.596 60.0 60.0 0.392 0.377 0.574
Transformed_CSR_04/Ex4_7_37_Bor03_Z 0.182 0.182 2.16 60.0 60.0 0.199 0.205 0.249
Transformed_CSR_04/Ex4_7_37_Bor03_iGM 0.269 0.29 60.0 60.0 60.0 0.704 0.697 1.051
Transformed_CSR_04/Ex4_7_56_Bor03_C 0.219 0.237 37.852 60.0 60.0 0.386 0.357 0.577
problem t e s nv g c r *
Transformed_CSR_04/Ex4_7_56_Bor03_FR 0.149 0.158 0.311 0.335 60.0 0.157 0.158 0.185
Transformed_CSR_04/Ex4_7_56_Bor03_GM 0.165 0.181 0.686 0.868 60.0 0.204 0.18 0.224
Transformed_CSR_04/Ex4_7_56_Bor03_Z 0.147 0.145 0.217 0.22 6.981 0.171 0.158 0.178
Transformed_CSR_04/Ex4_7_56_Bor03_iGM 0.183 0.207 20.746 15.767 60.0 0.308 0.298 0.438
Transformed_CSR_04/Ex4_7_77_Bor03_C 0.172 0.172 2.571 1.924 60.0 0.236 0.405 0.533
Transformed_CSR_04/Ex4_7_77_Bor03_FR 0.145 0.147 0.155 0.149 0.162 0.154 0.148 0.162
Transformed_CSR_04/Ex4_7_77_Bor03_GM 0.146 0.158 0.329 0.316 60.0 0.155 0.176 0.218
Transformed_CSR_04/Ex4_7_77_Bor03_iGM 0.163 0.159 2.114 1.483 60.0 0.23 0.327 0.344
Transformed_CSR_04/Ex4_DLMMU04_C 0.347 0.375 60.0 60.0 60.0 1.422 1.415 1.385
Transformed_CSR_04/Ex4_DLMMU04_FR 0.224 0.226 60.0 60.0 60.0 0.478 0.488 0.744
Transformed_CSR_04/Ex4_DLMMU04_GM 0.251 0.253 60.0 60.0 60.0 0.571 0.594 0.967
Transformed_CSR_04/Ex4_DLMMU04_Z 0.212 0.23 60.0 60.0 60.0 0.426 0.44 0.65
Transformed_CSR_04/Ex4_DLMMU04_iGM 0.343 0.394 60.0 60.0 60.0 1.319 1.353 1.393
Transformed_CSR_04/Ex4_Zan97_C 0.209 0.249 60.0 60.0 60.0 0.468 0.503 0.77
Transformed_CSR_04/Ex4_Zan97_FR 0.177 0.186 0.538 0.516 60.0 0.181 0.183 0.232
Transformed_CSR_04/Ex4_Zan97_GM 0.171 0.17 2.396 3.551 60.0 0.207 0.219 0.275
Transformed_CSR_04/Ex4_Zan97_Z 0.173 0.16 0.347 0.34 60.0 0.162 0.157 0.186
Transformed_CSR_04/Ex4_Zan97_iGM 0.223 0.204 49.683 60.0 60.0 0.398 0.403 0.539
Transformed_CSR_04/Ex5_7_Luc97_C 0.308 0.354 60.0 60.0 60.0 1.24 1.228 1.356
Transformed_CSR_04/Ex5_7_Luc97_FR 0.206 0.216 28.65 22.743 60.0 0.346 0.352 0.544
Transformed_CSR_04/Ex5_7_Luc97_GM 0.23 0.229 60.0 60.0 60.0 0.444 0.454 0.71
Transformed_CSR_04/Ex5_7_Luc97_Z 0.208 0.21 24.77 18.152 60.0 0.307 0.301 0.418
Transformed_CSR_04/Ex5_7_Luc97_iGM 0.31 0.324 60.0 60.0 60.0 1.192 1.168 1.347
Transformed_CSR_04/Ex5_DLMMU04_C 0.281 0.318 60.0 60.0 60.0 1.004 1.014 1.335
Transformed_CSR_04/Ex5_DLMMU04_FR 0.2 0.186 24.738 60.0 60.0 0.293 0.305 0.429
problem t e s nv g c r *
Transformed_CSR_04/Ex5_DLMMU04_GM 0.205 0.214 38.663 44.754 60.0 0.37 0.357 0.563
Transformed_CSR_04/Ex5_DLMMU04_Z 0.189 0.192 18.574 60.0 60.0 0.241 0.246 0.242
Transformed_CSR_04/Ex5_DLMMU04_iGM 0.268 0.285 60.0 60.0 60.0 0.813 0.818 1.292
Transformed_CSR_04/Ex5_Zan97_C 0.192 0.208 7.43 5.463 60.0 0.269 60.0 0.794
Transformed_CSR_04/Ex5_Zan97_FR 0.149 0.145 0.343 0.395 60.0 0.161 0.183 0.193
Transformed_CSR_04/Ex5_Zan97_GM 0.164 0.162 0.555 0.636 60.0 0.177 60.0 0.695
Transformed_CSR_04/Ex5_Zan97_Z 0.146 0.151 0.155 0.17 1.098 0.15 0.161 0.202
Transformed_CSR_04/Ex5_Zan97_iGM 0.183 0.188 6.53 4.356 60.0 0.268 4.268 0.771
Transformed_CSR_04/Ex6_15_AEL02_C 0.424 0.465 60.0 60.0 60.0 2.277 2.276 1.475
Transformed_CSR_04/Ex6_15_AEL02_FR 0.214 0.217 46.336 60.0 60.0 0.453 0.438 0.696
Transformed_CSR_04/Ex6_15_AEL02_GM 0.261 0.268 60.0 60.0 60.0 0.848 0.828 1.278
Transformed_CSR_04/Ex6_15_AEL02_Z 0.214 0.228 43.388 60.0 60.0 0.359 0.372 0.524
Transformed_CSR_04/Ex6_15_AEL02_iGM 0.387 0.447 60.0 60.0 60.0 2.026 2.02 1.475
Transformed_CSR_04/Ex6_9_Luc02c_C 0.211 0.226 60.0 60.0 60.0 0.434 0.422 0.717
Transformed_CSR_04/Ex6_9_Luc02c_FR 0.161 0.168 0.321 0.324 60.0 0.168 0.164 0.177
Transformed_CSR_04/Ex6_9_Luc02c_GM 0.176 0.166 0.831 1.766 60.0 0.191 0.191 0.26
Transformed_CSR_04/Ex6_9_Luc02c_Z 0.152 0.146 0.224 0.223 34.161 0.161 0.168 0.163
Transformed_CSR_04/Ex6_9_Luc02c_iGM 0.216 0.215 28.428 24.762 60.0 0.328 0.345 0.47
Transformed_CSR_04/Ex6_GM04_C 0.164 0.167 0.585 0.672 60.0 0.208 0.241 0.277
Transformed_CSR_04/Ex6_GM04_FR 0.156 0.152 0.296 0.306 4.836 0.164 0.166 0.204
Transformed_CSR_04/Ex6_GM04_GM 0.163 0.143 0.161 0.158 0.168 0.158 0.151 0.17
Transformed_CSR_04/Ex6_GM04_L 0.145 0.14 0.147 0.135 0.148 0.14 0.151 0.142
Transformed_CSR_04/Ex6_GM04_iGM 0.165 0.164 0.318 0.313 2.285 0.175 0.186 0.232
Transformed_CSR_04/Ex6_Luc98_C 0.217 0.205 41.359 60.0 60.0 0.392 0.392 0.651
Transformed_CSR_04/Ex6_Luc98_FR 0.158 0.167 0.547 0.507 60.0 0.174 0.187 0.212
problem t e s nv g c r *
Transformed_CSR_04/Ex6_Luc98_GM 0.167 0.179 0.774 0.661 60.0 0.181 0.192 0.217
Transformed_CSR_04/Ex6_Luc98_L 0.14 0.137 0.149 0.135 0.159 0.135 0.144 0.148
Transformed_CSR_04/Ex6_Luc98_Z 0.164 0.165 0.178 0.182 0.188 0.152 0.157 0.175
Transformed_CSR_04/Ex6_Luc98_iGM 0.2 0.203 26.216 47.318 60.0 0.335 0.318 0.463
Transformed_CSR_04/Ex7_BLR02_C 0.249 0.262 60.0 60.0 60.0 0.704 0.682 0.736
Transformed_CSR_04/Ex7_BLR02_FR 0.181 0.179 1.028 0.967 60.0 0.191 0.197 0.242
Transformed_CSR_04/Ex7_BLR02_GM 0.18 0.181 10.269 21.667 60.0 0.294 0.291 0.425
Transformed_CSR_04/Ex7_BLR02_Z 0.172 0.174 0.54 0.516 60.0 0.19 0.176 0.202
Transformed_CSR_04/Ex7_BLR02_iGM 0.231 0.243 60.0 60.0 60.0 0.572 0.575 0.882
Transformed_CSR_04/Ex8_BLR02_C 0.262 0.269 60.0 60.0 60.0 0.65 0.66 1.102
Transformed_CSR_04/Ex8_BLR02_FR 0.178 0.17 0.695 0.774 60.0 0.186 0.183 0.233
Transformed_CSR_04/Ex8_BLR02_GM 0.188 0.188 7.537 19.674 60.0 0.263 0.278 0.369
Transformed_CSR_04/Ex8_BLR02_Z 0.154 0.162 0.402 0.466 60.0 0.179 0.175 0.228
Transformed_CSR_04/Ex8_BLR02_iGM 0.243 0.253 60.0 60.0 60.0 0.532 0.541 0.756
Transformed_CSR_04/Ex9_BLR02_C 0.253 0.258 60.0 60.0 60.0 0.63 0.603 0.981
Transformed_CSR_04/Ex9_BLR02_FR 0.175 0.183 5.563 5.33 60.0 0.23 0.241 0.312
Transformed_CSR_04/Ex9_BLR02_GM 0.206 0.181 7.319 6.728 60.0 0.239 0.229 0.308
Transformed_CSR_04/Ex9_BLR02_L 0.147 0.147 0.17 0.181 0.164 0.155 0.161 0.154
Transformed_CSR_04/Ex9_BLR02_Z 0.179 0.17 2.447 60.0 60.0 0.195 0.2 0.238
Transformed_CSR_04/Ex9_BLR02_iGM 0.236 0.233 60.0 60.0 60.0 0.528 0.516 0.72
Transformed_CSR_04/Ex9_Luc04_C 0.192 0.204 3.696 60.0 60.0 0.224 0.222 0.31
Transformed_CSR_04/Ex9_Luc04_FR 0.139 0.14 0.168 0.176 0.246 0.149 0.154 0.158
Transformed_CSR_04/Ex9_Luc04_GM 0.166 0.158 0.348 3.632 60.0 0.157 0.16 0.187
Transformed_CSR_04/Ex9_Luc04_L 0.133 0.145 0.147 0.17 0.148 0.133 0.139 0.149
Transformed_CSR_04/Ex9_Luc04_iGM 0.173 0.172 2.817 60.0 60.0 0.207 0.208 0.251
problem t e s nv g c r *
Transformed_CSR_04/Ex9_Luc06_C 0.177 0.171 0.806 60.0 60.0 0.26 0.276 0.407
Transformed_CSR_04/Ex9_Luc06_FR 0.148 0.147 0.255 0.276 2.784 0.163 0.184 0.229
Transformed_CSR_04/Ex9_Luc06_GM 0.16 0.156 0.312 1.568 60.0 0.208 0.231 0.322
Transformed_CSR_04/Ex9_Luc06_iGM 0.172 0.167 1.324 29.812 60.0 0.277 0.334 0.402
Transformed_CSR_04/ExAppendixB_AEL03_C 0.399 0.431 60.0 60.0 60.0 2.107 2.037 1.442
Transformed_CSR_04/ExAppendixB_AEL03_FR 0.176 0.192 1.757 20.705 60.0 0.251 0.25 0.311
Transformed_CSR_04/ExAppendixB_AEL03_GM 0.235 0.25 60.0 60.0 60.0 0.806 0.823 1.268
Transformed_CSR_04/ExAppendixB_AEL03_Z 0.185 0.177 1.111 12.252 60.0 0.236 0.242 0.3
Transformed_CSR_04/ExAppendixB_AEL03_iGM 0.347 0.392 60.0 60.0 60.0 1.611 1.605 1.39
Transformed_CSR_04/ExConc_Zan97_C 0.169 0.166 1.91 1.962 60.0 0.23 0.425 0.533
Transformed_CSR_04/ExConc_Zan97_FR 0.18 0.158 0.223 0.226 5.038 0.152 0.168 0.177
Transformed_CSR_04/ExConc_Zan97_GM 0.155 0.155 0.198 0.207 6.381 0.169 0.156 0.175
Transformed_CSR_04/ExConc_Zan97_L 0.142 0.146 0.15 0.132 0.136 0.139 0.14 0.133
Transformed_CSR_04/ExConc_Zan97_Z 0.14 0.142 0.151 0.16 0.145 0.147 0.139 0.155
Transformed_CSR_04/ExConc_Zan97_iGM 0.178 0.173 1.168 0.939 60.0 0.192 0.272 0.352
Transformed_CSR_04/ExIntrod_GM01_C 0.223 0.242 60.0 60.0 60.0 0.529 3.729 1.072
Transformed_CSR_04/ExIntrod_GM01_FR 0.162 0.175 1.131 0.972 60.0 0.18 0.273 0.295
Transformed_CSR_04/ExIntrod_GM01_GM 0.179 0.186 16.319 17.157 60.0 0.253 0.368 0.481
Transformed_CSR_04/ExIntrod_GM01_Z 0.162 0.168 1.067 0.812 60.0 0.179 0.246 0.284
Transformed_CSR_04/ExIntrod_GM01_iGM 0.206 0.227 60.0 60.0 60.0 0.506 3.738 1.045
Transformed_CSR_04/ExIntrod_GM04_C 0.215 0.222 60.0 49.725 60.0 0.432 1.324 0.994
Transformed_CSR_04/ExIntrod_GM04_FR 0.178 0.165 2.224 1.552 60.0 0.195 0.262 0.314
Transformed_CSR_04/ExIntrod_GM04_GM 0.192 0.168 8.907 5.351 60.0 0.229 0.342 0.422
Transformed_CSR_04/ExIntrod_GM04_Z 0.163 0.165 2.032 1.26 60.0 0.182 0.284 0.328
Transformed_CSR_04/ExIntrod_GM04_iGM 0.218 0.228 60.0 60.0 60.0 0.424 3.357 0.956
problem t e s nv g c r *
Transformed_CSR_04/ExIntrod_GM99_C 0.287 0.315 60.0 60.0 60.0 1.125 1.131 1.318
Transformed_CSR_04/ExIntrod_GM99_FR 0.185 0.191 7.565 60.0 60.0 0.265 0.266 0.328
Transformed_CSR_04/ExIntrod_GM99_GM 0.216 0.223 40.603 60.0 60.0 0.412 0.418 0.622
Transformed_CSR_04/ExIntrod_GM99_Z 0.174 0.178 2.398 60.0 60.0 0.23 0.231 0.234
Transformed_CSR_04/ExIntrod_GM99_iGM 0.271 0.307 60.0 60.0 60.0 0.943 0.924 1.318
Transformed_CSR_04/ExIntrod_Zan97_C 0.256 0.295 60.0 60.0 60.0 0.776 0.779 1.29
Transformed_CSR_04/ExIntrod_Zan97_FR 0.176 0.185 12.426 49.744 60.0 0.232 0.22 0.292
Transformed_CSR_04/ExIntrod_Zan97_GM 0.199 0.192 23.276 60.0 60.0 0.349 0.348 0.556
Transformed_CSR_04/ExIntrod_Zan97_Z 0.18 0.186 2.767 13.431 60.0 0.197 0.191 0.228
Transformed_CSR_04/ExIntrod_Zan97_iGM 0.251 0.26 60.0 60.0 60.0 0.669 0.663 0.985
Transformed_CSR_04/ExProp7_Luc06_C 0.189 0.193 29.846 22.056 60.0 0.341 60.0 0.855
Transformed_CSR_04/ExProp7_Luc06_FR 0.189 0.165 0.641 0.587 60.0 0.167 0.224 0.254
Transformed_CSR_04/ExProp7_Luc06_GM 0.17 0.159 0.729 1.063 60.0 0.183 0.227 0.282
Transformed_CSR_04/ExProp7_Luc06_L 0.153 0.155 0.161 0.155 0.154 0.149 0.149 0.169
Transformed_CSR_04/ExProp7_Luc06_Z 0.156 0.156 0.17 0.182 0.201 0.158 0.155 0.178
Transformed_CSR_04/ExProp7_Luc06_iGM 0.173 0.191 16.658 12.5 60.0 0.28 0.916 0.699
Transformed_CSR_04/ExSec11_1_Luc02a_C 0.284 0.307 60.0 60.0 60.0 1.097 1.073 1.312
Transformed_CSR_04/ExSec11_1_Luc02a_FR 0.192 0.203 13.07 29.762 60.0 0.228 0.221 0.283
Transformed_CSR_04/ExSec11_1_Luc02a_GM 0.207 0.207 35.947 60.0 60.0 0.411 0.391 0.658
Transformed_CSR_04/ExSec11_1_Luc02a_L 0.16 0.177 0.489 0.774 60.0 0.185 0.193 0.211
Transformed_CSR_04/ExSec11_1_Luc02a_Z 0.186 0.185 0.696 1.629 60.0 0.192 0.192 0.228
Transformed_CSR_04/ExSec11_1_Luc02a_iGM 0.275 0.283 60.0 60.0 60.0 0.928 0.936 1.3
Transformed_CSR_04/ExSec4_2_DLMMU04_C 0.394 0.439 60.0 60.0 60.0 2.018 1.992 1.42
Transformed_CSR_04/ExSec4_2_DLMMU04_FR 0.173 0.177 2.403 60.0 60.0 0.2 0.202 0.258
Transformed_CSR_04/ExSec4_2_DLMMU04_GM 0.256 0.255 60.0 60.0 60.0 0.912 0.907 1.257
problem t e s nv g c r *
Transformed_CSR_04/ExSec4_2_DLMMU04_Z 0.174 0.168 1.32 60.0 60.0 0.207 0.191 0.238
Transformed_CSR_04/ExSec4_2_DLMMU04_iGM 0.34 0.386 60.0 60.0 60.0 1.518 1.516 1.385
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR 0.923 1.545 60.0 60.0 60.0 32.787 32.259 2.215
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z 0.917 1.464 60.0 60.0 60.0 25.897 25.891 2.072
Transformed_CSR_04/LISTUTILITIES_complete_C 3.678 5.354 60.0 60.0 60.0 60.0 60.0 5.254
Transformed_CSR_04/LISTUTILITIES_complete_FR 0.565 0.79 60.0 60.0 60.0 12.653 13.097 1.709
Transformed_CSR_04/LISTUTILITIES_complete_GM 1.006 1.293 60.0 60.0 60.0 30.581 30.435 2.28
Transformed_CSR_04/LISTUTILITIES_complete_Z 0.529 0.702 60.0 60.0 60.0 9.789 9.814 1.619
Transformed_CSR_04/LISTUTILITIES_complete_iGM 4.379 5.741 60.0 60.0 60.0 51.129 51.29 5.747
Transformed_CSR_04/LISTUTILITIES_complete_noand_C 40.433 47.875 60.0 60.0 60.0 60.0 60.0 41.002
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM 5.325 6.569 60.0 60.0 60.0 60.0 60.0 6.83
Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM 37.611 42.853 60.0 60.0 60.0 60.0 60.0 37.684
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR 0.421 0.514 60.0 60.0 60.0 5.796 5.801 1.471
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z 0.389 0.458 60.0 60.0 60.0 4.307 4.241 1.448
Transformed_CSR_04/LISTUTILITIES_nokinds_C 0.874 1.133 60.0 60.0 60.0 9.231 9.264 2.059
Transformed_CSR_04/LISTUTILITIES_nokinds_FR 0.339 0.404 60.0 60.0 60.0 3.401 3.397 1.388
Transformed_CSR_04/LISTUTILITIES_nokinds_GM 0.402 0.476 60.0 60.0 60.0 4.732 4.734 1.476
Transformed_CSR_04/LISTUTILITIES_nokinds_Z 0.313 0.357 60.0 60.0 60.0 2.422 2.373 1.351
Transformed_CSR_04/LISTUTILITIES_nokinds_iGM 0.886 1.216 60.0 60.0 60.0 7.888 7.784 2.144
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C 2.61 3.347 60.0 60.0 60.0 41.345 41.317 4.104
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM 0.758 0.9 60.0 60.0 60.0 17.785 17.553 1.986
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM 2.793 3.723 60.0 60.0 60.0 32.997 32.699 4.412
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR 0.24 0.26 37.794 60.0 60.0 0.455 0.457 0.762
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z 0.244 0.24 26.166 60.0 60.0 0.391 0.394 0.66
Transformed_CSR_04/LISTUTILITIES_nosorts_C 0.447 0.477 60.0 60.0 60.0 2.598 2.552 1.497
problem t e s nv g c r *
Transformed_CSR_04/LISTUTILITIES_nosorts_FR 0.181 0.175 3.718 5.412 60.0 0.231 0.235 0.292
Transformed_CSR_04/LISTUTILITIES_nosorts_GM 0.263 0.251 60.0 60.0 60.0 1.179 1.16 1.286
Transformed_CSR_04/LISTUTILITIES_nosorts_Z 0.173 0.177 1.785 2.822 60.0 0.204 0.213 0.251
Transformed_CSR_04/LISTUTILITIES_nosorts_iGM 0.404 0.461 60.0 60.0 60.0 1.983 1.998 1.458
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C 1.054 1.264 60.0 60.0 60.0 11.77 11.871 2.282
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM 0.427 0.45 60.0 60.0 60.0 4.686 4.696 1.484
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM 1.027 1.337 60.0 60.0 60.0 8.747 8.74 2.336
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR 0.302 0.325 60.0 60.0 60.0 1.648 1.651 1.316
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z 0.304 0.339 60.0 60.0 60.0 1.489 1.52 1.327
Transformed_CSR_04/LengthOfFiniteLists_complete_C 0.53 0.651 60.0 60.0 60.0 4.392 4.392 1.644
Transformed_CSR_04/LengthOfFiniteLists_complete_FR 0.252 0.269 60.0 60.0 60.0 1.294 1.253 1.286
Transformed_CSR_04/LengthOfFiniteLists_complete_GM 0.309 0.331 60.0 60.0 60.0 1.615 1.581 1.342
Transformed_CSR_04/LengthOfFiniteLists_complete_Z 0.248 0.256 60.0 60.0 60.0 1.101 1.106 1.268
Transformed_CSR_04/LengthOfFiniteLists_complete_iGM 0.581 0.715 60.0 60.0 60.0 4.076 4.09 1.714
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C 1.161 1.498 60.0 60.0 60.0 15.706 15.89 2.517
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM 0.468 0.516 60.0 60.0 60.0 4.842 4.764 1.537
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM 1.337 1.75 60.0 60.0 60.0 13.054 13.07 2.742
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR 0.206 0.224 60.0 60.0 60.0 0.426 0.435 0.665
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z 0.197 0.213 60.0 60.0 60.0 0.419 0.433 0.637
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C 0.274 0.273 60.0 60.0 60.0 0.723 0.706 1.266
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR 0.198 0.2 60.0 60.0 60.0 0.408 0.426 0.679
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM 0.198 0.208 38.854 60.0 60.0 0.315 0.312 0.472
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z 0.204 0.202 57.395 60.0 60.0 0.383 0.381 0.65
Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM 0.282 0.273 60.0 60.0 60.0 0.726 0.702 0.957
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C 0.377 0.413 60.0 60.0 60.0 1.927 1.925 1.412
problem t e s nv g c r *
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM 0.245 0.256 60.0 60.0 60.0 0.622 0.608 0.979
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM 0.357 0.415 60.0 60.0 60.0 1.758 1.779 1.425
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR 0.162 0.151 0.259 0.255 0.962 0.159 0.174 0.214
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C 0.198 0.204 34.802 22.896 60.0 0.381 1.071 0.912
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR 0.15 0.156 0.212 0.221 0.258 0.155 0.156 0.192
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM 0.16 0.162 1.445 1.538 60.0 0.181 0.307 0.709
Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM 0.203 0.202 38.685 21.526 60.0 0.328 2.809 0.856
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C 0.21 0.226 60.0 54.162 60.0 0.463 1.505 1.013
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM 0.176 0.179 4.76 1.938 60.0 0.206 0.929 0.752
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM 0.203 0.209 60.0 60.0 60.0 0.432 6.502 0.933
Transformed_CSR_04/MYNAT_complete-noand_FR 0.309 0.357 60.0 60.0 60.0 1.743 1.742 1.33
Transformed_CSR_04/MYNAT_complete-noand_Z 0.305 0.339 60.0 60.0 60.0 1.516 1.514 1.333
Transformed_CSR_04/MYNAT_complete_C 0.522 0.624 60.0 60.0 60.0 3.907 3.92 1.595
Transformed_CSR_04/MYNAT_complete_FR 0.245 0.276 60.0 60.0 60.0 1.105 1.107 1.273
Transformed_CSR_04/MYNAT_complete_GM 0.311 0.339 60.0 60.0 60.0 1.685 1.718 1.339
Transformed_CSR_04/MYNAT_complete_Z 0.242 0.264 60.0 60.0 60.0 0.926 0.93 1.265
Transformed_CSR_04/MYNAT_complete_iGM 0.546 0.664 60.0 60.0 60.0 3.305 3.25 1.664
Transformed_CSR_04/MYNAT_complete_noand_C 1.465 1.947 60.0 60.0 60.0 18.823 18.648 2.826
Transformed_CSR_04/MYNAT_complete_noand_GM 0.538 0.602 60.0 60.0 60.0 6.25 6.176 1.589
Transformed_CSR_04/MYNAT_complete_noand_iGM 1.535 2.028 60.0 60.0 60.0 14.559 14.296 3.043
Transformed_CSR_04/MYNAT_nokinds-noand_FR 0.208 0.233 59.124 60.0 60.0 0.476 0.489 0.785
Transformed_CSR_04/MYNAT_nokinds-noand_Z 0.198 0.22 58.732 60.0 60.0 0.427 0.426 0.701
Transformed_CSR_04/MYNAT_nokinds_C 0.303 0.332 60.0 60.0 60.0 1.167 1.15 1.348
Transformed_CSR_04/MYNAT_nokinds_FR 0.192 0.205 30.67 60.0 60.0 0.378 0.393 0.63
Transformed_CSR_04/MYNAT_nokinds_GM 0.218 0.227 57.316 60.0 60.0 0.512 0.502 0.846
problem t e s nv g c r *
Transformed_CSR_04/MYNAT_nokinds_Z 0.205 0.208 32.012 60.0 60.0 0.362 0.365 0.603
Transformed_CSR_04/MYNAT_nokinds_iGM 0.316 0.327 60.0 60.0 60.0 0.984 1.001 1.343
Transformed_CSR_04/MYNAT_nokinds_noand_C 0.431 0.475 60.0 60.0 60.0 2.587 2.517 1.465
Transformed_CSR_04/MYNAT_nokinds_noand_GM 0.252 0.28 60.0 60.0 60.0 0.915 0.905 1.286
Transformed_CSR_04/MYNAT_nokinds_noand_iGM 0.438 0.488 60.0 60.0 60.0 2.164 2.12 1.49
Transformed_CSR_04/MYNAT_nosorts-noand_FR 0.18 0.172 1.041 8.036 60.0 0.185 0.19 0.225
Transformed_CSR_04/MYNAT_nosorts_C 0.215 0.217 60.0 60.0 60.0 0.428 0.417 0.715
Transformed_CSR_04/MYNAT_nosorts_FR 0.153 0.156 0.286 0.388 60.0 0.15 0.152 0.189
Transformed_CSR_04/MYNAT_nosorts_GM 0.181 0.174 1.781 8.555 60.0 0.23 0.222 0.32
Transformed_CSR_04/MYNAT_nosorts_iGM 0.193 0.206 38.989 55.184 60.0 0.354 0.343 0.49
Transformed_CSR_04/MYNAT_nosorts_noand_C 0.288 0.288 60.0 60.0 60.0 0.831 0.857 1.299
Transformed_CSR_04/MYNAT_nosorts_noand_GM 0.216 0.211 19.497 60.0 60.0 0.328 0.329 0.537
Transformed_CSR_04/MYNAT_nosorts_noand_iGM 0.291 0.307 60.0 60.0 60.0 0.722 0.737 1.038
Transformed_CSR_04/OvConsOS_complete-noand_FR 0.392 0.503 60.0 60.0 60.0 3.708 3.639 1.459
Transformed_CSR_04/OvConsOS_complete-noand_Z 0.384 0.492 60.0 60.0 60.0 3.254 3.343 1.467
Transformed_CSR_04/OvConsOS_complete_C 0.775 0.993 60.0 60.0 60.0 8.737 8.727 1.959
Transformed_CSR_04/OvConsOS_complete_FR 0.302 0.335 60.0 60.0 60.0 2.408 2.417 1.349
Transformed_CSR_04/OvConsOS_complete_GM 0.377 0.416 60.0 60.0 60.0 3.3 3.287 1.442
Transformed_CSR_04/OvConsOS_complete_Z 0.31 0.359 60.0 60.0 60.0 2.07 2.076 1.326
Transformed_CSR_04/OvConsOS_complete_iGM 0.865 1.157 60.0 60.0 60.0 7.81 7.721 2.115
Transformed_CSR_04/OvConsOS_complete_noand_C 3.04 3.745 60.0 60.0 60.0 45.928 46.505 4.649
Transformed_CSR_04/OvConsOS_complete_noand_GM 0.736 0.909 60.0 60.0 60.0 13.89 13.795 1.91
Transformed_CSR_04/OvConsOS_complete_noand_iGM 3.152 4.306 60.0 60.0 60.0 34.664 34.264 4.809
Transformed_CSR_04/OvConsOS_nokinds-noand_FR 0.243 0.265 60.0 60.0 60.0 0.852 0.853 1.265
Transformed_CSR_04/OvConsOS_nokinds-noand_Z 0.245 0.267 60.0 60.0 60.0 0.747 0.728 1.225
problem t e s nv g c r *
Transformed_CSR_04/OvConsOS_nokinds_C 0.344 0.359 60.0 60.0 60.0 1.402 1.408 1.365
Transformed_CSR_04/OvConsOS_nokinds_FR 0.224 0.243 60.0 60.0 60.0 0.772 0.769 1.26
Transformed_CSR_04/OvConsOS_nokinds_GM 0.229 0.246 60.0 60.0 60.0 0.585 0.576 0.958
Transformed_CSR_04/OvConsOS_nokinds_Z 0.23 0.228 60.0 60.0 60.0 0.656 0.672 1.152
Transformed_CSR_04/OvConsOS_nokinds_iGM 0.331 0.394 60.0 60.0 60.0 1.329 1.371 1.396
Transformed_CSR_04/OvConsOS_nokinds_noand_C 0.582 0.674 60.0 60.0 60.0 4.912 4.916 1.661
Transformed_CSR_04/OvConsOS_nokinds_noand_GM 0.307 0.329 60.0 60.0 60.0 1.483 1.446 1.345
Transformed_CSR_04/OvConsOS_nokinds_noand_iGM 0.604 0.766 60.0 60.0 60.0 4.347 4.32 1.751
Transformed_CSR_04/OvConsOS_nosorts-noand_FR 0.182 0.177 1.737 2.364 60.0 0.222 0.511 0.582
Transformed_CSR_04/OvConsOS_nosorts-noand_Z 0.177 0.183 1.692 1.749 60.0 0.207 0.353 0.435
Transformed_CSR_04/OvConsOS_nosorts_C 0.234 0.235 60.0 60.0 60.0 0.498 8.057 1.054
Transformed_CSR_04/OvConsOS_nosorts_FR 0.169 0.153 0.424 0.416 60.0 0.169 0.261 0.304
Transformed_CSR_04/OvConsOS_nosorts_GM 0.175 0.168 5.872 3.825 60.0 0.238 0.688 0.755
Transformed_CSR_04/OvConsOS_nosorts_Z 0.156 0.164 0.41 0.376 60.0 0.181 0.19 0.211
Transformed_CSR_04/OvConsOS_nosorts_iGM 0.205 0.214 60.0 60.0 60.0 0.446 4.534 0.982
Transformed_CSR_04/OvConsOS_nosorts_noand_C 0.32 0.337 60.0 60.0 60.0 1.184 6.604 1.349
Transformed_CSR_04/OvConsOS_nosorts_noand_GM 0.206 0.231 44.231 21.426 60.0 0.378 60.0 0.923
Transformed_CSR_04/OvConsOS_nosorts_noand_iGM 0.333 0.364 60.0 60.0 60.0 1.086 60.0 1.383
Transformed_CSR_04/PALINDROME_complete-noand_FR 0.352 0.403 60.0 60.0 60.0 14.615 15.137 1.401
Transformed_CSR_04/PALINDROME_complete-noand_L 0.221 0.239 60.0 60.0 60.0 0.343 0.36 0.517
Transformed_CSR_04/PALINDROME_complete-noand_Z 0.322 0.385 60.0 60.0 60.0 14.591 14.881 1.373
Transformed_CSR_04/PALINDROME_complete_C 0.65 0.834 60.0 60.0 60.0 22.516 23.541 1.695
Transformed_CSR_04/PALINDROME_complete_FR 0.276 0.302 60.0 60.0 60.0 27.306 25.968 1.299
Transformed_CSR_04/PALINDROME_complete_GM 0.355 0.396 60.0 60.0 60.0 9.843 9.963 1.408
Transformed_CSR_04/PALINDROME_complete_Z 0.276 0.283 60.0 60.0 60.0 60.0 60.0 1.3
problem t e s nv g c r *
Transformed_CSR_04/PALINDROME_complete_iGM 0.756 0.937 60.0 60.0 60.0 14.831 14.413 1.886
Transformed_CSR_04/PALINDROME_complete_noand_C 1.661 2.15 60.0 60.0 60.0 38.319 37.751 3.103
Transformed_CSR_04/PALINDROME_complete_noand_GM 0.58 0.668 60.0 60.0 60.0 18.599 18.487 1.699
Transformed_CSR_04/PALINDROME_complete_noand_iGM 1.955 2.587 60.0 60.0 60.0 48.382 48.049 3.47
Transformed_CSR_04/PALINDROME_nokinds-noand_FR 0.221 0.227 60.0 60.0 60.0 0.846 0.979 1.233
Transformed_CSR_04/PALINDROME_nokinds-noand_L 0.19 0.19 23.023 22.981 60.0 0.21 0.232 0.28
Transformed_CSR_04/PALINDROME_nokinds-noand_Z 0.225 0.217 60.0 60.0 60.0 0.782 0.951 1.234
Transformed_CSR_04/PALINDROME_nokinds_C 0.256 0.264 60.0 60.0 60.0 0.846 2.504 1.27
Transformed_CSR_04/PALINDROME_nokinds_FR 0.219 0.213 60.0 60.0 60.0 0.989 1.277 1.232
Transformed_CSR_04/PALINDROME_nokinds_GM 0.203 0.218 60.0 60.0 60.0 0.568 0.919 1.08
Transformed_CSR_04/PALINDROME_nokinds_Z 0.205 0.222 60.0 60.0 60.0 0.946 1.307 1.23
Transformed_CSR_04/PALINDROME_nokinds_iGM 0.258 0.273 60.0 60.0 60.0 1.085 60.0 1.28
Transformed_CSR_04/PALINDROME_nokinds_noand_C 0.434 0.48 60.0 60.0 60.0 3.907 60.0 1.471
Transformed_CSR_04/PALINDROME_nokinds_noand_GM 0.269 0.283 60.0 60.0 60.0 1.475 4.498 1.289
Transformed_CSR_04/PALINDROME_nokinds_noand_iGM 0.446 0.498 60.0 60.0 60.0 4.267 60.0 1.515
Transformed_CSR_04/PALINDROME_nosorts-noand_FR 0.166 0.162 0.217 0.251 60.0 0.161 0.181 0.204
Transformed_CSR_04/PALINDROME_nosorts-noand_L 0.149 0.156 0.204 0.256 60.0 0.157 0.171 0.203
Transformed_CSR_04/PALINDROME_nosorts_C 0.199 0.211 22.382 16.423 60.0 0.413 0.838 0.955
Transformed_CSR_04/PALINDROME_nosorts_FR 0.152 0.155 0.182 0.205 60.0 0.157 0.159 0.188
Transformed_CSR_04/PALINDROME_nosorts_GM 0.162 0.164 1.209 2.927 60.0 0.312 0.377 0.579
Transformed_CSR_04/PALINDROME_nosorts_iGM 0.191 0.199 17.215 60.0 60.0 0.405 60.0 0.925
Transformed_CSR_04/PALINDROME_nosorts_noand_C 0.219 0.21 49.553 60.0 60.0 0.489 1.868 1.06
Transformed_CSR_04/PALINDROME_nosorts_noand_GM 0.182 0.183 3.937 28.439 60.0 0.312 0.456 0.646
Transformed_CSR_04/PALINDROME_nosorts_noand_iGM 0.201 0.214 33.252 60.0 60.0 0.458 42.775 0.993
Transformed_CSR_04/PEANO_complete-noand_FR 0.232 0.243 60.0 60.0 60.0 0.676 0.681 1.196
problem t e s nv g c r *
Transformed_CSR_04/PEANO_complete-noand_Z 0.229 0.251 60.0 60.0 60.0 0.66 0.633 1.119
Transformed_CSR_04/PEANO_complete_C 0.346 0.407 60.0 60.0 60.0 1.663 1.635 1.398
Transformed_CSR_04/PEANO_complete_FR 0.232 0.225 59.647 60.0 60.0 0.58 0.568 0.974
Transformed_CSR_04/PEANO_complete_GM 0.241 0.253 60.0 60.0 60.0 0.717 0.751 1.269
Transformed_CSR_04/PEANO_complete_Z 0.207 0.205 46.593 60.0 60.0 0.502 0.506 0.836
Transformed_CSR_04/PEANO_complete_iGM 0.343 0.406 60.0 60.0 60.0 1.421 1.473 1.418
Transformed_CSR_04/PEANO_complete_noand_C 0.611 0.753 60.0 60.0 60.0 5.51 5.415 1.715
Transformed_CSR_04/PEANO_complete_noand_GM 0.313 0.332 60.0 60.0 60.0 1.709 1.741 1.348
Transformed_CSR_04/PEANO_complete_noand_iGM 0.646 0.842 60.0 60.0 60.0 4.446 4.403 1.781
Transformed_CSR_04/PEANO_nokinds-noand_FR 0.173 0.175 10.136 60.0 60.0 0.273 0.291 0.416
Transformed_CSR_04/PEANO_nokinds-noand_Z 0.171 0.176 9.558 60.0 60.0 0.264 0.258 0.383
Transformed_CSR_04/PEANO_nokinds_C 0.252 0.28 60.0 60.0 60.0 0.605 0.612 1.065
Transformed_CSR_04/PEANO_nokinds_FR 0.186 0.187 7.15 36.676 60.0 0.252 0.254 0.389
Transformed_CSR_04/PEANO_nokinds_GM 0.183 0.196 12.197 60.0 60.0 0.28 0.282 0.44
Transformed_CSR_04/PEANO_nokinds_Z 0.175 0.169 6.536 33.612 60.0 0.257 0.254 0.348
Transformed_CSR_04/PEANO_nokinds_iGM 0.24 0.243 60.0 60.0 60.0 0.538 0.548 0.75
Transformed_CSR_04/PEANO_nokinds_noand_C 0.293 0.303 60.0 60.0 60.0 1.023 0.999 1.325
Transformed_CSR_04/PEANO_nokinds_noand_GM 0.221 0.201 43.318 60.0 60.0 0.37 0.38 0.587
Transformed_CSR_04/PEANO_nokinds_noand_iGM 0.278 0.301 60.0 60.0 60.0 0.902 0.862 1.323
Transformed_CSR_04/PEANO_nosorts-noand_FR 0.159 0.156 0.204 0.197 1.187 0.163 0.16 0.2
Transformed_CSR_04/PEANO_nosorts_C 0.198 0.204 16.683 13.935 60.0 0.305 60.0 0.842
Transformed_CSR_04/PEANO_nosorts_FR 0.148 0.141 0.152 0.146 0.151 0.149 0.143 0.158
Transformed_CSR_04/PEANO_nosorts_GM 0.174 0.189 0.599 1.107 60.0 0.196 0.255 0.301
Transformed_CSR_04/PEANO_nosorts_iGM 0.19 0.187 11.438 10.225 60.0 0.271 60.0 0.805
Transformed_CSR_04/PEANO_nosorts_noand_C 0.221 0.225 42.933 44.322 60.0 0.427 60.0 0.927
problem t e s nv g c r *
Transformed_CSR_04/PEANO_nosorts_noand_GM 0.194 0.166 1.69 1.516 60.0 0.209 0.292 0.36
Transformed_CSR_04/PEANO_nosorts_noand_iGM 0.219 0.232 58.973 44.983 60.0 0.37 60.0 0.908
Various_04/02 0.141 0.142 0.169 0.163 0.243 0.149 0.145 0.152
Various_04/03 0.147 0.14 0.161 0.186 2.444 0.156 0.146 0.16
Various_04/04 0.188 0.202 60.0 60.0 60.0 0.198 0.211 0.23
Various_04/05 0.162 0.171 60.0 60.0 60.0 0.176 0.196 0.196
Various_04/06 0.15 0.154 0.193 0.188 0.171 0.151 0.151 0.172
Various_04/07 0.142 0.147 0.158 0.15 0.161 0.141 0.136 0.144
Various_04/08 0.208 0.205 60.0 60.0 60.0 0.231 0.238 0.265
Various_04/09 0.16 0.168 0.22 0.253 60.0 0.17 0.177 0.196
Various_04/10 0.185 0.179 6.124 60.0 60.0 0.244 0.231 0.3
Various_04/11 0.138 0.148 0.173 0.191 60.0 0.143 0.148 0.151
Various_04/12 0.175 0.182 1.233 3.244 60.0 0.214 0.194 0.237
Various_04/13 0.18 0.197 8.297 42.018 60.0 0.231 0.23 0.274
Various_04/14 0.28 0.279 60.0 60.0 60.0 0.553 0.534 0.564
Various_04/15 0.14 0.14 0.151 0.177 0.152 0.15 0.145 0.168
Various_04/18 0.143 0.151 0.239 1.209 60.0 0.227 0.261 0.259
Various_04/19 0.168 0.176 1.006 4.937 60.0 0.204 0.303 0.377
Various_04/21 0.208 0.221 41.761 60.0 60.0 0.4 60.0 0.785
Various_04/22 0.149 0.142 0.196 0.229 60.0 0.165 0.153 0.184
Various_04/23 0.153 0.158 0.172 0.173 0.188 0.157 0.17 0.174
Various_04/24 0.153 0.165 0.229 0.357 60.0 0.175 0.203 0.217
Various_04/25 0.163 0.15 0.193 0.183 0.275 0.145 0.157 0.162
Various_04/26 0.147 0.149 0.244 0.305 60.0 0.177 0.169 0.218
Various_04/27 0.133 0.136 0.142 0.155 0.267 0.146 0.157 0.146
problem t e s nv g c r *
Waldmann_06/jwaprove1 0.147 0.149 0.195 0.194 60.0 60.0 60.0 0.189
Waldmann_06/jwaprove2 0.147 0.142 0.174 0.177 60.0 60.0 60.0 0.191
Waldmann_06/jwcime1 0.149 0.143 0.196 0.188 60.0 0.418 60.0 0.175
Waldmann_06/jwcime2 0.148 0.148 0.176 0.187 60.0 0.163 0.2 0.197
Waldmann_06/jwmatchb1 0.136 0.14 0.155 0.165 60.0 0.152 0.169 0.171
Waldmann_06/jwmatchb2 0.152 0.156 0.173 0.177 60.0 0.143 0.145 0.163
Waldmann_06/jwno1 0.151 0.173 0.172 0.18 60.0 0.147 0.17 0.174
Waldmann_06/jwno2 0.14 0.139 0.167 0.183 60.0 0.145 0.162 0.181
Waldmann_06/jwno3 0.14 0.155 0.185 0.173 60.0 0.158 0.157 0.179
Waldmann_06/jwno4 0.138 0.152 0.16 0.175 60.0 0.148 0.15 0.163
Waldmann_06/jwno5 0.147 0.15 0.171 0.167 60.0 0.146 0.157 0.176
Waldmann_06/jwno6 0.159 0.148 0.164 0.162 60.0 0.144 0.141 0.181
Waldmann_06/jwno7 0.144 0.149 0.165 0.184 60.0 0.144 0.166 0.174
Waldmann_06/jwno8 0.14 0.149 0.168 0.174 60.0 0.158 0.173 0.194
Waldmann_06/jwno9 0.147 0.149 0.172 0.202 60.0 0.152 0.161 0.203
Waldmann_06/jwteparla1 0.165 0.146 0.162 0.172 60.0 0.147 0.151 0.159
Waldmann_06/jwteparla2 0.134 0.137 0.169 0.19 60.0 0.147 0.169 0.176
Waldmann_06/jwtpa1 0.14 0.163 0.173 0.182 60.0 0.157 0.167 0.185
Waldmann_06/jwtpa2 0.144 0.144 0.184 0.21 60.0 60.0 60.0 0.212
Waldmann_06/jwttt 0.143 0.149 0.191 0.199 60.0 60.0 60.0 0.192
Zantema_05/jw01 0.144 0.141 0.162 0.148 1.53 0.143 0.154 0.17
Zantema_05/jw02 0.141 0.146 0.159 0.158 1.48 0.144 0.146 0.189
Zantema_05/jw03 0.138 0.138 0.146 0.154 1.528 0.164 0.162 0.158
Zantema_05/jw04 0.143 0.137 0.144 0.155 1.533 0.143 0.154 0.168
Zantema_05/jw05 0.15 0.137 0.152 0.158 1.482 0.164 0.161 0.159
problem t e s nv g c r *
Zantema_05/jw06 0.151 0.141 0.148 0.153 1.463 0.148 0.157 0.174
Zantema_05/jw07 0.147 0.16 0.194 0.191 60.0 0.168 0.176 0.189
Zantema_05/jw08 0.152 0.144 0.172 0.185 60.0 0.171 0.159 0.184
Zantema_05/jw09 0.161 0.143 0.161 0.156 60.0 0.177 0.153 0.181
Zantema_05/jw11 0.14 0.142 0.176 0.187 60.0 0.157 0.161 0.171
Zantema_05/jw12 0.153 0.151 0.194 0.197 60.0 0.165 0.178 0.19
Zantema_05/jw13 0.149 0.155 0.182 0.169 60.0 0.155 0.15 0.158
Zantema_05/jw14 0.142 0.143 0.159 0.177 60.0 0.161 0.159 0.141
Zantema_05/jw15 0.144 0.154 0.19 0.173 60.0 0.158 0.153 0.163
Zantema_05/jw16 0.138 0.151 0.158 0.156 60.0 0.152 0.155 0.196
Zantema_05/jw17 0.139 0.143 0.171 0.158 60.0 0.156 0.166 0.169
Zantema_05/jw18 0.143 0.142 0.16 0.157 60.0 0.171 0.163 0.162
Zantema_05/jw19 0.14 0.158 0.186 0.176 60.0 0.153 0.178 0.198
Zantema_05/jw20 0.147 0.151 0.165 0.176 60.0 0.148 0.154 0.168
Zantema_05/jw21 0.156 0.148 0.18 0.193 60.0 0.157 0.159 0.189
Zantema_05/jw22 0.144 0.148 0.181 0.192 60.0 0.185 0.16 0.173
Zantema_05/jw23 0.142 0.142 0.162 0.178 60.0 0.156 0.155 0.171
Zantema_05/jw24 0.138 0.144 0.396 0.155 60.0 0.146 0.159 0.162
Zantema_05/jw25 0.137 0.142 0.169 0.157 60.0 0.153 0.159 0.175
Zantema_05/jw26 0.145 0.168 0.173 0.165 60.0 0.162 0.155 0.184
Zantema_05/jw27 0.137 0.161 0.171 0.2 60.0 0.161 0.168 0.165
Zantema_05/jw28 0.159 0.147 0.177 0.193 60.0 0.173 0.158 0.173
Zantema_05/jw29 0.141 0.165 0.151 0.163 60.0 0.151 0.159 0.171
Zantema_05/jw30 0.146 0.154 0.176 0.172 60.0 0.152 0.159 0.202
Zantema_05/jw31 0.144 0.156 0.169 0.157 60.0 0.142 0.155 0.179
problem t e s nv g c r *
Zantema_05/jw32 0.15 0.15 0.165 0.157 60.0 0.158 0.164 0.175
Zantema_05/jw33 0.142 0.153 0.16 0.178 60.0 0.164 0.153 0.188
Zantema_05/jw34 0.14 0.143 0.166 0.178 60.0 0.148 0.153 0.174
Zantema_05/jw35 0.148 0.158 0.172 0.164 60.0 0.158 0.156 0.143
Zantema_05/jw36 0.14 0.149 0.188 0.168 60.0 0.149 0.158 0.171
Zantema_05/jw37 0.142 0.141 0.177 0.175 60.0 0.16 0.168 0.16
Zantema_05/jw38 0.153 0.143 0.173 0.184 60.0 0.157 0.171 0.165
Zantema_05/jw39 0.152 0.15 0.153 0.162 60.0 0.15 0.165 0.17
Zantema_05/jw40 0.144 0.15 0.161 0.163 60.0 0.152 0.165 0.169
Zantema_05/jw41 0.151 0.152 0.171 0.205 60.0 0.148 0.167 0.184
Zantema_05/jw42 0.141 0.148 0.166 0.182 60.0 0.149 0.169 0.164
Zantema_05/jw43 0.148 0.142 0.151 0.154 2.648 0.159 0.165 0.159
Zantema_05/jw44 0.144 0.143 0.16 0.171 60.0 0.146 60.0 0.161
Zantema_05/jw47 0.157 0.143 0.155 0.179 60.0 0.151 60.0 0.187
Zantema_05/jw50 0.14 0.143 0.151 0.154 2.89 0.141 0.145 0.163
Zantema_05/z01 0.166 0.17 0.226 0.293 60.0 0.195 0.289 0.218
Zantema_05/z02 0.14 0.152 0.199 0.199 60.0 0.16 0.194 0.204
Zantema_05/z03 0.151 0.154 0.23 0.286 60.0 0.163 0.229 0.194
Zantema_05/z04 0.153 0.14 0.21 0.268 60.0 0.163 0.164 0.176
Zantema_05/z05 0.148 0.147 0.26 0.433 60.0 0.182 0.201 0.223
Zantema_05/z06 0.151 0.152 0.221 0.241 60.0 0.172 0.184 0.215
Zantema_05/z07 0.159 0.17 0.284 0.348 60.0 0.19 0.213 0.207
Zantema_05/z08 0.143 0.163 0.2 0.19 60.0 0.156 0.165 0.159
Zantema_05/z09 0.17 0.171 0.473 0.884 60.0 0.172 0.183 0.197
Zantema_05/z10 0.153 0.157 0.426 0.767 60.0 0.173 0.169 0.203
problem t e s nv g c r *
Zantema_05/z11 0.161 0.171 0.446 1.028 60.0 0.246 0.293 0.299
Zantema_05/z12 0.147 0.147 0.161 0.166 4.073 0.171 0.202 0.237
Zantema_05/z13 0.154 0.151 0.164 0.172 0.188 0.165 0.211 0.244
Zantema_05/z14 0.153 0.145 0.179 0.157 0.187 0.156 0.172 0.19
Zantema_05/z15 0.15 0.155 0.154 0.157 0.179 0.148 0.183 0.195
Zantema_05/z16 0.14 0.149 0.159 0.171 0.194 0.149 0.166 0.206
Zantema_05/z17 0.157 0.145 0.173 0.177 0.172 0.152 0.183 0.223
Zantema_05/z18 0.145 0.152 0.154 0.155 0.168 0.152 0.184 0.189
Zantema_05/z19 0.139 0.152 0.201 0.239 60.0 0.168 0.336 0.203
Zantema_05/z20 0.154 0.153 0.242 0.31 60.0 0.233 60.0 0.204
Zantema_05/z21 0.158 0.151 0.248 0.323 60.0 0.195 0.224 0.212
Zantema_05/z22 0.142 0.165 0.229 0.308 60.0 0.183 0.246 0.227
Zantema_05/z23 0.146 0.169 0.17 0.173 0.281 0.17 0.234 0.269
Zantema_05/z24 0.161 0.174 0.197 0.191 0.242 0.17 60.0 0.69
Zantema_05/z25 0.144 0.146 0.265 0.423 60.0 0.185 0.2 0.231
Zantema_05/z26 0.165 0.162 0.281 0.372 60.0 0.192 60.0 0.225
Zantema_05/z27 0.145 0.15 0.209 0.247 0.543 0.174 0.154 0.188
Zantema_05/z28 0.173 0.138 0.222 0.215 60.0 0.157 0.15 0.163
Zantema_05/z29 0.161 0.153 0.278 0.492 60.0 0.166 0.252 0.299
Zantema_05/z30 0.161 0.184 0.314 0.63 60.0 0.237 6.055 0.714
Yes No Maybe Timeout