| problem |
t |
e |
c |
r |
* |
| AG01_innermost/#4.12a |
0.155 |
0.147 |
0.197 |
0.205 |
0.279 |
| AG01_innermost/#4.13 |
0.146 |
0.144 |
0.149 |
0.162 |
0.149 |
| AG01_innermost/#4.14 |
0.153 |
0.16 |
0.203 |
0.212 |
0.337 |
| AG01_innermost/#4.15 |
0.167 |
0.163 |
17.271 |
17.472 |
1.182 |
| AG01_innermost/#4.16 |
0.166 |
0.145 |
0.199 |
0.221 |
0.226 |
| AG01_innermost/#4.17 |
0.159 |
0.155 |
2.029 |
0.205 |
0.742 |
| AG01_innermost/#4.18 |
0.143 |
0.136 |
0.16 |
60.0 |
0.153 |
| AG01_innermost/#4.19 |
0.159 |
0.175 |
60.0 |
60.0 |
1.173 |
| AG01_innermost/#4.2 |
0.15 |
0.149 |
1.776 |
1.72 |
1.178 |
| AG01_innermost/#4.20 |
0.147 |
0.136 |
0.14 |
0.147 |
0.148 |
| AG01_innermost/#4.20a |
0.155 |
0.147 |
0.167 |
0.162 |
0.196 |
| AG01_innermost/#4.21 |
0.179 |
0.142 |
0.159 |
0.164 |
0.149 |
| AG01_innermost/#4.22 |
0.154 |
0.151 |
0.197 |
0.187 |
0.252 |
| AG01_innermost/#4.23 |
0.182 |
0.162 |
0.25 |
0.257 |
0.393 |
| AG01_innermost/#4.24 |
0.178 |
0.198 |
0.404 |
60.0 |
0.917 |
| AG01_innermost/#4.25 |
0.142 |
0.156 |
0.151 |
0.152 |
0.179 |
| AG01_innermost/#4.26 |
0.171 |
0.173 |
1.124 |
1.031 |
1.179 |
| AG01_innermost/#4.27 |
0.184 |
0.176 |
1.157 |
1.083 |
1.198 |
| AG01_innermost/#4.28 |
0.157 |
0.163 |
0.194 |
0.187 |
0.262 |
| AG01_innermost/#4.29 |
0.214 |
0.229 |
60.0 |
60.0 |
1.247 |
| AG01_innermost/#4.3 |
0.14 |
0.142 |
0.156 |
0.145 |
0.141 |
| AG01_innermost/#4.30 |
0.184 |
0.179 |
1.915 |
1.879 |
1.192 |
| AG01_innermost/#4.30a |
0.172 |
0.176 |
0.224 |
0.235 |
0.322 |
| AG01_innermost/#4.30b |
0.204 |
0.195 |
2.661 |
2.553 |
1.215 |
| AG01_innermost/#4.31 |
0.148 |
0.157 |
0.183 |
0.257 |
0.239 |
| problem |
t |
e |
c |
r |
* |
| AG01_innermost/#4.32 |
0.164 |
0.161 |
0.201 |
0.209 |
0.25 |
| AG01_innermost/#4.33 |
0.186 |
0.175 |
60.0 |
60.0 |
1.186 |
| AG01_innermost/#4.34 |
0.178 |
0.172 |
23.133 |
24.79 |
1.203 |
| AG01_innermost/#4.35 |
0.327 |
0.332 |
60.0 |
60.0 |
1.362 |
| AG01_innermost/#4.36 |
0.35 |
0.367 |
60.0 |
60.0 |
1.361 |
| AG01_innermost/#4.37 |
0.155 |
0.164 |
0.187 |
0.186 |
0.246 |
| AG01_innermost/#4.37a |
0.178 |
0.16 |
0.364 |
0.197 |
0.349 |
| AG01_innermost/#4.4 |
0.147 |
0.145 |
0.197 |
0.197 |
0.144 |
| AG01_innermost/#4.5 |
0.151 |
0.137 |
0.144 |
0.138 |
0.135 |
| AG01_innermost/#4.7 |
0.15 |
0.147 |
0.152 |
0.178 |
0.148 |
| Applicative_AG01_innermost/#4.10 |
0.223 |
0.227 |
60.0 |
60.0 |
1.235 |
| Applicative_AG01_innermost/#4.13 |
0.224 |
0.236 |
60.0 |
60.0 |
1.255 |
| Applicative_AG01_innermost/#4.15 |
0.256 |
0.31 |
60.0 |
60.0 |
1.349 |
| Applicative_AG01_innermost/#4.17 |
0.263 |
0.291 |
60.0 |
60.0 |
1.301 |
| Applicative_AG01_innermost/#4.19 |
0.269 |
0.315 |
60.0 |
60.0 |
1.366 |
| Applicative_AG01_innermost/#4.2 |
0.241 |
0.249 |
60.0 |
60.0 |
1.272 |
| Applicative_AG01_innermost/#4.22 |
0.243 |
0.291 |
60.0 |
60.0 |
1.302 |
| Applicative_AG01_innermost/#4.24 |
0.267 |
0.348 |
60.0 |
60.0 |
1.358 |
| Applicative_AG01_innermost/#4.26 |
0.249 |
0.329 |
60.0 |
60.0 |
1.34 |
| Applicative_AG01_innermost/#4.28 |
0.239 |
0.275 |
60.0 |
60.0 |
1.297 |
| Applicative_AG01_innermost/#4.3 |
0.234 |
0.219 |
60.0 |
60.0 |
1.25 |
| Applicative_AG01_innermost/#4.34 |
0.251 |
0.301 |
60.0 |
60.0 |
1.32 |
| Applicative_AG01_innermost/#4.36 |
0.403 |
0.752 |
60.0 |
60.0 |
1.789 |
| Applicative_AG01_innermost/#4.5 |
0.202 |
0.211 |
60.0 |
60.0 |
1.226 |
| Applicative_AG01_innermost/#4.7 |
0.218 |
0.216 |
60.0 |
60.0 |
1.251 |
| problem |
t |
e |
c |
r |
* |
| Applicative_AG01_innermost/#4.8 |
0.237 |
0.285 |
60.0 |
60.0 |
1.308 |
| Mixed_innermost/bn111 |
0.154 |
0.139 |
0.151 |
0.146 |
0.166 |
| Mixed_innermost/cade04 |
0.159 |
0.16 |
60.0 |
60.0 |
1.179 |
| Mixed_innermost/cade05 |
0.179 |
0.19 |
21.07 |
19.883 |
1.209 |
| Mixed_innermost/cade12 |
0.221 |
0.231 |
21.957 |
21.906 |
1.264 |
| Mixed_innermost/cade13 |
0.207 |
0.23 |
60.0 |
60.0 |
1.228 |
| Mixed_innermost/gkg |
0.158 |
0.136 |
0.15 |
0.154 |
0.155 |
| Mixed_innermost/innermost1 |
0.152 |
0.138 |
0.168 |
0.181 |
0.171 |
| Mixed_innermost/innermost2 |
0.161 |
0.168 |
0.219 |
0.204 |
0.306 |
| Mixed_innermost/innermost3 |
0.152 |
0.149 |
0.162 |
0.175 |
0.241 |
| Mixed_innermost/innermost4 |
0.17 |
0.164 |
60.0 |
60.0 |
1.172 |
| Mixed_innermost/innermost5 |
0.172 |
0.177 |
16.099 |
15.878 |
1.198 |
| Mixed_innermost/muladd |
0.149 |
0.151 |
0.172 |
0.179 |
0.228 |
| Mixed_innermost/n001 |
0.162 |
0.147 |
0.167 |
0.183 |
0.228 |
| Mixed_innermost/test10 |
0.159 |
0.164 |
1.541 |
1.533 |
1.172 |
| Mixed_innermost/test75 |
0.144 |
0.167 |
0.171 |
0.171 |
0.242 |
| Mixed_innermost/test76 |
0.167 |
0.156 |
0.484 |
0.505 |
0.875 |
| Mixed_innermost/test77 |
0.171 |
0.153 |
0.638 |
0.659 |
1.188 |
| Mixed_innermost/test830 |
0.164 |
0.154 |
0.652 |
0.2 |
0.598 |
| Mixed_innermost/test833 |
0.144 |
0.138 |
0.147 |
0.14 |
0.155 |
| Mixed_innermost/test9 |
0.146 |
0.155 |
0.196 |
0.209 |
0.293 |
| Mixed_innermost/thiemann26i |
0.198 |
0.22 |
60.0 |
60.0 |
1.22 |
| Mixed_innermost/thiemann28i |
0.204 |
0.196 |
60.0 |
60.0 |
1.215 |
| Mixed_innermost/toyama |
0.151 |
0.142 |
0.173 |
0.168 |
0.151 |
| Mixed_innermost/tricky1 |
0.176 |
0.157 |
0.284 |
0.279 |
0.257 |
| problem |
t |
e |
c |
r |
* |
| Mixed_innermost/wiehe13 |
0.28 |
0.276 |
60.0 |
60.0 |
1.286 |
| Mixed_innermost/wiehe14 |
0.362 |
0.363 |
60.0 |
60.0 |
1.36 |
| Transformed_CSR_innermost_04/Ex14_AEGL02_C |
0.508 |
0.496 |
60.0 |
60.0 |
1.497 |
| Transformed_CSR_innermost_04/Ex14_AEGL02_GM |
0.208 |
0.216 |
1.732 |
1.775 |
1.25 |
| Transformed_CSR_innermost_04/Ex14_AEGL02_iGM |
0.491 |
0.455 |
60.0 |
60.0 |
1.464 |
| Transformed_CSR_innermost_04/Ex14_Luc06_C |
0.34 |
0.392 |
60.0 |
60.0 |
1.404 |
| Transformed_CSR_innermost_04/Ex14_Luc06_GM |
0.204 |
0.194 |
60.0 |
60.0 |
1.209 |
| Transformed_CSR_innermost_04/Ex14_Luc06_iGM |
0.355 |
0.311 |
60.0 |
60.0 |
1.335 |
| Transformed_CSR_innermost_04/Ex15_Luc06_C |
0.223 |
0.242 |
0.799 |
0.517 |
1.056 |
| Transformed_CSR_innermost_04/Ex15_Luc06_GM |
0.157 |
0.152 |
0.167 |
0.193 |
0.22 |
| Transformed_CSR_innermost_04/Ex15_Luc06_iGM |
0.248 |
0.229 |
0.345 |
0.383 |
0.468 |
| Transformed_CSR_innermost_04/Ex15_Luc98_C |
0.996 |
1.18 |
60.0 |
60.0 |
2.184 |
| Transformed_CSR_innermost_04/Ex15_Luc98_GM |
0.269 |
0.294 |
60.0 |
60.0 |
1.298 |
| Transformed_CSR_innermost_04/Ex15_Luc98_iGM |
1.224 |
1.552 |
60.0 |
60.0 |
2.5 |
| Transformed_CSR_innermost_04/Ex16_Luc06_C |
0.22 |
0.213 |
16.631 |
35.967 |
1.23 |
| Transformed_CSR_innermost_04/Ex16_Luc06_GM |
0.162 |
0.159 |
0.379 |
0.23 |
0.469 |
| Transformed_CSR_innermost_04/Ex16_Luc06_iGM |
0.227 |
0.199 |
0.927 |
0.408 |
0.938 |
| Transformed_CSR_innermost_04/Ex18_Luc06_C |
0.252 |
0.243 |
0.459 |
0.566 |
0.786 |
| Transformed_CSR_innermost_04/Ex18_Luc06_GM |
0.152 |
0.151 |
0.195 |
0.198 |
0.225 |
| Transformed_CSR_innermost_04/Ex18_Luc06_L |
0.139 |
0.148 |
0.143 |
0.143 |
0.147 |
| Transformed_CSR_innermost_04/Ex18_Luc06_iGM |
0.237 |
0.225 |
0.434 |
0.465 |
0.626 |
| Transformed_CSR_innermost_04/Ex1_2_AEL03_C |
2.589 |
3.051 |
60.0 |
60.0 |
3.984 |
| Transformed_CSR_innermost_04/Ex1_2_AEL03_GM |
0.271 |
0.39 |
60.0 |
60.0 |
1.4 |
| Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM |
1.717 |
1.582 |
60.0 |
60.0 |
2.45 |
| Transformed_CSR_innermost_04/Ex1_2_Luc02c_C |
0.361 |
0.379 |
16.922 |
17.076 |
1.371 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/Ex1_2_Luc02c_GM |
0.178 |
0.173 |
0.52 |
0.537 |
0.899 |
| Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM |
0.274 |
0.27 |
6.526 |
6.662 |
1.286 |
| Transformed_CSR_innermost_04/Ex1_GL02a_C |
0.758 |
0.824 |
60.0 |
60.0 |
1.825 |
| Transformed_CSR_innermost_04/Ex1_GL02a_GM |
0.224 |
0.224 |
60.0 |
60.0 |
1.246 |
| Transformed_CSR_innermost_04/Ex1_GL02a_iGM |
0.916 |
0.721 |
60.0 |
60.0 |
1.701 |
| Transformed_CSR_innermost_04/Ex1_GM03_C |
0.602 |
0.673 |
60.0 |
60.0 |
1.697 |
| Transformed_CSR_innermost_04/Ex1_GM03_GM |
0.206 |
0.235 |
60.0 |
60.0 |
1.23 |
| Transformed_CSR_innermost_04/Ex1_GM03_iGM |
0.553 |
0.51 |
60.0 |
60.0 |
1.51 |
| Transformed_CSR_innermost_04/Ex1_GM99_C |
0.232 |
0.217 |
60.0 |
60.0 |
1.24 |
| Transformed_CSR_innermost_04/Ex1_GM99_GM |
0.171 |
0.177 |
60.0 |
60.0 |
1.183 |
| Transformed_CSR_innermost_04/Ex1_GM99_iGM |
0.296 |
0.225 |
60.0 |
60.0 |
1.26 |
| Transformed_CSR_innermost_04/Ex1_Luc02b_C |
0.597 |
0.632 |
60.0 |
60.0 |
1.639 |
| Transformed_CSR_innermost_04/Ex1_Luc02b_GM |
0.197 |
0.206 |
21.726 |
23.312 |
1.216 |
| Transformed_CSR_innermost_04/Ex1_Luc02b_iGM |
0.476 |
0.446 |
60.0 |
60.0 |
1.451 |
| Transformed_CSR_innermost_04/Ex1_Luc04b_C |
0.693 |
0.668 |
60.0 |
60.0 |
1.699 |
| Transformed_CSR_innermost_04/Ex1_Luc04b_GM |
0.272 |
0.272 |
5.182 |
60.0 |
1.276 |
| Transformed_CSR_innermost_04/Ex1_Luc04b_iGM |
0.498 |
0.585 |
60.0 |
60.0 |
1.578 |
| Transformed_CSR_innermost_04/Ex1_Zan97_C |
0.212 |
0.198 |
0.641 |
0.5 |
1.019 |
| Transformed_CSR_innermost_04/Ex1_Zan97_GM |
0.155 |
0.164 |
0.18 |
0.172 |
0.239 |
| Transformed_CSR_innermost_04/Ex1_Zan97_iGM |
0.223 |
0.19 |
0.323 |
0.27 |
0.46 |
| Transformed_CSR_innermost_04/Ex23_Luc06_C |
0.316 |
0.344 |
0.901 |
0.917 |
1.335 |
| Transformed_CSR_innermost_04/Ex23_Luc06_GM |
0.165 |
0.16 |
0.169 |
0.18 |
0.199 |
| Transformed_CSR_innermost_04/Ex23_Luc06_L |
0.133 |
0.151 |
0.134 |
0.135 |
0.143 |
| Transformed_CSR_innermost_04/Ex23_Luc06_iGM |
0.276 |
0.248 |
0.549 |
0.56 |
0.787 |
| Transformed_CSR_innermost_04/Ex24_GM04_C |
0.279 |
0.269 |
60.0 |
60.0 |
1.291 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/Ex24_GM04_GM |
0.156 |
0.159 |
42.655 |
44.665 |
1.173 |
| Transformed_CSR_innermost_04/Ex24_GM04_iGM |
0.274 |
0.25 |
60.0 |
60.0 |
1.251 |
| Transformed_CSR_innermost_04/Ex24_Luc06_C |
0.214 |
0.23 |
60.0 |
60.0 |
1.268 |
| Transformed_CSR_innermost_04/Ex24_Luc06_GM |
0.164 |
0.161 |
0.786 |
0.817 |
1.138 |
| Transformed_CSR_innermost_04/Ex24_Luc06_iGM |
0.284 |
0.222 |
60.0 |
60.0 |
1.304 |
| Transformed_CSR_innermost_04/Ex25_Luc06_C |
0.493 |
0.468 |
1.458 |
1.33 |
0.956 |
| Transformed_CSR_innermost_04/Ex25_Luc06_GM |
0.16 |
0.257 |
0.256 |
0.377 |
0.362 |
| Transformed_CSR_innermost_04/Ex25_Luc06_L |
0.136 |
0.153 |
0.144 |
0.137 |
0.139 |
| Transformed_CSR_innermost_04/Ex25_Luc06_iGM |
0.392 |
0.268 |
0.96 |
0.87 |
1.289 |
| Transformed_CSR_innermost_04/Ex26_Luc03b_C |
1.397 |
1.527 |
60.0 |
60.0 |
2.54 |
| Transformed_CSR_innermost_04/Ex26_Luc03b_GM |
0.436 |
0.385 |
60.0 |
60.0 |
1.49 |
| Transformed_CSR_innermost_04/Ex26_Luc03b_L |
0.151 |
0.154 |
0.156 |
0.146 |
0.144 |
| Transformed_CSR_innermost_04/Ex26_Luc03b_iGM |
1.877 |
1.452 |
60.0 |
60.0 |
2.481 |
| Transformed_CSR_innermost_04/Ex2_Luc02a_C |
1.453 |
1.688 |
60.0 |
60.0 |
2.715 |
| Transformed_CSR_innermost_04/Ex2_Luc02a_GM |
0.242 |
0.253 |
60.0 |
60.0 |
1.276 |
| Transformed_CSR_innermost_04/Ex2_Luc02a_L |
0.177 |
0.187 |
0.265 |
0.289 |
0.41 |
| Transformed_CSR_innermost_04/Ex2_Luc02a_iGM |
1.19 |
1.45 |
60.0 |
60.0 |
2.376 |
| Transformed_CSR_innermost_04/Ex2_Luc03b_C |
0.888 |
0.955 |
60.0 |
60.0 |
1.977 |
| Transformed_CSR_innermost_04/Ex2_Luc03b_GM |
0.27 |
0.249 |
40.16 |
39.931 |
1.316 |
| Transformed_CSR_innermost_04/Ex2_Luc03b_L |
0.143 |
0.142 |
0.142 |
0.143 |
0.141 |
| Transformed_CSR_innermost_04/Ex2_Luc03b_iGM |
1.107 |
1.038 |
60.0 |
60.0 |
2.003 |
| Transformed_CSR_innermost_04/Ex3_12_Luc96a_C |
0.435 |
0.438 |
60.0 |
60.0 |
1.458 |
| Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM |
0.183 |
0.18 |
1.15 |
1.145 |
1.19 |
| Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM |
0.363 |
0.359 |
60.0 |
60.0 |
1.364 |
| Transformed_CSR_innermost_04/Ex3_2_Luc97_C |
0.705 |
0.759 |
60.0 |
60.0 |
1.78 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/Ex3_2_Luc97_GM |
0.204 |
0.212 |
60.0 |
60.0 |
1.233 |
| Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM |
0.694 |
0.631 |
60.0 |
60.0 |
1.613 |
| Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C |
0.93 |
1.048 |
60.0 |
60.0 |
2.014 |
| Transformed_CSR_innermost_04/Ex3_3_25_Bor03_GM |
0.308 |
0.342 |
60.0 |
60.0 |
1.341 |
| Transformed_CSR_innermost_04/Ex3_3_25_Bor03_L |
0.146 |
0.148 |
0.158 |
0.149 |
0.143 |
| Transformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM |
1.199 |
1.283 |
60.0 |
60.0 |
2.283 |
| Transformed_CSR_innermost_04/Ex49_GM04_C |
0.767 |
0.805 |
60.0 |
60.0 |
1.814 |
| Transformed_CSR_innermost_04/Ex49_GM04_GM |
0.375 |
0.365 |
60.0 |
60.0 |
1.409 |
| Transformed_CSR_innermost_04/Ex49_GM04_iGM |
1.164 |
0.966 |
60.0 |
60.0 |
2.008 |
| Transformed_CSR_innermost_04/Ex4_4_Luc96b_C |
0.274 |
0.272 |
0.911 |
0.938 |
1.284 |
| Transformed_CSR_innermost_04/Ex4_4_Luc96b_GM |
0.179 |
0.183 |
0.245 |
0.246 |
0.325 |
| Transformed_CSR_innermost_04/Ex4_4_Luc96b_L |
0.145 |
0.144 |
0.146 |
0.136 |
0.166 |
| Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM |
0.25 |
0.238 |
1.185 |
1.188 |
1.232 |
| Transformed_CSR_innermost_04/Ex4_7_15_Bor03_C |
0.389 |
0.44 |
60.0 |
60.0 |
1.451 |
| Transformed_CSR_innermost_04/Ex4_7_15_Bor03_GM |
0.196 |
0.208 |
0.643 |
0.343 |
0.853 |
| Transformed_CSR_innermost_04/Ex4_7_15_Bor03_L |
0.142 |
0.146 |
0.151 |
0.148 |
0.139 |
| Transformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM |
0.415 |
0.484 |
27.024 |
60.0 |
1.474 |
| Transformed_CSR_innermost_04/Ex4_7_37_Bor03_C |
1.075 |
1.3 |
60.0 |
60.0 |
2.242 |
| Transformed_CSR_innermost_04/Ex4_7_37_Bor03_GM |
0.285 |
0.325 |
60.0 |
60.0 |
1.328 |
| Transformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM |
0.796 |
0.8 |
60.0 |
60.0 |
1.776 |
| Transformed_CSR_innermost_04/Ex4_7_56_Bor03_C |
0.517 |
0.526 |
60.0 |
60.0 |
1.521 |
| Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM |
0.167 |
0.187 |
1.166 |
1.175 |
1.194 |
| Transformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM |
0.345 |
0.35 |
60.0 |
60.0 |
1.361 |
| Transformed_CSR_innermost_04/Ex4_7_77_Bor03_C |
0.285 |
0.267 |
9.386 |
32.359 |
1.293 |
| Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM |
0.178 |
0.164 |
0.251 |
0.244 |
0.343 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM |
0.248 |
0.247 |
1.267 |
47.62 |
1.253 |
| Transformed_CSR_innermost_04/Ex4_DLMMU04_C |
2.845 |
3.017 |
60.0 |
60.0 |
4.045 |
| Transformed_CSR_innermost_04/Ex4_DLMMU04_GM |
0.786 |
0.902 |
60.0 |
60.0 |
1.85 |
| Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM |
2.929 |
2.83 |
60.0 |
60.0 |
3.749 |
| Transformed_CSR_innermost_04/Ex4_Zan97_C |
0.551 |
0.666 |
60.0 |
60.0 |
1.658 |
| Transformed_CSR_innermost_04/Ex4_Zan97_GM |
0.19 |
0.193 |
7.315 |
7.311 |
1.216 |
| Transformed_CSR_innermost_04/Ex4_Zan97_iGM |
0.458 |
0.465 |
60.0 |
60.0 |
1.466 |
| Transformed_CSR_innermost_04/Ex5_7_Luc97_C |
1.411 |
1.625 |
60.0 |
60.0 |
2.759 |
| Transformed_CSR_innermost_04/Ex5_7_Luc97_GM |
0.401 |
0.469 |
60.0 |
60.0 |
1.483 |
| Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM |
1.419 |
1.499 |
60.0 |
60.0 |
2.309 |
| Transformed_CSR_innermost_04/Ex5_DLMMU04_C |
1.61 |
1.946 |
60.0 |
60.0 |
2.939 |
| Transformed_CSR_innermost_04/Ex5_DLMMU04_GM |
0.23 |
0.263 |
60.0 |
60.0 |
1.291 |
| Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM |
1.004 |
0.918 |
60.0 |
60.0 |
1.866 |
| Transformed_CSR_innermost_04/Ex5_Zan97_C |
0.333 |
0.348 |
60.0 |
60.0 |
1.375 |
| Transformed_CSR_innermost_04/Ex5_Zan97_GM |
0.211 |
0.221 |
60.0 |
60.0 |
1.227 |
| Transformed_CSR_innermost_04/Ex5_Zan97_iGM |
0.291 |
0.262 |
60.0 |
60.0 |
1.283 |
| Transformed_CSR_innermost_04/Ex6_15_AEL02_C |
2.42 |
3.384 |
60.0 |
60.0 |
3.953 |
| Transformed_CSR_innermost_04/Ex6_15_AEL02_GM |
0.315 |
0.506 |
60.0 |
60.0 |
1.526 |
| Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM |
2.143 |
2.341 |
60.0 |
60.0 |
3.65 |
| Transformed_CSR_innermost_04/Ex6_9_Luc02c_C |
0.643 |
0.579 |
60.0 |
60.0 |
1.582 |
| Transformed_CSR_innermost_04/Ex6_9_Luc02c_GM |
0.186 |
0.174 |
1.646 |
1.644 |
1.195 |
| Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM |
0.403 |
0.414 |
60.0 |
60.0 |
1.447 |
| Transformed_CSR_innermost_04/Ex6_GM04_C |
0.209 |
0.199 |
0.383 |
0.546 |
0.771 |
| Transformed_CSR_innermost_04/Ex6_GM04_GM |
0.15 |
0.144 |
0.167 |
0.146 |
0.165 |
| Transformed_CSR_innermost_04/Ex6_GM04_iGM |
0.22 |
0.191 |
0.255 |
0.231 |
0.296 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/Ex6_Luc98_C |
0.586 |
0.656 |
60.0 |
60.0 |
1.672 |
| Transformed_CSR_innermost_04/Ex6_Luc98_GM |
0.204 |
0.233 |
5.279 |
5.395 |
1.234 |
| Transformed_CSR_innermost_04/Ex6_Luc98_L |
0.148 |
0.141 |
0.141 |
0.142 |
0.143 |
| Transformed_CSR_innermost_04/Ex6_Luc98_iGM |
0.479 |
0.464 |
60.0 |
60.0 |
1.475 |
| Transformed_CSR_innermost_04/Ex7_BLR02_C |
0.783 |
0.871 |
60.0 |
60.0 |
1.889 |
| Transformed_CSR_innermost_04/Ex7_BLR02_GM |
0.213 |
0.237 |
60.0 |
60.0 |
1.252 |
| Transformed_CSR_innermost_04/Ex7_BLR02_iGM |
0.508 |
0.643 |
60.0 |
60.0 |
1.63 |
| Transformed_CSR_innermost_04/Ex8_BLR02_C |
0.799 |
1.091 |
60.0 |
60.0 |
2.017 |
| Transformed_CSR_innermost_04/Ex8_BLR02_GM |
0.206 |
0.245 |
53.814 |
52.253 |
1.251 |
| Transformed_CSR_innermost_04/Ex8_BLR02_iGM |
0.573 |
0.612 |
60.0 |
60.0 |
1.632 |
| Transformed_CSR_innermost_04/Ex9_BLR02_C |
0.928 |
1.117 |
60.0 |
60.0 |
2.09 |
| Transformed_CSR_innermost_04/Ex9_BLR02_GM |
0.392 |
0.416 |
60.0 |
60.0 |
1.419 |
| Transformed_CSR_innermost_04/Ex9_BLR02_L |
0.156 |
0.164 |
0.158 |
0.153 |
0.148 |
| Transformed_CSR_innermost_04/Ex9_BLR02_iGM |
1.044 |
1.043 |
60.0 |
60.0 |
2.006 |
| Transformed_CSR_innermost_04/Ex9_Luc04_C |
0.247 |
0.249 |
60.0 |
60.0 |
1.263 |
| Transformed_CSR_innermost_04/Ex9_Luc04_GM |
0.158 |
0.16 |
60.0 |
60.0 |
1.19 |
| Transformed_CSR_innermost_04/Ex9_Luc04_iGM |
0.23 |
0.224 |
60.0 |
60.0 |
1.243 |
| Transformed_CSR_innermost_04/Ex9_Luc06_C |
0.23 |
0.226 |
60.0 |
60.0 |
1.243 |
| Transformed_CSR_innermost_04/Ex9_Luc06_GM |
0.177 |
0.172 |
37.533 |
2.179 |
1.177 |
| Transformed_CSR_innermost_04/Ex9_Luc06_iGM |
0.257 |
0.213 |
60.0 |
60.0 |
1.24 |
| Transformed_CSR_innermost_04/ExAppendixB_AEL03_C |
3.01 |
3.904 |
60.0 |
60.0 |
4.696 |
| Transformed_CSR_innermost_04/ExAppendixB_AEL03_GM |
0.295 |
0.44 |
60.0 |
60.0 |
1.446 |
| Transformed_CSR_innermost_04/ExAppendixB_AEL03_iGM |
1.831 |
2.475 |
60.0 |
60.0 |
3.244 |
| Transformed_CSR_innermost_04/ExConc_Zan97_C |
0.275 |
0.264 |
0.54 |
0.603 |
0.429 |
| Transformed_CSR_innermost_04/ExConc_Zan97_GM |
0.174 |
0.164 |
0.165 |
0.169 |
0.205 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/ExConc_Zan97_L |
0.139 |
0.142 |
0.137 |
0.14 |
0.141 |
| Transformed_CSR_innermost_04/ExConc_Zan97_iGM |
0.256 |
0.249 |
0.503 |
0.464 |
0.722 |
| Transformed_CSR_innermost_04/ExIntrod_GM01_C |
0.849 |
0.83 |
60.0 |
60.0 |
1.832 |
| Transformed_CSR_innermost_04/ExIntrod_GM01_GM |
0.321 |
0.351 |
18.5 |
60.0 |
1.348 |
| Transformed_CSR_innermost_04/ExIntrod_GM01_iGM |
0.841 |
0.755 |
60.0 |
60.0 |
1.749 |
| Transformed_CSR_innermost_04/ExIntrod_GM04_C |
0.655 |
0.673 |
60.0 |
60.0 |
1.675 |
| Transformed_CSR_innermost_04/ExIntrod_GM04_GM |
0.261 |
0.252 |
5.573 |
6.673 |
1.285 |
| Transformed_CSR_innermost_04/ExIntrod_GM04_iGM |
0.692 |
0.572 |
60.0 |
60.0 |
1.568 |
| Transformed_CSR_innermost_04/ExIntrod_GM99_C |
1.407 |
1.618 |
60.0 |
60.0 |
2.551 |
| Transformed_CSR_innermost_04/ExIntrod_GM99_GM |
0.312 |
0.304 |
60.0 |
60.0 |
1.302 |
| Transformed_CSR_innermost_04/ExIntrod_GM99_iGM |
1.193 |
1.148 |
60.0 |
60.0 |
2.156 |
| Transformed_CSR_innermost_04/ExIntrod_Zan97_C |
0.822 |
1.009 |
60.0 |
60.0 |
1.996 |
| Transformed_CSR_innermost_04/ExIntrod_Zan97_GM |
0.23 |
0.261 |
60.0 |
60.0 |
1.268 |
| Transformed_CSR_innermost_04/ExIntrod_Zan97_iGM |
0.829 |
0.788 |
60.0 |
60.0 |
1.786 |
| Transformed_CSR_innermost_04/ExProp7_Luc06_C |
0.474 |
0.497 |
60.0 |
60.0 |
1.512 |
| Transformed_CSR_innermost_04/ExProp7_Luc06_GM |
0.233 |
0.265 |
1.449 |
0.603 |
1.161 |
| Transformed_CSR_innermost_04/ExProp7_Luc06_L |
0.149 |
0.149 |
0.145 |
0.169 |
0.165 |
| Transformed_CSR_innermost_04/ExProp7_Luc06_iGM |
0.427 |
0.41 |
29.978 |
60.0 |
1.437 |
| Transformed_CSR_innermost_04/ExSec11_1_Luc02a_C |
1.74 |
2.023 |
60.0 |
60.0 |
2.996 |
| Transformed_CSR_innermost_04/ExSec11_1_Luc02a_GM |
0.257 |
0.282 |
60.0 |
60.0 |
1.311 |
| Transformed_CSR_innermost_04/ExSec11_1_Luc02a_L |
0.21 |
0.203 |
0.961 |
0.858 |
1.306 |
| Transformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM |
1.816 |
1.846 |
60.0 |
60.0 |
2.76 |
| Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_C |
1.837 |
2.636 |
60.0 |
60.0 |
3.356 |
| Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM |
0.302 |
0.446 |
60.0 |
60.0 |
1.446 |
| Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM |
1.387 |
1.861 |
60.0 |
60.0 |
2.901 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/LISTUTILITIES_complete_C |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
| Transformed_CSR_innermost_04/LISTUTILITIES_complete_GM |
1.413 |
8.194 |
60.0 |
60.0 |
2.992 |
| Transformed_CSR_innermost_04/LISTUTILITIES_complete_iGM |
29.905 |
60.0 |
60.0 |
60.0 |
31.524 |
| Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_C |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
| Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_GM |
6.01 |
60.0 |
60.0 |
60.0 |
7.056 |
| Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_iGM |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_C |
10.973 |
16.208 |
60.0 |
60.0 |
11.963 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_GM |
0.582 |
1.477 |
60.0 |
60.0 |
2.102 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_iGM |
7.11 |
11.795 |
60.0 |
60.0 |
8.657 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_C |
43.775 |
60.0 |
60.0 |
60.0 |
44.497 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_GM |
1.039 |
5.813 |
60.0 |
60.0 |
2.527 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM |
18.901 |
51.856 |
60.0 |
60.0 |
21.253 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_C |
2.85 |
3.382 |
60.0 |
60.0 |
4.238 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_GM |
0.318 |
0.495 |
60.0 |
60.0 |
1.506 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM |
1.869 |
2.687 |
60.0 |
60.0 |
3.324 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_C |
12.329 |
19.822 |
60.0 |
60.0 |
13.78 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_GM |
0.535 |
1.609 |
60.0 |
60.0 |
2.073 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM |
7.549 |
13.091 |
60.0 |
60.0 |
9.11 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_C |
8.139 |
10.84 |
60.0 |
60.0 |
9.833 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_GM |
2.316 |
2.843 |
60.0 |
60.0 |
3.545 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM |
8.724 |
10.257 |
60.0 |
60.0 |
9.969 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_C |
24.584 |
33.431 |
60.0 |
60.0 |
24.904 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_GM |
4.417 |
5.367 |
60.0 |
60.0 |
5.798 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM |
33.698 |
36.678 |
60.0 |
60.0 |
35.214 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C |
1.203 |
1.329 |
60.0 |
60.0 |
2.346 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_GM |
0.515 |
0.589 |
60.0 |
60.0 |
1.575 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM |
1.423 |
1.2 |
60.0 |
60.0 |
2.192 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_C |
3.376 |
3.967 |
60.0 |
60.0 |
4.767 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_GM |
0.864 |
0.848 |
60.0 |
60.0 |
1.939 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_iGM |
3.603 |
3.737 |
60.0 |
60.0 |
4.858 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_C |
0.522 |
0.518 |
60.0 |
60.0 |
1.536 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_GM |
0.207 |
0.222 |
13.407 |
60.0 |
1.239 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_iGM |
0.565 |
0.541 |
60.0 |
60.0 |
1.548 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_C |
0.672 |
0.748 |
60.0 |
60.0 |
1.731 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_GM |
0.236 |
0.241 |
60.0 |
60.0 |
1.262 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM |
0.765 |
0.61 |
60.0 |
60.0 |
1.626 |
| Transformed_CSR_innermost_04/MYNAT_complete_C |
5.355 |
6.955 |
60.0 |
60.0 |
7.014 |
| Transformed_CSR_innermost_04/MYNAT_complete_GM |
0.395 |
0.655 |
60.0 |
60.0 |
1.628 |
| Transformed_CSR_innermost_04/MYNAT_complete_iGM |
3.132 |
5.089 |
60.0 |
60.0 |
4.651 |
| Transformed_CSR_innermost_04/MYNAT_complete_noand_C |
20.63 |
34.208 |
60.0 |
60.0 |
23.058 |
| Transformed_CSR_innermost_04/MYNAT_complete_noand_GM |
0.773 |
2.312 |
60.0 |
60.0 |
2.271 |
| Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM |
12.346 |
26.614 |
60.0 |
60.0 |
12.732 |
| Transformed_CSR_innermost_04/MYNAT_nokinds_C |
1.541 |
1.838 |
60.0 |
60.0 |
2.743 |
| Transformed_CSR_innermost_04/MYNAT_nokinds_GM |
0.272 |
0.312 |
60.0 |
60.0 |
1.324 |
| Transformed_CSR_innermost_04/MYNAT_nokinds_iGM |
1.091 |
1.398 |
60.0 |
60.0 |
2.338 |
| Transformed_CSR_innermost_04/MYNAT_nokinds_noand_C |
3.144 |
4.648 |
60.0 |
60.0 |
4.558 |
| Transformed_CSR_innermost_04/MYNAT_nokinds_noand_GM |
0.341 |
0.503 |
60.0 |
60.0 |
1.479 |
| Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM |
2.164 |
3.185 |
60.0 |
60.0 |
3.632 |
| Transformed_CSR_innermost_04/MYNAT_nosorts_C |
0.618 |
0.677 |
60.0 |
60.0 |
1.671 |
| Transformed_CSR_innermost_04/MYNAT_nosorts_GM |
0.202 |
0.196 |
60.0 |
60.0 |
1.21 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/MYNAT_nosorts_iGM |
0.429 |
0.391 |
60.0 |
60.0 |
1.377 |
| Transformed_CSR_innermost_04/MYNAT_nosorts_noand_C |
1.237 |
1.355 |
60.0 |
60.0 |
2.415 |
| Transformed_CSR_innermost_04/MYNAT_nosorts_noand_GM |
0.222 |
0.254 |
60.0 |
60.0 |
1.285 |
| Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM |
0.799 |
0.895 |
60.0 |
60.0 |
1.864 |
| Transformed_CSR_innermost_04/OvConsOS_complete_C |
15.498 |
23.473 |
60.0 |
60.0 |
18.027 |
| Transformed_CSR_innermost_04/OvConsOS_complete_GM |
4.572 |
5.011 |
60.0 |
60.0 |
6.073 |
| Transformed_CSR_innermost_04/OvConsOS_complete_iGM |
21.694 |
21.452 |
60.0 |
60.0 |
22.606 |
| Transformed_CSR_innermost_04/OvConsOS_complete_noand_C |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
| Transformed_CSR_innermost_04/OvConsOS_complete_noand_GM |
10.09 |
16.268 |
60.0 |
60.0 |
11.809 |
| Transformed_CSR_innermost_04/OvConsOS_complete_noand_iGM |
60.0 |
60.0 |
60.0 |
60.0 |
60.0 |
| Transformed_CSR_innermost_04/OvConsOS_nokinds_C |
2.602 |
2.858 |
60.0 |
60.0 |
3.663 |
| Transformed_CSR_innermost_04/OvConsOS_nokinds_GM |
0.843 |
0.895 |
60.0 |
60.0 |
1.945 |
| Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM |
3.601 |
3.151 |
60.0 |
60.0 |
4.234 |
| Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_C |
8.712 |
10.525 |
60.0 |
60.0 |
9.712 |
| Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_GM |
2.023 |
2.157 |
60.0 |
60.0 |
3.33 |
| Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM |
10.569 |
13.045 |
60.0 |
60.0 |
12.047 |
| Transformed_CSR_innermost_04/OvConsOS_nosorts_C |
0.796 |
0.837 |
60.0 |
60.0 |
1.859 |
| Transformed_CSR_innermost_04/OvConsOS_nosorts_GM |
0.307 |
0.3 |
60.0 |
60.0 |
1.327 |
| Transformed_CSR_innermost_04/OvConsOS_nosorts_iGM |
0.841 |
0.821 |
60.0 |
60.0 |
1.864 |
| Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_C |
1.954 |
2.341 |
60.0 |
60.0 |
3.258 |
| Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_GM |
0.56 |
0.522 |
60.0 |
60.0 |
1.636 |
| Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM |
2.077 |
2.599 |
60.0 |
60.0 |
3.542 |
| Transformed_CSR_innermost_04/PALINDROME_complete_C |
10.686 |
13.496 |
60.0 |
60.0 |
12.752 |
| Transformed_CSR_innermost_04/PALINDROME_complete_GM |
2.551 |
2.752 |
60.0 |
60.0 |
4.012 |
| Transformed_CSR_innermost_04/PALINDROME_complete_iGM |
17.574 |
15.685 |
60.0 |
60.0 |
19.752 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/PALINDROME_complete_noand_C |
35.405 |
53.36 |
60.0 |
60.0 |
36.962 |
| Transformed_CSR_innermost_04/PALINDROME_complete_noand_GM |
7.217 |
9.927 |
60.0 |
60.0 |
8.469 |
| Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM |
55.479 |
60.0 |
60.0 |
60.0 |
56.938 |
| Transformed_CSR_innermost_04/PALINDROME_nokinds_C |
0.903 |
1.03 |
60.0 |
60.0 |
2.031 |
| Transformed_CSR_innermost_04/PALINDROME_nokinds_GM |
0.421 |
0.377 |
60.0 |
60.0 |
1.45 |
| Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM |
2.097 |
1.299 |
60.0 |
60.0 |
2.316 |
| Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_C |
4.779 |
5.906 |
60.0 |
60.0 |
6.404 |
| Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_GM |
0.887 |
1.195 |
60.0 |
60.0 |
2.107 |
| Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_iGM |
7.254 |
6.072 |
60.0 |
60.0 |
9.002 |
| Transformed_CSR_innermost_04/PALINDROME_nosorts_C |
0.457 |
0.497 |
60.0 |
60.0 |
1.538 |
| Transformed_CSR_innermost_04/PALINDROME_nosorts_GM |
0.244 |
0.256 |
30.849 |
60.0 |
1.269 |
| Transformed_CSR_innermost_04/PALINDROME_nosorts_iGM |
0.405 |
0.375 |
60.0 |
60.0 |
1.378 |
| Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_C |
0.545 |
0.667 |
60.0 |
60.0 |
1.61 |
| Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_GM |
0.19 |
0.258 |
27.491 |
60.0 |
1.234 |
| Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM |
0.536 |
0.473 |
60.0 |
60.0 |
1.532 |
| Transformed_CSR_innermost_04/PEANO_complete_C |
3.182 |
3.448 |
60.0 |
60.0 |
4.486 |
| Transformed_CSR_innermost_04/PEANO_complete_GM |
1.134 |
1.335 |
60.0 |
60.0 |
2.214 |
| Transformed_CSR_innermost_04/PEANO_complete_iGM |
4.196 |
4.087 |
60.0 |
60.0 |
5.246 |
| Transformed_CSR_innermost_04/PEANO_complete_noand_C |
9.959 |
11.268 |
60.0 |
60.0 |
12.247 |
| Transformed_CSR_innermost_04/PEANO_complete_noand_GM |
1.794 |
2.634 |
60.0 |
60.0 |
3.066 |
| Transformed_CSR_innermost_04/PEANO_complete_noand_iGM |
12.555 |
14.35 |
60.0 |
60.0 |
14.712 |
| Transformed_CSR_innermost_04/PEANO_nokinds_C |
0.985 |
1.123 |
60.0 |
60.0 |
2.135 |
| Transformed_CSR_innermost_04/PEANO_nokinds_GM |
0.497 |
0.511 |
60.0 |
60.0 |
1.534 |
| Transformed_CSR_innermost_04/PEANO_nokinds_iGM |
1.069 |
1.177 |
60.0 |
60.0 |
2.196 |
| Transformed_CSR_innermost_04/PEANO_nokinds_noand_C |
1.645 |
1.978 |
60.0 |
60.0 |
3.017 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/PEANO_nokinds_noand_GM |
0.395 |
0.628 |
60.0 |
60.0 |
1.442 |
| Transformed_CSR_innermost_04/PEANO_nokinds_noand_iGM |
2.003 |
1.999 |
60.0 |
60.0 |
3.027 |
| Transformed_CSR_innermost_04/PEANO_nosorts_C |
0.421 |
0.428 |
60.0 |
60.0 |
1.457 |
| Transformed_CSR_innermost_04/PEANO_nosorts_GM |
0.179 |
0.181 |
1.637 |
0.939 |
1.196 |
| Transformed_CSR_innermost_04/PEANO_nosorts_iGM |
0.488 |
0.478 |
60.0 |
60.0 |
1.513 |
| Transformed_CSR_innermost_04/PEANO_nosorts_noand_C |
0.595 |
0.877 |
60.0 |
60.0 |
1.903 |
| Transformed_CSR_innermost_04/PEANO_nosorts_noand_GM |
0.448 |
0.458 |
60.0 |
60.0 |
1.491 |
| Transformed_CSR_innermost_04/PEANO_nosorts_noand_iGM |
0.867 |
0.835 |
60.0 |
60.0 |
1.586 |
|
|