Termination Competition 2018: TRS Equational Certified
30043
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