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 2.358 2.36 2.41 2.488 60.0 2.371 2.367 2.386
AG01/#3.10 2.418 2.417 22.437 60.0 60.0 0.254 0.256 0.371
AG01/#3.12 0.158 0.151 0.263 0.322 60.0 0.169 0.171 0.224
AG01/#3.13 0.194 0.175 60.0 60.0 60.0 0.205 0.218 0.272
AG01/#3.15 0.147 0.144 0.201 0.248 60.0 0.159 0.17 0.198
AG01/#3.16 0.175 0.151 0.247 0.381 60.0 0.169 0.154 0.18
AG01/#3.17 0.162 0.172 0.537 0.949 60.0 0.178 0.245 0.306
AG01/#3.17a 0.27 0.273 1.465 4.746 60.0 0.212 0.294 0.334
AG01/#3.18 0.157 0.168 0.441 0.863 60.0 0.165 0.159 0.199
AG01/#3.19 0.163 0.157 0.605 3.704 60.0 0.175 0.178 0.215
AG01/#3.2 0.145 0.145 0.236 0.349 60.0 0.157 0.157 0.181
AG01/#3.21 0.165 0.153 0.225 0.286 60.0 0.164 0.165 0.185
AG01/#3.22 0.161 0.159 0.385 1.032 60.0 0.188 0.197 0.225
AG01/#3.23 0.134 0.149 0.161 0.195 60.0 0.135 0.138 0.146
AG01/#3.24 0.143 0.152 0.175 0.191 60.0 0.158 0.162 0.186
AG01/#3.26 0.148 0.15 0.167 0.174 1.29 0.16 0.167 0.193
AG01/#3.29 0.148 0.157 0.174 0.178 60.0 0.136 0.142 0.159
AG01/#3.31 0.143 0.144 0.17 0.186 60.0 0.144 0.136 0.165
AG01/#3.33 0.156 0.152 0.25 0.253 60.0 0.169 0.167 0.179
AG01/#3.35 0.141 0.142 0.175 0.198 0.968 0.14 0.143 0.165
AG01/#3.36 0.147 0.162 0.375 0.725 60.0 0.177 0.168 0.248
AG01/#3.37 0.157 0.161 0.236 0.258 60.0 0.169 0.182 0.211
AG01/#3.38 0.156 0.158 0.297 0.305 60.0 0.161 0.16 0.174
AG01/#3.39 0.159 0.161 0.459 2.828 60.0 0.176 0.182 0.221
AG01/#3.4 0.278 0.27 0.485 1.202 60.0 0.284 0.293 0.322
problem t e s nv g c r *
AG01/#3.40 0.294 0.184 0.927 10.222 60.0 0.213 0.21 0.27
AG01/#3.41 0.155 0.163 0.184 0.195 60.0 0.161 0.161 0.175
AG01/#3.42 0.258 0.257 0.566 0.638 60.0 0.274 0.27 0.304
AG01/#3.47 0.23 0.232 0.313 0.333 60.0 0.149 0.149 0.172
AG01/#3.48 0.164 0.15 0.535 9.447 60.0 0.168 0.169 0.189
AG01/#3.49 0.187 0.194 0.291 0.341 60.0 0.203 0.236 0.266
AG01/#3.5 0.207 0.198 0.769 7.057 60.0 0.184 0.186 0.226
AG01/#3.51 0.17 0.172 0.423 0.651 60.0 0.187 0.202 0.202
AG01/#3.52 0.139 0.136 0.181 0.494 60.0 0.144 0.155 0.158
AG01/#3.53 0.409 0.41 4.22 60.0 60.0 0.22 0.216 0.305
AG01/#3.53a 0.148 0.144 0.166 0.192 60.0 0.153 0.154 0.17
AG01/#3.53b 0.142 0.155 0.211 0.495 60.0 0.157 0.163 0.17
AG01/#3.54 0.144 0.146 0.221 0.935 60.0 0.162 0.159 0.189
AG01/#3.55 0.185 0.188 12.275 60.0 60.0 0.257 0.258 0.384
AG01/#3.56 0.148 0.147 0.231 0.276 60.0 0.155 0.182 0.181
AG01/#3.57 0.178 0.179 4.412 60.0 60.0 0.211 0.221 0.268
AG01/#3.5a 0.16 0.185 0.94 7.969 60.0 0.179 0.19 0.211
AG01/#3.5b 0.277 0.283 1.871 42.535 60.0 0.312 0.301 0.345
AG01/#3.6 0.287 0.281 1.016 6.338 60.0 0.187 0.178 0.221
AG01/#3.6a 0.17 0.171 0.783 3.761 60.0 0.187 0.187 0.228
AG01/#3.6b 0.182 0.2 1.854 25.952 60.0 0.215 0.211 0.262
AG01/#3.7 0.169 0.164 0.212 0.26 60.0 0.156 0.153 0.175
AG01/#3.8a 0.165 0.158 0.448 1.527 60.0 0.172 0.173 0.204
AG01/#3.8b 0.336 0.337 1.633 60.0 60.0 0.363 0.367 0.413
AG01/#4.30c 0.339 0.234 0.979 4.843 60.0 0.169 0.176 0.217
problem t e s nv g c r *
AProVE_04/AAECC-ring 0.278 0.293 60.0 60.0 60.0 0.794 0.842 1.316
AProVE_04/AAECC 0.207 0.22 28.493 60.0 60.0 0.357 0.359 0.544
AProVE_04/IJCAR_1 0.169 0.158 0.246 1.594 60.0 0.165 0.167 0.183
AProVE_04/IJCAR_12 0.177 0.187 1.324 14.556 60.0 0.196 0.193 0.224
AProVE_04/IJCAR_18 0.197 0.202 19.864 60.0 60.0 0.259 0.255 0.379
AProVE_04/IJCAR_26 0.196 0.199 30.55 60.0 60.0 0.276 0.277 0.425
AProVE_04/IJCAR_26a 0.196 0.2 34.35 60.0 60.0 0.294 0.29 0.417
AProVE_04/JFP_Ex31 0.183 0.178 1.99 60.0 60.0 0.223 0.233 0.306
AProVE_04/JFP_Ex51 0.195 0.211 6.095 60.0 60.0 0.22 0.226 0.304
AProVE_04/LPAR_intlist 0.164 0.177 0.358 0.381 60.0 0.189 0.207 0.239
AProVE_04/Liveness6.1 0.183 0.184 0.738 0.787 60.0 0.21 0.256 0.306
AProVE_04/Liveness6.2 0.19 0.164 0.452 0.507 60.0 0.262 0.292 0.322
AProVE_04/Liveness6.3 0.27 0.269 6.648 11.975 60.0 0.346 0.597 0.575
AProVE_04/Liveness6.4 0.194 0.214 7.012 8.245 60.0 0.272 0.409 0.519
AProVE_04/Liveness8 0.193 0.204 6.521 3.783 60.0 0.251 0.458 0.564
AProVE_04/Liveness_WRS 0.19 0.204 2.826 5.938 60.0 0.287 60.0 0.78
AProVE_04/fac 0.17 0.174 0.55 1.433 60.0 0.194 0.19 0.243
AProVE_04/forward_instantiation 0.142 0.147 0.188 0.202 60.0 0.139 0.152 0.158
AProVE_04/forward_instantiation2 0.144 0.138 0.191 0.243 60.0 0.147 0.144 0.154
AProVE_04/improved_usable 0.352 0.332 0.398 0.463 60.0 0.35 0.343 0.367
AProVE_04/improved_usable2 0.234 0.233 0.405 0.426 60.0 0.171 0.157 0.172
AProVE_04/rta1 0.169 0.178 0.498 1.46 60.0 60.0 60.0 1.204
AProVE_04/rta2 0.136 0.145 0.167 0.169 50.814 0.145 0.147 0.165
AProVE_04/rta3 0.165 0.166 0.432 0.791 60.0 0.178 0.187 0.205
AProVE_06/div_notCeTermin 0.177 0.186 9.589 60.0 60.0 0.233 0.234 0.286
problem t e s nv g c r *
AProVE_06/div_notTermin 0.182 0.191 13.077 60.0 60.0 0.276 0.272 0.363
AProVE_06/factorial1 0.169 0.172 0.813 2.112 60.0 0.262 0.265 0.316
AProVE_06/factorial2 0.259 0.255 3.338 60.0 60.0 0.283 0.285 0.326
AProVE_06/identity 0.171 0.172 0.853 1.106 60.0 0.225 60.0 0.732
AProVE_06/logarithm 0.209 0.206 5.052 60.0 60.0 0.225 0.218 0.282
AProVE_06/mapHard 0.184 0.206 5.881 60.0 60.0 60.0 60.0 0.274
AProVE_06/modulo 0.219 0.206 1.749 60.0 60.0 0.332 0.327 0.485
AProVE_06/nonterm 0.208 0.15 1.309 54.713 60.0 0.444 0.434 0.808
AProVE_06/quicksort 0.195 0.204 16.61 60.0 60.0 0.26 0.261 0.368
AProVE_06/quot 0.189 0.201 0.974 60.0 60.0 0.288 0.284 0.409
AProVE_06/sizeChange 0.189 0.194 60.0 60.0 60.0 0.181 0.178 0.177
AProVE_06/tower 0.164 0.162 1.369 10.41 60.0 0.187 0.192 0.25
AProVE_06/tower_sizeChange 0.169 0.197 1.771 2.135 60.0 0.218 60.0 0.722
AProVE_07/kabasci01 0.244 0.265 60.0 60.0 60.0 0.698 0.7 1.069
AProVE_07/kabasci02 0.302 0.299 60.0 60.0 60.0 2.327 2.2 1.342
AProVE_07/kabasci03 0.182 0.188 19.124 60.0 60.0 60.0 60.0 1.21
AProVE_07/kabasci04 0.178 0.183 1.114 4.325 60.0 0.186 0.19 0.232
AProVE_07/kabasci05 0.196 0.203 5.123 19.133 60.0 0.237 0.225 0.289
AProVE_07/kabasci06 0.201 0.208 5.665 60.0 60.0 0.496 0.489 0.321
AProVE_07/otto01 0.206 0.209 60.0 60.0 60.0 0.279 0.254 0.349
AProVE_07/otto02 0.179 0.186 8.419 60.0 60.0 0.231 0.229 0.28
AProVE_07/otto03 0.147 0.145 0.394 3.559 60.0 0.171 0.153 0.198
AProVE_07/otto04 0.177 0.181 13.764 60.0 60.0 0.244 0.245 0.303
AProVE_07/otto05 0.172 0.175 1.352 17.369 60.0 0.201 0.201 0.23
AProVE_07/otto06 0.31 0.296 8.593 60.0 60.0 0.357 0.358 0.443
problem t e s nv g c r *
AProVE_07/otto07 0.172 0.28 0.422 3.397 60.0 0.205 0.214 0.23
AProVE_07/otto08 0.229 0.238 3.143 60.0 60.0 0.259 0.266 0.302
AProVE_07/otto09 0.158 0.175 0.987 60.0 60.0 0.185 0.186 0.222
AProVE_07/otto10 0.176 0.174 20.196 60.0 60.0 0.259 0.283 0.305
AProVE_07/otto11 0.236 0.243 1.19 60.0 60.0 0.284 0.271 0.323
AProVE_07/otto12 0.213 0.192 2.832 60.0 60.0 0.21 0.229 0.27
AProVE_07/otto13 0.191 0.21 2.773 60.0 60.0 0.27 0.261 0.332
AProVE_07/thiemann01 0.18 0.182 1.791 50.821 60.0 0.202 0.205 0.242
AProVE_07/thiemann02 0.205 0.208 55.83 60.0 60.0 0.334 0.322 0.502
AProVE_07/thiemann03 0.163 0.174 2.596 60.0 60.0 0.221 0.225 0.273
AProVE_07/thiemann04 0.225 0.223 60.0 60.0 60.0 0.286 0.303 0.379
AProVE_07/thiemann05 0.169 0.163 1.074 60.0 60.0 0.189 0.186 0.222
AProVE_07/thiemann06 0.17 0.174 60.0 60.0 60.0 0.309 0.3 0.341
AProVE_07/thiemann07 0.29 0.285 22.241 60.0 60.0 0.355 0.347 0.421
AProVE_07/thiemann08 0.168 0.169 1.215 8.872 60.0 0.205 0.194 0.232
AProVE_07/thiemann09 0.184 0.2 9.49 30.192 60.0 0.251 0.234 0.324
AProVE_07/thiemann10 0.175 0.161 1.285 16.547 60.0 0.194 0.175 0.21
AProVE_07/thiemann11 0.236 0.237 5.408 60.0 60.0 0.26 0.262 0.294
AProVE_07/thiemann12 0.239 0.183 1.52 22.668 60.0 0.189 0.178 0.223
AProVE_07/thiemann13 0.185 0.185 6.427 60.0 60.0 0.218 0.216 0.266
AProVE_07/thiemann14 0.229 0.241 13.306 60.0 60.0 0.278 0.291 0.332
AProVE_07/thiemann15 0.168 0.219 1.453 20.037 60.0 0.172 0.173 0.196
AProVE_07/thiemann16 0.172 0.189 20.953 60.0 60.0 0.212 0.224 0.29
AProVE_07/thiemann17 0.163 0.184 2.615 60.0 60.0 0.204 0.192 0.227
AProVE_07/thiemann18 0.205 0.198 26.428 60.0 60.0 0.258 0.269 0.345
problem t e s nv g c r *
AProVE_07/thiemann19 0.173 0.165 1.069 2.779 60.0 0.199 0.196 0.268
AProVE_07/thiemann20 0.246 0.246 1.181 8.344 60.0 0.268 0.271 0.327
AProVE_07/thiemann21 0.306 0.307 49.18 60.0 60.0 0.278 0.277 0.417
AProVE_07/thiemann22 0.174 0.175 1.12 60.0 60.0 0.179 0.178 0.214
AProVE_07/thiemann23 0.171 0.174 0.555 1.18 60.0 0.205 0.186 0.224
AProVE_07/thiemann24 0.172 0.187 1.305 60.0 60.0 0.189 0.188 0.224
AProVE_07/thiemann25 0.177 0.173 1.273 60.0 60.0 0.189 0.186 0.218
AProVE_07/thiemann26 0.166 0.16 2.26 60.0 60.0 0.183 0.202 0.23
AProVE_07/thiemann27 0.163 0.156 0.304 1.442 60.0 0.149 0.162 0.172
AProVE_07/thiemann28 0.168 0.17 1.116 60.0 60.0 0.183 0.182 0.231
AProVE_07/thiemann29 0.186 0.187 10.947 60.0 60.0 0.22 0.231 0.284
AProVE_07/thiemann30 0.246 0.251 39.753 60.0 60.0 0.402 0.38 0.526
AProVE_07/thiemann31 0.261 0.249 3.825 60.0 60.0 0.273 0.257 0.305
AProVE_07/thiemann32 0.203 0.203 6.007 60.0 60.0 0.258 0.262 0.329
AProVE_07/thiemann33 0.185 0.199 1.844 4.52 60.0 0.211 0.214 0.268
AProVE_07/thiemann34 0.183 0.189 2.835 27.796 60.0 0.211 0.219 0.262
AProVE_07/thiemann35 0.212 0.218 20.103 60.0 60.0 28.949 28.399 0.742
AProVE_07/thiemann36 0.191 0.194 60.0 60.0 60.0 0.234 0.236 0.278
AProVE_07/thiemann37 0.236 0.253 60.0 60.0 60.0 0.281 0.279 0.358
AProVE_07/thiemann38 0.173 0.163 10.56 60.0 60.0 0.189 0.191 0.239
AProVE_07/thiemann39 0.217 0.239 17.855 60.0 60.0 60.0 60.0 0.348
AProVE_07/thiemann40 0.152 0.162 0.562 1.515 60.0 0.169 0.17 0.188
AProVE_07/thiemann41 0.349 0.352 1.493 60.0 60.0 0.373 0.388 0.434
AProVE_07/wiehe01 0.261 0.383 4.29 26.861 60.0 6.264 6.197 1.188
AProVE_07/wiehe02 0.19 0.198 13.535 60.0 60.0 60.0 60.0 1.217
problem t e s nv g c r *
AProVE_07/wiehe03 0.21 0.209 23.778 60.0 60.0 60.0 60.0 1.234
AProVE_07/wiehe05 0.198 0.189 7.193 52.992 60.0 6.172 5.807 1.216
AProVE_07/wiehe06 0.192 0.193 6.266 46.643 60.0 9.379 8.903 1.23
AProVE_07/wiehe07 0.25 0.271 7.414 60.0 60.0 43.097 45.443 1.272
AProVE_07/wiehe08 0.255 0.26 7.031 54.503 60.0 5.953 5.929 1.217
AProVE_07/wiehe09 0.207 0.215 9.96 60.0 60.0 7.989 8.354 1.235
AProVE_07/wiehe11 0.289 0.289 39.794 60.0 60.0 60.0 60.0 1.309
AProVE_07/wiehe12 0.222 0.333 60.0 60.0 60.0 60.0 60.0 1.267
AProVE_08/id_inc 0.208 0.19 0.806 1.301 60.0 0.23 0.221 0.268
AProVE_08/log 0.387 0.394 1.082 6.036 60.0 0.454 0.446 0.498
AProVE_08/parting01_reverse 0.422 0.405 2.37 60.0 60.0 0.196 0.199 0.236
AProVE_08/parting02_doublelist 0.17 0.184 2.757 60.0 60.0 0.2 0.205 0.254
AProVE_08/parting03_minsort 0.281 0.259 5.963 60.0 60.0 0.303 0.321 0.382
AProVE_08/parting04_maxsort_h 0.283 0.287 14.19 60.0 60.0 0.242 0.24 0.351
AProVE_08/parting05_maxsort 0.183 0.18 9.008 60.0 60.0 0.218 0.223 0.291
AProVE_08/round 0.194 0.192 0.287 0.447 60.0 0.206 0.148 0.231
AProVE_08/round_nonterm 0.202 0.205 0.283 0.415 60.0 0.202 0.202 0.222
AProVE_08/thiemann40_modified 0.208 0.224 0.787 5.363 60.0 0.227 0.235 0.263
AProVE_09_Inductive/div 0.179 0.177 2.574 60.0 60.0 0.222 0.217 0.255
AProVE_09_Inductive/divhard 0.191 0.192 4.548 60.0 60.0 0.205 0.209 0.261
AProVE_09_Inductive/gcd 0.169 0.182 3.532 60.0 60.0 0.205 0.209 0.258
AProVE_09_Inductive/gcd2 0.174 0.186 5.685 60.0 60.0 0.227 0.223 0.288
AProVE_09_Inductive/gcdhard 0.174 0.184 1.995 10.992 60.0 0.2 0.214 0.261
AProVE_09_Inductive/log 0.17 0.17 0.886 1.781 60.0 0.184 0.189 0.241
AProVE_09_Inductive/maxsort 0.355 0.357 7.985 60.0 60.0 0.413 0.42 0.48
problem t e s nv g c r *
AProVE_09_Inductive/maxsortcondition 0.256 0.386 13.381 60.0 60.0 0.224 0.223 0.305
AProVE_09_Inductive/minsort 0.191 0.202 8.271 60.0 60.0 0.238 0.245 0.309
AProVE_09_Inductive/mod 0.25 0.247 2.629 60.0 60.0 0.282 0.281 0.326
AProVE_09_Inductive/qsort 0.262 0.262 7.608 60.0 60.0 0.342 0.344 0.401
AProVE_09_Inductive/qsortlast 0.284 0.3 15.362 60.0 60.0 60.0 60.0 0.452
AProVE_09_Inductive/qsortmiddle 0.211 0.214 43.971 60.0 60.0 60.0 60.0 0.461
AProVE_09_Inductive/zerolist 0.165 0.164 1.013 1.613 60.0 0.195 0.187 0.203
AotoYamada_05/001 0.143 0.147 0.198 0.263 60.0 0.164 0.166 0.17
AotoYamada_05/002 0.171 0.181 1.257 16.15 60.0 0.235 0.243 0.218
AotoYamada_05/003 0.168 0.184 0.338 1.787 60.0 0.408 0.4 0.193
AotoYamada_05/004 0.169 0.157 0.436 1.809 60.0 0.198 0.212 0.197
AotoYamada_05/005 0.319 0.32 0.463 0.626 60.0 0.345 0.509 0.544
AotoYamada_05/006 0.216 0.227 1.4 60.0 60.0 0.183 0.186 0.188
AotoYamada_05/007 0.167 0.158 0.608 2.464 60.0 0.231 0.226 0.197
AotoYamada_05/009 0.232 0.237 4.093 18.791 60.0 0.312 0.314 0.278
AotoYamada_05/010 0.248 0.252 4.375 27.777 60.0 0.357 0.363 0.259
AotoYamada_05/011 0.175 0.18 0.944 6.935 60.0 0.26 0.266 0.232
AotoYamada_05/012 0.18 0.194 2.33 4.31 60.0 0.287 0.269 0.244
AotoYamada_05/013 0.166 0.194 1.17 18.437 60.0 0.295 0.283 0.251
AotoYamada_05/014 0.172 0.178 2.104 9.741 60.0 0.327 0.313 0.238
AotoYamada_05/015 0.23 0.261 0.552 1.34 60.0 0.294 0.297 0.268
AotoYamada_05/016 0.263 0.27 3.652 14.087 60.0 0.294 0.301 0.248
AotoYamada_05/017 0.141 0.153 0.158 0.16 60.0 0.149 0.164 0.186
AotoYamada_05/019 0.147 0.151 0.208 0.474 60.0 0.157 0.156 0.151
AotoYamada_05/020 0.154 0.18 0.773 3.705 60.0 0.352 0.352 0.318
problem t e s nv g c r *
AotoYamada_05/021 0.279 0.305 2.734 60.0 60.0 0.494 0.485 0.376
AotoYamada_05/022 0.162 0.156 0.588 9.561 60.0 0.234 0.234 0.204
AotoYamada_05/023 0.143 0.147 0.183 0.216 60.0 0.157 0.179 0.2
AotoYamada_05/024 0.149 0.156 0.246 0.753 60.0 0.174 0.174 0.185
AotoYamada_05/025 0.29 0.302 0.303 0.302 60.0 0.306 0.3 0.312
AotoYamada_05/026 0.315 0.323 0.494 37.016 60.0 0.224 0.198 0.187
AotoYamada_05/027 0.156 0.171 0.762 14.005 60.0 0.242 0.244 0.204
AotoYamada_05/028 0.22 0.244 0.497 1.629 60.0 0.285 0.287 0.27
AotoYamada_05/Ex1SimplyTyped 0.166 0.238 0.493 1.504 60.0 0.234 0.213 0.199
AotoYamada_05/Ex5TermProof 0.164 0.177 1.35 46.874 60.0 0.271 0.292 0.232
Applicative_05/BTreeMember 0.186 0.182 18.967 60.0 60.0 60.0 60.0 0.233
Applicative_05/Ex10Functional 0.198 0.2 60.0 60.0 60.0 0.462 0.476 0.462
Applicative_05/Ex2PrimRec 0.168 0.168 0.276 35.597 60.0 0.185 0.179 0.201
Applicative_05/Ex2_6_1Composition 0.169 0.179 0.192 0.198 60.0 0.189 0.195 0.216
Applicative_05/Ex2_8_1ConstSubstFix 0.19 0.146 0.236 0.667 60.0 0.188 0.185 0.231
Applicative_05/Ex3Lists 0.229 0.214 1.303 39.977 60.0 0.338 0.334 0.292
Applicative_05/Ex4MapList 0.153 0.155 0.26 0.487 60.0 0.17 0.171 0.171
Applicative_05/Ex5Folding 0.172 0.174 4.798 60.0 60.0 0.317 0.297 0.25
Applicative_05/Ex5Sorting 0.223 0.219 60.0 60.0 60.0 0.617 0.605 0.389
Applicative_05/Ex6Folding 0.201 0.199 7.197 60.0 60.0 0.25 0.257 0.272
Applicative_05/Ex6Recursor 0.188 0.187 0.386 2.007 60.0 0.166 0.147 0.172
Applicative_05/Ex6_11 0.154 0.158 0.228 0.381 60.0 0.258 0.258 0.162
Applicative_05/Ex7OrdinalRec 0.397 0.404 60.0 60.0 60.0 0.546 0.523 0.501
Applicative_05/Ex7Sorting 0.324 0.444 60.0 60.0 60.0 60.0 60.0 0.413
Applicative_05/Ex7_9 0.21 0.215 13.546 60.0 60.0 0.522 0.556 0.302
problem t e s nv g c r *
Applicative_05/Ex8Polymorphic 0.191 0.19 0.669 60.0 60.0 0.251 0.264 0.235
Applicative_05/Ex9Maps 0.178 0.2 46.443 60.0 60.0 60.0 60.0 0.249
Applicative_05/Hamming 0.267 0.287 60.0 60.0 60.0 60.0 60.0 1.306
Applicative_05/ReverseLastInit 0.367 0.37 1.495 4.974 60.0 0.45 0.758 0.773
Applicative_05/TakeDropWhile 0.376 0.286 1.197 5.738 60.0 0.332 0.344 0.262
Applicative_05/TreeFlatten 0.227 0.242 1.692 52.103 60.0 0.587 0.598 0.307
Applicative_05/TreeHeight 0.183 0.195 2.808 60.0 60.0 60.0 60.0 0.262
Applicative_05/TreeLevels 0.204 0.211 11.574 60.0 60.0 60.0 60.0 0.295
Applicative_05/TreeMap 0.166 0.171 0.514 16.921 60.0 0.304 0.317 0.212
Applicative_05/TreeSize 0.162 0.188 1.268 58.71 60.0 0.544 0.564 0.249
Applicative_05/TypeEx1 0.146 0.151 0.22 0.305 60.0 0.317 0.307 0.324
Applicative_05/TypeEx3 0.267 0.258 0.688 7.592 60.0 60.0 60.0 1.281
Applicative_05/TypeEx5 0.167 0.181 0.19 0.205 60.0 0.183 0.191 0.197
Applicative_05/mapDivMinus 0.173 0.182 1.036 17.184 60.0 0.277 0.267 0.22
Applicative_05/mapDivMinusHard 0.175 0.214 1.853 29.549 60.0 0.328 0.33 0.257
Applicative_05/nonTermF 0.163 0.17 9.274 60.0 60.0 60.0 60.0 1.192
Applicative_05/termMonTypes 0.154 0.169 0.33 0.762 60.0 0.158 0.161 0.189
Applicative_first_order_05/#3.10 0.308 0.316 60.0 60.0 60.0 2.67 2.668 0.841
Applicative_first_order_05/#3.13 0.299 0.311 60.0 60.0 60.0 23.552 23.582 0.632
Applicative_first_order_05/#3.16 0.222 0.227 12.155 60.0 60.0 0.632 0.61 0.403
Applicative_first_order_05/#3.18 0.291 0.314 23.334 60.0 60.0 0.886 0.892 0.463
Applicative_first_order_05/#3.2 0.313 0.319 9.811 60.0 60.0 0.684 0.671 0.446
Applicative_first_order_05/#3.22 0.33 0.339 15.404 60.0 60.0 0.755 0.72 0.414
Applicative_first_order_05/#3.25 0.189 0.192 2.943 48.338 60.0 0.447 0.457 0.273
Applicative_first_order_05/#3.27 0.268 0.271 2.774 23.973 60.0 0.457 0.449 0.336
problem t e s nv g c r *
Applicative_first_order_05/#3.32 0.272 0.278 3.021 60.0 60.0 0.412 0.416 0.357
Applicative_first_order_05/#3.36 0.253 0.257 13.734 60.0 60.0 0.677 0.684 0.467
Applicative_first_order_05/#3.38 0.247 0.251 15.91 60.0 60.0 0.692 0.706 0.358
Applicative_first_order_05/#3.40 0.277 0.283 36.39 60.0 60.0 3.74 3.691 0.652
Applicative_first_order_05/#3.45 0.352 0.364 7.191 58.898 60.0 0.628 0.63 0.462
Applicative_first_order_05/#3.48 0.276 0.302 19.03 60.0 60.0 1.104 1.076 0.411
Applicative_first_order_05/#3.52 0.252 0.26 4.145 60.0 60.0 0.502 0.506 0.281
Applicative_first_order_05/#3.55 0.3 0.332 60.0 60.0 60.0 2.238 2.243 0.753
Applicative_first_order_05/#3.57 0.298 0.306 60.0 60.0 60.0 1.295 1.347 0.579
Applicative_first_order_05/#3.6 0.3 0.313 42.068 60.0 60.0 0.886 0.946 0.502
Applicative_first_order_05/#3.8 0.301 0.303 17.944 60.0 60.0 60.0 60.0 0.453
Applicative_first_order_05/01 0.34 0.342 19.42 60.0 60.0 4.911 4.726 0.707
Applicative_first_order_05/02 0.337 0.347 11.437 45.623 60.0 4.467 4.371 0.622
Applicative_first_order_05/06 0.239 0.265 2.843 59.182 60.0 0.492 0.505 0.31
Applicative_first_order_05/08 0.269 0.288 11.245 60.0 60.0 0.779 0.79 0.362
Applicative_first_order_05/11 0.351 0.27 60.0 60.0 60.0 2.626 2.578 0.913
Applicative_first_order_05/12 0.213 0.216 12.28 60.0 60.0 0.716 0.716 0.386
Applicative_first_order_05/13 0.272 0.287 11.258 60.0 60.0 0.713 0.742 0.45
Applicative_first_order_05/17 0.293 0.305 22.636 60.0 60.0 24.138 24.119 0.871
Applicative_first_order_05/18 0.205 0.202 2.611 60.0 60.0 0.422 0.432 0.265
Applicative_first_order_05/21 0.297 0.307 17.521 60.0 60.0 0.787 0.766 0.459
Applicative_first_order_05/29 0.297 0.305 5.567 56.252 60.0 0.52 0.527 0.343
Applicative_first_order_05/30 0.27 0.272 60.0 60.0 60.0 0.621 0.613 0.418
Applicative_first_order_05/31 0.31 0.324 9.26 60.0 60.0 0.802 0.77 0.445
Applicative_first_order_05/33 0.338 0.345 21.868 60.0 60.0 0.946 0.967 0.484
problem t e s nv g c r *
Applicative_first_order_05/hydra 0.278 0.287 10.407 60.0 60.0 0.653 0.674 0.377
Applicative_first_order_05/minsort 0.408 0.438 60.0 60.0 60.0 25.438 24.755 0.681
Applicative_first_order_05/motivation 0.253 0.364 4.594 50.147 60.0 0.422 0.437 0.29
Applicative_first_order_05/perfect 0.232 0.238 60.0 60.0 60.0 1.165 1.14 0.441
Applicative_first_order_05/perfect2 0.264 0.275 60.0 60.0 60.0 1.491 1.479 0.565
Beerendonk_07/1 0.169 0.156 0.285 1.003 60.0 0.162 0.16 0.172
Beerendonk_07/10 0.172 0.18 3.868 4.96 60.0 0.205 0.208 0.23
Beerendonk_07/11 0.178 0.18 1.376 18.684 60.0 0.202 0.223 0.253
Beerendonk_07/12 0.16 0.16 0.763 7.439 60.0 0.194 0.168 0.204
Beerendonk_07/13 0.156 0.161 0.562 4.299 60.0 0.179 0.183 0.219
Beerendonk_07/14 0.186 0.177 1.374 9.824 60.0 0.193 0.206 0.254
Beerendonk_07/15 0.193 0.191 2.302 19.576 60.0 0.254 0.27 0.311
Beerendonk_07/16 0.213 0.211 2.531 60.0 60.0 0.263 0.272 0.338
Beerendonk_07/17 0.365 0.369 6.074 60.0 60.0 0.425 0.418 0.484
Beerendonk_07/18 0.282 0.388 3.476 60.0 60.0 0.233 0.242 0.296
Beerendonk_07/19 0.185 0.186 2.559 60.0 60.0 0.241 0.238 0.302
Beerendonk_07/2 0.175 0.171 0.298 0.996 60.0 0.183 0.183 0.205
Beerendonk_07/20 0.183 0.202 3.368 60.0 60.0 0.208 0.206 0.264
Beerendonk_07/21 0.181 0.177 3.291 60.0 60.0 0.213 0.209 0.26
Beerendonk_07/22 0.154 0.161 0.565 4.378 60.0 0.183 0.177 0.217
Beerendonk_07/23 0.168 0.167 0.634 60.0 60.0 0.18 0.173 0.214
Beerendonk_07/24 0.188 0.186 5.746 60.0 60.0 0.246 0.224 0.309
Beerendonk_07/3 0.157 0.171 0.295 1.377 60.0 0.164 0.169 0.185
Beerendonk_07/4 0.153 0.157 0.215 0.37 60.0 0.235 0.253 0.257
Beerendonk_07/5 0.261 0.249 1.117 1.909 60.0 0.278 0.283 0.307
problem t e s nv g c r *
Beerendonk_07/6 0.198 0.199 0.302 0.346 60.0 0.213 0.212 0.252
Beerendonk_07/7 0.233 0.209 0.352 0.452 60.0 0.163 0.164 0.188
Beerendonk_07/8 0.171 0.171 0.649 8.276 60.0 0.191 0.19 0.218
Beerendonk_07/9 0.157 0.178 0.586 60.0 60.0 0.169 0.177 0.196
Bouchare_06/01 0.152 0.137 0.198 0.282 60.0 0.153 0.172 0.219
Bouchare_06/02 0.155 0.148 0.218 0.249 60.0 0.171 0.2 0.192
Bouchare_06/03 0.149 0.16 0.22 0.286 60.0 0.181 0.186 0.246
Bouchare_06/04 0.175 0.172 0.253 0.312 60.0 0.154 0.209 0.213
Bouchare_06/05 0.154 0.146 0.197 0.316 60.0 0.149 0.208 0.247
Bouchare_06/06 0.187 0.174 0.22 0.391 60.0 0.182 0.203 0.255
Bouchare_06/07 0.201 0.185 0.28 0.31 60.0 0.166 0.219 0.248
Bouchare_06/08 0.142 0.15 0.199 0.231 60.0 0.155 0.169 0.199
Bouchare_06/09 0.147 0.154 0.207 0.296 60.0 0.157 0.175 0.208
Bouchare_06/10 0.152 0.143 0.209 0.339 60.0 0.16 0.168 0.201
Bouchare_06/11 0.139 0.14 0.197 0.271 60.0 0.155 0.175 0.199
Bouchare_06/12 0.135 0.146 0.156 0.188 60.0 0.153 0.146 0.163
Bouchare_06/13 0.151 0.145 0.196 0.283 60.0 0.177 0.207 0.224
Bouchare_06/14 0.183 0.185 0.221 0.274 33.747 0.187 0.231 0.261
Bouchare_06/15 0.412 0.417 0.481 0.554 60.0 0.428 0.463 0.508
Bouchare_06/16 0.42 0.31 0.355 0.399 60.0 0.144 0.191 0.214
Bouchare_06/17 0.147 0.146 0.204 0.26 60.0 0.157 0.203 0.242
Bouchare_06/18 0.147 0.147 0.21 0.347 60.0 0.179 0.195 0.239
CiME_04/ack_prolog 0.164 0.155 0.382 0.818 60.0 0.183 0.184 0.205
CiME_04/append-hard 0.166 0.171 0.378 0.983 60.0 0.181 0.182 0.203
CiME_04/append-wrong 0.18 0.193 0.396 1.532 60.0 0.201 0.197 0.225
problem t e s nv g c r *
CiME_04/append 0.192 0.192 0.294 0.561 60.0 0.159 0.147 0.166
CiME_04/big 0.281 0.322 60.0 60.0 60.0 0.788 0.771 1.165
CiME_04/boolean_rings 0.182 0.191 0.926 1.744 60.0 0.195 0.194 0.212
CiME_04/dpqs 0.143 0.141 0.315 0.412 60.0 0.167 0.173 0.162
CiME_04/fact-hard 0.187 0.177 1.698 5.788 60.0 0.219 0.217 0.293
CiME_04/filliatre 0.175 0.177 3.309 3.274 60.0 0.195 0.354 0.394
CiME_04/filliatre2 0.175 0.185 5.68 8.674 60.0 0.203 0.479 0.552
CiME_04/filliatre3 0.194 0.19 10.515 60.0 60.0 0.226 0.233 0.291
CiME_04/intersect 0.323 0.324 12.149 60.0 60.0 0.375 0.377 0.482
CiME_04/list-sum-prod-assoc-append 0.261 0.321 6.481 42.539 60.0 0.246 0.246 0.351
CiME_04/list-sum-prod-assoc 0.166 0.169 1.619 14.572 60.0 0.213 0.208 0.287
CiME_04/list-sum-prod-bin-assoc-distr-app 0.196 0.194 23.741 60.0 60.0 0.32 0.325 0.495
CiME_04/list-sum-prod-bin-assoc 0.179 0.185 8.587 47.641 60.0 0.251 0.26 0.326
CiME_04/list-sum-prod-bin 0.173 0.176 4.32 11.952 60.0 0.23 0.217 0.297
CiME_04/list-sum-prod 0.176 0.176 0.822 2.157 60.0 0.198 0.198 0.247
CiME_04/log2 0.216 0.22 51.457 60.0 60.0 0.334 0.321 0.428
CiME_04/lse 0.194 0.206 15.995 60.0 60.0 0.287 0.279 0.382
CiME_04/maude2 0.341 0.347 40.457 60.0 60.0 0.594 0.591 0.866
CiME_04/mucrl1 1.086 1.146 60.0 60.0 60.0 60.0 60.0 1.876
CiME_04/ternary-hard 0.216 0.205 41.52 60.0 60.0 0.36 0.357 0.508
CiME_04/ternary 0.297 0.293 28.613 60.0 60.0 0.41 0.411 0.539
CiME_04/tree 0.231 0.24 60.0 60.0 60.0 0.608 0.584 0.807
Der95/01 0.228 0.23 0.237 0.232 0.236 0.234 0.236 0.238
Der95/02 0.146 0.158 0.144 0.139 0.142 0.152 0.142 0.156
Der95/03 0.133 0.141 0.13 0.134 0.133 0.133 0.134 0.14
problem t e s nv g c r *
Der95/04 0.147 0.158 0.162 0.169 0.56 0.149 0.154 0.172
Der95/06 0.196 0.146 0.157 0.155 1.066 0.151 0.148 0.164
Der95/07 0.152 0.154 0.197 0.214 1.84 0.153 0.161 0.183
Der95/08 0.146 0.146 0.25 0.258 60.0 0.16 0.163 0.182
Der95/09 0.189 0.195 0.201 0.199 22.718 0.198 0.227 0.234
Der95/11 0.224 0.23 1.221 0.961 60.0 0.197 0.215 0.277
Der95/12 0.179 0.169 0.255 0.325 60.0 0.161 0.163 0.188
Der95/13 0.215 0.214 0.324 1.486 60.0 0.231 0.219 0.254
Der95/17 0.22 0.22 0.473 0.887 60.0 0.322 0.379 0.428
Der95/18 0.303 0.315 0.311 0.326 17.847 0.306 0.326 0.337
Der95/20 0.228 0.215 0.326 0.409 60.0 0.266 0.278 0.332
Der95/21 0.19 0.19 0.424 0.764 60.0 0.165 0.153 0.189
Der95/27 0.143 0.147 0.169 0.174 12.848 0.143 0.146 0.165
Der95/28 0.15 0.137 0.234 0.34 60.0 0.146 0.143 0.164
Der95/30 0.15 0.149 5.654 60.0 60.0 0.147 0.153 0.18
Der95/31 0.149 0.156 0.239 0.244 60.0 0.166 0.166 0.176
Der95/32 0.155 0.155 1.174 60.0 60.0 0.17 0.186 0.199
Der95/33 0.183 0.168 0.472 60.0 60.0 0.194 0.197 0.258
Endrullis_06/direct 0.164 0.151 0.19 0.216 60.0 0.16 0.271 0.305
Endrullis_06/labeling 0.17 0.173 0.234 0.693 60.0 0.181 0.179 0.197
Endrullis_06/linear1 0.211 0.195 0.3 0.403 60.0 0.177 60.0 0.203
Endrullis_06/linear2 0.153 0.161 0.293 0.546 60.0 0.218 0.366 0.309
Endrullis_06/pair2hard 0.152 0.155 0.246 1.722 60.0 0.166 0.168 0.206
Endrullis_06/pair2simple1 0.159 0.156 0.212 0.278 60.0 0.146 0.137 0.164
Endrullis_06/pair2simple2 0.138 0.159 0.227 0.326 60.0 0.146 0.15 0.157
problem t e s nv g c r *
Endrullis_06/pair3hard 0.149 0.166 0.595 60.0 60.0 0.158 0.157 0.181
Endrullis_06/pair3rotate 0.142 0.145 0.174 0.209 60.0 0.159 0.198 0.218
Endrullis_06/pair3swap 0.156 0.154 0.191 0.197 60.0 0.159 0.182 0.212
Endrullis_06/quadruple1 0.151 0.148 0.18 0.184 60.0 0.18 0.175 0.2
Endrullis_06/quadruple2 0.143 0.139 0.169 0.183 60.0 0.154 0.169 0.187
GTSSK07/cade01 0.146 0.155 0.274 3.446 60.0 0.159 0.158 0.18
GTSSK07/cade03 0.17 0.19 0.347 3.549 60.0 0.193 0.204 0.237
GTSSK07/cade04t 0.195 0.193 0.294 1.426 60.0 0.148 0.148 0.186
GTSSK07/cade05t 0.153 0.164 0.587 4.854 60.0 0.164 0.174 0.199
GTSSK07/cade06 0.162 0.16 0.709 44.816 60.0 0.176 0.178 0.218
GTSSK07/cade07 0.162 0.155 0.523 13.936 60.0 0.172 0.172 0.193
GTSSK07/cade08 0.168 0.17 0.612 49.375 60.0 0.177 0.172 0.202
GTSSK07/cade09 0.169 0.176 0.41 4.465 60.0 0.184 0.187 0.222
GTSSK07/cade10 0.183 0.181 0.367 2.194 60.0 0.157 0.174 0.184
GTSSK07/cade11 0.153 0.152 0.226 0.462 60.0 0.155 0.157 0.173
GTSSK07/cade12t 0.182 0.169 0.988 8.752 60.0 0.191 0.192 0.231
GTSSK07/cade13t 0.165 0.172 0.868 60.0 60.0 0.166 0.182 0.212
GTSSK07/cade14 0.183 0.17 1.243 60.0 60.0 0.175 0.174 0.221
GTSSK07/cade15 0.194 0.194 13.923 60.0 60.0 0.235 0.24 0.308
GTSSK07/cade16 0.153 0.154 0.732 6.79 60.0 0.192 0.193 0.234
GTSSK07/cade17 0.211 0.19 2.125 60.0 60.0 0.245 0.253 0.348
HirokawaMiddeldorp_04/n002 0.145 0.147 0.154 0.159 0.135 0.145 0.134 0.143
HirokawaMiddeldorp_04/n003 0.131 0.135 0.138 0.148 0.142 0.139 0.152 0.151
HirokawaMiddeldorp_04/n004 0.142 0.144 0.152 0.168 0.152 0.149 0.149 0.159
HirokawaMiddeldorp_04/n005 0.137 0.133 0.142 0.153 0.159 0.139 0.139 0.144
problem t e s nv g c r *
HirokawaMiddeldorp_04/n006 0.141 0.142 0.152 0.152 0.152 0.141 0.137 0.151
HirokawaMiddeldorp_04/n007 0.133 0.144 0.169 0.16 14.484 0.132 0.141 0.155
HirokawaMiddeldorp_04/n008 0.143 0.141 0.154 0.144 0.142 0.139 0.145 0.15
HirokawaMiddeldorp_04/t000 0.326 0.325 60.0 60.0 60.0 0.421 0.75 0.811
HirokawaMiddeldorp_04/t001 0.174 0.185 6.296 60.0 60.0 0.206 0.205 0.251
HirokawaMiddeldorp_04/t002 0.246 0.244 0.797 3.811 60.0 0.271 0.273 0.295
HirokawaMiddeldorp_04/t003 0.266 0.172 3.458 60.0 60.0 0.207 0.206 0.227
HirokawaMiddeldorp_04/t004 0.142 0.146 0.176 0.192 60.0 0.151 0.167 0.188
HirokawaMiddeldorp_04/t005 0.513 0.546 60.0 60.0 60.0 0.862 0.861 0.907
HirokawaMiddeldorp_04/t006 0.133 0.133 0.163 0.166 60.0 0.142 0.143 0.146
HirokawaMiddeldorp_04/t007 0.146 0.139 0.177 0.203 0.176 0.146 0.151 0.164
HirokawaMiddeldorp_04/t008 0.158 0.161 0.277 0.433 60.0 0.174 0.197 0.23
HirokawaMiddeldorp_04/t009 0.345 0.382 60.0 60.0 60.0 0.626 55.411 1.118
HirokawaMiddeldorp_04/t010 0.227 0.232 0.256 0.256 0.252 0.235 0.237 0.249
HirokawaMiddeldorp_04/t011 0.421 0.431 0.454 0.45 60.0 0.427 0.44 0.464
HirokawaMiddeldorp_04/t012 0.336 0.333 0.523 0.85 60.0 0.209 0.244 0.333
HirokawaMiddeldorp_04/t013 0.164 0.161 0.441 0.967 60.0 0.185 0.18 0.237
HirokawaMiddeldorp_04/t014 0.156 0.167 0.85 4.34 60.0 0.171 0.168 0.193
Mixed_CTRS/quick 0.179 0.181 60.0 60.0 60.0 0.213 0.207 0.279
Mixed_TRS/1 0.138 0.142 0.182 0.185 60.0 0.147 0.155 0.176
Mixed_TRS/2 0.164 0.171 0.207 0.217 60.0 0.19 60.0 0.193
Mixed_TRS/3 0.176 0.187 0.199 0.211 60.0 0.16 0.145 0.156
Mixed_TRS/4 0.142 0.147 0.187 0.182 60.0 0.159 0.173 0.187
Mixed_TRS/5 0.137 0.139 0.161 0.171 60.0 0.149 0.149 0.186
Mixed_TRS/6 0.148 0.142 0.163 0.186 60.0 0.174 0.161 0.18
problem t e s nv g c r *
Mixed_TRS/7 0.148 0.146 1.808 13.187 60.0 0.149 0.15 0.164
Mixed_TRS/Ex1_Luc04b_GM 0.182 0.181 11.949 8.53 60.0 0.24 60.0 0.763
Mixed_TRS/beans 0.182 0.181 0.363 0.71 60.0 0.209 60.0 0.708
Mixed_TRS/gcd 0.183 0.169 0.988 4.057 60.0 0.187 0.19 0.223
Mixed_TRS/gcdMinMax 0.356 0.355 1.178 4.644 60.0 0.38 0.381 0.413
Mixed_TRS/gcd_triple 0.381 0.382 3.618 37.619 60.0 0.208 0.22 0.299
Mixed_TRS/hydra-Zantema06 0.173 0.173 0.532 14.502 60.0 0.183 0.183 0.226
Mixed_TRS/hydra 0.259 0.26 0.384 1.083 60.0 0.271 0.271 0.289
Mixed_TRS/jones1 0.261 0.262 0.292 0.311 60.0 0.158 0.165 0.187
Mixed_TRS/jones2 0.178 0.162 0.209 0.241 60.0 0.168 0.178 0.188
Mixed_TRS/jones4 0.158 0.174 0.202 0.211 60.0 0.171 0.189 0.203
Mixed_TRS/jones5 0.18 0.174 0.208 0.221 60.0 0.145 0.149 0.166
Mixed_TRS/jones6 0.152 0.151 0.215 0.251 60.0 0.159 0.177 0.216
Mixed_TRS/minsort 0.31 0.185 3.258 29.217 60.0 0.214 0.335 0.265
Mixed_TRS/motivation 0.144 0.141 0.192 0.243 60.0 0.22 0.222 0.235
Mixed_TRS/perfect 0.236 0.24 0.973 60.0 60.0 0.256 0.254 0.279
Mixed_TRS/perfect2 0.402 0.298 4.271 60.0 60.0 0.43 0.435 0.474
Mixed_TRS/test1 0.374 0.385 0.414 0.425 60.0 0.144 0.143 0.151
Mixed_TRS/while 0.143 0.142 0.196 0.324 60.0 0.152 0.152 0.17
Mixed_TRS/while2 0.148 0.158 0.744 3.525 60.0 0.174 0.174 0.188
Rubio_04/aoto 0.161 0.148 0.184 0.19 60.0 0.183 0.182 0.178
Rubio_04/bintrees 0.174 0.172 0.251 0.269 60.0 0.186 0.186 0.207
Rubio_04/bn122 0.147 0.154 0.193 0.381 60.0 0.16 0.154 0.176
Rubio_04/bn129 0.155 0.156 0.206 0.219 60.0 0.198 0.258 0.296
Rubio_04/division 0.205 0.208 0.693 12.787 60.0 0.22 0.223 0.26
problem t e s nv g c r *
Rubio_04/elimdupl 0.174 0.172 0.719 10.795 60.0 0.188 0.193 0.233
Rubio_04/enno 0.174 0.177 17.159 60.0 60.0 0.214 0.206 0.284
Rubio_04/gcd 0.175 0.168 1.052 8.605 60.0 0.187 0.189 0.228
Rubio_04/gm 0.162 0.169 0.255 0.367 60.0 0.185 0.177 0.195
Rubio_04/gmnp 0.176 0.169 0.438 1.025 60.0 0.162 0.167 0.185
Rubio_04/koen 0.158 0.153 0.192 0.219 60.0 0.167 0.169 0.201
Rubio_04/lescanne 0.159 0.149 0.211 0.239 60.0 0.163 0.291 0.287
Rubio_04/lindau 0.147 0.154 0.215 0.228 60.0 0.18 0.203 0.241
Rubio_04/logarquot 0.189 0.193 0.385 1.139 60.0 0.204 0.206 0.236
Rubio_04/ma96 0.224 0.239 25.55 60.0 60.0 0.265 0.291 0.35
Rubio_04/mfp90b 0.145 0.146 0.197 0.194 60.0 0.156 0.158 0.184
Rubio_04/mfp95 0.148 0.15 0.17 0.168 60.0 0.159 0.159 0.162
Rubio_04/nestrec 0.151 0.137 0.168 0.163 2.015 0.154 0.149 0.17
Rubio_04/p266 0.136 0.151 0.19 0.194 60.0 0.223 0.224 0.24
Rubio_04/polo2 0.244 0.254 1.278 0.913 60.0 0.284 0.296 0.335
Rubio_04/prov 0.136 0.149 0.206 0.24 60.0 0.148 0.156 0.161
Rubio_04/quick 0.181 0.183 4.805 60.0 60.0 0.271 0.235 0.325
Rubio_04/quotminus 0.163 0.158 0.429 1.009 60.0 0.174 0.175 0.201
Rubio_04/revlist 0.236 0.228 0.435 0.424 60.0 0.243 0.246 0.275
Rubio_04/selsort 0.282 0.292 17.356 60.0 60.0 0.265 0.269 0.35
Rubio_04/test4 0.14 0.145 0.243 0.295 60.0 0.158 0.168 0.177
Rubio_04/test829 0.144 0.16 0.193 0.184 60.0 0.16 0.16 0.184
Rubio_04/wst99 0.192 0.193 2.289 60.0 60.0 0.229 0.226 0.301
SK90/2.01 0.169 0.167 0.462 0.831 60.0 0.177 0.23 0.277
SK90/2.02 0.152 0.172 0.213 0.269 60.0 0.187 0.23 0.264
problem t e s nv g c r *
SK90/2.03 0.158 0.16 0.183 0.19 60.0 0.147 0.138 0.164
SK90/2.04 0.139 0.154 0.177 0.165 60.0 0.15 0.152 0.167
SK90/2.05 0.183 0.182 0.383 27.025 60.0 0.224 0.216 0.302
SK90/2.06 0.199 0.192 0.358 7.172 60.0 0.152 0.182 0.227
SK90/2.07 0.149 0.161 0.24 0.352 60.0 0.149 0.147 0.172
SK90/2.08 0.164 0.175 0.414 1.328 60.0 0.195 0.189 0.224
SK90/2.09 0.154 0.155 0.153 0.168 60.0 0.153 0.154 0.164
SK90/2.10 0.158 0.151 0.415 0.741 60.0 0.164 0.192 0.241
SK90/2.11 0.164 0.172 0.201 0.231 60.0 0.176 0.169 0.188
SK90/2.12 0.162 0.164 0.618 1.162 60.0 0.189 0.184 0.219
SK90/2.13 0.152 0.147 0.259 0.343 60.0 0.155 0.157 0.173
SK90/2.14 0.23 0.227 0.491 0.696 60.0 0.237 0.238 0.258
SK90/2.15 0.23 0.334 0.278 0.284 60.0 0.241 0.278 0.295
SK90/2.16 0.288 0.294 0.546 0.827 60.0 0.302 0.301 0.326
SK90/2.17 0.15 0.148 0.205 0.204 60.0 0.166 0.158 0.173
SK90/2.18 0.149 0.167 0.206 0.259 60.0 0.14 0.145 0.156
SK90/2.19 0.161 0.162 0.37 0.633 60.0 0.165 0.168 0.194
SK90/2.20 0.191 0.199 0.231 0.233 60.0 0.206 0.212 0.22
SK90/2.21 0.187 0.191 0.226 0.228 60.0 0.145 0.147 0.16
SK90/2.22 0.15 0.156 0.321 0.636 60.0 0.154 0.157 0.187
SK90/2.23 0.248 0.246 1.071 1.962 60.0 0.26 0.262 0.297
SK90/2.24 0.237 0.238 0.264 0.28 60.0 0.153 0.146 0.16
SK90/2.25 0.145 0.144 0.26 0.346 60.0 0.147 0.156 0.173
SK90/2.26 0.197 0.198 2.069 6.031 60.0 0.238 0.231 0.263
SK90/2.27 0.194 0.169 1.014 1.212 60.0 0.177 0.189 0.205
problem t e s nv g c r *
SK90/2.28 0.141 0.142 0.161 0.159 60.0 0.135 0.139 0.161
SK90/2.29 0.165 0.163 0.36 0.829 60.0 0.167 0.18 0.188
SK90/2.30 0.144 0.157 0.158 0.158 0.139 0.139 0.149 0.144
SK90/2.31 0.153 0.156 0.295 0.284 60.0 0.153 0.155 0.183
SK90/2.32 0.189 0.164 0.718 1.531 60.0 0.179 0.179 0.194
SK90/2.33 0.169 0.169 0.234 0.277 60.0 0.147 0.161 0.209
SK90/2.34 0.152 0.141 0.184 0.227 60.0 0.191 0.167 0.245
SK90/2.35 0.145 0.142 0.277 0.385 60.0 0.171 0.155 0.176
SK90/2.36 0.148 0.149 0.163 0.187 60.0 0.147 0.155 0.183
SK90/2.37 0.138 0.152 0.178 0.185 60.0 0.146 0.147 0.159
SK90/2.38 0.298 0.309 0.35 0.361 60.0 0.325 0.333 0.358
SK90/2.39 0.318 0.32 0.481 0.54 60.0 0.168 0.194 0.214
SK90/2.40 0.159 0.16 0.231 0.391 60.0 0.171 0.171 0.183
SK90/2.41 0.145 0.148 0.296 0.265 60.0 0.154 0.162 0.172
SK90/2.42 0.169 0.165 0.993 2.855 60.0 0.191 0.26 0.314
SK90/2.43 0.164 0.168 0.585 13.074 60.0 0.175 0.181 0.196
SK90/2.44 0.17 0.175 0.643 60.0 60.0 0.197 0.19 0.212
SK90/2.45 0.17 0.178 4.893 60.0 60.0 0.258 0.247 0.265
SK90/2.46 0.24 0.238 0.279 0.298 26.641 0.249 0.263 0.291
SK90/2.47 0.137 0.14 0.161 0.156 0.272 0.15 0.148 0.162
SK90/2.48 0.155 0.151 0.209 0.216 0.775 0.215 0.248 0.232
SK90/2.49 0.257 0.244 0.57 0.479 60.0 0.264 0.274 0.316
SK90/2.50 0.178 0.176 0.185 0.191 0.224 0.184 0.187 0.211
SK90/2.51 0.191 0.165 0.214 0.305 60.0 0.15 0.153 0.169
SK90/2.52 0.173 0.185 3.893 47.245 60.0 0.385 0.391 0.259
problem t e s nv g c r *
SK90/2.53 0.155 0.152 0.181 0.191 33.051 0.169 0.164 0.17
SK90/2.54 0.16 0.16 0.175 0.177 60.0 0.135 0.139 0.165
SK90/2.55 0.133 0.151 0.146 0.148 60.0 0.144 0.142 0.162
SK90/2.56 0.194 0.197 0.227 0.225 14.827 0.212 0.212 0.224
SK90/2.57 0.202 0.137 0.246 0.281 60.0 0.228 0.227 0.225
SK90/2.58 0.227 0.225 0.295 0.355 60.0 0.237 0.238 0.251
SK90/2.59 0.132 0.16 0.154 0.166 60.0 0.137 0.144 0.155
SK90/2.60 0.151 0.151 0.163 0.164 60.0 0.153 0.155 0.16
SK90/2.61 0.176 0.178 0.874 60.0 60.0 0.299 0.303 0.466
SK90/4.01 0.146 0.149 0.175 0.222 60.0 0.155 0.16 0.158
SK90/4.02 0.193 0.173 2.808 13.73 60.0 0.21 0.21 0.253
SK90/4.03 0.157 0.166 0.48 0.893 60.0 0.176 0.175 0.21
SK90/4.04 0.241 0.244 0.305 0.553 60.0 0.265 0.273 0.295
SK90/4.05 0.251 0.236 0.265 0.296 60.0 0.165 0.162 0.204
SK90/4.06 0.166 0.172 0.258 1.78 60.0 0.189 0.19 0.207
SK90/4.07 0.172 0.165 0.183 0.194 60.0 0.176 0.2 0.227
SK90/4.08 0.161 0.164 0.186 0.19 24.864 0.188 0.197 0.215
SK90/4.09 0.205 0.219 0.319 0.837 60.0 0.221 0.229 0.253
SK90/4.10 0.165 0.176 0.243 0.276 60.0 0.187 0.187 0.205
SK90/4.11 0.172 0.173 0.194 0.206 60.0 0.158 0.174 0.203
SK90/4.12 0.155 0.169 0.19 0.201 60.0 0.171 0.171 0.186
SK90/4.13 0.146 0.15 0.186 0.212 60.0 0.172 0.153 0.174
SK90/4.14 0.156 0.17 1.077 3.417 60.0 0.265 0.272 0.321
SK90/4.15 0.224 0.23 0.253 0.249 60.0 0.234 0.238 0.257
SK90/4.16 0.157 0.161 0.305 0.391 60.0 0.171 0.173 0.195
problem t e s nv g c r *
SK90/4.17 0.163 0.165 0.211 0.226 60.0 0.15 0.151 0.19
SK90/4.18 0.149 0.149 0.202 0.416 60.0 0.155 0.147 0.147
SK90/4.19 0.169 0.167 0.198 0.201 60.0 0.178 0.186 0.191
SK90/4.20 0.168 0.17 0.56 1.098 60.0 0.173 0.172 0.199
SK90/4.21 0.176 0.173 0.49 0.941 60.0 0.186 0.192 0.215
SK90/4.22 0.151 0.153 0.213 0.238 60.0 0.168 0.171 0.189
SK90/4.23 0.153 0.155 0.294 6.498 60.0 0.151 0.147 0.171
SK90/4.24 0.15 0.147 0.285 0.337 60.0 0.154 0.157 0.185
SK90/4.25 0.24 0.219 0.261 0.263 60.0 0.23 0.232 0.254
SK90/4.26 0.244 0.245 0.445 0.623 60.0 0.161 0.221 0.25
SK90/4.27 0.151 0.153 0.318 0.341 60.0 0.17 60.0 0.203
SK90/4.28 0.184 0.188 1.213 46.389 60.0 0.216 0.203 0.242
SK90/4.29 0.161 0.164 0.222 0.278 60.0 0.169 0.164 0.193
SK90/4.30 0.149 0.161 0.307 0.431 60.0 0.165 0.195 0.23
SK90/4.31 0.166 0.182 0.203 0.212 60.0 0.19 0.162 0.186
SK90/4.32 0.158 0.161 0.606 1.471 60.0 0.266 60.0 0.791
SK90/4.33 0.22 0.234 0.238 0.234 0.865 0.229 0.229 0.256
SK90/4.34 0.148 0.147 0.16 0.163 1.026 0.15 0.161 0.177
SK90/4.35 0.139 0.141 0.152 0.153 0.663 0.163 0.141 0.143
SK90/4.36 0.142 0.165 0.172 0.144 0.677 0.133 0.136 0.137
SK90/4.37 0.165 0.166 0.159 0.165 0.164 0.166 0.163 0.165
SK90/4.38 0.185 0.179 0.216 0.255 60.0 0.15 0.163 0.182
SK90/4.39 0.135 0.136 0.164 0.177 60.0 0.141 0.137 0.142
SK90/4.40 0.243 0.246 0.29 0.663 60.0 0.254 0.254 0.277
SK90/4.41 0.263 0.267 0.286 0.294 7.527 0.213 0.236 0.235
problem t e s nv g c r *
SK90/4.42 0.221 0.22 0.366 1.02 60.0 0.237 0.25 0.257
SK90/4.43 0.224 0.224 0.628 0.959 60.0 0.261 0.306 0.358
SK90/4.44 0.212 0.214 0.276 0.272 2.65 0.253 0.232 0.235
SK90/4.45 0.233 0.223 0.247 0.239 3.501 0.243 0.232 0.255
SK90/4.46 0.135 0.137 0.157 0.166 0.151 0.153 0.137 0.146
SK90/4.47 0.153 0.15 0.257 0.242 60.0 0.177 0.18 0.163
SK90/4.48 0.146 0.149 0.247 0.584 60.0 0.155 0.295 0.329
SK90/4.49 0.255 0.253 0.339 0.349 60.0 0.172 0.177 0.189
SK90/4.50 0.179 0.17 0.192 0.194 60.0 0.142 0.135 0.152
SK90/4.51 0.156 0.144 0.191 0.22 60.0 0.16 0.152 0.192
SK90/4.52 0.163 0.155 0.428 0.753 60.0 0.178 0.214 0.268
SK90/4.53 0.148 0.144 0.266 0.488 60.0 0.231 0.227 0.245
SK90/4.54 0.213 0.233 0.236 0.243 60.0 0.223 0.224 0.254
SK90/4.55 0.15 0.144 0.166 0.173 2.083 0.16 0.155 0.166
SK90/4.56 0.146 0.144 0.178 0.18 60.0 0.149 0.151 0.149
SK90/4.57 0.157 0.148 0.32 60.0 60.0 0.154 0.164 0.18
SK90/4.59 0.232 0.248 0.396 0.436 60.0 0.257 0.283 0.272
SK90/4.60 0.245 0.247 0.473 5.265 60.0 0.165 0.181 0.218
SK90/4.61 0.184 0.177 1.354 60.0 60.0 0.209 0.213 0.273
Secret_05_TRS/aprove1 0.201 0.211 6.557 60.0 60.0 0.541 0.528 0.289
Secret_05_TRS/aprove2 0.165 0.192 0.857 21.393 60.0 0.174 0.183 0.225
Secret_05_TRS/aprove3 0.161 0.166 1.482 60.0 60.0 0.218 0.229 0.222
Secret_05_TRS/aprove4 0.248 0.246 0.727 7.012 60.0 0.265 0.265 0.3
Secret_05_TRS/aprove5 0.266 0.267 1.632 12.951 60.0 0.318 0.31 0.363
Secret_05_TRS/cime1 0.348 0.337 13.355 60.0 60.0 0.457 0.454 0.494
problem t e s nv g c r *
Secret_05_TRS/cime2 0.208 0.223 1.115 4.021 60.0 0.251 0.233 0.275
Secret_05_TRS/cime3 0.248 0.24 55.094 60.0 60.0 0.976 0.967 1.21
Secret_05_TRS/cime4 0.141 0.154 0.263 1.471 60.0 0.153 0.151 0.16
Secret_05_TRS/cime5 0.314 0.296 60.0 60.0 60.0 60.0 60.0 1.326
Secret_05_TRS/matchbox1 0.16 0.155 0.177 0.195 60.0 0.143 0.142 0.142
Secret_05_TRS/matchbox2 0.144 0.138 0.169 0.163 60.0 0.143 0.148 0.167
Secret_05_TRS/teparla1 0.151 0.156 0.256 0.393 60.0 0.267 0.195 0.251
Secret_05_TRS/teparla2 0.165 0.17 0.278 0.874 60.0 0.328 0.345 0.465
Secret_05_TRS/teparla3 0.15 0.151 0.262 0.726 60.0 0.208 0.206 0.252
Secret_05_TRS/tpa1 0.23 0.218 0.691 2.164 60.0 0.237 0.242 0.248
Secret_05_TRS/tpa2 0.224 0.226 0.459 0.818 60.0 0.197 0.173 0.235
Secret_05_TRS/tpa3 0.162 0.156 0.543 1.067 60.0 0.184 0.186 0.221
Secret_05_TRS/tpa4 0.162 0.166 0.65 1.389 60.0 0.203 0.206 0.283
Secret_05_TRS/tpa5 0.18 0.183 0.762 3.224 60.0 0.275 0.266 0.306
Secret_05_TRS/ttt1 0.235 0.231 0.3 2.05 60.0 0.238 0.246 0.259
Secret_05_TRS/ttt2 0.261 0.274 0.262 0.279 60.0 0.264 0.264 0.281
Secret_06_TRS/10 0.256 0.273 0.335 0.402 60.0 0.182 0.173 0.203
Secret_06_TRS/2 0.154 0.151 0.309 0.482 60.0 0.18 0.255 0.277
Secret_06_TRS/3 0.183 0.332 0.51 1.339 60.0 0.237 60.0 0.268
Secret_06_TRS/4 0.175 0.178 0.251 0.292 60.0 0.157 60.0 0.198
Secret_06_TRS/5 0.163 0.158 0.218 0.292 60.0 0.172 0.203 0.238
Secret_06_TRS/6 0.157 0.159 0.23 0.3 60.0 0.186 60.0 0.687
Secret_06_TRS/7 0.164 0.178 0.318 0.471 60.0 0.188 0.471 0.492
Secret_06_TRS/8 0.151 0.176 0.252 0.345 60.0 0.161 0.17 0.2
Secret_06_TRS/9 0.17 0.168 0.254 0.298 60.0 0.185 0.211 0.255
problem t e s nv g c r *
Secret_06_TRS/addList 0.22 0.222 60.0 60.0 60.0 0.254 0.273 0.343
Secret_06_TRS/cime1 0.21 0.203 20.643 60.0 60.0 0.58 0.59 0.47
Secret_06_TRS/divExp 0.291 0.287 0.637 3.746 60.0 0.796 0.795 1.31
Secret_06_TRS/division 0.302 0.302 1.385 60.0 60.0 0.193 0.183 0.248
Secret_06_TRS/double 0.187 0.212 9.153 60.0 60.0 0.278 0.276 0.317
Secret_06_TRS/gen-1 0.154 0.158 0.27 0.403 60.0 0.183 0.18 0.211
Secret_06_TRS/gen-10 0.174 0.164 0.352 2.024 60.0 0.207 0.189 0.22
Secret_06_TRS/gen-14 0.189 0.183 0.315 5.546 60.0 0.194 0.197 0.22
Secret_06_TRS/gen-15 0.153 0.158 0.324 0.566 60.0 0.169 0.172 0.192
Secret_06_TRS/gen-17 0.175 0.168 0.527 35.605 60.0 0.176 0.181 0.191
Secret_06_TRS/gen-18 0.159 0.167 0.281 1.345 60.0 0.177 0.173 0.206
Secret_06_TRS/gen-22 0.284 0.301 1.122 60.0 60.0 0.332 0.346 0.32
Secret_06_TRS/gen-25 0.276 0.276 0.469 40.426 60.0 0.309 0.302 0.365
Secret_06_TRS/gen-28 0.275 0.279 0.415 1.939 60.0 0.29 0.296 0.321
Secret_06_TRS/gen-9 0.156 0.167 0.325 4.932 60.0 0.182 0.184 0.204
Secret_06_TRS/logarithm 0.183 0.19 4.636 60.0 60.0 0.222 0.226 0.284
Secret_06_TRS/nrOfNodes 0.186 0.193 60.0 60.0 60.0 0.216 0.228 0.259
Secret_06_TRS/reverse 0.175 0.171 2.559 60.0 60.0 0.194 0.201 0.244
Secret_06_TRS/sumList 0.195 0.198 60.0 60.0 60.0 0.216 0.217 0.275
Secret_06_TRS/times 0.183 0.19 15.378 60.0 60.0 13.699 13.199 1.209
Secret_06_TRS/toList 0.183 0.184 60.0 60.0 60.0 0.232 0.253 0.298
Secret_06_TRS/tpa01 0.146 0.145 0.164 0.175 60.0 0.161 0.151 0.183
Secret_06_TRS/tpa02 0.152 0.152 0.169 0.183 60.0 0.159 0.16 0.184
Secret_06_TRS/tpa03 0.233 0.229 0.26 0.28 60.0 0.249 0.248 0.276
Secret_06_TRS/tpa04 0.174 0.175 2.076 8.728 60.0 0.253 0.251 0.315
problem t e s nv g c r *
Secret_06_TRS/tpa05 0.241 0.227 1.13 3.164 60.0 0.299 0.315 0.417
Secret_06_TRS/tpa06 0.181 0.187 2.13 60.0 60.0 0.217 0.219 0.28
Secret_06_TRS/tpa07 0.176 0.177 0.554 1.235 60.0 0.203 0.194 0.261
Secret_06_TRS/tpa08 0.185 0.182 0.757 1.965 60.0 0.256 0.26 0.364
Secret_06_TRS/tpa09 0.312 0.318 3.779 15.82 60.0 0.423 0.431 0.592
Secret_06_TRS/tpa10 0.308 0.311 3.597 11.785 60.0 0.309 0.312 0.364
Secret_07_TRS/1 0.256 0.264 0.643 2.234 60.0 0.454 0.424 0.596
Secret_07_TRS/2 0.172 0.178 2.691 60.0 60.0 5.732 0.345 0.884
Secret_07_TRS/3 0.186 0.188 2.212 60.0 60.0 2.493 60.0 1.272
Secret_07_TRS/4 0.255 0.233 0.768 25.239 60.0 0.533 1.302 0.746
Secret_07_TRS/5 0.355 0.363 3.961 60.0 60.0 1.921 60.0 1.267
Secret_07_TRS/7 0.336 0.349 0.468 0.639 60.0 0.213 60.0 0.262
Secret_07_TRS/aprove01 0.192 0.209 41.867 60.0 60.0 0.272 0.269 0.377
Secret_07_TRS/aprove02 0.266 0.286 23.744 60.0 60.0 0.312 0.318 0.423
Secret_07_TRS/aprove03 0.31 0.319 60.0 60.0 60.0 0.45 0.463 0.616
Secret_07_TRS/aprove04 0.32 0.319 34.818 60.0 60.0 0.408 0.405 0.477
Secret_07_TRS/aprove05 0.174 0.179 12.653 60.0 60.0 0.217 0.219 0.291
Secret_07_TRS/aprove06 0.194 0.197 27.343 60.0 60.0 0.249 0.27 0.358
Secret_07_TRS/aprove07 0.184 0.182 8.073 60.0 60.0 0.221 0.219 0.284
Secret_07_TRS/aprove08 0.384 0.355 60.0 60.0 60.0 0.422 0.428 0.468
Secret_07_TRS/aprove09 0.372 0.36 60.0 60.0 60.0 0.233 0.24 0.306
Secret_07_TRS/aprove10 0.174 0.192 11.433 60.0 60.0 0.246 0.251 0.392
Secret_07_TRS/secret1 0.191 0.194 5.506 60.0 60.0 0.299 0.301 0.358
Secret_07_TRS/secret2 0.188 0.19 4.561 60.0 60.0 0.235 0.241 0.315
Secret_07_TRS/secret3 0.166 0.171 0.866 15.277 60.0 0.194 0.202 0.234
problem t e s nv g c r *
Secret_07_TRS/secret4 0.216 0.205 6.808 60.0 60.0 0.27 0.269 0.346
Secret_07_TRS/secret5 0.196 0.197 7.677 18.634 60.0 0.274 0.272 0.33
Strategy_removed_AG01/#4.12a 0.199 0.199 0.241 0.271 60.0 0.205 0.206 0.223
Strategy_removed_AG01/#4.13 0.23 0.23 0.255 0.295 60.0 0.238 0.237 0.25
Strategy_removed_AG01/#4.14 0.141 0.138 0.281 0.313 60.0 0.16 0.152 0.162
Strategy_removed_AG01/#4.15 0.144 0.153 0.293 7.089 60.0 0.153 0.158 0.176
Strategy_removed_AG01/#4.16 0.161 0.165 0.195 0.211 60.0 0.175 0.171 0.187
Strategy_removed_AG01/#4.17 0.153 0.155 0.2 0.219 60.0 0.216 0.219 0.254
Strategy_removed_AG01/#4.18 0.207 0.204 0.232 0.235 60.0 0.219 0.22 0.23
Strategy_removed_AG01/#4.19 0.15 0.16 0.24 0.729 60.0 0.183 0.171 0.168
Strategy_removed_AG01/#4.2 0.144 0.141 0.182 0.492 60.0 0.297 0.287 0.319
Strategy_removed_AG01/#4.20 0.304 0.3 0.314 0.323 0.336 0.294 0.301 0.296
Strategy_removed_AG01/#4.20a 0.143 0.139 0.193 0.212 7.575 0.162 0.152 0.168
Strategy_removed_AG01/#4.21 0.139 0.144 0.199 0.19 1.814 0.169 0.155 0.156
Strategy_removed_AG01/#4.22 0.155 0.167 0.22 0.547 60.0 0.175 0.168 0.183
Strategy_removed_AG01/#4.23 0.212 0.208 0.37 2.179 60.0 0.238 0.223 0.253
Strategy_removed_AG01/#4.25 0.207 0.202 0.225 0.233 2.518 0.142 0.152 0.155
Strategy_removed_AG01/#4.26 0.165 0.159 0.376 4.058 60.0 0.167 0.162 0.191
Strategy_removed_AG01/#4.27 0.174 0.193 0.631 1.872 60.0 0.19 0.19 0.217
Strategy_removed_AG01/#4.28 0.142 0.147 0.213 0.256 60.0 0.171 0.17 0.208
Strategy_removed_AG01/#4.29 0.175 0.175 1.822 15.587 60.0 0.245 0.224 0.284
Strategy_removed_AG01/#4.3 0.135 0.148 0.153 0.167 60.0 0.156 0.141 0.153
Strategy_removed_AG01/#4.30 0.163 0.163 0.507 5.147 60.0 0.243 0.25 0.276
Strategy_removed_AG01/#4.30a 0.233 0.241 0.467 0.777 60.0 0.254 0.251 0.288
Strategy_removed_AG01/#4.30b 0.21 0.213 0.828 5.849 60.0 0.227 0.228 0.258
problem t e s nv g c r *
Strategy_removed_AG01/#4.30c 0.225 0.234 0.9 4.788 60.0 0.182 0.183 0.224
Strategy_removed_AG01/#4.32 0.149 0.141 0.2 0.233 60.0 0.148 0.156 0.182
Strategy_removed_AG01/#4.33 0.2 0.2 0.712 60.0 60.0 0.22 0.235 0.248
Strategy_removed_AG01/#4.34 0.21 0.169 0.481 1.509 60.0 0.276 0.274 0.301
Strategy_removed_AG01/#4.35 0.317 0.328 19.573 60.0 60.0 60.0 60.0 1.35
Strategy_removed_AG01/#4.36 0.203 0.195 8.982 60.0 60.0 0.246 0.255 0.317
Strategy_removed_AG01/#4.37 0.145 0.14 0.168 0.17 60.0 0.148 0.155 0.183
Strategy_removed_AG01/#4.37a 0.158 0.148 0.223 0.223 60.0 0.164 0.176 0.197
Strategy_removed_AG01/#4.4 0.336 0.342 0.368 0.398 60.0 0.344 0.355 0.364
Strategy_removed_AG01/#4.7 0.236 0.349 0.266 0.277 32.235 0.167 0.145 0.173
Strategy_removed_CSR_05/Ex14_AEGL02 0.15 0.146 0.21 0.227 60.0 0.148 0.158 0.178
Strategy_removed_CSR_05/Ex15_Luc98 0.16 0.162 0.414 0.43 60.0 0.169 0.171 0.193
Strategy_removed_CSR_05/Ex1_2_AEL03 0.178 0.18 1.528 42.884 60.0 0.205 0.191 0.246
Strategy_removed_CSR_05/Ex1_2_Luc02c 0.141 0.142 0.158 0.158 1.055 0.145 0.147 0.158
Strategy_removed_CSR_05/Ex1_GL02a 0.321 0.323 0.561 0.522 60.0 0.33 0.335 0.356
Strategy_removed_CSR_05/Ex1_GM03 0.23 0.227 0.492 1.314 60.0 0.164 0.16 0.169
Strategy_removed_CSR_05/Ex1_GM99 0.141 0.13 0.17 0.18 60.0 0.143 0.144 0.149
Strategy_removed_CSR_05/Ex1_Luc02b 0.146 0.178 0.258 0.256 60.0 0.167 0.167 0.174
Strategy_removed_CSR_05/Ex1_Zan97 0.146 0.146 0.165 0.187 0.164 0.142 0.145 0.163
Strategy_removed_CSR_05/Ex24_GM04 0.134 0.146 0.169 0.189 60.0 0.137 0.139 0.166
Strategy_removed_CSR_05/Ex26_Luc03b 0.177 0.179 0.763 2.404 60.0 0.198 0.199 0.239
Strategy_removed_CSR_05/Ex2_Luc03b 0.149 0.174 0.361 0.351 60.0 0.17 0.173 0.201
Strategy_removed_CSR_05/Ex3_12_Luc96a 0.166 0.168 0.21 0.21 60.0 0.176 0.174 0.196
Strategy_removed_CSR_05/Ex3_2_Luc97 0.166 0.171 0.604 0.579 60.0 0.18 0.184 0.215
Strategy_removed_CSR_05/Ex3_3_25_Bor03 0.162 0.174 0.452 60.0 60.0 0.325 0.324 0.36
problem t e s nv g c r *
Strategy_removed_CSR_05/Ex49_GM04 0.321 0.323 0.763 3.229 60.0 0.338 0.34 0.372
Strategy_removed_CSR_05/Ex4_4_Luc96b 0.373 0.383 0.408 0.41 60.0 0.382 0.386 0.403
Strategy_removed_CSR_05/Ex4_7_15_Bor03 0.192 0.194 0.231 0.243 60.0 0.158 0.151 0.17
Strategy_removed_CSR_05/Ex4_7_37_Bor03 0.174 0.162 0.962 60.0 60.0 0.177 0.183 0.209
Strategy_removed_CSR_05/Ex4_7_56_Bor03 0.148 0.156 0.184 0.194 60.0 0.154 0.164 0.174
Strategy_removed_CSR_05/Ex4_7_77_Bor03 0.157 0.161 0.172 0.183 0.145 0.138 0.138 0.148
Strategy_removed_CSR_05/Ex4_Zan97 0.149 0.155 0.252 0.264 60.0 0.16 0.161 0.181
Strategy_removed_CSR_05/Ex5_7_Luc97 0.204 0.195 6.374 4.201 60.0 0.215 0.221 0.262
Strategy_removed_CSR_05/Ex5_Zan97 0.153 0.155 0.178 0.188 60.0 0.14 0.143 0.161
Strategy_removed_CSR_05/Ex6_15_AEL02 0.187 0.184 12.059 3.189 60.0 0.207 0.211 0.26
Strategy_removed_CSR_05/Ex6_9_Luc02c 0.15 0.152 0.177 0.203 60.0 0.144 0.15 0.154
Strategy_removed_CSR_05/Ex6_GM04 0.136 0.133 0.151 0.16 0.182 0.166 0.166 0.177
Strategy_removed_CSR_05/Ex6_Luc98 0.17 0.172 0.222 0.22 60.0 0.18 0.18 0.195
Strategy_removed_CSR_05/Ex7_BLR02 0.319 0.323 0.526 0.575 60.0 0.331 0.332 0.351
Strategy_removed_CSR_05/Ex8_BLR02 0.328 0.219 0.451 0.831 60.0 0.186 0.164 0.196
Strategy_removed_CSR_05/Ex9_BLR02 0.168 0.166 0.555 60.0 60.0 60.0 60.0 1.198
Strategy_removed_CSR_05/ExAppendixB_AEL03 0.172 0.187 3.442 60.0 60.0 60.0 60.0 1.192
Strategy_removed_CSR_05/ExConc_Zan97 0.132 0.144 0.155 0.156 0.161 0.142 0.132 0.155
Strategy_removed_CSR_05/ExIntrod_GM01 0.163 0.153 0.463 0.472 60.0 0.16 60.0 0.675
Strategy_removed_CSR_05/ExIntrod_GM04 0.156 0.163 0.35 0.418 60.0 0.176 60.0 0.695
Strategy_removed_CSR_05/ExIntrod_GM99 0.177 0.183 1.038 32.961 60.0 0.18 0.176 0.229
Strategy_removed_CSR_05/ExIntrod_Zan97 0.156 0.173 0.785 2.626 60.0 0.171 0.176 0.205
Strategy_removed_mixed_05/ExSec11_1_Luc02a 0.341 0.355 1.86 5.531 60.0 0.373 0.371 0.408
Strategy_removed_mixed_05/bn111 0.33 0.325 0.357 0.365 60.0 0.136 0.153 0.154
Strategy_removed_mixed_05/ex1 0.141 0.138 0.186 0.188 0.232 0.14 0.141 0.157
problem t e s nv g c r *
Strategy_removed_mixed_05/ex2 0.141 0.145 0.174 0.189 60.0 0.152 0.155 0.177
Strategy_removed_mixed_05/ex3 0.146 0.148 0.198 0.229 10.975 0.149 0.159 0.182
Strategy_removed_mixed_05/ex4 0.166 0.152 0.161 0.159 0.297 0.148 0.15 0.156
Strategy_removed_mixed_05/ex5 0.162 0.164 0.183 0.19 0.208 0.173 0.178 0.188
Strategy_removed_mixed_05/ex6 0.168 0.172 0.263 0.31 60.0 0.16 0.172 0.207
Strategy_removed_mixed_05/gkg 0.141 0.151 0.186 0.201 60.0 0.157 0.156 0.172
Strategy_removed_mixed_05/muladd 0.148 0.164 0.202 0.203 60.0 0.174 0.179 0.181
Strategy_removed_mixed_05/n001 0.157 0.16 0.192 0.209 60.0 0.149 0.148 0.183
Strategy_removed_mixed_05/test10 0.147 0.155 0.24 0.667 60.0 0.157 0.159 0.184
Strategy_removed_mixed_05/test75 0.144 0.146 0.172 0.194 60.0 0.139 0.151 0.168
Strategy_removed_mixed_05/test76 0.152 0.155 0.206 0.375 60.0 0.254 0.252 0.273
Strategy_removed_mixed_05/test77 0.253 0.265 0.364 0.624 60.0 0.267 0.273 0.3
Strategy_removed_mixed_05/test830 0.151 0.148 0.234 0.242 60.0 0.16 0.169 0.182
Strategy_removed_mixed_05/test9 0.141 0.152 0.192 0.226 60.0 0.145 0.151 0.173
Strategy_removed_mixed_05/toyama 0.141 0.136 0.163 0.174 60.0 0.142 0.144 0.159
Strategy_removed_mixed_05/tricky1 0.357 0.355 0.468 0.612 60.0 0.396 0.383 0.394
TCT_09/ackantiinn 0.281 0.384 0.955 1.854 60.0 0.332 0.308 0.362
TCT_09/ackantiinn2 0.26 0.271 0.384 0.537 60.0 0.272 0.28 0.295
TCT_09/ackhofbauer 0.155 0.163 0.242 0.313 60.0 0.16 0.216 0.261
TCT_09/ackhofbauernonsimp 0.159 0.162 0.539 60.0 60.0 0.184 0.168 0.198
TCT_09/add 0.149 0.139 0.153 0.149 60.0 0.142 0.136 0.156
TCT_09/addmult 0.274 0.275 0.353 0.401 60.0 0.284 0.302 0.306
TCT_09/append 0.289 0.221 0.294 0.301 60.0 0.212 0.215 0.226
TCT_09/bits 0.234 0.223 0.287 0.346 60.0 0.233 0.24 0.264
TCT_09/dexpdp 0.152 0.15 0.179 0.194 60.0 0.172 0.171 0.177
problem t e s nv g c r *
TCT_09/dexpdp2 0.16 0.163 0.181 0.185 2.547 0.154 0.153 0.183
TCT_09/expantiinn 0.157 0.156 0.229 0.242 16.637 0.171 60.0 0.687
TCT_09/insertsort 0.18 0.184 0.689 4.68 60.0 0.212 0.203 0.243
TCT_09/lcs 0.204 0.201 0.911 1.946 60.0 0.357 0.362 0.41
TCT_09/ma1 0.301 0.303 0.337 0.341 60.0 0.323 0.324 0.335
TCT_09/ma2 0.14 0.148 0.181 0.189 60.0 0.149 0.157 0.178
TCT_09/ma3 0.153 0.143 0.182 0.194 60.0 0.142 0.158 0.165
TCT_09/ma4 0.15 0.15 0.304 0.413 60.0 0.162 0.164 0.186
TCT_09/ma5 0.245 0.249 0.297 0.338 15.991 0.254 60.0 0.798
TCT_09/ma6 0.275 0.175 0.706 9.322 60.0 0.277 0.283 0.304
TCT_09/ma7 0.286 0.286 1.688 60.0 60.0 0.304 0.305 0.328
TCT_09/ma8 0.222 0.224 1.38 60.0 60.0 0.244 0.237 0.26
TCT_09/ma9 0.206 0.21 0.289 0.318 60.0 0.15 0.16 0.157
TCT_09/mergesort 0.187 0.176 4.714 60.0 60.0 0.22 0.222 0.278
TCT_09/nonmultrec 0.328 0.331 0.646 60.0 60.0 0.346 0.354 0.385
TCT_09/qbf 0.253 0.263 5.851 11.033 60.0 0.231 0.237 0.237
TCT_09/revappend 0.154 0.167 0.195 0.208 60.0 0.176 0.174 0.183
TCT_09/shuffle 0.256 0.258 0.381 0.404 60.0 0.272 0.284 0.308
TCT_09/supexpdg 0.275 0.272 0.363 0.393 60.0 0.167 60.0 0.672
TCT_09/supexpur 0.15 0.151 0.19 0.206 60.0 0.157 0.187 0.211
TCT_09/z86 0.24 0.244 0.299 0.348 10.603 0.26 0.277 0.313
Transformed_CSR_04/Ex14_AEGL02_C 0.301 0.305 38.588 60.0 60.0 0.355 0.36 0.609
Transformed_CSR_04/Ex14_AEGL02_FR 0.158 0.171 1.611 2.285 60.0 0.187 0.188 0.242
Transformed_CSR_04/Ex14_AEGL02_GM 0.184 0.19 1.29 0.837 60.0 0.203 0.211 0.24
Transformed_CSR_04/Ex14_AEGL02_L 0.162 0.165 0.196 0.2 0.236 0.213 0.236 0.246
problem t e s nv g c r *
Transformed_CSR_04/Ex14_AEGL02_Z 0.237 0.255 0.954 1.229 60.0 0.268 0.271 0.289
Transformed_CSR_04/Ex14_AEGL02_iGM 0.237 0.224 36.399 21.428 60.0 0.366 0.361 0.491
Transformed_CSR_04/Ex14_Luc06_C 0.179 0.205 19.942 42.124 60.0 0.395 0.404 0.598
Transformed_CSR_04/Ex14_Luc06_FR 0.187 0.179 0.289 0.316 60.0 0.2 0.197 0.229
Transformed_CSR_04/Ex14_Luc06_GM 0.161 0.168 1.171 1.783 60.0 0.206 0.226 0.282
Transformed_CSR_04/Ex14_Luc06_L 0.149 0.151 0.209 0.218 0.331 0.287 0.279 0.308
Transformed_CSR_04/Ex14_Luc06_iGM 0.318 0.328 16.057 9.615 60.0 0.492 0.491 0.601
Transformed_CSR_04/Ex15_Luc06_C 0.175 0.202 1.408 1.488 60.0 0.228 0.311 0.39
Transformed_CSR_04/Ex15_Luc06_FR 0.192 0.19 0.428 0.419 60.0 0.157 0.178 0.216
Transformed_CSR_04/Ex15_Luc06_GM 0.149 0.155 0.225 0.245 60.0 0.142 0.161 0.197
Transformed_CSR_04/Ex15_Luc06_L 0.137 0.141 0.145 0.146 0.146 0.145 0.147 0.162
Transformed_CSR_04/Ex15_Luc06_Z 0.174 0.164 0.381 0.352 60.0 0.299 0.306 0.314
Transformed_CSR_04/Ex15_Luc06_iGM 0.299 0.299 0.877 0.825 60.0 0.327 0.411 0.438
Transformed_CSR_04/Ex15_Luc98_C 0.235 0.249 60.0 60.0 60.0 0.597 0.599 1.062
Transformed_CSR_04/Ex15_Luc98_FR 0.177 0.171 6.166 6.075 60.0 0.234 0.227 0.3
Transformed_CSR_04/Ex15_Luc98_GM 0.193 0.191 10.767 10.283 60.0 0.25 0.259 0.339
Transformed_CSR_04/Ex15_Luc98_Z 0.241 0.245 5.249 4.895 60.0 0.28 0.277 0.265
Transformed_CSR_04/Ex15_Luc98_iGM 0.324 0.338 60.0 60.0 60.0 0.573 0.603 0.835
Transformed_CSR_04/Ex16_Luc06_C 0.161 0.168 1.008 1.943 60.0 0.234 0.282 0.315
Transformed_CSR_04/Ex16_Luc06_FR 0.239 0.243 0.293 0.298 1.261 0.25 0.255 0.255
Transformed_CSR_04/Ex16_Luc06_GM 0.144 0.147 0.278 0.31 60.0 0.209 0.225 0.259
Transformed_CSR_04/Ex16_Luc06_L 0.187 0.188 0.201 0.2 0.197 0.203 0.201 0.207
Transformed_CSR_04/Ex16_Luc06_iGM 0.156 0.174 0.877 1.073 60.0 0.203 0.26 0.306
Transformed_CSR_04/Ex18_Luc06_C 0.172 0.163 1.373 1.444 60.0 0.224 0.288 0.363
Transformed_CSR_04/Ex18_Luc06_FR 0.144 0.147 0.252 0.276 60.0 0.158 0.185 0.214
problem t e s nv g c r *
Transformed_CSR_04/Ex18_Luc06_GM 0.178 0.159 0.222 0.229 60.0 0.176 0.179 0.212
Transformed_CSR_04/Ex18_Luc06_L 0.151 0.143 0.166 0.162 0.359 0.343 0.344 0.194
Transformed_CSR_04/Ex18_Luc06_Z 0.374 0.351 0.396 0.402 1.466 0.363 0.374 0.377
Transformed_CSR_04/Ex18_Luc06_iGM 0.222 0.219 0.746 0.714 60.0 0.246 0.341 0.389
Transformed_CSR_04/Ex1_2_AEL03_C 0.402 0.465 60.0 60.0 60.0 1.752 1.745 1.386
Transformed_CSR_04/Ex1_2_AEL03_FR 0.192 0.187 9.861 60.0 60.0 0.255 0.26 0.346
Transformed_CSR_04/Ex1_2_AEL03_GM 0.242 0.238 56.71 60.0 60.0 0.676 0.653 1.094
Transformed_CSR_04/Ex1_2_AEL03_Z 0.213 0.189 6.099 60.0 60.0 0.226 0.233 0.302
Transformed_CSR_04/Ex1_2_AEL03_iGM 0.296 0.325 60.0 60.0 60.0 1.272 1.307 1.336
Transformed_CSR_04/Ex1_2_Luc02c_C 0.179 0.182 23.717 60.0 60.0 0.314 0.312 0.514
Transformed_CSR_04/Ex1_2_Luc02c_FR 0.157 0.161 0.511 0.871 60.0 0.157 0.167 0.204
Transformed_CSR_04/Ex1_2_Luc02c_GM 0.152 0.167 0.424 0.512 60.0 0.171 0.171 0.202
Transformed_CSR_04/Ex1_2_Luc02c_Z 0.151 0.158 0.311 0.472 60.0 0.154 0.158 0.173
Transformed_CSR_04/Ex1_2_Luc02c_iGM 0.164 0.173 7.235 6.102 60.0 0.27 0.269 0.358
Transformed_CSR_04/Ex1_GL02a_C 0.222 0.224 60.0 60.0 60.0 0.478 0.49 0.866
Transformed_CSR_04/Ex1_GL02a_FR 0.187 0.181 7.122 4.224 60.0 0.252 0.246 0.327
Transformed_CSR_04/Ex1_GL02a_GM 0.202 0.197 6.012 1.358 60.0 0.197 0.188 0.217
Transformed_CSR_04/Ex1_GL02a_L 0.146 0.144 0.193 0.166 0.215 0.138 0.143 0.16
Transformed_CSR_04/Ex1_GL02a_Z 0.184 0.176 7.186 2.571 60.0 0.203 0.2 0.259
Transformed_CSR_04/Ex1_GL02a_iGM 0.231 0.229 60.0 60.0 60.0 0.477 0.496 0.664
Transformed_CSR_04/Ex1_GM03_C 0.237 0.246 60.0 60.0 60.0 0.551 0.567 0.931
Transformed_CSR_04/Ex1_GM03_FR 0.167 0.19 4.297 21.008 60.0 0.208 0.213 0.238
Transformed_CSR_04/Ex1_GM03_GM 0.191 0.18 8.014 60.0 60.0 0.265 0.263 0.374
Transformed_CSR_04/Ex1_GM03_Z 0.166 0.169 1.339 6.895 60.0 0.181 0.182 0.219
Transformed_CSR_04/Ex1_GM03_iGM 0.224 0.231 60.0 60.0 60.0 0.475 0.473 0.698
problem t e s nv g c r *
Transformed_CSR_04/Ex1_GM99_C 0.179 0.161 2.081 60.0 60.0 0.212 0.213 0.29
Transformed_CSR_04/Ex1_GM99_FR 0.157 0.159 0.294 0.475 60.0 0.16 0.162 0.176
Transformed_CSR_04/Ex1_GM99_GM 0.157 0.169 0.34 2.491 60.0 0.166 0.157 0.168
Transformed_CSR_04/Ex1_GM99_L 0.133 0.14 0.149 0.153 0.151 0.139 0.136 0.146
Transformed_CSR_04/Ex1_GM99_iGM 0.163 0.175 2.709 60.0 60.0 0.214 0.208 0.223
Transformed_CSR_04/Ex1_Luc02b_C 0.225 0.222 60.0 60.0 60.0 0.529 0.518 0.857
Transformed_CSR_04/Ex1_Luc02b_FR 0.164 0.165 1.011 1.039 60.0 0.179 0.211 0.225
Transformed_CSR_04/Ex1_Luc02b_GM 0.166 0.187 2.752 4.619 60.0 0.22 0.222 0.292
Transformed_CSR_04/Ex1_Luc02b_Z 0.152 0.159 0.525 0.523 60.0 0.175 0.166 0.191
Transformed_CSR_04/Ex1_Luc02b_iGM 0.205 0.208 60.0 60.0 60.0 0.441 0.422 0.59
Transformed_CSR_04/Ex1_Luc04b_C 0.204 0.221 60.0 57.422 60.0 0.439 1.714 0.977
Transformed_CSR_04/Ex1_Luc04b_FR 0.175 0.181 1.374 0.898 60.0 0.19 0.249 0.292
Transformed_CSR_04/Ex1_Luc04b_GM 0.187 0.189 10.319 6.592 60.0 0.227 60.0 0.74
Transformed_CSR_04/Ex1_Luc04b_Z 0.167 0.168 0.618 0.583 60.0 0.164 0.17 0.195
Transformed_CSR_04/Ex1_Luc04b_iGM 0.203 0.211 60.0 55.554 60.0 0.426 3.102 0.929
Transformed_CSR_04/Ex1_Zan97_C 0.165 0.169 1.622 0.992 60.0 0.197 0.251 0.299
Transformed_CSR_04/Ex1_Zan97_FR 0.148 0.163 0.349 0.319 0.341 0.146 0.169 0.192
Transformed_CSR_04/Ex1_Zan97_GM 0.154 0.175 0.411 0.341 19.384 0.156 0.159 0.198
Transformed_CSR_04/Ex1_Zan97_L 0.146 0.148 0.168 0.148 0.149 0.151 0.153 0.148
Transformed_CSR_04/Ex1_Zan97_iGM 0.16 0.16 1.363 1.083 60.0 0.196 0.239 0.24
Transformed_CSR_04/Ex23_Luc06_C 0.181 0.182 5.114 4.344 60.0 0.264 0.387 0.519
Transformed_CSR_04/Ex23_Luc06_FR 0.15 0.148 0.334 0.336 60.0 0.157 0.178 0.21
Transformed_CSR_04/Ex23_Luc06_GM 0.154 0.154 0.231 0.239 60.0 0.161 0.186 0.203
Transformed_CSR_04/Ex23_Luc06_L 0.178 0.179 0.182 0.398 0.186 0.188 0.189 0.198
Transformed_CSR_04/Ex23_Luc06_Z 0.199 0.204 0.223 0.229 0.695 0.154 0.155 0.155
problem t e s nv g c r *
Transformed_CSR_04/Ex23_Luc06_iGM 0.162 0.163 1.916 1.298 60.0 0.21 0.346 0.372
Transformed_CSR_04/Ex24_GM04_C 0.193 0.206 3.083 60.0 60.0 0.279 0.262 0.364
Transformed_CSR_04/Ex24_GM04_FR 0.14 0.146 0.248 0.596 60.0 0.168 0.149 0.184
Transformed_CSR_04/Ex24_GM04_GM 0.165 0.165 0.435 6.678 60.0 0.158 0.163 0.177
Transformed_CSR_04/Ex24_GM04_L 0.147 0.138 0.16 0.161 0.141 0.145 0.145 0.143
Transformed_CSR_04/Ex24_GM04_Z 0.142 0.142 0.241 0.551 60.0 0.151 0.158 0.189
Transformed_CSR_04/Ex24_GM04_iGM 0.171 0.191 4.285 60.0 60.0 0.25 0.252 0.314
Transformed_CSR_04/Ex24_Luc06_C 0.179 0.162 1.236 60.0 60.0 0.202 0.217 0.264
Transformed_CSR_04/Ex24_Luc06_FR 0.149 0.141 0.263 0.444 60.0 0.15 0.157 0.174
Transformed_CSR_04/Ex24_Luc06_GM 0.154 0.157 0.299 1.452 60.0 0.167 0.169 0.191
Transformed_CSR_04/Ex24_Luc06_L 0.133 0.152 0.165 0.167 0.151 0.142 0.139 0.155
Transformed_CSR_04/Ex24_Luc06_iGM 0.164 0.164 1.38 29.222 60.0 0.205 0.194 0.224
Transformed_CSR_04/Ex25_Luc06_C 0.185 0.196 20.121 14.276 60.0 0.313 0.699 0.876
Transformed_CSR_04/Ex25_Luc06_FR 0.154 0.159 0.674 0.54 60.0 0.166 0.209 0.266
Transformed_CSR_04/Ex25_Luc06_GM 0.152 0.155 0.715 0.5 60.0 0.172 0.222 0.256
Transformed_CSR_04/Ex25_Luc06_L 0.143 0.154 0.161 0.162 0.167 0.151 0.153 0.153
Transformed_CSR_04/Ex25_Luc06_Z 0.15 0.144 0.422 0.401 60.0 0.157 0.191 0.215
Transformed_CSR_04/Ex25_Luc06_iGM 0.172 0.184 14.07 4.85 60.0 0.268 0.525 0.53
Transformed_CSR_04/Ex26_Luc03b_C 0.267 0.278 60.0 60.0 60.0 0.837 0.837 1.29
Transformed_CSR_04/Ex26_Luc03b_FR 0.189 0.197 16.011 60.0 60.0 0.287 0.287 0.394
Transformed_CSR_04/Ex26_Luc03b_GM 0.196 0.199 14.617 15.41 60.0 0.264 0.262 0.37
Transformed_CSR_04/Ex26_Luc03b_L 0.149 0.174 0.222 0.211 3.654 0.147 0.151 0.144
Transformed_CSR_04/Ex26_Luc03b_Z 0.282 0.284 11.17 47.848 60.0 0.328 0.339 0.395
Transformed_CSR_04/Ex26_Luc03b_iGM 0.348 0.373 60.0 60.0 60.0 0.713 0.717 1.053
Transformed_CSR_04/Ex2_Luc02a_C 0.273 0.269 60.0 60.0 60.0 0.914 0.907 1.287
problem t e s nv g c r *
Transformed_CSR_04/Ex2_Luc02a_FR 0.177 0.188 5.729 13.776 60.0 0.208 0.217 0.291
Transformed_CSR_04/Ex2_Luc02a_GM 0.188 0.202 19.491 60.0 60.0 0.34 0.34 0.507
Transformed_CSR_04/Ex2_Luc02a_L 0.154 0.168 0.527 0.902 60.0 0.172 0.172 0.208
Transformed_CSR_04/Ex2_Luc02a_Z 0.176 0.174 2.4 6.454 60.0 0.187 0.178 0.248
Transformed_CSR_04/Ex2_Luc02a_iGM 0.233 0.258 60.0 60.0 60.0 0.753 0.739 1.272
Transformed_CSR_04/Ex2_Luc03b_C 0.24 0.245 60.0 60.0 60.0 0.586 0.603 1.034
Transformed_CSR_04/Ex2_Luc03b_FR 0.269 0.3 6.011 4.715 60.0 0.339 0.343 0.412
Transformed_CSR_04/Ex2_Luc03b_GM 0.286 0.288 5.961 5.186 60.0 0.245 0.249 0.304
Transformed_CSR_04/Ex2_Luc03b_L 0.156 0.141 0.142 0.15 0.14 0.141 0.151 0.152
Transformed_CSR_04/Ex2_Luc03b_Z 0.177 0.183 2.545 1.417 60.0 0.192 0.191 0.218
Transformed_CSR_04/Ex2_Luc03b_iGM 0.211 0.221 60.0 60.0 60.0 0.492 0.537 0.73
Transformed_CSR_04/Ex3_12_Luc96a_C 0.194 0.205 37.137 60.0 60.0 0.371 0.366 0.575
Transformed_CSR_04/Ex3_12_Luc96a_FR 0.155 0.16 0.365 0.391 60.0 0.161 0.169 0.194
Transformed_CSR_04/Ex3_12_Luc96a_GM 0.165 0.16 0.775 0.928 60.0 0.191 0.191 0.23
Transformed_CSR_04/Ex3_12_Luc96a_Z 0.146 0.161 0.259 0.25 60.0 0.153 0.158 0.171
Transformed_CSR_04/Ex3_12_Luc96a_iGM 0.262 0.245 19.896 15.375 60.0 0.359 0.376 0.498
Transformed_CSR_04/Ex3_2_Luc97_C 0.296 0.324 60.0 60.0 60.0 0.577 0.565 0.988
Transformed_CSR_04/Ex3_2_Luc97_FR 0.202 0.183 15.219 12.147 60.0 0.279 0.27 0.398
Transformed_CSR_04/Ex3_2_Luc97_GM 0.18 0.195 9.754 7.239 60.0 0.247 0.222 0.277
Transformed_CSR_04/Ex3_2_Luc97_Z 0.178 0.188 13.617 10.577 60.0 0.241 0.242 0.299
Transformed_CSR_04/Ex3_2_Luc97_iGM 0.223 0.235 60.0 60.0 60.0 0.549 0.549 0.746
Transformed_CSR_04/Ex3_3_25_Bor03_C 0.28 0.245 60.0 60.0 60.0 0.688 0.652 1.124
Transformed_CSR_04/Ex3_3_25_Bor03_FR 0.176 0.174 8.589 6.571 60.0 0.504 0.496 0.581
Transformed_CSR_04/Ex3_3_25_Bor03_GM 0.441 0.444 7.354 8.905 60.0 0.538 0.507 0.614
Transformed_CSR_04/Ex3_3_25_Bor03_L 0.14 0.153 0.188 0.208 60.0 0.155 0.155 0.145
problem t e s nv g c r *
Transformed_CSR_04/Ex3_3_25_Bor03_Z 0.169 0.168 2.841 1.613 60.0 0.194 0.195 0.211
Transformed_CSR_04/Ex3_3_25_Bor03_iGM 0.226 0.246 60.0 60.0 60.0 0.535 0.54 0.754
Transformed_CSR_04/Ex49_GM04_C 0.232 0.239 60.0 60.0 60.0 0.465 0.454 0.75
Transformed_CSR_04/Ex49_GM04_FR 0.18 0.201 8.44 60.0 60.0 0.243 0.246 0.337
Transformed_CSR_04/Ex49_GM04_GM 0.188 0.187 8.803 60.0 60.0 0.214 0.226 0.28
Transformed_CSR_04/Ex49_GM04_Z 0.174 0.167 3.133 20.455 60.0 0.248 0.231 0.313
Transformed_CSR_04/Ex49_GM04_iGM 0.225 0.235 60.0 60.0 60.0 0.44 0.433 0.588
Transformed_CSR_04/Ex4_4_Luc96b_C 0.167 0.181 2.008 9.14 60.0 0.226 0.232 0.352
Transformed_CSR_04/Ex4_4_Luc96b_FR 0.153 0.162 0.275 0.398 60.0 0.179 0.179 0.185
Transformed_CSR_04/Ex4_4_Luc96b_GM 0.144 0.152 0.235 0.334 60.0 0.158 0.148 0.184
Transformed_CSR_04/Ex4_4_Luc96b_L 0.145 0.152 0.146 0.14 0.149 0.129 0.14 0.153
Transformed_CSR_04/Ex4_4_Luc96b_Z 0.149 0.145 0.208 0.251 60.0 0.151 0.159 0.173
Transformed_CSR_04/Ex4_4_Luc96b_iGM 0.156 0.171 0.837 1.208 60.0 0.182 0.189 0.239
Transformed_CSR_04/Ex4_7_15_Bor03_C 0.204 0.188 36.651 27.887 60.0 0.343 60.0 0.885
Transformed_CSR_04/Ex4_7_15_Bor03_FR 0.154 0.166 0.637 0.589 60.0 0.187 0.215 0.267
Transformed_CSR_04/Ex4_7_15_Bor03_GM 0.154 0.16 0.712 0.72 60.0 0.186 0.226 0.255
Transformed_CSR_04/Ex4_7_15_Bor03_L 0.152 0.144 0.157 0.166 0.675 0.145 0.148 0.155
Transformed_CSR_04/Ex4_7_15_Bor03_Z 0.148 0.158 0.264 0.27 60.0 0.157 0.153 0.173
Transformed_CSR_04/Ex4_7_15_Bor03_iGM 0.189 0.185 17.856 6.46 60.0 0.291 0.893 0.705
Transformed_CSR_04/Ex4_7_37_Bor03_C 0.275 0.288 60.0 60.0 60.0 0.85 0.87 1.295
Transformed_CSR_04/Ex4_7_37_Bor03_FR 0.182 0.184 6.092 60.0 60.0 0.232 0.217 0.275
Transformed_CSR_04/Ex4_7_37_Bor03_GM 0.204 0.194 18.445 60.0 60.0 0.376 0.365 0.606
Transformed_CSR_04/Ex4_7_37_Bor03_Z 0.185 0.184 2.586 60.0 60.0 0.199 0.196 0.247
Transformed_CSR_04/Ex4_7_37_Bor03_iGM 0.24 0.257 60.0 60.0 60.0 0.71 0.695 1.037
Transformed_CSR_04/Ex4_7_56_Bor03_C 0.199 0.208 39.117 60.0 60.0 0.364 0.366 0.572
problem t e s nv g c r *
Transformed_CSR_04/Ex4_7_56_Bor03_FR 0.154 0.152 0.371 0.379 60.0 0.161 0.166 0.188
Transformed_CSR_04/Ex4_7_56_Bor03_GM 0.156 0.171 0.71 0.962 60.0 0.179 0.177 0.221
Transformed_CSR_04/Ex4_7_56_Bor03_Z 0.146 0.157 0.239 0.258 60.0 0.15 0.146 0.183
Transformed_CSR_04/Ex4_7_56_Bor03_iGM 0.185 0.197 20.213 16.3 60.0 0.304 0.305 0.437
Transformed_CSR_04/Ex4_7_77_Bor03_C 0.171 0.183 4.148 2.992 60.0 0.24 0.425 0.506
Transformed_CSR_04/Ex4_7_77_Bor03_FR 0.138 0.14 0.191 0.196 0.492 0.145 0.143 0.162
Transformed_CSR_04/Ex4_7_77_Bor03_GM 0.145 0.165 0.318 0.333 60.0 0.167 0.185 0.221
Transformed_CSR_04/Ex4_7_77_Bor03_iGM 0.245 0.243 2.139 1.68 60.0 0.293 0.411 0.444
Transformed_CSR_04/Ex4_DLMMU04_C 0.413 0.453 60.0 60.0 60.0 1.42 1.444 1.345
Transformed_CSR_04/Ex4_DLMMU04_FR 0.207 0.213 60.0 60.0 60.0 0.474 0.462 0.736
Transformed_CSR_04/Ex4_DLMMU04_GM 0.225 0.233 60.0 60.0 60.0 0.553 0.562 0.966
Transformed_CSR_04/Ex4_DLMMU04_Z 0.208 0.209 60.0 60.0 60.0 0.405 0.426 0.622
Transformed_CSR_04/Ex4_DLMMU04_iGM 0.324 0.37 60.0 60.0 60.0 1.309 1.326 1.371
Transformed_CSR_04/Ex4_Zan97_C 0.22 0.218 60.0 60.0 60.0 0.468 0.466 0.81
Transformed_CSR_04/Ex4_Zan97_FR 0.175 0.159 0.632 0.628 60.0 0.35 0.337 0.367
Transformed_CSR_04/Ex4_Zan97_GM 0.342 0.343 2.495 3.748 60.0 0.372 0.391 0.454
Transformed_CSR_04/Ex4_Zan97_Z 0.159 0.158 0.401 0.414 60.0 0.18 0.155 0.193
Transformed_CSR_04/Ex4_Zan97_iGM 0.194 0.197 52.912 60.0 60.0 0.378 0.391 0.56
Transformed_CSR_04/Ex5_7_Luc97_C 0.299 0.34 60.0 60.0 60.0 1.187 1.211 1.32
Transformed_CSR_04/Ex5_7_Luc97_FR 0.202 0.235 49.591 43.137 60.0 0.385 0.366 0.573
Transformed_CSR_04/Ex5_7_Luc97_GM 0.218 0.223 60.0 60.0 60.0 0.435 0.44 0.705
Transformed_CSR_04/Ex5_7_Luc97_Z 0.209 0.213 46.697 37.037 60.0 0.292 0.31 0.438
Transformed_CSR_04/Ex5_7_Luc97_iGM 0.281 0.323 60.0 60.0 60.0 1.181 1.153 1.34
Transformed_CSR_04/Ex5_DLMMU04_C 0.271 0.309 60.0 60.0 60.0 1.024 1.016 1.356
Transformed_CSR_04/Ex5_DLMMU04_FR 0.241 0.244 23.74 60.0 60.0 0.359 0.351 0.481
problem t e s nv g c r *
Transformed_CSR_04/Ex5_DLMMU04_GM 0.212 0.217 36.057 44.308 60.0 0.378 0.362 0.553
Transformed_CSR_04/Ex5_DLMMU04_Z 0.182 0.184 16.164 60.0 60.0 0.21 0.231 0.277
Transformed_CSR_04/Ex5_DLMMU04_iGM 0.279 0.279 60.0 60.0 60.0 0.793 0.817 1.289
Transformed_CSR_04/Ex5_Zan97_C 0.326 0.337 11.497 8.08 60.0 0.431 60.0 0.961
Transformed_CSR_04/Ex5_Zan97_FR 0.307 0.315 0.507 0.57 60.0 0.171 0.17 0.199
Transformed_CSR_04/Ex5_Zan97_GM 0.163 0.174 0.558 0.638 60.0 0.185 60.0 0.702
Transformed_CSR_04/Ex5_Zan97_Z 0.145 0.147 0.267 0.269 60.0 0.147 0.165 0.18
Transformed_CSR_04/Ex5_Zan97_iGM 0.186 0.176 6.931 4.204 60.0 0.245 4.162 0.76
Transformed_CSR_04/Ex6_15_AEL02_C 0.378 0.435 60.0 60.0 60.0 2.303 2.26 1.436
Transformed_CSR_04/Ex6_15_AEL02_FR 0.22 0.229 60.0 60.0 60.0 0.487 0.462 0.762
Transformed_CSR_04/Ex6_15_AEL02_GM 0.256 0.25 60.0 60.0 60.0 0.818 0.833 1.279
Transformed_CSR_04/Ex6_15_AEL02_Z 0.224 0.228 60.0 60.0 60.0 0.36 0.368 0.576
Transformed_CSR_04/Ex6_15_AEL02_iGM 0.356 0.402 60.0 60.0 60.0 2.006 1.987 1.427
Transformed_CSR_04/Ex6_9_Luc02c_C 0.211 0.212 59.792 60.0 60.0 0.454 0.424 0.748
Transformed_CSR_04/Ex6_9_Luc02c_FR 0.154 0.153 0.365 0.388 60.0 0.163 0.177 0.174
Transformed_CSR_04/Ex6_9_Luc02c_GM 0.167 0.17 0.839 1.692 60.0 0.212 0.216 0.237
Transformed_CSR_04/Ex6_9_Luc02c_Z 0.151 0.151 0.239 0.268 60.0 0.159 0.168 0.152
Transformed_CSR_04/Ex6_9_Luc02c_iGM 0.193 0.192 31.91 24.258 60.0 0.336 0.337 0.468
Transformed_CSR_04/Ex6_GM04_C 0.191 0.157 0.96 0.875 60.0 0.187 0.225 0.281
Transformed_CSR_04/Ex6_GM04_FR 0.144 0.153 0.306 0.293 4.839 0.273 0.284 0.319
Transformed_CSR_04/Ex6_GM04_GM 0.267 0.271 0.364 0.367 1.903 0.279 0.283 0.289
Transformed_CSR_04/Ex6_GM04_L 0.131 0.141 0.143 0.145 0.146 0.143 0.156 0.133
Transformed_CSR_04/Ex6_GM04_iGM 0.156 0.153 0.793 0.735 60.0 0.171 0.186 0.233
Transformed_CSR_04/Ex6_Luc98_C 0.221 0.212 43.319 60.0 60.0 0.376 0.393 0.637
Transformed_CSR_04/Ex6_Luc98_FR 0.158 0.159 0.553 0.501 60.0 0.194 0.182 0.208
problem t e s nv g c r *
Transformed_CSR_04/Ex6_Luc98_GM 0.159 0.169 0.768 0.696 60.0 0.204 0.193 0.228
Transformed_CSR_04/Ex6_Luc98_L 0.139 0.141 0.138 0.144 0.137 0.138 0.143 0.142
Transformed_CSR_04/Ex6_Luc98_Z 0.147 0.157 0.322 0.286 60.0 0.154 0.169 0.178
Transformed_CSR_04/Ex6_Luc98_iGM 0.18 0.183 26.327 48.46 60.0 0.314 0.335 0.439
Transformed_CSR_04/Ex7_BLR02_C 0.241 0.259 60.0 60.0 60.0 0.678 0.706 1.207
Transformed_CSR_04/Ex7_BLR02_FR 0.215 0.223 1.913 2.68 60.0 0.251 0.257 0.293
Transformed_CSR_04/Ex7_BLR02_GM 0.243 0.255 11.118 21.656 60.0 0.309 0.282 0.434
Transformed_CSR_04/Ex7_BLR02_Z 0.174 0.16 1.184 1.02 60.0 0.183 0.18 0.21
Transformed_CSR_04/Ex7_BLR02_iGM 0.218 0.245 60.0 60.0 60.0 0.586 0.553 0.851
Transformed_CSR_04/Ex8_BLR02_C 0.238 0.247 60.0 60.0 60.0 0.649 0.664 1.09
Transformed_CSR_04/Ex8_BLR02_FR 0.183 0.183 0.981 1.359 60.0 0.187 0.195 0.23
Transformed_CSR_04/Ex8_BLR02_GM 0.186 0.181 7.501 18.723 60.0 0.273 0.266 0.391
Transformed_CSR_04/Ex8_BLR02_Z 0.161 0.163 0.616 0.759 60.0 0.17 0.185 0.226
Transformed_CSR_04/Ex8_BLR02_iGM 0.228 0.241 60.0 60.0 60.0 0.515 0.507 0.72
Transformed_CSR_04/Ex9_BLR02_C 0.249 0.257 60.0 60.0 60.0 0.634 0.634 0.973
Transformed_CSR_04/Ex9_BLR02_FR 0.172 0.175 5.044 4.98 60.0 0.236 0.223 0.305
Transformed_CSR_04/Ex9_BLR02_GM 0.176 0.194 7.323 6.483 60.0 0.229 0.235 0.326
Transformed_CSR_04/Ex9_BLR02_L 0.148 0.155 0.217 0.241 60.0 0.148 0.176 0.149
Transformed_CSR_04/Ex9_BLR02_Z 0.17 0.179 2.57 60.0 60.0 0.199 0.187 0.248
Transformed_CSR_04/Ex9_BLR02_iGM 0.215 0.248 60.0 60.0 60.0 0.508 0.517 0.698
Transformed_CSR_04/Ex9_Luc04_C 0.171 0.181 4.048 60.0 60.0 0.25 0.229 0.309
Transformed_CSR_04/Ex9_Luc04_FR 0.142 0.145 0.217 0.29 60.0 0.258 0.26 0.267
Transformed_CSR_04/Ex9_Luc04_GM 0.267 0.269 0.462 3.794 60.0 0.282 0.283 0.314
Transformed_CSR_04/Ex9_Luc04_L 0.148 0.145 0.182 0.15 0.266 0.135 0.136 0.157
Transformed_CSR_04/Ex9_Luc04_iGM 0.176 0.178 2.585 60.0 60.0 0.232 0.207 0.257
problem t e s nv g c r *
Transformed_CSR_04/Ex9_Luc06_C 0.179 0.173 1.28 60.0 60.0 0.248 0.294 0.414
Transformed_CSR_04/Ex9_Luc06_FR 0.14 0.151 0.298 0.506 60.0 0.194 0.18 0.282
Transformed_CSR_04/Ex9_Luc06_GM 0.147 0.155 0.293 1.544 60.0 0.204 0.211 0.294
Transformed_CSR_04/Ex9_Luc06_iGM 0.169 0.163 1.426 30.127 60.0 0.273 0.351 0.395
Transformed_CSR_04/ExAppendixB_AEL03_C 0.352 0.441 60.0 60.0 60.0 2.082 2.021 1.405
Transformed_CSR_04/ExAppendixB_AEL03_FR 0.187 0.175 10.417 60.0 60.0 0.292 0.262 0.356
Transformed_CSR_04/ExAppendixB_AEL03_GM 0.238 0.259 60.0 60.0 60.0 0.798 0.816 1.255
Transformed_CSR_04/ExAppendixB_AEL03_Z 0.173 0.18 7.012 60.0 60.0 0.258 0.238 0.345
Transformed_CSR_04/ExAppendixB_AEL03_iGM 0.319 0.358 60.0 60.0 60.0 1.577 1.555 1.396
Transformed_CSR_04/ExConc_Zan97_C 0.18 0.171 2.923 2.724 60.0 0.236 0.428 0.556
Transformed_CSR_04/ExConc_Zan97_FR 0.143 0.148 0.226 0.237 5.012 0.158 0.171 0.185
Transformed_CSR_04/ExConc_Zan97_GM 0.145 0.145 0.198 0.201 6.342 0.159 0.151 0.193
Transformed_CSR_04/ExConc_Zan97_L 0.137 0.132 0.138 0.136 0.132 0.137 0.139 0.135
Transformed_CSR_04/ExConc_Zan97_Z 0.144 0.145 0.18 0.186 0.257 0.157 0.141 0.151
Transformed_CSR_04/ExConc_Zan97_iGM 0.157 0.16 1.172 0.953 60.0 0.213 0.275 0.32
Transformed_CSR_04/ExIntrod_GM01_C 0.219 0.243 60.0 60.0 60.0 0.53 60.0 1.08
Transformed_CSR_04/ExIntrod_GM01_FR 0.168 0.174 2.304 1.746 60.0 0.196 0.252 0.298
Transformed_CSR_04/ExIntrod_GM01_GM 0.176 0.179 17.083 16.849 60.0 0.277 0.362 0.489
Transformed_CSR_04/ExIntrod_GM01_Z 0.185 0.165 1.868 1.358 60.0 0.168 0.246 0.31
Transformed_CSR_04/ExIntrod_GM01_iGM 0.214 0.211 60.0 60.0 60.0 0.474 3.759 1.031
Transformed_CSR_04/ExIntrod_GM04_C 0.201 0.209 60.0 56.675 60.0 0.604 60.0 1.159
Transformed_CSR_04/ExIntrod_GM04_FR 0.303 0.311 4.748 2.695 60.0 0.362 0.423 0.493
Transformed_CSR_04/ExIntrod_GM04_GM 0.181 0.197 9.347 5.424 60.0 0.219 0.329 0.405
Transformed_CSR_04/ExIntrod_GM04_Z 0.163 0.168 4.727 2.149 60.0 0.185 0.281 0.35
Transformed_CSR_04/ExIntrod_GM04_iGM 0.203 0.206 60.0 60.0 60.0 0.412 3.307 0.948
problem t e s nv g c r *
Transformed_CSR_04/ExIntrod_GM99_C 0.294 0.308 60.0 60.0 60.0 1.109 1.17 1.311
Transformed_CSR_04/ExIntrod_GM99_FR 0.193 0.185 14.924 60.0 60.0 0.27 0.274 0.362
Transformed_CSR_04/ExIntrod_GM99_GM 0.206 0.205 40.469 60.0 60.0 0.41 0.42 0.627
Transformed_CSR_04/ExIntrod_GM99_Z 0.174 0.192 5.91 60.0 60.0 0.239 0.229 0.257
Transformed_CSR_04/ExIntrod_GM99_iGM 0.264 0.288 60.0 60.0 60.0 0.928 0.921 1.287
Transformed_CSR_04/ExIntrod_Zan97_C 0.26 0.265 60.0 60.0 60.0 0.784 0.766 1.272
Transformed_CSR_04/ExIntrod_Zan97_FR 0.179 0.17 11.666 52.086 60.0 0.229 0.238 0.297
Transformed_CSR_04/ExIntrod_Zan97_GM 0.198 0.2 23.249 60.0 60.0 0.344 0.371 0.542
Transformed_CSR_04/ExIntrod_Zan97_Z 0.165 0.196 2.79 13.687 60.0 0.211 0.196 0.233
Transformed_CSR_04/ExIntrod_Zan97_iGM 0.243 0.255 60.0 60.0 60.0 0.659 0.641 0.947
Transformed_CSR_04/ExProp7_Luc06_C 0.182 0.198 35.434 31.143 60.0 0.338 60.0 0.877
Transformed_CSR_04/ExProp7_Luc06_FR 0.165 0.171 0.645 0.604 60.0 0.167 0.209 0.256
Transformed_CSR_04/ExProp7_Luc06_GM 0.157 0.159 0.73 1.059 60.0 0.184 0.227 0.297
Transformed_CSR_04/ExProp7_Luc06_L 0.142 0.145 0.172 0.186 1.265 0.144 0.149 0.158
Transformed_CSR_04/ExProp7_Luc06_Z 0.167 0.144 0.238 0.254 60.0 0.146 0.162 0.181
Transformed_CSR_04/ExProp7_Luc06_iGM 0.175 0.189 16.9 11.728 60.0 0.272 0.954 0.673
Transformed_CSR_04/ExSec11_1_Luc02a_C 0.283 0.31 60.0 60.0 60.0 1.265 1.277 1.483
Transformed_CSR_04/ExSec11_1_Luc02a_FR 0.355 0.357 12.55 29.215 60.0 0.405 0.404 0.476
Transformed_CSR_04/ExSec11_1_Luc02a_GM 0.212 0.207 39.004 60.0 60.0 0.391 0.413 0.644
Transformed_CSR_04/ExSec11_1_Luc02a_L 0.163 0.167 1.211 2.741 60.0 0.183 0.186 0.212
Transformed_CSR_04/ExSec11_1_Luc02a_Z 0.166 0.167 7.237 15.294 60.0 0.19 0.192 0.244
Transformed_CSR_04/ExSec11_1_Luc02a_iGM 0.25 0.28 60.0 60.0 60.0 0.935 0.912 1.294
Transformed_CSR_04/ExSec4_2_DLMMU04_C 0.335 0.403 60.0 60.0 60.0 1.944 1.961 1.394
Transformed_CSR_04/ExSec4_2_DLMMU04_FR 0.185 0.174 4.667 60.0 60.0 0.209 0.215 0.254
Transformed_CSR_04/ExSec4_2_DLMMU04_GM 0.219 0.257 60.0 60.0 60.0 0.914 0.896 1.255
problem t e s nv g c r *
Transformed_CSR_04/ExSec4_2_DLMMU04_Z 0.163 0.175 2.793 60.0 60.0 0.229 0.195 0.242
Transformed_CSR_04/ExSec4_2_DLMMU04_iGM 0.316 0.384 60.0 60.0 60.0 1.49 1.515 1.386
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR 0.782 1.369 60.0 60.0 60.0 32.498 31.902 2.034
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z 0.711 1.247 60.0 60.0 60.0 25.506 25.468 1.879
Transformed_CSR_04/LISTUTILITIES_complete_C 2.408 3.746 60.0 60.0 60.0 58.322 58.637 3.942
Transformed_CSR_04/LISTUTILITIES_complete_FR 0.516 0.724 60.0 60.0 60.0 12.633 12.556 1.641
Transformed_CSR_04/LISTUTILITIES_complete_GM 0.865 1.143 60.0 60.0 60.0 29.984 30.296 2.092
Transformed_CSR_04/LISTUTILITIES_complete_Z 0.517 0.638 60.0 60.0 60.0 9.776 9.784 1.568
Transformed_CSR_04/LISTUTILITIES_complete_iGM 2.457 4.056 60.0 60.0 60.0 49.456 49.241 4.08
Transformed_CSR_04/LISTUTILITIES_complete_noand_C 27.021 34.609 60.0 60.0 60.0 60.0 60.0 28.682
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM 3.957 5.124 60.0 60.0 60.0 60.0 60.0 5.486
Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM 20.081 26.418 60.0 60.0 60.0 60.0 60.0 21.192
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR 0.38 0.467 60.0 60.0 60.0 5.926 5.893 1.612
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z 0.524 0.622 60.0 60.0 60.0 4.419 4.432 1.597
Transformed_CSR_04/LISTUTILITIES_nokinds_C 0.685 0.95 60.0 60.0 60.0 8.936 8.904 1.901
Transformed_CSR_04/LISTUTILITIES_nokinds_FR 0.363 0.423 60.0 60.0 60.0 3.404 3.38 1.378
Transformed_CSR_04/LISTUTILITIES_nokinds_GM 0.391 0.432 60.0 60.0 60.0 4.776 4.758 1.462
Transformed_CSR_04/LISTUTILITIES_nokinds_Z 0.298 0.343 60.0 60.0 60.0 2.359 2.361 1.345
Transformed_CSR_04/LISTUTILITIES_nokinds_iGM 0.671 1.003 60.0 60.0 60.0 7.744 7.748 1.938
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C 1.683 2.537 60.0 60.0 60.0 40.492 40.491 3.168
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM 0.629 0.775 60.0 60.0 60.0 17.491 17.453 1.844
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM 1.743 2.576 60.0 60.0 60.0 32.199 31.852 3.182
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR 0.238 0.232 60.0 60.0 60.0 0.544 0.551 0.948
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z 0.221 0.23 60.0 60.0 60.0 0.498 0.475 0.78
Transformed_CSR_04/LISTUTILITIES_nosorts_C 0.388 0.449 60.0 60.0 60.0 2.546 2.514 1.437
problem t e s nv g c r *
Transformed_CSR_04/LISTUTILITIES_nosorts_FR 0.183 0.181 9.243 13.946 60.0 0.236 0.24 0.308
Transformed_CSR_04/LISTUTILITIES_nosorts_GM 0.241 0.259 60.0 60.0 60.0 1.15 1.147 1.277
Transformed_CSR_04/LISTUTILITIES_nosorts_Z 0.176 0.171 5.382 8.34 60.0 0.227 0.228 0.288
Transformed_CSR_04/LISTUTILITIES_nosorts_iGM 0.354 0.408 60.0 60.0 60.0 1.956 1.993 1.429
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C 0.761 1.082 60.0 60.0 60.0 11.632 11.725 2.08
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM 0.404 0.419 60.0 60.0 60.0 4.655 4.667 1.449
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM 0.781 1.122 60.0 60.0 60.0 8.537 8.694 2.04
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR 0.27 0.329 60.0 60.0 60.0 1.595 1.631 1.316
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z 0.267 0.302 60.0 60.0 60.0 1.615 1.648 1.46
Transformed_CSR_04/LengthOfFiniteLists_complete_C 0.611 0.721 60.0 60.0 60.0 4.538 4.555 1.718
Transformed_CSR_04/LengthOfFiniteLists_complete_FR 0.243 0.265 60.0 60.0 60.0 1.23 1.218 1.269
Transformed_CSR_04/LengthOfFiniteLists_complete_GM 0.281 0.302 60.0 60.0 60.0 1.591 1.563 1.309
Transformed_CSR_04/LengthOfFiniteLists_complete_Z 0.255 0.263 60.0 60.0 60.0 1.084 1.089 1.276
Transformed_CSR_04/LengthOfFiniteLists_complete_iGM 0.458 0.616 60.0 60.0 60.0 3.931 3.936 1.587
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C 0.868 1.205 60.0 60.0 60.0 15.548 15.414 2.204
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM 0.395 0.486 60.0 60.0 60.0 4.772 4.772 1.453
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM 0.896 1.388 60.0 60.0 60.0 12.654 12.552 2.375
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR 0.19 0.198 60.0 60.0 60.0 0.45 0.419 0.669
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z 0.192 0.215 60.0 60.0 60.0 0.409 0.408 0.617
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C 0.252 0.256 60.0 60.0 60.0 0.722 0.708 1.255
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR 0.186 0.2 60.0 60.0 60.0 0.402 0.429 0.665
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM 0.198 0.193 41.536 60.0 60.0 0.331 0.319 0.492
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z 0.189 0.203 56.736 60.0 60.0 0.387 0.409 0.602
Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM 0.237 0.256 60.0 60.0 60.0 0.713 0.692 0.975
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C 0.34 0.388 60.0 60.0 60.0 1.896 1.933 1.371
problem t e s nv g c r *
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM 0.225 0.248 60.0 60.0 60.0 0.599 0.583 0.966
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM 0.319 0.376 60.0 60.0 60.0 1.756 1.735 1.389
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR 0.154 0.167 0.474 0.423 60.0 0.166 0.168 0.208
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C 0.19 0.207 45.294 31.556 60.0 0.366 1.065 0.893
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR 0.154 0.145 0.286 0.285 60.0 0.157 0.173 0.208
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM 0.173 0.16 1.503 1.525 60.0 0.192 0.304 0.701
Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM 0.19 0.197 40.046 22.701 60.0 0.327 2.799 0.853
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C 0.214 0.21 60.0 59.265 60.0 0.475 1.407 0.985
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM 0.2 0.184 4.718 1.967 60.0 0.208 0.955 0.732
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM 0.214 0.21 60.0 60.0 60.0 0.418 6.289 0.944
Transformed_CSR_04/MYNAT_complete-noand_FR 0.282 0.344 60.0 60.0 60.0 1.677 1.692 1.313
Transformed_CSR_04/MYNAT_complete-noand_Z 0.285 0.355 60.0 60.0 60.0 1.542 1.601 1.328
Transformed_CSR_04/MYNAT_complete_C 0.444 0.55 60.0 60.0 60.0 3.849 3.784 1.523
Transformed_CSR_04/MYNAT_complete_FR 0.247 0.264 60.0 60.0 60.0 1.103 1.071 1.264
Transformed_CSR_04/MYNAT_complete_GM 0.283 0.323 60.0 60.0 60.0 1.697 1.704 1.313
Transformed_CSR_04/MYNAT_complete_Z 0.255 0.272 60.0 60.0 60.0 0.966 0.916 1.258
Transformed_CSR_04/MYNAT_complete_iGM 0.451 0.598 60.0 60.0 60.0 3.427 3.427 1.742
Transformed_CSR_04/MYNAT_complete_noand_C 1.227 1.689 60.0 60.0 60.0 18.414 18.372 2.602
Transformed_CSR_04/MYNAT_complete_noand_GM 0.431 0.513 60.0 60.0 60.0 6.16 6.106 1.515
Transformed_CSR_04/MYNAT_complete_noand_iGM 1.028 1.614 60.0 60.0 60.0 13.887 14.153 2.556
Transformed_CSR_04/MYNAT_nokinds-noand_FR 0.208 0.217 55.457 60.0 60.0 0.465 0.463 0.787
Transformed_CSR_04/MYNAT_nokinds-noand_Z 0.19 0.205 55.009 60.0 60.0 0.44 0.437 0.693
Transformed_CSR_04/MYNAT_nokinds_C 0.284 0.312 60.0 60.0 60.0 1.296 1.285 1.507
Transformed_CSR_04/MYNAT_nokinds_FR 0.383 0.376 30.683 60.0 60.0 0.578 0.587 0.821
Transformed_CSR_04/MYNAT_nokinds_GM 0.221 0.218 57.823 60.0 60.0 0.502 0.496 0.845
problem t e s nv g c r *
Transformed_CSR_04/MYNAT_nokinds_Z 0.2 0.203 29.878 60.0 60.0 0.363 0.355 0.573
Transformed_CSR_04/MYNAT_nokinds_iGM 0.289 0.333 60.0 60.0 60.0 0.994 0.99 1.329
Transformed_CSR_04/MYNAT_nokinds_noand_C 0.38 0.44 60.0 60.0 60.0 2.488 2.56 1.451
Transformed_CSR_04/MYNAT_nokinds_noand_GM 0.238 0.262 60.0 60.0 60.0 0.89 0.892 1.281
Transformed_CSR_04/MYNAT_nokinds_noand_iGM 0.38 0.448 60.0 60.0 60.0 2.084 2.122 1.44
Transformed_CSR_04/MYNAT_nosorts-noand_FR 0.162 0.167 1.018 8.157 60.0 0.18 0.193 0.23
Transformed_CSR_04/MYNAT_nosorts_C 0.204 0.226 60.0 60.0 60.0 0.424 0.415 0.691
Transformed_CSR_04/MYNAT_nosorts_FR 0.177 0.145 0.284 0.389 60.0 0.149 0.154 0.172
Transformed_CSR_04/MYNAT_nosorts_GM 0.176 0.177 1.74 8.465 60.0 0.24 0.229 0.299
Transformed_CSR_04/MYNAT_nosorts_iGM 0.204 0.201 43.418 55.078 60.0 0.338 0.34 0.499
Transformed_CSR_04/MYNAT_nosorts_noand_C 0.265 0.283 60.0 60.0 60.0 0.825 0.842 1.306
Transformed_CSR_04/MYNAT_nosorts_noand_GM 0.191 0.195 21.393 60.0 60.0 0.35 0.326 0.541
Transformed_CSR_04/MYNAT_nosorts_noand_iGM 0.283 0.298 60.0 60.0 60.0 0.729 0.726 1.049
Transformed_CSR_04/OvConsOS_complete-noand_FR 0.36 0.481 60.0 60.0 60.0 3.603 3.671 1.429
Transformed_CSR_04/OvConsOS_complete-noand_Z 0.357 0.462 60.0 60.0 60.0 3.279 3.359 1.407
Transformed_CSR_04/OvConsOS_complete_C 0.618 0.863 60.0 60.0 60.0 8.628 8.614 1.988
Transformed_CSR_04/OvConsOS_complete_FR 0.478 0.51 60.0 60.0 60.0 2.644 2.627 1.532
Transformed_CSR_04/OvConsOS_complete_GM 0.341 0.401 60.0 60.0 60.0 3.248 3.258 1.401
Transformed_CSR_04/OvConsOS_complete_Z 0.291 0.328 60.0 60.0 60.0 2.02 2.039 1.317
Transformed_CSR_04/OvConsOS_complete_iGM 0.68 0.97 60.0 60.0 60.0 7.479 7.514 1.913
Transformed_CSR_04/OvConsOS_complete_noand_C 1.851 2.808 60.0 60.0 60.0 45.458 44.827 3.424
Transformed_CSR_04/OvConsOS_complete_noand_GM 0.584 0.757 60.0 60.0 60.0 13.896 13.871 1.754
Transformed_CSR_04/OvConsOS_complete_noand_iGM 1.924 2.998 60.0 60.0 60.0 33.242 33.698 3.344
Transformed_CSR_04/OvConsOS_nokinds-noand_FR 0.231 0.264 60.0 60.0 60.0 0.82 0.826 1.259
Transformed_CSR_04/OvConsOS_nokinds-noand_Z 0.243 0.238 60.0 60.0 60.0 0.822 0.839 1.332
problem t e s nv g c r *
Transformed_CSR_04/OvConsOS_nokinds_C 0.426 0.452 60.0 60.0 60.0 1.573 1.545 1.48
Transformed_CSR_04/OvConsOS_nokinds_FR 0.228 0.232 60.0 60.0 60.0 0.772 0.764 1.264
Transformed_CSR_04/OvConsOS_nokinds_GM 0.217 0.237 60.0 60.0 60.0 0.573 0.552 0.958
Transformed_CSR_04/OvConsOS_nokinds_Z 0.226 0.24 60.0 60.0 60.0 0.647 0.668 1.123
Transformed_CSR_04/OvConsOS_nokinds_iGM 0.312 0.357 60.0 60.0 60.0 1.331 1.322 1.374
Transformed_CSR_04/OvConsOS_nokinds_noand_C 0.475 0.585 60.0 60.0 60.0 4.835 4.862 1.581
Transformed_CSR_04/OvConsOS_nokinds_noand_GM 0.291 0.324 60.0 60.0 60.0 1.46 1.456 1.328
Transformed_CSR_04/OvConsOS_nokinds_noand_iGM 0.521 0.671 60.0 60.0 60.0 4.275 4.169 1.641
Transformed_CSR_04/OvConsOS_nosorts-noand_FR 0.18 0.181 5.505 5.408 60.0 0.225 0.516 0.575
Transformed_CSR_04/OvConsOS_nosorts-noand_Z 0.171 0.187 4.753 4.67 60.0 0.2 0.37 0.452
Transformed_CSR_04/OvConsOS_nosorts_C 0.222 0.228 60.0 60.0 60.0 0.516 8.78 1.038
Transformed_CSR_04/OvConsOS_nosorts_FR 0.152 0.165 0.735 0.633 60.0 0.181 0.253 0.317
Transformed_CSR_04/OvConsOS_nosorts_GM 0.188 0.181 6.21 3.931 60.0 0.219 0.689 0.731
Transformed_CSR_04/OvConsOS_nosorts_Z 0.166 0.173 0.699 0.557 60.0 0.172 0.167 0.226
Transformed_CSR_04/OvConsOS_nosorts_iGM 0.204 0.213 60.0 60.0 60.0 0.428 4.472 0.959
Transformed_CSR_04/OvConsOS_nosorts_noand_C 0.306 0.342 60.0 60.0 60.0 1.21 6.486 1.338
Transformed_CSR_04/OvConsOS_nosorts_noand_GM 0.212 0.218 46.452 20.499 60.0 0.389 60.0 0.926
Transformed_CSR_04/OvConsOS_nosorts_noand_iGM 0.315 0.359 60.0 60.0 60.0 1.081 60.0 1.351
Transformed_CSR_04/PALINDROME_complete-noand_FR 0.319 0.36 60.0 60.0 60.0 14.564 14.55 1.351
Transformed_CSR_04/PALINDROME_complete-noand_L 0.21 0.225 60.0 60.0 60.0 0.332 0.366 0.5
Transformed_CSR_04/PALINDROME_complete-noand_Z 0.304 0.357 60.0 60.0 60.0 14.417 14.368 1.401
Transformed_CSR_04/PALINDROME_complete_C 0.602 0.747 60.0 60.0 60.0 31.075 31.094 1.693
Transformed_CSR_04/PALINDROME_complete_FR 0.262 0.297 60.0 60.0 60.0 25.785 26.94 1.298
Transformed_CSR_04/PALINDROME_complete_GM 0.337 0.365 60.0 60.0 60.0 9.799 9.82 1.364
Transformed_CSR_04/PALINDROME_complete_Z 0.257 0.295 60.0 60.0 60.0 60.0 60.0 1.298
problem t e s nv g c r *
Transformed_CSR_04/PALINDROME_complete_iGM 0.591 0.769 60.0 60.0 60.0 14.581 14.762 1.746
Transformed_CSR_04/PALINDROME_complete_noand_C 1.14 1.689 60.0 60.0 60.0 39.201 39.197 2.603
Transformed_CSR_04/PALINDROME_complete_noand_GM 0.473 0.614 60.0 60.0 60.0 18.298 18.195 1.603
Transformed_CSR_04/PALINDROME_complete_noand_iGM 1.271 1.942 60.0 60.0 60.0 47.105 47.2 2.787
Transformed_CSR_04/PALINDROME_nokinds-noand_FR 0.21 0.219 60.0 60.0 60.0 0.852 0.944 1.225
Transformed_CSR_04/PALINDROME_nokinds-noand_L 0.179 0.192 25.14 23.766 60.0 0.205 0.228 0.26
Transformed_CSR_04/PALINDROME_nokinds-noand_Z 0.559 0.574 60.0 60.0 60.0 0.903 1.056 1.338
Transformed_CSR_04/PALINDROME_nokinds_C 0.357 0.373 60.0 60.0 60.0 0.863 2.795 1.281
Transformed_CSR_04/PALINDROME_nokinds_FR 0.21 0.22 60.0 60.0 60.0 1.002 1.29 1.227
Transformed_CSR_04/PALINDROME_nokinds_GM 0.199 0.217 60.0 60.0 60.0 0.542 0.92 1.105
Transformed_CSR_04/PALINDROME_nokinds_Z 0.214 0.2 60.0 60.0 60.0 0.953 1.307 1.233
Transformed_CSR_04/PALINDROME_nokinds_iGM 0.246 0.265 60.0 60.0 60.0 1.054 60.0 1.275
Transformed_CSR_04/PALINDROME_nokinds_noand_C 0.389 0.439 60.0 60.0 60.0 4.026 60.0 1.442
Transformed_CSR_04/PALINDROME_nokinds_noand_GM 0.262 0.282 60.0 60.0 60.0 1.464 4.441 1.317
Transformed_CSR_04/PALINDROME_nokinds_noand_iGM 0.39 0.462 60.0 60.0 60.0 4.161 60.0 1.467
Transformed_CSR_04/PALINDROME_nosorts-noand_FR 0.149 0.146 0.326 0.514 60.0 0.156 0.17 0.215
Transformed_CSR_04/PALINDROME_nosorts-noand_L 0.146 0.148 0.287 0.437 60.0 0.16 0.171 0.199
Transformed_CSR_04/PALINDROME_nosorts_C 0.211 0.199 27.023 22.456 60.0 0.435 0.831 0.958
Transformed_CSR_04/PALINDROME_nosorts_FR 0.144 0.173 0.234 0.292 60.0 0.158 0.182 0.183
Transformed_CSR_04/PALINDROME_nosorts_GM 0.176 0.163 1.224 3.075 60.0 0.313 0.365 0.575
Transformed_CSR_04/PALINDROME_nosorts_iGM 0.191 0.197 17.317 60.0 60.0 0.376 60.0 0.926
Transformed_CSR_04/PALINDROME_nosorts_noand_C 0.195 0.209 59.249 60.0 60.0 0.515 1.809 1.067
Transformed_CSR_04/PALINDROME_nosorts_noand_GM 0.163 0.166 3.919 27.807 60.0 0.337 0.436 0.636
Transformed_CSR_04/PALINDROME_nosorts_noand_iGM 0.186 0.199 31.298 60.0 60.0 0.445 42.386 0.977
Transformed_CSR_04/PEANO_complete-noand_FR 0.218 0.233 60.0 60.0 60.0 0.698 0.682 1.148
problem t e s nv g c r *
Transformed_CSR_04/PEANO_complete-noand_Z 0.215 0.243 60.0 60.0 60.0 0.621 0.642 1.074
Transformed_CSR_04/PEANO_complete_C 0.321 0.366 60.0 60.0 60.0 1.614 1.644 1.382
Transformed_CSR_04/PEANO_complete_FR 0.218 0.222 60.0 60.0 60.0 0.58 0.582 0.978
Transformed_CSR_04/PEANO_complete_GM 0.225 0.234 60.0 60.0 60.0 0.725 0.741 1.241
Transformed_CSR_04/PEANO_complete_Z 0.209 0.204 49.535 60.0 60.0 0.493 0.504 0.827
Transformed_CSR_04/PEANO_complete_iGM 0.322 0.375 60.0 60.0 60.0 1.402 1.406 1.372
Transformed_CSR_04/PEANO_complete_noand_C 0.529 0.642 60.0 60.0 60.0 5.344 5.349 1.635
Transformed_CSR_04/PEANO_complete_noand_GM 0.288 0.33 60.0 60.0 60.0 1.69 1.685 1.331
Transformed_CSR_04/PEANO_complete_noand_iGM 0.564 0.706 60.0 60.0 60.0 4.354 4.338 1.693
Transformed_CSR_04/PEANO_nokinds-noand_FR 0.171 0.175 10.699 60.0 60.0 0.284 0.274 0.41
Transformed_CSR_04/PEANO_nokinds-noand_Z 0.187 0.179 10.156 60.0 60.0 0.258 0.264 0.361
Transformed_CSR_04/PEANO_nokinds_C 0.232 0.254 60.0 60.0 60.0 0.587 0.616 1.038
Transformed_CSR_04/PEANO_nokinds_FR 0.185 0.173 7.401 36.768 60.0 0.331 0.25 0.386
Transformed_CSR_04/PEANO_nokinds_GM 0.194 0.196 11.574 60.0 60.0 0.287 0.289 0.429
Transformed_CSR_04/PEANO_nokinds_Z 0.359 0.361 6.763 34.105 60.0 0.453 0.448 0.565
Transformed_CSR_04/PEANO_nokinds_iGM 0.439 0.453 60.0 60.0 60.0 0.527 0.566 0.794
Transformed_CSR_04/PEANO_nokinds_noand_C 0.293 0.302 60.0 60.0 60.0 0.996 1.018 1.292
Transformed_CSR_04/PEANO_nokinds_noand_GM 0.194 0.209 40.223 60.0 60.0 0.361 0.368 0.605
Transformed_CSR_04/PEANO_nokinds_noand_iGM 0.271 0.284 60.0 60.0 60.0 0.882 0.843 1.297
Transformed_CSR_04/PEANO_nosorts-noand_FR 0.166 0.172 0.285 0.342 60.0 0.151 0.182 0.2
Transformed_CSR_04/PEANO_nosorts_C 0.2 0.197 22.254 18.116 60.0 0.342 60.0 0.876
Transformed_CSR_04/PEANO_nosorts_FR 0.156 0.158 0.2 0.214 60.0 0.146 0.147 0.163
Transformed_CSR_04/PEANO_nosorts_GM 0.179 0.17 0.582 1.076 60.0 0.177 0.242 0.296
Transformed_CSR_04/PEANO_nosorts_iGM 0.189 0.199 10.991 10.151 60.0 0.281 60.0 0.813
Transformed_CSR_04/PEANO_nosorts_noand_C 0.21 0.225 57.675 49.795 60.0 0.439 60.0 0.946
problem t e s nv g c r *
Transformed_CSR_04/PEANO_nosorts_noand_GM 0.17 0.17 1.766 1.455 60.0 0.206 0.291 0.379
Transformed_CSR_04/PEANO_nosorts_noand_iGM 0.206 0.227 59.654 41.764 60.0 0.369 60.0 0.92
Various_04/02 0.145 0.156 0.161 0.174 60.0 0.468 0.474 0.478
Various_04/03 0.474 0.48 0.598 5.364 60.0 0.487 0.49 0.491
Various_04/04 0.181 0.204 60.0 60.0 60.0 0.218 0.202 0.238
Various_04/05 0.159 0.161 60.0 60.0 60.0 0.181 0.193 0.242
Various_04/06 0.157 0.148 0.297 0.298 0.348 0.157 0.168 0.175
Various_04/07 0.144 0.15 0.146 0.154 0.164 0.142 0.155 0.145
Various_04/08 0.201 0.203 60.0 60.0 60.0 0.229 0.227 0.261
Various_04/09 0.154 0.167 0.479 1.018 60.0 0.163 0.164 0.188
Various_04/10 0.178 0.202 9.553 60.0 60.0 0.244 0.246 0.31
Various_04/11 0.148 0.14 0.18 0.236 60.0 0.15 0.139 0.156
Various_04/12 0.178 0.167 1.244 3.37 60.0 0.202 0.203 0.231
Various_04/13 0.192 0.182 8.727 40.398 60.0 0.233 0.245 0.288
Various_04/14 0.265 0.27 60.0 60.0 60.0 0.564 0.585 0.597
Various_04/15 0.161 0.136 0.171 0.182 40.186 0.142 0.158 0.178
Various_04/18 0.146 0.157 0.248 1.184 60.0 0.23 0.277 0.249
Various_04/19 0.184 0.172 0.966 4.565 60.0 0.202 0.288 0.379
Various_04/21 0.198 0.204 41.768 60.0 60.0 0.403 60.0 0.795
Various_04/22 0.148 0.152 0.196 0.213 60.0 0.146 0.163 0.173
Various_04/23 0.149 0.154 0.216 0.263 60.0 0.169 0.181 0.194
Various_04/24 0.158 0.162 0.25 0.4 60.0 0.161 0.198 0.228
Various_04/25 0.138 0.146 0.203 0.188 2.402 0.164 0.159 0.151
Various_04/26 0.145 0.156 0.235 0.319 60.0 0.166 0.188 0.217
Various_04/27 0.148 0.161 0.156 0.154 60.0 0.136 0.142 0.144
problem t e s nv g c r *
Waldmann_06/jwaprove1 0.139 0.155 0.163 0.174 60.0 60.0 60.0 0.185
Waldmann_06/jwaprove2 0.147 0.146 0.168 0.172 60.0 60.0 60.0 0.193
Waldmann_06/jwcime1 0.141 0.143 0.17 0.195 60.0 0.396 60.0 0.182
Waldmann_06/jwcime2 0.161 0.159 0.195 0.211 60.0 0.16 0.184 0.201
Waldmann_06/jwmatchb1 0.144 0.147 0.165 0.169 60.0 0.151 0.158 0.191
Waldmann_06/jwmatchb2 0.154 0.148 0.15 0.183 60.0 0.138 0.143 0.171
Waldmann_06/jwno1 0.136 0.149 0.163 0.179 60.0 0.155 0.156 0.184
Waldmann_06/jwno2 0.138 0.152 0.166 0.182 60.0 0.145 0.166 0.172
Waldmann_06/jwno3 0.14 0.146 0.182 0.193 60.0 0.158 0.168 0.174
Waldmann_06/jwno4 0.144 0.137 0.156 0.158 60.0 0.157 0.17 0.162
Waldmann_06/jwno5 0.143 0.144 0.171 0.167 60.0 0.146 0.161 0.175
Waldmann_06/jwno6 0.158 0.142 0.151 0.172 60.0 0.138 0.146 0.184
Waldmann_06/jwno7 0.139 0.143 0.165 0.21 60.0 0.157 0.154 0.172
Waldmann_06/jwno8 0.137 0.142 0.178 0.185 60.0 0.154 0.17 0.183
Waldmann_06/jwno9 0.134 0.145 0.19 0.179 60.0 0.157 0.169 0.176
Waldmann_06/jwteparla1 0.148 0.153 0.163 0.177 60.0 0.138 0.163 0.168
Waldmann_06/jwteparla2 0.141 0.145 0.17 0.182 60.0 0.139 0.151 0.162
Waldmann_06/jwtpa1 0.149 0.144 0.176 0.185 60.0 0.158 0.172 0.191
Waldmann_06/jwtpa2 0.144 0.152 0.172 0.204 60.0 60.0 60.0 0.215
Waldmann_06/jwttt 0.145 0.141 0.184 0.202 60.0 60.0 60.0 0.209
Zantema_05/jw01 0.137 0.144 0.161 0.164 60.0 0.142 0.155 0.174
Zantema_05/jw02 0.139 0.146 0.172 0.171 60.0 0.152 0.161 0.165
Zantema_05/jw03 0.136 0.149 0.171 0.171 60.0 0.15 0.151 0.154
Zantema_05/jw04 0.148 0.151 0.151 0.164 60.0 0.141 0.155 0.158
Zantema_05/jw05 0.138 0.138 0.173 0.166 60.0 0.156 0.164 0.166
problem t e s nv g c r *
Zantema_05/jw06 0.136 0.14 0.161 0.161 60.0 0.147 0.151 0.174
Zantema_05/jw07 0.155 0.145 0.166 0.177 60.0 0.158 0.163 0.179
Zantema_05/jw08 0.137 0.15 0.182 0.175 60.0 0.149 0.166 0.175
Zantema_05/jw09 0.155 0.16 0.19 0.202 60.0 0.186 0.158 0.18
Zantema_05/jw11 0.151 0.139 0.167 0.176 60.0 0.156 0.162 0.171
Zantema_05/jw12 0.137 0.138 0.189 0.189 60.0 0.149 0.159 0.166
Zantema_05/jw13 0.137 0.142 0.167 0.177 60.0 0.145 0.157 0.159
Zantema_05/jw14 0.15 0.148 0.194 0.167 60.0 0.15 0.156 0.143
Zantema_05/jw15 0.136 0.146 0.179 0.17 60.0 0.173 0.156 0.177
Zantema_05/jw16 0.139 0.145 0.177 0.183 60.0 0.162 0.184 0.174
Zantema_05/jw17 0.141 0.146 0.175 0.184 60.0 0.161 0.17 0.183
Zantema_05/jw18 0.139 0.145 0.16 0.174 60.0 0.162 0.15 0.163
Zantema_05/jw19 0.144 0.138 0.171 0.174 60.0 0.146 0.162 0.191
Zantema_05/jw20 0.138 0.145 0.172 0.165 60.0 0.159 0.156 0.168
Zantema_05/jw21 0.134 0.153 0.191 0.195 60.0 0.158 0.156 0.173
Zantema_05/jw22 0.136 0.142 0.173 0.192 60.0 0.165 0.174 0.194
Zantema_05/jw23 0.151 0.141 0.162 0.172 60.0 0.153 0.157 0.169
Zantema_05/jw24 0.164 0.139 0.181 0.174 60.0 0.146 0.151 0.166
Zantema_05/jw25 0.142 0.139 0.169 0.174 60.0 0.153 0.157 0.176
Zantema_05/jw26 0.139 0.151 0.175 0.163 60.0 0.145 0.157 0.183
Zantema_05/jw27 0.154 0.142 0.169 0.201 60.0 0.17 0.155 0.17
Zantema_05/jw28 0.137 0.144 0.172 0.192 60.0 0.164 0.159 0.16
Zantema_05/jw29 0.141 0.15 0.162 0.175 60.0 0.147 0.153 0.175
Zantema_05/jw30 0.15 0.159 0.168 0.168 60.0 0.164 0.168 0.178
Zantema_05/jw31 0.138 0.142 0.171 0.18 60.0 0.148 0.15 0.17
problem t e s nv g c r *
Zantema_05/jw32 0.157 0.145 0.167 0.181 60.0 0.149 0.158 0.18
Zantema_05/jw33 0.149 0.143 0.173 0.187 60.0 0.166 0.169 0.166
Zantema_05/jw34 0.138 0.148 0.171 0.174 60.0 0.183 0.152 0.164
Zantema_05/jw35 0.153 0.139 0.17 0.174 60.0 0.154 0.159 0.151
Zantema_05/jw36 0.149 0.148 0.163 0.168 60.0 0.146 0.154 0.165
Zantema_05/jw37 0.136 0.143 0.181 0.183 60.0 0.153 0.171 0.166
Zantema_05/jw38 0.135 0.14 0.171 0.184 60.0 0.151 0.158 0.169
Zantema_05/jw39 0.141 0.147 0.165 0.172 60.0 0.163 0.154 0.172
Zantema_05/jw40 0.137 0.142 0.177 0.181 60.0 0.148 0.153 0.174
Zantema_05/jw41 0.136 0.165 0.171 0.188 60.0 0.15 0.168 0.169
Zantema_05/jw42 0.144 0.16 0.173 0.179 60.0 0.151 0.153 0.165
Zantema_05/jw43 0.143 0.139 0.165 0.159 60.0 0.149 0.142 0.18
Zantema_05/jw44 0.148 0.136 0.166 0.164 60.0 0.148 60.0 0.163
Zantema_05/jw47 0.141 0.142 0.166 0.162 60.0 0.167 60.0 0.167
Zantema_05/jw50 0.14 0.146 0.165 0.173 60.0 0.148 0.162 0.167
Zantema_05/z01 0.171 0.155 0.223 0.277 60.0 0.191 0.286 0.225
Zantema_05/z02 0.144 0.163 0.211 0.211 60.0 0.163 0.212 0.199
Zantema_05/z03 0.163 0.167 0.245 0.277 60.0 0.18 0.225 0.178
Zantema_05/z04 0.159 0.142 0.202 0.244 60.0 0.165 0.161 0.173
Zantema_05/z05 0.142 0.159 0.247 0.439 60.0 0.182 0.189 0.232
Zantema_05/z06 0.141 0.157 0.233 0.247 60.0 0.183 0.187 0.215
Zantema_05/z07 0.145 0.165 0.32 0.439 60.0 0.199 0.214 0.193
Zantema_05/z08 0.151 0.152 0.183 0.227 60.0 0.152 0.162 0.166
Zantema_05/z09 0.163 0.168 0.472 0.895 60.0 0.184 0.169 0.217
Zantema_05/z10 0.158 0.16 0.416 0.74 60.0 0.165 0.169 0.194
problem t e s nv g c r *
Zantema_05/z11 0.155 0.171 0.436 1.094 60.0 0.225 0.289 0.295
Zantema_05/z12 0.146 0.145 0.211 0.259 60.0 0.152 0.225 0.238
Zantema_05/z13 0.147 0.183 0.23 0.284 60.0 0.164 0.222 0.238
Zantema_05/z14 0.156 0.145 0.198 0.217 60.0 0.162 0.176 0.195
Zantema_05/z15 0.137 0.147 0.193 0.219 60.0 0.148 0.18 0.206
Zantema_05/z16 0.143 0.147 0.191 0.209 60.0 0.153 0.175 0.209
Zantema_05/z17 0.15 0.139 0.197 0.222 60.0 0.158 0.174 0.195
Zantema_05/z18 0.141 0.157 0.199 0.226 60.0 0.153 0.179 0.205
Zantema_05/z19 0.154 0.139 0.218 0.265 60.0 0.162 0.32 0.209
Zantema_05/z20 0.143 0.168 0.245 0.305 60.0 0.214 60.0 0.218
Zantema_05/z21 0.144 0.157 0.239 0.325 60.0 0.379 0.413 0.424
Zantema_05/z22 0.345 0.36 0.431 0.504 60.0 0.411 0.449 0.44
Zantema_05/z23 0.164 0.146 0.247 0.31 60.0 0.17 0.242 0.27
Zantema_05/z24 0.159 0.152 0.398 0.595 60.0 0.175 60.0 0.686
Zantema_05/z25 0.163 0.17 0.28 0.414 60.0 0.171 0.189 0.234
Zantema_05/z26 0.174 0.164 0.263 0.387 60.0 0.183 60.0 0.225
Zantema_05/z27 0.146 0.149 0.244 9.486 60.0 0.155 0.152 0.183
Zantema_05/z28 0.158 0.15 0.178 0.219 60.0 0.152 0.145 0.164
Zantema_05/z29 0.151 0.162 0.29 0.453 60.0 0.164 0.262 0.303
Zantema_05/z30 0.178 0.178 0.322 0.584 60.0 0.248 5.519 0.707
Yes No Maybe Timeout