DI Martin Korp  
Home Teaching Research
Research
Publications Talks TTT2 TTTbox

Results for TRSs

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