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 |
|