| benchmark | AProVE |
|---|---|
| tpdb-8.0/TRS/AProVE_AC_04/AC03.xml | YES 1630 |
| tpdb-8.0/TRS/AProVE_AC_04/AC04.xml | YES 3716 |
| tpdb-8.0/TRS/AProVE_AC_04/AC06.xml | YES 1684 |
| tpdb-8.0/TRS/AProVE_AC_04/AC12.xml | YES 1687 |
| tpdb-8.0/TRS/AProVE_AC_04/AC15.xml | YES 1639 |
| tpdb-8.0/TRS/AProVE_AC_04/AC18.xml | YES 13296 |
| tpdb-8.0/TRS/AProVE_AC_04/AC20.xml | YES 3738 |
| tpdb-8.0/TRS/AProVE_AC_04/AC22.xml | YES 12978 |
| tpdb-8.0/TRS/AProVE_AC_04/AC26.xml | YES 1687 |
| tpdb-8.0/TRS/AProVE_AC_04/IJCAR_AC1.xml | YES 4288 |
| tpdb-8.0/TRS/Mixed_AC_and_C/AC08.xml | YES 1698 |
| tpdb-8.0/TRS/Mixed_AC_and_C/AC29.xml | YES 1740 |
| tpdb-8.0/TRS/Mixed_AC_and_C/AC47.xml | YES 5765 |
| tpdb-8.0/TRS/Mixed_AC_and_C/rationals.xml | TIMEOUT 60398 |
| tpdb-8.0/TRS/Mixed_AC/BAG_nokinds-noand.xml | YES 13120 |
| tpdb-8.0/TRS/Mixed_AC/BAG_nosorts-noand.xml | YES 3859 |
| tpdb-8.0/TRS/Mixed_AC/bag-sum-prod-bin.xml | YES 2510 |
| tpdb-8.0/TRS/Mixed_AC/boolean_rings.xml | YES 1708 |
| tpdb-8.0/TRS/Mixed_AC/differ.xml | YES 1689 |
| tpdb-8.0/TRS/Mixed_AC/intersect.xml | YES 1739 |
| tpdb-8.0/TRS/Mixed_AC/kusakari1.xml | YES 5311 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nosorts-noand.xml | NO 15261 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nosorts.xml | NO 5153 |
| tpdb-8.0/TRS/Mixed_AC/sequent_modulo.xml | YES 26916 |
| tpdb-8.0/TRS/Mixed_C/AC42.xml | YES 2675 |
| tpdb-8.0/TRS/Mixed_C/AC43.xml | YES 2681 |
| tpdb-8.0/TRS/Mixed_C/AC44.xml | YES 2930 |
| tpdb-8.0/TRS/Mixed_C/AC45.xml | YES 2916 |
| tpdb-8.0/TRS/Mixed_C/maude2.xml | MAYBE 4042 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_complete-noand.xml | TIMEOUT 60492 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_complete.xml | TIMEOUT 60487 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nokinds-noand.xml | MAYBE 17807 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nosorts-noand.xml | MAYBE 7979 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nosorts.xml | MAYBE 7430 | 27 |