Termination Competition 2020: TRS Context Sensitive41212

Job info CSV
benchmark muterm 5.18 default AProVE standard
Transformed_outermost_08/cariboo_ex1.xml 11767957 YES 0.03/0.04 YES 3.53/1.50
Transformed_outermost_08/cariboo_ex2.xml 11767970 YES 1.02/1.15 YES 5.32/2.07
Transformed_outermost_08/cariboo_ex3.xml 11767966 YES 0.07/0.07 YES 3.50/1.47
Transformed_outermost_08/cariboo_ex4.xml 11767967 YES 0.02/0.03 YES 3.03/1.47
Transformed_outermost_08/cariboo_ex5.xml 11767969 YES 0.04/0.07 YES 2.99/1.45
Transformed_outermost_08/cariboo_ex6.xml 11767958 YES 0.03/0.04 YES 3.57/1.54
Transformed_outermost_08/ex5.3.xml 11767960 YES 0.01/0.01 YES 3.32/1.46
Transformed_outermost_08/ex5.4.xml 11767962 YES 0.59/0.59 YES 3.93/1.84
Transformed_outermost_08/ex5.5.xml 11767959 YES 0.18/0.17 YES 3.53/1.46
Transformed_outermost_08/ex5.6.xml 11767972 YES 0.03/0.03 YES 3.59/1.45
Transformed_outermost_08/ex5.7.xml 11767965 YES 0.07/0.07 YES 3.26/1.45
Transformed_outermost_08/ex5.8.xml 11767973 YES 0.01/0.01 YES 3.28/1.40
Transformed_outermost_08/f20.xml 11767964 YES 3.20/3.80 YES 8.03/3.22
Transformed_outermost_08/f30.xml 11767968 YES 0.09/0.09 YES 9.85/3.33
Transformed_outermost_08/f4.xml 11767971 YES 0.12/0.14 YES 3.70/1.56
Transformed_outermost_08/f40.xml 11767963 YES 0.18/0.18 YES 13.18/4.02
Transformed_outermost_08/morse.xml 11767961 YES 1.37/1.32 YES 9.83/3.53
CSR_04/Ex14_AEGL02.xml 11768005 YES 0.03/0.05 YES 3.32/2.15
CSR_04/Ex14_Luc06.xml 11768022 YES 0.69/0.82 YES 3.96/1.68
CSR_04/Ex15_Luc06.xml 11768019 YES 0.01/0.01 YES 2.98/1.31
CSR_04/Ex15_Luc98.xml 11768008 YES 0.01/0.01 YES 3.69/1.52
CSR_04/Ex16_Luc06.xml 11768025 YES 0.01/0.01 YES 2.96/1.40
CSR_04/Ex18_Luc06.xml 11768004 YES 0.01/0.01 YES 2.81/1.30
CSR_04/Ex1_2_AEL03.xml 11767975 YES 0.02/0.02 YES 3.39/1.49
CSR_04/Ex1_2_Luc02c.xml 11767989 YES 0.01/0.01 YES 3.09/1.43
CSR_04/Ex1_GL02a.xml 11767976 YES 0.03/0.04 YES 3.15/1.52
CSR_04/Ex1_GM03.xml 11767978 YES 0.16/0.20 timeout (wallclock) [out]
CSR_04/Ex1_GM99.xml 11768010 YES 0.01/0.01 YES 3.21/1.49
CSR_04/Ex1_Luc02b.xml 11767996 YES 0.01/0.01 YES 3.39/1.52
CSR_04/Ex1_Luc04b.xml 11768009 YES 0.02/0.02 YES 3.44/1.46
CSR_04/Ex1_Zan97.xml 11768018 YES 0.03/0.04 YES 3.07/1.40
CSR_04/Ex23_Luc06.xml 11767998 YES 0.01/0.01 YES 2.94/1.33
CSR_04/Ex24_GM04.xml 11768017 YES 0.01/0.03 YES 2.97/1.43
CSR_04/Ex24_Luc06.xml 11767991 YES 0.01/0.01 YES 3.13/1.39
CSR_04/Ex25_Luc06.xml 11767988 YES 0.01/0.01 YES 3.34/1.38
CSR_04/Ex26_Luc03b.xml 11768020 YES 0.01/0.01 YES 3.66/1.48
CSR_04/Ex2_Luc02a.xml 11767985 YES 0.01/0.01 YES 3.45/1.54
CSR_04/Ex2_Luc03b.xml 11768013 YES 0.01/0.01 YES 3.34/1.41
CSR_04/Ex3_12_Luc96a.xml 11767977 YES 0.01/0.01 YES 3.36/1.49
CSR_04/Ex3_2_Luc97.xml 11767992 MAYBE 5.18/6.50 timeout (wallclock) [out]
CSR_04/Ex3_3_25_Bor03.xml 11767999 YES 0.01/0.01 YES 3.15/1.38
CSR_04/Ex49_GM04.xml 11767993 YES 0.04/0.05 YES 3.65/1.56
CSR_04/Ex4_4_Luc96b.xml 11767990 YES 0.01/0.01 YES 2.71/1.36
CSR_04/Ex4_7_15_Bor03.xml 11768023 YES 0.03/0.04 YES 3.30/1.37
CSR_04/Ex4_7_37_Bor03.xml 11768011 YES 0.03/0.04 YES 4.21/1.73
CSR_04/Ex4_7_56_Bor03.xml 11768001 YES 0.01/0.01 YES 3.42/1.43
CSR_04/Ex4_7_77_Bor03.xml 11767987 YES 0.01/0.01 YES 3.03/1.39
CSR_04/Ex4_DLMMU04.xml 11767994 YES 2.85/2.93 YES 6.21/2.19
CSR_04/Ex4_Zan97.xml 11768026 YES 0.01/0.01 YES 3.32/1.47
CSR_04/Ex5_7_Luc97.xml 11767980 MAYBE 3.38/3.87 timeout (wallclock) [out]
CSR_04/Ex5_DLMMU04.xml 11768002 YES 0.01/0.01 YES 3.70/1.65
CSR_04/Ex5_Zan97.xml 11768024 YES 0.04/0.05 YES 2.97/1.33
CSR_04/Ex6_15_AEL02.xml 11767984 MAYBE 1.23/1.28 timeout (wallclock) [out]
CSR_04/Ex6_9_Luc02c.xml 11768000 YES 0.01/0.01 YES 3.37/1.37
CSR_04/Ex6_GM04.xml 11767982 YES 0.02/0.02 YES 2.92/1.33
CSR_04/Ex6_Luc98.xml 11768012 YES 0.01/0.01 YES 3.20/2.01
CSR_04/Ex7_BLR02.xml 11768021 YES 0.01/0.01 YES 3.67/1.55
CSR_04/Ex8_BLR02.xml 11768007 YES 0.01/0.01 YES 3.27/1.40
CSR_04/Ex9_BLR02.xml 11768006 YES 0.01/0.01 YES 3.20/1.48
CSR_04/Ex9_Luc04.xml 11767986 YES 0.11/0.13 YES 3.01/1.54
CSR_04/Ex9_Luc06.xml 11768003 YES 0.13/0.15 YES 3.44/2.34
CSR_04/ExAppendixB_AEL03.xml 11767979 YES 0.02/0.02 YES 3.90/1.56
CSR_04/ExConc_Zan97.xml 11768014 YES 0.01/0.01 YES 2.87/1.35
CSR_04/ExIntrod_GM01.xml 11767997 YES 0.01/0.02 YES 3.68/1.50
CSR_04/ExIntrod_GM04.xml 11768016 YES 0.01/0.01 YES 3.62/2.55
CSR_04/ExIntrod_GM99.xml 11767995 YES 0.01/0.01 YES 3.65/1.55
CSR_04/ExIntrod_Zan97.xml 11768015 YES 5.10/5.18 timeout (wallclock) [out]
CSR_04/ExProp7_Luc06.xml 11767974 YES 0.05/0.22 YES 3.25/1.49
CSR_04/ExSec11_1_Luc02a.xml 11767983 YES 0.01/0.01 YES 3.46/1.60
CSR_04/ExSec4_2_DLMMU04.xml 11767981 YES 0.02/0.02 YES 3.42/1.46
Maude_06/csrdiv.xml 11768042 YES 0.19/0.28 YES 14.94/4.71
Maude_06/emmes.xml 11768035 YES 1.32/1.33 timeout (wallclock) [out]
Maude_06/LengthOfFiniteLists_complete-noand.xml 11768034 YES 0.46/0.45 YES 9.07/3.02
Maude_06/LengthOfFiniteLists_complete.xml 11768045 YES 24.07/24.74 YES 193.78/62.28
Maude_06/LengthOfFiniteLists_nokinds-noand.xml 11768053 YES 0.11/0.10 YES 5.61/2.24
Maude_06/LengthOfFiniteLists_nokinds.xml 11768057 YES 4.00/4.29 YES 5.14/2.06
Maude_06/LengthOfFiniteLists_nosorts-noand.xml 11768054 NO 0.69/0.76 NO 3.43/1.55
Maude_06/LengthOfFiniteLists_nosorts.xml 11768044 NO 0.22/0.68 NO 3.20/1.48
Maude_06/LISTUTILITIES_complete-noand.xml 11768028 YES 8.74/8.68 YES 11.82/3.69
Maude_06/LISTUTILITIES_complete.xml 11768029 timeout (wallclock) [out] timeout (wallclock) [out]
Maude_06/LISTUTILITIES_nokinds-noand.xml 11768059 YES 0.82/0.80 YES 6.22/2.13
Maude_06/LISTUTILITIES_nokinds.xml 11768051 timeout (wallclock) [out] timeout (wallclock) [out]
Maude_06/LISTUTILITIES_nosorts-noand.xml 11768058 YES 0.02/0.02 YES 4.01/1.57
Maude_06/LISTUTILITIES_nosorts.xml 11768027 YES 0.02/0.02 YES 3.58/1.60
Maude_06/MYNAT_complete-noand-peanoSimple.xml 11768049 YES 0.10/0.11 YES 5.87/2.18
Maude_06/MYNAT_complete-noand.xml 11768043 YES 0.41/0.40 YES 5.65/2.01
Maude_06/MYNAT_complete-peanoSimple.xml 11768031 YES 0.27/0.25 YES 4.96/1.92
Maude_06/MYNAT_complete.xml 11768038 YES 14.25/15.61 YES 11.91/3.64
Maude_06/MYNAT_nokinds-noand-peanoSimple.xml 11768062 YES 0.01/0.01 YES 4.02/1.61
Maude_06/MYNAT_nokinds-noand.xml 11768032 YES 0.02/0.02 YES 3.75/2.38
Maude_06/MYNAT_nokinds-peanoSimple.xml 11768060 YES 0.04/0.05 YES 3.82/1.51
Maude_06/MYNAT_nokinds.xml 11768061 YES 1.52/1.72 YES 5.76/2.13
Maude_06/MYNAT_nosorts-noand-peanoSimple.xml 11768047 YES 0.01/0.01 YES 3.21/1.46
Maude_06/MYNAT_nosorts-noand.xml 11768033 YES 0.01/0.01 YES 3.44/2.56
Maude_06/MYNAT_nosorts-peanoSimple.xml 11768055 YES 0.01/0.01 YES 3.21/1.38
Maude_06/MYNAT_nosorts.xml 11768036 YES 0.03/0.02 YES 3.15/1.39
Maude_06/OvConsOS_complete-noand.xml 11768056 YES 1.28/1.30 YES 9.99/3.14
Maude_06/OvConsOS_complete.xml 11768040 timeout (wallclock) [out] timeout (wallclock) [out]
Maude_06/OvConsOS_nokinds-noand.xml 11768048 YES 0.19/0.18 YES 6.68/2.32
Maude_06/OvConsOS_nokinds.xml 11768041 timeout (wallclock) [out] timeout (wallclock) [out]
Maude_06/OvConsOS_nosorts-noand.xml 11768046 NO 1.24/1.34 NO 7.78/1.62
Maude_06/OvConsOS_nosorts.xml 11768064 NO 0.26/0.31 NO 3.55/1.54
Maude_06/PALINDROME_complete-noand.xml 11768063 YES 0.39/0.38 YES 5.69/2.00
Maude_06/PALINDROME_complete.xml 11768050 YES 0.34/0.33 YES 6.79/2.46
Maude_06/PALINDROME_nokinds-noand.xml 11768037 YES 0.02/0.02 YES 4.98/2.43
Maude_06/PALINDROME_nokinds.xml 11768030 YES 0.06/0.07 YES 4.10/1.80
Maude_06/PALINDROME_nosorts-noand.xml 11768039 YES 0.01/0.01 YES 3.07/1.53
Maude_06/PALINDROME_nosorts.xml 11768052 YES 0.02/0.02 YES 2.98/1.32
101 98