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.165 0.182 0.185 0.173 0.167 0.175 0.186 0.171
AG01/#3.10 0.493 0.494 0.518 0.501 0.55 0.537 0.521 0.525 0.53
AG01/#3.12 0.169 0.185 0.194 0.178 0.193 0.188 0.194 0.179 0.184
AG01/#3.13 0.316 0.329 0.337 0.379 0.344 0.347 0.328 0.327 0.339
AG01/#3.15 0.171 0.17 0.169 0.168 0.17 0.174 0.198 0.169 0.171
AG01/#3.16 0.161 0.169 0.163 0.186 0.182 0.163 0.184 0.178 0.172
AG01/#3.17 0.229 0.238 0.254 0.239 0.23 0.223 0.267 0.225 0.225
AG01/#3.17a 0.241 0.245 0.257 0.255 0.273 0.259 0.252 0.235 0.253
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.169 0.173 0.194 0.185 0.174 0.19 0.178 0.186
AG01/#3.21 0.173 60.0 60.0 0.181 0.244 60.0 60.0 0.189 0.184
AG01/#3.22 0.189 60.0 60.0 60.0 1.427 60.0 60.0 0.281 0.233
AG01/#3.23 0.157 0.159 0.163 0.146 0.146 0.144 0.145 0.146 0.151
AG01/#3.24 0.155 0.16 0.155 0.161 0.155 0.151 0.167 0.155 0.163
AG01/#3.26 0.177 0.155 0.153 0.149 0.147 0.151 0.15 0.151 0.154
AG01/#3.29 0.146 0.149 0.155 0.142 0.156 0.147 0.151 0.161 0.146
AG01/#3.31 0.142 0.14 0.145 0.143 0.144 0.159 0.161 0.153 0.153
AG01/#3.33 0.164 0.153 0.162 0.145 0.139 0.142 0.159 0.14 0.158
AG01/#3.35 0.14 0.148 0.148 0.142 0.15 0.143 0.152 0.145 0.146
AG01/#3.36 0.204 0.21 0.204 0.204 0.205 0.203 0.205 0.198 0.206
AG01/#3.37 0.164 0.171 0.172 0.186 0.174 0.169 0.202 0.165 0.169
AG01/#3.38 0.209 0.206 0.218 0.205 0.222 0.212 0.212 0.211 0.203
AG01/#3.39 0.266 60.0 60.0 0.28 0.567 60.0 60.0 0.307 0.326
AG01/#3.4 0.189 0.201 0.203 0.207 0.202 0.204 0.179 0.198 0.205
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.669 60.0 60.0 60.0 0.413
AG01/#3.41 0.151 0.228 60.0 0.18 0.178 0.205 60.0 0.183 0.176
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.161 0.152 0.158 0.153 0.171 0.155 0.152 0.151
AG01/#3.48 0.167 0.197 0.176 0.174 0.185 0.191 0.178 0.167 0.177
AG01/#3.49 0.232 0.239 0.245 0.234 0.248 0.247 0.235 0.251 0.249
AG01/#3.5 0.247 0.248 0.262 0.26 0.253 0.255 0.253 0.271 0.256
AG01/#3.51 0.149 0.165 0.161 0.158 0.175 0.159 0.186 0.169 0.151
AG01/#3.52 0.163 0.157 0.162 0.162 0.165 0.169 0.164 0.169 0.176
AG01/#3.53 0.293 0.307 0.316 0.299 0.296 0.297 0.293 0.287 0.29
AG01/#3.53a 0.151 0.156 0.164 0.172 0.17 0.146 0.156 0.151 0.164
AG01/#3.53b 0.165 0.183 0.177 0.174 0.168 0.174 0.169 0.172 0.18
AG01/#3.54 0.177 0.184 0.177 0.201 0.181 0.195 0.197 0.17 0.184
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 60.0 0.297 0.2 0.217 0.243 0.206 0.217 0.205
AG01/#3.57 0.287 0.298 0.292 0.288 0.276 0.296 0.297 0.278 0.317
AG01/#3.5a 0.243 0.242 0.247 0.249 0.244 0.254 0.229 0.253 0.256
AG01/#3.5b 0.323 0.294 0.311 0.299 0.296 0.319 0.282 0.285 0.298
AG01/#3.6 0.267 0.276 0.287 0.311 0.303 0.293 0.293 0.286 0.303
AG01/#3.6a 0.282 0.274 0.266 0.265 0.272 0.282 0.291 0.277 0.262
AG01/#3.6b 0.285 0.307 0.287 0.303 0.295 0.296 0.301 0.28 0.309
AG01/#3.7 0.16 0.172 0.176 0.168 0.169 0.167 0.168 0.171 0.166
AG01/#3.8a 0.226 0.232 0.216 0.219 0.223 0.222 0.228 0.221 0.219
AG01/#3.8b 0.286 0.29 0.283 0.294 0.283 0.289 0.291 0.299 0.285
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.199 0.187 0.195 0.204 0.204 0.205 0.205 0.211
AProVE_04/IJCAR_12 0.193 60.0 7.44 0.238 0.856 60.0 7.439 0.236 0.846
AProVE_04/IJCAR_18 0.28 60.0 0.69 0.319 0.793 60.0 0.709 0.307 0.787
AProVE_04/IJCAR_26 0.349 60.0 60.0 0.384 1.082 60.0 60.0 0.397 0.983
AProVE_04/IJCAR_26a 0.353 60.0 60.0 0.383 1.101 60.0 60.0 0.412 0.987
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.405 0.393 0.409 0.401 0.374 0.368 0.392 0.381
AProVE_04/LPAR_intlist 0.211 0.19 0.197 0.199 0.207 0.194 0.184 0.203 0.205
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.284 0.295 0.305 0.311 0.319 0.303 0.29 0.316
AProVE_04/Liveness_WRS 0.329 60.0 0.906 60.0 0.621 60.0 0.371 60.0 0.362
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.242 0.763 60.0 60.0 0.237 0.856 60.0 60.0
AProVE_04/forward_instantiation2 0.153 0.319 0.914 60.0 60.0 0.327 0.857 60.0 60.0
AProVE_04/improved_usable 0.163 0.181 0.201 0.199 0.212 0.203 0.182 0.191 0.205
AProVE_04/improved_usable2 0.158 0.171 0.203 0.184 0.18 0.19 0.19 0.221 0.188
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.225 60.0 60.0 60.0 2.223
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 31.286 60.0 55.97 60.0 30.008 60.0 53.659
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.41 60.0 26.407 60.0 34.964 60.0 25.925
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.179 0.177 0.177 0.163 0.18 0.167 0.174 0.198
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.223 0.215 60.0 60.0 0.197 0.193
AotoYamada_05/005 0.198 0.191 0.2 0.195 0.183 0.194 0.183 0.184 0.198
AotoYamada_05/006 0.163 0.162 0.187 0.169 0.178 0.168 0.168 0.161 0.155
AotoYamada_05/007 0.198 60.0 60.0 0.203 0.23 60.0 60.0 0.22 0.207
AotoYamada_05/009 0.192 0.188 0.197 0.206 0.186 0.18 0.189 0.194 0.191
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.195 0.182 0.182 0.199 0.198 0.19 0.187 0.195
AotoYamada_05/013 0.2 60.0 60.0 0.214 0.23 60.0 60.0 0.225 0.226
AotoYamada_05/014 0.277 60.0 60.0 0.285 0.281 60.0 60.0 0.269 0.256
AotoYamada_05/015 0.168 0.172 0.169 0.173 0.179 0.166 0.174 0.173 0.167
AotoYamada_05/016 0.241 60.0 28.231 60.0 59.826 60.0 28.53 60.0 58.403
AotoYamada_05/017 0.166 0.149 0.166 0.167 0.153 0.153 0.145 0.152 0.157
AotoYamada_05/019 0.159 0.15 0.144 0.154 0.168 0.154 0.143 0.144 0.143
AotoYamada_05/020 0.227 60.0 60.0 0.238 0.236 60.0 60.0 0.235 0.232
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.338 0.37 60.0 60.0 0.353 0.34
AotoYamada_05/022 0.163 0.162 0.18 0.166 0.166 0.173 0.176 0.171 0.185
AotoYamada_05/023 0.176 0.167 0.171 0.167 0.162 0.163 0.159 0.16 0.172
AotoYamada_05/024 0.155 0.154 0.166 0.151 0.164 0.165 0.157 0.158 0.162
AotoYamada_05/025 0.15 0.168 0.145 0.14 0.144 0.137 0.146 0.138 0.139
AotoYamada_05/026 0.178 0.17 0.17 0.185 0.177 0.167 0.18 0.16 0.175
AotoYamada_05/027 0.215 60.0 60.0 0.253 0.255 60.0 60.0 0.242 0.237
AotoYamada_05/028 0.183 0.179 0.166 0.167 0.17 0.188 0.176 0.175 0.181
AotoYamada_05/Ex1SimplyTyped 0.185 60.0 60.0 0.211 0.238 60.0 60.0 0.206 0.223
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.194 0.214 0.197 0.195 0.185 0.197 0.198 0.188
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.145 0.145 0.143 0.149 0.142 0.152 0.145 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 6.83 60.0 60.0 0.29 0.356
Applicative_05/Ex4MapList 0.165 60.0 60.0 0.185 0.529 60.0 60.0 0.237 0.244
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.164 0.143 0.151 0.142 0.156 0.149 0.155 0.148
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.196 0.21 0.2 0.205 0.176 0.172 0.189 0.176
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.203 0.209 0.203 0.215 0.207 0.216 0.205 0.271
Applicative_05/TakeDropWhile 0.192 0.236 0.235 0.24 0.26 0.243 0.248 0.246 0.256
Applicative_05/TreeFlatten 0.221 60.0 60.0 0.222 0.237 60.0 60.0 0.229 0.226
Applicative_05/TreeHeight 0.209 0.203 0.211 0.201 0.2 0.2 0.212 0.206 0.213
Applicative_05/TreeLevels 0.269 60.0 60.0 0.277 0.266 60.0 60.0 0.274 0.268
Applicative_05/TreeMap 0.171 0.177 0.182 0.161 0.165 0.165 0.173 0.169 0.171
Applicative_05/TreeSize 0.204 60.0 60.0 0.236 0.223 60.0 60.0 0.215 0.223
Applicative_05/TypeEx1 0.161 60.0 0.67 60.0 0.627 60.0 0.606 60.0 0.612
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.324 0.482 60.0 60.0 0.332 0.37
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.324 60.0 60.0 0.411 0.422
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.809 0.294 0.448 60.0 9.68 0.294 0.298
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 26.436 0.261 0.412 60.0 27.253 0.237 0.257
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 30.837 0.343 0.493 60.0 29.39 0.293 0.356
Applicative_first_order_05/#3.48 0.287 60.0 60.0 0.33 0.461 60.0 60.0 0.299 0.342
Applicative_first_order_05/#3.52 0.278 60.0 36.752 0.344 0.571 60.0 36.442 0.318 0.411
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.283 0.428 60.0 60.0 0.266 0.286
Applicative_first_order_05/02 0.247 60.0 60.0 0.272 0.416 60.0 60.0 0.25 0.271
Applicative_first_order_05/06 0.243 60.0 9.662 0.284 0.4 60.0 9.845 0.25 0.28
Applicative_first_order_05/08 0.284 60.0 60.0 0.317 0.462 60.0 60.0 0.28 0.328
Applicative_first_order_05/11 0.356 60.0 60.0 0.399 0.591 60.0 60.0 0.373 0.47
Applicative_first_order_05/12 0.316 60.0 60.0 0.368 0.868 60.0 60.0 0.359 0.531
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.429 1.057
Applicative_first_order_05/18 0.243 60.0 13.698 0.271 0.426 60.0 13.8 0.269 0.295
Applicative_first_order_05/21 0.746 60.0 60.0 0.406 0.591 60.0 60.0 0.381 0.403
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.294 0.312 0.451 60.0 14.273 0.294 0.327
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.174 0.175 0.168 0.174 0.175 0.168 0.167 0.173
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.215 0.209 0.213 0.214 0.169 0.176 0.186 0.163
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.169 0.173 0.175 0.175 0.177 0.177 0.171 0.172
CiME_04/dpqs 0.153 0.157 0.15 0.144 0.141 0.149 0.147 0.143 0.145
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.353 0.366 0.358 0.377 0.353 0.366 0.366 0.369
CiME_04/filliatre2 0.404 0.413 0.403 0.419 0.424 0.406 0.389 0.405 0.433
CiME_04/filliatre3 0.448 0.458 0.463 0.437 0.433 0.465 0.449 0.468 0.432
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.222 0.229 0.214 0.2 0.215 0.209 0.21 0.219
CiME_04/list-sum-prod-assoc 0.19 0.204 0.211 0.209 0.207 0.211 0.193 0.19 0.195
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 60.0 60.0 60.0 60.0 0.445
CiME_04/list-sum-prod 0.187 0.193 0.198 0.19 0.203 0.2 0.193 0.2 0.2
CiME_04/log2 0.418 0.435 0.434 0.44 0.42 0.426 0.406 0.411 0.415
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.108 1.095 1.072 1.027 1.064 1.084 1.019 1.035
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.657 0.646 0.719 0.65 0.656 0.672 0.668 0.651
Der95/01 0.144 0.141 0.147 0.151 0.163 0.145 0.15 0.144 0.141
Der95/02 0.137 0.144 0.139 0.156 0.144 0.148 0.146 0.146 0.149
Der95/03 0.131 0.139 0.145 0.138 0.15 0.137 0.14 0.136 0.135
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Der95/04 0.188 0.151 0.148 0.157 0.166 0.159 0.156 0.161 0.158
Der95/06 0.182 0.15 0.149 0.148 0.14 0.138 0.157 0.137 0.145
Der95/07 0.157 0.159 0.162 0.169 0.155 0.16 0.152 0.179 0.162
Der95/08 0.166 0.148 0.16 0.161 0.145 0.16 0.159 0.167 0.158
Der95/09 0.147 0.143 0.137 0.145 0.144 0.138 0.143 0.14 0.134
Der95/11 0.197 0.169 0.192 0.185 0.177 0.181 0.193 0.171 0.192
Der95/12 0.185 60.0 60.0 0.203 0.313 60.0 60.0 0.187 0.262
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.167 0.174 0.17 0.185 0.176 0.184 0.178 0.171
Der95/18 0.148 0.138 0.158 0.148 0.139 0.163 0.152 0.14 0.148
Der95/20 0.182 0.163 0.177 0.166 0.167 0.182 0.165 0.178 0.168
Der95/21 0.182 60.0 60.0 0.191 0.208 60.0 60.0 0.213 0.197
Der95/27 0.149 0.161 0.163 0.149 0.152 0.162 0.162 0.15 0.172
Der95/28 0.145 0.152 0.149 0.148 0.141 0.137 0.155 0.151 0.14
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.174 0.159 0.155 0.163 0.16 0.151 0.165 0.153
Der95/32 0.192 0.22 0.193 0.182 0.19 0.175 0.188 0.175 0.181
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.229 35.601 0.216 60.0 60.0 0.277 60.0 0.247
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.432 60.0 0.448 60.0 0.821 60.0 0.852
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.215 0.219 0.183 0.198 0.186 0.181 0.195 0.196
Endrullis_06/quadruple2 0.177 0.229 1.356 0.221 1.392 1.804 60.0 1.773 60.0
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.483 0.478 0.417 0.429 0.416 0.414 0.432 0.451
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.22 0.217 0.231 0.219 0.234 0.219 0.228 0.235
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.149 0.142 0.143 0.161 0.14 0.144 0.148 0.143
HirokawaMiddeldorp_04/t007 0.132 0.133 0.136 0.139 0.161 0.133 0.16 0.131 0.142
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.185 14.585 12.551
HirokawaMiddeldorp_04/t010 0.137 0.143 0.141 0.135 0.14 0.135 0.149 0.139 0.162
HirokawaMiddeldorp_04/t011 0.171 0.165 0.162 0.158 0.167 0.154 0.155 0.162 0.15
HirokawaMiddeldorp_04/t012 0.198 0.202 0.207 0.198 0.228 0.193 0.18 0.186 0.197
HirokawaMiddeldorp_04/t013 0.213 0.233 0.219 0.208 0.219 0.247 0.218 0.225 0.212
HirokawaMiddeldorp_04/t014 0.204 0.225 0.232 0.202 0.212 0.196 0.211 0.203 0.2
Mixed_CTRS/quick 0.317 0.308 0.341 0.335 0.337 0.33 0.33 0.33 0.321
Mixed_TRS/1 0.151 0.168 0.195 0.18 0.166 0.177 0.17 0.167 0.171
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.198 0.207 0.183 0.242 0.2 0.212 0.191 0.25
Mixed_TRS/4 0.166 0.188 0.176 0.171 0.178 0.182 0.18 0.172 0.169
Mixed_TRS/5 0.166 0.177 0.18 0.166 0.194 0.187 0.181 0.165 0.195
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.156 0.158 0.152 0.15 0.161 0.146 0.177 0.151
Mixed_TRS/jones1 0.138 0.147 0.153 0.169 0.141 0.145 0.16 0.15 0.14
Mixed_TRS/jones2 0.179 0.159 0.163 0.172 0.156 0.18 0.176 0.167 0.162
Mixed_TRS/jones4 0.161 0.153 0.149 0.16 0.156 0.153 0.18 0.15 0.147
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.163 0.159 0.171 0.159 0.166 0.184 0.157 0.163
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.149 0.158 0.155 0.172 0.16 0.161 0.16 0.162
Mixed_TRS/perfect 0.166 0.186 0.173 0.173 0.195 0.176 0.164 0.16 0.17
Mixed_TRS/perfect2 0.25 0.211 0.223 0.229 0.223 0.238 0.235 0.245 0.214
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.301 0.17 0.165 0.158 0.195 0.162 0.16 0.156
Rubio_04/bintrees 0.169 0.216 0.174 0.174 0.173 0.179 0.17 0.172 0.198
Rubio_04/bn122 0.16 0.164 0.185 0.159 0.163 0.165 0.164 0.153 0.166
Rubio_04/bn129 0.17 0.192 0.196 0.181 0.171 0.167 0.176 0.163 0.174
Rubio_04/division 0.243 0.232 0.251 0.25 0.249 0.231 0.23 0.237 0.23
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Rubio_04/elimdupl 0.222 0.225 0.218 0.242 0.236 0.22 0.245 0.236 0.234
Rubio_04/enno 0.245 0.242 0.225 0.242 0.237 0.241 0.25 0.245 0.231
Rubio_04/gcd 0.268 0.256 0.27 0.257 0.267 0.276 0.271 0.296 0.272
Rubio_04/gm 0.173 0.184 0.188 0.19 0.175 0.174 0.177 0.183 0.179
Rubio_04/gmnp 0.156 0.172 0.159 0.17 0.155 0.151 0.15 0.155 0.158
Rubio_04/koen 0.166 0.174 0.153 0.145 0.152 0.199 0.202 0.2 0.21
Rubio_04/lescanne 0.179 0.254 0.242 0.237 0.243 0.239 0.201 0.18 0.186
Rubio_04/lindau 0.157 0.151 0.149 0.145 0.169 0.155 0.143 0.144 0.154
Rubio_04/logarquot 0.219 0.232 0.225 0.212 0.211 0.211 0.223 0.219 0.198
Rubio_04/ma96 0.335 0.344 0.331 0.34 0.328 0.363 0.34 0.35 0.347
Rubio_04/mfp90b 0.159 0.153 0.151 0.161 0.154 0.156 0.155 0.148 0.169
Rubio_04/mfp95 0.13 0.135 0.143 0.14 0.142 0.137 0.134 0.145 0.136
Rubio_04/nestrec 0.151 0.145 0.171 0.149 0.161 0.16 0.173 0.158 0.149
Rubio_04/p266 0.139 0.142 0.135 0.135 0.138 0.139 0.138 0.151 0.144
Rubio_04/polo2 0.17 0.187 0.17 0.168 0.169 0.168 0.169 0.18 0.18
Rubio_04/prov 0.146 0.157 0.146 0.163 0.158 0.153 0.152 0.153 0.143
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.181 0.217 0.208 0.179 0.19 0.189 0.196 0.184
Rubio_04/revlist 0.222 0.208 0.217 0.206 0.208 0.215 0.217 0.211 0.209
Rubio_04/selsort 0.534 0.526 0.529 0.536 0.55 0.545 0.541 0.551 0.533
Rubio_04/test4 0.232 0.222 0.226 0.223 0.225 0.224 0.233 0.239 0.219
Rubio_04/test829 0.18 0.168 0.167 0.164 0.153 0.161 0.159 0.173 0.18
Rubio_04/wst99 0.397 0.402 0.406 0.415 0.406 0.422 0.417 0.417 0.423
SK90/2.01 0.16 0.172 0.173 0.169 0.167 0.22 0.168 0.169 0.172
SK90/2.02 0.182 0.181 0.191 0.187 0.175 0.182 0.173 0.183 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.168 0.143 0.144 0.147 0.167 0.152 0.162 0.159
SK90/2.04 0.153 0.159 0.158 0.146 0.148 0.156 0.153 0.149 0.151
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.158 0.145 0.153 0.188 0.147 0.153 0.151 0.147
SK90/2.07 0.149 0.158 0.149 0.154 0.161 0.155 0.171 0.163 0.158
SK90/2.08 0.184 0.187 0.204 0.201 0.178 0.202 0.18 0.175 0.185
SK90/2.09 0.146 0.14 0.139 0.142 0.157 0.147 0.153 0.151 0.151
SK90/2.10 0.167 0.17 0.161 0.172 0.178 0.168 0.173 0.159 0.162
SK90/2.11 0.154 0.163 0.16 0.15 0.155 0.172 0.16 0.178 0.164
SK90/2.12 0.196 0.189 0.175 0.186 0.173 0.186 0.183 0.181 0.182
SK90/2.13 0.179 0.186 0.177 0.174 0.173 0.167 0.173 0.164 0.168
SK90/2.14 0.188 0.176 0.166 0.189 0.175 0.166 0.167 0.209 0.187
SK90/2.15 0.139 0.15 0.151 0.146 0.162 0.153 0.148 0.148 0.156
SK90/2.16 0.156 0.17 0.158 0.183 0.168 0.185 0.157 0.176 0.162
SK90/2.17 0.152 0.156 0.148 0.149 0.168 0.165 0.155 0.147 0.154
SK90/2.18 0.159 0.162 0.162 0.154 0.166 0.145 0.163 0.153 0.168
SK90/2.19 0.201 0.176 0.192 0.193 0.182 0.178 0.174 0.174 0.172
SK90/2.20 0.15 0.167 0.147 0.155 0.158 0.156 0.168 0.145 0.144
SK90/2.21 0.167 0.153 0.153 0.158 0.149 0.149 0.153 0.152 0.167
SK90/2.22 0.174 0.177 0.169 0.162 0.167 0.182 0.163 0.178 0.181
SK90/2.23 0.178 0.186 0.188 0.182 0.19 0.186 0.191 0.186 0.191
SK90/2.24 0.155 0.144 0.149 0.158 0.151 0.152 0.153 0.143 0.139
SK90/2.25 0.171 0.164 0.152 0.157 0.155 0.156 0.163 0.16 0.166
SK90/2.26 0.182 0.182 0.191 0.184 0.204 0.189 0.179 0.179 0.189
SK90/2.27 0.171 0.176 0.176 0.175 0.184 0.174 0.176 0.178 0.173
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
SK90/2.28 0.139 0.141 0.149 0.142 0.156 0.14 0.135 0.14 0.139
SK90/2.29 0.158 0.163 0.159 0.17 0.161 0.177 0.164 0.159 0.168
SK90/2.30 0.143 0.145 0.149 0.143 0.155 0.144 0.156 0.146 0.138
SK90/2.31 0.171 0.171 0.176 0.175 0.181 0.165 0.165 0.161 0.178
SK90/2.32 0.156 0.154 0.158 0.148 0.148 0.157 0.163 0.154 0.159
SK90/2.33 0.144 0.147 0.148 0.15 0.158 0.154 0.163 0.166 0.15
SK90/2.34 0.145 0.15 0.166 0.143 0.154 0.145 0.145 0.151 0.15
SK90/2.35 0.174 0.164 0.164 0.166 0.154 0.17 0.157 0.171 0.166
SK90/2.36 0.183 0.177 0.17 0.19 0.179 0.166 0.176 0.176 0.194
SK90/2.37 0.174 0.147 0.15 0.155 0.166 0.146 0.156 0.155 0.155
SK90/2.38 0.142 0.144 0.159 0.153 0.148 0.161 0.165 0.147 0.142
SK90/2.39 0.162 0.165 0.155 0.175 0.163 0.157 0.178 0.166 0.158
SK90/2.40 0.148 0.157 0.15 0.158 0.151 0.147 0.153 0.149 0.167
SK90/2.41 0.169 0.171 0.172 0.178 0.166 0.162 0.167 0.178 0.189
SK90/2.42 0.186 0.189 0.19 0.175 0.179 0.194 0.181 0.2 0.175
SK90/2.43 0.179 0.169 0.204 0.169 0.179 0.17 0.189 0.173 0.169
SK90/2.44 0.257 0.261 0.275 0.248 0.257 0.247 0.248 0.259 0.251
SK90/2.45 0.168 0.153 0.163 0.172 0.159 0.164 0.16 0.158 0.154
SK90/2.46 0.158 0.177 0.157 0.172 0.169 0.167 0.157 0.167 0.152
SK90/2.47 0.144 0.143 0.137 0.137 0.157 0.141 0.142 0.143 0.137
SK90/2.48 0.133 0.157 0.137 0.14 0.144 0.151 0.145 0.139 0.141
SK90/2.49 0.16 0.165 0.162 0.171 0.166 0.181 0.185 0.169 0.177
SK90/2.50 0.143 0.141 0.148 0.166 0.141 0.136 0.15 0.157 0.147
SK90/2.51 0.154 0.159 0.164 0.154 0.154 0.152 0.17 0.155 0.154
SK90/2.52 0.235 0.227 0.245 0.239 0.24 0.232 0.251 0.233 0.225
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
SK90/2.53 0.171 0.172 0.172 0.154 0.164 0.16 0.164 0.158 0.17
SK90/2.54 0.148 0.134 0.144 0.151 0.135 0.146 0.143 0.144 0.152
SK90/2.55 0.139 0.15 0.159 0.146 0.136 0.137 0.138 0.143 0.145
SK90/2.56 0.137 0.139 0.142 0.145 0.153 0.141 0.144 0.135 0.139
SK90/2.57 0.14 0.14 0.137 0.154 0.137 0.156 0.133 0.142 0.138
SK90/2.58 0.133 0.138 0.15 0.139 0.14 0.148 0.159 0.141 0.142
SK90/2.59 0.141 0.148 0.156 0.136 0.137 0.15 0.165 0.135 0.147
SK90/2.60 0.138 0.147 0.14 0.152 0.141 0.141 0.143 0.141 0.147
SK90/2.61 0.182 0.18 0.175 0.28 0.286 0.283 0.284 0.283 0.285
SK90/4.01 0.137 0.247 0.248 0.245 0.141 0.148 0.138 0.138 0.153
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.197 0.167 0.167 0.17 0.16 0.164 0.183 0.173
SK90/4.04 0.144 0.149 0.152 0.171 0.144 0.158 0.152 0.148 0.142
SK90/4.05 0.166 0.163 0.16 0.162 0.162 0.167 0.163 0.161 0.15
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.147 0.153 0.142 0.15 0.159 0.141 0.153 0.148
SK90/4.08 0.137 0.15 0.137 0.14 0.141 0.146 0.161 0.143 0.137
SK90/4.09 0.173 0.187 0.168 0.186 0.176 0.176 0.175 0.183 0.195
SK90/4.10 0.175 0.164 0.163 0.153 0.165 0.187 0.158 0.176 0.177
SK90/4.11 0.149 0.157 0.16 0.157 0.149 0.144 0.151 0.156 0.172
SK90/4.12 0.16 0.155 0.167 0.165 0.162 0.167 0.156 0.163 0.171
SK90/4.13 0.17 60.0 60.0 0.162 0.183 60.0 60.0 0.176 0.169
SK90/4.14 0.193 0.187 0.171 0.186 0.194 0.182 0.174 0.194 0.188
SK90/4.15 0.143 0.142 0.151 0.162 0.147 0.14 0.155 0.146 0.163
SK90/4.16 0.155 0.178 0.166 0.168 0.176 0.171 0.173 0.175 0.176
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.145 0.151 0.144 0.145 0.149 0.149 0.16 0.139
SK90/4.19 0.155 0.17 0.164 0.156 0.16 0.154 0.156 0.177 0.154
SK90/4.20 0.158 0.166 0.163 0.184 0.155 0.157 0.158 0.171 0.162
SK90/4.21 0.196 0.177 0.177 0.174 0.177 0.179 0.175 0.166 0.165
SK90/4.22 0.17 0.182 0.161 0.153 0.166 0.159 0.157 0.164 0.161
SK90/4.23 0.153 0.161 0.148 0.173 0.157 0.163 0.155 0.156 0.154
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.149 0.157 0.163 0.145 0.146 0.148 0.148 0.141
SK90/4.26 0.2 0.171 0.179 0.173 0.183 0.198 0.178 0.177 0.182
SK90/4.27 0.179 0.182 0.22 0.193 0.182 0.205 0.185 0.203 0.188
SK90/4.28 0.202 0.193 0.238 0.191 0.201 0.205 0.218 0.193 0.218
SK90/4.29 0.156 0.149 0.182 0.149 0.154 0.148 0.156 0.154 0.146
SK90/4.30 0.246 60.0 0.683 0.285 0.274 0.487 0.27 0.299 0.262
SK90/4.31 0.181 0.164 0.173 0.175 0.175 0.188 0.167 0.167 0.164
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.148 0.155 0.146 0.144 0.155 0.157 0.141 0.155
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.151 0.141 0.152 0.13 0.136 0.133 0.139 0.143
SK90/4.36 0.147 0.132 0.136 0.149 0.132 0.131 0.164 0.135 0.14
SK90/4.37 0.14 0.143 0.132 0.134 0.131 0.154 0.134 0.14 0.137
SK90/4.38 0.175 0.157 0.156 0.163 0.155 0.168 0.165 0.176 0.15
SK90/4.39 0.167 0.187 0.169 0.175 0.164 0.163 0.176 0.184 0.194
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.174 0.161 0.156 0.158 0.182 0.166 0.166 0.153
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
SK90/4.42 0.172 0.182 0.181 0.19 0.18 0.182 0.18 0.181 0.202
SK90/4.43 0.195 0.214 0.214 0.205 0.21 0.213 0.215 0.204 0.198
SK90/4.44 0.153 0.168 0.143 0.137 0.143 0.143 0.142 0.136 0.15
SK90/4.45 0.149 0.141 0.142 0.154 0.149 0.156 0.148 0.148 0.149
SK90/4.46 0.138 0.132 0.141 0.132 0.145 0.152 0.131 0.137 0.143
SK90/4.47 0.149 0.146 0.17 0.171 0.152 0.15 0.149 0.15 0.157
SK90/4.48 0.156 0.149 0.149 0.154 0.148 0.152 0.157 0.151 0.165
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.142 0.132 0.141 0.143 0.132 0.131 0.146
SK90/4.51 0.161 60.0 60.0 0.175 0.221 0.227 0.219 0.175 0.17
SK90/4.52 0.183 0.173 0.172 0.188 0.178 0.165 0.166 0.184 0.201
SK90/4.53 0.148 0.164 0.148 0.165 0.152 0.159 0.163 0.152 0.169
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.24 0.163 0.19 0.163 0.201 0.168 0.185 0.164
SK90/4.56 0.133 0.138 0.131 0.14 0.136 0.152 0.136 0.136 0.142
SK90/4.57 0.142 0.147 0.144 0.143 0.157 0.164 0.148 0.152 0.151
SK90/4.59 0.177 0.175 0.165 0.17 0.161 0.175 0.189 0.192 0.176
SK90/4.60 0.198 0.201 0.198 0.202 0.204 0.197 0.189 0.226 0.217
SK90/4.61 0.256 60.0 60.0 60.0 19.625 60.0 60.0 60.0 20.474
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.228 60.0 0.22 60.0 0.223 60.0 0.25
Secret_05_TRS/matchbox2 0.164 0.176 0.177 0.164 0.174 0.199 0.163 0.185 0.168
Secret_05_TRS/teparla1 0.154 60.0 60.0 60.0 60.0 0.194 0.195 0.196 0.195
Secret_05_TRS/teparla2 0.171 60.0 3.639 60.0 3.633 60.0 3.83 60.0 3.694
Secret_05_TRS/teparla3 0.178 60.0 60.0 60.0 60.0 60.0 0.63 60.0 0.617
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.9 0.286 1.897 0.288 3.407 0.303 3.438 0.325
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.487 60.0 0.507 60.0 0.309 60.0 0.314 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.217 0.278 0.217 0.255 0.237 0.221 0.23 0.226
Secret_06_TRS/9 0.216 0.245 0.801 0.236 0.794 0.288 0.285 0.271 0.28
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.284 0.251
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.285 0.478 0.285 0.509 0.271 0.539 0.285 0.506
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 10.826 60.0 11.446 60.0 10.953 60.0 11.287
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 60.0 60.0 60.0 60.0 60.0 60.0 60.0 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.659 0.729 0.528 0.691
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.223 1.537 16.69 60.0
Secret_07_TRS/5 0.372 60.0 60.0 60.0 60.0 60.0 0.994 60.0 0.872
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.214 0.197 0.21 0.202 0.199 0.217 0.209 0.218
Secret_07_TRS/secret2 0.237 0.241 0.225 0.236 0.218 0.223 0.233 0.241 0.257
Secret_07_TRS/secret3 0.223 0.218 0.227 0.225 0.225 0.222 0.208 0.237 0.213
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.266 0.267 0.273 0.273 0.265 0.249 0.267 0.279
Secret_07_TRS/secret5 0.281 0.283 0.292 0.288 0.287 0.281 0.274 0.275 0.28
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.15 0.151 0.154 0.154 0.154 0.137 0.142 0.136
Strategy_removed_AG01/#4.20a 0.142 0.155 0.172 0.139 0.145 0.139 0.144 0.142 0.146
Strategy_removed_AG01/#4.21 0.132 0.171 0.137 0.137 0.137 0.147 0.144 0.142 0.135
Strategy_removed_AG01/#4.22 0.186 0.164 0.16 0.178 0.165 0.186 0.177 0.168 0.168
Strategy_removed_AG01/#4.23 0.174 0.2 0.178 0.189 0.196 0.211 0.183 0.184 0.181
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.187 0.213 60.0 60.0 0.202 0.185
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.164 0.149 0.15 0.171 0.16 0.154 0.168
Strategy_removed_AG01/#4.33 0.218 60.0 60.0 0.241 0.248 60.0 60.0 0.247 0.236
Strategy_removed_AG01/#4.34 0.193 0.212 0.21 0.206 0.224 0.223 0.209 0.215 0.21
Strategy_removed_AG01/#4.35 0.345 0.323 0.322 0.328 0.327 0.331 0.335 0.358 0.328
Strategy_removed_AG01/#4.36 0.387 0.406 0.394 0.414 0.399 0.408 0.372 0.39 0.395
Strategy_removed_AG01/#4.37 0.175 0.17 0.169 0.18 0.177 0.208 0.18 0.19 0.178
Strategy_removed_AG01/#4.37a 0.177 0.199 0.184 0.175 0.185 0.194 0.182 0.175 0.181
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.204 0.208 0.203 0.2 0.207 0.218 0.187 0.208
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.154 0.154 0.158 0.16 0.173 0.197 0.162 0.154
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.146 0.148 0.149 0.153 0.143 0.14 0.143 0.159
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.156 0.157 0.165 0.179 0.163 0.159 0.17 0.182
TCT_09/ackhofbauer 0.176 0.185 0.179 0.18 0.182 0.182 0.18 0.187 0.185
TCT_09/ackhofbauernonsimp 0.203 0.203 0.203 0.237 0.208 0.199 0.214 0.213 0.209
TCT_09/add 0.14 0.142 0.138 0.144 0.148 0.159 0.139 0.15 0.147
TCT_09/addmult 0.156 0.155 0.156 0.175 0.155 0.155 0.155 0.152 0.151
TCT_09/append 0.139 0.139 0.136 0.154 0.141 0.142 0.155 0.147 0.147
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.141 0.145 0.157 0.138 0.153 0.141 0.153 0.145
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TCT_09/dexpdp2 0.169 0.152 0.169 0.153 0.152 0.148 0.152 0.15 0.148
TCT_09/expantiinn 0.163 0.162 0.179 0.15 0.158 0.164 0.155 0.156 0.157
TCT_09/insertsort 0.195 0.181 0.183 0.197 0.184 0.188 0.186 0.176 0.193
TCT_09/lcs 0.179 0.183 0.186 0.201 0.182 0.2 0.194 0.192 0.195
TCT_09/ma1 0.142 0.149 0.161 0.164 0.147 0.164 0.141 0.144 0.149
TCT_09/ma2 0.15 0.17 0.167 0.142 0.147 0.146 0.169 0.15 0.145
TCT_09/ma3 0.148 0.143 0.148 0.146 0.145 0.143 0.147 0.156 0.15
TCT_09/ma4 0.163 0.172 0.165 0.166 0.163 0.17 0.181 0.172 0.169
TCT_09/ma5 0.152 0.156 0.162 0.165 0.184 0.167 0.151 0.151 0.177
TCT_09/ma6 0.191 0.184 0.178 0.188 0.187 0.181 0.188 0.198 0.196
TCT_09/ma7 0.196 0.223 0.199 0.204 0.215 0.211 0.201 0.223 0.204
TCT_09/ma8 0.158 0.155 0.169 0.157 0.162 0.172 0.161 0.168 0.164
TCT_09/ma9 0.2 0.189 0.179 0.188 0.187 0.195 0.189 0.185 0.172
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.194 0.19 0.207 0.199 0.214 0.189 0.189 0.204
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.167 0.174 0.162 0.174 0.168 0.176 0.165 0.175
TCT_09/supexpur 0.145 0.149 0.154 0.149 0.17 0.154 0.168 0.154 0.152
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.247 0.259 0.257 0.238 0.247 0.242 0.257 0.224
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.581 3.485 60.0 60.0 0.572 0.712
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.319 60.0 1.204 1.626 0.407 1.41 0.41
Transformed_CSR_04/Ex15_Luc06_FR 0.158 0.161 0.152 0.184 0.153 0.157 0.155 0.151 0.155
Transformed_CSR_04/Ex15_Luc06_GM 0.144 0.153 0.176 0.154 0.162 0.172 0.143 0.148 0.148
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.143 0.144 0.154 0.164 0.154 0.155 0.147 0.146
Transformed_CSR_04/Ex15_Luc06_iGM 0.233 0.242 0.246 0.246 0.216 0.23 0.225 0.232 0.233
Transformed_CSR_04/Ex15_Luc98_C 0.483 0.501 0.501 0.497 0.472 0.473 0.481 0.495 0.516
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.263 0.266 0.273 0.259 0.256 0.265 0.267 0.265
Transformed_CSR_04/Ex15_Luc98_Z 0.214 60.0 60.0 0.693 60.0 60.0 60.0 0.238 0.455
Transformed_CSR_04/Ex15_Luc98_iGM 1.472 1.556 1.558 1.506 1.475 1.538 1.517 1.469 1.348
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.15 0.158 0.146 0.136 0.133 0.14 0.144 0.137
Transformed_CSR_04/Ex16_Luc06_GM 0.162 0.147 0.156 0.153 0.151 0.152 0.171 0.15 0.155
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.374 60.0 0.36 0.44 0.276 0.467 0.273
Transformed_CSR_04/Ex18_Luc06_C 0.244 0.239 0.235 0.251 0.238 0.249 0.228 0.244 0.24
Transformed_CSR_04/Ex18_Luc06_FR 0.142 0.144 0.157 0.146 0.148 0.185 0.144 0.15 0.156
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.147 0.149 0.153 0.151 0.473 0.453 0.455 0.478
Transformed_CSR_04/Ex18_Luc06_L 0.148 0.467 0.47 0.441 0.445 0.457 0.137 0.154 0.131
Transformed_CSR_04/Ex18_Luc06_Z 0.155 0.156 0.162 0.141 0.136 0.139 0.134 0.143 0.143
Transformed_CSR_04/Ex18_Luc06_iGM 0.26 0.251 0.288 0.289 0.25 0.255 0.259 0.268 0.264
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.201 0.215 0.212 0.218 0.22 0.226 0.201 0.205
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.208 0.192 0.189 0.196 0.187 0.206 0.213 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.312 0.311 0.323 0.308 0.313 0.314 0.307 0.31
Transformed_CSR_04/Ex1_2_Luc02c_FR 0.153 0.153 0.16 0.171 0.169 0.155 0.169 0.155 0.171
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.158 0.154 0.155 0.157 0.159 0.159 0.156 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.18 0.195 0.188 0.194 0.186 0.192 0.203 0.191
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.944 1.23 60.0 60.0 0.914 0.949
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.163 0.168 0.182 0.164 0.165 0.18 0.179 0.162
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 6.921 9.565 2.464 2.898
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.188 0.189 0.198 0.191 0.197 0.196 0.576 0.593
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 60.0 0.282 0.44 0.311 0.425 0.339 0.297 0.319
Transformed_CSR_04/Ex23_Luc06_C 0.257 0.289 0.273 0.263 0.277 0.255 0.26 0.267 0.27
Transformed_CSR_04/Ex23_Luc06_FR 0.159 0.148 0.164 0.161 0.165 0.157 0.162 0.173 0.151
Transformed_CSR_04/Ex23_Luc06_GM 0.148 0.154 0.172 0.172 0.15 0.15 0.16 0.149 0.154
Transformed_CSR_04/Ex23_Luc06_L 0.136 0.132 0.136 0.13 0.135 0.142 0.131 0.136 0.135
Transformed_CSR_04/Ex23_Luc06_Z 0.141 0.15 0.142 0.14 0.137 0.142 0.137 0.15 0.139
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.275 0.253 0.251 0.251 0.255 0.257 0.252 0.249
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.311 0.298 0.313 0.304 0.307 0.304 0.315 0.322
Transformed_CSR_04/Ex25_Luc06_FR 0.228 0.23 0.217 0.244 0.238 0.253 0.214 0.231 0.267
Transformed_CSR_04/Ex25_Luc06_GM 0.17 0.156 0.156 0.179 0.194 0.16 0.171 0.166 0.17
Transformed_CSR_04/Ex25_Luc06_L 0.137 0.144 0.132 0.134 0.135 0.154 0.131 0.14 0.143
Transformed_CSR_04/Ex25_Luc06_Z 0.206 0.203 0.203 0.208 0.212 0.221 0.211 0.213 0.208
Transformed_CSR_04/Ex25_Luc06_iGM 0.498 0.49 0.484 0.497 0.493 0.517 0.498 0.473 0.516
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.518 0.533 0.521 0.55 0.53 0.521 0.505 0.508
Transformed_CSR_04/Ex26_Luc03b_L 0.151 0.171 0.151 0.143 0.148 0.148 0.14 0.151 0.158
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.457 1.408 1.442 1.378 1.42 1.455 1.462 1.347
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.236 0.233 0.239 0.241 0.258 0.248 0.249 0.227
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.174 0.177 0.186 0.172 0.189 0.174 0.18 0.202
Transformed_CSR_04/Ex2_Luc02a_Z 0.209 0.184 0.203 0.197 0.195 0.196 0.19 0.204 0.197
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.458 0.464 0.48 0.455 0.435 0.462 0.472 0.462
Transformed_CSR_04/Ex2_Luc03b_FR 0.404 0.398 0.411 0.417 0.368 0.396 0.388 0.413 0.394
Transformed_CSR_04/Ex2_Luc03b_GM 0.312 0.326 0.305 0.316 0.307 0.307 0.309 0.31 0.296
Transformed_CSR_04/Ex2_Luc03b_L 0.137 0.14 0.145 0.167 0.141 0.163 0.145 0.151 0.135
Transformed_CSR_04/Ex2_Luc03b_Z 0.216 0.231 0.207 0.208 0.205 0.205 0.207 0.213 0.2
Transformed_CSR_04/Ex2_Luc03b_iGM 1.045 1.033 1.047 1.012 1.077 1.017 1.039 1.004 0.984
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.171 0.164 0.177 0.161 0.171 0.16 0.169 0.179
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.152 0.164 0.152 0.165 0.148 0.147 0.154 0.163
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.439 0.439 0.458 0.445 0.45 0.444 0.451 0.471
Transformed_CSR_04/Ex3_3_25_Bor03_L 0.138 0.142 0.147 0.144 0.159 0.147 0.143 0.146 0.146
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.071 1.122 1.006 1.057 1.126 1.068 1.062 1.069
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.439 0.462 0.442 0.454 0.453 0.427 0.454 0.451
Transformed_CSR_04/Ex49_GM04_Z 0.275 0.271 0.258 0.263 0.254 0.274 0.285 0.264 0.281
Transformed_CSR_04/Ex49_GM04_iGM 0.96 1.001 0.959 0.974 0.982 1.001 1.0 0.997 1.009
Transformed_CSR_04/Ex4_4_Luc96b_C 0.237 0.259 0.262 0.258 0.281 0.269 0.262 0.274 0.264
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.24 0.219 0.236 0.248 0.235 0.231 0.226 0.225
Transformed_CSR_04/Ex4_4_Luc96b_L 0.132 0.134 0.159 0.142 0.135 0.147 0.145 0.147 0.145
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.261 0.265 0.265 0.27 0.281 0.262 0.281 0.255
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.184 0.184 0.194 0.222 0.205 0.185 0.188 0.182
Transformed_CSR_04/Ex4_7_15_Bor03_GM 0.194 0.213 0.181 0.191 0.182 0.192 0.191 0.22 0.201
Transformed_CSR_04/Ex4_7_15_Bor03_L 0.15 0.132 0.15 0.135 0.134 0.143 0.156 0.15 0.144
Transformed_CSR_04/Ex4_7_15_Bor03_Z 0.161 0.166 0.179 0.188 0.163 0.169 0.19 0.169 0.174
Transformed_CSR_04/Ex4_7_15_Bor03_iGM 0.567 0.563 0.555 0.551 0.564 0.56 0.569 0.598 0.583
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.275 60.0 0.314 60.0 0.273
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.174 0.183 0.162 0.167 0.173 0.16 0.162 0.17
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.161 0.146 0.161 0.165 0.151 0.153 0.16 0.154
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.161 0.162 0.166 0.163 0.139 0.141 0.138 0.134
Transformed_CSR_04/Ex4_7_77_Bor03_GM 0.207 0.21 0.228 0.199 0.207 0.22 0.215 0.21 0.22
Transformed_CSR_04/Ex4_7_77_Bor03_iGM 0.406 60.0 0.362 0.308 0.336 60.0 0.35 0.347 0.312
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.167 0.175 0.169 0.166 0.178 0.167 0.186 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.159 0.161 0.161 0.174 0.172 0.183 0.18 0.177
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.232 0.216 0.225 0.229 0.207 0.234 0.213 0.206
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.179 0.187 0.192 0.187 0.203 0.199 0.192 0.2
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.386 0.378 0.393 0.367 0.396 0.372 0.361 0.365
Transformed_CSR_04/Ex6_9_Luc02c_FR 0.167 0.153 0.153 0.171 0.177 0.154 0.156 0.166 0.167
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.146 0.146 0.153 0.139 0.167 0.154 0.15
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.676 60.0 60.0 1.845 1.024 60.0 0.928
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.152 0.146 0.141 0.15 0.138 0.156 0.138 0.14
Transformed_CSR_04/Ex6_GM04_L 0.148 0.145 0.15 0.137 0.14 0.147 0.137 0.138 0.141
Transformed_CSR_04/Ex6_GM04_iGM 0.211 0.223 0.211 0.219 0.212 0.215 0.228 0.563 0.566
Transformed_CSR_04/Ex6_Luc98_C 0.362 0.742 0.748 0.739 0.745 0.749 0.737 0.73 0.356
Transformed_CSR_04/Ex6_Luc98_FR 0.215 0.222 0.209 0.206 0.208 0.23 0.236 0.227 0.227
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.243 0.243 0.268 0.244 0.241 0.243 0.243 0.256
Transformed_CSR_04/Ex6_Luc98_L 0.133 0.137 0.137 0.14 0.141 0.133 0.143 0.153 0.17
Transformed_CSR_04/Ex6_Luc98_Z 0.162 0.161 0.161 0.158 0.166 0.152 0.166 0.156 0.15
Transformed_CSR_04/Ex6_Luc98_iGM 0.572 0.574 0.581 0.551 0.542 0.536 0.574 0.586 0.569
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.175 0.17 0.181 0.173 0.168 0.18 0.173 0.179
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.173 0.18 0.18 0.187 0.212 0.174 0.178 0.192
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.17 0.189 0.186 0.167 0.169 0.169 0.164 0.168
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.543 0.525 0.549 0.54 0.56 0.54 0.522 0.548
Transformed_CSR_04/Ex9_BLR02_L 0.144 0.163 0.145 0.145 0.151 0.152 0.151 0.253 0.25
Transformed_CSR_04/Ex9_BLR02_Z 0.232 0.328 0.358 0.337 0.33 0.336 0.331 0.349 0.212
Transformed_CSR_04/Ex9_BLR02_iGM 1.053 1.063 1.1 1.162 1.159 1.155 1.112 1.125 1.14
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.167 0.171 0.172 0.181 0.186 0.177 0.164 0.18
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.282 0.305 0.299 0.273 0.266 0.276 0.273 0.288
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.268 0.265 0.276 0.25 0.254 0.286 0.273 0.246
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.263 0.258 0.272 0.254 0.26 0.27 0.274 0.269
Transformed_CSR_04/ExConc_Zan97_FR 0.159 0.157 0.153 0.155 0.165 0.148 0.157 0.156 0.17
Transformed_CSR_04/ExConc_Zan97_GM 0.163 0.169 0.146 0.153 0.156 0.146 0.144 0.156 0.174
Transformed_CSR_04/ExConc_Zan97_L 0.142 0.134 0.141 0.133 0.132 0.137 0.145 0.13 0.139
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.336 0.341 0.323 0.344 0.352 0.353 0.331 0.343
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.268 0.279 0.299 0.268 0.268 0.277 0.28 0.256
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 14.545 60.0 14.663 60.0 1.057 60.0 1.101
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.204 0.19 0.205 0.352 0.186 0.201 0.194
Transformed_CSR_04/ExProp7_Luc06_GM 0.351 60.0 0.361 60.0 0.36 60.0 0.339 60.0 0.364
Transformed_CSR_04/ExProp7_Luc06_L 0.179 0.185 0.158 0.157 0.198 0.176 0.162 0.177 0.183
Transformed_CSR_04/ExProp7_Luc06_Z 0.166 0.22 0.177 0.17 0.172 0.213 0.178 0.186 0.188
Transformed_CSR_04/ExProp7_Luc06_iGM 0.503 60.0 0.673 60.0 0.681 60.0 0.605 60.0 0.62
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.66 0.67 0.687 0.681 0.668 0.663 0.327 0.318
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.207 0.219 0.19 0.185 0.199 0.208 0.196 0.196
Transformed_CSR_04/ExSec11_1_Luc02a_Z 0.204 0.206 0.203 0.196 0.207 0.229 0.222 0.199 0.205
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.18 0.18 0.195 0.185 0.199 0.194 0.178 0.195
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.17 0.176 0.172 0.176 0.178 0.172 0.169 0.174
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.419 12.841 60.0 60.0 0.425 0.478
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.161 0.163 0.174 0.169 0.176 0.172 0.162 0.171
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.44 3.443 3.334 3.464 3.33 3.346 3.47 3.322
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 4.281 4.166 4.288 4.339 4.146 4.209 4.055 4.161
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.408 3.462 3.469 3.458 3.44 3.363 3.539 3.25
Transformed_CSR_04/PALINDROME_complete_Z 1.526 1.525 1.486 1.563 1.478 1.508 1.557 1.496 1.521
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.947 6.202 6.25 6.189 6.082 6.131 6.13 6.39
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.659 0.699 0.667 0.696 0.721 0.649 0.673 0.704
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.657 0.667 0.667 0.677 0.673 0.639 0.694 0.636
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.635 0.629 0.618 0.625 0.595 0.592 0.609 0.612
Transformed_CSR_04/PALINDROME_nokinds_GM 0.485 0.455 0.469 0.465 0.475 0.467 0.449 0.466 0.467
Transformed_CSR_04/PALINDROME_nokinds_Z 0.551 0.567 0.558 0.561 0.572 0.588 0.579 0.582 0.571
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 1.272 1.29 0.886 0.906 0.899 0.879 0.914 0.859
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.154 0.159 0.155 0.158 0.156 0.161 0.166 0.177
Transformed_CSR_04/PALINDROME_nosorts-noand_L 0.164 0.156 0.155 0.149 0.157 0.16 0.15 0.166 0.167
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.147 0.158 0.17 0.153 0.156 0.152 0.16 0.159
Transformed_CSR_04/PALINDROME_nosorts_GM 0.383 0.379 0.391 0.399 0.371 0.4 0.361 0.363 0.405
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.307 0.304 0.315 0.338 0.31 0.329 0.341 0.303
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.531 1.545 1.517 1.588 1.6 1.597 1.603 1.625
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 2.045 2.025 2.042 1.998 1.932 1.957 1.916 2.001
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.912 1.905 1.93 1.883 1.867 1.861 1.928 1.906
Transformed_CSR_04/PEANO_complete_Z 1.024 1.103 1.085 1.06 1.018 1.051 1.087 1.035 1.075
Transformed_CSR_04/PEANO_complete_iGM 4.343 4.451 4.499 4.551 4.385 4.428 4.491 4.459 4.46
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.165 2.079 2.128 2.153 2.045 2.119 2.135 2.083
Transformed_CSR_04/ PEANO_complete_noand_iGM 13.737 13.841 13.683 13.548 13.542 14.086 14.29 13.554 13.482
Transformed_CSR_04/PEANO_nokinds-noand_FR 0.57 0.526 0.553 0.543 0.586 0.587 0.565 0.58 0.583
Transformed_CSR_04/PEANO_nokinds-noand_Z 0.607 0.594 0.565 0.585 0.581 0.572 0.549 0.592 0.549
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.486 0.47 0.451 0.446 0.449 0.428 0.463 0.468
Transformed_CSR_04/PEANO_nokinds_GM 0.772 0.775 0.824 0.84 0.796 0.82 0.795 0.801 0.784
Transformed_CSR_04/PEANO_nokinds_Z 0.467 0.515 0.494 0.507 0.476 0.501 0.499 0.517 0.505
Transformed_CSR_04/PEANO_nokinds_iGM 1.463 1.566 1.404 1.485 1.492 1.553 1.53 1.563 1.508
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.666 0.686 0.702 0.697 0.708 0.687 0.686 0.697
Transformed_CSR_04/PEANO_nokinds_noand_iGM 2.127 2.149 2.244 2.194 2.219 2.254 2.224 2.193 2.189
Transformed_CSR_04/PEANO_nosorts-noand_FR 0.207 0.224 0.195 0.199 0.228 0.201 0.217 0.201 0.227
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.149 0.147 0.147 0.152 0.152 0.145 0.155 0.151
Transformed_CSR_04/PEANO_nosorts_GM 0.233 0.224 0.208 0.233 0.22 0.199 0.211 0.209 0.212
Transformed_CSR_04/PEANO_nosorts_iGM 0.505 0.502 0.538 0.502 0.523 0.491 0.506 0.521 0.544
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.243 0.238 0.238 0.243 0.228 0.252 0.252 0.246
Transformed_CSR_04/PEANO_nosorts_noand_iGM 0.693 0.679 0.689 0.659 0.721 0.709 0.681 0.718 0.733
Various_04/02 0.135 0.134 0.137 0.14 0.144 0.149 0.148 0.151 0.136
Various_04/03 0.142 0.159 0.159 0.146 0.136 0.147 0.148 0.148 0.137
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.171 0.152 0.155 0.149 0.154 0.164 0.168 0.167
Various_04/07 0.153 0.134 0.155 0.135 0.137 0.142 0.143 0.134 0.136
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.152 0.158 0.154 0.162 0.18 0.15 0.154 0.165
Various_04/10 0.292 60.0 36.706 60.0 44.619 60.0 36.704 60.0 0.384
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 60.0 60.0 60.0 60.0 0.405
Various_04/13 0.258 60.0 60.0 60.0 60.0 60.0 60.0 60.0 0.623
Various_04/14 0.622 0.627 0.607 0.632 0.642 0.633 0.612 0.649 0.656
Various_04/15 0.151 60.0 0.215 0.168 0.176 0.177 0.17 0.163 0.168
Various_04/18 0.154 0.183 0.161 0.159 0.163 0.159 0.16 0.155 0.157
Various_04/19 0.226 0.236 0.235 0.234 0.208 0.214 0.225 0.244 0.222
Various_04/21 0.418 0.43 0.426 0.435 0.457 0.421 0.43 0.437 0.449
Various_04/22 0.15 0.146 0.155 0.168 0.143 0.151 0.144 0.153 0.15
Various_04/23 0.188 0.201 0.182 0.186 0.191 0.187 0.194 0.178 0.186
Various_04/24 0.198 0.189 0.197 0.195 0.181 0.18 0.192 0.196 0.194
Various_04/25 0.134 0.134 0.134 0.146 0.143 0.136 0.134 0.147 0.151
Various_04/26 0.186 0.181 0.191 0.187 0.199 0.19 0.185 0.18 0.182
Various_04/27 0.133 0.141 0.156 0.144 0.16 0.131 0.137 0.146 0.137
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.198 0.481 0.191 0.473 0.226 0.258 0.232 0.254
Waldmann_06/jwmatchb1 0.146 60.0 0.588 60.0 0.571 0.181 0.193 0.195 0.195
Waldmann_06/jwmatchb2 0.165 60.0 0.629 60.0 0.642 0.21 0.181 0.18 0.192
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.25 0.675 0.26 0.687 0.295 0.332 0.294 0.309
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.168 0.175 0.177 0.175 0.17 0.196 0.19 0.169
Zantema_05/jw02 0.15 0.173 0.163 0.169 0.172 0.183 0.169 0.179 0.167
Zantema_05/jw03 0.148 0.212 0.159 0.169 0.167 0.174 0.17 0.171 0.169
Zantema_05/jw04 0.144 0.198 0.174 0.162 0.17 0.176 0.161 0.17 0.161
Zantema_05/jw05 0.159 0.196 0.175 0.179 0.162 0.174 0.17 0.178 0.158
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
Zantema_05/jw06 0.153 0.168 0.186 0.162 0.162 0.194 0.168 0.17 0.168
Zantema_05/jw07 0.154 0.184 0.179 0.171 0.175 0.185 0.187 0.169 0.163
Zantema_05/jw08 0.161 0.177 0.172 0.162 0.19 0.212 0.169 0.174 0.175
Zantema_05/jw09 0.16 0.167 0.171 0.179 0.165 0.184 0.183 0.19 0.171
Zantema_05/jw11 0.146 0.148 0.155 0.144 0.144 0.142 0.154 0.145 0.143
Zantema_05/jw12 0.157 0.147 0.142 0.154 0.151 0.501 0.502 0.504 0.516
Zantema_05/jw13 0.163 0.584 0.568 0.585 0.566 0.581 0.188 0.187 0.186
Zantema_05/jw14 0.144 0.156 0.137 0.137 0.146 0.144 0.136 0.134 0.15
Zantema_05/jw15 0.17 0.178 0.183 0.162 0.168 0.174 0.171 0.186 0.172
Zantema_05/jw16 0.15 0.166 0.194 0.172 0.166 0.187 0.168 0.177 0.177
Zantema_05/jw17 0.152 0.185 0.186 0.184 0.162 0.172 0.181 0.171 0.179
Zantema_05/jw18 0.158 0.167 0.179 0.188 0.166 0.197 0.18 0.168 0.174
Zantema_05/jw19 0.153 0.174 0.237 0.198 0.263 0.205 0.219 0.214 0.238
Zantema_05/jw20 0.164 0.173 0.184 0.176 0.165 0.183 0.175 0.196 0.162
Zantema_05/jw21 0.154 0.179 0.171 0.181 0.203 0.192 0.199 0.19 0.175
Zantema_05/jw22 0.171 0.184 0.166 0.177 0.168 0.174 0.174 0.181 0.167
Zantema_05/jw23 0.159 0.185 0.164 0.173 0.171 0.191 0.167 0.207 0.199
Zantema_05/jw24 0.167 0.18 0.167 0.169 0.174 0.182 0.175 0.178 0.182
Zantema_05/jw25 0.161 0.167 0.195 0.179 0.173 0.172 0.183 0.173 0.172
Zantema_05/jw26 0.157 0.171 0.166 0.168 0.171 0.204 0.167 0.183 0.17
Zantema_05/jw27 0.152 0.179 0.188 0.165 0.174 0.182 0.176 0.169 0.176
Zantema_05/jw28 0.163 0.17 0.18 0.161 0.166 0.204 0.168 0.182 0.173
Zantema_05/jw29 0.154 0.164 0.164 0.185 0.181 0.199 0.17 0.183 0.162
Zantema_05/jw30 0.164 0.185 0.259 0.179 0.239 0.214 0.217 0.242 0.235
Zantema_05/jw31 0.148 0.172 0.178 0.162 0.169 0.177 0.189 0.179 0.165
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.18 0.164 0.182 0.283 0.291 0.289 0.307
Zantema_05/jw33 0.152 0.309 0.302 0.163 0.297 0.181 0.168 0.177 0.176
Zantema_05/jw34 0.161 0.171 0.166 0.172 0.168 0.175 0.178 0.185 0.173
Zantema_05/jw35 0.136 0.135 0.161 0.141 0.143 0.137 0.141 0.149 0.149
Zantema_05/jw36 0.164 0.178 0.16 0.18 0.165 0.184 0.165 0.179 0.165
Zantema_05/jw37 0.144 0.146 0.145 0.142 0.177 0.15 0.145 0.151 0.15
Zantema_05/jw38 0.154 0.148 0.145 0.157 0.162 0.162 0.154 0.154 0.144
Zantema_05/jw39 0.163 0.166 0.167 0.181 0.188 0.195 0.175 0.18 0.179
Zantema_05/jw40 0.154 0.176 0.17 0.187 0.18 0.181 0.166 0.199 0.177
Zantema_05/jw41 0.161 0.165 0.179 0.167 0.168 0.192 0.169 0.171 0.171
Zantema_05/jw42 0.169 0.177 0.173 0.164 0.164 0.202 0.177 0.201 0.17
Zantema_05/jw43 0.17 0.174 0.162 0.169 0.182 0.176 0.181 0.177 0.172
Zantema_05/jw44 0.157 0.168 0.17 0.142 0.141 0.153 0.149 0.147 0.143
Zantema_05/jw47 0.153 0.174 0.157 0.145 0.15 0.149 0.151 0.145 0.145
Zantema_05/jw50 0.159 0.183 0.172 0.167 0.168 0.189 0.192 0.181 0.179
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.401 0.397 0.36 0.407 0.214 0.254 0.217 0.271
Zantema_05/z03 0.169 60.0 0.702 60.0 0.687 0.281 0.458 0.248 0.434
Zantema_05/z04 0.161 0.166 0.159 0.164 0.198 0.172 0.159 0.161 0.179
Zantema_05/z05 0.186 60.0 60.0 60.0 60.0 0.237 60.0 0.235 60.0
Zantema_05/z06 0.196 60.0 0.544 0.226 0.369 0.281 0.32 0.27 0.293
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.169 60.0 0.167 60.0 0.187 60.0 0.226
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.522 0.223 0.342 60.0 0.237 0.25 0.233
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.405 60.0 0.417
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.339 60.0 0.35
Zantema_05/z22 0.227 60.0 9.848 60.0 9.98 0.55 0.317 0.56 0.301
Zantema_05/z23 0.177 60.0 14.592 60.0 3.26 60.0 0.416 60.0 0.412
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.44 60.0 0.443 0.248 0.249 0.26 0.288
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.503 60.0 0.487 60.0 0.504 60.0 0.517
Zantema_05/z29 0.182 0.201 0.204 0.179 0.191 0.185 0.173 0.178 0.182
Zantema_05/z30 0.204 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Yes No Maybe Timeout