DI Martin Korp  
Home Teaching Research
Research
Publications Talks TTT2 TTTbox

Results for Non-Duplicating TRSs and SRSs

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
Yes No Maybe Timeout