Termination Competition 2018: TRS Equational Certified30043

benchmark AProVE NaTT
Mixed_C/PEANO-NAT_nokinds-noand.xml MAYBE 16.33/12.69 MAYBE 0.46/0.44
Mixed_C/PEANO-NAT_nosorts-noand.xml MAYBE 10.56/5.41 MAYBE 0.10/0.08
Mixed_C/AC44.xml YES 4.70/2.14 YES 0.05/0.05
Mixed_C/PEANO-NAT_nokinds.xml MAYBE 16.03/7.83 MAYBE 0.22/0.20
Mixed_C/AC43.xml YES 4.54/2.19 YES 0.04/0.04
Mixed_C/AC45.xml YES 4.88/2.18 YES 0.04/0.04
Mixed_C/AC42.xml YES 4.41/1.91 YES 0.04/0.04
Mixed_C/maude2.xml MAYBE 6.85/2.81 MAYBE 0.19/0.18
Mixed_C/PEANO-NAT_nosorts.xml MAYBE 10.34/6.34 MAYBE 0.08/0.08
Mixed_C/PEANO-NAT_complete.xml MAYBE 186.09/162.53 MAYBE 0.50/0.47
Mixed_C/AC46.xml YES 6.46/2.64 YES 0.12/0.12
Mixed_C/PEANO-NAT_complete-noand.xml MAYBE 333.93/298.31 MAYBE 6.46/6.41
Mixed_AC_and_C/AC47.xml YES 7.49/2.88 YES 0.07/0.06
Mixed_AC_and_C/AC29.xml YES 3.93/1.81 YES 0.02/0.02
Mixed_AC_and_C/rationals.xml MAYBE 45.91/35.48 MAYBE 0.10/0.08
Mixed_AC_and_C/AC08.xml YES 6.38/2.61 MAYBE 0.04/0.04
Mixed_AC/kusakari1.xml YES 6.41/2.70 YES 0.03/0.03
Mixed_AC/RENAMED-BOOL_nosorts.xml MAYBE 7.05/2.77 MAYBE 0.05/0.04
Mixed_AC/RENAMED-BOOL_complete-noand.xml MAYBE 330.45/294.58 MAYBE 16.23/16.24
Mixed_AC/boolean_rings.xml YES 3.70/1.80 MAYBE 0.04/0.04
Mixed_AC/intersect.xml YES 3.70/1.75 MAYBE 0.04/0.04
Mixed_AC/YWHM14_2.xml YES 4.00/1.82 YES 0.05/0.05
Mixed_AC/BAG_complete-noand.xml YES 60.85/45.89 MAYBE 6.69/6.64
Mixed_AC/RENAMED-BOOL_nokinds.xml YES 36.07/19.86 MAYBE 0.16/0.15
Mixed_AC/YWHM14_4.xml YES 4.60/1.96 YES 0.04/0.04
Mixed_AC/BAG_nokinds.xml YES 18.66/6.66 MAYBE 0.17/0.16
Mixed_AC/sequent_modulo.xml YES 32.71/15.31 MAYBE 0.29/0.26
Mixed_AC/YWHM14_3.xml YES 4.24/1.85 StarExec error
Mixed_AC/RENAMED-BOOL_nokinds-noand.xml YES 23.80/8.88 MAYBE 0.26/0.24
Mixed_AC/BAG_nokinds-noand.xml YES 14.15/5.26 MAYBE 0.34/0.32
Mixed_AC/differ.xml YES 12.03/5.08 YES 0.04/0.03
Mixed_AC/BAG_nosorts.xml YES 4.07/1.89 MAYBE 0.05/0.05
Mixed_AC/YWHM14_5.xml YES 3.37/1.62 YES 0.03/0.03
Mixed_AC/bag-sum-prod-bin.xml YES 4.14/1.90 MAYBE 0.05/0.04
Mixed_AC/RENAMED-BOOL_nosorts-noand.xml MAYBE 9.41/4.42 MAYBE 0.09/0.07
Mixed_AC/bag-sum-prod.xml YES 3.99/1.80 MAYBE 0.05/0.04
Mixed_AC/bag-sum-prod-distr.xml YES 4.07/1.83 MAYBE 0.05/0.05
Mixed_AC/BAG_complete.xml YES 146.69/126.20 MAYBE 0.38/0.36
Mixed_AC/YWHM14_1.xml YES 4.23/1.89 YES 0.03/0.03
Mixed_AC/RENAMED-BOOL_complete.xml MAYBE 305.31/292.08 MAYBE 0.32/0.29
Mixed_AC/BAG_nosorts-noand.xml YES 5.95/2.53 MAYBE 0.10/0.08
AProVE_AC_04/AC41.xml YES 4.70/2.08 YES 0.05/0.05
AProVE_AC_04/AC09.xml YES 3.44/1.98 MAYBE 0.03/0.03
AProVE_AC_04/AC50.xml YES 6.39/2.77 MAYBE 0.04/0.04
AProVE_AC_04/AC15.xml YES 3.61/1.75 YES 0.05/0.05
AProVE_AC_04/AC10.xml YES 3.38/1.69 MAYBE 0.03/0.03
AProVE_AC_04/AC27.xml YES 5.94/2.44 MAYBE 0.04/0.04
AProVE_AC_04/AC05.xml YES 6.25/2.58 MAYBE 0.04/0.04
AProVE_AC_04/AC26.xml YES 3.69/1.75 MAYBE 0.04/0.03
AProVE_AC_04/AC01.xml YES 3.25/1.56 YES 0.03/0.03
AProVE_AC_04/AC12.xml YES 3.93/1.86 YES 0.08/0.07
AProVE_AC_04/AC17.xml YES 5.28/2.29 MAYBE 0.04/0.03
AProVE_AC_04/AC24.xml YES 3.72/1.75 MAYBE 0.04/0.03
AProVE_AC_04/AC02.xml YES 3.39/1.74 YES 0.04/0.03
AProVE_AC_04/AC51.xml StarExec error YES 0.04/0.04
AProVE_AC_04/AC53.xml YES 4.66/1.99 YES 0.04/0.04
AProVE_AC_04/AC19.xml YES 4.55/2.04 YES 0.03/0.03
AProVE_AC_04/AC06.xml YES 4.39/2.07 MAYBE 0.05/0.04
AProVE_AC_04/AC49.xml YES 6.77/2.79 MAYBE 0.04/0.04
AProVE_AC_04/AC14.xml YES 3.40/1.64 MAYBE 0.03/0.03
AProVE_AC_04/AC22.xml YES 9.53/4.08 MAYBE 0.06/0.05
AProVE_AC_04/AC21.xml YES 15.08/5.55 MAYBE 0.07/0.06
AProVE_AC_04/AC13.xml YES 3.50/1.67 MAYBE 0.03/0.03
AProVE_AC_04/AC20.xml YES 6.00/2.57 MAYBE 0.04/0.04
AProVE_AC_04/AC07.xml YES 5.29/2.36 YES 0.05/0.05
AProVE_AC_04/AC04.xml YES 6.15/2.46 MAYBE 0.04/0.03
AProVE_AC_04/AC54.xml YES 6.92/2.70 YES 0.09/0.08
AProVE_AC_04/AC11.xml YES 8.24/3.40 YES 0.03/0.03
AProVE_AC_04/AC48.xml YES 3.32/1.89 MAYBE 0.03/0.03
AProVE_AC_04/AC03.xml YES 5.98/2.58 MAYBE 0.04/0.03
AProVE_AC_04/IJCAR_AC1.xml YES 7.07/2.89 MAYBE 0.05/0.05
AProVE_AC_04/AC52.xml YES 5.14/2.22 MAYBE 0.03/0.03
AProVE_AC_04/AC23.xml YES 3.82/1.88 MAYBE 0.04/0.04
AProVE_AC_04/AC18.xml YES 11.88/5.70 MAYBE 0.05/0.04
AProVE_AC_04/AC28.xml YES 13.94/5.31 MAYBE 0.03/0.03
AProVE_AC_04/AC16.xml YES 4.46/1.93 YES 0.08/0.07
63 25