DI Martin Korp  
Home Teaching Research
Research
Publications Talks TTT2 TTTbox

Results for TRSs

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
Yes No Maybe Timeout