DI Martin Korp  
Home Teaching Research
Research
Publications Talks TTT2 TTTbox

Results for Non-Right-Linear TRSs

problem explicit implicit
secret2006/aprove/divExp 60.0 60.0
secret2006/aprove/times 60.0 60.0
secret2006/cime1 60.0 60.0
secret2006/tpa01 60.0 60.0
secret2006/tpa03 60.0 60.0
TRS/AG01/#3.29 60.0 60.0
TRS/AG01/#3.53a 60.0 60.0
TRS/AG01/#3.54 60.0 60.0
TRS/Cime/boolean_rings 60.0 60.0
TRS/Cime/maude2 60.0 60.0
TRS/Cime/mucrl1 60.0 60.0
TRS/currying/D33/01 60.0 60.0
TRS/currying/D33/02 60.0 60.0
TRS/currying/D33/17 60.0 60.0
TRS/higher-order/AProVE_HO/nonTermF 60.0 60.0
TRS/higher-order/AProVE_HO/TypeEx1 60.0 60.0
TRS/higher-order/Bird/BTreeMember 60.0 60.0
TRS/higher-order/Bird/Hamming 60.0 60.0
TRS/higher-order/Kusakari/Ex6_11 60.0 60.0
TRS/HM/t006 60.0 0.01
TRS/nontermin/AG01/#4.13 60.0 60.0
TRS/nontermin/AG01/#4.19 60.0 60.0
TRS/nontermin/AG01/#4.25 60.0 60.0
TRS/nontermin/AG01/#4.3 60.0 60.0
TRS/nontermin/AG01/#4.35 60.0 60.0
problem explicit implicit
TRS/nontermin/AG01/#4.4 60.0 60.0
TRS/nontermin/cariboo/ex6 60.0 60.0
TRS/nontermin/CSR/Ex24_GM04 60.0 60.0
TRS/nontermin/Rubio-inn/test10 60.0 60.0
TRS/Rubio/koen 60.0 0.234
TRS/secret05/teparla2 60.0 60.0
TRS/secret05/cime3 60.0 60.0
TRS/secret05/cime5 60.0 60.0
TRS/secret05/aprove4 60.0 60.0
TRS/SK90/2.05 60.0 60.0
TRS/SK90/2.32 13.339 2.76
TRS/SK90/2.58 60.0 0.03
TRS/SK90/2.59 60.0 60.0
TRS/SK90/4.02 60.0 60.0
TRS/SK90/4.03 60.0 60.0
TRS/SK90/4.09 60.0 60.0
TRS/SK90/4.19 0.003 0.004
TRS/SK90/4.20 60.0 60.0
TRS/SK90/4.21 60.0 60.0
TRS/SK90/4.23 60.0 60.0
TRS/SK90/4.28 60.0 60.0
TRS/SK90/4.39 60.0 60.0
TRS/SK90/4.53 60.0 60.0
TRS/Thiemann/modulo 60.0 60.0
TRS/Thiemann/nonterm 60.0 60.0
problem explicit implicit
TRS/Thiemann/quot 60.0 60.0
TRS/TRCSR/Ex24_GM04_C 60.0 60.0
TRS/various/03 60.0 1.049
TRS/various/04 60.0 60.0
TRS/various/05 60.0 60.0
TRS/various/06 0.011 0.009
TRS/various/08 60.0 60.0
TRS/various/09 0.331 0.3
TRS/various/26 60.0 60.0
Yes No Maybe Timeout