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.164 0.165 0.165 0.172 0.164 0.167 0.164 0.18 0.18 0.167 0.163 0.167
Der95/02 0.16 0.148 0.147 0.15 0.156 0.151 0.149 0.165 0.156 0.151 0.162 0.153
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.181 60.0 60.0 60.0 60.0 60.0 0.201
Rubio_04/koen 60.0 60.0 60.0 0.808 0.382 0.357 60.0 60.0 60.0 0.81 0.401 0.366
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.204 0.197 0.201 0.191 0.202 0.199
SK90/2.32 0.194 0.203 0.192 0.192 0.215 0.194 0.198 0.207 0.208 0.203 0.196 0.206
SK90/2.33 60.0 60.0 60.0 60.0 60.0 60.0 0.206 0.204 0.2 0.203 0.2 0.197
SK90/2.34 60.0 60.0 60.0 60.0 60.0 60.0 0.187 0.182 0.183 0.188 0.199 0.19
SK90/2.55 60.0 60.0 60.0 60.0 60.0 60.0 0.166 0.165 0.163 0.165 0.171 0.167
SK90/2.58 60.0 60.0 60.0 0.251 0.24 0.241 60.0 60.0 60.0 0.263 0.241 0.241
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 60.0 60.0 60.0 54.452 0.877 0.892 0.879 0.484 0.485 0.654
SK90/4.01 0.365 0.38 0.401 0.395 0.368 0.401 0.347 0.348 0.336 0.34 0.342 0.358
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.163 0.164 0.166 0.194 0.174 0.198
SK90/4.07 60.0 60.0 60.0 60.0 60.0 60.0 0.189 0.187 0.188 0.235 0.192 0.186
SK90/4.08 60.0 60.0 60.0 60.0 60.0 60.0 0.154 0.158 0.158 0.153 0.167 0.164
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.98 1.036 1.056 1.08 0.976 1.052
SK90/4.19 60.0 60.0 0.147 60.0 60.0 0.145 60.0 60.0 0.148 60.0 60.0 0.148
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.189 0.182 0.182 0.187 0.198 0.199
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.163 60.0 60.0 0.151 0.16 0.161 0.17 0.152 0.154 0.156
SK90/4.48 60.0 60.0 60.0 60.0 60.0 60.0 0.18 0.181 0.191 0.182 0.188 0.199
SK90/4.51 60.0 60.0 60.0 7.442 60.0 60.0 60.0 60.0 60.0 0.202 0.197 0.2
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.173 0.2 0.187 0.162 0.165 0.154 0.155 0.155 0.166
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.165 0.164 0.171 0.172 0.163 0.167
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 43.455 42.671 42.511
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 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
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.32 0.349 0.348
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.361 4.365 4.371
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.199 0.213 0.208 0.178 0.177 0.179 0.177 0.175 0.176
Transformed_CSR_04/Ex16_Luc06_GM 60.0 60.0 60.0 60.0 60.0 60.0 0.214 0.215 0.214 0.236 0.221 0.214
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.4 0.385 0.384
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.646 0.627 0.625
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.238 0.221 0.221 0.237 0.237 0.248
Transformed_CSR_04/ PALINDROME_nosorts-noand_L 60.0 60.0 60.0 60.0 60.0 60.0 0.213 0.214 0.214 0.246 0.216 0.217
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.195 0.213 0.186 0.203 0.188 0.189
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.876 0.865 0.881 60.0 60.0 60.0 0.844 0.845 0.902
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.183 0.167 0.183 0.172 0.175 0.174 0.184 0.176 0.177 0.181 0.189 0.184
Various_04/07 0.163 0.145 0.148 0.145 0.147 0.151 0.15 0.153 0.16 0.153 0.148 0.165
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 1.034 1.052 1.036 0.515 0.498 0.485 1.016 1.084 1.02 0.468 0.468 0.47
Various_04/18 60.0 60.0 60.0 60.0 60.0 60.0 0.202 0.195 0.21 0.189 0.189 0.188
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.248 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