| problem |
t |
e |
c |
r |
* |
| AG01_innermost/#4.12a |
0.14 |
0.144 |
0.159 |
0.146 |
0.176 |
| AG01_innermost/#4.13 |
0.144 |
0.155 |
0.158 |
0.161 |
0.157 |
| AG01_innermost/#4.14 |
0.172 |
0.163 |
0.177 |
0.163 |
0.197 |
| AG01_innermost/#4.15 |
0.162 |
0.174 |
0.196 |
0.201 |
0.267 |
| AG01_innermost/#4.16 |
0.152 |
0.154 |
0.159 |
0.171 |
0.177 |
| AG01_innermost/#4.17 |
0.157 |
0.16 |
0.16 |
0.175 |
0.201 |
| AG01_innermost/#4.18 |
0.162 |
0.137 |
0.177 |
60.0 |
0.156 |
| AG01_innermost/#4.19 |
0.163 |
0.176 |
60.0 |
60.0 |
1.2 |
| AG01_innermost/#4.2 |
0.151 |
0.147 |
0.162 |
0.166 |
0.199 |
| AG01_innermost/#4.20 |
0.147 |
0.142 |
0.141 |
0.152 |
0.151 |
| AG01_innermost/#4.20a |
0.163 |
0.171 |
0.17 |
0.179 |
0.183 |
| AG01_innermost/#4.21 |
0.182 |
0.148 |
0.166 |
0.163 |
0.152 |
| AG01_innermost/#4.22 |
0.159 |
0.147 |
0.16 |
0.168 |
0.172 |
| AG01_innermost/#4.23 |
0.175 |
0.183 |
0.185 |
0.19 |
0.256 |
| AG01_innermost/#4.24 |
0.177 |
0.183 |
0.411 |
60.0 |
0.93 |
| AG01_innermost/#4.25 |
0.154 |
0.153 |
0.15 |
0.14 |
0.154 |
| AG01_innermost/#4.26 |
0.179 |
0.164 |
0.187 |
0.187 |
0.273 |
| AG01_innermost/#4.27 |
0.181 |
0.173 |
1.094 |
1.162 |
1.184 |
| AG01_innermost/#4.28 |
0.154 |
0.157 |
0.178 |
0.188 |
0.251 |
| AG01_innermost/#4.29 |
0.232 |
0.213 |
60.0 |
60.0 |
1.244 |
| AG01_innermost/#4.3 |
0.151 |
0.145 |
0.156 |
0.156 |
0.145 |
| AG01_innermost/#4.30 |
0.188 |
0.209 |
0.228 |
0.252 |
0.334 |
| AG01_innermost/#4.30a |
0.186 |
0.183 |
0.236 |
0.209 |
0.294 |
| AG01_innermost/#4.30b |
0.211 |
0.223 |
0.25 |
0.244 |
0.332 |
| AG01_innermost/#4.31 |
0.156 |
0.156 |
0.192 |
0.25 |
0.252 |
| problem |
t |
e |
c |
r |
* |
| AG01_innermost/#4.32 |
0.17 |
0.161 |
0.197 |
0.197 |
0.271 |
| AG01_innermost/#4.33 |
0.198 |
0.198 |
1.287 |
1.273 |
1.19 |
| AG01_innermost/#4.34 |
0.176 |
0.176 |
22.968 |
22.975 |
1.196 |
| AG01_innermost/#4.35 |
0.338 |
0.366 |
60.0 |
60.0 |
1.39 |
| AG01_innermost/#4.36 |
0.364 |
0.357 |
60.0 |
60.0 |
1.397 |
| AG01_innermost/#4.37 |
0.158 |
0.153 |
0.16 |
0.164 |
0.189 |
| AG01_innermost/#4.37a |
0.191 |
0.183 |
0.188 |
0.185 |
0.228 |
| AG01_innermost/#4.4 |
0.144 |
0.142 |
0.14 |
0.14 |
0.164 |
| AG01_innermost/#4.5 |
0.14 |
0.143 |
0.138 |
0.15 |
0.142 |
| AG01_innermost/#4.7 |
0.146 |
0.137 |
0.151 |
0.154 |
0.149 |
| Applicative_AG01_innermost/#4.10 |
0.22 |
0.237 |
60.0 |
60.0 |
1.25 |
| Applicative_AG01_innermost/#4.13 |
0.229 |
0.246 |
60.0 |
60.0 |
1.245 |
| Applicative_AG01_innermost/#4.15 |
0.262 |
0.32 |
60.0 |
60.0 |
1.356 |
| Applicative_AG01_innermost/#4.17 |
0.241 |
0.292 |
60.0 |
60.0 |
1.311 |
| Applicative_AG01_innermost/#4.19 |
0.262 |
0.34 |
60.0 |
60.0 |
1.361 |
| Applicative_AG01_innermost/#4.2 |
0.226 |
0.265 |
60.0 |
60.0 |
1.279 |
| Applicative_AG01_innermost/#4.22 |
0.253 |
0.275 |
60.0 |
60.0 |
1.306 |
| Applicative_AG01_innermost/#4.24 |
0.255 |
0.322 |
60.0 |
60.0 |
1.344 |
| Applicative_AG01_innermost/#4.26 |
0.276 |
0.338 |
60.0 |
60.0 |
1.361 |
| Applicative_AG01_innermost/#4.28 |
0.25 |
0.29 |
60.0 |
60.0 |
1.307 |
| Applicative_AG01_innermost/#4.3 |
0.227 |
0.233 |
60.0 |
60.0 |
1.255 |
| Applicative_AG01_innermost/#4.34 |
0.261 |
0.31 |
60.0 |
60.0 |
1.347 |
| Applicative_AG01_innermost/#4.36 |
0.42 |
0.735 |
60.0 |
60.0 |
1.784 |
| Applicative_AG01_innermost/#4.5 |
0.214 |
0.209 |
60.0 |
60.0 |
1.23 |
| Applicative_AG01_innermost/#4.7 |
0.233 |
0.225 |
60.0 |
60.0 |
1.258 |
| problem |
t |
e |
c |
r |
* |
| Applicative_AG01_innermost/#4.8 |
0.258 |
0.302 |
60.0 |
60.0 |
1.312 |
| Mixed_innermost/bn111 |
0.143 |
0.137 |
0.146 |
0.156 |
0.161 |
| Mixed_innermost/cade04 |
0.193 |
0.157 |
0.19 |
0.196 |
0.238 |
| Mixed_innermost/cade05 |
0.179 |
0.195 |
0.237 |
0.237 |
0.328 |
| Mixed_innermost/cade12 |
0.237 |
0.236 |
1.109 |
1.142 |
1.253 |
| Mixed_innermost/cade13 |
0.205 |
0.216 |
0.315 |
0.307 |
0.474 |
| Mixed_innermost/gkg |
0.157 |
0.144 |
0.156 |
0.149 |
0.155 |
| Mixed_innermost/innermost1 |
0.15 |
0.153 |
0.146 |
0.143 |
0.183 |
| Mixed_innermost/innermost2 |
0.168 |
0.161 |
0.221 |
0.202 |
0.313 |
| Mixed_innermost/innermost3 |
0.141 |
0.163 |
0.155 |
0.163 |
0.196 |
| Mixed_innermost/innermost4 |
0.172 |
0.154 |
60.0 |
60.0 |
1.176 |
| Mixed_innermost/innermost5 |
0.163 |
0.179 |
0.21 |
0.223 |
0.312 |
| Mixed_innermost/muladd |
0.159 |
0.16 |
0.168 |
0.17 |
0.203 |
| Mixed_innermost/n001 |
0.151 |
0.149 |
0.169 |
0.178 |
0.21 |
| Mixed_innermost/test10 |
0.166 |
0.155 |
0.174 |
0.175 |
0.227 |
| Mixed_innermost/test75 |
0.142 |
0.145 |
0.155 |
0.151 |
0.16 |
| Mixed_innermost/test76 |
0.158 |
0.157 |
0.174 |
0.191 |
0.227 |
| Mixed_innermost/test77 |
0.155 |
0.176 |
0.189 |
0.178 |
0.227 |
| Mixed_innermost/test830 |
0.162 |
0.166 |
0.301 |
0.177 |
0.303 |
| Mixed_innermost/test833 |
0.147 |
0.138 |
0.158 |
0.152 |
0.147 |
| Mixed_innermost/test9 |
0.153 |
0.143 |
0.158 |
0.162 |
0.189 |
| Mixed_innermost/thiemann26i |
0.198 |
0.22 |
0.25 |
0.267 |
0.369 |
| Mixed_innermost/thiemann28i |
0.204 |
0.199 |
60.0 |
60.0 |
1.224 |
| Mixed_innermost/toyama |
0.142 |
0.138 |
0.142 |
0.177 |
0.146 |
| Mixed_innermost/tricky1 |
0.166 |
0.141 |
0.23 |
0.222 |
0.205 |
| problem |
t |
e |
c |
r |
* |
| Mixed_innermost/wiehe13 |
0.272 |
0.288 |
60.0 |
60.0 |
1.292 |
| Mixed_innermost/wiehe14 |
0.359 |
0.382 |
60.0 |
60.0 |
1.371 |
| Transformed_CSR_innermost_04/Ex14_AEGL02_C |
0.496 |
0.493 |
60.0 |
60.0 |
1.498 |
| Transformed_CSR_innermost_04/Ex14_AEGL02_GM |
0.215 |
0.224 |
1.707 |
1.686 |
1.229 |
| Transformed_CSR_innermost_04/Ex14_AEGL02_iGM |
0.496 |
0.468 |
60.0 |
60.0 |
1.466 |
| Transformed_CSR_innermost_04/Ex14_Luc06_C |
0.342 |
0.402 |
60.0 |
60.0 |
1.406 |
| Transformed_CSR_innermost_04/Ex14_Luc06_GM |
0.206 |
0.198 |
60.0 |
60.0 |
1.219 |
| Transformed_CSR_innermost_04/Ex14_Luc06_iGM |
0.354 |
0.318 |
60.0 |
60.0 |
1.334 |
| Transformed_CSR_innermost_04/Ex15_Luc06_C |
0.243 |
0.244 |
0.504 |
0.523 |
0.823 |
| Transformed_CSR_innermost_04/Ex15_Luc06_GM |
0.158 |
0.161 |
0.164 |
0.163 |
0.2 |
| Transformed_CSR_innermost_04/Ex15_Luc06_iGM |
0.247 |
0.234 |
0.341 |
0.347 |
0.479 |
| Transformed_CSR_innermost_04/Ex15_Luc98_C |
1.037 |
1.147 |
60.0 |
60.0 |
2.183 |
| Transformed_CSR_innermost_04/Ex15_Luc98_GM |
0.271 |
0.299 |
60.0 |
60.0 |
1.295 |
| Transformed_CSR_innermost_04/Ex15_Luc98_iGM |
1.253 |
1.618 |
60.0 |
60.0 |
2.511 |
| Transformed_CSR_innermost_04/Ex16_Luc06_C |
0.227 |
0.213 |
60.0 |
2.671 |
1.229 |
| Transformed_CSR_innermost_04/Ex16_Luc06_GM |
0.154 |
0.17 |
0.391 |
0.217 |
0.454 |
| Transformed_CSR_innermost_04/Ex16_Luc06_iGM |
0.226 |
0.201 |
0.956 |
0.401 |
0.939 |
| Transformed_CSR_innermost_04/Ex18_Luc06_C |
0.257 |
0.241 |
0.466 |
0.515 |
0.776 |
| Transformed_CSR_innermost_04/Ex18_Luc06_GM |
0.168 |
0.148 |
0.185 |
0.189 |
0.25 |
| Transformed_CSR_innermost_04/Ex18_Luc06_L |
0.136 |
0.146 |
0.137 |
0.151 |
0.138 |
| Transformed_CSR_innermost_04/Ex18_Luc06_iGM |
0.24 |
0.219 |
0.423 |
0.472 |
0.636 |
| Transformed_CSR_innermost_04/Ex1_2_AEL03_C |
2.609 |
3.063 |
60.0 |
60.0 |
4.125 |
| Transformed_CSR_innermost_04/Ex1_2_AEL03_GM |
0.273 |
0.392 |
60.0 |
60.0 |
1.397 |
| Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM |
1.783 |
1.566 |
60.0 |
60.0 |
2.524 |
| Transformed_CSR_innermost_04/Ex1_2_Luc02c_C |
0.375 |
0.364 |
60.0 |
60.0 |
1.377 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/Ex1_2_Luc02c_GM |
0.17 |
0.178 |
0.523 |
0.54 |
0.904 |
| Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM |
0.287 |
0.271 |
6.413 |
6.538 |
1.288 |
| Transformed_CSR_innermost_04/Ex1_GL02a_C |
0.757 |
0.818 |
60.0 |
60.0 |
1.833 |
| Transformed_CSR_innermost_04/Ex1_GL02a_GM |
0.217 |
0.222 |
60.0 |
60.0 |
1.249 |
| Transformed_CSR_innermost_04/Ex1_GL02a_iGM |
0.918 |
0.73 |
60.0 |
60.0 |
1.765 |
| Transformed_CSR_innermost_04/Ex1_GM03_C |
0.612 |
0.677 |
60.0 |
60.0 |
1.681 |
| Transformed_CSR_innermost_04/Ex1_GM03_GM |
0.204 |
0.237 |
60.0 |
60.0 |
1.235 |
| Transformed_CSR_innermost_04/Ex1_GM03_iGM |
0.566 |
0.519 |
60.0 |
60.0 |
1.548 |
| Transformed_CSR_innermost_04/Ex1_GM99_C |
0.233 |
0.242 |
60.0 |
60.0 |
1.244 |
| Transformed_CSR_innermost_04/Ex1_GM99_GM |
0.188 |
0.179 |
60.0 |
60.0 |
1.186 |
| Transformed_CSR_innermost_04/Ex1_GM99_iGM |
0.299 |
0.237 |
60.0 |
60.0 |
1.241 |
| Transformed_CSR_innermost_04/Ex1_Luc02b_C |
0.601 |
0.643 |
60.0 |
60.0 |
1.654 |
| Transformed_CSR_innermost_04/Ex1_Luc02b_GM |
0.212 |
0.215 |
22.692 |
21.924 |
1.224 |
| Transformed_CSR_innermost_04/Ex1_Luc02b_iGM |
0.471 |
0.449 |
60.0 |
60.0 |
1.474 |
| Transformed_CSR_innermost_04/Ex1_Luc04b_C |
0.701 |
0.693 |
60.0 |
60.0 |
1.699 |
| Transformed_CSR_innermost_04/Ex1_Luc04b_GM |
0.251 |
0.269 |
4.984 |
60.0 |
1.295 |
| Transformed_CSR_innermost_04/Ex1_Luc04b_iGM |
0.5 |
0.581 |
60.0 |
60.0 |
1.599 |
| Transformed_CSR_innermost_04/Ex1_Zan97_C |
0.199 |
0.212 |
0.408 |
0.494 |
0.764 |
| Transformed_CSR_innermost_04/Ex1_Zan97_GM |
0.162 |
0.161 |
0.193 |
0.167 |
0.218 |
| Transformed_CSR_innermost_04/Ex1_Zan97_iGM |
0.215 |
0.181 |
0.234 |
0.275 |
0.352 |
| Transformed_CSR_innermost_04/Ex23_Luc06_C |
0.328 |
0.336 |
0.9 |
0.921 |
1.349 |
| Transformed_CSR_innermost_04/Ex23_Luc06_GM |
0.162 |
0.18 |
0.173 |
0.179 |
0.217 |
| Transformed_CSR_innermost_04/Ex23_Luc06_L |
0.129 |
0.131 |
0.165 |
0.131 |
0.132 |
| Transformed_CSR_innermost_04/Ex23_Luc06_iGM |
0.298 |
0.25 |
0.55 |
0.559 |
0.794 |
| Transformed_CSR_innermost_04/Ex24_GM04_C |
0.291 |
0.261 |
60.0 |
60.0 |
1.296 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/Ex24_GM04_GM |
0.176 |
0.161 |
40.514 |
40.429 |
1.178 |
| Transformed_CSR_innermost_04/Ex24_GM04_iGM |
0.283 |
0.253 |
60.0 |
60.0 |
1.256 |
| Transformed_CSR_innermost_04/Ex24_Luc06_C |
0.236 |
0.242 |
60.0 |
60.0 |
1.242 |
| Transformed_CSR_innermost_04/Ex24_Luc06_GM |
0.162 |
0.156 |
0.784 |
0.814 |
1.11 |
| Transformed_CSR_innermost_04/Ex24_Luc06_iGM |
0.279 |
0.221 |
60.0 |
60.0 |
1.233 |
| Transformed_CSR_innermost_04/Ex25_Luc06_C |
0.418 |
0.362 |
1.733 |
1.291 |
0.981 |
| Transformed_CSR_innermost_04/Ex25_Luc06_GM |
0.181 |
0.18 |
0.268 |
0.304 |
0.34 |
| Transformed_CSR_innermost_04/Ex25_Luc06_L |
0.13 |
0.158 |
0.139 |
0.151 |
0.144 |
| Transformed_CSR_innermost_04/Ex25_Luc06_iGM |
0.386 |
0.267 |
0.986 |
0.885 |
1.297 |
| Transformed_CSR_innermost_04/Ex26_Luc03b_C |
1.362 |
1.54 |
60.0 |
60.0 |
2.524 |
| Transformed_CSR_innermost_04/Ex26_Luc03b_GM |
0.457 |
0.38 |
60.0 |
60.0 |
1.493 |
| Transformed_CSR_innermost_04/Ex26_Luc03b_L |
0.151 |
0.163 |
0.151 |
0.151 |
0.156 |
| Transformed_CSR_innermost_04/Ex26_Luc03b_iGM |
1.838 |
1.51 |
60.0 |
60.0 |
2.479 |
| Transformed_CSR_innermost_04/Ex2_Luc02a_C |
1.43 |
1.759 |
60.0 |
60.0 |
2.752 |
| Transformed_CSR_innermost_04/Ex2_Luc02a_GM |
0.23 |
0.266 |
60.0 |
60.0 |
1.277 |
| Transformed_CSR_innermost_04/Ex2_Luc02a_L |
0.188 |
0.202 |
0.211 |
0.233 |
0.305 |
| Transformed_CSR_innermost_04/Ex2_Luc02a_iGM |
1.204 |
1.478 |
60.0 |
60.0 |
2.416 |
| Transformed_CSR_innermost_04/Ex2_Luc03b_C |
0.913 |
0.957 |
60.0 |
60.0 |
1.994 |
| Transformed_CSR_innermost_04/Ex2_Luc03b_GM |
0.258 |
0.261 |
42.54 |
40.359 |
1.304 |
| Transformed_CSR_innermost_04/Ex2_Luc03b_L |
0.148 |
0.147 |
0.155 |
0.161 |
0.148 |
| Transformed_CSR_innermost_04/Ex2_Luc03b_iGM |
1.097 |
1.035 |
60.0 |
60.0 |
2.021 |
| Transformed_CSR_innermost_04/Ex3_12_Luc96a_C |
0.429 |
0.431 |
60.0 |
60.0 |
1.443 |
| Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM |
0.181 |
0.187 |
1.164 |
1.205 |
1.204 |
| Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM |
0.368 |
0.346 |
60.0 |
60.0 |
1.349 |
| Transformed_CSR_innermost_04/Ex3_2_Luc97_C |
0.696 |
0.761 |
60.0 |
60.0 |
1.788 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/Ex3_2_Luc97_GM |
0.204 |
0.21 |
60.0 |
60.0 |
1.242 |
| Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM |
0.719 |
0.618 |
60.0 |
60.0 |
1.654 |
| Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C |
0.938 |
1.065 |
60.0 |
60.0 |
2.053 |
| Transformed_CSR_innermost_04/Ex3_3_25_Bor03_GM |
0.307 |
0.339 |
60.0 |
60.0 |
1.354 |
| Transformed_CSR_innermost_04/Ex3_3_25_Bor03_L |
0.146 |
0.145 |
0.155 |
0.146 |
0.151 |
| Transformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM |
1.141 |
1.26 |
60.0 |
60.0 |
2.338 |
| Transformed_CSR_innermost_04/Ex49_GM04_C |
0.791 |
0.796 |
60.0 |
60.0 |
1.799 |
| Transformed_CSR_innermost_04/Ex49_GM04_GM |
0.355 |
0.387 |
60.0 |
60.0 |
1.406 |
| Transformed_CSR_innermost_04/Ex49_GM04_iGM |
1.226 |
1.002 |
60.0 |
60.0 |
2.012 |
| Transformed_CSR_innermost_04/Ex4_4_Luc96b_C |
0.297 |
0.272 |
0.907 |
0.952 |
1.307 |
| Transformed_CSR_innermost_04/Ex4_4_Luc96b_GM |
0.176 |
0.184 |
0.243 |
0.234 |
0.314 |
| Transformed_CSR_innermost_04/Ex4_4_Luc96b_L |
0.141 |
0.137 |
0.142 |
0.138 |
0.163 |
| Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM |
0.227 |
0.232 |
1.215 |
1.247 |
1.249 |
| Transformed_CSR_innermost_04/Ex4_7_15_Bor03_C |
0.414 |
0.441 |
60.0 |
60.0 |
1.461 |
| Transformed_CSR_innermost_04/Ex4_7_15_Bor03_GM |
0.189 |
0.193 |
0.687 |
0.331 |
0.858 |
| Transformed_CSR_innermost_04/Ex4_7_15_Bor03_L |
0.158 |
0.162 |
0.148 |
0.336 |
0.317 |
| Transformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM |
0.602 |
0.653 |
28.324 |
60.0 |
1.663 |
| Transformed_CSR_innermost_04/Ex4_7_37_Bor03_C |
1.232 |
1.504 |
60.0 |
60.0 |
2.454 |
| Transformed_CSR_innermost_04/Ex4_7_37_Bor03_GM |
0.287 |
0.318 |
60.0 |
60.0 |
1.331 |
| Transformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM |
0.825 |
0.813 |
60.0 |
60.0 |
1.824 |
| Transformed_CSR_innermost_04/Ex4_7_56_Bor03_C |
0.5 |
0.549 |
60.0 |
60.0 |
1.551 |
| Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM |
0.173 |
0.18 |
1.135 |
1.173 |
1.191 |
| Transformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM |
0.362 |
0.34 |
60.0 |
60.0 |
1.345 |
| Transformed_CSR_innermost_04/Ex4_7_77_Bor03_C |
0.282 |
0.277 |
6.871 |
60.0 |
1.285 |
| Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM |
0.189 |
0.17 |
0.275 |
0.234 |
0.362 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM |
0.251 |
0.232 |
1.237 |
45.843 |
1.256 |
| Transformed_CSR_innermost_04/Ex4_DLMMU04_C |
2.791 |
3.055 |
60.0 |
60.0 |
4.131 |
| Transformed_CSR_innermost_04/Ex4_DLMMU04_GM |
0.8 |
0.896 |
60.0 |
60.0 |
1.862 |
| Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM |
2.785 |
2.953 |
60.0 |
60.0 |
3.859 |
| Transformed_CSR_innermost_04/Ex4_Zan97_C |
0.538 |
0.674 |
60.0 |
60.0 |
1.655 |
| Transformed_CSR_innermost_04/Ex4_Zan97_GM |
0.187 |
0.199 |
7.263 |
7.492 |
1.214 |
| Transformed_CSR_innermost_04/Ex4_Zan97_iGM |
0.449 |
0.457 |
60.0 |
60.0 |
1.489 |
| Transformed_CSR_innermost_04/Ex5_7_Luc97_C |
1.498 |
1.592 |
60.0 |
60.0 |
2.596 |
| Transformed_CSR_innermost_04/Ex5_7_Luc97_GM |
0.264 |
0.352 |
60.0 |
60.0 |
1.336 |
| Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM |
1.319 |
1.37 |
60.0 |
60.0 |
2.295 |
| Transformed_CSR_innermost_04/Ex5_DLMMU04_C |
1.599 |
1.959 |
60.0 |
60.0 |
2.943 |
| Transformed_CSR_innermost_04/Ex5_DLMMU04_GM |
0.239 |
0.278 |
60.0 |
60.0 |
1.304 |
| Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM |
1.036 |
0.928 |
60.0 |
60.0 |
1.902 |
| Transformed_CSR_innermost_04/Ex5_Zan97_C |
0.332 |
0.344 |
60.0 |
60.0 |
1.367 |
| Transformed_CSR_innermost_04/Ex5_Zan97_GM |
0.228 |
0.226 |
60.0 |
60.0 |
1.246 |
| Transformed_CSR_innermost_04/Ex5_Zan97_iGM |
0.295 |
0.275 |
60.0 |
60.0 |
1.284 |
| Transformed_CSR_innermost_04/Ex6_15_AEL02_C |
2.365 |
3.252 |
60.0 |
60.0 |
3.967 |
| Transformed_CSR_innermost_04/Ex6_15_AEL02_GM |
0.326 |
0.532 |
60.0 |
60.0 |
1.515 |
| Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM |
2.093 |
2.356 |
60.0 |
60.0 |
3.61 |
| Transformed_CSR_innermost_04/Ex6_9_Luc02c_C |
0.647 |
0.592 |
60.0 |
60.0 |
1.566 |
| Transformed_CSR_innermost_04/Ex6_9_Luc02c_GM |
0.179 |
0.181 |
1.64 |
1.738 |
1.205 |
| Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM |
0.391 |
0.426 |
60.0 |
60.0 |
1.466 |
| Transformed_CSR_innermost_04/Ex6_GM04_C |
0.205 |
0.204 |
0.393 |
0.548 |
0.753 |
| Transformed_CSR_innermost_04/Ex6_GM04_GM |
0.153 |
0.15 |
0.153 |
0.172 |
0.163 |
| Transformed_CSR_innermost_04/Ex6_GM04_iGM |
0.235 |
0.185 |
0.221 |
0.227 |
0.289 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/Ex6_Luc98_C |
0.589 |
0.644 |
60.0 |
60.0 |
1.68 |
| Transformed_CSR_innermost_04/Ex6_Luc98_GM |
0.211 |
0.206 |
5.314 |
5.294 |
1.228 |
| Transformed_CSR_innermost_04/Ex6_Luc98_L |
0.138 |
0.146 |
0.15 |
0.138 |
0.142 |
| Transformed_CSR_innermost_04/Ex6_Luc98_iGM |
0.511 |
0.468 |
60.0 |
60.0 |
1.493 |
| Transformed_CSR_innermost_04/Ex7_BLR02_C |
0.829 |
0.906 |
60.0 |
60.0 |
1.881 |
| Transformed_CSR_innermost_04/Ex7_BLR02_GM |
0.209 |
0.239 |
60.0 |
60.0 |
1.263 |
| Transformed_CSR_innermost_04/Ex7_BLR02_iGM |
0.535 |
0.639 |
60.0 |
60.0 |
1.632 |
| Transformed_CSR_innermost_04/Ex8_BLR02_C |
0.809 |
1.028 |
60.0 |
60.0 |
2.039 |
| Transformed_CSR_innermost_04/Ex8_BLR02_GM |
0.218 |
0.241 |
56.104 |
51.99 |
1.241 |
| Transformed_CSR_innermost_04/Ex8_BLR02_iGM |
0.599 |
0.636 |
60.0 |
60.0 |
1.67 |
| Transformed_CSR_innermost_04/Ex9_BLR02_C |
0.961 |
1.069 |
60.0 |
60.0 |
2.094 |
| Transformed_CSR_innermost_04/Ex9_BLR02_GM |
0.424 |
0.419 |
60.0 |
60.0 |
1.441 |
| Transformed_CSR_innermost_04/Ex9_BLR02_L |
0.149 |
0.146 |
0.146 |
0.148 |
0.161 |
| Transformed_CSR_innermost_04/Ex9_BLR02_iGM |
1.02 |
1.077 |
60.0 |
60.0 |
2.069 |
| Transformed_CSR_innermost_04/Ex9_Luc04_C |
0.239 |
0.25 |
60.0 |
60.0 |
1.279 |
| Transformed_CSR_innermost_04/Ex9_Luc04_GM |
0.164 |
0.17 |
60.0 |
60.0 |
1.184 |
| Transformed_CSR_innermost_04/Ex9_Luc04_iGM |
0.248 |
0.229 |
60.0 |
60.0 |
1.229 |
| Transformed_CSR_innermost_04/Ex9_Luc06_C |
0.214 |
0.249 |
60.0 |
60.0 |
1.26 |
| Transformed_CSR_innermost_04/Ex9_Luc06_GM |
0.169 |
0.174 |
37.547 |
2.181 |
1.179 |
| Transformed_CSR_innermost_04/Ex9_Luc06_iGM |
0.271 |
0.208 |
60.0 |
60.0 |
1.218 |
| Transformed_CSR_innermost_04/ExAppendixB_AEL03_C |
3.151 |
3.971 |
60.0 |
60.0 |
4.669 |
| Transformed_CSR_innermost_04/ExAppendixB_AEL03_GM |
0.294 |
0.461 |
60.0 |
60.0 |
1.473 |
| Transformed_CSR_innermost_04/ExAppendixB_AEL03_iGM |
1.883 |
2.455 |
60.0 |
60.0 |
3.273 |
| Transformed_CSR_innermost_04/ExConc_Zan97_C |
0.302 |
0.278 |
0.513 |
0.591 |
0.433 |
| Transformed_CSR_innermost_04/ExConc_Zan97_GM |
0.169 |
0.175 |
0.171 |
0.195 |
0.216 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/ExConc_Zan97_L |
0.143 |
0.143 |
0.154 |
0.14 |
0.135 |
| Transformed_CSR_innermost_04/ExConc_Zan97_iGM |
0.274 |
0.23 |
0.497 |
0.459 |
0.712 |
| Transformed_CSR_innermost_04/ExIntrod_GM01_C |
0.857 |
0.835 |
60.0 |
60.0 |
1.865 |
| Transformed_CSR_innermost_04/ExIntrod_GM01_GM |
0.318 |
0.362 |
18.846 |
60.0 |
1.357 |
| Transformed_CSR_innermost_04/ExIntrod_GM01_iGM |
0.875 |
0.736 |
60.0 |
60.0 |
1.748 |
| Transformed_CSR_innermost_04/ExIntrod_GM04_C |
0.662 |
0.679 |
60.0 |
60.0 |
1.72 |
| Transformed_CSR_innermost_04/ExIntrod_GM04_GM |
0.277 |
0.248 |
5.582 |
6.549 |
1.308 |
| Transformed_CSR_innermost_04/ExIntrod_GM04_iGM |
0.668 |
0.571 |
60.0 |
60.0 |
1.57 |
| Transformed_CSR_innermost_04/ExIntrod_GM99_C |
1.436 |
1.589 |
60.0 |
60.0 |
2.619 |
| Transformed_CSR_innermost_04/ExIntrod_GM99_GM |
0.311 |
0.298 |
60.0 |
60.0 |
1.308 |
| Transformed_CSR_innermost_04/ExIntrod_GM99_iGM |
1.202 |
1.165 |
60.0 |
60.0 |
2.161 |
| Transformed_CSR_innermost_04/ExIntrod_Zan97_C |
0.87 |
1.04 |
60.0 |
60.0 |
2.051 |
| Transformed_CSR_innermost_04/ExIntrod_Zan97_GM |
0.24 |
0.267 |
60.0 |
60.0 |
1.269 |
| Transformed_CSR_innermost_04/ExIntrod_Zan97_iGM |
0.809 |
0.806 |
60.0 |
60.0 |
1.781 |
| Transformed_CSR_innermost_04/ExProp7_Luc06_C |
0.487 |
0.482 |
60.0 |
60.0 |
1.493 |
| Transformed_CSR_innermost_04/ExProp7_Luc06_GM |
0.25 |
0.261 |
1.435 |
0.62 |
1.159 |
| Transformed_CSR_innermost_04/ExProp7_Luc06_L |
0.147 |
0.152 |
0.143 |
0.172 |
0.154 |
| Transformed_CSR_innermost_04/ExProp7_Luc06_iGM |
0.447 |
0.407 |
30.769 |
60.0 |
1.437 |
| Transformed_CSR_innermost_04/ExSec11_1_Luc02a_C |
1.816 |
2.035 |
60.0 |
60.0 |
3.057 |
| Transformed_CSR_innermost_04/ExSec11_1_Luc02a_GM |
0.251 |
0.307 |
60.0 |
60.0 |
1.377 |
| Transformed_CSR_innermost_04/ExSec11_1_Luc02a_L |
0.285 |
0.289 |
0.317 |
0.332 |
0.395 |
| Transformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM |
1.771 |
1.903 |
60.0 |
60.0 |
2.92 |
| Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_C |
1.979 |
2.68 |
60.0 |
60.0 |
3.371 |
| Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM |
0.288 |
0.431 |
60.0 |
60.0 |
1.477 |
| Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM |
1.418 |
1.92 |
60.0 |
60.0 |
3.0 |
| 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.528 |
8.32 |
60.0 |
60.0 |
3.083 |
| Transformed_CSR_innermost_04/LISTUTILITIES_complete_iGM |
30.052 |
60.0 |
60.0 |
60.0 |
33.698 |
| 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 |
7.221 |
60.0 |
60.0 |
60.0 |
8.568 |
| 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 |
11.284 |
16.221 |
60.0 |
60.0 |
12.07 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_GM |
0.619 |
1.53 |
60.0 |
60.0 |
2.147 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_iGM |
7.178 |
12.202 |
60.0 |
60.0 |
9.098 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_C |
44.886 |
60.0 |
60.0 |
60.0 |
45.408 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_GM |
1.122 |
5.861 |
60.0 |
60.0 |
2.713 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM |
21.445 |
53.04 |
60.0 |
60.0 |
21.735 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_C |
2.731 |
3.334 |
60.0 |
60.0 |
4.455 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_GM |
0.323 |
0.512 |
60.0 |
60.0 |
1.573 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM |
1.873 |
2.697 |
60.0 |
60.0 |
3.362 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_C |
12.95 |
19.92 |
60.0 |
60.0 |
14.08 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_GM |
0.576 |
1.655 |
60.0 |
60.0 |
2.108 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM |
7.991 |
13.799 |
60.0 |
60.0 |
9.263 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_C |
8.022 |
10.776 |
60.0 |
60.0 |
9.355 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_GM |
2.334 |
2.832 |
60.0 |
60.0 |
3.648 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM |
8.498 |
10.265 |
60.0 |
60.0 |
10.544 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_C |
25.423 |
33.912 |
60.0 |
60.0 |
25.154 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_GM |
4.481 |
5.271 |
60.0 |
60.0 |
5.878 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM |
34.098 |
36.684 |
60.0 |
60.0 |
35.562 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C |
1.251 |
1.306 |
60.0 |
60.0 |
2.378 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_GM |
0.513 |
0.562 |
60.0 |
60.0 |
1.555 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM |
1.431 |
1.207 |
60.0 |
60.0 |
2.242 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_C |
3.507 |
3.966 |
60.0 |
60.0 |
4.765 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_GM |
0.872 |
0.88 |
60.0 |
60.0 |
1.965 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_iGM |
3.544 |
3.838 |
60.0 |
60.0 |
4.923 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_C |
0.527 |
0.522 |
60.0 |
60.0 |
1.58 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_GM |
0.202 |
0.238 |
14.05 |
60.0 |
1.234 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_iGM |
0.547 |
0.515 |
60.0 |
60.0 |
1.54 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_C |
0.665 |
0.729 |
60.0 |
60.0 |
1.769 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_GM |
0.246 |
0.246 |
60.0 |
60.0 |
1.259 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM |
0.755 |
0.625 |
60.0 |
60.0 |
1.645 |
| Transformed_CSR_innermost_04/MYNAT_complete_C |
5.453 |
6.708 |
60.0 |
60.0 |
7.308 |
| Transformed_CSR_innermost_04/MYNAT_complete_GM |
0.404 |
0.67 |
60.0 |
60.0 |
1.667 |
| Transformed_CSR_innermost_04/MYNAT_complete_iGM |
3.247 |
5.373 |
60.0 |
60.0 |
4.753 |
| Transformed_CSR_innermost_04/MYNAT_complete_noand_C |
21.123 |
36.15 |
60.0 |
60.0 |
23.59 |
| Transformed_CSR_innermost_04/MYNAT_complete_noand_GM |
0.813 |
2.417 |
60.0 |
60.0 |
2.383 |
| Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM |
12.326 |
26.535 |
60.0 |
60.0 |
14.016 |
| Transformed_CSR_innermost_04/MYNAT_nokinds_C |
1.574 |
1.932 |
60.0 |
60.0 |
2.781 |
| Transformed_CSR_innermost_04/MYNAT_nokinds_GM |
0.265 |
0.325 |
60.0 |
60.0 |
1.32 |
| Transformed_CSR_innermost_04/MYNAT_nokinds_iGM |
1.144 |
1.333 |
60.0 |
60.0 |
2.337 |
| Transformed_CSR_innermost_04/MYNAT_nokinds_noand_C |
3.08 |
4.638 |
60.0 |
60.0 |
4.778 |
| Transformed_CSR_innermost_04/MYNAT_nokinds_noand_GM |
0.34 |
0.515 |
60.0 |
60.0 |
1.495 |
| Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM |
2.147 |
3.242 |
60.0 |
60.0 |
3.771 |
| Transformed_CSR_innermost_04/MYNAT_nosorts_C |
0.583 |
0.67 |
60.0 |
60.0 |
1.66 |
| Transformed_CSR_innermost_04/MYNAT_nosorts_GM |
0.204 |
0.192 |
60.0 |
60.0 |
1.222 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/MYNAT_nosorts_iGM |
0.405 |
0.386 |
60.0 |
60.0 |
1.411 |
| Transformed_CSR_innermost_04/MYNAT_nosorts_noand_C |
1.25 |
1.419 |
60.0 |
60.0 |
2.345 |
| Transformed_CSR_innermost_04/MYNAT_nosorts_noand_GM |
0.222 |
0.263 |
60.0 |
60.0 |
1.272 |
| Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM |
0.821 |
0.897 |
60.0 |
60.0 |
1.883 |
| Transformed_CSR_innermost_04/OvConsOS_complete_C |
15.793 |
23.959 |
60.0 |
60.0 |
17.436 |
| Transformed_CSR_innermost_04/OvConsOS_complete_GM |
4.493 |
5.232 |
60.0 |
60.0 |
6.015 |
| Transformed_CSR_innermost_04/OvConsOS_complete_iGM |
21.615 |
21.319 |
60.0 |
60.0 |
22.841 |
| 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.394 |
15.989 |
60.0 |
60.0 |
12.662 |
| 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.632 |
2.803 |
60.0 |
60.0 |
3.74 |
| Transformed_CSR_innermost_04/OvConsOS_nokinds_GM |
0.886 |
0.913 |
60.0 |
60.0 |
1.909 |
| Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM |
3.595 |
3.182 |
60.0 |
60.0 |
4.306 |
| Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_C |
8.592 |
10.372 |
60.0 |
60.0 |
9.767 |
| Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_GM |
2.042 |
2.168 |
60.0 |
60.0 |
3.24 |
| Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM |
10.806 |
12.75 |
60.0 |
60.0 |
12.196 |
| Transformed_CSR_innermost_04/OvConsOS_nosorts_C |
0.787 |
0.857 |
60.0 |
60.0 |
1.835 |
| Transformed_CSR_innermost_04/OvConsOS_nosorts_GM |
0.299 |
0.3 |
60.0 |
60.0 |
1.338 |
| Transformed_CSR_innermost_04/OvConsOS_nosorts_iGM |
0.875 |
0.864 |
60.0 |
60.0 |
1.856 |
| Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_C |
1.962 |
2.286 |
60.0 |
60.0 |
3.282 |
| Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_GM |
0.582 |
0.521 |
60.0 |
60.0 |
1.638 |
| Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM |
2.111 |
2.638 |
60.0 |
60.0 |
3.656 |
| Transformed_CSR_innermost_04/PALINDROME_complete_C |
10.751 |
13.506 |
60.0 |
60.0 |
12.307 |
| Transformed_CSR_innermost_04/PALINDROME_complete_GM |
2.482 |
2.699 |
60.0 |
60.0 |
4.018 |
| Transformed_CSR_innermost_04/PALINDROME_complete_iGM |
18.396 |
15.857 |
60.0 |
60.0 |
19.267 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/PALINDROME_complete_noand_C |
38.441 |
53.833 |
60.0 |
60.0 |
39.109 |
| Transformed_CSR_innermost_04/PALINDROME_complete_noand_GM |
7.339 |
9.894 |
60.0 |
60.0 |
8.98 |
| Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM |
55.086 |
60.0 |
60.0 |
60.0 |
55.213 |
| Transformed_CSR_innermost_04/PALINDROME_nokinds_C |
1.067 |
1.185 |
60.0 |
60.0 |
2.055 |
| Transformed_CSR_innermost_04/PALINDROME_nokinds_GM |
0.428 |
0.373 |
60.0 |
60.0 |
1.484 |
| Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM |
2.189 |
1.307 |
60.0 |
60.0 |
2.328 |
| Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_C |
4.841 |
5.666 |
60.0 |
60.0 |
6.349 |
| Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_GM |
0.923 |
1.172 |
60.0 |
60.0 |
2.147 |
| Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_iGM |
7.564 |
6.296 |
60.0 |
60.0 |
9.037 |
| Transformed_CSR_innermost_04/PALINDROME_nosorts_C |
0.457 |
0.487 |
60.0 |
60.0 |
1.5 |
| Transformed_CSR_innermost_04/PALINDROME_nosorts_GM |
0.251 |
0.263 |
32.325 |
60.0 |
1.272 |
| Transformed_CSR_innermost_04/PALINDROME_nosorts_iGM |
0.427 |
0.38 |
60.0 |
60.0 |
1.379 |
| Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_C |
0.548 |
0.606 |
60.0 |
60.0 |
1.622 |
| Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_GM |
0.195 |
0.249 |
29.413 |
60.0 |
1.232 |
| Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM |
0.526 |
0.492 |
60.0 |
60.0 |
1.49 |
| Transformed_CSR_innermost_04/PEANO_complete_C |
3.256 |
3.572 |
60.0 |
60.0 |
4.478 |
| Transformed_CSR_innermost_04/PEANO_complete_GM |
1.136 |
1.376 |
60.0 |
60.0 |
2.26 |
| Transformed_CSR_innermost_04/PEANO_complete_iGM |
4.361 |
4.182 |
60.0 |
60.0 |
5.047 |
| Transformed_CSR_innermost_04/PEANO_complete_noand_C |
10.405 |
11.395 |
60.0 |
60.0 |
12.117 |
| Transformed_CSR_innermost_04/PEANO_complete_noand_GM |
1.834 |
2.669 |
60.0 |
60.0 |
3.178 |
| Transformed_CSR_innermost_04/PEANO_complete_noand_iGM |
12.632 |
14.439 |
60.0 |
60.0 |
14.175 |
| Transformed_CSR_innermost_04/PEANO_nokinds_C |
0.984 |
1.067 |
60.0 |
60.0 |
2.08 |
| Transformed_CSR_innermost_04/PEANO_nokinds_GM |
0.503 |
0.542 |
60.0 |
60.0 |
1.537 |
| Transformed_CSR_innermost_04/PEANO_nokinds_iGM |
1.054 |
1.185 |
60.0 |
60.0 |
2.177 |
| Transformed_CSR_innermost_04/PEANO_nokinds_noand_C |
1.651 |
2.058 |
60.0 |
60.0 |
2.968 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/PEANO_nokinds_noand_GM |
0.418 |
0.619 |
60.0 |
60.0 |
1.456 |
| Transformed_CSR_innermost_04/PEANO_nokinds_noand_iGM |
2.035 |
2.005 |
60.0 |
60.0 |
3.016 |
| Transformed_CSR_innermost_04/PEANO_nosorts_C |
0.419 |
0.442 |
60.0 |
60.0 |
1.533 |
| Transformed_CSR_innermost_04/PEANO_nosorts_GM |
0.267 |
0.26 |
1.664 |
0.99 |
1.28 |
| Transformed_CSR_innermost_04/PEANO_nosorts_iGM |
0.541 |
0.57 |
60.0 |
60.0 |
1.586 |
| Transformed_CSR_innermost_04/PEANO_nosorts_noand_C |
0.696 |
0.676 |
60.0 |
60.0 |
1.652 |
| Transformed_CSR_innermost_04/PEANO_nosorts_noand_GM |
0.213 |
0.213 |
60.0 |
60.0 |
1.229 |
| Transformed_CSR_innermost_04/PEANO_nosorts_noand_iGM |
0.593 |
0.588 |
60.0 |
60.0 |
1.568 |
|
|