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.169 0.169 0.209 0.253 60.0 0.162 0.174 0.192
AG01/#3.10 0.484 0.497 12.959 60.0 60.0 0.532 0.56 0.659
AG01/#3.12 0.171 0.168 0.24 0.29 60.0 0.181 0.199 0.23
AG01/#3.13 0.291 0.298 60.0 60.0 60.0 0.334 0.336 0.37
AG01/#3.15 0.174 0.166 0.187 0.175 0.201 0.166 0.175 0.209
AG01/#3.16 0.167 0.166 0.261 0.39 60.0 0.161 0.156 0.175
AG01/#3.17 0.214 0.212 0.47 0.661 60.0 0.226 0.254 0.273
AG01/#3.17a 0.287 0.247 0.566 0.792 60.0 0.267 0.289 0.313
AG01/#3.18 0.177 0.174 0.332 0.444 60.0 0.185 0.199 0.226
AG01/#3.19 0.203 0.199 0.666 3.807 60.0 0.213 0.197 0.232
AG01/#3.2 0.16 0.161 0.238 0.268 60.0 0.17 0.17 0.183
AG01/#3.21 0.156 0.152 0.228 0.282 60.0 0.168 0.174 0.186
AG01/#3.22 0.176 0.173 0.396 0.995 60.0 0.193 0.208 0.245
AG01/#3.23 0.148 0.141 0.161 0.186 60.0 0.143 0.156 0.163
AG01/#3.24 0.161 0.161 0.178 0.185 60.0 0.154 0.152 0.174
AG01/#3.26 0.181 0.151 0.182 0.171 1.254 0.142 0.163 0.195
AG01/#3.29 0.147 0.14 0.153 0.155 0.177 0.141 0.136 0.158
AG01/#3.31 0.144 0.161 0.185 0.184 60.0 0.146 0.148 0.165
AG01/#3.33 0.199 0.146 0.17 0.17 0.188 0.171 0.163 0.16
AG01/#3.35 0.159 0.165 0.17 0.168 0.158 0.148 0.146 0.161
AG01/#3.36 0.192 0.179 0.39 0.752 60.0 0.214 0.191 0.262
AG01/#3.37 0.17 0.164 0.256 0.25 60.0 0.18 0.188 0.197
AG01/#3.38 0.185 0.184 0.353 0.364 60.0 0.183 0.193 0.228
AG01/#3.39 0.206 0.223 0.316 0.391 60.0 0.217 0.222 0.259
AG01/#3.4 0.19 0.193 0.349 0.614 60.0 0.204 0.192 0.222
problem t e s nv g c r *
AG01/#3.40 0.236 0.237 0.784 4.853 60.0 0.273 0.265 0.305
AG01/#3.41 0.155 0.149 0.166 0.157 0.151 0.156 0.15 0.156
AG01/#3.42 0.187 0.179 0.255 0.256 60.0 0.195 0.183 0.206
AG01/#3.47 0.161 0.163 0.208 0.232 60.0 0.154 0.166 0.169
AG01/#3.48 0.199 0.186 0.532 5.57 60.0 0.212 0.222 0.221
AG01/#3.49 0.182 0.191 0.207 0.202 0.269 0.196 0.222 0.258
AG01/#3.5 0.214 0.216 0.393 0.541 60.0 0.236 0.216 0.271
AG01/#3.51 0.192 0.154 0.238 0.274 60.0 0.181 0.178 0.171
AG01/#3.52 0.156 0.17 0.189 0.194 0.353 0.158 0.151 0.173
AG01/#3.53 0.271 0.289 1.105 9.367 60.0 0.307 0.3 0.381
AG01/#3.53a 0.141 0.169 0.153 0.165 0.178 0.148 0.143 0.168
AG01/#3.53b 0.156 0.152 0.215 0.202 0.365 0.181 0.184 0.179
AG01/#3.54 0.162 0.157 0.219 0.281 60.0 0.161 0.163 0.19
AG01/#3.55 0.352 0.338 11.669 60.0 60.0 0.395 0.396 0.524
AG01/#3.56 0.171 0.161 0.21 0.244 60.0 0.167 0.175 0.169
AG01/#3.57 0.332 0.293 3.245 60.0 60.0 0.318 0.323 0.375
AG01/#3.5a 0.22 0.208 0.473 0.666 60.0 0.243 0.222 0.274
AG01/#3.5b 0.249 0.251 0.759 8.149 60.0 0.256 0.276 0.301
AG01/#3.6 0.223 0.235 0.533 0.778 60.0 0.243 0.237 0.274
AG01/#3.6a 0.234 0.238 0.441 0.601 60.0 0.242 0.229 0.279
AG01/#3.6b 0.26 0.255 0.789 9.601 60.0 0.263 0.28 0.312
AG01/#3.7 0.161 0.156 0.202 0.186 9.767 0.161 0.17 0.193
AG01/#3.8a 0.212 0.199 0.395 0.678 60.0 0.199 0.194 0.232
AG01/#3.8b 0.26 0.264 1.265 17.735 60.0 0.266 0.26 0.322
AG01/#4.30c 0.199 0.193 0.491 0.83 60.0 0.203 0.201 0.234
problem t e s nv g c r *
AProVE_04/AAECC-ring 0.684 0.702 60.0 60.0 60.0 1.088 1.05 1.419
AProVE_04/AAECC 0.359 0.359 14.284 38.629 60.0 0.48 0.477 0.626
AProVE_04/IJCAR_1 0.165 0.16 0.2 0.206 0.443 0.161 0.162 0.179
AProVE_04/IJCAR_12 0.184 0.194 0.499 0.965 60.0 0.199 0.199 0.231
AProVE_04/IJCAR_18 0.285 0.288 11.151 60.0 60.0 0.341 0.326 0.454
AProVE_04/IJCAR_26 0.301 0.332 20.698 60.0 60.0 0.403 0.396 0.484
AProVE_04/IJCAR_26a 0.314 0.306 20.58 60.0 60.0 0.391 0.391 0.5
AProVE_04/JFP_Ex31 0.216 0.233 1.852 60.0 60.0 0.295 0.274 0.367
AProVE_04/JFP_Ex51 0.322 0.3 6.251 60.0 60.0 0.356 0.367 0.416
AProVE_04/LPAR_intlist 0.201 0.185 0.391 0.405 60.0 0.2 0.212 0.229
AProVE_04/Liveness6.1 0.178 0.19 0.566 0.622 60.0 0.229 0.251 0.288
AProVE_04/Liveness6.2 0.188 0.187 0.368 0.419 60.0 0.207 0.203 0.258
AProVE_04/Liveness6.3 0.299 0.293 2.663 4.486 60.0 0.335 0.506 0.498
AProVE_04/Liveness6.4 0.253 0.248 0.895 1.035 60.0 0.304 0.384 0.501
AProVE_04/Liveness8 0.322 0.301 2.753 2.544 60.0 0.384 0.493 0.642
AProVE_04/Liveness_WRS 0.334 0.282 1.809 3.601 60.0 0.357 60.0 0.852
AProVE_04/fac 0.201 0.187 0.584 1.493 60.0 0.204 0.232 0.258
AProVE_04/forward_instantiation 0.142 0.144 0.167 0.176 0.304 0.145 0.148 0.163
AProVE_04/forward_instantiation2 0.143 0.158 0.177 0.171 0.29 0.15 0.148 0.168
AProVE_04/improved_usable 0.165 0.169 0.223 0.228 7.258 0.151 0.16 0.168
AProVE_04/improved_usable2 0.158 0.144 0.193 0.202 0.445 0.153 0.159 0.18
AProVE_04/rta1 0.178 0.198 0.481 1.405 60.0 60.0 60.0 1.198
AProVE_04/rta2 0.138 0.141 0.168 0.18 0.158 0.14 0.153 0.173
AProVE_04/rta3 0.159 0.166 0.443 0.766 60.0 0.186 0.175 0.213
AProVE_06/div_notCeTermin 0.264 0.312 2.415 5.778 60.0 0.366 0.355 0.402
problem t e s nv g c r *
AProVE_06/div_notTermin 0.292 0.355 14.147 60.0 60.0 0.427 0.469 0.51
AProVE_06/factorial1 0.2 0.203 0.602 1.315 60.0 0.248 0.216 0.265
AProVE_06/factorial2 0.2 0.201 1.621 4.684 60.0 0.234 0.222 0.276
AProVE_06/identity 0.185 0.19 0.437 0.489 60.0 0.213 60.0 0.729
AProVE_06/logarithm 0.241 0.241 1.745 4.724 60.0 0.266 0.269 0.344
AProVE_06/mapHard 0.214 0.242 6.059 60.0 60.0 60.0 60.0 0.325
AProVE_06/modulo 0.187 0.196 0.703 60.0 60.0 0.224 0.224 0.251
AProVE_06/nonterm 0.175 0.169 0.482 0.646 60.0 0.198 0.207 0.253
AProVE_06/quicksort 0.303 0.315 16.58 60.0 60.0 0.356 0.357 0.495
AProVE_06/quot 0.188 0.182 0.544 2.745 60.0 0.236 0.214 0.257
AProVE_06/sizeChange 0.162 0.178 60.0 60.0 60.0 0.185 0.188 0.194
AProVE_06/tower 0.232 0.219 1.041 3.743 60.0 0.242 0.234 0.274
AProVE_06/tower_sizeChange 0.2 0.206 0.634 0.757 60.0 0.225 60.0 0.737
AProVE_07/kabasci01 1.01 0.993 60.0 60.0 60.0 1.263 1.261 1.653
AProVE_07/kabasci02 0.333 0.355 60.0 60.0 60.0 2.276 2.16 1.374
AProVE_07/kabasci03 0.229 0.228 17.703 60.0 60.0 60.0 60.0 1.216
AProVE_07/kabasci04 0.228 0.221 1.064 4.049 60.0 0.251 0.249 0.276
AProVE_07/kabasci05 0.254 0.265 4.966 15.947 60.0 0.27 0.271 0.348
AProVE_07/kabasci06 0.234 0.27 5.837 60.0 60.0 0.529 0.532 0.384
AProVE_07/otto01 0.284 0.283 6.928 60.0 60.0 0.319 0.314 0.385
AProVE_07/otto02 0.265 0.255 1.169 60.0 60.0 0.292 0.284 0.328
AProVE_07/otto03 0.175 0.174 0.277 0.38 60.0 0.191 0.185 0.193
AProVE_07/otto04 0.229 0.24 3.51 60.0 60.0 0.294 0.278 0.352
AProVE_07/otto05 0.186 0.2 0.64 1.472 60.0 0.212 0.203 0.235
AProVE_07/otto06 0.239 0.249 2.844 60.0 60.0 0.272 0.286 0.353
problem t e s nv g c r *
AProVE_07/otto07 0.164 0.155 0.244 0.318 60.0 0.161 0.164 0.198
AProVE_07/otto08 0.229 0.232 0.984 4.223 60.0 0.245 0.249 0.286
AProVE_07/otto09 0.211 0.208 0.467 1.632 60.0 0.203 0.196 0.249
AProVE_07/otto10 0.222 0.225 3.575 60.0 60.0 0.236 0.242 0.283
AProVE_07/otto11 0.19 0.182 1.256 60.0 60.0 0.23 0.209 0.252
AProVE_07/otto12 0.211 0.222 1.312 60.0 60.0 0.232 0.244 0.275
AProVE_07/otto13 0.244 0.247 1.615 60.0 60.0 0.291 0.284 0.352
AProVE_07/thiemann01 0.195 0.207 0.774 2.108 60.0 0.201 0.201 0.244
AProVE_07/thiemann02 0.371 0.384 30.946 60.0 60.0 0.456 0.479 0.639
AProVE_07/thiemann03 0.189 0.2 1.356 5.446 60.0 0.23 0.219 0.28
AProVE_07/thiemann04 0.297 0.282 60.0 60.0 60.0 0.342 0.346 0.42
AProVE_07/thiemann05 0.182 0.19 0.544 1.531 60.0 0.196 0.204 0.234
AProVE_07/thiemann06 0.214 0.229 60.0 60.0 60.0 0.248 0.229 0.266
AProVE_07/thiemann07 0.274 0.276 13.104 60.0 60.0 0.311 0.305 0.36
AProVE_07/thiemann08 0.181 0.178 0.755 1.859 60.0 0.214 0.2 0.226
AProVE_07/thiemann09 0.265 0.26 3.956 11.676 60.0 0.306 0.311 0.347
AProVE_07/thiemann10 0.191 0.205 0.784 1.614 60.0 0.201 0.202 0.229
AProVE_07/thiemann11 0.226 0.232 1.181 60.0 60.0 0.25 0.253 0.285
AProVE_07/thiemann12 0.2 0.197 0.794 1.651 60.0 0.211 0.215 0.255
AProVE_07/thiemann13 0.276 0.274 1.954 14.149 60.0 0.29 0.277 0.33
AProVE_07/thiemann14 0.237 0.228 12.593 60.0 60.0 0.276 0.281 0.342
AProVE_07/thiemann15 0.188 0.192 0.663 1.153 60.0 0.191 0.209 0.218
AProVE_07/thiemann16 0.257 0.254 21.467 60.0 60.0 0.279 0.283 0.351
AProVE_07/thiemann17 0.193 0.195 1.075 14.952 60.0 0.217 0.211 0.252
AProVE_07/thiemann18 0.36 0.366 20.993 60.0 60.0 0.42 0.419 0.487
problem t e s nv g c r *
AProVE_07/thiemann19 0.201 0.195 1.245 3.346 60.0 0.219 0.229 0.299
AProVE_07/thiemann20 0.187 0.188 0.664 1.352 60.0 0.22 0.218 0.268
AProVE_07/thiemann21 0.385 0.399 24.128 60.0 60.0 0.431 0.452 0.549
AProVE_07/thiemann22 0.19 0.201 0.479 3.373 60.0 0.216 0.209 0.256
AProVE_07/thiemann23 0.184 0.188 0.35 0.408 60.0 0.183 0.186 0.222
AProVE_07/thiemann24 0.193 0.205 0.707 4.216 60.0 0.21 0.208 0.264
AProVE_07/thiemann25 0.179 0.198 0.497 60.0 60.0 0.197 0.201 0.224
AProVE_07/thiemann26 0.199 0.208 0.988 20.829 60.0 0.207 0.216 0.235
AProVE_07/thiemann27 0.164 0.156 0.249 0.324 60.0 0.172 0.171 0.197
AProVE_07/thiemann28 0.189 0.193 1.19 60.0 60.0 0.214 0.215 0.253
AProVE_07/thiemann29 0.242 0.235 1.273 60.0 60.0 0.265 0.273 0.304
AProVE_07/thiemann30 0.465 0.46 17.212 60.0 60.0 0.548 0.532 0.648
AProVE_07/thiemann31 0.19 0.19 0.674 60.0 60.0 0.198 0.213 0.254
AProVE_07/thiemann32 0.258 0.265 1.434 4.059 60.0 0.274 0.282 0.35
AProVE_07/thiemann33 0.206 0.212 0.998 2.405 60.0 0.245 0.232 0.325
AProVE_07/thiemann34 0.234 0.235 1.063 5.526 60.0 0.251 0.253 0.29
AProVE_07/thiemann35 0.263 0.294 19.191 60.0 60.0 28.922 28.864 0.821
AProVE_07/thiemann36 0.196 0.207 5.939 60.0 60.0 0.217 0.221 0.256
AProVE_07/thiemann37 0.272 0.273 60.0 60.0 60.0 0.308 0.306 0.379
AProVE_07/thiemann38 0.196 0.199 1.347 60.0 60.0 0.223 0.223 0.255
AProVE_07/thiemann39 0.261 0.298 17.906 60.0 60.0 60.0 60.0 0.423
AProVE_07/thiemann40 0.157 0.16 0.385 0.4 45.284 0.16 0.174 0.18
AProVE_07/thiemann41 0.191 0.19 0.889 60.0 60.0 0.246 0.226 0.273
AProVE_07/wiehe01 0.252 0.243 3.936 27.466 60.0 5.913 5.928 1.257
AProVE_07/wiehe02 0.39 0.344 14.717 60.0 60.0 12.933 12.877 1.366
problem t e s nv g c r *
AProVE_07/wiehe03 0.458 0.374 16.697 60.0 60.0 14.267 14.547 1.391
AProVE_07/wiehe05 0.267 0.277 1.216 5.553 60.0 0.333 0.36 0.479
AProVE_07/wiehe06 0.288 0.254 6.459 47.477 60.0 9.447 9.383 1.277
AProVE_07/wiehe07 0.282 0.275 7.061 60.0 60.0 45.647 43.121 1.287
AProVE_07/wiehe08 0.272 0.273 1.77 7.678 60.0 0.359 0.381 0.483
AProVE_07/wiehe09 0.294 0.305 8.377 42.701 60.0 7.64 7.676 1.312
AProVE_07/wiehe11 0.403 0.449 34.013 60.0 60.0 24.814 24.292 1.47
AProVE_07/wiehe12 0.601 0.625 60.0 60.0 60.0 60.0 60.0 1.62
AProVE_08/id_inc 0.2 0.192 0.423 0.841 60.0 0.217 0.231 0.265
AProVE_08/log 0.214 0.201 0.622 1.305 60.0 0.233 0.236 0.296
AProVE_08/parting01_reverse 0.217 0.224 1.307 60.0 60.0 0.253 0.234 0.3
AProVE_08/parting02_doublelist 0.226 0.217 1.202 60.0 60.0 0.248 0.237 0.29
AProVE_08/parting03_minsort 0.241 0.254 5.119 60.0 60.0 0.301 0.27 0.347
AProVE_08/parting04_maxsort_h 0.298 0.297 11.603 60.0 60.0 0.35 0.349 0.451
AProVE_08/parting05_maxsort 0.28 0.277 7.277 60.0 60.0 0.293 0.303 0.379
AProVE_08/round 0.154 0.156 0.249 0.295 60.0 0.162 0.175 0.202
AProVE_08/round_nonterm 0.164 0.158 0.214 0.259 60.0 0.158 0.161 0.189
AProVE_08/thiemann40_modified 0.184 0.176 0.476 0.747 60.0 0.19 0.174 0.208
AProVE_09_Inductive/div 0.234 0.21 1.314 20.301 60.0 0.245 0.269 0.283
AProVE_09_Inductive/divhard 0.226 0.219 1.949 22.226 60.0 0.243 0.242 0.298
AProVE_09_Inductive/gcd 0.24 0.232 1.535 23.179 60.0 0.263 0.265 0.305
AProVE_09_Inductive/gcd2 0.27 0.242 1.541 26.991 60.0 0.294 0.284 0.346
AProVE_09_Inductive/gcdhard 0.214 0.216 1.233 7.635 60.0 0.244 0.25 0.315
AProVE_09_Inductive/log 0.188 0.201 0.819 1.482 60.0 0.221 0.211 0.262
AProVE_09_Inductive/maxsort 0.259 0.28 6.053 60.0 60.0 0.305 0.299 0.397
problem t e s nv g c r *
AProVE_09_Inductive/maxsortcondition 0.311 0.298 9.985 60.0 60.0 0.33 0.336 0.422
AProVE_09_Inductive/minsort 0.274 0.275 5.92 60.0 60.0 0.307 0.311 0.395
AProVE_09_Inductive/mod 0.239 0.226 1.43 25.493 60.0 0.261 0.248 0.31
AProVE_09_Inductive/qsort 0.329 0.329 6.932 60.0 60.0 0.385 0.393 0.461
AProVE_09_Inductive/qsortlast 0.464 0.46 13.041 60.0 60.0 60.0 60.0 0.612
AProVE_09_Inductive/qsortmiddle 0.571 0.57 37.613 60.0 60.0 60.0 60.0 0.828
AProVE_09_Inductive/zerolist 0.215 0.196 0.403 0.7 60.0 0.233 0.213 0.263
AotoYamada_05/001 0.147 0.143 0.208 0.255 60.0 0.165 0.153 0.159
AotoYamada_05/002 0.175 0.192 1.264 16.002 60.0 0.263 0.258 0.248
AotoYamada_05/003 0.159 0.164 0.367 1.76 60.0 0.413 0.42 0.204
AotoYamada_05/004 0.173 0.178 0.42 1.818 60.0 0.217 0.226 0.22
AotoYamada_05/005 0.197 0.174 0.289 0.421 60.0 0.202 0.349 0.362
AotoYamada_05/006 0.159 0.181 1.335 60.0 60.0 0.209 0.21 0.207
AotoYamada_05/007 0.187 0.193 0.671 2.145 60.0 0.254 0.248 0.207
AotoYamada_05/009 0.191 0.225 4.078 18.883 60.0 0.289 0.313 0.254
AotoYamada_05/010 0.211 0.242 3.034 17.295 60.0 0.412 0.417 0.32
AotoYamada_05/011 0.185 0.206 1.043 4.926 60.0 0.267 0.267 0.243
AotoYamada_05/012 0.204 0.221 2.457 4.304 60.0 0.283 0.274 0.246
AotoYamada_05/013 0.19 0.2 1.19 18.476 60.0 0.33 0.322 0.252
AotoYamada_05/014 0.215 0.225 1.74 6.879 60.0 0.342 0.35 0.277
AotoYamada_05/015 0.172 0.172 0.49 1.304 60.0 0.235 0.234 0.206
AotoYamada_05/016 0.212 0.242 4.041 60.0 60.0 0.325 0.328 0.294
AotoYamada_05/017 0.138 0.145 0.18 0.167 60.0 0.148 0.155 0.186
AotoYamada_05/019 0.144 0.155 0.202 0.472 60.0 0.162 0.155 0.173
AotoYamada_05/020 0.186 0.2 0.824 3.838 60.0 0.264 0.284 0.244
problem t e s nv g c r *
AotoYamada_05/021 0.226 0.272 2.886 60.0 60.0 0.462 0.461 0.369
AotoYamada_05/022 0.171 0.179 0.575 9.747 60.0 0.259 0.268 0.221
AotoYamada_05/023 0.147 0.157 0.203 0.234 60.0 0.159 0.184 0.178
AotoYamada_05/024 0.153 0.165 0.273 0.78 60.0 0.171 0.181 0.214
AotoYamada_05/025 0.137 0.145 0.149 0.141 0.149 0.146 0.132 0.164
AotoYamada_05/026 0.16 0.17 0.442 37.133 60.0 0.213 0.21 0.2
AotoYamada_05/027 0.177 0.193 0.768 13.915 60.0 0.281 0.265 0.247
AotoYamada_05/028 0.176 0.181 0.44 1.513 60.0 0.233 0.224 0.222
AotoYamada_05/Ex1SimplyTyped 0.168 0.17 0.459 1.423 60.0 0.232 0.231 0.219
AotoYamada_05/Ex5TermProof 0.219 0.219 1.675 39.355 60.0 0.312 0.315 0.287
Applicative_05/BTreeMember 0.322 0.22 18.775 60.0 60.0 60.0 60.0 0.263
Applicative_05/Ex10Functional 0.248 0.26 60.0 60.0 60.0 0.467 0.472 0.456
Applicative_05/Ex2PrimRec 0.153 0.152 0.259 34.198 60.0 0.163 0.164 0.187
Applicative_05/Ex2_6_1Composition 0.17 0.183 0.209 0.199 60.0 0.182 0.196 0.214
Applicative_05/Ex2_8_1ConstSubstFix 0.2 0.211 0.3 0.738 60.0 0.162 0.163 0.197
Applicative_05/Ex3Lists 0.198 0.205 1.275 39.974 60.0 0.316 0.313 0.277
Applicative_05/Ex4MapList 0.151 0.154 0.274 0.496 60.0 0.19 0.176 0.177
Applicative_05/Ex5Folding 0.199 0.234 4.745 60.0 60.0 0.339 0.325 0.289
Applicative_05/Ex5Sorting 0.261 0.301 60.0 60.0 60.0 0.671 0.649 0.454
Applicative_05/Ex6Folding 0.172 0.17 7.103 60.0 60.0 0.241 0.223 0.233
Applicative_05/Ex6Recursor 0.153 0.158 0.347 1.952 60.0 0.155 0.165 0.182
Applicative_05/Ex6_11 0.153 0.15 0.238 0.38 60.0 0.283 0.264 0.182
Applicative_05/Ex7OrdinalRec 0.204 0.191 60.0 60.0 60.0 0.311 0.306 0.303
Applicative_05/Ex7Sorting 0.255 0.293 60.0 60.0 60.0 60.0 60.0 0.444
Applicative_05/Ex7_9 0.267 0.32 12.965 60.0 60.0 0.616 0.617 0.412
problem t e s nv g c r *
Applicative_05/Ex8Polymorphic 0.194 0.177 0.686 60.0 60.0 0.243 0.239 0.237
Applicative_05/Ex9Maps 0.221 0.199 46.576 60.0 60.0 60.0 60.0 0.312
Applicative_05/Hamming 0.424 0.556 60.0 60.0 60.0 60.0 60.0 1.578
Applicative_05/ReverseLastInit 0.207 0.211 0.797 2.863 60.0 0.249 0.551 0.563
Applicative_05/TakeDropWhile 0.198 0.18 1.074 5.392 60.0 0.285 0.285 0.24
Applicative_05/TreeFlatten 0.199 0.23 1.682 51.687 60.0 0.568 0.576 0.285
Applicative_05/TreeHeight 0.214 0.231 2.925 60.0 60.0 60.0 60.0 0.329
Applicative_05/TreeLevels 0.26 0.284 11.058 60.0 60.0 60.0 60.0 0.397
Applicative_05/TreeMap 0.172 0.168 0.495 16.877 60.0 0.307 0.298 0.211
Applicative_05/TreeSize 0.187 0.213 1.294 58.2 60.0 0.59 0.596 0.28
Applicative_05/TypeEx1 0.165 0.156 0.221 0.304 60.0 0.22 0.222 0.226
Applicative_05/TypeEx3 0.183 0.191 0.562 7.516 60.0 60.0 60.0 1.196
Applicative_05/TypeEx5 0.144 0.136 0.149 0.143 0.194 0.138 0.162 0.167
Applicative_05/mapDivMinus 0.198 0.212 1.007 17.368 60.0 0.312 0.301 0.285
Applicative_05/mapDivMinusHard 0.217 0.247 1.901 29.279 60.0 0.383 0.387 0.3
Applicative_05/nonTermF 0.161 0.184 9.372 60.0 60.0 60.0 60.0 1.181
Applicative_05/termMonTypes 0.151 0.159 0.308 0.764 60.0 0.16 0.158 0.188
Applicative_first_order_05/#3.10 0.442 0.767 60.0 60.0 60.0 3.192 3.126 1.196
Applicative_first_order_05/#3.13 0.392 0.554 60.0 60.0 60.0 23.957 23.882 0.868
Applicative_first_order_05/#3.16 0.255 0.264 12.199 60.0 60.0 0.618 0.596 0.39
Applicative_first_order_05/#3.18 0.272 0.318 21.675 60.0 60.0 0.902 0.917 0.462
Applicative_first_order_05/#3.2 0.245 0.275 9.715 60.0 60.0 0.622 0.626 0.396
Applicative_first_order_05/#3.22 0.272 0.305 15.626 60.0 60.0 0.824 0.811 0.513
Applicative_first_order_05/#3.25 0.234 0.232 2.911 45.578 60.0 0.467 0.48 0.296
Applicative_first_order_05/#3.27 0.22 0.231 2.785 24.738 60.0 0.403 0.394 0.287
problem t e s nv g c r *
Applicative_first_order_05/#3.32 0.221 0.202 2.834 60.0 60.0 0.402 0.371 0.271
Applicative_first_order_05/#3.36 0.259 0.275 13.757 60.0 60.0 0.701 0.7 0.457
Applicative_first_order_05/#3.38 0.272 0.3 16.844 60.0 60.0 0.753 0.782 0.424
Applicative_first_order_05/#3.40 0.307 0.386 36.544 60.0 60.0 3.681 3.717 0.642
Applicative_first_order_05/#3.45 0.25 0.298 7.488 58.018 60.0 0.523 0.543 0.372
Applicative_first_order_05/#3.48 0.265 0.318 20.215 60.0 60.0 1.103 1.08 0.436
Applicative_first_order_05/#3.52 0.244 0.246 3.801 60.0 60.0 0.57 0.533 0.323
Applicative_first_order_05/#3.55 0.386 0.708 60.0 60.0 60.0 2.67 2.741 1.162
Applicative_first_order_05/#3.57 0.34 0.538 60.0 60.0 60.0 1.479 1.52 0.799
Applicative_first_order_05/#3.6 0.29 0.385 39.115 60.0 60.0 0.997 0.973 0.562
Applicative_first_order_05/#3.8 0.272 0.348 19.003 60.0 60.0 60.0 60.0 0.47
Applicative_first_order_05/01 0.236 0.243 20.645 60.0 60.0 4.546 4.453 0.576
Applicative_first_order_05/02 0.225 0.223 10.735 45.794 60.0 4.404 4.32 0.564
Applicative_first_order_05/06 0.216 0.234 2.825 59.544 60.0 0.463 0.454 0.287
Applicative_first_order_05/08 0.265 0.264 11.304 60.0 60.0 0.843 0.824 0.401
Applicative_first_order_05/11 0.38 0.378 60.0 60.0 60.0 2.717 2.728 0.999
Applicative_first_order_05/12 0.266 0.306 12.418 60.0 60.0 0.779 0.795 0.456
Applicative_first_order_05/13 0.269 0.299 11.723 60.0 60.0 0.704 0.699 0.473
Applicative_first_order_05/17 0.246 0.285 22.223 60.0 60.0 25.228 24.058 0.906
Applicative_first_order_05/18 0.234 0.224 2.586 60.0 60.0 0.443 0.443 0.295
Applicative_first_order_05/21 0.259 0.301 17.601 60.0 60.0 0.749 0.773 0.468
Applicative_first_order_05/29 0.228 0.235 5.271 58.105 60.0 0.527 0.519 0.336
Applicative_first_order_05/30 0.255 0.266 60.0 60.0 60.0 0.587 0.601 0.398
Applicative_first_order_05/31 0.263 0.264 9.149 60.0 60.0 0.708 0.73 0.391
Applicative_first_order_05/33 0.286 0.367 22.164 60.0 60.0 1.036 1.022 0.595
problem t e s nv g c r *
Applicative_first_order_05/hydra 0.249 0.261 10.988 60.0 60.0 0.656 0.635 0.383
Applicative_first_order_05/minsort 0.346 0.516 60.0 60.0 60.0 24.895 25.429 0.741
Applicative_first_order_05/motivation 0.225 0.245 4.656 50.553 60.0 0.473 0.455 0.3
Applicative_first_order_05/perfect 0.326 0.324 60.0 60.0 60.0 1.241 1.226 0.524
Applicative_first_order_05/perfect2 0.352 0.459 60.0 60.0 60.0 1.592 1.634 0.753
Beerendonk_07/1 0.161 0.17 0.293 0.419 60.0 0.167 0.16 0.184
Beerendonk_07/10 0.22 0.221 1.352 1.762 60.0 0.234 0.232 0.264
Beerendonk_07/11 0.201 0.203 0.682 1.391 60.0 0.207 0.22 0.242
Beerendonk_07/12 0.169 0.173 0.525 1.183 60.0 0.186 0.186 0.233
Beerendonk_07/13 0.18 0.191 0.442 0.75 60.0 0.188 0.198 0.219
Beerendonk_07/14 0.191 0.196 0.484 0.626 60.0 0.214 0.205 0.251
Beerendonk_07/15 0.204 0.222 0.732 1.377 60.0 0.253 0.26 0.319
Beerendonk_07/16 0.206 0.21 0.929 20.228 60.0 0.256 0.249 0.307
Beerendonk_07/17 0.236 0.251 1.786 7.417 60.0 0.271 0.281 0.344
Beerendonk_07/18 0.217 0.222 0.799 3.851 60.0 0.241 0.251 0.298
Beerendonk_07/19 0.206 0.216 0.972 60.0 60.0 0.25 0.258 0.315
Beerendonk_07/2 0.16 0.16 0.277 0.399 60.0 0.178 0.187 0.206
Beerendonk_07/20 0.214 0.216 1.784 6.861 60.0 0.24 0.233 0.29
Beerendonk_07/21 0.216 0.226 2.133 60.0 60.0 0.23 0.234 0.289
Beerendonk_07/22 0.167 0.173 0.375 0.546 60.0 0.19 0.2 0.23
Beerendonk_07/23 0.203 0.179 0.428 8.177 60.0 0.199 0.186 0.237
Beerendonk_07/24 0.21 0.226 1.063 7.055 60.0 0.254 0.267 0.319
Beerendonk_07/3 0.177 0.181 0.303 0.586 60.0 0.179 0.169 0.198
Beerendonk_07/4 0.152 0.152 0.221 0.298 60.0 0.157 0.16 0.174
Beerendonk_07/5 0.193 0.185 0.94 1.286 60.0 0.198 0.21 0.232
problem t e s nv g c r *
Beerendonk_07/6 0.16 0.155 0.269 0.276 60.0 0.162 0.161 0.207
Beerendonk_07/7 0.168 0.164 0.344 0.326 60.0 0.169 0.178 0.19
Beerendonk_07/8 0.176 0.176 0.558 1.361 60.0 0.197 0.198 0.218
Beerendonk_07/9 0.169 0.176 0.676 60.0 60.0 0.206 0.203 0.228
Bouchare_06/01 0.15 0.146 0.202 0.299 60.0 0.163 0.182 0.214
Bouchare_06/02 0.159 0.159 0.222 0.268 60.0 0.16 0.19 0.215
Bouchare_06/03 0.15 0.159 0.21 0.275 60.0 0.157 0.195 0.235
Bouchare_06/04 0.149 0.149 0.226 0.288 60.0 0.157 0.226 0.216
Bouchare_06/05 0.151 0.164 0.204 0.301 60.0 0.153 0.212 0.247
Bouchare_06/06 0.167 0.173 0.216 0.336 60.0 0.164 0.196 0.218
Bouchare_06/07 0.182 0.189 0.257 0.284 60.0 0.182 0.256 0.267
Bouchare_06/08 0.17 0.155 0.205 0.266 60.0 0.165 0.182 0.229
Bouchare_06/09 0.149 0.15 0.216 0.308 60.0 0.159 0.176 0.22
Bouchare_06/10 0.158 0.156 0.223 0.343 60.0 0.181 0.185 0.216
Bouchare_06/11 0.157 0.154 0.211 0.268 60.0 0.149 0.177 0.194
Bouchare_06/12 0.154 0.16 0.18 0.182 60.0 0.144 0.158 0.162
Bouchare_06/13 0.157 0.146 0.2 0.284 60.0 0.161 0.176 0.214
Bouchare_06/14 0.152 0.16 0.188 0.266 35.082 0.162 0.188 0.245
Bouchare_06/15 0.157 0.151 0.229 0.323 60.0 0.169 0.198 0.238
Bouchare_06/16 0.146 0.157 0.189 0.23 60.0 0.16 0.185 0.207
Bouchare_06/17 0.147 0.148 0.201 0.251 60.0 0.169 0.207 0.24
Bouchare_06/18 0.153 0.154 0.209 0.32 60.0 0.161 0.185 0.224
CiME_04/ack_prolog 0.189 0.193 0.413 0.88 60.0 0.204 0.211 0.231
CiME_04/append-hard 0.16 0.166 0.261 0.306 45.832 0.164 0.16 0.19
CiME_04/append-wrong 0.16 0.156 0.288 0.315 60.0 0.167 0.16 0.179
problem t e s nv g c r *
CiME_04/append 0.156 0.162 0.182 0.196 0.192 0.157 0.159 0.171
CiME_04/big 0.828 0.944 60.0 60.0 60.0 1.382 1.396 1.835
CiME_04/boolean_rings 0.173 0.163 0.538 0.802 60.0 0.179 0.181 0.204
CiME_04/dpqs 0.187 0.15 0.195 0.214 60.0 0.166 0.174 0.154
CiME_04/fact-hard 0.224 0.219 1.74 5.747 60.0 0.258 0.252 0.338
CiME_04/filliatre 0.246 0.267 3.309 3.491 60.0 0.286 0.432 0.467
CiME_04/filliatre2 0.315 0.32 5.916 8.77 60.0 0.33 0.612 0.678
CiME_04/filliatre3 0.322 0.346 9.849 60.0 60.0 0.352 0.363 0.441
CiME_04/intersect 0.256 0.246 10.842 60.0 60.0 0.309 0.317 0.382
CiME_04/list-sum-prod-assoc-append 0.258 0.253 5.908 37.151 60.0 0.325 0.313 0.438
CiME_04/list-sum-prod-assoc 0.219 0.224 1.641 14.976 60.0 0.243 0.244 0.315
CiME_04/list-sum-prod-bin-assoc-distr-app 0.295 0.289 23.278 60.0 60.0 0.416 0.425 0.597
CiME_04/list-sum-prod-bin-assoc 0.242 0.229 8.552 47.495 60.0 0.302 0.29 0.388
CiME_04/list-sum-prod-bin 0.214 0.224 4.781 12.322 60.0 0.286 0.279 0.351
CiME_04/list-sum-prod 0.204 0.197 0.852 2.288 60.0 0.229 0.223 0.271
CiME_04/log2 0.354 0.391 55.032 60.0 60.0 0.511 0.522 0.606
CiME_04/lse 0.254 0.26 15.988 60.0 60.0 0.345 0.356 0.437
CiME_04/maude2 0.334 0.326 4.343 19.174 60.0 0.415 0.414 0.535
CiME_04/mucrl1 4.566 3.519 60.0 60.0 60.0 4.69 4.456 4.562
CiME_04/ternary-hard 0.278 0.28 38.97 60.0 60.0 0.436 0.436 0.602
CiME_04/ternary 0.263 0.28 27.179 60.0 60.0 0.366 0.397 0.48
CiME_04/tree 0.672 0.758 60.0 60.0 60.0 1.018 0.984 1.22
Der95/01 0.155 0.157 0.16 0.146 0.155 0.144 0.144 0.149
Der95/02 0.161 0.153 0.141 0.158 0.141 0.164 0.144 0.139
Der95/03 0.136 0.137 0.13 0.13 0.141 0.138 0.137 0.128
problem t e s nv g c r *
Der95/04 0.161 0.148 0.171 0.17 0.575 0.144 0.149 0.16
Der95/06 0.147 0.137 0.166 0.155 0.149 0.154 0.141 0.144
Der95/07 0.159 0.15 0.192 0.22 1.83 0.154 0.149 0.181
Der95/08 0.178 0.17 0.202 0.191 0.179 0.168 0.148 0.167
Der95/09 0.139 0.149 0.148 0.152 21.964 0.143 0.154 0.168
Der95/11 0.2 0.197 0.264 0.292 0.313 0.233 0.207 0.245
Der95/12 0.175 0.168 0.276 0.386 60.0 0.181 0.19 0.23
Der95/13 0.183 0.186 0.29 1.475 60.0 0.19 0.199 0.232
Der95/17 0.185 0.191 0.461 0.837 60.0 0.201 0.232 0.261
Der95/18 0.138 0.153 0.149 0.147 0.154 0.148 0.143 0.157
Der95/20 0.172 0.168 0.269 0.334 60.0 0.177 0.199 0.246
Der95/21 0.163 0.17 0.4 0.7 60.0 0.17 0.182 0.223
Der95/27 0.157 0.151 0.153 0.167 0.161 0.14 0.139 0.165
Der95/28 0.148 0.147 0.236 0.363 60.0 0.143 0.139 0.154
Der95/30 0.15 0.152 5.638 60.0 60.0 0.167 0.15 0.17
Der95/31 0.168 0.169 0.224 0.263 60.0 0.16 0.172 0.185
Der95/32 0.195 0.194 1.222 60.0 60.0 0.201 0.207 0.238
Der95/33 0.209 0.212 0.512 60.0 60.0 0.244 0.23 0.281
Endrullis_06/direct 0.161 0.152 0.163 0.156 2.033 0.146 0.237 0.273
Endrullis_06/labeling 0.142 0.146 0.2 0.656 60.0 0.138 0.14 0.17
Endrullis_06/linear1 0.186 0.167 0.276 0.385 60.0 0.185 60.0 0.234
Endrullis_06/linear2 0.19 0.201 0.349 0.557 60.0 0.252 0.417 0.357
Endrullis_06/pair2hard 0.181 0.162 0.253 1.734 60.0 0.183 0.193 0.217
Endrullis_06/pair2simple1 0.168 0.157 0.218 0.276 60.0 0.174 0.173 0.195
Endrullis_06/pair2simple2 0.162 0.168 0.223 0.339 60.0 0.159 0.165 0.179
problem t e s nv g c r *
Endrullis_06/pair3hard 0.151 0.149 0.613 60.0 60.0 0.172 0.15 0.18
Endrullis_06/pair3rotate 0.168 0.159 0.188 0.207 60.0 0.166 0.203 0.248
Endrullis_06/pair3swap 0.173 0.166 0.191 0.203 60.0 0.161 0.184 0.214
Endrullis_06/quadruple1 0.18 0.155 0.164 0.162 13.843 0.163 0.157 0.192
Endrullis_06/quadruple2 0.155 0.158 0.187 0.195 60.0 0.169 0.183 0.195
GTSSK07/cade01 0.158 0.177 0.268 0.348 60.0 0.176 0.159 0.188
GTSSK07/cade03 0.16 0.161 0.279 0.335 60.0 0.177 0.17 0.206
GTSSK07/cade04t 0.155 0.189 0.249 0.539 60.0 0.16 0.161 0.19
GTSSK07/cade05t 0.187 0.198 0.525 1.446 60.0 0.192 0.194 0.237
GTSSK07/cade06 0.192 0.19 0.47 5.699 60.0 0.202 0.195 0.253
GTSSK07/cade07 0.173 0.177 0.33 2.992 60.0 0.177 0.191 0.224
GTSSK07/cade08 0.175 0.172 0.425 7.064 60.0 0.184 0.188 0.229
GTSSK07/cade09 0.176 0.175 0.406 1.47 60.0 0.199 0.197 0.243
GTSSK07/cade10 0.179 0.185 0.372 1.292 60.0 0.206 0.202 0.219
GTSSK07/cade11 0.163 0.159 0.231 0.299 60.0 0.162 0.164 0.186
GTSSK07/cade12t 0.205 0.208 1.02 2.161 60.0 0.235 0.225 0.288
GTSSK07/cade13t 0.205 0.201 0.474 2.596 60.0 0.205 0.208 0.26
GTSSK07/cade14 0.193 0.193 0.665 1.896 60.0 0.205 0.214 0.246
GTSSK07/cade15 0.264 0.253 6.282 46.02 60.0 0.306 0.304 0.359
GTSSK07/cade16 0.176 0.185 0.784 6.45 60.0 0.195 0.204 0.238
GTSSK07/cade17 0.227 0.24 2.239 60.0 60.0 0.276 0.281 0.393
HirokawaMiddeldorp_04/n002 0.134 0.138 0.145 0.135 0.139 0.134 0.147 0.149
HirokawaMiddeldorp_04/n003 0.151 0.141 0.142 0.146 0.149 0.139 0.143 0.167
HirokawaMiddeldorp_04/n004 0.136 0.141 0.136 0.151 0.143 0.132 0.132 0.149
HirokawaMiddeldorp_04/n005 0.137 0.143 0.144 0.145 0.163 0.146 0.14 0.156
problem t e s nv g c r *
HirokawaMiddeldorp_04/n006 0.138 0.134 0.134 0.144 0.136 0.133 0.137 0.152
HirokawaMiddeldorp_04/n007 0.135 0.144 0.172 0.163 0.154 0.144 0.146 0.154
HirokawaMiddeldorp_04/n008 0.14 0.131 0.142 0.146 0.15 0.136 0.147 0.165
HirokawaMiddeldorp_04/t000 0.741 0.525 60.0 60.0 60.0 0.615 0.968 0.972
HirokawaMiddeldorp_04/t001 0.278 0.278 5.091 60.0 60.0 0.297 0.286 0.333
HirokawaMiddeldorp_04/t002 0.201 0.185 0.911 3.401 60.0 0.193 0.195 0.253
HirokawaMiddeldorp_04/t003 0.261 0.262 2.98 60.0 60.0 0.277 0.28 0.309
HirokawaMiddeldorp_04/t004 0.164 0.155 0.189 0.202 60.0 0.154 0.164 0.187
HirokawaMiddeldorp_04/t005 0.781 0.797 60.0 60.0 60.0 1.132 1.099 1.143
HirokawaMiddeldorp_04/t006 0.142 0.148 0.153 0.145 0.16 0.143 0.144 0.154
HirokawaMiddeldorp_04/t007 0.144 0.145 0.143 0.163 0.164 0.143 0.152 0.162
HirokawaMiddeldorp_04/t008 0.161 0.156 0.277 0.393 60.0 0.176 0.201 0.235
HirokawaMiddeldorp_04/t009 1.212 1.261 2.33 2.386 60.0 1.381 43.854 1.877
HirokawaMiddeldorp_04/t010 0.158 0.149 0.151 0.143 0.147 0.136 0.14 0.16
HirokawaMiddeldorp_04/t011 0.144 0.149 0.154 0.154 0.179 0.144 0.148 0.163
HirokawaMiddeldorp_04/t012 0.181 0.181 0.352 0.674 60.0 0.224 0.262 0.357
HirokawaMiddeldorp_04/t013 0.195 0.201 0.455 0.971 60.0 0.208 0.203 0.259
HirokawaMiddeldorp_04/t014 0.21 0.207 0.862 4.389 60.0 0.201 0.198 0.231
Mixed_CTRS/quick 0.287 0.274 60.0 60.0 60.0 0.304 0.316 0.397
Mixed_TRS/1 0.173 0.151 0.181 0.178 60.0 0.149 0.152 0.162
Mixed_TRS/2 0.156 0.158 0.176 0.195 60.0 0.159 60.0 0.179
Mixed_TRS/3 0.147 0.144 0.175 0.177 60.0 0.159 0.145 0.183
Mixed_TRS/4 0.162 0.148 0.157 0.159 14.094 0.157 0.162 0.18
Mixed_TRS/5 0.144 0.151 0.169 0.186 0.293 0.148 0.14 0.152
Mixed_TRS/6 0.142 0.145 0.181 0.179 60.0 0.153 0.157 0.168
problem t e s nv g c r *
Mixed_TRS/7 0.155 0.149 1.828 13.103 60.0 0.165 0.155 0.172
Mixed_TRS/Ex1_Luc04b_GM 0.266 0.242 11.857 8.867 60.0 0.284 60.0 0.825
Mixed_TRS/beans 0.188 0.187 0.321 0.39 60.0 0.233 60.0 0.74
Mixed_TRS/gcd 0.218 0.207 0.599 1.741 60.0 0.216 0.223 0.271
Mixed_TRS/gcdMinMax 0.219 0.221 0.613 1.864 60.0 0.219 0.219 0.258
Mixed_TRS/gcd_triple 0.247 0.245 0.971 20.793 60.0 0.273 0.264 0.333
Mixed_TRS/hydra-Zantema06 0.216 0.21 0.589 40.67 60.0 0.212 0.214 0.264
Mixed_TRS/hydra 0.167 0.177 0.271 0.625 60.0 0.156 0.16 0.176
Mixed_TRS/jones1 0.147 0.148 0.154 0.153 0.16 0.141 0.15 0.166
Mixed_TRS/jones2 0.152 0.145 0.184 0.177 0.181 0.148 0.15 0.167
Mixed_TRS/jones4 0.148 0.164 0.158 0.185 0.242 0.147 0.147 0.168
Mixed_TRS/jones5 0.14 0.143 0.177 0.191 0.18 0.147 0.163 0.158
Mixed_TRS/jones6 0.156 0.17 0.18 0.166 0.187 0.152 0.164 0.191
Mixed_TRS/minsort 0.237 0.243 3.112 17.546 60.0 0.261 0.274 0.326
Mixed_TRS/motivation 0.156 0.154 0.198 0.216 60.0 0.145 0.156 0.168
Mixed_TRS/perfect 0.203 0.197 0.467 0.483 60.0 0.193 0.204 0.213
Mixed_TRS/perfect2 0.258 0.267 3.786 60.0 60.0 0.276 0.257 0.302
Mixed_TRS/test1 0.148 0.141 0.162 0.175 0.187 0.149 0.151 0.153
Mixed_TRS/while 0.149 0.161 0.21 0.25 60.0 0.171 0.156 0.18
Mixed_TRS/while2 0.165 0.161 0.748 3.51 60.0 0.177 0.189 0.186
Rubio_04/aoto 0.153 0.142 0.173 0.18 60.0 0.153 0.172 0.191
Rubio_04/bintrees 0.168 0.161 0.189 0.186 60.0 0.158 0.158 0.201
Rubio_04/bn122 0.144 0.157 0.198 0.388 60.0 0.169 0.149 0.165
Rubio_04/bn129 0.172 0.17 0.211 0.241 60.0 0.175 0.238 0.291
Rubio_04/division 0.21 0.22 0.619 6.296 60.0 0.214 0.217 0.261
problem t e s nv g c r *
Rubio_04/elimdupl 0.219 0.214 0.832 8.273 60.0 0.233 0.246 0.273
Rubio_04/enno 0.244 0.241 17.351 60.0 60.0 0.295 0.271 0.339
Rubio_04/gcd 0.231 0.231 0.534 0.789 60.0 0.252 0.252 0.283
Rubio_04/gm 0.162 0.163 0.248 0.27 60.0 0.183 0.169 0.194
Rubio_04/gmnp 0.172 0.156 0.18 0.177 0.175 0.159 0.161 0.169
Rubio_04/koen 0.149 0.149 0.17 0.173 0.175 0.163 0.165 0.189
Rubio_04/lescanne 0.157 0.159 0.212 0.235 60.0 0.168 0.35 0.313
Rubio_04/lindau 0.15 0.152 0.208 0.236 60.0 0.163 0.178 0.196
Rubio_04/logarquot 0.184 0.201 0.33 0.511 60.0 0.194 0.201 0.236
Rubio_04/ma96 0.355 0.345 24.107 60.0 60.0 0.386 0.376 0.438
Rubio_04/mfp90b 0.143 0.143 0.163 0.159 0.175 0.145 0.168 0.166
Rubio_04/mfp95 0.143 0.148 0.135 0.144 0.157 0.14 0.156 0.14
Rubio_04/nestrec 0.158 0.139 0.176 0.182 2.032 0.158 0.143 0.165
Rubio_04/p266 0.153 0.137 0.183 0.189 60.0 0.155 0.165 0.164
Rubio_04/polo2 0.196 0.213 0.258 0.258 0.284 0.212 0.183 0.224
Rubio_04/prov 0.186 0.153 0.198 0.233 60.0 0.16 0.167 0.174
Rubio_04/quick 0.268 0.27 5.13 60.0 60.0 0.321 0.308 0.425
Rubio_04/quotminus 0.199 0.194 0.392 0.694 60.0 0.222 0.212 0.231
Rubio_04/revlist 0.178 0.189 0.366 0.373 60.0 0.195 0.194 0.224
Rubio_04/selsort 0.474 0.467 11.021 60.0 60.0 0.556 0.518 0.613
Rubio_04/test4 0.175 0.186 0.194 0.203 0.202 0.181 0.192 0.215
Rubio_04/test829 0.143 0.153 0.174 0.161 0.187 0.152 0.143 0.173
Rubio_04/wst99 0.343 0.329 2.455 60.0 60.0 0.396 0.383 0.491
SK90/2.01 0.163 0.17 0.446 0.788 60.0 0.178 0.219 0.254
SK90/2.02 0.159 0.187 0.219 0.309 60.0 0.178 0.249 0.275
problem t e s nv g c r *
SK90/2.03 0.147 0.152 0.158 0.152 0.165 0.173 0.139 0.151
SK90/2.04 0.159 0.16 0.173 0.178 60.0 0.163 0.145 0.18
SK90/2.05 0.18 0.189 0.374 27.068 60.0 0.232 0.219 0.276
SK90/2.06 0.169 0.168 0.336 7.179 60.0 0.178 0.183 0.219
SK90/2.07 0.164 0.16 0.243 0.409 60.0 0.167 0.156 0.175
SK90/2.08 0.204 0.188 0.434 1.346 60.0 0.205 0.207 0.246
SK90/2.09 0.142 0.146 0.154 0.154 0.155 0.162 0.144 0.174
SK90/2.10 0.176 0.175 0.428 0.766 60.0 0.182 0.197 0.238
SK90/2.11 0.149 0.15 0.163 0.159 0.161 0.168 0.156 0.161
SK90/2.12 0.173 0.175 0.636 1.152 60.0 0.193 0.199 0.241
SK90/2.13 0.15 0.167 0.189 0.206 0.188 0.152 0.156 0.173
SK90/2.14 0.167 0.176 0.177 0.18 0.204 0.181 0.157 0.183
SK90/2.15 0.143 0.15 0.189 0.184 60.0 0.156 0.154 0.166
SK90/2.16 0.171 0.162 0.26 0.307 60.0 0.166 0.175 0.198
SK90/2.17 0.151 0.169 0.17 0.179 0.175 0.168 0.146 0.159
SK90/2.18 0.142 0.156 0.21 0.25 60.0 0.164 0.149 0.166
SK90/2.19 0.181 0.165 0.375 0.642 60.0 0.177 0.18 0.211
SK90/2.20 0.151 0.15 0.157 0.155 0.155 0.16 0.148 0.166
SK90/2.21 0.148 0.147 0.157 0.157 0.154 0.15 0.155 0.168
SK90/2.22 0.175 0.162 0.302 0.552 60.0 0.182 0.169 0.205
SK90/2.23 0.177 0.206 0.884 1.519 60.0 0.193 0.207 0.227
SK90/2.24 0.141 0.149 0.15 0.151 0.153 0.15 0.144 0.169
SK90/2.25 0.164 0.166 0.273 0.363 60.0 0.169 0.167 0.185
SK90/2.26 0.2 0.2 1.056 2.516 60.0 0.233 0.211 0.266
SK90/2.27 0.176 0.193 0.507 0.534 60.0 0.198 0.187 0.23
problem t e s nv g c r *
SK90/2.28 0.143 0.156 0.167 0.172 60.0 0.139 0.146 0.162
SK90/2.29 0.178 0.166 0.206 0.232 0.272 0.168 0.192 0.18
SK90/2.30 0.144 0.148 0.145 0.149 0.145 0.149 0.145 0.14
SK90/2.31 0.187 0.176 0.227 0.24 60.0 0.16 0.162 0.181
SK90/2.32 0.151 0.169 0.329 0.435 60.0 0.157 0.167 0.166
SK90/2.33 0.153 0.158 0.215 0.258 60.0 0.168 0.171 0.211
SK90/2.34 0.168 0.165 0.209 0.251 60.0 0.208 0.188 0.271
SK90/2.35 0.16 0.169 0.23 0.258 11.68 0.158 0.18 0.175
SK90/2.36 0.158 0.161 0.168 0.169 0.171 0.168 0.171 0.184
SK90/2.37 0.143 0.143 0.179 0.168 1.618 0.144 0.149 0.158
SK90/2.38 0.192 0.187 0.225 0.273 60.0 0.195 0.206 0.264
SK90/2.39 0.242 0.232 0.283 0.314 60.0 0.214 0.212 0.311
SK90/2.40 0.204 0.208 0.283 0.439 60.0 0.243 0.216 0.226
SK90/2.41 0.21 0.215 0.224 0.226 0.236 0.24 0.199 0.217
SK90/2.42 0.269 0.273 1.116 3.129 60.0 0.26 0.283 0.35
SK90/2.43 0.22 0.217 0.42 5.522 60.0 0.231 0.237 0.252
SK90/2.44 0.274 0.261 0.496 32.203 60.0 0.269 0.27 0.297
SK90/2.45 0.218 0.255 4.915 60.0 60.0 0.205 0.219 0.23
SK90/2.46 0.203 0.206 0.233 0.261 27.245 0.212 0.214 0.243
SK90/2.47 0.186 0.194 0.205 0.202 0.195 0.215 0.2 0.215
SK90/2.48 0.198 0.2 0.215 0.217 0.238 0.187 0.208 0.202
SK90/2.49 0.225 0.231 0.5 0.436 60.0 0.241 0.265 0.275
SK90/2.50 0.142 0.141 0.163 0.158 0.169 0.147 0.149 0.166
SK90/2.51 0.167 0.179 0.219 0.3 60.0 0.216 0.219 0.245
SK90/2.52 0.268 0.314 3.977 47.065 60.0 0.506 0.538 0.395
problem t e s nv g c r *
SK90/2.53 0.227 0.221 0.236 0.246 0.238 0.227 0.233 0.252
SK90/2.54 0.214 0.212 0.218 0.217 0.139 0.144 0.146 0.166
SK90/2.55 0.145 0.151 0.158 0.152 0.16 0.151 0.151 0.165
SK90/2.56 0.241 0.217 0.236 0.235 0.24 0.15 0.23 0.152
SK90/2.57 0.166 0.139 0.185 0.193 7.22 0.169 0.164 0.163
SK90/2.58 0.178 0.17 0.202 0.21 0.257 0.173 0.175 0.186
SK90/2.59 0.143 0.142 0.161 0.157 0.168 0.146 0.154 0.165
SK90/2.60 0.161 0.156 0.161 0.163 60.0 0.149 0.145 0.148
SK90/2.61 0.193 0.191 0.759 60.0 60.0 0.298 0.285 0.429
SK90/4.01 0.209 0.201 0.212 0.211 0.26 0.214 0.203 0.202
SK90/4.02 0.261 0.271 2.932 14.102 60.0 0.309 0.308 0.339
SK90/4.03 0.243 0.234 0.541 0.973 60.0 0.251 0.252 0.283
SK90/4.04 0.169 0.155 0.215 0.24 60.0 0.165 0.182 0.204
SK90/4.05 0.155 0.15 0.165 0.155 0.24 0.144 0.23 0.252
SK90/4.06 0.234 0.264 0.249 1.744 60.0 0.169 0.177 0.188
SK90/4.07 0.216 0.242 0.252 0.263 60.0 0.222 0.349 0.268
SK90/4.08 0.226 0.226 0.25 0.236 24.385 0.144 0.151 0.174
SK90/4.09 0.162 0.164 0.294 0.794 60.0 0.175 0.181 0.236
SK90/4.10 0.192 0.201 0.214 0.215 0.234 0.207 0.201 0.221
SK90/4.11 0.194 0.195 0.25 0.261 60.0 0.17 0.176 0.2
SK90/4.12 0.171 0.17 0.194 0.19 36.206 0.181 0.182 0.191
SK90/4.13 0.183 0.184 0.201 0.202 0.229 0.201 0.199 0.206
SK90/4.14 0.234 0.233 1.177 3.482 60.0 0.203 0.342 0.244
SK90/4.15 0.139 0.156 0.166 0.154 60.0 0.151 0.144 0.168
SK90/4.16 0.186 0.167 0.183 0.168 0.203 0.18 0.154 0.176
problem t e s nv g c r *
SK90/4.17 0.158 0.155 0.188 0.2 38.273 0.197 0.195 0.217
SK90/4.18 0.204 0.187 0.218 0.213 0.249 0.204 0.207 0.209
SK90/4.19 0.149 0.156 0.175 0.194 60.0 0.15 0.16 0.171
SK90/4.20 0.165 0.169 0.41 0.573 60.0 0.165 0.173 0.175
SK90/4.21 0.171 0.191 0.465 0.929 60.0 0.186 0.178 0.213
SK90/4.22 0.164 0.158 0.218 0.246 60.0 0.17 0.162 0.197
SK90/4.23 0.161 0.153 0.28 6.588 60.0 0.164 0.164 0.176
SK90/4.24 0.165 0.169 0.291 0.342 60.0 0.169 0.179 0.212
SK90/4.25 0.159 0.161 0.165 0.168 0.168 0.171 0.166 0.171
SK90/4.26 0.193 0.192 0.33 0.526 60.0 0.271 0.315 0.35
SK90/4.27 0.275 0.274 0.454 0.461 60.0 0.301 60.0 0.324
SK90/4.28 0.252 0.244 0.281 0.28 0.449 0.256 0.223 0.234
SK90/4.29 0.207 0.19 0.202 0.2 0.45 0.177 0.194 0.201
SK90/4.30 0.234 0.222 0.238 0.242 0.275 0.229 0.214 0.266
SK90/4.31 0.167 0.167 0.21 0.208 60.0 0.172 0.162 0.181
SK90/4.32 0.174 0.162 0.382 0.724 60.0 0.221 60.0 0.73
SK90/4.33 0.14 0.138 0.145 0.144 0.147 0.143 0.141 0.156
SK90/4.34 0.144 0.145 0.155 0.163 1.009 0.143 0.14 0.167
SK90/4.35 0.144 0.137 0.146 0.148 0.139 0.146 0.138 0.145
SK90/4.36 0.149 0.138 0.143 0.152 0.666 0.139 0.14 0.136
SK90/4.37 0.144 0.145 0.137 0.142 0.136 0.135 0.138 0.139
SK90/4.38 0.158 0.161 0.177 0.172 0.193 0.182 0.166 0.187
SK90/4.39 0.184 0.175 0.197 0.214 60.0 0.186 0.181 0.194
SK90/4.40 0.144 0.146 0.179 0.609 60.0 0.155 0.151 0.167
SK90/4.41 0.15 0.147 0.179 0.183 0.271 0.143 0.147 0.169
problem t e s nv g c r *
SK90/4.42 0.179 0.174 0.307 0.958 60.0 0.18 0.188 0.204
SK90/4.43 0.304 0.296 0.471 0.574 60.0 0.324 0.329 0.373
SK90/4.44 0.237 0.227 0.265 0.268 0.163 0.157 0.155 0.139
SK90/4.45 0.14 0.143 0.153 0.141 0.161 0.152 0.142 0.148
SK90/4.46 0.155 0.139 0.145 0.148 0.154 0.146 0.151 0.148
SK90/4.47 0.231 0.155 0.185 0.188 60.0 0.173 0.181 0.161
SK90/4.48 0.152 0.153 0.24 0.62 60.0 0.165 0.277 0.309
SK90/4.49 0.147 0.15 0.246 0.36 60.0 0.16 0.163 0.178
SK90/4.50 0.161 0.16 0.173 0.176 0.381 0.279 0.278 0.284
SK90/4.51 0.16 0.149 0.176 0.167 0.175 0.158 0.167 0.177
SK90/4.52 0.176 0.184 0.413 0.72 60.0 0.182 0.223 0.271
SK90/4.53 0.157 0.164 0.272 0.499 60.0 0.172 0.171 0.195
SK90/4.54 0.163 0.147 0.164 0.183 60.0 0.153 0.154 0.176
SK90/4.55 0.143 0.141 0.157 0.148 0.151 0.149 0.154 0.202
SK90/4.56 0.157 0.149 0.145 0.146 0.159 0.153 0.152 0.145
SK90/4.57 0.166 0.155 0.29 60.0 60.0 0.156 0.161 0.182
SK90/4.59 0.226 0.239 0.337 0.328 60.0 0.2 0.203 0.232
SK90/4.60 0.193 0.194 0.369 1.858 60.0 0.229 0.194 0.26
SK90/4.61 0.233 0.234 1.352 60.0 60.0 0.268 0.271 0.333
Secret_05_TRS/aprove1 0.227 0.255 6.3 60.0 60.0 0.565 0.572 0.339
Secret_05_TRS/aprove2 0.185 0.184 0.437 0.709 60.0 0.205 0.212 0.263
Secret_05_TRS/aprove3 0.25 0.211 1.189 60.0 60.0 0.237 0.249 0.243
Secret_05_TRS/aprove4 0.217 0.203 0.56 0.775 60.0 0.225 0.208 0.235
Secret_05_TRS/aprove5 0.269 0.279 1.805 10.686 60.0 0.317 0.297 0.365
Secret_05_TRS/cime1 0.337 0.279 12.959 60.0 60.0 0.401 0.407 0.43
problem t e s nv g c r *
Secret_05_TRS/cime2 0.202 0.201 1.144 4.35 60.0 0.22 0.212 0.236
Secret_05_TRS/cime3 0.226 0.23 54.174 60.0 60.0 1.006 0.963 1.249
Secret_05_TRS/cime4 0.171 0.155 0.259 0.261 60.0 0.163 0.159 0.182
Secret_05_TRS/cime5 0.526 0.525 60.0 60.0 60.0 60.0 60.0 1.55
Secret_05_TRS/matchbox1 0.201 0.205 0.213 0.223 60.0 0.164 0.149 0.17
Secret_05_TRS/matchbox2 0.151 0.151 0.161 0.157 0.399 0.159 0.155 0.177
Secret_05_TRS/teparla1 0.16 0.167 0.197 0.196 60.0 0.186 0.187 0.218
Secret_05_TRS/teparla2 0.183 0.163 0.286 0.863 60.0 0.342 0.355 0.47
Secret_05_TRS/teparla3 0.156 0.165 0.27 0.74 60.0 0.22 0.211 0.243
Secret_05_TRS/tpa1 0.211 0.226 0.621 1.903 60.0 0.228 0.245 0.269
Secret_05_TRS/tpa2 0.18 0.175 0.358 0.46 60.0 0.215 0.206 0.258
Secret_05_TRS/tpa3 0.201 0.191 0.564 0.795 60.0 0.212 0.213 0.279
Secret_05_TRS/tpa4 0.193 0.192 0.662 1.018 60.0 0.236 0.228 0.288
Secret_05_TRS/tpa5 0.215 0.216 0.569 2.162 60.0 0.223 0.225 0.272
Secret_05_TRS/ttt1 0.155 0.178 0.233 0.966 60.0 0.156 0.158 0.179
Secret_05_TRS/ttt2 0.141 0.16 0.179 0.155 0.24 0.15 0.154 0.164
Secret_06_TRS/10 0.176 0.161 0.234 0.298 60.0 0.191 0.192 0.214
Secret_06_TRS/2 0.182 0.165 0.328 0.464 60.0 0.186 0.269 0.285
Secret_06_TRS/3 0.235 0.187 0.499 1.32 60.0 0.247 60.0 0.262
Secret_06_TRS/4 0.169 0.166 0.23 0.287 60.0 0.169 60.0 0.208
Secret_06_TRS/5 0.16 0.165 0.222 0.307 60.0 0.182 0.203 0.258
Secret_06_TRS/6 0.162 0.171 0.234 0.302 60.0 0.19 60.0 0.7
Secret_06_TRS/7 0.17 0.186 0.302 0.454 60.0 0.207 0.45 0.525
Secret_06_TRS/8 0.175 0.174 0.27 0.389 60.0 0.164 0.164 0.206
Secret_06_TRS/9 0.257 0.231 0.321 0.366 60.0 0.244 0.29 0.301
problem t e s nv g c r *
Secret_06_TRS/addList 0.356 0.352 60.0 60.0 60.0 0.323 0.32 0.421
Secret_06_TRS/cime1 0.224 0.24 20.858 60.0 60.0 0.637 0.615 0.504
Secret_06_TRS/divExp 0.19 0.198 0.541 3.537 60.0 0.711 0.698 1.227
Secret_06_TRS/division 0.21 0.212 0.756 4.019 60.0 0.217 0.212 0.26
Secret_06_TRS/double 0.227 0.247 3.352 10.649 60.0 0.293 0.305 0.313
Secret_06_TRS/gen-1 0.159 0.156 0.265 0.401 60.0 0.177 0.171 0.205
Secret_06_TRS/gen-10 0.182 0.193 0.343 2.062 60.0 0.199 0.2 0.225
Secret_06_TRS/gen-14 0.178 0.16 0.321 2.751 60.0 0.183 0.175 0.192
Secret_06_TRS/gen-15 0.214 0.218 0.387 0.641 60.0 0.229 0.231 0.249
Secret_06_TRS/gen-17 0.274 0.241 0.544 9.649 60.0 0.215 0.204 0.191
Secret_06_TRS/gen-18 0.156 0.171 0.255 1.385 60.0 0.159 0.172 0.18
Secret_06_TRS/gen-22 0.246 0.206 1.041 60.0 60.0 0.281 0.251 0.23
Secret_06_TRS/gen-25 0.183 0.168 0.374 39.981 60.0 0.218 0.209 0.28
Secret_06_TRS/gen-28 0.173 0.161 0.29 1.893 60.0 0.175 0.184 0.203
Secret_06_TRS/gen-9 0.205 0.183 0.341 4.945 60.0 0.199 0.193 0.214
Secret_06_TRS/logarithm 0.228 0.218 0.989 3.915 60.0 0.239 0.254 0.281
Secret_06_TRS/nrOfNodes 0.219 0.195 14.126 60.0 60.0 0.233 0.226 0.264
Secret_06_TRS/reverse 0.203 0.207 1.385 12.918 60.0 0.229 0.241 0.266
Secret_06_TRS/sumList 0.213 0.223 5.648 60.0 60.0 0.257 0.255 0.292
Secret_06_TRS/times 0.244 0.253 3.628 60.0 60.0 0.502 0.496 0.793
Secret_06_TRS/toList 0.226 0.213 34.036 60.0 60.0 0.274 0.252 0.279
Secret_06_TRS/tpa01 0.14 0.147 0.161 0.181 60.0 0.158 0.174 0.203
Secret_06_TRS/tpa02 0.139 0.154 0.173 0.182 60.0 0.153 0.16 0.172
Secret_06_TRS/tpa03 0.148 0.15 0.189 0.201 60.0 0.153 0.149 0.185
Secret_06_TRS/tpa04 0.23 0.24 1.742 5.408 60.0 0.274 0.258 0.315
problem t e s nv g c r *
Secret_06_TRS/tpa05 0.229 0.228 0.721 1.197 60.0 0.286 0.282 0.408
Secret_06_TRS/tpa06 0.215 0.241 0.802 60.0 60.0 0.262 0.268 0.303
Secret_06_TRS/tpa07 0.195 0.194 0.57 0.889 60.0 0.226 0.228 0.308
Secret_06_TRS/tpa08 0.217 0.218 0.756 1.055 60.0 0.289 0.295 0.387
Secret_06_TRS/tpa09 0.305 0.308 1.642 3.22 60.0 0.594 0.416 0.554
Secret_06_TRS/tpa10 0.276 0.281 2.791 7.311 60.0 0.28 0.265 0.328
Secret_07_TRS/1 0.191 0.202 0.601 2.313 60.0 0.378 0.346 0.543
Secret_07_TRS/2 0.242 0.245 2.712 60.0 60.0 5.947 0.394 0.89
Secret_07_TRS/3 0.273 0.254 2.291 60.0 60.0 2.503 60.0 1.298
Secret_07_TRS/4 0.274 0.258 0.782 24.783 60.0 0.54 1.307 0.765
Secret_07_TRS/5 0.521 0.304 2.459 60.0 60.0 2.584 60.0 1.32
Secret_07_TRS/7 0.209 0.172 0.284 0.455 60.0 0.228 60.0 0.279
Secret_07_TRS/aprove01 0.296 0.306 18.937 60.0 60.0 0.355 0.36 0.462
Secret_07_TRS/aprove02 0.294 0.293 8.774 60.0 60.0 0.349 0.328 0.394
Secret_07_TRS/aprove03 0.402 0.406 60.0 60.0 60.0 0.529 0.524 0.718
Secret_07_TRS/aprove04 0.306 0.292 15.137 60.0 60.0 0.344 0.356 0.413
Secret_07_TRS/aprove05 0.238 0.228 7.225 60.0 60.0 0.26 0.261 0.332
Secret_07_TRS/aprove06 0.315 0.314 16.186 60.0 60.0 0.369 0.35 0.464
Secret_07_TRS/aprove07 0.215 0.209 3.219 60.0 60.0 0.24 0.245 0.3
Secret_07_TRS/aprove08 0.269 0.303 60.0 60.0 60.0 0.291 0.31 0.337
Secret_07_TRS/aprove09 0.265 0.259 11.513 60.0 60.0 0.28 0.289 0.363
Secret_07_TRS/aprove10 0.246 0.244 2.322 60.0 60.0 0.315 0.302 0.444
Secret_07_TRS/secret1 0.281 0.299 5.42 60.0 60.0 0.395 0.407 0.446
Secret_07_TRS/secret2 0.267 0.256 4.874 60.0 60.0 0.308 0.295 0.358
Secret_07_TRS/secret3 0.212 0.219 0.492 1.462 60.0 0.231 0.228 0.266
problem t e s nv g c r *
Secret_07_TRS/secret4 0.331 0.365 2.746 60.0 60.0 0.417 0.417 0.479
Secret_07_TRS/secret5 0.354 0.365 7.642 19.105 60.0 0.318 0.316 0.395
Strategy_removed_AG01/#4.12a 0.147 0.147 0.198 0.173 0.247 0.148 0.146 0.164
Strategy_removed_AG01/#4.13 0.162 0.144 0.156 0.173 0.259 0.155 0.151 0.175
Strategy_removed_AG01/#4.14 0.147 0.157 0.188 0.223 60.0 0.151 0.151 0.179
Strategy_removed_AG01/#4.15 0.174 0.165 0.239 1.88 60.0 0.176 0.172 0.184
Strategy_removed_AG01/#4.16 0.156 0.146 0.184 0.19 4.463 0.167 0.148 0.157
Strategy_removed_AG01/#4.17 0.153 0.158 0.189 0.201 60.0 0.155 0.184 0.189
Strategy_removed_AG01/#4.18 0.151 0.158 0.158 0.168 60.0 0.157 0.156 0.179
Strategy_removed_AG01/#4.19 0.166 0.183 0.252 0.717 60.0 0.199 0.19 0.19
Strategy_removed_AG01/#4.2 0.151 0.152 0.195 0.252 60.0 0.332 0.334 0.351
Strategy_removed_AG01/#4.20 0.33 0.337 0.33 0.331 0.332 0.33 0.338 0.334
Strategy_removed_AG01/#4.20a 0.158 0.153 0.183 0.172 0.355 0.154 0.153 0.169
Strategy_removed_AG01/#4.21 0.196 0.148 0.156 0.153 0.15 0.155 0.167 0.153
Strategy_removed_AG01/#4.22 0.16 0.16 0.19 0.197 0.531 0.171 0.168 0.182
Strategy_removed_AG01/#4.23 0.168 0.184 0.262 0.301 60.0 0.197 0.176 0.214
Strategy_removed_AG01/#4.25 0.144 0.147 0.154 0.152 0.149 0.143 0.161 0.172
Strategy_removed_AG01/#4.26 0.175 0.18 0.317 0.434 60.0 0.177 0.18 0.19
Strategy_removed_AG01/#4.27 0.175 0.179 0.629 1.872 60.0 0.182 0.19 0.206
Strategy_removed_AG01/#4.28 0.161 0.153 0.199 0.201 60.0 0.168 0.168 0.174
Strategy_removed_AG01/#4.29 0.214 0.226 1.861 15.57 60.0 0.253 0.246 0.323
Strategy_removed_AG01/#4.3 0.143 0.138 0.155 0.151 0.165 0.151 0.148 0.17
Strategy_removed_AG01/#4.30 0.18 0.181 0.39 0.559 60.0 0.222 0.196 0.228
Strategy_removed_AG01/#4.30a 0.184 0.184 0.271 0.277 60.0 0.186 0.191 0.214
Strategy_removed_AG01/#4.30b 0.231 0.228 0.406 0.585 60.0 0.244 0.247 0.276
problem t e s nv g c r *
Strategy_removed_AG01/#4.30c 0.236 0.24 0.502 0.847 60.0 0.21 0.227 0.236
Strategy_removed_AG01/#4.32 0.175 0.169 0.203 0.274 60.0 0.163 0.161 0.176
Strategy_removed_AG01/#4.33 0.185 0.204 0.665 5.46 60.0 0.222 0.209 0.237
Strategy_removed_AG01/#4.34 0.178 0.184 0.428 1.47 60.0 0.243 0.175 0.22
Strategy_removed_AG01/#4.35 0.319 0.327 18.841 60.0 60.0 60.0 60.0 1.344
Strategy_removed_AG01/#4.36 0.561 0.419 8.323 60.0 60.0 0.437 0.46 0.539
Strategy_removed_AG01/#4.37 0.203 0.213 0.232 0.211 0.2 0.162 0.153 0.18
Strategy_removed_AG01/#4.37a 0.184 0.166 0.226 0.203 60.0 0.166 0.172 0.181
Strategy_removed_AG01/#4.4 0.156 0.154 0.162 0.177 1.488 0.167 0.15 0.147
Strategy_removed_AG01/#4.7 0.141 0.142 0.174 0.198 0.38 0.2 0.202 0.156
Strategy_removed_CSR_05/Ex14_AEGL02 0.208 0.211 0.225 0.222 0.16 0.145 0.155 0.238
Strategy_removed_CSR_05/Ex15_Luc98 0.168 0.17 0.182 0.198 0.227 0.194 0.165 0.199
Strategy_removed_CSR_05/Ex1_2_AEL03 0.205 0.207 0.562 1.451 60.0 0.228 0.217 0.26
Strategy_removed_CSR_05/Ex1_2_Luc02c 0.138 0.158 0.145 0.141 0.142 0.147 0.141 0.158
Strategy_removed_CSR_05/Ex1_GL02a 0.179 0.179 0.197 0.225 0.213 0.178 0.166 0.2
Strategy_removed_CSR_05/Ex1_GM03 0.162 0.166 0.413 1.302 60.0 0.26 0.258 0.275
Strategy_removed_CSR_05/Ex1_GM99 0.242 0.237 0.251 0.254 0.354 0.248 0.25 0.267
Strategy_removed_CSR_05/Ex1_Luc02b 0.17 0.189 0.184 0.175 0.194 0.164 0.153 0.187
Strategy_removed_CSR_05/Ex1_Zan97 0.153 0.152 0.159 0.15 0.148 0.147 0.149 0.185
Strategy_removed_CSR_05/Ex24_GM04 0.147 0.139 0.153 0.162 0.153 0.14 0.147 0.161
Strategy_removed_CSR_05/Ex26_Luc03b 0.205 0.21 0.542 1.031 60.0 0.22 0.239 0.24
Strategy_removed_CSR_05/Ex2_Luc03b 0.172 0.172 0.194 0.197 0.197 0.185 0.158 0.175
Strategy_removed_CSR_05/Ex3_12_Luc96a 0.166 0.156 0.154 0.157 0.17 0.156 0.146 0.165
Strategy_removed_CSR_05/Ex3_2_Luc97 0.383 0.379 0.402 0.42 0.416 0.402 0.372 0.39
Strategy_removed_CSR_05/Ex3_3_25_Bor03 0.369 0.383 0.692 60.0 60.0 0.205 0.202 0.229
problem t e s nv g c r *
Strategy_removed_CSR_05/Ex49_GM04 0.206 0.2 0.59 3.241 60.0 0.188 0.189 0.227
Strategy_removed_CSR_05/Ex4_4_Luc96b 0.152 0.167 0.166 0.167 60.0 0.163 0.148 0.161
Strategy_removed_CSR_05/Ex4_7_15_Bor03 0.17 0.153 0.177 0.172 0.163 0.159 0.179 0.169
Strategy_removed_CSR_05/Ex4_7_37_Bor03 0.211 0.208 0.365 0.444 60.0 0.21 0.206 0.255
Strategy_removed_CSR_05/Ex4_7_56_Bor03 0.16 0.154 0.159 0.161 0.163 0.145 0.14 0.197
Strategy_removed_CSR_05/Ex4_7_77_Bor03 0.132 0.144 0.149 0.149 0.179 0.148 0.154 0.145
Strategy_removed_CSR_05/Ex4_Zan97 0.161 0.159 0.203 0.218 6.201 0.166 0.159 0.186
Strategy_removed_CSR_05/Ex5_7_Luc97 0.259 0.275 0.31 0.328 0.353 0.293 0.204 0.234
Strategy_removed_CSR_05/Ex5_Zan97 0.141 0.147 0.17 0.177 60.0 0.148 0.15 0.165
Strategy_removed_CSR_05/Ex6_15_AEL02 0.292 0.286 0.685 0.749 60.0 0.297 0.248 0.326
Strategy_removed_CSR_05/Ex6_9_Luc02c 0.151 0.194 0.157 0.156 0.167 0.17 0.158 0.168
Strategy_removed_CSR_05/Ex6_GM04 0.138 0.14 0.157 0.157 0.175 0.151 0.135 0.162
Strategy_removed_CSR_05/Ex6_Luc98 0.151 0.156 0.182 0.158 0.165 0.161 0.153 0.177
Strategy_removed_CSR_05/Ex7_BLR02 0.165 0.186 0.178 0.184 0.203 0.189 0.177 0.181
Strategy_removed_CSR_05/Ex8_BLR02 0.172 0.17 0.315 0.429 60.0 0.176 0.181 0.215
Strategy_removed_CSR_05/Ex9_BLR02 0.212 0.2 0.42 19.094 60.0 60.0 60.0 1.203
Strategy_removed_CSR_05/ExAppendixB_AEL03 0.231 0.238 0.745 3.799 60.0 60.0 60.0 1.238
Strategy_removed_CSR_05/ExConc_Zan97 0.144 0.137 0.142 0.142 0.139 0.144 0.135 0.153
Strategy_removed_CSR_05/ExIntrod_GM01 0.187 0.163 0.305 0.326 60.0 0.168 60.0 0.689
Strategy_removed_CSR_05/ExIntrod_GM04 0.179 0.195 0.247 0.274 60.0 0.166 60.0 0.699
Strategy_removed_CSR_05/ExIntrod_GM99 0.188 0.189 0.54 12.326 60.0 0.214 0.202 0.242
Strategy_removed_CSR_05/ExIntrod_Zan97 0.197 0.186 0.805 2.851 60.0 0.203 0.186 0.227
Strategy_removed_mixed_05/ExSec11_1_Luc02a 0.226 0.23 0.625 1.267 60.0 0.243 0.252 0.286
Strategy_removed_mixed_05/bn111 0.139 0.141 0.165 0.175 60.0 0.148 0.139 0.174
Strategy_removed_mixed_05/ex1 0.146 0.141 0.165 0.174 0.236 0.14 0.148 0.155
problem t e s nv g c r *
Strategy_removed_mixed_05/ex2 0.145 0.143 0.171 0.188 60.0 0.15 0.164 0.159
Strategy_removed_mixed_05/ex3 0.155 0.157 0.225 0.241 10.973 0.173 0.162 0.191
Strategy_removed_mixed_05/ex4 0.151 0.161 0.153 0.154 0.148 0.15 0.145 0.162
Strategy_removed_mixed_05/ex5 0.172 0.372 0.19 0.198 0.221 0.187 0.181 0.197
Strategy_removed_mixed_05/ex6 0.195 0.2 0.233 0.235 0.219 0.164 0.16 0.182
Strategy_removed_mixed_05/gkg 0.164 0.14 0.158 0.159 0.181 0.148 0.147 0.162
Strategy_removed_mixed_05/muladd 0.169 0.167 0.174 0.174 0.742 0.168 0.152 0.159
Strategy_removed_mixed_05/n001 0.154 0.145 0.17 0.178 1.85 0.153 0.161 0.17
Strategy_removed_mixed_05/test10 0.164 0.157 0.214 0.271 60.0 0.169 0.16 0.21
Strategy_removed_mixed_05/test75 0.142 0.182 0.173 0.183 0.287 0.172 0.164 0.177
Strategy_removed_mixed_05/test76 0.164 0.163 0.207 0.237 60.0 0.165 0.166 0.199
Strategy_removed_mixed_05/test77 0.177 0.157 0.232 0.279 60.0 0.158 0.159 0.195
Strategy_removed_mixed_05/test830 0.172 0.163 0.225 0.216 60.0 0.165 0.162 0.19
Strategy_removed_mixed_05/test9 0.146 0.156 0.18 0.176 0.264 0.148 0.148 0.174
Strategy_removed_mixed_05/toyama 0.157 0.147 0.16 0.182 0.236 0.143 0.142 0.156
Strategy_removed_mixed_05/tricky1 0.181 0.157 0.282 0.343 60.0 0.187 0.164 0.165
TCT_09/ackantiinn 0.189 0.185 0.842 1.711 60.0 0.358 0.362 0.443
TCT_09/ackantiinn2 0.295 0.296 0.43 0.551 60.0 0.314 0.329 0.343
TCT_09/ackhofbauer 0.177 0.183 0.262 0.322 60.0 0.197 0.228 0.277
TCT_09/ackhofbauernonsimp 0.182 0.177 0.551 60.0 60.0 0.206 0.207 0.244
TCT_09/add 0.171 0.147 0.148 0.147 0.158 0.145 0.143 0.165
TCT_09/addmult 0.17 0.165 0.214 0.254 60.0 0.15 0.158 0.184
TCT_09/append 0.141 0.155 0.155 0.154 0.153 0.151 0.144 0.153
TCT_09/bits 0.156 0.171 0.216 0.203 60.0 0.168 0.174 0.184
TCT_09/dexpdp 0.149 0.146 0.19 0.212 60.0 0.148 0.148 0.154
problem t e s nv g c r *
TCT_09/dexpdp2 0.141 0.152 0.162 0.177 2.611 0.142 0.161 0.178
TCT_09/expantiinn 0.153 0.17 0.203 0.215 16.833 0.162 60.0 0.666
TCT_09/insertsort 0.197 0.199 0.728 4.468 60.0 0.198 0.204 0.232
TCT_09/lcs 0.212 0.228 0.926 1.944 60.0 0.263 0.267 0.294
TCT_09/ma1 0.149 0.152 0.198 0.164 0.162 0.156 0.151 0.159
TCT_09/ma2 0.159 0.165 0.152 0.179 0.165 0.155 0.152 0.179
TCT_09/ma3 0.148 0.15 0.169 0.171 0.359 0.147 0.147 0.163
TCT_09/ma4 0.167 0.184 0.295 0.427 60.0 0.168 0.177 0.206
TCT_09/ma5 0.165 0.19 0.213 0.226 15.995 0.17 60.0 0.665
TCT_09/ma6 0.182 0.187 0.619 8.908 60.0 0.194 0.194 0.214
TCT_09/ma7 0.234 0.25 1.154 14.967 60.0 0.235 0.251 0.262
TCT_09/ma8 0.2 0.168 1.374 60.0 60.0 0.2 0.176 0.183
TCT_09/ma9 0.169 0.16 0.168 0.164 0.162 0.186 0.151 0.174
TCT_09/mergesort 0.276 0.286 4.814 60.0 60.0 0.317 0.321 0.397
TCT_09/nonmultrec 0.177 0.191 0.424 60.0 60.0 0.21 0.212 0.223
TCT_09/qbf 0.284 0.254 6.239 14.124 60.0 0.323 0.325 0.301
TCT_09/revappend 0.158 0.165 0.184 0.159 0.181 0.158 0.152 0.166
TCT_09/shuffle 0.171 0.166 0.213 0.229 60.0 0.187 0.188 0.188
TCT_09/supexpdg 0.179 0.183 0.252 0.257 60.0 0.181 60.0 0.695
TCT_09/supexpur 0.149 0.167 0.171 0.192 0.723 0.153 0.178 0.201
TCT_09/z86 0.155 0.182 0.215 0.27 10.125 0.18 0.21 0.236
Transformed_CSR_04/Ex14_AEGL02_C 0.483 0.48 40.033 60.0 60.0 0.64 0.623 0.887
Transformed_CSR_04/Ex14_AEGL02_FR 0.181 0.209 1.529 2.236 60.0 0.211 0.211 0.246
Transformed_CSR_04/Ex14_AEGL02_GM 0.238 0.213 1.34 0.902 60.0 0.226 0.254 0.257
Transformed_CSR_04/Ex14_AEGL02_L 0.138 0.142 0.147 0.152 0.162 0.143 0.147 0.153
problem t e s nv g c r *
Transformed_CSR_04/Ex14_AEGL02_Z 0.164 0.163 0.627 0.854 60.0 0.184 0.186 0.214
Transformed_CSR_04/Ex14_AEGL02_iGM 0.493 0.444 36.354 22.439 60.0 0.529 0.508 0.613
Transformed_CSR_04/Ex14_Luc06_C 0.332 0.382 19.258 54.903 60.0 0.595 0.57 0.794
Transformed_CSR_04/Ex14_Luc06_FR 0.168 0.151 0.216 0.216 0.192 0.158 0.156 0.185
Transformed_CSR_04/Ex14_Luc06_GM 0.207 0.196 1.304 1.802 60.0 0.229 0.231 0.315
Transformed_CSR_04/Ex14_Luc06_L 0.142 0.142 0.174 0.168 0.161 0.15 0.15 0.168
Transformed_CSR_04/Ex14_Luc06_iGM 0.386 0.299 15.866 9.264 60.0 0.441 0.456 0.573
Transformed_CSR_04/Ex15_Luc06_C 0.248 0.248 0.923 1.03 60.0 0.291 0.304 0.374
Transformed_CSR_04/Ex15_Luc06_FR 0.168 0.164 0.389 0.407 60.0 0.164 0.194 0.234
Transformed_CSR_04/Ex15_Luc06_GM 0.174 0.161 0.159 0.169 0.163 0.153 0.155 0.178
Transformed_CSR_04/Ex15_Luc06_L 0.136 0.154 0.141 0.137 0.145 0.148 0.136 0.155
Transformed_CSR_04/Ex15_Luc06_Z 0.162 0.148 0.209 0.207 0.169 0.151 0.171 0.202
Transformed_CSR_04/Ex15_Luc06_iGM 0.263 0.229 0.738 0.711 60.0 0.241 0.266 0.315
Transformed_CSR_04/Ex15_Luc98_C 0.968 1.129 60.0 60.0 60.0 1.426 1.519 1.76
Transformed_CSR_04/Ex15_Luc98_FR 0.191 0.198 4.501 4.06 60.0 0.261 0.255 0.326
Transformed_CSR_04/Ex15_Luc98_GM 0.264 0.309 10.926 10.403 60.0 0.368 0.353 0.416
Transformed_CSR_04/Ex15_Luc98_Z 0.184 0.202 3.485 2.776 60.0 0.22 0.213 0.244
Transformed_CSR_04/Ex15_Luc98_iGM 1.23 1.529 60.0 60.0 60.0 1.36 1.324 1.143
Transformed_CSR_04/Ex16_Luc06_C 0.223 0.225 0.727 1.615 60.0 0.279 0.284 0.352
Transformed_CSR_04/Ex16_Luc06_FR 0.141 0.143 0.151 0.155 0.149 0.15 0.158 0.155
Transformed_CSR_04/Ex16_Luc06_GM 0.152 0.159 0.288 0.317 60.0 0.164 0.202 0.218
Transformed_CSR_04/Ex16_Luc06_L 0.15 0.15 0.157 0.141 0.142 0.141 0.142 0.162
Transformed_CSR_04/Ex16_Luc06_iGM 0.224 0.188 0.898 1.101 60.0 0.234 0.296 0.317
Transformed_CSR_04/Ex18_Luc06_C 0.236 0.243 0.979 1.074 60.0 0.292 0.324 0.385
Transformed_CSR_04/Ex18_Luc06_FR 0.164 0.15 0.256 0.271 60.0 0.158 0.182 0.209
problem t e s nv g c r *
Transformed_CSR_04/Ex18_Luc06_GM 0.159 0.158 0.229 0.232 60.0 0.167 0.166 0.219
Transformed_CSR_04/Ex18_Luc06_L 0.137 0.139 0.146 0.144 0.141 0.144 0.136 0.152
Transformed_CSR_04/Ex18_Luc06_Z 0.156 0.154 0.16 0.16 0.152 0.151 0.15 0.166
Transformed_CSR_04/Ex18_Luc06_iGM 0.246 0.221 0.758 0.732 60.0 0.24 0.331 0.353
Transformed_CSR_04/Ex1_2_AEL03_C 2.626 2.602 60.0 60.0 60.0 3.959 3.848 3.59
Transformed_CSR_04/Ex1_2_AEL03_FR 0.275 0.309 3.006 32.393 60.0 0.333 0.339 0.421
Transformed_CSR_04/Ex1_2_AEL03_GM 0.281 0.288 60.0 60.0 60.0 0.705 0.675 1.142
Transformed_CSR_04/Ex1_2_AEL03_Z 0.222 0.213 1.456 18.051 60.0 0.322 0.337 0.389
Transformed_CSR_04/Ex1_2_AEL03_iGM 1.853 1.222 60.0 60.0 60.0 2.249 2.176 2.288
Transformed_CSR_04/Ex1_2_Luc02c_C 0.369 0.354 21.203 60.0 60.0 0.488 0.498 0.721
Transformed_CSR_04/Ex1_2_Luc02c_FR 0.158 0.161 0.58 0.855 60.0 0.21 0.171 0.179
Transformed_CSR_04/Ex1_2_Luc02c_GM 0.167 0.162 0.462 0.528 60.0 0.196 0.187 0.208
Transformed_CSR_04/Ex1_2_Luc02c_Z 0.186 0.205 0.287 0.293 0.285 0.218 0.195 0.228
Transformed_CSR_04/Ex1_2_Luc02c_iGM 0.327 0.321 6.683 6.242 60.0 0.33 0.314 0.423
Transformed_CSR_04/Ex1_GL02a_C 0.735 0.744 60.0 60.0 60.0 1.008 1.009 1.377
Transformed_CSR_04/Ex1_GL02a_FR 0.209 0.208 5.756 3.716 60.0 0.261 0.284 0.322
Transformed_CSR_04/Ex1_GL02a_GM 0.229 0.232 6.214 1.356 60.0 0.247 0.244 0.259
Transformed_CSR_04/Ex1_GL02a_L 0.144 0.159 0.159 0.152 0.149 0.143 0.146 0.168
Transformed_CSR_04/Ex1_GL02a_Z 0.195 0.213 5.093 2.101 60.0 0.242 0.239 0.258
Transformed_CSR_04/Ex1_GL02a_iGM 0.914 0.801 60.0 60.0 60.0 0.754 0.772 0.866
Transformed_CSR_04/Ex1_GM03_C 0.623 0.657 60.0 60.0 60.0 0.924 0.953 1.289
Transformed_CSR_04/Ex1_GM03_FR 0.233 0.226 4.094 22.199 60.0 0.252 0.269 0.312
Transformed_CSR_04/Ex1_GM03_GM 0.209 0.214 8.073 60.0 60.0 0.293 0.289 0.412
Transformed_CSR_04/Ex1_GM03_Z 0.171 0.18 1.43 6.52 60.0 0.189 0.193 0.235
Transformed_CSR_04/Ex1_GM03_iGM 0.551 0.451 60.0 60.0 60.0 0.638 0.637 0.854
problem t e s nv g c r *
Transformed_CSR_04/Ex1_GM99_C 0.223 0.215 1.746 60.0 60.0 0.282 0.256 0.342
Transformed_CSR_04/Ex1_GM99_FR 0.172 0.161 0.185 0.19 0.28 0.151 0.16 0.157
Transformed_CSR_04/Ex1_GM99_GM 0.261 0.262 0.441 2.684 60.0 0.277 0.273 0.28
Transformed_CSR_04/Ex1_GM99_L 0.232 0.235 0.23 0.246 0.146 0.144 0.143 0.167
Transformed_CSR_04/Ex1_GM99_iGM 0.298 0.235 2.708 60.0 60.0 0.264 0.262 0.305
Transformed_CSR_04/Ex1_Luc02b_C 0.58 0.59 60.0 60.0 60.0 0.905 0.882 1.188
Transformed_CSR_04/Ex1_Luc02b_FR 0.18 0.208 0.903 0.85 60.0 0.217 0.214 0.24
Transformed_CSR_04/Ex1_Luc02b_GM 0.193 0.204 2.744 4.748 60.0 0.25 0.252 0.315
Transformed_CSR_04/Ex1_Luc02b_Z 0.184 0.181 0.502 0.447 60.0 0.189 0.19 0.225
Transformed_CSR_04/Ex1_Luc02b_iGM 0.487 0.399 60.0 60.0 60.0 0.587 0.551 0.771
Transformed_CSR_04/Ex1_Luc04b_C 0.709 0.691 60.0 53.928 60.0 0.88 1.78 1.395
Transformed_CSR_04/Ex1_Luc04b_FR 0.161 0.179 0.895 0.63 60.0 0.181 0.228 0.289
Transformed_CSR_04/Ex1_Luc04b_GM 0.251 0.253 9.793 6.886 60.0 0.308 60.0 0.835
Transformed_CSR_04/Ex1_Luc04b_Z 0.17 0.183 0.383 0.38 60.0 0.175 0.176 0.202
Transformed_CSR_04/Ex1_Luc04b_iGM 0.505 0.57 60.0 55.766 60.0 0.628 3.391 1.197
Transformed_CSR_04/Ex1_Zan97_C 0.198 0.195 0.925 0.774 60.0 0.254 0.256 0.315
Transformed_CSR_04/Ex1_Zan97_FR 0.147 0.164 0.262 0.293 0.197 0.157 0.171 0.202
Transformed_CSR_04/Ex1_Zan97_GM 0.167 0.161 0.189 0.18 0.186 0.177 0.164 0.193
Transformed_CSR_04/Ex1_Zan97_L 0.137 0.139 0.151 0.151 0.159 0.174 0.145 0.152
Transformed_CSR_04/Ex1_Zan97_iGM 0.214 0.204 0.398 0.383 1.814 0.219 0.245 0.244
Transformed_CSR_04/Ex23_Luc06_C 0.333 0.321 3.389 3.193 60.0 0.398 0.45 0.533
Transformed_CSR_04/Ex23_Luc06_FR 0.159 0.163 0.367 0.335 60.0 0.178 0.181 0.197
Transformed_CSR_04/Ex23_Luc06_GM 0.162 0.159 0.245 0.254 60.0 0.177 0.172 0.184
Transformed_CSR_04/Ex23_Luc06_L 0.139 0.14 0.14 0.133 0.135 0.155 0.155 0.135
Transformed_CSR_04/Ex23_Luc06_Z 0.14 0.145 0.145 0.151 0.141 0.152 0.145 0.141
problem t e s nv g c r *
Transformed_CSR_04/Ex23_Luc06_iGM 0.275 0.292 2.131 1.392 60.0 0.279 0.347 0.38
Transformed_CSR_04/Ex24_GM04_C 0.267 0.25 2.587 60.0 60.0 0.346 0.33 0.508
Transformed_CSR_04/Ex24_GM04_FR 0.161 0.164 0.241 0.308 60.0 0.171 0.171 0.193
Transformed_CSR_04/Ex24_GM04_GM 0.164 0.168 0.489 6.676 60.0 0.174 0.178 0.19
Transformed_CSR_04/Ex24_GM04_L 0.14 0.159 0.148 0.14 0.138 0.139 0.142 0.151
Transformed_CSR_04/Ex24_GM04_Z 0.153 0.157 0.241 0.29 45.802 0.167 0.161 0.195
Transformed_CSR_04/Ex24_GM04_iGM 0.304 0.259 4.59 60.0 60.0 0.286 0.291 0.366
Transformed_CSR_04/Ex24_Luc06_C 0.23 0.239 1.286 60.0 60.0 0.271 0.297 0.334
Transformed_CSR_04/Ex24_Luc06_FR 0.147 0.152 0.217 0.224 0.285 0.151 0.148 0.171
Transformed_CSR_04/Ex24_Luc06_GM 0.167 0.184 0.336 1.495 60.0 0.16 0.163 0.186
Transformed_CSR_04/Ex24_Luc06_L 0.159 0.138 0.154 0.144 0.146 0.14 0.139 0.151
Transformed_CSR_04/Ex24_Luc06_iGM 0.254 0.218 1.532 29.259 60.0 0.285 0.306 0.316
Transformed_CSR_04/Ex25_Luc06_C 0.454 0.449 15.355 10.975 60.0 0.62 0.75 1.143
Transformed_CSR_04/Ex25_Luc06_FR 0.181 0.193 0.604 0.535 60.0 0.198 0.242 0.307
Transformed_CSR_04/Ex25_Luc06_GM 0.172 0.161 0.709 0.509 60.0 0.28 0.292 0.333
Transformed_CSR_04/Ex25_Luc06_L 0.236 0.234 0.254 0.245 0.253 0.243 0.241 0.254
Transformed_CSR_04/Ex25_Luc06_Z 0.287 0.294 0.498 0.491 60.0 0.302 0.289 0.328
Transformed_CSR_04/Ex25_Luc06_iGM 0.514 0.511 13.766 5.262 60.0 0.629 0.801 0.799
Transformed_CSR_04/Ex26_Luc03b_C 1.638 1.768 60.0 60.0 60.0 2.082 2.054 2.433
Transformed_CSR_04/Ex26_Luc03b_FR 0.211 0.21 17.189 60.0 60.0 0.297 0.301 0.432
Transformed_CSR_04/Ex26_Luc03b_GM 0.459 0.385 13.675 16.306 60.0 0.474 0.465 0.619
Transformed_CSR_04/Ex26_Luc03b_L 0.155 0.149 0.162 0.186 0.158 0.153 0.147 0.146
Transformed_CSR_04/Ex26_Luc03b_Z 0.198 0.201 10.904 46.801 60.0 0.257 0.267 0.297
Transformed_CSR_04/Ex26_Luc03b_iGM 1.912 1.721 60.0 60.0 60.0 1.844 1.875 2.144
Transformed_CSR_04/Ex2_Luc02a_C 1.442 1.597 60.0 60.0 60.0 2.215 2.22 2.531
problem t e s nv g c r *
Transformed_CSR_04/Ex2_Luc02a_FR 0.267 0.284 5.595 14.3 60.0 0.33 0.31 0.365
Transformed_CSR_04/Ex2_Luc02a_GM 0.236 0.236 19.379 60.0 60.0 0.383 0.373 0.549
Transformed_CSR_04/Ex2_Luc02a_L 0.191 0.198 0.417 0.643 60.0 0.192 0.187 0.215
Transformed_CSR_04/Ex2_Luc02a_Z 0.235 0.234 0.689 1.459 60.0 0.235 0.248 0.297
Transformed_CSR_04/Ex2_Luc02a_iGM 1.246 1.366 60.0 60.0 60.0 1.686 1.679 2.365
Transformed_CSR_04/Ex2_Luc03b_C 0.885 0.931 60.0 60.0 60.0 1.269 1.245 1.669
Transformed_CSR_04/Ex2_Luc03b_FR 0.308 0.299 6.263 4.858 60.0 0.342 0.347 0.418
Transformed_CSR_04/Ex2_Luc03b_GM 0.27 0.252 5.523 4.843 60.0 0.309 0.323 0.429
Transformed_CSR_04/Ex2_Luc03b_L 0.149 0.156 0.146 0.15 0.143 0.144 0.156 0.154
Transformed_CSR_04/Ex2_Luc03b_Z 0.256 0.247 0.287 0.301 0.537 0.263 0.261 0.307
Transformed_CSR_04/Ex2_Luc03b_iGM 1.163 1.117 60.0 60.0 60.0 1.112 1.064 1.377
Transformed_CSR_04/Ex3_12_Luc96a_C 0.43 0.417 38.567 60.0 60.0 0.563 0.564 0.828
Transformed_CSR_04/Ex3_12_Luc96a_FR 0.165 0.166 0.325 0.335 60.0 0.193 0.184 0.194
Transformed_CSR_04/Ex3_12_Luc96a_GM 0.185 0.178 0.741 0.923 60.0 0.196 0.195 0.242
Transformed_CSR_04/Ex3_12_Luc96a_Z 0.163 0.159 0.255 0.238 6.602 0.162 0.165 0.184
Transformed_CSR_04/Ex3_12_Luc96a_iGM 0.363 0.345 19.774 16.054 60.0 0.407 0.386 0.514
Transformed_CSR_04/Ex3_2_Luc97_C 0.692 0.731 60.0 60.0 60.0 1.042 1.016 1.427
Transformed_CSR_04/Ex3_2_Luc97_FR 0.215 0.237 15.297 12.2 60.0 0.307 0.3 0.435
Transformed_CSR_04/Ex3_2_Luc97_GM 0.202 0.21 9.054 7.294 60.0 0.263 0.263 0.306
Transformed_CSR_04/Ex3_2_Luc97_Z 0.214 0.208 12.889 10.52 60.0 0.251 0.259 0.325
Transformed_CSR_04/Ex3_2_Luc97_iGM 0.706 0.619 60.0 60.0 60.0 0.801 0.804 0.986
Transformed_CSR_04/Ex3_3_25_Bor03_C 0.988 0.992 60.0 60.0 60.0 1.373 1.337 1.792
Transformed_CSR_04/Ex3_3_25_Bor03_FR 0.204 0.209 9.077 6.609 60.0 0.378 0.383 0.458
Transformed_CSR_04/Ex3_3_25_Bor03_GM 0.4 0.469 7.707 8.78 60.0 0.531 0.532 0.593
Transformed_CSR_04/Ex3_3_25_Bor03_L 0.17 0.156 0.159 0.148 0.157 0.143 0.149 0.146
problem t e s nv g c r *
Transformed_CSR_04/Ex3_3_25_Bor03_Z 0.188 0.184 0.228 0.237 0.28 0.204 0.235 0.279
Transformed_CSR_04/Ex3_3_25_Bor03_iGM 1.161 1.183 60.0 60.0 60.0 1.378 1.402 1.654
Transformed_CSR_04/Ex49_GM04_C 0.76 0.764 60.0 60.0 60.0 0.991 0.979 1.348
Transformed_CSR_04/Ex49_GM04_FR 0.21 0.214 8.397 60.0 60.0 0.266 0.269 0.38
Transformed_CSR_04/Ex49_GM04_GM 0.368 0.361 8.644 60.0 60.0 0.405 0.401 0.466
Transformed_CSR_04/Ex49_GM04_Z 0.218 0.215 3.245 19.712 60.0 0.266 0.279 0.347
Transformed_CSR_04/Ex49_GM04_iGM 1.171 0.961 60.0 60.0 60.0 1.121 1.063 1.258
Transformed_CSR_04/Ex4_4_Luc96b_C 0.254 0.271 2.132 10.784 60.0 0.325 0.329 0.416
Transformed_CSR_04/Ex4_4_Luc96b_FR 0.179 0.157 0.304 0.422 60.0 0.184 0.163 0.194
Transformed_CSR_04/Ex4_4_Luc96b_GM 0.179 0.179 0.264 0.347 60.0 0.181 0.196 0.236
Transformed_CSR_04/Ex4_4_Luc96b_L 0.14 0.139 0.146 0.165 0.142 0.14 0.145 0.152
Transformed_CSR_04/Ex4_4_Luc96b_Z 0.159 0.164 0.214 0.262 60.0 0.169 0.171 0.177
Transformed_CSR_04/Ex4_4_Luc96b_iGM 0.222 0.228 0.87 1.264 60.0 0.251 0.259 0.323
Transformed_CSR_04/Ex4_7_15_Bor03_C 0.399 0.425 28.848 22.195 60.0 0.551 60.0 1.094
Transformed_CSR_04/Ex4_7_15_Bor03_FR 0.177 0.181 0.716 0.622 60.0 0.192 0.228 0.285
Transformed_CSR_04/Ex4_7_15_Bor03_GM 0.19 0.222 0.737 0.775 60.0 0.215 0.22 0.257
Transformed_CSR_04/Ex4_7_15_Bor03_L 0.159 0.147 0.163 0.176 0.161 0.148 0.15 0.141
Transformed_CSR_04/Ex4_7_15_Bor03_Z 0.155 0.157 0.18 0.166 0.169 0.169 0.165 0.171
Transformed_CSR_04/Ex4_7_15_Bor03_iGM 0.45 0.466 19.121 7.302 60.0 0.451 1.023 0.792
Transformed_CSR_04/Ex4_7_37_Bor03_C 1.063 1.17 60.0 60.0 60.0 1.705 1.707 2.12
Transformed_CSR_04/Ex4_7_37_Bor03_FR 0.321 0.343 5.199 60.0 60.0 0.365 0.363 0.424
Transformed_CSR_04/Ex4_7_37_Bor03_GM 0.403 0.404 18.684 60.0 60.0 0.411 0.406 0.615
Transformed_CSR_04/Ex4_7_37_Bor03_Z 0.245 0.256 2.256 60.0 60.0 0.254 0.257 0.291
Transformed_CSR_04/Ex4_7_37_Bor03_iGM 1.061 0.965 60.0 60.0 60.0 1.113 1.072 1.428
Transformed_CSR_04/Ex4_7_56_Bor03_C 0.556 0.588 40.616 60.0 60.0 0.67 0.662 0.876
problem t e s nv g c r *
Transformed_CSR_04/Ex4_7_56_Bor03_FR 0.183 0.17 0.344 0.373 60.0 0.174 0.186 0.208
Transformed_CSR_04/Ex4_7_56_Bor03_GM 0.183 0.183 0.713 0.871 60.0 0.192 0.195 0.235
Transformed_CSR_04/Ex4_7_56_Bor03_Z 0.151 0.164 0.224 0.233 6.992 0.155 0.157 0.186
Transformed_CSR_04/Ex4_7_56_Bor03_iGM 0.34 0.347 19.732 15.777 60.0 0.393 0.391 0.519
Transformed_CSR_04/Ex4_7_77_Bor03_C 0.269 0.299 2.655 2.11 60.0 0.34 0.445 0.532
Transformed_CSR_04/Ex4_7_77_Bor03_FR 0.142 0.148 0.147 0.156 0.15 0.14 0.145 0.16
Transformed_CSR_04/Ex4_7_77_Bor03_GM 0.173 0.188 0.352 0.356 60.0 0.204 0.179 0.228
Transformed_CSR_04/Ex4_7_77_Bor03_iGM 0.236 0.235 2.199 1.672 60.0 0.252 0.378 0.393
Transformed_CSR_04/Ex4_DLMMU04_C 2.693 2.642 60.0 60.0 60.0 3.612 3.697 3.652
Transformed_CSR_04/Ex4_DLMMU04_FR 0.578 0.597 60.0 60.0 60.0 0.851 0.861 1.133
Transformed_CSR_04/Ex4_DLMMU04_GM 1.057 1.117 60.0 60.0 60.0 1.414 1.505 1.794
Transformed_CSR_04/Ex4_DLMMU04_Z 0.747 0.723 60.0 60.0 60.0 0.637 0.637 0.914
Transformed_CSR_04/Ex4_DLMMU04_iGM 2.734 2.437 60.0 60.0 60.0 3.208 3.192 3.413
Transformed_CSR_04/Ex4_Zan97_C 0.535 0.618 60.0 60.0 60.0 0.849 0.845 1.195
Transformed_CSR_04/Ex4_Zan97_FR 0.182 0.177 0.573 0.529 60.0 0.204 0.21 0.251
Transformed_CSR_04/Ex4_Zan97_GM 0.21 0.208 2.459 3.646 60.0 0.223 0.224 0.291
Transformed_CSR_04/Ex4_Zan97_Z 0.159 0.173 0.385 0.361 60.0 0.187 0.173 0.201
Transformed_CSR_04/Ex4_Zan97_iGM 0.446 0.383 53.219 60.0 60.0 0.808 0.779 0.965
Transformed_CSR_04/Ex5_7_Luc97_C 1.695 1.659 60.0 60.0 60.0 2.499 2.523 2.718
Transformed_CSR_04/Ex5_7_Luc97_FR 0.551 0.579 26.777 23.964 60.0 0.717 0.701 0.922
Transformed_CSR_04/Ex5_7_Luc97_GM 0.529 0.528 60.0 60.0 60.0 0.488 0.492 0.749
Transformed_CSR_04/Ex5_7_Luc97_Z 0.305 0.319 26.369 18.368 60.0 0.391 0.401 0.516
Transformed_CSR_04/Ex5_7_Luc97_iGM 1.304 1.217 60.0 60.0 60.0 1.779 1.81 2.253
Transformed_CSR_04/Ex5_DLMMU04_C 1.615 1.781 60.0 60.0 60.0 2.397 2.412 2.905
Transformed_CSR_04/Ex5_DLMMU04_FR 0.238 0.216 25.531 60.0 60.0 0.328 0.319 0.458
problem t e s nv g c r *
Transformed_CSR_04/Ex5_DLMMU04_GM 0.232 0.248 38.873 41.492 60.0 0.413 0.391 0.583
Transformed_CSR_04/Ex5_DLMMU04_Z 0.328 0.318 18.757 60.0 60.0 0.526 0.563 0.618
Transformed_CSR_04/Ex5_DLMMU04_iGM 1.26 0.989 60.0 60.0 60.0 1.421 1.45 1.959
Transformed_CSR_04/Ex5_Zan97_C 0.344 0.349 7.513 5.819 60.0 0.466 60.0 0.962
Transformed_CSR_04/Ex5_Zan97_FR 0.173 0.176 0.375 0.412 60.0 0.185 0.177 0.208
Transformed_CSR_04/Ex5_Zan97_GM 0.207 0.235 0.622 0.717 60.0 0.225 60.0 0.748
Transformed_CSR_04/Ex5_Zan97_Z 0.165 0.158 0.212 0.171 1.111 0.184 0.164 0.179
Transformed_CSR_04/Ex5_Zan97_iGM 0.301 0.268 6.607 4.422 60.0 0.328 4.244 0.823
Transformed_CSR_04/Ex6_15_AEL02_C 2.377 2.536 60.0 60.0 60.0 4.321 4.362 3.509
Transformed_CSR_04/Ex6_15_AEL02_FR 0.368 0.391 46.913 60.0 60.0 0.637 0.59 0.894
Transformed_CSR_04/Ex6_15_AEL02_GM 0.313 0.339 60.0 60.0 60.0 0.907 0.902 1.344
Transformed_CSR_04/Ex6_15_AEL02_Z 0.454 0.457 40.883 60.0 60.0 0.611 0.608 0.761
Transformed_CSR_04/Ex6_15_AEL02_iGM 2.167 2.064 60.0 60.0 60.0 3.121 3.227 3.081
Transformed_CSR_04/Ex6_9_Luc02c_C 0.655 0.529 59.887 60.0 60.0 0.855 0.839 1.265
Transformed_CSR_04/Ex6_9_Luc02c_FR 0.261 0.26 0.435 0.448 60.0 0.281 0.294 0.279
Transformed_CSR_04/Ex6_9_Luc02c_GM 0.171 0.192 0.839 1.733 60.0 0.206 0.232 0.259
Transformed_CSR_04/Ex6_9_Luc02c_Z 0.156 0.147 0.226 0.227 34.874 0.161 0.159 0.163
Transformed_CSR_04/Ex6_9_Luc02c_iGM 0.407 0.424 28.776 22.718 60.0 0.441 0.458 0.574
Transformed_CSR_04/Ex6_GM04_C 0.21 0.213 0.637 0.69 60.0 0.229 0.269 0.291
Transformed_CSR_04/Ex6_GM04_FR 0.147 0.149 0.294 0.315 4.775 0.167 0.171 0.205
Transformed_CSR_04/Ex6_GM04_GM 0.154 0.143 0.185 0.161 0.157 0.155 0.157 0.154
Transformed_CSR_04/Ex6_GM04_L 0.156 0.138 0.146 0.166 0.144 0.138 0.14 0.145
Transformed_CSR_04/Ex6_GM04_iGM 0.213 0.201 0.376 0.314 2.382 0.217 0.183 0.222
Transformed_CSR_04/Ex6_Luc98_C 0.603 0.678 44.801 60.0 60.0 0.821 0.811 1.012
Transformed_CSR_04/Ex6_Luc98_FR 0.192 0.181 0.628 0.539 60.0 0.218 0.207 0.233
problem t e s nv g c r *
Transformed_CSR_04/Ex6_Luc98_GM 0.199 0.212 0.803 0.72 60.0 0.241 0.25 0.274
Transformed_CSR_04/Ex6_Luc98_L 0.143 0.167 0.145 0.149 0.141 0.139 0.151 0.139
Transformed_CSR_04/Ex6_Luc98_Z 0.163 0.174 0.184 0.176 0.208 0.18 0.156 0.197
Transformed_CSR_04/Ex6_Luc98_iGM 0.502 0.47 26.3 47.326 60.0 0.507 0.495 0.634
Transformed_CSR_04/Ex7_BLR02_C 0.803 0.789 60.0 60.0 60.0 1.242 1.237 1.759
Transformed_CSR_04/Ex7_BLR02_FR 0.188 0.21 1.08 0.932 60.0 0.221 0.235 0.259
Transformed_CSR_04/Ex7_BLR02_GM 0.21 0.22 10.878 23.037 60.0 0.315 0.309 0.453
Transformed_CSR_04/Ex7_BLR02_Z 0.189 0.208 0.568 0.538 60.0 0.207 0.207 0.232
Transformed_CSR_04/Ex7_BLR02_iGM 0.518 0.538 60.0 60.0 60.0 0.786 0.798 1.126
Transformed_CSR_04/Ex8_BLR02_C 0.852 0.914 60.0 60.0 60.0 1.303 1.292 1.764
Transformed_CSR_04/Ex8_BLR02_FR 0.212 0.208 0.665 0.836 60.0 0.212 0.211 0.268
Transformed_CSR_04/Ex8_BLR02_GM 0.207 0.214 7.473 20.864 60.0 0.294 0.3 0.438
Transformed_CSR_04/Ex8_BLR02_Z 0.172 0.17 0.427 0.466 60.0 0.455 0.455 0.483
Transformed_CSR_04/Ex8_BLR02_iGM 0.886 0.836 60.0 60.0 60.0 1.008 0.995 1.233
Transformed_CSR_04/Ex9_BLR02_C 0.964 1.054 60.0 60.0 60.0 1.408 1.341 1.725
Transformed_CSR_04/Ex9_BLR02_FR 0.2 0.201 5.712 5.342 60.0 0.261 0.259 0.33
Transformed_CSR_04/Ex9_BLR02_GM 0.427 0.433 7.17 6.912 60.0 0.449 0.449 0.546
Transformed_CSR_04/Ex9_BLR02_L 0.145 0.145 0.17 0.185 0.183 0.149 0.147 0.148
Transformed_CSR_04/Ex9_BLR02_Z 0.259 0.255 2.593 60.0 60.0 0.262 0.273 0.305
Transformed_CSR_04/Ex9_BLR02_iGM 1.089 0.979 60.0 60.0 60.0 1.124 1.151 1.224
Transformed_CSR_04/Ex9_Luc04_C 0.247 0.253 3.875 60.0 60.0 0.318 0.305 0.389
Transformed_CSR_04/Ex9_Luc04_FR 0.152 0.16 0.185 0.186 0.249 0.154 0.157 0.177
Transformed_CSR_04/Ex9_Luc04_GM 0.161 0.165 0.37 3.629 60.0 0.176 0.177 0.194
Transformed_CSR_04/Ex9_Luc04_L 0.142 0.148 0.151 0.158 0.151 0.154 0.146 0.171
Transformed_CSR_04/Ex9_Luc04_iGM 0.227 0.227 2.742 60.0 60.0 0.267 0.269 0.298
problem t e s nv g c r *
Transformed_CSR_04/Ex9_Luc06_C 0.213 0.25 0.867 60.0 60.0 0.292 0.302 0.421
Transformed_CSR_04/Ex9_Luc06_FR 0.148 0.152 0.254 0.272 2.913 0.164 0.214 0.215
Transformed_CSR_04/Ex9_Luc06_GM 0.16 0.164 0.319 1.544 60.0 0.303 0.35 0.428
Transformed_CSR_04/Ex9_Luc06_iGM 0.359 0.302 1.531 29.244 60.0 0.424 0.507 0.534
Transformed_CSR_04/ExAppendixB_AEL03_C 3.239 3.402 60.0 60.0 60.0 4.814 4.942 4.474
Transformed_CSR_04/ExAppendixB_AEL03_FR 0.388 0.396 2.041 21.186 60.0 0.329 0.323 0.396
Transformed_CSR_04/ExAppendixB_AEL03_GM 0.326 0.322 60.0 60.0 60.0 0.862 0.863 1.333
Transformed_CSR_04/ExAppendixB_AEL03_Z 0.222 0.223 1.166 12.198 60.0 0.279 0.285 0.345
Transformed_CSR_04/ExAppendixB_AEL03_iGM 1.768 1.893 60.0 60.0 60.0 2.429 2.381 2.947
Transformed_CSR_04/ExConc_Zan97_C 0.291 0.309 2.09 2.003 60.0 0.365 0.424 0.547
Transformed_CSR_04/ExConc_Zan97_FR 0.154 0.156 0.258 0.248 5.12 0.186 0.156 0.185
Transformed_CSR_04/ExConc_Zan97_GM 0.161 0.174 0.217 0.223 6.521 0.172 0.167 0.187
Transformed_CSR_04/ExConc_Zan97_L 0.136 0.148 0.132 0.159 0.142 0.132 0.13 0.14
Transformed_CSR_04/ExConc_Zan97_Z 0.141 0.148 0.144 0.161 0.157 0.144 0.158 0.173
Transformed_CSR_04/ExConc_Zan97_iGM 0.264 0.269 1.279 1.018 60.0 0.272 0.292 0.321
Transformed_CSR_04/ExIntrod_GM01_C 0.884 0.84 60.0 60.0 60.0 1.098 3.795 1.667
Transformed_CSR_04/ExIntrod_GM01_FR 0.192 0.197 1.195 1.016 60.0 0.217 0.267 0.339
Transformed_CSR_04/ExIntrod_GM01_GM 0.314 0.343 17.266 17.055 60.0 0.442 0.524 0.64
Transformed_CSR_04/ExIntrod_GM01_Z 0.186 0.187 1.09 0.801 60.0 0.202 0.25 0.312
Transformed_CSR_04/ExIntrod_GM01_iGM 0.847 0.69 60.0 60.0 60.0 0.929 4.18 1.411
Transformed_CSR_04/ExIntrod_GM04_C 0.659 0.667 60.0 48.604 60.0 0.85 1.366 1.42
Transformed_CSR_04/ExIntrod_GM04_FR 0.195 0.211 2.306 1.635 60.0 0.234 0.296 0.362
Transformed_CSR_04/ExIntrod_GM04_GM 0.273 0.257 9.49 5.454 60.0 0.285 0.358 0.467
Transformed_CSR_04/ExIntrod_GM04_Z 0.199 0.198 2.068 1.268 60.0 0.213 0.324 0.356
Transformed_CSR_04/ExIntrod_GM04_iGM 0.661 0.611 60.0 60.0 60.0 0.708 3.536 1.322
problem t e s nv g c r *
Transformed_CSR_04/ExIntrod_GM99_C 1.472 1.383 60.0 60.0 60.0 2.24 2.162 2.396
Transformed_CSR_04/ExIntrod_GM99_FR 0.212 0.211 7.96 60.0 60.0 0.302 0.289 0.356
Transformed_CSR_04/ExIntrod_GM99_GM 0.304 0.267 42.542 60.0 60.0 0.458 0.452 0.659
Transformed_CSR_04/ExIntrod_GM99_Z 0.195 0.214 2.382 60.0 60.0 0.25 0.232 0.292
Transformed_CSR_04/ExIntrod_GM99_iGM 1.17 0.961 60.0 60.0 60.0 1.662 1.651 2.32
Transformed_CSR_04/ExIntrod_Zan97_C 1.14 1.212 60.0 60.0 60.0 1.733 1.71 2.23
Transformed_CSR_04/ExIntrod_Zan97_FR 0.211 0.211 12.476 50.868 60.0 0.284 0.259 0.333
Transformed_CSR_04/ExIntrod_Zan97_GM 0.227 0.231 23.303 60.0 60.0 0.398 0.409 0.579
Transformed_CSR_04/ExIntrod_Zan97_Z 0.21 0.199 2.806 14.252 60.0 0.224 0.22 0.252
Transformed_CSR_04/ExIntrod_Zan97_iGM 0.799 0.699 60.0 60.0 60.0 0.965 0.951 1.234
Transformed_CSR_04/ExProp7_Luc06_C 0.483 0.489 29.144 22.546 60.0 0.596 60.0 1.135
Transformed_CSR_04/ExProp7_Luc06_FR 0.176 0.184 0.67 0.61 60.0 0.18 0.221 0.27
Transformed_CSR_04/ExProp7_Luc06_GM 0.252 0.256 0.881 1.099 60.0 0.276 0.293 0.359
Transformed_CSR_04/ExProp7_Luc06_L 0.15 0.144 0.165 0.159 0.152 0.144 0.142 0.155
Transformed_CSR_04/ExProp7_Luc06_Z 0.178 0.158 0.178 0.189 0.179 0.165 0.159 0.179
Transformed_CSR_04/ExProp7_Luc06_iGM 0.431 0.407 16.76 12.246 60.0 0.46 1.054 0.799
Transformed_CSR_04/ExSec11_1_Luc02a_C 1.807 1.858 60.0 60.0 60.0 2.546 2.577 2.86
Transformed_CSR_04/ExSec11_1_Luc02a_FR 0.292 0.295 14.058 29.352 60.0 0.341 0.345 0.418
Transformed_CSR_04/ExSec11_1_Luc02a_GM 0.247 0.247 38.836 60.0 60.0 0.459 0.469 0.699
Transformed_CSR_04/ExSec11_1_Luc02a_L 0.196 0.205 0.487 0.805 60.0 0.323 0.316 0.367
Transformed_CSR_04/ExSec11_1_Luc02a_Z 0.368 0.389 0.903 1.734 60.0 0.409 0.407 0.449
Transformed_CSR_04/ExSec11_1_Luc02a_iGM 1.778 1.497 60.0 60.0 60.0 2.031 1.988 2.543
Transformed_CSR_04/ExSec4_2_DLMMU04_C 1.847 2.083 60.0 60.0 60.0 3.597 3.648 3.066
Transformed_CSR_04/ExSec4_2_DLMMU04_FR 0.194 0.214 2.328 60.0 60.0 0.223 0.235 0.27
Transformed_CSR_04/ExSec4_2_DLMMU04_GM 0.286 0.296 60.0 60.0 60.0 0.983 0.961 1.309
problem t e s nv g c r *
Transformed_CSR_04/ExSec4_2_DLMMU04_Z 0.191 0.182 1.384 60.0 60.0 0.21 0.203 0.225
Transformed_CSR_04/ExSec4_2_DLMMU04_iGM 1.34 1.361 60.0 60.0 60.0 2.274 2.35 2.315
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR 2.438 2.842 60.0 60.0 60.0 33.226 34.344 3.537
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z 2.13 2.609 60.0 60.0 60.0 27.504 27.499 3.326
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 0.936 1.128 60.0 60.0 60.0 12.914 12.893 2.167
Transformed_CSR_04/LISTUTILITIES_complete_GM 1.522 1.811 60.0 60.0 60.0 30.62 31.203 2.766
Transformed_CSR_04/LISTUTILITIES_complete_Z 0.926 1.074 60.0 60.0 60.0 9.967 10.224 1.971
Transformed_CSR_04/LISTUTILITIES_complete_iGM 31.708 32.595 60.0 60.0 60.0 60.0 60.0 31.427
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 7.049 8.42 60.0 60.0 60.0 60.0 60.0 8.738
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.651 0.749 60.0 60.0 60.0 6.036 5.913 1.732
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z 0.613 0.663 60.0 60.0 60.0 4.476 4.427 1.674
Transformed_CSR_04/LISTUTILITIES_nokinds_C 10.479 10.643 60.0 60.0 60.0 18.159 18.955 12.056
Transformed_CSR_04/LISTUTILITIES_nokinds_FR 0.472 0.548 60.0 60.0 60.0 3.584 3.584 1.549
Transformed_CSR_04/LISTUTILITIES_nokinds_GM 0.626 0.639 60.0 60.0 60.0 4.894 4.969 1.656
Transformed_CSR_04/LISTUTILITIES_nokinds_Z 0.439 0.475 60.0 60.0 60.0 2.493 2.528 1.484
Transformed_CSR_04/LISTUTILITIES_nokinds_iGM 7.336 6.417 60.0 60.0 60.0 11.961 11.972 7.817
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C 44.709 43.355 60.0 60.0 60.0 60.0 60.0 46.293
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM 1.118 1.302 60.0 60.0 60.0 17.974 18.135 2.3
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM 21.117 23.806 60.0 60.0 60.0 48.388 47.213 22.75
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR 0.294 0.312 39.747 60.0 60.0 0.543 0.515 0.834
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z 0.261 0.28 27.686 60.0 60.0 0.432 0.427 0.66
Transformed_CSR_04/LISTUTILITIES_nosorts_C 2.811 2.539 60.0 60.0 60.0 4.504 4.524 3.548
problem t e s nv g c r *
Transformed_CSR_04/LISTUTILITIES_nosorts_FR 0.215 0.211 3.62 5.402 60.0 0.247 0.257 0.338
Transformed_CSR_04/LISTUTILITIES_nosorts_GM 0.312 0.325 60.0 60.0 60.0 1.267 1.268 1.356
Transformed_CSR_04/LISTUTILITIES_nosorts_Z 0.186 0.182 1.822 2.832 60.0 0.221 0.22 0.287
Transformed_CSR_04/LISTUTILITIES_nosorts_iGM 1.799 1.874 60.0 60.0 60.0 3.085 3.168 2.939
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C 12.481 13.409 60.0 60.0 60.0 23.394 23.896 13.85
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM 0.56 0.637 60.0 60.0 60.0 4.791 4.85 1.652
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM 8.013 6.93 60.0 60.0 60.0 13.342 13.628 7.941
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR 1.313 1.51 60.0 60.0 60.0 2.691 2.751 2.361
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z 1.174 1.518 60.0 60.0 60.0 2.635 2.644 2.192
Transformed_CSR_04/LengthOfFiniteLists_complete_C 8.059 8.88 60.0 60.0 60.0 12.31 12.714 9.86
Transformed_CSR_04/LengthOfFiniteLists_complete_FR 0.662 0.681 60.0 60.0 60.0 1.688 1.697 1.71
Transformed_CSR_04/LengthOfFiniteLists_complete_GM 2.67 2.874 60.0 60.0 60.0 3.76 3.783 3.427
Transformed_CSR_04/LengthOfFiniteLists_complete_Z 1.03 1.044 60.0 60.0 60.0 1.774 1.777 2.023
Transformed_CSR_04/LengthOfFiniteLists_complete_iGM 9.169 9.297 60.0 60.0 60.0 11.129 11.084 10.58
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C 24.902 24.976 60.0 60.0 60.0 39.029 38.149 26.459
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM 4.767 4.741 60.0 60.0 60.0 8.933 8.864 5.862
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM 35.351 30.653 60.0 60.0 60.0 35.637 36.798 30.149
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR 0.429 0.433 60.0 60.0 60.0 0.665 0.648 0.887
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z 0.381 0.386 60.0 60.0 60.0 0.571 0.603 0.814
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C 1.294 1.23 60.0 60.0 60.0 1.72 1.634 2.242
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR 0.451 0.434 60.0 60.0 60.0 0.667 0.655 0.975
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM 0.542 0.573 42.449 60.0 60.0 0.681 0.669 0.799
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z 0.411 0.453 57.551 60.0 60.0 0.658 0.64 0.82
Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM 1.437 1.1 60.0 60.0 60.0 1.793 1.77 1.988
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C 3.725 3.741 60.0 60.0 60.0 5.213 5.207 4.795
problem t e s nv g c r *
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM 0.908 0.781 60.0 60.0 60.0 1.158 1.129 1.657
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM 3.611 3.086 60.0 60.0 60.0 3.985 4.1 4.063
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR 0.163 0.158 0.265 0.257 0.988 0.166 0.181 0.216
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C 0.537 0.52 35.288 24.221 60.0 0.691 1.121 1.199
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR 0.158 0.153 0.214 0.22 0.253 0.162 0.161 0.187
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM 0.205 0.248 1.493 1.517 60.0 0.263 0.321 0.755
Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM 0.568 0.522 40.348 21.667 60.0 0.592 3.083 1.167
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C 0.671 0.698 60.0 54.705 60.0 0.943 1.431 1.514
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM 0.24 0.244 4.999 1.96 60.0 0.288 0.941 0.812
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM 0.73 0.575 60.0 60.0 60.0 0.74 6.489 1.27
Transformed_CSR_04/MYNAT_complete-noand_FR 0.466 0.538 60.0 60.0 60.0 1.899 1.96 1.564
Transformed_CSR_04/MYNAT_complete-noand_Z 0.52 0.569 60.0 60.0 60.0 1.729 1.764 1.537
Transformed_CSR_04/MYNAT_complete_C 5.697 5.598 60.0 60.0 60.0 8.096 8.113 6.524
Transformed_CSR_04/MYNAT_complete_FR 0.342 0.36 60.0 60.0 60.0 1.164 1.167 1.365
Transformed_CSR_04/MYNAT_complete_GM 0.422 0.447 60.0 60.0 60.0 1.82 1.783 1.449
Transformed_CSR_04/MYNAT_complete_Z 0.328 0.367 60.0 60.0 60.0 1.061 1.028 1.354
Transformed_CSR_04/MYNAT_complete_iGM 3.332 3.817 60.0 60.0 60.0 5.418 5.428 4.649
Transformed_CSR_04/MYNAT_complete_noand_C 21.925 22.958 60.0 60.0 60.0 37.324 37.15 23.282
Transformed_CSR_04/MYNAT_complete_noand_GM 0.838 0.896 60.0 60.0 60.0 6.518 6.55 1.912
Transformed_CSR_04/MYNAT_complete_noand_iGM 11.906 14.218 60.0 60.0 60.0 23.198 22.657 15.616
Transformed_CSR_04/MYNAT_nokinds-noand_FR 0.278 0.267 59.868 60.0 60.0 0.523 0.521 0.862
Transformed_CSR_04/MYNAT_nokinds-noand_Z 0.264 0.274 59.042 60.0 60.0 0.492 0.499 0.75
Transformed_CSR_04/MYNAT_nokinds_C 1.514 1.597 60.0 60.0 60.0 2.338 2.383 2.537
Transformed_CSR_04/MYNAT_nokinds_FR 0.235 0.234 32.62 60.0 60.0 0.43 0.432 0.68
Transformed_CSR_04/MYNAT_nokinds_GM 0.281 0.266 57.65 60.0 60.0 0.558 0.542 0.896
problem t e s nv g c r *
Transformed_CSR_04/MYNAT_nokinds_Z 0.234 0.233 32.198 60.0 60.0 0.396 0.388 0.619
Transformed_CSR_04/MYNAT_nokinds_iGM 1.106 1.102 60.0 60.0 60.0 1.498 1.526 2.05
Transformed_CSR_04/MYNAT_nokinds_noand_C 3.187 3.844 60.0 60.0 60.0 5.971 5.811 4.152
Transformed_CSR_04/MYNAT_nokinds_noand_GM 0.343 0.357 60.0 60.0 60.0 1.015 0.987 1.368
Transformed_CSR_04/MYNAT_nokinds_noand_iGM 2.164 2.424 60.0 60.0 60.0 3.33 3.439 3.418
Transformed_CSR_04/MYNAT_nosorts-noand_FR 0.18 0.259 1.021 8.281 60.0 0.204 0.213 0.278
Transformed_CSR_04/MYNAT_nosorts_C 0.584 0.613 60.0 60.0 60.0 0.838 0.857 1.059
Transformed_CSR_04/MYNAT_nosorts_FR 0.15 0.156 0.286 0.384 60.0 0.167 0.156 0.188
Transformed_CSR_04/MYNAT_nosorts_GM 0.194 0.192 1.782 8.031 60.0 0.264 0.254 0.315
Transformed_CSR_04/MYNAT_nosorts_iGM 0.433 0.35 41.194 55.292 60.0 0.46 0.48 0.623
Transformed_CSR_04/MYNAT_nosorts_noand_C 1.298 1.274 60.0 60.0 60.0 1.728 1.752 2.212
Transformed_CSR_04/MYNAT_nosorts_noand_GM 0.232 0.256 20.778 60.0 60.0 0.383 0.397 0.552
Transformed_CSR_04/MYNAT_nosorts_noand_iGM 0.811 0.693 60.0 60.0 60.0 1.085 1.037 1.381
Transformed_CSR_04/OvConsOS_complete-noand_FR 5.142 5.544 60.0 60.0 60.0 8.564 8.337 5.945
Transformed_CSR_04/OvConsOS_complete-noand_Z 5.917 4.127 60.0 60.0 60.0 6.631 6.715 7.206
Transformed_CSR_04/OvConsOS_complete_C 15.854 19.729 60.0 60.0 60.0 27.278 25.891 20.733
Transformed_CSR_04/OvConsOS_complete_FR 0.749 0.791 60.0 60.0 60.0 2.903 2.972 1.81
Transformed_CSR_04/OvConsOS_complete_GM 4.759 4.462 60.0 60.0 60.0 7.219 7.064 5.718
Transformed_CSR_04/OvConsOS_complete_Z 2.235 2.182 60.0 60.0 60.0 3.704 3.818 3.387
Transformed_CSR_04/OvConsOS_complete_iGM 20.536 17.214 60.0 60.0 60.0 21.572 22.365 18.991
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 10.046 12.487 60.0 60.0 60.0 24.274 24.226 11.626
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.106 1.019 60.0 60.0 60.0 1.56 1.574 2.113
Transformed_CSR_04/OvConsOS_nokinds-noand_Z 0.83 1.02 60.0 60.0 60.0 1.473 1.463 1.868
problem t e s nv g c r *
Transformed_CSR_04/OvConsOS_nokinds_C 2.567 2.435 60.0 60.0 60.0 3.303 3.314 3.353
Transformed_CSR_04/OvConsOS_nokinds_FR 0.965 1.005 60.0 60.0 60.0 1.561 1.548 1.986
Transformed_CSR_04/OvConsOS_nokinds_GM 1.189 1.146 60.0 60.0 60.0 1.193 1.146 1.628
Transformed_CSR_04/OvConsOS_nokinds_Z 0.759 0.85 60.0 60.0 60.0 1.26 1.295 1.69
Transformed_CSR_04/OvConsOS_nokinds_iGM 3.423 2.464 60.0 60.0 60.0 3.362 3.325 3.546
Transformed_CSR_04/OvConsOS_nokinds_noand_C 8.189 8.243 60.0 60.0 60.0 12.497 12.526 9.496
Transformed_CSR_04/OvConsOS_nokinds_noand_GM 2.034 1.906 60.0 60.0 60.0 2.895 2.962 2.985
Transformed_CSR_04/OvConsOS_nokinds_noand_iGM 10.571 11.899 60.0 60.0 60.0 13.312 12.866 13.394
Transformed_CSR_04/OvConsOS_nosorts-noand_FR 0.297 0.293 1.86 2.309 60.0 0.404 0.597 0.624
Transformed_CSR_04/OvConsOS_nosorts-noand_Z 0.346 0.286 1.719 1.84 60.0 0.303 0.375 0.44
Transformed_CSR_04/OvConsOS_nosorts_C 0.756 0.787 60.0 60.0 60.0 1.054 8.126 1.605
Transformed_CSR_04/OvConsOS_nosorts_FR 0.192 0.194 0.453 0.46 60.0 0.21 0.276 0.308
Transformed_CSR_04/OvConsOS_nosorts_GM 0.3 0.299 5.899 3.84 60.0 0.351 0.808 0.874
Transformed_CSR_04/OvConsOS_nosorts_Z 0.189 0.185 0.43 0.414 60.0 0.189 0.183 0.216
Transformed_CSR_04/OvConsOS_nosorts_iGM 0.834 0.78 60.0 60.0 60.0 0.883 4.827 1.487
Transformed_CSR_04/OvConsOS_nosorts_noand_C 2.005 2.11 60.0 60.0 60.0 2.809 6.647 3.066
Transformed_CSR_04/OvConsOS_nosorts_noand_GM 0.559 0.534 46.519 21.131 60.0 0.663 60.0 1.267
Transformed_CSR_04/OvConsOS_nosorts_noand_iGM 2.083 2.364 60.0 60.0 60.0 2.741 60.0 3.327
Transformed_CSR_04/PALINDROME_complete-noand_FR 2.853 2.625 60.0 60.0 60.0 16.529 17.318 3.742
Transformed_CSR_04/PALINDROME_complete-noand_L 0.345 0.381 60.0 60.0 60.0 0.463 0.439 0.605
Transformed_CSR_04/PALINDROME_complete-noand_Z 2.849 3.238 60.0 60.0 60.0 17.541 16.94 3.864
Transformed_CSR_04/PALINDROME_complete_C 11.167 11.678 60.0 60.0 60.0 32.218 33.485 11.859
Transformed_CSR_04/PALINDROME_complete_FR 1.09 0.963 60.0 60.0 60.0 26.637 28.051 2.16
Transformed_CSR_04/PALINDROME_complete_GM 2.493 2.335 60.0 60.0 60.0 11.576 11.725 3.584
Transformed_CSR_04/PALINDROME_complete_Z 1.318 1.306 60.0 60.0 60.0 60.0 60.0 2.388
problem t e s nv g c r *
Transformed_CSR_04/PALINDROME_complete_iGM 18.423 13.845 60.0 60.0 60.0 25.803 25.569 14.919
Transformed_CSR_04/PALINDROME_complete_noand_C 37.212 39.615 60.0 60.0 60.0 60.0 60.0 37.24
Transformed_CSR_04/PALINDROME_complete_noand_GM 7.476 7.591 60.0 60.0 60.0 25.133 25.29 8.413
Transformed_CSR_04/PALINDROME_complete_noand_iGM 52.36 46.076 60.0 60.0 60.0 60.0 60.0 54.309
Transformed_CSR_04/PALINDROME_nokinds-noand_FR 0.651 0.587 60.0 60.0 60.0 1.178 1.212 1.705
Transformed_CSR_04/PALINDROME_nokinds-noand_L 0.209 0.223 24.676 21.789 60.0 0.245 0.243 0.285
Transformed_CSR_04/PALINDROME_nokinds-noand_Z 0.611 0.551 60.0 60.0 60.0 1.111 1.259 1.633
Transformed_CSR_04/PALINDROME_nokinds_C 0.954 1.0 60.0 60.0 60.0 1.529 2.651 1.959
Transformed_CSR_04/PALINDROME_nokinds_FR 0.437 0.508 60.0 60.0 60.0 1.234 1.513 1.449
Transformed_CSR_04/PALINDROME_nokinds_GM 0.446 0.358 60.0 60.0 60.0 0.707 1.016 1.32
Transformed_CSR_04/PALINDROME_nokinds_Z 0.467 0.463 60.0 60.0 60.0 1.18 1.464 1.481
Transformed_CSR_04/PALINDROME_nokinds_iGM 2.131 1.508 60.0 60.0 60.0 2.055 60.0 2.491
Transformed_CSR_04/PALINDROME_nokinds_noand_C 4.859 4.952 60.0 60.0 60.0 8.46 60.0 6.063
Transformed_CSR_04/PALINDROME_nokinds_noand_GM 0.956 0.992 60.0 60.0 60.0 2.119 4.754 1.953
Transformed_CSR_04/PALINDROME_nokinds_noand_iGM 7.288 4.877 60.0 60.0 60.0 8.254 60.0 5.856
Transformed_CSR_04/PALINDROME_nosorts-noand_FR 0.289 0.284 0.333 0.38 60.0 0.287 0.302 0.34
Transformed_CSR_04/PALINDROME_nosorts-noand_L 0.301 0.294 0.355 0.397 60.0 0.168 0.181 0.213
Transformed_CSR_04/PALINDROME_nosorts_C 0.444 0.474 22.423 17.64 60.0 0.649 0.901 1.029
Transformed_CSR_04/PALINDROME_nosorts_FR 0.166 0.175 0.199 0.214 60.0 0.176 0.171 0.189
Transformed_CSR_04/PALINDROME_nosorts_GM 0.246 0.266 1.309 3.172 60.0 0.382 0.446 0.651
Transformed_CSR_04/PALINDROME_nosorts_iGM 0.422 0.336 16.768 60.0 60.0 0.527 60.0 1.068
Transformed_CSR_04/PALINDROME_nosorts_noand_C 0.572 0.616 50.522 60.0 60.0 0.85 1.939 1.409
Transformed_CSR_04/PALINDROME_nosorts_noand_GM 0.193 0.236 4.065 28.691 60.0 0.392 0.525 0.653
Transformed_CSR_04/PALINDROME_nosorts_noand_iGM 0.562 0.483 31.715 60.0 60.0 0.698 43.332 1.186
Transformed_CSR_04/PEANO_complete-noand_FR 1.016 1.068 60.0 60.0 60.0 1.553 1.499 1.969
problem t e s nv g c r *
Transformed_CSR_04/PEANO_complete-noand_Z 1.244 1.347 60.0 60.0 60.0 1.701 1.762 2.087
Transformed_CSR_04/PEANO_complete_C 3.167 3.044 60.0 60.0 60.0 4.205 4.297 4.099
Transformed_CSR_04/PEANO_complete_FR 0.271 0.284 60.0 60.0 60.0 0.622 0.621 1.032
Transformed_CSR_04/PEANO_complete_GM 1.147 1.261 60.0 60.0 60.0 1.667 1.719 2.222
Transformed_CSR_04/PEANO_complete_Z 0.637 0.775 47.212 60.0 60.0 1.009 1.011 1.295
Transformed_CSR_04/PEANO_complete_iGM 4.214 3.812 60.0 60.0 60.0 4.35 4.327 4.875
Transformed_CSR_04/PEANO_complete_noand_C 10.558 9.473 60.0 60.0 60.0 13.354 13.258 11.533
Transformed_CSR_04/PEANO_complete_noand_GM 1.795 2.382 60.0 60.0 60.0 3.607 3.683 2.792
Transformed_CSR_04/PEANO_complete_noand_iGM 12.202 12.158 60.0 60.0 60.0 14.129 13.909 12.705
Transformed_CSR_04/PEANO_nokinds-noand_FR 0.422 0.381 11.103 60.0 60.0 0.482 0.477 0.677
Transformed_CSR_04/PEANO_nokinds-noand_Z 0.258 0.412 10.551 60.0 60.0 0.484 0.483 0.475
Transformed_CSR_04/PEANO_nokinds_C 1.027 1.002 60.0 60.0 60.0 1.402 1.329 1.77
Transformed_CSR_04/PEANO_nokinds_FR 0.352 0.335 7.735 38.136 60.0 0.407 0.612 0.537
Transformed_CSR_04/PEANO_nokinds_GM 0.509 0.505 12.722 60.0 60.0 0.583 0.58 0.749
Transformed_CSR_04/PEANO_nokinds_Z 0.261 0.332 6.75 35.357 60.0 0.426 0.412 0.441
Transformed_CSR_04/PEANO_nokinds_iGM 1.105 1.193 60.0 60.0 60.0 1.361 1.382 1.677
Transformed_CSR_04/PEANO_nokinds_noand_C 1.681 1.95 60.0 60.0 60.0 2.518 2.461 2.748
Transformed_CSR_04/PEANO_nokinds_noand_GM 0.416 0.596 43.555 60.0 60.0 0.76 0.782 0.784
Transformed_CSR_04/PEANO_nokinds_noand_iGM 2.028 1.963 60.0 60.0 60.0 2.278 2.319 3.04
Transformed_CSR_04/PEANO_nosorts-noand_FR 0.179 0.174 0.205 0.211 1.2 0.182 0.17 0.182
Transformed_CSR_04/PEANO_nosorts_C 0.421 0.434 16.065 14.841 60.0 0.553 60.0 1.042
Transformed_CSR_04/PEANO_nosorts_FR 0.151 0.157 0.16 0.15 0.161 0.157 0.159 0.166
Transformed_CSR_04/PEANO_nosorts_GM 0.185 0.196 0.601 1.112 60.0 0.197 0.27 0.326
Transformed_CSR_04/PEANO_nosorts_iGM 0.462 0.467 11.395 10.655 60.0 0.495 60.0 1.034
Transformed_CSR_04/PEANO_nosorts_noand_C 0.604 0.614 46.036 43.422 60.0 0.837 60.0 1.321
problem t e s nv g c r *
Transformed_CSR_04/PEANO_nosorts_noand_GM 0.214 0.224 1.755 1.507 60.0 0.241 0.342 0.417
Transformed_CSR_04/PEANO_nosorts_noand_iGM 0.763 0.706 56.145 44.113 60.0 0.841 60.0 1.411
Various_04/02 0.316 0.301 0.317 0.321 0.252 0.18 0.164 0.15
Various_04/03 0.148 0.163 0.171 0.172 2.46 0.146 0.159 0.169
Various_04/04 0.23 0.22 60.0 60.0 60.0 0.232 0.228 0.25
Various_04/05 0.189 0.185 60.0 60.0 60.0 0.201 0.215 0.226
Various_04/06 0.153 0.174 0.206 0.178 0.168 0.155 0.162 0.168
Various_04/07 0.134 0.137 0.141 0.151 0.144 0.157 0.147 0.145
Various_04/08 0.261 0.276 60.0 60.0 60.0 0.286 0.254 0.296
Various_04/09 0.164 0.171 0.234 0.251 60.0 0.158 0.168 0.191
Various_04/10 0.366 0.349 6.451 60.0 60.0 0.436 0.416 0.48
Various_04/11 0.22 0.205 0.24 0.253 60.0 0.156 0.154 0.172
Various_04/12 0.188 0.202 1.24 3.218 60.0 0.216 0.238 0.28
Various_04/13 0.229 0.249 8.723 42.38 60.0 0.308 0.281 0.327
Various_04/14 0.878 0.651 60.0 60.0 60.0 0.891 0.89 0.984
Various_04/15 0.148 0.149 0.191 0.165 0.164 0.158 0.159 0.177
Various_04/18 0.173 0.174 0.28 1.231 60.0 0.265 0.297 0.281
Various_04/19 0.196 0.212 1.044 4.589 60.0 0.565 0.662 0.729
Various_04/21 0.792 0.683 45.534 60.0 60.0 0.877 60.0 1.279
Various_04/22 0.196 0.197 0.242 0.271 60.0 0.199 0.205 0.219
Various_04/23 0.225 0.219 0.231 0.245 0.204 0.171 0.178 0.189
Various_04/24 0.199 0.177 0.253 0.358 60.0 0.203 0.196 0.232
Various_04/25 0.159 0.153 0.195 0.212 0.315 0.151 0.149 0.163
Various_04/26 0.165 0.159 0.248 0.327 60.0 0.192 0.183 0.233
Various_04/27 0.173 0.167 0.147 0.14 0.267 0.137 0.144 0.138
problem t e s nv g c r *
Waldmann_06/jwaprove1 0.144 0.158 0.202 0.186 60.0 60.0 60.0 0.18
Waldmann_06/jwaprove2 0.148 0.151 0.181 0.189 60.0 60.0 60.0 0.206
Waldmann_06/jwcime1 0.156 0.162 0.184 0.19 60.0 0.406 60.0 0.187
Waldmann_06/jwcime2 0.155 0.168 0.187 0.209 60.0 0.179 0.182 0.195
Waldmann_06/jwmatchb1 0.161 0.148 0.157 0.165 60.0 0.175 0.183 0.198
Waldmann_06/jwmatchb2 0.177 0.183 0.198 0.203 60.0 0.189 0.194 0.21
Waldmann_06/jwno1 0.161 0.176 0.194 0.204 60.0 0.18 0.194 0.212
Waldmann_06/jwno2 0.172 0.172 0.211 0.218 60.0 0.21 0.218 0.236
Waldmann_06/jwno3 0.206 0.211 0.236 0.248 60.0 0.221 0.244 0.266
Waldmann_06/jwno4 0.139 0.154 0.162 0.167 60.0 0.149 0.173 0.174
Waldmann_06/jwno5 0.143 0.148 0.18 0.184 60.0 0.167 0.16 0.174
Waldmann_06/jwno6 0.16 0.148 0.157 0.168 60.0 0.148 0.163 0.182
Waldmann_06/jwno7 0.295 0.31 0.328 0.354 60.0 0.324 0.334 0.359
Waldmann_06/jwno8 0.321 0.324 0.367 0.379 60.0 0.537 0.565 0.578
Waldmann_06/jwno9 0.529 0.549 0.577 0.586 60.0 0.55 0.58 0.59
Waldmann_06/jwteparla1 0.151 0.157 0.181 0.194 60.0 0.162 0.167 0.174
Waldmann_06/jwteparla2 0.164 0.148 0.196 0.202 60.0 0.164 0.152 0.197
Waldmann_06/jwtpa1 0.147 0.16 0.199 0.19 60.0 0.164 0.182 0.199
Waldmann_06/jwtpa2 0.327 0.339 0.386 0.407 60.0 60.0 60.0 0.41
Waldmann_06/jwttt 0.351 0.361 0.396 0.391 60.0 60.0 60.0 0.223
Zantema_05/jw01 0.164 0.153 0.186 0.159 1.54 0.147 0.156 0.167
Zantema_05/jw02 0.165 0.144 0.177 0.156 1.483 0.157 0.15 0.169
Zantema_05/jw03 0.143 0.147 0.159 0.158 1.74 0.328 0.334 0.35
Zantema_05/jw04 0.337 0.339 0.367 0.352 1.781 0.368 0.349 0.381
Zantema_05/jw05 0.18 0.166 0.172 0.175 1.542 0.178 0.192 0.192
problem t e s nv g c r *
Zantema_05/jw06 0.163 0.157 0.168 0.169 1.47 0.149 0.16 0.16
Zantema_05/jw07 0.164 0.149 0.194 0.199 60.0 0.157 0.165 0.173
Zantema_05/jw08 0.167 0.16 0.181 0.193 60.0 0.172 0.189 0.185
Zantema_05/jw09 0.174 0.167 0.165 0.183 60.0 0.161 0.174 0.175
Zantema_05/jw11 0.154 0.166 0.182 0.182 60.0 0.167 0.171 0.167
Zantema_05/jw12 0.155 0.147 0.181 0.185 60.0 0.16 0.179 0.182
Zantema_05/jw13 0.172 0.165 0.194 0.186 60.0 0.155 0.183 0.154
Zantema_05/jw14 0.166 0.146 0.16 0.172 60.0 0.149 0.158 0.147
Zantema_05/jw15 0.153 0.146 0.182 0.177 60.0 0.166 0.174 0.186
Zantema_05/jw16 0.164 0.159 0.174 0.174 60.0 0.161 0.156 0.186
Zantema_05/jw17 0.167 0.159 0.162 0.164 60.0 0.161 0.166 0.171
Zantema_05/jw18 0.16 0.16 0.166 0.169 60.0 0.175 0.183 0.187
Zantema_05/jw19 0.147 0.149 0.175 0.178 60.0 0.157 0.17 0.189
Zantema_05/jw20 0.148 0.159 0.18 0.164 60.0 0.163 0.166 0.178
Zantema_05/jw21 0.156 0.172 0.202 0.193 60.0 0.164 0.186 0.172
Zantema_05/jw22 0.168 0.155 0.186 0.203 60.0 0.183 0.161 0.178
Zantema_05/jw23 0.165 0.146 0.173 0.183 60.0 0.154 0.164 0.176
Zantema_05/jw24 0.148 0.147 0.162 0.166 60.0 0.18 0.162 0.177
Zantema_05/jw25 0.146 0.149 0.166 0.159 60.0 0.169 0.155 0.168
Zantema_05/jw26 0.16 0.157 0.178 0.185 60.0 0.169 0.173 0.181
Zantema_05/jw27 0.161 0.161 0.194 0.202 60.0 0.17 0.164 0.209
Zantema_05/jw28 0.154 0.148 0.181 0.195 60.0 0.359 0.37 0.386
Zantema_05/jw29 0.348 0.374 0.248 0.263 60.0 0.269 0.251 0.282
Zantema_05/jw30 0.353 0.345 0.37 0.388 60.0 0.366 0.392 0.386
Zantema_05/jw31 0.353 0.35 0.386 0.377 60.0 0.175 0.186 0.192
problem t e s nv g c r *
Zantema_05/jw32 0.195 0.151 0.163 0.163 60.0 0.161 0.165 0.178
Zantema_05/jw33 0.162 0.158 0.18 0.167 60.0 0.16 0.166 0.171
Zantema_05/jw34 0.148 0.146 0.169 0.18 60.0 0.155 0.168 0.16
Zantema_05/jw35 0.161 0.147 0.179 0.177 60.0 0.153 0.156 0.151
Zantema_05/jw36 0.187 0.171 0.177 0.198 60.0 0.147 0.16 0.15
Zantema_05/jw37 0.162 0.157 0.187 0.191 60.0 0.162 0.182 0.162
Zantema_05/jw38 0.157 0.165 0.182 0.187 60.0 0.167 0.171 0.167
Zantema_05/jw39 0.156 0.162 0.182 0.16 60.0 0.155 0.163 0.171
Zantema_05/jw40 0.167 0.147 0.169 0.171 60.0 0.166 0.163 0.165
Zantema_05/jw41 0.185 0.159 0.185 0.194 60.0 0.166 0.179 0.193
Zantema_05/jw42 0.159 0.152 0.21 0.198 60.0 0.168 0.186 0.172
Zantema_05/jw43 0.156 0.146 0.163 0.155 3.18 0.528 0.529 0.529
Zantema_05/jw44 0.54 0.532 0.531 0.549 60.0 0.541 60.0 0.562
Zantema_05/jw47 0.166 0.159 0.173 0.178 60.0 0.155 60.0 0.186
Zantema_05/jw50 0.171 0.142 0.161 0.156 2.656 0.16 0.148 0.164
Zantema_05/z01 0.17 0.186 0.24 0.291 60.0 0.205 0.3 0.241
Zantema_05/z02 0.143 0.149 0.205 0.199 60.0 0.178 0.203 0.206
Zantema_05/z03 0.158 0.167 0.228 0.261 60.0 0.181 0.223 0.184
Zantema_05/z04 0.153 0.164 0.205 0.255 60.0 0.162 0.162 0.178
Zantema_05/z05 0.171 0.187 0.285 0.432 60.0 0.203 0.239 0.243
Zantema_05/z06 0.151 0.168 0.245 0.252 60.0 0.193 0.178 0.207
Zantema_05/z07 0.2 0.181 0.323 0.384 60.0 0.213 0.234 0.22
Zantema_05/z08 0.169 0.154 0.197 0.188 60.0 0.158 0.164 0.16
Zantema_05/z09 0.173 0.174 0.469 0.862 60.0 0.195 0.192 0.22
Zantema_05/z10 0.167 0.17 0.442 0.771 60.0 0.175 0.175 0.195
problem t e s nv g c r *
Zantema_05/z11 0.312 0.278 0.55 1.197 60.0 0.349 0.435 0.414
Zantema_05/z12 0.252 0.247 0.261 0.249 4.014 0.165 0.205 0.239
Zantema_05/z13 0.163 0.16 0.2 0.192 0.211 0.177 0.237 0.271
Zantema_05/z14 0.156 0.162 0.168 0.177 0.217 0.161 0.174 0.205
Zantema_05/z15 0.155 0.148 0.163 0.176 0.185 0.176 0.179 0.211
Zantema_05/z16 0.159 0.167 0.179 0.18 0.209 0.177 0.197 0.229
Zantema_05/z17 0.157 0.161 0.174 0.168 0.202 0.182 0.183 0.205
Zantema_05/z18 0.159 0.156 0.171 0.173 0.186 0.168 0.171 0.204
Zantema_05/z19 0.174 0.159 0.214 0.257 60.0 0.187 0.337 0.215
Zantema_05/z20 0.21 0.213 0.271 0.339 60.0 0.255 60.0 0.238
Zantema_05/z21 0.163 0.175 0.269 0.348 60.0 0.208 0.242 0.224
Zantema_05/z22 0.189 0.2 0.275 0.335 60.0 0.222 0.283 0.247
Zantema_05/z23 0.155 0.158 0.21 0.178 0.321 0.166 0.248 0.264
Zantema_05/z24 0.175 0.17 0.206 0.215 0.245 0.191 60.0 0.699
Zantema_05/z25 0.182 0.169 0.273 0.426 60.0 0.199 0.221 0.249
Zantema_05/z26 0.208 0.193 0.315 0.388 60.0 0.21 60.0 0.257
Zantema_05/z27 0.155 0.159 0.219 0.254 0.511 0.181 0.178 0.186
Zantema_05/z28 0.182 0.145 0.192 0.234 60.0 0.158 0.166 0.163
Zantema_05/z29 0.34 0.358 0.49 0.651 60.0 0.358 0.449 0.499
Zantema_05/z30 0.422 0.388 0.545 0.837 60.0 0.252 6.329 0.715
Yes No Maybe Timeout