Termination Competition 2018
: TRS Equational Certified
30043
Job info CSV
benchmark
AProVE
certified
NaTT
Certified_AC
TRS_
Equational/
Mixed_
C/
PEANO-NAT_
nokinds-noand.xml
5164386
MAYBE
16.33/12.69
MAYBE
0.46/0.44
TRS_
Equational/
Mixed_
C/
PEANO-NAT_
nosorts-noand.xml
5164387
MAYBE
10.56/5.41
MAYBE
0.10/0.08
TRS_
Equational/
Mixed_
C/
AC44.xml
5164388
YES
4.70/2.14
(CERTIFIED
0.0
)
YES
0.05/0.05
(CERTIFIED
0.0
)
TRS_
Equational/
Mixed_
C/
PEANO-NAT_
nokinds.xml
5164389
MAYBE
16.03/7.83
MAYBE
0.22/0.20
TRS_
Equational/
Mixed_
C/
AC43.xml
5164390
YES
4.54/2.19
(CERTIFIED
0.0
)
YES
0.04/0.04
(CERTIFIED
0.0
)
TRS_
Equational/
Mixed_
C/
AC45.xml
5164391
YES
4.88/2.18
(CERTIFIED
0.0
)
YES
0.04/0.04
(CERTIFIED
0.0
)
TRS_
Equational/
Mixed_
C/
AC42.xml
5164392
YES
4.41/1.91
(CERTIFIED
0.0
)
YES
0.04/0.04
(CERTIFIED
0.0
)
TRS_
Equational/
Mixed_
C/
maude2.xml
5164393
MAYBE
6.85/2.81
MAYBE
0.19/0.18
TRS_
Equational/
Mixed_
C/
PEANO-NAT_
nosorts.xml
5164394
MAYBE
10.34/6.34
MAYBE
0.08/0.08
TRS_
Equational/
Mixed_
C/
PEANO-NAT_
complete.xml
5164395
MAYBE
186.09/162.53
MAYBE
0.50/0.47
TRS_
Equational/
Mixed_
C/
AC46.xml
5164396
YES
6.46/2.64
(CERTIFIED
0.0
)
YES
0.12/0.12
(CERTIFIED
0.0
)
TRS_
Equational/
Mixed_
C/
PEANO-NAT_
complete-noand.xml
5164397
MAYBE
333.93/298.31
MAYBE
6.46/6.41
TRS_
Equational/
Mixed_
AC_
and_
C/
AC47.xml
5164382
YES
7.49/2.88
(CERTIFIED
0.0
)
YES
0.07/0.06
(CERTIFIED
0.0
)
TRS_
Equational/
Mixed_
AC_
and_
C/
AC29.xml
5164383
YES
3.93/1.81
(CERTIFIED
0.0
)
YES
0.02/0.02
(CERTIFIED
0.0
)
TRS_
Equational/
Mixed_
AC_
and_
C/
rationals.xml
5164384
MAYBE
45.91/35.48
MAYBE
0.10/0.08
TRS_
Equational/
Mixed_
AC_
and_
C/
AC08.xml
5164385
YES
6.38/2.61
(CERTIFIED
0.0
)
MAYBE
0.04/0.04
TRS_
Equational/
Mixed_
AC/
kusakari1.xml
5164357
YES
6.41/2.70
(CERTIFIED
0.0
)
YES
0.03/0.03
(CERTIFIED
0.0
)
TRS_
Equational/
Mixed_
AC/
RENAMED-BOOL_
nosorts.xml
5164358
MAYBE
7.05/2.77
MAYBE
0.05/0.04
TRS_
Equational/
Mixed_
AC/
RENAMED-BOOL_
complete-noand.xml
5164359
MAYBE
330.45/294.58
MAYBE
16.23/16.24
TRS_
Equational/
Mixed_
AC/
boolean_
rings.xml
5164360
YES
3.70/1.80
(CERTIFIED
0.0
)
MAYBE
0.04/0.04
TRS_
Equational/
Mixed_
AC/
intersect.xml
5164361
YES
3.70/1.75
(CERTIFIED
0.0
)
MAYBE
0.04/0.04
TRS_
Equational/
Mixed_
AC/
YWHM14_
2.xml
5164362
YES
4.00/1.82
(CERTIFIED
0.0
)
YES
0.05/0.05
(CERTIFIED
0.0
)
TRS_
Equational/
Mixed_
AC/
BAG_
complete-noand.xml
5164363
YES
60.85/45.89
(CERTIFIED
0.3
)
MAYBE
6.69/6.64
TRS_
Equational/
Mixed_
AC/
RENAMED-BOOL_
nokinds.xml
5164364
YES
36.07/19.86
(CERTIFIED
0.1
)
MAYBE
0.16/0.15
TRS_
Equational/
Mixed_
AC/
YWHM14_
4.xml
5164365
YES
4.60/1.96
(CERTIFIED
0.0
)
YES
0.04/0.04
(CERTIFIED
0.0
)
TRS_
Equational/
Mixed_
AC/
BAG_
nokinds.xml
5164366
YES
18.66/6.66
(CERTIFIED
0.1
)
MAYBE
0.17/0.16
TRS_
Equational/
Mixed_
AC/
sequent_
modulo.xml
5164367
YES
32.71/15.31
(CERTIFIED
0.1
)
MAYBE
0.29/0.26
TRS_
Equational/
Mixed_
AC/
YWHM14_
3.xml
5164368
YES
4.24/1.85
(CERTIFIED
0.0
)
run script error
[out]
TRS_
Equational/
Mixed_
AC/
RENAMED-BOOL_
nokinds-noand.xml
5164369
YES
23.80/8.88
(CERTIFIED
0.1
)
MAYBE
0.26/0.24
TRS_
Equational/
Mixed_
AC/
BAG_
nokinds-noand.xml
5164370
YES
14.15/5.26
(CERTIFIED
0.1
)
MAYBE
0.34/0.32
TRS_
Equational/
Mixed_
AC/
differ.xml
5164371
YES
12.03/5.08
(CERTIFIED
0.0
)
YES
0.04/0.03
(CERTIFIED
0.0
)
TRS_
Equational/
Mixed_
AC/
BAG_
nosorts.xml
5164372
YES
4.07/1.89
(CERTIFIED
0.0
)
MAYBE
0.05/0.05
TRS_
Equational/
Mixed_
AC/
YWHM14_
5.xml
5164373
YES
3.37/1.62
(CERTIFIED
0.0
)
YES
0.03/0.03
(CERTIFIED
0.0
)
TRS_
Equational/
Mixed_
AC/
bag-sum-prod-bin.xml
5164374
YES
4.14/1.90
(CERTIFIED
0.0
)
MAYBE
0.05/0.04
TRS_
Equational/
Mixed_
AC/
RENAMED-BOOL_
nosorts-noand.xml
5164375
MAYBE
9.41/4.42
MAYBE
0.09/0.07
TRS_
Equational/
Mixed_
AC/
bag-sum-prod.xml
5164376
YES
3.99/1.80
(CERTIFIED
0.0
)
MAYBE
0.05/0.04
TRS_
Equational/
Mixed_
AC/
bag-sum-prod-distr.xml
5164377
YES
4.07/1.83
(CERTIFIED
0.0
)
MAYBE
0.05/0.05
TRS_
Equational/
Mixed_
AC/
BAG_
complete.xml
5164378
YES
146.69/126.20
(CERTIFIED
0.2
)
MAYBE
0.38/0.36
TRS_
Equational/
Mixed_
AC/
YWHM14_
1.xml
5164379
YES
4.23/1.89
(CERTIFIED
0.0
)
YES
0.03/0.03
(CERTIFIED
0.0
)
TRS_
Equational/
Mixed_
AC/
RENAMED-BOOL_
complete.xml
5164380
MAYBE
305.31/292.08
MAYBE
0.32/0.29
TRS_
Equational/
Mixed_
AC/
BAG_
nosorts-noand.xml
5164381
YES
5.95/2.53
(CERTIFIED
0.0
)
MAYBE
0.10/0.08
TRS_
Equational/
AProVE_
AC_
04/
AC41.xml
5164398
YES
4.70/2.08
(CERTIFIED
0.0
)
YES
0.05/0.05
(CERTIFIED
0.0
)
TRS_
Equational/
AProVE_
AC_
04/
AC09.xml
5164399
YES
3.44/1.98
(CERTIFIED
0.0
)
MAYBE
0.03/0.03
TRS_
Equational/
AProVE_
AC_
04/
AC50.xml
5164400
YES
6.39/2.77
(CERTIFIED
0.0
)
ERROR
0.04/0.04
(REJECTED
0.0
)
TRS_
Equational/
AProVE_
AC_
04/
AC15.xml
5164401
YES
3.61/1.75
(CERTIFIED
0.0
)
YES
0.05/0.05
(CERTIFIED
0.0
)
TRS_
Equational/
AProVE_
AC_
04/
AC10.xml
5164402
YES
3.38/1.69
(CERTIFIED
0.0
)
MAYBE
0.03/0.03
TRS_
Equational/
AProVE_
AC_
04/
AC27.xml
5164403
YES
5.94/2.44
(CERTIFIED
0.0
)
MAYBE
0.04/0.04
TRS_
Equational/
AProVE_
AC_
04/
AC05.xml
5164404
YES
6.25/2.58
(CERTIFIED
0.0
)
MAYBE
0.04/0.04
TRS_
Equational/
AProVE_
AC_
04/
AC26.xml
5164405
YES
3.69/1.75
(CERTIFIED
0.0
)
MAYBE
0.04/0.03
TRS_
Equational/
AProVE_
AC_
04/
AC01.xml
5164406
YES
3.25/1.56
(CERTIFIED
0.0
)
YES
0.03/0.03
(CERTIFIED
0.0
)
TRS_
Equational/
AProVE_
AC_
04/
AC12.xml
5164407
YES
3.93/1.86
(CERTIFIED
0.0
)
YES
0.08/0.07
(CERTIFIED
0.0
)
TRS_
Equational/
AProVE_
AC_
04/
AC17.xml
5164408
YES
5.28/2.29
(CERTIFIED
0.0
)
MAYBE
0.04/0.03
TRS_
Equational/
AProVE_
AC_
04/
AC24.xml
5164409
YES
3.72/1.75
(CERTIFIED
0.0
)
MAYBE
0.04/0.03
TRS_
Equational/
AProVE_
AC_
04/
AC02.xml
5164410
YES
3.39/1.74
(CERTIFIED
0.0
)
YES
0.04/0.03
(CERTIFIED
0.0
)
TRS_
Equational/
AProVE_
AC_
04/
AC51.xml
5164411
run script error
[out]
YES
0.04/0.04
(CERTIFIED
0.0
)
TRS_
Equational/
AProVE_
AC_
04/
AC53.xml
5164412
YES
4.66/1.99
(CERTIFIED
0.0
)
YES
0.04/0.04
(CERTIFIED
0.0
)
TRS_
Equational/
AProVE_
AC_
04/
AC19.xml
5164413
YES
4.55/2.04
(CERTIFIED
0.0
)
YES
0.03/0.03
(CERTIFIED
0.0
)
TRS_
Equational/
AProVE_
AC_
04/
AC06.xml
5164414
YES
4.39/2.07
(CERTIFIED
0.0
)
MAYBE
0.05/0.04
TRS_
Equational/
AProVE_
AC_
04/
AC49.xml
5164415
YES
6.77/2.79
(CERTIFIED
0.0
)
ERROR
0.04/0.04
(REJECTED
0.0
)
TRS_
Equational/
AProVE_
AC_
04/
AC14.xml
5164416
YES
3.40/1.64
(CERTIFIED
0.0
)
MAYBE
0.03/0.03
TRS_
Equational/
AProVE_
AC_
04/
AC22.xml
5164417
YES
9.53/4.08
(CERTIFIED
0.0
)
MAYBE
0.06/0.05
TRS_
Equational/
AProVE_
AC_
04/
AC21.xml
5164418
YES
15.08/5.55
(CERTIFIED
0.1
)
MAYBE
0.07/0.06
TRS_
Equational/
AProVE_
AC_
04/
AC13.xml
5164419
YES
3.50/1.67
(CERTIFIED
0.0
)
MAYBE
0.03/0.03
TRS_
Equational/
AProVE_
AC_
04/
AC20.xml
5164420
YES
6.00/2.57
(CERTIFIED
0.0
)
MAYBE
0.04/0.04
TRS_
Equational/
AProVE_
AC_
04/
AC07.xml
5164421
YES
5.29/2.36
(CERTIFIED
0.0
)
YES
0.05/0.05
(CERTIFIED
0.0
)
TRS_
Equational/
AProVE_
AC_
04/
AC04.xml
5164422
YES
6.15/2.46
(CERTIFIED
0.0
)
MAYBE
0.04/0.03
TRS_
Equational/
AProVE_
AC_
04/
AC54.xml
5164423
YES
6.92/2.70
(CERTIFIED
0.0
)
YES
0.09/0.08
(CERTIFIED
0.0
)
TRS_
Equational/
AProVE_
AC_
04/
AC11.xml
5164424
YES
8.24/3.40
(CERTIFIED
0.0
)
YES
0.03/0.03
(CERTIFIED
0.0
)
TRS_
Equational/
AProVE_
AC_
04/
AC48.xml
5164425
YES
3.32/1.89
(CERTIFIED
0.0
)
MAYBE
0.03/0.03
TRS_
Equational/
AProVE_
AC_
04/
AC03.xml
5164426
YES
5.98/2.58
(CERTIFIED
0.0
)
MAYBE
0.04/0.03
TRS_
Equational/
AProVE_
AC_
04/
IJCAR_
AC1.xml
5164427
YES
7.07/2.89
(CERTIFIED
0.0
)
MAYBE
0.05/0.05
TRS_
Equational/
AProVE_
AC_
04/
AC52.xml
5164428
YES
5.14/2.22
(CERTIFIED
0.0
)
MAYBE
0.03/0.03
TRS_
Equational/
AProVE_
AC_
04/
AC23.xml
5164429
YES
3.82/1.88
(CERTIFIED
0.0
)
MAYBE
0.04/0.04
TRS_
Equational/
AProVE_
AC_
04/
AC18.xml
5164430
YES
11.88/5.70
(CERTIFIED
0.0
)
MAYBE
0.05/0.04
TRS_
Equational/
AProVE_
AC_
04/
AC28.xml
5164431
YES
13.94/5.31
(CERTIFIED
0.0
)
ERROR
0.03/0.03
(REJECTED
0.0
)
TRS_
Equational/
AProVE_
AC_
04/
AC16.xml
5164432
YES
4.46/1.93
(CERTIFIED
0.0
)
YES
0.08/0.07
(CERTIFIED
0.0
)
63
25