| benchmark | AProVE |
|---|---|
| tpdb-8.0/TRS/AProVE_AC_04/AC01.xml | YES 1421 |
| tpdb-8.0/TRS/AProVE_AC_04/AC02.xml | YES 1418 |
| tpdb-8.0/TRS/AProVE_AC_04/AC03.xml | YES 1532 |
| tpdb-8.0/TRS/AProVE_AC_04/AC04.xml | YES 3415 |
| tpdb-8.0/TRS/AProVE_AC_04/AC05.xml | YES 3824 |
| tpdb-8.0/TRS/AProVE_AC_04/AC06.xml | YES 1477 |
| tpdb-8.0/TRS/AProVE_AC_04/AC07.xml | YES 2895 |
| tpdb-8.0/TRS/AProVE_AC_04/AC09.xml | YES 1482 |
| tpdb-8.0/TRS/AProVE_AC_04/AC10.xml | YES 1485 |
| tpdb-8.0/TRS/AProVE_AC_04/AC11.xml | YES 1658 |
| tpdb-8.0/TRS/AProVE_AC_04/AC12.xml | YES 1531 |
| tpdb-8.0/TRS/AProVE_AC_04/AC13.xml | YES 1490 |
| tpdb-8.0/TRS/AProVE_AC_04/AC14.xml | YES 1489 |
| tpdb-8.0/TRS/AProVE_AC_04/AC15.xml | YES 1473 |
| tpdb-8.0/TRS/AProVE_AC_04/AC16.xml | YES 1589 |
| tpdb-8.0/TRS/AProVE_AC_04/AC17.xml | YES 2333 |
| tpdb-8.0/TRS/AProVE_AC_04/AC18.xml | YES 16146 |
| tpdb-8.0/TRS/AProVE_AC_04/AC19.xml | YES 1528 |
| tpdb-8.0/TRS/AProVE_AC_04/AC20.xml | YES 3459 |
| tpdb-8.0/TRS/AProVE_AC_04/AC21.xml | YES 13311 |
| tpdb-8.0/TRS/AProVE_AC_04/AC22.xml | YES 14057 |
| tpdb-8.0/TRS/AProVE_AC_04/AC23.xml | YES 2682 |
| tpdb-8.0/TRS/AProVE_AC_04/AC24.xml | YES 2236 |
| tpdb-8.0/TRS/AProVE_AC_04/AC26.xml | YES 1536 |
| tpdb-8.0/TRS/AProVE_AC_04/AC27.xml | YES 1546 |
| tpdb-8.0/TRS/AProVE_AC_04/AC28.xml | YES 10312 |
| tpdb-8.0/TRS/AProVE_AC_04/AC41.xml | YES 2468 |
| tpdb-8.0/TRS/AProVE_AC_04/AC48.xml | YES 1483 |
| tpdb-8.0/TRS/AProVE_AC_04/AC49.xml | YES 3684 |
| tpdb-8.0/TRS/AProVE_AC_04/AC50.xml | YES 5216 |
| tpdb-8.0/TRS/AProVE_AC_04/AC51.xml | YES 1897 |
| tpdb-8.0/TRS/AProVE_AC_04/AC52.xml | YES 4521 |
| tpdb-8.0/TRS/AProVE_AC_04/AC53.xml | YES 2966 |
| tpdb-8.0/TRS/AProVE_AC_04/AC54.xml | YES 4058 |
| tpdb-8.0/TRS/AProVE_AC_04/IJCAR_AC1.xml | YES 3859 |
| tpdb-8.0/TRS/Mixed_AC_and_C/AC08.xml | YES 4144 |
| tpdb-8.0/TRS/Mixed_AC_and_C/AC29.xml | YES 2815 |
| tpdb-8.0/TRS/Mixed_AC_and_C/AC47.xml | YES 5448 |
| tpdb-8.0/TRS/Mixed_AC_and_C/rationals.xml | TIMEOUT 60309 |
| tpdb-8.0/TRS/Mixed_AC/BAG_complete-noand.xml | TIMEOUT 60345 |
| tpdb-8.0/TRS/Mixed_AC/BAG_complete.xml | TIMEOUT 60270 |
| tpdb-8.0/TRS/Mixed_AC/BAG_nokinds-noand.xml | YES 13330 |
| tpdb-8.0/TRS/Mixed_AC/BAG_nokinds.xml | YES 15551 |
| tpdb-8.0/TRS/Mixed_AC/BAG_nosorts-noand.xml | YES 3623 |
| tpdb-8.0/TRS/Mixed_AC/BAG_nosorts.xml | YES 3019 |
| tpdb-8.0/TRS/Mixed_AC/bag-sum-prod-bin.xml | YES 2226 |
| tpdb-8.0/TRS/Mixed_AC/bag-sum-prod-distr.xml | YES 2600 |
| tpdb-8.0/TRS/Mixed_AC/bag-sum-prod.xml | YES 1536 |
| tpdb-8.0/TRS/Mixed_AC/boolean_rings.xml | YES 1528 |
| tpdb-8.0/TRS/Mixed_AC/differ.xml | YES 5445 |
| tpdb-8.0/TRS/Mixed_AC/intersect.xml | YES 2138 |
| tpdb-8.0/TRS/Mixed_AC/kusakari1.xml | YES 6055 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_complete-noand.xml | TIMEOUT 60270 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_complete.xml | TIMEOUT 60264 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nokinds-noand.xml | YES 14194 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nokinds.xml | YES 35421 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nosorts-noand.xml | NO 15986 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nosorts.xml | NO 5115 |
| tpdb-8.0/TRS/Mixed_AC/sequent_modulo.xml | YES 30213 |
| tpdb-8.0/TRS/Mixed_C/AC42.xml | YES 2239 |
| tpdb-8.0/TRS/Mixed_C/AC43.xml | YES 2389 |
| tpdb-8.0/TRS/Mixed_C/AC44.xml | YES 2564 |
| tpdb-8.0/TRS/Mixed_C/AC45.xml | YES 2507 |
| tpdb-8.0/TRS/Mixed_C/AC46.xml | YES 3921 |
| tpdb-8.0/TRS/Mixed_C/maude2.xml | MAYBE 4327 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_complete-noand.xml | TIMEOUT 60308 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_complete.xml | TIMEOUT 60346 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nokinds-noand.xml | MAYBE 17583 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nokinds.xml | MAYBE 16114 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nosorts-noand.xml | MAYBE 7601 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nosorts.xml | MAYBE 7235 | 59 |