DI Martin Korp  
Home Teaching Research
Research
Publications Talks TTT2 TTTbox

Results for TRSs

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