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
 
TRS/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
TRS/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
TRS/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
TRS/aprove08/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
TRS/aprove08/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
TRS/aprove08/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
TRS/AProVE/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
TRS/Cime/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
TRS/Cime/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
TRS/Cime/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
TRS/currying/D33/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
TRS/currying/D33/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
TRS/currying/D33/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
TRS/D33/01 0.0 0.0 0.001 0.002 0.003 0.003 0.004 0.005 0.006 0.006 0.007 0.008
TRS/D33/02 0.0 0.001 0.002 0.003 0.004 0.005 0.006 0.005 0.005 0.006 0.007 0.007
TRS/D33/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
TRS/higher-order/AProVE_HO/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
TRS/higher-order/AProVE_HO/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
TRS/higher-order/Bird/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
TRS/higher-order/Bird/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
TRS/higher-order/Kusakari/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
TRS/HM/t006 60.0 60.0 60.0 60.0 60.0 0.007 60.0 60.0 60.0 60.0 60.0 0.008
TRS/nontermin/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
TRS/nontermin/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
TRS/nontermin/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
explicit implicit explicit rfc implicit rfc
problem t r rm t r rm t r rm t r rm
 
TRS/nontermin/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
TRS/nontermin/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
TRS/nontermin/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
TRS/nontermin/cariboo/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
TRS/nontermin/CSR/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
TRS/nontermin/Rubio-inn/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
TRS/nontermin/Rubio-inn/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
TRS/Rubio/koen 60.0 60.0 60.0 0.66 0.093 0.094 60.0 60.0 60.0 0.66 0.095 0.094
TRS/SchneiderKamp/trs/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
TRS/SchneiderKamp/trs/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
TRS/SchneiderKamp/trs/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
TRS/SchneiderKamp/trs/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
TRS/SchneiderKamp/trs/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
TRS/SchneiderKamp/trs/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
TRS/SchneiderKamp/trs/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
TRS/SchneiderKamp/trs/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
TRS/SchneiderKamp/trs/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
TRS/SchneiderKamp/trs/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
TRS/SchneiderKamp/trs/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
TRS/SchneiderKamp/trs/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
TRS/SchneiderKamp/trs/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
TRS/secret05/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
TRS/secret05/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
TRS/secret05/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
TRS/secret05/teparla1 60.0 60.0 60.0 60.0 60.0 60.0 0.008 0.007 0.008 0.008 0.009 0.009
explicit implicit explicit rfc implicit rfc
problem t r rm t r rm t r rm t r rm
 
TRS/secret05/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
TRS/secret05/teparla3 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/aprove/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
TRS/secret06/aprove/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
TRS/secret06/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
TRS/secret06/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
TRS/secret06/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
TRS/secret06/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
TRS/secret07/TTT2/1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 0.033 0.035 0.035
TRS/secret07/TTT2/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
TRS/secret07/TTT2/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
TRS/secret07/TTT2/4 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 2.192 2.182 2.184
TRS/secret07/TTT2/5 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 6.727 6.724
TRS/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
TRS/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
TRS/SK90/2.06 60.0 60.0 60.0 60.0 60.0 60.0 0.001 0.001 0.004 0.004 0.005 0.006
TRS/SK90/2.32 0.008 0.01 0.01 0.011 0.013 0.013 0.014 0.015 0.016 0.016 0.017 0.017
TRS/SK90/2.33 60.0 60.0 60.0 60.0 60.0 60.0 0.006 0.006 0.007 0.007 0.009 0.009
TRS/SK90/2.34 60.0 60.0 60.0 60.0 60.0 60.0 0.006 0.007 0.008 0.008 0.009 0.011
TRS/SK90/2.55 60.0 60.0 0.0 60.0 60.0 0.0 0.0 0.002 0.003 0.004 0.003 0.005
TRS/SK90/2.58 60.0 60.0 60.0 0.044 0.046 0.046 60.0 60.0 60.0 0.047 0.048 0.048
TRS/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
TRS/SK90/2.61 0.002 0.002 0.004 0.005 0.005 0.005 0.006 0.007 0.007 0.008 0.008 0.008
TRS/SK90/4.01 0.002 0.003 0.003 0.004 0.004 0.005 0.005 0.006 0.006 0.008 0.007 0.008
TRS/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
explicit implicit explicit rfc implicit rfc
problem t r rm t r rm t r rm t r rm
 
