DI Martin Korp  
Home Teaching Research
Research
Publications Talks TTT2 TTTbox

Results for TRSs

problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
AG01/#3.1 0.165 0.18 0.165 0.174 0.178 0.175 0.174 0.17 0.182
AG01/#3.10 0.493 0.51 0.521 0.501 0.523 0.503 0.53 0.516 0.51
AG01/#3.12 0.169 0.176 0.175 0.183 0.18 0.189 0.175 0.19 0.185
AG01/#3.13 0.316 0.323 0.334 0.328 0.323 0.339 0.32 0.332 0.325
AG01/#3.15 0.171 0.172 0.179 0.171 0.171 0.172 0.168 0.174 0.168
AG01/#3.16 0.161 0.17 0.168 0.171 0.17 0.179 0.175 0.17 0.179
AG01/#3.17 0.229 0.223 0.231 0.215 0.242 0.213 0.239 0.23 0.23
AG01/#3.17a 0.241 0.268 0.239 0.249 0.245 0.266 0.25 0.236 0.247
AG01/#3.18 0.199 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AG01/#3.19 0.203 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AG01/#3.2 0.175 0.182 0.178 0.185 0.177 0.18 0.193 0.184 0.176
AG01/#3.21 0.173 60.0 60.0 0.208 0.221 60.0 60.0 0.185 0.201
AG01/#3.22 0.189 60.0 60.0 60.0 1.43 60.0 60.0 0.245 0.229
AG01/#3.23 0.157 0.157 0.145 0.159 0.157 0.144 0.162 0.148 0.143
AG01/#3.24 0.155 0.155 0.161 0.158 0.165 0.16 0.155 0.166 0.163
AG01/#3.26 0.177 0.149 0.16 0.147 0.152 0.189 0.171 0.165 0.156
AG01/#3.29 0.146 0.148 0.165 0.149 0.152 0.148 0.149 0.149 0.145
AG01/#3.31 0.142 0.156 0.143 0.144 0.145 0.161 0.152 0.144 0.138
AG01/#3.33 0.164 0.145 0.141 0.142 0.141 0.16 0.147 0.143 0.147
AG01/#3.35 0.14 0.146 0.147 0.148 0.145 0.142 0.14 0.154 0.157
AG01/#3.36 0.204 0.207 0.197 0.201 0.205 0.201 0.211 0.199 0.214
AG01/#3.37 0.164 0.18 0.171 0.166 0.167 0.171 0.165 0.168 0.183
AG01/#3.38 0.209 0.228 0.214 0.198 0.206 0.211 0.208 0.217 0.211
AG01/#3.39 0.266 60.0 60.0 0.291 0.59 60.0 60.0 0.317 0.302
AG01/#3.4 0.189 0.208 0.201 0.197 0.187 0.19 0.189 0.2 0.19
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
AG01/#3.40 0.279 60.0 60.0 60.0 2.823 60.0 60.0 60.0 0.413
AG01/#3.41 0.151 0.187 60.0 0.166 0.177 0.216 60.0 0.162 0.165
AG01/#3.42 0.187 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AG01/#3.47 0.15 0.162 0.155 0.154 0.161 0.159 0.17 0.147 0.154
AG01/#3.48 0.167 0.165 0.169 0.17 0.177 0.178 0.164 0.176 0.189
AG01/#3.49 0.232 0.22 0.23 0.218 0.229 0.239 0.219 0.222 0.225
AG01/#3.5 0.247 0.247 0.234 0.233 0.223 0.234 0.249 0.255 0.235
AG01/#3.51 0.149 0.149 0.15 0.158 0.154 0.166 0.153 0.152 0.179
AG01/#3.52 0.163 0.157 0.166 0.173 0.16 0.16 0.176 0.193 0.164
AG01/#3.53 0.293 0.287 0.293 0.292 0.297 0.311 0.283 0.302 0.279
AG01/#3.53a 0.151 0.147 0.156 0.162 0.144 0.146 0.159 0.156 0.152
AG01/#3.53b 0.165 0.168 0.165 0.181 0.164 0.166 0.162 0.162 0.169
AG01/#3.54 0.177 0.186 0.188 0.171 0.178 0.185 0.166 0.181 0.176
AG01/#3.55 0.371 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AG01/#3.56 0.178 0.244 0.292 0.19 0.202 0.256 0.204 0.192 0.2
AG01/#3.57 0.287 0.291 0.296 0.289 0.298 0.3 0.304 0.301 0.292
AG01/#3.5a 0.243 0.226 0.242 0.249 0.226 0.25 0.373 0.237 0.225
AG01/#3.5b 0.323 0.277 0.268 0.276 0.272 0.291 0.285 0.266 0.307
AG01/#3.6 0.267 0.277 0.281 0.28 0.279 0.284 0.262 0.277 0.269
AG01/#3.6a 0.282 0.261 0.291 0.263 0.28 0.265 0.272 0.262 0.285
AG01/#3.6b 0.285 0.277 0.273 0.3 0.294 0.283 0.316 0.29 0.285
AG01/#3.7 0.16 0.179 0.181 0.161 0.17 0.171 0.166 0.176 0.166
AG01/#3.8a 0.226 0.219 0.211 0.213 0.225 0.241 0.22 0.234 0.218
AG01/#3.8b 0.286 0.291 0.282 0.28 0.276 0.304 0.272 0.285 0.281
AG01/#4.30c 0.196 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
AProVE_04/AAECC-ring 0.477 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_04/AAECC 0.281 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_04/IJCAR_1 0.195 0.362 0.197 0.184 0.2 0.207 0.198 0.188 0.186
AProVE_04/IJCAR_12 0.193 60.0 7.023 0.222 0.827 60.0 7.312 0.23 0.949
AProVE_04/IJCAR_18 0.28 60.0 0.71 0.325 0.794 60.0 0.693 0.33 0.755
AProVE_04/IJCAR_26 0.349 60.0 60.0 0.392 1.072 60.0 60.0 0.413 0.968
AProVE_04/IJCAR_26a 0.353 60.0 60.0 0.386 1.1 60.0 60.0 0.382 0.974
AProVE_04/JFP_Ex31 0.214 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_04/JFP_Ex51 0.405 0.378 0.391 0.39 0.392 0.372 0.408 0.389 0.382
AProVE_04/LPAR_intlist 0.211 0.212 0.193 0.185 0.2 0.19 0.212 0.208 0.199
AProVE_04/Liveness6.1 0.193 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_04/Liveness6.2 0.197 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_04/Liveness6.3 0.286 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_04/Liveness6.4 0.234 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_04/Liveness8 0.3 0.314 0.3 0.301 0.289 0.297 0.305 0.298 0.309
AProVE_04/Liveness_WRS 0.329 60.0 0.907 60.0 0.603 60.0 0.384 60.0 0.371
AProVE_04/fac 0.205 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_04/forward_instantiation 0.165 0.258 0.859 60.0 60.0 0.236 0.811 60.0 60.0
AProVE_04/forward_instantiation2 0.153 0.319 0.87 60.0 60.0 0.336 0.891 60.0 60.0
AProVE_04/improved_usable 0.163 0.182 0.189 0.195 0.238 0.192 0.182 0.188 0.201
AProVE_04/improved_usable2 0.158 0.18 0.183 0.176 0.19 0.184 0.182 0.181 0.201
AProVE_04/rta1 0.194 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_04/rta2 0.152 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_04/rta3 0.175 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_06/div_notCeTermin 0.25 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
AProVE_06/div_notTermin 0.306 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_06/factorial1 0.221 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_06/factorial2 0.208 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_06/identity 0.214 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_06/logarithm 0.247 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_06/mapHard 0.232 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_06/modulo 0.225 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_06/nonterm 0.187 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_06/quicksort 0.339 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_06/quot 0.193 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_06/sizeChange 0.19 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_06/tower 0.257 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_06/tower_sizeChange 0.664 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/kabasci01 0.39 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/kabasci02 0.327 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/kabasci03 0.222 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/kabasci04 0.219 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/kabasci05 0.252 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/kabasci06 0.293 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/otto01 0.264 60.0 60.0 60.0 2.288 60.0 60.0 60.0 2.243
AProVE_07/otto02 0.259 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/otto03 0.302 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/otto04 0.227 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/otto05 0.191 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/otto06 0.235 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
AProVE_07/otto07 0.182 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/otto08 0.235 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/otto09 0.214 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/otto10 0.229 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/otto11 0.206 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/otto12 0.244 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/otto13 0.244 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann01 0.203 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann02 0.401 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann03 0.204 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann04 0.718 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann05 0.637 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann06 0.245 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann07 0.303 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann08 0.227 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann09 0.257 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann10 0.2 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann11 0.707 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann12 0.215 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann13 0.28 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann14 0.258 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann15 0.213 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann16 0.238 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann17 0.247 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann18 0.395 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
AProVE_07/thiemann19 0.19 60.0 29.766 60.0 55.572 60.0 29.776 60.0 57.22
AProVE_07/thiemann20 0.212 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann21 0.358 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann22 0.202 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann23 0.18 60.0 33.829 60.0 26.032 60.0 35.63 60.0 26.108
AProVE_07/thiemann24 0.212 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann25 0.207 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann26 0.228 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann27 0.191 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann28 0.199 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann29 0.226 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann30 0.428 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann31 0.211 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann32 0.251 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann33 0.208 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann34 0.245 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann35 0.326 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann36 0.226 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann37 0.249 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann38 0.208 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann39 0.297 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann40 0.164 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/thiemann41 0.227 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/wiehe01 0.247 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/wiehe02 0.379 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
AProVE_07/wiehe03 0.514 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/wiehe05 0.369 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/wiehe06 0.295 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/wiehe07 0.311 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/wiehe08 0.283 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/wiehe09 0.299 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/wiehe11 0.47 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/wiehe12 0.495 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_08/id_inc 0.204 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_08/log 0.244 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_08/parting01_reverse 0.25 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_08/parting02_doublelist 0.248 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_08/parting03_minsort 0.29 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_08/parting04_maxsort_h 0.314 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_08/parting05_maxsort 0.289 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_08/round 0.173 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_08/round_nonterm 0.174 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_08/thiemann40_modified 0.175 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_09_Inductive/div 0.252 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_09_Inductive/divhard 0.248 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_09_Inductive/gcd 0.243 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_09_Inductive/gcd2 0.258 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_09_Inductive/gcdhard 0.244 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_09_Inductive/log 0.23 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_09_Inductive/maxsort 0.301 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
AProVE_09_Inductive/maxsortcondition 0.364 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_09_Inductive/minsort 0.295 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_09_Inductive/mod 0.233 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_09_Inductive/qsort 0.298 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_09_Inductive/qsortlast 0.34 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_09_Inductive/qsortmiddle 0.421 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_09_Inductive/zerolist 0.196 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AotoYamada_05/001 0.166 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AotoYamada_05/002 0.165 0.169 0.175 0.17 0.176 0.166 0.185 0.172 0.171
AotoYamada_05/003 0.178 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AotoYamada_05/004 0.207 60.0 60.0 0.196 0.202 60.0 60.0 0.225 0.198
AotoYamada_05/005 0.198 0.187 0.198 0.191 0.208 0.2 0.204 0.202 0.196
AotoYamada_05/006 0.163 0.157 0.166 0.166 0.173 0.165 0.159 0.167 0.172
AotoYamada_05/007 0.198 60.0 60.0 0.208 0.201 60.0 60.0 0.206 0.221
AotoYamada_05/009 0.192 0.206 0.196 0.195 0.202 0.198 0.207 0.197 0.206
AotoYamada_05/010 0.308 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AotoYamada_05/011 0.225 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AotoYamada_05/012 0.203 0.2 0.189 0.19 0.191 0.182 0.198 0.208 0.191
AotoYamada_05/013 0.2 60.0 60.0 0.219 0.216 60.0 60.0 0.213 0.223
AotoYamada_05/014 0.277 60.0 60.0 0.284 0.285 60.0 60.0 0.272 0.274
AotoYamada_05/015 0.168 0.181 0.17 0.194 0.177 0.17 0.17 0.185 0.173
AotoYamada_05/016 0.241 60.0 29.783 60.0 58.936 60.0 28.669 60.0 60.0
AotoYamada_05/017 0.166 0.166 0.154 0.149 0.151 0.158 0.151 0.153 0.151
AotoYamada_05/019 0.159 0.146 0.153 0.154 0.154 0.144 0.151 0.167 0.155
AotoYamada_05/020 0.227 60.0 60.0 0.232 0.247 60.0 60.0 0.247 0.265
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
AotoYamada_05/021 0.34 60.0 60.0 0.344 0.343 60.0 60.0 0.345 0.347
AotoYamada_05/022 0.163 0.176 0.164 0.164 0.176 0.165 0.166 0.171 0.173
AotoYamada_05/023 0.176 0.155 0.157 0.173 0.159 0.162 0.165 0.165 0.159
AotoYamada_05/024 0.155 0.177 0.161 0.155 0.156 0.169 0.162 0.185 0.151
AotoYamada_05/025 0.15 0.146 0.137 0.142 0.14 0.146 0.137 0.145 0.155
AotoYamada_05/026 0.178 0.165 0.17 0.167 0.169 0.17 0.167 0.166 0.174
AotoYamada_05/027 0.215 60.0 60.0 0.245 0.243 60.0 60.0 0.25 0.254
AotoYamada_05/028 0.183 0.168 0.167 0.178 0.179 0.184 0.176 0.171 0.17
AotoYamada_05/Ex1SimplyTyped 0.185 60.0 60.0 0.211 0.228 60.0 60.0 0.211 0.208
AotoYamada_05/Ex5TermProof 0.256 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_05/BTreeMember 0.193 0.192 0.196 0.219 0.185 0.186 0.199 0.202 0.209
Applicative_05/Ex10Functional 0.261 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_05/Ex2PrimRec 0.175 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_05/Ex2_6_1Composition 0.138 0.139 0.147 0.149 0.142 0.144 0.147 0.141 0.139
Applicative_05/Ex2_8_1ConstSubstFix 0.175 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_05/Ex3Lists 0.311 60.0 60.0 60.0 7.036 60.0 60.0 0.292 0.356
Applicative_05/Ex4MapList 0.165 60.0 60.0 0.187 0.513 60.0 60.0 0.183 0.196
Applicative_05/Ex5Folding 0.257 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_05/Ex5Sorting 0.257 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_05/Ex6Folding 0.192 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_05/Ex6Recursor 0.158 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_05/Ex6_11 0.15 0.152 0.151 0.145 0.159 0.168 0.146 0.173 0.147
Applicative_05/Ex7OrdinalRec 0.205 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_05/Ex7Sorting 0.261 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_05/Ex7_9 0.296 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Applicative_05/Ex8Polymorphic 0.179 0.169 0.17 0.188 0.178 0.182 0.19 0.186 0.177
Applicative_05/Ex9Maps 0.22 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_05/Hamming 0.566 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_05/ReverseLastInit 0.212 0.199 0.204 0.201 0.201 0.207 0.192 0.225 0.205
Applicative_05/TakeDropWhile 0.192 0.185 0.187 0.19 0.189 0.18 0.177 0.179 0.19
Applicative_05/TreeFlatten 0.221 60.0 60.0 0.223 0.238 60.0 60.0 0.217 0.214
Applicative_05/TreeHeight 0.209 0.216 0.213 0.2 0.209 0.201 0.212 0.223 0.209
Applicative_05/TreeLevels 0.269 60.0 60.0 0.273 0.271 60.0 60.0 0.269 0.28
Applicative_05/TreeMap 0.171 0.162 0.17 0.164 0.163 0.175 0.168 0.168 0.184
Applicative_05/TreeSize 0.204 60.0 60.0 0.224 0.214 60.0 60.0 0.216 0.214
Applicative_05/TypeEx1 0.161 60.0 0.623 60.0 0.581 60.0 0.616 60.0 0.592
Applicative_05/TypeEx3 0.194 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_05/TypeEx5 0.146 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_05/mapDivMinus 0.636 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_05/mapDivMinusHard 0.258 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_05/nonTermF 0.179 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_05/termMonTypes 0.172 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_first_order_05/#3.10 0.769 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_first_order_05/#3.13 0.572 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_first_order_05/#3.16 0.314 60.0 60.0 0.33 0.512 60.0 60.0 0.352 0.373
Applicative_first_order_05/#3.18 0.326 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_first_order_05/#3.2 0.303 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_first_order_05/#3.22 0.337 60.0 60.0 60.0 6.524 60.0 60.0 0.427 0.416
Applicative_first_order_05/#3.25 0.268 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_first_order_05/#3.27 0.261 60.0 9.709 0.294 0.465 60.0 10.142 0.279 0.332
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Applicative_first_order_05/#3.32 0.216 60.0 27.196 0.253 0.406 60.0 27.023 0.234 0.26
Applicative_first_order_05/#3.36 0.321 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_first_order_05/#3.38 0.32 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_first_order_05/#3.40 0.436 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_first_order_05/#3.45 0.294 60.0 31.216 0.334 0.497 60.0 29.411 0.322 0.332
Applicative_first_order_05/#3.48 0.287 60.0 60.0 0.329 0.464 60.0 60.0 0.294 0.357
Applicative_first_order_05/#3.52 0.278 60.0 34.743 0.355 0.539 60.0 35.154 0.312 0.415
Applicative_first_order_05/#3.55 0.812 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_first_order_05/#3.57 0.684 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_first_order_05/#3.6 0.363 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_first_order_05/#3.8 0.373 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_first_order_05/01 0.249 60.0 60.0 0.278 0.434 60.0 60.0 0.268 0.303
Applicative_first_order_05/02 0.247 60.0 60.0 0.276 0.412 60.0 60.0 0.254 0.292
Applicative_first_order_05/06 0.243 60.0 9.776 0.281 0.436 60.0 10.074 0.244 0.278
Applicative_first_order_05/08 0.284 60.0 60.0 0.302 0.466 60.0 60.0 0.268 0.339
Applicative_first_order_05/11 0.356 60.0 60.0 0.406 0.598 60.0 60.0 0.392 0.481
Applicative_first_order_05/12 0.316 60.0 60.0 0.372 0.808 60.0 60.0 0.342 0.523
Applicative_first_order_05/13 0.353 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_first_order_05/17 0.298 60.0 60.0 60.0 60.0 60.0 60.0 0.414 0.55
Applicative_first_order_05/18 0.243 60.0 13.577 0.268 0.417 60.0 13.334 0.252 0.287
Applicative_first_order_05/21 0.746 60.0 60.0 0.806 1.043 60.0 60.0 0.78 0.851
Applicative_first_order_05/29 0.695 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_first_order_05/30 0.283 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_first_order_05/31 0.317 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_first_order_05/33 0.338 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Applicative_first_order_05/hydra 0.311 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_first_order_05/minsort 0.404 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_first_order_05/motivation 0.259 60.0 14.663 0.325 0.45 60.0 14.863 0.275 0.325
Applicative_first_order_05/perfect 0.39 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_first_order_05/perfect2 0.448 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Beerendonk_07/1 0.567 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Beerendonk_07/10 0.627 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Beerendonk_07/11 0.222 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Beerendonk_07/12 0.176 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Beerendonk_07/13 0.186 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Beerendonk_07/14 0.19 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Beerendonk_07/15 0.229 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Beerendonk_07/16 0.215 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Beerendonk_07/17 0.221 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Beerendonk_07/18 0.219 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Beerendonk_07/19 0.23 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Beerendonk_07/2 0.183 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Beerendonk_07/20 0.225 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Beerendonk_07/21 0.238 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Beerendonk_07/22 0.196 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Beerendonk_07/23 0.187 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Beerendonk_07/24 0.224 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Beerendonk_07/3 0.181 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Beerendonk_07/4 0.157 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Beerendonk_07/5 0.183 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Beerendonk_07/6 0.167 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Beerendonk_07/7 0.201 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Beerendonk_07/8 0.203 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Beerendonk_07/9 0.194 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Bouchare_06/01 0.16 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Bouchare_06/02 0.155 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Bouchare_06/03 0.166 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Bouchare_06/04 0.164 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Bouchare_06/05 0.156 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Bouchare_06/06 0.191 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Bouchare_06/07 0.247 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Bouchare_06/08 0.19 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Bouchare_06/09 0.171 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Bouchare_06/10 0.186 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Bouchare_06/11 0.172 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Bouchare_06/12 0.17 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Bouchare_06/13 0.167 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Bouchare_06/14 0.162 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Bouchare_06/15 0.177 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Bouchare_06/16 0.152 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Bouchare_06/17 0.154 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Bouchare_06/18 0.167 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
CiME_04/ack_prolog 0.171 0.183 0.165 0.185 0.164 0.169 0.16 0.168 0.159
CiME_04/append-hard 0.165 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
CiME_04/append-wrong 0.172 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
CiME_04/append 0.188 0.193 0.171 0.164 0.168 0.16 0.175 0.159 0.178
CiME_04/big 0.715 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
CiME_04/boolean_rings 0.17 0.167 0.171 0.165 0.162 0.16 0.17 0.162 0.162
CiME_04/dpqs 0.153 0.16 0.143 0.142 0.143 0.15 0.149 0.15 0.141
CiME_04/fact-hard 0.219 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
CiME_04/filliatre 0.361 0.34 0.365 0.37 0.353 0.346 0.343 0.344 0.373
CiME_04/filliatre2 0.404 0.426 0.409 0.412 0.401 0.399 0.424 0.427 0.392
CiME_04/filliatre3 0.448 0.463 0.435 0.428 0.458 0.457 0.452 0.467 0.462
CiME_04/intersect 0.278 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
CiME_04/list-sum-prod-assoc-append 0.228 0.216 0.206 0.231 0.215 0.215 0.2 0.205 0.228
CiME_04/list-sum-prod-assoc 0.19 0.222 0.192 0.211 0.198 0.192 0.185 0.189 0.204
CiME_04/list-sum-prod-bin-assoc-distr-app 0.28 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
CiME_04/list-sum-prod-bin-assoc 0.225 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
CiME_04/list-sum-prod-bin 0.229 60.0 60.0 60.0 2.73 60.0 60.0 60.0 0.533
CiME_04/list-sum-prod 0.187 0.184 0.183 0.189 0.21 0.197 0.194 0.193 0.195
CiME_04/log2 0.418 0.446 0.41 0.419 0.404 0.409 0.437 0.436 0.424
CiME_04/lse 0.273 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
CiME_04/maude2 0.298 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
CiME_04/mucrl1 1.0 1.079 1.05 1.034 1.019 1.012 1.015 1.046 1.029
CiME_04/ternary-hard 0.296 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
CiME_04/ternary 0.285 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
CiME_04/tree 0.661 0.65 0.671 0.651 0.655 0.668 0.647 0.613 0.635
Der95/01 0.144 0.157 0.153 0.149 0.154 0.165 0.15 0.151 0.176
Der95/02 0.137 0.138 0.149 0.146 0.147 0.152 0.138 0.144 0.151
Der95/03 0.131 0.136 0.13 0.13 0.144 0.14 0.134 0.129 0.148
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Der95/04 0.188 0.18 0.186 0.179 0.18 0.181 0.184 0.184 0.187
Der95/06 0.182 0.149 0.137 0.147 0.146 0.145 0.157 0.149 0.139
Der95/07 0.157 0.161 0.175 0.15 0.149 0.151 0.145 0.167 0.162
Der95/08 0.166 0.147 0.158 0.151 0.148 0.156 0.172 0.166 0.156
Der95/09 0.147 0.169 0.137 0.146 0.142 0.141 0.142 0.144 0.137
Der95/11 0.197 0.184 0.186 0.179 0.185 0.178 0.181 0.177 0.171
Der95/12 0.185 60.0 60.0 0.184 0.331 60.0 60.0 0.192 0.256
Der95/13 0.181 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Der95/17 0.166 0.534 0.171 0.174 0.17 0.177 0.175 0.496 0.163
Der95/18 0.148 0.147 0.156 0.153 0.157 0.14 0.145 0.139 0.139
Der95/20 0.182 0.162 0.173 0.186 0.187 0.177 0.173 0.162 0.162
Der95/21 0.182 60.0 60.0 0.211 0.212 60.0 60.0 0.195 0.187
Der95/27 0.149 0.157 0.162 0.168 0.163 0.164 0.157 0.19 0.152
Der95/28 0.145 0.145 0.142 0.149 0.146 0.148 0.139 0.144 0.154
Der95/30 0.157 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Der95/31 0.161 0.171 0.174 0.159 0.152 0.162 0.155 0.16 0.154
Der95/32 0.192 0.195 0.189 0.18 0.214 0.191 0.185 0.187 0.199
Der95/33 0.194 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Endrullis_06/direct 0.156 0.232 13.813 0.217 49.768 60.0 0.253 60.0 0.244
Endrullis_06/labeling 0.151 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Endrullis_06/linear1 0.191 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Endrullis_06/linear2 0.264 60.0 0.434 60.0 0.433 60.0 60.0 60.0 60.0
Endrullis_06/pair2hard 0.219 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Endrullis_06/pair2simple1 0.177 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Endrullis_06/pair2simple2 0.196 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Endrullis_06/pair3hard 0.178 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Endrullis_06/pair3rotate 0.197 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Endrullis_06/pair3swap 0.197 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Endrullis_06/quadruple1 0.161 0.192 0.226 0.193 0.231 0.201 0.191 0.2 0.181
Endrullis_06/quadruple2 0.177 0.218 1.673 0.24 1.687 1.939 2.151 1.947 2.114
GTSSK07/cade01 0.165 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
GTSSK07/cade03 0.175 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
GTSSK07/cade04t 0.163 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
GTSSK07/cade05t 0.185 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
GTSSK07/cade06 0.201 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
GTSSK07/cade07 0.195 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
GTSSK07/cade08 0.192 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
GTSSK07/cade09 0.185 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
GTSSK07/cade10 0.195 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
GTSSK07/cade11 0.168 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
GTSSK07/cade12t 0.216 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
GTSSK07/cade13t 0.207 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
GTSSK07/cade14 0.217 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
GTSSK07/cade15 0.253 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
GTSSK07/cade16 0.19 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
GTSSK07/cade17 0.222 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
HirokawaMiddeldorp_04/n002 0.143 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
HirokawaMiddeldorp_04/n003 0.163 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
HirokawaMiddeldorp_04/n004 0.164 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
HirokawaMiddeldorp_04/n005 0.139 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
HirokawaMiddeldorp_04/n006 0.136 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
HirokawaMiddeldorp_04/n007 0.149 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
HirokawaMiddeldorp_04/n008 0.138 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
HirokawaMiddeldorp_04/t000 0.436 0.409 0.423 0.414 0.414 0.448 0.432 0.439 0.448
HirokawaMiddeldorp_04/t001 0.27 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
HirokawaMiddeldorp_04/t002 0.208 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
HirokawaMiddeldorp_04/t003 0.23 0.237 0.222 0.228 0.243 0.229 0.235 0.221 0.234
HirokawaMiddeldorp_04/t004 0.151 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
HirokawaMiddeldorp_04/t005 0.762 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
HirokawaMiddeldorp_04/t006 0.134 0.137 0.152 0.152 0.138 0.14 0.147 0.151 0.143
HirokawaMiddeldorp_04/t007 0.132 0.133 0.14 0.15 0.141 0.13 0.159 0.136 0.136
HirokawaMiddeldorp_04/t008 0.178 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
HirokawaMiddeldorp_04/t009 1.393 60.0 60.0 60.0 60.0 60.0 40.946 15.258 12.776
HirokawaMiddeldorp_04/t010 0.137 0.141 0.132 0.129 0.135 0.152 0.139 0.137 0.134
HirokawaMiddeldorp_04/t011 0.171 0.15 0.171 0.177 0.165 0.152 0.154 0.164 0.171
HirokawaMiddeldorp_04/t012 0.198 0.181 0.183 0.197 0.194 0.191 0.182 0.188 0.2
HirokawaMiddeldorp_04/t013 0.213 0.227 0.221 0.235 0.228 0.232 0.219 0.211 0.216
HirokawaMiddeldorp_04/t014 0.204 0.193 0.2 0.217 0.206 0.221 0.206 0.189 0.211
Mixed_CTRS/quick 0.317 0.327 0.319 0.329 0.343 0.316 0.315 0.306 0.317
Mixed_TRS/1 0.151 0.168 0.178 0.164 0.167 0.192 0.175 0.176 0.181
Mixed_TRS/2 0.151 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Mixed_TRS/3 0.166 0.202 0.197 0.183 0.243 0.205 0.201 0.188 0.228
Mixed_TRS/4 0.166 0.167 0.168 0.172 0.172 0.181 0.179 0.188 0.171
Mixed_TRS/5 0.166 0.166 0.178 0.164 0.185 0.172 0.182 0.166 0.207
Mixed_TRS/6 0.156 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Mixed_TRS/7 0.169 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Mixed_TRS/Ex1_Luc04b_GM 0.258 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Mixed_TRS/beans 0.232 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Mixed_TRS/gcd 0.214 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Mixed_TRS/gcdMinMax 0.202 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Mixed_TRS/gcd_triple 0.249 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Mixed_TRS/hydra-Zantema06 0.203 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Mixed_TRS/hydra 0.148 0.146 0.149 0.152 0.149 0.149 0.16 0.17 0.144
Mixed_TRS/jones1 0.138 0.149 0.146 0.146 0.149 0.14 0.15 0.141 0.154
Mixed_TRS/jones2 0.179 0.164 0.16 0.164 0.163 0.165 0.157 0.156 0.157
Mixed_TRS/jones4 0.161 0.149 0.154 0.166 0.157 0.166 0.149 0.146 0.165
Mixed_TRS/jones5 0.146 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Mixed_TRS/jones6 0.151 0.171 0.167 0.154 0.161 0.162 0.16 0.155 0.152
Mixed_TRS/minsort 0.223 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Mixed_TRS/motivation 0.155 0.15 0.171 0.161 0.163 0.158 0.152 0.156 0.168
Mixed_TRS/perfect 0.166 0.167 0.162 0.159 0.17 0.186 0.164 0.158 0.167
Mixed_TRS/perfect2 0.25 0.213 0.228 0.239 0.214 0.228 0.219 0.237 0.254
Mixed_TRS/test1 0.146 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Mixed_TRS/while 0.162 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Mixed_TRS/while2 0.173 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Rubio_04/aoto 0.152 0.415 0.162 0.189 0.157 0.191 0.155 0.154 0.168
Rubio_04/bintrees 0.169 0.184 0.184 0.181 0.165 0.177 0.171 0.185 0.166
Rubio_04/bn122 0.16 0.163 0.162 0.173 0.173 0.162 0.157 0.161 0.158
Rubio_04/bn129 0.17 0.172 0.169 0.172 0.183 0.166 0.175 0.176 0.168
Rubio_04/division 0.243 0.242 0.224 0.227 0.231 0.22 0.251 0.237 0.232
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Rubio_04/elimdupl 0.222 0.231 0.209 0.219 0.215 0.24 0.254 0.248 0.232
Rubio_04/enno 0.245 0.219 0.232 0.237 0.23 0.232 0.243 0.251 0.236
Rubio_04/gcd 0.268 0.278 0.274 0.274 0.275 0.264 0.249 0.265 0.256
Rubio_04/gm 0.173 0.183 0.174 0.196 0.165 0.169 0.197 0.17 0.163
Rubio_04/gmnp 0.156 0.158 0.159 0.154 0.149 0.152 0.156 0.162 0.17
Rubio_04/koen 0.166 0.145 0.149 0.162 0.157 0.144 0.158 0.16 0.156
Rubio_04/lescanne 0.179 0.199 0.181 0.175 0.174 0.189 0.18 0.205 0.18
Rubio_04/lindau 0.157 0.158 0.164 0.149 0.149 0.15 0.144 0.154 0.145
Rubio_04/logarquot 0.219 0.22 0.225 0.198 0.207 0.213 0.219 0.215 0.195
Rubio_04/ma96 0.335 0.351 0.334 0.359 0.352 0.333 0.328 0.315 0.333
Rubio_04/mfp90b 0.159 0.16 0.151 0.16 0.151 0.169 0.169 0.159 0.158
Rubio_04/mfp95 0.13 0.14 0.132 0.138 0.136 0.148 0.145 0.129 0.13
Rubio_04/nestrec 0.151 0.146 0.157 0.162 0.148 0.143 0.156 0.166 0.16
Rubio_04/p266 0.139 0.142 0.133 0.131 0.147 0.132 0.146 0.139 0.135
Rubio_04/polo2 0.17 0.206 0.178 0.176 0.177 0.17 0.189 0.191 0.171
Rubio_04/prov 0.146 0.153 0.154 0.157 0.163 0.147 0.141 0.154 0.141
Rubio_04/quick 0.309 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Rubio_04/quotminus 0.204 0.216 0.182 0.19 0.196 0.189 0.19 0.183 0.192
Rubio_04/revlist 0.222 0.213 0.22 0.2 0.222 0.205 0.208 0.2 0.195
Rubio_04/selsort 0.534 0.54 0.527 0.491 0.52 0.509 0.499 0.548 0.56
Rubio_04/test4 0.232 0.223 0.234 0.224 0.229 0.231 0.236 0.238 0.232
Rubio_04/test829 0.18 0.157 0.162 0.153 0.172 0.162 0.17 0.152 0.177
Rubio_04/wst99 0.397 0.425 0.405 0.411 0.408 0.425 0.41 0.414 0.401
SK90/2.01 0.16 0.181 0.17 0.164 0.161 0.18 0.18 0.176 0.178
SK90/2.02 0.182 0.185 0.19 0.186 0.189 0.18 0.194 0.193 0.179
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
SK90/2.03 0.144 0.141 0.153 0.158 0.145 0.158 0.143 0.153 0.144
SK90/2.04 0.153 0.16 0.161 0.158 0.159 0.156 0.156 0.157 0.147
SK90/2.05 0.231 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
SK90/2.06 0.156 0.148 0.154 0.16 0.143 0.149 0.151 0.147 0.146
SK90/2.07 0.149 0.171 0.166 0.169 0.165 0.153 0.148 0.155 0.159
SK90/2.08 0.184 0.181 0.175 0.184 0.181 0.172 0.193 0.179 0.176
SK90/2.09 0.146 0.151 0.149 0.147 0.147 0.152 0.165 0.147 0.143
SK90/2.10 0.167 0.164 0.167 0.176 0.154 0.175 0.158 0.179 0.153
SK90/2.11 0.154 0.174 0.157 0.162 0.151 0.169 0.157 0.164 0.165
SK90/2.12 0.196 0.181 0.17 0.191 0.17 0.171 0.173 0.183 0.183
SK90/2.13 0.179 0.172 0.157 0.175 0.18 0.167 0.167 0.159 0.17
SK90/2.14 0.188 0.197 0.178 0.163 0.173 0.177 0.169 0.169 0.175
SK90/2.15 0.139 0.169 0.148 0.162 0.141 0.15 0.155 0.155 0.144
SK90/2.16 0.156 0.18 0.165 0.182 0.161 0.198 0.159 0.166 0.169
SK90/2.17 0.152 0.162 0.157 0.167 0.149 0.154 0.15 0.149 0.153
SK90/2.18 0.159 0.154 0.153 0.155 0.155 0.155 0.165 0.17 0.157
SK90/2.19 0.201 0.163 0.173 0.18 0.183 0.167 0.186 0.201 0.178
SK90/2.20 0.15 0.15 0.154 0.159 0.147 0.145 0.147 0.16 0.161
SK90/2.21 0.167 0.154 0.159 0.178 0.159 0.145 0.16 0.152 0.15
SK90/2.22 0.174 0.179 0.174 0.173 0.162 0.173 0.165 0.166 0.175
SK90/2.23 0.178 0.202 0.197 0.217 0.193 0.193 0.191 0.21 0.213
SK90/2.24 0.155 0.144 0.141 0.144 0.142 0.142 0.153 0.138 0.141
SK90/2.25 0.171 0.156 0.162 0.16 0.15 0.152 0.158 0.155 0.168
SK90/2.26 0.182 0.193 0.182 0.195 0.199 0.188 0.179 0.191 0.2
SK90/2.27 0.171 0.172 0.182 0.188 0.189 0.191 0.179 0.167 0.167
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
SK90/2.28 0.139 0.143 0.136 0.153 0.153 0.141 0.14 0.141 0.135
SK90/2.29 0.158 0.166 0.155 0.17 0.175 0.168 0.175 0.163 0.16
SK90/2.30 0.143 0.137 0.15 0.158 0.152 0.141 0.149 0.138 0.138
SK90/2.31 0.171 0.161 0.163 0.163 0.168 0.169 0.18 0.184 0.166
SK90/2.32 0.156 0.152 0.154 0.155 0.175 0.157 0.165 0.147 0.15
SK90/2.33 0.144 0.151 0.162 0.148 0.16 0.152 0.156 0.161 0.158
SK90/2.34 0.145 0.163 0.151 0.157 0.164 0.14 0.143 0.144 0.142
SK90/2.35 0.174 0.171 0.16 0.168 0.167 0.159 0.159 0.156 0.164
SK90/2.36 0.183 0.173 0.166 0.178 0.179 0.169 0.17 0.166 0.191
SK90/2.37 0.174 0.155 0.15 0.157 0.148 0.161 0.156 0.146 0.145
SK90/2.38 0.142 0.152 0.16 0.147 0.148 0.138 0.14 0.152 0.154
SK90/2.39 0.162 0.173 0.154 0.171 0.17 0.176 0.157 0.176 0.171
SK90/2.40 0.148 0.157 0.147 0.146 0.165 0.163 0.164 0.167 0.153
SK90/2.41 0.169 0.162 0.162 0.183 0.167 0.166 0.177 0.167 0.178
SK90/2.42 0.186 0.186 0.18 0.176 0.183 0.19 0.187 0.174 0.197
SK90/2.43 0.179 0.166 0.166 0.178 0.178 0.166 0.168 0.19 0.187
SK90/2.44 0.257 0.232 0.253 0.251 0.242 0.255 0.258 0.264 0.26
SK90/2.45 0.168 0.174 0.153 0.149 0.149 0.151 0.157 0.164 0.194
SK90/2.46 0.158 0.173 0.158 0.149 0.169 0.162 0.149 0.151 0.158
SK90/2.47 0.144 0.138 0.144 0.144 0.143 0.148 0.148 0.133 0.133
SK90/2.48 0.133 0.144 0.137 0.148 0.153 0.147 0.153 0.142 0.143
SK90/2.49 0.16 0.168 0.159 0.159 0.187 0.179 0.172 0.161 0.17
SK90/2.50 0.143 0.134 0.136 0.146 0.136 0.15 0.149 0.134 0.136
SK90/2.51 0.154 0.15 0.162 0.154 0.156 0.154 0.151 0.167 0.171
SK90/2.52 0.235 0.224 0.234 0.228 0.245 0.232 0.223 0.239 0.231
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
SK90/2.53 0.171 0.163 0.151 0.151 0.165 0.154 0.179 0.16 0.195
SK90/2.54 0.148 0.145 0.134 0.138 0.134 0.143 0.134 0.155 0.145
SK90/2.55 0.139 0.137 0.15 0.139 0.158 0.144 0.14 0.134 0.139
SK90/2.56 0.137 0.145 0.141 0.148 0.151 0.139 0.139 0.135 0.134
SK90/2.57 0.14 0.142 0.134 0.156 0.146 0.132 0.136 0.137 0.14
SK90/2.58 0.133 0.143 0.151 0.152 0.146 0.153 0.136 0.139 0.138
SK90/2.59 0.141 0.133 0.134 0.146 0.143 0.15 0.154 0.144 0.135
SK90/2.60 0.138 0.136 0.141 0.136 0.151 0.154 0.142 0.143 0.145
SK90/2.61 0.182 0.181 0.179 0.174 0.195 0.196 0.177 0.186 0.193
SK90/4.01 0.137 0.134 0.137 0.141 0.141 0.144 0.134 0.134 0.142
SK90/4.02 0.229 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
SK90/4.03 0.161 0.175 0.174 0.171 0.167 0.168 0.178 0.178 0.176
SK90/4.04 0.144 0.143 0.163 0.162 0.15 0.147 0.147 0.148 0.145
SK90/4.05 0.166 0.152 0.15 0.158 0.166 0.148 0.152 0.172 0.154
SK90/4.06 0.173 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
SK90/4.07 0.163 0.149 0.15 0.147 0.154 0.142 0.142 0.138 0.145
SK90/4.08 0.137 0.142 0.136 0.135 0.149 0.136 0.143 0.145 0.149
SK90/4.09 0.173 0.176 0.173 0.167 0.172 0.182 0.18 0.177 0.189
SK90/4.10 0.175 0.171 0.175 0.162 0.156 0.164 0.161 0.175 0.16
SK90/4.11 0.149 0.148 0.177 0.154 0.161 0.152 0.166 0.144 0.154
SK90/4.12 0.16 0.164 0.163 0.157 0.164 0.169 0.155 0.156 0.158
SK90/4.13 0.17 60.0 60.0 0.165 0.214 60.0 60.0 0.188 0.165
SK90/4.14 0.193 0.183 0.188 0.183 0.174 0.186 0.193 0.177 0.192
SK90/4.15 0.143 0.15 0.138 0.139 0.16 0.152 0.158 0.15 0.142
SK90/4.16 0.155 0.17 0.151 0.151 0.156 0.17 0.154 0.175 0.161
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
SK90/4.17 0.173 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
SK90/4.18 0.145 0.144 0.137 0.139 0.149 0.139 0.15 0.142 0.145
SK90/4.19 0.155 0.153 0.152 0.15 0.16 0.156 0.154 0.166 0.156
SK90/4.20 0.158 0.158 0.162 0.161 0.161 0.173 0.172 0.17 0.171
SK90/4.21 0.196 0.19 0.18 0.195 0.165 0.166 0.173 0.162 0.208
SK90/4.22 0.17 0.171 0.167 0.168 0.162 0.169 0.155 0.154 0.16
SK90/4.23 0.153 0.173 0.148 0.154 0.172 0.158 0.148 0.152 0.163
SK90/4.24 0.175 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
SK90/4.25 0.149 0.162 0.163 0.144 0.15 0.138 0.139 0.152 0.156
SK90/4.26 0.2 0.201 0.182 0.174 0.177 0.171 0.18 0.189 0.181
SK90/4.27 0.179 0.197 0.201 0.198 0.178 0.208 0.189 0.201 0.183
SK90/4.28 0.202 0.211 0.193 0.196 0.207 0.204 0.213 0.212 0.201
SK90/4.29 0.156 0.156 0.157 0.168 0.146 0.148 0.145 0.146 0.156
SK90/4.30 0.246 60.0 0.692 0.275 0.272 0.491 0.267 0.265 0.256
SK90/4.31 0.181 0.163 0.182 0.182 0.168 0.181 0.169 0.181 0.178
SK90/4.32 0.176 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
SK90/4.33 0.157 0.159 0.143 0.154 0.155 0.147 0.16 0.168 0.159
SK90/4.34 0.141 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
SK90/4.35 0.13 0.138 0.13 0.136 0.136 0.147 0.136 0.139 0.135
SK90/4.36 0.147 0.141 0.128 0.14 0.135 0.144 0.147 0.133 0.158
SK90/4.37 0.14 0.134 0.13 0.142 0.133 0.137 0.142 0.14 0.147
SK90/4.38 0.175 0.159 0.173 0.149 0.149 0.151 0.173 0.17 0.157
SK90/4.39 0.167 0.182 0.166 0.174 0.162 0.163 0.162 0.165 0.183
SK90/4.40 0.147 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
SK90/4.41 0.148 0.156 0.149 0.158 0.156 0.146 0.159 0.15 0.169
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
SK90/4.42 0.172 0.187 0.205 0.204 0.202 0.19 0.176 0.19 0.183
SK90/4.43 0.195 0.201 0.202 0.211 0.194 0.211 0.211 0.218 0.215
SK90/4.44 0.153 0.139 0.159 0.142 0.134 0.134 0.143 0.138 0.135
SK90/4.45 0.149 0.136 0.153 0.134 0.135 0.142 0.144 0.143 0.142
SK90/4.46 0.138 0.143 0.134 0.134 0.141 0.157 0.129 0.139 0.13
SK90/4.47 0.149 0.149 0.15 0.154 0.162 0.156 0.158 0.166 0.161
SK90/4.48 0.156 0.154 0.159 0.149 0.15 0.145 0.152 0.158 0.141
SK90/4.49 0.169 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
SK90/4.50 0.14 0.132 0.131 0.135 0.139 0.129 0.13 0.142 0.141
SK90/4.51 0.161 9.905 60.0 0.184 0.209 0.243 0.218 0.179 0.186
SK90/4.52 0.183 0.168 0.177 0.175 0.178 0.172 0.189 0.17 0.197
SK90/4.53 0.148 0.149 0.148 0.158 0.151 0.159 0.158 0.149 0.153
SK90/4.54 0.164 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
SK90/4.55 0.149 0.197 0.167 0.179 0.17 0.173 0.166 0.186 0.163
SK90/4.56 0.133 0.149 0.15 0.134 0.15 0.14 0.134 0.135 0.139
SK90/4.57 0.142 0.164 0.155 0.151 0.149 0.149 0.154 0.153 0.152
SK90/4.59 0.177 0.163 0.172 0.171 0.181 0.183 0.166 0.17 0.169
SK90/4.60 0.198 0.199 0.203 0.187 0.198 0.187 0.19 0.207 0.198
SK90/4.61 0.256 60.0 60.0 60.0 19.786 60.0 60.0 60.0 20.603
Secret_05_TRS/aprove1 0.248 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_05_TRS/aprove2 0.198 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_05_TRS/aprove3 0.204 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_05_TRS/aprove4 0.207 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_05_TRS/aprove5 0.333 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_05_TRS/cime1 0.306 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Secret_05_TRS/cime2 0.189 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_05_TRS/cime3 0.228 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_05_TRS/cime4 0.154 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_05_TRS/cime5 0.472 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_05_TRS/matchbox1 0.149 60.0 0.221 60.0 0.234 60.0 0.223 60.0 0.217
Secret_05_TRS/matchbox2 0.164 0.183 0.164 0.169 0.169 0.182 0.173 0.168 0.156
Secret_05_TRS/teparla1 0.154 60.0 36.715 60.0 1.226 0.197 0.188 0.206 0.187
Secret_05_TRS/teparla2 0.171 60.0 5.38 60.0 5.399 60.0 5.539 60.0 5.553
Secret_05_TRS/teparla3 0.178 60.0 60.0 60.0 60.0 60.0 0.552 60.0 0.557
Secret_05_TRS/tpa1 0.204 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_05_TRS/tpa2 0.183 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_05_TRS/tpa3 0.22 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_05_TRS/tpa4 0.192 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_05_TRS/tpa5 0.223 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_05_TRS/ttt1 0.181 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_05_TRS/ttt2 0.158 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/10 0.179 1.672 0.299 1.693 0.313 3.439 0.3 3.489 0.287
Secret_06_TRS/2 0.174 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/3 0.2 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/4 0.175 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/5 0.195 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/6 0.177 0.507 60.0 0.498 60.0 0.321 60.0 0.31 60.0
Secret_06_TRS/7 0.187 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/8 0.203 0.224 0.26 0.206 0.266 0.233 0.204 0.233 0.226
Secret_06_TRS/9 0.216 0.248 0.828 0.258 0.825 0.266 0.279 0.271 0.286
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Secret_06_TRS/addList 0.283 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/cime1 0.268 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/divExp 0.204 60.0 60.0 60.0 60.0 60.0 60.0 0.272 0.275
Secret_06_TRS/division 0.204 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/double 0.256 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/gen-1 0.16 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/gen-10 0.219 0.29 0.502 0.268 0.488 0.286 0.512 0.277 0.494
Secret_06_TRS/gen-14 0.186 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/gen-15 0.18 60.0 11.759 60.0 11.443 60.0 11.518 60.0 11.639
Secret_06_TRS/gen-17 0.199 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/gen-18 0.18 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/gen-22 0.232 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/gen-25 0.185 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/gen-28 0.175 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/gen-9 0.207 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/logarithm 0.207 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/nrOfNodes 0.215 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/reverse 0.216 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/sumList 0.207 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/times 0.262 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/toList 0.227 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/tpa01 0.158 0.354 60.0 0.352 60.0 0.323 60.0 0.341 60.0
Secret_06_TRS/tpa02 0.146 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/tpa03 0.162 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/tpa04 0.218 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Secret_06_TRS/tpa05 0.21 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/tpa06 0.25 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/tpa07 0.198 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/tpa08 0.215 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/tpa09 0.262 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/tpa10 0.244 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_07_TRS/1 0.243 60.0 60.0 60.0 60.0 0.665 0.635 0.539 0.672
Secret_07_TRS/2 0.26 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_07_TRS/3 0.325 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_07_TRS/4 0.279 60.0 60.0 60.0 60.0 12.692 1.493 17.354 60.0
Secret_07_TRS/5 0.372 60.0 60.0 60.0 60.0 60.0 1.003 60.0 0.884
Secret_07_TRS/7 0.179 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_07_TRS/aprove01 0.289 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_07_TRS/aprove02 0.321 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_07_TRS/aprove03 0.464 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_07_TRS/aprove04 0.337 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_07_TRS/aprove05 0.257 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_07_TRS/aprove06 0.278 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_07_TRS/aprove07 0.262 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_07_TRS/aprove08 0.249 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_07_TRS/aprove09 0.26 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_07_TRS/aprove10 0.23 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_07_TRS/secret1 0.205 0.197 0.207 0.21 0.216 0.196 0.211 0.218 0.197
Secret_07_TRS/secret2 0.237 0.221 0.22 0.225 0.242 0.237 0.219 0.213 0.228
Secret_07_TRS/secret3 0.223 0.226 0.208 0.218 0.231 0.23 0.207 0.21 0.221
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Secret_07_TRS/secret4 0.295 0.283 0.29 0.271 0.281 0.258 0.257 0.255 0.262
Secret_07_TRS/secret5 0.281 0.286 0.271 0.283 0.267 0.282 0.272 0.278 0.272
Strategy_removed_AG01/#4.12a 0.154 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_AG01/#4.13 0.148 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_AG01/#4.14 0.167 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_AG01/#4.15 0.174 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_AG01/#4.16 0.148 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_AG01/#4.17 0.176 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_AG01/#4.18 0.162 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_AG01/#4.19 0.182 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_AG01/#4.2 0.155 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_AG01/#4.20 0.139 0.145 0.146 0.138 0.139 0.139 0.14 0.13 0.145
Strategy_removed_AG01/#4.20a 0.142 0.148 0.147 0.143 0.148 0.155 0.142 0.168 0.146
Strategy_removed_AG01/#4.21 0.132 0.149 0.135 0.141 0.141 0.142 0.142 0.142 0.135
Strategy_removed_AG01/#4.22 0.186 0.172 0.171 0.195 0.161 0.18 0.16 0.164 0.178
Strategy_removed_AG01/#4.23 0.174 0.19 0.212 0.198 0.178 0.181 0.185 0.192 0.191
Strategy_removed_AG01/#4.25 0.152 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_AG01/#4.26 0.177 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_AG01/#4.27 0.182 60.0 60.0 0.191 0.216 60.0 60.0 0.201 0.201
Strategy_removed_AG01/#4.28 0.179 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_AG01/#4.29 0.204 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_AG01/#4.3 0.159 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_AG01/#4.30 0.192 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_AG01/#4.30a 0.183 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_AG01/#4.30b 0.191 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Strategy_removed_AG01/#4.30c 0.207 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_AG01/#4.32 0.154 0.166 0.169 0.148 0.162 0.16 0.153 0.159 0.157
Strategy_removed_AG01/#4.33 0.218 60.0 60.0 0.233 0.23 60.0 60.0 0.257 0.246
Strategy_removed_AG01/#4.34 0.193 0.21 0.207 0.194 0.192 0.195 0.203 0.193 0.212
Strategy_removed_AG01/#4.35 0.345 0.334 0.359 0.344 0.317 0.318 0.317 0.325 0.327
Strategy_removed_AG01/#4.36 0.387 0.376 0.395 0.387 0.404 0.388 0.391 0.374 0.374
Strategy_removed_AG01/#4.37 0.175 0.17 0.18 0.186 0.166 0.186 0.183 0.172 0.177
Strategy_removed_AG01/#4.37a 0.177 0.197 0.18 0.182 0.179 0.183 0.175 0.179 0.176
Strategy_removed_AG01/#4.4 0.158 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_AG01/#4.7 0.149 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex14_AEGL02 0.167 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex15_Luc98 0.181 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex1_2_AEL03 0.21 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex1_2_Luc02c 0.149 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex1_GL02a 0.187 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex1_GM03 0.166 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex1_GM99 0.167 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex1_Luc02b 0.173 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex1_Zan97 0.144 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex24_GM04 0.155 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex26_Luc03b 0.218 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex2_Luc03b 0.187 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex3_12_Luc96a 0.168 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex3_2_Luc97 0.193 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex3_3_25_Bor03 0.188 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Strategy_removed_CSR_05/Ex49_GM04 0.215 0.211 0.201 0.201 0.203 0.195 0.205 0.222 0.192
Strategy_removed_CSR_05/Ex4_4_Luc96b 0.147 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex4_7_15_Bor03 0.154 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex4_7_37_Bor03 0.24 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex4_7_56_Bor03 0.169 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex4_7_77_Bor03 0.146 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex4_Zan97 0.187 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex5_7_Luc97 0.243 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex5_Zan97 0.144 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex6_15_AEL02 0.254 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex6_9_Luc02c 0.146 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex6_GM04 0.145 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex6_Luc98 0.16 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex7_BLR02 0.177 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex8_BLR02 0.192 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex9_BLR02 0.209 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/ExAppendixB_AEL03 0.272 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/ExConc_Zan97 0.141 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/ExIntrod_GM01 0.183 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/ExIntrod_GM04 0.176 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/ExIntrod_GM99 0.22 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/ExIntrod_Zan97 0.183 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_mixed_05/ExSec11_1_Luc02a 0.228 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_mixed_05/bn111 0.155 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_mixed_05/ex1 0.145 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Strategy_removed_mixed_05/ex2 0.152 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_mixed_05/ex3 0.19 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_mixed_05/ex4 0.158 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_mixed_05/ex5 0.148 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_mixed_05/ex6 0.181 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_mixed_05/gkg 0.153 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_mixed_05/muladd 0.155 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_mixed_05/n001 0.149 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_mixed_05/test10 0.178 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_mixed_05/test75 0.16 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_mixed_05/test76 0.164 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_mixed_05/test77 0.163 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_mixed_05/test830 0.151 0.16 0.154 0.152 0.162 0.154 0.167 0.169 0.156
Strategy_removed_mixed_05/test9 0.154 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_mixed_05/toyama 0.15 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_mixed_05/tricky1 0.156 0.149 0.149 0.161 0.165 0.144 0.145 0.148 0.139
TCT_09/ackantiinn 0.23 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TCT_09/ackantiinn2 0.164 0.16 0.161 0.157 0.158 0.164 0.165 0.179 0.182
TCT_09/ackhofbauer 0.176 0.184 0.207 0.183 0.18 0.198 0.202 0.182 0.173
TCT_09/ackhofbauernonsimp 0.203 0.219 0.217 0.209 0.202 0.207 0.194 0.216 0.214
TCT_09/add 0.14 0.163 0.15 0.136 0.14 0.144 0.135 0.136 0.14
TCT_09/addmult 0.156 0.166 0.16 0.163 0.151 0.173 0.153 0.157 0.147
TCT_09/append 0.139 0.143 0.142 0.161 0.164 0.135 0.138 0.148 0.138
TCT_09/bits 0.169 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TCT_09/dexpdp 0.147 0.157 0.147 0.147 0.137 0.14 0.193 0.146 0.156
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TCT_09/dexpdp2 0.169 0.149 0.158 0.153 0.16 0.143 0.157 0.151 0.149
TCT_09/expantiinn 0.163 0.157 0.16 0.153 0.149 0.156 0.149 0.149 0.161
TCT_09/insertsort 0.195 0.18 0.186 0.184 0.175 0.196 0.185 0.18 0.169
TCT_09/lcs 0.179 0.187 0.193 0.203 0.193 0.175 0.177 0.19 0.205
TCT_09/ma1 0.142 0.158 0.156 0.162 0.157 0.16 0.141 0.148 0.146
TCT_09/ma2 0.15 0.152 0.138 0.155 0.152 0.14 0.152 0.138 0.142
TCT_09/ma3 0.148 0.15 0.142 0.161 0.153 0.148 0.164 0.14 0.143
TCT_09/ma4 0.163 0.173 0.201 0.189 0.162 0.164 0.164 0.173 0.164
TCT_09/ma5 0.152 0.154 0.161 0.147 0.15 0.149 0.165 0.155 0.157
TCT_09/ma6 0.191 0.185 0.206 0.184 0.19 0.175 0.179 0.192 0.187
TCT_09/ma7 0.196 0.212 0.205 0.206 0.196 0.208 0.211 0.221 0.2
TCT_09/ma8 0.158 0.171 0.173 0.17 0.164 0.161 0.159 0.153 0.159
TCT_09/ma9 0.2 0.193 0.17 0.166 0.191 0.194 0.185 0.165 0.174
TCT_09/mergesort 0.276 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TCT_09/nonmultrec 0.199 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TCT_09/qbf 0.186 0.197 0.198 0.184 0.199 0.19 0.201 0.19 0.196
TCT_09/revappend 0.174 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TCT_09/shuffle 0.198 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TCT_09/supexpdg 0.178 0.17 0.168 0.159 0.191 0.182 0.183 0.166 0.184
TCT_09/supexpur 0.145 0.146 0.149 0.155 0.15 0.146 0.162 0.148 0.17
TCT_09/z86 0.218 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex14_AEGL02_C 0.294 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex14_AEGL02_FR 0.188 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex14_AEGL02_GM 0.252 0.263 0.257 0.236 0.242 0.257 0.243 0.237 0.233
Transformed_CSR_04/Ex14_AEGL02_L 0.16 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Transformed_CSR_04/Ex14_AEGL02_Z 0.162 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex14_AEGL02_iGM 0.483 60.0 60.0 0.596 3.647 60.0 60.0 0.599 0.686
Transformed_CSR_04/Ex14_Luc06_C 0.305 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex14_Luc06_FR 0.161 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex14_Luc06_GM 0.224 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex14_Luc06_L 0.166 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex14_Luc06_iGM 0.351 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex15_Luc06_C 0.206 60.0 1.386 60.0 1.185 1.666 0.419 1.547 0.452
Transformed_CSR_04/Ex15_Luc06_FR 0.158 0.149 0.163 0.15 0.147 0.156 0.149 0.156 0.157
Transformed_CSR_04/Ex15_Luc06_GM 0.144 0.15 0.167 0.163 0.149 0.142 0.152 0.146 0.141
Transformed_CSR_04/Ex15_Luc06_L 0.153 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex15_Luc06_Z 0.151 0.139 0.146 0.142 0.15 0.159 0.14 0.156 0.156
Transformed_CSR_04/Ex15_Luc06_iGM 0.233 0.251 0.221 0.216 0.217 0.213 0.219 0.234 0.238
Transformed_CSR_04/Ex15_Luc98_C 0.483 0.509 0.508 0.474 0.509 0.508 0.477 0.511 0.519
Transformed_CSR_04/Ex15_Luc98_FR 0.207 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex15_Luc98_GM 0.271 0.267 0.254 0.255 0.263 0.25 0.263 0.267 0.26
Transformed_CSR_04/Ex15_Luc98_Z 0.214 60.0 60.0 0.707 60.0 60.0 60.0 0.254 0.47
Transformed_CSR_04/Ex15_Luc98_iGM 1.472 1.541 1.525 1.525 1.417 1.523 1.486 1.464 1.45
Transformed_CSR_04/Ex16_Luc06_C 0.228 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex16_Luc06_FR 0.149 0.135 0.143 0.145 0.15 0.132 0.133 0.135 0.141
Transformed_CSR_04/Ex16_Luc06_GM 0.162 0.157 0.154 0.162 0.144 0.161 0.144 0.152 0.146
Transformed_CSR_04/Ex16_Luc06_L 0.147 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex16_Luc06_iGM 0.211 60.0 0.361 60.0 0.371 0.484 0.269 0.505 0.275
Transformed_CSR_04/Ex18_Luc06_C 0.244 0.23 0.234 0.245 0.26 0.242 0.251 0.252 0.254
Transformed_CSR_04/Ex18_Luc06_FR 0.142 0.157 0.16 0.151 0.151 0.144 0.152 0.162 0.159
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Transformed_CSR_04/Ex18_Luc06_GM 0.147 0.149 0.148 0.148 0.157 0.152 0.145 0.156 0.152
Transformed_CSR_04/Ex18_Luc06_L 0.148 0.15 0.132 0.129 0.15 0.136 0.139 0.14 0.145
Transformed_CSR_04/Ex18_Luc06_Z 0.155 0.135 0.138 0.139 0.135 0.136 0.143 0.144 0.137
Transformed_CSR_04/Ex18_Luc06_iGM 0.26 0.279 0.267 0.264 0.279 0.269 0.281 0.26 0.26
Transformed_CSR_04/Ex1_2_AEL03_C 0.632 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_2_AEL03_FR 0.198 0.203 0.205 0.208 0.223 0.229 0.208 0.204 0.2
Transformed_CSR_04/Ex1_2_AEL03_GM 0.31 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_2_AEL03_Z 0.194 0.202 0.198 0.202 0.206 0.202 0.19 0.206 0.196
Transformed_CSR_04/Ex1_2_AEL03_iGM 0.749 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_2_Luc02c_C 0.309 0.306 0.282 0.278 0.304 0.319 0.324 0.3 0.31
Transformed_CSR_04/Ex1_2_Luc02c_FR 0.153 0.158 0.165 0.16 0.164 0.167 0.162 0.155 0.154
Transformed_CSR_04/Ex1_2_Luc02c_GM 0.19 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_2_Luc02c_Z 0.142 0.14 0.157 0.162 0.155 0.148 0.152 0.146 0.144
Transformed_CSR_04/Ex1_2_Luc02c_iGM 0.293 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_GL02a_C 0.339 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_GL02a_FR 0.233 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_GL02a_GM 0.181 0.195 0.189 0.189 0.178 0.183 0.197 0.182 0.18
Transformed_CSR_04/Ex1_GL02a_L 0.165 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_GL02a_Z 0.234 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_GL02a_iGM 0.878 60.0 60.0 0.927 1.283 60.0 60.0 0.878 0.96
Transformed_CSR_04/Ex1_GM03_C 0.378 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_GM03_FR 0.255 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_GM03_GM 0.234 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_GM03_Z 0.175 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_GM03_iGM 0.431 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Transformed_CSR_04/Ex1_GM99_C 0.213 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_GM99_FR 0.165 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_GM99_GM 0.211 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_GM99_L 0.159 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_GM99_iGM 0.236 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_Luc02b_C 0.352 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_Luc02b_FR 0.182 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_Luc02b_GM 0.216 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_Luc02b_Z 0.177 0.178 0.175 0.169 0.176 0.173 0.174 0.183 0.169
Transformed_CSR_04/Ex1_Luc02b_iGM 0.399 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_Luc04b_C 0.326 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_Luc04b_FR 0.185 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_Luc04b_GM 0.317 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_Luc04b_Z 0.181 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_Luc04b_iGM 0.652 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_Zan97_C 0.22 60.0 60.0 60.0 60.0 5.194 60.0 3.222 14.019
Transformed_CSR_04/Ex1_Zan97_FR 0.16 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_Zan97_GM 0.173 0.18 0.195 0.182 0.182 0.196 0.183 0.189 0.18
Transformed_CSR_04/Ex1_Zan97_L 0.149 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex1_Zan97_iGM 0.199 23.241 0.264 0.433 0.276 0.412 0.297 0.285 0.285
Transformed_CSR_04/Ex23_Luc06_C 0.257 0.277 0.273 0.267 0.286 0.28 0.275 0.272 0.267
Transformed_CSR_04/Ex23_Luc06_FR 0.159 0.162 0.158 0.153 0.16 0.15 0.161 0.163 0.173
Transformed_CSR_04/Ex23_Luc06_GM 0.148 0.162 0.157 0.149 0.153 0.162 0.175 0.154 0.156
Transformed_CSR_04/Ex23_Luc06_L 0.136 0.13 0.134 0.128 0.128 0.136 0.129 0.132 0.132
Transformed_CSR_04/Ex23_Luc06_Z 0.141 0.139 0.151 0.143 0.14 0.152 0.148 0.138 0.137
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Transformed_CSR_04/Ex23_Luc06_iGM 0.265 0.26 0.244 0.246 0.243 0.243 0.239 0.245 0.259
Transformed_CSR_04/Ex24_GM04_C 0.225 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex24_GM04_FR 0.162 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex24_GM04_GM 0.18 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex24_GM04_L 0.139 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex24_GM04_Z 0.16 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex24_GM04_iGM 0.276 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex24_Luc06_C 0.219 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex24_Luc06_FR 0.159 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex24_Luc06_GM 0.175 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex24_Luc06_L 0.151 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex24_Luc06_iGM 0.24 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex25_Luc06_C 0.317 0.31 0.321 0.304 0.31 0.318 0.322 0.299 0.322
Transformed_CSR_04/Ex25_Luc06_FR 0.228 0.206 0.223 0.222 0.215 0.226 0.224 0.223 0.211
Transformed_CSR_04/Ex25_Luc06_GM 0.17 0.165 0.155 0.166 0.159 0.17 0.164 0.157 0.165
Transformed_CSR_04/Ex25_Luc06_L 0.137 0.13 0.136 0.141 0.13 0.141 0.143 0.149 0.133
Transformed_CSR_04/Ex25_Luc06_Z 0.206 0.206 0.222 0.21 0.192 0.193 0.213 0.191 0.213
Transformed_CSR_04/Ex25_Luc06_iGM 0.498 0.491 0.488 0.492 0.483 0.457 0.514 0.514 0.5
Transformed_CSR_04/Ex26_Luc03b_C 0.462 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex26_Luc03b_FR 0.24 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex26_Luc03b_GM 0.521 0.535 0.496 0.525 0.537 0.493 0.499 0.524 0.5
Transformed_CSR_04/Ex26_Luc03b_L 0.151 0.147 0.145 0.157 0.157 0.149 0.137 0.138 0.157
Transformed_CSR_04/Ex26_Luc03b_Z 0.235 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex26_Luc03b_iGM 1.382 1.383 1.37 1.42 1.487 1.441 1.416 1.436 1.372
Transformed_CSR_04/Ex2_Luc02a_C 0.472 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Transformed_CSR_04/Ex2_Luc02a_FR 0.219 0.237 0.216 0.241 0.239 0.225 0.254 0.242 0.217
Transformed_CSR_04/Ex2_Luc02a_GM 0.248 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex2_Luc02a_L 0.171 0.175 0.167 0.176 0.176 0.173 0.171 0.177 0.181
Transformed_CSR_04/Ex2_Luc02a_Z 0.209 0.218 0.197 0.184 0.194 0.206 0.199 0.201 0.208
Transformed_CSR_04/Ex2_Luc02a_iGM 0.623 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex2_Luc03b_C 0.465 0.47 0.484 0.476 0.468 0.439 0.433 0.44 0.475
Transformed_CSR_04/Ex2_Luc03b_FR 0.404 0.406 0.404 0.394 0.403 0.388 0.383 0.392 0.371
Transformed_CSR_04/Ex2_Luc03b_GM 0.312 0.306 0.318 0.3 0.308 0.297 0.297 0.302 0.291
Transformed_CSR_04/Ex2_Luc03b_L 0.137 0.143 0.149 0.147 0.141 0.141 0.151 0.156 0.138
Transformed_CSR_04/Ex2_Luc03b_Z 0.216 0.218 0.197 0.211 0.21 0.243 0.226 0.197 0.196
Transformed_CSR_04/Ex2_Luc03b_iGM 1.045 1.054 0.992 1.033 1.043 0.972 1.054 0.982 1.028
Transformed_CSR_04/Ex3_12_Luc96a_C 0.303 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex3_12_Luc96a_FR 0.164 0.166 0.189 0.171 0.166 0.182 0.157 0.158 0.158
Transformed_CSR_04/Ex3_12_Luc96a_GM 0.184 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex3_12_Luc96a_Z 0.145 0.146 0.15 0.156 0.152 0.16 0.152 0.152 0.165
Transformed_CSR_04/Ex3_12_Luc96a_iGM 0.343 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex3_2_Luc97_C 0.408 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex3_2_Luc97_FR 0.241 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex3_2_Luc97_GM 0.219 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex3_2_Luc97_Z 0.231 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex3_2_Luc97_iGM 0.54 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex3_3_25_Bor03_C 0.388 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex3_3_25_Bor03_FR 0.218 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex3_3_25_Bor03_GM 0.417 0.456 0.413 0.433 0.44 0.452 0.453 0.464 0.485
Transformed_CSR_04/Ex3_3_25_Bor03_L 0.138 0.142 0.149 0.147 0.137 0.139 0.152 0.141 0.151
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Transformed_CSR_04/Ex3_3_25_Bor03_Z 0.208 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex3_3_25_Bor03_iGM 1.11 1.064 0.972 0.981 1.085 1.031 1.02 1.06 1.055
Transformed_CSR_04/Ex49_GM04_C 0.346 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex49_GM04_FR 0.214 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex49_GM04_GM 0.446 0.42 0.445 0.464 0.474 0.448 0.442 0.463 0.441
Transformed_CSR_04/Ex49_GM04_Z 0.275 0.273 0.272 0.256 0.269 0.274 0.257 0.259 0.259
Transformed_CSR_04/Ex49_GM04_iGM 0.96 0.954 0.994 0.983 0.983 0.989 0.984 0.983 0.986
Transformed_CSR_04/Ex4_4_Luc96b_C 0.237 0.264 0.246 0.249 0.245 0.262 0.265 0.243 0.249
Transformed_CSR_04/Ex4_4_Luc96b_FR 0.167 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex4_4_Luc96b_GM 0.216 0.219 0.221 0.221 0.226 0.225 0.227 0.227 0.242
Transformed_CSR_04/Ex4_4_Luc96b_L 0.132 0.133 0.141 0.154 0.15 0.137 0.14 0.145 0.135
Transformed_CSR_04/Ex4_4_Luc96b_Z 0.161 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex4_4_Luc96b_iGM 0.249 0.257 0.251 0.273 0.265 0.266 0.264 0.24 0.267
Transformed_CSR_04/Ex4_7_15_Bor03_C 0.284 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex4_7_15_Bor03_FR 0.187 0.205 0.203 0.18 0.179 0.202 0.177 0.181 0.183
Transformed_CSR_04/Ex4_7_15_Bor03_GM 0.194 0.179 0.185 0.189 0.176 0.185 0.196 0.2 0.194
Transformed_CSR_04/Ex4_7_15_Bor03_L 0.15 0.135 0.141 0.136 0.153 0.151 0.15 0.146 0.147
Transformed_CSR_04/Ex4_7_15_Bor03_Z 0.161 0.178 0.171 0.17 0.175 0.178 0.167 0.164 0.166
Transformed_CSR_04/Ex4_7_15_Bor03_iGM 0.567 0.564 0.564 0.577 0.566 0.57 0.595 0.57 0.608
Transformed_CSR_04/Ex4_7_37_Bor03_C 0.507 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex4_7_37_Bor03_FR 0.244 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex4_7_37_Bor03_GM 0.318 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex4_7_37_Bor03_Z 0.261 60.0 0.343 60.0 0.308 60.0 0.351 60.0 0.293
Transformed_CSR_04/Ex4_7_37_Bor03_iGM 0.574 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex4_7_56_Bor03_C 0.288 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Transformed_CSR_04/Ex4_7_56_Bor03_FR 0.167 0.159 0.173 0.173 0.172 0.164 0.167 0.166 0.178
Transformed_CSR_04/Ex4_7_56_Bor03_GM 0.187 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex4_7_56_Bor03_Z 0.158 0.157 0.154 0.157 0.154 0.162 0.157 0.159 0.162
Transformed_CSR_04/Ex4_7_56_Bor03_iGM 0.379 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex4_7_77_Bor03_C 0.235 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex4_7_77_Bor03_FR 0.156 0.152 0.134 0.135 0.145 0.136 0.133 0.142 0.135
Transformed_CSR_04/Ex4_7_77_Bor03_GM 0.207 0.208 0.222 0.207 0.205 0.208 0.31 0.314 0.328
Transformed_CSR_04/Ex4_7_77_Bor03_iGM 0.406 60.0 0.477 0.442 0.469 0.858 0.481 0.316 0.31
Transformed_CSR_04/Ex4_DLMMU04_C 0.648 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex4_DLMMU04_FR 0.89 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex4_DLMMU04_GM 1.213 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex4_DLMMU04_Z 0.576 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex4_DLMMU04_iGM 2.29 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex4_Zan97_C 0.324 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex4_Zan97_FR 0.184 0.199 0.187 0.206 0.166 0.168 0.177 0.185 0.187
Transformed_CSR_04/Ex4_Zan97_GM 0.214 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex4_Zan97_Z 0.178 0.171 0.164 0.162 0.166 0.16 0.184 0.184 0.191
Transformed_CSR_04/Ex4_Zan97_iGM 0.406 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex5_7_Luc97_C 0.589 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex5_7_Luc97_FR 0.39 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex5_7_Luc97_GM 0.279 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex5_7_Luc97_Z 0.378 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex5_7_Luc97_iGM 0.84 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex5_DLMMU04_C 0.518 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex5_DLMMU04_FR 0.228 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Transformed_CSR_04/Ex5_DLMMU04_GM 0.246 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex5_DLMMU04_Z 0.418 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex5_DLMMU04_iGM 0.569 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex5_Zan97_C 0.25 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex5_Zan97_FR 0.228 0.23 0.236 0.226 0.215 0.227 0.233 0.221 0.227
Transformed_CSR_04/Ex5_Zan97_GM 0.294 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex5_Zan97_Z 0.199 0.197 0.204 0.19 0.203 0.192 0.201 0.184 0.188
Transformed_CSR_04/Ex5_Zan97_iGM 0.297 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex6_15_AEL02_C 0.931 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex6_15_AEL02_FR 0.365 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex6_15_AEL02_GM 0.369 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex6_15_AEL02_Z 0.536 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex6_15_AEL02_iGM 1.502 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex6_9_Luc02c_C 0.374 0.365 0.388 0.381 0.39 0.385 0.383 0.391 0.353
Transformed_CSR_04/Ex6_9_Luc02c_FR 0.167 0.179 0.153 0.175 0.159 0.166 0.161 0.164 0.163
Transformed_CSR_04/Ex6_9_Luc02c_GM 0.193 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex6_9_Luc02c_Z 0.138 0.143 0.145 0.145 0.145 0.156 0.138 0.139 0.145
Transformed_CSR_04/Ex6_9_Luc02c_iGM 0.445 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex6_GM04_C 0.185 60.0 3.784 60.0 60.0 2.02 1.065 6.971 0.891
Transformed_CSR_04/Ex6_GM04_FR 0.16 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex6_GM04_GM 0.15 0.157 0.139 0.141 0.146 0.144 0.138 0.142 0.136
Transformed_CSR_04/Ex6_GM04_L 0.148 0.139 0.144 0.137 0.139 0.135 0.137 0.128 0.131
Transformed_CSR_04/Ex6_GM04_iGM 0.211 0.228 0.238 0.213 0.234 0.211 0.229 0.195 0.209
Transformed_CSR_04/Ex6_Luc98_C 0.362 0.348 0.351 0.363 0.346 0.351 0.358 0.344 0.347
Transformed_CSR_04/Ex6_Luc98_FR 0.215 0.215 0.232 0.225 0.228 0.22 0.221 0.215 0.229
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Transformed_CSR_04/Ex6_Luc98_GM 0.259 0.246 0.247 0.255 0.247 0.238 0.262 0.246 0.256
Transformed_CSR_04/Ex6_Luc98_L 0.133 0.14 0.133 0.144 0.136 0.144 0.139 0.144 0.143
Transformed_CSR_04/Ex6_Luc98_Z 0.162 0.165 0.156 0.153 0.161 0.157 0.15 0.165 0.154
Transformed_CSR_04/Ex6_Luc98_iGM 0.572 0.564 0.558 0.54 0.584 0.566 0.557 0.568 0.552
Transformed_CSR_04/Ex7_BLR02_C 0.421 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex7_BLR02_FR 0.208 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex7_BLR02_GM 0.245 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex7_BLR02_Z 0.175 0.187 0.187 0.178 0.185 0.191 0.18 0.169 0.181
Transformed_CSR_04/Ex7_BLR02_iGM 0.447 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex8_BLR02_C 0.407 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex8_BLR02_FR 0.179 0.175 0.189 0.206 0.191 0.172 0.171 0.172 0.184
Transformed_CSR_04/Ex8_BLR02_GM 0.246 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex8_BLR02_Z 0.174 0.182 0.168 0.163 0.167 0.17 0.185 0.173 0.163
Transformed_CSR_04/Ex8_BLR02_iGM 0.537 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex9_BLR02_C 0.394 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex9_BLR02_FR 0.234 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex9_BLR02_GM 0.532 0.545 0.523 0.51 0.536 0.563 0.541 0.541 0.539
Transformed_CSR_04/Ex9_BLR02_L 0.144 0.16 0.154 0.149 0.15 0.151 0.152 0.151 0.149
Transformed_CSR_04/Ex9_BLR02_Z 0.232 0.208 0.246 0.212 0.223 0.209 0.208 0.221 0.203
Transformed_CSR_04/Ex9_BLR02_iGM 1.053 1.114 1.149 1.156 1.13 1.116 1.116 1.15 1.127
Transformed_CSR_04/Ex9_Luc04_C 0.231 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex9_Luc04_FR 0.163 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex9_Luc04_GM 0.179 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex9_Luc04_L 0.183 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex9_Luc04_iGM 0.288 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Transformed_CSR_04/Ex9_Luc06_C 0.216 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex9_Luc06_FR 0.18 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex9_Luc06_GM 0.176 0.175 0.19 0.205 0.164 0.167 0.179 0.185 0.17
Transformed_CSR_04/Ex9_Luc06_iGM 0.232 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExAppendixB_AEL03_C 0.777 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExAppendixB_AEL03_FR 0.286 0.279 0.266 0.271 0.289 0.266 0.294 0.278 0.281
Transformed_CSR_04/ExAppendixB_AEL03_GM 0.343 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExAppendixB_AEL03_Z 0.28 0.286 0.266 0.28 0.251 0.282 0.276 0.275 0.266
Transformed_CSR_04/ExAppendixB_AEL03_iGM 1.666 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExConc_Zan97_C 0.267 0.261 0.261 0.266 0.269 0.276 0.272 0.274 0.273
Transformed_CSR_04/ExConc_Zan97_FR 0.159 0.159 0.159 0.163 0.164 0.153 0.171 0.154 0.157
Transformed_CSR_04/ExConc_Zan97_GM 0.163 0.145 0.157 0.158 0.152 0.15 0.145 0.156 0.148
Transformed_CSR_04/ExConc_Zan97_L 0.142 0.136 0.138 0.145 0.134 0.135 0.137 0.136 0.131
Transformed_CSR_04/ExConc_Zan97_Z 0.142 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExConc_Zan97_iGM 0.321 0.35 0.341 0.331 0.323 0.326 0.34 0.332 0.342
Transformed_CSR_04/ExIntrod_GM01_C 0.357 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExIntrod_GM01_FR 0.243 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExIntrod_GM01_GM 0.483 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExIntrod_GM01_Z 0.237 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExIntrod_GM01_iGM 0.787 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExIntrod_GM04_C 0.32 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExIntrod_GM04_FR 0.217 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExIntrod_GM04_GM 0.277 0.286 0.283 0.272 0.278 0.275 0.262 0.28 0.279
Transformed_CSR_04/ExIntrod_GM04_Z 0.216 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExIntrod_GM04_iGM 0.723 60.0 15.341 60.0 15.437 60.0 1.13 60.0 1.092
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Transformed_CSR_04/ExIntrod_GM99_C 0.53 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExIntrod_GM99_FR 0.236 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExIntrod_GM99_GM 0.28 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExIntrod_GM99_Z 0.2 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExIntrod_GM99_iGM 0.824 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExIntrod_Zan97_C 0.448 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExIntrod_Zan97_FR 0.217 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExIntrod_Zan97_GM 0.243 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExIntrod_Zan97_Z 0.208 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExIntrod_Zan97_iGM 0.578 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExProp7_Luc06_C 0.281 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExProp7_Luc06_FR 0.196 60.0 0.192 0.21 0.194 0.342 0.204 0.216 0.223
Transformed_CSR_04/ExProp7_Luc06_GM 0.351 60.0 0.367 60.0 0.384 60.0 0.4 60.0 0.378
Transformed_CSR_04/ExProp7_Luc06_L 0.179 0.202 0.191 0.165 0.194 0.193 0.175 0.169 0.189
Transformed_CSR_04/ExProp7_Luc06_Z 0.166 0.223 0.18 0.191 0.163 0.214 0.173 0.175 0.184
Transformed_CSR_04/ExProp7_Luc06_iGM 0.503 60.0 0.665 60.0 0.694 60.0 0.624 60.0 0.591
Transformed_CSR_04/ExSec11_1_Luc02a_C 0.535 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExSec11_1_Luc02a_FR 0.317 0.32 0.308 0.307 0.316 0.331 0.312 0.297 0.306
Transformed_CSR_04/ExSec11_1_Luc02a_GM 0.279 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExSec11_1_Luc02a_L 0.191 0.183 0.192 0.192 0.203 0.199 0.19 0.192 0.193
Transformed_CSR_04/ExSec11_1_Luc02a_Z 0.204 0.227 0.206 0.215 0.22 0.229 0.221 0.218 0.23
Transformed_CSR_04/ExSec11_1_Luc02a_iGM 0.625 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExSec4_2_DLMMU04_C 0.74 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ExSec4_2_DLMMU04_FR 0.199 0.199 0.202 0.197 0.209 0.2 0.202 0.203 0.207
Transformed_CSR_04/ExSec4_2_DLMMU04_GM 0.339 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Transformed_CSR_04/ExSec4_2_DLMMU04_Z 0.337 0.351 0.343 0.34 0.358 0.18 0.183 0.179 0.18
Transformed_CSR_04/ExSec4_2_DLMMU04_iGM 0.894 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR 2.665 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z 2.46 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_complete_C 9.951 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LISTUTILITIES_complete_FR 1.12 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LISTUTILITIES_complete_GM 1.646 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_complete_Z 1.083 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LISTUTILITIES_complete_iGM 13.399 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LISTUTILITIES_complete_noand_C 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LISTUTILITIES_complete_noand_GM 8.679 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LISTUTILITIES_complete_noand_iGM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR 0.779 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z 0.708 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_nokinds_C 2.189 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_nokinds_FR 0.562 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_nokinds_GM 0.663 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_nokinds_Z 0.491 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_nokinds_iGM 3.388 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LISTUTILITIES_nokinds_noand_C 7.218 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LISTUTILITIES_nokinds_noand_GM 1.321 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LISTUTILITIES_nokinds_noand_iGM 11.754 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR 0.297 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z 0.279 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_nosorts_C 0.924 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Transformed_CSR_04/LISTUTILITIES_nosorts_FR 0.227 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_nosorts_GM 0.364 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_nosorts_Z 0.209 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LISTUTILITIES_nosorts_iGM 1.312 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LISTUTILITIES_nosorts_noand_C 2.646 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LISTUTILITIES_nosorts_noand_GM 0.592 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LISTUTILITIES_nosorts_noand_iGM 3.529 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_complete-noand_FR 1.917 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_complete-noand_Z 1.782 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_complete_C 1.329 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_complete_FR 0.439 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_complete_GM 4.371 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_complete_Z 1.391 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_complete_iGM 6.782 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_complete_noand_C 3.083 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_complete_noand_GM 5.572 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_complete_noand_iGM 18.766 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_nokinds-noand_FR 0.608 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_nokinds-noand_Z 0.49 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_nokinds_C 0.434 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_nokinds_FR 0.533 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_nokinds_GM 0.838 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_nokinds_Z 0.631 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_nokinds_iGM 1.136 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_nokinds_noand_C 0.757 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Transformed_CSR_04/ LengthOfFiniteLists_nokinds_noand_GM 0.969 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_nokinds_noand_iGM 2.765 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR 0.163 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_nosorts_C 0.293 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_nosorts_FR 0.16 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_nosorts_GM 0.323 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_nosorts_iGM 0.583 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_nosorts_noand_C 0.342 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_nosorts_noand_GM 0.301 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ LengthOfFiniteLists_nosorts_noand_iGM 0.652 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/MYNAT_complete-noand_FR 0.554 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/MYNAT_complete-noand_Z 0.559 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/MYNAT_complete_C 1.212 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/MYNAT_complete_FR 0.404 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/MYNAT_complete_GM 0.446 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/MYNAT_complete_Z 0.388 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/MYNAT_complete_iGM 2.705 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/MYNAT_complete_noand_C 3.834 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ MYNAT_complete_noand_GM 0.963 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ MYNAT_complete_noand_iGM 8.158 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/MYNAT_nokinds-noand_FR 0.276 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/MYNAT_nokinds-noand_Z 0.293 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/MYNAT_nokinds_C 0.593 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/MYNAT_nokinds_FR 0.272 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/MYNAT_nokinds_GM 0.296 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Transformed_CSR_04/MYNAT_nokinds_Z 0.25 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/MYNAT_nokinds_iGM 0.845 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/MYNAT_nokinds_noand_C 0.879 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ MYNAT_nokinds_noand_GM 0.395 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ MYNAT_nokinds_noand_iGM 1.761 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/MYNAT_nosorts-noand_FR 0.212 60.0 60.0 0.446 13.698 60.0 60.0 0.42 0.454
Transformed_CSR_04/MYNAT_nosorts_C 0.338 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/MYNAT_nosorts_FR 0.156 0.16 0.17 0.157 0.162 0.158 0.16 0.16 0.168
Transformed_CSR_04/MYNAT_nosorts_GM 0.199 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/MYNAT_nosorts_iGM 0.361 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/MYNAT_nosorts_noand_C 0.507 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/MYNAT_nosorts_noand_GM 0.275 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ MYNAT_nosorts_noand_iGM 0.636 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/OvConsOS_complete-noand_FR 7.655 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/OvConsOS_complete-noand_Z 5.534 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/OvConsOS_complete_C 2.022 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/OvConsOS_complete_FR 0.526 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/OvConsOS_complete_GM 7.544 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/OvConsOS_complete_Z 3.168 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/OvConsOS_complete_iGM 14.631 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ OvConsOS_complete_noand_C 8.029 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ OvConsOS_complete_noand_GM 17.154 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ OvConsOS_complete_noand_iGM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/OvConsOS_nokinds-noand_FR 1.311 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/OvConsOS_nokinds-noand_Z 1.498 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Transformed_CSR_04/OvConsOS_nokinds_C 0.661 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/OvConsOS_nokinds_FR 0.895 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/OvConsOS_nokinds_GM 1.2 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/OvConsOS_nokinds_Z 1.229 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/OvConsOS_nokinds_iGM 2.507 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ OvConsOS_nokinds_noand_C 1.365 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ OvConsOS_nokinds_noand_GM 2.155 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ OvConsOS_nokinds_noand_iGM 10.097 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/OvConsOS_nosorts-noand_FR 0.385 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/OvConsOS_nosorts-noand_Z 0.329 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/OvConsOS_nosorts_C 0.352 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/OvConsOS_nosorts_FR 0.208 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/OvConsOS_nosorts_GM 0.424 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/OvConsOS_nosorts_Z 0.172 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/OvConsOS_nosorts_iGM 0.902 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ OvConsOS_nosorts_noand_C 0.571 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ OvConsOS_nosorts_noand_GM 0.712 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ OvConsOS_nosorts_noand_iGM 2.305 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/PALINDROME_complete-noand_FR 3.394 3.47 3.433 3.404 3.348 3.265 3.376 3.459 3.387
Transformed_CSR_04/PALINDROME_complete-noand_L 0.369 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/PALINDROME_complete-noand_Z 4.194 3.941 4.283 3.965 4.275 4.143 3.938 4.031 4.15
Transformed_CSR_04/PALINDROME_complete_C 1.714 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_complete_FR 1.134 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_complete_GM 3.246 3.258 3.416 3.434 3.345 3.166 3.422 3.272 3.358
Transformed_CSR_04/PALINDROME_complete_Z 1.526 1.448 1.487 1.541 1.564 1.493 1.48 1.504 1.554
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Transformed_CSR_04/ PALINDROME_complete_iGM 15.13 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_complete_noand_C 4.583 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_complete_noand_GM 5.71 5.902 6.034 6.104 6.196 6.068 6.1 6.333 5.97
Transformed_CSR_04/ PALINDROME_complete_noand_iGM 50.359 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/PALINDROME_nokinds-noand_FR 0.695 0.691 0.704 0.69 0.67 0.68 0.718 0.691 0.663
Transformed_CSR_04/PALINDROME_nokinds-noand_L 0.227 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/PALINDROME_nokinds-noand_Z 0.674 0.68 0.639 0.651 0.7 0.7 0.66 0.679 0.689
Transformed_CSR_04/PALINDROME_nokinds_C 0.407 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/PALINDROME_nokinds_FR 0.613 0.603 0.628 0.623 0.586 0.618 0.588 0.617 0.649
Transformed_CSR_04/PALINDROME_nokinds_GM 0.485 0.466 0.448 0.487 0.471 0.456 0.455 0.48 0.482
Transformed_CSR_04/PALINDROME_nokinds_Z 0.551 0.556 0.559 0.535 0.584 0.593 0.546 0.575 0.539
Transformed_CSR_04/PALINDROME_nokinds_iGM 1.697 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_nokinds_noand_C 0.92 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_nokinds_noand_GM 0.841 0.854 0.855 0.888 0.862 0.902 0.863 0.844 0.896
Transformed_CSR_04/ PALINDROME_nokinds_noand_iGM 4.516 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/PALINDROME_nosorts-noand_FR 0.158 0.152 0.155 0.16 0.165 0.157 0.169 0.148 0.16
Transformed_CSR_04/PALINDROME_nosorts-noand_L 0.164 0.146 0.149 0.153 0.157 0.156 0.157 0.164 0.146
Transformed_CSR_04/PALINDROME_nosorts_C 0.268 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/PALINDROME_nosorts_FR 0.149 0.151 0.15 0.158 0.164 0.173 0.162 0.158 0.151
Transformed_CSR_04/PALINDROME_nosorts_GM 0.383 0.388 0.367 0.401 0.38 0.351 0.366 0.379 0.362
Transformed_CSR_04/PALINDROME_nosorts_iGM 0.397 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_nosorts_noand_C 0.308 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_nosorts_noand_GM 0.312 0.319 0.321 0.32 0.302 0.317 0.317 0.335 0.304
Transformed_CSR_04/ PALINDROME_nosorts_noand_iGM 0.577 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/PEANO_complete-noand_FR 1.519 1.522 1.547 1.529 1.564 1.547 1.535 1.658 1.64
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Transformed_CSR_04/PEANO_complete-noand_Z 2.055 1.949 2.069 1.998 1.981 1.977 1.94 1.921 2.02
Transformed_CSR_04/PEANO_complete_C 0.72 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/PEANO_complete_FR 0.317 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/PEANO_complete_GM 1.871 1.913 1.831 1.881 1.889 1.863 1.894 1.877 1.898
Transformed_CSR_04/PEANO_complete_Z 1.024 1.041 1.076 1.071 1.04 1.043 1.043 1.025 1.054
Transformed_CSR_04/PEANO_complete_iGM 4.343 4.266 4.363 4.565 4.493 4.472 4.345 4.396 4.514
Transformed_CSR_04/PEANO_complete_noand_C 1.702 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PEANO_complete_noand_GM 2.001 2.0 2.058 2.093 2.096 2.118 2.037 2.078 2.097
Transformed_CSR_04/ PEANO_complete_noand_iGM 13.737 13.352 14.427 13.924 13.382 13.785 13.562 13.894 13.274
Transformed_CSR_04/PEANO_nokinds-noand_FR 0.57 0.515 0.547 0.54 0.593 0.578 0.571 0.581 0.556
Transformed_CSR_04/PEANO_nokinds-noand_Z 0.607 0.602 0.584 0.594 0.584 0.586 0.556 0.566 0.579
Transformed_CSR_04/PEANO_nokinds_C 0.395 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/PEANO_nokinds_FR 0.433 0.443 0.467 0.467 0.46 0.438 0.462 0.453 0.455
Transformed_CSR_04/PEANO_nokinds_GM 0.772 0.83 0.757 0.813 0.792 0.785 0.779 0.8 0.771
Transformed_CSR_04/PEANO_nokinds_Z 0.467 0.484 0.486 0.481 0.471 0.475 0.488 0.492 0.498
Transformed_CSR_04/PEANO_nokinds_iGM 1.463 1.469 1.461 1.515 1.487 1.501 1.514 1.481 1.481
Transformed_CSR_04/PEANO_nokinds_noand_C 0.539 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PEANO_nokinds_noand_GM 0.66 0.655 0.692 0.704 0.666 0.69 0.655 0.682 0.665
Transformed_CSR_04/ PEANO_nokinds_noand_iGM 2.127 2.153 2.284 2.255 2.253 2.171 2.13 2.213 2.138
Transformed_CSR_04/PEANO_nosorts-noand_FR 0.207 0.207 0.204 0.207 0.219 0.219 0.22 0.224 0.237
Transformed_CSR_04/PEANO_nosorts_C 0.266 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/PEANO_nosorts_FR 0.144 0.153 0.152 0.15 0.149 0.145 0.166 0.144 0.144
Transformed_CSR_04/PEANO_nosorts_GM 0.233 0.207 0.226 0.2 0.198 0.219 0.216 0.203 0.207
Transformed_CSR_04/PEANO_nosorts_iGM 0.505 0.495 0.469 0.507 0.51 0.505 0.494 0.505 0.512
Transformed_CSR_04/PEANO_nosorts_noand_C 0.332 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Transformed_CSR_04/PEANO_nosorts_noand_GM 0.233 0.229 0.226 0.241 0.221 0.234 0.232 0.245 0.224
Transformed_CSR_04/ PEANO_nosorts_noand_iGM 0.693 0.661 0.692 0.678 0.69 0.67 0.652 0.655 0.662
Various_04/02 0.135 0.143 0.144 0.132 0.134 0.135 0.144 0.156 0.14
Various_04/03 0.142 0.141 0.145 0.133 0.152 0.157 0.15 0.147 0.135
Various_04/04 0.243 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Various_04/05 0.202 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Various_04/06 0.148 0.164 0.145 0.154 0.147 0.147 0.144 0.156 0.158
Various_04/07 0.153 0.145 0.131 0.136 0.144 0.139 0.137 0.131 0.131
Various_04/08 0.276 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Various_04/09 0.154 0.154 0.153 0.164 0.159 0.157 0.16 0.161 0.162
Various_04/10 0.292 60.0 36.294 60.0 44.549 60.0 36.289 60.0 0.377
Various_04/11 0.157 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Various_04/12 0.213 60.0 60.0 60.0 2.861 60.0 60.0 60.0 0.469
Various_04/13 0.258 60.0 60.0 60.0 4.448 60.0 60.0 60.0 0.705
Various_04/14 0.622 0.639 0.594 0.597 0.661 0.636 0.616 0.619 0.651
Various_04/15 0.151 60.0 0.222 0.163 0.182 0.17 0.173 0.153 0.168
Various_04/18 0.154 0.167 0.175 0.153 0.162 0.164 0.156 0.158 0.159
Various_04/19 0.226 0.242 0.241 0.228 0.233 0.233 0.239 0.222 0.235
Various_04/21 0.418 0.456 0.433 0.412 0.43 0.403 0.437 0.42 0.417
Various_04/22 0.15 0.141 0.145 0.152 0.153 0.153 0.165 0.147 0.147
Various_04/23 0.188 0.192 0.176 0.206 0.185 0.197 0.174 0.179 0.185
Various_04/24 0.198 0.205 0.178 0.207 0.18 0.194 0.195 0.177 0.188
Various_04/25 0.134 0.147 0.136 0.147 0.147 0.136 0.139 0.135 0.132
Various_04/26 0.186 0.186 0.182 0.192 0.18 0.179 0.187 0.204 0.184
Various_04/27 0.133 0.138 0.136 0.136 0.132 0.138 0.141 0.129 0.142
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Waldmann_06/jwaprove1 0.169 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Waldmann_06/jwaprove2 0.165 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Waldmann_06/jwcime1 0.165 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Waldmann_06/jwcime2 0.173 0.187 0.461 0.2 0.46 0.214 0.248 0.225 0.244
Waldmann_06/jwmatchb1 0.146 60.0 0.6 60.0 0.587 0.188 0.193 0.193 0.209
Waldmann_06/jwmatchb2 0.165 60.0 0.616 60.0 0.634 0.209 0.188 0.188 0.189
Waldmann_06/jwno1 0.151 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Waldmann_06/jwno2 0.159 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Waldmann_06/jwno3 0.176 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Waldmann_06/jwno4 0.143 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Waldmann_06/jwno5 0.15 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Waldmann_06/jwno6 0.145 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Waldmann_06/jwno7 0.166 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Waldmann_06/jwno8 0.152 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Waldmann_06/jwno9 0.161 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Waldmann_06/jwteparla1 0.175 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Waldmann_06/jwteparla2 0.177 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Waldmann_06/jwtpa1 0.163 0.264 0.704 0.259 0.693 0.326 0.309 0.335 0.332
Waldmann_06/jwtpa2 0.207 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Waldmann_06/jwttt 0.196 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Zantema_05/jw01 0.163 0.166 0.181 0.168 0.167 0.181 0.185 0.17 0.184
Zantema_05/jw02 0.15 0.181 0.168 0.163 0.161 0.174 0.181 0.189 0.162
Zantema_05/jw03 0.148 0.18 0.16 0.16 0.169 0.169 0.167 0.179 0.158
Zantema_05/jw04 0.144 0.178 0.154 0.169 0.168 0.177 0.159 0.176 0.159
Zantema_05/jw05 0.159 0.179 0.172 0.177 0.173 0.18 0.179 0.178 0.178
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Zantema_05/jw06 0.153 0.17 0.161 0.167 0.18 0.206 0.16 0.179 0.173
Zantema_05/jw07 0.154 0.186 0.179 0.169 0.164 0.177 0.162 0.172 0.171
Zantema_05/jw08 0.161 0.17 0.177 0.188 0.17 0.185 0.17 0.175 0.16
Zantema_05/jw09 0.16 0.163 0.161 0.184 0.173 0.178 0.18 0.168 0.165
Zantema_05/jw11 0.146 0.143 0.147 0.147 0.143 0.143 0.154 0.143 0.143
Zantema_05/jw12 0.157 0.148 0.138 0.14 0.148 0.148 0.144 0.152 0.142
Zantema_05/jw13 0.163 0.175 0.164 0.201 0.177 0.172 0.164 0.185 0.189
Zantema_05/jw14 0.144 0.146 0.149 0.136 0.138 0.133 0.141 0.152 0.141
Zantema_05/jw15 0.17 0.161 0.182 0.177 0.162 0.178 0.171 0.17 0.176
Zantema_05/jw16 0.15 0.176 0.164 0.163 0.183 0.17 0.164 0.175 0.174
Zantema_05/jw17 0.152 0.167 0.181 0.17 0.167 0.198 0.189 0.178 0.176
Zantema_05/jw18 0.158 0.181 0.182 0.184 0.16 0.175 0.174 0.165 0.173
Zantema_05/jw19 0.153 0.177 0.241 0.192 0.232 0.213 0.221 0.217 0.21
Zantema_05/jw20 0.164 0.176 0.174 0.181 0.174 0.169 0.17 0.186 0.161
Zantema_05/jw21 0.154 0.167 0.176 0.166 0.169 0.175 0.167 0.164 0.166
Zantema_05/jw22 0.171 0.177 0.165 0.17 0.174 0.193 0.192 0.18 0.163
Zantema_05/jw23 0.159 0.163 0.175 0.163 0.17 0.174 0.162 0.178 0.173
Zantema_05/jw24 0.167 0.175 0.167 0.162 0.182 0.171 0.174 0.174 0.169
Zantema_05/jw25 0.161 0.187 0.178 0.171 0.167 0.175 0.162 0.185 0.167
Zantema_05/jw26 0.157 0.17 0.17 0.18 0.185 0.179 0.163 0.175 0.174
Zantema_05/jw27 0.152 0.191 0.176 0.187 0.16 0.171 0.165 0.181 0.179
Zantema_05/jw28 0.163 0.177 0.174 0.184 0.187 0.17 0.163 0.176 0.173
Zantema_05/jw29 0.154 0.177 0.167 0.169 0.167 0.199 0.164 0.189 0.178
Zantema_05/jw30 0.164 0.186 0.252 0.18 0.228 0.205 0.223 0.214 0.216
Zantema_05/jw31 0.148 0.184 0.184 0.179 0.177 0.202 0.164 0.17 0.172
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Zantema_05/jw32 0.159 0.176 0.173 0.176 0.171 0.187 0.175 0.178 0.19
Zantema_05/jw33 0.152 0.168 0.164 0.166 0.16 0.176 0.162 0.173 0.187
Zantema_05/jw34 0.161 0.17 0.173 0.179 0.166 0.173 0.167 0.174 0.195
Zantema_05/jw35 0.136 0.147 0.136 0.149 0.142 0.146 0.135 0.134 0.149
Zantema_05/jw36 0.164 0.206 0.156 0.174 0.161 0.182 0.171 0.169 0.174
Zantema_05/jw37 0.144 0.151 0.149 0.158 0.145 0.147 0.158 0.151 0.154
Zantema_05/jw38 0.154 0.142 0.154 0.158 0.149 0.162 0.151 0.145 0.142
Zantema_05/jw39 0.163 0.181 0.18 0.168 0.176 0.176 0.166 0.191 0.169
Zantema_05/jw40 0.154 0.165 0.176 0.164 0.17 0.186 0.181 0.193 0.168
Zantema_05/jw41 0.161 0.181 0.163 0.172 0.169 0.175 0.182 0.176 0.168
Zantema_05/jw42 0.169 0.172 0.174 0.17 0.165 0.177 0.166 0.191 0.164
Zantema_05/jw43 0.17 0.188 0.175 0.171 0.172 0.171 0.181 0.175 0.169
Zantema_05/jw44 0.157 0.144 0.157 0.176 0.143 0.142 0.149 0.155 0.142
Zantema_05/jw47 0.153 0.145 0.152 0.141 0.151 0.158 0.169 0.141 0.154
Zantema_05/jw50 0.159 0.17 0.165 0.161 0.171 0.181 0.16 0.168 0.169
Zantema_05/z01 0.175 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Zantema_05/z02 0.157 0.418 0.39 0.408 0.399 0.222 0.244 0.231 0.243
Zantema_05/z03 0.169 60.0 0.72 60.0 0.701 0.253 0.479 0.244 0.436
Zantema_05/z04 0.161 0.166 0.177 0.155 0.167 0.156 0.196 0.163 0.154
Zantema_05/z05 0.186 60.0 60.0 60.0 60.0 0.233 60.0 0.248 60.0
Zantema_05/z06 0.196 60.0 0.538 0.23 0.372 0.277 0.316 0.244 0.318
Zantema_05/z07 0.176 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Zantema_05/z08 0.184 60.0 0.192 60.0 0.176 60.0 0.185 60.0 0.186
Zantema_05/z09 0.176 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Zantema_05/z10 0.183 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Zantema_05/z11 0.205 60.0 0.555 0.249 0.362 60.0 0.23 0.238 0.228
Zantema_05/z12 0.171 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Zantema_05/z13 0.175 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Zantema_05/z14 0.163 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Zantema_05/z15 0.158 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Zantema_05/z16 0.155 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Zantema_05/z17 0.159 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Zantema_05/z18 0.173 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Zantema_05/z19 0.178 60.0 60.0 60.0 60.0 60.0 0.387 60.0 0.407
Zantema_05/z20 0.24 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Zantema_05/z21 0.195 60.0 60.0 60.0 60.0 60.0 0.349 60.0 0.33
Zantema_05/z22 0.227 60.0 60.0 60.0 60.0 0.569 0.296 0.583 0.309
Zantema_05/z23 0.177 60.0 60.0 60.0 11.833 60.0 0.575 60.0 0.531
Zantema_05/z24 0.182 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Zantema_05/z25 0.197 60.0 0.456 60.0 0.441 0.231 0.272 0.243 0.265
Zantema_05/z26 0.233 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Zantema_05/z27 0.181 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Zantema_05/z28 0.167 60.0 0.491 60.0 0.512 60.0 0.504 60.0 0.523
Zantema_05/z29 0.182 0.198 0.178 0.187 0.18 0.181 0.188 0.177 0.179
Zantema_05/z30 0.204 60.0 1.063 60.0 1.076 60.0 0.998 60.0 0.995
Yes No Maybe Timeout