DI Martin Korp  
Home Teaching Research
Research
Publications Talks TTT2 TTTbox

Results for Non-Left-Linear TRSs

explicit implicit explicit rfc implicit rfc
problem t r rm t r rm t r rm t r rm
 
AG01/#3.29 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AG01/#3.53a 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AG01/#3.54 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_04/LPAR_intlist 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_06/modulo 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_06/nonterm 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_06/quot 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/kabasci02 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/kabasci03 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/wiehe01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/wiehe02 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/wiehe03 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/wiehe05 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/wiehe06 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/wiehe07 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/wiehe08 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/wiehe09 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/wiehe11 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_07/wiehe12 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_08/id_inc 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_08/round 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
AProVE_08/round_nonterm 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_05/BTreeMember 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_05/Ex6_11 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_05/Hamming 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
explicit implicit explicit rfc implicit rfc
problem t r rm t r rm t r rm t r rm
 
Applicative_05/TypeEx1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_05/nonTermF 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_first_order_05/01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_first_order_05/02 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Applicative_first_order_05/17 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
CiME_04/boolean_rings 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
CiME_04/maude2 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
CiME_04/mucrl1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Der95/01 0.165 0.166 0.164 0.169 0.183 0.163 0.151 0.169 0.171 0.156 0.156 0.16
Der95/02 0.144 0.15 0.152 0.145 0.162 0.162 0.163 0.158 0.148 0.153 0.17 0.152
Der95/17 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
GTSSK07/cade04t 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
HirokawaMiddeldorp_04/t006 60.0 60.0 60.0 60.0 60.0 0.168 60.0 60.0 60.0 60.0 60.0 0.155
Rubio_04/koen 60.0 60.0 60.0 0.759 0.314 0.295 60.0 60.0 60.0 0.748 0.302 0.308
SK90/2.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
SK90/2.05 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
SK90/2.06 60.0 60.0 60.0 60.0 60.0 60.0 0.199 0.2 0.189 0.202 0.202 0.193
SK90/2.32 0.253 0.246 0.247 0.233 0.239 0.246 0.25 0.241 0.253 0.246 0.242 0.246
SK90/2.33 60.0 60.0 60.0 60.0 60.0 60.0 0.19 0.194 0.192 0.203 0.197 0.188
SK90/2.34 60.0 60.0 60.0 60.0 60.0 60.0 0.201 0.19 0.189 0.187 0.183 0.179
SK90/2.55 60.0 60.0 60.0 60.0 60.0 60.0 0.167 0.147 0.147 0.168 0.163 0.153
SK90/2.58 60.0 60.0 60.0 0.232 0.23 0.219 60.0 60.0 60.0 0.218 0.229 0.244
SK90/2.59 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
SK90/2.61 60.0 60.0 47.321 60.0 60.0 60.0 0.587 0.599 0.586 0.582 0.569 0.563
SK90/4.01 0.163 0.171 0.166 0.203 0.194 0.193 0.168 0.171 0.19 0.172 0.17 0.179
explicit implicit explicit rfc implicit rfc
problem t r rm t r rm t r rm t r rm
 
SK90/4.02 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
SK90/4.03 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
SK90/4.04 60.0 60.0 60.0 60.0 60.0 60.0 0.158 0.174 0.169 0.169 0.16 0.165
SK90/4.07 60.0 60.0 60.0 60.0 60.0 60.0 0.188 0.196 0.185 0.184 0.195 0.185
SK90/4.08 60.0 60.0 60.0 60.0 60.0 60.0 0.151 0.15 0.165 0.167 0.159 0.155
SK90/4.09 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
SK90/4.15 60.0 60.0 60.0 60.0 60.0 60.0 0.154 0.183 0.151 0.162 0.17 0.172
SK90/4.19 60.0 60.0 0.143 60.0 60.0 0.157 60.0 60.0 0.142 60.0 60.0 0.158
SK90/4.20 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
SK90/4.21 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
SK90/4.23 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
SK90/4.25 60.0 60.0 60.0 60.0 60.0 60.0 0.194 0.196 0.2 0.203 0.198 0.211
SK90/4.28 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
SK90/4.39 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
SK90/4.45 60.0 60.0 0.152 60.0 60.0 0.156 0.156 0.158 0.16 0.164 0.156 0.156
SK90/4.48 60.0 60.0 60.0 60.0 60.0 60.0 0.166 0.187 0.187 0.178 0.168 0.185
SK90/4.51 60.0 60.0 60.0 7.023 7.1 7.365 60.0 60.0 60.0 0.188 0.193 0.187
SK90/4.53 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
SK90/4.55 60.0 60.0 60.0 0.162 0.159 0.162 0.152 0.157 0.16 0.159 0.162 0.158
Secret_05_TRS/aprove4 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_05_TRS/cime3 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_05_TRS/cime5 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_05_TRS/teparla1 60.0 60.0 60.0 60.0 60.0 60.0 0.166 0.166 0.164 0.166 0.156 0.154
Secret_05_TRS/teparla2 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_05_TRS/teparla3 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 23.297 23.296 23.645
explicit implicit explicit rfc implicit rfc
problem t r rm t r rm t r rm t r rm
 
