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