Termination Competition 2018: TRS Equational30042

Job info CSV
benchmark AProVE standard NaTT Default muterm 5.18 default
TRS_Equational/Mixed_AC/kusakari1.xml 5164357 YES 6.58/2.74 YES 0.02/0.02 YES 0.23/0.27
TRS_Equational/Mixed_AC/RENAMED-BOOL_nosorts.xml 5164358 NO 13.24/6.03 NO 0.22/0.18 MAYBE 123.03/137.53
TRS_Equational/Mixed_AC/RENAMED-BOOL_complete-noand.xml 5164359 timeout (wallclock) [out] MAYBE 16.31/15.97 timeout (wallclock) [out]
TRS_Equational/Mixed_AC/boolean_rings.xml 5164360 YES 3.11/1.51 YES 0.09/0.07 YES 3.14/3.46
TRS_Equational/Mixed_AC/intersect.xml 5164361 YES 3.10/1.53 YES 0.15/0.12 YES 3.04/3.33
TRS_Equational/Mixed_AC/YWHM14_2.xml 5164362 YES 4.25/1.80 YES 0.03/0.02 YES 0.09/0.09
TRS_Equational/Mixed_AC/BAG_complete-noand.xml 5164363 YES 65.61/42.75 MAYBE 6.94/6.62 YES 26.45/27.67
TRS_Equational/Mixed_AC/RENAMED-BOOL_nokinds.xml 5164364 YES 25.48/11.15 MAYBE 1.18/1.08 YES 17.90/18.49
TRS_Equational/Mixed_AC/YWHM14_4.xml 5164365 YES 4.14/1.73 YES 0.03/0.03 YES 0.36/0.46
TRS_Equational/Mixed_AC/BAG_nokinds.xml 5164366 YES 19.77/7.54 MAYBE 0.45/0.36 YES 3.90/4.71
TRS_Equational/Mixed_AC/sequent_modulo.xml 5164367 YES 24.29/10.59 MAYBE 18.47/15.00 YES 102.66/103.20
TRS_Equational/Mixed_AC/YWHM14_3.xml 5164368 YES 4.42/1.99 YES 0.05/0.04 YES 0.22/0.24
TRS_Equational/Mixed_AC/RENAMED-BOOL_nokinds-noand.xml 5164369 YES 20.60/7.84 MAYBE 0.69/0.61 YES 17.38/18.82
TRS_Equational/Mixed_AC/BAG_nokinds-noand.xml 5164370 YES 15.79/5.67 MAYBE 0.68/0.55 YES 6.01/6.88
TRS_Equational/Mixed_AC/differ.xml 5164371 YES 3.34/1.60 YES 0.03/0.03 YES 0.30/0.39
TRS_Equational/Mixed_AC/BAG_nosorts.xml 5164372 YES 4.36/1.89 MAYBE 0.13/0.10 YES 2.33/2.60
TRS_Equational/Mixed_AC/YWHM14_5.xml 5164373 YES 3.29/1.54 YES 0.01/0.01 YES 0.04/0.05
TRS_Equational/Mixed_AC/bag-sum-prod-bin.xml 5164374 YES 4.08/1.80 MAYBE 0.12/0.09 YES 2.54/2.81
TRS_Equational/Mixed_AC/RENAMED-BOOL_nosorts-noand.xml 5164375 NO 28.67/14.83 MAYBE 0.32/0.24 MAYBE 9.27/11.07
TRS_Equational/Mixed_AC/bag-sum-prod.xml 5164376 YES 3.06/1.51 YES 0.08/0.06 YES 1.46/1.59
TRS_Equational/Mixed_AC/bag-sum-prod-distr.xml 5164377 YES 4.06/1.83 MAYBE 0.14/0.11 YES 15.62/18.99
TRS_Equational/Mixed_AC/BAG_complete.xml 5164378 run script error [out] MAYBE 1.08/0.85 YES 18.99/19.54
TRS_Equational/Mixed_AC/YWHM14_1.xml 5164379 YES 3.25/1.56 YES 0.02/0.02 YES 0.04/0.04
TRS_Equational/Mixed_AC/RENAMED-BOOL_complete.xml 5164380 run script error [out] MAYBE 0.75/0.57 run script error [out]
TRS_Equational/Mixed_AC/BAG_nosorts-noand.xml 5164381 YES 6.12/2.46 MAYBE 0.35/0.26 YES 2.26/2.98
TRS_Equational/AProVE_AC_04/AC41.xml 5164398 YES 5.46/2.45 YES 0.04/0.04 YES 0.26/0.31
TRS_Equational/AProVE_AC_04/AC09.xml 5164399 YES 3.13/1.51 YES 0.07/0.06 YES 6.34/7.27
TRS_Equational/AProVE_AC_04/AC50.xml 5164400 YES 6.39/2.59 YES 0.08/0.07 YES 0.44/0.46
TRS_Equational/AProVE_AC_04/AC15.xml 5164401 YES 3.14/1.47 YES 0.02/0.02 YES 0.03/0.04
TRS_Equational/AProVE_AC_04/AC10.xml 5164402 YES 3.13/1.56 YES 0.08/0.06 YES 3.83/4.63
TRS_Equational/AProVE_AC_04/AC27.xml 5164403 YES 3.31/1.52 YES 0.20/0.15 YES 16.76/19.03
TRS_Equational/AProVE_AC_04/AC05.xml 5164404 YES 5.93/2.45 YES 0.09/0.08 YES 1.14/1.29
TRS_Equational/AProVE_AC_04/AC26.xml 5164405 YES 3.37/1.59 YES 0.09/0.07 YES 3.97/5.98
TRS_Equational/AProVE_AC_04/AC01.xml 5164406 YES 3.38/1.54 YES 0.02/0.02 YES 0.14/0.15
TRS_Equational/AProVE_AC_04/AC12.xml 5164407 run script error [out] YES 0.03/0.03 YES 0.15/0.16
TRS_Equational/AProVE_AC_04/AC17.xml 5164408 YES 5.74/2.40 run script error [out] YES 4.54/4.71
TRS_Equational/AProVE_AC_04/AC24.xml 5164409 YES 3.78/1.72 MAYBE 0.10/0.08 YES 1.93/2.24
TRS_Equational/AProVE_AC_04/AC02.xml 5164410 YES 3.10/1.49 YES 0.03/0.03 YES 0.16/0.18
TRS_Equational/AProVE_AC_04/AC51.xml 5164411 YES 3.76/1.89 YES 0.03/0.03 YES 0.51/0.63
TRS_Equational/AProVE_AC_04/AC53.xml 5164412 YES 4.81/2.00 YES 0.03/0.02 YES 0.10/0.13
TRS_Equational/AProVE_AC_04/AC19.xml 5164413 YES 3.37/1.58 YES 0.03/0.03 YES 0.19/0.20
TRS_Equational/AProVE_AC_04/AC06.xml 5164414 YES 3.25/1.60 YES 0.12/0.10 YES 3.00/3.74
TRS_Equational/AProVE_AC_04/AC49.xml 5164415 YES 7.66/2.95 YES 0.08/0.07 YES 0.31/0.33
TRS_Equational/AProVE_AC_04/AC14.xml 5164416 YES 2.99/1.50 YES 0.07/0.06 YES 3.72/4.29
TRS_Equational/AProVE_AC_04/AC22.xml 5164417 YES 9.03/3.76 MAYBE 0.34/0.25 YES 40.03/42.42
TRS_Equational/AProVE_AC_04/AC21.xml 5164418 YES 14.65/5.32 MAYBE 0.24/0.18 YES 7.76/10.27
TRS_Equational/AProVE_AC_04/AC13.xml 5164419 run script error [out] YES 0.07/0.06 YES 5.87/7.16
TRS_Equational/AProVE_AC_04/AC20.xml 5164420 YES 5.98/2.31 YES 0.08/0.06 YES 1.00/1.49
TRS_Equational/AProVE_AC_04/AC07.xml 5164421 YES 4.68/2.10 YES 0.08/0.07 YES 0.56/0.70
TRS_Equational/AProVE_AC_04/AC04.xml 5164422 YES 5.94/2.34 YES 0.08/0.07 YES 1.02/1.09
TRS_Equational/AProVE_AC_04/AC54.xml 5164423 YES 7.03/2.70 YES 0.07/0.06 YES 0.48/0.53
TRS_Equational/AProVE_AC_04/AC11.xml 5164424 YES 3.47/1.63 YES 0.03/0.03 YES 0.14/0.15
TRS_Equational/AProVE_AC_04/AC48.xml 5164425 YES 3.14/1.47 YES 0.06/0.05 YES 1.19/1.45
TRS_Equational/AProVE_AC_04/AC03.xml 5164426 YES 3.19/1.58 YES 0.07/0.05 YES 0.96/1.03
TRS_Equational/AProVE_AC_04/IJCAR_AC1.xml 5164427 YES 6.02/2.53 YES 0.09/0.07 YES 1.30/1.60
TRS_Equational/AProVE_AC_04/AC52.xml 5164428 YES 6.68/2.63 YES 0.60/0.49 YES 1.62/1.85
TRS_Equational/AProVE_AC_04/AC23.xml 5164429 YES 3.76/1.76 MAYBE 0.19/0.14 YES 12.90/14.94
TRS_Equational/AProVE_AC_04/AC18.xml 5164430 YES 11.52/5.55 run script error [out] YES 6.61/8.53
TRS_Equational/AProVE_AC_04/AC28.xml 5164431 YES 15.22/6.50 run script error [out] run script error [out]
TRS_Equational/AProVE_AC_04/AC16.xml 5164432 YES 3.39/2.30 YES 0.02/0.02 YES 0.11/0.13
TRS_Equational/Mixed_C/PEANO-NAT_nokinds-noand.xml 5164386 MAYBE 17.23/11.08 MAYBE 1.09/0.94 MAYBE 7.86/8.42
TRS_Equational/Mixed_C/PEANO-NAT_nosorts-noand.xml 5164387 MAYBE 10.42/5.45 MAYBE 0.46/0.36 MAYBE 1.74/2.06
TRS_Equational/Mixed_C/AC44.xml 5164388 YES 4.38/2.03 run script error [out] YES 0.26/0.35
TRS_Equational/Mixed_C/PEANO-NAT_nokinds.xml 5164389 MAYBE 17.28/10.10 MAYBE 0.70/0.58 MAYBE 4.23/4.66
TRS_Equational/Mixed_C/AC43.xml 5164390 YES 4.42/2.02 YES 0.04/0.03 YES 0.20/0.22
TRS_Equational/Mixed_C/AC45.xml 5164391 YES 4.52/2.13 YES 0.04/0.04 YES 0.20/0.21
TRS_Equational/Mixed_C/AC42.xml 5164392 YES 4.25/1.87 YES 0.04/0.05 YES 0.23/0.23
TRS_Equational/Mixed_C/maude2.xml 5164393 MAYBE 6.49/2.71 MAYBE 0.28/0.24 MAYBE 3.00/3.23
TRS_Equational/Mixed_C/PEANO-NAT_nosorts.xml 5164394 MAYBE 10.98/5.68 MAYBE 0.26/0.22 MAYBE 1.43/1.57
TRS_Equational/Mixed_C/PEANO-NAT_complete.xml 5164395 MAYBE 208.73/185.66 MAYBE 1.69/1.42 MAYBE 20.39/21.23
TRS_Equational/Mixed_C/AC46.xml 5164396 YES 6.51/2.68 YES 0.11/0.12 YES 0.70/0.83
TRS_Equational/Mixed_C/PEANO-NAT_complete-noand.xml 5164397 run script error [out] MAYBE 7.76/7.35 MAYBE 47.08/48.40
TRS_Equational/Mixed_AC_and_C/AC47.xml 5164382 YES 7.52/3.03 YES 0.06/0.06 YES 0.41/0.93
TRS_Equational/Mixed_AC_and_C/AC29.xml 5164383 YES 3.48/1.58 YES 0.02/0.02 YES 0.29/0.27
TRS_Equational/Mixed_AC_and_C/rationals.xml 5164384 MAYBE 39.70/28.72 run script error [out] MAYBE 201.75/213.40
TRS_Equational/Mixed_AC_and_C/AC08.xml 5164385 YES 3.20/1.51 YES 0.07/0.06 YES 2.73/3.36
64 46 63