| problem |
pm |
bpm |
bprm |
| AG01/#3.12 |
1.306 |
6.302 |
11.313 |
| AG01/#3.15 |
0.223 |
5.228 |
10.23 |
| AG01/#3.17 |
1.51 |
6.52 |
11.507 |
| AG01/#3.17a |
1.656 |
6.669 |
11.659 |
| AG01/#3.24 |
0.181 |
0.207 |
0.193 |
| AG01/#3.26 |
1.173 |
6.188 |
11.178 |
| AG01/#3.33 |
0.262 |
0.167 |
0.17 |
| AG01/#3.35 |
0.196 |
5.195 |
10.187 |
| AG01/#3.37 |
1.207 |
0.208 |
0.214 |
| AG01/#3.49 |
1.295 |
6.301 |
11.301 |
| AG01/#3.51 |
1.248 |
0.184 |
0.209 |
| AG01/#3.56 |
0.279 |
5.283 |
10.321 |
| AG01/#3.7 |
0.203 |
5.209 |
10.218 |
| AProVE_04/LPAR_intlist |
1.309 |
6.322 |
11.324 |
| AProVE_04/Liveness6.1 |
2.472 |
7.492 |
12.493 |
| AProVE_04/Liveness6.2 |
1.307 |
6.299 |
11.307 |
| AProVE_04/Liveness6.3 |
2.998 |
7.994 |
13.006 |
| AProVE_04/Liveness6.4 |
1.612 |
6.608 |
11.613 |
| AProVE_04/Liveness8 |
1.988 |
6.963 |
11.987 |
| AProVE_04/Liveness_WRS |
4.016 |
9.042 |
15.037 |
| AProVE_06/identity |
1.328 |
6.355 |
11.356 |
| AProVE_06/nonterm |
1.287 |
6.287 |
11.289 |
| AProVE_06/tower_sizeChange |
1.367 |
6.403 |
11.385 |
| AProVE_08/round |
1.217 |
6.242 |
11.237 |
| AProVE_08/round_nonterm |
1.208 |
6.221 |
11.231 |
| problem |
pm |
bpm |
bprm |
| AotoYamada_05/005 |
0.239 |
5.223 |
10.253 |
| AotoYamada_05/017 |
0.135 |
0.151 |
0.159 |
| AotoYamada_05/023 |
0.196 |
5.202 |
10.21 |
| AotoYamada_05/025 |
0.127 |
0.141 |
0.149 |
| Applicative_05/Ex2_6_1Composition |
0.146 |
0.222 |
0.231 |
| Applicative_05/ReverseLastInit |
1.362 |
6.361 |
11.364 |
| Applicative_05/TypeEx5 |
1.171 |
6.174 |
11.196 |
| Bouchare_06/01 |
1.217 |
6.206 |
11.22 |
| Bouchare_06/02 |
0.187 |
5.209 |
6.399 |
| Bouchare_06/03 |
1.209 |
6.209 |
11.24 |
| Bouchare_06/04 |
1.222 |
6.233 |
11.221 |
| Bouchare_06/05 |
1.2 |
6.216 |
11.23 |
| Bouchare_06/06 |
1.243 |
6.243 |
11.236 |
| Bouchare_06/07 |
1.22 |
6.229 |
11.229 |
| Bouchare_06/08 |
1.211 |
6.21 |
11.224 |
| Bouchare_06/09 |
1.209 |
6.209 |
11.221 |
| Bouchare_06/10 |
1.216 |
6.212 |
11.218 |
| Bouchare_06/11 |
1.182 |
6.19 |
11.189 |
| Bouchare_06/12 |
1.198 |
6.208 |
11.211 |
| Bouchare_06/13 |
1.219 |
6.229 |
11.234 |
| Bouchare_06/14 |
1.195 |
6.198 |
11.201 |
| Bouchare_06/15 |
1.217 |
6.221 |
11.222 |
| Bouchare_06/16 |
1.193 |
6.221 |
11.207 |
| Bouchare_06/17 |
1.192 |
6.205 |
11.219 |
| Bouchare_06/18 |
1.202 |
6.23 |
11.224 |
| problem |
pm |
bpm |
bprm |
| CiME_04/dpqs |
1.271 |
0.181 |
0.183 |
| CiME_04/filliatre |
1.402 |
6.393 |
11.411 |
| CiME_04/filliatre2 |
1.556 |
6.563 |
11.582 |
| Der95/01 |
0.193 |
0.179 |
0.183 |
| Der95/02 |
0.167 |
0.149 |
0.169 |
| Der95/03 |
0.134 |
0.152 |
0.149 |
| Der95/04 |
0.162 |
5.157 |
10.156 |
| Der95/06 |
1.191 |
6.193 |
11.205 |
| Der95/07 |
0.21 |
5.202 |
10.195 |
| Der95/09 |
0.152 |
5.154 |
10.149 |
| Der95/17 |
1.294 |
6.298 |
11.297 |
| Der95/20 |
1.23 |
6.239 |
11.24 |
| Der95/27 |
0.156 |
5.176 |
10.173 |
| Endrullis_06/direct |
1.234 |
0.259 |
0.263 |
| Endrullis_06/linear1 |
1.227 |
6.228 |
11.251 |
| Endrullis_06/linear2 |
1.289 |
6.29 |
11.283 |
| Endrullis_06/pair3rotate |
1.227 |
6.23 |
11.223 |
| Endrullis_06/pair3swap |
1.236 |
6.236 |
11.252 |
| Endrullis_06/quadruple1 |
1.212 |
0.161 |
0.153 |
| Endrullis_06/quadruple2 |
1.239 |
0.179 |
0.18 |
| Gebhardt_06/01 |
1.236 |
6.233 |
11.248 |
| Gebhardt_06/02 |
1.241 |
6.241 |
11.258 |
| Gebhardt_06/03 |
1.255 |
6.263 |
11.258 |
| Gebhardt_06/04 |
1.23 |
6.235 |
11.245 |
| Gebhardt_06/05 |
1.259 |
6.265 |
11.264 |
| problem |
pm |
bpm |
bprm |
| Gebhardt_06/06 |
1.254 |
6.25 |
11.253 |
| Gebhardt_06/07 |
1.247 |
6.261 |
11.258 |
| Gebhardt_06/08 |
1.241 |
6.258 |
11.279 |
| Gebhardt_06/09 |
1.227 |
6.235 |
11.25 |
| Gebhardt_06/10 |
1.266 |
6.27 |
11.262 |
| Gebhardt_06/11 |
1.251 |
6.256 |
11.265 |
| Gebhardt_06/12 |
1.269 |
6.253 |
11.269 |
| Gebhardt_06/13 |
1.241 |
6.254 |
11.264 |
| Gebhardt_06/14 |
1.251 |
6.231 |
11.246 |
| Gebhardt_06/15 |
1.259 |
6.259 |
11.274 |
| Gebhardt_06/16 |
1.253 |
6.257 |
11.254 |
| Gebhardt_06/17 |
1.249 |
6.262 |
11.356 |
| Gebhardt_06/18 |
1.237 |
6.366 |
11.253 |
| Gebhardt_06/19 |
1.256 |
6.257 |
11.27 |
| Gebhardt_06/20 |
1.26 |
6.255 |
11.26 |
| HirokawaMiddeldorp_04/n002 |
1.144 |
6.151 |
11.145 |
| HirokawaMiddeldorp_04/n003 |
1.134 |
6.143 |
11.157 |
| HirokawaMiddeldorp_04/n004 |
1.149 |
6.144 |
11.154 |
| HirokawaMiddeldorp_04/n005 |
1.155 |
6.14 |
11.144 |
| HirokawaMiddeldorp_04/n006 |
1.142 |
6.143 |
11.156 |
| HirokawaMiddeldorp_04/n008 |
1.138 |
6.141 |
11.161 |
| HirokawaMiddeldorp_04/t000 |
2.34 |
7.336 |
12.397 |
| HirokawaMiddeldorp_04/t004 |
1.206 |
6.203 |
11.211 |
| HirokawaMiddeldorp_04/t006 |
0.141 |
0.195 |
0.187 |
| HirokawaMiddeldorp_04/t007 |
0.169 |
0.161 |
0.166 |
| problem |
pm |
bpm |
bprm |
| HirokawaMiddeldorp_04/t008 |
1.251 |
6.24 |
11.249 |
| HirokawaMiddeldorp_04/t009 |
2.323 |
7.381 |
12.356 |
| HirokawaMiddeldorp_04/t010 |
0.157 |
0.165 |
0.156 |
| HirokawaMiddeldorp_04/t011 |
0.172 |
5.172 |
10.163 |
| HirokawaMiddeldorp_04/t012 |
1.257 |
6.263 |
11.26 |
| Mixed_SRS/01-oppelt08 |
1.398 |
6.411 |
11.4 |
| Mixed_SRS/01 |
1.224 |
6.221 |
11.221 |
| Mixed_SRS/02-oppelt08 |
1.227 |
6.244 |
11.249 |
| Mixed_SRS/02 |
1.227 |
6.248 |
11.235 |
| Mixed_SRS/03-oppelt08 |
1.243 |
6.232 |
11.233 |
| Mixed_SRS/03 |
1.211 |
6.203 |
11.221 |
| Mixed_SRS/04-oppelt08 |
1.237 |
6.25 |
11.242 |
| Mixed_SRS/04 |
1.219 |
6.234 |
11.228 |
| Mixed_SRS/05-oppelt08 |
1.231 |
6.248 |
11.247 |
| Mixed_SRS/05 |
1.223 |
6.244 |
11.232 |
| Mixed_SRS/06-oppelt08 |
1.215 |
6.217 |
11.205 |
| Mixed_SRS/06 |
1.215 |
6.228 |
11.228 |
| Mixed_SRS/07-oppelt08 |
1.301 |
6.283 |
11.3 |
| Mixed_SRS/07 |
1.209 |
6.226 |
11.21 |
| Mixed_SRS/08-oppelt08 |
1.283 |
6.282 |
11.285 |
| Mixed_SRS/08 |
1.243 |
6.241 |
11.238 |
| Mixed_SRS/09 |
1.212 |
6.239 |
11.231 |
| Mixed_SRS/1 |
1.202 |
6.191 |
11.215 |
| Mixed_SRS/2 |
1.212 |
6.227 |
11.227 |
| Mixed_SRS/3 |
1.206 |
1.222 |
1.202 |
| problem |
pm |
bpm |
bprm |
| Mixed_SRS/4 |
1.325 |
6.331 |
11.334 |
| Mixed_SRS/s6 |
2.472 |
7.472 |
12.507 |
| Mixed_SRS/touzet |
1.195 |
6.209 |
11.193 |
| Mixed_SRS/turing_add |
0.373 |
5.381 |
10.377 |
| Mixed_SRS/turing_copy |
6.199 |
11.506 |
16.533 |
| Mixed_SRS/turing_mult |
14.793 |
19.695 |
23.93 |
| Mixed_TRS/1 |
1.191 |
0.151 |
0.156 |
| Mixed_TRS/2 |
1.19 |
6.181 |
11.19 |
| Mixed_TRS/4 |
1.189 |
0.147 |
0.161 |
| Mixed_TRS/6 |
1.173 |
6.185 |
11.189 |
| Mixed_TRS/Ex1_Luc04b_GM |
1.594 |
6.58 |
11.601 |
| Mixed_TRS/beans |
1.326 |
6.348 |
11.346 |
| Mixed_TRS/jones1 |
0.185 |
5.183 |
10.175 |
| Mixed_TRS/jones4 |
0.154 |
0.153 |
0.166 |
| Mixed_TRS/jones6 |
0.22 |
5.209 |
10.227 |
| Rubio_04/aoto |
0.18 |
0.66 |
0.658 |
| Rubio_04/bintrees |
0.208 |
5.204 |
10.213 |
| Rubio_04/bn129 |
1.214 |
6.22 |
11.211 |
| Rubio_04/gmnp |
1.274 |
0.202 |
0.192 |
| Rubio_04/koen |
0.152 |
0.387 |
0.384 |
| Rubio_04/lescanne |
0.197 |
5.179 |
10.189 |
| Rubio_04/lindau |
1.245 |
0.164 |
0.175 |
| Rubio_04/mfp90b |
0.155 |
0.174 |
0.187 |
| Rubio_04/mfp95 |
0.169 |
0.152 |
0.154 |
| Rubio_04/nestrec |
1.181 |
6.189 |
11.183 |
| problem |
pm |
bpm |
bprm |
| Rubio_04/p266 |
0.185 |
0.237 |
0.232 |
| Rubio_04/test4 |
1.222 |
0.176 |
0.186 |
| Rubio_04/test829 |
0.189 |
0.229 |
0.227 |
| SK90/2.01 |
0.24 |
5.254 |
10.25 |
| SK90/2.02 |
1.215 |
6.21 |
11.228 |
| SK90/2.03 |
0.203 |
5.205 |
10.21 |
| SK90/2.04 |
0.163 |
5.163 |
10.173 |
| SK90/2.06 |
0.211 |
5.212 |
10.211 |
| SK90/2.09 |
0.17 |
5.187 |
10.193 |
| SK90/2.10 |
1.308 |
6.318 |
11.317 |
| SK90/2.11 |
0.187 |
5.184 |
10.2 |
| SK90/2.14 |
1.277 |
6.284 |
11.288 |
| SK90/2.31 |
0.228 |
5.239 |
10.248 |
| SK90/2.33 |
0.204 |
5.216 |
10.212 |
| SK90/2.34 |
1.233 |
6.237 |
11.235 |
| SK90/2.36 |
0.178 |
5.179 |
10.174 |
| SK90/2.38 |
0.2 |
5.212 |
10.205 |
| SK90/2.39 |
1.302 |
6.313 |
11.309 |
| SK90/2.41 |
0.218 |
5.226 |
10.228 |
| SK90/2.42 |
1.395 |
6.41 |
11.401 |
| SK90/2.46 |
0.164 |
5.177 |
10.184 |
| SK90/2.47 |
0.175 |
5.166 |
10.156 |
| SK90/2.48 |
0.173 |
0.186 |
0.193 |
| SK90/2.49 |
0.189 |
0.192 |
0.187 |
| SK90/2.50 |
1.156 |
6.157 |
11.17 |
| problem |
pm |
bpm |
bprm |
| SK90/2.53 |
0.185 |
5.193 |
10.182 |
| SK90/2.54 |
0.153 |
5.16 |
10.166 |
| SK90/2.55 |
0.161 |
5.171 |
10.17 |
| SK90/2.56 |
0.149 |
0.168 |
0.153 |
| SK90/2.60 |
0.19 |
0.149 |
0.158 |
| SK90/2.61 |
0.245 |
5.264 |
5.253 |
| SK90/4.01 |
0.169 |
0.211 |
0.222 |
| SK90/4.04 |
0.17 |
5.18 |
10.183 |
| SK90/4.07 |
0.196 |
5.185 |
10.201 |
| SK90/4.08 |
0.161 |
5.172 |
10.176 |
| SK90/4.11 |
0.18 |
5.182 |
10.175 |
| SK90/4.12 |
0.172 |
5.189 |
10.176 |
| SK90/4.15 |
0.166 |
5.176 |
10.174 |
| SK90/4.16 |
0.258 |
0.239 |
0.249 |
| SK90/4.19 |
0.179 |
0.161 |
0.161 |
| SK90/4.25 |
0.166 |
5.184 |
10.181 |
| SK90/4.26 |
1.272 |
6.296 |
11.298 |
| SK90/4.27 |
1.303 |
6.306 |
11.628 |
| SK90/4.29 |
0.223 |
5.239 |
10.233 |
| SK90/4.30 |
2.547 |
7.555 |
12.558 |
| SK90/4.32 |
1.267 |
6.276 |
11.275 |
| SK90/4.33 |
0.146 |
0.154 |
0.152 |
| SK90/4.34 |
1.179 |
6.18 |
11.171 |
| SK90/4.35 |
0.154 |
0.142 |
0.138 |
| SK90/4.36 |
0.154 |
0.151 |
0.165 |
| problem |
pm |
bpm |
bprm |
| SK90/4.37 |
0.127 |
0.157 |
0.158 |
| SK90/4.38 |
0.207 |
5.21 |
10.222 |
| SK90/4.39 |
0.169 |
5.168 |
10.162 |
| SK90/4.43 |
1.472 |
6.472 |
11.482 |
| SK90/4.44 |
0.173 |
0.163 |
0.161 |
| SK90/4.45 |
0.147 |
0.154 |
0.162 |
| SK90/4.46 |
0.144 |
0.151 |
0.16 |
| SK90/4.47 |
0.27 |
0.218 |
0.214 |
| SK90/4.48 |
0.165 |
5.169 |
5.162 |
| SK90/4.51 |
1.226 |
6.223 |
11.218 |
| SK90/4.52 |
0.267 |
5.27 |
10.285 |
| SK90/4.55 |
1.165 |
0.2 |
0.198 |
| SK90/4.56 |
0.168 |
0.149 |
0.156 |
| Secret_05_SRS/aprove1 |
1.437 |
6.438 |
11.441 |
| Secret_05_SRS/aprove2 |
1.41 |
6.413 |
11.417 |
| Secret_05_SRS/aprove3 |
1.351 |
6.351 |
11.351 |
| Secret_05_SRS/aprove4 |
1.441 |
6.46 |
11.461 |
| Secret_05_SRS/aprove5 |
1.464 |
6.449 |
11.447 |
| Secret_05_SRS/jambox1 |
1.223 |
6.23 |
11.24 |
| Secret_05_SRS/jambox2 |
1.32 |
6.307 |
11.327 |
| Secret_05_SRS/jambox3 |
1.262 |
6.299 |
11.265 |
| Secret_05_SRS/jambox4 |
1.223 |
6.238 |
11.24 |
| Secret_05_SRS/jambox5 |
1.279 |
6.28 |
11.267 |
| Secret_05_SRS/matchbox1 |
1.355 |
6.349 |
11.35 |
| Secret_05_SRS/matchbox2 |
1.387 |
0.835 |
0.827 |
| problem |
pm |
bpm |
bprm |
| Secret_05_SRS/torpa1 |
1.286 |
6.268 |
11.288 |
| Secret_05_SRS/torpa2 |
1.205 |
6.216 |
11.214 |
| Secret_05_SRS/torpa3 |
1.237 |
6.256 |
11.254 |
| Secret_05_SRS/torpa4 |
1.403 |
6.4 |
11.409 |
| Secret_05_TRS/matchbox2 |
1.161 |
0.152 |
0.155 |
| Secret_05_TRS/teparla1 |
1.219 |
6.206 |
11.226 |
| Secret_05_TRS/teparla2 |
1.227 |
6.23 |
11.251 |
| Secret_05_TRS/teparla3 |
1.219 |
6.224 |
11.217 |
| Secret_05_TRS/ttt2 |
1.177 |
6.164 |
11.171 |
| Secret_06_SRS/1-matchbox |
1.217 |
6.23 |
11.225 |
| Secret_06_SRS/1 |
1.246 |
6.262 |
11.252 |
| Secret_06_SRS/10 |
1.212 |
6.22 |
11.226 |
| Secret_06_SRS/2-matchbox |
1.357 |
6.355 |
11.371 |
| Secret_06_SRS/2 |
1.238 |
6.253 |
11.254 |
| Secret_06_SRS/3-matchbox |
2.718 |
7.725 |
12.711 |
| Secret_06_SRS/3 |
1.228 |
6.222 |
11.228 |
| Secret_06_SRS/5-matchbox |
1.274 |
6.277 |
11.284 |
| Secret_06_SRS/5 |
1.234 |
6.238 |
11.251 |
| Secret_06_SRS/6 |
1.251 |
6.265 |
11.257 |
| Secret_06_SRS/7 |
1.233 |
6.227 |
11.221 |
| Secret_06_SRS/8 |
1.246 |
6.255 |
11.25 |
| Secret_06_SRS/9 |
1.23 |
6.244 |
11.241 |
| Secret_06_SRS/aprove00 |
1.428 |
6.467 |
11.461 |
| Secret_06_SRS/aprove01 |
1.682 |
6.685 |
11.685 |
| Secret_06_SRS/aprove02 |
1.975 |
7.02 |
12.046 |
| problem |
pm |
bpm |
bprm |
| Secret_06_SRS/aprove03 |
2.416 |
7.527 |
12.476 |
| Secret_06_SRS/aprove04 |
2.418 |
7.44 |
12.484 |
| Secret_06_SRS/aprove05 |
2.001 |
7.022 |
11.97 |
| Secret_06_SRS/aprove06 |
2.074 |
7.067 |
12.065 |
| Secret_06_SRS/aprove07 |
1.734 |
6.719 |
11.728 |
| Secret_06_SRS/aprove08 |
1.695 |
6.685 |
11.698 |
| Secret_06_SRS/aprove09 |
1.587 |
6.592 |
11.584 |
| Secret_06_SRS/multum1 |
1.223 |
6.236 |
11.247 |
| Secret_06_SRS/multum2 |
1.238 |
6.236 |
11.245 |
| Secret_06_SRS/multum3 |
1.23 |
6.231 |
11.237 |
| Secret_06_SRS/multum4 |
1.495 |
2.504 |
2.486 |
| Secret_06_SRS/multum5 |
1.22 |
6.213 |
11.245 |
| Secret_06_SRS/multum6 |
1.439 |
6.439 |
11.453 |
| Secret_06_SRS/secr1 |
1.192 |
6.194 |
11.202 |
| Secret_06_SRS/secr10 |
1.401 |
6.41 |
11.414 |
| Secret_06_SRS/secr2 |
1.249 |
6.266 |
11.273 |
| Secret_06_SRS/secr3 |
1.272 |
6.284 |
11.278 |
| Secret_06_SRS/secr4 |
1.352 |
6.347 |
11.353 |
| Secret_06_SRS/secr5 |
2.496 |
7.516 |
12.493 |
| Secret_06_SRS/secr6 |
1.256 |
6.257 |
11.273 |
| Secret_06_SRS/secr7 |
1.234 |
6.249 |
11.244 |
| Secret_06_SRS/secr8 |
1.24 |
6.249 |
11.261 |
| Secret_06_SRS/secr9 |
1.498 |
6.504 |
11.515 |
| Secret_06_TRS/10 |
1.235 |
0.211 |
0.194 |
| Secret_06_TRS/2 |
1.272 |
6.295 |
11.286 |
| problem |
pm |
bpm |
bprm |
| Secret_06_TRS/3 |
1.251 |
6.256 |
11.279 |
| Secret_06_TRS/4 |
1.224 |
6.223 |
11.24 |
| Secret_06_TRS/5 |
1.238 |
6.238 |
11.262 |
| Secret_06_TRS/6 |
2.364 |
7.358 |
12.354 |
| Secret_06_TRS/7 |
1.331 |
6.343 |
6.621 |
| Secret_06_TRS/8 |
1.267 |
0.16 |
0.165 |
| Secret_06_TRS/9 |
1.249 |
0.177 |
0.167 |
| Secret_06_TRS/tpa01 |
1.163 |
6.171 |
11.189 |
| Secret_06_TRS/tpa02 |
1.16 |
6.166 |
11.178 |
| Secret_06_TRS/tpa03 |
1.162 |
6.169 |
11.195 |
| Secret_07_SRS/dj |
1.244 |
6.223 |
11.236 |
| Secret_07_SRS/num-514 |
1.22 |
6.22 |
11.236 |
| Secret_07_SRS/num-515 |
1.208 |
6.206 |
11.206 |
| Secret_07_SRS/num-518 |
1.218 |
6.217 |
11.235 |
| Secret_07_SRS/num-519 |
1.216 |
6.221 |
11.229 |
| Secret_07_SRS/num-520 |
1.211 |
6.233 |
11.224 |
| Secret_07_SRS/num-521 |
1.22 |
6.236 |
11.235 |
| Secret_07_SRS/num-525 |
1.222 |
6.211 |
11.225 |
| Secret_07_SRS/num-527 |
1.219 |
6.22 |
11.23 |
| Secret_07_SRS/num-530 |
1.236 |
6.227 |
11.223 |
| Secret_07_SRS/num-539 |
1.242 |
6.213 |
11.231 |
| Secret_07_SRS/x01 |
1.224 |
6.231 |
11.243 |
| Secret_07_SRS/x02 |
1.221 |
6.225 |
11.218 |
| Secret_07_SRS/x03 |
1.219 |
6.213 |
11.226 |
| Secret_07_SRS/x04 |
2.665 |
7.686 |
12.691 |
| problem |
pm |
bpm |
bprm |
| Secret_07_SRS/x05 |
1.245 |
6.245 |
11.253 |
| Secret_07_SRS/x06 |
1.271 |
6.269 |
11.285 |
| Secret_07_SRS/x07 |
1.304 |
6.305 |
11.304 |
| Secret_07_SRS/x08 |
1.278 |
6.285 |
11.267 |
| Secret_07_SRS/x09 |
1.244 |
6.265 |
11.258 |
| Secret_07_SRS/x10 |
1.24 |
6.221 |
11.245 |
| Secret_07_TRS/1 |
1.258 |
6.277 |
11.267 |
| Secret_07_TRS/2 |
1.321 |
6.327 |
11.345 |
| Secret_07_TRS/3 |
4.102 |
9.09 |
14.081 |
| Secret_07_TRS/4 |
1.33 |
6.328 |
11.33 |
| Secret_07_TRS/5 |
1.657 |
6.684 |
11.687 |
| Secret_07_TRS/7 |
1.28 |
6.268 |
11.288 |
| Strategy_removed_AG01/#4.17 |
1.238 |
6.261 |
11.248 |
| Strategy_removed_AG01/#4.18 |
1.207 |
6.229 |
11.225 |
| Strategy_removed_AG01/#4.20 |
0.161 |
5.167 |
5.174 |
| Strategy_removed_AG01/#4.20a |
0.178 |
5.207 |
5.189 |
| Strategy_removed_AG01/#4.21 |
0.201 |
5.223 |
5.206 |
| Strategy_removed_AG01/#4.25 |
1.158 |
6.171 |
11.184 |
| Strategy_removed_AG01/#4.28 |
1.246 |
6.242 |
11.257 |
| Strategy_removed_AG01/#4.37 |
0.203 |
0.162 |
0.167 |
| Strategy_removed_AG01/#4.37a |
0.223 |
0.158 |
0.151 |
| Strategy_removed_CSR_05/Ex1_Zan97 |
1.158 |
6.169 |
11.169 |
| Strategy_removed_CSR_05/Ex4_7_15_Bor03 |
1.196 |
6.201 |
11.199 |
| Strategy_removed_CSR_05/Ex4_7_77_Bor03 |
1.154 |
6.167 |
11.159 |
| Strategy_removed_CSR_05/Ex5_Zan97 |
1.179 |
6.168 |
11.183 |
| problem |
pm |
bpm |
bprm |
| Strategy_removed_CSR_05/Ex6_GM04 |
1.162 |
6.155 |
11.166 |
| Strategy_removed_CSR_05/ExConc_Zan97 |
1.151 |
6.158 |
11.161 |
| Strategy_removed_CSR_05/ExIntrod_GM01 |
1.272 |
6.284 |
11.29 |
| Strategy_removed_CSR_05/ExIntrod_GM04 |
1.259 |
6.259 |
11.253 |
| Strategy_removed_mixed_05/ex1 |
1.192 |
6.184 |
11.189 |
| Strategy_removed_mixed_05/ex3 |
1.193 |
6.225 |
11.237 |
| Strategy_removed_mixed_05/ex4 |
1.165 |
6.188 |
11.195 |
| Strategy_removed_mixed_05/ex5 |
1.16 |
6.172 |
11.185 |
| Strategy_removed_mixed_05/ex6 |
1.227 |
6.234 |
11.238 |
| Strategy_removed_mixed_05/gkg |
1.17 |
6.167 |
11.179 |
| Strategy_removed_mixed_05/n001 |
1.183 |
6.199 |
11.195 |
| Strategy_removed_mixed_05/test830 |
0.204 |
0.172 |
0.181 |
| TCT_09/ackhofbauer |
1.209 |
6.202 |
11.215 |
| TCT_09/add |
0.171 |
5.163 |
10.177 |
| TCT_09/append |
0.164 |
5.173 |
10.18 |
| TCT_09/bits |
1.239 |
6.25 |
11.243 |
| TCT_09/expantiinn |
1.209 |
6.202 |
11.208 |
| TCT_09/ma2 |
0.185 |
5.173 |
10.193 |
| TCT_09/ma3 |
0.163 |
0.167 |
0.164 |
| TCT_09/ma5 |
1.203 |
6.204 |
11.213 |
| TCT_09/ma9 |
0.192 |
0.468 |
0.473 |
| TCT_09/revappend |
1.242 |
6.262 |
11.251 |
| TCT_09/shuffle |
1.316 |
6.356 |
11.398 |
| TCT_09/supexpdg |
1.313 |
6.31 |
11.311 |
| TCT_09/supexpur |
1.227 |
6.224 |
11.23 |
| problem |
pm |
bpm |
bprm |
| TCT_09/z86 |
1.19 |
6.211 |
11.207 |
| Trafo_06/dup01 |
3.223 |
8.222 |
13.059 |
| Trafo_06/dup05 |
1.717 |
6.69 |
11.703 |
| Trafo_06/dup06 |
2.539 |
7.539 |
12.524 |
| Trafo_06/dup07 |
1.365 |
6.372 |
11.394 |
| Trafo_06/dup08 |
1.433 |
6.445 |
11.807 |
| Trafo_06/dup09 |
2.005 |
7.019 |
11.985 |
| Trafo_06/dup10 |
1.532 |
6.531 |
11.521 |
| Trafo_06/dup11 |
2.655 |
7.568 |
12.597 |
| Trafo_06/dup12 |
1.558 |
6.581 |
11.563 |
| Trafo_06/dup13 |
1.405 |
6.415 |
11.4 |
| Trafo_06/dup14 |
1.509 |
6.482 |
12.455 |
| Trafo_06/dup15 |
1.338 |
6.358 |
11.352 |
| Trafo_06/dup16 |
1.315 |
6.341 |
11.331 |
| Trafo_06/dup17 |
1.353 |
6.366 |
11.376 |
| Trafo_06/hom01 |
1.362 |
6.387 |
11.392 |
| Trafo_06/hom02 |
1.267 |
6.271 |
11.281 |
| Trafo_06/hom03 |
1.587 |
6.565 |
11.568 |
| Trafo_06/un02 |
1.584 |
6.61 |
11.605 |
| Trafo_06/un04 |
1.288 |
6.325 |
11.317 |
| Trafo_06/un05 |
1.257 |
6.276 |
11.27 |
| Trafo_06/un06 |
1.342 |
6.334 |
11.346 |
| Trafo_06/un07 |
2.44 |
7.445 |
12.443 |
| Trafo_06/un08 |
1.284 |
6.304 |
11.297 |
| Trafo_06/un09 |
1.392 |
6.411 |
11.562 |
| problem |
pm |
bpm |
bprm |
| Trafo_06/un10 |
1.363 |
6.365 |
11.351 |
| Trafo_06/un11 |
1.325 |
6.331 |
11.339 |
| Trafo_06/un12 |
1.383 |
6.397 |
11.405 |
| Trafo_06/un13 |
1.38 |
6.379 |
11.384 |
| Trafo_06/un14 |
3.086 |
8.105 |
13.123 |
| Trafo_06/un15 |
1.536 |
6.511 |
11.57 |
| Trafo_06/un16 |
1.453 |
6.477 |
11.473 |
| Trafo_06/un17 |
1.346 |
6.353 |
11.345 |
| Trafo_06/un18 |
1.366 |
6.365 |
11.367 |
| Transformed_CSR_04/Ex14_AEGL02_L |
1.168 |
6.165 |
11.175 |
| Transformed_CSR_04/Ex14_Luc06_L |
1.168 |
6.17 |
11.174 |
| Transformed_CSR_04/Ex15_Luc06_C |
5.138 |
10.136 |
15.393 |
| Transformed_CSR_04/Ex15_Luc06_FR |
0.252 |
5.249 |
10.249 |
| Transformed_CSR_04/Ex15_Luc06_GM |
0.213 |
5.224 |
10.231 |
| Transformed_CSR_04/Ex15_Luc06_L |
1.142 |
6.146 |
11.152 |
| Transformed_CSR_04/Ex15_Luc06_Z |
0.23 |
5.219 |
10.237 |
| Transformed_CSR_04/Ex15_Luc06_iGM |
0.299 |
5.291 |
10.272 |
| Transformed_CSR_04/Ex16_Luc06_C |
1.574 |
6.586 |
11.593 |
| Transformed_CSR_04/Ex16_Luc06_FR |
1.181 |
0.214 |
0.224 |
| Transformed_CSR_04/Ex16_Luc06_GM |
1.227 |
6.221 |
10.501 |
| Transformed_CSR_04/Ex16_Luc06_L |
1.161 |
6.16 |
11.166 |
| Transformed_CSR_04/Ex16_Luc06_iGM |
1.254 |
6.266 |
11.277 |
| Transformed_CSR_04/Ex18_Luc06_C |
6.28 |
11.276 |
16.429 |
| Transformed_CSR_04/Ex18_Luc06_FR |
0.204 |
5.197 |
10.203 |
| Transformed_CSR_04/Ex18_Luc06_GM |
0.202 |
5.215 |
10.227 |
| problem |
pm |
bpm |
bprm |
| Transformed_CSR_04/Ex18_Luc06_L |
0.132 |
0.152 |
0.17 |
| Transformed_CSR_04/Ex18_Luc06_Z |
0.163 |
5.176 |
5.178 |
| Transformed_CSR_04/Ex18_Luc06_iGM |
0.284 |
5.282 |
10.27 |
| Transformed_CSR_04/Ex1_GL02a_L |
1.196 |
6.197 |
11.192 |
| Transformed_CSR_04/Ex1_GM99_L |
1.151 |
6.154 |
11.154 |
| Transformed_CSR_04/Ex1_Luc04b_C |
7.09 |
11.87 |
16.755 |
| Transformed_CSR_04/Ex1_Luc04b_FR |
1.322 |
6.327 |
11.325 |
| Transformed_CSR_04/Ex1_Luc04b_GM |
2.738 |
7.755 |
12.746 |
| Transformed_CSR_04/Ex1_Luc04b_Z |
1.268 |
6.306 |
11.302 |
| Transformed_CSR_04/Ex1_Luc04b_iGM |
4.501 |
9.508 |
14.473 |
| Transformed_CSR_04/Ex1_Zan97_C |
7.233 |
12.251 |
15.569 |
| Transformed_CSR_04/Ex1_Zan97_FR |
1.192 |
6.228 |
11.219 |
| Transformed_CSR_04/Ex1_Zan97_GM |
0.184 |
5.196 |
5.191 |
| Transformed_CSR_04/Ex1_Zan97_L |
1.162 |
6.166 |
11.174 |
| Transformed_CSR_04/Ex1_Zan97_iGM |
2.418 |
7.428 |
12.424 |
| Transformed_CSR_04/Ex23_Luc06_C |
5.032 |
10.014 |
15.655 |
| Transformed_CSR_04/Ex23_Luc06_FR |
0.232 |
5.25 |
10.25 |
| Transformed_CSR_04/Ex23_Luc06_GM |
0.245 |
5.244 |
10.249 |
| Transformed_CSR_04/Ex23_Luc06_L |
0.134 |
0.136 |
0.153 |
| Transformed_CSR_04/Ex23_Luc06_Z |
0.165 |
5.171 |
5.188 |
| Transformed_CSR_04/Ex23_Luc06_iGM |
0.366 |
5.357 |
10.363 |
| Transformed_CSR_04/Ex24_GM04_L |
1.153 |
6.158 |
11.165 |
| Transformed_CSR_04/Ex24_Luc06_L |
1.142 |
6.161 |
11.172 |
| Transformed_CSR_04/Ex25_Luc06_C |
5.215 |
10.207 |
15.179 |
| Transformed_CSR_04/Ex25_Luc06_FR |
0.268 |
5.272 |
10.3 |
| problem |
pm |
bpm |
bprm |
| Transformed_CSR_04/Ex25_Luc06_GM |
0.293 |
5.29 |
10.285 |
| Transformed_CSR_04/Ex25_Luc06_L |
0.149 |
0.144 |
0.155 |
| Transformed_CSR_04/Ex25_Luc06_Z |
0.209 |
5.233 |
10.227 |
| Transformed_CSR_04/Ex25_Luc06_iGM |
0.554 |
5.56 |
10.556 |
| Transformed_CSR_04/Ex26_Luc03b_L |
0.183 |
0.177 |
0.199 |
| Transformed_CSR_04/Ex2_Luc03b_L |
0.172 |
0.155 |
0.169 |
| Transformed_CSR_04/Ex3_3_25_Bor03_L |
0.19 |
0.159 |
0.177 |
| Transformed_CSR_04/Ex4_4_Luc96b_L |
0.141 |
0.152 |
0.149 |
| Transformed_CSR_04/Ex4_7_15_Bor03_C |
9.153 |
13.782 |
19.104 |
| Transformed_CSR_04/Ex4_7_15_Bor03_FR |
0.33 |
5.302 |
10.344 |
| Transformed_CSR_04/Ex4_7_15_Bor03_GM |
2.507 |
7.508 |
11.601 |
| Transformed_CSR_04/Ex4_7_15_Bor03_L |
0.171 |
0.19 |
0.182 |
| Transformed_CSR_04/Ex4_7_15_Bor03_Z |
0.222 |
0.176 |
0.184 |
| Transformed_CSR_04/Ex4_7_15_Bor03_iGM |
6.666 |
11.634 |
16.657 |
| Transformed_CSR_04/Ex4_7_77_Bor03_C |
3.066 |
8.057 |
13.058 |
| Transformed_CSR_04/Ex4_7_77_Bor03_FR |
0.147 |
0.181 |
0.199 |
| Transformed_CSR_04/Ex4_7_77_Bor03_GM |
0.219 |
5.218 |
10.237 |
| Transformed_CSR_04/Ex4_7_77_Bor03_iGM |
1.397 |
6.411 |
11.416 |
| Transformed_CSR_04/Ex5_Zan97_C |
1.728 |
6.759 |
11.758 |
| Transformed_CSR_04/Ex5_Zan97_FR |
1.233 |
6.238 |
11.219 |
| Transformed_CSR_04/Ex5_Zan97_GM |
1.303 |
6.318 |
11.307 |
| Transformed_CSR_04/Ex5_Zan97_Z |
0.155 |
0.235 |
0.24 |
| Transformed_CSR_04/Ex5_Zan97_iGM |
1.4 |
6.396 |
11.404 |
| Transformed_CSR_04/Ex6_GM04_C |
4.094 |
9.113 |
14.258 |
| Transformed_CSR_04/Ex6_GM04_FR |
1.211 |
6.22 |
11.206 |
| problem |
pm |
bpm |
bprm |
| Transformed_CSR_04/Ex6_GM04_GM |
0.175 |
5.181 |
5.175 |
| Transformed_CSR_04/Ex6_GM04_L |
0.137 |
0.146 |
0.177 |
| Transformed_CSR_04/Ex6_GM04_iGM |
0.227 |
5.233 |
10.255 |
| Transformed_CSR_04/Ex6_Luc98_L |
0.165 |
0.145 |
0.157 |
| Transformed_CSR_04/Ex9_BLR02_L |
0.193 |
0.199 |
0.198 |
| Transformed_CSR_04/Ex9_Luc06_C |
1.567 |
6.58 |
11.596 |
| Transformed_CSR_04/Ex9_Luc06_FR |
1.195 |
6.192 |
11.21 |
| Transformed_CSR_04/Ex9_Luc06_GM |
0.222 |
5.226 |
10.229 |
| Transformed_CSR_04/Ex9_Luc06_iGM |
2.487 |
7.499 |
12.515 |
| Transformed_CSR_04/ExConc_Zan97_C |
5.324 |
10.297 |
15.329 |
| Transformed_CSR_04/ExConc_Zan97_FR |
0.254 |
5.258 |
10.248 |
| Transformed_CSR_04/ExConc_Zan97_GM |
0.225 |
5.235 |
10.227 |
| Transformed_CSR_04/ExConc_Zan97_L |
0.133 |
0.151 |
0.144 |
| Transformed_CSR_04/ExConc_Zan97_Z |
1.19 |
6.185 |
11.206 |
| Transformed_CSR_04/ExConc_Zan97_iGM |
1.387 |
6.409 |
11.43 |
| Transformed_CSR_04/ExIntrod_GM01_C |
5.059 |
9.608 |
14.589 |
| Transformed_CSR_04/ExIntrod_GM01_FR |
1.369 |
6.402 |
11.408 |
| Transformed_CSR_04/ExIntrod_GM01_GM |
3.938 |
8.948 |
13.943 |
| Transformed_CSR_04/ExIntrod_GM01_Z |
1.38 |
6.378 |
11.386 |
| Transformed_CSR_04/ExIntrod_GM01_iGM |
2.071 |
7.1 |
12.104 |
| Transformed_CSR_04/ExIntrod_GM04_C |
5.798 |
10.744 |
15.727 |
| Transformed_CSR_04/ExIntrod_GM04_FR |
1.453 |
6.45 |
11.447 |
| Transformed_CSR_04/ExIntrod_GM04_GM |
2.85 |
7.852 |
12.875 |
| Transformed_CSR_04/ExIntrod_GM04_Z |
1.432 |
6.462 |
11.44 |
| Transformed_CSR_04/ExIntrod_GM04_iGM |
1.888 |
6.94 |
11.937 |
| problem |
pm |
bpm |
bprm |
| Transformed_CSR_04/ExProp7_Luc06_C |
17.216 |
21.858 |
25.287 |
| Transformed_CSR_04/ExProp7_Luc06_FR |
1.337 |
6.347 |
10.37 |
| Transformed_CSR_04/ExProp7_Luc06_GM |
1.414 |
6.439 |
11.565 |
| Transformed_CSR_04/ExProp7_Luc06_L |
1.187 |
0.163 |
0.171 |
| Transformed_CSR_04/ExProp7_Luc06_Z |
1.242 |
0.171 |
0.182 |
| Transformed_CSR_04/ExProp7_Luc06_iGM |
3.012 |
7.993 |
13.026 |
| Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR |
1.265 |
6.261 |
11.269 |
| Transformed_CSR_04/LengthOfFiniteLists_nosorts_C |
3.086 |
7.942 |
12.952 |
| Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR |
1.23 |
6.227 |
11.238 |
| Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM |
1.448 |
6.472 |
11.459 |
| Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM |
1.699 |
6.734 |
11.714 |
| Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C |
4.302 |
9.015 |
14.014 |
| Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM |
1.61 |
6.648 |
11.634 |
| Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM |
1.957 |
6.978 |
12.001 |
| Transformed_CSR_04/OvConsOS_nosorts-noand_FR |
1.518 |
6.522 |
11.531 |
| Transformed_CSR_04/OvConsOS_nosorts-noand_Z |
1.485 |
6.489 |
11.488 |
| Transformed_CSR_04/OvConsOS_nosorts_C |
4.565 |
10.018 |
14.526 |
| Transformed_CSR_04/OvConsOS_nosorts_FR |
1.347 |
6.372 |
11.355 |
| Transformed_CSR_04/OvConsOS_nosorts_GM |
2.573 |
7.594 |
12.595 |
| Transformed_CSR_04/OvConsOS_nosorts_Z |
1.294 |
6.301 |
11.321 |
| Transformed_CSR_04/OvConsOS_nosorts_iGM |
4.531 |
9.465 |
14.485 |
| Transformed_CSR_04/OvConsOS_nosorts_noand_C |
10.166 |
15.189 |
22.196 |
| Transformed_CSR_04/OvConsOS_nosorts_noand_GM |
1.716 |
6.727 |
11.736 |
| Transformed_CSR_04/OvConsOS_nosorts_noand_iGM |
3.321 |
8.565 |
13.53 |
| Transformed_CSR_04/PALINDROME_complete-noand_L |
2.052 |
7.052 |
12.039 |
| problem |
pm |
bpm |
bprm |
| Transformed_CSR_04/PALINDROME_nokinds-noand_FR |
2.215 |
7.25 |
12.272 |
| Transformed_CSR_04/PALINDROME_nokinds-noand_L |
1.573 |
6.6 |
11.596 |
| Transformed_CSR_04/PALINDROME_nokinds-noand_Z |
0.949 |
5.956 |
10.949 |
| Transformed_CSR_04/PALINDROME_nokinds_C |
3.498 |
8.469 |
13.484 |
| Transformed_CSR_04/PALINDROME_nokinds_FR |
1.758 |
6.783 |
11.771 |
| Transformed_CSR_04/PALINDROME_nokinds_GM |
1.723 |
6.776 |
11.76 |
| Transformed_CSR_04/PALINDROME_nokinds_Z |
0.609 |
5.596 |
10.583 |
| Transformed_CSR_04/PALINDROME_nokinds_iGM |
2.524 |
7.59 |
12.514 |
| Transformed_CSR_04/PALINDROME_nokinds_noand_C |
14.016 |
16.859 |
21.736 |
| Transformed_CSR_04/PALINDROME_nokinds_noand_GM |
2.648 |
7.668 |
12.677 |
| Transformed_CSR_04/PALINDROME_nokinds_noand_iGM |
4.278 |
9.643 |
14.68 |
| Transformed_CSR_04/PALINDROME_nosorts-noand_FR |
0.227 |
5.233 |
10.238 |
| Transformed_CSR_04/PALINDROME_nosorts-noand_L |
0.208 |
5.216 |
10.207 |
| Transformed_CSR_04/PALINDROME_nosorts_C |
6.123 |
11.042 |
16.011 |
| Transformed_CSR_04/PALINDROME_nosorts_FR |
0.202 |
5.201 |
10.211 |
| Transformed_CSR_04/PALINDROME_nosorts_GM |
1.377 |
6.377 |
11.398 |
| Transformed_CSR_04/PALINDROME_nosorts_iGM |
1.644 |
6.625 |
11.627 |
| Transformed_CSR_04/PALINDROME_nosorts_noand_C |
8.221 |
13.281 |
18.388 |
| Transformed_CSR_04/PALINDROME_nosorts_noand_GM |
1.316 |
6.391 |
11.381 |
| Transformed_CSR_04/PALINDROME_nosorts_noand_iGM |
1.533 |
6.564 |
11.562 |
| Transformed_CSR_04/PEANO_nosorts-noand_FR |
0.197 |
5.209 |
10.219 |
| Transformed_CSR_04/PEANO_nosorts_C |
6.218 |
11.188 |
16.178 |
| Transformed_CSR_04/PEANO_nosorts_FR |
0.195 |
5.191 |
10.196 |
| Transformed_CSR_04/PEANO_nosorts_GM |
1.304 |
6.324 |
11.326 |
| Transformed_CSR_04/PEANO_nosorts_iGM |
1.436 |
6.429 |
11.431 |
| problem |
pm |
bpm |
bprm |
| Transformed_CSR_04/PEANO_nosorts_noand_C |
3.216 |
8.017 |
13.028 |
| Transformed_CSR_04/PEANO_nosorts_noand_GM |
1.38 |
6.372 |
11.382 |
| Transformed_CSR_04/PEANO_nosorts_noand_iGM |
1.686 |
6.689 |
11.692 |
| Various_04/07 |
0.141 |
0.157 |
0.162 |
| Various_04/15 |
1.202 |
6.225 |
11.223 |
| Various_04/18 |
1.228 |
6.24 |
11.246 |
| Various_04/19 |
1.257 |
6.263 |
11.27 |
| Various_04/21 |
2.748 |
7.765 |
13.452 |
| Various_04/23 |
0.202 |
5.213 |
10.222 |
| Various_04/24 |
1.348 |
6.344 |
5.249 |
| Various_04/25 |
0.166 |
0.183 |
0.183 |
| Various_04/27 |
0.157 |
0.156 |
0.147 |
| Waldmann_06/jwaprove1 |
1.199 |
6.207 |
11.193 |
| Waldmann_06/jwaprove2 |
1.192 |
6.193 |
11.192 |
| Waldmann_06/jwcime1 |
1.198 |
6.193 |
11.211 |
| Waldmann_06/jwcime2 |
1.198 |
0.18 |
0.168 |
| Waldmann_06/jwmatchb1 |
1.191 |
6.187 |
11.177 |
| Waldmann_06/jwmatchb2 |
1.189 |
6.169 |
11.183 |
| Waldmann_06/jwno1 |
1.198 |
6.191 |
11.201 |
| Waldmann_06/jwno2 |
1.174 |
6.187 |
11.182 |
| Waldmann_06/jwno3 |
1.207 |
6.208 |
11.218 |
| Waldmann_06/jwno4 |
1.178 |
6.182 |
11.18 |
| Waldmann_06/jwno5 |
1.171 |
6.178 |
11.181 |
| Waldmann_06/jwno6 |
1.166 |
6.182 |
11.185 |
| Waldmann_06/jwno7 |
1.197 |
6.197 |
11.208 |
| problem |
pm |
bpm |
bprm |
| Waldmann_06/jwno8 |
1.205 |
6.194 |
11.197 |
| Waldmann_06/jwno9 |
1.194 |
6.182 |
11.182 |
| Waldmann_06/jwtpa1 |
1.193 |
0.174 |
0.191 |
| Waldmann_06/jwtpa2 |
1.204 |
6.203 |
11.202 |
| Waldmann_06/jwttt |
1.189 |
6.188 |
11.19 |
| Waldmann_06_SRS/e |
2.736 |
7.7 |
12.723 |
| Waldmann_06_SRS/jw1 |
1.196 |
6.209 |
11.204 |
| Waldmann_06_SRS/jw3 |
1.376 |
6.379 |
11.38 |
| Waldmann_06_SRS/jw4 |
1.43 |
6.436 |
11.444 |
| Waldmann_06_SRS/jw5 |
1.527 |
6.503 |
11.528 |
| Waldmann_06_SRS/pi |
2.689 |
8.227 |
13.217 |
| Waldmann_06_SRS/sym-1 |
1.198 |
6.711 |
11.712 |
| Waldmann_06_SRS/sym-2 |
1.238 |
6.254 |
11.262 |
| Waldmann_06_SRS/sym-4 |
1.2 |
6.199 |
11.217 |
| Waldmann_06_SRS/sym-5 |
1.23 |
6.231 |
11.23 |
| Waldmann_06_SRS/sym-6 |
1.201 |
6.206 |
11.218 |
| Waldmann_06_SRS/uni-1 |
1.185 |
6.208 |
11.198 |
| Waldmann_06_SRS/uni-2 |
1.22 |
6.241 |
11.241 |
| Waldmann_06_SRS/uni-3 |
1.251 |
6.246 |
11.25 |
| Waldmann_06_SRS/uni-4 |
1.212 |
6.197 |
11.214 |
| Waldmann_06_SRS/uni-5 |
1.218 |
6.206 |
11.217 |
| Waldmann_06_SRS/uni-6 |
1.256 |
6.248 |
11.248 |
| Waldmann_06_SRS/uni-7 |
1.273 |
6.287 |
11.285 |
| Waldmann_06_SRS/z086-variant |
1.201 |
6.225 |
11.236 |
| Waldmann_07_size11/size-11-alpha-2-num-1 |
1.222 |
6.23 |
11.233 |
| problem |
pm |
bpm |
bprm |
| Waldmann_07_size11/size-11-alpha-2-num-2 |
1.227 |
6.242 |
11.253 |
| Waldmann_07_size11/size-11-alpha-2-num-3 |
1.218 |
6.211 |
11.218 |
| Waldmann_07_size11/size-11-alpha-2-num-4 |
1.212 |
6.226 |
11.239 |
| Waldmann_07_size11/size-11-alpha-3-num-1 |
1.188 |
6.21 |
11.199 |
| Waldmann_07_size11/size-11-alpha-3-num-10 |
1.209 |
6.196 |
11.209 |
| Waldmann_07_size11/size-11-alpha-3-num-11 |
1.18 |
6.191 |
11.203 |
| Waldmann_07_size11/size-11-alpha-3-num-12 |
1.199 |
6.201 |
11.202 |
| Waldmann_07_size11/size-11-alpha-3-num-13 |
1.197 |
6.192 |
11.19 |
| Waldmann_07_size11/size-11-alpha-3-num-14 |
1.205 |
6.211 |
11.206 |
| Waldmann_07_size11/size-11-alpha-3-num-15 |
1.198 |
6.215 |
11.211 |
| Waldmann_07_size11/size-11-alpha-3-num-16 |
1.195 |
6.2 |
11.213 |
| Waldmann_07_size11/size-11-alpha-3-num-17 |
1.224 |
6.199 |
11.21 |
| Waldmann_07_size11/size-11-alpha-3-num-18 |
1.229 |
6.23 |
11.221 |
| Waldmann_07_size11/size-11-alpha-3-num-19 |
1.223 |
6.218 |
11.224 |
| Waldmann_07_size11/size-11-alpha-3-num-2 |
1.209 |
6.204 |
11.21 |
| Waldmann_07_size11/size-11-alpha-3-num-20 |
1.216 |
6.203 |
11.219 |
| Waldmann_07_size11/size-11-alpha-3-num-21 |
1.201 |
6.212 |
11.223 |
| Waldmann_07_size11/size-11-alpha-3-num-3 |
1.204 |
6.193 |
11.197 |
| Waldmann_07_size11/size-11-alpha-3-num-4 |
1.205 |
6.229 |
11.226 |
| Waldmann_07_size11/size-11-alpha-3-num-5 |
1.213 |
6.207 |
11.222 |
| Waldmann_07_size11/size-11-alpha-3-num-6 |
1.21 |
6.23 |
11.211 |
| Waldmann_07_size11/size-11-alpha-3-num-7 |
1.21 |
6.225 |
11.234 |
| Waldmann_07_size11/size-11-alpha-3-num-8 |
1.202 |
6.233 |
11.222 |
| Waldmann_07_size11/size-11-alpha-3-num-9 |
1.223 |
6.206 |
11.216 |
| Waldmann_07_size12/size-12-alpha-2-num-1 |
1.218 |
6.229 |
11.23 |
| problem |
pm |
bpm |
bprm |
| Waldmann_07_size12/size-12-alpha-2-num-10 |
1.228 |
6.228 |
11.241 |
| Waldmann_07_size12/size-12-alpha-2-num-11 |
1.223 |
6.235 |
11.231 |
| Waldmann_07_size12/size-12-alpha-2-num-12 |
1.233 |
6.258 |
11.244 |
| Waldmann_07_size12/size-12-alpha-2-num-13 |
1.219 |
6.23 |
11.217 |
| Waldmann_07_size12/size-12-alpha-2-num-14 |
1.215 |
6.233 |
11.233 |
| Waldmann_07_size12/size-12-alpha-2-num-15 |
1.198 |
6.23 |
11.21 |
| Waldmann_07_size12/size-12-alpha-2-num-16 |
1.205 |
6.22 |
11.209 |
| Waldmann_07_size12/size-12-alpha-2-num-17 |
1.215 |
6.225 |
11.228 |
| Waldmann_07_size12/size-12-alpha-2-num-18 |
1.224 |
6.232 |
11.231 |
| Waldmann_07_size12/size-12-alpha-2-num-19 |
1.204 |
6.204 |
11.211 |
| Waldmann_07_size12/size-12-alpha-2-num-2 |
1.212 |
6.221 |
11.221 |
| Waldmann_07_size12/size-12-alpha-2-num-20 |
1.209 |
6.201 |
11.215 |
| Waldmann_07_size12/size-12-alpha-2-num-21 |
1.207 |
6.208 |
11.228 |
| Waldmann_07_size12/size-12-alpha-2-num-22 |
1.203 |
6.203 |
11.223 |
| Waldmann_07_size12/size-12-alpha-2-num-3 |
1.215 |
6.226 |
11.243 |
| Waldmann_07_size12/size-12-alpha-2-num-4 |
1.227 |
6.225 |
11.251 |
| Waldmann_07_size12/size-12-alpha-2-num-5 |
1.234 |
6.247 |
11.243 |
| Waldmann_07_size12/size-12-alpha-2-num-6 |
1.236 |
6.239 |
11.239 |
| Waldmann_07_size12/size-12-alpha-2-num-7 |
1.227 |
6.24 |
11.249 |
| Waldmann_07_size12/size-12-alpha-2-num-8 |
1.228 |
6.218 |
11.233 |
| Waldmann_07_size12/size-12-alpha-3-num-1 |
1.195 |
6.211 |
11.212 |
| Waldmann_07_size12/size-12-alpha-3-num-10 |
1.218 |
6.221 |
11.224 |
| Waldmann_07_size12/size-12-alpha-3-num-100 |
1.215 |
6.215 |
11.226 |
| Waldmann_07_size12/size-12-alpha-3-num-101 |
1.206 |
6.214 |
11.217 |
| Waldmann_07_size12/size-12-alpha-3-num-104 |
1.22 |
6.224 |
11.228 |
| problem |
pm |
bpm |
bprm |
| Waldmann_07_size12/size-12-alpha-3-num-105 |
1.241 |
6.238 |
11.257 |
| Waldmann_07_size12/size-12-alpha-3-num-106 |
1.22 |
6.232 |
11.226 |
| Waldmann_07_size12/size-12-alpha-3-num-107 |
1.204 |
6.217 |
11.219 |
| Waldmann_07_size12/size-12-alpha-3-num-108 |
1.201 |
6.209 |
11.209 |
| Waldmann_07_size12/size-12-alpha-3-num-109 |
1.231 |
6.212 |
11.225 |
| Waldmann_07_size12/size-12-alpha-3-num-11 |
1.208 |
6.216 |
11.214 |
| Waldmann_07_size12/size-12-alpha-3-num-110 |
1.219 |
6.221 |
11.217 |
| Waldmann_07_size12/size-12-alpha-3-num-111 |
1.218 |
6.212 |
11.218 |
| Waldmann_07_size12/size-12-alpha-3-num-112 |
1.218 |
6.246 |
11.225 |
| Waldmann_07_size12/size-12-alpha-3-num-113 |
1.213 |
6.218 |
11.233 |
| Waldmann_07_size12/size-12-alpha-3-num-114 |
1.203 |
6.217 |
11.224 |
| Waldmann_07_size12/size-12-alpha-3-num-120 |
1.198 |
6.205 |
11.221 |
| Waldmann_07_size12/size-12-alpha-3-num-121 |
1.207 |
6.227 |
11.216 |
| Waldmann_07_size12/size-12-alpha-3-num-122 |
1.218 |
6.234 |
11.247 |
| Waldmann_07_size12/size-12-alpha-3-num-123 |
1.214 |
6.21 |
11.222 |
| Waldmann_07_size12/size-12-alpha-3-num-124 |
1.209 |
6.209 |
11.23 |
| Waldmann_07_size12/size-12-alpha-3-num-125 |
1.216 |
6.214 |
11.228 |
| Waldmann_07_size12/size-12-alpha-3-num-126 |
1.22 |
6.214 |
11.225 |
| Waldmann_07_size12/size-12-alpha-3-num-127 |
1.2 |
6.22 |
11.215 |
| Waldmann_07_size12/size-12-alpha-3-num-128 |
1.207 |
6.209 |
11.227 |
| Waldmann_07_size12/size-12-alpha-3-num-129 |
1.21 |
6.207 |
11.221 |
| Waldmann_07_size12/size-12-alpha-3-num-13 |
1.207 |
6.202 |
11.217 |
| Waldmann_07_size12/size-12-alpha-3-num-131 |
1.212 |
6.22 |
11.219 |
| Waldmann_07_size12/size-12-alpha-3-num-132 |
1.224 |
6.226 |
11.231 |
| Waldmann_07_size12/size-12-alpha-3-num-133 |
1.218 |
6.232 |
11.216 |
| problem |
pm |
bpm |
bprm |
| Waldmann_07_size12/size-12-alpha-3-num-134 |
1.205 |
6.203 |
11.207 |
| Waldmann_07_size12/size-12-alpha-3-num-135 |
1.207 |
6.213 |
11.223 |
| Waldmann_07_size12/size-12-alpha-3-num-14 |
1.195 |
6.19 |
11.196 |
| Waldmann_07_size12/size-12-alpha-3-num-140 |
1.218 |
6.227 |
11.225 |
| Waldmann_07_size12/size-12-alpha-3-num-146 |
1.233 |
6.229 |
11.249 |
| Waldmann_07_size12/size-12-alpha-3-num-149 |
1.237 |
6.23 |
11.227 |
| Waldmann_07_size12/size-12-alpha-3-num-15 |
1.198 |
6.205 |
11.214 |
| Waldmann_07_size12/size-12-alpha-3-num-152 |
1.235 |
6.239 |
11.239 |
| Waldmann_07_size12/size-12-alpha-3-num-158 |
1.212 |
6.197 |
11.216 |
| Waldmann_07_size12/size-12-alpha-3-num-159 |
1.21 |
6.223 |
11.228 |
| Waldmann_07_size12/size-12-alpha-3-num-16 |
1.211 |
6.225 |
11.23 |
| Waldmann_07_size12/size-12-alpha-3-num-160 |
1.241 |
6.242 |
11.234 |
| Waldmann_07_size12/size-12-alpha-3-num-163 |
1.193 |
6.206 |
11.208 |
| Waldmann_07_size12/size-12-alpha-3-num-164 |
1.209 |
6.206 |
11.233 |
| Waldmann_07_size12/size-12-alpha-3-num-165 |
1.208 |
6.214 |
11.211 |
| Waldmann_07_size12/size-12-alpha-3-num-168 |
1.208 |
6.208 |
11.216 |
| Waldmann_07_size12/size-12-alpha-3-num-17 |
1.207 |
6.214 |
11.215 |
| Waldmann_07_size12/size-12-alpha-3-num-170 |
1.195 |
6.209 |
11.214 |
| Waldmann_07_size12/size-12-alpha-3-num-174 |
1.204 |
6.21 |
11.214 |
| Waldmann_07_size12/size-12-alpha-3-num-176 |
1.229 |
6.23 |
11.23 |
| Waldmann_07_size12/size-12-alpha-3-num-177 |
1.194 |
6.216 |
11.217 |
| Waldmann_07_size12/size-12-alpha-3-num-178 |
1.228 |
6.237 |
11.222 |
| Waldmann_07_size12/size-12-alpha-3-num-179 |
1.222 |
6.219 |
11.234 |
| Waldmann_07_size12/size-12-alpha-3-num-180 |
1.234 |
6.216 |
11.245 |
| Waldmann_07_size12/size-12-alpha-3-num-181 |
1.217 |
6.224 |
11.228 |
| problem |
pm |
bpm |
bprm |
| Waldmann_07_size12/size-12-alpha-3-num-186 |
1.199 |
6.222 |
11.216 |
| Waldmann_07_size12/size-12-alpha-3-num-19 |
1.194 |
6.194 |
11.21 |
| Waldmann_07_size12/size-12-alpha-3-num-190 |
1.23 |
6.218 |
11.236 |
| Waldmann_07_size12/size-12-alpha-3-num-191 |
1.212 |
6.22 |
11.23 |
| Waldmann_07_size12/size-12-alpha-3-num-194 |
1.23 |
6.228 |
11.245 |
| Waldmann_07_size12/size-12-alpha-3-num-195 |
1.236 |
6.236 |
11.232 |
| Waldmann_07_size12/size-12-alpha-3-num-198 |
1.223 |
6.223 |
11.233 |
| Waldmann_07_size12/size-12-alpha-3-num-199 |
1.219 |
6.216 |
11.237 |
| Waldmann_07_size12/size-12-alpha-3-num-20 |
1.232 |
6.222 |
11.218 |
| Waldmann_07_size12/size-12-alpha-3-num-200 |
1.2 |
6.215 |
11.213 |
| Waldmann_07_size12/size-12-alpha-3-num-201 |
1.209 |
6.225 |
11.22 |
| Waldmann_07_size12/size-12-alpha-3-num-202 |
1.22 |
6.208 |
11.225 |
| Waldmann_07_size12/size-12-alpha-3-num-203 |
1.22 |
6.232 |
11.219 |
| Waldmann_07_size12/size-12-alpha-3-num-204 |
1.21 |
6.222 |
11.229 |
| Waldmann_07_size12/size-12-alpha-3-num-206 |
1.205 |
6.228 |
11.234 |
| Waldmann_07_size12/size-12-alpha-3-num-207 |
1.236 |
6.212 |
11.218 |
| Waldmann_07_size12/size-12-alpha-3-num-209 |
1.207 |
6.222 |
11.232 |
| Waldmann_07_size12/size-12-alpha-3-num-21 |
1.222 |
6.206 |
11.221 |
| Waldmann_07_size12/size-12-alpha-3-num-210 |
1.232 |
6.227 |
11.231 |
| Waldmann_07_size12/size-12-alpha-3-num-211 |
1.202 |
6.214 |
11.226 |
| Waldmann_07_size12/size-12-alpha-3-num-213 |
1.225 |
6.245 |
11.241 |
| Waldmann_07_size12/size-12-alpha-3-num-215 |
1.213 |
6.22 |
11.225 |
| Waldmann_07_size12/size-12-alpha-3-num-217 |
1.207 |
6.202 |
11.212 |
| Waldmann_07_size12/size-12-alpha-3-num-219 |
1.202 |
6.202 |
11.218 |
| Waldmann_07_size12/size-12-alpha-3-num-22 |
1.224 |
6.22 |
11.251 |
| problem |
pm |
bpm |
bprm |
| Waldmann_07_size12/size-12-alpha-3-num-220 |
1.209 |
6.199 |
11.224 |
| Waldmann_07_size12/size-12-alpha-3-num-221 |
1.202 |
6.206 |
11.222 |
| Waldmann_07_size12/size-12-alpha-3-num-222 |
1.206 |
6.212 |
11.205 |
| Waldmann_07_size12/size-12-alpha-3-num-223 |
1.243 |
6.224 |
11.232 |
| Waldmann_07_size12/size-12-alpha-3-num-224 |
1.207 |
6.213 |
11.208 |
| Waldmann_07_size12/size-12-alpha-3-num-225 |
1.218 |
6.235 |
11.238 |
| Waldmann_07_size12/size-12-alpha-3-num-226 |
1.197 |
6.211 |
11.208 |
| Waldmann_07_size12/size-12-alpha-3-num-227 |
1.196 |
6.208 |
11.201 |
| Waldmann_07_size12/size-12-alpha-3-num-23 |
1.212 |
6.206 |
11.217 |
| Waldmann_07_size12/size-12-alpha-3-num-231 |
1.211 |
6.225 |
11.224 |
| Waldmann_07_size12/size-12-alpha-3-num-232 |
1.206 |
6.201 |
11.206 |
| Waldmann_07_size12/size-12-alpha-3-num-233 |
1.208 |
6.213 |
11.215 |
| Waldmann_07_size12/size-12-alpha-3-num-236 |
1.198 |
6.203 |
11.221 |
| Waldmann_07_size12/size-12-alpha-3-num-237 |
1.209 |
6.203 |
11.221 |
| Waldmann_07_size12/size-12-alpha-3-num-238 |
1.203 |
6.207 |
11.212 |
| Waldmann_07_size12/size-12-alpha-3-num-239 |
1.202 |
6.206 |
11.212 |
| Waldmann_07_size12/size-12-alpha-3-num-241 |
1.194 |
6.213 |
11.202 |
| Waldmann_07_size12/size-12-alpha-3-num-243 |
1.23 |
6.204 |
11.216 |
| Waldmann_07_size12/size-12-alpha-3-num-247 |
1.223 |
6.208 |
11.222 |
| Waldmann_07_size12/size-12-alpha-3-num-248 |
1.208 |
6.201 |
11.217 |
| Waldmann_07_size12/size-12-alpha-3-num-249 |
1.203 |
6.221 |
11.231 |
| Waldmann_07_size12/size-12-alpha-3-num-255 |
1.214 |
6.224 |
11.23 |
| Waldmann_07_size12/size-12-alpha-3-num-257 |
1.21 |
6.21 |
11.207 |
| Waldmann_07_size12/size-12-alpha-3-num-260 |
1.224 |
6.233 |
11.223 |
| Waldmann_07_size12/size-12-alpha-3-num-263 |
1.21 |
6.204 |
11.214 |
| problem |
pm |
bpm |
bprm |
| Waldmann_07_size12/size-12-alpha-3-num-265 |
1.221 |
6.222 |
11.223 |
| Waldmann_07_size12/size-12-alpha-3-num-267 |
1.206 |
6.217 |
11.222 |
| Waldmann_07_size12/size-12-alpha-3-num-270 |
1.214 |
6.224 |
11.215 |
| Waldmann_07_size12/size-12-alpha-3-num-271 |
1.224 |
6.205 |
11.226 |
| Waldmann_07_size12/size-12-alpha-3-num-272 |
1.214 |
6.221 |
11.222 |
| Waldmann_07_size12/size-12-alpha-3-num-273 |
1.207 |
6.216 |
11.201 |
| Waldmann_07_size12/size-12-alpha-3-num-274 |
1.211 |
6.229 |
11.229 |
| Waldmann_07_size12/size-12-alpha-3-num-275 |
1.194 |
6.202 |
11.216 |
| Waldmann_07_size12/size-12-alpha-3-num-279 |
1.202 |
6.206 |
11.193 |
| Waldmann_07_size12/size-12-alpha-3-num-281 |
1.182 |
6.199 |
11.205 |
| Waldmann_07_size12/size-12-alpha-3-num-282 |
1.217 |
6.232 |
11.233 |
| Waldmann_07_size12/size-12-alpha-3-num-283 |
1.19 |
6.204 |
11.206 |
| Waldmann_07_size12/size-12-alpha-3-num-284 |
1.233 |
6.222 |
11.227 |
| Waldmann_07_size12/size-12-alpha-3-num-285 |
1.209 |
6.233 |
11.223 |
| Waldmann_07_size12/size-12-alpha-3-num-286 |
1.207 |
6.235 |
11.22 |
| Waldmann_07_size12/size-12-alpha-3-num-287 |
1.192 |
6.213 |
11.219 |
| Waldmann_07_size12/size-12-alpha-3-num-288 |
1.203 |
6.214 |
11.203 |
| Waldmann_07_size12/size-12-alpha-3-num-289 |
1.205 |
6.202 |
11.22 |
| Waldmann_07_size12/size-12-alpha-3-num-291 |
1.2 |
6.205 |
11.219 |
| Waldmann_07_size12/size-12-alpha-3-num-292 |
1.209 |
6.224 |
11.235 |
| Waldmann_07_size12/size-12-alpha-3-num-293 |
1.224 |
6.215 |
11.224 |
| Waldmann_07_size12/size-12-alpha-3-num-294 |
1.21 |
6.225 |
11.23 |
| Waldmann_07_size12/size-12-alpha-3-num-296 |
1.224 |
6.239 |
11.249 |
| Waldmann_07_size12/size-12-alpha-3-num-297 |
1.206 |
6.213 |
11.216 |
| Waldmann_07_size12/size-12-alpha-3-num-298 |
1.221 |
6.24 |
11.24 |
| problem |
pm |
bpm |
bprm |
| Waldmann_07_size12/size-12-alpha-3-num-299 |
1.183 |
6.188 |
11.195 |
| Waldmann_07_size12/size-12-alpha-3-num-3 |
1.215 |
6.228 |
11.235 |
| Waldmann_07_size12/size-12-alpha-3-num-30 |
1.216 |
6.22 |
11.236 |
| Waldmann_07_size12/size-12-alpha-3-num-300 |
1.193 |
6.209 |
11.215 |
| Waldmann_07_size12/size-12-alpha-3-num-301 |
1.21 |
6.211 |
11.229 |
| Waldmann_07_size12/size-12-alpha-3-num-303 |
1.232 |
6.242 |
11.233 |
| Waldmann_07_size12/size-12-alpha-3-num-304 |
1.242 |
6.228 |
11.234 |
| Waldmann_07_size12/size-12-alpha-3-num-309 |
1.213 |
6.22 |
11.24 |
| Waldmann_07_size12/size-12-alpha-3-num-31 |
1.232 |
6.237 |
11.237 |
| Waldmann_07_size12/size-12-alpha-3-num-32 |
1.215 |
6.214 |
11.208 |
| Waldmann_07_size12/size-12-alpha-3-num-327 |
1.227 |
6.22 |
11.226 |
| Waldmann_07_size12/size-12-alpha-3-num-328 |
1.197 |
6.218 |
11.211 |
| Waldmann_07_size12/size-12-alpha-3-num-330 |
1.183 |
6.193 |
11.204 |
| Waldmann_07_size12/size-12-alpha-3-num-335 |
1.207 |
6.199 |
11.208 |
| Waldmann_07_size12/size-12-alpha-3-num-337 |
1.215 |
6.215 |
11.218 |
| Waldmann_07_size12/size-12-alpha-3-num-338 |
1.205 |
6.226 |
11.226 |
| Waldmann_07_size12/size-12-alpha-3-num-339 |
1.217 |
6.223 |
11.233 |
| Waldmann_07_size12/size-12-alpha-3-num-340 |
1.226 |
6.227 |
11.227 |
| Waldmann_07_size12/size-12-alpha-3-num-341 |
1.229 |
6.234 |
11.231 |
| Waldmann_07_size12/size-12-alpha-3-num-343 |
1.207 |
6.207 |
11.201 |
| Waldmann_07_size12/size-12-alpha-3-num-345 |
1.211 |
6.227 |
11.227 |
| Waldmann_07_size12/size-12-alpha-3-num-346 |
1.233 |
6.22 |
11.237 |
| Waldmann_07_size12/size-12-alpha-3-num-347 |
1.192 |
6.218 |
11.221 |
| Waldmann_07_size12/size-12-alpha-3-num-348 |
1.205 |
6.217 |
11.222 |
| Waldmann_07_size12/size-12-alpha-3-num-35 |
1.226 |
6.219 |
11.238 |
| problem |
pm |
bpm |
bprm |
| Waldmann_07_size12/size-12-alpha-3-num-350 |
1.2 |
6.194 |
11.212 |
| Waldmann_07_size12/size-12-alpha-3-num-351 |
1.188 |
6.205 |
11.224 |
| Waldmann_07_size12/size-12-alpha-3-num-352 |
1.206 |
6.225 |
11.216 |
| Waldmann_07_size12/size-12-alpha-3-num-353 |
1.206 |
6.214 |
11.229 |
| Waldmann_07_size12/size-12-alpha-3-num-354 |
1.212 |
6.216 |
11.217 |
| Waldmann_07_size12/size-12-alpha-3-num-355 |
1.222 |
6.217 |
11.228 |
| Waldmann_07_size12/size-12-alpha-3-num-356 |
1.218 |
6.233 |
11.218 |
| Waldmann_07_size12/size-12-alpha-3-num-359 |
1.187 |
6.194 |
11.211 |
| Waldmann_07_size12/size-12-alpha-3-num-360 |
1.226 |
6.214 |
11.224 |
| Waldmann_07_size12/size-12-alpha-3-num-361 |
1.211 |
6.227 |
11.24 |
| Waldmann_07_size12/size-12-alpha-3-num-362 |
1.231 |
6.244 |
11.237 |
| Waldmann_07_size12/size-12-alpha-3-num-363 |
1.219 |
6.206 |
11.229 |
| Waldmann_07_size12/size-12-alpha-3-num-366 |
1.217 |
6.218 |
11.224 |
| Waldmann_07_size12/size-12-alpha-3-num-367 |
1.223 |
6.212 |
11.218 |
| Waldmann_07_size12/size-12-alpha-3-num-368 |
1.203 |
6.217 |
11.224 |
| Waldmann_07_size12/size-12-alpha-3-num-369 |
1.222 |
6.221 |
11.23 |
| Waldmann_07_size12/size-12-alpha-3-num-373 |
1.216 |
6.222 |
11.219 |
| Waldmann_07_size12/size-12-alpha-3-num-374 |
1.225 |
6.224 |
11.22 |
| Waldmann_07_size12/size-12-alpha-3-num-375 |
1.223 |
6.224 |
11.236 |
| Waldmann_07_size12/size-12-alpha-3-num-376 |
1.224 |
6.213 |
11.221 |
| Waldmann_07_size12/size-12-alpha-3-num-377 |
1.205 |
6.202 |
11.216 |
| Waldmann_07_size12/size-12-alpha-3-num-378 |
1.229 |
6.23 |
11.22 |
| Waldmann_07_size12/size-12-alpha-3-num-382 |
1.226 |
6.216 |
11.225 |
| Waldmann_07_size12/size-12-alpha-3-num-383 |
1.227 |
6.225 |
11.226 |
| Waldmann_07_size12/size-12-alpha-3-num-384 |
1.232 |
6.245 |
11.223 |
| problem |
pm |
bpm |
bprm |
| Waldmann_07_size12/size-12-alpha-3-num-385 |
1.211 |
6.227 |
11.221 |
| Waldmann_07_size12/size-12-alpha-3-num-386 |
1.206 |
6.237 |
11.233 |
| Waldmann_07_size12/size-12-alpha-3-num-389 |
1.218 |
6.211 |
11.228 |
| Waldmann_07_size12/size-12-alpha-3-num-391 |
1.207 |
6.225 |
11.229 |
| Waldmann_07_size12/size-12-alpha-3-num-392 |
1.21 |
6.208 |
11.222 |
| Waldmann_07_size12/size-12-alpha-3-num-395 |
1.228 |
6.231 |
11.237 |
| Waldmann_07_size12/size-12-alpha-3-num-396 |
1.212 |
6.22 |
11.235 |
| Waldmann_07_size12/size-12-alpha-3-num-399 |
1.207 |
6.221 |
11.223 |
| Waldmann_07_size12/size-12-alpha-3-num-4 |
1.204 |
6.195 |
11.205 |
| Waldmann_07_size12/size-12-alpha-3-num-40 |
1.209 |
6.226 |
11.209 |
| Waldmann_07_size12/size-12-alpha-3-num-400 |
1.232 |
6.223 |
11.233 |
| Waldmann_07_size12/size-12-alpha-3-num-401 |
1.227 |
6.241 |
11.254 |
| Waldmann_07_size12/size-12-alpha-3-num-402 |
1.243 |
6.241 |
11.234 |
| Waldmann_07_size12/size-12-alpha-3-num-403 |
1.216 |
6.219 |
11.218 |
| Waldmann_07_size12/size-12-alpha-3-num-406 |
1.236 |
6.236 |
11.24 |
| Waldmann_07_size12/size-12-alpha-3-num-408 |
1.207 |
6.227 |
11.233 |
| Waldmann_07_size12/size-12-alpha-3-num-409 |
1.216 |
6.226 |
11.239 |
| Waldmann_07_size12/size-12-alpha-3-num-41 |
1.188 |
6.206 |
11.211 |
| Waldmann_07_size12/size-12-alpha-3-num-410 |
1.223 |
6.217 |
11.235 |
| Waldmann_07_size12/size-12-alpha-3-num-412 |
1.241 |
6.229 |
11.219 |
| Waldmann_07_size12/size-12-alpha-3-num-413 |
1.216 |
6.218 |
11.225 |
| Waldmann_07_size12/size-12-alpha-3-num-414 |
1.213 |
6.228 |
11.221 |
| Waldmann_07_size12/size-12-alpha-3-num-415 |
1.208 |
6.227 |
11.228 |
| Waldmann_07_size12/size-12-alpha-3-num-416 |
1.23 |
6.231 |
11.226 |
| Waldmann_07_size12/size-12-alpha-3-num-417 |
1.219 |
6.23 |
11.22 |
| problem |
pm |
bpm |
bprm |
| Waldmann_07_size12/size-12-alpha-3-num-418 |
1.23 |
6.229 |
11.23 |
| Waldmann_07_size12/size-12-alpha-3-num-427 |
1.208 |
6.211 |
11.214 |
| Waldmann_07_size12/size-12-alpha-3-num-429 |
1.206 |
6.207 |
11.202 |
| Waldmann_07_size12/size-12-alpha-3-num-430 |
1.212 |
6.213 |
11.228 |
| Waldmann_07_size12/size-12-alpha-3-num-431 |
1.209 |
6.21 |
11.215 |
| Waldmann_07_size12/size-12-alpha-3-num-434 |
1.211 |
6.216 |
11.219 |
| Waldmann_07_size12/size-12-alpha-3-num-435 |
1.22 |
6.207 |
11.216 |
| Waldmann_07_size12/size-12-alpha-3-num-436 |
1.205 |
6.201 |
11.214 |
| Waldmann_07_size12/size-12-alpha-3-num-437 |
1.218 |
6.224 |
11.222 |
| Waldmann_07_size12/size-12-alpha-3-num-438 |
1.224 |
6.204 |
11.206 |
| Waldmann_07_size12/size-12-alpha-3-num-439 |
1.202 |
6.191 |
11.211 |
| Waldmann_07_size12/size-12-alpha-3-num-44 |
1.199 |
6.199 |
11.217 |
| Waldmann_07_size12/size-12-alpha-3-num-441 |
1.189 |
6.215 |
11.215 |
| Waldmann_07_size12/size-12-alpha-3-num-443 |
1.198 |
6.185 |
11.204 |
| Waldmann_07_size12/size-12-alpha-3-num-446 |
1.188 |
6.207 |
11.213 |
| Waldmann_07_size12/size-12-alpha-3-num-448 |
1.207 |
6.216 |
11.216 |
| Waldmann_07_size12/size-12-alpha-3-num-45 |
1.184 |
6.191 |
11.202 |
| Waldmann_07_size12/size-12-alpha-3-num-450 |
1.206 |
6.21 |
11.229 |
| Waldmann_07_size12/size-12-alpha-3-num-451 |
1.217 |
6.221 |
11.225 |
| Waldmann_07_size12/size-12-alpha-3-num-452 |
1.203 |
6.221 |
11.216 |
| Waldmann_07_size12/size-12-alpha-3-num-453 |
1.191 |
6.199 |
11.214 |
| Waldmann_07_size12/size-12-alpha-3-num-454 |
1.218 |
6.217 |
11.229 |
| Waldmann_07_size12/size-12-alpha-3-num-455 |
1.205 |
6.193 |
11.212 |
| Waldmann_07_size12/size-12-alpha-3-num-456 |
1.199 |
6.203 |
11.233 |
| Waldmann_07_size12/size-12-alpha-3-num-460 |
1.203 |
6.223 |
11.222 |
| problem |
pm |
bpm |
bprm |
| Waldmann_07_size12/size-12-alpha-3-num-461 |
1.22 |
6.207 |
11.216 |
| Waldmann_07_size12/size-12-alpha-3-num-462 |
1.213 |
6.218 |
11.225 |
| Waldmann_07_size12/size-12-alpha-3-num-465 |
1.189 |
6.195 |
11.194 |
| Waldmann_07_size12/size-12-alpha-3-num-467 |
1.222 |
6.214 |
11.223 |
| Waldmann_07_size12/size-12-alpha-3-num-468 |
1.202 |
6.201 |
11.209 |
| Waldmann_07_size12/size-12-alpha-3-num-469 |
1.211 |
6.214 |
11.217 |
| Waldmann_07_size12/size-12-alpha-3-num-47 |
1.202 |
6.205 |
11.207 |
| Waldmann_07_size12/size-12-alpha-3-num-470 |
1.211 |
6.211 |
11.212 |
| Waldmann_07_size12/size-12-alpha-3-num-472 |
1.205 |
6.211 |
11.204 |
| Waldmann_07_size12/size-12-alpha-3-num-473 |
1.189 |
6.196 |
11.203 |
| Waldmann_07_size12/size-12-alpha-3-num-474 |
1.209 |
6.21 |
11.218 |
| Waldmann_07_size12/size-12-alpha-3-num-475 |
1.211 |
6.221 |
11.23 |
| Waldmann_07_size12/size-12-alpha-3-num-476 |
1.211 |
6.205 |
11.223 |
| Waldmann_07_size12/size-12-alpha-3-num-477 |
1.199 |
6.196 |
11.205 |
| Waldmann_07_size12/size-12-alpha-3-num-478 |
1.194 |
6.203 |
11.203 |
| Waldmann_07_size12/size-12-alpha-3-num-479 |
1.201 |
6.197 |
11.216 |
| Waldmann_07_size12/size-12-alpha-3-num-48 |
1.205 |
6.216 |
11.217 |
| Waldmann_07_size12/size-12-alpha-3-num-480 |
1.214 |
6.226 |
11.221 |
| Waldmann_07_size12/size-12-alpha-3-num-482 |
1.196 |
6.216 |
11.215 |
| Waldmann_07_size12/size-12-alpha-3-num-484 |
1.221 |
6.212 |
11.215 |
| Waldmann_07_size12/size-12-alpha-3-num-485 |
1.182 |
6.188 |
11.197 |
| Waldmann_07_size12/size-12-alpha-3-num-487 |
1.206 |
6.213 |
11.207 |
| Waldmann_07_size12/size-12-alpha-3-num-488 |
1.199 |
6.215 |
11.194 |
| Waldmann_07_size12/size-12-alpha-3-num-489 |
1.192 |
6.207 |
11.211 |
| Waldmann_07_size12/size-12-alpha-3-num-49 |
1.201 |
6.228 |
11.213 |
| problem |
pm |
bpm |
bprm |
| Waldmann_07_size12/size-12-alpha-3-num-491 |
1.233 |
6.227 |
11.22 |
| Waldmann_07_size12/size-12-alpha-3-num-492 |
1.21 |
6.227 |
11.228 |
| Waldmann_07_size12/size-12-alpha-3-num-493 |
1.22 |
6.212 |
11.216 |
| Waldmann_07_size12/size-12-alpha-3-num-494 |
1.196 |
6.221 |
11.209 |
| Waldmann_07_size12/size-12-alpha-3-num-495 |
1.21 |
6.212 |
11.214 |
| Waldmann_07_size12/size-12-alpha-3-num-497 |
1.196 |
6.196 |
11.219 |
| Waldmann_07_size12/size-12-alpha-3-num-498 |
1.193 |
6.203 |
11.195 |
| Waldmann_07_size12/size-12-alpha-3-num-499 |
1.2 |
6.191 |
11.202 |
| Waldmann_07_size12/size-12-alpha-3-num-502 |
1.187 |
6.199 |
11.21 |
| Waldmann_07_size12/size-12-alpha-3-num-503 |
1.211 |
6.214 |
11.238 |
| Waldmann_07_size12/size-12-alpha-3-num-506 |
1.225 |
6.215 |
11.211 |
| Waldmann_07_size12/size-12-alpha-3-num-507 |
1.198 |
6.208 |
11.2 |
| Waldmann_07_size12/size-12-alpha-3-num-508 |
1.183 |
6.189 |
11.216 |
| Waldmann_07_size12/size-12-alpha-3-num-51 |
1.213 |
6.214 |
11.242 |
| Waldmann_07_size12/size-12-alpha-3-num-511 |
1.189 |
6.207 |
11.212 |
| Waldmann_07_size12/size-12-alpha-3-num-52 |
1.218 |
6.21 |
11.215 |
| Waldmann_07_size12/size-12-alpha-3-num-522 |
1.236 |
6.214 |
11.23 |
| Waldmann_07_size12/size-12-alpha-3-num-526 |
1.216 |
6.228 |
11.223 |
| Waldmann_07_size12/size-12-alpha-3-num-532 |
1.195 |
6.196 |
11.219 |
| Waldmann_07_size12/size-12-alpha-3-num-535 |
1.226 |
6.212 |
11.233 |
| Waldmann_07_size12/size-12-alpha-3-num-536 |
1.221 |
6.23 |
11.227 |
| Waldmann_07_size12/size-12-alpha-3-num-540 |
1.197 |
6.232 |
11.204 |
| Waldmann_07_size12/size-12-alpha-3-num-541 |
1.206 |
6.211 |
11.22 |
| Waldmann_07_size12/size-12-alpha-3-num-543 |
1.22 |
6.226 |
11.239 |
| Waldmann_07_size12/size-12-alpha-3-num-545 |
1.222 |
6.218 |
11.224 |
| problem |
pm |
bpm |
bprm |
| Waldmann_07_size12/size-12-alpha-3-num-546 |
1.186 |
6.195 |
11.209 |
| Waldmann_07_size12/size-12-alpha-3-num-547 |
1.215 |
6.208 |
11.207 |
| Waldmann_07_size12/size-12-alpha-3-num-548 |
1.24 |
6.219 |
11.216 |
| Waldmann_07_size12/size-12-alpha-3-num-549 |
1.204 |
6.218 |
11.207 |
| Waldmann_07_size12/size-12-alpha-3-num-550 |
1.2 |
6.221 |
11.212 |
| Waldmann_07_size12/size-12-alpha-3-num-551 |
1.21 |
6.211 |
11.214 |
| Waldmann_07_size12/size-12-alpha-3-num-552 |
1.207 |
6.215 |
11.222 |
| Waldmann_07_size12/size-12-alpha-3-num-553 |
1.216 |
6.225 |
11.234 |
| Waldmann_07_size12/size-12-alpha-3-num-556 |
1.22 |
6.229 |
11.222 |
| Waldmann_07_size12/size-12-alpha-3-num-558 |
1.184 |
6.212 |
11.214 |
| Waldmann_07_size12/size-12-alpha-3-num-559 |
1.192 |
6.203 |
11.203 |
| Waldmann_07_size12/size-12-alpha-3-num-560 |
1.208 |
6.203 |
11.22 |
| Waldmann_07_size12/size-12-alpha-3-num-561 |
1.194 |
6.205 |
11.217 |
| Waldmann_07_size12/size-12-alpha-3-num-563 |
1.197 |
6.206 |
11.214 |
| Waldmann_07_size12/size-12-alpha-3-num-564 |
1.193 |
6.196 |
11.209 |
| Waldmann_07_size12/size-12-alpha-3-num-565 |
1.199 |
6.182 |
11.192 |
| Waldmann_07_size12/size-12-alpha-3-num-566 |
1.185 |
6.193 |
11.193 |
| Waldmann_07_size12/size-12-alpha-3-num-568 |
1.216 |
6.217 |
11.219 |
| Waldmann_07_size12/size-12-alpha-3-num-57 |
1.194 |
6.206 |
11.221 |
| Waldmann_07_size12/size-12-alpha-3-num-59 |
1.199 |
6.211 |
11.21 |
| Waldmann_07_size12/size-12-alpha-3-num-61 |
1.204 |
6.221 |
11.225 |
| Waldmann_07_size12/size-12-alpha-3-num-64 |
1.192 |
6.206 |
11.218 |
| Waldmann_07_size12/size-12-alpha-3-num-65 |
1.196 |
6.212 |
11.209 |
| Waldmann_07_size12/size-12-alpha-3-num-66 |
1.209 |
6.198 |
11.225 |
| Waldmann_07_size12/size-12-alpha-3-num-67 |
1.21 |
6.201 |
11.212 |
| problem |
pm |
bpm |
bprm |
| Waldmann_07_size12/size-12-alpha-3-num-7 |
1.206 |
6.221 |
11.23 |
| Waldmann_07_size12/size-12-alpha-3-num-70 |
1.204 |
6.208 |
11.218 |
| Waldmann_07_size12/size-12-alpha-3-num-71 |
1.221 |
6.218 |
11.218 |
| Waldmann_07_size12/size-12-alpha-3-num-72 |
1.199 |
6.198 |
11.218 |
| Waldmann_07_size12/size-12-alpha-3-num-74 |
1.183 |
6.195 |
11.196 |
| Waldmann_07_size12/size-12-alpha-3-num-76 |
1.197 |
6.197 |
11.214 |
| Waldmann_07_size12/size-12-alpha-3-num-82 |
1.209 |
6.211 |
11.213 |
| Waldmann_07_size12/size-12-alpha-3-num-83 |
1.215 |
6.221 |
11.217 |
| Waldmann_07_size12/size-12-alpha-3-num-84 |
1.203 |
6.22 |
11.217 |
| Waldmann_07_size12/size-12-alpha-3-num-85 |
1.208 |
6.216 |
11.222 |
| Waldmann_07_size12/size-12-alpha-3-num-86 |
1.196 |
6.187 |
11.194 |
| Waldmann_07_size12/size-12-alpha-3-num-88 |
1.227 |
6.219 |
11.235 |
| Waldmann_07_size12/size-12-alpha-3-num-9 |
1.221 |
6.219 |
11.211 |
| Waldmann_07_size12/size-12-alpha-3-num-90 |
1.2 |
6.202 |
11.202 |
| Waldmann_07_size12/size-12-alpha-3-num-91 |
1.194 |
6.189 |
11.202 |
| Waldmann_07_size12/size-12-alpha-3-num-92 |
1.196 |
6.196 |
11.202 |
| Waldmann_07_size12/size-12-alpha-3-num-94 |
1.207 |
6.209 |
11.213 |
| Waldmann_07_size12/size-12-alpha-3-num-95 |
1.191 |
6.211 |
11.215 |
| Waldmann_07_size12/size-12-alpha-3-num-98 |
1.198 |
6.215 |
11.22 |
| Waldmann_07_size12/size-12-alpha-3-num-99 |
1.197 |
6.304 |
11.313 |
| Zantema_04/syracuse |
1.564 |
6.656 |
11.678 |
| Zantema_04/z001 |
1.206 |
0.346 |
0.359 |
| Zantema_04/z002 |
1.248 |
0.224 |
0.23 |
| Zantema_04/z003 |
1.276 |
0.379 |
0.398 |
| Zantema_04/z004 |
1.285 |
0.229 |
0.242 |
| problem |
pm |
bpm |
bprm |
| Zantema_04/z005 |
1.236 |
0.348 |
0.345 |
| Zantema_04/z006 |
0.176 |
5.177 |
10.189 |
| Zantema_04/z007 |
1.211 |
6.204 |
10.183 |
| Zantema_04/z008 |
3.659 |
8.649 |
13.654 |
| Zantema_04/z009 |
1.223 |
6.235 |
11.227 |
| Zantema_04/z010 |
1.182 |
6.198 |
11.198 |
| Zantema_04/z011 |
1.22 |
6.231 |
11.239 |
| Zantema_04/z012 |
1.182 |
6.194 |
11.19 |
| Zantema_04/z013 |
2.344 |
7.35 |
12.274 |
| Zantema_04/z014 |
1.214 |
6.22 |
11.226 |
| Zantema_04/z015 |
1.204 |
6.201 |
11.216 |
| Zantema_04/z017 |
1.219 |
6.22 |
11.242 |
| Zantema_04/z018 |
1.228 |
6.269 |
11.251 |
| Zantema_04/z019 |
1.223 |
6.22 |
11.902 |
| Zantema_04/z020 |
1.204 |
6.224 |
11.234 |
| Zantema_04/z021 |
1.219 |
6.217 |
11.219 |
| Zantema_04/z022 |
1.278 |
6.294 |
11.294 |
| Zantema_04/z023 |
2.323 |
7.333 |
11.322 |
| Zantema_04/z024 |
2.348 |
7.368 |
12.564 |
| Zantema_04/z025 |
1.226 |
6.242 |
11.228 |
| Zantema_04/z026 |
1.216 |
6.234 |
11.231 |
| Zantema_04/z027 |
1.265 |
0.377 |
0.364 |
| Zantema_04/z028 |
1.267 |
6.28 |
11.284 |
| Zantema_04/z029 |
1.273 |
0.38 |
0.39 |
| Zantema_04/z030 |
1.261 |
0.469 |
0.471 |
| problem |
pm |
bpm |
bprm |
| Zantema_04/z031 |
1.367 |
0.588 |
0.575 |
| Zantema_04/z032 |
1.265 |
0.362 |
0.372 |
| Zantema_04/z033 |
1.341 |
0.2 |
0.201 |
| Zantema_04/z034 |
1.249 |
6.253 |
11.268 |
| Zantema_04/z035 |
1.28 |
6.288 |
11.285 |
| Zantema_04/z036 |
1.312 |
2.167 |
2.206 |
| Zantema_04/z037 |
1.303 |
0.331 |
0.35 |
| Zantema_04/z038 |
1.316 |
6.333 |
11.332 |
| Zantema_04/z039 |
1.423 |
0.245 |
0.22 |
| Zantema_04/z040 |
1.293 |
0.379 |
0.403 |
| Zantema_04/z041 |
1.273 |
6.271 |
11.268 |
| Zantema_04/z042 |
1.336 |
6.354 |
11.359 |
| Zantema_04/z043 |
1.279 |
0.231 |
0.253 |
| Zantema_04/z044 |
1.258 |
6.253 |
11.265 |
| Zantema_04/z045 |
1.376 |
0.24 |
0.259 |
| Zantema_04/z046 |
1.308 |
6.297 |
11.299 |
| Zantema_04/z047 |
1.296 |
0.243 |
0.244 |
| Zantema_04/z048 |
1.415 |
0.235 |
0.227 |
| Zantema_04/z049 |
1.272 |
0.158 |
0.166 |
| Zantema_04/z050 |
1.264 |
0.16 |
0.167 |
| Zantema_04/z051 |
1.245 |
0.171 |
0.189 |
| Zantema_04/z052 |
1.27 |
0.144 |
0.16 |
| Zantema_04/z053 |
1.27 |
0.171 |
0.174 |
| Zantema_04/z054 |
1.273 |
0.22 |
0.22 |
| Zantema_04/z055 |
1.277 |
0.159 |
0.152 |
| problem |
pm |
bpm |
bprm |
| Zantema_04/z056 |
1.262 |
0.201 |
0.199 |
| Zantema_04/z057 |
1.254 |
0.163 |
0.177 |
| Zantema_04/z058 |
1.269 |
0.169 |
0.177 |
| Zantema_04/z059 |
1.246 |
0.214 |
0.216 |
| Zantema_04/z060 |
1.228 |
0.169 |
0.16 |
| Zantema_04/z061 |
1.44 |
0.144 |
0.154 |
| Zantema_04/z062 |
1.386 |
0.159 |
0.158 |
| Zantema_04/z063 |
1.277 |
0.155 |
0.158 |
| Zantema_04/z064 |
1.28 |
0.185 |
0.191 |
| Zantema_04/z065 |
2.403 |
7.41 |
12.404 |
| Zantema_04/z066 |
0.716 |
5.699 |
10.718 |
| Zantema_04/z067 |
1.331 |
6.333 |
11.335 |
| Zantema_04/z068 |
1.311 |
6.317 |
11.305 |
| Zantema_04/z069 |
1.549 |
6.585 |
11.58 |
| Zantema_04/z070 |
1.638 |
6.615 |
11.642 |
| Zantema_04/z071 |
1.293 |
6.283 |
11.285 |
| Zantema_04/z072 |
1.311 |
6.307 |
11.753 |
| Zantema_04/z073 |
1.282 |
6.28 |
11.292 |
| Zantema_04/z074 |
3.083 |
8.118 |
13.12 |
| Zantema_04/z075 |
2.457 |
7.471 |
12.457 |
| Zantema_04/z076 |
1.193 |
6.205 |
11.208 |
| Zantema_04/z077 |
1.225 |
6.233 |
11.231 |
| Zantema_04/z078 |
1.235 |
6.256 |
11.25 |
| Zantema_04/z079 |
1.349 |
6.351 |
11.35 |
| Zantema_04/z080 |
1.236 |
6.243 |
11.248 |
| problem |
pm |
bpm |
bprm |
| Zantema_04/z081 |
1.413 |
6.415 |
11.42 |
| Zantema_04/z082 |
1.295 |
6.326 |
11.32 |
| Zantema_04/z083 |
2.458 |
7.453 |
12.467 |
| Zantema_04/z084 |
1.185 |
6.205 |
11.212 |
| Zantema_04/z085 |
0.152 |
5.17 |
10.172 |
| Zantema_04/z086 |
1.18 |
6.197 |
11.21 |
| Zantema_04/z087 |
1.202 |
6.189 |
11.207 |
| Zantema_04/z088 |
1.252 |
6.263 |
11.281 |
| Zantema_04/z089 |
2.355 |
7.371 |
12.375 |
| Zantema_04/z090 |
1.325 |
6.318 |
11.334 |
| Zantema_04/z091 |
2.923 |
7.906 |
12.959 |
| Zantema_04/z092 |
1.036 |
6.052 |
11.009 |
| Zantema_04/z093 |
1.208 |
6.224 |
11.23 |
| Zantema_04/z094 |
1.279 |
6.275 |
11.285 |
| Zantema_04/z095 |
1.214 |
1.355 |
1.31 |
| Zantema_04/z096 |
1.248 |
6.248 |
11.256 |
| Zantema_04/z097 |
1.28 |
0.656 |
0.656 |
| Zantema_04/z098 |
1.26 |
0.485 |
0.501 |
| Zantema_04/z100 |
3.781 |
8.718 |
13.774 |
| Zantema_04/z101 |
1.2 |
6.193 |
11.209 |
| Zantema_04/z102 |
1.206 |
6.22 |
11.216 |
| Zantema_04/z103 |
1.197 |
6.197 |
11.209 |
| Zantema_04/z104 |
1.301 |
6.302 |
11.301 |
| Zantema_04/z105 |
1.246 |
6.273 |
11.269 |
| Zantema_04/z106 |
1.247 |
6.254 |
11.251 |
| problem |
pm |
bpm |
bprm |
| Zantema_04/z107 |
1.234 |
6.257 |
11.245 |
| Zantema_04/z108 |
1.211 |
6.226 |
11.242 |
| Zantema_04/z109 |
1.203 |
6.197 |
11.207 |
| Zantema_04/z110 |
1.243 |
6.252 |
11.252 |
| Zantema_04/z111 |
1.272 |
6.268 |
11.294 |
| Zantema_04/z112 |
1.283 |
6.287 |
11.284 |
| Zantema_04/z113 |
1.276 |
6.286 |
11.281 |
| Zantema_04/z114 |
1.2 |
6.201 |
11.204 |
| Zantema_04/z115 |
1.259 |
6.254 |
11.259 |
| Zantema_04/z116 |
1.207 |
6.198 |
11.215 |
| Zantema_04/z117 |
1.277 |
6.287 |
11.282 |
| Zantema_04/z118 |
1.26 |
6.266 |
11.26 |
| Zantema_04/z119 |
1.283 |
6.291 |
11.282 |
| Zantema_04/z120 |
1.236 |
6.234 |
11.257 |
| Zantema_04/z121 |
1.319 |
6.33 |
11.338 |
| Zantema_04/z122 |
1.27 |
6.289 |
11.292 |
| Zantema_04/z123 |
1.293 |
6.288 |
11.296 |
| Zantema_04/z124 |
0.757 |
5.742 |
10.739 |
| Zantema_04/z125 |
1.337 |
6.346 |
11.342 |
| Zantema_04/z126 |
1.213 |
6.2 |
5.169 |
| Zantema_04/z127 |
1.215 |
6.237 |
11.234 |
| Zantema_04/z128 |
1.221 |
6.212 |
11.202 |
| Zantema_05/jw01 |
1.173 |
0.163 |
0.17 |
| Zantema_05/jw02 |
1.183 |
0.175 |
0.172 |
| Zantema_05/jw03 |
1.173 |
0.144 |
0.144 |
| problem |
pm |
bpm |
bprm |
| Zantema_05/jw04 |
1.178 |
0.159 |
0.154 |
| Zantema_05/jw05 |
1.176 |
0.154 |
0.139 |
| Zantema_05/jw06 |
1.17 |
0.154 |
0.147 |
| Zantema_05/jw07 |
1.165 |
0.152 |
0.147 |
| Zantema_05/jw08 |
1.178 |
0.142 |
0.154 |
| Zantema_05/jw09 |
1.165 |
0.147 |
0.157 |
| Zantema_05/jw11 |
1.183 |
0.146 |
0.153 |
| Zantema_05/jw12 |
1.187 |
0.14 |
0.153 |
| Zantema_05/jw13 |
1.186 |
0.164 |
0.155 |
| Zantema_05/jw14 |
1.187 |
0.149 |
0.155 |
| Zantema_05/jw15 |
1.184 |
0.153 |
0.154 |
| Zantema_05/jw16 |
1.175 |
0.138 |
0.162 |
| Zantema_05/jw17 |
1.189 |
0.145 |
0.157 |
| Zantema_05/jw18 |
1.176 |
0.154 |
0.143 |
| Zantema_05/jw19 |
1.184 |
0.161 |
0.172 |
| Zantema_05/jw20 |
1.167 |
0.155 |
0.156 |
| Zantema_05/jw21 |
1.183 |
0.157 |
0.158 |
| Zantema_05/jw22 |
1.178 |
0.149 |
0.161 |
| Zantema_05/jw23 |
1.174 |
0.143 |
0.154 |
| Zantema_05/jw24 |
1.181 |
0.147 |
0.158 |
| Zantema_05/jw25 |
1.19 |
0.145 |
0.151 |
| Zantema_05/jw26 |
1.179 |
0.145 |
0.154 |
| Zantema_05/jw27 |
1.199 |
0.154 |
0.154 |
| Zantema_05/jw28 |
1.172 |
0.161 |
0.144 |
| Zantema_05/jw29 |
1.185 |
0.141 |
0.148 |
| problem |
pm |
bpm |
bprm |
| Zantema_05/jw30 |
1.165 |
0.15 |
0.162 |
| Zantema_05/jw31 |
1.175 |
0.155 |
0.148 |
| Zantema_05/jw32 |
1.18 |
0.147 |
0.154 |
| Zantema_05/jw33 |
1.176 |
0.147 |
0.162 |
| Zantema_05/jw34 |
1.173 |
0.149 |
0.153 |
| Zantema_05/jw35 |
1.183 |
0.164 |
0.157 |
| Zantema_05/jw36 |
1.204 |
0.147 |
0.157 |
| Zantema_05/jw37 |
1.196 |
0.156 |
0.151 |
| Zantema_05/jw38 |
1.173 |
0.147 |
0.158 |
| Zantema_05/jw39 |
1.181 |
0.144 |
0.157 |
| Zantema_05/jw40 |
1.185 |
0.155 |
0.157 |
| Zantema_05/jw41 |
1.177 |
0.151 |
0.156 |
| Zantema_05/jw42 |
1.167 |
0.152 |
0.138 |
| Zantema_05/jw43 |
1.19 |
0.151 |
0.147 |
| Zantema_05/jw44 |
0.161 |
5.178 |
10.169 |
| Zantema_05/jw47 |
0.158 |
5.173 |
10.174 |
| Zantema_05/jw50 |
1.189 |
0.154 |
0.173 |
| Zantema_05/z01 |
1.235 |
0.283 |
0.295 |
| Zantema_05/z02 |
1.172 |
0.254 |
0.254 |
| Zantema_05/z03 |
1.208 |
6.2 |
11.21 |
| Zantema_05/z05 |
1.204 |
6.203 |
11.212 |
| Zantema_05/z06 |
1.186 |
6.215 |
11.216 |
| Zantema_05/z07 |
1.21 |
6.21 |
11.215 |
| Zantema_05/z08 |
1.215 |
6.197 |
5.181 |
| Zantema_05/z11 |
1.27 |
6.27 |
11.278 |
| problem |
pm |
bpm |
bprm |
| Zantema_05/z12 |
1.277 |
6.285 |
11.304 |
| Zantema_05/z13 |
1.27 |
6.254 |
11.267 |
| Zantema_05/z14 |
1.227 |
6.224 |
11.239 |
| Zantema_05/z15 |
1.199 |
6.21 |
11.218 |
| Zantema_05/z16 |
1.234 |
6.243 |
11.232 |
| Zantema_05/z17 |
1.236 |
6.228 |
11.235 |
| Zantema_05/z18 |
1.218 |
6.214 |
11.23 |
| Zantema_05/z19 |
1.191 |
6.2 |
11.196 |
| Zantema_05/z20 |
1.233 |
6.239 |
11.243 |
| Zantema_05/z21 |
1.215 |
6.241 |
11.235 |
| Zantema_05/z22 |
1.234 |
6.243 |
11.238 |
| Zantema_05/z23 |
1.35 |
6.375 |
14.657 |
| Zantema_05/z24 |
1.327 |
6.359 |
11.349 |
| Zantema_05/z25 |
1.179 |
6.176 |
11.196 |
| Zantema_05/z26 |
1.341 |
6.352 |
11.361 |
| Zantema_05/z29 |
1.217 |
6.219 |
11.23 |
| Zantema_05/z30 |
1.297 |
0.32 |
0.331 |
| Zantema_06/01 |
1.225 |
6.226 |
11.227 |
| Zantema_06/02 |
1.215 |
6.218 |
11.214 |
| Zantema_06/03 |
1.269 |
6.285 |
11.296 |
| Zantema_06/04 |
1.22 |
6.21 |
11.218 |
| Zantema_06/05 |
1.255 |
6.275 |
11.261 |
| Zantema_06/06 |
1.269 |
6.286 |
11.286 |
| Zantema_06/07 |
1.214 |
6.209 |
11.217 |
| Zantema_06/08 |
1.22 |
6.232 |
11.233 |
| problem |
pm |
bpm |
bprm |
| Zantema_06/09 |
1.407 |
6.413 |
11.437 |
| Zantema_06/10 |
1.251 |
6.269 |
11.273 |
| Zantema_06/11 |
1.387 |
6.406 |
11.412 |
| Zantema_06/12 |
1.386 |
6.384 |
11.404 |
| Zantema_06/13 |
1.305 |
6.302 |
11.322 |
| Zantema_06/14 |
1.236 |
6.238 |
11.229 |
| Zantema_06/15 |
3.197 |
8.243 |
13.208 |
| Zantema_06/16 |
1.519 |
6.517 |
11.525 |
| Zantema_06/17 |
6.177 |
11.198 |
16.115 |
| Zantema_06/18 |
7.467 |
12.588 |
17.643 |
| Zantema_06/abc |
1.223 |
6.238 |
11.235 |
| Zantema_06/beans1 |
1.834 |
6.842 |
12.578 |
| Zantema_06/beans2 |
1.331 |
6.317 |
11.334 |
| Zantema_06/beans3 |
1.387 |
6.388 |
11.396 |
| Zantema_06/beans4 |
1.316 |
6.336 |
11.334 |
| Zantema_06/beans5 |
1.221 |
6.249 |
11.238 |
| Zantema_06/beans6 |
1.288 |
6.294 |
11.289 |
| Zantema_06/beans7 |
1.265 |
6.272 |
11.283 |
| Zantema_06/loop1 |
1.205 |
6.201 |
11.215 |
| Zantema_06/loop2 |
1.193 |
6.182 |
11.198 |
| Zantema_06/while1 |
2.807 |
7.869 |
12.898 |
| Zantema_06/while2 |
1.293 |
6.304 |
11.304 |
|
|