DI Martin Korp  
Home Teaching Research
Research
Publications Talks TTT2 TTTbox

Results for TRSs

problem t e c r *
AG01_innermost/#4.12a 0.155 0.147 0.197 0.205 0.279
AG01_innermost/#4.13 0.146 0.144 0.149 0.162 0.149
AG01_innermost/#4.14 0.153 0.16 0.203 0.212 0.337
AG01_innermost/#4.15 0.167 0.163 17.271 17.472 1.182
AG01_innermost/#4.16 0.166 0.145 0.199 0.221 0.226
AG01_innermost/#4.17 0.159 0.155 2.029 0.205 0.742
AG01_innermost/#4.18 0.143 0.136 0.16 60.0 0.153
AG01_innermost/#4.19 0.159 0.175 60.0 60.0 1.173
AG01_innermost/#4.2 0.15 0.149 1.776 1.72 1.178
AG01_innermost/#4.20 0.147 0.136 0.14 0.147 0.148
AG01_innermost/#4.20a 0.155 0.147 0.167 0.162 0.196
AG01_innermost/#4.21 0.179 0.142 0.159 0.164 0.149
AG01_innermost/#4.22 0.154 0.151 0.197 0.187 0.252
AG01_innermost/#4.23 0.182 0.162 0.25 0.257 0.393
AG01_innermost/#4.24 0.178 0.198 0.404 60.0 0.917
AG01_innermost/#4.25 0.142 0.156 0.151 0.152 0.179
AG01_innermost/#4.26 0.171 0.173 1.124 1.031 1.179
AG01_innermost/#4.27 0.184 0.176 1.157 1.083 1.198
AG01_innermost/#4.28 0.157 0.163 0.194 0.187 0.262
AG01_innermost/#4.29 0.214 0.229 60.0 60.0 1.247
AG01_innermost/#4.3 0.14 0.142 0.156 0.145 0.141
AG01_innermost/#4.30 0.184 0.179 1.915 1.879 1.192
AG01_innermost/#4.30a 0.172 0.176 0.224 0.235 0.322
AG01_innermost/#4.30b 0.204 0.195 2.661 2.553 1.215
AG01_innermost/#4.31 0.148 0.157 0.183 0.257 0.239
problem t e c r *
AG01_innermost/#4.32 0.164 0.161 0.201 0.209 0.25
AG01_innermost/#4.33 0.186 0.175 60.0 60.0 1.186
AG01_innermost/#4.34 0.178 0.172 23.133 24.79 1.203
AG01_innermost/#4.35 0.327 0.332 60.0 60.0 1.362
AG01_innermost/#4.36 0.35 0.367 60.0 60.0 1.361
AG01_innermost/#4.37 0.155 0.164 0.187 0.186 0.246
AG01_innermost/#4.37a 0.178 0.16 0.364 0.197 0.349
AG01_innermost/#4.4 0.147 0.145 0.197 0.197 0.144
AG01_innermost/#4.5 0.151 0.137 0.144 0.138 0.135
AG01_innermost/#4.7 0.15 0.147 0.152 0.178 0.148
Applicative_AG01_innermost/#4.10 0.223 0.227 60.0 60.0 1.235
Applicative_AG01_innermost/#4.13 0.224 0.236 60.0 60.0 1.255
Applicative_AG01_innermost/#4.15 0.256 0.31 60.0 60.0 1.349
Applicative_AG01_innermost/#4.17 0.263 0.291 60.0 60.0 1.301
Applicative_AG01_innermost/#4.19 0.269 0.315 60.0 60.0 1.366
Applicative_AG01_innermost/#4.2 0.241 0.249 60.0 60.0 1.272
Applicative_AG01_innermost/#4.22 0.243 0.291 60.0 60.0 1.302
Applicative_AG01_innermost/#4.24 0.267 0.348 60.0 60.0 1.358
Applicative_AG01_innermost/#4.26 0.249 0.329 60.0 60.0 1.34
Applicative_AG01_innermost/#4.28 0.239 0.275 60.0 60.0 1.297
Applicative_AG01_innermost/#4.3 0.234 0.219 60.0 60.0 1.25
Applicative_AG01_innermost/#4.34 0.251 0.301 60.0 60.0 1.32
Applicative_AG01_innermost/#4.36 0.403 0.752 60.0 60.0 1.789
Applicative_AG01_innermost/#4.5 0.202 0.211 60.0 60.0 1.226
Applicative_AG01_innermost/#4.7 0.218 0.216 60.0 60.0 1.251
problem t e c r *
Applicative_AG01_innermost/#4.8 0.237 0.285 60.0 60.0 1.308
Mixed_innermost/bn111 0.154 0.139 0.151 0.146 0.166
Mixed_innermost/cade04 0.159 0.16 60.0 60.0 1.179
Mixed_innermost/cade05 0.179 0.19 21.07 19.883 1.209
Mixed_innermost/cade12 0.221 0.231 21.957 21.906 1.264
Mixed_innermost/cade13 0.207 0.23 60.0 60.0 1.228
Mixed_innermost/gkg 0.158 0.136 0.15 0.154 0.155
Mixed_innermost/innermost1 0.152 0.138 0.168 0.181 0.171
Mixed_innermost/innermost2 0.161 0.168 0.219 0.204 0.306
Mixed_innermost/innermost3 0.152 0.149 0.162 0.175 0.241
Mixed_innermost/innermost4 0.17 0.164 60.0 60.0 1.172
Mixed_innermost/innermost5 0.172 0.177 16.099 15.878 1.198
Mixed_innermost/muladd 0.149 0.151 0.172 0.179 0.228
Mixed_innermost/n001 0.162 0.147 0.167 0.183 0.228
Mixed_innermost/test10 0.159 0.164 1.541 1.533 1.172
Mixed_innermost/test75 0.144 0.167 0.171 0.171 0.242
Mixed_innermost/test76 0.167 0.156 0.484 0.505 0.875
Mixed_innermost/test77 0.171 0.153 0.638 0.659 1.188
Mixed_innermost/test830 0.164 0.154 0.652 0.2 0.598
Mixed_innermost/test833 0.144 0.138 0.147 0.14 0.155
Mixed_innermost/test9 0.146 0.155 0.196 0.209 0.293
Mixed_innermost/thiemann26i 0.198 0.22 60.0 60.0 1.22
Mixed_innermost/thiemann28i 0.204 0.196 60.0 60.0 1.215
Mixed_innermost/toyama 0.151 0.142 0.173 0.168 0.151
Mixed_innermost/tricky1 0.176 0.157 0.284 0.279 0.257
problem t e c r *
Mixed_innermost/wiehe13 0.28 0.276 60.0 60.0 1.286
Mixed_innermost/wiehe14 0.362 0.363 60.0 60.0 1.36
Transformed_CSR_innermost_04/Ex14_AEGL02_C 0.508 0.496 60.0 60.0 1.497
Transformed_CSR_innermost_04/Ex14_AEGL02_GM 0.208 0.216 1.732 1.775 1.25
Transformed_CSR_innermost_04/Ex14_AEGL02_iGM 0.491 0.455 60.0 60.0 1.464
Transformed_CSR_innermost_04/Ex14_Luc06_C 0.34 0.392 60.0 60.0 1.404
Transformed_CSR_innermost_04/Ex14_Luc06_GM 0.204 0.194 60.0 60.0 1.209
Transformed_CSR_innermost_04/Ex14_Luc06_iGM 0.355 0.311 60.0 60.0 1.335
Transformed_CSR_innermost_04/Ex15_Luc06_C 0.223 0.242 0.799 0.517 1.056
Transformed_CSR_innermost_04/Ex15_Luc06_GM 0.157 0.152 0.167 0.193 0.22
Transformed_CSR_innermost_04/Ex15_Luc06_iGM 0.248 0.229 0.345 0.383 0.468
Transformed_CSR_innermost_04/Ex15_Luc98_C 0.996 1.18 60.0 60.0 2.184
Transformed_CSR_innermost_04/Ex15_Luc98_GM 0.269 0.294 60.0 60.0 1.298
Transformed_CSR_innermost_04/Ex15_Luc98_iGM 1.224 1.552 60.0 60.0 2.5
Transformed_CSR_innermost_04/Ex16_Luc06_C 0.22 0.213 16.631 35.967 1.23
Transformed_CSR_innermost_04/Ex16_Luc06_GM 0.162 0.159 0.379 0.23 0.469
Transformed_CSR_innermost_04/Ex16_Luc06_iGM 0.227 0.199 0.927 0.408 0.938
Transformed_CSR_innermost_04/Ex18_Luc06_C 0.252 0.243 0.459 0.566 0.786
Transformed_CSR_innermost_04/Ex18_Luc06_GM 0.152 0.151 0.195 0.198 0.225
Transformed_CSR_innermost_04/Ex18_Luc06_L 0.139 0.148 0.143 0.143 0.147
Transformed_CSR_innermost_04/Ex18_Luc06_iGM 0.237 0.225 0.434 0.465 0.626
Transformed_CSR_innermost_04/Ex1_2_AEL03_C 2.589 3.051 60.0 60.0 3.984
Transformed_CSR_innermost_04/Ex1_2_AEL03_GM 0.271 0.39 60.0 60.0 1.4
Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM 1.717 1.582 60.0 60.0 2.45
Transformed_CSR_innermost_04/Ex1_2_Luc02c_C 0.361 0.379 16.922 17.076 1.371
problem t e c r *
Transformed_CSR_innermost_04/Ex1_2_Luc02c_GM 0.178 0.173 0.52 0.537 0.899
Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM 0.274 0.27 6.526 6.662 1.286
Transformed_CSR_innermost_04/Ex1_GL02a_C 0.758 0.824 60.0 60.0 1.825
Transformed_CSR_innermost_04/Ex1_GL02a_GM 0.224 0.224 60.0 60.0 1.246
Transformed_CSR_innermost_04/Ex1_GL02a_iGM 0.916 0.721 60.0 60.0 1.701
Transformed_CSR_innermost_04/Ex1_GM03_C 0.602 0.673 60.0 60.0 1.697
Transformed_CSR_innermost_04/Ex1_GM03_GM 0.206 0.235 60.0 60.0 1.23
Transformed_CSR_innermost_04/Ex1_GM03_iGM 0.553 0.51 60.0 60.0 1.51
Transformed_CSR_innermost_04/Ex1_GM99_C 0.232 0.217 60.0 60.0 1.24
Transformed_CSR_innermost_04/Ex1_GM99_GM 0.171 0.177 60.0 60.0 1.183
Transformed_CSR_innermost_04/Ex1_GM99_iGM 0.296 0.225 60.0 60.0 1.26
Transformed_CSR_innermost_04/Ex1_Luc02b_C 0.597 0.632 60.0 60.0 1.639
Transformed_CSR_innermost_04/Ex1_Luc02b_GM 0.197 0.206 21.726 23.312 1.216
Transformed_CSR_innermost_04/Ex1_Luc02b_iGM 0.476 0.446 60.0 60.0 1.451
Transformed_CSR_innermost_04/Ex1_Luc04b_C 0.693 0.668 60.0 60.0 1.699
Transformed_CSR_innermost_04/Ex1_Luc04b_GM 0.272 0.272 5.182 60.0 1.276
Transformed_CSR_innermost_04/Ex1_Luc04b_iGM 0.498 0.585 60.0 60.0 1.578
Transformed_CSR_innermost_04/Ex1_Zan97_C 0.212 0.198 0.641 0.5 1.019
Transformed_CSR_innermost_04/Ex1_Zan97_GM 0.155 0.164 0.18 0.172 0.239
Transformed_CSR_innermost_04/Ex1_Zan97_iGM 0.223 0.19 0.323 0.27 0.46
Transformed_CSR_innermost_04/Ex23_Luc06_C 0.316 0.344 0.901 0.917 1.335
Transformed_CSR_innermost_04/Ex23_Luc06_GM 0.165 0.16 0.169 0.18 0.199
Transformed_CSR_innermost_04/Ex23_Luc06_L 0.133 0.151 0.134 0.135 0.143
Transformed_CSR_innermost_04/Ex23_Luc06_iGM 0.276 0.248 0.549 0.56 0.787
Transformed_CSR_innermost_04/Ex24_GM04_C 0.279 0.269 60.0 60.0 1.291
problem t e c r *
Transformed_CSR_innermost_04/Ex24_GM04_GM 0.156 0.159 42.655 44.665 1.173
Transformed_CSR_innermost_04/Ex24_GM04_iGM 0.274 0.25 60.0 60.0 1.251
Transformed_CSR_innermost_04/Ex24_Luc06_C 0.214 0.23 60.0 60.0 1.268
Transformed_CSR_innermost_04/Ex24_Luc06_GM 0.164 0.161 0.786 0.817 1.138
Transformed_CSR_innermost_04/Ex24_Luc06_iGM 0.284 0.222 60.0 60.0 1.304
Transformed_CSR_innermost_04/Ex25_Luc06_C 0.493 0.468 1.458 1.33 0.956
Transformed_CSR_innermost_04/Ex25_Luc06_GM 0.16 0.257 0.256 0.377 0.362
Transformed_CSR_innermost_04/Ex25_Luc06_L 0.136 0.153 0.144 0.137 0.139
Transformed_CSR_innermost_04/Ex25_Luc06_iGM 0.392 0.268 0.96 0.87 1.289
Transformed_CSR_innermost_04/Ex26_Luc03b_C 1.397 1.527 60.0 60.0 2.54
Transformed_CSR_innermost_04/Ex26_Luc03b_GM 0.436 0.385 60.0 60.0 1.49
Transformed_CSR_innermost_04/Ex26_Luc03b_L 0.151 0.154 0.156 0.146 0.144
Transformed_CSR_innermost_04/Ex26_Luc03b_iGM 1.877 1.452 60.0 60.0 2.481
Transformed_CSR_innermost_04/Ex2_Luc02a_C 1.453 1.688 60.0 60.0 2.715
Transformed_CSR_innermost_04/Ex2_Luc02a_GM 0.242 0.253 60.0 60.0 1.276
Transformed_CSR_innermost_04/Ex2_Luc02a_L 0.177 0.187 0.265 0.289 0.41
Transformed_CSR_innermost_04/Ex2_Luc02a_iGM 1.19 1.45 60.0 60.0 2.376
Transformed_CSR_innermost_04/Ex2_Luc03b_C 0.888 0.955 60.0 60.0 1.977
Transformed_CSR_innermost_04/Ex2_Luc03b_GM 0.27 0.249 40.16 39.931 1.316
Transformed_CSR_innermost_04/Ex2_Luc03b_L 0.143 0.142 0.142 0.143 0.141
Transformed_CSR_innermost_04/Ex2_Luc03b_iGM 1.107 1.038 60.0 60.0 2.003
Transformed_CSR_innermost_04/Ex3_12_Luc96a_C 0.435 0.438 60.0 60.0 1.458
Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM 0.183 0.18 1.15 1.145 1.19
Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM 0.363 0.359 60.0 60.0 1.364
Transformed_CSR_innermost_04/Ex3_2_Luc97_C 0.705 0.759 60.0 60.0 1.78
problem t e c r *
Transformed_CSR_innermost_04/Ex3_2_Luc97_GM 0.204 0.212 60.0 60.0 1.233
Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM 0.694 0.631 60.0 60.0 1.613
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C 0.93 1.048 60.0 60.0 2.014
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_GM 0.308 0.342 60.0 60.0 1.341
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_L 0.146 0.148 0.158 0.149 0.143
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM 1.199 1.283 60.0 60.0 2.283
Transformed_CSR_innermost_04/Ex49_GM04_C 0.767 0.805 60.0 60.0 1.814
Transformed_CSR_innermost_04/Ex49_GM04_GM 0.375 0.365 60.0 60.0 1.409
Transformed_CSR_innermost_04/Ex49_GM04_iGM 1.164 0.966 60.0 60.0 2.008
Transformed_CSR_innermost_04/Ex4_4_Luc96b_C 0.274 0.272 0.911 0.938 1.284
Transformed_CSR_innermost_04/Ex4_4_Luc96b_GM 0.179 0.183 0.245 0.246 0.325
Transformed_CSR_innermost_04/Ex4_4_Luc96b_L 0.145 0.144 0.146 0.136 0.166
Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM 0.25 0.238 1.185 1.188 1.232
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_C 0.389 0.44 60.0 60.0 1.451
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_GM 0.196 0.208 0.643 0.343 0.853
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_L 0.142 0.146 0.151 0.148 0.139
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM 0.415 0.484 27.024 60.0 1.474
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_C 1.075 1.3 60.0 60.0 2.242
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_GM 0.285 0.325 60.0 60.0 1.328
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM 0.796 0.8 60.0 60.0 1.776
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_C 0.517 0.526 60.0 60.0 1.521
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM 0.167 0.187 1.166 1.175 1.194
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM 0.345 0.35 60.0 60.0 1.361
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_C 0.285 0.267 9.386 32.359 1.293
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM 0.178 0.164 0.251 0.244 0.343
problem t e c r *
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM 0.248 0.247 1.267 47.62 1.253
Transformed_CSR_innermost_04/Ex4_DLMMU04_C 2.845 3.017 60.0 60.0 4.045
Transformed_CSR_innermost_04/Ex4_DLMMU04_GM 0.786 0.902 60.0 60.0 1.85
Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM 2.929 2.83 60.0 60.0 3.749
Transformed_CSR_innermost_04/Ex4_Zan97_C 0.551 0.666 60.0 60.0 1.658
Transformed_CSR_innermost_04/Ex4_Zan97_GM 0.19 0.193 7.315 7.311 1.216
Transformed_CSR_innermost_04/Ex4_Zan97_iGM 0.458 0.465 60.0 60.0 1.466
Transformed_CSR_innermost_04/Ex5_7_Luc97_C 1.411 1.625 60.0 60.0 2.759
Transformed_CSR_innermost_04/Ex5_7_Luc97_GM 0.401 0.469 60.0 60.0 1.483
Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM 1.419 1.499 60.0 60.0 2.309
Transformed_CSR_innermost_04/Ex5_DLMMU04_C 1.61 1.946 60.0 60.0 2.939
Transformed_CSR_innermost_04/Ex5_DLMMU04_GM 0.23 0.263 60.0 60.0 1.291
Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM 1.004 0.918 60.0 60.0 1.866
Transformed_CSR_innermost_04/Ex5_Zan97_C 0.333 0.348 60.0 60.0 1.375
Transformed_CSR_innermost_04/Ex5_Zan97_GM 0.211 0.221 60.0 60.0 1.227
Transformed_CSR_innermost_04/Ex5_Zan97_iGM 0.291 0.262 60.0 60.0 1.283
Transformed_CSR_innermost_04/Ex6_15_AEL02_C 2.42 3.384 60.0 60.0 3.953
Transformed_CSR_innermost_04/Ex6_15_AEL02_GM 0.315 0.506 60.0 60.0 1.526
Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM 2.143 2.341 60.0 60.0 3.65
Transformed_CSR_innermost_04/Ex6_9_Luc02c_C 0.643 0.579 60.0 60.0 1.582
Transformed_CSR_innermost_04/Ex6_9_Luc02c_GM 0.186 0.174 1.646 1.644 1.195
Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM 0.403 0.414 60.0 60.0 1.447
Transformed_CSR_innermost_04/Ex6_GM04_C 0.209 0.199 0.383 0.546 0.771
Transformed_CSR_innermost_04/Ex6_GM04_GM 0.15 0.144 0.167 0.146 0.165
Transformed_CSR_innermost_04/Ex6_GM04_iGM 0.22 0.191 0.255 0.231 0.296
problem t e c r *
Transformed_CSR_innermost_04/Ex6_Luc98_C 0.586 0.656 60.0 60.0 1.672
Transformed_CSR_innermost_04/Ex6_Luc98_GM 0.204 0.233 5.279 5.395 1.234
Transformed_CSR_innermost_04/Ex6_Luc98_L 0.148 0.141 0.141 0.142 0.143
Transformed_CSR_innermost_04/Ex6_Luc98_iGM 0.479 0.464 60.0 60.0 1.475
Transformed_CSR_innermost_04/Ex7_BLR02_C 0.783 0.871 60.0 60.0 1.889
Transformed_CSR_innermost_04/Ex7_BLR02_GM 0.213 0.237 60.0 60.0 1.252
Transformed_CSR_innermost_04/Ex7_BLR02_iGM 0.508 0.643 60.0 60.0 1.63
Transformed_CSR_innermost_04/Ex8_BLR02_C 0.799 1.091 60.0 60.0 2.017
Transformed_CSR_innermost_04/Ex8_BLR02_GM 0.206 0.245 53.814 52.253 1.251
Transformed_CSR_innermost_04/Ex8_BLR02_iGM 0.573 0.612 60.0 60.0 1.632
Transformed_CSR_innermost_04/Ex9_BLR02_C 0.928 1.117 60.0 60.0 2.09
Transformed_CSR_innermost_04/Ex9_BLR02_GM 0.392 0.416 60.0 60.0 1.419
Transformed_CSR_innermost_04/Ex9_BLR02_L 0.156 0.164 0.158 0.153 0.148
Transformed_CSR_innermost_04/Ex9_BLR02_iGM 1.044 1.043 60.0 60.0 2.006
Transformed_CSR_innermost_04/Ex9_Luc04_C 0.247 0.249 60.0 60.0 1.263
Transformed_CSR_innermost_04/Ex9_Luc04_GM 0.158 0.16 60.0 60.0 1.19
Transformed_CSR_innermost_04/Ex9_Luc04_iGM 0.23 0.224 60.0 60.0 1.243
Transformed_CSR_innermost_04/Ex9_Luc06_C 0.23 0.226 60.0 60.0 1.243
Transformed_CSR_innermost_04/Ex9_Luc06_GM 0.177 0.172 37.533 2.179 1.177
Transformed_CSR_innermost_04/Ex9_Luc06_iGM 0.257 0.213 60.0 60.0 1.24
Transformed_CSR_innermost_04/ExAppendixB_AEL03_C 3.01 3.904 60.0 60.0 4.696
Transformed_CSR_innermost_04/ExAppendixB_AEL03_GM 0.295 0.44 60.0 60.0 1.446
Transformed_CSR_innermost_04/ExAppendixB_AEL03_iGM 1.831 2.475 60.0 60.0 3.244
Transformed_CSR_innermost_04/ExConc_Zan97_C 0.275 0.264 0.54 0.603 0.429
Transformed_CSR_innermost_04/ExConc_Zan97_GM 0.174 0.164 0.165 0.169 0.205
problem t e c r *
Transformed_CSR_innermost_04/ExConc_Zan97_L 0.139 0.142 0.137 0.14 0.141
Transformed_CSR_innermost_04/ExConc_Zan97_iGM 0.256 0.249 0.503 0.464 0.722
Transformed_CSR_innermost_04/ExIntrod_GM01_C 0.849 0.83 60.0 60.0 1.832
Transformed_CSR_innermost_04/ExIntrod_GM01_GM 0.321 0.351 18.5 60.0 1.348
Transformed_CSR_innermost_04/ExIntrod_GM01_iGM 0.841 0.755 60.0 60.0 1.749
Transformed_CSR_innermost_04/ExIntrod_GM04_C 0.655 0.673 60.0 60.0 1.675
Transformed_CSR_innermost_04/ExIntrod_GM04_GM 0.261 0.252 5.573 6.673 1.285
Transformed_CSR_innermost_04/ExIntrod_GM04_iGM 0.692 0.572 60.0 60.0 1.568
Transformed_CSR_innermost_04/ExIntrod_GM99_C 1.407 1.618 60.0 60.0 2.551
Transformed_CSR_innermost_04/ExIntrod_GM99_GM 0.312 0.304 60.0 60.0 1.302
Transformed_CSR_innermost_04/ExIntrod_GM99_iGM 1.193 1.148 60.0 60.0 2.156
Transformed_CSR_innermost_04/ExIntrod_Zan97_C 0.822 1.009 60.0 60.0 1.996
Transformed_CSR_innermost_04/ExIntrod_Zan97_GM 0.23 0.261 60.0 60.0 1.268
Transformed_CSR_innermost_04/ExIntrod_Zan97_iGM 0.829 0.788 60.0 60.0 1.786
Transformed_CSR_innermost_04/ExProp7_Luc06_C 0.474 0.497 60.0 60.0 1.512
Transformed_CSR_innermost_04/ExProp7_Luc06_GM 0.233 0.265 1.449 0.603 1.161
Transformed_CSR_innermost_04/ExProp7_Luc06_L 0.149 0.149 0.145 0.169 0.165
Transformed_CSR_innermost_04/ExProp7_Luc06_iGM 0.427 0.41 29.978 60.0 1.437
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_C 1.74 2.023 60.0 60.0 2.996
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_GM 0.257 0.282 60.0 60.0 1.311
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_L 0.21 0.203 0.961 0.858 1.306
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM 1.816 1.846 60.0 60.0 2.76
Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_C 1.837 2.636 60.0 60.0 3.356
Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM 0.302 0.446 60.0 60.0 1.446
Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM 1.387 1.861 60.0 60.0 2.901
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.413 8.194 60.0 60.0 2.992
Transformed_CSR_innermost_04/LISTUTILITIES_complete_iGM 29.905 60.0 60.0 60.0 31.524
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 6.01 60.0 60.0 60.0 7.056
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 10.973 16.208 60.0 60.0 11.963
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_GM 0.582 1.477 60.0 60.0 2.102
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_iGM 7.11 11.795 60.0 60.0 8.657
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_C 43.775 60.0 60.0 60.0 44.497
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_GM 1.039 5.813 60.0 60.0 2.527
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM 18.901 51.856 60.0 60.0 21.253
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_C 2.85 3.382 60.0 60.0 4.238
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_GM 0.318 0.495 60.0 60.0 1.506
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM 1.869 2.687 60.0 60.0 3.324
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_C 12.329 19.822 60.0 60.0 13.78
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_GM 0.535 1.609 60.0 60.0 2.073
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM 7.549 13.091 60.0 60.0 9.11
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_C 8.139 10.84 60.0 60.0 9.833
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_GM 2.316 2.843 60.0 60.0 3.545
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM 8.724 10.257 60.0 60.0 9.969
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_C 24.584 33.431 60.0 60.0 24.904
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_GM 4.417 5.367 60.0 60.0 5.798
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM 33.698 36.678 60.0 60.0 35.214
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C 1.203 1.329 60.0 60.0 2.346
problem t e c r *
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_GM 0.515 0.589 60.0 60.0 1.575
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM 1.423 1.2 60.0 60.0 2.192
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_C 3.376 3.967 60.0 60.0 4.767
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_GM 0.864 0.848 60.0 60.0 1.939
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_iGM 3.603 3.737 60.0 60.0 4.858
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_C 0.522 0.518 60.0 60.0 1.536
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_GM 0.207 0.222 13.407 60.0 1.239
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_iGM 0.565 0.541 60.0 60.0 1.548
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_C 0.672 0.748 60.0 60.0 1.731
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_GM 0.236 0.241 60.0 60.0 1.262
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM 0.765 0.61 60.0 60.0 1.626
Transformed_CSR_innermost_04/MYNAT_complete_C 5.355 6.955 60.0 60.0 7.014
Transformed_CSR_innermost_04/MYNAT_complete_GM 0.395 0.655 60.0 60.0 1.628
Transformed_CSR_innermost_04/MYNAT_complete_iGM 3.132 5.089 60.0 60.0 4.651
Transformed_CSR_innermost_04/MYNAT_complete_noand_C 20.63 34.208 60.0 60.0 23.058
Transformed_CSR_innermost_04/MYNAT_complete_noand_GM 0.773 2.312 60.0 60.0 2.271
Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM 12.346 26.614 60.0 60.0 12.732
Transformed_CSR_innermost_04/MYNAT_nokinds_C 1.541 1.838 60.0 60.0 2.743
Transformed_CSR_innermost_04/MYNAT_nokinds_GM 0.272 0.312 60.0 60.0 1.324
Transformed_CSR_innermost_04/MYNAT_nokinds_iGM 1.091 1.398 60.0 60.0 2.338
Transformed_CSR_innermost_04/MYNAT_nokinds_noand_C 3.144 4.648 60.0 60.0 4.558
Transformed_CSR_innermost_04/MYNAT_nokinds_noand_GM 0.341 0.503 60.0 60.0 1.479
Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM 2.164 3.185 60.0 60.0 3.632
Transformed_CSR_innermost_04/MYNAT_nosorts_C 0.618 0.677 60.0 60.0 1.671
Transformed_CSR_innermost_04/MYNAT_nosorts_GM 0.202 0.196 60.0 60.0 1.21
problem t e c r *
Transformed_CSR_innermost_04/MYNAT_nosorts_iGM 0.429 0.391 60.0 60.0 1.377
Transformed_CSR_innermost_04/MYNAT_nosorts_noand_C 1.237 1.355 60.0 60.0 2.415
Transformed_CSR_innermost_04/MYNAT_nosorts_noand_GM 0.222 0.254 60.0 60.0 1.285
Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM 0.799 0.895 60.0 60.0 1.864
Transformed_CSR_innermost_04/OvConsOS_complete_C 15.498 23.473 60.0 60.0 18.027
Transformed_CSR_innermost_04/OvConsOS_complete_GM 4.572 5.011 60.0 60.0 6.073
Transformed_CSR_innermost_04/OvConsOS_complete_iGM 21.694 21.452 60.0 60.0 22.606
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.09 16.268 60.0 60.0 11.809
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.602 2.858 60.0 60.0 3.663
Transformed_CSR_innermost_04/OvConsOS_nokinds_GM 0.843 0.895 60.0 60.0 1.945
Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM 3.601 3.151 60.0 60.0 4.234
Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_C 8.712 10.525 60.0 60.0 9.712
Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_GM 2.023 2.157 60.0 60.0 3.33
Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM 10.569 13.045 60.0 60.0 12.047
Transformed_CSR_innermost_04/OvConsOS_nosorts_C 0.796 0.837 60.0 60.0 1.859
Transformed_CSR_innermost_04/OvConsOS_nosorts_GM 0.307 0.3 60.0 60.0 1.327
Transformed_CSR_innermost_04/OvConsOS_nosorts_iGM 0.841 0.821 60.0 60.0 1.864
Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_C 1.954 2.341 60.0 60.0 3.258
Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_GM 0.56 0.522 60.0 60.0 1.636
Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM 2.077 2.599 60.0 60.0 3.542
Transformed_CSR_innermost_04/PALINDROME_complete_C 10.686 13.496 60.0 60.0 12.752
Transformed_CSR_innermost_04/PALINDROME_complete_GM 2.551 2.752 60.0 60.0 4.012
Transformed_CSR_innermost_04/PALINDROME_complete_iGM 17.574 15.685 60.0 60.0 19.752
problem t e c r *
Transformed_CSR_innermost_04/PALINDROME_complete_noand_C 35.405 53.36 60.0 60.0 36.962
Transformed_CSR_innermost_04/PALINDROME_complete_noand_GM 7.217 9.927 60.0 60.0 8.469
Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM 55.479 60.0 60.0 60.0 56.938
Transformed_CSR_innermost_04/PALINDROME_nokinds_C 0.903 1.03 60.0 60.0 2.031
Transformed_CSR_innermost_04/PALINDROME_nokinds_GM 0.421 0.377 60.0 60.0 1.45
Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM 2.097 1.299 60.0 60.0 2.316
Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_C 4.779 5.906 60.0 60.0 6.404
Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_GM 0.887 1.195 60.0 60.0 2.107
Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_iGM 7.254 6.072 60.0 60.0 9.002
Transformed_CSR_innermost_04/PALINDROME_nosorts_C 0.457 0.497 60.0 60.0 1.538
Transformed_CSR_innermost_04/PALINDROME_nosorts_GM 0.244 0.256 30.849 60.0 1.269
Transformed_CSR_innermost_04/PALINDROME_nosorts_iGM 0.405 0.375 60.0 60.0 1.378
Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_C 0.545 0.667 60.0 60.0 1.61
Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_GM 0.19 0.258 27.491 60.0 1.234
Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM 0.536 0.473 60.0 60.0 1.532
Transformed_CSR_innermost_04/PEANO_complete_C 3.182 3.448 60.0 60.0 4.486
Transformed_CSR_innermost_04/PEANO_complete_GM 1.134 1.335 60.0 60.0 2.214
Transformed_CSR_innermost_04/PEANO_complete_iGM 4.196 4.087 60.0 60.0 5.246
Transformed_CSR_innermost_04/PEANO_complete_noand_C 9.959 11.268 60.0 60.0 12.247
Transformed_CSR_innermost_04/PEANO_complete_noand_GM 1.794 2.634 60.0 60.0 3.066
Transformed_CSR_innermost_04/PEANO_complete_noand_iGM 12.555 14.35 60.0 60.0 14.712
Transformed_CSR_innermost_04/PEANO_nokinds_C 0.985 1.123 60.0 60.0 2.135
Transformed_CSR_innermost_04/PEANO_nokinds_GM 0.497 0.511 60.0 60.0 1.534
Transformed_CSR_innermost_04/PEANO_nokinds_iGM 1.069 1.177 60.0 60.0 2.196
Transformed_CSR_innermost_04/PEANO_nokinds_noand_C 1.645 1.978 60.0 60.0 3.017
problem t e c r *
Transformed_CSR_innermost_04/PEANO_nokinds_noand_GM 0.395 0.628 60.0 60.0 1.442
Transformed_CSR_innermost_04/PEANO_nokinds_noand_iGM 2.003 1.999 60.0 60.0 3.027
Transformed_CSR_innermost_04/PEANO_nosorts_C 0.421 0.428 60.0 60.0 1.457
Transformed_CSR_innermost_04/PEANO_nosorts_GM 0.179 0.181 1.637 0.939 1.196
Transformed_CSR_innermost_04/PEANO_nosorts_iGM 0.488 0.478 60.0 60.0 1.513
Transformed_CSR_innermost_04/PEANO_nosorts_noand_C 0.595 0.877 60.0 60.0 1.903
Transformed_CSR_innermost_04/PEANO_nosorts_noand_GM 0.448 0.458 60.0 60.0 1.491
Transformed_CSR_innermost_04/PEANO_nosorts_noand_iGM 0.867 0.835 60.0 60.0 1.586
Yes No Maybe Timeout