| benchmark | AProVE | muterm |
|---|---|---|
| tpdb-8.0/TRS/AProVE_AC_04/AC04.xml | YES 2951 | MAYBE 15326 |
| tpdb-8.0/TRS/AProVE_AC_04/AC05.xml | YES 2888 | MAYBE 19948 |
| tpdb-8.0/TRS/AProVE_AC_04/AC07.xml | YES 2432 | MAYBE 3539 |
| tpdb-8.0/TRS/AProVE_AC_04/AC13.xml | YES 841 | YES 7769 |
| tpdb-8.0/TRS/AProVE_AC_04/AC14.xml | YES 777 | MAYBE 10104 |
| tpdb-8.0/TRS/AProVE_AC_04/AC28.xml | YES 7527 | YES 51195 |
| tpdb-8.0/TRS/AProVE_AC_04/AC48.xml | YES 788 | TIMEOUT 60076 |
| tpdb-8.0/TRS/AProVE_AC_04/AC51.xml | YES 1118 | YES 648 |
| tpdb-8.0/TRS/AProVE_AC_04/AC53.xml | YES 2072 | YES 321 |
| tpdb-8.0/TRS/AProVE_AC_04/AC54.xml | YES 3760 | YES 7141 |
| tpdb-8.0/TRS/Mixed_AC_and_C/AC08.xml | YES 911 | MAYBE 2043 |
| tpdb-8.0/TRS/Mixed_AC_and_C/AC29.xml | YES 893 | YES 465 |
| tpdb-8.0/TRS/Mixed_AC_and_C/AC47.xml | YES 4815 | MAYBE 21718 |
| tpdb-8.0/TRS/Mixed_AC_and_C/rationals.xml | TIMEOUT 60403 | TIMEOUT 60105 |
| tpdb-8.0/TRS/Mixed_AC/BAG_complete.xml | TIMEOUT 60372 | TIMEOUT 60147 |
| tpdb-8.0/TRS/Mixed_AC/BAG_nokinds-noand.xml | YES 13340 | YES 23916 |
| tpdb-8.0/TRS/Mixed_AC/BAG_nosorts.xml | YES 1487 | YES 11960 |
| tpdb-8.0/TRS/Mixed_AC/bag-sum-prod-bin.xml | YES 1662 | YES 12338 |
| tpdb-8.0/TRS/Mixed_AC/bag-sum-prod.xml | YES 891 | YES 5543 |
| tpdb-8.0/TRS/Mixed_AC/kusakari1.xml | YES 4535 | YES 338 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_complete.xml | TIMEOUT 60395 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nokinds.xml | YES 38140 | TIMEOUT 60132 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nosorts-noand.xml | NO 13268 | MAYBE 11693 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nosorts.xml | NO 4326 | MAYBE 26204 |
| tpdb-8.0/TRS/Mixed_C/AC42.xml | YES 1849 | YES 420 |
| tpdb-8.0/TRS/Mixed_C/AC43.xml | YES 1804 | YES 378 |
| tpdb-8.0/TRS/Mixed_C/AC44.xml | YES 2206 | YES 479 |
| tpdb-8.0/TRS/Mixed_C/AC45.xml | YES 2009 | YES 410 |
| tpdb-8.0/TRS/Mixed_C/AC46.xml | YES 3526 | YES 1128 |
| tpdb-8.0/TRS/Mixed_C/maude2.xml | MAYBE 3254 | MAYBE 2469 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_complete-noand.xml | TIMEOUT 60468 | TIMEOUT 60180 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_complete.xml | TIMEOUT 60358 | TIMEOUT 60111 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nosorts-noand.xml | MAYBE 7365 | TIMEOUT 60117 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nosorts.xml | MAYBE 6656 | TIMEOUT 60098 | 26 | 16 |