Termination Competition 2020: TRS Equational Certified41234

Job info CSV
benchmark AProVE certified NaTT 1.6.1 Certifiable
AProVE_AC_04/AC01.xml 11768779 CERTIFIED YES 3.27/1.69 (CERTIFIED 0.02) CERTIFIED YES 0.02/0.02 (CERTIFIED 0.15)
AProVE_AC_04/AC02.xml 11768799 CERTIFIED YES 3.52/1.71 (CERTIFIED 0.05) CERTIFIED YES 0.03/0.03 (CERTIFIED 0.16)
AProVE_AC_04/AC03.xml 11768791 CERTIFIED YES 5.97/2.45 (CERTIFIED 0.39) REJECTED YES 0.07/0.11 (REJECTED 0.47)
AProVE_AC_04/AC04.xml 11768792 CERTIFIED YES 6.29/2.53 (CERTIFIED 0.43) REJECTED YES 0.05/0.08 (REJECTED 0.55)
AProVE_AC_04/AC05.xml 11768798 CERTIFIED YES 6.45/3.00 (CERTIFIED 0.50) REJECTED YES 0.06/0.11 (REJECTED 0.55)
AProVE_AC_04/AC06.xml 11768780 CERTIFIED YES 4.45/2.09 (CERTIFIED 0.18) REJECTED YES 0.08/0.11 (REJECTED 0.76)
AProVE_AC_04/AC07.xml 11768787 CERTIFIED YES 5.30/2.26 (CERTIFIED 0.35) CERTIFIED YES 0.03/0.04 (CERTIFIED 0.39)
AProVE_AC_04/AC09.xml 11768788 CERTIFIED YES 3.37/1.75 (CERTIFIED 0.08) REJECTED YES 0.05/0.07 (REJECTED 0.47)
AProVE_AC_04/AC10.xml 11768773 CERTIFIED YES 3.39/1.81 (CERTIFIED 0.07) REJECTED YES 0.05/0.07 (REJECTED 0.43)
AProVE_AC_04/AC11.xml 11768785 CERTIFIED YES 7.07/3.35 (CERTIFIED 0.09) CERTIFIED YES 0.03/0.04 (CERTIFIED 0.37)
AProVE_AC_04/AC12.xml 11768797 CERTIFIED YES 3.97/1.89 (CERTIFIED 0.06) REJECTED YES 0.08/0.13 (REJECTED 0.53)
AProVE_AC_04/AC13.xml 11768800 CERTIFIED YES 3.50/1.66 (CERTIFIED 0.08) REJECTED YES 0.05/0.07 (REJECTED 0.44)
AProVE_AC_04/AC14.xml 11768801 CERTIFIED YES 3.78/1.91 (CERTIFIED 0.11) REJECTED YES 0.05/0.07 (REJECTED 0.43)
AProVE_AC_04/AC15.xml 11768796 CERTIFIED YES 3.45/1.67 (CERTIFIED 0.03) REJECTED YES 0.04/0.05 (REJECTED 0.28)
AProVE_AC_04/AC16.xml 11768786 CERTIFIED YES 4.73/2.05 (CERTIFIED 0.06) REJECTED YES 0.09/0.12 (REJECTED 0.54)
AProVE_AC_04/AC17.xml 11768772 CERTIFIED YES 5.89/2.46 (CERTIFIED 0.10) MAYBE 0.04/0.07
AProVE_AC_04/AC18.xml 11768784 CERTIFIED YES 11.32/5.47 (CERTIFIED 0.39) MAYBE 0.08/0.14
AProVE_AC_04/AC19.xml 11768774 CERTIFIED YES 4.49/1.97 (CERTIFIED 0.08) CERTIFIED YES 0.03/0.04 (CERTIFIED 0.42)
AProVE_AC_04/AC20.xml 11768794 CERTIFIED YES 6.20/3.52 (CERTIFIED 0.44) REJECTED YES 0.05/0.08 (REJECTED 0.54)
AProVE_AC_04/AC21.xml 11768805 CERTIFIED YES 16.34/5.95 (CERTIFIED 2.23) MAYBE 0.11/0.17
AProVE_AC_04/AC22.xml 11768776 CERTIFIED YES 9.20/4.09 (CERTIFIED 0.45) MAYBE 0.24/0.36
AProVE_AC_04/AC23.xml 11768781 CERTIFIED YES 3.91/1.93 (CERTIFIED 0.11) MAYBE 0.09/0.14
AProVE_AC_04/AC24.xml 11768782 CERTIFIED YES 3.74/2.43 (CERTIFIED 0.09) MAYBE 0.04/0.07
AProVE_AC_04/AC26.xml 11768806 CERTIFIED YES 3.63/1.87 (CERTIFIED 0.08) REJECTED YES 0.06/0.09 (REJECTED 0.57)
AProVE_AC_04/AC27.xml 11768793 CERTIFIED YES 6.00/2.56 (CERTIFIED 0.33) REJECTED YES 0.12/0.16 (REJECTED 0.61)
AProVE_AC_04/AC28.xml 11768802 CERTIFIED YES 14.01/5.51 (CERTIFIED 0.13) CERTIFIED YES 0.02/0.04 (CERTIFIED 0.29)
AProVE_AC_04/AC41.xml 11768778 CERTIFIED YES 4.76/2.94 (CERTIFIED 0.27) CERTIFIED YES 0.03/0.04 (CERTIFIED 0.34)
AProVE_AC_04/AC48.xml 11768777 CERTIFIED YES 3.27/1.67 (CERTIFIED 0.06) REJECTED YES 0.04/0.06 (REJECTED 0.40)
AProVE_AC_04/AC49.xml 11768790 CERTIFIED YES 6.79/2.80 (CERTIFIED 0.13) CERTIFIED YES 0.04/0.07 (CERTIFIED 0.50)
AProVE_AC_04/AC50.xml 11768775 CERTIFIED YES 7.32/2.93 (CERTIFIED 0.11) CERTIFIED YES 0.04/0.07 (CERTIFIED 0.62)
AProVE_AC_04/AC51.xml 11768783 CERTIFIED YES 3.55/1.74 (CERTIFIED 0.04) CERTIFIED YES 0.02/0.03 (CERTIFIED 0.19)
AProVE_AC_04/AC52.xml 11768795 CERTIFIED YES 5.34/2.30 (CERTIFIED 0.18) REJECTED YES 0.29/0.43 (REJECTED 0.30)
AProVE_AC_04/AC53.xml 11768804 CERTIFIED YES 4.31/2.11 (CERTIFIED 0.07) CERTIFIED YES 0.02/0.03 (CERTIFIED 0.07)
AProVE_AC_04/AC54.xml 11768803 CERTIFIED YES 7.36/2.89 (CERTIFIED 0.71) CERTIFIED YES 0.05/0.08 (CERTIFIED 0.75)
AProVE_AC_04/IJCAR_AC1.xml 11768789 CERTIFIED YES 6.74/2.72 (CERTIFIED 0.50) REJECTED YES 0.06/0.09 (REJECTED 0.59)
Mixed_AC/bag-sum-prod-bin.xml 11768745 CERTIFIED YES 4.22/1.95 (CERTIFIED 0.17) MAYBE 0.05/0.08
Mixed_AC/bag-sum-prod-distr.xml 11768748 CERTIFIED YES 4.06/3.02 (CERTIFIED 0.18) MAYBE 0.06/0.09
Mixed_AC/bag-sum-prod.xml 11768750 CERTIFIED YES 4.03/1.90 (CERTIFIED 0.12) REJECTED YES 0.05/0.08 (REJECTED 0.64)
Mixed_AC/BAG_complete-noand.xml 11768757 CERTIFIED YES 63.72/41.49 (CERTIFIED 5.96) MAYBE 14.4/14.19
Mixed_AC/BAG_complete.xml 11768763 CERTIFIED YES 89.98/71.36 (CERTIFIED 4.48) MAYBE 0.79/1.10
Mixed_AC/BAG_nokinds-noand.xml 11768760 CERTIFIED YES 15.86/5.69 (CERTIFIED 2.84) MAYBE 0.56/0.60
Mixed_AC/BAG_nokinds.xml 11768755 CERTIFIED YES 16.75/6.33 (CERTIFIED 2.23) MAYBE 0.63/0.60
Mixed_AC/BAG_nosorts-noand.xml 11768762 CERTIFIED YES 6.02/2.48 (CERTIFIED 0.90) MAYBE 0.13/0.28
Mixed_AC/BAG_nosorts.xml 11768767 CERTIFIED YES 8.34/1.90 (CERTIFIED 0.19) MAYBE 0.06/0.09
Mixed_AC/boolean_rings.xml 11768756 CERTIFIED YES 3.59/1.71 (CERTIFIED 0.13) REJECTED YES 0.07/0.15 (REJECTED 0.64)
Mixed_AC/differ.xml 11768754 CERTIFIED YES 12.30/5.25 (CERTIFIED 0.14) CERTIFIED YES 0.02/0.02 (CERTIFIED 0.20)
Mixed_AC/intersect.xml 11768744 CERTIFIED YES 3.79/1.82 (CERTIFIED 0.12) REJECTED YES 0.08/0.12 (REJECTED 0.48)
Mixed_AC/kusakari1.xml 11768766 CERTIFIED YES 6.41/2.71 (CERTIFIED 0.11) CERTIFIED YES 0.02/0.02 (CERTIFIED 0.14)
Mixed_AC/RENAMED-BOOL_complete-noand.xml 11768749 ERROR 322.47/294.87 MAYBE 134.24/134.20
Mixed_AC/RENAMED-BOOL_complete.xml 11768753 ERROR 304.90/291.71 MAYBE 0.7/0.66
Mixed_AC/RENAMED-BOOL_nokinds-noand.xml 11768752 CERTIFIED YES 23.18/8.84 (CERTIFIED 2.42) MAYBE 0.73/0.70
Mixed_AC/RENAMED-BOOL_nokinds.xml 11768751 CERTIFIED YES 33.57/24.51 (CERTIFIED 1.90) MAYBE 0.13/0.34
Mixed_AC/RENAMED-BOOL_nosorts-noand.xml 11768747 ERROR 8.89/3.53 MAYBE 0.12/0.42
Mixed_AC/RENAMED-BOOL_nosorts.xml 11768758 ERROR 6.95/2.84 MAYBE 0.09/0.22
Mixed_AC/sequent_modulo.xml 11768746 CERTIFIED YES 27.84/18.16 (CERTIFIED 2.66) MAYBE 13.64/10.21
Mixed_AC/YWHM14_1.xml 11768743 CERTIFIED YES 4.15/1.84 (CERTIFIED 0.04) CERTIFIED YES 0.03/0.03 (CERTIFIED 0.19)
Mixed_AC/YWHM14_2.xml 11768765 CERTIFIED YES 4.22/1.92 (CERTIFIED 0.04) REJECTED YES 0.11/0.14 (REJECTED 0.30)
Mixed_AC/YWHM14_3.xml 11768759 CERTIFIED YES 4.14/1.94 (CERTIFIED 0.11) CERTIFIED YES 0.03/0.04 (CERTIFIED 0.35)
Mixed_AC/YWHM14_4.xml 11768761 CERTIFIED YES 4.96/2.03 (CERTIFIED 0.06) CERTIFIED YES 0.04/0.05 (CERTIFIED 0.40)
Mixed_AC/YWHM14_5.xml 11768764 CERTIFIED YES 3.43/1.69 (CERTIFIED 0.03) CERTIFIED YES 0.02/0.03 (CERTIFIED 0.18)
Mixed_AC_and_C/AC08.xml 11768769 CERTIFIED YES 6.74/2.85 (CERTIFIED 0.56) REJECTED YES 0.06/0.07 (REJECTED 0.53)
Mixed_AC_and_C/AC29.xml 11768768 CERTIFIED YES 3.87/2.00 (CERTIFIED 0.17) CERTIFIED YES 0.03/0.04 (CERTIFIED 0.32)
Mixed_AC_and_C/AC47.xml 11768770 CERTIFIED YES 7.52/2.93 (CERTIFIED 0.42) CERTIFIED YES 0.05/0.07 (CERTIFIED 0.49)
Mixed_AC_and_C/rationals.xml 11768771 ERROR 44.19/32.47 MAYBE 0.11/0.16
Mixed_C/AC42.xml 11768731 CERTIFIED YES 4.55/2.02 (CERTIFIED 0.19) REJECTED YES 0.03/0.03 (REJECTED 0.25)
Mixed_C/AC43.xml 11768736 CERTIFIED YES 4.49/2.10 (CERTIFIED 0.18) REJECTED YES 0.02/0.03 (REJECTED 0.21)
Mixed_C/AC44.xml 11768734 CERTIFIED YES 4.73/2.19 (CERTIFIED 0.20) REJECTED YES 0.03/0.04 (REJECTED 0.27)
Mixed_C/AC45.xml 11768732 CERTIFIED YES 4.75/8.03 (CERTIFIED 0.16) CERTIFIED YES 0.03/0.04 (CERTIFIED 0.27)
Mixed_C/AC46.xml 11768740 CERTIFIED YES 6.78/2.81 (CERTIFIED 0.52) CERTIFIED YES 0.06/0.13 (CERTIFIED 0.66)
Mixed_C/maude2.xml 11768738 ERROR 6.33/2.51 MAYBE 0.07/0.46
Mixed_C/PEANO-NAT_complete-noand.xml 11768733 ERROR 335.85/297.73 MAYBE 51.63/51.40
Mixed_C/PEANO-NAT_complete.xml 11768737 ERROR 160.81/142.29 MAYBE 1.64/1.50
Mixed_C/PEANO-NAT_nokinds-noand.xml 11768742 ERROR 16.69/7.73 MAYBE 0.84/0.82
Mixed_C/PEANO-NAT_nokinds.xml 11768739 ERROR 16.20/14.52 MAYBE 0.58/0.60
Mixed_C/PEANO-NAT_nosorts-noand.xml 11768741 ERROR 11.01/6.03 MAYBE 0.09/0.27
Mixed_C/PEANO-NAT_nosorts.xml 11768735 ERROR 9.61/5.38 MAYBE 0.06/0.19
64 22