Secret_06_TRS/cime1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/divExp 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/times 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/tpa01 60.0 60.0 60.0 0.271 0.281 0.275 60.0 60.0 60.0 0.278 0.283 0.282
Secret_06_TRS/tpa02 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_06_TRS/tpa03 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_07_TRS/1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 0.343 0.371 0.368
Secret_07_TRS/2 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_07_TRS/3 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Secret_07_TRS/4 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 4.539 4.419 4.425
Secret_07_TRS/5 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_AG01/#4.13 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_AG01/#4.19 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_AG01/#4.25 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_AG01/#4.3 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_AG01/#4.35 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_AG01/#4.4 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_CSR_05/Ex24_GM04 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_mixed_05/ex6 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_mixed_05/gkg 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Strategy_removed_mixed_05/test10 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TCT_09/ma6 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TCT_09/ma7 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex14_Luc06_C 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex14_Luc06_FR 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
explicit implicit explicit rfc implicit rfc
problem t r rm t r rm t r rm t r rm
 
Transformed_CSR_04/Ex14_Luc06_GM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex14_Luc06_iGM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex16_Luc06_C 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex16_Luc06_FR 60.0 60.0 60.0 0.189 0.169 0.177 0.169 0.164 0.173 0.179 0.158 0.183
Transformed_CSR_04/Ex16_Luc06_GM 60.0 60.0 60.0 60.0 60.0 60.0 0.202 0.207 0.204 0.216 0.223 0.213
Transformed_CSR_04/Ex16_Luc06_iGM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 0.634 0.653 0.655
Transformed_CSR_04/Ex24_GM04_C 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex24_GM04_FR 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex24_GM04_GM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex24_GM04_Z 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex24_GM04_iGM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex9_Luc06_C 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex9_Luc06_FR 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/Ex9_Luc06_GM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 0.546 0.531 0.542
Transformed_CSR_04/Ex9_Luc06_iGM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_complete-noand_FR 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_complete-noand_Z 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_complete_C 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_complete_FR 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_complete_GM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_complete_Z 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_complete_iGM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_complete_noand_C 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_complete_noand_GM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_complete_noand_iGM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
explicit implicit explicit rfc implicit rfc
problem t r rm t r rm t r rm t r rm
 
Transformed_CSR_04/ PALINDROME_nokinds-noand_FR 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_nokinds-noand_Z 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_nokinds_C 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_nokinds_FR 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_nokinds_GM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_nokinds_Z 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_nokinds_iGM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_nokinds_noand_C 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_nokinds_noand_GM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_nokinds_noand_iGM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_nosorts-noand_FR 60.0 60.0 60.0 60.0 60.0 60.0 0.206 0.212 0.218 0.22 0.225 0.211
Transformed_CSR_04/ PALINDROME_nosorts-noand_L 60.0 60.0 60.0 60.0 60.0 60.0 0.234 0.219 0.204 0.214 0.243 0.208
Transformed_CSR_04/ PALINDROME_nosorts_C 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_nosorts_FR 60.0 60.0 60.0 60.0 60.0 60.0 0.184 0.189 0.181 0.192 0.176 0.197
Transformed_CSR_04/ PALINDROME_nosorts_GM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_nosorts_iGM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_nosorts_noand_C 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_nosorts_noand_GM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Transformed_CSR_04/ PALINDROME_nosorts_noand_iGM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Various_04/03 60.0 60.0 60.0 0.786 0.772 0.805 60.0 60.0 60.0 0.791 0.793 0.772
Various_04/04 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Various_04/05 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Various_04/06 0.162 0.188 0.18 0.177 0.182 0.173 0.188 0.167 0.166 0.166 0.17 0.192
Various_04/07 0.133 0.158 0.142 0.145 0.138 0.147 0.139 0.159 0.152 0.149 0.155 0.15
Various_04/08 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
explicit implicit explicit rfc implicit rfc
problem t r rm t r rm t r rm t r rm
 
Various_04/09 0.441 0.459 0.465 0.463 0.486 0.482 0.466 0.459 0.462 0.476 0.46 0.478
Various_04/18 60.0 60.0 60.0 60.0 60.0 60.0 0.196 0.19 0.196 0.192 0.202 0.201
Various_04/19 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Various_04/23 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 0.242 0.252
Various_04/26 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Yes No Maybe Timeout