DI Martin Korp  
Home Teaching Research
Research
Publications Talks TTT2 TTTbox

Results for Right-Linear TRSs

problem explicit implicit explicit rfc implicit rfc
secret2006/tpa02 60.0 60.0 60.0 60.0
TRS/AProVE/LPAR_intlist 60.0 60.0 60.0 60.0
TRS/D33/01 0.003 0.003 0.004 0.004
TRS/D33/02 0.004 0.003 0.003 0.004
TRS/D33/17 60.0 60.0 60.0 60.0
TRS/nontermin/Rubio-inn/gkg 60.0 60.0 60.0 60.0
TRS/secret05/teparla1 60.0 60.0 0.008 0.008
TRS/secret05/teparla3 60.0 60.0 60.0 60.0
TRS/SK90/2.01 60.0 60.0 60.0 60.0
TRS/SK90/2.06 60.0 60.0 0.01 0.01
TRS/SK90/2.33 60.0 60.0 0.007 0.007
TRS/SK90/2.34 60.0 60.0 0.012 0.011
TRS/SK90/2.55 0.004 0.004 0.004 0.004
TRS/SK90/2.61 0.004 0.004 0.004 0.005
TRS/SK90/4.01 0.003 0.003 0.004 0.003
TRS/SK90/4.04 60.0 60.0 0.005 0.005
TRS/SK90/4.07 60.0 60.0 0.004 0.004
TRS/SK90/4.08 60.0 60.0 0.007 0.007
TRS/SK90/4.15 60.0 60.0 0.006 0.006
TRS/SK90/4.25 60.0 60.0 0.006 0.005
TRS/SK90/4.45 0.003 0.003 0.003 0.003
TRS/SK90/4.48 60.0 60.0 0.014 0.014
TRS/SK90/4.51 0.005 0.005 0.004 0.004
TRS/SK90/4.55 60.0 0.008 0.004 0.004
TRS/various/07 0.003 0.004 0.003 0.003
problem explicit implicit explicit rfc implicit rfc
TRS/various/18 60.0 60.0 0.01 0.01
TRS/various/19 60.0 60.0 60.0 60.0
TRS/various/23 60.0 60.0 0.005 0.005
Yes No Maybe Timeout