Termination Competition 2020
: TRS Equational Certified
41234
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