Termination Competition 2019: TRS Equational Certified33128

Job info CSV
benchmark AProVE certified NaTT Certified_AC
Mixed_C/PEANO-NAT_nokinds-noand.xml 5164386 MAYBE 16.89/7.75 MAYBE 0.10/0.44
Mixed_C/PEANO-NAT_nosorts-noand.xml 5164387 MAYBE 10.80/5.58 MAYBE 0.04/0.09
Mixed_C/AC44.xml 5164388 YES 4.65/2.15 (CERTIFIED 0.1) YES 0.03/0.04 (CERTIFIED 0.1)
Mixed_C/PEANO-NAT_nokinds.xml 5164389 MAYBE 15.13/7.79 MAYBE 0.07/0.20
Mixed_C/AC43.xml 5164390 YES 4.18/2.59 (CERTIFIED 0.1) YES 0.03/0.04 (CERTIFIED 0.1)
Mixed_C/AC45.xml 5164391 YES 4.50/2.15 (CERTIFIED 0.1) YES 0.02/0.04 (CERTIFIED 0.1)
Mixed_C/AC42.xml 5164392 YES 4.40/1.96 (CERTIFIED 0.1) YES 0.02/0.04 (CERTIFIED 0.1)
Mixed_C/maude2.xml 5164393 MAYBE 6.54/2.69 MAYBE 0.03/0.18
Mixed_C/PEANO-NAT_nosorts.xml 5164394 MAYBE 10.35/5.44 MAYBE 0.04/0.08
Mixed_C/PEANO-NAT_complete.xml 5164395 MAYBE 200.34/172.78 MAYBE 0.17/0.48
Mixed_C/AC46.xml 5164396 YES 6.69/2.71 (CERTIFIED 0.2) YES 0.06/0.12 (CERTIFIED 0.3)
Mixed_C/PEANO-NAT_complete-noand.xml 5164397 MAYBE 337.58/298.51 MAYBE 6.47/6.47
AProVE_AC_04/AC41.xml 5164398 YES 4.70/2.24 (CERTIFIED 0.1) YES 0.03/0.05 (CERTIFIED 0.2)
AProVE_AC_04/AC09.xml 5164399 YES 3.44/1.67 (CERTIFIED 0.0) MAYBE 0.02/0.03
AProVE_AC_04/AC50.xml 5164400 YES 7.00/2.83 (CERTIFIED 0.0) ERROR 0.03/0.04 (REJECTED 0.2)
AProVE_AC_04/AC15.xml 5164401 YES 3.20/1.70 (CERTIFIED 0.0) YES 0.02/0.05 (CERTIFIED 0.1)
AProVE_AC_04/AC10.xml 5164402 YES 3.48/2.42 (CERTIFIED 0.0) MAYBE 0.02/0.03
AProVE_AC_04/AC27.xml 5164403 YES 6.06/2.48 (CERTIFIED 0.1) MAYBE 0.03/0.04
AProVE_AC_04/AC05.xml 5164404 YES 6.22/3.14 (CERTIFIED 0.2) MAYBE 0.02/0.03
AProVE_AC_04/AC26.xml 5164405 YES 3.49/1.77 (CERTIFIED 0.0) MAYBE 0.02/0.03
AProVE_AC_04/AC01.xml 5164406 YES 3.24/1.59 (CERTIFIED 0.0) YES 0.02/0.03 (CERTIFIED 0.1)
AProVE_AC_04/AC12.xml 5164407 YES 3.89/1.83 (CERTIFIED 0.0) YES 0.04/0.07 (CERTIFIED 0.2)
AProVE_AC_04/AC17.xml 5164408 YES 5.23/2.33 (CERTIFIED 0.0) MAYBE 0.02/0.03
AProVE_AC_04/AC24.xml 5164409 YES 3.72/3.06 (CERTIFIED 0.0) MAYBE 0.02/0.03
AProVE_AC_04/AC02.xml 5164410 YES 3.29/1.78 (CERTIFIED 0.0) YES 0.02/0.03 (CERTIFIED 0.1)
AProVE_AC_04/AC51.xml 5164411 YES 3.28/1.78 (CERTIFIED 0.0) YES 0.02/0.03 (CERTIFIED 0.1)
AProVE_AC_04/AC53.xml 5164412 YES 4.42/2.09 (CERTIFIED 0.0) YES 0.02/0.03 (CERTIFIED 0.0)
AProVE_AC_04/AC19.xml 5164413 YES 4.63/2.10 (CERTIFIED 0.0) YES 0.02/0.03 (CERTIFIED 0.1)
AProVE_AC_04/AC06.xml 5164414 YES 4.29/1.99 (CERTIFIED 0.1) MAYBE 0.02/0.04
AProVE_AC_04/AC49.xml 5164415 YES 6.70/2.71 (CERTIFIED 0.0) ERROR 0.02/0.04 (REJECTED 0.1)
AProVE_AC_04/AC14.xml 5164416 YES 3.52/1.73 (CERTIFIED 0.0) MAYBE 0.02/0.03
AProVE_AC_04/AC22.xml 5164417 YES 8.76/3.99 (CERTIFIED 0.2) MAYBE 0.03/0.05
AProVE_AC_04/AC21.xml 5164418 YES 16.07/5.93 (CERTIFIED 0.7) MAYBE 0.04/0.06
AProVE_AC_04/AC13.xml 5164419 YES 3.43/1.77 (CERTIFIED 0.0) MAYBE 0.02/0.03
AProVE_AC_04/AC20.xml 5164420 YES 5.87/2.41 (CERTIFIED 0.2) MAYBE 0.02/0.04
AProVE_AC_04/AC07.xml 5164421 YES 5.44/2.46 (CERTIFIED 0.1) YES 0.04/0.05 (CERTIFIED 0.2)
AProVE_AC_04/AC04.xml 5164422 YES 5.86/2.62 (CERTIFIED 0.2) MAYBE 0.02/0.03
AProVE_AC_04/AC54.xml 5164423 YES 7.23/2.84 (CERTIFIED 0.2) YES 0.05/0.08 (CERTIFIED 0.3)
AProVE_AC_04/AC11.xml 5164424 YES 8.23/3.50 (CERTIFIED 0.0) YES 0.02/0.03 (CERTIFIED 0.1)
AProVE_AC_04/AC48.xml 5164425 YES 3.46/1.70 (CERTIFIED 0.0) MAYBE 0.02/0.03
AProVE_AC_04/AC03.xml 5164426 YES 5.80/2.63 (CERTIFIED 0.1) MAYBE 0.02/0.03
AProVE_AC_04/IJCAR_AC1.xml 5164427 YES 6.58/2.76 (CERTIFIED 0.2) MAYBE 0.03/0.05
AProVE_AC_04/AC52.xml 5164428 YES 5.25/2.26 (CERTIFIED 0.1) MAYBE 0.02/0.03
AProVE_AC_04/AC23.xml 5164429 YES 3.84/1.83 (CERTIFIED 0.0) MAYBE 0.02/0.04
AProVE_AC_04/AC18.xml 5164430 YES 11.76/5.45 (CERTIFIED 0.1) MAYBE 0.02/0.04
AProVE_AC_04/AC28.xml 5164431 YES 12.81/5.25 (CERTIFIED 0.0) ERROR 0.02/0.03 (REJECTED 0.1)
AProVE_AC_04/AC16.xml 5164432 YES 4.66/2.01 (CERTIFIED 0.0) YES 0.04/0.07 (CERTIFIED 0.2)
Mixed_AC_and_C/AC47.xml 5164382 YES 7.76/3.03 (CERTIFIED 0.1) YES 0.04/0.07 (CERTIFIED 0.2)
Mixed_AC_and_C/AC29.xml 5164383 YES 3.82/1.84 (CERTIFIED 0.1) YES 0.01/0.02 (CERTIFIED 0.0)
Mixed_AC_and_C/rationals.xml 5164384 MAYBE 33.91/21.94 MAYBE 0.07/0.09
Mixed_AC_and_C/AC08.xml 5164385 YES 6.61/3.25 (CERTIFIED 0.2) MAYBE 0.03/0.04
Mixed_AC/kusakari1.xml 5164357 YES 6.52/2.87 (CERTIFIED 0.0) YES 0.02/0.03 (CERTIFIED 0.1)
Mixed_AC/RENAMED-BOOL_nosorts.xml 5164358 MAYBE 6.84/2.78 MAYBE 0.03/0.04
Mixed_AC/RENAMED-BOOL_complete-noand.xml 5164359 MAYBE 327.33/294.33 MAYBE 16.15/16.18
Mixed_AC/boolean_rings.xml 5164360 YES 3.49/1.82 (CERTIFIED 0.1) MAYBE 0.02/0.03
Mixed_AC/intersect.xml 5164361 YES 3.69/2.56 (CERTIFIED 0.0) MAYBE 0.02/0.03
Mixed_AC/YWHM14_2.xml 5164362 YES 3.98/2.46 (CERTIFIED 0.0) YES 0.03/0.05 (CERTIFIED 0.1)
Mixed_AC/BAG_complete-noand.xml 5164363 YES 65.56/43.49 (CERTIFIED 2.1) MAYBE 6.61/6.64
Mixed_AC/RENAMED-BOOL_nokinds.xml 5164364 YES 34.53/19.96 (CERTIFIED 0.7) MAYBE 0.06/0.15
Mixed_AC/YWHM14_4.xml 5164365 YES 4.70/2.05 (CERTIFIED 0.0) YES 0.03/0.04 (CERTIFIED 0.2)
Mixed_AC/BAG_nokinds.xml 5164366 YES 17.89/6.62 (CERTIFIED 0.8) MAYBE 0.06/0.17
Mixed_AC/sequent_modulo.xml 5164367 YES 24.88/10.61 (CERTIFIED 0.8) MAYBE 0.13/0.27
Mixed_AC/YWHM14_3.xml 5164368 YES 4.14/2.03 (CERTIFIED 0.0) YES 0.02/0.04 (CERTIFIED 0.1)
Mixed_AC/RENAMED-BOOL_nokinds-noand.xml 5164369 YES 24.38/12.93 (CERTIFIED 0.9) MAYBE 0.09/0.24
Mixed_AC/BAG_nokinds-noand.xml 5164370 YES 13.36/4.94 (CERTIFIED 0.9) MAYBE 0.09/0.33
Mixed_AC/differ.xml 5164371 YES 11.80/5.27 (CERTIFIED 0.1) YES 0.03/0.03 (CERTIFIED 0.1)
Mixed_AC/BAG_nosorts.xml 5164372 YES 4.07/1.98 (CERTIFIED 0.1) MAYBE 0.03/0.05
Mixed_AC/YWHM14_5.xml 5164373 YES 3.46/1.72 (CERTIFIED 0.0) YES 0.02/0.03 (CERTIFIED 0.1)
Mixed_AC/bag-sum-prod-bin.xml 5164374 YES 4.12/1.87 (CERTIFIED 0.1) MAYBE 0.03/0.04
Mixed_AC/RENAMED-BOOL_nosorts-noand.xml 5164375 MAYBE 8.95/3.46 MAYBE 0.05/0.07
Mixed_AC/bag-sum-prod.xml 5164376 YES 4.03/1.86 (CERTIFIED 0.0) MAYBE 0.03/0.04
Mixed_AC/bag-sum-prod-distr.xml 5164377 YES 4.10/1.92 (CERTIFIED 0.1) MAYBE 0.03/0.05
Mixed_AC/BAG_complete.xml 5164378 YES 198.14/180.27 (CERTIFIED 1.6) MAYBE 0.12/0.35
Mixed_AC/YWHM14_1.xml 5164379 YES 4.12/1.84 (CERTIFIED 0.0) YES 0.02/0.03 (CERTIFIED 0.1)
Mixed_AC/RENAMED-BOOL_complete.xml 5164380 MAYBE 305.60/291.70 MAYBE 0.11/0.30
Mixed_AC/BAG_nosorts-noand.xml 5164381 YES 5.81/2.44 (CERTIFIED 0.3) MAYBE 0.05/0.08
64 26