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.309 11.305
AG01/#3.15 0.223 5.218 10.211
AG01/#3.17 1.51 6.49 14.741
AG01/#3.17a 1.656 6.666 16.108
AG01/#3.24 0.181 0.162 0.18
AG01/#3.26 1.173 6.186 11.193
AG01/#3.33 0.262 0.162 0.19
AG01/#3.35 0.196 0.175 0.181
AG01/#3.37 1.207 0.234 0.256
AG01/#3.49 1.295 6.296 11.31
AG01/#3.51 1.248 0.208 0.212
AG01/#3.56 0.279 0.169 0.187
AG01/#3.7 0.203 5.205 10.21
AProVE_04/LPAR_intlist 1.309 6.319 11.323
AProVE_04/Liveness6.1 2.472 7.479 12.487
AProVE_04/Liveness6.2 1.307 6.314 11.301
AProVE_04/Liveness6.3 2.998 0.208 0.207
AProVE_04/Liveness6.4 1.612 6.598 11.602
AProVE_04/Liveness8 1.988 0.29 0.297
AProVE_04/Liveness_WRS 4.016 0.281 0.264
AProVE_06/identity 1.328 6.329 11.342
AProVE_06/nonterm 1.287 6.276 11.293
AProVE_06/tower_sizeChange 1.367 6.388 11.397
AProVE_08/round 1.217 6.241 11.242
AProVE_08/round_nonterm 1.208 6.227 11.221
problem pm bpm bprm
AotoYamada_05/005 0.239 0.17 0.171
AotoYamada_05/017 0.135 0.142 0.131
AotoYamada_05/023 0.196 0.158 0.171
AotoYamada_05/025 0.127 0.132 0.14
Applicative_05/Ex2_6_1Composition 0.146 0.144 0.148
Applicative_05/ReverseLastInit 1.362 0.223 0.208
Applicative_05/TypeEx5 1.171 6.181 11.18
Bouchare_06/01 1.217 0.155 0.156
Bouchare_06/02 0.187 0.158 0.147
Bouchare_06/03 1.209 0.155 0.153
Bouchare_06/04 1.222 0.138 0.148
Bouchare_06/05 1.2 0.144 0.146
Bouchare_06/06 1.243 0.154 0.154
Bouchare_06/07 1.22 0.144 0.148
Bouchare_06/08 1.211 0.151 0.14
Bouchare_06/09 1.209 0.137 0.145
Bouchare_06/10 1.216 0.153 0.153
Bouchare_06/11 1.182 0.148 0.153
Bouchare_06/12 1.198 6.199 11.2
Bouchare_06/13 1.219 0.15 0.157
Bouchare_06/14 1.195 0.152 0.147
Bouchare_06/15 1.217 0.149 0.156
Bouchare_06/16 1.193 0.143 0.151
Bouchare_06/17 1.192 0.146 0.157
Bouchare_06/18 1.202 0.158 0.144
problem pm bpm bprm
CiME_04/dpqs 1.271 0.164 0.198
CiME_04/filliatre 1.402 6.406 11.405
CiME_04/filliatre2 1.556 6.579 11.573
Der95/01 0.193 0.196 0.196
Der95/02 0.167 0.166 0.185
Der95/03 0.134 0.143 0.13
Der95/04 0.162 0.147 0.134
Der95/06 1.191 0.157 0.144
Der95/07 0.21 0.156 0.161
Der95/09 0.152 0.144 0.137
Der95/17 1.294 0.171 0.188
Der95/20 1.23 6.233 11.231
Der95/27 0.156 0.161 0.16
Endrullis_06/direct 1.234 0.374 0.385
Endrullis_06/linear1 1.227 0.145 0.145
Endrullis_06/linear2 1.289 0.145 0.151
Endrullis_06/pair3rotate 1.227 0.138 0.151
Endrullis_06/pair3swap 1.236 0.159 0.161
Endrullis_06/quadruple1 1.212 0.148 0.152
Endrullis_06/quadruple2 1.239 0.154 0.156
Gebhardt_06/01 1.236 0.143 0.154
Gebhardt_06/02 1.241 0.142 0.138
Gebhardt_06/03 1.255 0.152 0.16
Gebhardt_06/04 1.23 0.154 0.145
Gebhardt_06/05 1.259 0.145 0.162
problem pm bpm bprm
Gebhardt_06/06 1.254 0.157 0.147
Gebhardt_06/07 1.247 0.142 0.156
Gebhardt_06/08 1.241 0.153 0.136
Gebhardt_06/09 1.227 0.136 0.142
Gebhardt_06/10 1.266 0.151 0.152
Gebhardt_06/11 1.251 0.145 0.148
Gebhardt_06/12 1.269 0.146 0.151
Gebhardt_06/13 1.241 0.146 0.151
Gebhardt_06/14 1.251 0.137 0.162
Gebhardt_06/15 1.259 0.137 0.145
Gebhardt_06/16 1.253 0.138 0.153
Gebhardt_06/17 1.249 0.141 0.152
Gebhardt_06/18 1.237 0.152 0.135
Gebhardt_06/19 1.256 0.135 0.145
Gebhardt_06/20 1.26 0.151 0.152
HirokawaMiddeldorp_04/n002 1.144 6.148 11.154
HirokawaMiddeldorp_04/n003 1.134 6.157 11.154
HirokawaMiddeldorp_04/n004 1.149 6.15 11.149
HirokawaMiddeldorp_04/n005 1.155 6.144 11.151
HirokawaMiddeldorp_04/n006 1.142 6.146 11.158
HirokawaMiddeldorp_04/n008 1.138 0.15 0.153
HirokawaMiddeldorp_04/t000 2.34 7.383 6.771
HirokawaMiddeldorp_04/t004 1.206 6.209 11.208
HirokawaMiddeldorp_04/t006 0.141 0.14 0.148
HirokawaMiddeldorp_04/t007 0.169 0.176 0.178
problem pm bpm bprm
HirokawaMiddeldorp_04/t008 1.251 0.16 0.16
HirokawaMiddeldorp_04/t009 2.323 7.418 12.383
HirokawaMiddeldorp_04/t010 0.157 0.159 0.163
HirokawaMiddeldorp_04/t011 0.172 5.17 10.185
HirokawaMiddeldorp_04/t012 1.257 6.261 11.42
Mixed_SRS/01-oppelt08 1.398 6.382 11.404
Mixed_SRS/01 1.224 0.14 0.146
Mixed_SRS/02-oppelt08 1.227 0.155 0.146
Mixed_SRS/02 1.227 0.137 0.144
Mixed_SRS/03-oppelt08 1.243 0.157 0.155
Mixed_SRS/03 1.211 0.165 0.15
Mixed_SRS/04-oppelt08 1.237 0.156 0.142
Mixed_SRS/04 1.219 0.136 0.139
Mixed_SRS/05-oppelt08 1.231 0.157 0.156
Mixed_SRS/05 1.223 0.151 0.15
Mixed_SRS/06-oppelt08 1.215 6.21 11.205
Mixed_SRS/06 1.215 0.137 0.147
Mixed_SRS/07-oppelt08 1.301 6.289 11.278
Mixed_SRS/07 1.209 0.149 0.152
Mixed_SRS/08-oppelt08 1.283 6.285 11.284
Mixed_SRS/08 1.243 0.148 0.146
Mixed_SRS/09 1.212 0.152 0.144
Mixed_SRS/1 1.202 6.206 11.206
Mixed_SRS/2 1.212 0.145 0.141
Mixed_SRS/3 1.206 0.135 0.148
problem pm bpm bprm
Mixed_SRS/4 1.325 0.156 0.155
Mixed_SRS/s6 2.472 0.286 0.289
Mixed_SRS/touzet 1.195 0.142 0.15
Mixed_SRS/turing_add 0.373 0.178 0.18
Mixed_SRS/turing_copy 6.199 0.643 0.647
Mixed_SRS/turing_mult 14.793 0.313 0.292
Mixed_TRS/1 1.191 0.137 0.149
Mixed_TRS/2 1.19 0.142 0.135
Mixed_TRS/4 1.189 0.149 0.138
Mixed_TRS/6 1.173 0.132 0.135
Mixed_TRS/Ex1_Luc04b_GM 1.594 6.598 11.598
Mixed_TRS/beans 1.326 0.17 0.181
Mixed_TRS/jones1 0.185 0.188 0.163
Mixed_TRS/jones4 0.154 0.153 0.166
Mixed_TRS/jones6 0.22 0.222 0.228
Rubio_04/aoto 0.18 0.144 0.148
Rubio_04/bintrees 0.208 2.152 2.137
Rubio_04/bn129 1.214 0.148 0.154
Rubio_04/gmnp 1.274 0.197 0.195
Rubio_04/koen 0.152 0.496 0.462
Rubio_04/lescanne 0.197 0.138 0.149
Rubio_04/lindau 1.245 0.147 0.151
Rubio_04/mfp90b 0.155 0.156 0.154
Rubio_04/mfp95 0.169 0.153 0.149
Rubio_04/nestrec 1.181 6.177 11.196
problem pm bpm bprm
Rubio_04/p266 0.185 0.167 0.165
Rubio_04/test4 1.222 0.216 0.222
Rubio_04/test829 0.189 0.181 0.191
SK90/2.01 0.24 0.177 0.175
SK90/2.02 1.215 0.155 0.146
SK90/2.03 0.203 0.165 0.162
SK90/2.04 0.163 0.138 0.157
SK90/2.06 0.211 0.146 0.163
SK90/2.09 0.17 0.161 0.174
SK90/2.10 1.308 0.169 0.172
SK90/2.11 0.187 0.176 0.167
SK90/2.14 1.277 0.192 0.194
SK90/2.31 0.228 0.232 0.233
SK90/2.33 0.204 0.175 0.171
SK90/2.34 1.233 0.629 0.632
SK90/2.36 0.178 5.181 10.189
SK90/2.38 0.2 0.167 0.171
SK90/2.39 1.302 6.312 11.455
SK90/2.41 0.218 0.271 0.273
SK90/2.42 1.395 0.18 0.181
SK90/2.46 0.164 0.145 0.143
SK90/2.47 0.175 0.163 0.171
SK90/2.48 0.173 0.201 0.187
SK90/2.49 0.189 0.168 0.195
SK90/2.50 1.156 0.139 0.145
problem pm bpm bprm
SK90/2.53 0.185 0.173 0.17
SK90/2.54 0.153 0.161 0.152
SK90/2.55 0.161 5.17 10.175
SK90/2.56 0.149 0.16 0.168
SK90/2.60 0.19 0.149 0.155
SK90/2.61 0.245 5.269 5.245
SK90/4.01 0.169 0.16 0.163
SK90/4.04 0.17 0.15 0.157
SK90/4.07 0.196 0.191 0.188
SK90/4.08 0.161 0.159 0.16
SK90/4.11 0.18 0.155 0.14
SK90/4.12 0.172 5.19 5.239
SK90/4.15 0.166 0.148 0.15
SK90/4.16 0.258 0.199 0.21
SK90/4.19 0.179 0.142 0.152
SK90/4.25 0.166 5.18 10.18
SK90/4.26 1.272 0.181 0.187
SK90/4.27 1.303 6.298 11.749
SK90/4.29 0.223 0.224 0.245
SK90/4.30 2.547 0.217 0.237
SK90/4.32 1.267 0.165 0.171
SK90/4.33 0.146 0.14 0.13
SK90/4.34 1.179 6.172 11.176
SK90/4.35 0.154 0.148 0.155
SK90/4.36 0.154 0.144 0.143
problem pm bpm bprm
SK90/4.37 0.127 0.138 0.141
SK90/4.38 0.207 0.201 0.197
SK90/4.39 0.169 0.134 0.141
SK90/4.43 1.472 6.487 11.491
SK90/4.44 0.173 0.157 0.161
SK90/4.45 0.147 0.163 0.176
SK90/4.46 0.144 0.146 0.15
SK90/4.47 0.27 0.562 0.548
SK90/4.48 0.165 0.159 0.164
SK90/4.51 1.226 0.248 0.268
SK90/4.52 0.267 0.171 0.158
SK90/4.55 1.165 0.189 0.181
SK90/4.56 0.168 0.163 0.153
Secret_05_SRS/aprove1 1.437 6.425 11.456
Secret_05_SRS/aprove2 1.41 0.194 0.197
Secret_05_SRS/aprove3 1.351 6.35 14.305
Secret_05_SRS/aprove4 1.441 0.166 0.177
Secret_05_SRS/aprove5 1.464 6.45 11.465
Secret_05_SRS/jambox1 1.223 0.153 0.149
Secret_05_SRS/jambox2 1.32 0.149 0.165
Secret_05_SRS/jambox3 1.262 0.162 0.161
Secret_05_SRS/jambox4 1.223 0.161 0.161
Secret_05_SRS/jambox5 1.279 0.165 0.178
Secret_05_SRS/matchbox1 1.355 0.17 0.165
Secret_05_SRS/matchbox2 1.387 0.213 0.221
problem pm bpm bprm
Secret_05_SRS/torpa1 1.286 0.161 0.178
Secret_05_SRS/torpa2 1.205 0.143 0.135
Secret_05_SRS/torpa3 1.237 0.189 0.194
Secret_05_SRS/torpa4 1.403 6.4 11.418
Secret_05_TRS/matchbox2 1.161 0.149 0.131
Secret_05_TRS/teparla1 1.219 0.15 0.154
Secret_05_TRS/teparla2 1.227 0.157 0.156
Secret_05_TRS/teparla3 1.219 0.154 0.148
Secret_05_TRS/ttt2 1.177 6.175 11.175
Secret_06_SRS/1-matchbox 1.217 0.161 0.156
Secret_06_SRS/1 1.246 0.166 0.153
Secret_06_SRS/10 1.212 6.22 11.219
Secret_06_SRS/2-matchbox 1.357 0.151 0.146
Secret_06_SRS/2 1.238 0.143 0.145
Secret_06_SRS/3-matchbox 2.718 0.166 0.182
Secret_06_SRS/3 1.228 0.138 0.149
Secret_06_SRS/5-matchbox 1.274 0.374 0.362
Secret_06_SRS/5 1.234 0.149 0.152
Secret_06_SRS/6 1.251 0.139 0.157
Secret_06_SRS/7 1.233 6.222 11.225
Secret_06_SRS/8 1.246 0.154 0.152
Secret_06_SRS/9 1.23 6.218 11.237
Secret_06_SRS/aprove00 1.428 0.233 0.244
Secret_06_SRS/aprove01 1.682 0.536 0.564
Secret_06_SRS/aprove02 1.975 0.665 0.649
problem pm bpm bprm
Secret_06_SRS/aprove03 2.416 7.525 12.535
Secret_06_SRS/aprove04 2.418 7.44 12.411
Secret_06_SRS/aprove05 2.001 0.337 0.347
Secret_06_SRS/aprove06 2.074 7.04 12.047
Secret_06_SRS/aprove07 1.734 0.771 0.749
Secret_06_SRS/aprove08 1.695 0.351 0.351
Secret_06_SRS/aprove09 1.587 0.254 0.252
Secret_06_SRS/multum1 1.223 0.146 0.138
Secret_06_SRS/multum2 1.238 0.143 0.136
Secret_06_SRS/multum3 1.23 0.148 0.157
Secret_06_SRS/multum4 1.495 0.159 0.175
Secret_06_SRS/multum5 1.22 0.145 0.151
Secret_06_SRS/multum6 1.439 0.147 0.16
Secret_06_SRS/secr1 1.192 0.156 0.146
Secret_06_SRS/secr10 1.401 0.155 0.16
Secret_06_SRS/secr2 1.249 0.16 0.156
Secret_06_SRS/secr3 1.272 0.169 0.168
Secret_06_SRS/secr4 1.352 0.217 0.223
Secret_06_SRS/secr5 2.496 0.164 0.163
Secret_06_SRS/secr6 1.256 0.162 0.158
Secret_06_SRS/secr7 1.234 0.141 0.154
Secret_06_SRS/secr8 1.24 6.243 11.244
Secret_06_SRS/secr9 1.498 0.166 0.161
Secret_06_TRS/10 1.235 0.18 0.181
Secret_06_TRS/2 1.272 0.171 0.166
problem pm bpm bprm
Secret_06_TRS/3 1.251 0.162 0.179
Secret_06_TRS/4 1.224 0.167 0.152
Secret_06_TRS/5 1.238 0.153 0.146
Secret_06_TRS/6 2.364 0.163 0.175
Secret_06_TRS/7 1.331 0.167 0.166
Secret_06_TRS/8 1.267 0.165 0.154
Secret_06_TRS/9 1.249 0.161 0.16
Secret_06_TRS/tpa01 1.163 0.135 0.157
Secret_06_TRS/tpa02 1.16 0.142 0.15
Secret_06_TRS/tpa03 1.162 0.14 0.136
Secret_07_SRS/dj 1.244 0.153 0.163
Secret_07_SRS/num-514 1.22 0.145 0.142
Secret_07_SRS/num-515 1.208 0.17 0.175
Secret_07_SRS/num-518 1.218 6.224 11.224
Secret_07_SRS/num-519 1.216 6.235 11.23
Secret_07_SRS/num-520 1.211 0.158 0.169
Secret_07_SRS/num-521 1.22 0.148 0.167
Secret_07_SRS/num-525 1.222 6.216 11.223
Secret_07_SRS/num-527 1.219 6.215 11.24
Secret_07_SRS/num-530 1.236 0.155 0.159
Secret_07_SRS/num-539 1.242 0.146 0.156
Secret_07_SRS/x01 1.224 6.223 11.235
Secret_07_SRS/x02 1.221 6.214 11.217
Secret_07_SRS/x03 1.219 0.148 0.151
Secret_07_SRS/x04 2.665 0.167 0.159
problem pm bpm bprm
Secret_07_SRS/x05 1.245 0.236 0.24
Secret_07_SRS/x06 1.271 0.205 0.206
Secret_07_SRS/x07 1.304 0.162 0.165
Secret_07_SRS/x08 1.278 0.158 0.157
Secret_07_SRS/x09 1.244 0.164 0.164
Secret_07_SRS/x10 1.24 0.167 0.161
Secret_07_TRS/1 1.258 0.206 0.21
Secret_07_TRS/2 1.321 0.193 0.191
Secret_07_TRS/3 4.102 0.247 0.257
Secret_07_TRS/4 1.33 0.184 0.177
Secret_07_TRS/5 1.657 0.36 0.369
Secret_07_TRS/7 1.28 0.166 0.161
Strategy_removed_AG01/#4.17 1.238 0.164 0.154
Strategy_removed_AG01/#4.18 1.207 0.136 0.147
Strategy_removed_AG01/#4.20 0.161 0.138 0.153
Strategy_removed_AG01/#4.20a 0.178 0.165 0.171
Strategy_removed_AG01/#4.21 0.201 0.16 0.167
Strategy_removed_AG01/#4.25 1.158 6.17 11.187
Strategy_removed_AG01/#4.28 1.246 6.235 11.254
Strategy_removed_AG01/#4.37 0.203 0.16 0.165
Strategy_removed_AG01/#4.37a 0.223 0.164 0.17
Strategy_removed_CSR_05/Ex1_Zan97 1.158 6.175 11.181
Strategy_removed_CSR_05/Ex4_7_15_Bor03 1.196 6.193 11.198
Strategy_removed_CSR_05/Ex4_7_77_Bor03 1.154 6.155 11.167
Strategy_removed_CSR_05/Ex5_Zan97 1.179 6.182 11.19
problem pm bpm bprm
Strategy_removed_CSR_05/Ex6_GM04 1.162 6.167 11.167
Strategy_removed_CSR_05/ExConc_Zan97 1.151 6.161 11.177
Strategy_removed_CSR_05/ExIntrod_GM01 1.272 6.291 11.301
Strategy_removed_CSR_05/ExIntrod_GM04 1.259 6.259 11.268
Strategy_removed_mixed_05/ex1 1.192 6.168 11.184
Strategy_removed_mixed_05/ex3 1.193 6.204 11.204
Strategy_removed_mixed_05/ex4 1.165 6.173 11.178
Strategy_removed_mixed_05/ex5 1.16 6.166 11.169
Strategy_removed_mixed_05/ex6 1.227 6.217 11.228
Strategy_removed_mixed_05/gkg 1.17 0.158 0.175
Strategy_removed_mixed_05/n001 1.183 0.153 0.146
Strategy_removed_mixed_05/test830 0.204 0.193 0.191
TCT_09/ackhofbauer 1.209 0.14 0.153
TCT_09/add 0.171 0.151 0.157
TCT_09/append 0.164 0.148 0.157
TCT_09/bits 1.239 6.245 11.264
TCT_09/expantiinn 1.209 6.204 11.205
TCT_09/ma2 0.185 0.177 0.179
TCT_09/ma3 0.163 0.168 0.16
TCT_09/ma5 1.203 6.208 11.208
TCT_09/ma9 0.192 0.188 0.181
TCT_09/revappend 1.242 6.246 11.371
TCT_09/shuffle 1.316 6.349 11.778
TCT_09/supexpdg 1.313 6.319 11.272
TCT_09/supexpur 1.227 6.214 11.218
problem pm bpm bprm
TCT_09/z86 1.19 0.141 0.147
Trafo_06/dup01 3.223 0.361 0.361
Trafo_06/dup05 1.717 0.172 0.184
Trafo_06/dup06 2.539 0.151 0.158
Trafo_06/dup07 1.365 0.164 0.153
Trafo_06/dup08 1.433 0.152 0.17
Trafo_06/dup09 2.005 0.157 0.176
Trafo_06/dup10 1.532 0.201 0.178
Trafo_06/dup11 2.655 0.316 0.328
Trafo_06/dup12 1.558 0.184 0.17
Trafo_06/dup13 1.405 0.16 0.16
Trafo_06/dup14 1.509 0.171 0.162
Trafo_06/dup15 1.338 0.159 0.164
Trafo_06/dup16 1.315 0.17 0.181
Trafo_06/dup17 1.353 0.163 0.161
Trafo_06/hom01 1.362 0.162 0.167
Trafo_06/hom02 1.267 0.158 0.161
Trafo_06/hom03 1.587 0.158 0.163
Trafo_06/un02 1.584 0.209 0.216
Trafo_06/un04 1.288 0.156 0.143
Trafo_06/un05 1.257 0.137 0.164
Trafo_06/un06 1.342 0.172 0.157
Trafo_06/un07 2.44 0.159 0.145
Trafo_06/un08 1.284 0.146 0.152
Trafo_06/un09 1.392 0.152 0.17
problem pm bpm bprm
Trafo_06/un10 1.363 0.163 0.156
Trafo_06/un11 1.325 0.142 0.148
Trafo_06/un12 1.383 0.162 0.166
Trafo_06/un13 1.38 0.15 0.156
Trafo_06/un14 3.086 0.196 0.185
Trafo_06/un15 1.536 0.164 0.163
Trafo_06/un16 1.453 0.171 0.171
Trafo_06/un17 1.346 0.151 0.151
Trafo_06/un18 1.366 0.172 0.17
Transformed_CSR_04/Ex14_AEGL02_L 1.168 6.175 11.176
Transformed_CSR_04/Ex14_Luc06_L 1.168 6.168 11.174
Transformed_CSR_04/Ex15_Luc06_C 5.138 0.227 0.233
Transformed_CSR_04/Ex15_Luc06_FR 0.252 0.193 0.192
Transformed_CSR_04/Ex15_Luc06_GM 0.213 0.179 0.189
Transformed_CSR_04/Ex15_Luc06_L 1.142 6.132 11.151
Transformed_CSR_04/Ex15_Luc06_Z 0.23 0.209 0.201
Transformed_CSR_04/Ex15_Luc06_iGM 0.299 0.181 0.172
Transformed_CSR_04/Ex16_Luc06_C 1.574 6.585 5.947
Transformed_CSR_04/Ex16_Luc06_FR 1.181 0.195 0.192
Transformed_CSR_04/Ex16_Luc06_GM 1.227 6.235 11.231
Transformed_CSR_04/Ex16_Luc06_L 1.161 6.148 11.168
Transformed_CSR_04/Ex16_Luc06_iGM 1.254 6.261 5.262
Transformed_CSR_04/Ex18_Luc06_C 6.28 0.217 0.241
Transformed_CSR_04/Ex18_Luc06_FR 0.204 0.221 0.224
Transformed_CSR_04/Ex18_Luc06_GM 0.202 0.222 0.218
problem pm bpm bprm
Transformed_CSR_04/Ex18_Luc06_L 0.132 0.15 0.147
Transformed_CSR_04/Ex18_Luc06_Z 0.163 0.175 0.167
Transformed_CSR_04/Ex18_Luc06_iGM 0.284 0.171 0.17
Transformed_CSR_04/Ex1_GL02a_L 1.196 6.186 11.189
Transformed_CSR_04/Ex1_GM99_L 1.151 6.145 11.156
Transformed_CSR_04/Ex1_Luc04b_C 7.09 1.862 1.899
Transformed_CSR_04/Ex1_Luc04b_FR 1.322 6.322 11.329
Transformed_CSR_04/Ex1_Luc04b_GM 2.738 7.75 12.761
Transformed_CSR_04/Ex1_Luc04b_Z 1.268 6.284 11.297
Transformed_CSR_04/Ex1_Luc04b_iGM 4.501 0.555 0.556
Transformed_CSR_04/Ex1_Zan97_C 7.233 0.323 0.299
Transformed_CSR_04/Ex1_Zan97_FR 1.192 6.209 11.203
Transformed_CSR_04/Ex1_Zan97_GM 0.184 0.225 0.231
Transformed_CSR_04/Ex1_Zan97_L 1.162 6.165 11.16
Transformed_CSR_04/Ex1_Zan97_iGM 2.418 0.195 0.208
Transformed_CSR_04/Ex23_Luc06_C 5.032 0.258 0.268
Transformed_CSR_04/Ex23_Luc06_FR 0.232 0.217 0.223
Transformed_CSR_04/Ex23_Luc06_GM 0.245 0.228 0.215
Transformed_CSR_04/Ex23_Luc06_L 0.134 0.148 0.139
Transformed_CSR_04/Ex23_Luc06_Z 0.165 0.167 0.185
Transformed_CSR_04/Ex23_Luc06_iGM 0.366 0.182 0.193
Transformed_CSR_04/Ex24_GM04_L 1.153 6.155 11.168
Transformed_CSR_04/Ex24_Luc06_L 1.142 6.147 11.167
Transformed_CSR_04/Ex25_Luc06_C 5.215 0.249 0.247
Transformed_CSR_04/Ex25_Luc06_FR 0.268 0.405 0.413
problem pm bpm bprm
Transformed_CSR_04/Ex25_Luc06_GM 0.293 0.318 0.31
Transformed_CSR_04/Ex25_Luc06_L 0.149 0.15 0.162
Transformed_CSR_04/Ex25_Luc06_Z 0.209 0.253 0.245
Transformed_CSR_04/Ex25_Luc06_iGM 0.554 0.179 0.182
Transformed_CSR_04/Ex26_Luc03b_L 0.183 0.204 0.2
Transformed_CSR_04/Ex2_Luc03b_L 0.172 0.19 0.178
Transformed_CSR_04/Ex3_3_25_Bor03_L 0.19 0.185 0.186
Transformed_CSR_04/Ex4_4_Luc96b_L 0.141 0.148 0.139
Transformed_CSR_04/Ex4_7_15_Bor03_C 9.153 0.287 0.278
Transformed_CSR_04/Ex4_7_15_Bor03_FR 0.33 0.257 0.243
Transformed_CSR_04/Ex4_7_15_Bor03_GM 2.507 0.284 0.287
Transformed_CSR_04/Ex4_7_15_Bor03_L 0.171 0.161 0.163
Transformed_CSR_04/Ex4_7_15_Bor03_Z 0.222 0.2 0.213
Transformed_CSR_04/Ex4_7_15_Bor03_iGM 6.666 0.199 0.199
Transformed_CSR_04/Ex4_7_77_Bor03_C 3.066 0.414 0.403
Transformed_CSR_04/Ex4_7_77_Bor03_FR 0.147 0.175 0.2
Transformed_CSR_04/Ex4_7_77_Bor03_GM 0.219 5.236 5.857
Transformed_CSR_04/Ex4_7_77_Bor03_iGM 1.397 0.253 0.241
Transformed_CSR_04/Ex5_Zan97_C 1.728 0.886 0.902
Transformed_CSR_04/Ex5_Zan97_FR 1.233 0.279 0.276
Transformed_CSR_04/Ex5_Zan97_GM 1.303 6.295 11.3
Transformed_CSR_04/Ex5_Zan97_Z 0.155 0.274 0.277
Transformed_CSR_04/Ex5_Zan97_iGM 1.4 0.219 0.204
Transformed_CSR_04/Ex6_GM04_C 4.094 0.558 0.558
Transformed_CSR_04/Ex6_GM04_FR 1.211 6.212 11.22
problem pm bpm bprm
Transformed_CSR_04/Ex6_GM04_GM 0.175 0.208 0.206
Transformed_CSR_04/Ex6_GM04_L 0.137 0.161 0.156
Transformed_CSR_04/Ex6_GM04_iGM 0.227 0.256 0.237
Transformed_CSR_04/Ex6_Luc98_L 0.165 0.154 0.178
Transformed_CSR_04/Ex9_BLR02_L 0.193 0.216 0.204
Transformed_CSR_04/Ex9_Luc06_C 1.567 6.59 8.988
Transformed_CSR_04/Ex9_Luc06_FR 1.195 6.201 11.211
Transformed_CSR_04/Ex9_Luc06_GM 0.222 5.217 10.218
Transformed_CSR_04/Ex9_Luc06_iGM 2.487 7.498 5.526
Transformed_CSR_04/ExConc_Zan97_C 5.324 0.22 0.217
Transformed_CSR_04/ExConc_Zan97_FR 0.254 0.181 0.181
Transformed_CSR_04/ExConc_Zan97_GM 0.225 0.206 0.194
Transformed_CSR_04/ExConc_Zan97_L 0.133 0.15 0.145
Transformed_CSR_04/ExConc_Zan97_Z 1.19 6.175 11.196
Transformed_CSR_04/ExConc_Zan97_iGM 1.387 0.164 0.164
Transformed_CSR_04/ExIntrod_GM01_C 5.059 9.605 14.576
Transformed_CSR_04/ExIntrod_GM01_FR 1.369 6.403 11.42
Transformed_CSR_04/ExIntrod_GM01_GM 3.938 8.943 13.951
Transformed_CSR_04/ExIntrod_GM01_Z 1.38 6.387 11.39
Transformed_CSR_04/ExIntrod_GM01_iGM 2.071 3.017 3.038
Transformed_CSR_04/ExIntrod_GM04_C 5.798 5.162 19.061
Transformed_CSR_04/ExIntrod_GM04_FR 1.453 6.463 11.465
Transformed_CSR_04/ExIntrod_GM04_GM 2.85 7.837 12.868
Transformed_CSR_04/ExIntrod_GM04_Z 1.432 6.439 11.456
Transformed_CSR_04/ExIntrod_GM04_iGM 1.888 0.51 0.504
problem pm bpm bprm
Transformed_CSR_04/ExProp7_Luc06_C 17.216 0.288 0.311
Transformed_CSR_04/ExProp7_Luc06_FR 1.337 0.249 0.279
Transformed_CSR_04/ExProp7_Luc06_GM 1.414 6.417 11.809
Transformed_CSR_04/ExProp7_Luc06_L 1.187 0.179 0.189
Transformed_CSR_04/ExProp7_Luc06_Z 1.242 0.191 0.202
Transformed_CSR_04/ExProp7_Luc06_iGM 3.012 0.2 0.192
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR 1.265 6.281 11.27
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C 3.086 0.709 0.717
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR 1.23 6.234 11.231
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM 1.448 6.448 11.471
Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM 1.699 0.314 0.289
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C 4.302 0.897 0.858
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM 1.61 6.613 11.641
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM 1.957 0.325 0.322
Transformed_CSR_04/OvConsOS_nosorts-noand_FR 1.518 6.522 11.524
Transformed_CSR_04/OvConsOS_nosorts-noand_Z 1.485 6.483 11.466
Transformed_CSR_04/OvConsOS_nosorts_C 4.565 0.944 0.941
Transformed_CSR_04/OvConsOS_nosorts_FR 1.347 6.357 11.364
Transformed_CSR_04/OvConsOS_nosorts_GM 2.573 7.602 12.606
Transformed_CSR_04/OvConsOS_nosorts_Z 1.294 6.3 11.313
Transformed_CSR_04/OvConsOS_nosorts_iGM 4.531 0.354 0.337
Transformed_CSR_04/OvConsOS_nosorts_noand_C 10.166 15.202 20.121
Transformed_CSR_04/OvConsOS_nosorts_noand_GM 1.716 6.736 11.716
Transformed_CSR_04/OvConsOS_nosorts_noand_iGM 3.321 1.333 1.34
Transformed_CSR_04/PALINDROME_complete-noand_L 2.052 7.032 12.031
problem pm bpm bprm
Transformed_CSR_04/PALINDROME_nokinds-noand_FR 2.215 7.216 12.271
Transformed_CSR_04/PALINDROME_nokinds-noand_L 1.573 6.573 12.309
Transformed_CSR_04/PALINDROME_nokinds-noand_Z 0.949 5.958 10.911
Transformed_CSR_04/PALINDROME_nokinds_C 3.498 8.495 13.474
Transformed_CSR_04/PALINDROME_nokinds_FR 1.758 6.793 11.819
Transformed_CSR_04/PALINDROME_nokinds_GM 1.723 6.785 11.781
Transformed_CSR_04/PALINDROME_nokinds_Z 0.609 5.566 10.586
Transformed_CSR_04/PALINDROME_nokinds_iGM 2.524 0.553 0.548
Transformed_CSR_04/PALINDROME_nokinds_noand_C 14.016 18.304 23.453
Transformed_CSR_04/PALINDROME_nokinds_noand_GM 2.648 7.662 12.671
Transformed_CSR_04/PALINDROME_nokinds_noand_iGM 4.278 0.905 0.941
Transformed_CSR_04/PALINDROME_nosorts-noand_FR 0.227 0.231 0.243
Transformed_CSR_04/PALINDROME_nosorts-noand_L 0.208 0.234 0.238
Transformed_CSR_04/PALINDROME_nosorts_C 6.123 0.52 0.529
Transformed_CSR_04/PALINDROME_nosorts_FR 0.202 0.246 0.236
Transformed_CSR_04/PALINDROME_nosorts_GM 1.377 6.387 11.394
Transformed_CSR_04/PALINDROME_nosorts_iGM 1.644 0.237 0.247
Transformed_CSR_04/PALINDROME_nosorts_noand_C 8.221 0.496 0.493
Transformed_CSR_04/PALINDROME_nosorts_noand_GM 1.316 6.34 11.35
Transformed_CSR_04/PALINDROME_nosorts_noand_iGM 1.533 0.233 0.24
Transformed_CSR_04/PEANO_nosorts-noand_FR 0.197 5.199 10.205
Transformed_CSR_04/PEANO_nosorts_C 6.218 0.328 0.337
Transformed_CSR_04/PEANO_nosorts_FR 0.195 0.171 0.174
Transformed_CSR_04/PEANO_nosorts_GM 1.304 6.326 11.326
Transformed_CSR_04/PEANO_nosorts_iGM 1.436 0.187 0.209
problem pm bpm bprm
Transformed_CSR_04/PEANO_nosorts_noand_C 3.216 0.752 0.75
Transformed_CSR_04/PEANO_nosorts_noand_GM 1.38 6.364 11.386
Transformed_CSR_04/PEANO_nosorts_noand_iGM 1.686 0.234 0.243
Various_04/07 0.141 0.18 0.187
Various_04/15 1.202 0.18 0.171
Various_04/18 1.228 0.162 0.159
Various_04/19 1.257 0.199 0.183
Various_04/21 2.748 7.77 6.049
Various_04/23 0.202 5.218 10.204
Various_04/24 1.348 6.341 5.865
Various_04/25 0.166 0.178 0.177
Various_04/27 0.157 0.147 0.142
Waldmann_06/jwaprove1 1.199 0.154 0.144
Waldmann_06/jwaprove2 1.192 0.138 0.152
Waldmann_06/jwcime1 1.198 0.144 0.142
Waldmann_06/jwcime2 1.198 0.159 0.141
Waldmann_06/jwmatchb1 1.191 0.195 0.203
Waldmann_06/jwmatchb2 1.189 0.182 0.193
Waldmann_06/jwno1 1.198 6.184 11.191
Waldmann_06/jwno2 1.174 0.135 0.14
Waldmann_06/jwno3 1.207 0.154 0.165
Waldmann_06/jwno4 1.178 6.176 11.185
Waldmann_06/jwno5 1.171 0.141 0.148
Waldmann_06/jwno6 1.166 6.17 11.174
Waldmann_06/jwno7 1.197 0.138 0.139
problem pm bpm bprm
Waldmann_06/jwno8 1.205 0.146 0.133
Waldmann_06/jwno9 1.194 0.145 0.143
Waldmann_06/jwtpa1 1.193 0.142 0.139
Waldmann_06/jwtpa2 1.204 0.156 0.154
Waldmann_06/jwttt 1.189 0.144 0.144
Waldmann_06_SRS/e 2.736 0.319 0.309
Waldmann_06_SRS/jw1 1.196 0.138 0.137
Waldmann_06_SRS/jw3 1.376 0.192 0.204
Waldmann_06_SRS/jw4 1.43 0.15 0.164
Waldmann_06_SRS/jw5 1.527 0.181 0.177
Waldmann_06_SRS/pi 2.689 0.266 0.281
Waldmann_06_SRS/sym-1 1.198 0.159 0.149
Waldmann_06_SRS/sym-2 1.238 0.143 0.14
Waldmann_06_SRS/sym-4 1.2 0.156 0.146
Waldmann_06_SRS/sym-5 1.23 0.141 0.146
Waldmann_06_SRS/sym-6 1.201 0.143 0.147
Waldmann_06_SRS/uni-1 1.185 0.152 0.15
Waldmann_06_SRS/uni-2 1.22 0.155 0.149
Waldmann_06_SRS/uni-3 1.251 0.15 0.154
Waldmann_06_SRS/uni-4 1.212 0.149 0.149
Waldmann_06_SRS/uni-5 1.218 0.149 0.139
Waldmann_06_SRS/uni-6 1.256 0.156 0.16
Waldmann_06_SRS/uni-7 1.273 0.142 0.141
Waldmann_06_SRS/z086-variant 1.201 0.147 0.156
Waldmann_07_size11/size-11-alpha-2-num-1 1.222 0.132 0.137
problem pm bpm bprm
Waldmann_07_size11/size-11-alpha-2-num-2 1.227 0.153 0.148
Waldmann_07_size11/size-11-alpha-2-num-3 1.218 0.149 0.142
Waldmann_07_size11/size-11-alpha-2-num-4 1.212 0.15 0.147
Waldmann_07_size11/size-11-alpha-3-num-1 1.188 0.146 0.152
Waldmann_07_size11/size-11-alpha-3-num-10 1.209 0.173 0.161
Waldmann_07_size11/size-11-alpha-3-num-11 1.18 0.173 0.178
Waldmann_07_size11/size-11-alpha-3-num-12 1.199 6.189 11.205
Waldmann_07_size11/size-11-alpha-3-num-13 1.197 0.156 0.144
Waldmann_07_size11/size-11-alpha-3-num-14 1.205 6.202 11.208
Waldmann_07_size11/size-11-alpha-3-num-15 1.198 0.152 0.159
Waldmann_07_size11/size-11-alpha-3-num-16 1.195 6.2 11.207
Waldmann_07_size11/size-11-alpha-3-num-17 1.224 0.162 0.149
Waldmann_07_size11/size-11-alpha-3-num-18 1.229 0.142 0.152
Waldmann_07_size11/size-11-alpha-3-num-19 1.223 0.142 0.147
Waldmann_07_size11/size-11-alpha-3-num-2 1.209 6.202 11.216
Waldmann_07_size11/size-11-alpha-3-num-20 1.216 0.147 0.151
Waldmann_07_size11/size-11-alpha-3-num-21 1.201 0.165 0.159
Waldmann_07_size11/size-11-alpha-3-num-3 1.204 0.158 0.153
Waldmann_07_size11/size-11-alpha-3-num-4 1.205 0.148 0.155
Waldmann_07_size11/size-11-alpha-3-num-5 1.213 0.158 0.156
Waldmann_07_size11/size-11-alpha-3-num-6 1.21 0.151 0.155
Waldmann_07_size11/size-11-alpha-3-num-7 1.21 0.152 0.163
Waldmann_07_size11/size-11-alpha-3-num-8 1.202 0.158 0.145
Waldmann_07_size11/size-11-alpha-3-num-9 1.223 0.175 0.187
Waldmann_07_size12/size-12-alpha-2-num-1 1.218 0.156 0.148
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-2-num-10 1.228 0.137 0.146
Waldmann_07_size12/size-12-alpha-2-num-11 1.223 0.148 0.144
Waldmann_07_size12/size-12-alpha-2-num-12 1.233 0.144 0.15
Waldmann_07_size12/size-12-alpha-2-num-13 1.219 0.146 0.141
Waldmann_07_size12/size-12-alpha-2-num-14 1.215 0.147 0.148
Waldmann_07_size12/size-12-alpha-2-num-15 1.198 0.152 0.155
Waldmann_07_size12/size-12-alpha-2-num-16 1.205 0.143 0.141
Waldmann_07_size12/size-12-alpha-2-num-17 1.215 0.139 0.155
Waldmann_07_size12/size-12-alpha-2-num-18 1.224 0.145 0.155
Waldmann_07_size12/size-12-alpha-2-num-19 1.204 0.157 0.138
Waldmann_07_size12/size-12-alpha-2-num-2 1.212 6.218 11.227
Waldmann_07_size12/size-12-alpha-2-num-20 1.209 0.16 0.151
Waldmann_07_size12/size-12-alpha-2-num-21 1.207 0.136 0.15
Waldmann_07_size12/size-12-alpha-2-num-22 1.203 0.149 0.161
Waldmann_07_size12/size-12-alpha-2-num-3 1.215 0.137 0.149
Waldmann_07_size12/size-12-alpha-2-num-4 1.227 0.145 0.142
Waldmann_07_size12/size-12-alpha-2-num-5 1.234 0.155 0.136
Waldmann_07_size12/size-12-alpha-2-num-6 1.236 6.225 11.233
Waldmann_07_size12/size-12-alpha-2-num-7 1.227 0.158 0.153
Waldmann_07_size12/size-12-alpha-2-num-8 1.228 6.223 11.221
Waldmann_07_size12/size-12-alpha-3-num-1 1.195 0.158 0.153
Waldmann_07_size12/size-12-alpha-3-num-10 1.218 0.143 0.159
Waldmann_07_size12/size-12-alpha-3-num-100 1.215 0.145 0.138
Waldmann_07_size12/size-12-alpha-3-num-101 1.206 0.149 0.153
Waldmann_07_size12/size-12-alpha-3-num-104 1.22 0.156 0.158
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-105 1.241 0.155 0.151
Waldmann_07_size12/size-12-alpha-3-num-106 1.22 0.153 0.17
Waldmann_07_size12/size-12-alpha-3-num-107 1.204 0.157 0.151
Waldmann_07_size12/size-12-alpha-3-num-108 1.201 0.145 0.158
Waldmann_07_size12/size-12-alpha-3-num-109 1.231 0.148 0.154
Waldmann_07_size12/size-12-alpha-3-num-11 1.208 0.139 0.149
Waldmann_07_size12/size-12-alpha-3-num-110 1.219 0.156 0.15
Waldmann_07_size12/size-12-alpha-3-num-111 1.218 0.148 0.156
Waldmann_07_size12/size-12-alpha-3-num-112 1.218 0.145 0.154
Waldmann_07_size12/size-12-alpha-3-num-113 1.213 0.138 0.148
Waldmann_07_size12/size-12-alpha-3-num-114 1.203 0.147 0.149
Waldmann_07_size12/size-12-alpha-3-num-120 1.198 6.224 11.206
Waldmann_07_size12/size-12-alpha-3-num-121 1.207 0.139 0.149
Waldmann_07_size12/size-12-alpha-3-num-122 1.218 0.148 0.147
Waldmann_07_size12/size-12-alpha-3-num-123 1.214 0.185 0.198
Waldmann_07_size12/size-12-alpha-3-num-124 1.209 0.163 0.151
Waldmann_07_size12/size-12-alpha-3-num-125 1.216 0.158 0.157
Waldmann_07_size12/size-12-alpha-3-num-126 1.22 0.171 0.18
Waldmann_07_size12/size-12-alpha-3-num-127 1.2 0.16 0.158
Waldmann_07_size12/size-12-alpha-3-num-128 1.207 0.155 0.152
Waldmann_07_size12/size-12-alpha-3-num-129 1.21 6.208 11.222
Waldmann_07_size12/size-12-alpha-3-num-13 1.207 0.172 0.166
Waldmann_07_size12/size-12-alpha-3-num-131 1.212 0.155 0.165
Waldmann_07_size12/size-12-alpha-3-num-132 1.224 6.221 11.241
Waldmann_07_size12/size-12-alpha-3-num-133 1.218 6.233 11.222
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-134 1.205 0.149 0.144
Waldmann_07_size12/size-12-alpha-3-num-135 1.207 0.157 0.161
Waldmann_07_size12/size-12-alpha-3-num-14 1.195 0.179 0.169
Waldmann_07_size12/size-12-alpha-3-num-140 1.218 0.163 0.148
Waldmann_07_size12/size-12-alpha-3-num-146 1.233 0.15 0.143
Waldmann_07_size12/size-12-alpha-3-num-149 1.237 0.151 0.145
Waldmann_07_size12/size-12-alpha-3-num-15 1.198 0.148 0.141
Waldmann_07_size12/size-12-alpha-3-num-152 1.235 0.146 0.158
Waldmann_07_size12/size-12-alpha-3-num-158 1.212 6.208 11.217
Waldmann_07_size12/size-12-alpha-3-num-159 1.21 0.161 0.167
Waldmann_07_size12/size-12-alpha-3-num-16 1.211 0.15 0.158
Waldmann_07_size12/size-12-alpha-3-num-160 1.241 0.15 0.144
Waldmann_07_size12/size-12-alpha-3-num-163 1.193 0.156 0.155
Waldmann_07_size12/size-12-alpha-3-num-164 1.209 0.144 0.149
Waldmann_07_size12/size-12-alpha-3-num-165 1.208 0.152 0.151
Waldmann_07_size12/size-12-alpha-3-num-168 1.208 0.143 0.158
Waldmann_07_size12/size-12-alpha-3-num-17 1.207 0.154 0.143
Waldmann_07_size12/size-12-alpha-3-num-170 1.195 6.213 11.211
Waldmann_07_size12/size-12-alpha-3-num-174 1.204 0.185 0.186
Waldmann_07_size12/size-12-alpha-3-num-176 1.229 0.161 0.16
Waldmann_07_size12/size-12-alpha-3-num-177 1.194 0.157 0.159
Waldmann_07_size12/size-12-alpha-3-num-178 1.228 0.145 0.159
Waldmann_07_size12/size-12-alpha-3-num-179 1.222 6.227 11.224
Waldmann_07_size12/size-12-alpha-3-num-180 1.234 0.148 0.154
Waldmann_07_size12/size-12-alpha-3-num-181 1.217 0.152 0.16
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-186 1.199 0.162 0.169
Waldmann_07_size12/size-12-alpha-3-num-19 1.194 0.148 0.148
Waldmann_07_size12/size-12-alpha-3-num-190 1.23 0.14 0.156
Waldmann_07_size12/size-12-alpha-3-num-191 1.212 0.148 0.158
Waldmann_07_size12/size-12-alpha-3-num-194 1.23 0.145 0.161
Waldmann_07_size12/size-12-alpha-3-num-195 1.236 0.142 0.156
Waldmann_07_size12/size-12-alpha-3-num-198 1.223 0.167 0.159
Waldmann_07_size12/size-12-alpha-3-num-199 1.219 0.151 0.165
Waldmann_07_size12/size-12-alpha-3-num-20 1.232 0.159 0.168
Waldmann_07_size12/size-12-alpha-3-num-200 1.2 0.142 0.143
Waldmann_07_size12/size-12-alpha-3-num-201 1.209 0.158 0.155
Waldmann_07_size12/size-12-alpha-3-num-202 1.22 0.155 0.163
Waldmann_07_size12/size-12-alpha-3-num-203 1.22 0.145 0.149
Waldmann_07_size12/size-12-alpha-3-num-204 1.21 0.147 0.149
Waldmann_07_size12/size-12-alpha-3-num-206 1.205 0.162 0.162
Waldmann_07_size12/size-12-alpha-3-num-207 1.236 0.156 0.156
Waldmann_07_size12/size-12-alpha-3-num-209 1.207 0.151 0.146
Waldmann_07_size12/size-12-alpha-3-num-21 1.222 0.154 0.143
Waldmann_07_size12/size-12-alpha-3-num-210 1.232 0.144 0.154
Waldmann_07_size12/size-12-alpha-3-num-211 1.202 0.156 0.168
Waldmann_07_size12/size-12-alpha-3-num-213 1.225 0.159 0.151
Waldmann_07_size12/size-12-alpha-3-num-215 1.213 0.153 0.156
Waldmann_07_size12/size-12-alpha-3-num-217 1.207 0.162 0.167
Waldmann_07_size12/size-12-alpha-3-num-219 1.202 0.158 0.149
Waldmann_07_size12/size-12-alpha-3-num-22 1.224 0.154 0.161
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-220 1.209 0.148 0.157
Waldmann_07_size12/size-12-alpha-3-num-221 1.202 0.153 0.151
Waldmann_07_size12/size-12-alpha-3-num-222 1.206 0.156 0.161
Waldmann_07_size12/size-12-alpha-3-num-223 1.243 0.153 0.151
Waldmann_07_size12/size-12-alpha-3-num-224 1.207 0.167 0.17
Waldmann_07_size12/size-12-alpha-3-num-225 1.218 0.157 0.153
Waldmann_07_size12/size-12-alpha-3-num-226 1.197 0.144 0.151
Waldmann_07_size12/size-12-alpha-3-num-227 1.196 0.143 0.149
Waldmann_07_size12/size-12-alpha-3-num-23 1.212 0.158 0.159
Waldmann_07_size12/size-12-alpha-3-num-231 1.211 0.164 0.152
Waldmann_07_size12/size-12-alpha-3-num-232 1.206 0.166 0.154
Waldmann_07_size12/size-12-alpha-3-num-233 1.208 0.158 0.162
Waldmann_07_size12/size-12-alpha-3-num-236 1.198 0.163 0.155
Waldmann_07_size12/size-12-alpha-3-num-237 1.209 0.148 0.163
Waldmann_07_size12/size-12-alpha-3-num-238 1.203 6.211 11.212
Waldmann_07_size12/size-12-alpha-3-num-239 1.202 0.163 0.154
Waldmann_07_size12/size-12-alpha-3-num-241 1.194 0.148 0.147
Waldmann_07_size12/size-12-alpha-3-num-243 1.23 6.218 11.219
Waldmann_07_size12/size-12-alpha-3-num-247 1.223 6.216 11.208
Waldmann_07_size12/size-12-alpha-3-num-248 1.208 0.18 0.183
Waldmann_07_size12/size-12-alpha-3-num-249 1.203 6.219 11.221
Waldmann_07_size12/size-12-alpha-3-num-255 1.214 0.157 0.147
Waldmann_07_size12/size-12-alpha-3-num-257 1.21 0.16 0.152
Waldmann_07_size12/size-12-alpha-3-num-260 1.224 6.222 11.237
Waldmann_07_size12/size-12-alpha-3-num-263 1.21 6.207 11.217
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-265 1.221 0.146 0.146
Waldmann_07_size12/size-12-alpha-3-num-267 1.206 0.144 0.149
Waldmann_07_size12/size-12-alpha-3-num-270 1.214 6.207 11.219
Waldmann_07_size12/size-12-alpha-3-num-271 1.224 6.211 11.213
Waldmann_07_size12/size-12-alpha-3-num-272 1.214 6.219 11.23
Waldmann_07_size12/size-12-alpha-3-num-273 1.207 0.148 0.155
Waldmann_07_size12/size-12-alpha-3-num-274 1.211 0.162 0.173
Waldmann_07_size12/size-12-alpha-3-num-275 1.194 6.206 11.212
Waldmann_07_size12/size-12-alpha-3-num-279 1.202 0.15 0.151
Waldmann_07_size12/size-12-alpha-3-num-281 1.182 0.149 0.151
Waldmann_07_size12/size-12-alpha-3-num-282 1.217 0.148 0.151
Waldmann_07_size12/size-12-alpha-3-num-283 1.19 0.169 0.172
Waldmann_07_size12/size-12-alpha-3-num-284 1.233 0.162 0.161
Waldmann_07_size12/size-12-alpha-3-num-285 1.209 0.14 0.154
Waldmann_07_size12/size-12-alpha-3-num-286 1.207 6.208 11.222
Waldmann_07_size12/size-12-alpha-3-num-287 1.192 0.153 0.163
Waldmann_07_size12/size-12-alpha-3-num-288 1.203 0.161 0.145
Waldmann_07_size12/size-12-alpha-3-num-289 1.205 6.209 11.211
Waldmann_07_size12/size-12-alpha-3-num-291 1.2 0.144 0.151
Waldmann_07_size12/size-12-alpha-3-num-292 1.209 0.151 0.142
Waldmann_07_size12/size-12-alpha-3-num-293 1.224 0.159 0.156
Waldmann_07_size12/size-12-alpha-3-num-294 1.21 0.139 0.14
Waldmann_07_size12/size-12-alpha-3-num-296 1.224 6.229 11.239
Waldmann_07_size12/size-12-alpha-3-num-297 1.206 6.215 11.238
Waldmann_07_size12/size-12-alpha-3-num-298 1.221 6.217 11.238
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-299 1.183 0.141 0.161
Waldmann_07_size12/size-12-alpha-3-num-3 1.215 0.159 0.156
Waldmann_07_size12/size-12-alpha-3-num-30 1.216 0.157 0.157
Waldmann_07_size12/size-12-alpha-3-num-300 1.193 6.205 11.22
Waldmann_07_size12/size-12-alpha-3-num-301 1.21 0.145 0.158
Waldmann_07_size12/size-12-alpha-3-num-303 1.232 0.152 0.159
Waldmann_07_size12/size-12-alpha-3-num-304 1.242 6.219 11.245
Waldmann_07_size12/size-12-alpha-3-num-309 1.213 0.16 0.159
Waldmann_07_size12/size-12-alpha-3-num-31 1.232 0.151 0.171
Waldmann_07_size12/size-12-alpha-3-num-32 1.215 0.146 0.161
Waldmann_07_size12/size-12-alpha-3-num-327 1.227 6.224 11.222
Waldmann_07_size12/size-12-alpha-3-num-328 1.197 0.16 0.148
Waldmann_07_size12/size-12-alpha-3-num-330 1.183 0.188 0.188
Waldmann_07_size12/size-12-alpha-3-num-335 1.207 0.169 0.162
Waldmann_07_size12/size-12-alpha-3-num-337 1.215 0.142 0.159
Waldmann_07_size12/size-12-alpha-3-num-338 1.205 0.158 0.154
Waldmann_07_size12/size-12-alpha-3-num-339 1.217 0.158 0.148
Waldmann_07_size12/size-12-alpha-3-num-340 1.226 0.154 0.153
Waldmann_07_size12/size-12-alpha-3-num-341 1.229 0.153 0.145
Waldmann_07_size12/size-12-alpha-3-num-343 1.207 0.159 0.139
Waldmann_07_size12/size-12-alpha-3-num-345 1.211 6.228 11.222
Waldmann_07_size12/size-12-alpha-3-num-346 1.233 0.157 0.16
Waldmann_07_size12/size-12-alpha-3-num-347 1.192 0.162 0.144
Waldmann_07_size12/size-12-alpha-3-num-348 1.205 0.155 0.157
Waldmann_07_size12/size-12-alpha-3-num-35 1.226 0.157 0.145
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-350 1.2 0.157 0.145
Waldmann_07_size12/size-12-alpha-3-num-351 1.188 0.149 0.148
Waldmann_07_size12/size-12-alpha-3-num-352 1.206 0.158 0.146
Waldmann_07_size12/size-12-alpha-3-num-353 1.206 6.208 11.228
Waldmann_07_size12/size-12-alpha-3-num-354 1.212 6.222 11.203
Waldmann_07_size12/size-12-alpha-3-num-355 1.222 0.152 0.159
Waldmann_07_size12/size-12-alpha-3-num-356 1.218 0.154 0.148
Waldmann_07_size12/size-12-alpha-3-num-359 1.187 6.201 11.208
Waldmann_07_size12/size-12-alpha-3-num-360 1.226 0.146 0.152
Waldmann_07_size12/size-12-alpha-3-num-361 1.211 6.229 11.228
Waldmann_07_size12/size-12-alpha-3-num-362 1.231 6.216 11.236
Waldmann_07_size12/size-12-alpha-3-num-363 1.219 6.212 11.225
Waldmann_07_size12/size-12-alpha-3-num-366 1.217 0.149 0.157
Waldmann_07_size12/size-12-alpha-3-num-367 1.223 0.139 0.149
Waldmann_07_size12/size-12-alpha-3-num-368 1.203 0.156 0.155
Waldmann_07_size12/size-12-alpha-3-num-369 1.222 0.14 0.153
Waldmann_07_size12/size-12-alpha-3-num-373 1.216 6.208 11.22
Waldmann_07_size12/size-12-alpha-3-num-374 1.225 0.15 0.158
Waldmann_07_size12/size-12-alpha-3-num-375 1.223 6.223 11.227
Waldmann_07_size12/size-12-alpha-3-num-376 1.224 0.174 0.169
Waldmann_07_size12/size-12-alpha-3-num-377 1.205 0.177 0.183
Waldmann_07_size12/size-12-alpha-3-num-378 1.229 0.16 0.152
Waldmann_07_size12/size-12-alpha-3-num-382 1.226 0.139 0.157
Waldmann_07_size12/size-12-alpha-3-num-383 1.227 0.152 0.148
Waldmann_07_size12/size-12-alpha-3-num-384 1.232 0.144 0.145
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-385 1.211 0.15 0.148
Waldmann_07_size12/size-12-alpha-3-num-386 1.206 0.143 0.156
Waldmann_07_size12/size-12-alpha-3-num-389 1.218 0.144 0.158
Waldmann_07_size12/size-12-alpha-3-num-391 1.207 0.155 0.153
Waldmann_07_size12/size-12-alpha-3-num-392 1.21 0.148 0.15
Waldmann_07_size12/size-12-alpha-3-num-395 1.228 6.231 11.233
Waldmann_07_size12/size-12-alpha-3-num-396 1.212 6.214 11.221
Waldmann_07_size12/size-12-alpha-3-num-399 1.207 0.138 0.158
Waldmann_07_size12/size-12-alpha-3-num-4 1.204 0.148 0.157
Waldmann_07_size12/size-12-alpha-3-num-40 1.209 0.165 0.15
Waldmann_07_size12/size-12-alpha-3-num-400 1.232 0.149 0.141
Waldmann_07_size12/size-12-alpha-3-num-401 1.227 0.156 0.162
Waldmann_07_size12/size-12-alpha-3-num-402 1.243 0.139 0.148
Waldmann_07_size12/size-12-alpha-3-num-403 1.216 0.155 0.157
Waldmann_07_size12/size-12-alpha-3-num-406 1.236 0.155 0.142
Waldmann_07_size12/size-12-alpha-3-num-408 1.207 0.151 0.152
Waldmann_07_size12/size-12-alpha-3-num-409 1.216 0.147 0.152
Waldmann_07_size12/size-12-alpha-3-num-41 1.188 0.163 0.164
Waldmann_07_size12/size-12-alpha-3-num-410 1.223 0.14 0.148
Waldmann_07_size12/size-12-alpha-3-num-412 1.241 0.142 0.164
Waldmann_07_size12/size-12-alpha-3-num-413 1.216 0.143 0.163
Waldmann_07_size12/size-12-alpha-3-num-414 1.213 0.16 0.178
Waldmann_07_size12/size-12-alpha-3-num-415 1.208 0.15 0.147
Waldmann_07_size12/size-12-alpha-3-num-416 1.23 0.144 0.16
Waldmann_07_size12/size-12-alpha-3-num-417 1.219 0.156 0.143
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-418 1.23 0.158 0.157
Waldmann_07_size12/size-12-alpha-3-num-427 1.208 0.148 0.146
Waldmann_07_size12/size-12-alpha-3-num-429 1.206 6.204 11.202
Waldmann_07_size12/size-12-alpha-3-num-430 1.212 0.139 0.142
Waldmann_07_size12/size-12-alpha-3-num-431 1.209 0.158 0.16
Waldmann_07_size12/size-12-alpha-3-num-434 1.211 6.219 11.214
Waldmann_07_size12/size-12-alpha-3-num-435 1.22 0.162 0.158
Waldmann_07_size12/size-12-alpha-3-num-436 1.205 6.215 11.228
Waldmann_07_size12/size-12-alpha-3-num-437 1.218 6.221 11.224
Waldmann_07_size12/size-12-alpha-3-num-438 1.224 6.206 11.21
Waldmann_07_size12/size-12-alpha-3-num-439 1.202 6.208 11.197
Waldmann_07_size12/size-12-alpha-3-num-44 1.199 0.146 0.154
Waldmann_07_size12/size-12-alpha-3-num-441 1.189 6.207 11.21
Waldmann_07_size12/size-12-alpha-3-num-443 1.198 6.202 11.202
Waldmann_07_size12/size-12-alpha-3-num-446 1.188 0.155 0.148
Waldmann_07_size12/size-12-alpha-3-num-448 1.207 6.209 11.217
Waldmann_07_size12/size-12-alpha-3-num-45 1.184 0.16 0.165
Waldmann_07_size12/size-12-alpha-3-num-450 1.206 6.204 11.218
Waldmann_07_size12/size-12-alpha-3-num-451 1.217 0.159 0.149
Waldmann_07_size12/size-12-alpha-3-num-452 1.203 0.144 0.152
Waldmann_07_size12/size-12-alpha-3-num-453 1.191 0.16 0.165
Waldmann_07_size12/size-12-alpha-3-num-454 1.218 0.159 0.148
Waldmann_07_size12/size-12-alpha-3-num-455 1.205 0.151 0.154
Waldmann_07_size12/size-12-alpha-3-num-456 1.199 6.205 11.219
Waldmann_07_size12/size-12-alpha-3-num-460 1.203 0.163 0.163
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-461 1.22 0.154 0.161
Waldmann_07_size12/size-12-alpha-3-num-462 1.213 0.157 0.159
Waldmann_07_size12/size-12-alpha-3-num-465 1.189 0.143 0.147
Waldmann_07_size12/size-12-alpha-3-num-467 1.222 0.162 0.165
Waldmann_07_size12/size-12-alpha-3-num-468 1.202 0.149 0.144
Waldmann_07_size12/size-12-alpha-3-num-469 1.211 0.15 0.155
Waldmann_07_size12/size-12-alpha-3-num-47 1.202 6.209 11.21
Waldmann_07_size12/size-12-alpha-3-num-470 1.211 0.15 0.143
Waldmann_07_size12/size-12-alpha-3-num-472 1.205 0.162 0.163
Waldmann_07_size12/size-12-alpha-3-num-473 1.189 0.156 0.146
Waldmann_07_size12/size-12-alpha-3-num-474 1.209 0.141 0.143
Waldmann_07_size12/size-12-alpha-3-num-475 1.211 0.149 0.145
Waldmann_07_size12/size-12-alpha-3-num-476 1.211 0.149 0.142
Waldmann_07_size12/size-12-alpha-3-num-477 1.199 6.203 11.206
Waldmann_07_size12/size-12-alpha-3-num-478 1.194 0.142 0.152
Waldmann_07_size12/size-12-alpha-3-num-479 1.201 0.15 0.143
Waldmann_07_size12/size-12-alpha-3-num-48 1.205 6.202 11.207
Waldmann_07_size12/size-12-alpha-3-num-480 1.214 6.225 11.218
Waldmann_07_size12/size-12-alpha-3-num-482 1.196 6.209 11.213
Waldmann_07_size12/size-12-alpha-3-num-484 1.221 0.145 0.155
Waldmann_07_size12/size-12-alpha-3-num-485 1.182 0.165 0.181
Waldmann_07_size12/size-12-alpha-3-num-487 1.206 0.162 0.16
Waldmann_07_size12/size-12-alpha-3-num-488 1.199 6.194 11.197
Waldmann_07_size12/size-12-alpha-3-num-489 1.192 0.154 0.163
Waldmann_07_size12/size-12-alpha-3-num-49 1.201 6.21 11.217
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-491 1.233 6.22 11.219
Waldmann_07_size12/size-12-alpha-3-num-492 1.21 6.212 11.208
Waldmann_07_size12/size-12-alpha-3-num-493 1.22 0.147 0.149
Waldmann_07_size12/size-12-alpha-3-num-494 1.196 0.141 0.154
Waldmann_07_size12/size-12-alpha-3-num-495 1.21 0.155 0.149
Waldmann_07_size12/size-12-alpha-3-num-497 1.196 0.148 0.149
Waldmann_07_size12/size-12-alpha-3-num-498 1.193 0.148 0.157
Waldmann_07_size12/size-12-alpha-3-num-499 1.2 0.148 0.138
Waldmann_07_size12/size-12-alpha-3-num-502 1.187 0.17 0.156
Waldmann_07_size12/size-12-alpha-3-num-503 1.211 0.14 0.147
Waldmann_07_size12/size-12-alpha-3-num-506 1.225 0.146 0.152
Waldmann_07_size12/size-12-alpha-3-num-507 1.198 0.147 0.143
Waldmann_07_size12/size-12-alpha-3-num-508 1.183 6.201 11.204
Waldmann_07_size12/size-12-alpha-3-num-51 1.213 0.142 0.153
Waldmann_07_size12/size-12-alpha-3-num-511 1.189 0.162 0.17
Waldmann_07_size12/size-12-alpha-3-num-52 1.218 0.148 0.151
Waldmann_07_size12/size-12-alpha-3-num-522 1.236 0.158 0.143
Waldmann_07_size12/size-12-alpha-3-num-526 1.216 0.143 0.145
Waldmann_07_size12/size-12-alpha-3-num-532 1.195 6.211 11.212
Waldmann_07_size12/size-12-alpha-3-num-535 1.226 0.146 0.172
Waldmann_07_size12/size-12-alpha-3-num-536 1.221 0.147 0.152
Waldmann_07_size12/size-12-alpha-3-num-540 1.197 6.194 11.217
Waldmann_07_size12/size-12-alpha-3-num-541 1.206 6.22 11.211
Waldmann_07_size12/size-12-alpha-3-num-543 1.22 6.241 11.241
Waldmann_07_size12/size-12-alpha-3-num-545 1.222 6.213 11.224
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-546 1.186 6.212 11.201
Waldmann_07_size12/size-12-alpha-3-num-547 1.215 6.204 11.209
Waldmann_07_size12/size-12-alpha-3-num-548 1.24 6.234 11.226
Waldmann_07_size12/size-12-alpha-3-num-549 1.204 0.188 0.18
Waldmann_07_size12/size-12-alpha-3-num-550 1.2 6.218 11.21
Waldmann_07_size12/size-12-alpha-3-num-551 1.21 6.213 11.223
Waldmann_07_size12/size-12-alpha-3-num-552 1.207 6.208 11.207
Waldmann_07_size12/size-12-alpha-3-num-553 1.216 6.224 11.235
Waldmann_07_size12/size-12-alpha-3-num-556 1.22 6.23 11.237
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.219 11.203
Waldmann_07_size12/size-12-alpha-3-num-560 1.208 6.211 11.217
Waldmann_07_size12/size-12-alpha-3-num-561 1.194 6.209 11.211
Waldmann_07_size12/size-12-alpha-3-num-563 1.197 6.203 11.212
Waldmann_07_size12/size-12-alpha-3-num-564 1.193 6.196 11.208
Waldmann_07_size12/size-12-alpha-3-num-565 1.199 6.204 11.2
Waldmann_07_size12/size-12-alpha-3-num-566 1.185 6.194 11.202
Waldmann_07_size12/size-12-alpha-3-num-568 1.216 0.15 0.151
Waldmann_07_size12/size-12-alpha-3-num-57 1.194 0.142 0.154
Waldmann_07_size12/size-12-alpha-3-num-59 1.199 6.203 11.208
Waldmann_07_size12/size-12-alpha-3-num-61 1.204 0.153 0.14
Waldmann_07_size12/size-12-alpha-3-num-64 1.192 0.159 0.164
Waldmann_07_size12/size-12-alpha-3-num-65 1.196 6.201 11.216
Waldmann_07_size12/size-12-alpha-3-num-66 1.209 0.151 0.162
Waldmann_07_size12/size-12-alpha-3-num-67 1.21 0.154 0.152
problem pm bpm bprm
Waldmann_07_size12/size-12-alpha-3-num-7 1.206 0.158 0.155
Waldmann_07_size12/size-12-alpha-3-num-70 1.204 0.146 0.161
Waldmann_07_size12/size-12-alpha-3-num-71 1.221 0.172 0.171
Waldmann_07_size12/size-12-alpha-3-num-72 1.199 0.182 0.188
Waldmann_07_size12/size-12-alpha-3-num-74 1.183 0.162 0.159
Waldmann_07_size12/size-12-alpha-3-num-76 1.197 0.15 0.152
Waldmann_07_size12/size-12-alpha-3-num-82 1.209 0.14 0.152
Waldmann_07_size12/size-12-alpha-3-num-83 1.215 6.207 11.216
Waldmann_07_size12/size-12-alpha-3-num-84 1.203 0.153 0.15
Waldmann_07_size12/size-12-alpha-3-num-85 1.208 0.149 0.156
Waldmann_07_size12/size-12-alpha-3-num-86 1.196 0.158 0.173
Waldmann_07_size12/size-12-alpha-3-num-88 1.227 0.146 0.144
Waldmann_07_size12/size-12-alpha-3-num-9 1.221 0.149 0.161
Waldmann_07_size12/size-12-alpha-3-num-90 1.2 0.153 0.154
Waldmann_07_size12/size-12-alpha-3-num-91 1.194 0.166 0.153
Waldmann_07_size12/size-12-alpha-3-num-92 1.196 6.192 11.202
Waldmann_07_size12/size-12-alpha-3-num-94 1.207 0.154 0.158
Waldmann_07_size12/size-12-alpha-3-num-95 1.191 0.146 0.143
Waldmann_07_size12/size-12-alpha-3-num-98 1.198 0.173 0.163
Waldmann_07_size12/size-12-alpha-3-num-99 1.197 0.147 0.14
Zantema_04/syracuse 1.564 6.558 11.572
Zantema_04/z001 1.206 0.135 0.144
Zantema_04/z002 1.248 0.159 0.152
Zantema_04/z003 1.276 0.189 0.192
Zantema_04/z004 1.285 0.164 0.162
problem pm bpm bprm
Zantema_04/z005 1.236 0.143 0.15
Zantema_04/z006 0.176 0.15 0.155
Zantema_04/z007 1.211 0.145 0.141
Zantema_04/z008 3.659 0.154 0.166
Zantema_04/z009 1.223 6.228 11.228
Zantema_04/z010 1.182 6.202 11.193
Zantema_04/z011 1.22 0.138 0.144
Zantema_04/z012 1.182 0.169 0.17
Zantema_04/z013 2.344 0.165 0.165
Zantema_04/z014 1.214 0.149 0.154
Zantema_04/z015 1.204 0.145 0.148
Zantema_04/z017 1.219 0.148 0.154
Zantema_04/z018 1.228 6.236 11.254
Zantema_04/z019 1.223 0.139 0.143
Zantema_04/z020 1.204 6.228 11.22
Zantema_04/z021 1.219 0.151 0.153
Zantema_04/z022 1.278 0.18 0.155
Zantema_04/z023 2.323 0.14 0.139
Zantema_04/z024 2.348 0.149 0.156
Zantema_04/z025 1.226 0.152 0.152
Zantema_04/z026 1.216 6.216 11.228
Zantema_04/z027 1.265 0.15 0.154
Zantema_04/z028 1.267 0.145 0.146
Zantema_04/z029 1.273 0.153 0.159
Zantema_04/z030 1.261 0.152 0.137
problem pm bpm bprm
Zantema_04/z031 1.367 0.156 0.159
Zantema_04/z032 1.265 0.15 0.151
Zantema_04/z033 1.341 0.147 0.14
Zantema_04/z034 1.249 0.144 0.143
Zantema_04/z035 1.28 0.135 0.152
Zantema_04/z036 1.312 0.15 0.139
Zantema_04/z037 1.303 0.145 0.156
Zantema_04/z038 1.316 0.157 0.16
Zantema_04/z039 1.423 0.158 0.148
Zantema_04/z040 1.293 0.14 0.143
Zantema_04/z041 1.273 0.167 0.155
Zantema_04/z042 1.336 6.351 11.357
Zantema_04/z043 1.279 0.182 0.189
Zantema_04/z044 1.258 6.256 11.263
Zantema_04/z045 1.376 0.189 0.192
Zantema_04/z046 1.308 6.312 11.299
Zantema_04/z047 1.296 0.188 0.196
Zantema_04/z048 1.415 0.158 0.153
Zantema_04/z049 1.272 0.156 0.139
Zantema_04/z050 1.264 0.164 0.134
Zantema_04/z051 1.245 0.149 0.15
Zantema_04/z052 1.27 0.144 0.15
Zantema_04/z053 1.27 0.143 0.148
Zantema_04/z054 1.273 0.139 0.15
Zantema_04/z055 1.277 0.152 0.148
problem pm bpm bprm
Zantema_04/z056 1.262 0.135 0.142
Zantema_04/z057 1.254 0.137 0.152
Zantema_04/z058 1.269 0.14 0.154
Zantema_04/z059 1.246 0.147 0.145
Zantema_04/z060 1.228 0.146 0.149
Zantema_04/z061 1.44 0.146 0.145
Zantema_04/z062 1.386 0.152 0.143
Zantema_04/z063 1.277 0.15 0.144
Zantema_04/z064 1.28 0.147 0.147
Zantema_04/z065 2.403 0.197 0.198
Zantema_04/z066 0.716 0.193 0.177
Zantema_04/z067 1.331 0.171 0.17
Zantema_04/z068 1.311 0.156 0.176
Zantema_04/z069 1.549 0.218 0.219
Zantema_04/z070 1.638 0.214 0.223
Zantema_04/z071 1.293 0.154 0.163
Zantema_04/z072 1.311 0.158 0.166
Zantema_04/z073 1.282 0.154 0.165
Zantema_04/z074 3.083 0.215 0.213
Zantema_04/z075 2.457 7.48 12.474
Zantema_04/z076 1.193 0.162 0.165
Zantema_04/z077 1.225 6.228 11.232
Zantema_04/z078 1.235 6.248 11.424
Zantema_04/z079 1.349 6.348 11.344
Zantema_04/z080 1.236 0.176 0.176
problem pm bpm bprm
Zantema_04/z081 1.413 0.159 0.168
Zantema_04/z082 1.295 0.167 0.178
Zantema_04/z083 2.458 7.454 12.448
Zantema_04/z084 1.185 0.146 0.15
Zantema_04/z085 0.152 0.15 0.149
Zantema_04/z086 1.18 0.147 0.153
Zantema_04/z087 1.202 0.163 0.152
Zantema_04/z088 1.252 0.15 0.151
Zantema_04/z089 2.355 0.152 0.148
Zantema_04/z090 1.325 0.181 0.166
Zantema_04/z091 2.923 0.22 0.225
Zantema_04/z092 1.036 0.221 0.212
Zantema_04/z093 1.208 0.141 0.153
Zantema_04/z094 1.279 0.176 0.185
Zantema_04/z095 1.214 0.135 0.136
Zantema_04/z096 1.248 0.148 0.152
Zantema_04/z097 1.28 0.149 0.138
Zantema_04/z098 1.26 0.14 0.155
Zantema_04/z100 3.781 8.939 12.073
Zantema_04/z101 1.2 0.198 0.209
Zantema_04/z102 1.206 0.201 0.213
Zantema_04/z103 1.197 0.152 0.152
Zantema_04/z104 1.301 0.159 0.176
Zantema_04/z105 1.246 0.18 0.179
Zantema_04/z106 1.247 0.156 0.169
problem pm bpm bprm
Zantema_04/z107 1.234 0.151 0.158
Zantema_04/z108 1.211 0.147 0.153
Zantema_04/z109 1.203 0.163 0.167
Zantema_04/z110 1.243 0.162 0.158
Zantema_04/z111 1.272 0.181 0.178
Zantema_04/z112 1.283 0.185 0.178
Zantema_04/z113 1.276 0.157 0.176
Zantema_04/z114 1.2 0.159 0.147
Zantema_04/z115 1.259 0.154 0.144
Zantema_04/z116 1.207 0.177 0.171
Zantema_04/z117 1.277 0.163 0.176
Zantema_04/z118 1.26 0.156 0.172
Zantema_04/z119 1.283 0.151 0.176
Zantema_04/z120 1.236 0.185 0.191
Zantema_04/z121 1.319 0.16 0.17
Zantema_04/z122 1.27 0.169 0.168
Zantema_04/z123 1.293 0.18 0.173
Zantema_04/z124 0.757 0.215 0.21
Zantema_04/z125 1.337 0.201 0.206
Zantema_04/z126 1.213 0.136 0.15
Zantema_04/z127 1.215 0.151 0.152
Zantema_04/z128 1.221 0.138 0.146
Zantema_05/jw01 1.173 0.132 0.151
Zantema_05/jw02 1.183 0.133 0.133
Zantema_05/jw03 1.173 0.142 0.14
problem pm bpm bprm
Zantema_05/jw04 1.178 0.133 0.15
Zantema_05/jw05 1.176 0.139 0.153
Zantema_05/jw06 1.17 0.132 0.132
Zantema_05/jw07 1.165 0.148 0.151
Zantema_05/jw08 1.178 0.15 0.147
Zantema_05/jw09 1.165 0.142 0.146
Zantema_05/jw11 1.183 0.142 0.151
Zantema_05/jw12 1.187 0.135 0.144
Zantema_05/jw13 1.186 0.142 0.15
Zantema_05/jw14 1.187 0.134 0.138
Zantema_05/jw15 1.184 0.145 0.142
Zantema_05/jw16 1.175 0.144 0.146
Zantema_05/jw17 1.189 0.135 0.145
Zantema_05/jw18 1.176 0.141 0.147
Zantema_05/jw19 1.184 0.144 0.151
Zantema_05/jw20 1.167 0.136 0.153
Zantema_05/jw21 1.183 0.137 0.143
Zantema_05/jw22 1.178 0.132 0.149
Zantema_05/jw23 1.174 0.135 0.142
Zantema_05/jw24 1.181 0.14 0.139
Zantema_05/jw25 1.19 0.15 0.158
Zantema_05/jw26 1.179 0.136 0.148
Zantema_05/jw27 1.199 0.153 0.15
Zantema_05/jw28 1.172 0.139 0.153
Zantema_05/jw29 1.185 0.142 0.151
problem pm bpm bprm
Zantema_05/jw30 1.165 0.147 0.15
Zantema_05/jw31 1.175 0.133 0.141
Zantema_05/jw32 1.18 0.139 0.139
Zantema_05/jw33 1.176 0.154 0.146
Zantema_05/jw34 1.173 0.137 0.151
Zantema_05/jw35 1.183 0.147 0.144
Zantema_05/jw36 1.204 0.134 0.158
Zantema_05/jw37 1.196 0.152 0.135
Zantema_05/jw38 1.173 0.153 0.154
Zantema_05/jw39 1.181 0.14 0.142
Zantema_05/jw40 1.185 0.15 0.141
Zantema_05/jw41 1.177 0.147 0.147
Zantema_05/jw42 1.167 0.143 0.151
Zantema_05/jw43 1.19 0.135 0.148
Zantema_05/jw44 0.161 0.136 0.142
Zantema_05/jw47 0.158 0.155 0.153
Zantema_05/jw50 1.189 0.142 0.142
Zantema_05/z01 1.235 0.156 0.156
Zantema_05/z02 1.172 0.163 0.156
Zantema_05/z03 1.208 0.161 0.167
Zantema_05/z05 1.204 0.148 0.165
Zantema_05/z06 1.186 0.158 0.15
Zantema_05/z07 1.21 0.169 0.172
Zantema_05/z08 1.215 0.156 0.144
Zantema_05/z11 1.27 0.163 0.173
problem pm bpm bprm
Zantema_05/z12 1.277 6.294 11.297
Zantema_05/z13 1.27 6.264 11.284
Zantema_05/z14 1.227 6.231 11.235
Zantema_05/z15 1.199 6.214 11.209
Zantema_05/z16 1.234 6.227 11.238
Zantema_05/z17 1.236 6.237 11.244
Zantema_05/z18 1.218 6.238 11.242
Zantema_05/z19 1.191 0.144 0.14
Zantema_05/z20 1.233 0.159 0.15
Zantema_05/z21 1.215 0.144 0.145
Zantema_05/z22 1.234 0.14 0.158
Zantema_05/z23 1.35 6.343 15.521
Zantema_05/z24 1.327 6.328 11.337
Zantema_05/z25 1.179 0.169 0.158
Zantema_05/z26 1.341 0.157 0.164
Zantema_05/z29 1.217 0.146 0.148
Zantema_05/z30 1.297 0.168 0.174
Zantema_06/01 1.225 0.188 0.179
Zantema_06/02 1.215 6.214 11.209
Zantema_06/03 1.269 0.147 0.157
Zantema_06/04 1.22 0.145 0.154
Zantema_06/05 1.255 0.157 0.167
Zantema_06/06 1.269 0.169 0.169
Zantema_06/07 1.214 0.145 0.143
Zantema_06/08 1.22 0.146 0.159
problem pm bpm bprm
Zantema_06/09 1.407 0.178 0.173
Zantema_06/10 1.251 0.182 0.194
Zantema_06/11 1.387 0.152 0.161
Zantema_06/12 1.386 0.158 0.164
Zantema_06/13 1.305 0.147 0.154
Zantema_06/14 1.236 0.163 0.158
Zantema_06/15 3.197 0.22 0.223
Zantema_06/16 1.519 0.177 0.192
Zantema_06/17 6.177 0.209 0.24
Zantema_06/18 7.467 0.25 0.238
Zantema_06/abc 1.223 0.143 0.149
Zantema_06/beans1 1.834 0.19 0.198
Zantema_06/beans2 1.331 6.328 11.327
Zantema_06/beans3 1.387 0.191 0.195
Zantema_06/beans4 1.316 0.142 0.143
Zantema_06/beans5 1.221 0.153 0.156
Zantema_06/beans6 1.288 6.293 11.289
Zantema_06/beans7 1.265 0.172 0.157
Zantema_06/loop1 1.205 6.187 11.194
Zantema_06/loop2 1.193 0.147 0.147
Zantema_06/while1 2.807 0.904 0.917
Zantema_06/while2 1.293 0.197 0.195
Yes No Maybe Timeout