TRS/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
TRS/SK90/4.04 60.0 60.0 60.0 60.0 60.0 60.0 0.0 0.0 0.0 0.001 0.003 0.003
TRS/SK90/4.07 60.0 60.0 60.0 60.0 60.0 60.0 0.0 0.0 0.0 0.002 0.003 0.003
TRS/SK90/4.08 60.0 60.0 60.0 60.0 60.0 60.0 0.0 0.0 0.0 0.001 0.003 0.004
TRS/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
TRS/SK90/4.15 60.0 60.0 60.0 60.0 60.0 60.0 0.003 0.004 0.004 0.005 0.005 0.006
TRS/SK90/4.19 0.0 0.0 0.0 0.0 0.002 0.003 0.003 0.004 0.004 0.005 0.005 0.006
TRS/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
TRS/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
TRS/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
TRS/SK90/4.25 60.0 60.0 60.0 60.0 60.0 60.0 0.003 0.004 0.005 0.005 0.006 0.006
TRS/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
TRS/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
TRS/SK90/4.45 0.006 0.006 0.007 0.007 0.007 0.008 0.0 0.0 0.0 0.0 0.0 0.002
TRS/SK90/4.48 60.0 60.0 60.0 60.0 60.0 60.0 0.0 0.004 0.005 0.006 0.007 0.008
TRS/SK90/4.51 0.0 0.0 0.0 0.004 0.004 0.004 0.004 0.005 0.006 0.007 0.007 0.007
TRS/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
TRS/SK90/4.55 60.0 60.0 60.0 0.009 0.009 0.009 0.006 0.008 0.008 0.008 0.008 0.0
TRS/Thiemann/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
TRS/Thiemann/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
TRS/Thiemann/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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
explicit implicit explicit rfc implicit rfc
problem t r rm t r rm t r rm t r rm
 
TRS/TRCSR/Ex14_Luc06_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
TRS/TRCSR/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
TRS/TRCSR/Ex16_Luc06_FR 60.0 60.0 60.0 0.006 0.006 0.007 0.006 0.007 0.006 0.007 0.008 0.008
TRS/TRCSR/Ex16_Luc06_GM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 0.227 0.227 0.226
TRS/TRCSR/Ex16_Luc06_iGM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 0.201 0.256 0.256
TRS/TRCSR/Ex16_Luc06_Z 60.0 60.0 60.0 0.006 0.007 0.007 0.007 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/Ex9_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
TRS/TRCSR/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
TRS/TRCSR/Ex9_Luc06_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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
explicit implicit explicit rfc implicit rfc
problem t r rm t r rm t r rm t r rm
 
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/PALINDROME_nosorts_FR 60.0 60.0 60.0 60.0 60.0 60.0 0.008 0.0 0.009 0.0 0.0 0.0
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/PALINDROME_nosorts-noand_FR 60.0 60.0 60.0 60.0 60.0 60.0 0.0 0.0 0.0 0.003 0.004 0.005
TRS/TRCSR/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
TRS/TRCSR/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
TRS/TRCSR/PALINDROME_nosorts-noand_L 60.0 60.0 60.0 60.0 60.0 60.0 0.0 0.0 0.0 0.003 0.004 0.003
TRS/TRCSR/PALINDROME_nosorts-noand_Z 60.0 60.0 60.0 60.0 60.0 60.0 0.0 0.0 0.003 0.003 0.004 0.006
TRS/TRCSR/PALINDROME_nosorts_Z 60.0 60.0 60.0 60.0 60.0 60.0 0.0 0.0 0.003 0.003 0.004 0.005
TRS/various/03 60.0 60.0 60.0 0.189 0.104 0.106 60.0 60.0 60.0 0.193 0.107 0.11
TRS/various/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
TRS/various/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
explicit implicit explicit rfc implicit rfc
problem t r rm t r rm t r rm t r rm
 
TRS/various/06 0.002 0.003 0.004 0.006 0.006 0.006 0.007 0.008 0.01 0.011 0.012 0.011
TRS/various/07 0.003 0.004 0.005 0.005 0.006 0.006 0.006 0.007 0.007 0.008 0.008 0.0
TRS/various/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
TRS/various/09 0.249 0.251 0.253 0.092 0.095 0.096 0.255 0.255 0.257 0.096 0.097 0.099
TRS/various/18 60.0 60.0 60.0 60.0 60.0 60.0 0.007 0.007 0.008 0.008 0.009 0.01
TRS/various/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
TRS/various/23 60.0 60.0 60.0 60.0 60.0 60.0 0.008 0.008 0.0 0.0 0.0 0.002
TRS/various/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