| problem |
t |
e |
c |
r |
* |
| AG01_innermost/#4.12a |
0.138 |
0.144 |
0.195 |
0.199 |
0.268 |
| AG01_innermost/#4.13 |
0.157 |
0.139 |
0.154 |
0.151 |
0.145 |
| AG01_innermost/#4.14 |
0.145 |
0.137 |
0.197 |
0.198 |
0.286 |
| AG01_innermost/#4.15 |
0.165 |
0.156 |
16.548 |
17.887 |
1.161 |
| AG01_innermost/#4.16 |
0.142 |
0.135 |
0.214 |
0.199 |
0.237 |
| AG01_innermost/#4.17 |
0.145 |
0.147 |
2.004 |
0.206 |
0.735 |
| AG01_innermost/#4.18 |
0.143 |
0.142 |
0.158 |
60.0 |
0.144 |
| AG01_innermost/#4.19 |
0.147 |
0.15 |
60.0 |
60.0 |
1.17 |
| AG01_innermost/#4.2 |
0.146 |
0.147 |
1.733 |
1.779 |
1.159 |
| AG01_innermost/#4.20 |
0.147 |
0.142 |
0.153 |
0.145 |
0.148 |
| AG01_innermost/#4.20a |
0.151 |
0.143 |
0.157 |
0.169 |
0.204 |
| AG01_innermost/#4.21 |
0.15 |
0.143 |
0.157 |
0.162 |
0.148 |
| AG01_innermost/#4.22 |
0.144 |
0.144 |
0.191 |
0.18 |
0.267 |
| AG01_innermost/#4.23 |
0.15 |
0.167 |
0.238 |
0.262 |
0.384 |
| AG01_innermost/#4.24 |
0.152 |
0.159 |
0.379 |
60.0 |
0.904 |
| AG01_innermost/#4.25 |
0.142 |
0.138 |
0.147 |
0.15 |
0.174 |
| AG01_innermost/#4.26 |
0.181 |
0.16 |
1.086 |
1.016 |
1.171 |
| AG01_innermost/#4.27 |
0.158 |
0.165 |
1.081 |
1.069 |
1.188 |
| AG01_innermost/#4.28 |
0.14 |
0.156 |
0.185 |
0.187 |
0.266 |
| AG01_innermost/#4.29 |
0.166 |
0.176 |
60.0 |
60.0 |
1.185 |
| AG01_innermost/#4.3 |
0.137 |
0.141 |
0.153 |
0.143 |
0.15 |
| AG01_innermost/#4.30 |
0.162 |
0.167 |
1.834 |
1.798 |
1.173 |
| AG01_innermost/#4.30a |
0.155 |
0.17 |
0.2 |
0.215 |
0.296 |
| AG01_innermost/#4.30b |
0.155 |
0.16 |
2.535 |
2.631 |
1.181 |
| AG01_innermost/#4.31 |
0.144 |
0.146 |
0.187 |
0.235 |
0.24 |
| problem |
t |
e |
c |
r |
* |
| AG01_innermost/#4.32 |
0.143 |
0.147 |
0.184 |
0.18 |
0.241 |
| AG01_innermost/#4.33 |
0.17 |
0.161 |
60.0 |
60.0 |
1.18 |
| AG01_innermost/#4.34 |
0.152 |
0.158 |
23.011 |
23.252 |
1.18 |
| AG01_innermost/#4.35 |
0.216 |
0.231 |
60.0 |
60.0 |
1.247 |
| AG01_innermost/#4.36 |
0.192 |
0.199 |
60.0 |
60.0 |
1.234 |
| AG01_innermost/#4.37 |
0.149 |
0.143 |
0.195 |
0.168 |
0.233 |
| AG01_innermost/#4.37a |
0.142 |
0.152 |
0.34 |
0.192 |
0.349 |
| AG01_innermost/#4.4 |
0.138 |
0.156 |
0.204 |
0.215 |
0.143 |
| AG01_innermost/#4.5 |
0.135 |
0.137 |
0.153 |
0.15 |
0.146 |
| AG01_innermost/#4.7 |
0.139 |
0.14 |
0.144 |
0.159 |
0.151 |
| Applicative_AG01_innermost/#4.10 |
0.181 |
0.194 |
60.0 |
60.0 |
1.227 |
| Applicative_AG01_innermost/#4.13 |
0.189 |
0.218 |
60.0 |
60.0 |
1.219 |
| Applicative_AG01_innermost/#4.15 |
0.195 |
0.237 |
60.0 |
60.0 |
1.256 |
| Applicative_AG01_innermost/#4.17 |
0.191 |
0.223 |
60.0 |
60.0 |
1.225 |
| Applicative_AG01_innermost/#4.19 |
0.196 |
0.255 |
60.0 |
60.0 |
1.256 |
| Applicative_AG01_innermost/#4.2 |
0.203 |
0.203 |
60.0 |
60.0 |
1.23 |
| Applicative_AG01_innermost/#4.22 |
0.207 |
0.217 |
60.0 |
60.0 |
1.235 |
| Applicative_AG01_innermost/#4.24 |
0.205 |
0.244 |
60.0 |
60.0 |
1.273 |
| Applicative_AG01_innermost/#4.26 |
0.208 |
0.239 |
60.0 |
60.0 |
1.254 |
| Applicative_AG01_innermost/#4.28 |
0.183 |
0.213 |
60.0 |
60.0 |
1.228 |
| Applicative_AG01_innermost/#4.3 |
0.19 |
0.209 |
60.0 |
60.0 |
1.215 |
| Applicative_AG01_innermost/#4.34 |
0.205 |
0.239 |
60.0 |
60.0 |
1.267 |
| Applicative_AG01_innermost/#4.36 |
0.285 |
0.419 |
60.0 |
60.0 |
1.457 |
| Applicative_AG01_innermost/#4.5 |
0.172 |
0.185 |
60.0 |
60.0 |
1.22 |
| Applicative_AG01_innermost/#4.7 |
0.181 |
0.201 |
60.0 |
60.0 |
1.214 |
| problem |
t |
e |
c |
r |
* |
| Applicative_AG01_innermost/#4.8 |
0.199 |
0.246 |
60.0 |
60.0 |
1.357 |
| Mixed_innermost/bn111 |
0.254 |
0.26 |
0.262 |
0.269 |
0.284 |
| Mixed_innermost/cade04 |
0.264 |
0.273 |
60.0 |
60.0 |
1.163 |
| Mixed_innermost/cade05 |
0.166 |
0.17 |
19.758 |
20.754 |
1.181 |
| Mixed_innermost/cade12 |
0.182 |
0.172 |
21.735 |
21.613 |
1.181 |
| Mixed_innermost/cade13 |
0.174 |
0.181 |
60.0 |
60.0 |
1.2 |
| Mixed_innermost/gkg |
0.153 |
0.137 |
0.163 |
0.163 |
0.141 |
| Mixed_innermost/innermost1 |
0.136 |
0.136 |
0.161 |
0.161 |
0.188 |
| Mixed_innermost/innermost2 |
0.153 |
0.154 |
0.222 |
0.202 |
0.3 |
| Mixed_innermost/innermost3 |
0.151 |
0.161 |
0.165 |
0.178 |
0.231 |
| Mixed_innermost/innermost4 |
0.158 |
0.149 |
60.0 |
60.0 |
1.168 |
| Mixed_innermost/innermost5 |
0.154 |
0.154 |
15.438 |
15.803 |
1.176 |
| Mixed_innermost/muladd |
0.152 |
0.16 |
0.162 |
0.164 |
0.222 |
| Mixed_innermost/n001 |
0.138 |
0.152 |
0.171 |
0.188 |
0.226 |
| Mixed_innermost/test10 |
0.151 |
0.152 |
1.573 |
1.529 |
1.16 |
| Mixed_innermost/test75 |
0.15 |
0.137 |
0.17 |
0.172 |
0.233 |
| Mixed_innermost/test76 |
0.142 |
0.142 |
0.496 |
0.492 |
0.872 |
| Mixed_innermost/test77 |
0.152 |
0.157 |
0.651 |
0.628 |
1.162 |
| Mixed_innermost/test830 |
0.16 |
0.142 |
0.654 |
0.188 |
0.592 |
| Mixed_innermost/test833 |
0.135 |
0.145 |
0.158 |
0.143 |
0.158 |
| Mixed_innermost/test9 |
0.136 |
0.143 |
0.19 |
0.19 |
0.291 |
| Mixed_innermost/thiemann26i |
0.172 |
0.173 |
60.0 |
60.0 |
1.187 |
| Mixed_innermost/thiemann28i |
0.174 |
0.166 |
60.0 |
60.0 |
1.173 |
| Mixed_innermost/toyama |
0.139 |
0.134 |
0.164 |
0.173 |
0.151 |
| Mixed_innermost/tricky1 |
0.152 |
0.142 |
0.446 |
0.436 |
0.423 |
| problem |
t |
e |
c |
r |
* |
| Mixed_innermost/wiehe13 |
0.359 |
0.357 |
60.0 |
60.0 |
1.377 |
| Mixed_innermost/wiehe14 |
0.372 |
0.38 |
60.0 |
60.0 |
1.217 |
| Transformed_CSR_innermost_04/Ex14_AEGL02_C |
0.205 |
0.212 |
60.0 |
60.0 |
1.25 |
| Transformed_CSR_innermost_04/Ex14_AEGL02_GM |
0.175 |
0.159 |
1.673 |
1.625 |
1.178 |
| Transformed_CSR_innermost_04/Ex14_AEGL02_iGM |
0.184 |
0.218 |
60.0 |
60.0 |
1.222 |
| Transformed_CSR_innermost_04/Ex14_Luc06_C |
0.184 |
0.212 |
60.0 |
60.0 |
1.221 |
| Transformed_CSR_innermost_04/Ex14_Luc06_GM |
0.175 |
0.164 |
60.0 |
60.0 |
1.179 |
| Transformed_CSR_innermost_04/Ex14_Luc06_iGM |
0.185 |
0.204 |
60.0 |
60.0 |
1.214 |
| Transformed_CSR_innermost_04/Ex15_Luc06_C |
0.171 |
0.174 |
0.782 |
0.541 |
1.051 |
| Transformed_CSR_innermost_04/Ex15_Luc06_GM |
0.147 |
0.177 |
0.169 |
0.19 |
0.229 |
| Transformed_CSR_innermost_04/Ex15_Luc06_iGM |
0.159 |
0.155 |
0.278 |
0.354 |
0.454 |
| Transformed_CSR_innermost_04/Ex15_Luc98_C |
0.237 |
0.333 |
60.0 |
60.0 |
1.323 |
| Transformed_CSR_innermost_04/Ex15_Luc98_GM |
0.195 |
0.202 |
60.0 |
60.0 |
1.211 |
| Transformed_CSR_innermost_04/Ex15_Luc98_iGM |
0.261 |
0.362 |
60.0 |
60.0 |
1.346 |
| Transformed_CSR_innermost_04/Ex16_Luc06_C |
0.173 |
0.164 |
16.669 |
33.926 |
1.177 |
| Transformed_CSR_innermost_04/Ex16_Luc06_GM |
0.152 |
0.159 |
0.361 |
0.216 |
0.448 |
| Transformed_CSR_innermost_04/Ex16_Luc06_iGM |
0.162 |
0.17 |
0.951 |
0.403 |
0.929 |
| Transformed_CSR_innermost_04/Ex18_Luc06_C |
0.17 |
0.179 |
0.403 |
0.505 |
0.804 |
| Transformed_CSR_innermost_04/Ex18_Luc06_GM |
0.143 |
0.142 |
0.165 |
0.183 |
0.251 |
| Transformed_CSR_innermost_04/Ex18_Luc06_L |
0.135 |
0.143 |
0.136 |
0.147 |
0.141 |
| Transformed_CSR_innermost_04/Ex18_Luc06_iGM |
0.17 |
0.188 |
0.401 |
0.456 |
0.591 |
| Transformed_CSR_innermost_04/Ex1_2_AEL03_C |
0.322 |
0.874 |
60.0 |
60.0 |
1.809 |
| Transformed_CSR_innermost_04/Ex1_2_AEL03_GM |
0.212 |
0.325 |
60.0 |
60.0 |
1.354 |
| Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM |
0.286 |
0.73 |
60.0 |
60.0 |
1.676 |
| Transformed_CSR_innermost_04/Ex1_2_Luc02c_C |
0.182 |
0.206 |
16.81 |
16.356 |
1.212 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/Ex1_2_Luc02c_GM |
0.17 |
0.166 |
0.495 |
0.512 |
0.885 |
| Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM |
0.177 |
0.183 |
6.476 |
6.441 |
1.208 |
| Transformed_CSR_innermost_04/Ex1_GL02a_C |
0.219 |
0.273 |
60.0 |
60.0 |
1.271 |
| Transformed_CSR_innermost_04/Ex1_GL02a_GM |
0.186 |
0.183 |
60.0 |
60.0 |
1.212 |
| Transformed_CSR_innermost_04/Ex1_GL02a_iGM |
0.22 |
0.276 |
60.0 |
60.0 |
1.269 |
| Transformed_CSR_innermost_04/Ex1_GM03_C |
0.24 |
0.311 |
60.0 |
60.0 |
1.316 |
| Transformed_CSR_innermost_04/Ex1_GM03_GM |
0.181 |
0.197 |
60.0 |
60.0 |
1.223 |
| Transformed_CSR_innermost_04/Ex1_GM03_iGM |
0.215 |
0.299 |
60.0 |
60.0 |
1.293 |
| Transformed_CSR_innermost_04/Ex1_GM99_C |
0.169 |
0.177 |
60.0 |
60.0 |
1.188 |
| Transformed_CSR_innermost_04/Ex1_GM99_GM |
0.152 |
0.159 |
60.0 |
60.0 |
1.176 |
| Transformed_CSR_innermost_04/Ex1_GM99_iGM |
0.168 |
0.175 |
60.0 |
60.0 |
1.182 |
| Transformed_CSR_innermost_04/Ex1_Luc02b_C |
0.236 |
0.281 |
60.0 |
60.0 |
1.306 |
| Transformed_CSR_innermost_04/Ex1_Luc02b_GM |
0.175 |
0.196 |
21.863 |
22.154 |
1.19 |
| Transformed_CSR_innermost_04/Ex1_Luc02b_iGM |
0.209 |
0.259 |
60.0 |
60.0 |
1.265 |
| Transformed_CSR_innermost_04/Ex1_Luc04b_C |
0.225 |
0.261 |
60.0 |
60.0 |
1.252 |
| Transformed_CSR_innermost_04/Ex1_Luc04b_GM |
0.167 |
0.2 |
5.179 |
60.0 |
1.203 |
| Transformed_CSR_innermost_04/Ex1_Luc04b_iGM |
0.192 |
0.231 |
60.0 |
60.0 |
1.248 |
| Transformed_CSR_innermost_04/Ex1_Zan97_C |
0.176 |
0.16 |
0.589 |
0.488 |
0.979 |
| Transformed_CSR_innermost_04/Ex1_Zan97_GM |
0.158 |
0.158 |
0.183 |
0.182 |
0.228 |
| Transformed_CSR_innermost_04/Ex1_Zan97_iGM |
0.172 |
0.176 |
0.331 |
0.297 |
0.453 |
| Transformed_CSR_innermost_04/Ex23_Luc06_C |
0.192 |
0.199 |
0.738 |
0.892 |
1.194 |
| Transformed_CSR_innermost_04/Ex23_Luc06_GM |
0.145 |
0.158 |
0.161 |
0.177 |
0.207 |
| Transformed_CSR_innermost_04/Ex23_Luc06_L |
0.145 |
0.137 |
0.132 |
0.14 |
0.137 |
| Transformed_CSR_innermost_04/Ex23_Luc06_iGM |
0.163 |
0.166 |
0.513 |
0.568 |
0.828 |
| Transformed_CSR_innermost_04/Ex24_GM04_C |
0.164 |
0.175 |
60.0 |
60.0 |
1.195 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/Ex24_GM04_GM |
0.158 |
0.154 |
41.071 |
41.585 |
1.181 |
| Transformed_CSR_innermost_04/Ex24_GM04_iGM |
0.179 |
0.189 |
60.0 |
60.0 |
1.202 |
| Transformed_CSR_innermost_04/Ex24_Luc06_C |
0.172 |
0.17 |
60.0 |
60.0 |
1.207 |
| Transformed_CSR_innermost_04/Ex24_Luc06_GM |
0.147 |
0.153 |
0.806 |
0.838 |
1.104 |
| Transformed_CSR_innermost_04/Ex24_Luc06_iGM |
0.167 |
0.174 |
60.0 |
60.0 |
1.176 |
| Transformed_CSR_innermost_04/Ex25_Luc06_C |
0.203 |
0.207 |
1.222 |
1.229 |
0.881 |
| Transformed_CSR_innermost_04/Ex25_Luc06_GM |
0.169 |
0.172 |
0.252 |
0.307 |
0.346 |
| Transformed_CSR_innermost_04/Ex25_Luc06_L |
0.137 |
0.138 |
0.142 |
0.137 |
0.143 |
| Transformed_CSR_innermost_04/Ex25_Luc06_iGM |
0.175 |
0.205 |
0.922 |
0.893 |
1.201 |
| Transformed_CSR_innermost_04/Ex26_Luc03b_C |
0.251 |
0.405 |
60.0 |
60.0 |
1.397 |
| Transformed_CSR_innermost_04/Ex26_Luc03b_GM |
0.193 |
0.205 |
60.0 |
60.0 |
1.23 |
| Transformed_CSR_innermost_04/Ex26_Luc03b_L |
0.154 |
0.143 |
0.156 |
0.169 |
0.231 |
| Transformed_CSR_innermost_04/Ex26_Luc03b_iGM |
0.329 |
0.453 |
60.0 |
60.0 |
1.433 |
| Transformed_CSR_innermost_04/Ex2_Luc02a_C |
0.349 |
0.444 |
60.0 |
60.0 |
1.415 |
| Transformed_CSR_innermost_04/Ex2_Luc02a_GM |
0.193 |
0.217 |
60.0 |
60.0 |
1.229 |
| Transformed_CSR_innermost_04/Ex2_Luc02a_L |
0.167 |
0.153 |
0.242 |
0.261 |
0.382 |
| Transformed_CSR_innermost_04/Ex2_Luc02a_iGM |
0.242 |
0.381 |
60.0 |
60.0 |
1.361 |
| Transformed_CSR_innermost_04/Ex2_Luc03b_C |
0.232 |
0.305 |
60.0 |
60.0 |
1.317 |
| Transformed_CSR_innermost_04/Ex2_Luc03b_GM |
0.185 |
0.186 |
39.952 |
42.399 |
1.203 |
| Transformed_CSR_innermost_04/Ex2_Luc03b_L |
0.147 |
0.149 |
0.141 |
0.143 |
0.151 |
| Transformed_CSR_innermost_04/Ex2_Luc03b_iGM |
0.22 |
0.289 |
60.0 |
60.0 |
1.286 |
| Transformed_CSR_innermost_04/Ex3_12_Luc96a_C |
0.215 |
0.242 |
60.0 |
60.0 |
1.232 |
| Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM |
0.16 |
0.165 |
1.184 |
1.183 |
1.184 |
| Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM |
0.181 |
0.212 |
60.0 |
60.0 |
1.251 |
| Transformed_CSR_innermost_04/Ex3_2_Luc97_C |
0.246 |
0.325 |
60.0 |
60.0 |
1.339 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/Ex3_2_Luc97_GM |
0.219 |
0.186 |
60.0 |
60.0 |
1.206 |
| Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM |
0.26 |
0.307 |
60.0 |
60.0 |
1.301 |
| Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C |
0.233 |
0.331 |
60.0 |
60.0 |
1.326 |
| Transformed_CSR_innermost_04/Ex3_3_25_Bor03_GM |
0.194 |
0.201 |
60.0 |
60.0 |
1.208 |
| Transformed_CSR_innermost_04/Ex3_3_25_Bor03_L |
0.156 |
0.151 |
0.147 |
0.145 |
0.149 |
| Transformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM |
0.228 |
0.314 |
60.0 |
60.0 |
1.324 |
| Transformed_CSR_innermost_04/Ex49_GM04_C |
0.227 |
0.266 |
60.0 |
60.0 |
1.271 |
| Transformed_CSR_innermost_04/Ex49_GM04_GM |
0.179 |
0.2 |
60.0 |
60.0 |
1.218 |
| Transformed_CSR_innermost_04/Ex49_GM04_iGM |
0.233 |
0.302 |
60.0 |
60.0 |
1.3 |
| Transformed_CSR_innermost_04/Ex4_4_Luc96b_C |
0.174 |
0.171 |
0.866 |
0.877 |
1.186 |
| Transformed_CSR_innermost_04/Ex4_4_Luc96b_GM |
0.151 |
0.162 |
0.216 |
0.21 |
0.297 |
| Transformed_CSR_innermost_04/Ex4_4_Luc96b_L |
0.144 |
0.132 |
0.137 |
0.146 |
0.171 |
| Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM |
0.168 |
0.168 |
1.138 |
1.142 |
1.2 |
| Transformed_CSR_innermost_04/Ex4_7_15_Bor03_C |
0.2 |
0.218 |
60.0 |
60.0 |
1.228 |
| Transformed_CSR_innermost_04/Ex4_7_15_Bor03_GM |
0.167 |
0.178 |
0.616 |
0.329 |
0.824 |
| Transformed_CSR_innermost_04/Ex4_7_15_Bor03_L |
0.137 |
0.137 |
0.16 |
0.158 |
0.146 |
| Transformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM |
0.185 |
0.203 |
26.835 |
60.0 |
1.205 |
| Transformed_CSR_innermost_04/Ex4_7_37_Bor03_C |
0.274 |
0.464 |
60.0 |
60.0 |
1.446 |
| Transformed_CSR_innermost_04/Ex4_7_37_Bor03_GM |
0.205 |
0.257 |
60.0 |
60.0 |
1.254 |
| Transformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM |
0.242 |
0.413 |
60.0 |
60.0 |
1.411 |
| Transformed_CSR_innermost_04/Ex4_7_56_Bor03_C |
0.191 |
0.234 |
60.0 |
60.0 |
1.231 |
| Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM |
0.174 |
0.17 |
1.149 |
1.127 |
1.184 |
| Transformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM |
0.192 |
0.218 |
60.0 |
60.0 |
1.222 |
| Transformed_CSR_innermost_04/Ex4_7_77_Bor03_C |
0.178 |
0.17 |
8.995 |
32.222 |
1.199 |
| Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM |
0.175 |
0.161 |
0.231 |
0.236 |
0.359 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM |
0.18 |
0.173 |
1.191 |
46.337 |
1.18 |
| Transformed_CSR_innermost_04/Ex4_DLMMU04_C |
0.322 |
0.711 |
60.0 |
60.0 |
1.687 |
| Transformed_CSR_innermost_04/Ex4_DLMMU04_GM |
0.224 |
0.289 |
60.0 |
60.0 |
1.303 |
| Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM |
0.305 |
0.764 |
60.0 |
60.0 |
1.679 |
| Transformed_CSR_innermost_04/Ex4_Zan97_C |
0.208 |
0.265 |
60.0 |
60.0 |
1.267 |
| Transformed_CSR_innermost_04/Ex4_Zan97_GM |
0.166 |
0.187 |
7.225 |
7.207 |
1.194 |
| Transformed_CSR_innermost_04/Ex4_Zan97_iGM |
0.197 |
0.249 |
60.0 |
60.0 |
1.245 |
| Transformed_CSR_innermost_04/Ex5_7_Luc97_C |
0.317 |
0.582 |
60.0 |
60.0 |
1.741 |
| Transformed_CSR_innermost_04/Ex5_7_Luc97_GM |
0.443 |
0.492 |
60.0 |
60.0 |
1.517 |
| Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM |
0.513 |
0.812 |
60.0 |
60.0 |
1.546 |
| Transformed_CSR_innermost_04/Ex5_DLMMU04_C |
0.279 |
0.505 |
60.0 |
60.0 |
1.476 |
| Transformed_CSR_innermost_04/Ex5_DLMMU04_GM |
0.198 |
0.239 |
60.0 |
60.0 |
1.249 |
| Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM |
0.26 |
0.439 |
60.0 |
60.0 |
1.435 |
| Transformed_CSR_innermost_04/Ex5_Zan97_C |
0.187 |
0.203 |
60.0 |
60.0 |
1.219 |
| Transformed_CSR_innermost_04/Ex5_Zan97_GM |
0.175 |
0.167 |
60.0 |
60.0 |
1.171 |
| Transformed_CSR_innermost_04/Ex5_Zan97_iGM |
0.185 |
0.197 |
60.0 |
60.0 |
1.194 |
| Transformed_CSR_innermost_04/Ex6_15_AEL02_C |
0.369 |
1.185 |
60.0 |
60.0 |
1.898 |
| Transformed_CSR_innermost_04/Ex6_15_AEL02_GM |
0.249 |
0.444 |
60.0 |
60.0 |
1.471 |
| Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM |
0.337 |
1.105 |
60.0 |
60.0 |
1.886 |
| Transformed_CSR_innermost_04/Ex6_9_Luc02c_C |
0.214 |
0.247 |
60.0 |
60.0 |
1.263 |
| Transformed_CSR_innermost_04/Ex6_9_Luc02c_GM |
0.17 |
0.166 |
1.674 |
1.673 |
1.176 |
| Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM |
0.187 |
0.24 |
60.0 |
60.0 |
1.236 |
| Transformed_CSR_innermost_04/Ex6_GM04_C |
0.174 |
0.161 |
0.346 |
0.523 |
0.799 |
| Transformed_CSR_innermost_04/Ex6_GM04_GM |
0.146 |
0.15 |
0.146 |
0.157 |
0.172 |
| Transformed_CSR_innermost_04/Ex6_GM04_iGM |
0.172 |
0.156 |
0.225 |
0.251 |
0.307 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/Ex6_Luc98_C |
0.206 |
0.244 |
60.0 |
60.0 |
1.259 |
| Transformed_CSR_innermost_04/Ex6_Luc98_GM |
0.161 |
0.165 |
5.257 |
5.257 |
1.198 |
| Transformed_CSR_innermost_04/Ex6_Luc98_L |
0.174 |
0.169 |
0.155 |
0.161 |
0.171 |
| Transformed_CSR_innermost_04/Ex6_Luc98_iGM |
0.213 |
0.254 |
60.0 |
60.0 |
1.247 |
| Transformed_CSR_innermost_04/Ex7_BLR02_C |
0.244 |
0.368 |
60.0 |
60.0 |
1.36 |
| Transformed_CSR_innermost_04/Ex7_BLR02_GM |
0.182 |
0.209 |
60.0 |
60.0 |
1.228 |
| Transformed_CSR_innermost_04/Ex7_BLR02_iGM |
0.238 |
0.355 |
60.0 |
60.0 |
1.336 |
| Transformed_CSR_innermost_04/Ex8_BLR02_C |
0.249 |
0.346 |
60.0 |
60.0 |
1.348 |
| Transformed_CSR_innermost_04/Ex8_BLR02_GM |
0.192 |
0.205 |
53.665 |
52.467 |
1.212 |
| Transformed_CSR_innermost_04/Ex8_BLR02_iGM |
0.217 |
0.323 |
60.0 |
60.0 |
1.309 |
| Transformed_CSR_innermost_04/Ex9_BLR02_C |
0.231 |
0.33 |
60.0 |
60.0 |
1.307 |
| Transformed_CSR_innermost_04/Ex9_BLR02_GM |
0.183 |
0.191 |
60.0 |
60.0 |
1.202 |
| Transformed_CSR_innermost_04/Ex9_BLR02_L |
0.15 |
0.171 |
0.154 |
0.148 |
0.156 |
| Transformed_CSR_innermost_04/Ex9_BLR02_iGM |
0.249 |
0.302 |
60.0 |
60.0 |
1.295 |
| Transformed_CSR_innermost_04/Ex9_Luc04_C |
0.192 |
0.203 |
60.0 |
60.0 |
1.212 |
| Transformed_CSR_innermost_04/Ex9_Luc04_GM |
0.163 |
0.165 |
60.0 |
60.0 |
1.182 |
| Transformed_CSR_innermost_04/Ex9_Luc04_iGM |
0.164 |
0.18 |
60.0 |
60.0 |
1.198 |
| Transformed_CSR_innermost_04/Ex9_Luc06_C |
0.17 |
0.169 |
60.0 |
60.0 |
1.185 |
| Transformed_CSR_innermost_04/Ex9_Luc06_GM |
0.162 |
0.157 |
38.132 |
2.256 |
1.171 |
| Transformed_CSR_innermost_04/Ex9_Luc06_iGM |
0.164 |
0.174 |
60.0 |
60.0 |
1.182 |
| Transformed_CSR_innermost_04/ExAppendixB_AEL03_C |
0.353 |
1.032 |
60.0 |
60.0 |
1.86 |
| Transformed_CSR_innermost_04/ExAppendixB_AEL03_GM |
0.241 |
0.397 |
60.0 |
60.0 |
1.39 |
| Transformed_CSR_innermost_04/ExAppendixB_AEL03_iGM |
0.316 |
0.908 |
60.0 |
60.0 |
1.832 |
| Transformed_CSR_innermost_04/ExConc_Zan97_C |
0.187 |
0.186 |
0.454 |
0.575 |
0.431 |
| Transformed_CSR_innermost_04/ExConc_Zan97_GM |
0.141 |
0.157 |
0.15 |
0.184 |
0.201 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/ExConc_Zan97_L |
0.134 |
0.15 |
0.144 |
0.133 |
0.139 |
| Transformed_CSR_innermost_04/ExConc_Zan97_iGM |
0.159 |
0.178 |
0.438 |
0.414 |
0.71 |
| Transformed_CSR_innermost_04/ExIntrod_GM01_C |
0.24 |
0.302 |
60.0 |
60.0 |
1.288 |
| Transformed_CSR_innermost_04/ExIntrod_GM01_GM |
0.177 |
0.189 |
18.446 |
60.0 |
1.204 |
| Transformed_CSR_innermost_04/ExIntrod_GM01_iGM |
0.213 |
0.277 |
60.0 |
60.0 |
1.281 |
| Transformed_CSR_innermost_04/ExIntrod_GM04_C |
0.212 |
0.267 |
60.0 |
60.0 |
1.247 |
| Transformed_CSR_innermost_04/ExIntrod_GM04_GM |
0.178 |
0.178 |
5.72 |
6.632 |
1.195 |
| Transformed_CSR_innermost_04/ExIntrod_GM04_iGM |
0.197 |
0.279 |
60.0 |
60.0 |
1.255 |
| Transformed_CSR_innermost_04/ExIntrod_GM99_C |
0.276 |
0.518 |
60.0 |
60.0 |
1.488 |
| Transformed_CSR_innermost_04/ExIntrod_GM99_GM |
0.216 |
0.252 |
60.0 |
60.0 |
1.268 |
| Transformed_CSR_innermost_04/ExIntrod_GM99_iGM |
0.284 |
0.519 |
60.0 |
60.0 |
1.485 |
| Transformed_CSR_innermost_04/ExIntrod_Zan97_C |
0.256 |
0.387 |
60.0 |
60.0 |
1.38 |
| Transformed_CSR_innermost_04/ExIntrod_Zan97_GM |
0.189 |
0.236 |
60.0 |
60.0 |
1.256 |
| Transformed_CSR_innermost_04/ExIntrod_Zan97_iGM |
0.239 |
0.392 |
60.0 |
60.0 |
1.369 |
| Transformed_CSR_innermost_04/ExProp7_Luc06_C |
0.205 |
0.221 |
60.0 |
60.0 |
1.232 |
| Transformed_CSR_innermost_04/ExProp7_Luc06_GM |
0.161 |
0.166 |
1.402 |
0.557 |
1.09 |
| Transformed_CSR_innermost_04/ExProp7_Luc06_L |
0.142 |
0.149 |
0.148 |
0.15 |
0.174 |
| Transformed_CSR_innermost_04/ExProp7_Luc06_iGM |
0.188 |
0.209 |
30.981 |
60.0 |
1.218 |
| Transformed_CSR_innermost_04/ExSec11_1_Luc02a_C |
0.287 |
0.497 |
60.0 |
60.0 |
1.485 |
| Transformed_CSR_innermost_04/ExSec11_1_Luc02a_GM |
0.217 |
0.248 |
60.0 |
60.0 |
1.263 |
| Transformed_CSR_innermost_04/ExSec11_1_Luc02a_L |
0.185 |
0.184 |
0.826 |
0.88 |
1.181 |
| Transformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM |
0.261 |
0.475 |
60.0 |
60.0 |
1.441 |
| Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_C |
0.407 |
1.001 |
60.0 |
60.0 |
1.859 |
| Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM |
0.226 |
0.371 |
60.0 |
60.0 |
1.413 |
| Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM |
0.323 |
0.943 |
60.0 |
60.0 |
1.847 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/LISTUTILITIES_complete_C |
2.466 |
49.637 |
60.0 |
60.0 |
3.94 |
| Transformed_CSR_innermost_04/LISTUTILITIES_complete_GM |
0.83 |
7.616 |
60.0 |
60.0 |
2.368 |
| Transformed_CSR_innermost_04/LISTUTILITIES_complete_iGM |
2.498 |
51.949 |
60.0 |
60.0 |
4.057 |
| Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_C |
27.601 |
60.0 |
60.0 |
60.0 |
28.351 |
| Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_GM |
3.939 |
59.416 |
60.0 |
60.0 |
5.203 |
| Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_iGM |
20.123 |
60.0 |
60.0 |
60.0 |
20.569 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_C |
0.686 |
6.012 |
60.0 |
60.0 |
2.243 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_GM |
0.378 |
1.297 |
60.0 |
60.0 |
1.904 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_iGM |
0.677 |
6.491 |
60.0 |
60.0 |
2.205 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_C |
1.608 |
30.606 |
60.0 |
60.0 |
3.138 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_GM |
0.626 |
5.357 |
60.0 |
60.0 |
2.165 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM |
1.748 |
32.17 |
60.0 |
60.0 |
3.298 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_C |
0.371 |
1.267 |
60.0 |
60.0 |
1.91 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_GM |
0.243 |
0.43 |
60.0 |
60.0 |
1.455 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM |
0.355 |
1.225 |
60.0 |
60.0 |
1.886 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_C |
0.776 |
7.614 |
60.0 |
60.0 |
2.286 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_GM |
0.404 |
1.435 |
60.0 |
60.0 |
1.923 |
| Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM |
0.776 |
7.468 |
60.0 |
60.0 |
2.302 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_C |
0.47 |
2.094 |
60.0 |
60.0 |
1.97 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_GM |
0.28 |
0.551 |
60.0 |
60.0 |
1.538 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM |
0.478 |
2.387 |
60.0 |
60.0 |
2.003 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_C |
0.849 |
9.956 |
60.0 |
60.0 |
2.398 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_GM |
0.391 |
1.527 |
60.0 |
60.0 |
1.936 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM |
0.928 |
10.476 |
60.0 |
60.0 |
2.445 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C |
0.259 |
0.347 |
60.0 |
60.0 |
1.337 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_GM |
0.188 |
0.208 |
60.0 |
60.0 |
1.234 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM |
0.251 |
0.382 |
60.0 |
60.0 |
1.37 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_C |
0.327 |
0.824 |
60.0 |
60.0 |
1.806 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_GM |
0.234 |
0.326 |
60.0 |
60.0 |
1.318 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_iGM |
0.34 |
0.893 |
60.0 |
60.0 |
1.85 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_C |
0.215 |
0.234 |
60.0 |
60.0 |
1.227 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_GM |
0.165 |
0.166 |
13.912 |
60.0 |
1.193 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_iGM |
0.191 |
0.217 |
60.0 |
60.0 |
1.235 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_C |
0.22 |
0.269 |
60.0 |
60.0 |
1.261 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_GM |
0.168 |
0.181 |
60.0 |
60.0 |
1.205 |
| Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM |
0.212 |
0.27 |
60.0 |
60.0 |
1.251 |
| Transformed_CSR_innermost_04/MYNAT_complete_C |
0.441 |
2.134 |
60.0 |
60.0 |
1.97 |
| Transformed_CSR_innermost_04/MYNAT_complete_GM |
0.282 |
0.584 |
60.0 |
60.0 |
1.532 |
| Transformed_CSR_innermost_04/MYNAT_complete_iGM |
0.448 |
2.3 |
60.0 |
60.0 |
1.993 |
| Transformed_CSR_innermost_04/MYNAT_complete_noand_C |
1.05 |
13.318 |
60.0 |
60.0 |
2.603 |
| Transformed_CSR_innermost_04/MYNAT_complete_noand_GM |
0.469 |
2.006 |
60.0 |
60.0 |
1.958 |
| Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM |
1.055 |
13.822 |
60.0 |
60.0 |
2.575 |
| Transformed_CSR_innermost_04/MYNAT_nokinds_C |
0.306 |
0.6 |
60.0 |
60.0 |
1.556 |
| Transformed_CSR_innermost_04/MYNAT_nokinds_GM |
0.211 |
0.277 |
60.0 |
60.0 |
1.27 |
| Transformed_CSR_innermost_04/MYNAT_nokinds_iGM |
0.283 |
0.618 |
60.0 |
60.0 |
1.581 |
| Transformed_CSR_innermost_04/MYNAT_nokinds_noand_C |
0.39 |
1.265 |
60.0 |
60.0 |
1.897 |
| Transformed_CSR_innermost_04/MYNAT_nokinds_noand_GM |
0.245 |
0.413 |
60.0 |
60.0 |
1.396 |
| Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM |
0.394 |
1.382 |
60.0 |
60.0 |
1.895 |
| Transformed_CSR_innermost_04/MYNAT_nosorts_C |
0.21 |
0.256 |
60.0 |
60.0 |
1.271 |
| Transformed_CSR_innermost_04/MYNAT_nosorts_GM |
0.171 |
0.186 |
60.0 |
60.0 |
1.205 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/MYNAT_nosorts_iGM |
0.207 |
0.25 |
60.0 |
60.0 |
1.242 |
| Transformed_CSR_innermost_04/MYNAT_nosorts_noand_C |
0.274 |
0.457 |
60.0 |
60.0 |
1.436 |
| Transformed_CSR_innermost_04/MYNAT_nosorts_noand_GM |
0.204 |
0.239 |
60.0 |
60.0 |
1.241 |
| Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM |
0.274 |
0.466 |
60.0 |
60.0 |
1.459 |
| Transformed_CSR_innermost_04/OvConsOS_complete_C |
0.647 |
4.855 |
60.0 |
60.0 |
2.125 |
| Transformed_CSR_innermost_04/OvConsOS_complete_GM |
0.367 |
0.931 |
60.0 |
60.0 |
1.869 |
| Transformed_CSR_innermost_04/OvConsOS_complete_iGM |
0.668 |
5.323 |
60.0 |
60.0 |
2.171 |
| Transformed_CSR_innermost_04/OvConsOS_complete_noand_C |
1.958 |
36.509 |
60.0 |
60.0 |
3.417 |
| Transformed_CSR_innermost_04/OvConsOS_complete_noand_GM |
0.593 |
4.394 |
60.0 |
60.0 |
2.125 |
| Transformed_CSR_innermost_04/OvConsOS_complete_noand_iGM |
1.9 |
37.283 |
60.0 |
60.0 |
3.466 |
| Transformed_CSR_innermost_04/OvConsOS_nokinds_C |
0.31 |
0.686 |
60.0 |
60.0 |
1.636 |
| Transformed_CSR_innermost_04/OvConsOS_nokinds_GM |
0.24 |
0.305 |
60.0 |
60.0 |
1.294 |
| Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM |
0.311 |
0.776 |
60.0 |
60.0 |
1.697 |
| Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_C |
0.493 |
2.545 |
60.0 |
60.0 |
2.0 |
| Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_GM |
0.314 |
0.619 |
60.0 |
60.0 |
1.567 |
| Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM |
0.509 |
2.807 |
60.0 |
60.0 |
2.046 |
| Transformed_CSR_innermost_04/OvConsOS_nosorts_C |
0.225 |
0.299 |
60.0 |
60.0 |
1.286 |
| Transformed_CSR_innermost_04/OvConsOS_nosorts_GM |
0.189 |
0.21 |
60.0 |
60.0 |
1.21 |
| Transformed_CSR_innermost_04/OvConsOS_nosorts_iGM |
0.206 |
0.282 |
60.0 |
60.0 |
1.283 |
| Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_C |
0.325 |
0.621 |
60.0 |
60.0 |
1.572 |
| Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_GM |
0.207 |
0.24 |
60.0 |
60.0 |
1.264 |
| Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM |
0.338 |
0.708 |
60.0 |
60.0 |
1.621 |
| Transformed_CSR_innermost_04/PALINDROME_complete_C |
0.529 |
3.278 |
60.0 |
60.0 |
2.052 |
| Transformed_CSR_innermost_04/PALINDROME_complete_GM |
0.345 |
0.838 |
60.0 |
60.0 |
1.798 |
| Transformed_CSR_innermost_04/PALINDROME_complete_iGM |
0.581 |
3.764 |
60.0 |
60.0 |
2.099 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/PALINDROME_complete_noand_C |
1.153 |
16.662 |
60.0 |
60.0 |
2.662 |
| Transformed_CSR_innermost_04/PALINDROME_complete_noand_GM |
0.514 |
2.563 |
60.0 |
60.0 |
1.987 |
| Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM |
1.229 |
17.981 |
60.0 |
60.0 |
2.751 |
| Transformed_CSR_innermost_04/PALINDROME_nokinds_C |
0.261 |
0.337 |
60.0 |
60.0 |
1.33 |
| Transformed_CSR_innermost_04/PALINDROME_nokinds_GM |
0.206 |
0.238 |
60.0 |
60.0 |
1.248 |
| Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM |
0.251 |
0.369 |
60.0 |
60.0 |
1.351 |
| Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_C |
0.375 |
1.177 |
60.0 |
60.0 |
1.896 |
| Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_GM |
0.258 |
0.45 |
60.0 |
60.0 |
1.464 |
| Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_iGM |
0.381 |
1.347 |
60.0 |
60.0 |
1.912 |
| Transformed_CSR_innermost_04/PALINDROME_nosorts_C |
0.187 |
0.208 |
60.0 |
60.0 |
1.241 |
| Transformed_CSR_innermost_04/PALINDROME_nosorts_GM |
0.174 |
0.182 |
32.078 |
60.0 |
1.197 |
| Transformed_CSR_innermost_04/PALINDROME_nosorts_iGM |
0.18 |
0.204 |
60.0 |
60.0 |
1.22 |
| Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_C |
0.201 |
0.255 |
60.0 |
60.0 |
1.239 |
| Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_GM |
0.178 |
0.186 |
28.983 |
60.0 |
1.189 |
| Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM |
0.194 |
0.227 |
60.0 |
60.0 |
1.223 |
| Transformed_CSR_innermost_04/PEANO_complete_C |
0.353 |
0.803 |
60.0 |
60.0 |
1.943 |
| Transformed_CSR_innermost_04/PEANO_complete_GM |
0.457 |
0.535 |
60.0 |
60.0 |
1.532 |
| Transformed_CSR_innermost_04/PEANO_complete_iGM |
0.547 |
1.087 |
60.0 |
60.0 |
1.999 |
| Transformed_CSR_innermost_04/PEANO_complete_noand_C |
0.746 |
3.06 |
60.0 |
60.0 |
2.037 |
| Transformed_CSR_innermost_04/PEANO_complete_noand_GM |
0.289 |
0.629 |
60.0 |
60.0 |
1.596 |
| Transformed_CSR_innermost_04/PEANO_complete_noand_iGM |
0.549 |
3.258 |
60.0 |
60.0 |
2.074 |
| Transformed_CSR_innermost_04/PEANO_nokinds_C |
0.23 |
0.319 |
60.0 |
60.0 |
1.329 |
| Transformed_CSR_innermost_04/PEANO_nokinds_GM |
0.181 |
0.195 |
60.0 |
60.0 |
1.226 |
| Transformed_CSR_innermost_04/PEANO_nokinds_iGM |
0.23 |
0.346 |
60.0 |
60.0 |
1.341 |
| Transformed_CSR_innermost_04/PEANO_nokinds_noand_C |
0.267 |
0.492 |
60.0 |
60.0 |
1.478 |
| problem |
t |
e |
c |
r |
* |
| Transformed_CSR_innermost_04/PEANO_nokinds_noand_GM |
0.206 |
0.235 |
60.0 |
60.0 |
1.239 |
| Transformed_CSR_innermost_04/PEANO_nokinds_noand_iGM |
0.277 |
0.51 |
60.0 |
60.0 |
1.463 |
| Transformed_CSR_innermost_04/PEANO_nosorts_C |
0.202 |
0.208 |
60.0 |
60.0 |
1.213 |
| Transformed_CSR_innermost_04/PEANO_nosorts_GM |
0.167 |
0.171 |
1.62 |
0.911 |
1.177 |
| Transformed_CSR_innermost_04/PEANO_nosorts_iGM |
0.19 |
0.201 |
60.0 |
60.0 |
1.211 |
| Transformed_CSR_innermost_04/PEANO_nosorts_noand_C |
0.22 |
0.392 |
60.0 |
60.0 |
1.394 |
| Transformed_CSR_innermost_04/PEANO_nosorts_noand_GM |
0.305 |
0.31 |
60.0 |
60.0 |
1.33 |
| Transformed_CSR_innermost_04/PEANO_nosorts_noand_iGM |
0.349 |
0.403 |
60.0 |
60.0 |
1.265 |
|
|