problem |
pm |
bpm |
bprm |
AG01/#3.12 |
1.306 |
6.308 |
11.319 |
AG01/#3.15 |
0.223 |
5.221 |
10.238 |
AG01/#3.17 |
1.51 |
6.522 |
12.399 |
AG01/#3.17a |
1.656 |
6.679 |
12.758 |
AG01/#3.24 |
0.181 |
0.162 |
0.174 |
AG01/#3.26 |
1.173 |
6.188 |
11.189 |
AG01/#3.33 |
0.262 |
0.163 |
0.18 |
AG01/#3.35 |
0.196 |
0.178 |
0.167 |
AG01/#3.37 |
1.207 |
0.246 |
0.245 |
AG01/#3.49 |
1.295 |
6.3 |
11.309 |
AG01/#3.51 |
1.248 |
0.21 |
0.201 |
AG01/#3.56 |
0.279 |
0.179 |
0.181 |
AG01/#3.7 |
0.203 |
5.215 |
10.225 |
AProVE_04/LPAR_intlist |
1.309 |
6.314 |
11.332 |
AProVE_04/Liveness6.1 |
2.472 |
7.489 |
12.488 |
AProVE_04/Liveness6.2 |
1.307 |
6.309 |
11.312 |
AProVE_04/Liveness6.3 |
2.998 |
0.214 |
0.223 |
AProVE_04/Liveness6.4 |
1.612 |
6.61 |
11.611 |
AProVE_04/Liveness8 |
1.988 |
0.277 |
0.293 |
AProVE_04/Liveness_WRS |
4.016 |
0.245 |
0.265 |
AProVE_06/identity |
1.328 |
6.347 |
11.356 |
AProVE_06/nonterm |
1.287 |
6.279 |
11.291 |
AProVE_06/tower_sizeChange |
1.367 |
6.392 |
11.399 |
AProVE_08/round |
1.217 |
6.227 |
11.234 |
AProVE_08/round_nonterm |
1.208 |
6.222 |
11.235 |
problem |
pm |
bpm |
bprm |
AotoYamada_05/005 |
0.239 |
0.173 |
0.157 |
AotoYamada_05/017 |
0.135 |
0.137 |
0.146 |
AotoYamada_05/023 |
0.196 |
0.159 |
0.15 |
AotoYamada_05/025 |
0.127 |
0.139 |
0.143 |
Applicative_05/Ex2_6_1Composition |
0.146 |
0.151 |
0.139 |
Applicative_05/ReverseLastInit |
1.362 |
0.232 |
0.216 |
Applicative_05/TypeEx5 |
1.171 |
6.181 |
11.18 |
Bouchare_06/01 |
1.217 |
0.145 |
0.153 |
Bouchare_06/02 |
0.187 |
0.155 |
0.152 |
Bouchare_06/03 |
1.209 |
0.15 |
0.151 |
Bouchare_06/04 |
1.222 |
0.162 |
0.163 |
Bouchare_06/05 |
1.2 |
0.151 |
0.142 |
Bouchare_06/06 |
1.243 |
0.149 |
0.146 |
Bouchare_06/07 |
1.22 |
0.158 |
0.153 |
Bouchare_06/08 |
1.211 |
0.134 |
0.145 |
Bouchare_06/09 |
1.209 |
0.141 |
0.155 |
Bouchare_06/10 |
1.216 |
0.151 |
0.15 |
Bouchare_06/11 |
1.182 |
0.146 |
0.142 |
Bouchare_06/12 |
1.198 |
6.204 |
11.208 |
Bouchare_06/13 |
1.219 |
0.158 |
0.157 |
Bouchare_06/14 |
1.195 |
0.146 |
0.136 |
Bouchare_06/15 |
1.217 |
0.154 |
0.141 |
Bouchare_06/16 |
1.193 |
0.15 |
0.137 |
Bouchare_06/17 |
1.192 |
0.144 |
0.142 |
Bouchare_06/18 |
1.202 |
0.153 |
0.151 |
problem |
pm |
bpm |
bprm |
CiME_04/dpqs |
1.271 |
0.169 |
0.171 |
CiME_04/filliatre |
1.402 |
6.414 |
11.435 |
CiME_04/filliatre2 |
1.556 |
6.564 |
11.553 |
Der95/01 |
0.193 |
0.198 |
0.203 |
Der95/02 |
0.167 |
0.168 |
0.184 |
Der95/03 |
0.134 |
0.131 |
0.142 |
Der95/04 |
0.162 |
0.143 |
0.15 |
Der95/06 |
1.191 |
0.15 |
0.16 |
Der95/07 |
0.21 |
0.157 |
0.15 |
Der95/09 |
0.152 |
0.132 |
0.144 |
Der95/17 |
1.294 |
0.188 |
0.196 |
Der95/20 |
1.23 |
6.222 |
11.236 |
Der95/27 |
0.156 |
0.154 |
0.167 |
Endrullis_06/direct |
1.234 |
0.347 |
0.33 |
Endrullis_06/linear1 |
1.227 |
0.158 |
0.168 |
Endrullis_06/linear2 |
1.289 |
0.162 |
0.157 |
Endrullis_06/pair3rotate |
1.227 |
0.14 |
0.145 |
Endrullis_06/pair3swap |
1.236 |
0.155 |
0.156 |
Endrullis_06/quadruple1 |
1.212 |
0.147 |
0.145 |
Endrullis_06/quadruple2 |
1.239 |
0.137 |
0.155 |
Gebhardt_06/01 |
1.236 |
0.137 |
0.152 |
Gebhardt_06/02 |
1.241 |
0.148 |
0.143 |
Gebhardt_06/03 |
1.255 |
0.137 |
0.137 |
Gebhardt_06/04 |
1.23 |
0.148 |
0.151 |
Gebhardt_06/05 |
1.259 |
0.174 |
0.162 |
problem |
pm |
bpm |
bprm |
Gebhardt_06/06 |
1.254 |
0.146 |
0.138 |
Gebhardt_06/07 |
1.247 |
0.138 |
0.154 |
Gebhardt_06/08 |
1.241 |
0.152 |
0.171 |
Gebhardt_06/09 |
1.227 |
0.14 |
0.145 |
Gebhardt_06/10 |
1.266 |
0.155 |
0.152 |
Gebhardt_06/11 |
1.251 |
0.137 |
0.139 |
Gebhardt_06/12 |
1.269 |
0.153 |
0.164 |
Gebhardt_06/13 |
1.241 |
0.148 |
0.137 |
Gebhardt_06/14 |
1.251 |
0.157 |
0.141 |
Gebhardt_06/15 |
1.259 |
0.143 |
0.139 |
Gebhardt_06/16 |
1.253 |
0.151 |
0.165 |
Gebhardt_06/17 |
1.249 |
0.14 |
0.143 |
Gebhardt_06/18 |
1.237 |
0.142 |
0.164 |
Gebhardt_06/19 |
1.256 |
0.151 |
0.144 |
Gebhardt_06/20 |
1.26 |
0.153 |
0.148 |
HirokawaMiddeldorp_04/n002 |
1.144 |
6.152 |
11.158 |
HirokawaMiddeldorp_04/n003 |
1.134 |
6.148 |
11.155 |
HirokawaMiddeldorp_04/n004 |
1.149 |
6.14 |
11.14 |
HirokawaMiddeldorp_04/n005 |
1.155 |
6.154 |
11.16 |
HirokawaMiddeldorp_04/n006 |
1.142 |
6.145 |
11.157 |
HirokawaMiddeldorp_04/n008 |
1.138 |
0.151 |
0.138 |
HirokawaMiddeldorp_04/t000 |
2.34 |
7.329 |
6.779 |
HirokawaMiddeldorp_04/t004 |
1.206 |
6.211 |
11.201 |
HirokawaMiddeldorp_04/t006 |
0.141 |
0.138 |
0.14 |
HirokawaMiddeldorp_04/t007 |
0.169 |
0.177 |
0.184 |
problem |
pm |
bpm |
bprm |
HirokawaMiddeldorp_04/t008 |
1.251 |
0.163 |
0.162 |
HirokawaMiddeldorp_04/t009 |
2.323 |
7.373 |
12.38 |
HirokawaMiddeldorp_04/t010 |
0.157 |
0.146 |
0.159 |
HirokawaMiddeldorp_04/t011 |
0.172 |
5.162 |
10.165 |
HirokawaMiddeldorp_04/t012 |
1.257 |
6.248 |
11.425 |
Mixed_SRS/01-oppelt08 |
1.398 |
6.388 |
11.388 |
Mixed_SRS/01 |
1.224 |
0.152 |
0.142 |
Mixed_SRS/02-oppelt08 |
1.227 |
0.14 |
0.14 |
Mixed_SRS/02 |
1.227 |
0.144 |
0.156 |
Mixed_SRS/03-oppelt08 |
1.243 |
0.158 |
0.154 |
Mixed_SRS/03 |
1.211 |
0.145 |
0.135 |
Mixed_SRS/04-oppelt08 |
1.237 |
0.153 |
0.158 |
Mixed_SRS/04 |
1.219 |
0.156 |
0.15 |
Mixed_SRS/05-oppelt08 |
1.231 |
0.144 |
0.157 |
Mixed_SRS/05 |
1.223 |
0.137 |
0.149 |
Mixed_SRS/06-oppelt08 |
1.215 |
6.21 |
11.222 |
Mixed_SRS/06 |
1.215 |
0.146 |
0.136 |
Mixed_SRS/07-oppelt08 |
1.301 |
6.277 |
11.288 |
Mixed_SRS/07 |
1.209 |
0.143 |
0.145 |
Mixed_SRS/08-oppelt08 |
1.283 |
6.274 |
11.28 |
Mixed_SRS/08 |
1.243 |
0.145 |
0.15 |
Mixed_SRS/09 |
1.212 |
0.152 |
0.153 |
Mixed_SRS/1 |
1.202 |
6.187 |
11.205 |
Mixed_SRS/2 |
1.212 |
0.137 |
0.146 |
Mixed_SRS/3 |
1.206 |
0.136 |
0.148 |
problem |
pm |
bpm |
bprm |
Mixed_SRS/4 |
1.325 |
0.142 |
0.156 |
Mixed_SRS/s6 |
2.472 |
0.271 |
0.267 |
Mixed_SRS/touzet |
1.195 |
0.138 |
0.154 |
Mixed_SRS/turing_add |
0.373 |
0.176 |
0.18 |
Mixed_SRS/turing_copy |
6.199 |
0.635 |
0.618 |
Mixed_SRS/turing_mult |
14.793 |
0.31 |
0.297 |
Mixed_TRS/1 |
1.191 |
0.145 |
0.155 |
Mixed_TRS/2 |
1.19 |
0.139 |
0.145 |
Mixed_TRS/4 |
1.189 |
0.147 |
0.143 |
Mixed_TRS/6 |
1.173 |
0.139 |
0.139 |
Mixed_TRS/Ex1_Luc04b_GM |
1.594 |
6.596 |
11.58 |
Mixed_TRS/beans |
1.326 |
0.168 |
0.156 |
Mixed_TRS/jones1 |
0.185 |
0.176 |
0.171 |
Mixed_TRS/jones4 |
0.154 |
0.16 |
0.165 |
Mixed_TRS/jones6 |
0.22 |
0.208 |
0.201 |
Rubio_04/aoto |
0.18 |
0.135 |
0.15 |
Rubio_04/bintrees |
0.208 |
0.956 |
0.921 |
Rubio_04/bn129 |
1.214 |
0.139 |
0.142 |
Rubio_04/gmnp |
1.274 |
0.206 |
0.214 |
Rubio_04/koen |
0.152 |
0.265 |
0.261 |
Rubio_04/lescanne |
0.197 |
0.144 |
0.149 |
Rubio_04/lindau |
1.245 |
0.147 |
0.145 |
Rubio_04/mfp90b |
0.155 |
0.162 |
0.162 |
Rubio_04/mfp95 |
0.169 |
0.147 |
0.16 |
Rubio_04/nestrec |
1.181 |
6.186 |
11.191 |
problem |
pm |
bpm |
bprm |
Rubio_04/p266 |
0.185 |
0.15 |
0.161 |
Rubio_04/test4 |
1.222 |
0.197 |
0.209 |
Rubio_04/test829 |
0.189 |
0.189 |
0.196 |
SK90/2.01 |
0.24 |
0.189 |
0.179 |
SK90/2.02 |
1.215 |
0.149 |
0.156 |
SK90/2.03 |
0.203 |
0.159 |
0.169 |
SK90/2.04 |
0.163 |
0.146 |
0.149 |
SK90/2.06 |
0.211 |
0.141 |
0.14 |
SK90/2.09 |
0.17 |
0.167 |
0.159 |
SK90/2.10 |
1.308 |
0.169 |
0.169 |
SK90/2.11 |
0.187 |
0.173 |
0.176 |
SK90/2.14 |
1.277 |
0.19 |
0.176 |
SK90/2.31 |
0.228 |
0.228 |
0.247 |
SK90/2.33 |
0.204 |
0.179 |
0.193 |
SK90/2.34 |
1.233 |
0.632 |
0.645 |
SK90/2.36 |
0.178 |
5.19 |
10.177 |
SK90/2.38 |
0.2 |
0.164 |
0.17 |
SK90/2.39 |
1.302 |
6.298 |
11.449 |
SK90/2.41 |
0.218 |
0.285 |
0.264 |
SK90/2.42 |
1.395 |
0.176 |
0.193 |
SK90/2.46 |
0.164 |
0.147 |
0.152 |
SK90/2.47 |
0.175 |
0.163 |
0.153 |
SK90/2.48 |
0.173 |
0.192 |
0.191 |
SK90/2.49 |
0.189 |
0.177 |
0.182 |
SK90/2.50 |
1.156 |
0.135 |
0.139 |
problem |
pm |
bpm |
bprm |
SK90/2.53 |
0.185 |
0.171 |
0.171 |
SK90/2.54 |
0.153 |
0.158 |
0.157 |
SK90/2.55 |
0.161 |
5.157 |
10.169 |
SK90/2.56 |
0.149 |
0.174 |
0.162 |
SK90/2.60 |
0.19 |
0.16 |
0.157 |
SK90/2.61 |
0.245 |
5.255 |
5.26 |
SK90/4.01 |
0.169 |
0.163 |
0.159 |
SK90/4.04 |
0.17 |
0.153 |
0.148 |
SK90/4.07 |
0.196 |
0.203 |
0.197 |
SK90/4.08 |
0.161 |
0.149 |
0.15 |
SK90/4.11 |
0.18 |
0.146 |
0.148 |
SK90/4.12 |
0.172 |
5.17 |
5.227 |
SK90/4.15 |
0.166 |
0.146 |
0.154 |
SK90/4.16 |
0.258 |
0.184 |
0.188 |
SK90/4.19 |
0.179 |
0.158 |
0.152 |
SK90/4.25 |
0.166 |
5.186 |
10.186 |
SK90/4.26 |
1.272 |
0.187 |
0.191 |
SK90/4.27 |
1.303 |
6.297 |
11.707 |
SK90/4.29 |
0.223 |
0.216 |
0.238 |
SK90/4.30 |
2.547 |
0.227 |
0.23 |
SK90/4.32 |
1.267 |
0.174 |
0.171 |
SK90/4.33 |
0.146 |
0.142 |
0.139 |
SK90/4.34 |
1.179 |
6.175 |
11.174 |
SK90/4.35 |
0.154 |
0.144 |
0.14 |
SK90/4.36 |
0.154 |
0.136 |
0.141 |
problem |
pm |
bpm |
bprm |
SK90/4.37 |
0.127 |
0.131 |
0.146 |
SK90/4.38 |
0.207 |
0.196 |
0.206 |
SK90/4.39 |
0.169 |
0.155 |
0.143 |
SK90/4.43 |
1.472 |
6.487 |
11.496 |
SK90/4.44 |
0.173 |
0.155 |
0.163 |
SK90/4.45 |
0.147 |
0.177 |
0.197 |
SK90/4.46 |
0.144 |
0.159 |
0.158 |
SK90/4.47 |
0.27 |
0.558 |
0.539 |
SK90/4.48 |
0.165 |
0.164 |
0.172 |
SK90/4.51 |
1.226 |
0.242 |
0.237 |
SK90/4.52 |
0.267 |
0.154 |
0.163 |
SK90/4.55 |
1.165 |
0.197 |
0.203 |
SK90/4.56 |
0.168 |
0.167 |
0.169 |
Secret_05_SRS/aprove1 |
1.437 |
6.43 |
11.436 |
Secret_05_SRS/aprove2 |
1.41 |
0.188 |
0.192 |
Secret_05_SRS/aprove3 |
1.351 |
6.367 |
11.343 |
Secret_05_SRS/aprove4 |
1.441 |
0.164 |
0.18 |
Secret_05_SRS/aprove5 |
1.464 |
6.448 |
11.456 |
Secret_05_SRS/jambox1 |
1.223 |
0.164 |
0.154 |
Secret_05_SRS/jambox2 |
1.32 |
0.152 |
0.16 |
Secret_05_SRS/jambox3 |
1.262 |
0.168 |
0.154 |
Secret_05_SRS/jambox4 |
1.223 |
0.159 |
0.154 |
Secret_05_SRS/jambox5 |
1.279 |
0.175 |
0.163 |
Secret_05_SRS/matchbox1 |
1.355 |
0.162 |
0.157 |
Secret_05_SRS/matchbox2 |
1.387 |
0.224 |
0.217 |
problem |
pm |
bpm |
bprm |
Secret_05_SRS/torpa1 |
1.286 |
0.179 |
0.167 |
Secret_05_SRS/torpa2 |
1.205 |
0.139 |
0.137 |
Secret_05_SRS/torpa3 |
1.237 |
0.189 |
0.19 |
Secret_05_SRS/torpa4 |
1.403 |
6.401 |
11.408 |
Secret_05_TRS/matchbox2 |
1.161 |
0.148 |
0.141 |
Secret_05_TRS/teparla1 |
1.219 |
0.15 |
0.152 |
Secret_05_TRS/teparla2 |
1.227 |
0.156 |
0.154 |
Secret_05_TRS/teparla3 |
1.219 |
0.152 |
0.158 |
Secret_05_TRS/ttt2 |
1.177 |
6.176 |
11.18 |
Secret_06_SRS/1-matchbox |
1.217 |
0.143 |
0.138 |
Secret_06_SRS/1 |
1.246 |
0.162 |
0.169 |
Secret_06_SRS/10 |
1.212 |
6.226 |
11.217 |
Secret_06_SRS/2-matchbox |
1.357 |
0.163 |
0.146 |
Secret_06_SRS/2 |
1.238 |
0.154 |
0.156 |
Secret_06_SRS/3-matchbox |
2.718 |
0.151 |
0.151 |
Secret_06_SRS/3 |
1.228 |
0.148 |
0.138 |
Secret_06_SRS/5-matchbox |
1.274 |
0.341 |
0.346 |
Secret_06_SRS/5 |
1.234 |
0.159 |
0.165 |
Secret_06_SRS/6 |
1.251 |
0.155 |
0.151 |
Secret_06_SRS/7 |
1.233 |
6.217 |
11.228 |
Secret_06_SRS/8 |
1.246 |
0.149 |
0.161 |
Secret_06_SRS/9 |
1.23 |
6.232 |
11.254 |
Secret_06_SRS/aprove00 |
1.428 |
0.235 |
0.214 |
Secret_06_SRS/aprove01 |
1.682 |
0.517 |
0.53 |
Secret_06_SRS/aprove02 |
1.975 |
0.668 |
0.63 |
problem |
pm |
bpm |
bprm |
Secret_06_SRS/aprove03 |
2.416 |
7.535 |
12.453 |
Secret_06_SRS/aprove04 |
2.418 |
7.465 |
12.407 |
Secret_06_SRS/aprove05 |
2.001 |
0.365 |
0.351 |
Secret_06_SRS/aprove06 |
2.074 |
7.039 |
12.088 |
Secret_06_SRS/aprove07 |
1.734 |
0.741 |
0.717 |
Secret_06_SRS/aprove08 |
1.695 |
0.344 |
0.338 |
Secret_06_SRS/aprove09 |
1.587 |
0.247 |
0.255 |
Secret_06_SRS/multum1 |
1.223 |
0.154 |
0.143 |
Secret_06_SRS/multum2 |
1.238 |
0.138 |
0.152 |
Secret_06_SRS/multum3 |
1.23 |
0.139 |
0.146 |
Secret_06_SRS/multum4 |
1.495 |
0.184 |
0.16 |
Secret_06_SRS/multum5 |
1.22 |
0.148 |
0.152 |
Secret_06_SRS/multum6 |
1.439 |
0.154 |
0.162 |
Secret_06_SRS/secr1 |
1.192 |
0.145 |
0.141 |
Secret_06_SRS/secr10 |
1.401 |
0.149 |
0.172 |
Secret_06_SRS/secr2 |
1.249 |
0.161 |
0.163 |
Secret_06_SRS/secr3 |
1.272 |
0.175 |
0.163 |
Secret_06_SRS/secr4 |
1.352 |
0.222 |
0.236 |
Secret_06_SRS/secr5 |
2.496 |
0.169 |
0.163 |
Secret_06_SRS/secr6 |
1.256 |
0.162 |
0.163 |
Secret_06_SRS/secr7 |
1.234 |
0.152 |
0.157 |
Secret_06_SRS/secr8 |
1.24 |
6.246 |
11.254 |
Secret_06_SRS/secr9 |
1.498 |
0.158 |
0.163 |
Secret_06_TRS/10 |
1.235 |
0.174 |
0.171 |
Secret_06_TRS/2 |
1.272 |
0.17 |
0.152 |
problem |
pm |
bpm |
bprm |
Secret_06_TRS/3 |
1.251 |
0.169 |
0.158 |
Secret_06_TRS/4 |
1.224 |
0.167 |
0.162 |
Secret_06_TRS/5 |
1.238 |
0.149 |
0.138 |
Secret_06_TRS/6 |
2.364 |
0.15 |
0.152 |
Secret_06_TRS/7 |
1.331 |
0.164 |
0.164 |
Secret_06_TRS/8 |
1.267 |
0.16 |
0.17 |
Secret_06_TRS/9 |
1.249 |
0.167 |
0.156 |
Secret_06_TRS/tpa01 |
1.163 |
0.141 |
0.143 |
Secret_06_TRS/tpa02 |
1.16 |
0.148 |
0.156 |
Secret_06_TRS/tpa03 |
1.162 |
0.142 |
0.137 |
Secret_07_SRS/dj |
1.244 |
0.144 |
0.157 |
Secret_07_SRS/num-514 |
1.22 |
0.157 |
0.173 |
Secret_07_SRS/num-515 |
1.208 |
0.158 |
0.159 |
Secret_07_SRS/num-518 |
1.218 |
6.231 |
11.233 |
Secret_07_SRS/num-519 |
1.216 |
6.225 |
11.232 |
Secret_07_SRS/num-520 |
1.211 |
0.16 |
0.156 |
Secret_07_SRS/num-521 |
1.22 |
0.161 |
0.148 |
Secret_07_SRS/num-525 |
1.222 |
6.21 |
11.212 |
Secret_07_SRS/num-527 |
1.219 |
6.226 |
11.233 |
Secret_07_SRS/num-530 |
1.236 |
0.156 |
0.144 |
Secret_07_SRS/num-539 |
1.242 |
0.165 |
0.158 |
Secret_07_SRS/x01 |
1.224 |
6.228 |
11.24 |
Secret_07_SRS/x02 |
1.221 |
6.219 |
11.215 |
Secret_07_SRS/x03 |
1.219 |
0.157 |
0.146 |
Secret_07_SRS/x04 |
2.665 |
0.163 |
0.17 |
problem |
pm |
bpm |
bprm |
Secret_07_SRS/x05 |
1.245 |
0.233 |
0.23 |
Secret_07_SRS/x06 |
1.271 |
0.204 |
0.206 |
Secret_07_SRS/x07 |
1.304 |
0.178 |
0.178 |
Secret_07_SRS/x08 |
1.278 |
0.14 |
0.157 |
Secret_07_SRS/x09 |
1.244 |
0.164 |
0.165 |
Secret_07_SRS/x10 |
1.24 |
0.151 |
0.161 |
Secret_07_TRS/1 |
1.258 |
0.205 |
0.208 |
Secret_07_TRS/2 |
1.321 |
0.189 |
0.195 |
Secret_07_TRS/3 |
4.102 |
0.25 |
0.266 |
Secret_07_TRS/4 |
1.33 |
0.174 |
0.187 |
Secret_07_TRS/5 |
1.657 |
0.371 |
0.359 |
Secret_07_TRS/7 |
1.28 |
0.157 |
0.167 |
Strategy_removed_AG01/#4.17 |
1.238 |
0.15 |
0.168 |
Strategy_removed_AG01/#4.18 |
1.207 |
0.148 |
0.141 |
Strategy_removed_AG01/#4.20 |
0.161 |
0.145 |
0.154 |
Strategy_removed_AG01/#4.20a |
0.178 |
0.167 |
0.173 |
Strategy_removed_AG01/#4.21 |
0.201 |
0.164 |
0.166 |
Strategy_removed_AG01/#4.25 |
1.158 |
6.169 |
11.17 |
Strategy_removed_AG01/#4.28 |
1.246 |
6.245 |
11.252 |
Strategy_removed_AG01/#4.37 |
0.203 |
0.163 |
0.174 |
Strategy_removed_AG01/#4.37a |
0.223 |
0.174 |
0.178 |
Strategy_removed_CSR_05/Ex1_Zan97 |
1.158 |
6.168 |
11.167 |
Strategy_removed_CSR_05/Ex4_7_15_Bor03 |
1.196 |
6.198 |
11.191 |
Strategy_removed_CSR_05/Ex4_7_77_Bor03 |
1.154 |
6.17 |
11.168 |
Strategy_removed_CSR_05/Ex5_Zan97 |
1.179 |
6.176 |
11.184 |
problem |
pm |
bpm |
bprm |
Strategy_removed_CSR_05/Ex6_GM04 |
1.162 |
6.154 |
11.164 |
Strategy_removed_CSR_05/ExConc_Zan97 |
1.151 |
6.164 |
11.16 |
Strategy_removed_CSR_05/ExIntrod_GM01 |
1.272 |
6.296 |
11.293 |
Strategy_removed_CSR_05/ExIntrod_GM04 |
1.259 |
6.255 |
11.262 |
Strategy_removed_mixed_05/ex1 |
1.192 |
6.181 |
11.198 |
Strategy_removed_mixed_05/ex3 |
1.193 |
6.186 |
11.205 |
Strategy_removed_mixed_05/ex4 |
1.165 |
6.179 |
11.169 |
Strategy_removed_mixed_05/ex5 |
1.16 |
6.164 |
11.185 |
Strategy_removed_mixed_05/ex6 |
1.227 |
6.23 |
11.224 |
Strategy_removed_mixed_05/gkg |
1.17 |
0.169 |
0.165 |
Strategy_removed_mixed_05/n001 |
1.183 |
0.155 |
0.147 |
Strategy_removed_mixed_05/test830 |
0.204 |
0.188 |
0.186 |
TCT_09/ackhofbauer |
1.209 |
0.158 |
0.153 |
TCT_09/add |
0.171 |
0.157 |
0.16 |
TCT_09/append |
0.164 |
0.174 |
0.153 |
TCT_09/bits |
1.239 |
6.253 |
11.243 |
TCT_09/expantiinn |
1.209 |
6.211 |
11.216 |
TCT_09/ma2 |
0.185 |
0.172 |
0.181 |
TCT_09/ma3 |
0.163 |
0.179 |
0.181 |
TCT_09/ma5 |
1.203 |
6.219 |
11.216 |
TCT_09/ma9 |
0.192 |
0.196 |
0.191 |
TCT_09/revappend |
1.242 |
6.25 |
11.353 |
TCT_09/shuffle |
1.316 |
6.351 |
11.759 |
TCT_09/supexpdg |
1.313 |
6.313 |
11.263 |
TCT_09/supexpur |
1.227 |
6.211 |
11.225 |
problem |
pm |
bpm |
bprm |
TCT_09/z86 |
1.19 |
0.139 |
0.145 |
Trafo_06/dup01 |
3.223 |
0.36 |
0.366 |
Trafo_06/dup05 |
1.717 |
0.163 |
0.178 |
Trafo_06/dup06 |
2.539 |
0.164 |
0.163 |
Trafo_06/dup07 |
1.365 |
0.143 |
0.154 |
Trafo_06/dup08 |
1.433 |
0.165 |
0.15 |
Trafo_06/dup09 |
2.005 |
0.167 |
0.159 |
Trafo_06/dup10 |
1.532 |
0.173 |
0.199 |
Trafo_06/dup11 |
2.655 |
0.343 |
0.334 |
Trafo_06/dup12 |
1.558 |
0.175 |
0.185 |
Trafo_06/dup13 |
1.405 |
0.163 |
0.167 |
Trafo_06/dup14 |
1.509 |
0.165 |
0.176 |
Trafo_06/dup15 |
1.338 |
0.157 |
0.154 |
Trafo_06/dup16 |
1.315 |
0.172 |
0.177 |
Trafo_06/dup17 |
1.353 |
0.159 |
0.159 |
Trafo_06/hom01 |
1.362 |
0.165 |
0.154 |
Trafo_06/hom02 |
1.267 |
0.158 |
0.159 |
Trafo_06/hom03 |
1.587 |
0.16 |
0.166 |
Trafo_06/un02 |
1.584 |
0.227 |
0.21 |
Trafo_06/un04 |
1.288 |
0.155 |
0.143 |
Trafo_06/un05 |
1.257 |
0.143 |
0.147 |
Trafo_06/un06 |
1.342 |
0.155 |
0.17 |
Trafo_06/un07 |
2.44 |
0.158 |
0.157 |
Trafo_06/un08 |
1.284 |
0.14 |
0.158 |
Trafo_06/un09 |
1.392 |
0.171 |
0.169 |
problem |
pm |
bpm |
bprm |
Trafo_06/un10 |
1.363 |
0.161 |
0.166 |
Trafo_06/un11 |
1.325 |
0.153 |
0.146 |
Trafo_06/un12 |
1.383 |
0.161 |
0.163 |
Trafo_06/un13 |
1.38 |
0.151 |
0.165 |
Trafo_06/un14 |
3.086 |
0.196 |
0.194 |
Trafo_06/un15 |
1.536 |
0.19 |
0.173 |
Trafo_06/un16 |
1.453 |
0.173 |
0.168 |
Trafo_06/un17 |
1.346 |
0.153 |
0.172 |
Trafo_06/un18 |
1.366 |
0.175 |
0.164 |
Transformed_CSR_04/Ex14_AEGL02_L |
1.168 |
6.183 |
11.18 |
Transformed_CSR_04/Ex14_Luc06_L |
1.168 |
6.162 |
11.178 |
Transformed_CSR_04/Ex15_Luc06_C |
5.138 |
0.224 |
0.226 |
Transformed_CSR_04/Ex15_Luc06_FR |
0.252 |
0.21 |
0.203 |
Transformed_CSR_04/Ex15_Luc06_GM |
0.213 |
0.182 |
0.186 |
Transformed_CSR_04/Ex15_Luc06_L |
1.142 |
6.143 |
11.151 |
Transformed_CSR_04/Ex15_Luc06_Z |
0.23 |
0.203 |
0.188 |
Transformed_CSR_04/Ex15_Luc06_iGM |
0.299 |
0.174 |
0.163 |
Transformed_CSR_04/Ex16_Luc06_C |
1.574 |
6.572 |
6.095 |
Transformed_CSR_04/Ex16_Luc06_FR |
1.181 |
0.233 |
0.216 |
Transformed_CSR_04/Ex16_Luc06_GM |
1.227 |
6.22 |
11.241 |
Transformed_CSR_04/Ex16_Luc06_L |
1.161 |
6.163 |
11.16 |
Transformed_CSR_04/Ex16_Luc06_iGM |
1.254 |
6.249 |
5.29 |
Transformed_CSR_04/Ex18_Luc06_C |
6.28 |
0.234 |
0.247 |
Transformed_CSR_04/Ex18_Luc06_FR |
0.204 |
0.205 |
0.198 |
Transformed_CSR_04/Ex18_Luc06_GM |
0.202 |
0.22 |
0.228 |
problem |
pm |
bpm |
bprm |
Transformed_CSR_04/Ex18_Luc06_L |
0.132 |
0.138 |
0.134 |
Transformed_CSR_04/Ex18_Luc06_Z |
0.163 |
0.176 |
0.174 |
Transformed_CSR_04/Ex18_Luc06_iGM |
0.284 |
0.154 |
0.157 |
Transformed_CSR_04/Ex1_GL02a_L |
1.196 |
6.196 |
11.212 |
Transformed_CSR_04/Ex1_GM99_L |
1.151 |
6.15 |
11.154 |
Transformed_CSR_04/Ex1_Luc04b_C |
7.09 |
1.811 |
1.89 |
Transformed_CSR_04/Ex1_Luc04b_FR |
1.322 |
6.314 |
11.357 |
Transformed_CSR_04/Ex1_Luc04b_GM |
2.738 |
7.743 |
12.765 |
Transformed_CSR_04/Ex1_Luc04b_Z |
1.268 |
6.273 |
11.284 |
Transformed_CSR_04/Ex1_Luc04b_iGM |
4.501 |
0.611 |
0.622 |
Transformed_CSR_04/Ex1_Zan97_C |
7.233 |
0.313 |
0.309 |
Transformed_CSR_04/Ex1_Zan97_FR |
1.192 |
6.197 |
11.218 |
Transformed_CSR_04/Ex1_Zan97_GM |
0.184 |
0.233 |
0.235 |
Transformed_CSR_04/Ex1_Zan97_L |
1.162 |
6.153 |
11.152 |
Transformed_CSR_04/Ex1_Zan97_iGM |
2.418 |
0.213 |
0.21 |
Transformed_CSR_04/Ex23_Luc06_C |
5.032 |
0.27 |
0.255 |
Transformed_CSR_04/Ex23_Luc06_FR |
0.232 |
0.224 |
0.233 |
Transformed_CSR_04/Ex23_Luc06_GM |
0.245 |
0.222 |
0.227 |
Transformed_CSR_04/Ex23_Luc06_L |
0.134 |
0.139 |
0.142 |
Transformed_CSR_04/Ex23_Luc06_Z |
0.165 |
0.173 |
0.182 |
Transformed_CSR_04/Ex23_Luc06_iGM |
0.366 |
0.189 |
0.176 |
Transformed_CSR_04/Ex24_GM04_L |
1.153 |
6.157 |
11.156 |
Transformed_CSR_04/Ex24_Luc06_L |
1.142 |
6.162 |
11.163 |
Transformed_CSR_04/Ex25_Luc06_C |
5.215 |
0.247 |
0.249 |
Transformed_CSR_04/Ex25_Luc06_FR |
0.268 |
0.396 |
0.396 |
problem |
pm |
bpm |
bprm |
Transformed_CSR_04/Ex25_Luc06_GM |
0.293 |
0.307 |
0.296 |
Transformed_CSR_04/Ex25_Luc06_L |
0.149 |
0.152 |
0.144 |
Transformed_CSR_04/Ex25_Luc06_Z |
0.209 |
0.249 |
0.249 |
Transformed_CSR_04/Ex25_Luc06_iGM |
0.554 |
0.182 |
0.172 |
Transformed_CSR_04/Ex26_Luc03b_L |
0.183 |
0.208 |
0.193 |
Transformed_CSR_04/Ex2_Luc03b_L |
0.172 |
0.181 |
0.19 |
Transformed_CSR_04/Ex3_3_25_Bor03_L |
0.19 |
0.17 |
0.178 |
Transformed_CSR_04/Ex4_4_Luc96b_L |
0.141 |
0.14 |
0.141 |
Transformed_CSR_04/Ex4_7_15_Bor03_C |
9.153 |
0.287 |
0.289 |
Transformed_CSR_04/Ex4_7_15_Bor03_FR |
0.33 |
0.248 |
0.252 |
Transformed_CSR_04/Ex4_7_15_Bor03_GM |
2.507 |
0.289 |
0.291 |
Transformed_CSR_04/Ex4_7_15_Bor03_L |
0.171 |
0.174 |
0.178 |
Transformed_CSR_04/Ex4_7_15_Bor03_Z |
0.222 |
0.206 |
0.216 |
Transformed_CSR_04/Ex4_7_15_Bor03_iGM |
6.666 |
0.194 |
0.203 |
Transformed_CSR_04/Ex4_7_77_Bor03_C |
3.066 |
0.388 |
0.378 |
Transformed_CSR_04/Ex4_7_77_Bor03_FR |
0.147 |
0.183 |
0.191 |
Transformed_CSR_04/Ex4_7_77_Bor03_GM |
0.219 |
5.237 |
5.862 |
Transformed_CSR_04/Ex4_7_77_Bor03_iGM |
1.397 |
0.232 |
0.232 |
Transformed_CSR_04/Ex5_Zan97_C |
1.728 |
0.885 |
0.885 |
Transformed_CSR_04/Ex5_Zan97_FR |
1.233 |
0.261 |
0.271 |
Transformed_CSR_04/Ex5_Zan97_GM |
1.303 |
6.305 |
11.306 |
Transformed_CSR_04/Ex5_Zan97_Z |
0.155 |
0.264 |
0.266 |
Transformed_CSR_04/Ex5_Zan97_iGM |
1.4 |
0.195 |
0.199 |
Transformed_CSR_04/Ex6_GM04_C |
4.094 |
0.545 |
0.543 |
Transformed_CSR_04/Ex6_GM04_FR |
1.211 |
6.216 |
11.21 |
problem |
pm |
bpm |
bprm |
Transformed_CSR_04/Ex6_GM04_GM |
0.175 |
0.201 |
0.196 |
Transformed_CSR_04/Ex6_GM04_L |
0.137 |
0.156 |
0.156 |
Transformed_CSR_04/Ex6_GM04_iGM |
0.227 |
0.222 |
0.233 |
Transformed_CSR_04/Ex6_Luc98_L |
0.165 |
0.169 |
0.159 |
Transformed_CSR_04/Ex9_BLR02_L |
0.193 |
0.193 |
0.201 |
Transformed_CSR_04/Ex9_Luc06_C |
1.567 |
6.581 |
10.191 |
Transformed_CSR_04/Ex9_Luc06_FR |
1.195 |
6.203 |
11.211 |
Transformed_CSR_04/Ex9_Luc06_GM |
0.222 |
5.228 |
10.23 |
Transformed_CSR_04/Ex9_Luc06_iGM |
2.487 |
7.504 |
5.597 |
Transformed_CSR_04/ExConc_Zan97_C |
5.324 |
0.215 |
0.205 |
Transformed_CSR_04/ExConc_Zan97_FR |
0.254 |
0.177 |
0.179 |
Transformed_CSR_04/ExConc_Zan97_GM |
0.225 |
0.199 |
0.196 |
Transformed_CSR_04/ExConc_Zan97_L |
0.133 |
0.141 |
0.14 |
Transformed_CSR_04/ExConc_Zan97_Z |
1.19 |
6.183 |
11.197 |
Transformed_CSR_04/ExConc_Zan97_iGM |
1.387 |
0.154 |
0.165 |
Transformed_CSR_04/ExIntrod_GM01_C |
5.059 |
2.506 |
2.487 |
Transformed_CSR_04/ExIntrod_GM01_FR |
1.369 |
6.408 |
11.395 |
Transformed_CSR_04/ExIntrod_GM01_GM |
3.938 |
8.945 |
13.961 |
Transformed_CSR_04/ExIntrod_GM01_Z |
1.38 |
6.369 |
11.389 |
Transformed_CSR_04/ExIntrod_GM01_iGM |
2.071 |
0.95 |
0.909 |
Transformed_CSR_04/ExIntrod_GM04_C |
5.798 |
1.913 |
1.892 |
Transformed_CSR_04/ExIntrod_GM04_FR |
1.453 |
6.45 |
11.464 |
Transformed_CSR_04/ExIntrod_GM04_GM |
2.85 |
7.85 |
12.839 |
Transformed_CSR_04/ExIntrod_GM04_Z |
1.432 |
6.445 |
11.461 |
Transformed_CSR_04/ExIntrod_GM04_iGM |
1.888 |
0.519 |
0.517 |
problem |
pm |
bpm |
bprm |
Transformed_CSR_04/ExProp7_Luc06_C |
17.216 |
0.28 |
0.276 |
Transformed_CSR_04/ExProp7_Luc06_FR |
1.337 |
0.257 |
0.254 |
Transformed_CSR_04/ExProp7_Luc06_GM |
1.414 |
6.412 |
11.776 |
Transformed_CSR_04/ExProp7_Luc06_L |
1.187 |
0.168 |
0.179 |
Transformed_CSR_04/ExProp7_Luc06_Z |
1.242 |
0.202 |
0.212 |
Transformed_CSR_04/ExProp7_Luc06_iGM |
3.012 |
0.186 |
0.189 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR |
1.265 |
6.269 |
11.272 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C |
3.086 |
0.725 |
0.686 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR |
1.23 |
6.23 |
11.221 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM |
1.448 |
6.455 |
11.465 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM |
1.699 |
0.31 |
0.285 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C |
4.302 |
0.839 |
0.863 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM |
1.61 |
6.628 |
11.625 |
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM |
1.957 |
0.323 |
0.321 |
Transformed_CSR_04/OvConsOS_nosorts-noand_FR |
1.518 |
6.522 |
11.537 |
Transformed_CSR_04/OvConsOS_nosorts-noand_Z |
1.485 |
6.469 |
11.477 |
Transformed_CSR_04/OvConsOS_nosorts_C |
4.565 |
0.918 |
0.929 |
Transformed_CSR_04/OvConsOS_nosorts_FR |
1.347 |
6.358 |
11.371 |
Transformed_CSR_04/OvConsOS_nosorts_GM |
2.573 |
7.607 |
12.596 |
Transformed_CSR_04/OvConsOS_nosorts_Z |
1.294 |
6.306 |
11.312 |
Transformed_CSR_04/OvConsOS_nosorts_iGM |
4.531 |
0.318 |
0.344 |
Transformed_CSR_04/OvConsOS_nosorts_noand_C |
10.166 |
15.172 |
21.774 |
Transformed_CSR_04/OvConsOS_nosorts_noand_GM |
1.716 |
6.713 |
11.749 |
Transformed_CSR_04/OvConsOS_nosorts_noand_iGM |
3.321 |
1.339 |
1.33 |
Transformed_CSR_04/PALINDROME_complete-noand_L |
2.052 |
7.029 |
12.047 |
problem |
pm |
bpm |
bprm |
Transformed_CSR_04/PALINDROME_nokinds-noand_FR |
2.215 |
7.288 |
12.248 |
Transformed_CSR_04/PALINDROME_nokinds-noand_L |
1.573 |
6.585 |
12.311 |
Transformed_CSR_04/PALINDROME_nokinds-noand_Z |
0.949 |
5.97 |
10.939 |
Transformed_CSR_04/PALINDROME_nokinds_C |
3.498 |
4.127 |
4.04 |
Transformed_CSR_04/PALINDROME_nokinds_FR |
1.758 |
6.791 |
11.796 |
Transformed_CSR_04/PALINDROME_nokinds_GM |
1.723 |
6.74 |
11.769 |
Transformed_CSR_04/PALINDROME_nokinds_Z |
0.609 |
5.618 |
10.599 |
Transformed_CSR_04/PALINDROME_nokinds_iGM |
2.524 |
0.542 |
0.563 |
Transformed_CSR_04/PALINDROME_nokinds_noand_C |
14.016 |
18.481 |
21.693 |
Transformed_CSR_04/PALINDROME_nokinds_noand_GM |
2.648 |
7.682 |
12.635 |
Transformed_CSR_04/PALINDROME_nokinds_noand_iGM |
4.278 |
0.973 |
0.929 |
Transformed_CSR_04/PALINDROME_nosorts-noand_FR |
0.227 |
0.277 |
0.255 |
Transformed_CSR_04/PALINDROME_nosorts-noand_L |
0.208 |
0.262 |
0.264 |
Transformed_CSR_04/PALINDROME_nosorts_C |
6.123 |
0.532 |
0.525 |
Transformed_CSR_04/PALINDROME_nosorts_FR |
0.202 |
0.274 |
0.278 |
Transformed_CSR_04/PALINDROME_nosorts_GM |
1.377 |
6.379 |
11.385 |
Transformed_CSR_04/PALINDROME_nosorts_iGM |
1.644 |
0.241 |
0.248 |
Transformed_CSR_04/PALINDROME_nosorts_noand_C |
8.221 |
0.502 |
0.518 |
Transformed_CSR_04/PALINDROME_nosorts_noand_GM |
1.316 |
6.343 |
11.34 |
Transformed_CSR_04/PALINDROME_nosorts_noand_iGM |
1.533 |
0.236 |
0.248 |
Transformed_CSR_04/PEANO_nosorts-noand_FR |
0.197 |
5.215 |
10.22 |
Transformed_CSR_04/PEANO_nosorts_C |
6.218 |
0.315 |
0.327 |
Transformed_CSR_04/PEANO_nosorts_FR |
0.195 |
0.172 |
0.18 |
Transformed_CSR_04/PEANO_nosorts_GM |
1.304 |
6.325 |
11.321 |
Transformed_CSR_04/PEANO_nosorts_iGM |
1.436 |
0.187 |
0.205 |
problem |
pm |
bpm |
bprm |
Transformed_CSR_04/PEANO_nosorts_noand_C |
3.216 |
0.71 |
0.709 |
Transformed_CSR_04/PEANO_nosorts_noand_GM |
1.38 |
6.368 |
11.376 |
Transformed_CSR_04/PEANO_nosorts_noand_iGM |
1.686 |
0.236 |
0.238 |
Various_04/07 |
0.141 |
0.194 |
0.199 |
Various_04/15 |
1.202 |
0.173 |
0.169 |
Various_04/18 |
1.228 |
0.159 |
0.169 |
Various_04/19 |
1.257 |
0.221 |
0.217 |
Various_04/21 |
2.748 |
7.769 |
6.038 |
Various_04/23 |
0.202 |
5.204 |
10.218 |
Various_04/24 |
1.348 |
6.342 |
5.856 |
Various_04/25 |
0.166 |
0.167 |
0.175 |
Various_04/27 |
0.157 |
0.138 |
0.141 |
Waldmann_06/jwaprove1 |
1.199 |
0.151 |
0.149 |
Waldmann_06/jwaprove2 |
1.192 |
0.147 |
0.144 |
Waldmann_06/jwcime1 |
1.198 |
0.138 |
0.154 |
Waldmann_06/jwcime2 |
1.198 |
0.139 |
0.143 |
Waldmann_06/jwmatchb1 |
1.191 |
0.192 |
0.19 |
Waldmann_06/jwmatchb2 |
1.189 |
0.198 |
0.185 |
Waldmann_06/jwno1 |
1.198 |
6.19 |
11.186 |
Waldmann_06/jwno2 |
1.174 |
0.134 |
0.148 |
Waldmann_06/jwno3 |
1.207 |
0.152 |
0.143 |
Waldmann_06/jwno4 |
1.178 |
6.173 |
11.19 |
Waldmann_06/jwno5 |
1.171 |
0.142 |
0.139 |
Waldmann_06/jwno6 |
1.166 |
6.177 |
11.177 |
Waldmann_06/jwno7 |
1.197 |
0.138 |
0.163 |
problem |
pm |
bpm |
bprm |
Waldmann_06/jwno8 |
1.205 |
0.154 |
0.151 |
Waldmann_06/jwno9 |
1.194 |
0.135 |
0.15 |
Waldmann_06/jwtpa1 |
1.193 |
0.146 |
0.152 |
Waldmann_06/jwtpa2 |
1.204 |
0.154 |
0.136 |
Waldmann_06/jwttt |
1.189 |
0.146 |
0.148 |
Waldmann_06_SRS/e |
2.736 |
0.311 |
0.316 |
Waldmann_06_SRS/jw1 |
1.196 |
0.147 |
0.157 |
Waldmann_06_SRS/jw3 |
1.376 |
0.204 |
0.204 |
Waldmann_06_SRS/jw4 |
1.43 |
0.159 |
0.155 |
Waldmann_06_SRS/jw5 |
1.527 |
0.186 |
0.175 |
Waldmann_06_SRS/pi |
2.689 |
0.248 |
0.249 |
Waldmann_06_SRS/sym-1 |
1.198 |
0.147 |
0.153 |
Waldmann_06_SRS/sym-2 |
1.238 |
0.154 |
0.16 |
Waldmann_06_SRS/sym-4 |
1.2 |
0.159 |
0.154 |
Waldmann_06_SRS/sym-5 |
1.23 |
0.136 |
0.155 |
Waldmann_06_SRS/sym-6 |
1.201 |
0.152 |
0.158 |
Waldmann_06_SRS/uni-1 |
1.185 |
0.151 |
0.147 |
Waldmann_06_SRS/uni-2 |
1.22 |
0.149 |
0.146 |
Waldmann_06_SRS/uni-3 |
1.251 |
0.142 |
0.145 |
Waldmann_06_SRS/uni-4 |
1.212 |
0.152 |
0.152 |
Waldmann_06_SRS/uni-5 |
1.218 |
0.143 |
0.152 |
Waldmann_06_SRS/uni-6 |
1.256 |
0.166 |
0.159 |
Waldmann_06_SRS/uni-7 |
1.273 |
0.157 |
0.157 |
Waldmann_06_SRS/z086-variant |
1.201 |
0.139 |
0.15 |
Waldmann_07_size11/size-11-alpha-2-num-1 |
1.222 |
0.137 |
0.137 |
problem |
pm |
bpm |
bprm |
Waldmann_07_size11/size-11-alpha-2-num-2 |
1.227 |
0.153 |
0.149 |
Waldmann_07_size11/size-11-alpha-2-num-3 |
1.218 |
0.147 |
0.15 |
Waldmann_07_size11/size-11-alpha-2-num-4 |
1.212 |
0.159 |
0.158 |
Waldmann_07_size11/size-11-alpha-3-num-1 |
1.188 |
0.147 |
0.146 |
Waldmann_07_size11/size-11-alpha-3-num-10 |
1.209 |
0.15 |
0.161 |
Waldmann_07_size11/size-11-alpha-3-num-11 |
1.18 |
0.181 |
0.168 |
Waldmann_07_size11/size-11-alpha-3-num-12 |
1.199 |
6.203 |
11.215 |
Waldmann_07_size11/size-11-alpha-3-num-13 |
1.197 |
0.16 |
0.158 |
Waldmann_07_size11/size-11-alpha-3-num-14 |
1.205 |
6.207 |
11.208 |
Waldmann_07_size11/size-11-alpha-3-num-15 |
1.198 |
0.146 |
0.139 |
Waldmann_07_size11/size-11-alpha-3-num-16 |
1.195 |
6.198 |
11.201 |
Waldmann_07_size11/size-11-alpha-3-num-17 |
1.224 |
0.158 |
0.142 |
Waldmann_07_size11/size-11-alpha-3-num-18 |
1.229 |
0.141 |
0.147 |
Waldmann_07_size11/size-11-alpha-3-num-19 |
1.223 |
0.155 |
0.139 |
Waldmann_07_size11/size-11-alpha-3-num-2 |
1.209 |
6.206 |
11.214 |
Waldmann_07_size11/size-11-alpha-3-num-20 |
1.216 |
0.151 |
0.153 |
Waldmann_07_size11/size-11-alpha-3-num-21 |
1.201 |
0.148 |
0.147 |
Waldmann_07_size11/size-11-alpha-3-num-3 |
1.204 |
0.163 |
0.145 |
Waldmann_07_size11/size-11-alpha-3-num-4 |
1.205 |
0.16 |
0.158 |
Waldmann_07_size11/size-11-alpha-3-num-5 |
1.213 |
0.148 |
0.15 |
Waldmann_07_size11/size-11-alpha-3-num-6 |
1.21 |
0.16 |
0.152 |
Waldmann_07_size11/size-11-alpha-3-num-7 |
1.21 |
0.155 |
0.158 |
Waldmann_07_size11/size-11-alpha-3-num-8 |
1.202 |
0.151 |
0.147 |
Waldmann_07_size11/size-11-alpha-3-num-9 |
1.223 |
0.167 |
0.184 |
Waldmann_07_size12/size-12-alpha-2-num-1 |
1.218 |
0.144 |
0.144 |
problem |
pm |
bpm |
bprm |
Waldmann_07_size12/size-12-alpha-2-num-10 |
1.228 |
0.137 |
0.151 |
Waldmann_07_size12/size-12-alpha-2-num-11 |
1.223 |
0.15 |
0.149 |
Waldmann_07_size12/size-12-alpha-2-num-12 |
1.233 |
0.147 |
0.139 |
Waldmann_07_size12/size-12-alpha-2-num-13 |
1.219 |
0.137 |
0.145 |
Waldmann_07_size12/size-12-alpha-2-num-14 |
1.215 |
0.151 |
0.148 |
Waldmann_07_size12/size-12-alpha-2-num-15 |
1.198 |
0.141 |
0.148 |
Waldmann_07_size12/size-12-alpha-2-num-16 |
1.205 |
0.135 |
0.148 |
Waldmann_07_size12/size-12-alpha-2-num-17 |
1.215 |
0.143 |
0.143 |
Waldmann_07_size12/size-12-alpha-2-num-18 |
1.224 |
0.146 |
0.142 |
Waldmann_07_size12/size-12-alpha-2-num-19 |
1.204 |
0.156 |
0.158 |
Waldmann_07_size12/size-12-alpha-2-num-2 |
1.212 |
6.215 |
11.216 |
Waldmann_07_size12/size-12-alpha-2-num-20 |
1.209 |
0.14 |
0.149 |
Waldmann_07_size12/size-12-alpha-2-num-21 |
1.207 |
0.146 |
0.145 |
Waldmann_07_size12/size-12-alpha-2-num-22 |
1.203 |
0.154 |
0.145 |
Waldmann_07_size12/size-12-alpha-2-num-3 |
1.215 |
0.153 |
0.151 |
Waldmann_07_size12/size-12-alpha-2-num-4 |
1.227 |
0.136 |
0.145 |
Waldmann_07_size12/size-12-alpha-2-num-5 |
1.234 |
0.153 |
0.142 |
Waldmann_07_size12/size-12-alpha-2-num-6 |
1.236 |
6.225 |
11.226 |
Waldmann_07_size12/size-12-alpha-2-num-7 |
1.227 |
0.147 |
0.151 |
Waldmann_07_size12/size-12-alpha-2-num-8 |
1.228 |
6.227 |
11.224 |
Waldmann_07_size12/size-12-alpha-3-num-1 |
1.195 |
0.146 |
0.154 |
Waldmann_07_size12/size-12-alpha-3-num-10 |
1.218 |
0.155 |
0.158 |
Waldmann_07_size12/size-12-alpha-3-num-100 |
1.215 |
0.165 |
0.151 |
Waldmann_07_size12/size-12-alpha-3-num-101 |
1.206 |
0.147 |
0.156 |
Waldmann_07_size12/size-12-alpha-3-num-104 |
1.22 |
0.15 |
0.148 |
problem |
pm |
bpm |
bprm |
Waldmann_07_size12/size-12-alpha-3-num-105 |
1.241 |
0.137 |
0.141 |
Waldmann_07_size12/size-12-alpha-3-num-106 |
1.22 |
0.148 |
0.148 |
Waldmann_07_size12/size-12-alpha-3-num-107 |
1.204 |
0.155 |
0.162 |
Waldmann_07_size12/size-12-alpha-3-num-108 |
1.201 |
0.167 |
0.148 |
Waldmann_07_size12/size-12-alpha-3-num-109 |
1.231 |
0.156 |
0.148 |
Waldmann_07_size12/size-12-alpha-3-num-11 |
1.208 |
0.17 |
0.161 |
Waldmann_07_size12/size-12-alpha-3-num-110 |
1.219 |
0.172 |
0.146 |
Waldmann_07_size12/size-12-alpha-3-num-111 |
1.218 |
0.148 |
0.159 |
Waldmann_07_size12/size-12-alpha-3-num-112 |
1.218 |
0.144 |
0.164 |
Waldmann_07_size12/size-12-alpha-3-num-113 |
1.213 |
0.146 |
0.139 |
Waldmann_07_size12/size-12-alpha-3-num-114 |
1.203 |
0.148 |
0.148 |
Waldmann_07_size12/size-12-alpha-3-num-120 |
1.198 |
6.209 |
11.217 |
Waldmann_07_size12/size-12-alpha-3-num-121 |
1.207 |
0.159 |
0.152 |
Waldmann_07_size12/size-12-alpha-3-num-122 |
1.218 |
0.149 |
0.157 |
Waldmann_07_size12/size-12-alpha-3-num-123 |
1.214 |
0.186 |
0.188 |
Waldmann_07_size12/size-12-alpha-3-num-124 |
1.209 |
0.149 |
0.158 |
Waldmann_07_size12/size-12-alpha-3-num-125 |
1.216 |
0.141 |
0.167 |
Waldmann_07_size12/size-12-alpha-3-num-126 |
1.22 |
0.186 |
0.191 |
Waldmann_07_size12/size-12-alpha-3-num-127 |
1.2 |
0.15 |
0.165 |
Waldmann_07_size12/size-12-alpha-3-num-128 |
1.207 |
0.156 |
0.157 |
Waldmann_07_size12/size-12-alpha-3-num-129 |
1.21 |
6.211 |
11.216 |
Waldmann_07_size12/size-12-alpha-3-num-13 |
1.207 |
0.171 |
0.186 |
Waldmann_07_size12/size-12-alpha-3-num-131 |
1.212 |
0.168 |
0.164 |
Waldmann_07_size12/size-12-alpha-3-num-132 |
1.224 |
6.22 |
11.224 |
Waldmann_07_size12/size-12-alpha-3-num-133 |
1.218 |
6.225 |
11.234 |
problem |
pm |
bpm |
bprm |
Waldmann_07_size12/size-12-alpha-3-num-134 |
1.205 |
0.157 |
0.141 |
Waldmann_07_size12/size-12-alpha-3-num-135 |
1.207 |
0.141 |
0.155 |
Waldmann_07_size12/size-12-alpha-3-num-14 |
1.195 |
0.175 |
0.192 |
Waldmann_07_size12/size-12-alpha-3-num-140 |
1.218 |
0.156 |
0.152 |
Waldmann_07_size12/size-12-alpha-3-num-146 |
1.233 |
0.146 |
0.159 |
Waldmann_07_size12/size-12-alpha-3-num-149 |
1.237 |
0.141 |
0.147 |
Waldmann_07_size12/size-12-alpha-3-num-15 |
1.198 |
0.147 |
0.158 |
Waldmann_07_size12/size-12-alpha-3-num-152 |
1.235 |
0.142 |
0.15 |
Waldmann_07_size12/size-12-alpha-3-num-158 |
1.212 |
6.204 |
11.203 |
Waldmann_07_size12/size-12-alpha-3-num-159 |
1.21 |
0.158 |
0.162 |
Waldmann_07_size12/size-12-alpha-3-num-16 |
1.211 |
0.147 |
0.15 |
Waldmann_07_size12/size-12-alpha-3-num-160 |
1.241 |
0.149 |
0.161 |
Waldmann_07_size12/size-12-alpha-3-num-163 |
1.193 |
0.144 |
0.156 |
Waldmann_07_size12/size-12-alpha-3-num-164 |
1.209 |
0.153 |
0.162 |
Waldmann_07_size12/size-12-alpha-3-num-165 |
1.208 |
0.147 |
0.156 |
Waldmann_07_size12/size-12-alpha-3-num-168 |
1.208 |
0.141 |
0.157 |
Waldmann_07_size12/size-12-alpha-3-num-17 |
1.207 |
0.158 |
0.163 |
Waldmann_07_size12/size-12-alpha-3-num-170 |
1.195 |
6.22 |
11.204 |
Waldmann_07_size12/size-12-alpha-3-num-174 |
1.204 |
0.179 |
0.18 |
Waldmann_07_size12/size-12-alpha-3-num-176 |
1.229 |
0.146 |
0.148 |
Waldmann_07_size12/size-12-alpha-3-num-177 |
1.194 |
0.152 |
0.159 |
Waldmann_07_size12/size-12-alpha-3-num-178 |
1.228 |
0.162 |
0.158 |
Waldmann_07_size12/size-12-alpha-3-num-179 |
1.222 |
6.229 |
11.236 |
Waldmann_07_size12/size-12-alpha-3-num-180 |
1.234 |
0.16 |
0.148 |
Waldmann_07_size12/size-12-alpha-3-num-181 |
1.217 |
0.144 |
0.15 |
problem |
pm |
bpm |
bprm |
Waldmann_07_size12/size-12-alpha-3-num-186 |
1.199 |
0.16 |
0.165 |
Waldmann_07_size12/size-12-alpha-3-num-19 |
1.194 |
0.157 |
0.146 |
Waldmann_07_size12/size-12-alpha-3-num-190 |
1.23 |
0.151 |
0.157 |
Waldmann_07_size12/size-12-alpha-3-num-191 |
1.212 |
0.146 |
0.154 |
Waldmann_07_size12/size-12-alpha-3-num-194 |
1.23 |
0.15 |
0.15 |
Waldmann_07_size12/size-12-alpha-3-num-195 |
1.236 |
0.144 |
0.168 |
Waldmann_07_size12/size-12-alpha-3-num-198 |
1.223 |
0.162 |
0.163 |
Waldmann_07_size12/size-12-alpha-3-num-199 |
1.219 |
0.169 |
0.155 |
Waldmann_07_size12/size-12-alpha-3-num-20 |
1.232 |
0.166 |
0.159 |
Waldmann_07_size12/size-12-alpha-3-num-200 |
1.2 |
0.149 |
0.146 |
Waldmann_07_size12/size-12-alpha-3-num-201 |
1.209 |
0.155 |
0.157 |
Waldmann_07_size12/size-12-alpha-3-num-202 |
1.22 |
0.149 |
0.165 |
Waldmann_07_size12/size-12-alpha-3-num-203 |
1.22 |
0.155 |
0.15 |
Waldmann_07_size12/size-12-alpha-3-num-204 |
1.21 |
0.148 |
0.144 |
Waldmann_07_size12/size-12-alpha-3-num-206 |
1.205 |
0.142 |
0.155 |
Waldmann_07_size12/size-12-alpha-3-num-207 |
1.236 |
0.158 |
0.164 |
Waldmann_07_size12/size-12-alpha-3-num-209 |
1.207 |
0.161 |
0.143 |
Waldmann_07_size12/size-12-alpha-3-num-21 |
1.222 |
0.142 |
0.14 |
Waldmann_07_size12/size-12-alpha-3-num-210 |
1.232 |
0.16 |
0.148 |
Waldmann_07_size12/size-12-alpha-3-num-211 |
1.202 |
0.149 |
0.161 |
Waldmann_07_size12/size-12-alpha-3-num-213 |
1.225 |
0.155 |
0.153 |
Waldmann_07_size12/size-12-alpha-3-num-215 |
1.213 |
0.146 |
0.144 |
Waldmann_07_size12/size-12-alpha-3-num-217 |
1.207 |
0.16 |
0.16 |
Waldmann_07_size12/size-12-alpha-3-num-219 |
1.202 |
0.147 |
0.152 |
Waldmann_07_size12/size-12-alpha-3-num-22 |
1.224 |
0.151 |
0.156 |
problem |
pm |
bpm |
bprm |
Waldmann_07_size12/size-12-alpha-3-num-220 |
1.209 |
0.142 |
0.158 |
Waldmann_07_size12/size-12-alpha-3-num-221 |
1.202 |
0.149 |
0.151 |
Waldmann_07_size12/size-12-alpha-3-num-222 |
1.206 |
0.149 |
0.159 |
Waldmann_07_size12/size-12-alpha-3-num-223 |
1.243 |
0.157 |
0.147 |
Waldmann_07_size12/size-12-alpha-3-num-224 |
1.207 |
0.174 |
0.164 |
Waldmann_07_size12/size-12-alpha-3-num-225 |
1.218 |
0.143 |
0.15 |
Waldmann_07_size12/size-12-alpha-3-num-226 |
1.197 |
0.144 |
0.156 |
Waldmann_07_size12/size-12-alpha-3-num-227 |
1.196 |
0.148 |
0.16 |
Waldmann_07_size12/size-12-alpha-3-num-23 |
1.212 |
0.154 |
0.14 |
Waldmann_07_size12/size-12-alpha-3-num-231 |
1.211 |
0.156 |
0.172 |
Waldmann_07_size12/size-12-alpha-3-num-232 |
1.206 |
0.148 |
0.155 |
Waldmann_07_size12/size-12-alpha-3-num-233 |
1.208 |
0.146 |
0.157 |
Waldmann_07_size12/size-12-alpha-3-num-236 |
1.198 |
0.167 |
0.164 |
Waldmann_07_size12/size-12-alpha-3-num-237 |
1.209 |
0.177 |
0.152 |
Waldmann_07_size12/size-12-alpha-3-num-238 |
1.203 |
6.216 |
11.211 |
Waldmann_07_size12/size-12-alpha-3-num-239 |
1.202 |
0.15 |
0.162 |
Waldmann_07_size12/size-12-alpha-3-num-241 |
1.194 |
0.139 |
0.145 |
Waldmann_07_size12/size-12-alpha-3-num-243 |
1.23 |
6.218 |
11.22 |
Waldmann_07_size12/size-12-alpha-3-num-247 |
1.223 |
6.215 |
11.212 |
Waldmann_07_size12/size-12-alpha-3-num-248 |
1.208 |
0.192 |
0.185 |
Waldmann_07_size12/size-12-alpha-3-num-249 |
1.203 |
6.224 |
11.225 |
Waldmann_07_size12/size-12-alpha-3-num-255 |
1.214 |
0.161 |
0.166 |
Waldmann_07_size12/size-12-alpha-3-num-257 |
1.21 |
0.171 |
0.169 |
Waldmann_07_size12/size-12-alpha-3-num-260 |
1.224 |
6.233 |
11.252 |
Waldmann_07_size12/size-12-alpha-3-num-263 |
1.21 |
6.218 |
11.22 |
problem |
pm |
bpm |
bprm |
Waldmann_07_size12/size-12-alpha-3-num-265 |
1.221 |
0.15 |
0.14 |
Waldmann_07_size12/size-12-alpha-3-num-267 |
1.206 |
0.155 |
0.143 |
Waldmann_07_size12/size-12-alpha-3-num-270 |
1.214 |
6.208 |
11.217 |
Waldmann_07_size12/size-12-alpha-3-num-271 |
1.224 |
6.205 |
11.225 |
Waldmann_07_size12/size-12-alpha-3-num-272 |
1.214 |
6.208 |
11.234 |
Waldmann_07_size12/size-12-alpha-3-num-273 |
1.207 |
0.154 |
0.14 |
Waldmann_07_size12/size-12-alpha-3-num-274 |
1.211 |
0.165 |
0.171 |
Waldmann_07_size12/size-12-alpha-3-num-275 |
1.194 |
6.197 |
11.209 |
Waldmann_07_size12/size-12-alpha-3-num-279 |
1.202 |
0.17 |
0.163 |
Waldmann_07_size12/size-12-alpha-3-num-281 |
1.182 |
0.151 |
0.143 |
Waldmann_07_size12/size-12-alpha-3-num-282 |
1.217 |
0.152 |
0.156 |
Waldmann_07_size12/size-12-alpha-3-num-283 |
1.19 |
0.155 |
0.149 |
Waldmann_07_size12/size-12-alpha-3-num-284 |
1.233 |
0.161 |
0.156 |
Waldmann_07_size12/size-12-alpha-3-num-285 |
1.209 |
0.139 |
0.154 |
Waldmann_07_size12/size-12-alpha-3-num-286 |
1.207 |
6.208 |
11.221 |
Waldmann_07_size12/size-12-alpha-3-num-287 |
1.192 |
0.156 |
0.147 |
Waldmann_07_size12/size-12-alpha-3-num-288 |
1.203 |
0.172 |
0.16 |
Waldmann_07_size12/size-12-alpha-3-num-289 |
1.205 |
6.204 |
11.208 |
Waldmann_07_size12/size-12-alpha-3-num-291 |
1.2 |
0.166 |
0.164 |
Waldmann_07_size12/size-12-alpha-3-num-292 |
1.209 |
0.16 |
0.168 |
Waldmann_07_size12/size-12-alpha-3-num-293 |
1.224 |
0.153 |
0.156 |
Waldmann_07_size12/size-12-alpha-3-num-294 |
1.21 |
0.164 |
0.157 |
Waldmann_07_size12/size-12-alpha-3-num-296 |
1.224 |
6.232 |
11.238 |
Waldmann_07_size12/size-12-alpha-3-num-297 |
1.206 |
6.222 |
11.219 |
Waldmann_07_size12/size-12-alpha-3-num-298 |
1.221 |
6.224 |
11.241 |
problem |
pm |
bpm |
bprm |
Waldmann_07_size12/size-12-alpha-3-num-299 |
1.183 |
0.152 |
0.143 |
Waldmann_07_size12/size-12-alpha-3-num-3 |
1.215 |
0.161 |
0.164 |
Waldmann_07_size12/size-12-alpha-3-num-30 |
1.216 |
0.16 |
0.174 |
Waldmann_07_size12/size-12-alpha-3-num-300 |
1.193 |
6.211 |
11.205 |
Waldmann_07_size12/size-12-alpha-3-num-301 |
1.21 |
0.151 |
0.145 |
Waldmann_07_size12/size-12-alpha-3-num-303 |
1.232 |
0.144 |
0.16 |
Waldmann_07_size12/size-12-alpha-3-num-304 |
1.242 |
6.234 |
11.226 |
Waldmann_07_size12/size-12-alpha-3-num-309 |
1.213 |
0.148 |
0.16 |
Waldmann_07_size12/size-12-alpha-3-num-31 |
1.232 |
0.145 |
0.164 |
Waldmann_07_size12/size-12-alpha-3-num-32 |
1.215 |
0.153 |
0.15 |
Waldmann_07_size12/size-12-alpha-3-num-327 |
1.227 |
6.213 |
11.221 |
Waldmann_07_size12/size-12-alpha-3-num-328 |
1.197 |
0.153 |
0.148 |
Waldmann_07_size12/size-12-alpha-3-num-330 |
1.183 |
0.173 |
0.191 |
Waldmann_07_size12/size-12-alpha-3-num-335 |
1.207 |
0.157 |
0.16 |
Waldmann_07_size12/size-12-alpha-3-num-337 |
1.215 |
0.142 |
0.145 |
Waldmann_07_size12/size-12-alpha-3-num-338 |
1.205 |
0.152 |
0.158 |
Waldmann_07_size12/size-12-alpha-3-num-339 |
1.217 |
0.154 |
0.146 |
Waldmann_07_size12/size-12-alpha-3-num-340 |
1.226 |
0.157 |
0.156 |
Waldmann_07_size12/size-12-alpha-3-num-341 |
1.229 |
0.144 |
0.154 |
Waldmann_07_size12/size-12-alpha-3-num-343 |
1.207 |
0.161 |
0.15 |
Waldmann_07_size12/size-12-alpha-3-num-345 |
1.211 |
6.226 |
11.226 |
Waldmann_07_size12/size-12-alpha-3-num-346 |
1.233 |
0.155 |
0.146 |
Waldmann_07_size12/size-12-alpha-3-num-347 |
1.192 |
0.147 |
0.155 |
Waldmann_07_size12/size-12-alpha-3-num-348 |
1.205 |
0.151 |
0.157 |
Waldmann_07_size12/size-12-alpha-3-num-35 |
1.226 |
0.159 |
0.161 |
problem |
pm |
bpm |
bprm |
Waldmann_07_size12/size-12-alpha-3-num-350 |
1.2 |
0.141 |
0.149 |
Waldmann_07_size12/size-12-alpha-3-num-351 |
1.188 |
0.148 |
0.155 |
Waldmann_07_size12/size-12-alpha-3-num-352 |
1.206 |
0.157 |
0.156 |
Waldmann_07_size12/size-12-alpha-3-num-353 |
1.206 |
6.214 |
11.228 |
Waldmann_07_size12/size-12-alpha-3-num-354 |
1.212 |
6.201 |
11.212 |
Waldmann_07_size12/size-12-alpha-3-num-355 |
1.222 |
0.167 |
0.156 |
Waldmann_07_size12/size-12-alpha-3-num-356 |
1.218 |
0.157 |
0.153 |
Waldmann_07_size12/size-12-alpha-3-num-359 |
1.187 |
6.197 |
11.209 |
Waldmann_07_size12/size-12-alpha-3-num-360 |
1.226 |
0.15 |
0.139 |
Waldmann_07_size12/size-12-alpha-3-num-361 |
1.211 |
6.211 |
11.233 |
Waldmann_07_size12/size-12-alpha-3-num-362 |
1.231 |
6.235 |
11.23 |
Waldmann_07_size12/size-12-alpha-3-num-363 |
1.219 |
6.213 |
11.228 |
Waldmann_07_size12/size-12-alpha-3-num-366 |
1.217 |
0.136 |
0.147 |
Waldmann_07_size12/size-12-alpha-3-num-367 |
1.223 |
0.141 |
0.148 |
Waldmann_07_size12/size-12-alpha-3-num-368 |
1.203 |
0.145 |
0.14 |
Waldmann_07_size12/size-12-alpha-3-num-369 |
1.222 |
0.153 |
0.141 |
Waldmann_07_size12/size-12-alpha-3-num-373 |
1.216 |
6.201 |
11.212 |
Waldmann_07_size12/size-12-alpha-3-num-374 |
1.225 |
0.156 |
0.161 |
Waldmann_07_size12/size-12-alpha-3-num-375 |
1.223 |
6.235 |
11.238 |
Waldmann_07_size12/size-12-alpha-3-num-376 |
1.224 |
0.166 |
0.173 |
Waldmann_07_size12/size-12-alpha-3-num-377 |
1.205 |
0.174 |
0.184 |
Waldmann_07_size12/size-12-alpha-3-num-378 |
1.229 |
0.151 |
0.16 |
Waldmann_07_size12/size-12-alpha-3-num-382 |
1.226 |
0.146 |
0.139 |
Waldmann_07_size12/size-12-alpha-3-num-383 |
1.227 |
0.163 |
0.149 |
Waldmann_07_size12/size-12-alpha-3-num-384 |
1.232 |
0.159 |
0.141 |
problem |
pm |
bpm |
bprm |
Waldmann_07_size12/size-12-alpha-3-num-385 |
1.211 |
0.157 |
0.145 |
Waldmann_07_size12/size-12-alpha-3-num-386 |
1.206 |
0.148 |
0.159 |
Waldmann_07_size12/size-12-alpha-3-num-389 |
1.218 |
0.153 |
0.153 |
Waldmann_07_size12/size-12-alpha-3-num-391 |
1.207 |
0.155 |
0.156 |
Waldmann_07_size12/size-12-alpha-3-num-392 |
1.21 |
0.143 |
0.146 |
Waldmann_07_size12/size-12-alpha-3-num-395 |
1.228 |
6.218 |
11.233 |
Waldmann_07_size12/size-12-alpha-3-num-396 |
1.212 |
6.224 |
11.219 |
Waldmann_07_size12/size-12-alpha-3-num-399 |
1.207 |
0.153 |
0.159 |
Waldmann_07_size12/size-12-alpha-3-num-4 |
1.204 |
0.147 |
0.147 |
Waldmann_07_size12/size-12-alpha-3-num-40 |
1.209 |
0.16 |
0.163 |
Waldmann_07_size12/size-12-alpha-3-num-400 |
1.232 |
0.155 |
0.156 |
Waldmann_07_size12/size-12-alpha-3-num-401 |
1.227 |
0.161 |
0.142 |
Waldmann_07_size12/size-12-alpha-3-num-402 |
1.243 |
0.147 |
0.147 |
Waldmann_07_size12/size-12-alpha-3-num-403 |
1.216 |
0.158 |
0.158 |
Waldmann_07_size12/size-12-alpha-3-num-406 |
1.236 |
0.156 |
0.165 |
Waldmann_07_size12/size-12-alpha-3-num-408 |
1.207 |
0.155 |
0.152 |
Waldmann_07_size12/size-12-alpha-3-num-409 |
1.216 |
0.143 |
0.142 |
Waldmann_07_size12/size-12-alpha-3-num-41 |
1.188 |
0.166 |
0.173 |
Waldmann_07_size12/size-12-alpha-3-num-410 |
1.223 |
0.148 |
0.14 |
Waldmann_07_size12/size-12-alpha-3-num-412 |
1.241 |
0.146 |
0.163 |
Waldmann_07_size12/size-12-alpha-3-num-413 |
1.216 |
0.148 |
0.162 |
Waldmann_07_size12/size-12-alpha-3-num-414 |
1.213 |
0.144 |
0.158 |
Waldmann_07_size12/size-12-alpha-3-num-415 |
1.208 |
0.15 |
0.145 |
Waldmann_07_size12/size-12-alpha-3-num-416 |
1.23 |
0.161 |
0.155 |
Waldmann_07_size12/size-12-alpha-3-num-417 |
1.219 |
0.163 |
0.165 |
problem |
pm |
bpm |
bprm |
Waldmann_07_size12/size-12-alpha-3-num-418 |
1.23 |
0.161 |
0.158 |
Waldmann_07_size12/size-12-alpha-3-num-427 |
1.208 |
0.15 |
0.164 |
Waldmann_07_size12/size-12-alpha-3-num-429 |
1.206 |
6.219 |
11.214 |
Waldmann_07_size12/size-12-alpha-3-num-430 |
1.212 |
0.147 |
0.149 |
Waldmann_07_size12/size-12-alpha-3-num-431 |
1.209 |
0.153 |
0.156 |
Waldmann_07_size12/size-12-alpha-3-num-434 |
1.211 |
6.216 |
11.23 |
Waldmann_07_size12/size-12-alpha-3-num-435 |
1.22 |
0.163 |
0.157 |
Waldmann_07_size12/size-12-alpha-3-num-436 |
1.205 |
6.217 |
11.227 |
Waldmann_07_size12/size-12-alpha-3-num-437 |
1.218 |
6.223 |
11.224 |
Waldmann_07_size12/size-12-alpha-3-num-438 |
1.224 |
6.204 |
11.212 |
Waldmann_07_size12/size-12-alpha-3-num-439 |
1.202 |
6.223 |
11.219 |
Waldmann_07_size12/size-12-alpha-3-num-44 |
1.199 |
0.158 |
0.144 |
Waldmann_07_size12/size-12-alpha-3-num-441 |
1.189 |
6.205 |
11.209 |
Waldmann_07_size12/size-12-alpha-3-num-443 |
1.198 |
6.193 |
11.203 |
Waldmann_07_size12/size-12-alpha-3-num-446 |
1.188 |
0.151 |
0.152 |
Waldmann_07_size12/size-12-alpha-3-num-448 |
1.207 |
6.204 |
11.217 |
Waldmann_07_size12/size-12-alpha-3-num-45 |
1.184 |
0.151 |
0.162 |
Waldmann_07_size12/size-12-alpha-3-num-450 |
1.206 |
6.211 |
11.214 |
Waldmann_07_size12/size-12-alpha-3-num-451 |
1.217 |
0.158 |
0.158 |
Waldmann_07_size12/size-12-alpha-3-num-452 |
1.203 |
0.145 |
0.154 |
Waldmann_07_size12/size-12-alpha-3-num-453 |
1.191 |
0.162 |
0.162 |
Waldmann_07_size12/size-12-alpha-3-num-454 |
1.218 |
0.153 |
0.165 |
Waldmann_07_size12/size-12-alpha-3-num-455 |
1.205 |
0.165 |
0.155 |
Waldmann_07_size12/size-12-alpha-3-num-456 |
1.199 |
6.214 |
11.214 |
Waldmann_07_size12/size-12-alpha-3-num-460 |
1.203 |
0.142 |
0.156 |
problem |
pm |
bpm |
bprm |
Waldmann_07_size12/size-12-alpha-3-num-461 |
1.22 |
0.146 |
0.148 |
Waldmann_07_size12/size-12-alpha-3-num-462 |
1.213 |
0.158 |
0.167 |
Waldmann_07_size12/size-12-alpha-3-num-465 |
1.189 |
0.147 |
0.156 |
Waldmann_07_size12/size-12-alpha-3-num-467 |
1.222 |
0.152 |
0.163 |
Waldmann_07_size12/size-12-alpha-3-num-468 |
1.202 |
0.155 |
0.149 |
Waldmann_07_size12/size-12-alpha-3-num-469 |
1.211 |
0.16 |
0.158 |
Waldmann_07_size12/size-12-alpha-3-num-47 |
1.202 |
6.21 |
11.222 |
Waldmann_07_size12/size-12-alpha-3-num-470 |
1.211 |
0.151 |
0.154 |
Waldmann_07_size12/size-12-alpha-3-num-472 |
1.205 |
0.149 |
0.165 |
Waldmann_07_size12/size-12-alpha-3-num-473 |
1.189 |
0.155 |
0.157 |
Waldmann_07_size12/size-12-alpha-3-num-474 |
1.209 |
0.136 |
0.144 |
Waldmann_07_size12/size-12-alpha-3-num-475 |
1.211 |
0.151 |
0.152 |
Waldmann_07_size12/size-12-alpha-3-num-476 |
1.211 |
0.139 |
0.146 |
Waldmann_07_size12/size-12-alpha-3-num-477 |
1.199 |
6.19 |
11.208 |
Waldmann_07_size12/size-12-alpha-3-num-478 |
1.194 |
0.14 |
0.147 |
Waldmann_07_size12/size-12-alpha-3-num-479 |
1.201 |
0.148 |
0.149 |
Waldmann_07_size12/size-12-alpha-3-num-48 |
1.205 |
6.202 |
11.215 |
Waldmann_07_size12/size-12-alpha-3-num-480 |
1.214 |
6.213 |
11.223 |
Waldmann_07_size12/size-12-alpha-3-num-482 |
1.196 |
6.197 |
11.22 |
Waldmann_07_size12/size-12-alpha-3-num-484 |
1.221 |
0.154 |
0.158 |
Waldmann_07_size12/size-12-alpha-3-num-485 |
1.182 |
0.167 |
0.166 |
Waldmann_07_size12/size-12-alpha-3-num-487 |
1.206 |
0.151 |
0.163 |
Waldmann_07_size12/size-12-alpha-3-num-488 |
1.199 |
6.189 |
11.202 |
Waldmann_07_size12/size-12-alpha-3-num-489 |
1.192 |
0.165 |
0.173 |
Waldmann_07_size12/size-12-alpha-3-num-49 |
1.201 |
6.21 |
11.206 |
problem |
pm |
bpm |
bprm |
Waldmann_07_size12/size-12-alpha-3-num-491 |
1.233 |
6.205 |
11.227 |
Waldmann_07_size12/size-12-alpha-3-num-492 |
1.21 |
6.21 |
11.22 |
Waldmann_07_size12/size-12-alpha-3-num-493 |
1.22 |
0.154 |
0.143 |
Waldmann_07_size12/size-12-alpha-3-num-494 |
1.196 |
0.16 |
0.15 |
Waldmann_07_size12/size-12-alpha-3-num-495 |
1.21 |
0.139 |
0.158 |
Waldmann_07_size12/size-12-alpha-3-num-497 |
1.196 |
0.162 |
0.142 |
Waldmann_07_size12/size-12-alpha-3-num-498 |
1.193 |
0.143 |
0.151 |
Waldmann_07_size12/size-12-alpha-3-num-499 |
1.2 |
0.141 |
0.149 |
Waldmann_07_size12/size-12-alpha-3-num-502 |
1.187 |
0.156 |
0.164 |
Waldmann_07_size12/size-12-alpha-3-num-503 |
1.211 |
0.143 |
0.15 |
Waldmann_07_size12/size-12-alpha-3-num-506 |
1.225 |
0.162 |
0.147 |
Waldmann_07_size12/size-12-alpha-3-num-507 |
1.198 |
0.136 |
0.145 |
Waldmann_07_size12/size-12-alpha-3-num-508 |
1.183 |
6.199 |
11.201 |
Waldmann_07_size12/size-12-alpha-3-num-51 |
1.213 |
0.151 |
0.158 |
Waldmann_07_size12/size-12-alpha-3-num-511 |
1.189 |
0.17 |
0.164 |
Waldmann_07_size12/size-12-alpha-3-num-52 |
1.218 |
0.145 |
0.146 |
Waldmann_07_size12/size-12-alpha-3-num-522 |
1.236 |
0.169 |
0.164 |
Waldmann_07_size12/size-12-alpha-3-num-526 |
1.216 |
0.141 |
0.138 |
Waldmann_07_size12/size-12-alpha-3-num-532 |
1.195 |
6.207 |
11.209 |
Waldmann_07_size12/size-12-alpha-3-num-535 |
1.226 |
0.147 |
0.161 |
Waldmann_07_size12/size-12-alpha-3-num-536 |
1.221 |
0.162 |
0.159 |
Waldmann_07_size12/size-12-alpha-3-num-540 |
1.197 |
6.203 |
11.21 |
Waldmann_07_size12/size-12-alpha-3-num-541 |
1.206 |
6.197 |
11.222 |
Waldmann_07_size12/size-12-alpha-3-num-543 |
1.22 |
6.23 |
11.241 |
Waldmann_07_size12/size-12-alpha-3-num-545 |
1.222 |
6.236 |
11.219 |
problem |
pm |
bpm |
bprm |
Waldmann_07_size12/size-12-alpha-3-num-546 |
1.186 |
6.202 |
11.195 |
Waldmann_07_size12/size-12-alpha-3-num-547 |
1.215 |
6.196 |
11.207 |
Waldmann_07_size12/size-12-alpha-3-num-548 |
1.24 |
6.221 |
11.24 |
Waldmann_07_size12/size-12-alpha-3-num-549 |
1.204 |
0.198 |
0.182 |
Waldmann_07_size12/size-12-alpha-3-num-550 |
1.2 |
6.213 |
11.228 |
Waldmann_07_size12/size-12-alpha-3-num-551 |
1.21 |
6.202 |
11.2 |
Waldmann_07_size12/size-12-alpha-3-num-552 |
1.207 |
6.199 |
11.222 |
Waldmann_07_size12/size-12-alpha-3-num-553 |
1.216 |
6.224 |
11.213 |
Waldmann_07_size12/size-12-alpha-3-num-556 |
1.22 |
6.232 |
11.231 |
Waldmann_07_size12/size-12-alpha-3-num-558 |
1.184 |
6.204 |
11.195 |
Waldmann_07_size12/size-12-alpha-3-num-559 |
1.192 |
6.206 |
11.208 |
Waldmann_07_size12/size-12-alpha-3-num-560 |
1.208 |
6.204 |
11.205 |
Waldmann_07_size12/size-12-alpha-3-num-561 |
1.194 |
6.195 |
11.202 |
Waldmann_07_size12/size-12-alpha-3-num-563 |
1.197 |
6.217 |
11.215 |
Waldmann_07_size12/size-12-alpha-3-num-564 |
1.193 |
6.19 |
11.214 |
Waldmann_07_size12/size-12-alpha-3-num-565 |
1.199 |
6.185 |
11.198 |
Waldmann_07_size12/size-12-alpha-3-num-566 |
1.185 |
6.199 |
11.201 |
Waldmann_07_size12/size-12-alpha-3-num-568 |
1.216 |
0.145 |
0.154 |
Waldmann_07_size12/size-12-alpha-3-num-57 |
1.194 |
0.151 |
0.145 |
Waldmann_07_size12/size-12-alpha-3-num-59 |
1.199 |
6.196 |
11.208 |
Waldmann_07_size12/size-12-alpha-3-num-61 |
1.204 |
0.148 |
0.15 |
Waldmann_07_size12/size-12-alpha-3-num-64 |
1.192 |
0.165 |
0.155 |
Waldmann_07_size12/size-12-alpha-3-num-65 |
1.196 |
6.196 |
11.211 |
Waldmann_07_size12/size-12-alpha-3-num-66 |
1.209 |
0.152 |
0.152 |
Waldmann_07_size12/size-12-alpha-3-num-67 |
1.21 |
0.157 |
0.144 |
problem |
pm |
bpm |
bprm |
Waldmann_07_size12/size-12-alpha-3-num-7 |
1.206 |
0.154 |
0.15 |
Waldmann_07_size12/size-12-alpha-3-num-70 |
1.204 |
0.144 |
0.146 |
Waldmann_07_size12/size-12-alpha-3-num-71 |
1.221 |
0.161 |
0.174 |
Waldmann_07_size12/size-12-alpha-3-num-72 |
1.199 |
0.171 |
0.174 |
Waldmann_07_size12/size-12-alpha-3-num-74 |
1.183 |
0.151 |
0.16 |
Waldmann_07_size12/size-12-alpha-3-num-76 |
1.197 |
0.158 |
0.162 |
Waldmann_07_size12/size-12-alpha-3-num-82 |
1.209 |
0.146 |
0.155 |
Waldmann_07_size12/size-12-alpha-3-num-83 |
1.215 |
6.208 |
11.218 |
Waldmann_07_size12/size-12-alpha-3-num-84 |
1.203 |
0.147 |
0.161 |
Waldmann_07_size12/size-12-alpha-3-num-85 |
1.208 |
0.146 |
0.148 |
Waldmann_07_size12/size-12-alpha-3-num-86 |
1.196 |
0.158 |
0.152 |
Waldmann_07_size12/size-12-alpha-3-num-88 |
1.227 |
0.156 |
0.146 |
Waldmann_07_size12/size-12-alpha-3-num-9 |
1.221 |
0.15 |
0.165 |
Waldmann_07_size12/size-12-alpha-3-num-90 |
1.2 |
0.162 |
0.152 |
Waldmann_07_size12/size-12-alpha-3-num-91 |
1.194 |
0.165 |
0.165 |
Waldmann_07_size12/size-12-alpha-3-num-92 |
1.196 |
6.191 |
11.217 |
Waldmann_07_size12/size-12-alpha-3-num-94 |
1.207 |
0.158 |
0.165 |
Waldmann_07_size12/size-12-alpha-3-num-95 |
1.191 |
0.141 |
0.155 |
Waldmann_07_size12/size-12-alpha-3-num-98 |
1.198 |
0.162 |
0.173 |
Waldmann_07_size12/size-12-alpha-3-num-99 |
1.197 |
0.145 |
0.144 |
Zantema_04/syracuse |
1.564 |
6.572 |
11.569 |
Zantema_04/z001 |
1.206 |
0.14 |
0.137 |
Zantema_04/z002 |
1.248 |
0.159 |
0.143 |
Zantema_04/z003 |
1.276 |
0.176 |
0.177 |
Zantema_04/z004 |
1.285 |
0.164 |
0.173 |
problem |
pm |
bpm |
bprm |
Zantema_04/z005 |
1.236 |
0.162 |
0.151 |
Zantema_04/z006 |
0.176 |
0.151 |
0.14 |
Zantema_04/z007 |
1.211 |
0.138 |
0.15 |
Zantema_04/z008 |
3.659 |
0.163 |
0.152 |
Zantema_04/z009 |
1.223 |
6.218 |
11.233 |
Zantema_04/z010 |
1.182 |
6.192 |
11.192 |
Zantema_04/z011 |
1.22 |
0.155 |
0.146 |
Zantema_04/z012 |
1.182 |
0.162 |
0.154 |
Zantema_04/z013 |
2.344 |
0.161 |
0.17 |
Zantema_04/z014 |
1.214 |
0.159 |
0.154 |
Zantema_04/z015 |
1.204 |
0.142 |
0.155 |
Zantema_04/z017 |
1.219 |
0.169 |
0.153 |
Zantema_04/z018 |
1.228 |
6.235 |
11.246 |
Zantema_04/z019 |
1.223 |
0.143 |
0.145 |
Zantema_04/z020 |
1.204 |
6.22 |
11.225 |
Zantema_04/z021 |
1.219 |
0.147 |
0.138 |
Zantema_04/z022 |
1.278 |
0.141 |
0.157 |
Zantema_04/z023 |
2.323 |
0.152 |
0.146 |
Zantema_04/z024 |
2.348 |
0.151 |
0.138 |
Zantema_04/z025 |
1.226 |
0.155 |
0.151 |
Zantema_04/z026 |
1.216 |
6.228 |
11.237 |
Zantema_04/z027 |
1.265 |
0.153 |
0.145 |
Zantema_04/z028 |
1.267 |
0.147 |
0.153 |
Zantema_04/z029 |
1.273 |
0.141 |
0.157 |
Zantema_04/z030 |
1.261 |
0.158 |
0.152 |
problem |
pm |
bpm |
bprm |
Zantema_04/z031 |
1.367 |
0.156 |
0.146 |
Zantema_04/z032 |
1.265 |
0.148 |
0.151 |
Zantema_04/z033 |
1.341 |
0.151 |
0.163 |
Zantema_04/z034 |
1.249 |
0.144 |
0.151 |
Zantema_04/z035 |
1.28 |
0.147 |
0.153 |
Zantema_04/z036 |
1.312 |
0.16 |
0.155 |
Zantema_04/z037 |
1.303 |
0.138 |
0.153 |
Zantema_04/z038 |
1.316 |
0.144 |
0.148 |
Zantema_04/z039 |
1.423 |
0.149 |
0.158 |
Zantema_04/z040 |
1.293 |
0.147 |
0.143 |
Zantema_04/z041 |
1.273 |
0.142 |
0.154 |
Zantema_04/z042 |
1.336 |
6.349 |
11.36 |
Zantema_04/z043 |
1.279 |
0.172 |
0.178 |
Zantema_04/z044 |
1.258 |
6.252 |
11.266 |
Zantema_04/z045 |
1.376 |
0.202 |
0.182 |
Zantema_04/z046 |
1.308 |
6.303 |
11.305 |
Zantema_04/z047 |
1.296 |
0.171 |
0.174 |
Zantema_04/z048 |
1.415 |
0.147 |
0.151 |
Zantema_04/z049 |
1.272 |
0.149 |
0.16 |
Zantema_04/z050 |
1.264 |
0.14 |
0.135 |
Zantema_04/z051 |
1.245 |
0.151 |
0.148 |
Zantema_04/z052 |
1.27 |
0.14 |
0.15 |
Zantema_04/z053 |
1.27 |
0.139 |
0.143 |
Zantema_04/z054 |
1.273 |
0.151 |
0.15 |
Zantema_04/z055 |
1.277 |
0.146 |
0.136 |
problem |
pm |
bpm |
bprm |
Zantema_04/z056 |
1.262 |
0.143 |
0.151 |
Zantema_04/z057 |
1.254 |
0.153 |
0.14 |
Zantema_04/z058 |
1.269 |
0.143 |
0.151 |
Zantema_04/z059 |
1.246 |
0.151 |
0.152 |
Zantema_04/z060 |
1.228 |
0.142 |
0.133 |
Zantema_04/z061 |
1.44 |
0.155 |
0.155 |
Zantema_04/z062 |
1.386 |
0.153 |
0.143 |
Zantema_04/z063 |
1.277 |
0.147 |
0.144 |
Zantema_04/z064 |
1.28 |
0.143 |
0.142 |
Zantema_04/z065 |
2.403 |
0.201 |
0.224 |
Zantema_04/z066 |
0.716 |
0.177 |
0.178 |
Zantema_04/z067 |
1.331 |
0.183 |
0.167 |
Zantema_04/z068 |
1.311 |
0.167 |
0.191 |
Zantema_04/z069 |
1.549 |
0.222 |
0.218 |
Zantema_04/z070 |
1.638 |
0.208 |
0.228 |
Zantema_04/z071 |
1.293 |
0.162 |
0.155 |
Zantema_04/z072 |
1.311 |
0.174 |
0.158 |
Zantema_04/z073 |
1.282 |
0.173 |
0.175 |
Zantema_04/z074 |
3.083 |
0.218 |
0.201 |
Zantema_04/z075 |
2.457 |
7.469 |
12.477 |
Zantema_04/z076 |
1.193 |
0.178 |
0.178 |
Zantema_04/z077 |
1.225 |
6.216 |
11.232 |
Zantema_04/z078 |
1.235 |
6.248 |
11.41 |
Zantema_04/z079 |
1.349 |
6.348 |
11.347 |
Zantema_04/z080 |
1.236 |
0.175 |
0.189 |
problem |
pm |
bpm |
bprm |
Zantema_04/z081 |
1.413 |
0.161 |
0.167 |
Zantema_04/z082 |
1.295 |
0.164 |
0.154 |
Zantema_04/z083 |
2.458 |
7.442 |
12.452 |
Zantema_04/z084 |
1.185 |
0.165 |
0.157 |
Zantema_04/z085 |
0.152 |
0.152 |
0.147 |
Zantema_04/z086 |
1.18 |
0.156 |
0.164 |
Zantema_04/z087 |
1.202 |
0.149 |
0.142 |
Zantema_04/z088 |
1.252 |
0.14 |
0.147 |
Zantema_04/z089 |
2.355 |
0.146 |
0.153 |
Zantema_04/z090 |
1.325 |
0.176 |
0.183 |
Zantema_04/z091 |
2.923 |
0.226 |
0.228 |
Zantema_04/z092 |
1.036 |
0.208 |
0.22 |
Zantema_04/z093 |
1.208 |
0.157 |
0.142 |
Zantema_04/z094 |
1.279 |
0.176 |
0.175 |
Zantema_04/z095 |
1.214 |
0.135 |
0.159 |
Zantema_04/z096 |
1.248 |
0.156 |
0.149 |
Zantema_04/z097 |
1.28 |
0.138 |
0.144 |
Zantema_04/z098 |
1.26 |
0.137 |
0.147 |
Zantema_04/z100 |
3.781 |
8.758 |
12.051 |
Zantema_04/z101 |
1.2 |
0.146 |
0.149 |
Zantema_04/z102 |
1.206 |
0.157 |
0.14 |
Zantema_04/z103 |
1.197 |
0.161 |
0.151 |
Zantema_04/z104 |
1.301 |
0.17 |
0.16 |
Zantema_04/z105 |
1.246 |
0.167 |
0.174 |
Zantema_04/z106 |
1.247 |
0.165 |
0.173 |
problem |
pm |
bpm |
bprm |
Zantema_04/z107 |
1.234 |
0.156 |
0.164 |
Zantema_04/z108 |
1.211 |
0.158 |
0.15 |
Zantema_04/z109 |
1.203 |
0.163 |
0.164 |
Zantema_04/z110 |
1.243 |
0.155 |
0.161 |
Zantema_04/z111 |
1.272 |
0.169 |
0.171 |
Zantema_04/z112 |
1.283 |
0.172 |
0.179 |
Zantema_04/z113 |
1.276 |
0.164 |
0.171 |
Zantema_04/z114 |
1.2 |
0.152 |
0.15 |
Zantema_04/z115 |
1.259 |
0.144 |
0.155 |
Zantema_04/z116 |
1.207 |
0.161 |
0.171 |
Zantema_04/z117 |
1.277 |
0.163 |
0.168 |
Zantema_04/z118 |
1.26 |
0.172 |
0.17 |
Zantema_04/z119 |
1.283 |
0.149 |
0.156 |
Zantema_04/z120 |
1.236 |
0.189 |
0.184 |
Zantema_04/z121 |
1.319 |
0.161 |
0.167 |
Zantema_04/z122 |
1.27 |
0.174 |
0.16 |
Zantema_04/z123 |
1.293 |
0.167 |
0.176 |
Zantema_04/z124 |
0.757 |
0.21 |
0.194 |
Zantema_04/z125 |
1.337 |
0.204 |
0.206 |
Zantema_04/z126 |
1.213 |
0.138 |
0.147 |
Zantema_04/z127 |
1.215 |
0.138 |
0.146 |
Zantema_04/z128 |
1.221 |
0.155 |
0.154 |
Zantema_05/jw01 |
1.173 |
0.14 |
0.139 |
Zantema_05/jw02 |
1.183 |
0.134 |
0.141 |
Zantema_05/jw03 |
1.173 |
0.143 |
0.146 |
problem |
pm |
bpm |
bprm |
Zantema_05/jw04 |
1.178 |
0.136 |
0.151 |
Zantema_05/jw05 |
1.176 |
0.137 |
0.146 |
Zantema_05/jw06 |
1.17 |
0.154 |
0.152 |
Zantema_05/jw07 |
1.165 |
0.14 |
0.151 |
Zantema_05/jw08 |
1.178 |
0.143 |
0.154 |
Zantema_05/jw09 |
1.165 |
0.149 |
0.15 |
Zantema_05/jw11 |
1.183 |
0.137 |
0.143 |
Zantema_05/jw12 |
1.187 |
0.137 |
0.142 |
Zantema_05/jw13 |
1.186 |
0.157 |
0.15 |
Zantema_05/jw14 |
1.187 |
0.149 |
0.143 |
Zantema_05/jw15 |
1.184 |
0.153 |
0.139 |
Zantema_05/jw16 |
1.175 |
0.153 |
0.135 |
Zantema_05/jw17 |
1.189 |
0.141 |
0.156 |
Zantema_05/jw18 |
1.176 |
0.144 |
0.133 |
Zantema_05/jw19 |
1.184 |
0.136 |
0.15 |
Zantema_05/jw20 |
1.167 |
0.143 |
0.134 |
Zantema_05/jw21 |
1.183 |
0.149 |
0.144 |
Zantema_05/jw22 |
1.178 |
0.148 |
0.143 |
Zantema_05/jw23 |
1.174 |
0.137 |
0.15 |
Zantema_05/jw24 |
1.181 |
0.137 |
0.155 |
Zantema_05/jw25 |
1.19 |
0.155 |
0.155 |
Zantema_05/jw26 |
1.179 |
0.143 |
0.144 |
Zantema_05/jw27 |
1.199 |
0.137 |
0.158 |
Zantema_05/jw28 |
1.172 |
0.142 |
0.136 |
Zantema_05/jw29 |
1.185 |
0.15 |
0.146 |
problem |
pm |
bpm |
bprm |
Zantema_05/jw30 |
1.165 |
0.152 |
0.142 |
Zantema_05/jw31 |
1.175 |
0.147 |
0.133 |
Zantema_05/jw32 |
1.18 |
0.133 |
0.15 |
Zantema_05/jw33 |
1.176 |
0.137 |
0.151 |
Zantema_05/jw34 |
1.173 |
0.135 |
0.144 |
Zantema_05/jw35 |
1.183 |
0.151 |
0.132 |
Zantema_05/jw36 |
1.204 |
0.138 |
0.148 |
Zantema_05/jw37 |
1.196 |
0.153 |
0.138 |
Zantema_05/jw38 |
1.173 |
0.139 |
0.15 |
Zantema_05/jw39 |
1.181 |
0.151 |
0.142 |
Zantema_05/jw40 |
1.185 |
0.145 |
0.152 |
Zantema_05/jw41 |
1.177 |
0.144 |
0.142 |
Zantema_05/jw42 |
1.167 |
0.14 |
0.142 |
Zantema_05/jw43 |
1.19 |
0.155 |
0.151 |
Zantema_05/jw44 |
0.161 |
0.148 |
0.144 |
Zantema_05/jw47 |
0.158 |
0.145 |
0.151 |
Zantema_05/jw50 |
1.189 |
0.143 |
0.142 |
Zantema_05/z01 |
1.235 |
0.156 |
0.148 |
Zantema_05/z02 |
1.172 |
0.169 |
0.16 |
Zantema_05/z03 |
1.208 |
0.147 |
0.16 |
Zantema_05/z05 |
1.204 |
0.152 |
0.145 |
Zantema_05/z06 |
1.186 |
0.155 |
0.155 |
Zantema_05/z07 |
1.21 |
0.162 |
0.174 |
Zantema_05/z08 |
1.215 |
0.167 |
0.156 |
Zantema_05/z11 |
1.27 |
0.163 |
0.169 |
problem |
pm |
bpm |
bprm |
Zantema_05/z12 |
1.277 |
6.292 |
11.287 |
Zantema_05/z13 |
1.27 |
6.267 |
11.268 |
Zantema_05/z14 |
1.227 |
6.239 |
11.245 |
Zantema_05/z15 |
1.199 |
6.217 |
11.208 |
Zantema_05/z16 |
1.234 |
6.236 |
11.243 |
Zantema_05/z17 |
1.236 |
6.229 |
11.236 |
Zantema_05/z18 |
1.218 |
6.226 |
11.236 |
Zantema_05/z19 |
1.191 |
0.14 |
0.145 |
Zantema_05/z20 |
1.233 |
0.16 |
0.159 |
Zantema_05/z21 |
1.215 |
0.141 |
0.154 |
Zantema_05/z22 |
1.234 |
0.157 |
0.151 |
Zantema_05/z23 |
1.35 |
6.357 |
13.63 |
Zantema_05/z24 |
1.327 |
6.335 |
11.335 |
Zantema_05/z25 |
1.179 |
0.146 |
0.146 |
Zantema_05/z26 |
1.341 |
0.168 |
0.163 |
Zantema_05/z29 |
1.217 |
0.163 |
0.156 |
Zantema_05/z30 |
1.297 |
0.158 |
0.156 |
Zantema_06/01 |
1.225 |
0.192 |
0.193 |
Zantema_06/02 |
1.215 |
6.221 |
11.208 |
Zantema_06/03 |
1.269 |
0.162 |
0.164 |
Zantema_06/04 |
1.22 |
0.15 |
0.157 |
Zantema_06/05 |
1.255 |
0.154 |
0.157 |
Zantema_06/06 |
1.269 |
0.179 |
0.181 |
Zantema_06/07 |
1.214 |
0.145 |
0.143 |
Zantema_06/08 |
1.22 |
0.167 |
0.167 |
problem |
pm |
bpm |
bprm |
Zantema_06/09 |
1.407 |
0.168 |
0.167 |
Zantema_06/10 |
1.251 |
0.196 |
0.196 |
Zantema_06/11 |
1.387 |
0.149 |
0.154 |
Zantema_06/12 |
1.386 |
0.15 |
0.157 |
Zantema_06/13 |
1.305 |
0.152 |
0.163 |
Zantema_06/14 |
1.236 |
0.15 |
0.16 |
Zantema_06/15 |
3.197 |
0.242 |
0.209 |
Zantema_06/16 |
1.519 |
0.213 |
0.181 |
Zantema_06/17 |
6.177 |
0.207 |
0.222 |
Zantema_06/18 |
7.467 |
0.244 |
0.233 |
Zantema_06/abc |
1.223 |
0.149 |
0.145 |
Zantema_06/beans1 |
1.834 |
0.195 |
0.198 |
Zantema_06/beans2 |
1.331 |
6.328 |
11.336 |
Zantema_06/beans3 |
1.387 |
0.185 |
0.19 |
Zantema_06/beans4 |
1.316 |
0.159 |
0.16 |
Zantema_06/beans5 |
1.221 |
0.147 |
0.15 |
Zantema_06/beans6 |
1.288 |
6.284 |
11.288 |
Zantema_06/beans7 |
1.265 |
0.162 |
0.169 |
Zantema_06/loop1 |
1.205 |
6.19 |
11.208 |
Zantema_06/loop2 |
1.193 |
0.147 |
0.149 |
Zantema_06/while1 |
2.807 |
0.859 |
0.875 |
Zantema_06/while2 |
1.293 |
0.184 |
0.194 |
|