TermCOMP 2021: TRS Context Sensitive 47882 Job info CSV Showing results.

benchmark muterm 5.18 default AProVE21 standard
CSR_04/Ex6_9_Luc02c.xml 13165187 YES 0.01/0.08 YES 4.91/2.84
CSR_04/Ex5_Zan97.xml 13165188 YES 0.05/0.12 YES 4.69/1.91
CSR_04/Ex4_Zan97.xml 13165189 YES 0.03/0.11 YES 5.23/2.02
CSR_04/ExIntrod_GM99.xml 13165190 YES 0.01/0.09 YES 5.42/2.10
CSR_04/ExIntrod_GM01.xml 13165191 YES 0.01/0.07 YES 5.51/2.14
CSR_04/Ex7_BLR02.xml 13165192 YES 0.01/0.09 YES 5.63/2.02
CSR_04/Ex2_Luc02a.xml 13165193 YES 0.01/0.07 YES 5.17/2.34
CSR_04/Ex1_Zan97.xml 13165194 YES 0.03/0.10 YES 4.54/1.85
CSR_04/Ex26_Luc03b.xml 13165195 YES 0.01/0.09 YES 5.52/2.11
CSR_04/Ex4_7_37_Bor03.xml 13165196 YES 0.04/0.12 YES 6.29/2.37
CSR_04/Ex4_4_Luc96b.xml 13165197 YES 0.01/0.06 YES 3.96/1.70
CSR_04/Ex24_GM04.xml 13165198 YES 0.02/0.10 YES 4.92/1.90
CSR_04/ExAppendixB_AEL03.xml 13165199 YES 0.02/0.08 YES 5.71/2.14
CSR_04/Ex1_2_Luc02c.xml 13165200 YES 0.01/0.08 YES 4.63/1.89
CSR_04/Ex6_Luc98.xml 13165201 YES 0.01/0.08 YES 4.53/1.89
CSR_04/Ex1_GM03.xml 13165202 is YES 0.17/0.25 timeout (wallclock)
CSR_04/Ex5_DLMMU04.xml 13165203 YES 0.02/0.09 YES 5.61/2.11
CSR_04/Ex25_Luc06.xml 13165204 YES 0.01/0.04 YES 4.63/1.85
CSR_04/ExIntrod_Zan97.xml 13165205 is YES 5.08/5.28 timeout (wallclock)
CSR_04/Ex14_AEGL02.xml 13165206 YES 0.03/0.09 YES 5.07/1.90
CSR_04/Ex6_15_AEL02.xml 13165207 u MAYBE 2.31/2.69 timeout (wallclock)
CSR_04/Ex24_Luc06.xml 13165208 YES 0.01/0.06 YES 4.44/1.81
CSR_04/Ex6_GM04.xml 13165209 YES 0.01/0.09 YES 4.65/1.83
CSR_04/Ex23_Luc06.xml 13165210 YES 0.02/0.11 YES 4.37/1.85
CSR_04/ExProp7_Luc06.xml 13165211 YES 0.05/3.42 YES 4.69/1.91
CSR_04/Ex1_Luc02b.xml 13165212 YES 0.01/0.09 YES 5.10/1.99
CSR_04/Ex9_BLR02.xml 13165213 YES 0.01/0.07 YES 5.20/1.98
CSR_04/Ex3_12_Luc96a.xml 13165214 YES 0.01/0.08 YES 5.01/1.94
CSR_04/Ex4_7_15_Bor03.xml 13165215 YES 0.03/0.11 YES 4.94/1.92
CSR_04/Ex8_BLR02.xml 13165216 YES 0.01/0.07 YES 5.17/2.05
CSR_04/Ex9_Luc06.xml 13165217 YES 0.14/0.20 YES 5.75/2.19
CSR_04/Ex4_DLMMU04.xml 13165218 YES 2.20/2.28 YES 8.85/2.89
CSR_04/Ex18_Luc06.xml 13165219 YES 0.02/0.16 YES 4.39/1.78
CSR_04/Ex3_2_Luc97.xml 13165220 u MAYBE 5.33/5.88 timeout (wallclock)
CSR_04/Ex4_7_77_Bor03.xml 13165221 YES 0.01/0.08 YES 4.51/1.87
CSR_04/Ex2_Luc03b.xml 13165222 YES 0.01/0.08 YES 4.68/1.89
CSR_04/ExSec4_2_DLMMU04.xml 13165223 YES 0.02/0.07 YES 5.63/2.09
CSR_04/Ex49_GM04.xml 13165224 YES 0.05/0.12 YES 5.56/2.07
CSR_04/ExSec11_1_Luc02a.xml 13165225 YES 0.02/0.08 YES 5.68/2.09
CSR_04/ExIntrod_GM04.xml 13165226 YES 0.01/0.07 YES 5.01/2.31
CSR_04/Ex1_Luc04b.xml 13165227 YES 0.01/0.06 YES 4.94/1.96
CSR_04/ExConc_Zan97.xml 13165228 YES 0.01/0.12 YES 4.27/1.80
CSR_04/Ex15_Luc98.xml 13165229 YES 0.01/0.08 YES 4.83/1.91
CSR_04/Ex9_Luc04.xml 13165230 YES 0.11/0.19 YES 4.82/1.91
CSR_04/Ex5_7_Luc97.xml 13165231 u MAYBE 3.49/3.90 timeout (wallclock)
CSR_04/Ex1_2_AEL03.xml 13165232 YES 0.02/0.08 YES 5.57/2.08
CSR_04/Ex4_7_56_Bor03.xml 13165233 YES 0.01/0.07 YES 5.30/1.90
CSR_04/Ex16_Luc06.xml 13165234 YES 0.01/0.02 YES 4.54/1.84
CSR_04/Ex1_GM99.xml 13165235 YES 0.01/0.06 YES 4.96/1.89
CSR_04/Ex3_3_25_Bor03.xml 13165236 YES 0.01/0.07 YES 5.25/1.96
CSR_04/Ex15_Luc06.xml 13165237 YES 0.01/0.07 YES 4.18/1.72
CSR_04/Ex1_GL02a.xml 13165238 YES 0.03/0.09 YES 5.21/1.90
CSR_04/Ex14_Luc06.xml 13165239 YES 0.72/0.88 YES 6.36/2.40
Transformed_outermost_08/ex5.7.xml 13165170 YES 0.07/0.20 YES 5.46/5.47
Transformed_outermost_08/cariboo_ex1.xml 13165171 YES 0.03/0.13 YES 4.97/2.00
Transformed_outermost_08/cariboo_ex6.xml 13165172 YES 0.03/0.11 YES 5.22/2.07
Transformed_outermost_08/ex5.6.xml 13165173 YES 0.03/0.10 YES 5.58/2.08
Transformed_outermost_08/ex5.8.xml 13165174 YES 0.01/0.06 YES 4.92/1.91
Transformed_outermost_08/f40.xml 13165175 YES 0.18/0.23 YES 17.02/8.29
Transformed_outermost_08/ex5.5.xml 13165176 YES 0.11/0.16 YES 5.27/2.00
Transformed_outermost_08/cariboo_ex3.xml 13165177 YES 0.07/0.14 YES 5.26/1.95
Transformed_outermost_08/f20.xml 13165178 YES 3.19/8.09 YES 11.88/15.11
Transformed_outermost_08/cariboo_ex4.xml 13165179 YES 0.03/0.11 YES 4.67/1.86
Transformed_outermost_08/f30.xml 13165180 YES 0.10/0.18 YES 12.85/4.15
Transformed_outermost_08/ex5.3.xml 13165181 YES 0.01/0.09 YES 4.57/1.99
Transformed_outermost_08/cariboo_ex5.xml 13165182 YES 0.05/0.09 YES 4.54/1.83
Transformed_outermost_08/ex5.4.xml 13165183 YES 0.61/0.63 YES 5.52/2.04
Transformed_outermost_08/morse.xml 13165184 YES 1.40/1.40 YES 10.57/3.47
Transformed_outermost_08/cariboo_ex2.xml 13165185 YES 1.02/1.14 YES 6.79/2.46
Transformed_outermost_08/f4.xml 13165186 YES 0.12/0.23 YES 5.33/3.34
Maude_06/LISTUTILITIES_nokinds-noand.xml 13165132 YES 0.83/0.87 YES 8.68/2.77
Maude_06/LengthOfFiniteLists_nosorts-noand.xml 13165133 NO 0.69/0.84 NO 5.53/2.05
Maude_06/MYNAT_complete.xml 13165134 YES 14.31/14.90 YES 14.99/4.60
Maude_06/LISTUTILITIES_nosorts-noand.xml 13165135 YES 0.03/0.09 YES 6.52/2.27
Maude_06/LengthOfFiniteLists_nokinds.xml 13165136 YES 3.98/4.56 YES 8.01/4.73
Maude_06/MYNAT_nosorts-noand-peanoSimple.xml 13165137 YES 0.01/0.09 YES 5.20/6.38
Maude_06/LengthOfFiniteLists_nokinds-noand.xml 13165138 YES 0.11/0.14 YES 7.87/2.78
Maude_06/MYNAT_nokinds-noand-peanoSimple.xml 13165139 YES 0.02/0.08 YES 5.86/2.14
Maude_06/OvConsOS_nokinds-noand.xml 13165140 YES 0.19/0.24 YES 10.02/14.07
Maude_06/OvConsOS_nosorts-noand.xml 13165141 NO 1.31/1.42 NO 5.81/2.14
Maude_06/MYNAT_complete-noand.xml 13165142 YES 0.41/0.47 YES 7.62/2.59
Maude_06/OvConsOS_nosorts.xml 13165143 NO 0.28/0.37 NO 5.48/2.07
Maude_06/csrdiv.xml 13165144 YES 0.19/0.23 YES 18.66/5.86
Maude_06/MYNAT_nosorts-noand.xml 13165145 YES 0.01/0.02 YES 5.40/2.10
Maude_06/LISTUTILITIES_nokinds.xml 13165146 u timeout (wallclock) timeout (wallclock)
Maude_06/PALINDROME_nosorts.xml 13165147 YES 0.01/0.09 YES 4.89/1.98
Maude_06/MYNAT_nokinds-noand.xml 13165148 YES 0.02/0.07 YES 5.67/2.05
Maude_06/MYNAT_nokinds.xml 13165149 YES 1.51/1.62 YES 19.55/10.32
Maude_06/PALINDROME_nosorts-noand.xml 13165150 YES 0.01/0.08 YES 4.99/8.58
Maude_06/LISTUTILITIES_complete-noand.xml 13165151 YES 8.77/8.79 YES 14.45/4.37
Maude_06/LengthOfFiniteLists_nosorts.xml 13165152 NO 0.22/0.32 NO 5.01/2.01
Maude_06/PALINDROME_nokinds-noand.xml 13165153 YES 0.02/0.10 YES 6.67/2.41
Maude_06/LISTUTILITIES_nosorts.xml 13165154 YES 0.02/0.04 YES 5.46/2.07
Maude_06/MYNAT_nosorts.xml 13165155 YES 0.01/0.06 YES 5.16/1.94
Maude_06/PALINDROME_nokinds.xml 13165156 YES 0.06/0.12 YES 5.43/2.04
Maude_06/OvConsOS_complete-noand.xml 13165157 YES 1.29/1.31 YES 17.20/15.88
Maude_06/MYNAT_complete-noand-peanoSimple.xml 13165158 YES 0.10/0.15 YES 7.63/2.70
Maude_06/PALINDROME_complete-noand.xml 13165159 YES 0.39/0.48 YES 8.88/3.07
Maude_06/LengthOfFiniteLists_complete.xml 13165160 YES 24.07/24.56 YES 160.99/54.33
Maude_06/MYNAT_nokinds-peanoSimple.xml 13165161 YES 0.04/0.34 YES 5.65/2.05
Maude_06/emmes.xml 13165162 is YES 1.33/1.45 timeout (wallclock)
Maude_06/PALINDROME_complete.xml 13165163 YES 0.35/0.38 YES 8.81/3.05
Maude_06/OvConsOS_complete.xml 13165164 u timeout (wallclock) timeout (wallclock)
Maude_06/MYNAT_complete-peanoSimple.xml 13165165 YES 0.27/0.31 YES 6.65/2.30
Maude_06/LengthOfFiniteLists_complete-noand.xml 13165166 YES 0.46/0.51 YES 11.77/3.75
Maude_06/OvConsOS_nokinds.xml 13165167 u timeout (wallclock) timeout (wallclock)
Maude_06/LISTUTILITIES_complete.xml 13165168 u timeout (wallclock) timeout (wallclock)
Maude_06/MYNAT_nosorts-peanoSimple.xml 13165169 YES 0.01/0.08 YES 4.44/1.84
101.00 98.00