| problem |
t |
e |
c |
r |
* |
| AG01_innermost/#4.12a |
0.145 |
0.138 |
0.149 |
0.157 |
0.169 |
| AG01_innermost/#4.13 |
0.148 |
0.149 |
0.144 |
0.155 |
0.144 |
| AG01_innermost/#4.14 |
0.14 |
0.157 |
0.155 |
0.163 |
0.188 |
| AG01_innermost/#4.15 |
0.16 |
0.146 |
0.177 |
0.178 |
0.247 |
| AG01_innermost/#4.16 |
0.15 |
0.146 |
0.165 |
0.159 |
0.164 |
| AG01_innermost/#4.17 |
0.152 |
0.142 |
0.16 |
0.176 |
0.211 |
| AG01_innermost/#4.18 |
0.137 |
0.143 |
0.156 |
60.0 |
0.14 |
| AG01_innermost/#4.19 |
0.16 |
0.148 |
60.0 |
60.0 |
1.159 |
| AG01_innermost/#4.2 |
0.146 |
0.147 |
0.16 |
0.156 |
0.171 |
| AG01_innermost/#4.20 |
0.153 |
0.139 |
0.149 |
0.14 |
0.142 |
| AG01_innermost/#4.20a |
0.138 |
0.146 |
0.178 |
0.151 |
0.182 |
| AG01_innermost/#4.21 |
0.152 |
0.148 |
0.157 |
0.174 |
0.148 |
| AG01_innermost/#4.22 |
0.223 |
0.217 |
0.238 |
0.231 |
0.251 |
| AG01_innermost/#4.23 |
0.225 |
0.234 |
0.245 |
0.256 |
0.297 |
| AG01_innermost/#4.24 |
0.237 |
0.228 |
0.363 |
60.0 |
0.919 |
| AG01_innermost/#4.25 |
0.146 |
0.141 |
0.144 |
0.143 |
0.158 |
| AG01_innermost/#4.26 |
0.148 |
0.166 |
0.179 |
0.186 |
0.233 |
| AG01_innermost/#4.27 |
0.163 |
0.17 |
1.095 |
1.077 |
1.181 |
| AG01_innermost/#4.28 |
0.141 |
0.166 |
0.171 |
0.193 |
0.25 |
| AG01_innermost/#4.29 |
0.177 |
0.171 |
60.0 |
60.0 |
1.178 |
| AG01_innermost/#4.3 |
0.139 |
0.146 |
0.142 |
0.141 |
0.156 |
| AG01_innermost/#4.30 |
0.157 |
0.164 |
0.204 |
0.218 |
0.315 |
| AG01_innermost/#4.30a |
0.164 |
0.151 |
0.181 |
0.204 |
0.245 |
| AG01_innermost/#4.30b |
0.159 |
0.169 |
0.203 |
0.202 |
0.286 |
| AG01_innermost/#4.31 |
0.145 |
0.143 |
0.175 |
0.232 |
0.233 |
| problem |
t |
e |
c |
r |
* |
| AG01_innermost/#4.32 |
0.144 |
0.158 |
0.182 |
0.19 |
0.258 |
| AG01_innermost/#4.33 |
0.166 |
0.172 |
1.242 |
1.287 |
1.175 |
| AG01_innermost/#4.34 |
0.161 |
0.154 |
23.122 |
22.824 |
1.174 |
| AG01_innermost/#4.35 |
0.213 |
0.223 |
60.0 |
60.0 |
1.243 |
| AG01_innermost/#4.36 |
0.199 |
0.197 |
60.0 |
60.0 |
1.211 |
| AG01_innermost/#4.37 |
0.147 |
0.15 |
0.146 |
0.153 |
0.193 |
| AG01_innermost/#4.37a |
0.163 |
0.148 |
0.167 |
0.197 |
0.223 |
| AG01_innermost/#4.4 |
0.141 |
0.141 |
0.145 |
0.145 |
0.158 |
| AG01_innermost/#4.5 |
0.151 |
0.141 |
0.145 |
0.143 |
0.147 |
| AG01_innermost/#4.7 |
0.141 |
0.141 |
0.153 |
0.141 |
0.148 |
| Applicative_AG01_innermost/#4.10 |
0.186 |
0.207 |
60.0 |
60.0 |
1.242 |
| Applicative_AG01_innermost/#4.13 |
0.215 |
0.201 |
60.0 |
60.0 |
1.224 |
| Applicative_AG01_innermost/#4.15 |
0.205 |
0.228 |
60.0 |
60.0 |
1.257 |
| Applicative_AG01_innermost/#4.17 |
0.2 |
0.215 |
60.0 |
60.0 |
1.233 |
| Applicative_AG01_innermost/#4.19 |
0.214 |
0.252 |
60.0 |
60.0 |
1.26 |
| Applicative_AG01_innermost/#4.2 |
0.2 |
0.214 |
60.0 |
60.0 |
1.228 |
| Applicative_AG01_innermost/#4.22 |
0.195 |
0.219 |
60.0 |
60.0 |
1.257 |
| Applicative_AG01_innermost/#4.24 |
0.205 |
0.245 |
60.0 |
60.0 |
1.28 |
| Applicative_AG01_innermost/#4.26 |
0.217 |
0.239 |
60.0 |
60.0 |
1.266 |
| Applicative_AG01_innermost/#4.28 |
0.193 |
0.225 |
60.0 |
60.0 |
1.231 |
| Applicative_AG01_innermost/#4.3 |
0.198 |
0.209 |
60.0 |
60.0 |
1.232 |
| Applicative_AG01_innermost/#4.34 |
0.204 |
0.244 |
60.0 |
60.0 |
1.26 |
| Applicative_AG01_innermost/#4.36 |
0.283 |
0.423 |
60.0 |
60.0 |
1.427 |
| Applicative_AG01_innermost/#4.5 |
0.202 |
0.195 |
60.0 |
60.0 |
1.222 |
| Applicative_AG01_innermost/#4.7 |
0.179 |
0.218 |
60.0 |
60.0 |
1.24 |
| problem |
t |
e |
c |
r |
* |
| Applicative_AG01_innermost/#4.8 |
0.197 |
0.227 |
60.0 |
60.0 |
1.242 |
| Mixed_innermost/bn111 |
0.137 |
0.149 |
0.152 |
0.145 |
0.153 |
| Mixed_innermost/cade04 |
0.166 |
0.148 |
0.173 |
0.176 |
0.228 |
| Mixed_innermost/cade05 |
0.163 |
0.16 |
0.208 |
0.216 |
0.301 |
| Mixed_innermost/cade12 |
0.17 |
0.189 |
1.054 |
1.073 |
1.204 |
| Mixed_innermost/cade13 |
0.178 |
0.163 |
0.283 |
0.261 |
0.419 |
| Mixed_innermost/gkg |
0.161 |
0.139 |
0.158 |
0.161 |
0.151 |
| Mixed_innermost/innermost1 |
0.155 |
0.151 |
0.146 |
0.144 |
0.177 |
| Mixed_innermost/innermost2 |
0.144 |
0.148 |
0.213 |
0.207 |
0.305 |
| Mixed_innermost/innermost3 |
0.153 |
0.14 |
0.157 |
0.144 |
0.182 |
| Mixed_innermost/innermost4 |
0.151 |
0.161 |
60.0 |
60.0 |
1.168 |
| Mixed_innermost/innermost5 |
0.162 |
0.151 |
0.196 |
0.211 |
0.265 |
| Mixed_innermost/muladd |
0.14 |
0.143 |
0.159 |
0.165 |
0.185 |
| Mixed_innermost/n001 |
0.145 |
0.14 |
0.156 |
0.172 |
0.217 |
| Mixed_innermost/test10 |
0.163 |
0.151 |
0.173 |
0.173 |
0.193 |
| Mixed_innermost/test75 |
0.141 |
0.157 |
0.152 |
0.147 |
0.163 |
| Mixed_innermost/test76 |
0.149 |
0.157 |
0.159 |
0.16 |
0.209 |
| Mixed_innermost/test77 |
0.14 |
0.148 |
0.164 |
0.163 |
0.218 |
| Mixed_innermost/test830 |
0.159 |
0.144 |
0.301 |
0.184 |
0.285 |
| Mixed_innermost/test833 |
0.151 |
0.153 |
0.147 |
0.158 |
0.144 |
| Mixed_innermost/test9 |
0.151 |
0.146 |
0.145 |
0.148 |
0.184 |
| Mixed_innermost/thiemann26i |
0.188 |
0.168 |
0.234 |
0.249 |
0.339 |
| Mixed_innermost/thiemann28i |
0.174 |
0.176 |
60.0 |
60.0 |
1.177 |
| Mixed_innermost/toyama |
0.146 |
0.143 |
0.139 |
0.138 |
0.155 |
| Mixed_innermost/tricky1 |
0.149 |
0.156 |
0.236 |
0.22 |
0.206 |
| problem |
t |
e |
c |
r |
* |
| Mixed_innermost/wiehe13 |
0.197 |
0.208 |
60.0 |
60.0 |
1.222 |
| Mixed_innermost/wiehe14 |
0.21 |
0.209 |
60.0 |
60.0 |
1.234 |
| Transformed_CSR_innermost_04/Ex14_AEGL02_C |
0.2 |
0.215 |
60.0 |
60.0 |
1.229 |
| Transformed_CSR_innermost_04/Ex14_AEGL02_GM |
0.161 |
0.174 |
1.743 |
1.635 |
1.184 |
| Transformed_CSR_innermost_04/Ex14_AEGL02_iGM |
0.196 |
0.217 |
60.0 |
60.0 |
1.217 |
| Transformed_CSR_innermost_04/Ex14_Luc06_C |
0.196 |
0.215 |
60.0 |
60.0 |
1.226 |
| Transformed_CSR_innermost_04/Ex14_Luc06_GM |
0.157 |
0.172 |
60.0 |
60.0 |
1.171 |
| Transformed_CSR_innermost_04/Ex14_Luc06_iGM |
0.184 |
0.197 |
60.0 |
60.0 |
1.227 |
| Transformed_CSR_innermost_04/Ex15_Luc06_C |
0.177 |
0.171 |
0.43 |
0.516 |
0.844 |
| Transformed_CSR_innermost_04/Ex15_Luc06_GM |
0.149 |
0.157 |
0.153 |
0.159 |
0.2 |
| Transformed_CSR_innermost_04/Ex15_Luc06_iGM |
0.157 |
0.163 |
0.277 |
0.37 |
0.469 |
| Transformed_CSR_innermost_04/Ex15_Luc98_C |
0.246 |
0.367 |
60.0 |
60.0 |
1.331 |
| Transformed_CSR_innermost_04/Ex15_Luc98_GM |
0.199 |
0.197 |
60.0 |
60.0 |
1.216 |
| Transformed_CSR_innermost_04/Ex15_Luc98_iGM |
0.252 |
0.384 |
60.0 |
60.0 |
1.347 |
| Transformed_CSR_innermost_04/Ex16_Luc06_C |
0.161 |
0.175 |
60.0 |
2.589 |
1.183 |
| Transformed_CSR_innermost_04/Ex16_Luc06_GM |
0.151 |
0.159 |
0.378 |
0.215 |
0.453 |
| Transformed_CSR_innermost_04/Ex16_Luc06_iGM |
0.159 |
0.185 |
0.967 |
0.394 |
0.932 |
| Transformed_CSR_innermost_04/Ex18_Luc06_C |
0.16 |
0.164 |
0.421 |
0.51 |
0.78 |
| Transformed_CSR_innermost_04/Ex18_Luc06_GM |
0.153 |
0.147 |
0.169 |
0.185 |
0.234 |
| Transformed_CSR_innermost_04/Ex18_Luc06_L |
0.144 |
0.146 |
0.143 |
0.15 |
0.139 |
| Transformed_CSR_innermost_04/Ex18_Luc06_iGM |
0.159 |
0.189 |
0.369 |
0.469 |
0.59 |
| Transformed_CSR_innermost_04/Ex1_2_AEL03_C |
0.344 |
0.896 |
60.0 |
60.0 |
1.809 |
| Transformed_CSR_innermost_04/Ex1_2_AEL03_GM |
0.226 |
0.339 |
60.0 |
60.0 |
1.361 |
| Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM |
0.327 |
0.758 |
60.0 |
60.0 |
1.715 |
| Transformed_CSR_innermost_04/Ex1_2_Luc02c_C |
0.195 |
0.202 |
60.0 |
60.0 |
1.216 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/Ex1_2_Luc02c_GM |
0.152 |
0.163 |
0.53 |
0.498 |
0.907 |
| Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM |
0.175 |
0.184 |
6.341 |
6.354 |
1.195 |
| Transformed_CSR_innermost_04/Ex1_GL02a_C |
0.243 |
0.296 |
60.0 |
60.0 |
1.288 |
| Transformed_CSR_innermost_04/Ex1_GL02a_GM |
0.181 |
0.179 |
60.0 |
60.0 |
1.198 |
| Transformed_CSR_innermost_04/Ex1_GL02a_iGM |
0.24 |
0.286 |
60.0 |
60.0 |
1.279 |
| Transformed_CSR_innermost_04/Ex1_GM03_C |
0.231 |
0.324 |
60.0 |
60.0 |
1.3 |
| Transformed_CSR_innermost_04/Ex1_GM03_GM |
0.188 |
0.193 |
60.0 |
60.0 |
1.221 |
| Transformed_CSR_innermost_04/Ex1_GM03_iGM |
0.219 |
0.322 |
60.0 |
60.0 |
1.304 |
| Transformed_CSR_innermost_04/Ex1_GM99_C |
0.17 |
0.183 |
60.0 |
60.0 |
1.199 |
| Transformed_CSR_innermost_04/Ex1_GM99_GM |
0.151 |
0.151 |
60.0 |
60.0 |
1.169 |
| Transformed_CSR_innermost_04/Ex1_GM99_iGM |
0.172 |
0.176 |
60.0 |
60.0 |
1.182 |
| Transformed_CSR_innermost_04/Ex1_Luc02b_C |
0.239 |
0.293 |
60.0 |
60.0 |
1.285 |
| Transformed_CSR_innermost_04/Ex1_Luc02b_GM |
0.169 |
0.183 |
23.579 |
23.017 |
1.196 |
| Transformed_CSR_innermost_04/Ex1_Luc02b_iGM |
0.207 |
0.275 |
60.0 |
60.0 |
1.271 |
| Transformed_CSR_innermost_04/Ex1_Luc04b_C |
0.227 |
0.245 |
60.0 |
60.0 |
1.261 |
| Transformed_CSR_innermost_04/Ex1_Luc04b_GM |
0.19 |
0.195 |
4.926 |
60.0 |
1.193 |
| Transformed_CSR_innermost_04/Ex1_Luc04b_iGM |
0.205 |
0.241 |
60.0 |
60.0 |
1.24 |
| Transformed_CSR_innermost_04/Ex1_Zan97_C |
0.161 |
0.167 |
0.396 |
0.475 |
0.74 |
| Transformed_CSR_innermost_04/Ex1_Zan97_GM |
0.156 |
0.156 |
0.174 |
0.184 |
0.206 |
| Transformed_CSR_innermost_04/Ex1_Zan97_iGM |
0.176 |
0.166 |
0.21 |
0.271 |
0.331 |
| Transformed_CSR_innermost_04/Ex23_Luc06_C |
0.168 |
0.181 |
0.715 |
0.863 |
1.202 |
| Transformed_CSR_innermost_04/Ex23_Luc06_GM |
0.145 |
0.147 |
0.156 |
0.169 |
0.227 |
| Transformed_CSR_innermost_04/Ex23_Luc06_L |
0.147 |
0.137 |
0.136 |
0.14 |
0.139 |
| Transformed_CSR_innermost_04/Ex23_Luc06_iGM |
0.173 |
0.172 |
0.48 |
0.545 |
0.818 |
| Transformed_CSR_innermost_04/Ex24_GM04_C |
0.175 |
0.188 |
60.0 |
60.0 |
1.196 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/Ex24_GM04_GM |
0.158 |
0.158 |
46.546 |
40.803 |
1.178 |
| Transformed_CSR_innermost_04/Ex24_GM04_iGM |
0.171 |
0.179 |
60.0 |
60.0 |
1.203 |
| Transformed_CSR_innermost_04/Ex24_Luc06_C |
0.167 |
0.173 |
60.0 |
60.0 |
1.184 |
| Transformed_CSR_innermost_04/Ex24_Luc06_GM |
0.151 |
0.144 |
0.788 |
0.773 |
1.142 |
| Transformed_CSR_innermost_04/Ex24_Luc06_iGM |
0.171 |
0.174 |
60.0 |
60.0 |
1.189 |
| Transformed_CSR_innermost_04/Ex25_Luc06_C |
0.183 |
0.208 |
1.514 |
1.275 |
0.99 |
| Transformed_CSR_innermost_04/Ex25_Luc06_GM |
0.155 |
0.167 |
0.255 |
0.29 |
0.365 |
| Transformed_CSR_innermost_04/Ex25_Luc06_L |
0.136 |
0.147 |
0.149 |
0.137 |
0.142 |
| Transformed_CSR_innermost_04/Ex25_Luc06_iGM |
0.174 |
0.197 |
0.861 |
0.874 |
1.223 |
| Transformed_CSR_innermost_04/Ex26_Luc03b_C |
0.267 |
0.413 |
60.0 |
60.0 |
1.39 |
| Transformed_CSR_innermost_04/Ex26_Luc03b_GM |
0.195 |
0.213 |
60.0 |
60.0 |
1.228 |
| Transformed_CSR_innermost_04/Ex26_Luc03b_L |
0.149 |
0.175 |
0.142 |
0.145 |
0.144 |
| Transformed_CSR_innermost_04/Ex26_Luc03b_iGM |
0.261 |
0.378 |
60.0 |
60.0 |
1.36 |
| Transformed_CSR_innermost_04/Ex2_Luc02a_C |
0.266 |
0.464 |
60.0 |
60.0 |
1.441 |
| Transformed_CSR_innermost_04/Ex2_Luc02a_GM |
0.194 |
0.219 |
60.0 |
60.0 |
1.259 |
| Transformed_CSR_innermost_04/Ex2_Luc02a_L |
0.161 |
0.157 |
0.191 |
0.201 |
0.266 |
| Transformed_CSR_innermost_04/Ex2_Luc02a_iGM |
0.268 |
0.4 |
60.0 |
60.0 |
1.37 |
| Transformed_CSR_innermost_04/Ex2_Luc03b_C |
0.236 |
0.32 |
60.0 |
60.0 |
1.311 |
| Transformed_CSR_innermost_04/Ex2_Luc03b_GM |
0.174 |
0.192 |
42.568 |
42.159 |
1.212 |
| Transformed_CSR_innermost_04/Ex2_Luc03b_L |
0.148 |
0.147 |
0.183 |
0.146 |
0.147 |
| Transformed_CSR_innermost_04/Ex2_Luc03b_iGM |
0.217 |
0.323 |
60.0 |
60.0 |
1.294 |
| Transformed_CSR_innermost_04/Ex3_12_Luc96a_C |
0.201 |
0.251 |
60.0 |
60.0 |
1.241 |
| Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM |
0.173 |
0.171 |
1.181 |
1.145 |
1.18 |
| Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM |
0.204 |
0.215 |
60.0 |
60.0 |
1.219 |
| Transformed_CSR_innermost_04/Ex3_2_Luc97_C |
0.25 |
0.323 |
60.0 |
60.0 |
1.315 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/Ex3_2_Luc97_GM |
0.199 |
0.207 |
60.0 |
60.0 |
1.221 |
| Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM |
0.244 |
0.313 |
60.0 |
60.0 |
1.301 |
| Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C |
0.242 |
0.343 |
60.0 |
60.0 |
1.344 |
| Transformed_CSR_innermost_04/Ex3_3_25_Bor03_GM |
0.195 |
0.198 |
60.0 |
60.0 |
1.208 |
| Transformed_CSR_innermost_04/Ex3_3_25_Bor03_L |
0.15 |
0.142 |
0.141 |
0.155 |
0.142 |
| Transformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM |
0.238 |
0.337 |
60.0 |
60.0 |
1.314 |
| Transformed_CSR_innermost_04/Ex49_GM04_C |
0.239 |
0.27 |
60.0 |
60.0 |
1.295 |
| Transformed_CSR_innermost_04/Ex49_GM04_GM |
0.186 |
0.197 |
60.0 |
60.0 |
1.201 |
| Transformed_CSR_innermost_04/Ex49_GM04_iGM |
0.243 |
0.313 |
60.0 |
60.0 |
1.302 |
| Transformed_CSR_innermost_04/Ex4_4_Luc96b_C |
0.182 |
0.171 |
0.853 |
0.825 |
1.201 |
| Transformed_CSR_innermost_04/Ex4_4_Luc96b_GM |
0.143 |
0.15 |
0.212 |
0.214 |
0.305 |
| Transformed_CSR_innermost_04/Ex4_4_Luc96b_L |
0.145 |
0.133 |
0.143 |
0.149 |
0.156 |
| Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM |
0.167 |
0.169 |
1.14 |
1.199 |
1.175 |
| Transformed_CSR_innermost_04/Ex4_7_15_Bor03_C |
0.189 |
0.213 |
60.0 |
60.0 |
1.221 |
| Transformed_CSR_innermost_04/Ex4_7_15_Bor03_GM |
0.165 |
0.161 |
0.62 |
0.324 |
0.879 |
| Transformed_CSR_innermost_04/Ex4_7_15_Bor03_L |
0.14 |
0.146 |
0.149 |
0.149 |
0.145 |
| Transformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM |
0.197 |
0.202 |
27.76 |
60.0 |
1.212 |
| Transformed_CSR_innermost_04/Ex4_7_37_Bor03_C |
0.288 |
0.461 |
60.0 |
60.0 |
1.448 |
| Transformed_CSR_innermost_04/Ex4_7_37_Bor03_GM |
0.215 |
0.261 |
60.0 |
60.0 |
1.251 |
| Transformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM |
0.272 |
0.422 |
60.0 |
60.0 |
1.398 |
| Transformed_CSR_innermost_04/Ex4_7_56_Bor03_C |
0.204 |
0.229 |
60.0 |
60.0 |
1.232 |
| Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM |
0.157 |
0.161 |
1.13 |
1.165 |
1.169 |
| Transformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM |
0.201 |
0.212 |
60.0 |
60.0 |
1.217 |
| Transformed_CSR_innermost_04/Ex4_7_77_Bor03_C |
0.171 |
0.19 |
6.983 |
60.0 |
1.196 |
| Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM |
0.149 |
0.158 |
0.238 |
0.225 |
0.386 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM |
0.163 |
0.19 |
1.234 |
45.898 |
1.197 |
| Transformed_CSR_innermost_04/Ex4_DLMMU04_C |
0.351 |
0.713 |
60.0 |
60.0 |
1.662 |
| Transformed_CSR_innermost_04/Ex4_DLMMU04_GM |
0.227 |
0.309 |
60.0 |
60.0 |
1.306 |
| Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM |
0.334 |
0.797 |
60.0 |
60.0 |
1.721 |
| Transformed_CSR_innermost_04/Ex4_Zan97_C |
0.219 |
0.271 |
60.0 |
60.0 |
1.267 |
| Transformed_CSR_innermost_04/Ex4_Zan97_GM |
0.175 |
0.181 |
7.219 |
7.21 |
1.197 |
| Transformed_CSR_innermost_04/Ex4_Zan97_iGM |
0.197 |
0.262 |
60.0 |
60.0 |
1.251 |
| Transformed_CSR_innermost_04/Ex5_7_Luc97_C |
0.321 |
0.604 |
60.0 |
60.0 |
1.545 |
| Transformed_CSR_innermost_04/Ex5_7_Luc97_GM |
0.227 |
0.306 |
60.0 |
60.0 |
1.3 |
| Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM |
0.314 |
0.598 |
60.0 |
60.0 |
1.584 |
| Transformed_CSR_innermost_04/Ex5_DLMMU04_C |
0.287 |
0.498 |
60.0 |
60.0 |
1.474 |
| Transformed_CSR_innermost_04/Ex5_DLMMU04_GM |
0.201 |
0.238 |
60.0 |
60.0 |
1.26 |
| Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM |
0.266 |
0.46 |
60.0 |
60.0 |
1.445 |
| Transformed_CSR_innermost_04/Ex5_Zan97_C |
0.192 |
0.209 |
60.0 |
60.0 |
1.219 |
| Transformed_CSR_innermost_04/Ex5_Zan97_GM |
0.168 |
0.169 |
60.0 |
60.0 |
1.183 |
| Transformed_CSR_innermost_04/Ex5_Zan97_iGM |
0.177 |
0.194 |
60.0 |
60.0 |
1.204 |
| Transformed_CSR_innermost_04/Ex6_15_AEL02_C |
0.405 |
1.183 |
60.0 |
60.0 |
1.935 |
| Transformed_CSR_innermost_04/Ex6_15_AEL02_GM |
0.244 |
0.452 |
60.0 |
60.0 |
1.453 |
| Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM |
0.395 |
1.129 |
60.0 |
60.0 |
1.92 |
| Transformed_CSR_innermost_04/Ex6_9_Luc02c_C |
0.221 |
0.27 |
60.0 |
60.0 |
1.245 |
| Transformed_CSR_innermost_04/Ex6_9_Luc02c_GM |
0.158 |
0.177 |
1.666 |
1.635 |
1.187 |
| Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM |
0.201 |
0.222 |
60.0 |
60.0 |
1.24 |
| Transformed_CSR_innermost_04/Ex6_GM04_C |
0.158 |
0.167 |
0.36 |
0.519 |
0.766 |
| Transformed_CSR_innermost_04/Ex6_GM04_GM |
0.153 |
0.161 |
0.162 |
0.151 |
0.162 |
| Transformed_CSR_innermost_04/Ex6_GM04_iGM |
0.157 |
0.178 |
0.218 |
0.232 |
0.274 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/Ex6_Luc98_C |
0.2 |
0.238 |
60.0 |
60.0 |
1.236 |
| Transformed_CSR_innermost_04/Ex6_Luc98_GM |
0.169 |
0.164 |
5.412 |
5.274 |
1.184 |
| Transformed_CSR_innermost_04/Ex6_Luc98_L |
0.142 |
0.149 |
0.143 |
0.147 |
0.154 |
| Transformed_CSR_innermost_04/Ex6_Luc98_iGM |
0.186 |
0.242 |
60.0 |
60.0 |
1.232 |
| Transformed_CSR_innermost_04/Ex7_BLR02_C |
0.247 |
0.373 |
60.0 |
60.0 |
1.344 |
| Transformed_CSR_innermost_04/Ex7_BLR02_GM |
0.195 |
0.202 |
60.0 |
60.0 |
1.221 |
| Transformed_CSR_innermost_04/Ex7_BLR02_iGM |
0.25 |
0.343 |
60.0 |
60.0 |
1.332 |
| Transformed_CSR_innermost_04/Ex8_BLR02_C |
0.252 |
0.355 |
60.0 |
60.0 |
1.36 |
| Transformed_CSR_innermost_04/Ex8_BLR02_GM |
0.207 |
0.204 |
51.831 |
54.77 |
1.211 |
| Transformed_CSR_innermost_04/Ex8_BLR02_iGM |
0.225 |
0.331 |
60.0 |
60.0 |
1.31 |
| Transformed_CSR_innermost_04/Ex9_BLR02_C |
0.247 |
0.349 |
60.0 |
60.0 |
1.32 |
| Transformed_CSR_innermost_04/Ex9_BLR02_GM |
0.187 |
0.208 |
60.0 |
60.0 |
1.209 |
| Transformed_CSR_innermost_04/Ex9_BLR02_L |
0.148 |
0.144 |
0.155 |
0.155 |
0.154 |
| Transformed_CSR_innermost_04/Ex9_BLR02_iGM |
0.226 |
0.421 |
60.0 |
60.0 |
1.311 |
| Transformed_CSR_innermost_04/Ex9_Luc04_C |
0.171 |
0.178 |
60.0 |
60.0 |
1.212 |
| Transformed_CSR_innermost_04/Ex9_Luc04_GM |
0.157 |
0.172 |
60.0 |
60.0 |
1.175 |
| Transformed_CSR_innermost_04/Ex9_Luc04_iGM |
0.17 |
0.187 |
60.0 |
60.0 |
1.188 |
| Transformed_CSR_innermost_04/Ex9_Luc06_C |
0.173 |
0.176 |
60.0 |
60.0 |
1.198 |
| Transformed_CSR_innermost_04/Ex9_Luc06_GM |
0.149 |
0.151 |
39.959 |
2.298 |
1.165 |
| Transformed_CSR_innermost_04/Ex9_Luc06_iGM |
0.162 |
0.17 |
60.0 |
60.0 |
1.186 |
| Transformed_CSR_innermost_04/ExAppendixB_AEL03_C |
0.408 |
1.072 |
60.0 |
60.0 |
1.917 |
| Transformed_CSR_innermost_04/ExAppendixB_AEL03_GM |
0.234 |
0.397 |
60.0 |
60.0 |
1.411 |
| Transformed_CSR_innermost_04/ExAppendixB_AEL03_iGM |
0.342 |
0.963 |
60.0 |
60.0 |
1.867 |
| Transformed_CSR_innermost_04/ExConc_Zan97_C |
0.171 |
0.181 |
0.437 |
0.619 |
0.42 |
| Transformed_CSR_innermost_04/ExConc_Zan97_GM |
0.157 |
0.159 |
0.156 |
0.183 |
0.191 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/ExConc_Zan97_L |
0.146 |
0.133 |
0.143 |
0.14 |
0.148 |
| Transformed_CSR_innermost_04/ExConc_Zan97_iGM |
0.169 |
0.175 |
0.434 |
0.433 |
0.701 |
| Transformed_CSR_innermost_04/ExIntrod_GM01_C |
0.235 |
0.29 |
60.0 |
60.0 |
1.291 |
| Transformed_CSR_innermost_04/ExIntrod_GM01_GM |
0.18 |
0.198 |
17.664 |
60.0 |
1.211 |
| Transformed_CSR_innermost_04/ExIntrod_GM01_iGM |
0.219 |
0.272 |
60.0 |
60.0 |
1.279 |
| Transformed_CSR_innermost_04/ExIntrod_GM04_C |
0.213 |
0.267 |
60.0 |
60.0 |
1.253 |
| Transformed_CSR_innermost_04/ExIntrod_GM04_GM |
0.183 |
0.187 |
5.749 |
6.697 |
1.201 |
| Transformed_CSR_innermost_04/ExIntrod_GM04_iGM |
0.217 |
0.241 |
60.0 |
60.0 |
1.256 |
| Transformed_CSR_innermost_04/ExIntrod_GM99_C |
0.29 |
0.522 |
60.0 |
60.0 |
1.493 |
| Transformed_CSR_innermost_04/ExIntrod_GM99_GM |
0.209 |
0.256 |
60.0 |
60.0 |
1.268 |
| Transformed_CSR_innermost_04/ExIntrod_GM99_iGM |
0.282 |
0.51 |
60.0 |
60.0 |
1.486 |
| Transformed_CSR_innermost_04/ExIntrod_Zan97_C |
0.287 |
0.404 |
60.0 |
60.0 |
1.375 |
| Transformed_CSR_innermost_04/ExIntrod_Zan97_GM |
0.213 |
0.226 |
60.0 |
60.0 |
1.245 |
| Transformed_CSR_innermost_04/ExIntrod_Zan97_iGM |
0.258 |
0.41 |
60.0 |
60.0 |
1.384 |
| Transformed_CSR_innermost_04/ExProp7_Luc06_C |
0.199 |
0.231 |
60.0 |
60.0 |
1.214 |
| Transformed_CSR_innermost_04/ExProp7_Luc06_GM |
0.172 |
0.166 |
1.373 |
0.549 |
1.098 |
| Transformed_CSR_innermost_04/ExProp7_Luc06_L |
0.141 |
0.139 |
0.146 |
0.154 |
0.159 |
| Transformed_CSR_innermost_04/ExProp7_Luc06_iGM |
0.206 |
0.207 |
30.017 |
60.0 |
1.207 |
| Transformed_CSR_innermost_04/ExSec11_1_Luc02a_C |
0.283 |
0.516 |
60.0 |
60.0 |
1.47 |
| Transformed_CSR_innermost_04/ExSec11_1_Luc02a_GM |
0.218 |
0.245 |
60.0 |
60.0 |
1.262 |
| Transformed_CSR_innermost_04/ExSec11_1_Luc02a_L |
0.176 |
0.167 |
0.218 |
0.206 |
0.268 |
| Transformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM |
0.27 |
0.49 |
60.0 |
60.0 |
1.447 |
| Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_C |
0.377 |
1.011 |
60.0 |
60.0 |
1.913 |
| Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM |
0.232 |
0.371 |
60.0 |
60.0 |
1.389 |
| Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM |
0.353 |
0.956 |
60.0 |
60.0 |
1.884 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/LISTUTILITIES_complete_C |
3.696 |
50.284 |
60.0 |
60.0 |
5.229 |
| Transformed_CSR_innermost_04/LISTUTILITIES_complete_GM |
1.04 |
7.765 |
60.0 |
60.0 |
2.545 |
| Transformed_CSR_innermost_04/LISTUTILITIES_complete_iGM |
4.307 |
55.355 |
60.0 |
60.0 |
5.915 |
| Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_C |
39.623 |
60.0 |
60.0 |
60.0 |
41.246 |
| Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_GM |
5.328 |
60.0 |
60.0 |
60.0 |
6.781 |
| Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_iGM |
38.485 |
60.0 |
60.0 |
60.0 |
38.336 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_C |
0.898 |
6.124 |
60.0 |
60.0 |
2.375 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_GM |
0.413 |
1.341 |
60.0 |
60.0 |
1.926 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_iGM |
0.91 |
6.629 |
60.0 |
60.0 |
2.429 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_C |
2.537 |
32.003 |
60.0 |
60.0 |
4.087 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_GM |
0.75 |
5.526 |
60.0 |
60.0 |
2.286 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM |
2.953 |
33.356 |
60.0 |
60.0 |
4.385 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_C |
0.422 |
1.318 |
60.0 |
60.0 |
1.958 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_GM |
0.255 |
0.462 |
60.0 |
60.0 |
1.474 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM |
0.401 |
1.261 |
60.0 |
60.0 |
1.909 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_C |
1.017 |
7.839 |
60.0 |
60.0 |
2.571 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_GM |
0.413 |
1.488 |
60.0 |
60.0 |
1.937 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM |
1.015 |
7.88 |
60.0 |
60.0 |
2.562 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_C |
0.524 |
2.228 |
60.0 |
60.0 |
2.046 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_GM |
0.3 |
0.56 |
60.0 |
60.0 |
1.544 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM |
0.577 |
2.456 |
60.0 |
60.0 |
2.081 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_C |
1.19 |
10.24 |
60.0 |
60.0 |
2.732 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_GM |
0.454 |
1.594 |
60.0 |
60.0 |
1.983 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM |
1.334 |
10.856 |
60.0 |
60.0 |
2.819 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C |
0.271 |
0.363 |
60.0 |
60.0 |
1.336 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_GM |
0.198 |
0.207 |
60.0 |
60.0 |
1.217 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM |
0.268 |
0.394 |
60.0 |
60.0 |
1.38 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_C |
0.358 |
0.88 |
60.0 |
60.0 |
1.817 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_GM |
0.237 |
0.327 |
60.0 |
60.0 |
1.323 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_iGM |
0.377 |
0.911 |
60.0 |
60.0 |
1.866 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_C |
0.205 |
0.22 |
60.0 |
60.0 |
1.23 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_GM |
0.163 |
0.165 |
13.948 |
60.0 |
1.179 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_iGM |
0.197 |
0.217 |
60.0 |
60.0 |
1.243 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_C |
0.222 |
0.265 |
60.0 |
60.0 |
1.261 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_GM |
0.179 |
0.182 |
60.0 |
60.0 |
1.192 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM |
0.205 |
0.252 |
60.0 |
60.0 |
1.246 |
| Transformed_CSR_innermost_04/MYNAT_complete_C |
0.51 |
2.165 |
60.0 |
60.0 |
2.034 |
| Transformed_CSR_innermost_04/MYNAT_complete_GM |
0.295 |
0.611 |
60.0 |
60.0 |
1.543 |
| Transformed_CSR_innermost_04/MYNAT_complete_iGM |
0.525 |
2.374 |
60.0 |
60.0 |
2.067 |
| Transformed_CSR_innermost_04/MYNAT_complete_noand_C |
1.498 |
13.484 |
60.0 |
60.0 |
3.008 |
| Transformed_CSR_innermost_04/MYNAT_complete_noand_GM |
0.528 |
2.078 |
60.0 |
60.0 |
2.026 |
| Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM |
1.556 |
14.269 |
60.0 |
60.0 |
3.04 |
| Transformed_CSR_innermost_04/MYNAT_nokinds_C |
0.317 |
0.599 |
60.0 |
60.0 |
1.561 |
| Transformed_CSR_innermost_04/MYNAT_nokinds_GM |
0.223 |
0.271 |
60.0 |
60.0 |
1.286 |
| Transformed_CSR_innermost_04/MYNAT_nokinds_iGM |
0.319 |
0.636 |
60.0 |
60.0 |
1.595 |
| Transformed_CSR_innermost_04/MYNAT_nokinds_noand_C |
0.426 |
1.311 |
60.0 |
60.0 |
1.936 |
| Transformed_CSR_innermost_04/MYNAT_nokinds_noand_GM |
0.25 |
0.414 |
60.0 |
60.0 |
1.406 |
| Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM |
0.427 |
1.414 |
60.0 |
60.0 |
1.959 |
| Transformed_CSR_innermost_04/MYNAT_nosorts_C |
0.217 |
0.258 |
60.0 |
60.0 |
1.277 |
| Transformed_CSR_innermost_04/MYNAT_nosorts_GM |
0.173 |
0.186 |
60.0 |
60.0 |
1.199 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/MYNAT_nosorts_iGM |
0.213 |
0.243 |
60.0 |
60.0 |
1.244 |
| Transformed_CSR_innermost_04/MYNAT_nosorts_noand_C |
0.292 |
0.464 |
60.0 |
60.0 |
1.429 |
| Transformed_CSR_innermost_04/MYNAT_nosorts_noand_GM |
0.193 |
0.242 |
60.0 |
60.0 |
1.237 |
| Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM |
0.28 |
0.494 |
60.0 |
60.0 |
1.464 |
| Transformed_CSR_innermost_04/OvConsOS_complete_C |
0.768 |
5.123 |
60.0 |
60.0 |
2.312 |
| Transformed_CSR_innermost_04/OvConsOS_complete_GM |
0.395 |
0.966 |
60.0 |
60.0 |
1.899 |
| Transformed_CSR_innermost_04/OvConsOS_complete_iGM |
0.889 |
5.581 |
60.0 |
60.0 |
2.389 |
| Transformed_CSR_innermost_04/OvConsOS_complete_noand_C |
3.029 |
37.595 |
60.0 |
60.0 |
4.721 |
| Transformed_CSR_innermost_04/OvConsOS_complete_noand_GM |
0.739 |
4.521 |
60.0 |
60.0 |
2.297 |
| Transformed_CSR_innermost_04/OvConsOS_complete_noand_iGM |
3.277 |
38.194 |
60.0 |
60.0 |
4.716 |
| Transformed_CSR_innermost_04/OvConsOS_nokinds_C |
0.333 |
0.696 |
60.0 |
60.0 |
1.639 |
| Transformed_CSR_innermost_04/OvConsOS_nokinds_GM |
0.242 |
0.283 |
60.0 |
60.0 |
1.291 |
| Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM |
0.334 |
0.774 |
60.0 |
60.0 |
1.726 |
| Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_C |
0.577 |
2.674 |
60.0 |
60.0 |
2.088 |
| Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_GM |
0.312 |
0.62 |
60.0 |
60.0 |
1.584 |
| Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM |
0.607 |
2.912 |
60.0 |
60.0 |
2.162 |
| Transformed_CSR_innermost_04/OvConsOS_nosorts_C |
0.232 |
0.273 |
60.0 |
60.0 |
1.279 |
| Transformed_CSR_innermost_04/OvConsOS_nosorts_GM |
0.188 |
0.183 |
60.0 |
60.0 |
1.203 |
| Transformed_CSR_innermost_04/OvConsOS_nosorts_iGM |
0.214 |
0.273 |
60.0 |
60.0 |
1.262 |
| Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_C |
0.312 |
0.632 |
60.0 |
60.0 |
1.586 |
| Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_GM |
0.214 |
0.252 |
60.0 |
60.0 |
1.264 |
| Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM |
0.33 |
0.728 |
60.0 |
60.0 |
1.66 |
| Transformed_CSR_innermost_04/PALINDROME_complete_C |
0.646 |
3.409 |
60.0 |
60.0 |
2.194 |
| Transformed_CSR_innermost_04/PALINDROME_complete_GM |
0.362 |
0.882 |
60.0 |
60.0 |
1.818 |
| Transformed_CSR_innermost_04/PALINDROME_complete_iGM |
0.73 |
3.905 |
60.0 |
60.0 |
2.243 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/PALINDROME_complete_noand_C |
1.701 |
17.166 |
60.0 |
60.0 |
3.237 |
| Transformed_CSR_innermost_04/PALINDROME_complete_noand_GM |
0.589 |
2.69 |
60.0 |
60.0 |
2.087 |
| Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM |
1.996 |
18.718 |
60.0 |
60.0 |
3.514 |
| Transformed_CSR_innermost_04/PALINDROME_nokinds_C |
0.264 |
0.33 |
60.0 |
60.0 |
1.322 |
| Transformed_CSR_innermost_04/PALINDROME_nokinds_GM |
0.215 |
0.239 |
60.0 |
60.0 |
1.242 |
| Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM |
0.274 |
0.398 |
60.0 |
60.0 |
1.376 |
| Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_C |
0.434 |
1.203 |
60.0 |
60.0 |
1.931 |
| Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_GM |
0.268 |
0.463 |
60.0 |
60.0 |
1.449 |
| Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_iGM |
0.429 |
1.402 |
60.0 |
60.0 |
1.954 |
| Transformed_CSR_innermost_04/PALINDROME_nosorts_C |
0.197 |
0.21 |
60.0 |
60.0 |
1.23 |
| Transformed_CSR_innermost_04/PALINDROME_nosorts_GM |
0.174 |
0.189 |
30.905 |
60.0 |
1.187 |
| Transformed_CSR_innermost_04/PALINDROME_nosorts_iGM |
0.184 |
0.202 |
60.0 |
60.0 |
1.233 |
| Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_C |
0.216 |
0.237 |
60.0 |
60.0 |
1.245 |
| Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_GM |
0.181 |
0.189 |
27.7 |
60.0 |
1.2 |
| Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM |
0.2 |
0.228 |
60.0 |
60.0 |
1.225 |
| Transformed_CSR_innermost_04/PEANO_complete_C |
0.374 |
0.821 |
60.0 |
60.0 |
1.735 |
| Transformed_CSR_innermost_04/PEANO_complete_GM |
0.227 |
0.32 |
60.0 |
60.0 |
1.312 |
| Transformed_CSR_innermost_04/PEANO_complete_iGM |
0.365 |
0.894 |
60.0 |
60.0 |
1.791 |
| Transformed_CSR_innermost_04/PEANO_complete_noand_C |
0.621 |
3.081 |
60.0 |
60.0 |
2.174 |
| Transformed_CSR_innermost_04/PEANO_complete_noand_GM |
0.33 |
0.665 |
60.0 |
60.0 |
1.625 |
| Transformed_CSR_innermost_04/PEANO_complete_noand_iGM |
0.649 |
3.371 |
60.0 |
60.0 |
2.174 |
| Transformed_CSR_innermost_04/PEANO_nokinds_C |
0.237 |
0.352 |
60.0 |
60.0 |
1.333 |
| Transformed_CSR_innermost_04/PEANO_nokinds_GM |
0.183 |
0.2 |
60.0 |
60.0 |
1.21 |
| Transformed_CSR_innermost_04/PEANO_nokinds_iGM |
0.238 |
0.359 |
60.0 |
60.0 |
1.328 |
| Transformed_CSR_innermost_04/PEANO_nokinds_noand_C |
0.281 |
0.502 |
60.0 |
60.0 |
1.471 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/PEANO_nokinds_noand_GM |
0.205 |
0.247 |
60.0 |
60.0 |
1.255 |
| Transformed_CSR_innermost_04/PEANO_nokinds_noand_iGM |
0.282 |
0.505 |
60.0 |
60.0 |
1.502 |
| Transformed_CSR_innermost_04/PEANO_nosorts_C |
0.185 |
0.204 |
60.0 |
60.0 |
1.218 |
| Transformed_CSR_innermost_04/PEANO_nosorts_GM |
0.16 |
0.162 |
1.571 |
0.891 |
1.178 |
| Transformed_CSR_innermost_04/PEANO_nosorts_iGM |
0.206 |
0.213 |
60.0 |
60.0 |
1.203 |
| Transformed_CSR_innermost_04/PEANO_nosorts_noand_C |
0.218 |
0.277 |
60.0 |
60.0 |
1.275 |
| Transformed_CSR_innermost_04/PEANO_nosorts_noand_GM |
0.173 |
0.173 |
60.0 |
60.0 |
1.186 |
| Transformed_CSR_innermost_04/PEANO_nosorts_noand_iGM |
0.21 |
0.274 |
60.0 |
60.0 |
1.257 |
|
|