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.297 11.307
AG01/#3.15 0.223 5.228 10.235
AG01/#3.17 1.51 6.487 11.505
AG01/#3.17a 1.656 6.662 11.686
AG01/#3.24 0.181 0.192 0.2
AG01/#3.26 1.173 6.187 11.185
AG01/#3.33 0.262 0.152 0.166
AG01/#3.35 0.196 5.19 10.184
AG01/#3.37 1.207 0.197 0.21
AG01/#3.49 1.295 6.302 11.296
AG01/#3.51 1.248 0.222 0.208
AG01/#3.56 0.279 0.198 0.192
AG01/#3.7 0.203 5.214 10.199
AProVE_04/LPAR_intlist 1.309 6.324 11.323
AProVE_04/Liveness6.1 2.472 7.504 12.481
AProVE_04/Liveness6.2 1.307 6.319 11.315
AProVE_04/Liveness6.3 2.998 7.985 12.99
AProVE_04/Liveness6.4 1.612 6.611 11.614
AProVE_04/Liveness8 1.988 6.977 11.964
AProVE_04/Liveness_WRS 4.016 9.032 15.218
AProVE_06/identity 1.328 6.349 11.355
AProVE_06/nonterm 1.287 6.29 11.291
AProVE_06/tower_sizeChange 1.367 6.39 11.41
AProVE_08/round 1.217 6.24 11.239
AProVE_08/round_nonterm 1.208 6.211 11.223
problem pm bpm bprm
AotoYamada_05/005 0.239 5.242 10.247
AotoYamada_05/017 0.135 0.153 0.164
AotoYamada_05/023 0.196 5.199 10.194
AotoYamada_05/025 0.127 0.155 0.154
Applicative_05/Ex2_6_1Composition 0.146 0.227 0.229
Applicative_05/ReverseLastInit 1.362 6.367 11.362
Applicative_05/TypeEx5 1.171 6.188 11.185
Bouchare_06/01 1.217 6.208 11.227
Bouchare_06/02 0.187 5.206 5.841
Bouchare_06/03 1.209 6.221 11.229
Bouchare_06/04 1.222 6.222 11.245
Bouchare_06/05 1.2 6.205 11.216
Bouchare_06/06 1.243 6.241 11.245
Bouchare_06/07 1.22 6.225 11.225
Bouchare_06/08 1.211 6.22 11.217
Bouchare_06/09 1.209 6.198 11.227
Bouchare_06/10 1.216 6.225 11.224
Bouchare_06/11 1.182 6.188 11.202
Bouchare_06/12 1.198 6.207 11.2
Bouchare_06/13 1.219 6.236 11.226
Bouchare_06/14 1.195 6.197 11.202
Bouchare_06/15 1.217 6.216 11.214
Bouchare_06/16 1.193 6.208 11.206
Bouchare_06/17 1.192 6.22 11.204
Bouchare_06/18 1.202 6.228 11.232
problem pm bpm bprm
CiME_04/dpqs 1.271 0.205 0.2
CiME_04/filliatre 1.402 6.399 11.426
CiME_04/filliatre2 1.556 6.544 11.566
Der95/01 0.193 0.167 0.17
Der95/02 0.167 0.16 0.165
Der95/03 0.134 0.137 0.133
Der95/04 0.162 5.154 10.174
Der95/06 1.191 6.197 11.198
Der95/07 0.21 5.202 10.2
Der95/09 0.152 5.148 10.161
Der95/17 1.294 6.296 11.293
Der95/20 1.23 6.233 11.238
Der95/27 0.156 5.177 10.163
Endrullis_06/direct 1.234 0.501 0.521
Endrullis_06/linear1 1.227 6.245 11.245
Endrullis_06/linear2 1.289 6.28 11.284
Endrullis_06/pair3rotate 1.227 6.225 11.235
Endrullis_06/pair3swap 1.236 6.259 11.271
Endrullis_06/quadruple1 1.212 0.166 0.171
Endrullis_06/quadruple2 1.239 0.205 0.165
Gebhardt_06/01 1.236 6.242 11.239
Gebhardt_06/02 1.241 6.241 11.253
Gebhardt_06/03 1.255 6.27 11.263
Gebhardt_06/04 1.23 6.26 11.245
Gebhardt_06/05 1.259 6.258 11.257
problem pm bpm bprm
Gebhardt_06/06 1.254 6.273 11.246
Gebhardt_06/07 1.247 6.261 11.249
Gebhardt_06/08 1.241 6.271 11.274
Gebhardt_06/09 1.227 6.231 11.236
Gebhardt_06/10 1.266 6.269 11.281
Gebhardt_06/11 1.251 6.259 11.249
Gebhardt_06/12 1.269 6.254 11.266
Gebhardt_06/13 1.241 6.256 11.262
Gebhardt_06/14 1.251 6.247 11.257
Gebhardt_06/15 1.259 6.274 11.27
Gebhardt_06/16 1.253 6.254 11.251
Gebhardt_06/17 1.249 6.247 11.257
Gebhardt_06/18 1.237 6.245 11.244
Gebhardt_06/19 1.256 6.252 11.265
Gebhardt_06/20 1.26 6.258 11.266
HirokawaMiddeldorp_04/n002 1.144 6.152 11.155
HirokawaMiddeldorp_04/n003 1.134 6.141 11.16
HirokawaMiddeldorp_04/n004 1.149 6.152 11.142
HirokawaMiddeldorp_04/n005 1.155 6.141 11.155
HirokawaMiddeldorp_04/n006 1.142 6.156 11.164
HirokawaMiddeldorp_04/n008 1.138 6.159 11.15
HirokawaMiddeldorp_04/t000 2.34 7.317 12.396
HirokawaMiddeldorp_04/t004 1.206 6.203 11.214
HirokawaMiddeldorp_04/t006 0.141 0.173 0.175
HirokawaMiddeldorp_04/t007 0.169 0.17 0.17
problem pm bpm bprm
HirokawaMiddeldorp_04/t008 1.251 6.238 11.265
HirokawaMiddeldorp_04/t009 2.323 7.348 12.32
HirokawaMiddeldorp_04/t010 0.157 0.164 0.161
HirokawaMiddeldorp_04/t011 0.172 5.173 10.164
HirokawaMiddeldorp_04/t012 1.257 6.264 11.271
Mixed_SRS/01-oppelt08 1.398 6.395 11.39
Mixed_SRS/01 1.224 6.227 11.218
Mixed_SRS/02-oppelt08 1.227 6.245 11.247
Mixed_SRS/02 1.227 6.231 11.237
Mixed_SRS/03-oppelt08 1.243 6.229 11.243
Mixed_SRS/03 1.211 6.219 11.226
Mixed_SRS/04-oppelt08 1.237 6.223 11.235
Mixed_SRS/04 1.219 6.225 11.234
Mixed_SRS/05-oppelt08 1.231 6.228 11.252
Mixed_SRS/05 1.223 6.232 11.244
Mixed_SRS/06-oppelt08 1.215 6.198 11.219
Mixed_SRS/06 1.215 6.237 11.231
Mixed_SRS/07-oppelt08 1.301 6.294 11.302
Mixed_SRS/07 1.209 6.202 11.224
Mixed_SRS/08-oppelt08 1.283 6.284 11.276
Mixed_SRS/08 1.243 6.248 11.259
Mixed_SRS/09 1.212 6.224 11.221
Mixed_SRS/1 1.202 6.199 11.208
Mixed_SRS/2 1.212 6.229 11.224
Mixed_SRS/3 1.206 6.198 11.206
problem pm bpm bprm
Mixed_SRS/4 1.325 6.329 11.331
Mixed_SRS/s6 2.472 7.502 12.452
Mixed_SRS/touzet 1.195 6.195 11.194
Mixed_SRS/turing_add 0.373 5.39 10.375
Mixed_SRS/turing_copy 6.199 11.528 16.202
Mixed_SRS/turing_mult 14.793 19.813 23.832
Mixed_TRS/1 1.191 0.158 0.16
Mixed_TRS/2 1.19 6.177 11.196
Mixed_TRS/4 1.189 0.147 0.166
Mixed_TRS/6 1.173 6.183 11.186
Mixed_TRS/Ex1_Luc04b_GM 1.594 6.593 11.594
Mixed_TRS/beans 1.326 6.355 11.353
Mixed_TRS/jones1 0.185 5.179 10.176
Mixed_TRS/jones4 0.154 0.149 0.165
Mixed_TRS/jones6 0.22 5.214 10.227
Rubio_04/aoto 0.18 0.23 0.238
Rubio_04/bintrees 0.208 5.212 10.215
Rubio_04/bn129 1.214 6.213 11.216
Rubio_04/gmnp 1.274 0.191 0.181
Rubio_04/koen 0.152 0.317 0.328
Rubio_04/lescanne 0.197 5.194 10.185
Rubio_04/lindau 1.245 0.178 0.18
Rubio_04/mfp90b 0.155 0.185 0.178
Rubio_04/mfp95 0.169 0.145 0.153
Rubio_04/nestrec 1.181 6.178 11.191
problem pm bpm bprm
Rubio_04/p266 0.185 0.263 0.23
Rubio_04/test4 1.222 0.192 0.184
Rubio_04/test829 0.189 0.216 0.218
SK90/2.01 0.24 5.257 10.241
SK90/2.02 1.215 6.216 11.229
SK90/2.03 0.203 5.202 10.202
SK90/2.04 0.163 5.177 10.176
SK90/2.06 0.211 5.215 10.216
SK90/2.09 0.17 5.187 10.194
SK90/2.10 1.308 6.313 11.327
SK90/2.11 0.187 5.191 10.191
SK90/2.14 1.277 6.28 11.292
SK90/2.31 0.228 5.24 10.244
SK90/2.33 0.204 5.199 10.215
SK90/2.34 1.233 6.223 11.236
SK90/2.36 0.178 5.185 10.179
SK90/2.38 0.2 5.209 10.21
SK90/2.39 1.302 6.296 11.312
SK90/2.41 0.218 5.22 10.221
SK90/2.42 1.395 6.392 11.404
SK90/2.46 0.164 5.169 10.182
SK90/2.47 0.175 5.155 10.172
SK90/2.48 0.173 0.188 0.179
SK90/2.49 0.189 0.196 0.196
SK90/2.50 1.156 6.173 11.174
problem pm bpm bprm
SK90/2.53 0.185 5.19 10.194
SK90/2.54 0.153 5.168 10.162
SK90/2.55 0.161 5.161 10.182
SK90/2.56 0.149 0.163 0.168
SK90/2.60 0.19 0.17 0.169
SK90/2.61 0.245 5.262 5.256
SK90/4.01 0.169 0.22 0.208
SK90/4.04 0.17 5.186 10.177
SK90/4.07 0.196 5.21 10.193
SK90/4.08 0.161 5.165 10.174
SK90/4.11 0.18 5.176 10.197
SK90/4.12 0.172 5.182 10.183
SK90/4.15 0.166 5.169 10.168
SK90/4.16 0.258 0.258 0.253
SK90/4.19 0.179 0.156 0.144
SK90/4.25 0.166 5.192 10.192
SK90/4.26 1.272 6.317 11.306
SK90/4.27 1.303 6.302 11.652
SK90/4.29 0.223 5.222 10.339
SK90/4.30 2.547 7.553 12.576
SK90/4.32 1.267 6.274 11.279
SK90/4.33 0.146 0.149 0.139
SK90/4.34 1.179 6.18 11.178
SK90/4.35 0.154 0.148 0.139
SK90/4.36 0.154 0.166 0.157
problem pm bpm bprm
SK90/4.37 0.127 0.15 0.155
SK90/4.38 0.207 5.215 10.214
SK90/4.39 0.169 5.192 10.174
SK90/4.43 1.472 6.485 11.483
SK90/4.44 0.173 0.175 0.155
SK90/4.45 0.147 0.161 0.157
SK90/4.46 0.144 0.152 0.159
SK90/4.47 0.27 0.22 0.211
SK90/4.48 0.165 5.162 5.153
SK90/4.51 1.226 6.231 11.221
SK90/4.52 0.267 5.27 10.264
SK90/4.55 1.165 0.178 0.184
SK90/4.56 0.168 0.163 0.163
Secret_05_SRS/aprove1 1.437 6.436 11.456
Secret_05_SRS/aprove2 1.41 6.418 11.42
Secret_05_SRS/aprove3 1.351 6.358 11.339
Secret_05_SRS/aprove4 1.441 6.439 11.46
Secret_05_SRS/aprove5 1.464 6.445 11.447
Secret_05_SRS/jambox1 1.223 6.229 11.251
Secret_05_SRS/jambox2 1.32 6.33 11.332
Secret_05_SRS/jambox3 1.262 6.261 11.27
Secret_05_SRS/jambox4 1.223 6.243 11.242
Secret_05_SRS/jambox5 1.279 6.26 11.26
Secret_05_SRS/matchbox1 1.355 6.348 11.345
Secret_05_SRS/matchbox2 1.387 0.798 0.828
problem pm bpm bprm
Secret_05_SRS/torpa1 1.286 6.276 11.286
Secret_05_SRS/torpa2 1.205 6.207 11.223
Secret_05_SRS/torpa3 1.237 6.246 11.272
Secret_05_SRS/torpa4 1.403 6.401 11.41
Secret_05_TRS/matchbox2 1.161 0.161 0.138
Secret_05_TRS/teparla1 1.219 6.215 11.224
Secret_05_TRS/teparla2 1.227 6.248 11.236
Secret_05_TRS/teparla3 1.219 6.233 11.233
Secret_05_TRS/ttt2 1.177 6.17 11.18
Secret_06_SRS/1-matchbox 1.217 6.222 11.222
Secret_06_SRS/1 1.246 6.268 11.255
Secret_06_SRS/10 1.212 6.21 11.225
Secret_06_SRS/2-matchbox 1.357 6.355 11.366
Secret_06_SRS/2 1.238 6.237 11.254
Secret_06_SRS/3-matchbox 2.718 7.712 12.714
Secret_06_SRS/3 1.228 6.229 11.222
Secret_06_SRS/5-matchbox 1.274 6.275 11.287
Secret_06_SRS/5 1.234 6.238 11.254
Secret_06_SRS/6 1.251 6.272 11.262
Secret_06_SRS/7 1.233 6.236 11.22
Secret_06_SRS/8 1.246 6.244 11.244
Secret_06_SRS/9 1.23 6.234 11.24
Secret_06_SRS/aprove00 1.428 6.449 11.457
Secret_06_SRS/aprove01 1.682 6.711 11.696
Secret_06_SRS/aprove02 1.975 7.058 12.01
problem pm bpm bprm
Secret_06_SRS/aprove03 2.416 7.541 12.468
Secret_06_SRS/aprove04 2.418 7.444 12.428
Secret_06_SRS/aprove05 2.001 6.967 12.005
Secret_06_SRS/aprove06 2.074 7.064 12.091
Secret_06_SRS/aprove07 1.734 6.734 11.752
Secret_06_SRS/aprove08 1.695 6.689 11.693
Secret_06_SRS/aprove09 1.587 6.595 11.596
Secret_06_SRS/multum1 1.223 6.236 11.238
Secret_06_SRS/multum2 1.238 6.243 11.238
Secret_06_SRS/multum3 1.23 6.237 11.246
Secret_06_SRS/multum4 1.495 2.505 2.56
Secret_06_SRS/multum5 1.22 6.221 11.231
Secret_06_SRS/multum6 1.439 6.456 11.469
Secret_06_SRS/secr1 1.192 6.216 11.236
Secret_06_SRS/secr10 1.401 6.415 11.413
Secret_06_SRS/secr2 1.249 6.266 11.273
Secret_06_SRS/secr3 1.272 6.299 11.301
Secret_06_SRS/secr4 1.352 6.354 11.345
Secret_06_SRS/secr5 2.496 7.501 12.5
Secret_06_SRS/secr6 1.256 6.268 11.271
Secret_06_SRS/secr7 1.234 6.239 11.252
Secret_06_SRS/secr8 1.24 6.259 11.24
Secret_06_SRS/secr9 1.498 6.507 11.519
Secret_06_TRS/10 1.235 0.199 0.212
Secret_06_TRS/2 1.272 6.292 11.301
problem pm bpm bprm
Secret_06_TRS/3 1.251 6.265 11.286
Secret_06_TRS/4 1.224 6.212 11.234
Secret_06_TRS/5 1.238 6.249 11.262
Secret_06_TRS/6 2.364 7.376 12.367
Secret_06_TRS/7 1.331 1.045 1.065
Secret_06_TRS/8 1.267 0.162 0.166
Secret_06_TRS/9 1.249 0.181 0.163
Secret_06_TRS/tpa01 1.163 0.337 0.346
Secret_06_TRS/tpa02 1.16 6.214 11.234
Secret_06_TRS/tpa03 1.162 6.169 11.174
Secret_07_SRS/dj 1.244 6.221 11.232
Secret_07_SRS/num-514 1.22 6.225 11.227
Secret_07_SRS/num-515 1.208 6.218 11.209
Secret_07_SRS/num-518 1.218 6.239 11.24
Secret_07_SRS/num-519 1.216 6.242 11.235
Secret_07_SRS/num-520 1.211 6.221 11.244
Secret_07_SRS/num-521 1.22 6.225 11.235
Secret_07_SRS/num-525 1.222 6.214 11.22
Secret_07_SRS/num-527 1.219 6.228 11.22
Secret_07_SRS/num-530 1.236 6.222 11.236
Secret_07_SRS/num-539 1.242 6.227 11.235
Secret_07_SRS/x01 1.224 6.222 11.238
Secret_07_SRS/x02 1.221 6.224 11.216
Secret_07_SRS/x03 1.219 6.226 11.22
Secret_07_SRS/x04 2.665 7.679 12.677
problem pm bpm bprm
Secret_07_SRS/x05 1.245 6.25 11.275
Secret_07_SRS/x06 1.271 6.276 11.277
Secret_07_SRS/x07 1.304 6.298 11.334
Secret_07_SRS/x08 1.278 6.28 11.276
Secret_07_SRS/x09 1.244 6.256 11.262
Secret_07_SRS/x10 1.24 6.25 11.255
Secret_07_TRS/1 1.258 6.268 11.291
Secret_07_TRS/2 1.321 6.325 11.335
Secret_07_TRS/3 4.102 9.11 14.133
Secret_07_TRS/4 1.33 6.328 11.337
Secret_07_TRS/5 1.657 6.685 11.665
Secret_07_TRS/7 1.28 6.266 11.274
Strategy_removed_AG01/#4.17 1.238 6.243 11.251
Strategy_removed_AG01/#4.18 1.207 6.235 11.225
Strategy_removed_AG01/#4.20 0.161 5.159 5.234
Strategy_removed_AG01/#4.20a 0.178 5.272 5.265
Strategy_removed_AG01/#4.21 0.201 5.212 5.217
Strategy_removed_AG01/#4.25 1.158 6.164 11.177
Strategy_removed_AG01/#4.28 1.246 6.246 11.245
Strategy_removed_AG01/#4.37 0.203 0.16 0.172
Strategy_removed_AG01/#4.37a 0.223 0.175 0.167
Strategy_removed_CSR_05/Ex1_Zan97 1.158 6.164 11.172
Strategy_removed_CSR_05/Ex4_7_15_Bor03 1.196 6.194 11.204
Strategy_removed_CSR_05/Ex4_7_77_Bor03 1.154 6.178 11.179
Strategy_removed_CSR_05/Ex5_Zan97 1.179 6.167 11.196
problem pm bpm bprm
Strategy_removed_CSR_05/Ex6_GM04 1.162 6.176 11.174
Strategy_removed_CSR_05/ExConc_Zan97 1.151 6.159 11.169
Strategy_removed_CSR_05/ExIntrod_GM01 1.272 6.283 11.288
Strategy_removed_CSR_05/ExIntrod_GM04 1.259 6.255 11.252
Strategy_removed_mixed_05/ex1 1.192 6.179 11.188
Strategy_removed_mixed_05/ex3 1.193 6.197 11.203
Strategy_removed_mixed_05/ex4 1.165 6.154 11.169
Strategy_removed_mixed_05/ex5 1.16 6.178 11.177
Strategy_removed_mixed_05/ex6 1.227 6.214 11.237
Strategy_removed_mixed_05/gkg 1.17 6.171 11.17
Strategy_removed_mixed_05/n001 1.183 6.203 11.215
Strategy_removed_mixed_05/test830 0.204 0.169 0.179
TCT_09/ackhofbauer 1.209 6.21 11.218
TCT_09/add 0.171 5.163 10.172
TCT_09/append 0.164 5.173 10.176
TCT_09/bits 1.239 6.262 11.254
TCT_09/expantiinn 1.209 6.211 11.202
TCT_09/ma2 0.185 5.183 10.186
TCT_09/ma3 0.163 0.147 0.154
TCT_09/ma5 1.203 6.216 11.203
TCT_09/ma9 0.192 0.426 0.44
TCT_09/revappend 1.242 6.246 11.258
TCT_09/shuffle 1.316 6.338 11.403
TCT_09/supexpdg 1.313 6.322 11.311
TCT_09/supexpur 1.227 6.218 11.211
problem pm bpm bprm
TCT_09/z86 1.19 6.193 11.202
Trafo_06/dup01 3.223 8.182 13.067
Trafo_06/dup05 1.717 6.722 11.706
Trafo_06/dup06 2.539 7.529 12.53
Trafo_06/dup07 1.365 6.367 11.367
Trafo_06/dup08 1.433 6.436 11.835
Trafo_06/dup09 2.005 7.017 12.032
Trafo_06/dup10 1.532 6.541 11.518
Trafo_06/dup11 2.655 7.658 12.584
Trafo_06/dup12 1.558 6.562 11.563
Trafo_06/dup13 1.405 6.42 11.426
Trafo_06/dup14 1.509 6.472 12.455
Trafo_06/dup15 1.338 6.344 11.343
Trafo_06/dup16 1.315 6.343 11.336
Trafo_06/dup17 1.353 6.369 11.382
Trafo_06/hom01 1.362 6.376 11.373
Trafo_06/hom02 1.267 6.253 11.261
Trafo_06/hom03 1.587 6.569 11.571
Trafo_06/un02 1.584 6.599 11.61
Trafo_06/un04 1.288 6.303 11.315
Trafo_06/un05 1.257 6.268 11.275
Trafo_06/un06 1.342 6.338 11.338
Trafo_06/un07 2.44 7.438 12.437
Trafo_06/un08 1.284 6.298 11.297
Trafo_06/un09 1.392 6.411 11.607
problem pm bpm bprm
Trafo_06/un10 1.363 6.379 11.357
Trafo_06/un11 1.325 6.336 11.321
Trafo_06/un12 1.383 6.389 11.399
Trafo_06/un13 1.38 6.39 11.387
Trafo_06/un14 3.086 8.123 13.127
Trafo_06/un15 1.536 6.537 11.553
Trafo_06/un16 1.453 6.491 11.475
Trafo_06/un17 1.346 6.36 11.356
Trafo_06/un18 1.366 6.367 11.375
Transformed_CSR_04/Ex14_AEGL02_L 1.168 6.176 11.177
Transformed_CSR_04/Ex14_Luc06_L 1.168 6.167 11.175
Transformed_CSR_04/Ex15_Luc06_C 5.138 10.166 15.391
Transformed_CSR_04/Ex15_Luc06_FR 0.252 5.264 10.251
Transformed_CSR_04/Ex15_Luc06_GM 0.213 5.226 10.229
Transformed_CSR_04/Ex15_Luc06_L 1.142 6.148 11.145
Transformed_CSR_04/Ex15_Luc06_Z 0.23 5.223 10.231
Transformed_CSR_04/Ex15_Luc06_iGM 0.299 5.275 10.289
Transformed_CSR_04/Ex16_Luc06_C 1.574 6.578 11.586
Transformed_CSR_04/Ex16_Luc06_FR 1.181 0.191 0.183
Transformed_CSR_04/Ex16_Luc06_GM 1.227 6.244 10.467
Transformed_CSR_04/Ex16_Luc06_L 1.161 6.155 11.167
Transformed_CSR_04/Ex16_Luc06_iGM 1.254 6.264 11.266
Transformed_CSR_04/Ex18_Luc06_C 6.28 11.275 16.463
Transformed_CSR_04/Ex18_Luc06_FR 0.204 5.198 10.212
Transformed_CSR_04/Ex18_Luc06_GM 0.202 5.217 10.22
problem pm bpm bprm
Transformed_CSR_04/Ex18_Luc06_L 0.132 0.157 0.16
Transformed_CSR_04/Ex18_Luc06_Z 0.163 5.177 5.17
Transformed_CSR_04/Ex18_Luc06_iGM 0.284 5.283 10.282
Transformed_CSR_04/Ex1_GL02a_L 1.196 6.187 11.201
Transformed_CSR_04/Ex1_GM99_L 1.151 6.156 11.163
Transformed_CSR_04/Ex1_Luc04b_C 7.09 11.84 16.737
Transformed_CSR_04/Ex1_Luc04b_FR 1.322 6.322 11.331
Transformed_CSR_04/Ex1_Luc04b_GM 2.738 7.75 12.754
Transformed_CSR_04/Ex1_Luc04b_Z 1.268 6.283 11.29
Transformed_CSR_04/Ex1_Luc04b_iGM 4.501 9.482 14.463
Transformed_CSR_04/Ex1_Zan97_C 7.233 12.23 15.647
Transformed_CSR_04/Ex1_Zan97_FR 1.192 6.224 11.219
Transformed_CSR_04/Ex1_Zan97_GM 0.184 5.208 5.202
Transformed_CSR_04/Ex1_Zan97_L 1.162 6.165 11.177
Transformed_CSR_04/Ex1_Zan97_iGM 2.418 7.43 12.432
Transformed_CSR_04/Ex23_Luc06_C 5.032 9.995 15.745
Transformed_CSR_04/Ex23_Luc06_FR 0.232 5.237 10.244
Transformed_CSR_04/Ex23_Luc06_GM 0.245 5.258 10.253
Transformed_CSR_04/Ex23_Luc06_L 0.134 0.143 0.161
Transformed_CSR_04/Ex23_Luc06_Z 0.165 5.152 5.166
Transformed_CSR_04/Ex23_Luc06_iGM 0.366 5.361 10.378
Transformed_CSR_04/Ex24_GM04_L 1.153 6.167 11.163
Transformed_CSR_04/Ex24_Luc06_L 1.142 6.155 11.164
Transformed_CSR_04/Ex25_Luc06_C 5.215 10.196 15.233
Transformed_CSR_04/Ex25_Luc06_FR 0.268 5.28 10.294
problem pm bpm bprm
Transformed_CSR_04/Ex25_Luc06_GM 0.293 5.297 10.3
Transformed_CSR_04/Ex25_Luc06_L 0.149 0.143 0.143
Transformed_CSR_04/Ex25_Luc06_Z 0.209 5.239 10.225
Transformed_CSR_04/Ex25_Luc06_iGM 0.554 5.563 10.592
Transformed_CSR_04/Ex26_Luc03b_L 0.183 0.185 0.183
Transformed_CSR_04/Ex2_Luc03b_L 0.172 0.169 0.173
Transformed_CSR_04/Ex3_3_25_Bor03_L 0.19 0.173 0.176
Transformed_CSR_04/Ex4_4_Luc96b_L 0.141 0.138 0.163
Transformed_CSR_04/Ex4_7_15_Bor03_C 9.153 13.899 19.227
Transformed_CSR_04/Ex4_7_15_Bor03_FR 0.33 5.325 10.355
Transformed_CSR_04/Ex4_7_15_Bor03_GM 2.507 7.52 11.629
Transformed_CSR_04/Ex4_7_15_Bor03_L 0.171 0.166 0.182
Transformed_CSR_04/Ex4_7_15_Bor03_Z 0.222 0.175 0.183
Transformed_CSR_04/Ex4_7_15_Bor03_iGM 6.666 11.697 16.638
Transformed_CSR_04/Ex4_7_77_Bor03_C 3.066 8.083 13.076
Transformed_CSR_04/Ex4_7_77_Bor03_FR 0.147 0.18 0.186
Transformed_CSR_04/Ex4_7_77_Bor03_GM 0.219 5.24 10.247
Transformed_CSR_04/Ex4_7_77_Bor03_iGM 1.397 6.41 11.442
Transformed_CSR_04/Ex5_Zan97_C 1.728 6.765 11.764
Transformed_CSR_04/Ex5_Zan97_FR 1.233 6.223 11.24
Transformed_CSR_04/Ex5_Zan97_GM 1.303 6.301 11.299
Transformed_CSR_04/Ex5_Zan97_Z 0.155 0.239 0.229
Transformed_CSR_04/Ex5_Zan97_iGM 1.4 6.394 11.396
Transformed_CSR_04/Ex6_GM04_C 4.094 9.129 14.256
Transformed_CSR_04/Ex6_GM04_FR 1.211 6.2 11.21
problem pm bpm bprm
Transformed_CSR_04/Ex6_GM04_GM 0.175 5.162 5.178
Transformed_CSR_04/Ex6_GM04_L 0.137 0.15 0.158
Transformed_CSR_04/Ex6_GM04_iGM 0.227 1.235 1.221
Transformed_CSR_04/Ex6_Luc98_L 0.165 0.162 0.151
Transformed_CSR_04/Ex9_BLR02_L 0.193 0.195 0.196
Transformed_CSR_04/Ex9_Luc06_C 1.567 6.582 11.591
Transformed_CSR_04/Ex9_Luc06_FR 1.195 6.207 11.216
Transformed_CSR_04/Ex9_Luc06_GM 0.222 5.211 10.212
Transformed_CSR_04/Ex9_Luc06_iGM 2.487 7.499 12.495
Transformed_CSR_04/ExConc_Zan97_C 5.324 10.321 15.33
Transformed_CSR_04/ExConc_Zan97_FR 0.254 5.244 10.244
Transformed_CSR_04/ExConc_Zan97_GM 0.225 5.239 10.244
Transformed_CSR_04/ExConc_Zan97_L 0.133 0.144 0.157
Transformed_CSR_04/ExConc_Zan97_Z 1.19 6.175 11.185
Transformed_CSR_04/ExConc_Zan97_iGM 1.387 6.406 11.421
Transformed_CSR_04/ExIntrod_GM01_C 5.059 10.076 14.569
Transformed_CSR_04/ExIntrod_GM01_FR 1.369 6.401 11.405
Transformed_CSR_04/ExIntrod_GM01_GM 3.938 8.94 13.975
Transformed_CSR_04/ExIntrod_GM01_Z 1.38 6.38 11.368
Transformed_CSR_04/ExIntrod_GM01_iGM 2.071 7.173 12.103
Transformed_CSR_04/ExIntrod_GM04_C 5.798 11.407 15.737
Transformed_CSR_04/ExIntrod_GM04_FR 1.453 6.465 11.469
Transformed_CSR_04/ExIntrod_GM04_GM 2.85 7.859 12.838
Transformed_CSR_04/ExIntrod_GM04_Z 1.432 6.446 11.453
Transformed_CSR_04/ExIntrod_GM04_iGM 1.888 6.953 11.904
problem pm bpm bprm
Transformed_CSR_04/ExProp7_Luc06_C 17.216 22.121 26.884
Transformed_CSR_04/ExProp7_Luc06_FR 1.337 6.35 10.372
Transformed_CSR_04/ExProp7_Luc06_GM 1.414 6.438 11.568
Transformed_CSR_04/ExProp7_Luc06_L 1.187 0.169 0.173
Transformed_CSR_04/ExProp7_Luc06_Z 1.242 0.181 0.185
Transformed_CSR_04/ExProp7_Luc06_iGM 3.012 8.009 13.065
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR 1.265 6.266 11.282
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C 3.086 7.925 13.06
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR 1.23 6.238 11.232
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM 1.448 6.466 11.495
Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM 1.699 6.713 11.713
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C 4.302 9.321 14.292
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM 1.61 6.646 11.623
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM 1.957 6.968 12.032
Transformed_CSR_04/OvConsOS_nosorts-noand_FR 1.518 6.512 11.528
Transformed_CSR_04/OvConsOS_nosorts-noand_Z 1.485 6.482 11.477
Transformed_CSR_04/OvConsOS_nosorts_C 4.565 9.554 14.965
Transformed_CSR_04/OvConsOS_nosorts_FR 1.347 6.364 11.354
Transformed_CSR_04/OvConsOS_nosorts_GM 2.573 7.601 12.604
Transformed_CSR_04/OvConsOS_nosorts_Z 1.294 6.313 11.303
Transformed_CSR_04/OvConsOS_nosorts_iGM 4.531 9.535 14.484
Transformed_CSR_04/OvConsOS_nosorts_noand_C 10.166 15.196 20.156
Transformed_CSR_04/OvConsOS_nosorts_noand_GM 1.716 6.703 11.728
Transformed_CSR_04/OvConsOS_nosorts_noand_iGM 3.321 8.304 13.552
Transformed_CSR_04/PALINDROME_complete-noand_L 2.052 7.065 12.038
problem pm bpm bprm
Transformed_CSR_04/PALINDROME_nokinds-noand_FR 2.215 7.274 12.263
Transformed_CSR_04/PALINDROME_nokinds-noand_L 1.573 6.553 11.582
Transformed_CSR_04/PALINDROME_nokinds-noand_Z 0.949 5.918 10.975
Transformed_CSR_04/PALINDROME_nokinds_C 3.498 8.231 13.453
Transformed_CSR_04/PALINDROME_nokinds_FR 1.758 6.788 11.788
Transformed_CSR_04/PALINDROME_nokinds_GM 1.723 6.78 11.777
Transformed_CSR_04/PALINDROME_nokinds_Z 0.609 5.601 10.606
Transformed_CSR_04/PALINDROME_nokinds_iGM 2.524 7.509 12.526
Transformed_CSR_04/PALINDROME_nokinds_noand_C 14.016 16.735 23.234
Transformed_CSR_04/PALINDROME_nokinds_noand_GM 2.648 7.719 12.674
Transformed_CSR_04/PALINDROME_nokinds_noand_iGM 4.278 9.652 14.302
Transformed_CSR_04/PALINDROME_nosorts-noand_FR 0.227 5.229 10.235
Transformed_CSR_04/PALINDROME_nosorts-noand_L 0.208 5.205 10.21
Transformed_CSR_04/PALINDROME_nosorts_C 6.123 11.1 16.029
Transformed_CSR_04/PALINDROME_nosorts_FR 0.202 5.209 10.217
Transformed_CSR_04/PALINDROME_nosorts_GM 1.377 6.386 11.399
Transformed_CSR_04/PALINDROME_nosorts_iGM 1.644 6.632 11.635
Transformed_CSR_04/PALINDROME_nosorts_noand_C 8.221 13.173 18.25
Transformed_CSR_04/PALINDROME_nosorts_noand_GM 1.316 6.341 11.337
Transformed_CSR_04/PALINDROME_nosorts_noand_iGM 1.533 6.518 11.565
Transformed_CSR_04/PEANO_nosorts-noand_FR 0.197 5.207 10.218
Transformed_CSR_04/PEANO_nosorts_C 6.218 11.189 16.263
Transformed_CSR_04/PEANO_nosorts_FR 0.195 5.191 10.188
Transformed_CSR_04/PEANO_nosorts_GM 1.304 6.32 11.324
Transformed_CSR_04/PEANO_nosorts_iGM 1.436 6.429 11.447
problem pm bpm bprm
Transformed_CSR_04/PEANO_nosorts_noand_C 3.216 8.038 13.185
Transformed_CSR_04/PEANO_nosorts_noand_GM 1.38 6.378 11.384
Transformed_CSR_04/PEANO_nosorts_noand_iGM 1.686 6.697 11.685
Various_04/07 0.141 0.147 0.147
Various_04/15 1.202 6.195 11.217
Various_04/18 1.228 6.237 11.247
Various_04/19 1.257 6.267 11.283
Various_04/21 2.748 7.77 13.465
Various_04/23 0.202 5.216 10.206
Various_04/24 1.348 6.366 5.269
Various_04/25 0.166 0.17 0.183
Various_04/27 0.157 0.141 0.151
Waldmann_06/jwaprove1 1.199 6.203 11.203
Waldmann_06/jwaprove2 1.192 6.194 11.189
Waldmann_06/jwcime1 1.198 6.225 11.227
Waldmann_06/jwcime2 1.198 0.164 0.166
Waldmann_06/jwmatchb1 1.191 6.183 11.194
Waldmann_06/jwmatchb2 1.189 6.188 11.186
Waldmann_06/jwno1 1.198 6.178 11.197
Waldmann_06/jwno2 1.174 6.191 11.195
Waldmann_06/jwno3 1.207 6.224 11.222
Waldmann_06/jwno4 1.178 6.175 11.173
Waldmann_06/jwno5 1.171 6.19 11.184
Waldmann_06/jwno6 1.166 6.181 11.175
Waldmann_06/jwno7 1.197 6.199 11.186
problem pm bpm bprm
Waldmann_06/jwno8 1.205 6.199 11.187
Waldmann_06/jwno9 1.194 6.188 11.19
Waldmann_06/jwtpa1 1.193 0.19 0.185
Waldmann_06/jwtpa2 1.204 6.192 11.199
Waldmann_06/jwttt 1.189 6.191 11.185
Waldmann_06_SRS/e 2.736 7.719 12.708
Waldmann_06_SRS/jw1 1.196 6.193 11.2
Waldmann_06_SRS/jw3 1.376 6.372 11.38
Waldmann_06_SRS/jw4 1.43 6.448 11.438
Waldmann_06_SRS/jw5 1.527 6.543 11.554
Waldmann_06_SRS/pi 2.689 7.704 12.703
Waldmann_06_SRS/sym-1 1.198 6.207 11.203
Waldmann_06_SRS/sym-2 1.238 6.252 11.242
Waldmann_06_SRS/sym-4 1.2 6.194 11.212
Waldmann_06_SRS/sym-5 1.23 6.23 11.219
Waldmann_06_SRS/sym-6 1.201 6.221 11.225
Waldmann_06_SRS/uni-1 1.185 6.202 11.22
Waldmann_06_SRS/uni-2 1.22 6.235 11.226
Waldmann_06_SRS/uni-3 1.251 6.241 11.254
Waldmann_06_SRS/uni-4 1.212 6.214 11.215
Waldmann_06_SRS/uni-5 1.218 6.212 11.228
Waldmann_06_SRS/uni-6 1.256 6.247 11.247
Waldmann_06_SRS/uni-7 1.273 6.279 11.294
Waldmann_06_SRS/z086-variant 1.201 6.214 11.232
Waldmann_07_size11/size-11-alpha-2-num-1 1.222 6.237 11.236
problem pm bpm bprm
Waldmann_07_size11/size-11-alpha-2-num-2 1.227 6.23 11.241
Waldmann_07_size11/size-11-alpha-2-num-3 1.218 6.215 11.215
Waldmann_07_size11/size-11-alpha-2-num-4 1.212 6.215 11.235
Waldmann_07_size11/size-11-alpha-3-num-1 1.188 6.193 11.207
Waldmann_07_size11/size-11-alpha-3-num-10 1.209 6.225 11.218
Waldmann_07_size11/size-11-alpha-3-num-11 1.18 6.208 11.208
Waldmann_07_size11/size-11-alpha-3-num-12 1.199 6.189 11.209
Waldmann_07_size11/size-11-alpha-3-num-13 1.197 6.196 11.197
Waldmann_07_size11/size-11-alpha-3-num-14 1.205 6.213 11.209
Waldmann_07_size11/size-11-alpha-3-num-15 1.198 6.225 11.231
Waldmann_07_size11/size-11-alpha-3-num-16 1.195 6.185 11.206
Waldmann_07_size11/size-11-alpha-3-num-17 1.224 6.219 11.211
Waldmann_07_size11/size-11-alpha-3-num-18 1.229 6.224 11.237
Waldmann_07_size11/size-11-alpha-3-num-19 1.223 6.218 11.233
Waldmann_07_size11/size-11-alpha-3-num-2 1.209 6.22 11.217
Waldmann_07_size11/size-11-alpha-3-num-20 1.216 6.228 11.227
Waldmann_07_size11/size-11-alpha-3-num-21 1.201 6.218 11.216
Waldmann_07_size11/size-11-alpha-3-num-3 1.204 6.193 11.209
Waldmann_07_size11/size-11-alpha-3-num-4 1.205 6.221 11.209
Waldmann_07_size11/size-11-alpha-3-num-5 1.213 6.206 11.222
Waldmann_07_size11/size-11-alpha-3-num-6 1.21 6.224 11.223
Waldmann_07_size11/size-11-alpha-3-num-7 1.21 6.203 11.228
Waldmann_07_size11/size-11-alpha-3-num-8 1.202 6.219 11.22
Waldmann_07_size11/size-11-alpha-3-num-9 1.223 6.214 11.206
Waldmann_07_size12/size-12-alpha-2-num-1 1.218 6.219 11.226
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-2-num-10 1.228 6.215 11.238
Waldmann_07_size12/size-12-alpha-2-num-11 1.223 6.219 11.223
Waldmann_07_size12/size-12-alpha-2-num-12 1.233 6.232 11.242
Waldmann_07_size12/size-12-alpha-2-num-13 1.219 6.221 11.231
Waldmann_07_size12/size-12-alpha-2-num-14 1.215 6.216 11.237
Waldmann_07_size12/size-12-alpha-2-num-15 1.198 6.211 11.232
Waldmann_07_size12/size-12-alpha-2-num-16 1.205 6.198 11.217
Waldmann_07_size12/size-12-alpha-2-num-17 1.215 6.226 11.239
Waldmann_07_size12/size-12-alpha-2-num-18 1.224 6.22 11.215
Waldmann_07_size12/size-12-alpha-2-num-19 1.204 6.21 11.203
Waldmann_07_size12/size-12-alpha-2-num-2 1.212 6.208 11.213
Waldmann_07_size12/size-12-alpha-2-num-20 1.209 6.219 11.23
Waldmann_07_size12/size-12-alpha-2-num-21 1.207 6.207 11.233
Waldmann_07_size12/size-12-alpha-2-num-22 1.203 6.205 11.227
Waldmann_07_size12/size-12-alpha-2-num-3 1.215 6.232 11.236
Waldmann_07_size12/size-12-alpha-2-num-4 1.227 6.232 11.238
Waldmann_07_size12/size-12-alpha-2-num-5 1.234 6.232 11.229
Waldmann_07_size12/size-12-alpha-2-num-6 1.236 6.238 11.232
Waldmann_07_size12/size-12-alpha-2-num-7 1.227 6.229 11.24
Waldmann_07_size12/size-12-alpha-2-num-8 1.228 6.223 11.236
Waldmann_07_size12/size-12-alpha-3-num-1 1.195 6.21 11.216
Waldmann_07_size12/size-12-alpha-3-num-10 1.218 6.227 11.242
Waldmann_07_size12/size-12-alpha-3-num-100 1.215 6.216 11.207
Waldmann_07_size12/size-12-alpha-3-num-101 1.206 6.217 11.218
Waldmann_07_size12/size-12-alpha-3-num-104 1.22 6.224 11.232
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-105 1.241 6.234 11.239
Waldmann_07_size12/size-12-alpha-3-num-106 1.22 6.211 11.221
Waldmann_07_size12/size-12-alpha-3-num-107 1.204 6.203 11.221
Waldmann_07_size12/size-12-alpha-3-num-108 1.201 6.221 11.21
Waldmann_07_size12/size-12-alpha-3-num-109 1.231 6.22 11.226
Waldmann_07_size12/size-12-alpha-3-num-11 1.208 6.216 11.213
Waldmann_07_size12/size-12-alpha-3-num-110 1.219 6.215 11.215
Waldmann_07_size12/size-12-alpha-3-num-111 1.218 6.209 11.212
Waldmann_07_size12/size-12-alpha-3-num-112 1.218 6.225 11.239
Waldmann_07_size12/size-12-alpha-3-num-113 1.213 6.254 11.233
Waldmann_07_size12/size-12-alpha-3-num-114 1.203 6.239 11.233
Waldmann_07_size12/size-12-alpha-3-num-120 1.198 6.21 11.219
Waldmann_07_size12/size-12-alpha-3-num-121 1.207 6.239 11.221
Waldmann_07_size12/size-12-alpha-3-num-122 1.218 6.235 11.229
Waldmann_07_size12/size-12-alpha-3-num-123 1.214 6.217 11.208
Waldmann_07_size12/size-12-alpha-3-num-124 1.209 6.217 11.223
Waldmann_07_size12/size-12-alpha-3-num-125 1.216 6.206 11.237
Waldmann_07_size12/size-12-alpha-3-num-126 1.22 6.213 11.218
Waldmann_07_size12/size-12-alpha-3-num-127 1.2 6.214 11.228
Waldmann_07_size12/size-12-alpha-3-num-128 1.207 6.23 11.223
Waldmann_07_size12/size-12-alpha-3-num-129 1.21 6.227 11.217
Waldmann_07_size12/size-12-alpha-3-num-13 1.207 6.215 11.215
Waldmann_07_size12/size-12-alpha-3-num-131 1.212 6.226 11.227
Waldmann_07_size12/size-12-alpha-3-num-132 1.224 6.236 11.237
Waldmann_07_size12/size-12-alpha-3-num-133 1.218 6.22 11.233
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-134 1.205 6.222 11.223
Waldmann_07_size12/size-12-alpha-3-num-135 1.207 6.214 11.204
Waldmann_07_size12/size-12-alpha-3-num-14 1.195 6.208 11.212
Waldmann_07_size12/size-12-alpha-3-num-140 1.218 6.225 11.226
Waldmann_07_size12/size-12-alpha-3-num-146 1.233 6.223 11.228
Waldmann_07_size12/size-12-alpha-3-num-149 1.237 6.223 11.236
Waldmann_07_size12/size-12-alpha-3-num-15 1.198 6.215 11.208
Waldmann_07_size12/size-12-alpha-3-num-152 1.235 6.233 11.245
Waldmann_07_size12/size-12-alpha-3-num-158 1.212 6.204 11.208
Waldmann_07_size12/size-12-alpha-3-num-159 1.21 6.213 11.217
Waldmann_07_size12/size-12-alpha-3-num-16 1.211 6.211 11.239
Waldmann_07_size12/size-12-alpha-3-num-160 1.241 6.235 11.231
Waldmann_07_size12/size-12-alpha-3-num-163 1.193 6.192 11.209
Waldmann_07_size12/size-12-alpha-3-num-164 1.209 6.223 11.214
Waldmann_07_size12/size-12-alpha-3-num-165 1.208 6.222 11.225
Waldmann_07_size12/size-12-alpha-3-num-168 1.208 6.216 11.204
Waldmann_07_size12/size-12-alpha-3-num-17 1.207 6.225 11.226
Waldmann_07_size12/size-12-alpha-3-num-170 1.195 6.213 11.219
Waldmann_07_size12/size-12-alpha-3-num-174 1.204 6.243 11.215
Waldmann_07_size12/size-12-alpha-3-num-176 1.229 6.253 11.245
Waldmann_07_size12/size-12-alpha-3-num-177 1.194 6.202 11.213
Waldmann_07_size12/size-12-alpha-3-num-178 1.228 6.225 11.24
Waldmann_07_size12/size-12-alpha-3-num-179 1.222 6.237 11.242
Waldmann_07_size12/size-12-alpha-3-num-180 1.234 6.226 11.232
Waldmann_07_size12/size-12-alpha-3-num-181 1.217 6.211 11.227
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-186 1.199 6.206 11.23
Waldmann_07_size12/size-12-alpha-3-num-19 1.194 6.2 11.209
Waldmann_07_size12/size-12-alpha-3-num-190 1.23 6.227 11.237
Waldmann_07_size12/size-12-alpha-3-num-191 1.212 6.226 11.213
Waldmann_07_size12/size-12-alpha-3-num-194 1.23 6.214 11.227
Waldmann_07_size12/size-12-alpha-3-num-195 1.236 6.238 11.237
Waldmann_07_size12/size-12-alpha-3-num-198 1.223 6.218 11.222
Waldmann_07_size12/size-12-alpha-3-num-199 1.219 6.237 11.251
Waldmann_07_size12/size-12-alpha-3-num-20 1.232 6.221 11.232
Waldmann_07_size12/size-12-alpha-3-num-200 1.2 6.217 11.215
Waldmann_07_size12/size-12-alpha-3-num-201 1.209 6.209 11.226
Waldmann_07_size12/size-12-alpha-3-num-202 1.22 6.203 11.222
Waldmann_07_size12/size-12-alpha-3-num-203 1.22 6.207 11.225
Waldmann_07_size12/size-12-alpha-3-num-204 1.21 6.214 11.226
Waldmann_07_size12/size-12-alpha-3-num-206 1.205 6.227 11.223
Waldmann_07_size12/size-12-alpha-3-num-207 1.236 6.218 11.214
Waldmann_07_size12/size-12-alpha-3-num-209 1.207 6.228 11.234
Waldmann_07_size12/size-12-alpha-3-num-21 1.222 6.223 11.216
Waldmann_07_size12/size-12-alpha-3-num-210 1.232 6.222 11.216
Waldmann_07_size12/size-12-alpha-3-num-211 1.202 6.221 11.22
Waldmann_07_size12/size-12-alpha-3-num-213 1.225 6.248 11.25
Waldmann_07_size12/size-12-alpha-3-num-215 1.213 6.228 11.216
Waldmann_07_size12/size-12-alpha-3-num-217 1.207 6.222 11.225
Waldmann_07_size12/size-12-alpha-3-num-219 1.202 6.198 11.226
Waldmann_07_size12/size-12-alpha-3-num-22 1.224 6.242 11.258
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-220 1.209 6.201 11.213
Waldmann_07_size12/size-12-alpha-3-num-221 1.202 6.213 11.206
Waldmann_07_size12/size-12-alpha-3-num-222 1.206 6.203 11.203
Waldmann_07_size12/size-12-alpha-3-num-223 1.243 6.233 11.233
Waldmann_07_size12/size-12-alpha-3-num-224 1.207 6.219 11.231
Waldmann_07_size12/size-12-alpha-3-num-225 1.218 6.218 11.243
Waldmann_07_size12/size-12-alpha-3-num-226 1.197 6.202 11.192
Waldmann_07_size12/size-12-alpha-3-num-227 1.196 6.209 11.213
Waldmann_07_size12/size-12-alpha-3-num-23 1.212 6.22 11.224
Waldmann_07_size12/size-12-alpha-3-num-231 1.211 6.219 11.214
Waldmann_07_size12/size-12-alpha-3-num-232 1.206 6.201 11.205
Waldmann_07_size12/size-12-alpha-3-num-233 1.208 6.199 11.201
Waldmann_07_size12/size-12-alpha-3-num-236 1.198 6.209 11.212
Waldmann_07_size12/size-12-alpha-3-num-237 1.209 6.218 11.228
Waldmann_07_size12/size-12-alpha-3-num-238 1.203 6.218 11.204
Waldmann_07_size12/size-12-alpha-3-num-239 1.202 6.2 11.214
Waldmann_07_size12/size-12-alpha-3-num-241 1.194 6.209 11.205
Waldmann_07_size12/size-12-alpha-3-num-243 1.23 6.205 11.223
Waldmann_07_size12/size-12-alpha-3-num-247 1.223 6.205 11.221
Waldmann_07_size12/size-12-alpha-3-num-248 1.208 6.213 11.218
Waldmann_07_size12/size-12-alpha-3-num-249 1.203 6.216 11.224
Waldmann_07_size12/size-12-alpha-3-num-255 1.214 6.229 11.225
Waldmann_07_size12/size-12-alpha-3-num-257 1.21 6.195 11.211
Waldmann_07_size12/size-12-alpha-3-num-260 1.224 6.234 11.245
Waldmann_07_size12/size-12-alpha-3-num-263 1.21 6.198 11.217
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-265 1.221 6.2 11.22
Waldmann_07_size12/size-12-alpha-3-num-267 1.206 6.211 11.221
Waldmann_07_size12/size-12-alpha-3-num-270 1.214 6.213 11.219
Waldmann_07_size12/size-12-alpha-3-num-271 1.224 6.207 11.227
Waldmann_07_size12/size-12-alpha-3-num-272 1.214 6.224 11.222
Waldmann_07_size12/size-12-alpha-3-num-273 1.207 6.211 11.219
Waldmann_07_size12/size-12-alpha-3-num-274 1.211 6.227 11.233
Waldmann_07_size12/size-12-alpha-3-num-275 1.194 6.207 11.204
Waldmann_07_size12/size-12-alpha-3-num-279 1.202 6.202 11.207
Waldmann_07_size12/size-12-alpha-3-num-281 1.182 6.202 11.198
Waldmann_07_size12/size-12-alpha-3-num-282 1.217 6.207 11.223
Waldmann_07_size12/size-12-alpha-3-num-283 1.19 6.208 11.205
Waldmann_07_size12/size-12-alpha-3-num-284 1.233 6.213 11.23
Waldmann_07_size12/size-12-alpha-3-num-285 1.209 6.216 11.228
Waldmann_07_size12/size-12-alpha-3-num-286 1.207 6.232 11.224
Waldmann_07_size12/size-12-alpha-3-num-287 1.192 6.225 11.236
Waldmann_07_size12/size-12-alpha-3-num-288 1.203 6.224 11.219
Waldmann_07_size12/size-12-alpha-3-num-289 1.205 6.222 11.211
Waldmann_07_size12/size-12-alpha-3-num-291 1.2 6.214 11.228
Waldmann_07_size12/size-12-alpha-3-num-292 1.209 6.219 11.24
Waldmann_07_size12/size-12-alpha-3-num-293 1.224 6.207 11.225
Waldmann_07_size12/size-12-alpha-3-num-294 1.21 6.228 11.225
Waldmann_07_size12/size-12-alpha-3-num-296 1.224 6.236 11.226
Waldmann_07_size12/size-12-alpha-3-num-297 1.206 6.216 11.227
Waldmann_07_size12/size-12-alpha-3-num-298 1.221 6.243 11.241
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-299 1.183 6.201 11.212
Waldmann_07_size12/size-12-alpha-3-num-3 1.215 6.23 11.232
Waldmann_07_size12/size-12-alpha-3-num-30 1.216 6.205 11.216
Waldmann_07_size12/size-12-alpha-3-num-300 1.193 6.208 11.201
Waldmann_07_size12/size-12-alpha-3-num-301 1.21 6.221 11.224
Waldmann_07_size12/size-12-alpha-3-num-303 1.232 6.227 11.237
Waldmann_07_size12/size-12-alpha-3-num-304 1.242 6.234 11.238
Waldmann_07_size12/size-12-alpha-3-num-309 1.213 6.237 11.233
Waldmann_07_size12/size-12-alpha-3-num-31 1.232 6.217 11.233
Waldmann_07_size12/size-12-alpha-3-num-32 1.215 6.2 11.221
Waldmann_07_size12/size-12-alpha-3-num-327 1.227 6.214 11.219
Waldmann_07_size12/size-12-alpha-3-num-328 1.197 6.211 11.204
Waldmann_07_size12/size-12-alpha-3-num-330 1.183 6.183 11.221
Waldmann_07_size12/size-12-alpha-3-num-335 1.207 6.236 11.226
Waldmann_07_size12/size-12-alpha-3-num-337 1.215 6.211 11.219
Waldmann_07_size12/size-12-alpha-3-num-338 1.205 6.231 11.236
Waldmann_07_size12/size-12-alpha-3-num-339 1.217 6.235 11.23
Waldmann_07_size12/size-12-alpha-3-num-340 1.226 6.221 11.238
Waldmann_07_size12/size-12-alpha-3-num-341 1.229 6.222 11.24
Waldmann_07_size12/size-12-alpha-3-num-343 1.207 6.205 11.218
Waldmann_07_size12/size-12-alpha-3-num-345 1.211 6.212 11.224
Waldmann_07_size12/size-12-alpha-3-num-346 1.233 6.227 11.234
Waldmann_07_size12/size-12-alpha-3-num-347 1.192 6.205 11.213
Waldmann_07_size12/size-12-alpha-3-num-348 1.205 6.22 11.225
Waldmann_07_size12/size-12-alpha-3-num-35 1.226 6.219 11.223
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-350 1.2 6.201 11.205
Waldmann_07_size12/size-12-alpha-3-num-351 1.188 6.219 11.208
Waldmann_07_size12/size-12-alpha-3-num-352 1.206 6.219 11.207
Waldmann_07_size12/size-12-alpha-3-num-353 1.206 6.219 11.226
Waldmann_07_size12/size-12-alpha-3-num-354 1.212 6.219 11.208
Waldmann_07_size12/size-12-alpha-3-num-355 1.222 6.226 11.223
Waldmann_07_size12/size-12-alpha-3-num-356 1.218 6.208 11.224
Waldmann_07_size12/size-12-alpha-3-num-359 1.187 6.196 11.213
Waldmann_07_size12/size-12-alpha-3-num-360 1.226 6.223 11.225
Waldmann_07_size12/size-12-alpha-3-num-361 1.211 6.228 11.234
Waldmann_07_size12/size-12-alpha-3-num-362 1.231 6.216 11.224
Waldmann_07_size12/size-12-alpha-3-num-363 1.219 6.216 11.226
Waldmann_07_size12/size-12-alpha-3-num-366 1.217 6.212 11.221
Waldmann_07_size12/size-12-alpha-3-num-367 1.223 6.221 11.232
Waldmann_07_size12/size-12-alpha-3-num-368 1.203 6.228 11.213
Waldmann_07_size12/size-12-alpha-3-num-369 1.222 6.244 11.237
Waldmann_07_size12/size-12-alpha-3-num-373 1.216 6.224 11.219
Waldmann_07_size12/size-12-alpha-3-num-374 1.225 6.214 11.217
Waldmann_07_size12/size-12-alpha-3-num-375 1.223 6.239 11.229
Waldmann_07_size12/size-12-alpha-3-num-376 1.224 6.229 11.239
Waldmann_07_size12/size-12-alpha-3-num-377 1.205 6.221 11.231
Waldmann_07_size12/size-12-alpha-3-num-378 1.229 6.209 11.222
Waldmann_07_size12/size-12-alpha-3-num-382 1.226 6.205 11.228
Waldmann_07_size12/size-12-alpha-3-num-383 1.227 6.24 11.239
Waldmann_07_size12/size-12-alpha-3-num-384 1.232 6.225 11.242
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-385 1.211 6.232 11.238
Waldmann_07_size12/size-12-alpha-3-num-386 1.206 6.217 11.23
Waldmann_07_size12/size-12-alpha-3-num-389 1.218 6.234 11.233
Waldmann_07_size12/size-12-alpha-3-num-391 1.207 6.213 11.214
Waldmann_07_size12/size-12-alpha-3-num-392 1.21 6.207 11.221
Waldmann_07_size12/size-12-alpha-3-num-395 1.228 6.216 11.236
Waldmann_07_size12/size-12-alpha-3-num-396 1.212 6.215 11.222
Waldmann_07_size12/size-12-alpha-3-num-399 1.207 6.216 11.222
Waldmann_07_size12/size-12-alpha-3-num-4 1.204 6.198 11.213
Waldmann_07_size12/size-12-alpha-3-num-40 1.209 6.214 11.22
Waldmann_07_size12/size-12-alpha-3-num-400 1.232 6.219 11.218
Waldmann_07_size12/size-12-alpha-3-num-401 1.227 6.251 11.253
Waldmann_07_size12/size-12-alpha-3-num-402 1.243 6.242 11.249
Waldmann_07_size12/size-12-alpha-3-num-403 1.216 6.236 11.225
Waldmann_07_size12/size-12-alpha-3-num-406 1.236 6.224 11.252
Waldmann_07_size12/size-12-alpha-3-num-408 1.207 6.224 11.225
Waldmann_07_size12/size-12-alpha-3-num-409 1.216 6.22 11.234
Waldmann_07_size12/size-12-alpha-3-num-41 1.188 6.215 11.211
Waldmann_07_size12/size-12-alpha-3-num-410 1.223 6.219 11.22
Waldmann_07_size12/size-12-alpha-3-num-412 1.241 6.227 11.229
Waldmann_07_size12/size-12-alpha-3-num-413 1.216 6.232 11.238
Waldmann_07_size12/size-12-alpha-3-num-414 1.213 6.233 11.224
Waldmann_07_size12/size-12-alpha-3-num-415 1.208 6.229 11.219
Waldmann_07_size12/size-12-alpha-3-num-416 1.23 6.226 11.242
Waldmann_07_size12/size-12-alpha-3-num-417 1.219 6.216 11.223
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-418 1.23 6.22 11.233
Waldmann_07_size12/size-12-alpha-3-num-427 1.208 6.212 11.221
Waldmann_07_size12/size-12-alpha-3-num-429 1.206 6.223 11.232
Waldmann_07_size12/size-12-alpha-3-num-430 1.212 6.206 11.213
Waldmann_07_size12/size-12-alpha-3-num-431 1.209 6.218 11.221
Waldmann_07_size12/size-12-alpha-3-num-434 1.211 6.208 11.213
Waldmann_07_size12/size-12-alpha-3-num-435 1.22 6.221 11.208
Waldmann_07_size12/size-12-alpha-3-num-436 1.205 6.205 11.215
Waldmann_07_size12/size-12-alpha-3-num-437 1.218 6.206 11.226
Waldmann_07_size12/size-12-alpha-3-num-438 1.224 6.197 11.217
Waldmann_07_size12/size-12-alpha-3-num-439 1.202 6.207 11.196
Waldmann_07_size12/size-12-alpha-3-num-44 1.199 6.198 11.212
Waldmann_07_size12/size-12-alpha-3-num-441 1.189 6.204 11.199
Waldmann_07_size12/size-12-alpha-3-num-443 1.198 6.194 11.203
Waldmann_07_size12/size-12-alpha-3-num-446 1.188 6.218 11.199
Waldmann_07_size12/size-12-alpha-3-num-448 1.207 6.223 11.211
Waldmann_07_size12/size-12-alpha-3-num-45 1.184 6.199 11.19
Waldmann_07_size12/size-12-alpha-3-num-450 1.206 6.205 11.208
Waldmann_07_size12/size-12-alpha-3-num-451 1.217 6.22 11.231
Waldmann_07_size12/size-12-alpha-3-num-452 1.203 6.212 11.221
Waldmann_07_size12/size-12-alpha-3-num-453 1.191 6.223 11.212
Waldmann_07_size12/size-12-alpha-3-num-454 1.218 6.214 11.225
Waldmann_07_size12/size-12-alpha-3-num-455 1.205 6.198 11.212
Waldmann_07_size12/size-12-alpha-3-num-456 1.199 6.219 11.223
Waldmann_07_size12/size-12-alpha-3-num-460 1.203 6.193 11.208
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-461 1.22 6.212 11.216
Waldmann_07_size12/size-12-alpha-3-num-462 1.213 6.223 11.234
Waldmann_07_size12/size-12-alpha-3-num-465 1.189 6.215 11.2
Waldmann_07_size12/size-12-alpha-3-num-467 1.222 6.224 11.226
Waldmann_07_size12/size-12-alpha-3-num-468 1.202 6.216 11.205
Waldmann_07_size12/size-12-alpha-3-num-469 1.211 6.212 11.21
Waldmann_07_size12/size-12-alpha-3-num-47 1.202 6.213 11.203
Waldmann_07_size12/size-12-alpha-3-num-470 1.211 6.223 11.226
Waldmann_07_size12/size-12-alpha-3-num-472 1.205 6.203 11.208
Waldmann_07_size12/size-12-alpha-3-num-473 1.189 6.203 11.202
Waldmann_07_size12/size-12-alpha-3-num-474 1.209 6.227 11.208
Waldmann_07_size12/size-12-alpha-3-num-475 1.211 6.217 11.236
Waldmann_07_size12/size-12-alpha-3-num-476 1.211 6.226 11.224
Waldmann_07_size12/size-12-alpha-3-num-477 1.199 6.207 11.216
Waldmann_07_size12/size-12-alpha-3-num-478 1.194 6.208 11.197
Waldmann_07_size12/size-12-alpha-3-num-479 1.201 6.205 11.216
Waldmann_07_size12/size-12-alpha-3-num-48 1.205 6.218 11.225
Waldmann_07_size12/size-12-alpha-3-num-480 1.214 6.218 11.223
Waldmann_07_size12/size-12-alpha-3-num-482 1.196 6.207 11.219
Waldmann_07_size12/size-12-alpha-3-num-484 1.221 6.193 11.211
Waldmann_07_size12/size-12-alpha-3-num-485 1.182 6.187 11.204
Waldmann_07_size12/size-12-alpha-3-num-487 1.206 6.205 11.21
Waldmann_07_size12/size-12-alpha-3-num-488 1.199 6.201 11.201
Waldmann_07_size12/size-12-alpha-3-num-489 1.192 6.204 11.205
Waldmann_07_size12/size-12-alpha-3-num-49 1.201 6.208 11.204
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-491 1.233 6.223 11.225
Waldmann_07_size12/size-12-alpha-3-num-492 1.21 6.226 11.226
Waldmann_07_size12/size-12-alpha-3-num-493 1.22 6.206 11.22
Waldmann_07_size12/size-12-alpha-3-num-494 1.196 6.211 11.221
Waldmann_07_size12/size-12-alpha-3-num-495 1.21 6.207 11.202
Waldmann_07_size12/size-12-alpha-3-num-497 1.196 6.209 11.205
Waldmann_07_size12/size-12-alpha-3-num-498 1.193 6.193 11.205
Waldmann_07_size12/size-12-alpha-3-num-499 1.2 6.185 11.198
Waldmann_07_size12/size-12-alpha-3-num-502 1.187 6.197 11.188
Waldmann_07_size12/size-12-alpha-3-num-503 1.211 6.221 11.228
Waldmann_07_size12/size-12-alpha-3-num-506 1.225 6.214 11.224
Waldmann_07_size12/size-12-alpha-3-num-507 1.198 6.19 11.211
Waldmann_07_size12/size-12-alpha-3-num-508 1.183 6.206 11.212
Waldmann_07_size12/size-12-alpha-3-num-51 1.213 6.209 11.225
Waldmann_07_size12/size-12-alpha-3-num-511 1.189 6.208 11.221
Waldmann_07_size12/size-12-alpha-3-num-52 1.218 6.208 11.224
Waldmann_07_size12/size-12-alpha-3-num-522 1.236 6.232 11.233
Waldmann_07_size12/size-12-alpha-3-num-526 1.216 6.233 11.244
Waldmann_07_size12/size-12-alpha-3-num-532 1.195 6.213 11.21
Waldmann_07_size12/size-12-alpha-3-num-535 1.226 6.227 11.23
Waldmann_07_size12/size-12-alpha-3-num-536 1.221 6.214 11.232
Waldmann_07_size12/size-12-alpha-3-num-540 1.197 6.195 11.224
Waldmann_07_size12/size-12-alpha-3-num-541 1.206 6.219 11.22
Waldmann_07_size12/size-12-alpha-3-num-543 1.22 6.219 11.247
Waldmann_07_size12/size-12-alpha-3-num-545 1.222 6.215 11.222
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-546 1.186 6.201 11.204
Waldmann_07_size12/size-12-alpha-3-num-547 1.215 6.211 11.213
Waldmann_07_size12/size-12-alpha-3-num-548 1.24 6.235 11.235
Waldmann_07_size12/size-12-alpha-3-num-549 1.204 6.211 11.2
Waldmann_07_size12/size-12-alpha-3-num-550 1.2 6.217 11.233
Waldmann_07_size12/size-12-alpha-3-num-551 1.21 6.206 11.217
Waldmann_07_size12/size-12-alpha-3-num-552 1.207 6.211 11.231
Waldmann_07_size12/size-12-alpha-3-num-553 1.216 6.222 11.223
Waldmann_07_size12/size-12-alpha-3-num-556 1.22 6.232 11.225
Waldmann_07_size12/size-12-alpha-3-num-558 1.184 6.201 11.198
Waldmann_07_size12/size-12-alpha-3-num-559 1.192 6.193 11.201
Waldmann_07_size12/size-12-alpha-3-num-560 1.208 6.216 11.221
Waldmann_07_size12/size-12-alpha-3-num-561 1.194 6.207 11.204
Waldmann_07_size12/size-12-alpha-3-num-563 1.197 6.193 11.213
Waldmann_07_size12/size-12-alpha-3-num-564 1.193 6.187 11.207
Waldmann_07_size12/size-12-alpha-3-num-565 1.199 6.194 11.196
Waldmann_07_size12/size-12-alpha-3-num-566 1.185 6.184 11.206
Waldmann_07_size12/size-12-alpha-3-num-568 1.216 6.219 11.22
Waldmann_07_size12/size-12-alpha-3-num-57 1.194 6.197 11.209
Waldmann_07_size12/size-12-alpha-3-num-59 1.199 6.198 11.212
Waldmann_07_size12/size-12-alpha-3-num-61 1.204 6.21 11.222
Waldmann_07_size12/size-12-alpha-3-num-64 1.192 6.213 11.213
Waldmann_07_size12/size-12-alpha-3-num-65 1.196 6.205 11.203
Waldmann_07_size12/size-12-alpha-3-num-66 1.209 6.219 11.234
Waldmann_07_size12/size-12-alpha-3-num-67 1.21 6.203 11.219
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-7 1.206 6.22 11.223
Waldmann_07_size12/size-12-alpha-3-num-70 1.204 6.21 11.21
Waldmann_07_size12/size-12-alpha-3-num-71 1.221 6.214 11.224
Waldmann_07_size12/size-12-alpha-3-num-72 1.199 6.206 11.212
Waldmann_07_size12/size-12-alpha-3-num-74 1.183 6.187 11.195
Waldmann_07_size12/size-12-alpha-3-num-76 1.197 6.207 11.204
Waldmann_07_size12/size-12-alpha-3-num-82 1.209 6.206 11.212
Waldmann_07_size12/size-12-alpha-3-num-83 1.215 6.223 11.21
Waldmann_07_size12/size-12-alpha-3-num-84 1.203 6.215 11.235
Waldmann_07_size12/size-12-alpha-3-num-85 1.208 6.213 11.209
Waldmann_07_size12/size-12-alpha-3-num-86 1.196 6.193 11.205
Waldmann_07_size12/size-12-alpha-3-num-88 1.227 6.207 11.22
Waldmann_07_size12/size-12-alpha-3-num-9 1.221 6.223 11.231
Waldmann_07_size12/size-12-alpha-3-num-90 1.2 6.205 11.211
Waldmann_07_size12/size-12-alpha-3-num-91 1.194 6.201 11.206
Waldmann_07_size12/size-12-alpha-3-num-92 1.196 6.194 11.194
Waldmann_07_size12/size-12-alpha-3-num-94 1.207 6.208 11.207
Waldmann_07_size12/size-12-alpha-3-num-95 1.191 6.213 11.22
Waldmann_07_size12/size-12-alpha-3-num-98 1.198 6.202 11.213
Waldmann_07_size12/size-12-alpha-3-num-99 1.197 6.208 11.224
Zantema_04/syracuse 1.564 6.578 11.567
Zantema_04/z001 1.206 0.483 0.491
Zantema_04/z002 1.248 0.239 0.245
Zantema_04/z003 1.276 0.505 0.511
Zantema_04/z004 1.285 0.311 0.314
problem pm bpm bprm
Zantema_04/z005 1.236 0.379 0.379
Zantema_04/z006 0.176 5.166 10.19
Zantema_04/z007 1.211 6.214 10.189
Zantema_04/z008 3.659 8.663 13.671
Zantema_04/z009 1.223 6.215 11.233
Zantema_04/z010 1.182 6.203 11.217
Zantema_04/z011 1.22 6.222 11.224
Zantema_04/z012 1.182 6.2 11.203
Zantema_04/z013 2.344 7.347 12.313
Zantema_04/z014 1.214 6.219 11.221
Zantema_04/z015 1.204 6.203 11.222
Zantema_04/z017 1.219 6.23 11.237
Zantema_04/z018 1.228 6.246 16.083
Zantema_04/z019 1.223 6.24 11.576
Zantema_04/z020 1.204 6.217 11.221
Zantema_04/z021 1.219 6.209 11.23
Zantema_04/z022 1.278 6.307 11.285
Zantema_04/z023 2.323 7.33 11.33
Zantema_04/z024 2.348 1.793 1.806
Zantema_04/z025 1.226 6.23 11.25
Zantema_04/z026 1.216 6.231 11.227
Zantema_04/z027 1.265 1.04 1.012
Zantema_04/z028 1.267 6.297 11.305
Zantema_04/z029 1.273 0.457 0.43
Zantema_04/z030 1.261 0.7 0.708
problem pm bpm bprm
Zantema_04/z031 1.367 3.688 3.742
Zantema_04/z032 1.265 0.325 0.316
Zantema_04/z033 1.341 0.207 0.201
Zantema_04/z034 1.249 6.246 11.257
Zantema_04/z035 1.28 6.287 11.294
Zantema_04/z036 1.312 6.312 11.327
Zantema_04/z037 1.303 0.505 0.504
Zantema_04/z038 1.316 6.326 11.332
Zantema_04/z039 1.423 0.375 0.376
Zantema_04/z040 1.293 6.311 7.345
Zantema_04/z041 1.273 6.263 11.276
Zantema_04/z042 1.336 6.357 11.364
Zantema_04/z043 1.279 0.248 0.245
Zantema_04/z044 1.258 6.257 11.267
Zantema_04/z045 1.376 0.262 0.239
Zantema_04/z046 1.308 6.296 11.298
Zantema_04/z047 1.296 0.246 0.248
Zantema_04/z048 1.415 0.232 0.233
Zantema_04/z049 1.272 0.155 0.161
Zantema_04/z050 1.264 0.162 0.153
Zantema_04/z051 1.245 0.192 0.192
Zantema_04/z052 1.27 0.152 0.147
Zantema_04/z053 1.27 0.184 0.177
Zantema_04/z054 1.273 0.291 0.291
Zantema_04/z055 1.277 0.148 0.157
problem pm bpm bprm
Zantema_04/z056 1.262 0.2 0.191
Zantema_04/z057 1.254 0.165 0.175
Zantema_04/z058 1.269 0.179 0.187
Zantema_04/z059 1.246 0.226 0.205
Zantema_04/z060 1.228 0.177 0.182
Zantema_04/z061 1.44 0.156 0.144
Zantema_04/z062 1.386 0.149 0.153
Zantema_04/z063 1.277 0.16 0.155
Zantema_04/z064 1.28 0.179 0.178
Zantema_04/z065 2.403 7.394 12.4
Zantema_04/z066 0.716 5.731 10.697
Zantema_04/z067 1.331 6.321 11.324
Zantema_04/z068 1.311 6.308 11.329
Zantema_04/z069 1.549 6.584 11.61
Zantema_04/z070 1.638 6.652 11.651
Zantema_04/z071 1.293 6.278 11.283
Zantema_04/z072 1.311 6.31 11.671
Zantema_04/z073 1.282 6.279 11.272
Zantema_04/z074 3.083 8.123 13.095
Zantema_04/z075 2.457 7.5 12.484
Zantema_04/z076 1.193 6.2 11.211
Zantema_04/z077 1.225 6.228 11.232
Zantema_04/z078 1.235 6.247 11.251
Zantema_04/z079 1.349 6.343 11.345
Zantema_04/z080 1.236 6.232 11.243
problem pm bpm bprm
Zantema_04/z081 1.413 6.403 11.417
Zantema_04/z082 1.295 6.308 11.305
Zantema_04/z083 2.458 7.449 12.462
Zantema_04/z084 1.185 6.204 11.208
Zantema_04/z085 0.152 5.161 10.174
Zantema_04/z086 1.18 6.194 11.193
Zantema_04/z087 1.202 6.201 11.209
Zantema_04/z088 1.252 6.26 11.263
Zantema_04/z089 2.355 7.347 12.373
Zantema_04/z090 1.325 6.314 11.336
Zantema_04/z091 2.923 7.921 12.905
Zantema_04/z092 1.036 6.022 11.036
Zantema_04/z093 1.208 6.231 11.22
Zantema_04/z094 1.279 6.277 11.297
Zantema_04/z095 1.214 6.224 5.592
Zantema_04/z096 1.248 6.252 11.246
Zantema_04/z097 1.28 0.602 0.624
Zantema_04/z098 1.26 0.431 0.439
Zantema_04/z100 3.781 8.741 13.796
Zantema_04/z101 1.2 6.214 11.208
Zantema_04/z102 1.206 6.218 11.209
Zantema_04/z103 1.197 6.212 11.196
Zantema_04/z104 1.301 6.295 11.31
Zantema_04/z105 1.246 6.266 11.277
Zantema_04/z106 1.247 6.254 11.259
problem pm bpm bprm
Zantema_04/z107 1.234 6.248 11.247
Zantema_04/z108 1.211 6.256 11.245
Zantema_04/z109 1.203 6.197 11.21
Zantema_04/z110 1.243 6.241 11.248
Zantema_04/z111 1.272 6.273 11.274
Zantema_04/z112 1.283 6.286 11.277
Zantema_04/z113 1.276 6.281 11.29
Zantema_04/z114 1.2 6.194 11.207
Zantema_04/z115 1.259 6.241 11.261
Zantema_04/z116 1.207 6.211 11.223
Zantema_04/z117 1.277 6.284 11.292
Zantema_04/z118 1.26 6.275 11.285
Zantema_04/z119 1.283 6.264 11.282
Zantema_04/z120 1.236 6.244 11.254
Zantema_04/z121 1.319 6.347 11.333
Zantema_04/z122 1.27 6.275 11.279
Zantema_04/z123 1.293 6.303 11.294
Zantema_04/z124 0.757 5.733 10.738
Zantema_04/z125 1.337 6.349 11.343
Zantema_04/z126 1.213 6.196 5.169
Zantema_04/z127 1.215 6.226 11.223
Zantema_04/z128 1.221 6.211 11.211
Zantema_05/jw01 1.173 0.151 0.148
Zantema_05/jw02 1.183 0.155 0.152
Zantema_05/jw03 1.173 0.154 0.146
problem pm bpm bprm
Zantema_05/jw04 1.178 0.157 0.153
Zantema_05/jw05 1.176 0.149 0.152
Zantema_05/jw06 1.17 0.16 0.153
Zantema_05/jw07 1.165 0.154 0.14
Zantema_05/jw08 1.178 0.157 0.144
Zantema_05/jw09 1.165 0.153 0.16
Zantema_05/jw11 1.183 0.146 0.154
Zantema_05/jw12 1.187 0.154 0.159
Zantema_05/jw13 1.186 0.166 0.172
Zantema_05/jw14 1.187 0.152 0.165
Zantema_05/jw15 1.184 0.157 0.157
Zantema_05/jw16 1.175 0.14 0.155
Zantema_05/jw17 1.189 0.146 0.146
Zantema_05/jw18 1.176 0.156 0.162
Zantema_05/jw19 1.184 0.165 0.149
Zantema_05/jw20 1.167 0.147 0.14
Zantema_05/jw21 1.183 0.165 0.162
Zantema_05/jw22 1.178 0.157 0.16
Zantema_05/jw23 1.174 0.163 0.158
Zantema_05/jw24 1.181 0.144 0.153
Zantema_05/jw25 1.19 0.157 0.146
Zantema_05/jw26 1.179 0.157 0.154
Zantema_05/jw27 1.199 0.161 0.154
Zantema_05/jw28 1.172 0.154 0.149
Zantema_05/jw29 1.185 0.143 0.156
problem pm bpm bprm
Zantema_05/jw30 1.165 0.164 0.155
Zantema_05/jw31 1.175 0.154 0.158
Zantema_05/jw32 1.18 0.15 0.145
Zantema_05/jw33 1.176 0.15 0.146
Zantema_05/jw34 1.173 0.15 0.148
Zantema_05/jw35 1.183 0.165 0.161
Zantema_05/jw36 1.204 0.167 0.152
Zantema_05/jw37 1.196 0.156 0.152
Zantema_05/jw38 1.173 0.156 0.159
Zantema_05/jw39 1.181 0.161 0.161
Zantema_05/jw40 1.185 0.146 0.144
Zantema_05/jw41 1.177 0.155 0.155
Zantema_05/jw42 1.167 0.155 0.144
Zantema_05/jw43 1.19 0.166 0.145
Zantema_05/jw44 0.161 5.174 10.187
Zantema_05/jw47 0.158 5.181 10.184
Zantema_05/jw50 1.189 0.142 0.149
Zantema_05/z01 1.235 0.611 0.605
Zantema_05/z02 1.172 0.204 0.202
Zantema_05/z03 1.208 6.22 11.217
Zantema_05/z05 1.204 6.207 11.221
Zantema_05/z06 1.186 6.195 11.209
Zantema_05/z07 1.21 6.204 11.209
Zantema_05/z08 1.215 6.205 5.186
Zantema_05/z11 1.27 6.257 11.274
problem pm bpm bprm
Zantema_05/z12 1.277 6.295 11.309
Zantema_05/z13 1.27 6.276 11.283
Zantema_05/z14 1.227 6.236 11.23
Zantema_05/z15 1.199 6.216 11.204
Zantema_05/z16 1.234 6.24 11.241
Zantema_05/z17 1.236 6.242 11.239
Zantema_05/z18 1.218 6.224 11.231
Zantema_05/z19 1.191 6.203 11.204
Zantema_05/z20 1.233 6.226 11.232
Zantema_05/z21 1.215 6.22 11.235
Zantema_05/z22 1.234 6.233 11.249
Zantema_05/z23 1.35 6.363 11.366
Zantema_05/z24 1.327 6.334 11.336
Zantema_05/z25 1.179 6.199 11.196
Zantema_05/z26 1.341 6.354 11.352
Zantema_05/z29 1.217 6.223 11.232
Zantema_05/z30 1.297 6.285 11.305
Zantema_06/01 1.225 6.219 11.227
Zantema_06/02 1.215 6.222 11.216
Zantema_06/03 1.269 6.286 11.291
Zantema_06/04 1.22 6.224 11.231
Zantema_06/05 1.255 6.261 11.285
Zantema_06/06 1.269 6.285 11.277
Zantema_06/07 1.214 6.214 11.224
Zantema_06/08 1.22 6.224 11.24
problem pm bpm bprm
Zantema_06/09 1.407 6.423 11.419
Zantema_06/10 1.251 6.267 11.263
Zantema_06/11 1.387 6.387 11.407
Zantema_06/12 1.386 6.391 11.381
Zantema_06/13 1.305 6.313 11.314
Zantema_06/14 1.236 6.23 11.246
Zantema_06/15 3.197 8.259 13.248
Zantema_06/16 1.519 6.528 11.511
Zantema_06/17 6.177 11.126 16.228
Zantema_06/18 7.467 12.58 17.616
Zantema_06/abc 1.223 6.236 11.251
Zantema_06/beans1 1.834 6.817 12.639
Zantema_06/beans2 1.331 6.317 11.329
Zantema_06/beans3 1.387 6.384 11.381
Zantema_06/beans4 1.316 6.326 11.348
Zantema_06/beans5 1.221 6.25 11.247
Zantema_06/beans6 1.288 6.295 11.3
Zantema_06/beans7 1.265 6.265 11.28
Zantema_06/loop1 1.205 6.206 11.203
Zantema_06/loop2 1.193 6.191 11.192
Zantema_06/while1 2.807 7.883 12.88
Zantema_06/while2 1.293 6.303 11.308
Yes No Maybe Timeout