Termination Competition 2018: TRS Equational Certified30043

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