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