Termination Competition 2018
: TRS Equational
30042
Job info CSV
benchmark
AProVE
standard
NaTT
Default
muterm 5.18
default
TRS_
Equational/
Mixed_
AC/
kusakari1.xml
5164357
YES
6.58/2.74
YES
0.02/0.02
YES
0.23/0.27
TRS_
Equational/
Mixed_
AC/
RENAMED-BOOL_
nosorts.xml
5164358
NO
13.24/6.03
NO
0.22/0.18
MAYBE
123.03/137.53
TRS_
Equational/
Mixed_
AC/
RENAMED-BOOL_
complete-noand.xml
5164359
timeout (wallclock)
[out]
MAYBE
16.31/15.97
timeout (wallclock)
[out]
TRS_
Equational/
Mixed_
AC/
boolean_
rings.xml
5164360
YES
3.11/1.51
YES
0.09/0.07
YES
3.14/3.46
TRS_
Equational/
Mixed_
AC/
intersect.xml
5164361
YES
3.10/1.53
YES
0.15/0.12
YES
3.04/3.33
TRS_
Equational/
Mixed_
AC/
YWHM14_
2.xml
5164362
YES
4.25/1.80
YES
0.03/0.02
YES
0.09/0.09
TRS_
Equational/
Mixed_
AC/
BAG_
complete-noand.xml
5164363
YES
65.61/42.75
MAYBE
6.94/6.62
YES
26.45/27.67
TRS_
Equational/
Mixed_
AC/
RENAMED-BOOL_
nokinds.xml
5164364
YES
25.48/11.15
MAYBE
1.18/1.08
YES
17.90/18.49
TRS_
Equational/
Mixed_
AC/
YWHM14_
4.xml
5164365
YES
4.14/1.73
YES
0.03/0.03
YES
0.36/0.46
TRS_
Equational/
Mixed_
AC/
BAG_
nokinds.xml
5164366
YES
19.77/7.54
MAYBE
0.45/0.36
YES
3.90/4.71
TRS_
Equational/
Mixed_
AC/
sequent_
modulo.xml
5164367
YES
24.29/10.59
MAYBE
18.47/15.00
YES
102.66/103.20
TRS_
Equational/
Mixed_
AC/
YWHM14_
3.xml
5164368
YES
4.42/1.99
YES
0.05/0.04
YES
0.22/0.24
TRS_
Equational/
Mixed_
AC/
RENAMED-BOOL_
nokinds-noand.xml
5164369
YES
20.60/7.84
MAYBE
0.69/0.61
YES
17.38/18.82
TRS_
Equational/
Mixed_
AC/
BAG_
nokinds-noand.xml
5164370
YES
15.79/5.67
MAYBE
0.68/0.55
YES
6.01/6.88
TRS_
Equational/
Mixed_
AC/
differ.xml
5164371
YES
3.34/1.60
YES
0.03/0.03
YES
0.30/0.39
TRS_
Equational/
Mixed_
AC/
BAG_
nosorts.xml
5164372
YES
4.36/1.89
MAYBE
0.13/0.10
YES
2.33/2.60
TRS_
Equational/
Mixed_
AC/
YWHM14_
5.xml
5164373
YES
3.29/1.54
YES
0.01/0.01
YES
0.04/0.05
TRS_
Equational/
Mixed_
AC/
bag-sum-prod-bin.xml
5164374
YES
4.08/1.80
MAYBE
0.12/0.09
YES
2.54/2.81
TRS_
Equational/
Mixed_
AC/
RENAMED-BOOL_
nosorts-noand.xml
5164375
NO
28.67/14.83
MAYBE
0.32/0.24
MAYBE
9.27/11.07
TRS_
Equational/
Mixed_
AC/
bag-sum-prod.xml
5164376
YES
3.06/1.51
YES
0.08/0.06
YES
1.46/1.59
TRS_
Equational/
Mixed_
AC/
bag-sum-prod-distr.xml
5164377
YES
4.06/1.83
MAYBE
0.14/0.11
YES
15.62/18.99
TRS_
Equational/
Mixed_
AC/
BAG_
complete.xml
5164378
run script error
[out]
MAYBE
1.08/0.85
YES
18.99/19.54
TRS_
Equational/
Mixed_
AC/
YWHM14_
1.xml
5164379
YES
3.25/1.56
YES
0.02/0.02
YES
0.04/0.04
TRS_
Equational/
Mixed_
AC/
RENAMED-BOOL_
complete.xml
5164380
run script error
[out]
MAYBE
0.75/0.57
run script error
[out]
TRS_
Equational/
Mixed_
AC/
BAG_
nosorts-noand.xml
5164381
YES
6.12/2.46
MAYBE
0.35/0.26
YES
2.26/2.98
TRS_
Equational/
AProVE_
AC_
04/
AC41.xml
5164398
YES
5.46/2.45
YES
0.04/0.04
YES
0.26/0.31
TRS_
Equational/
AProVE_
AC_
04/
AC09.xml
5164399
YES
3.13/1.51
YES
0.07/0.06
YES
6.34/7.27
TRS_
Equational/
AProVE_
AC_
04/
AC50.xml
5164400
YES
6.39/2.59
YES
0.08/0.07
YES
0.44/0.46
TRS_
Equational/
AProVE_
AC_
04/
AC15.xml
5164401
YES
3.14/1.47
YES
0.02/0.02
YES
0.03/0.04
TRS_
Equational/
AProVE_
AC_
04/
AC10.xml
5164402
YES
3.13/1.56
YES
0.08/0.06
YES
3.83/4.63
TRS_
Equational/
AProVE_
AC_
04/
AC27.xml
5164403
YES
3.31/1.52
YES
0.20/0.15
YES
16.76/19.03
TRS_
Equational/
AProVE_
AC_
04/
AC05.xml
5164404
YES
5.93/2.45
YES
0.09/0.08
YES
1.14/1.29
TRS_
Equational/
AProVE_
AC_
04/
AC26.xml
5164405
YES
3.37/1.59
YES
0.09/0.07
YES
3.97/5.98
TRS_
Equational/
AProVE_
AC_
04/
AC01.xml
5164406
YES
3.38/1.54
YES
0.02/0.02
YES
0.14/0.15
TRS_
Equational/
AProVE_
AC_
04/
AC12.xml
5164407
run script error
[out]
YES
0.03/0.03
YES
0.15/0.16
TRS_
Equational/
AProVE_
AC_
04/
AC17.xml
5164408
YES
5.74/2.40
run script error
[out]
YES
4.54/4.71
TRS_
Equational/
AProVE_
AC_
04/
AC24.xml
5164409
YES
3.78/1.72
MAYBE
0.10/0.08
YES
1.93/2.24
TRS_
Equational/
AProVE_
AC_
04/
AC02.xml
5164410
YES
3.10/1.49
YES
0.03/0.03
YES
0.16/0.18
TRS_
Equational/
AProVE_
AC_
04/
AC51.xml
5164411
YES
3.76/1.89
YES
0.03/0.03
YES
0.51/0.63
TRS_
Equational/
AProVE_
AC_
04/
AC53.xml
5164412
YES
4.81/2.00
YES
0.03/0.02
YES
0.10/0.13
TRS_
Equational/
AProVE_
AC_
04/
AC19.xml
5164413
YES
3.37/1.58
YES
0.03/0.03
YES
0.19/0.20
TRS_
Equational/
AProVE_
AC_
04/
AC06.xml
5164414
YES
3.25/1.60
YES
0.12/0.10
YES
3.00/3.74
TRS_
Equational/
AProVE_
AC_
04/
AC49.xml
5164415
YES
7.66/2.95
YES
0.08/0.07
YES
0.31/0.33
TRS_
Equational/
AProVE_
AC_
04/
AC14.xml
5164416
YES
2.99/1.50
YES
0.07/0.06
YES
3.72/4.29
TRS_
Equational/
AProVE_
AC_
04/
AC22.xml
5164417
YES
9.03/3.76
MAYBE
0.34/0.25
YES
40.03/42.42
TRS_
Equational/
AProVE_
AC_
04/
AC21.xml
5164418
YES
14.65/5.32
MAYBE
0.24/0.18
YES
7.76/10.27
TRS_
Equational/
AProVE_
AC_
04/
AC13.xml
5164419
run script error
[out]
YES
0.07/0.06
YES
5.87/7.16
TRS_
Equational/
AProVE_
AC_
04/
AC20.xml
5164420
YES
5.98/2.31
YES
0.08/0.06
YES
1.00/1.49
TRS_
Equational/
AProVE_
AC_
04/
AC07.xml
5164421
YES
4.68/2.10
YES
0.08/0.07
YES
0.56/0.70
TRS_
Equational/
AProVE_
AC_
04/
AC04.xml
5164422
YES
5.94/2.34
YES
0.08/0.07
YES
1.02/1.09
TRS_
Equational/
AProVE_
AC_
04/
AC54.xml
5164423
YES
7.03/2.70
YES
0.07/0.06
YES
0.48/0.53
TRS_
Equational/
AProVE_
AC_
04/
AC11.xml
5164424
YES
3.47/1.63
YES
0.03/0.03
YES
0.14/0.15
TRS_
Equational/
AProVE_
AC_
04/
AC48.xml
5164425
YES
3.14/1.47
YES
0.06/0.05
YES
1.19/1.45
TRS_
Equational/
AProVE_
AC_
04/
AC03.xml
5164426
YES
3.19/1.58
YES
0.07/0.05
YES
0.96/1.03
TRS_
Equational/
AProVE_
AC_
04/
IJCAR_
AC1.xml
5164427
YES
6.02/2.53
YES
0.09/0.07
YES
1.30/1.60
TRS_
Equational/
AProVE_
AC_
04/
AC52.xml
5164428
YES
6.68/2.63
YES
0.60/0.49
YES
1.62/1.85
TRS_
Equational/
AProVE_
AC_
04/
AC23.xml
5164429
YES
3.76/1.76
MAYBE
0.19/0.14
YES
12.90/14.94
TRS_
Equational/
AProVE_
AC_
04/
AC18.xml
5164430
YES
11.52/5.55
run script error
[out]
YES
6.61/8.53
TRS_
Equational/
AProVE_
AC_
04/
AC28.xml
5164431
YES
15.22/6.50
run script error
[out]
run script error
[out]
TRS_
Equational/
AProVE_
AC_
04/
AC16.xml
5164432
YES
3.39/2.30
YES
0.02/0.02
YES
0.11/0.13
TRS_
Equational/
Mixed_
C/
PEANO-NAT_
nokinds-noand.xml
5164386
MAYBE
17.23/11.08
MAYBE
1.09/0.94
MAYBE
7.86/8.42
TRS_
Equational/
Mixed_
C/
PEANO-NAT_
nosorts-noand.xml
5164387
MAYBE
10.42/5.45
MAYBE
0.46/0.36
MAYBE
1.74/2.06
TRS_
Equational/
Mixed_
C/
AC44.xml
5164388
YES
4.38/2.03
run script error
[out]
YES
0.26/0.35
TRS_
Equational/
Mixed_
C/
PEANO-NAT_
nokinds.xml
5164389
MAYBE
17.28/10.10
MAYBE
0.70/0.58
MAYBE
4.23/4.66
TRS_
Equational/
Mixed_
C/
AC43.xml
5164390
YES
4.42/2.02
YES
0.04/0.03
YES
0.20/0.22
TRS_
Equational/
Mixed_
C/
AC45.xml
5164391
YES
4.52/2.13
YES
0.04/0.04
YES
0.20/0.21
TRS_
Equational/
Mixed_
C/
AC42.xml
5164392
YES
4.25/1.87
YES
0.04/0.05
YES
0.23/0.23
TRS_
Equational/
Mixed_
C/
maude2.xml
5164393
MAYBE
6.49/2.71
MAYBE
0.28/0.24
MAYBE
3.00/3.23
TRS_
Equational/
Mixed_
C/
PEANO-NAT_
nosorts.xml
5164394
MAYBE
10.98/5.68
MAYBE
0.26/0.22
MAYBE
1.43/1.57
TRS_
Equational/
Mixed_
C/
PEANO-NAT_
complete.xml
5164395
MAYBE
208.73/185.66
MAYBE
1.69/1.42
MAYBE
20.39/21.23
TRS_
Equational/
Mixed_
C/
AC46.xml
5164396
YES
6.51/2.68
YES
0.11/0.12
YES
0.70/0.83
TRS_
Equational/
Mixed_
C/
PEANO-NAT_
complete-noand.xml
5164397
run script error
[out]
MAYBE
7.76/7.35
MAYBE
47.08/48.40
TRS_
Equational/
Mixed_
AC_
and_
C/
AC47.xml
5164382
YES
7.52/3.03
YES
0.06/0.06
YES
0.41/0.93
TRS_
Equational/
Mixed_
AC_
and_
C/
AC29.xml
5164383
YES
3.48/1.58
YES
0.02/0.02
YES
0.29/0.27
TRS_
Equational/
Mixed_
AC_
and_
C/
rationals.xml
5164384
MAYBE
39.70/28.72
run script error
[out]
MAYBE
201.75/213.40
TRS_
Equational/
Mixed_
AC_
and_
C/
AC08.xml
5164385
YES
3.20/1.51
YES
0.07/0.06
YES
2.73/3.36
64
46
63