TermComp 2020: TRS Context Sensitive 41493 Job info CSV Showing results.

benchmark muterm 5.18 default AProVE standard
Transformed_outermost_08/cariboo_ex1.xml 11767957 YES 0.03/0.09 YES 3.35/1.58
Transformed_outermost_08/cariboo_ex6.xml 11767958 YES 0.03/0.08 YES 3.44/1.60
Transformed_outermost_08/ex5.5.xml 11767959 YES 0.11/0.14 YES 3.47/1.64
Transformed_outermost_08/ex5.3.xml 11767960 YES 0.01/0.06 YES 3.16/1.45
Transformed_outermost_08/morse.xml 11767961 YES 2.08/2.10 YES 9.44/3.63
Transformed_outermost_08/ex5.4.xml 11767962 YES 0.61/0.64 YES 3.82/1.54
Transformed_outermost_08/f40.xml 11767963 YES 0.18/0.20 YES 11.85/5.38
Transformed_outermost_08/f20.xml 11767964 YES 4.97/5.18 YES 7.96/3.17
Transformed_outermost_08/ex5.7.xml 11767965 YES 0.07/0.08 YES 3.30/1.38
Transformed_outermost_08/cariboo_ex3.xml 11767966 YES 0.07/0.07 YES 3.58/1.49
Transformed_outermost_08/cariboo_ex4.xml 11767967 YES 0.03/0.04 YES 3.17/1.44
Transformed_outermost_08/f30.xml 11767968 YES 0.10/0.14 YES 9.40/3.29
Transformed_outermost_08/cariboo_ex5.xml 11767969 YES 0.04/0.09 YES 2.95/1.88
Transformed_outermost_08/cariboo_ex2.xml 11767970 YES 0.96/1.13 YES 4.24/1.70
Transformed_outermost_08/f4.xml 11767971 YES 0.13/0.22 YES 3.59/1.64
Transformed_outermost_08/ex5.6.xml 11767972 YES 0.03/0.08 YES 3.55/2.24
Transformed_outermost_08/ex5.8.xml 11767973 YES 0.01/0.02 YES 3.21/1.40
CSR_04/ExProp7_Luc06.xml 11767974 YES 0.09/0.11 YES 3.35/1.43
CSR_04/Ex1_2_AEL03.xml 11767975 YES 0.02/0.02 YES 3.70/1.49
CSR_04/Ex1_GL02a.xml 11767976 YES 0.03/0.04 YES 3.30/1.36
CSR_04/Ex3_12_Luc96a.xml 11767977 YES 0.01/0.01 YES 3.07/1.41
CSR_04/Ex1_GM03.xml 11767978 is YES 0.17/0.20 timeout (wallclock)
CSR_04/ExAppendixB_AEL03.xml 11767979 YES 0.02/0.03 YES 3.85/1.57
CSR_04/Ex5_7_Luc97.xml 11767980 u MAYBE 3.53/3.91 timeout (wallclock)
CSR_04/ExSec4_2_DLMMU04.xml 11767981 YES 0.02/0.06 YES 3.52/1.57
CSR_04/Ex6_GM04.xml 11767982 YES 0.01/0.06 YES 3.08/1.46
CSR_04/ExSec11_1_Luc02a.xml 11767983 YES 0.02/0.08 YES 3.44/1.54
CSR_04/Ex6_15_AEL02.xml 11767984 u MAYBE 1.22/1.70 timeout (wallclock)
CSR_04/Ex2_Luc02a.xml 11767985 YES 0.03/0.07 YES 3.39/1.54
CSR_04/Ex9_Luc04.xml 11767986 YES 0.19/0.20 YES 3.11/1.64
CSR_04/Ex4_7_77_Bor03.xml 11767987 YES 0.01/0.06 YES 2.94/1.48
CSR_04/Ex25_Luc06.xml 11767988 YES 0.01/0.02 YES 3.32/1.53
CSR_04/Ex1_2_Luc02c.xml 11767989 YES 0.01/0.05 YES 3.17/1.38
CSR_04/Ex4_4_Luc96b.xml 11767990 YES 0.01/0.03 YES 2.70/1.36
CSR_04/Ex24_Luc06.xml 11767991 YES 0.01/0.07 YES 3.20/1.56
CSR_04/Ex3_2_Luc97.xml 11767992 u MAYBE 8.67/9.20 timeout (wallclock)
CSR_04/Ex49_GM04.xml 11767993 YES 0.04/0.05 YES 3.74/1.57
CSR_04/Ex4_DLMMU04.xml 11767994 YES 2.16/2.17 YES 6.37/2.31
CSR_04/ExIntrod_GM99.xml 11767995 YES 0.01/0.07 YES 3.42/1.56
CSR_04/Ex1_Luc02b.xml 11767996 YES 0.01/0.04 YES 3.40/2.59
CSR_04/ExIntrod_GM01.xml 11767997 YES 0.01/0.05 YES 3.71/2.59
CSR_04/Ex23_Luc06.xml 11767998 YES 0.01/0.06 YES 2.91/1.39
CSR_04/Ex3_3_25_Bor03.xml 11767999 YES 0.01/0.02 YES 3.48/2.50
CSR_04/Ex6_9_Luc02c.xml 11768000 YES 0.01/0.03 YES 3.52/1.42
CSR_04/Ex4_7_56_Bor03.xml 11768001 YES 0.01/0.06 YES 3.51/1.57
CSR_04/Ex5_DLMMU04.xml 11768002 YES 0.01/0.07 YES 4.22/1.77
CSR_04/Ex9_Luc06.xml 11768003 YES 0.13/0.20 YES 3.49/1.82
CSR_04/Ex18_Luc06.xml 11768004 YES 0.01/0.09 YES 2.96/1.43
CSR_04/Ex14_AEGL02.xml 11768005 YES 0.03/0.08 YES 3.47/1.58
CSR_04/Ex9_BLR02.xml 11768006 YES 0.01/0.03 YES 3.22/1.51
CSR_04/Ex8_BLR02.xml 11768007 YES 0.01/0.02 YES 3.59/1.51
CSR_04/Ex15_Luc98.xml 11768008 YES 0.01/0.06 YES 3.25/1.49
CSR_04/Ex1_Luc04b.xml 11768009 YES 0.01/0.05 YES 3.47/1.51
CSR_04/Ex1_GM99.xml 11768010 YES 0.02/0.07 YES 3.16/1.44
CSR_04/Ex4_7_37_Bor03.xml 11768011 YES 0.07/0.11 YES 4.19/1.76
CSR_04/Ex6_Luc98.xml 11768012 YES 0.01/0.08 YES 3.49/1.62
CSR_04/Ex2_Luc03b.xml 11768013 YES 0.01/0.06 YES 3.09/1.45
CSR_04/ExConc_Zan97.xml 11768014 YES 0.02/0.03 YES 2.98/1.53
CSR_04/ExIntrod_Zan97.xml 11768015 is YES 5.10/5.20 timeout (wallclock)
CSR_04/ExIntrod_GM04.xml 11768016 YES 0.01/0.04 YES 3.61/1.63
CSR_04/Ex24_GM04.xml 11768017 YES 0.01/0.05 YES 3.01/1.99
CSR_04/Ex1_Zan97.xml 11768018 YES 0.03/0.08 YES 2.97/1.50
CSR_04/Ex15_Luc06.xml 11768019 YES 0.02/0.03 YES 2.97/1.36
CSR_04/Ex26_Luc03b.xml 11768020 YES 0.01/0.05 YES 3.39/1.53
CSR_04/Ex7_BLR02.xml 11768021 YES 0.01/0.06 YES 3.54/1.52
CSR_04/Ex14_Luc06.xml 11768022 YES 0.68/0.89 YES 4.11/1.85
CSR_04/Ex4_7_15_Bor03.xml 11768023 YES 0.03/0.09 YES 3.53/1.84
CSR_04/Ex5_Zan97.xml 11768024 YES 0.04/0.07 YES 3.16/1.45
CSR_04/Ex16_Luc06.xml 11768025 YES 0.01/0.01 YES 3.00/1.42
CSR_04/Ex4_Zan97.xml 11768026 YES 0.01/0.02 YES 3.25/1.58
Maude_06/LISTUTILITIES_nosorts.xml 11768027 YES 0.02/0.06 YES 3.60/1.59
Maude_06/LISTUTILITIES_complete-noand.xml 11768028 YES 8.71/9.01 YES 11.85/3.88
Maude_06/LISTUTILITIES_complete.xml 11768029 u timeout (wallclock) timeout (wallclock)
Maude_06/PALINDROME_nokinds.xml 11768030 YES 0.06/0.08 YES 3.63/1.46
Maude_06/MYNAT_complete-peanoSimple.xml 11768031 YES 0.28/4.26 YES 4.81/1.79
Maude_06/MYNAT_nokinds-noand.xml 11768032 YES 0.02/0.08 YES 4.07/2.26
Maude_06/MYNAT_nosorts-noand.xml 11768033 YES 0.01/0.06 YES 3.50/1.56
Maude_06/LengthOfFiniteLists_complete-noand.xml 11768034 YES 0.45/0.48 YES 9.04/3.60
Maude_06/emmes.xml 11768035 is YES 1.33/1.39 timeout (wallclock)
Maude_06/MYNAT_nosorts.xml 11768036 YES 0.01/0.06 YES 3.30/1.47
Maude_06/PALINDROME_nokinds-noand.xml 11768037 YES 0.02/0.08 YES 4.50/1.78
Maude_06/MYNAT_complete.xml 11768038 YES 14.11/14.54 YES 11.60/3.71
Maude_06/PALINDROME_nosorts-noand.xml 11768039 YES 0.01/0.07 YES 3.28/1.49
Maude_06/OvConsOS_complete.xml 11768040 u timeout (wallclock) timeout (wallclock)
Maude_06/OvConsOS_nokinds.xml 11768041 u timeout (wallclock) timeout (wallclock)
Maude_06/csrdiv.xml 11768042 YES 0.18/0.25 YES 16.61/5.15
Maude_06/MYNAT_complete-noand.xml 11768043 YES 0.41/0.45 YES 5.75/2.17
Maude_06/LengthOfFiniteLists_nosorts.xml 11768044 NO 0.21/0.28 NO 3.18/2.20
Maude_06/LengthOfFiniteLists_complete.xml 11768045 YES 23.99/24.63 YES 183.66/57.01
Maude_06/OvConsOS_nosorts-noand.xml 11768046 NO 1.30/1.51 NO 3.90/1.80
Maude_06/MYNAT_nosorts-noand-peanoSimple.xml 11768047 YES 0.01/0.06 YES 3.29/1.46
Maude_06/OvConsOS_nokinds-noand.xml 11768048 YES 0.19/0.22 YES 6.72/2.49
Maude_06/MYNAT_complete-noand-peanoSimple.xml 11768049 YES 0.10/0.11 YES 6.00/2.25
Maude_06/PALINDROME_complete.xml 11768050 YES 0.35/0.40 YES 6.24/2.21
Maude_06/LISTUTILITIES_nokinds.xml 11768051 u timeout (wallclock) timeout (wallclock)
Maude_06/PALINDROME_nosorts.xml 11768052 YES 0.01/0.09 YES 3.03/1.54
Maude_06/LengthOfFiniteLists_nokinds-noand.xml 11768053 YES 0.11/0.14 YES 6.16/2.41
Maude_06/LengthOfFiniteLists_nosorts-noand.xml 11768054 NO 0.68/0.83 NO 3.33/1.43
Maude_06/MYNAT_nosorts-peanoSimple.xml 11768055 YES 0.01/0.04 YES 3.00/1.49
Maude_06/OvConsOS_complete-noand.xml 11768056 YES 1.28/1.56 YES 10.34/3.22
Maude_06/LengthOfFiniteLists_nokinds.xml 11768057 YES 3.92/4.14 YES 5.10/1.85
Maude_06/LISTUTILITIES_nosorts-noand.xml 11768058 YES 0.03/0.09 YES 4.11/1.91
Maude_06/LISTUTILITIES_nokinds-noand.xml 11768059 YES 0.83/0.82 YES 6.04/2.33
Maude_06/MYNAT_nokinds-peanoSimple.xml 11768060 YES 0.04/0.06 YES 3.93/1.76
Maude_06/MYNAT_nokinds.xml 11768061 YES 1.53/1.73 YES 6.06/2.62
Maude_06/MYNAT_nokinds-noand-peanoSimple.xml 11768062 YES 0.02/0.08 YES 3.77/1.60
Maude_06/PALINDROME_complete-noand.xml 11768063 YES 0.39/0.44 YES 7.76/3.05
Maude_06/OvConsOS_nosorts.xml 11768064 NO 0.28/0.35 NO 3.55/2.15
101 98