DI Martin Korp  
Home Teaching Research
Research
Publications Talks TTT2 TTTbox

Results for TRSs

problem t e s nv g c r *
AG01/#3.1 0.173 0.157 0.212 0.293 60.0 0.174 0.164 0.169
AG01/#3.10 0.519 0.52 19.431 60.0 60.0 0.541 0.564 0.65
AG01/#3.12 0.167 0.169 0.298 0.357 60.0 0.194 0.191 0.237
AG01/#3.13 0.297 0.306 60.0 60.0 60.0 0.329 0.319 0.38
AG01/#3.15 0.162 0.162 0.229 0.287 60.0 0.168 0.17 0.209
AG01/#3.16 0.171 0.17 0.268 0.388 60.0 0.164 0.161 0.185
AG01/#3.17 0.202 0.213 0.601 0.948 60.0 0.226 0.245 0.291
AG01/#3.17a 0.277 0.247 1.431 5.095 60.0 0.285 0.305 0.332
AG01/#3.18 0.176 0.181 0.49 0.891 60.0 0.195 0.213 0.207
AG01/#3.19 0.196 0.202 0.69 3.736 60.0 0.217 0.205 0.255
AG01/#3.2 0.171 0.157 0.244 0.374 60.0 0.165 0.168 0.185
AG01/#3.21 0.152 0.159 0.222 0.293 60.0 0.158 0.157 0.183
AG01/#3.22 0.161 0.192 0.424 1.018 60.0 0.194 0.203 0.233
AG01/#3.23 0.149 0.152 0.17 0.176 60.0 0.149 0.153 0.161
AG01/#3.24 0.151 0.153 0.184 0.203 60.0 0.156 0.164 0.183
AG01/#3.26 0.138 0.149 0.163 0.167 1.248 0.15 0.151 0.167
AG01/#3.29 0.136 0.146 0.16 0.178 60.0 0.142 0.139 0.164
AG01/#3.31 0.151 0.149 0.175 0.182 60.0 0.157 0.147 0.163
AG01/#3.33 0.196 0.139 0.249 0.24 60.0 0.163 0.167 0.159
AG01/#3.35 0.157 0.156 0.197 0.193 0.975 0.154 0.153 0.179
AG01/#3.36 0.184 0.175 0.388 0.775 60.0 0.195 0.203 0.255
AG01/#3.37 0.163 0.156 0.249 0.251 60.0 0.166 0.175 0.212
AG01/#3.38 0.188 0.177 0.317 0.328 60.0 0.183 0.174 0.225
AG01/#3.39 0.21 0.215 0.538 2.822 60.0 0.219 0.238 0.281
AG01/#3.4 0.19 0.193 0.434 1.123 60.0 0.211 0.215 0.216
problem t e s nv g c r *
AG01/#3.40 0.244 0.24 0.874 9.971 60.0 0.271 0.262 0.313
AG01/#3.41 0.143 0.144 0.171 0.183 60.0 0.149 0.145 0.181
AG01/#3.42 0.184 0.187 0.483 0.536 60.0 0.187 0.207 0.215
AG01/#3.47 0.151 0.15 0.212 0.236 60.0 0.165 0.163 0.161
AG01/#3.48 0.195 0.2 0.566 8.834 60.0 0.218 0.203 0.222
AG01/#3.49 0.184 0.186 0.287 0.328 60.0 0.201 0.228 0.268
AG01/#3.5 0.215 0.218 0.732 6.66 60.0 0.233 0.223 0.274
AG01/#3.51 0.204 0.158 0.413 0.621 60.0 0.175 0.172 0.171
AG01/#3.52 0.148 0.154 0.201 0.538 60.0 0.154 0.155 0.185
AG01/#3.53 0.296 0.285 4.043 60.0 60.0 0.299 0.316 0.395
AG01/#3.53a 0.149 0.138 0.178 0.182 60.0 0.148 0.143 0.169
AG01/#3.53b 0.151 0.183 0.213 0.525 60.0 0.171 0.171 0.167
AG01/#3.54 0.151 0.159 0.226 0.903 60.0 0.167 0.169 0.185
AG01/#3.55 0.342 0.353 12.774 60.0 60.0 0.397 0.395 0.521
AG01/#3.56 0.178 0.17 0.252 0.286 60.0 0.163 0.166 0.175
AG01/#3.57 0.321 0.303 4.477 60.0 60.0 0.326 0.327 0.392
AG01/#3.5a 0.208 0.206 1.009 7.993 60.0 0.216 0.23 0.263
AG01/#3.5b 0.25 0.269 1.928 42.471 60.0 0.273 0.273 0.312
AG01/#3.6 0.22 0.236 1.182 6.256 60.0 0.245 0.247 0.284
AG01/#3.6a 0.222 0.234 0.969 3.822 60.0 0.242 0.23 0.278
AG01/#3.6b 0.244 0.274 1.95 24.731 60.0 0.288 0.294 0.322
AG01/#3.7 0.151 0.164 0.208 0.249 60.0 0.167 0.163 0.173
AG01/#3.8a 0.184 0.205 0.488 1.482 60.0 0.216 0.196 0.225
AG01/#3.8b 0.258 0.246 1.545 60.0 60.0 0.281 0.276 0.339
AG01/#4.30c 0.189 0.188 0.949 4.836 60.0 0.197 0.203 0.233
problem t e s nv g c r *
AProVE_04/AAECC-ring 0.674 0.711 60.0 60.0 60.0 1.252 1.187 1.745
AProVE_04/AAECC 0.376 0.355 28.581 60.0 60.0 0.492 0.492 0.69
AProVE_04/IJCAR_1 0.158 0.148 0.228 1.589 60.0 0.168 0.169 0.18
AProVE_04/IJCAR_12 0.215 0.186 1.305 13.83 60.0 0.201 0.192 0.241
AProVE_04/IJCAR_18 0.281 0.27 21.686 60.0 60.0 0.34 0.325 0.453
AProVE_04/IJCAR_26 0.316 0.311 30.783 60.0 60.0 0.384 0.388 0.509
AProVE_04/IJCAR_26a 0.312 0.303 34.239 60.0 60.0 0.399 0.388 0.54
AProVE_04/JFP_Ex31 0.219 0.235 2.029 60.0 60.0 0.293 0.284 0.356
AProVE_04/JFP_Ex51 0.303 0.315 6.256 60.0 60.0 0.368 0.344 0.401
AProVE_04/LPAR_intlist 0.19 0.18 0.4 0.391 60.0 0.208 0.216 0.226
AProVE_04/Liveness6.1 0.186 0.176 0.721 0.82 60.0 0.214 0.239 0.27
AProVE_04/Liveness6.2 0.173 0.189 0.436 0.495 60.0 0.202 0.2 0.242
AProVE_04/Liveness6.3 0.312 0.31 6.244 12.303 60.0 0.336 0.52 0.485
AProVE_04/Liveness6.4 0.231 0.258 7.022 8.752 60.0 0.303 0.41 0.539
AProVE_04/Liveness8 0.284 0.294 6.422 3.827 60.0 0.382 0.517 0.619
AProVE_04/Liveness_WRS 0.302 0.259 2.85 6.011 60.0 0.353 60.0 0.846
AProVE_04/fac 0.186 0.181 0.568 1.44 60.0 0.216 0.222 0.249
AProVE_04/forward_instantiation 0.142 0.141 0.178 0.207 60.0 0.146 0.154 0.156
AProVE_04/forward_instantiation2 0.141 0.139 0.204 0.261 60.0 0.151 0.15 0.153
AProVE_04/improved_usable 0.157 0.172 0.234 0.27 60.0 0.159 0.161 0.2
AProVE_04/improved_usable2 0.152 0.153 0.217 0.237 60.0 0.159 0.15 0.181
AProVE_04/rta1 0.188 0.201 0.489 1.419 60.0 60.0 60.0 1.208
AProVE_04/rta2 0.138 0.145 0.18 0.167 48.443 0.154 0.15 0.164
AProVE_04/rta3 0.162 0.172 0.445 0.794 60.0 0.18 0.187 0.216
AProVE_06/div_notCeTermin 0.246 0.328 9.696 60.0 60.0 0.381 0.369 0.419
problem t e s nv g c r *
AProVE_06/div_notTermin 0.274 0.352 13.328 60.0 60.0 0.437 0.449 0.538
AProVE_06/factorial1 0.195 0.204 0.837 2.18 60.0 0.229 0.213 0.279
AProVE_06/factorial2 0.203 0.198 3.314 60.0 60.0 0.234 0.253 0.287
AProVE_06/identity 0.177 0.187 0.8 1.057 60.0 0.209 60.0 0.735
AProVE_06/logarithm 0.254 0.263 4.768 60.0 60.0 0.275 0.289 0.356
AProVE_06/mapHard 0.226 0.238 6.002 60.0 60.0 60.0 60.0 0.323
AProVE_06/modulo 0.19 0.201 1.695 60.0 60.0 0.305 0.308 0.46
AProVE_06/nonterm 0.17 0.16 1.29 51.614 60.0 0.455 0.478 0.808
AProVE_06/quicksort 0.28 0.3 15.672 60.0 60.0 0.37 0.359 0.489
AProVE_06/quot 0.204 0.212 0.964 60.0 60.0 0.277 0.28 0.412
AProVE_06/sizeChange 0.184 0.177 60.0 60.0 60.0 0.181 0.204 0.202
AProVE_06/tower 0.238 0.215 1.575 10.733 60.0 0.249 0.238 0.285
AProVE_06/tower_sizeChange 0.201 0.203 1.806 2.16 60.0 0.243 60.0 0.739
AProVE_07/kabasci01 0.97 0.905 60.0 60.0 60.0 1.313 1.26 1.676
AProVE_07/kabasci02 0.329 0.345 60.0 60.0 60.0 2.232 2.233 1.363
AProVE_07/kabasci03 0.221 0.214 18.885 60.0 60.0 60.0 60.0 1.217
AProVE_07/kabasci04 0.226 0.23 1.169 4.569 60.0 0.236 0.243 0.295
AProVE_07/kabasci05 0.253 0.244 5.16 19.246 60.0 0.268 0.269 0.342
AProVE_07/kabasci06 0.223 0.274 5.8 60.0 60.0 0.535 0.538 0.389
AProVE_07/otto01 0.31 0.267 60.0 60.0 60.0 0.336 0.324 0.411
AProVE_07/otto02 0.248 0.249 8.542 60.0 60.0 0.289 0.287 0.331
AProVE_07/otto03 0.164 0.173 0.402 3.336 60.0 0.174 0.176 0.211
AProVE_07/otto04 0.251 0.245 14.161 60.0 60.0 0.295 0.284 0.345
AProVE_07/otto05 0.195 0.189 1.365 17.244 60.0 0.203 0.22 0.251
AProVE_07/otto06 0.237 0.243 8.066 60.0 60.0 0.292 0.304 0.396
problem t e s nv g c r *
AProVE_07/otto07 0.167 0.155 0.281 3.454 60.0 0.158 0.167 0.192
AProVE_07/otto08 0.23 0.232 3.112 60.0 60.0 0.277 0.242 0.292
AProVE_07/otto09 0.189 0.207 0.999 60.0 60.0 0.2 0.198 0.252
AProVE_07/otto10 0.229 0.213 21.141 60.0 60.0 0.252 0.248 0.282
AProVE_07/otto11 0.182 0.192 1.124 60.0 60.0 0.21 0.224 0.258
AProVE_07/otto12 0.225 0.222 2.663 60.0 60.0 0.236 0.255 0.275
AProVE_07/otto13 0.229 0.243 2.811 60.0 60.0 0.299 0.279 0.368
AProVE_07/thiemann01 0.19 0.204 1.81 50.833 60.0 0.217 0.208 0.24
AProVE_07/thiemann02 0.366 0.385 55.905 60.0 60.0 0.496 0.47 0.656
AProVE_07/thiemann03 0.197 0.192 2.639 60.0 60.0 0.229 0.219 0.281
AProVE_07/thiemann04 0.291 0.274 60.0 60.0 60.0 0.336 0.332 0.442
AProVE_07/thiemann05 0.176 0.175 1.088 60.0 60.0 0.195 0.213 0.246
AProVE_07/thiemann06 0.231 0.212 60.0 60.0 60.0 0.238 0.245 0.288
AProVE_07/thiemann07 0.258 0.262 24.598 60.0 60.0 0.304 0.333 0.388
AProVE_07/thiemann08 0.191 0.184 1.219 8.79 60.0 0.213 0.192 0.219
AProVE_07/thiemann09 0.259 0.265 10.155 30.215 60.0 0.315 0.328 0.406
AProVE_07/thiemann10 0.199 0.197 1.256 16.59 60.0 0.204 0.202 0.245
AProVE_07/thiemann11 0.222 0.232 5.31 60.0 60.0 0.252 0.241 0.282
AProVE_07/thiemann12 0.208 0.208 1.464 22.736 60.0 0.223 0.221 0.255
AProVE_07/thiemann13 0.264 0.253 6.753 60.0 60.0 0.274 0.302 0.354
AProVE_07/thiemann14 0.224 0.225 13.331 60.0 60.0 0.273 0.289 0.33
AProVE_07/thiemann15 0.182 0.191 1.517 19.163 60.0 0.211 0.198 0.251
AProVE_07/thiemann16 0.235 0.256 20.915 60.0 60.0 0.285 0.271 0.35
AProVE_07/thiemann17 0.188 0.209 2.574 60.0 60.0 0.216 0.217 0.253
AProVE_07/thiemann18 0.387 0.365 26.567 60.0 60.0 0.423 0.425 0.489
problem t e s nv g c r *
AProVE_07/thiemann19 0.192 0.197 1.136 2.845 60.0 0.218 0.212 0.299
AProVE_07/thiemann20 0.19 0.196 1.092 8.276 60.0 0.209 0.223 0.274
AProVE_07/thiemann21 0.363 0.382 48.504 60.0 60.0 0.478 0.485 0.575
AProVE_07/thiemann22 0.187 0.199 1.147 60.0 60.0 0.211 0.201 0.248
AProVE_07/thiemann23 0.189 0.186 0.549 1.181 60.0 0.204 0.191 0.231
AProVE_07/thiemann24 0.199 0.21 1.374 60.0 60.0 0.218 0.219 0.242
AProVE_07/thiemann25 0.191 0.18 1.283 60.0 60.0 0.195 0.186 0.218
AProVE_07/thiemann26 0.206 0.198 2.291 60.0 60.0 0.216 0.225 0.249
AProVE_07/thiemann27 0.164 0.166 0.334 1.448 60.0 0.168 0.166 0.212
AProVE_07/thiemann28 0.2 0.196 1.174 60.0 60.0 0.202 0.203 0.26
AProVE_07/thiemann29 0.265 0.246 11.715 60.0 60.0 0.281 0.259 0.35
AProVE_07/thiemann30 0.463 0.448 38.228 60.0 60.0 0.572 0.571 0.699
AProVE_07/thiemann31 0.194 0.202 3.956 60.0 60.0 0.209 0.222 0.261
AProVE_07/thiemann32 0.243 0.261 6.391 60.0 60.0 0.294 0.286 0.359
AProVE_07/thiemann33 0.213 0.214 1.884 4.23 60.0 0.247 0.244 0.293
AProVE_07/thiemann34 0.235 0.241 2.901 26.293 60.0 0.244 0.26 0.293
AProVE_07/thiemann35 0.266 0.294 19.464 60.0 60.0 28.874 28.823 0.819
AProVE_07/thiemann36 0.221 0.227 60.0 60.0 60.0 0.22 0.219 0.265
AProVE_07/thiemann37 0.279 0.266 60.0 60.0 60.0 0.298 0.311 0.378
AProVE_07/thiemann38 0.204 0.192 10.377 60.0 60.0 0.229 0.214 0.269
AProVE_07/thiemann39 0.251 0.258 17.842 60.0 60.0 60.0 60.0 0.434
AProVE_07/thiemann40 0.162 0.159 0.579 1.421 60.0 0.164 0.176 0.194
AProVE_07/thiemann41 0.576 0.323 1.654 60.0 60.0 0.339 0.353 0.395
AProVE_07/wiehe01 0.379 0.365 4.281 26.844 60.0 6.693 6.82 1.26
AProVE_07/wiehe02 0.389 0.348 14.36 60.0 60.0 60.0 60.0 1.373
problem t e s nv g c r *
AProVE_07/wiehe03 0.459 0.395 22.536 60.0 60.0 60.0 60.0 1.413
AProVE_07/wiehe05 0.292 0.281 6.768 55.13 60.0 5.862 5.873 1.294
AProVE_07/wiehe06 0.303 0.257 6.29 48.194 60.0 8.993 9.462 1.291
AProVE_07/wiehe07 0.267 0.278 7.469 60.0 60.0 46.631 43.21 1.307
AProVE_07/wiehe08 0.286 0.308 7.584 56.013 60.0 6.022 6.308 1.32
AProVE_07/wiehe09 0.294 0.288 9.515 60.0 60.0 8.074 7.797 1.317
AProVE_07/wiehe11 0.4 0.431 37.211 60.0 60.0 60.0 60.0 1.47
AProVE_07/wiehe12 0.609 0.611 60.0 60.0 60.0 60.0 60.0 1.625
AProVE_08/id_inc 0.213 0.189 0.775 1.34 60.0 0.241 0.242 0.258
AProVE_08/log 0.205 0.203 0.886 6.136 60.0 0.242 0.234 0.3
AProVE_08/parting01_reverse 0.217 0.213 2.157 60.0 60.0 0.243 0.271 0.319
AProVE_08/parting02_doublelist 0.228 0.216 2.591 60.0 60.0 0.252 0.25 0.3
AProVE_08/parting03_minsort 0.241 0.26 5.921 60.0 60.0 0.279 0.304 0.371
AProVE_08/parting04_maxsort_h 0.285 0.287 15.049 60.0 60.0 0.481 0.466 0.584
AProVE_08/parting05_maxsort 0.377 0.39 9.178 60.0 60.0 0.422 0.419 0.493
AProVE_08/round 0.155 0.163 0.252 0.434 60.0 0.173 0.177 0.178
AProVE_08/round_nonterm 0.163 0.161 0.229 0.359 60.0 0.167 0.157 0.178
AProVE_08/thiemann40_modified 0.202 0.177 0.775 5.567 60.0 0.174 0.189 0.208
AProVE_09_Inductive/div 0.211 0.218 2.583 60.0 60.0 0.268 0.258 0.289
AProVE_09_Inductive/divhard 0.223 0.215 4.617 60.0 60.0 0.247 0.248 0.3
AProVE_09_Inductive/gcd 0.247 0.225 3.616 60.0 60.0 0.256 0.269 0.323
AProVE_09_Inductive/gcd2 0.249 0.254 5.766 60.0 60.0 0.284 0.297 0.364
AProVE_09_Inductive/gcdhard 0.225 0.223 2.048 11.519 60.0 0.249 0.251 0.318
AProVE_09_Inductive/log 0.189 0.194 0.979 1.875 60.0 0.214 0.213 0.265
AProVE_09_Inductive/maxsort 0.278 0.287 8.367 60.0 60.0 0.325 0.312 0.391
problem t e s nv g c r *
AProVE_09_Inductive/maxsortcondition 0.328 0.327 13.52 60.0 60.0 0.353 0.355 0.408
AProVE_09_Inductive/minsort 0.28 0.273 8.012 60.0 60.0 0.318 0.308 0.388
AProVE_09_Inductive/mod 0.242 0.253 2.781 60.0 60.0 0.25 0.265 0.305
AProVE_09_Inductive/qsort 0.326 0.342 7.274 60.0 60.0 0.39 0.388 0.482
AProVE_09_Inductive/qsortlast 0.446 0.442 15.807 60.0 60.0 60.0 60.0 0.63
AProVE_09_Inductive/qsortmiddle 0.6 0.569 43.939 60.0 60.0 60.0 60.0 0.815
AProVE_09_Inductive/zerolist 0.23 0.19 1.044 1.766 60.0 0.211 0.223 0.237
AotoYamada_05/001 0.148 0.146 0.2 0.269 60.0 0.165 0.156 0.167
AotoYamada_05/002 0.185 0.217 1.291 15.986 60.0 0.253 0.273 0.247
AotoYamada_05/003 0.168 0.168 0.329 1.721 60.0 0.461 0.435 0.215
AotoYamada_05/004 0.189 0.189 0.452 1.864 60.0 0.271 0.268 0.242
AotoYamada_05/005 0.18 0.183 0.322 0.491 60.0 0.185 0.341 0.36
AotoYamada_05/006 0.16 0.186 1.337 60.0 60.0 0.206 0.221 0.218
AotoYamada_05/007 0.181 0.186 0.649 2.485 60.0 0.255 0.244 0.226
AotoYamada_05/009 0.2 0.218 4.135 18.709 60.0 0.284 0.293 0.248
AotoYamada_05/010 0.223 0.248 4.102 27.361 60.0 0.407 0.436 0.333
AotoYamada_05/011 0.182 0.2 0.938 6.734 60.0 0.281 0.266 0.244
AotoYamada_05/012 0.192 0.215 2.338 4.283 60.0 0.273 0.276 0.256
AotoYamada_05/013 0.2 0.191 1.23 18.506 60.0 0.318 0.319 0.249
AotoYamada_05/014 0.196 0.248 2.152 9.53 60.0 0.371 0.368 0.284
AotoYamada_05/015 0.207 0.196 0.504 1.337 60.0 0.251 0.258 0.224
AotoYamada_05/016 0.232 0.272 3.614 13.939 60.0 0.365 0.337 0.285
AotoYamada_05/017 0.148 0.143 0.155 0.209 60.0 0.14 0.161 0.172
AotoYamada_05/019 0.144 0.147 0.211 0.484 60.0 0.154 0.162 0.163
AotoYamada_05/020 0.172 0.186 0.881 3.846 60.0 0.28 0.28 0.27
problem t e s nv g c r *
AotoYamada_05/021 0.215 0.283 2.912 60.0 60.0 0.458 0.459 0.361
AotoYamada_05/022 0.19 0.181 0.603 9.733 60.0 0.269 0.29 0.217
AotoYamada_05/023 0.148 0.149 0.2 0.226 60.0 0.396 0.403 0.405
AotoYamada_05/024 0.375 0.391 0.49 0.999 60.0 0.433 0.418 0.419
AotoYamada_05/025 0.147 0.157 0.142 0.147 60.0 0.138 0.141 0.159
AotoYamada_05/026 0.165 0.175 0.458 37.198 60.0 0.215 0.212 0.21
AotoYamada_05/027 0.185 0.193 0.764 13.916 60.0 0.284 0.266 0.231
AotoYamada_05/028 0.166 0.181 0.438 1.529 60.0 0.224 0.237 0.246
AotoYamada_05/Ex1SimplyTyped 0.176 0.168 0.485 1.463 60.0 0.23 0.248 0.23
AotoYamada_05/Ex5TermProof 0.202 0.233 1.398 44.946 60.0 0.294 0.302 0.285
Applicative_05/BTreeMember 0.339 0.212 18.966 60.0 60.0 60.0 60.0 0.265
Applicative_05/Ex10Functional 0.26 0.239 60.0 60.0 60.0 0.471 0.494 0.46
Applicative_05/Ex2PrimRec 0.161 0.166 0.25 34.381 60.0 0.159 0.154 0.181
Applicative_05/Ex2_6_1Composition 0.141 0.141 0.154 0.156 60.0 0.148 0.152 0.177
Applicative_05/Ex2_8_1ConstSubstFix 0.161 0.166 0.266 0.726 60.0 0.159 0.157 0.196
Applicative_05/Ex3Lists 0.208 0.2 1.285 39.7 60.0 0.319 0.313 0.276
Applicative_05/Ex4MapList 0.16 0.157 0.269 0.487 60.0 0.177 0.176 0.183
Applicative_05/Ex5Folding 0.21 0.216 4.873 60.0 60.0 0.362 0.361 0.323
Applicative_05/Ex5Sorting 0.246 0.282 60.0 60.0 60.0 0.656 0.656 0.46
Applicative_05/Ex6Folding 0.162 0.179 7.101 60.0 60.0 0.224 0.225 0.243
Applicative_05/Ex6Recursor 0.16 0.152 0.334 1.977 60.0 0.155 0.158 0.191
Applicative_05/Ex6_11 0.154 0.149 0.259 0.368 60.0 0.261 0.278 0.168
Applicative_05/Ex7OrdinalRec 0.196 0.211 60.0 60.0 60.0 0.293 0.311 0.28
Applicative_05/Ex7Sorting 0.243 0.289 60.0 60.0 60.0 60.0 60.0 0.475
Applicative_05/Ex7_9 0.258 0.312 12.788 60.0 60.0 0.63 0.632 0.386
problem t e s nv g c r *
Applicative_05/Ex8Polymorphic 0.173 0.189 0.667 60.0 60.0 0.261 0.25 0.232
Applicative_05/Ex9Maps 0.195 0.195 46.838 60.0 60.0 60.0 60.0 0.291
Applicative_05/Hamming 0.431 0.602 60.0 60.0 60.0 60.0 60.0 1.579
Applicative_05/ReverseLastInit 0.202 0.195 1.288 4.407 60.0 0.243 0.557 0.557
Applicative_05/TakeDropWhile 0.204 0.196 1.074 5.404 60.0 0.296 0.299 0.233
Applicative_05/TreeFlatten 0.206 0.207 1.648 51.767 60.0 0.547 0.564 0.286
Applicative_05/TreeHeight 0.205 0.254 2.928 60.0 60.0 60.0 60.0 0.324
Applicative_05/TreeLevels 0.256 0.271 11.572 60.0 60.0 60.0 60.0 0.368
Applicative_05/TreeMap 0.18 0.184 0.502 16.817 60.0 0.312 0.303 0.214
Applicative_05/TreeSize 0.186 0.213 1.26 59.264 60.0 0.575 0.607 0.292
Applicative_05/TypeEx1 0.152 0.154 0.212 0.289 60.0 0.216 0.202 0.251
Applicative_05/TypeEx3 0.177 0.175 0.562 7.382 60.0 60.0 60.0 1.197
Applicative_05/TypeEx5 0.145 0.146 0.171 0.152 60.0 0.147 0.149 0.18
Applicative_05/mapDivMinus 0.193 0.209 1.004 17.098 60.0 0.307 0.324 0.271
Applicative_05/mapDivMinusHard 0.196 0.242 2.006 29.638 60.0 0.381 0.381 0.308
Applicative_05/nonTermF 0.168 0.171 9.32 60.0 60.0 60.0 60.0 1.187
Applicative_05/termMonTypes 0.155 0.159 0.307 0.775 60.0 0.163 0.159 0.188
Applicative_first_order_05/#3.10 0.408 0.73 60.0 60.0 60.0 3.131 3.201 1.173
Applicative_first_order_05/#3.13 0.389 0.555 60.0 60.0 60.0 23.874 23.835 0.894
Applicative_first_order_05/#3.16 0.243 0.275 11.621 60.0 60.0 0.589 0.601 0.376
Applicative_first_order_05/#3.18 0.255 0.316 21.839 60.0 60.0 0.895 0.904 0.488
Applicative_first_order_05/#3.2 0.247 0.276 9.895 60.0 60.0 0.591 0.59 0.399
Applicative_first_order_05/#3.22 0.268 0.297 15.531 60.0 60.0 0.836 0.814 0.473
Applicative_first_order_05/#3.25 0.214 0.234 3.011 45.803 60.0 0.461 0.482 0.308
Applicative_first_order_05/#3.27 0.221 0.22 2.845 24.849 60.0 0.396 0.411 0.3
problem t e s nv g c r *
Applicative_first_order_05/#3.32 0.205 0.206 2.842 60.0 60.0 0.381 0.365 0.264
Applicative_first_order_05/#3.36 0.242 0.285 13.781 60.0 60.0 0.692 0.738 0.488
Applicative_first_order_05/#3.38 0.257 0.296 15.904 60.0 60.0 0.782 0.747 0.401
Applicative_first_order_05/#3.40 0.312 0.4 36.675 60.0 60.0 3.743 3.718 0.641
Applicative_first_order_05/#3.45 0.237 0.293 7.035 56.701 60.0 0.55 0.559 0.392
Applicative_first_order_05/#3.48 0.269 0.31 20.139 60.0 60.0 1.117 1.113 0.458
Applicative_first_order_05/#3.52 0.239 0.261 3.959 60.0 60.0 0.55 0.533 0.331
Applicative_first_order_05/#3.55 0.377 0.697 60.0 60.0 60.0 2.73 2.67 1.164
Applicative_first_order_05/#3.57 0.327 0.531 60.0 60.0 60.0 1.538 1.471 0.796
Applicative_first_order_05/#3.6 0.281 0.367 40.086 60.0 60.0 0.998 0.984 0.544
Applicative_first_order_05/#3.8 0.278 0.345 19.067 60.0 60.0 60.0 60.0 0.481
Applicative_first_order_05/01 0.238 0.228 20.524 60.0 60.0 4.453 4.476 0.613
Applicative_first_order_05/02 0.228 0.219 10.886 45.619 60.0 4.334 4.328 0.567
Applicative_first_order_05/06 0.22 0.234 2.875 60.0 60.0 0.474 0.467 0.298
Applicative_first_order_05/08 0.253 0.287 11.279 60.0 60.0 0.855 0.845 0.43
Applicative_first_order_05/11 0.359 0.392 60.0 60.0 60.0 2.711 2.665 0.997
Applicative_first_order_05/12 0.249 0.292 13.071 60.0 60.0 0.773 0.793 0.46
Applicative_first_order_05/13 0.273 0.289 11.687 60.0 60.0 0.704 0.713 0.469
Applicative_first_order_05/17 0.249 0.289 21.027 60.0 60.0 24.1 24.34 0.887
Applicative_first_order_05/18 0.228 0.224 2.655 60.0 60.0 0.457 0.47 0.29
Applicative_first_order_05/21 0.263 0.333 17.695 60.0 60.0 0.77 0.776 0.46
Applicative_first_order_05/29 0.237 0.247 5.599 56.843 60.0 0.507 0.512 0.322
Applicative_first_order_05/30 0.25 0.263 60.0 60.0 60.0 0.584 0.6 0.39
Applicative_first_order_05/31 0.254 0.272 9.42 60.0 60.0 0.714 0.737 0.409
Applicative_first_order_05/33 0.276 0.376 23.099 60.0 60.0 1.049 1.011 0.576
problem t e s nv g c r *
Applicative_first_order_05/hydra 0.246 0.263 10.422 60.0 60.0 0.641 0.652 0.375
Applicative_first_order_05/minsort 0.318 0.498 60.0 60.0 60.0 25.314 25.016 0.778
Applicative_first_order_05/motivation 0.221 0.232 4.696 49.681 60.0 0.468 0.446 0.305
Applicative_first_order_05/perfect 0.315 0.331 60.0 60.0 60.0 1.234 1.239 0.542
Applicative_first_order_05/perfect2 0.373 0.489 60.0 60.0 60.0 1.621 1.636 0.725
Beerendonk_07/1 0.163 0.165 0.279 0.928 60.0 0.171 0.169 0.191
Beerendonk_07/10 0.231 0.21 3.938 4.973 60.0 0.233 0.233 0.288
Beerendonk_07/11 0.189 0.208 1.426 18.692 60.0 0.214 0.224 0.267
Beerendonk_07/12 0.181 0.169 0.765 7.497 60.0 0.196 0.201 0.236
Beerendonk_07/13 0.167 0.185 0.56 4.08 60.0 0.197 0.199 0.228
Beerendonk_07/14 0.185 0.184 1.289 9.37 60.0 0.219 0.212 0.247
Beerendonk_07/15 0.22 0.22 2.159 20.415 60.0 0.26 0.271 0.347
Beerendonk_07/16 0.23 0.216 2.617 60.0 60.0 0.258 0.271 0.34
Beerendonk_07/17 0.252 0.232 6.188 60.0 60.0 0.284 0.274 0.349
Beerendonk_07/18 0.199 0.202 3.217 60.0 60.0 0.25 0.262 0.315
Beerendonk_07/19 0.214 0.208 2.572 60.0 60.0 0.263 0.262 0.307
Beerendonk_07/2 0.172 0.162 0.274 1.002 60.0 0.18 0.169 0.188
Beerendonk_07/20 0.227 0.217 3.32 60.0 60.0 0.262 0.253 0.299
Beerendonk_07/21 0.209 0.224 3.264 60.0 60.0 0.234 0.257 0.306
Beerendonk_07/22 0.181 0.172 0.603 4.434 60.0 0.213 0.197 0.232
Beerendonk_07/23 0.181 0.183 0.618 60.0 60.0 0.183 0.186 0.229
Beerendonk_07/24 0.212 0.22 5.514 60.0 60.0 0.266 0.259 0.331
Beerendonk_07/3 0.165 0.18 0.295 1.36 60.0 0.187 0.173 0.218
Beerendonk_07/4 0.151 0.159 0.22 0.388 60.0 0.161 0.16 0.171
Beerendonk_07/5 0.188 0.19 1.034 1.807 60.0 0.21 0.203 0.239
problem t e s nv g c r *
Beerendonk_07/6 0.154 0.163 0.263 0.307 60.0 0.164 0.164 0.179
Beerendonk_07/7 0.167 0.165 0.317 0.409 60.0 0.164 0.17 0.182
Beerendonk_07/8 0.178 0.176 0.641 8.34 60.0 0.218 0.197 0.225
Beerendonk_07/9 0.183 0.181 0.632 60.0 60.0 0.182 0.184 0.223
Bouchare_06/01 0.152 0.143 0.218 0.294 60.0 0.161 0.188 0.217
Bouchare_06/02 0.164 0.145 0.196 0.272 60.0 0.163 0.195 0.204
Bouchare_06/03 0.147 0.154 0.205 0.27 60.0 0.159 0.195 0.222
Bouchare_06/04 0.164 0.157 0.233 0.292 60.0 0.174 0.215 0.219
Bouchare_06/05 0.157 0.15 0.203 0.326 60.0 0.159 0.218 0.248
Bouchare_06/06 0.169 0.169 0.224 0.333 60.0 0.167 0.183 0.219
Bouchare_06/07 0.184 0.191 0.262 0.277 60.0 0.184 0.248 0.263
Bouchare_06/08 0.164 0.168 0.208 0.256 60.0 0.16 0.198 0.22
Bouchare_06/09 0.169 0.146 0.202 0.319 60.0 0.182 0.191 0.205
Bouchare_06/10 0.16 0.157 0.208 0.331 60.0 0.188 0.187 0.223
Bouchare_06/11 0.149 0.149 0.223 0.25 60.0 0.163 0.171 0.218
Bouchare_06/12 0.142 0.137 0.172 0.196 60.0 0.159 0.149 0.174
Bouchare_06/13 0.146 0.153 0.192 0.287 60.0 0.154 0.168 0.229
Bouchare_06/14 0.158 0.148 0.195 0.253 34.091 0.158 0.19 0.244
Bouchare_06/15 0.172 0.159 0.213 0.295 60.0 0.183 0.2 0.246
Bouchare_06/16 0.143 0.146 0.187 0.227 60.0 0.159 0.176 0.222
Bouchare_06/17 0.153 0.149 0.201 0.254 60.0 0.152 0.205 0.247
Bouchare_06/18 0.151 0.16 0.208 0.327 60.0 0.168 0.189 0.201
CiME_04/ack_prolog 0.196 0.185 0.422 0.907 60.0 0.212 0.202 0.248
CiME_04/append-hard 0.168 0.152 0.383 0.969 60.0 0.163 0.165 0.18
CiME_04/append-wrong 0.161 0.17 0.377 1.433 60.0 0.173 0.169 0.184
problem t e s nv g c r *
CiME_04/append 0.16 0.163 0.26 0.53 60.0 0.156 0.158 0.199
CiME_04/big 0.796 0.993 60.0 60.0 60.0 1.413 1.373 1.769
CiME_04/boolean_rings 0.172 0.171 0.831 1.712 60.0 0.189 0.175 0.198
CiME_04/dpqs 0.181 0.146 0.285 0.402 60.0 0.164 0.175 0.164
CiME_04/fact-hard 0.22 0.222 1.815 5.79 60.0 0.258 0.26 0.313
CiME_04/filliatre 0.253 0.276 3.195 3.476 60.0 0.301 0.428 0.478
CiME_04/filliatre2 0.339 0.311 5.59 9.057 60.0 0.357 0.609 0.709
CiME_04/filliatre3 0.326 0.346 9.617 60.0 60.0 0.367 0.369 0.428
CiME_04/intersect 0.251 0.247 11.32 60.0 60.0 0.297 0.296 0.402
CiME_04/list-sum-prod-assoc-append 0.261 0.248 6.8 43.74 60.0 0.304 0.301 0.422
CiME_04/list-sum-prod-assoc 0.22 0.21 1.576 15.035 60.0 0.256 0.245 0.331
CiME_04/list-sum-prod-bin-assoc-distr-app 0.279 0.306 25.785 60.0 60.0 0.437 0.429 0.587
CiME_04/list-sum-prod-bin-assoc 0.243 0.227 8.077 47.569 60.0 0.307 0.305 0.393
CiME_04/list-sum-prod-bin 0.214 0.219 4.122 12.028 60.0 0.273 0.271 0.344
CiME_04/list-sum-prod 0.209 0.194 0.869 2.176 60.0 0.21 0.222 0.275
CiME_04/log2 0.326 0.403 52.475 60.0 60.0 0.497 0.514 0.608
CiME_04/lse 0.254 0.26 16.982 60.0 60.0 0.348 0.352 0.455
CiME_04/maude2 0.324 0.362 37.938 60.0 60.0 0.588 0.559 0.872
CiME_04/mucrl1 4.456 3.426 60.0 60.0 60.0 60.0 60.0 4.465
CiME_04/ternary-hard 0.287 0.294 39.253 60.0 60.0 0.422 0.437 0.592
CiME_04/ternary 0.285 0.27 27.274 60.0 60.0 0.366 0.387 0.495
CiME_04/tree 0.644 0.757 60.0 60.0 60.0 1.009 1.008 1.2
Der95/01 0.163 0.148 0.146 0.147 0.157 0.152 0.15 0.155
Der95/02 0.14 0.159 0.153 0.147 0.141 0.156 0.15 0.143
Der95/03 0.132 0.143 0.145 0.139 0.144 0.137 0.138 0.141
problem t e s nv g c r *
Der95/04 0.148 0.152 0.156 0.178 0.557 0.147 0.163 0.182
Der95/06 0.146 0.142 0.152 0.162 1.064 0.138 0.149 0.166
Der95/07 0.161 0.15 0.191 0.213 1.826 0.18 0.162 0.187
Der95/08 0.155 0.156 0.249 0.273 60.0 0.163 0.156 0.184
Der95/09 0.151 0.143 0.164 0.16 22.441 0.139 0.147 0.179
Der95/11 0.187 0.192 1.203 0.898 60.0 0.232 0.223 0.292
Der95/12 0.161 0.172 0.26 0.367 60.0 0.18 0.171 0.214
Der95/13 0.175 0.17 0.297 1.438 60.0 0.187 0.183 0.207
Der95/17 0.165 0.173 0.428 0.824 60.0 0.185 0.223 0.279
Der95/18 0.139 0.16 0.173 0.16 16.955 0.138 0.151 0.163
Der95/20 0.16 0.152 0.253 0.324 60.0 0.212 0.214 0.248
Der95/21 0.164 0.17 0.412 0.692 60.0 0.171 0.185 0.209
Der95/27 0.144 0.16 0.167 0.177 12.867 0.141 0.141 0.163
Der95/28 0.149 0.141 0.248 0.362 60.0 0.146 0.145 0.16
Der95/30 0.15 0.143 5.636 60.0 60.0 0.158 0.157 0.18
Der95/31 0.185 0.164 0.224 0.26 60.0 0.161 0.164 0.184
Der95/32 0.194 0.207 1.204 60.0 60.0 0.206 0.216 0.259
Der95/33 0.208 0.224 0.505 60.0 60.0 0.237 0.25 0.282
Endrullis_06/direct 0.15 0.163 0.196 0.181 60.0 0.146 0.247 0.279
Endrullis_06/labeling 0.14 0.14 0.21 0.673 60.0 0.15 0.143 0.153
Endrullis_06/linear1 0.191 0.163 0.266 0.41 60.0 0.182 60.0 0.23
Endrullis_06/linear2 0.198 0.202 0.316 0.558 60.0 0.251 0.407 0.359
Endrullis_06/pair2hard 0.172 0.167 0.247 1.718 60.0 0.176 0.186 0.213
Endrullis_06/pair2simple1 0.16 0.163 0.218 0.275 60.0 0.172 0.167 0.185
Endrullis_06/pair2simple2 0.164 0.158 0.224 0.364 60.0 0.166 0.168 0.171
problem t e s nv g c r *
Endrullis_06/pair3hard 0.15 0.157 0.599 60.0 60.0 0.159 0.166 0.195
Endrullis_06/pair3rotate 0.165 0.159 0.198 0.207 60.0 0.183 0.196 0.221
Endrullis_06/pair3swap 0.163 0.164 0.205 0.213 60.0 0.161 0.203 0.221
Endrullis_06/quadruple1 0.187 0.16 0.174 0.191 60.0 0.186 0.162 0.188
Endrullis_06/quadruple2 0.157 0.159 0.196 0.196 60.0 0.176 0.191 0.195
GTSSK07/cade01 0.168 0.159 0.288 3.594 60.0 0.165 0.171 0.191
GTSSK07/cade03 0.176 0.164 0.346 3.586 60.0 0.178 0.171 0.199
GTSSK07/cade04t 0.152 0.161 0.248 1.39 60.0 0.169 0.168 0.189
GTSSK07/cade05t 0.185 0.194 0.625 4.855 60.0 0.198 0.196 0.24
GTSSK07/cade06 0.187 0.181 0.707 46.405 60.0 0.201 0.2 0.258
GTSSK07/cade07 0.175 0.177 0.553 13.862 60.0 0.182 0.181 0.233
GTSSK07/cade08 0.175 0.176 0.67 48.503 60.0 0.193 0.19 0.234
GTSSK07/cade09 0.181 0.187 0.412 4.803 60.0 0.184 0.195 0.221
GTSSK07/cade10 0.183 0.184 0.373 2.11 60.0 0.182 0.186 0.226
GTSSK07/cade11 0.157 0.158 0.259 0.469 60.0 0.166 0.172 0.186
GTSSK07/cade12t 0.198 0.216 1.107 9.015 60.0 0.232 0.23 0.277
GTSSK07/cade13t 0.183 0.192 0.857 60.0 60.0 0.195 0.203 0.241
GTSSK07/cade14 0.195 0.195 1.328 60.0 60.0 0.208 0.208 0.261
GTSSK07/cade15 0.256 0.255 13.998 60.0 60.0 0.289 0.299 0.397
GTSSK07/cade16 0.183 0.191 0.756 6.903 60.0 0.204 0.209 0.25
GTSSK07/cade17 0.237 0.23 2.158 60.0 60.0 0.305 0.279 0.387
HirokawaMiddeldorp_04/n002 0.139 0.135 0.149 0.152 0.135 0.13 0.146 0.145
HirokawaMiddeldorp_04/n003 0.134 0.132 0.148 0.143 0.144 0.144 0.138 0.159
HirokawaMiddeldorp_04/n004 0.129 0.141 0.166 0.146 0.144 0.131 0.138 0.139
HirokawaMiddeldorp_04/n005 0.142 0.141 0.144 0.152 0.154 0.133 0.145 0.161
problem t e s nv g c r *
HirokawaMiddeldorp_04/n006 0.134 0.14 0.157 0.145 0.144 0.149 0.149 0.151
HirokawaMiddeldorp_04/n007 0.133 0.147 0.165 0.174 15.217 0.134 0.137 0.158
HirokawaMiddeldorp_04/n008 0.129 0.14 0.14 0.162 0.139 0.14 0.143 0.152
HirokawaMiddeldorp_04/t000 0.701 0.503 60.0 60.0 60.0 0.598 0.926 0.994
HirokawaMiddeldorp_04/t001 0.266 0.268 6.69 60.0 60.0 0.297 0.286 0.338
HirokawaMiddeldorp_04/t002 0.183 0.217 0.787 3.734 60.0 0.204 0.196 0.253
HirokawaMiddeldorp_04/t003 0.268 0.254 3.711 60.0 60.0 0.286 0.287 0.304
HirokawaMiddeldorp_04/t004 0.143 0.142 0.186 0.188 60.0 0.151 0.165 0.184
HirokawaMiddeldorp_04/t005 0.746 0.767 60.0 60.0 60.0 1.082 1.108 1.106
HirokawaMiddeldorp_04/t006 0.146 0.135 0.149 0.167 60.0 0.147 0.143 0.147
HirokawaMiddeldorp_04/t007 0.149 0.141 0.178 0.199 0.17 0.147 0.147 0.164
HirokawaMiddeldorp_04/t008 0.164 0.164 0.274 0.403 60.0 0.184 0.191 0.224
HirokawaMiddeldorp_04/t009 1.24 1.26 60.0 60.0 60.0 1.438 58.72 1.945
HirokawaMiddeldorp_04/t010 0.156 0.148 0.157 0.16 0.156 0.155 0.146 0.171
HirokawaMiddeldorp_04/t011 0.149 0.145 0.169 0.167 60.0 0.155 0.144 0.177
HirokawaMiddeldorp_04/t012 0.164 0.18 0.367 0.677 60.0 0.218 0.241 0.326
HirokawaMiddeldorp_04/t013 0.193 0.216 0.477 1.064 60.0 0.204 0.205 0.265
HirokawaMiddeldorp_04/t014 0.192 0.198 0.864 4.536 60.0 0.2 0.21 0.23
Mixed_CTRS/quick 0.29 0.288 60.0 60.0 60.0 0.326 0.302 0.386
Mixed_TRS/1 0.154 0.153 0.192 0.18 60.0 0.151 0.155 0.176
Mixed_TRS/2 0.155 0.146 0.177 0.198 60.0 0.154 60.0 0.179
Mixed_TRS/3 0.149 0.144 0.167 0.177 60.0 0.151 0.146 0.157
Mixed_TRS/4 0.144 0.158 0.2 0.197 60.0 0.158 0.156 0.172
Mixed_TRS/5 0.144 0.147 0.169 0.173 60.0 0.148 0.151 0.155
Mixed_TRS/6 0.144 0.15 0.163 0.167 60.0 0.15 0.167 0.186
problem t e s nv g c r *
Mixed_TRS/7 0.15 0.153 1.817 13.072 60.0 0.149 0.161 0.178
Mixed_TRS/Ex1_Luc04b_GM 0.251 0.226 11.146 8.485 60.0 0.29 60.0 0.836
Mixed_TRS/beans 0.19 0.2 0.381 0.703 60.0 0.235 60.0 0.723
Mixed_TRS/gcd 0.213 0.231 1.043 4.238 60.0 0.222 0.215 0.256
Mixed_TRS/gcdMinMax 0.206 0.207 1.121 4.446 60.0 0.229 0.227 0.27
Mixed_TRS/gcd_triple 0.245 0.248 3.695 37.162 60.0 0.281 0.284 0.352
Mixed_TRS/hydra-Zantema06 0.203 0.2 0.574 14.577 60.0 0.233 0.246 0.254
Mixed_TRS/hydra 0.166 0.155 0.277 0.949 60.0 0.176 0.159 0.183
Mixed_TRS/jones1 0.142 0.147 0.178 0.185 60.0 0.158 0.157 0.159
Mixed_TRS/jones2 0.148 0.153 0.206 0.231 60.0 0.144 0.149 0.179
Mixed_TRS/jones4 0.148 0.152 0.181 0.192 60.0 0.161 0.157 0.168
Mixed_TRS/jones5 0.152 0.146 0.186 0.206 60.0 0.142 0.166 0.157
Mixed_TRS/jones6 0.167 0.152 0.232 0.249 60.0 0.161 0.165 0.195
Mixed_TRS/minsort 0.238 0.241 3.493 29.283 60.0 0.294 0.269 0.337
Mixed_TRS/motivation 0.155 0.145 0.192 0.223 60.0 0.152 0.151 0.162
Mixed_TRS/perfect 0.214 0.191 0.895 60.0 60.0 0.2 0.2 0.231
Mixed_TRS/perfect2 0.27 0.251 4.079 60.0 60.0 0.268 0.29 0.311
Mixed_TRS/test1 0.138 0.148 0.169 0.178 60.0 0.147 0.138 0.154
Mixed_TRS/while 0.161 0.161 0.204 0.348 60.0 0.153 0.15 0.175
Mixed_TRS/while2 0.164 0.159 0.749 3.532 60.0 0.167 0.165 0.179
Rubio_04/aoto 0.148 0.144 0.179 0.183 60.0 0.158 0.158 0.18
Rubio_04/bintrees 0.163 0.164 0.248 0.244 60.0 0.169 0.169 0.197
Rubio_04/bn122 0.162 0.151 0.194 0.392 60.0 0.159 0.154 0.177
Rubio_04/bn129 0.167 0.159 0.212 0.241 60.0 0.167 0.232 0.276
Rubio_04/division 0.202 0.208 0.752 13.072 60.0 0.214 0.221 0.262
problem t e s nv g c r *
Rubio_04/elimdupl 0.219 0.217 0.748 10.342 60.0 0.239 0.23 0.265
Rubio_04/enno 0.256 0.255 17.629 60.0 60.0 0.281 0.272 0.359
Rubio_04/gcd 0.23 0.245 1.275 8.291 60.0 0.234 0.245 0.285
Rubio_04/gm 0.171 0.169 0.258 0.366 60.0 0.176 0.184 0.193
Rubio_04/gmnp 0.182 0.163 0.457 1.052 60.0 0.168 0.162 0.176
Rubio_04/koen 0.146 0.153 0.192 0.238 60.0 0.166 0.165 0.2
Rubio_04/lescanne 0.167 0.166 0.229 0.236 60.0 0.175 0.307 0.298
Rubio_04/lindau 0.156 0.151 0.22 0.234 60.0 0.158 0.175 0.209
Rubio_04/logarquot 0.189 0.196 0.384 1.112 60.0 0.206 0.206 0.225
Rubio_04/ma96 0.345 0.337 24.353 60.0 60.0 0.396 0.386 0.445
Rubio_04/mfp90b 0.15 0.15 0.187 0.201 60.0 0.159 0.145 0.188
Rubio_04/mfp95 0.144 0.145 0.151 0.171 60.0 0.141 0.147 0.148
Rubio_04/nestrec 0.142 0.143 0.166 0.178 2.038 0.148 0.15 0.181
Rubio_04/p266 0.148 0.142 0.191 0.211 60.0 0.154 0.145 0.161
Rubio_04/polo2 0.199 0.207 1.152 0.91 60.0 0.226 0.227 0.277
Rubio_04/prov 0.155 0.143 0.207 0.233 60.0 0.165 0.152 0.183
Rubio_04/quick 0.255 0.267 4.896 60.0 60.0 0.321 0.316 0.435
Rubio_04/quotminus 0.188 0.201 0.47 1.013 60.0 0.208 0.199 0.249
Rubio_04/revlist 0.183 0.187 0.36 0.384 60.0 0.194 0.205 0.23
Rubio_04/selsort 0.469 0.457 17.786 60.0 60.0 0.531 0.517 0.626
Rubio_04/test4 0.189 0.185 0.282 0.328 60.0 0.203 0.212 0.219
Rubio_04/test829 0.147 0.145 0.184 0.179 60.0 0.159 0.151 0.186
Rubio_04/wst99 0.357 0.335 2.34 60.0 60.0 0.37 0.375 0.471
SK90/2.01 0.163 0.168 0.449 0.817 60.0 0.178 0.22 0.24
SK90/2.02 0.163 0.168 0.24 0.281 60.0 0.172 0.243 0.281
problem t e s nv g c r *
SK90/2.03 0.16 0.161 0.174 0.192 60.0 0.164 0.142 0.154
SK90/2.04 0.155 0.164 0.224 0.192 60.0 0.166 0.158 0.179
SK90/2.05 0.188 0.193 0.376 26.935 60.0 0.213 0.214 0.271
SK90/2.06 0.182 0.176 0.329 7.167 60.0 0.18 0.186 0.212
SK90/2.07 0.152 0.16 0.277 0.391 60.0 0.161 0.164 0.179
SK90/2.08 0.212 0.187 0.407 1.296 60.0 0.199 0.203 0.243
SK90/2.09 0.167 0.15 0.164 0.182 60.0 0.284 0.291 0.309
SK90/2.10 0.3 0.294 0.576 0.889 60.0 0.308 0.324 0.389
SK90/2.11 0.166 0.177 0.217 0.246 60.0 0.171 0.161 0.181
SK90/2.12 0.177 0.198 0.682 1.168 60.0 0.22 0.235 0.29
SK90/2.13 0.204 0.184 0.307 0.398 60.0 0.188 0.189 0.206
SK90/2.14 0.168 0.185 0.444 0.667 60.0 0.173 0.154 0.173
SK90/2.15 0.149 0.145 0.178 0.201 60.0 0.158 0.15 0.165
SK90/2.16 0.179 0.164 0.407 0.692 60.0 0.167 0.165 0.205
SK90/2.17 0.162 0.16 0.194 0.201 60.0 0.169 0.175 0.179
SK90/2.18 0.151 0.154 0.224 0.26 60.0 0.153 0.149 0.172
SK90/2.19 0.164 0.179 0.402 0.688 60.0 0.17 0.171 0.211
SK90/2.20 0.152 0.166 0.216 0.186 60.0 0.163 0.164 0.168
SK90/2.21 0.154 0.155 0.174 0.184 60.0 0.147 0.15 0.165
SK90/2.22 0.183 0.171 0.352 0.633 60.0 0.172 0.174 0.206
SK90/2.23 0.186 0.18 1.014 1.8 60.0 0.196 0.198 0.24
SK90/2.24 0.155 0.156 0.182 0.194 60.0 0.144 0.144 0.172
SK90/2.25 0.155 0.169 0.26 0.381 60.0 0.168 0.164 0.188
SK90/2.26 0.194 0.201 2.25 5.686 60.0 0.223 0.224 0.266
SK90/2.27 0.192 0.193 1.016 1.304 60.0 0.207 0.204 0.238
problem t e s nv g c r *
SK90/2.28 0.149 0.153 0.179 0.179 60.0 0.139 0.139 0.157
SK90/2.29 0.174 0.178 0.374 0.789 60.0 0.185 0.189 0.183
SK90/2.30 0.143 0.155 0.14 0.145 0.148 0.145 0.158 0.152
SK90/2.31 0.172 0.176 0.289 0.321 60.0 0.183 0.171 0.193
SK90/2.32 0.163 0.161 0.734 1.495 60.0 0.175 0.169 0.178
SK90/2.33 0.173 0.157 0.223 0.266 60.0 0.169 0.168 0.193
SK90/2.34 0.149 0.16 0.208 0.229 60.0 0.194 0.176 0.253
SK90/2.35 0.176 0.169 0.289 0.403 60.0 0.151 0.171 0.168
SK90/2.36 0.149 0.147 0.19 0.192 60.0 0.156 0.158 0.188
SK90/2.37 0.149 0.149 0.18 0.206 60.0 0.149 0.155 0.166
SK90/2.38 0.16 0.16 0.191 0.211 60.0 0.154 0.165 0.206
SK90/2.39 0.172 0.173 0.356 0.369 60.0 0.174 0.179 0.229
SK90/2.40 0.163 0.165 0.239 0.411 60.0 0.168 0.156 0.174
SK90/2.41 0.193 0.172 0.31 0.309 60.0 0.186 0.153 0.181
SK90/2.42 0.195 0.202 0.977 2.887 60.0 0.227 0.26 0.324
SK90/2.43 0.203 0.205 0.585 13.156 60.0 0.194 0.185 0.203
SK90/2.44 0.214 0.194 0.673 60.0 60.0 0.228 0.245 0.236
SK90/2.45 0.16 0.167 4.863 60.0 60.0 0.164 0.182 0.182
SK90/2.46 0.148 0.146 0.181 0.213 26.409 0.154 0.164 0.208
SK90/2.47 0.152 0.164 0.147 0.159 0.251 0.164 0.139 0.147
SK90/2.48 0.139 0.149 0.203 0.204 0.714 0.151 0.146 0.16
SK90/2.49 0.182 0.201 0.529 0.388 60.0 0.183 0.186 0.228
SK90/2.50 0.162 0.167 0.177 0.151 0.182 0.135 0.136 0.149
SK90/2.51 0.15 0.145 0.197 0.264 60.0 0.169 0.157 0.168
SK90/2.52 0.225 0.26 3.994 48.731 60.0 0.437 0.447 0.314
problem t e s nv g c r *
SK90/2.53 0.283 0.283 0.31 0.335 35.493 0.296 0.29 0.31
SK90/2.54 0.279 0.288 0.293 0.298 60.0 0.163 0.165 0.17
SK90/2.55 0.152 0.156 0.15 0.156 60.0 0.142 0.146 0.171
SK90/2.56 0.155 0.141 0.175 0.188 15.434 0.149 0.161 0.161
SK90/2.57 0.168 0.15 0.208 0.23 60.0 0.15 0.155 0.142
SK90/2.58 0.163 0.151 0.217 0.25 60.0 0.153 0.144 0.157
SK90/2.59 0.143 0.15 0.171 0.161 60.0 0.138 0.137 0.173
SK90/2.60 0.153 0.15 0.152 0.158 60.0 0.147 0.143 0.155
SK90/2.61 0.203 0.195 0.829 60.0 60.0 0.302 0.277 0.441
SK90/4.01 0.139 0.146 0.181 0.202 60.0 0.142 0.14 0.136
SK90/4.02 0.196 0.196 2.679 14.068 60.0 0.255 0.232 0.277
SK90/4.03 0.173 0.178 0.478 0.902 60.0 0.178 0.186 0.215
SK90/4.04 0.161 0.163 0.217 0.46 60.0 0.177 0.179 0.192
SK90/4.05 0.151 0.14 0.168 0.194 60.0 0.148 0.149 0.161
SK90/4.06 0.161 0.159 0.271 1.772 60.0 0.176 0.176 0.179
SK90/4.07 0.158 0.168 0.176 0.193 60.0 0.152 0.176 0.204
SK90/4.08 0.143 0.15 0.16 0.159 24.942 0.145 0.15 0.177
SK90/4.09 0.18 0.166 0.288 0.817 60.0 0.176 0.177 0.215
SK90/4.10 0.161 0.167 0.241 0.28 60.0 0.185 0.188 0.196
SK90/4.11 0.153 0.145 0.198 0.215 60.0 0.181 0.174 0.191
SK90/4.12 0.15 0.153 0.182 0.215 60.0 0.15 0.16 0.179
SK90/4.13 0.152 0.145 0.2 0.236 60.0 0.156 0.163 0.178
SK90/4.14 0.178 0.174 1.149 3.447 60.0 0.22 0.216 0.268
SK90/4.15 0.142 0.156 0.166 0.154 60.0 0.151 0.142 0.155
SK90/4.16 0.175 0.164 0.271 0.369 60.0 0.173 0.166 0.192
problem t e s nv g c r *
SK90/4.17 0.165 0.156 0.196 0.224 60.0 0.179 0.169 0.179
SK90/4.18 0.168 0.139 0.222 0.42 60.0 0.148 0.157 0.15
SK90/4.19 0.157 0.147 0.172 0.18 60.0 0.15 0.154 0.174
SK90/4.20 0.163 0.169 0.535 1.11 60.0 0.173 0.177 0.179
SK90/4.21 0.18 0.171 0.449 0.983 60.0 0.2 0.191 0.226
SK90/4.22 0.17 0.155 0.212 0.254 60.0 0.165 0.166 0.189
SK90/4.23 0.171 0.159 0.29 6.571 60.0 0.167 0.154 0.18
SK90/4.24 0.171 0.17 0.285 0.358 60.0 0.176 0.171 0.196
SK90/4.25 0.144 0.152 0.165 0.191 60.0 0.158 0.155 0.166
SK90/4.26 0.174 0.176 0.369 0.559 60.0 0.181 0.221 0.26
SK90/4.27 0.189 0.182 0.362 0.374 60.0 0.198 60.0 0.215
SK90/4.28 0.223 0.239 1.171 47.53 60.0 0.25 0.229 0.261
SK90/4.29 0.158 0.161 0.2 0.249 60.0 0.166 0.151 0.177
SK90/4.30 0.211 0.199 0.357 0.431 60.0 0.195 0.183 0.229
SK90/4.31 0.162 0.177 0.214 0.223 60.0 0.158 0.172 0.194
SK90/4.32 0.178 0.169 0.605 1.464 60.0 0.189 60.0 0.742
SK90/4.33 0.138 0.165 0.155 0.154 0.796 0.146 0.137 0.159
SK90/4.34 0.135 0.144 0.145 0.164 0.99 0.149 0.161 0.173
SK90/4.35 0.136 0.137 0.15 0.144 0.67 0.139 0.139 0.147
SK90/4.36 0.141 0.137 0.142 0.148 0.665 0.134 0.14 0.145
SK90/4.37 0.139 0.141 0.134 0.141 0.142 0.147 0.135 0.138
SK90/4.38 0.164 0.158 0.201 0.223 60.0 0.183 0.152 0.18
SK90/4.39 0.159 0.151 0.196 0.178 60.0 0.145 0.156 0.173
SK90/4.40 0.551 0.272 0.311 0.715 60.0 0.278 0.292 0.298
SK90/4.41 0.275 0.275 0.301 0.316 7.477 0.156 0.151 0.171
problem t e s nv g c r *
SK90/4.42 0.169 0.173 0.302 0.93 60.0 0.173 0.175 0.198
SK90/4.43 0.229 0.214 0.617 0.946 60.0 0.26 0.247 0.314
SK90/4.44 0.159 0.147 0.202 0.204 2.456 0.164 0.153 0.151
SK90/4.45 0.138 0.146 0.172 0.146 3.353 0.136 0.137 0.151
SK90/4.46 0.145 0.139 0.159 0.16 0.151 0.155 0.146 0.137
SK90/4.47 0.249 0.165 0.265 0.249 60.0 0.18 0.172 0.167
SK90/4.48 0.156 0.158 0.23 0.591 60.0 0.145 0.278 0.32
SK90/4.49 0.158 0.149 0.242 0.322 60.0 0.153 0.146 0.159
SK90/4.50 0.136 0.142 0.151 0.161 60.0 0.149 0.135 0.145
SK90/4.51 0.171 0.158 0.2 0.219 60.0 0.149 0.152 0.185
SK90/4.52 0.196 0.184 0.416 0.747 60.0 0.186 0.227 0.281
SK90/4.53 0.16 0.168 0.257 0.496 60.0 0.164 0.17 0.2
SK90/4.54 0.144 0.146 0.164 0.176 60.0 0.146 0.154 0.167
SK90/4.55 0.148 0.145 0.164 0.176 2.045 0.141 0.147 0.15
SK90/4.56 0.15 0.138 0.172 0.164 60.0 0.164 0.146 0.142
SK90/4.57 0.172 0.15 0.366 60.0 60.0 0.152 0.158 0.173
SK90/4.59 0.209 0.202 0.363 0.384 60.0 0.2 0.214 0.21
SK90/4.60 0.203 0.202 0.413 5.037 60.0 0.192 0.195 0.236
SK90/4.61 0.242 0.232 1.434 60.0 60.0 0.272 0.271 0.333
Secret_05_TRS/aprove1 0.217 0.257 6.601 60.0 60.0 0.586 0.568 0.324
Secret_05_TRS/aprove2 0.184 0.186 0.838 22.17 60.0 0.215 0.201 0.25
Secret_05_TRS/aprove3 0.256 0.195 1.456 60.0 60.0 0.238 0.24 0.241
Secret_05_TRS/aprove4 0.201 0.221 0.682 6.956 60.0 0.205 0.212 0.267
Secret_05_TRS/aprove5 0.273 0.261 1.412 12.51 60.0 0.288 0.306 0.356
Secret_05_TRS/cime1 0.348 0.286 13.218 60.0 60.0 0.4 0.402 0.402
problem t e s nv g c r *
Secret_05_TRS/cime2 0.175 0.177 1.09 4.215 60.0 0.216 0.202 0.241
Secret_05_TRS/cime3 0.208 0.221 54.346 60.0 60.0 1.002 0.993 1.228
Secret_05_TRS/cime4 0.155 0.159 0.263 1.484 60.0 0.152 0.154 0.171
Secret_05_TRS/cime5 0.489 0.501 60.0 60.0 60.0 60.0 60.0 1.49
Secret_05_TRS/matchbox1 0.144 0.154 0.173 0.166 60.0 0.138 0.148 0.165
Secret_05_TRS/matchbox2 0.151 0.151 0.161 0.162 60.0 0.143 0.143 0.167
Secret_05_TRS/teparla1 0.147 0.163 0.247 0.38 60.0 0.255 0.193 0.247
Secret_05_TRS/teparla2 0.159 0.157 0.285 0.842 60.0 0.365 0.349 0.477
Secret_05_TRS/teparla3 0.173 0.166 0.258 0.72 60.0 0.212 0.201 0.243
Secret_05_TRS/tpa1 0.223 0.198 0.685 2.211 60.0 0.227 0.216 0.274
Secret_05_TRS/tpa2 0.175 0.185 0.419 0.774 60.0 0.212 0.2 0.241
Secret_05_TRS/tpa3 0.209 0.181 0.545 1.047 60.0 0.213 0.209 0.276
Secret_05_TRS/tpa4 0.2 0.188 0.686 1.441 60.0 0.225 0.218 0.299
Secret_05_TRS/tpa5 0.213 0.214 0.741 3.019 60.0 0.229 0.226 0.265
Secret_05_TRS/ttt1 0.15 0.166 0.222 1.942 60.0 0.166 0.17 0.183
Secret_05_TRS/ttt2 0.161 0.141 0.155 0.175 60.0 0.142 0.147 0.163
Secret_06_TRS/10 0.165 0.16 0.217 0.298 60.0 0.179 0.191 0.22
Secret_06_TRS/2 0.169 0.161 0.314 0.48 60.0 0.196 0.278 0.287
Secret_06_TRS/3 0.208 0.201 0.501 1.313 60.0 0.231 60.0 0.257
Secret_06_TRS/4 0.172 0.166 0.233 0.278 60.0 0.166 60.0 0.214
Secret_06_TRS/5 0.168 0.166 0.237 0.329 60.0 0.179 0.211 0.267
Secret_06_TRS/6 0.177 0.167 0.236 0.287 60.0 0.187 60.0 0.688
Secret_06_TRS/7 0.168 0.18 0.29 0.446 60.0 0.195 0.455 0.508
Secret_06_TRS/8 0.167 0.177 0.258 0.376 60.0 0.169 0.17 0.2
Secret_06_TRS/9 0.175 0.17 0.261 0.312 60.0 0.185 0.21 0.248
problem t e s nv g c r *
Secret_06_TRS/addList 0.283 0.28 60.0 60.0 60.0 0.34 0.343 0.426
Secret_06_TRS/cime1 0.219 0.239 20.612 60.0 60.0 0.613 0.62 0.465
Secret_06_TRS/divExp 0.195 0.206 0.534 3.649 60.0 0.729 0.679 1.203
Secret_06_TRS/division 0.202 0.202 1.26 60.0 60.0 0.22 0.208 0.259
Secret_06_TRS/double 0.229 0.239 9.212 60.0 60.0 0.291 0.295 0.332
Secret_06_TRS/gen-1 0.149 0.157 0.255 0.403 60.0 0.17 0.163 0.204
Secret_06_TRS/gen-10 0.159 0.186 0.366 1.998 60.0 0.199 0.215 0.228
Secret_06_TRS/gen-14 0.157 0.174 0.308 5.495 60.0 0.176 0.168 0.193
Secret_06_TRS/gen-15 0.161 0.17 0.342 0.584 60.0 0.173 0.192 0.185
Secret_06_TRS/gen-17 0.224 0.174 0.508 35.889 60.0 0.187 0.182 0.203
Secret_06_TRS/gen-18 0.169 0.177 0.267 1.321 60.0 0.161 0.155 0.176
Secret_06_TRS/gen-22 0.236 0.204 0.996 60.0 60.0 0.255 0.269 0.235
Secret_06_TRS/gen-25 0.16 0.171 0.368 42.25 60.0 0.197 0.199 0.263
Secret_06_TRS/gen-28 0.16 0.17 0.291 1.809 60.0 0.166 0.171 0.2
Secret_06_TRS/gen-9 0.169 0.164 0.326 5.214 60.0 0.19 0.182 0.213
Secret_06_TRS/logarithm 0.222 0.215 4.715 60.0 60.0 0.255 0.241 0.331
Secret_06_TRS/nrOfNodes 0.192 0.21 60.0 60.0 60.0 0.23 0.229 0.277
Secret_06_TRS/reverse 0.214 0.218 2.494 60.0 60.0 0.225 0.238 0.283
Secret_06_TRS/sumList 0.228 0.222 60.0 60.0 60.0 0.254 0.268 0.324
Secret_06_TRS/times 0.256 0.251 15.5 60.0 60.0 13.635 13.553 1.255
Secret_06_TRS/toList 0.231 0.21 60.0 60.0 60.0 0.278 0.247 0.312
Secret_06_TRS/tpa01 0.144 0.145 0.169 0.18 60.0 0.157 0.155 0.195
Secret_06_TRS/tpa02 0.16 0.141 0.159 0.188 60.0 0.15 0.156 0.185
Secret_06_TRS/tpa03 0.147 0.149 0.166 0.188 60.0 0.157 0.155 0.185
Secret_06_TRS/tpa04 0.22 0.23 1.941 8.455 60.0 0.25 0.252 0.31
problem t e s nv g c r *
Secret_06_TRS/tpa05 0.23 0.228 1.173 3.03 60.0 0.314 0.285 0.412
Secret_06_TRS/tpa06 0.215 0.218 2.11 60.0 60.0 0.249 0.239 0.32
Secret_06_TRS/tpa07 0.188 0.193 0.586 1.252 60.0 0.217 0.221 0.284
Secret_06_TRS/tpa08 0.223 0.213 0.775 2.036 60.0 0.284 0.299 0.395
Secret_06_TRS/tpa09 0.28 0.291 3.671 15.272 60.0 0.397 0.383 0.557
Secret_06_TRS/tpa10 0.256 0.25 3.653 11.736 60.0 0.268 0.269 0.347
Secret_07_TRS/1 0.197 0.204 0.625 2.111 60.0 0.393 0.362 0.553
Secret_07_TRS/2 0.254 0.215 2.741 60.0 60.0 5.911 0.36 0.902
Secret_07_TRS/3 0.269 0.254 2.197 60.0 60.0 2.539 60.0 1.284
Secret_07_TRS/4 0.26 0.239 0.77 24.277 60.0 0.522 1.225 0.758
Secret_07_TRS/5 0.51 0.314 3.893 60.0 60.0 1.895 60.0 1.352
Secret_07_TRS/7 0.213 0.181 0.283 0.455 60.0 0.224 60.0 0.259
Secret_07_TRS/aprove01 0.287 0.287 39.374 60.0 60.0 0.367 0.364 0.482
Secret_07_TRS/aprove02 0.3 0.282 23.701 60.0 60.0 0.343 0.324 0.41
Secret_07_TRS/aprove03 0.394 0.412 60.0 60.0 60.0 0.504 0.534 0.68
Secret_07_TRS/aprove04 0.313 0.309 34.591 60.0 60.0 0.364 0.378 0.458
Secret_07_TRS/aprove05 0.225 0.229 12.637 60.0 60.0 0.27 0.274 0.347
Secret_07_TRS/aprove06 0.305 0.312 27.982 60.0 60.0 0.369 0.357 0.482
Secret_07_TRS/aprove07 0.213 0.204 8.436 60.0 60.0 0.247 0.237 0.317
Secret_07_TRS/aprove08 0.292 0.3 60.0 60.0 60.0 0.312 0.328 0.376
Secret_07_TRS/aprove09 0.252 0.264 60.0 60.0 60.0 0.299 0.286 0.377
Secret_07_TRS/aprove10 0.244 0.253 12.036 60.0 60.0 0.327 0.328 0.438
Secret_07_TRS/secret1 0.264 0.258 5.3 60.0 60.0 0.357 0.356 0.41
Secret_07_TRS/secret2 0.228 0.23 4.73 60.0 60.0 0.3 0.276 0.384
Secret_07_TRS/secret3 0.208 0.212 0.89 14.413 60.0 0.239 0.244 0.267
problem t e s nv g c r *
Secret_07_TRS/secret4 0.269 0.286 7.14 60.0 60.0 0.375 0.351 0.397
Secret_07_TRS/secret5 0.282 0.27 7.262 19.003 60.0 0.329 0.33 0.376
Strategy_removed_AG01/#4.12a 0.139 0.141 0.196 0.228 60.0 0.14 0.151 0.164
Strategy_removed_AG01/#4.13 0.144 0.151 0.177 0.231 60.0 0.156 0.139 0.152
Strategy_removed_AG01/#4.14 0.156 0.147 0.193 0.219 60.0 0.161 0.159 0.17
Strategy_removed_AG01/#4.15 0.182 0.165 0.285 7.107 60.0 0.175 0.164 0.197
Strategy_removed_AG01/#4.16 0.142 0.142 0.207 0.189 60.0 0.155 0.144 0.174
Strategy_removed_AG01/#4.17 0.159 0.169 0.205 0.223 60.0 0.173 0.169 0.201
Strategy_removed_AG01/#4.18 0.154 0.169 0.178 0.182 60.0 0.159 0.163 0.184
Strategy_removed_AG01/#4.19 0.171 0.164 0.256 0.722 60.0 0.199 0.199 0.21
Strategy_removed_AG01/#4.2 0.158 0.161 0.201 0.52 60.0 0.177 0.156 0.184
Strategy_removed_AG01/#4.20 0.154 0.15 0.154 0.159 0.188 0.147 0.147 0.147
Strategy_removed_AG01/#4.20a 0.153 0.151 0.184 0.215 7.477 0.16 0.17 0.17
Strategy_removed_AG01/#4.21 0.17 0.147 0.201 0.199 1.866 0.144 0.149 0.16
Strategy_removed_AG01/#4.22 0.15 0.149 0.205 0.514 60.0 0.156 0.148 0.174
Strategy_removed_AG01/#4.23 0.169 0.171 0.303 2.054 60.0 0.177 0.187 0.196
Strategy_removed_AG01/#4.25 0.145 0.14 0.153 0.166 2.527 0.157 0.14 0.171
Strategy_removed_AG01/#4.26 0.169 0.166 0.393 4.042 60.0 0.17 0.177 0.201
Strategy_removed_AG01/#4.27 0.168 0.182 0.627 1.939 60.0 0.191 0.182 0.212
Strategy_removed_AG01/#4.28 0.172 0.156 0.228 0.278 60.0 0.153 0.166 0.191
Strategy_removed_AG01/#4.29 0.208 0.219 1.737 15.558 60.0 0.24 0.242 0.316
Strategy_removed_AG01/#4.3 0.141 0.161 0.152 0.174 60.0 0.152 0.146 0.161
Strategy_removed_AG01/#4.30 0.187 0.177 0.522 5.16 60.0 0.184 0.203 0.217
Strategy_removed_AG01/#4.30a 0.181 0.19 0.397 0.666 60.0 0.182 0.192 0.222
Strategy_removed_AG01/#4.30b 0.191 0.193 0.811 5.661 60.0 0.211 0.197 0.233
problem t e s nv g c r *
Strategy_removed_AG01/#4.30c 0.194 0.192 0.783 4.574 60.0 0.204 0.197 0.232
Strategy_removed_AG01/#4.32 0.176 0.167 0.198 0.256 60.0 0.161 0.164 0.185
Strategy_removed_AG01/#4.33 0.196 0.182 0.668 60.0 60.0 0.209 0.194 0.253
Strategy_removed_AG01/#4.34 0.183 0.175 0.416 1.465 60.0 0.598 0.594 0.629
Strategy_removed_AG01/#4.35 0.461 0.449 19.109 60.0 60.0 60.0 60.0 1.479
Strategy_removed_AG01/#4.36 0.348 0.371 9.473 60.0 60.0 0.386 0.397 0.455
Strategy_removed_AG01/#4.37 0.166 0.153 0.193 0.181 60.0 0.156 0.158 0.169
Strategy_removed_AG01/#4.37a 0.175 0.158 0.213 0.222 60.0 0.181 0.176 0.198
Strategy_removed_AG01/#4.4 0.149 0.151 0.179 0.184 60.0 0.15 0.164 0.158
Strategy_removed_AG01/#4.7 0.138 0.141 0.18 0.188 31.035 0.154 0.157 0.163
Strategy_removed_CSR_05/Ex14_AEGL02 0.156 0.146 0.219 0.23 60.0 0.148 0.156 0.167
Strategy_removed_CSR_05/Ex15_Luc98 0.167 0.178 0.404 0.432 60.0 0.184 0.176 0.194
Strategy_removed_CSR_05/Ex1_2_AEL03 0.201 0.214 1.484 44.09 60.0 0.27 0.273 0.287
Strategy_removed_CSR_05/Ex1_2_Luc02c 0.175 0.159 0.173 0.177 1.129 0.175 0.179 0.186
Strategy_removed_CSR_05/Ex1_GL02a 0.17 0.174 0.438 0.382 60.0 0.177 0.187 0.2
Strategy_removed_CSR_05/Ex1_GM03 0.167 0.167 0.399 1.29 60.0 0.164 0.163 0.187
Strategy_removed_CSR_05/Ex1_GM99 0.143 0.164 0.176 0.169 60.0 0.136 0.137 0.154
Strategy_removed_CSR_05/Ex1_Luc02b 0.168 0.164 0.261 0.275 60.0 0.165 0.179 0.197
Strategy_removed_CSR_05/Ex1_Zan97 0.138 0.138 0.175 0.183 0.168 0.144 0.15 0.162
Strategy_removed_CSR_05/Ex24_GM04 0.159 0.149 0.159 0.196 60.0 0.146 0.14 0.15
Strategy_removed_CSR_05/Ex26_Luc03b 0.206 0.198 0.793 2.424 60.0 0.223 0.214 0.251
Strategy_removed_CSR_05/Ex2_Luc03b 0.172 0.178 0.365 0.37 60.0 0.18 0.18 0.214
Strategy_removed_CSR_05/Ex3_12_Luc96a 0.145 0.148 0.177 0.214 60.0 0.155 0.148 0.171
Strategy_removed_CSR_05/Ex3_2_Luc97 0.189 0.193 0.655 0.611 60.0 0.199 0.204 0.224
Strategy_removed_CSR_05/Ex3_3_25_Bor03 0.189 0.184 0.465 60.0 60.0 0.2 0.187 0.227
problem t e s nv g c r *
Strategy_removed_CSR_05/Ex49_GM04 0.184 0.206 0.602 3.269 60.0 0.192 0.185 0.235
Strategy_removed_CSR_05/Ex4_4_Luc96b 0.142 0.146 0.159 0.163 60.0 0.141 0.151 0.15
Strategy_removed_CSR_05/Ex4_7_15_Bor03 0.149 0.148 0.191 0.197 60.0 0.157 0.155 0.165
Strategy_removed_CSR_05/Ex4_7_37_Bor03 0.224 0.213 1.084 60.0 60.0 0.204 0.207 0.26
Strategy_removed_CSR_05/Ex4_7_56_Bor03 0.152 0.162 0.2 0.205 60.0 0.149 0.168 0.164
Strategy_removed_CSR_05/Ex4_7_77_Bor03 0.134 0.139 0.149 0.15 0.157 0.142 0.133 0.149
Strategy_removed_CSR_05/Ex4_Zan97 0.166 0.17 0.246 0.274 60.0 0.179 0.175 0.183
Strategy_removed_CSR_05/Ex5_7_Luc97 0.266 0.256 6.364 4.239 60.0 0.287 0.289 0.328
Strategy_removed_CSR_05/Ex5_Zan97 0.148 0.136 0.16 0.179 60.0 0.139 0.15 0.152
Strategy_removed_CSR_05/Ex6_15_AEL02 0.293 0.287 12.24 3.319 60.0 0.325 0.316 0.353
Strategy_removed_CSR_05/Ex6_9_Luc02c 0.158 0.166 0.195 0.184 60.0 0.153 0.151 0.166
Strategy_removed_CSR_05/Ex6_GM04 0.136 0.134 0.149 0.154 0.16 0.149 0.139 0.148
Strategy_removed_CSR_05/Ex6_Luc98 0.156 0.157 0.179 0.213 60.0 0.15 0.161 0.167
Strategy_removed_CSR_05/Ex7_BLR02 0.167 0.165 0.362 0.457 60.0 0.165 0.189 0.181
Strategy_removed_CSR_05/Ex8_BLR02 0.167 0.172 0.38 0.659 60.0 0.178 0.178 0.227
Strategy_removed_CSR_05/Ex9_BLR02 0.193 0.188 0.556 60.0 60.0 60.0 60.0 1.211
Strategy_removed_CSR_05/ExAppendixB_AEL03 0.241 0.243 3.426 60.0 60.0 60.0 60.0 1.277
Strategy_removed_CSR_05/ExConc_Zan97 0.136 0.143 0.143 0.15 0.158 0.143 0.141 0.155
Strategy_removed_CSR_05/ExIntrod_GM01 0.16 0.156 0.434 0.478 60.0 0.173 60.0 0.701
Strategy_removed_CSR_05/ExIntrod_GM04 0.152 0.16 0.346 0.373 60.0 0.169 60.0 0.685
Strategy_removed_CSR_05/ExIntrod_GM99 0.202 0.192 0.975 32.803 60.0 0.203 0.214 0.245
Strategy_removed_CSR_05/ExIntrod_Zan97 0.185 0.186 0.803 2.725 60.0 0.187 0.193 0.232
Strategy_removed_mixed_05/ExSec11_1_Luc02a 0.23 0.223 1.841 5.41 60.0 0.248 0.243 0.291
Strategy_removed_mixed_05/bn111 0.137 0.143 0.163 0.166 60.0 0.161 0.15 0.161
Strategy_removed_mixed_05/ex1 0.135 0.155 0.172 0.168 0.236 0.144 0.146 0.157
problem t e s nv g c r *
Strategy_removed_mixed_05/ex2 0.136 0.152 0.17 0.187 60.0 0.156 0.157 0.161
Strategy_removed_mixed_05/ex3 0.15 0.158 0.199 0.231 11.275 0.17 0.165 0.19
Strategy_removed_mixed_05/ex4 0.15 0.146 0.177 0.173 0.294 0.155 0.157 0.17
Strategy_removed_mixed_05/ex5 0.139 0.142 0.151 0.17 0.187 0.148 0.148 0.162
Strategy_removed_mixed_05/ex6 0.149 0.163 0.221 0.276 60.0 0.168 0.18 0.207
Strategy_removed_mixed_05/gkg 0.155 0.145 0.168 0.176 60.0 0.147 0.144 0.162
Strategy_removed_mixed_05/muladd 0.15 0.158 0.185 0.207 60.0 0.153 0.159 0.168
Strategy_removed_mixed_05/n001 0.146 0.142 0.181 0.2 60.0 0.146 0.16 0.167
Strategy_removed_mixed_05/test10 0.16 0.158 0.239 0.668 60.0 0.161 0.172 0.19
Strategy_removed_mixed_05/test75 0.149 0.143 0.174 0.193 60.0 0.149 0.142 0.155
Strategy_removed_mixed_05/test76 0.159 0.153 0.222 0.397 60.0 0.174 0.166 0.181
Strategy_removed_mixed_05/test77 0.155 0.163 0.288 0.508 60.0 0.166 0.167 0.192
Strategy_removed_mixed_05/test830 0.167 0.161 0.239 0.263 60.0 0.182 0.169 0.164
Strategy_removed_mixed_05/test9 0.142 0.141 0.197 0.226 60.0 0.163 0.164 0.171
Strategy_removed_mixed_05/toyama 0.142 0.14 0.169 0.186 60.0 0.136 0.138 0.151
Strategy_removed_mixed_05/tricky1 0.167 0.158 0.249 0.405 60.0 0.177 0.175 0.158
TCT_09/ackantiinn 0.201 0.185 0.84 1.655 60.0 0.235 0.226 0.278
TCT_09/ackantiinn2 0.151 0.176 0.289 0.416 60.0 0.169 0.181 0.201
TCT_09/ackhofbauer 0.171 0.177 0.242 0.346 60.0 0.184 0.231 0.271
TCT_09/ackhofbauernonsimp 0.169 0.173 0.541 60.0 60.0 0.199 0.193 0.258
TCT_09/add 0.146 0.153 0.155 0.155 60.0 0.142 0.136 0.157
TCT_09/addmult 0.151 0.165 0.232 0.249 60.0 0.163 0.158 0.171
TCT_09/append 0.136 0.138 0.162 0.157 60.0 0.143 0.144 0.148
TCT_09/bits 0.171 0.154 0.246 0.276 60.0 0.162 0.16 0.19
TCT_09/dexpdp 0.138 0.14 0.185 0.191 60.0 0.142 0.149 0.156
problem t e s nv g c r *
TCT_09/dexpdp2 0.151 0.142 0.154 0.162 2.574 0.146 0.146 0.159
TCT_09/expantiinn 0.155 0.151 0.212 0.213 16.046 0.154 60.0 0.672
TCT_09/insertsort 0.194 0.184 0.681 4.456 60.0 0.213 0.205 0.246
TCT_09/lcs 0.221 0.207 0.92 1.885 60.0 0.263 0.249 0.306
TCT_09/ma1 0.142 0.143 0.166 0.184 60.0 0.155 0.15 0.162
TCT_09/ma2 0.149 0.14 0.185 0.183 60.0 0.142 0.162 0.184
TCT_09/ma3 0.14 0.166 0.176 0.187 60.0 0.15 0.155 0.168
TCT_09/ma4 0.173 0.19 0.333 0.426 60.0 0.167 0.176 0.185
TCT_09/ma5 0.157 0.154 0.208 0.221 16.15 0.17 60.0 0.681
TCT_09/ma6 0.206 0.202 0.628 8.905 60.0 0.197 0.198 0.207
TCT_09/ma7 0.224 0.234 1.695 60.0 60.0 0.23 0.242 0.262
TCT_09/ma8 0.177 0.171 1.399 60.0 60.0 0.166 0.188 0.183
TCT_09/ma9 0.149 0.15 0.239 0.27 60.0 0.165 0.157 0.176
TCT_09/mergesort 0.271 0.285 4.965 60.0 60.0 0.3 0.313 0.409
TCT_09/nonmultrec 0.176 0.193 0.477 60.0 60.0 0.205 0.197 0.225
TCT_09/qbf 0.264 0.26 5.736 11.369 60.0 0.303 0.293 0.297
TCT_09/revappend 0.154 0.154 0.206 0.213 60.0 0.163 0.158 0.176
TCT_09/shuffle 0.186 0.187 0.293 0.298 60.0 0.171 0.162 0.196
TCT_09/supexpdg 0.177 0.171 0.254 0.281 60.0 0.186 60.0 0.7
TCT_09/supexpur 0.156 0.151 0.195 0.208 60.0 0.157 0.185 0.203
TCT_09/z86 0.159 0.157 0.218 0.262 10.217 0.162 0.2 0.233
Transformed_CSR_04/Ex14_AEGL02_C 0.477 0.46 38.724 60.0 60.0 0.626 0.666 0.861
Transformed_CSR_04/Ex14_AEGL02_FR 0.179 0.185 1.594 2.333 60.0 0.222 0.214 0.256
Transformed_CSR_04/Ex14_AEGL02_GM 0.23 0.215 1.297 0.917 60.0 0.215 0.225 0.253
Transformed_CSR_04/Ex14_AEGL02_L 0.137 0.141 0.171 0.173 0.159 0.149 0.15 0.147
problem t e s nv g c r *
Transformed_CSR_04/Ex14_AEGL02_Z 0.161 0.164 0.837 1.103 60.0 0.168 0.167 0.213
Transformed_CSR_04/Ex14_AEGL02_iGM 0.499 0.436 36.386 21.652 60.0 0.524 0.525 0.643
Transformed_CSR_04/Ex14_Luc06_C 0.336 0.366 20.414 43.531 60.0 0.549 0.543 0.728
Transformed_CSR_04/Ex14_Luc06_FR 0.152 0.159 0.274 0.278 60.0 0.156 0.157 0.199
Transformed_CSR_04/Ex14_Luc06_GM 0.218 0.18 1.256 1.744 60.0 0.247 0.234 0.332
Transformed_CSR_04/Ex14_Luc06_L 0.149 0.145 0.208 0.209 0.185 0.15 0.147 0.179
Transformed_CSR_04/Ex14_Luc06_iGM 0.345 0.299 15.956 9.267 60.0 0.447 0.452 0.61
Transformed_CSR_04/Ex15_Luc06_C 0.218 0.234 1.382 1.485 60.0 0.287 0.285 0.38
Transformed_CSR_04/Ex15_Luc06_FR 0.161 0.159 0.373 0.377 60.0 0.169 0.19 0.221
Transformed_CSR_04/Ex15_Luc06_GM 0.153 0.15 0.25 0.253 60.0 0.159 0.152 0.175
Transformed_CSR_04/Ex15_Luc06_L 0.139 0.129 0.138 0.145 0.148 0.136 0.134 0.15
Transformed_CSR_04/Ex15_Luc06_Z 0.156 0.148 0.362 0.339 60.0 0.174 0.154 0.179
Transformed_CSR_04/Ex15_Luc06_iGM 0.259 0.218 0.734 0.707 60.0 0.248 0.251 0.298
Transformed_CSR_04/Ex15_Luc98_C 0.965 1.078 60.0 60.0 60.0 1.437 1.513 1.803
Transformed_CSR_04/Ex15_Luc98_FR 0.186 0.19 6.587 6.003 60.0 0.242 0.252 0.322
Transformed_CSR_04/Ex15_Luc98_GM 0.258 0.299 11.45 10.4 60.0 0.334 0.333 0.412
Transformed_CSR_04/Ex15_Luc98_Z 0.185 0.198 5.462 4.61 60.0 0.222 0.214 0.261
Transformed_CSR_04/Ex15_Luc98_iGM 1.308 1.523 60.0 60.0 60.0 1.318 1.33 1.168
Transformed_CSR_04/Ex16_Luc06_C 0.225 0.207 1.073 1.922 60.0 0.271 0.279 0.379
Transformed_CSR_04/Ex16_Luc06_FR 0.143 0.142 0.19 0.186 1.195 0.147 0.153 0.153
Transformed_CSR_04/Ex16_Luc06_GM 0.155 0.151 0.28 0.326 60.0 0.172 0.188 0.222
Transformed_CSR_04/Ex16_Luc06_L 0.144 0.142 0.146 0.143 0.147 0.131 0.139 0.143
Transformed_CSR_04/Ex16_Luc06_iGM 0.228 0.195 0.829 1.128 60.0 0.24 0.3 0.341
Transformed_CSR_04/Ex18_Luc06_C 0.228 0.239 1.441 1.471 60.0 0.277 0.297 0.406
Transformed_CSR_04/Ex18_Luc06_FR 0.154 0.162 0.278 0.269 60.0 0.163 0.181 0.211
problem t e s nv g c r *
Transformed_CSR_04/Ex18_Luc06_GM 0.182 0.153 0.217 0.233 60.0 0.161 0.163 0.192
Transformed_CSR_04/Ex18_Luc06_L 0.135 0.135 0.145 0.143 0.152 0.145 0.134 0.143
Transformed_CSR_04/Ex18_Luc06_Z 0.143 0.137 0.18 0.184 1.24 0.145 0.148 0.165
Transformed_CSR_04/Ex18_Luc06_iGM 0.239 0.235 0.772 0.726 60.0 0.232 0.309 0.36
Transformed_CSR_04/Ex1_2_AEL03_C 2.515 2.661 60.0 60.0 60.0 3.818 3.804 3.576
Transformed_CSR_04/Ex1_2_AEL03_FR 0.27 0.289 10.538 60.0 60.0 0.343 0.355 0.443
Transformed_CSR_04/Ex1_2_AEL03_GM 0.277 0.271 56.431 60.0 60.0 0.692 0.668 1.116
Transformed_CSR_04/Ex1_2_AEL03_Z 0.221 0.22 6.182 60.0 60.0 0.252 0.269 0.333
Transformed_CSR_04/Ex1_2_AEL03_iGM 1.755 1.175 60.0 60.0 60.0 1.975 2.067 2.162
Transformed_CSR_04/Ex1_2_Luc02c_C 0.377 0.361 22.061 60.0 60.0 0.473 0.473 0.702
Transformed_CSR_04/Ex1_2_Luc02c_FR 0.163 0.171 0.539 0.86 60.0 0.17 0.166 0.18
Transformed_CSR_04/Ex1_2_Luc02c_GM 0.174 0.166 0.468 0.512 60.0 0.172 0.172 0.207
Transformed_CSR_04/Ex1_2_Luc02c_Z 0.152 0.144 0.324 0.462 60.0 0.163 0.179 0.159
Transformed_CSR_04/Ex1_2_Luc02c_iGM 0.277 0.261 7.26 5.983 60.0 0.324 0.325 0.443
Transformed_CSR_04/Ex1_GL02a_C 0.724 0.744 60.0 60.0 60.0 0.983 0.982 1.389
Transformed_CSR_04/Ex1_GL02a_FR 0.195 0.212 7.613 4.416 60.0 0.261 0.282 0.346
Transformed_CSR_04/Ex1_GL02a_GM 0.222 0.212 5.701 1.413 60.0 0.25 0.244 0.263
Transformed_CSR_04/Ex1_GL02a_L 0.14 0.153 0.188 0.166 0.22 0.149 0.146 0.157
Transformed_CSR_04/Ex1_GL02a_Z 0.201 0.212 6.827 2.657 60.0 0.229 0.249 0.276
Transformed_CSR_04/Ex1_GL02a_iGM 0.92 0.814 60.0 60.0 60.0 0.738 0.734 0.915
Transformed_CSR_04/Ex1_GM03_C 0.6 0.613 60.0 60.0 60.0 0.951 0.937 1.312
Transformed_CSR_04/Ex1_GM03_FR 0.229 0.23 4.198 22.278 60.0 0.262 0.264 0.299
Transformed_CSR_04/Ex1_GM03_GM 0.219 0.202 8.006 60.0 60.0 0.301 0.285 0.416
Transformed_CSR_04/Ex1_GM03_Z 0.179 0.187 1.396 6.503 60.0 0.214 0.201 0.234
Transformed_CSR_04/Ex1_GM03_iGM 0.562 0.479 60.0 60.0 60.0 0.641 0.653 0.86
problem t e s nv g c r *
Transformed_CSR_04/Ex1_GM99_C 0.223 0.213 2.089 60.0 60.0 0.261 0.269 0.357
Transformed_CSR_04/Ex1_GM99_FR 0.143 0.144 0.276 0.473 60.0 0.155 0.148 0.163
Transformed_CSR_04/Ex1_GM99_GM 0.194 0.176 0.346 2.66 60.0 0.176 0.182 0.192
Transformed_CSR_04/Ex1_GM99_L 0.139 0.143 0.149 0.149 0.146 0.165 0.132 0.156
Transformed_CSR_04/Ex1_GM99_iGM 0.301 0.227 2.887 60.0 60.0 0.25 0.251 0.287
Transformed_CSR_04/Ex1_Luc02b_C 0.593 0.584 60.0 60.0 60.0 0.84 0.885 1.188
Transformed_CSR_04/Ex1_Luc02b_FR 0.184 0.181 1.036 1.09 60.0 0.216 0.212 0.259
Transformed_CSR_04/Ex1_Luc02b_GM 0.19 0.2 2.736 4.729 60.0 0.246 0.247 0.329
Transformed_CSR_04/Ex1_Luc02b_Z 0.186 0.189 0.567 0.541 60.0 0.186 0.189 0.213
Transformed_CSR_04/Ex1_Luc02b_iGM 0.498 0.403 60.0 60.0 60.0 0.57 0.575 0.777
Transformed_CSR_04/Ex1_Luc04b_C 0.713 0.646 60.0 58.025 60.0 0.885 1.736 1.429
Transformed_CSR_04/Ex1_Luc04b_FR 0.171 0.162 1.387 0.937 60.0 0.177 0.239 0.289
Transformed_CSR_04/Ex1_Luc04b_GM 0.26 0.274 9.766 6.892 60.0 0.306 60.0 0.833
Transformed_CSR_04/Ex1_Luc04b_Z 0.168 0.178 0.627 0.617 60.0 0.175 0.18 0.217
Transformed_CSR_04/Ex1_Luc04b_iGM 0.497 0.548 60.0 57.833 60.0 0.621 3.377 1.194
Transformed_CSR_04/Ex1_Zan97_C 0.196 0.203 1.638 0.991 60.0 0.24 0.258 0.323
Transformed_CSR_04/Ex1_Zan97_FR 0.163 0.147 0.344 0.324 0.327 0.159 0.16 0.21
Transformed_CSR_04/Ex1_Zan97_GM 0.161 0.159 0.454 0.361 19.796 0.161 0.168 0.168
Transformed_CSR_04/Ex1_Zan97_L 0.132 0.142 0.16 0.149 0.145 0.141 0.133 0.156
Transformed_CSR_04/Ex1_Zan97_iGM 0.217 0.221 1.4 1.068 60.0 0.225 0.255 0.242
Transformed_CSR_04/Ex23_Luc06_C 0.298 0.322 5.286 4.739 60.0 0.369 0.412 0.541
Transformed_CSR_04/Ex23_Luc06_FR 0.162 0.17 0.346 0.338 60.0 0.178 0.165 0.216
Transformed_CSR_04/Ex23_Luc06_GM 0.155 0.171 0.23 0.252 60.0 0.17 0.172 0.19
Transformed_CSR_04/Ex23_Luc06_L 0.133 0.14 0.157 0.141 0.136 0.137 0.133 0.135
Transformed_CSR_04/Ex23_Luc06_Z 0.145 0.145 0.165 0.172 0.736 0.141 0.141 0.141
problem t e s nv g c r *
Transformed_CSR_04/Ex23_Luc06_iGM 0.277 0.253 2.079 1.388 60.0 0.274 0.336 0.377
Transformed_CSR_04/Ex24_GM04_C 0.271 0.248 3.346 60.0 60.0 0.33 0.343 0.466
Transformed_CSR_04/Ex24_GM04_FR 0.164 0.163 0.262 0.608 60.0 0.158 0.175 0.191
Transformed_CSR_04/Ex24_GM04_GM 0.16 0.163 0.485 6.368 60.0 0.17 0.166 0.185
Transformed_CSR_04/Ex24_GM04_L 0.132 0.154 0.141 0.14 0.144 0.139 0.151 0.163
Transformed_CSR_04/Ex24_GM04_Z 0.152 0.154 0.248 0.547 60.0 0.151 0.156 0.189
Transformed_CSR_04/Ex24_GM04_iGM 0.268 0.24 4.579 60.0 60.0 0.291 0.286 0.361
Transformed_CSR_04/Ex24_Luc06_C 0.21 0.234 1.294 60.0 60.0 0.279 0.27 0.34
Transformed_CSR_04/Ex24_Luc06_FR 0.156 0.153 0.275 0.451 60.0 0.155 0.148 0.175
Transformed_CSR_04/Ex24_Luc06_GM 0.155 0.167 0.326 1.447 60.0 0.157 0.169 0.184
Transformed_CSR_04/Ex24_Luc06_L 0.142 0.134 0.16 0.15 0.153 0.138 0.147 0.156
Transformed_CSR_04/Ex24_Luc06_iGM 0.252 0.206 1.549 29.169 60.0 0.237 0.248 0.278
Transformed_CSR_04/Ex25_Luc06_C 0.417 0.402 19.441 15.149 60.0 0.529 0.692 1.078
Transformed_CSR_04/Ex25_Luc06_FR 0.176 0.19 0.723 0.582 60.0 0.185 0.228 0.282
Transformed_CSR_04/Ex25_Luc06_GM 0.182 0.162 0.732 0.528 60.0 0.179 0.202 0.258
Transformed_CSR_04/Ex25_Luc06_L 0.141 0.156 0.172 0.152 0.163 0.141 0.145 0.145
Transformed_CSR_04/Ex25_Luc06_Z 0.169 0.176 0.465 0.413 60.0 0.202 0.189 0.211
Transformed_CSR_04/Ex25_Luc06_iGM 0.393 0.402 14.214 5.091 60.0 0.35 0.542 0.542
Transformed_CSR_04/Ex26_Luc03b_C 1.357 1.408 60.0 60.0 60.0 1.921 1.919 2.381
Transformed_CSR_04/Ex26_Luc03b_FR 0.22 0.213 15.483 60.0 60.0 0.316 0.297 0.422
Transformed_CSR_04/Ex26_Luc03b_GM 0.446 0.379 13.756 15.666 60.0 0.481 0.435 0.658
Transformed_CSR_04/Ex26_Luc03b_L 0.152 0.149 0.219 0.202 3.727 0.155 0.153 0.151
Transformed_CSR_04/Ex26_Luc03b_Z 0.202 0.195 10.958 49.004 60.0 0.233 0.254 0.287
Transformed_CSR_04/Ex26_Luc03b_iGM 1.884 1.682 60.0 60.0 60.0 1.902 1.847 2.08
Transformed_CSR_04/Ex2_Luc02a_C 1.467 1.629 60.0 60.0 60.0 2.178 2.125 2.496
problem t e s nv g c r *
Transformed_CSR_04/Ex2_Luc02a_FR 0.272 0.26 5.941 14.372 60.0 0.306 0.296 0.36
Transformed_CSR_04/Ex2_Luc02a_GM 0.226 0.233 18.392 60.0 60.0 0.372 0.386 0.554
Transformed_CSR_04/Ex2_Luc02a_L 0.184 0.177 0.598 0.934 60.0 0.193 0.191 0.222
Transformed_CSR_04/Ex2_Luc02a_Z 0.227 0.238 2.271 6.597 60.0 0.256 0.233 0.289
Transformed_CSR_04/Ex2_Luc02a_iGM 1.2 1.322 60.0 60.0 60.0 1.77 1.672 2.42
Transformed_CSR_04/Ex2_Luc03b_C 0.873 0.884 60.0 60.0 60.0 1.222 1.223 1.679
Transformed_CSR_04/Ex2_Luc03b_FR 0.293 0.292 6.256 4.937 60.0 0.371 0.34 0.431
Transformed_CSR_04/Ex2_Luc03b_GM 0.265 0.239 5.505 5.165 60.0 0.309 0.303 0.382
Transformed_CSR_04/Ex2_Luc03b_L 0.154 0.161 0.143 0.155 0.146 0.149 0.149 0.14
Transformed_CSR_04/Ex2_Luc03b_Z 0.188 0.206 2.568 1.356 60.0 0.206 0.213 0.258
Transformed_CSR_04/Ex2_Luc03b_iGM 1.091 1.014 60.0 60.0 60.0 1.088 1.067 1.355
Transformed_CSR_04/Ex3_12_Luc96a_C 0.436 0.422 37.182 60.0 60.0 0.554 0.56 0.844
Transformed_CSR_04/Ex3_12_Luc96a_FR 0.164 0.16 0.375 0.409 60.0 0.171 0.173 0.208
Transformed_CSR_04/Ex3_12_Luc96a_GM 0.177 0.181 0.711 0.946 60.0 0.204 0.199 0.247
Transformed_CSR_04/Ex3_12_Luc96a_Z 0.146 0.16 0.238 0.256 60.0 0.167 0.173 0.167
Transformed_CSR_04/Ex3_12_Luc96a_iGM 0.354 0.321 19.849 15.859 60.0 0.385 0.394 0.512
Transformed_CSR_04/Ex3_2_Luc97_C 0.708 0.739 60.0 60.0 60.0 0.993 1.04 1.428
Transformed_CSR_04/Ex3_2_Luc97_FR 0.218 0.208 14.34 12.921 60.0 0.3 0.296 0.436
Transformed_CSR_04/Ex3_2_Luc97_GM 0.212 0.201 9.022 7.287 60.0 0.261 0.253 0.294
Transformed_CSR_04/Ex3_2_Luc97_Z 0.212 0.205 13.646 10.436 60.0 0.256 0.247 0.321
Transformed_CSR_04/Ex3_2_Luc97_iGM 0.656 0.619 60.0 60.0 60.0 0.797 0.818 1.01
Transformed_CSR_04/Ex3_3_25_Bor03_C 0.936 0.952 60.0 60.0 60.0 1.371 1.382 1.779
Transformed_CSR_04/Ex3_3_25_Bor03_FR 0.203 0.194 8.523 6.535 60.0 0.268 0.268 0.348
Transformed_CSR_04/Ex3_3_25_Bor03_GM 0.294 0.351 7.133 8.744 60.0 0.39 0.405 0.472
Transformed_CSR_04/Ex3_3_25_Bor03_L 0.156 0.141 0.19 0.202 60.0 0.14 0.154 0.139
problem t e s nv g c r *
Transformed_CSR_04/Ex3_3_25_Bor03_Z 0.183 0.181 3.005 1.673 60.0 0.196 0.198 0.222
Transformed_CSR_04/Ex3_3_25_Bor03_iGM 1.142 1.246 60.0 60.0 60.0 1.414 1.38 1.61
Transformed_CSR_04/Ex49_GM04_C 0.751 0.79 60.0 60.0 60.0 0.997 0.966 1.306
Transformed_CSR_04/Ex49_GM04_FR 0.213 0.208 7.918 60.0 60.0 0.274 0.276 0.353
Transformed_CSR_04/Ex49_GM04_GM 0.377 0.376 9.153 60.0 60.0 0.386 0.388 0.474
Transformed_CSR_04/Ex49_GM04_Z 0.208 0.22 3.193 19.819 60.0 0.251 0.253 0.359
Transformed_CSR_04/Ex49_GM04_iGM 1.161 0.967 60.0 60.0 60.0 1.082 1.083 1.275
Transformed_CSR_04/Ex4_4_Luc96b_C 0.255 0.272 2.232 9.343 60.0 0.317 0.315 0.424
Transformed_CSR_04/Ex4_4_Luc96b_FR 0.158 0.165 0.281 0.396 60.0 0.162 0.17 0.189
Transformed_CSR_04/Ex4_4_Luc96b_GM 0.169 0.189 0.257 0.347 60.0 0.193 0.192 0.232
Transformed_CSR_04/Ex4_4_Luc96b_L 0.147 0.15 0.142 0.141 0.152 0.134 0.144 0.158
Transformed_CSR_04/Ex4_4_Luc96b_Z 0.147 0.145 0.21 0.279 60.0 0.15 0.158 0.163
Transformed_CSR_04/Ex4_4_Luc96b_iGM 0.231 0.221 0.892 1.292 60.0 0.251 0.247 0.31
Transformed_CSR_04/Ex4_7_15_Bor03_C 0.389 0.439 37.504 28.185 60.0 0.547 60.0 1.091
Transformed_CSR_04/Ex4_7_15_Bor03_FR 0.19 0.18 0.648 0.617 60.0 0.184 0.23 0.272
Transformed_CSR_04/Ex4_7_15_Bor03_GM 0.188 0.202 0.72 0.747 60.0 0.223 0.23 0.247
Transformed_CSR_04/Ex4_7_15_Bor03_L 0.153 0.151 0.166 0.169 0.682 0.147 0.144 0.149
Transformed_CSR_04/Ex4_7_15_Bor03_Z 0.159 0.153 0.247 0.261 60.0 0.16 0.159 0.189
Transformed_CSR_04/Ex4_7_15_Bor03_iGM 0.42 0.449 19.262 6.611 60.0 0.429 1.019 0.822
Transformed_CSR_04/Ex4_7_37_Bor03_C 1.035 1.113 60.0 60.0 60.0 1.685 1.646 2.101
Transformed_CSR_04/Ex4_7_37_Bor03_FR 0.243 0.244 6.365 60.0 60.0 0.271 0.266 0.349
Transformed_CSR_04/Ex4_7_37_Bor03_GM 0.274 0.275 19.655 60.0 60.0 0.416 0.407 0.616
Transformed_CSR_04/Ex4_7_37_Bor03_Z 0.243 0.248 2.836 60.0 60.0 0.247 0.246 0.293
Transformed_CSR_04/Ex4_7_37_Bor03_iGM 0.769 0.649 60.0 60.0 60.0 1.016 1.02 1.342
Transformed_CSR_04/Ex4_7_56_Bor03_C 0.508 0.503 39.445 60.0 60.0 0.688 0.666 0.873
problem t e s nv g c r *
Transformed_CSR_04/Ex4_7_56_Bor03_FR 0.163 0.172 0.359 0.4 60.0 0.188 0.178 0.209
Transformed_CSR_04/Ex4_7_56_Bor03_GM 0.177 0.183 0.732 0.907 60.0 0.196 0.205 0.252
Transformed_CSR_04/Ex4_7_56_Bor03_Z 0.149 0.149 0.233 0.257 60.0 0.166 0.155 0.174
Transformed_CSR_04/Ex4_7_56_Bor03_iGM 0.352 0.333 20.982 16.185 60.0 0.387 0.385 0.49
Transformed_CSR_04/Ex4_7_77_Bor03_C 0.524 0.509 4.598 3.435 60.0 0.446 0.551 0.676
Transformed_CSR_04/Ex4_7_77_Bor03_FR 0.274 0.276 0.317 0.328 0.502 0.154 0.16 0.192
Transformed_CSR_04/Ex4_7_77_Bor03_GM 0.169 0.173 0.34 0.344 60.0 0.178 0.183 0.209
Transformed_CSR_04/Ex4_7_77_Bor03_iGM 0.244 0.226 2.19 1.521 60.0 0.277 0.388 0.381
Transformed_CSR_04/Ex4_DLMMU04_C 2.653 2.625 60.0 60.0 60.0 3.599 3.669 3.616
Transformed_CSR_04/Ex4_DLMMU04_FR 0.575 0.614 60.0 60.0 60.0 0.857 0.846 1.124
Transformed_CSR_04/Ex4_DLMMU04_GM 0.777 0.83 60.0 60.0 60.0 1.138 1.175 1.572
Transformed_CSR_04/Ex4_DLMMU04_Z 0.485 0.452 60.0 60.0 60.0 0.676 0.629 0.872
Transformed_CSR_04/Ex4_DLMMU04_iGM 2.785 2.313 60.0 60.0 60.0 3.118 3.202 3.375
Transformed_CSR_04/Ex4_Zan97_C 0.545 0.607 60.0 60.0 60.0 0.839 0.9 1.195
Transformed_CSR_04/Ex4_Zan97_FR 0.172 0.186 0.619 0.659 60.0 0.199 0.193 0.253
Transformed_CSR_04/Ex4_Zan97_GM 0.19 0.185 2.339 3.629 60.0 0.218 0.222 0.301
Transformed_CSR_04/Ex4_Zan97_Z 0.167 0.167 0.413 0.412 60.0 0.166 0.181 0.19
Transformed_CSR_04/Ex4_Zan97_iGM 0.454 0.368 52.982 60.0 60.0 0.505 0.537 0.711
Transformed_CSR_04/Ex5_7_Luc97_C 1.422 1.375 60.0 60.0 60.0 2.156 2.212 2.404
Transformed_CSR_04/Ex5_7_Luc97_FR 0.298 0.315 50.287 43.005 60.0 0.464 0.48 0.689
Transformed_CSR_04/Ex5_7_Luc97_GM 0.253 0.265 60.0 60.0 60.0 0.492 0.489 0.754
Transformed_CSR_04/Ex5_7_Luc97_Z 0.305 0.298 49.09 36.35 60.0 0.402 0.406 0.519
Transformed_CSR_04/Ex5_7_Luc97_iGM 1.264 1.194 60.0 60.0 60.0 1.744 1.785 2.262
Transformed_CSR_04/Ex5_DLMMU04_C 1.544 1.824 60.0 60.0 60.0 2.386 2.458 2.928
Transformed_CSR_04/Ex5_DLMMU04_FR 0.211 0.221 23.781 60.0 60.0 0.321 0.313 0.457
problem t e s nv g c r *
Transformed_CSR_04/Ex5_DLMMU04_GM 0.229 0.229 39.017 41.511 60.0 0.386 0.393 0.622
Transformed_CSR_04/Ex5_DLMMU04_Z 0.331 0.319 16.289 60.0 60.0 0.34 0.352 0.405
Transformed_CSR_04/Ex5_DLMMU04_iGM 1.013 0.77 60.0 60.0 60.0 1.174 1.174 1.756
Transformed_CSR_04/Ex5_Zan97_C 0.316 0.342 11.408 8.56 60.0 0.431 60.0 0.984
Transformed_CSR_04/Ex5_Zan97_FR 0.187 0.18 0.377 0.423 60.0 0.187 0.182 0.204
Transformed_CSR_04/Ex5_Zan97_GM 0.205 0.222 0.631 0.727 60.0 0.236 60.0 0.754
Transformed_CSR_04/Ex5_Zan97_Z 0.154 0.175 0.287 0.28 60.0 0.175 0.164 0.175
Transformed_CSR_04/Ex5_Zan97_iGM 0.3 0.261 6.903 4.42 60.0 0.338 4.229 0.812
Transformed_CSR_04/Ex6_15_AEL02_C 2.348 2.637 60.0 60.0 60.0 4.186 4.207 3.488
Transformed_CSR_04/Ex6_15_AEL02_FR 0.372 0.364 60.0 60.0 60.0 0.637 0.599 0.865
Transformed_CSR_04/Ex6_15_AEL02_GM 0.348 0.336 60.0 60.0 60.0 0.917 0.897 1.344
Transformed_CSR_04/Ex6_15_AEL02_Z 0.435 0.449 60.0 60.0 60.0 0.631 0.607 0.785
Transformed_CSR_04/Ex6_15_AEL02_iGM 2.152 2.033 60.0 60.0 60.0 3.232 3.195 3.063
Transformed_CSR_04/Ex6_9_Luc02c_C 0.636 0.536 60.0 60.0 60.0 0.732 0.749 1.177
Transformed_CSR_04/Ex6_9_Luc02c_FR 0.157 0.175 0.369 0.401 60.0 0.164 0.178 0.182
Transformed_CSR_04/Ex6_9_Luc02c_GM 0.167 0.174 0.86 1.804 60.0 0.228 0.215 0.257
Transformed_CSR_04/Ex6_9_Luc02c_Z 0.146 0.15 0.227 0.263 60.0 0.163 0.171 0.168
Transformed_CSR_04/Ex6_9_Luc02c_iGM 0.421 0.394 29.025 23.395 60.0 0.434 0.457 0.588
Transformed_CSR_04/Ex6_GM04_C 0.186 0.195 0.919 0.903 60.0 0.232 0.252 0.305
Transformed_CSR_04/Ex6_GM04_FR 0.155 0.151 0.306 0.308 4.711 0.149 0.173 0.205
Transformed_CSR_04/Ex6_GM04_GM 0.142 0.143 0.255 0.25 1.736 0.143 0.143 0.155
Transformed_CSR_04/Ex6_GM04_L 0.14 0.142 0.148 0.142 0.134 0.148 0.141 0.133
Transformed_CSR_04/Ex6_GM04_iGM 0.225 0.207 0.799 0.753 60.0 0.199 0.182 0.221
Transformed_CSR_04/Ex6_Luc98_C 0.584 0.611 43.881 60.0 60.0 0.801 0.789 1.033
Transformed_CSR_04/Ex6_Luc98_FR 0.181 0.19 0.579 0.565 60.0 0.202 0.197 0.257
problem t e s nv g c r *
Transformed_CSR_04/Ex6_Luc98_GM 0.205 0.213 0.808 0.707 60.0 0.458 0.46 0.503
Transformed_CSR_04/Ex6_Luc98_L 0.382 0.385 0.377 0.381 0.39 0.408 0.367 0.382
Transformed_CSR_04/Ex6_Luc98_Z 0.165 0.175 0.336 0.312 60.0 0.184 0.167 0.19
Transformed_CSR_04/Ex6_Luc98_iGM 0.483 0.461 25.166 46.418 60.0 0.49 0.494 0.647
Transformed_CSR_04/Ex7_BLR02_C 0.767 0.807 60.0 60.0 60.0 1.222 1.185 1.765
Transformed_CSR_04/Ex7_BLR02_FR 0.204 0.21 1.89 2.609 60.0 0.214 0.23 0.261
Transformed_CSR_04/Ex7_BLR02_GM 0.202 0.216 10.888 22.9 60.0 0.316 0.32 0.454
Transformed_CSR_04/Ex7_BLR02_Z 0.193 0.183 1.226 1.121 60.0 0.197 0.196 0.218
Transformed_CSR_04/Ex7_BLR02_iGM 0.532 0.517 60.0 60.0 60.0 0.815 0.807 1.106
Transformed_CSR_04/Ex8_BLR02_C 0.842 0.992 60.0 60.0 60.0 1.263 1.293 1.711
Transformed_CSR_04/Ex8_BLR02_FR 0.193 0.199 1.007 1.337 60.0 0.212 0.212 0.264
Transformed_CSR_04/Ex8_BLR02_GM 0.207 0.22 7.458 18.665 60.0 0.289 0.299 0.404
Transformed_CSR_04/Ex8_BLR02_Z 0.164 0.166 0.623 0.754 60.0 0.184 0.178 0.216
Transformed_CSR_04/Ex8_BLR02_iGM 0.584 0.563 60.0 60.0 60.0 0.698 0.713 0.967
Transformed_CSR_04/Ex9_BLR02_C 0.938 1.029 60.0 60.0 60.0 1.367 1.327 1.752
Transformed_CSR_04/Ex9_BLR02_FR 0.205 0.194 5.347 4.688 60.0 0.244 0.259 0.317
Transformed_CSR_04/Ex9_BLR02_GM 0.415 0.418 7.654 6.987 60.0 0.458 0.442 0.545
Transformed_CSR_04/Ex9_BLR02_L 0.163 0.163 0.211 0.245 60.0 0.168 0.153 0.172
Transformed_CSR_04/Ex9_BLR02_Z 0.249 0.254 2.74 60.0 60.0 0.26 0.263 0.309
Transformed_CSR_04/Ex9_BLR02_iGM 1.02 0.981 60.0 60.0 60.0 1.119 1.114 1.249
Transformed_CSR_04/Ex9_Luc04_C 0.254 0.25 3.875 60.0 60.0 0.306 0.294 0.378
Transformed_CSR_04/Ex9_Luc04_FR 0.141 0.142 0.209 0.303 60.0 0.153 0.142 0.153
Transformed_CSR_04/Ex9_Luc04_GM 0.194 0.171 0.35 3.64 60.0 0.17 0.174 0.2
Transformed_CSR_04/Ex9_Luc04_L 0.137 0.16 0.149 0.156 0.266 0.155 0.138 0.153
Transformed_CSR_04/Ex9_Luc04_iGM 0.228 0.217 2.64 60.0 60.0 0.268 0.262 0.288
problem t e s nv g c r *
Transformed_CSR_04/Ex9_Luc06_C 0.222 0.229 1.28 60.0 60.0 0.31 0.308 0.426
Transformed_CSR_04/Ex9_Luc06_FR 0.15 0.168 0.319 0.503 60.0 0.186 0.212 0.278
Transformed_CSR_04/Ex9_Luc06_GM 0.172 0.167 0.295 1.549 60.0 0.213 0.233 0.313
Transformed_CSR_04/Ex9_Luc06_iGM 0.266 0.206 1.351 29.612 60.0 0.291 0.356 0.418
Transformed_CSR_04/ExAppendixB_AEL03_C 3.104 3.157 60.0 60.0 60.0 4.802 4.872 4.176
Transformed_CSR_04/ExAppendixB_AEL03_FR 0.275 0.26 11.113 60.0 60.0 0.344 0.343 0.457
Transformed_CSR_04/ExAppendixB_AEL03_GM 0.315 0.31 60.0 60.0 60.0 0.878 0.879 1.333
Transformed_CSR_04/ExAppendixB_AEL03_Z 0.222 0.237 7.535 60.0 60.0 0.291 0.283 0.368
Transformed_CSR_04/ExAppendixB_AEL03_iGM 1.732 1.868 60.0 60.0 60.0 2.36 2.345 2.875
Transformed_CSR_04/ExConc_Zan97_C 0.286 0.296 3.128 2.744 60.0 0.356 0.424 0.552
Transformed_CSR_04/ExConc_Zan97_FR 0.157 0.16 0.23 0.256 5.083 0.184 0.165 0.179
Transformed_CSR_04/ExConc_Zan97_GM 0.154 0.156 0.21 0.237 6.564 0.154 0.151 0.185
Transformed_CSR_04/ExConc_Zan97_L 0.144 0.147 0.144 0.131 0.137 0.138 0.14 0.134
Transformed_CSR_04/ExConc_Zan97_Z 0.143 0.146 0.2 0.206 0.263 0.149 0.143 0.151
Transformed_CSR_04/ExConc_Zan97_iGM 0.259 0.271 1.27 1.02 60.0 0.277 0.284 0.317
Transformed_CSR_04/ExIntrod_GM01_C 0.857 0.791 60.0 60.0 60.0 1.084 60.0 1.656
Transformed_CSR_04/ExIntrod_GM01_FR 0.183 0.184 2.222 1.766 60.0 0.222 0.273 0.337
Transformed_CSR_04/ExIntrod_GM01_GM 0.311 0.339 17.34 19.458 60.0 0.427 0.516 0.632
Transformed_CSR_04/ExIntrod_GM01_Z 0.198 0.189 1.734 1.429 60.0 0.206 0.278 0.305
Transformed_CSR_04/ExIntrod_GM01_iGM 0.856 0.698 60.0 60.0 60.0 0.889 4.177 1.412
Transformed_CSR_04/ExIntrod_GM04_C 0.641 0.656 60.0 54.331 60.0 1.102 60.0 1.68
Transformed_CSR_04/ExIntrod_GM04_FR 0.422 0.448 5.128 2.735 60.0 0.377 0.436 0.514
Transformed_CSR_04/ExIntrod_GM04_GM 0.261 0.231 9.33 5.866 60.0 0.299 0.372 0.455
Transformed_CSR_04/ExIntrod_GM04_Z 0.188 0.196 4.612 2.187 60.0 0.226 0.314 0.356
Transformed_CSR_04/ExIntrod_GM04_iGM 0.653 0.616 60.0 60.0 60.0 0.715 3.713 1.277
problem t e s nv g c r *
Transformed_CSR_04/ExIntrod_GM99_C 1.425 1.368 60.0 60.0 60.0 2.218 2.134 2.418
Transformed_CSR_04/ExIntrod_GM99_FR 0.211 0.213 14.934 60.0 60.0 0.313 0.292 0.36
Transformed_CSR_04/ExIntrod_GM99_GM 0.292 0.253 45.192 60.0 60.0 0.461 0.463 0.675
Transformed_CSR_04/ExIntrod_GM99_Z 0.203 0.197 5.995 60.0 60.0 0.252 0.253 0.272
Transformed_CSR_04/ExIntrod_GM99_iGM 1.192 0.985 60.0 60.0 60.0 1.383 1.404 2.039
Transformed_CSR_04/ExIntrod_Zan97_C 0.864 0.987 60.0 60.0 60.0 1.499 1.501 1.996
Transformed_CSR_04/ExIntrod_Zan97_FR 0.208 0.243 11.734 54.383 60.0 0.264 0.262 0.358
Transformed_CSR_04/ExIntrod_Zan97_GM 0.229 0.24 21.962 60.0 60.0 0.389 0.381 0.583
Transformed_CSR_04/ExIntrod_Zan97_Z 0.201 0.199 2.845 13.279 60.0 0.209 0.219 0.238
Transformed_CSR_04/ExIntrod_Zan97_iGM 0.811 0.674 60.0 60.0 60.0 0.954 0.936 1.281
Transformed_CSR_04/ExProp7_Luc06_C 0.459 0.465 37.919 30.285 60.0 0.638 60.0 1.136
Transformed_CSR_04/ExProp7_Luc06_FR 0.194 0.186 0.707 0.668 60.0 0.194 0.214 0.28
Transformed_CSR_04/ExProp7_Luc06_GM 0.461 0.448 1.03 1.325 60.0 0.47 0.527 0.575
Transformed_CSR_04/ExProp7_Luc06_L 0.376 0.363 0.401 0.405 1.34 0.152 0.157 0.165
Transformed_CSR_04/ExProp7_Luc06_Z 0.158 0.15 0.268 0.304 60.0 0.157 0.152 0.177
Transformed_CSR_04/ExProp7_Luc06_iGM 0.428 0.398 16.749 12.621 60.0 0.457 1.037 0.829
Transformed_CSR_04/ExSec11_1_Luc02a_C 1.769 1.891 60.0 60.0 60.0 2.533 2.52 2.829
Transformed_CSR_04/ExSec11_1_Luc02a_FR 0.279 0.321 12.404 29.092 60.0 0.346 0.339 0.39
Transformed_CSR_04/ExSec11_1_Luc02a_GM 0.258 0.258 38.751 60.0 60.0 0.431 0.44 0.719
Transformed_CSR_04/ExSec11_1_Luc02a_L 0.2 0.211 1.24 2.776 60.0 0.222 0.209 0.263
Transformed_CSR_04/ExSec11_1_Luc02a_Z 0.255 0.255 6.468 14.715 60.0 0.279 0.283 0.348
Transformed_CSR_04/ExSec11_1_Luc02a_iGM 1.71 1.472 60.0 60.0 60.0 2.054 2.028 2.545
Transformed_CSR_04/ExSec4_2_DLMMU04_C 1.878 2.054 60.0 60.0 60.0 3.502 3.654 3.128
Transformed_CSR_04/ExSec4_2_DLMMU04_FR 0.191 0.202 4.978 60.0 60.0 0.226 0.227 0.282
Transformed_CSR_04/ExSec4_2_DLMMU04_GM 0.298 0.32 60.0 60.0 60.0 0.966 0.937 1.326
problem t e s nv g c r *
Transformed_CSR_04/ExSec4_2_DLMMU04_Z 0.18 0.181 2.668 60.0 60.0 0.211 0.218 0.241
Transformed_CSR_04/ExSec4_2_DLMMU04_iGM 1.326 1.289 60.0 60.0 60.0 2.24 2.282 2.319
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR 2.315 2.844 60.0 60.0 60.0 33.436 33.891 3.559
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z 1.935 2.424 60.0 60.0 60.0 27.374 26.829 3.175
Transformed_CSR_04/LISTUTILITIES_complete_C 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_complete_FR 1.419 1.568 60.0 60.0 60.0 13.743 13.625 2.523
Transformed_CSR_04/LISTUTILITIES_complete_GM 1.506 1.78 60.0 60.0 60.0 31.054 30.581 2.577
Transformed_CSR_04/LISTUTILITIES_complete_Z 0.827 1.01 60.0 60.0 60.0 9.964 10.158 1.888
Transformed_CSR_04/LISTUTILITIES_complete_iGM 28.079 29.692 60.0 60.0 60.0 60.0 60.0 31.343
Transformed_CSR_04/LISTUTILITIES_complete_noand_C 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM 5.625 6.87 60.0 60.0 60.0 60.0 60.0 7.436
Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR 0.62 0.694 60.0 60.0 60.0 6.035 5.88 1.671
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z 0.566 0.667 60.0 60.0 60.0 4.379 4.479 1.633
Transformed_CSR_04/LISTUTILITIES_nokinds_C 10.706 10.757 60.0 60.0 60.0 18.6 18.078 12.041
Transformed_CSR_04/LISTUTILITIES_nokinds_FR 0.468 0.525 60.0 60.0 60.0 3.505 3.523 1.512
Transformed_CSR_04/LISTUTILITIES_nokinds_GM 0.563 0.64 60.0 60.0 60.0 4.94 4.947 1.629
Transformed_CSR_04/LISTUTILITIES_nokinds_Z 0.42 0.463 60.0 60.0 60.0 2.565 2.559 1.47
Transformed_CSR_04/LISTUTILITIES_nokinds_iGM 7.086 6.199 60.0 60.0 60.0 11.789 11.79 7.44
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C 44.443 40.458 60.0 60.0 60.0 60.0 60.0 43.116
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM 0.994 1.159 60.0 60.0 60.0 17.807 18.03 2.214
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM 18.902 22.988 60.0 60.0 60.0 46.8 46.487 21.121
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR 0.287 0.317 60.0 60.0 60.0 0.636 0.63 1.006
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z 0.329 0.342 60.0 60.0 60.0 0.54 0.562 0.867
Transformed_CSR_04/LISTUTILITIES_nosorts_C 2.834 2.51 60.0 60.0 60.0 4.508 4.403 3.409
problem t e s nv g c r *
Transformed_CSR_04/LISTUTILITIES_nosorts_FR 0.208 0.214 8.656 14.733 60.0 0.266 0.257 0.334
Transformed_CSR_04/LISTUTILITIES_nosorts_GM 0.304 0.31 60.0 60.0 60.0 1.232 1.239 1.333
Transformed_CSR_04/LISTUTILITIES_nosorts_Z 0.185 0.183 5.387 8.624 60.0 0.222 0.235 0.302
Transformed_CSR_04/LISTUTILITIES_nosorts_iGM 1.832 1.901 60.0 60.0 60.0 3.112 3.227 2.887
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C 12.713 13.082 60.0 60.0 60.0 23.015 23.11 14.208
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM 0.514 0.557 60.0 60.0 60.0 4.753 4.735 1.597
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM 7.69 6.458 60.0 60.0 60.0 13.385 13.375 7.509
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR 1.288 1.487 60.0 60.0 60.0 2.681 2.742 2.326
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z 1.157 1.503 60.0 60.0 60.0 2.547 2.597 2.185
Transformed_CSR_04/LengthOfFiniteLists_complete_C 8.131 8.765 60.0 60.0 60.0 12.578 12.217 10.095
Transformed_CSR_04/LengthOfFiniteLists_complete_FR 0.362 0.391 60.0 60.0 60.0 1.381 1.362 1.409
Transformed_CSR_04/LengthOfFiniteLists_complete_GM 2.362 2.499 60.0 60.0 60.0 3.654 3.657 3.418
Transformed_CSR_04/LengthOfFiniteLists_complete_Z 0.993 1.019 60.0 60.0 60.0 1.78 1.809 2.033
Transformed_CSR_04/LengthOfFiniteLists_complete_iGM 8.606 9.185 60.0 60.0 60.0 11.328 10.989 10.461
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C 23.387 24.784 60.0 60.0 60.0 37.419 37.33 26.728
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM 4.417 4.286 60.0 60.0 60.0 8.548 8.336 5.356
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM 33.795 29.088 60.0 60.0 60.0 36.403 36.468 31.091
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR 0.424 0.446 60.0 60.0 60.0 0.646 0.645 0.927
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z 0.373 0.396 60.0 60.0 60.0 0.578 0.565 0.8
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C 1.247 1.222 60.0 60.0 60.0 1.652 1.62 2.208
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR 0.446 0.422 60.0 60.0 60.0 0.628 0.65 0.91
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM 0.543 0.57 42.144 60.0 60.0 0.662 0.665 0.816
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z 0.408 0.442 53.323 60.0 60.0 0.638 0.635 0.842
Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM 1.491 1.118 60.0 60.0 60.0 1.463 1.417 1.679
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C 3.43 3.374 60.0 60.0 60.0 4.906 4.863 4.487
problem t e s nv g c r *
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM 0.842 0.797 60.0 60.0 60.0 1.136 1.137 1.599
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM 3.502 3.182 60.0 60.0 60.0 4.0 3.878 4.028
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR 0.156 0.162 0.444 0.423 60.0 0.168 0.176 0.214
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C 0.529 0.523 46.205 31.975 60.0 0.663 1.121 1.202
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR 0.161 0.149 0.288 0.296 60.0 0.159 0.166 0.197
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM 0.215 0.222 1.541 1.568 60.0 0.256 0.301 0.757
Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM 0.557 0.493 40.054 22.874 60.0 0.628 2.999 1.125
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C 0.677 0.701 60.0 59.974 60.0 0.955 1.49 1.502
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM 0.235 0.234 4.784 2.0 60.0 0.28 0.949 0.813
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM 0.75 0.59 60.0 57.623 60.0 0.731 6.573 1.256
Transformed_CSR_04/MYNAT_complete-noand_FR 0.473 0.515 60.0 60.0 60.0 2.372 2.372 1.973
Transformed_CSR_04/MYNAT_complete-noand_Z 0.916 0.972 60.0 60.0 60.0 2.24 1.859 1.647
Transformed_CSR_04/MYNAT_complete_C 5.569 5.107 60.0 60.0 60.0 8.01 8.007 6.678
Transformed_CSR_04/MYNAT_complete_FR 0.344 0.376 60.0 60.0 60.0 1.155 1.165 1.377
Transformed_CSR_04/MYNAT_complete_GM 0.401 0.426 60.0 60.0 60.0 1.786 1.774 1.438
Transformed_CSR_04/MYNAT_complete_Z 0.331 0.333 60.0 60.0 60.0 1.031 0.992 1.356
Transformed_CSR_04/MYNAT_complete_iGM 3.217 3.575 60.0 60.0 60.0 5.216 5.213 4.537
Transformed_CSR_04/MYNAT_complete_noand_C 21.373 22.287 60.0 60.0 60.0 36.824 37.808 22.89
Transformed_CSR_04/MYNAT_complete_noand_GM 0.738 0.829 60.0 60.0 60.0 6.404 6.454 1.88
Transformed_CSR_04/MYNAT_complete_noand_iGM 11.473 14.006 60.0 60.0 60.0 22.206 22.147 15.366
Transformed_CSR_04/MYNAT_nokinds-noand_FR 0.272 0.261 56.565 60.0 60.0 0.509 0.514 0.845
Transformed_CSR_04/MYNAT_nokinds-noand_Z 0.259 0.26 58.885 60.0 60.0 0.504 0.472 0.76
Transformed_CSR_04/MYNAT_nokinds_C 1.473 1.496 60.0 60.0 60.0 2.265 2.278 2.583
Transformed_CSR_04/MYNAT_nokinds_FR 0.243 0.239 30.563 60.0 60.0 0.428 0.421 0.68
Transformed_CSR_04/MYNAT_nokinds_GM 0.254 0.261 57.27 60.0 60.0 0.533 0.544 0.876
problem t e s nv g c r *
Transformed_CSR_04/MYNAT_nokinds_Z 0.239 0.232 29.829 60.0 60.0 0.398 0.398 0.594
Transformed_CSR_04/MYNAT_nokinds_iGM 1.099 1.061 60.0 60.0 60.0 1.497 1.516 2.032
Transformed_CSR_04/MYNAT_nokinds_noand_C 3.044 3.936 60.0 60.0 60.0 6.084 5.912 4.106
Transformed_CSR_04/MYNAT_nokinds_noand_GM 0.325 0.349 60.0 60.0 60.0 1.0 0.971 1.372
Transformed_CSR_04/MYNAT_nokinds_noand_iGM 2.269 2.321 60.0 60.0 60.0 3.378 3.287 3.373
Transformed_CSR_04/MYNAT_nosorts-noand_FR 0.192 0.193 1.022 7.988 60.0 0.219 0.209 0.253
Transformed_CSR_04/MYNAT_nosorts_C 0.593 0.614 60.0 60.0 60.0 0.843 0.831 1.05
Transformed_CSR_04/MYNAT_nosorts_FR 0.152 0.169 0.282 0.399 60.0 0.159 0.162 0.179
Transformed_CSR_04/MYNAT_nosorts_GM 0.183 0.205 1.709 8.019 60.0 0.25 0.243 0.337
Transformed_CSR_04/MYNAT_nosorts_iGM 0.407 0.334 41.256 54.396 60.0 0.447 0.452 0.603
Transformed_CSR_04/MYNAT_nosorts_noand_C 1.308 1.218 60.0 60.0 60.0 1.755 1.757 2.227
Transformed_CSR_04/MYNAT_nosorts_noand_GM 0.231 0.218 19.559 60.0 60.0 0.366 0.355 0.553
Transformed_CSR_04/MYNAT_nosorts_noand_iGM 0.826 0.674 60.0 60.0 60.0 1.025 1.027 1.399
Transformed_CSR_04/OvConsOS_complete-noand_FR 4.829 5.509 60.0 60.0 60.0 8.487 8.499 5.693
Transformed_CSR_04/OvConsOS_complete-noand_Z 5.891 3.984 60.0 60.0 60.0 6.667 6.471 7.156
Transformed_CSR_04/OvConsOS_complete_C 15.567 19.412 60.0 60.0 60.0 26.182 25.403 20.471
Transformed_CSR_04/OvConsOS_complete_FR 0.43 0.472 60.0 60.0 60.0 2.583 2.577 1.46
Transformed_CSR_04/OvConsOS_complete_GM 4.586 4.407 60.0 60.0 60.0 7.062 7.178 5.603
Transformed_CSR_04/OvConsOS_complete_Z 2.342 2.171 60.0 60.0 60.0 3.722 3.695 3.327
Transformed_CSR_04/OvConsOS_complete_iGM 20.404 17.314 60.0 60.0 60.0 22.094 22.185 18.108
Transformed_CSR_04/OvConsOS_complete_noand_C 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/OvConsOS_complete_noand_GM 9.92 12.335 60.0 60.0 60.0 24.656 24.513 11.048
Transformed_CSR_04/OvConsOS_complete_noand_iGM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/OvConsOS_nokinds-noand_FR 1.149 1.07 60.0 60.0 60.0 1.541 1.586 2.155
Transformed_CSR_04/OvConsOS_nokinds-noand_Z 0.855 0.98 60.0 60.0 60.0 1.419 1.471 1.859
problem t e s nv g c r *
Transformed_CSR_04/OvConsOS_nokinds_C 2.555 2.458 60.0 60.0 60.0 3.298 3.352 3.31
Transformed_CSR_04/OvConsOS_nokinds_FR 0.891 0.912 60.0 60.0 60.0 1.462 1.48 1.915
Transformed_CSR_04/OvConsOS_nokinds_GM 1.116 1.106 60.0 60.0 60.0 1.168 1.162 1.589
Transformed_CSR_04/OvConsOS_nokinds_Z 0.746 0.846 60.0 60.0 60.0 1.258 1.293 1.729
Transformed_CSR_04/OvConsOS_nokinds_iGM 3.4 2.519 60.0 60.0 60.0 3.415 3.385 3.505
Transformed_CSR_04/OvConsOS_nokinds_noand_C 8.247 8.469 60.0 60.0 60.0 12.483 12.448 9.522
Transformed_CSR_04/OvConsOS_nokinds_noand_GM 2.017 1.883 60.0 60.0 60.0 2.936 2.871 2.998
Transformed_CSR_04/OvConsOS_nokinds_noand_iGM 10.827 11.753 60.0 60.0 60.0 13.152 12.742 12.798
Transformed_CSR_04/OvConsOS_nosorts-noand_FR 0.285 0.298 5.629 5.433 60.0 0.335 0.521 0.607
Transformed_CSR_04/OvConsOS_nosorts-noand_Z 0.276 0.308 4.837 4.991 60.0 0.321 0.387 0.452
Transformed_CSR_04/OvConsOS_nosorts_C 0.746 0.806 60.0 60.0 60.0 1.074 8.891 1.595
Transformed_CSR_04/OvConsOS_nosorts_FR 0.186 0.178 0.769 0.682 60.0 0.217 0.284 0.317
Transformed_CSR_04/OvConsOS_nosorts_GM 0.307 0.288 5.841 3.768 60.0 0.348 0.801 0.873
Transformed_CSR_04/OvConsOS_nosorts_Z 0.191 0.18 0.689 0.56 60.0 0.197 0.179 0.24
Transformed_CSR_04/OvConsOS_nosorts_iGM 0.863 0.819 60.0 60.0 60.0 0.919 4.831 1.441
Transformed_CSR_04/OvConsOS_nosorts_noand_C 2.004 1.973 60.0 60.0 60.0 2.833 6.549 3.049
Transformed_CSR_04/OvConsOS_nosorts_noand_GM 0.578 0.49 44.074 21.962 60.0 0.651 60.0 1.273
Transformed_CSR_04/OvConsOS_nosorts_noand_iGM 2.126 2.316 60.0 60.0 60.0 2.679 60.0 3.32
Transformed_CSR_04/PALINDROME_complete-noand_FR 2.591 2.568 60.0 60.0 60.0 17.312 16.469 3.73
Transformed_CSR_04/PALINDROME_complete-noand_L 0.341 0.359 60.0 60.0 60.0 0.474 0.464 0.612
Transformed_CSR_04/PALINDROME_complete-noand_Z 2.683 3.059 60.0 60.0 60.0 17.211 17.234 3.876
Transformed_CSR_04/PALINDROME_complete_C 10.748 11.21 60.0 60.0 60.0 39.219 41.071 12.217
Transformed_CSR_04/PALINDROME_complete_FR 1.082 0.976 60.0 60.0 60.0 27.836 27.426 2.102
Transformed_CSR_04/PALINDROME_complete_GM 2.458 2.194 60.0 60.0 60.0 11.547 11.546 3.501
Transformed_CSR_04/PALINDROME_complete_Z 1.33 1.248 60.0 60.0 60.0 60.0 60.0 2.365
problem t e s nv g c r *
Transformed_CSR_04/PALINDROME_complete_iGM 17.529 13.364 60.0 60.0 60.0 24.448 24.737 15.029
Transformed_CSR_04/PALINDROME_complete_noand_C 35.648 39.089 60.0 60.0 60.0 60.0 60.0 38.471
Transformed_CSR_04/PALINDROME_complete_noand_GM 6.952 7.774 60.0 60.0 60.0 24.648 25.224 8.282
Transformed_CSR_04/PALINDROME_complete_noand_iGM 55.059 45.308 60.0 60.0 60.0 60.0 60.0 55.707
Transformed_CSR_04/PALINDROME_nokinds-noand_FR 0.653 0.574 60.0 60.0 60.0 1.197 1.245 1.688
Transformed_CSR_04/PALINDROME_nokinds-noand_L 0.219 0.225 25.026 23.922 60.0 0.237 0.234 0.287
Transformed_CSR_04/PALINDROME_nokinds-noand_Z 0.655 0.572 60.0 60.0 60.0 1.116 1.221 1.679
Transformed_CSR_04/PALINDROME_nokinds_C 0.973 1.036 60.0 60.0 60.0 1.539 2.942 1.928
Transformed_CSR_04/PALINDROME_nokinds_FR 0.427 0.508 60.0 60.0 60.0 1.231 1.53 1.465
Transformed_CSR_04/PALINDROME_nokinds_GM 0.421 0.345 60.0 60.0 60.0 0.679 0.993 1.327
Transformed_CSR_04/PALINDROME_nokinds_Z 0.467 0.456 60.0 60.0 60.0 1.19 1.45 1.488
Transformed_CSR_04/PALINDROME_nokinds_iGM 2.195 1.421 60.0 60.0 60.0 2.101 60.0 2.502
Transformed_CSR_04/PALINDROME_nokinds_noand_C 5.217 5.333 60.0 60.0 60.0 9.06 60.0 6.29
Transformed_CSR_04/PALINDROME_nokinds_noand_GM 1.15 1.224 60.0 60.0 60.0 2.151 4.912 1.92
Transformed_CSR_04/PALINDROME_nokinds_noand_iGM 7.227 4.741 60.0 60.0 60.0 7.969 60.0 5.735
Transformed_CSR_04/PALINDROME_nosorts-noand_FR 0.159 0.162 0.343 0.504 60.0 0.188 0.183 0.214
Transformed_CSR_04/PALINDROME_nosorts-noand_L 0.171 0.156 0.302 0.439 60.0 0.187 0.166 0.195
Transformed_CSR_04/PALINDROME_nosorts_C 0.444 0.486 27.346 21.572 60.0 0.676 0.892 1.044
Transformed_CSR_04/PALINDROME_nosorts_FR 0.15 0.164 0.235 0.305 60.0 0.161 0.162 0.221
Transformed_CSR_04/PALINDROME_nosorts_GM 0.246 0.254 1.408 3.121 60.0 0.368 0.452 0.658
Transformed_CSR_04/PALINDROME_nosorts_iGM 0.42 0.35 18.02 60.0 60.0 0.551 60.0 1.059
Transformed_CSR_04/PALINDROME_nosorts_noand_C 0.554 0.581 59.63 60.0 60.0 0.868 1.975 1.388
Transformed_CSR_04/PALINDROME_nosorts_noand_GM 0.196 0.239 4.096 28.555 60.0 0.386 0.514 0.656
Transformed_CSR_04/PALINDROME_nosorts_noand_iGM 0.517 0.447 33.198 60.0 60.0 0.699 42.121 1.2
Transformed_CSR_04/PEANO_complete-noand_FR 1.052 1.094 60.0 60.0 60.0 1.511 1.458 2.015
problem t e s nv g c r *
Transformed_CSR_04/PEANO_complete-noand_Z 1.223 1.336 60.0 60.0 60.0 1.748 1.688 2.015
Transformed_CSR_04/PEANO_complete_C 3.073 3.114 60.0 60.0 60.0 4.256 4.143 4.179
Transformed_CSR_04/PEANO_complete_FR 0.266 0.293 57.742 60.0 60.0 0.643 0.653 1.054
Transformed_CSR_04/PEANO_complete_GM 1.166 1.211 60.0 60.0 60.0 1.722 1.698 2.161
Transformed_CSR_04/PEANO_complete_Z 0.648 0.751 46.773 60.0 60.0 0.991 1.016 1.272
Transformed_CSR_04/PEANO_complete_iGM 4.174 3.88 60.0 60.0 60.0 4.347 4.306 4.848
Transformed_CSR_04/PEANO_complete_noand_C 9.96 9.135 60.0 60.0 60.0 13.463 13.136 11.601
Transformed_CSR_04/PEANO_complete_noand_GM 1.832 2.409 60.0 60.0 60.0 3.559 3.577 2.828
Transformed_CSR_04/PEANO_complete_noand_iGM 12.058 11.667 60.0 60.0 60.0 14.273 13.898 13.109
Transformed_CSR_04/PEANO_nokinds-noand_FR 0.425 0.377 11.039 60.0 60.0 0.48 0.478 0.628
Transformed_CSR_04/PEANO_nokinds-noand_Z 0.251 0.4 10.392 60.0 60.0 0.472 0.454 0.442
Transformed_CSR_04/PEANO_nokinds_C 0.984 1.027 60.0 60.0 60.0 1.314 1.398 1.777
Transformed_CSR_04/PEANO_nokinds_FR 0.344 0.332 7.656 37.823 60.0 0.396 0.409 0.561
Transformed_CSR_04/PEANO_nokinds_GM 0.488 0.497 12.685 60.0 60.0 0.584 0.603 0.752
Transformed_CSR_04/PEANO_nokinds_Z 0.245 0.351 6.701 33.809 60.0 0.423 0.426 0.452
Transformed_CSR_04/PEANO_nokinds_iGM 1.078 1.172 60.0 60.0 60.0 1.284 1.341 1.615
Transformed_CSR_04/PEANO_nokinds_noand_C 1.691 1.85 60.0 60.0 60.0 2.437 2.437 2.736
Transformed_CSR_04/PEANO_nokinds_noand_GM 0.408 0.568 40.615 60.0 60.0 0.757 0.749 0.809
Transformed_CSR_04/PEANO_nokinds_noand_iGM 2.072 1.866 60.0 60.0 60.0 2.198 2.198 2.942
Transformed_CSR_04/PEANO_nosorts-noand_FR 0.17 0.176 0.308 0.351 60.0 0.173 0.164 0.191
Transformed_CSR_04/PEANO_nosorts_C 0.402 0.436 21.935 18.998 60.0 0.522 60.0 1.045
Transformed_CSR_04/PEANO_nosorts_FR 0.14 0.148 0.189 0.204 60.0 0.147 0.145 0.166
Transformed_CSR_04/PEANO_nosorts_GM 0.184 0.175 0.629 1.055 60.0 0.213 0.265 0.304
Transformed_CSR_04/PEANO_nosorts_iGM 0.484 0.465 11.136 10.859 60.0 0.499 60.0 1.003
Transformed_CSR_04/PEANO_nosorts_noand_C 0.622 0.615 55.698 47.999 60.0 0.794 60.0 1.338
problem t e s nv g c r *
Transformed_CSR_04/PEANO_nosorts_noand_GM 0.209 0.202 1.804 1.539 60.0 0.236 0.336 0.391
Transformed_CSR_04/PEANO_nosorts_noand_iGM 0.577 0.543 60.0 43.301 60.0 0.668 60.0 1.221
Various_04/02 0.14 0.139 0.184 0.179 60.0 0.146 0.157 0.138
Various_04/03 0.141 0.148 0.252 4.998 60.0 0.146 0.151 0.148
Various_04/04 0.228 0.234 60.0 60.0 60.0 0.243 0.247 0.247
Various_04/05 0.182 0.192 60.0 60.0 60.0 0.195 0.194 0.228
Various_04/06 0.16 0.149 0.276 0.28 0.346 0.155 0.149 0.169
Various_04/07 0.135 0.146 0.15 0.161 0.156 0.135 0.144 0.145
Various_04/08 0.243 0.248 60.0 60.0 60.0 0.279 0.29 0.301
Various_04/09 0.153 0.155 0.433 0.999 60.0 0.164 0.17 0.181
Various_04/10 0.338 0.316 9.289 60.0 60.0 0.347 0.378 0.428
Various_04/11 0.147 0.15 0.192 0.254 60.0 0.152 0.157 0.172
Various_04/12 0.181 0.186 1.273 3.337 60.0 0.222 0.222 0.264
Various_04/13 0.222 0.238 8.36 42.687 60.0 0.272 0.288 0.326
Various_04/14 0.857 0.676 60.0 60.0 60.0 0.942 0.942 0.935
Various_04/15 0.156 0.159 0.166 0.182 38.154 0.148 0.144 0.166
Various_04/18 0.17 0.175 0.275 1.201 60.0 0.263 0.28 0.37
Various_04/19 0.194 0.205 1.034 4.786 60.0 0.243 0.332 0.393
Various_04/21 0.445 0.345 41.611 60.0 60.0 0.548 60.0 0.945
Various_04/22 0.158 0.151 0.186 0.217 60.0 0.152 0.152 0.161
Various_04/23 0.164 0.181 0.23 0.262 60.0 0.179 0.182 0.183
Various_04/24 0.197 0.187 0.285 0.405 60.0 0.198 0.2 0.202
Various_04/25 0.165 0.14 0.2 0.188 2.287 0.15 0.153 0.149
Various_04/26 0.156 0.168 0.245 0.334 60.0 0.178 0.176 0.234
Various_04/27 0.149 0.14 0.164 0.15 60.0 0.141 0.137 0.136
problem t e s nv g c r *
Waldmann_06/jwaprove1 0.141 0.151 0.172 0.206 60.0 60.0 60.0 0.177
Waldmann_06/jwaprove2 0.141 0.149 0.171 0.18 60.0 60.0 60.0 0.199
Waldmann_06/jwcime1 0.154 0.149 0.191 0.183 60.0 0.417 60.0 0.179
Waldmann_06/jwcime2 0.159 0.146 0.19 0.183 60.0 0.17 0.183 0.198
Waldmann_06/jwmatchb1 0.146 0.145 0.167 0.17 60.0 0.155 0.15 0.166
Waldmann_06/jwmatchb2 0.147 0.148 0.181 0.159 60.0 0.143 0.144 0.166
Waldmann_06/jwno1 0.14 0.147 0.168 0.189 60.0 0.157 0.167 0.178
Waldmann_06/jwno2 0.147 0.15 0.18 0.18 60.0 0.163 0.159 0.206
Waldmann_06/jwno3 0.145 0.147 0.174 0.171 60.0 0.152 0.166 0.198
Waldmann_06/jwno4 0.143 0.156 0.162 0.166 60.0 0.143 0.145 0.182
Waldmann_06/jwno5 0.138 0.162 0.175 0.173 60.0 0.15 0.154 0.176
Waldmann_06/jwno6 0.137 0.154 0.182 0.161 60.0 0.15 0.158 0.168
Waldmann_06/jwno7 0.14 0.146 0.17 0.182 60.0 0.161 0.169 0.2
Waldmann_06/jwno8 0.16 0.159 0.183 0.181 60.0 0.16 0.164 0.184
Waldmann_06/jwno9 0.146 0.16 0.176 0.199 60.0 0.16 0.165 0.197
Waldmann_06/jwteparla1 0.158 0.159 0.195 0.194 60.0 0.163 0.169 0.159
Waldmann_06/jwteparla2 0.147 0.149 0.179 0.192 60.0 0.165 0.163 0.178
Waldmann_06/jwtpa1 0.144 0.147 0.197 0.188 60.0 0.163 0.169 0.193
Waldmann_06/jwtpa2 0.166 0.164 0.201 0.221 60.0 60.0 60.0 0.238
Waldmann_06/jwttt 0.162 0.168 0.211 0.227 60.0 60.0 60.0 0.201
Zantema_05/jw01 0.166 0.155 0.184 0.178 60.0 0.157 0.16 0.174
Zantema_05/jw02 0.171 0.154 0.178 0.169 60.0 0.152 0.164 0.172
Zantema_05/jw03 0.152 0.154 0.171 0.173 60.0 0.142 0.147 0.174
Zantema_05/jw04 0.143 0.157 0.163 0.154 60.0 0.155 0.161 0.161
Zantema_05/jw05 0.162 0.142 0.16 0.2 60.0 0.16 0.147 0.164
problem t e s nv g c r *
Zantema_05/jw06 0.157 0.154 0.167 0.178 60.0 0.145 0.15 0.173
Zantema_05/jw07 0.154 0.162 0.193 0.187 60.0 0.153 0.158 0.167
Zantema_05/jw08 0.164 0.152 0.187 0.179 60.0 0.164 0.169 0.165
Zantema_05/jw09 0.152 0.148 0.171 0.189 60.0 0.149 0.154 0.168
Zantema_05/jw11 0.159 0.158 0.181 0.186 60.0 0.164 0.177 0.174
Zantema_05/jw12 0.163 0.155 0.187 0.188 60.0 0.155 0.168 0.165
Zantema_05/jw13 0.163 0.155 0.173 0.169 60.0 0.149 0.148 0.154
Zantema_05/jw14 0.167 0.153 0.173 0.176 60.0 0.153 0.156 0.15
Zantema_05/jw15 0.146 0.144 0.168 0.173 60.0 0.157 0.163 0.169
Zantema_05/jw16 0.15 0.158 0.173 0.185 60.0 0.152 0.16 0.178
Zantema_05/jw17 0.158 0.154 0.168 0.189 60.0 0.163 0.167 0.174
Zantema_05/jw18 0.162 0.146 0.177 0.167 60.0 0.157 0.151 0.169
Zantema_05/jw19 0.147 0.16 0.179 0.173 60.0 0.17 0.161 0.178
Zantema_05/jw20 0.15 0.15 0.17 0.184 60.0 0.158 0.161 0.168
Zantema_05/jw21 0.16 0.153 0.183 0.212 60.0 0.168 0.167 0.171
Zantema_05/jw22 0.168 0.149 0.193 0.208 60.0 0.16 0.176 0.172
Zantema_05/jw23 0.145 0.156 0.167 0.173 60.0 0.157 0.162 0.175
Zantema_05/jw24 0.152 0.153 0.184 0.173 60.0 0.148 0.159 0.165
Zantema_05/jw25 0.152 0.149 0.178 0.183 60.0 0.155 0.147 0.159
Zantema_05/jw26 0.151 0.155 0.18 0.179 60.0 0.153 0.155 0.172
Zantema_05/jw27 0.179 0.143 0.174 0.206 60.0 0.17 0.16 0.177
Zantema_05/jw28 0.162 0.153 0.171 0.196 60.0 0.15 0.179 0.164
Zantema_05/jw29 0.163 0.147 0.166 0.179 60.0 0.158 0.15 0.164
Zantema_05/jw30 0.155 0.164 0.164 0.187 60.0 0.147 0.168 0.176
Zantema_05/jw31 0.153 0.153 0.17 0.168 60.0 0.155 0.154 0.159
problem t e s nv g c r *
Zantema_05/jw32 0.171 0.148 0.177 0.183 60.0 0.161 0.169 0.188
Zantema_05/jw33 0.147 0.153 0.179 0.207 60.0 0.155 0.163 0.166
Zantema_05/jw34 0.151 0.152 0.164 0.181 60.0 0.15 0.161 0.168
Zantema_05/jw35 0.171 0.144 0.167 0.173 60.0 0.16 0.162 0.157
Zantema_05/jw36 0.173 0.155 0.175 0.175 60.0 0.142 0.156 0.153
Zantema_05/jw37 0.181 0.154 0.171 0.187 60.0 0.166 0.168 0.173
Zantema_05/jw38 0.15 0.148 0.191 0.182 60.0 0.153 0.172 0.165
Zantema_05/jw39 0.159 0.144 0.192 0.186 60.0 0.162 0.165 0.169
Zantema_05/jw40 0.152 0.145 0.179 0.204 60.0 0.157 0.153 0.164
Zantema_05/jw41 0.166 0.156 0.172 0.19 60.0 0.163 0.164 0.178
Zantema_05/jw42 0.161 0.155 0.173 0.186 60.0 0.179 0.154 0.167
Zantema_05/jw43 0.149 0.146 0.164 0.171 60.0 0.159 0.163 0.157
Zantema_05/jw44 0.158 0.15 0.162 0.17 60.0 0.154 60.0 0.18
Zantema_05/jw47 0.181 0.145 0.171 0.175 60.0 0.163 60.0 0.192
Zantema_05/jw50 0.148 0.143 0.16 0.169 60.0 0.154 0.146 0.158
Zantema_05/z01 0.187 0.162 0.221 0.294 60.0 0.209 0.285 0.24
Zantema_05/z02 0.143 0.148 0.198 0.207 60.0 0.166 0.198 0.206
Zantema_05/z03 0.167 0.167 0.248 0.265 60.0 0.174 0.219 0.179
Zantema_05/z04 0.146 0.158 0.218 0.262 60.0 0.165 0.165 0.169
Zantema_05/z05 0.176 0.184 0.271 0.436 60.0 0.198 0.212 0.254
Zantema_05/z06 0.152 0.169 0.236 0.255 60.0 0.189 0.184 0.213
Zantema_05/z07 0.204 0.188 0.332 0.462 60.0 0.217 0.22 0.206
Zantema_05/z08 0.155 0.159 0.202 0.207 60.0 0.158 0.158 0.153
Zantema_05/z09 0.173 0.16 0.462 0.882 60.0 0.196 0.183 0.208
Zantema_05/z10 0.167 0.167 0.418 0.779 60.0 0.176 0.177 0.192
problem t e s nv g c r *
Zantema_05/z11 0.215 0.188 0.455 1.089 60.0 0.255 0.327 0.325
Zantema_05/z12 0.16 0.153 0.209 0.264 60.0 0.16 0.213 0.232
Zantema_05/z13 0.16 0.154 0.261 0.305 60.0 0.171 0.223 0.269
Zantema_05/z14 0.164 0.148 0.205 0.22 60.0 0.153 0.164 0.204
Zantema_05/z15 0.155 0.151 0.189 0.223 60.0 0.156 0.174 0.203
Zantema_05/z16 0.153 0.154 0.215 0.225 60.0 0.17 0.174 0.21
Zantema_05/z17 0.142 0.155 0.204 0.23 60.0 0.174 0.173 0.216
Zantema_05/z18 0.148 0.153 0.199 0.23 60.0 0.176 0.177 0.205
Zantema_05/z19 0.167 0.177 0.22 0.252 60.0 0.205 0.332 0.21
Zantema_05/z20 0.174 0.205 0.266 0.346 60.0 0.268 60.0 0.228
Zantema_05/z21 0.169 0.171 0.26 0.338 60.0 0.207 0.238 0.23
Zantema_05/z22 0.178 0.192 0.261 0.318 60.0 0.222 0.277 0.228
Zantema_05/z23 0.151 0.166 0.251 0.299 60.0 0.171 0.262 0.272
Zantema_05/z24 0.16 0.168 0.404 0.627 60.0 0.209 60.0 0.715
Zantema_05/z25 0.182 0.167 0.269 0.425 60.0 0.201 0.211 0.244
Zantema_05/z26 0.196 0.178 0.276 0.379 60.0 0.208 60.0 0.256
Zantema_05/z27 0.149 0.153 0.25 9.651 60.0 0.156 0.166 0.183
Zantema_05/z28 0.147 0.153 0.19 0.221 60.0 0.153 0.154 0.174
Zantema_05/z29 0.173 0.186 0.314 0.463 60.0 0.169 0.265 0.3
Zantema_05/z30 0.222 0.183 0.341 0.613 60.0 0.263 6.051 0.707
Yes No Maybe Timeout