| benchmark | AProVE | muterm |
|---|---|---|
| tpdb-8.0/TRS/AProVE_AC_04/AC02.xml | YES 776 | YES 257 |
| tpdb-8.0/TRS/AProVE_AC_04/AC05.xml | YES 2234 | YES 1646 |
| tpdb-8.0/TRS/AProVE_AC_04/AC07.xml | YES 1984 | YES 889 |
| tpdb-8.0/TRS/AProVE_AC_04/AC13.xml | YES 819 | YES 8951 |
| tpdb-8.0/TRS/AProVE_AC_04/AC16.xml | YES 914 | YES 215 |
| tpdb-8.0/TRS/AProVE_AC_04/AC17.xml | YES 1620 | YES 8481 |
| tpdb-8.0/TRS/AProVE_AC_04/AC19.xml | YES 867 | YES 294 |
| tpdb-8.0/TRS/AProVE_AC_04/AC21.xml | YES 11538 | YES 11670 |
| tpdb-8.0/TRS/AProVE_AC_04/AC22.xml | YES 11228 | TIMEOUT 60051 |
| tpdb-8.0/TRS/AProVE_AC_04/AC26.xml | YES 833 | YES 5950 |
| tpdb-8.0/TRS/AProVE_AC_04/AC27.xml | YES 928 | YES 24311 |
| tpdb-8.0/TRS/Mixed_AC_and_C/AC08.xml | YES 884 | YES 3957 |
| tpdb-8.0/TRS/Mixed_AC_and_C/AC29.xml | YES 898 | YES 474 |
| tpdb-8.0/TRS/Mixed_AC_and_C/AC47.xml | YES 4374 | YES 762 |
| tpdb-8.0/TRS/Mixed_AC_and_C/rationals.xml | TIMEOUT 60267 | TIMEOUT 60058 |
| tpdb-8.0/TRS/Mixed_AC/BAG_nokinds.xml | YES 13333 | YES 6509 |
| tpdb-8.0/TRS/Mixed_AC/BAG_nosorts-noand.xml | YES 3123 | YES 3422 |
| tpdb-8.0/TRS/Mixed_AC/bag-sum-prod-bin.xml | YES 1611 | YES 4167 |
| tpdb-8.0/TRS/Mixed_AC/bag-sum-prod-distr.xml | YES 1642 | YES 23646 |
| tpdb-8.0/TRS/Mixed_AC/boolean_rings.xml | YES 861 | YES 4613 |
| tpdb-8.0/TRS/Mixed_AC/intersect.xml | YES 885 | YES 4659 |
| tpdb-8.0/TRS/Mixed_AC/kusakari1.xml | YES 4287 | YES 371 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_complete-noand.xml | TIMEOUT 60338 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_complete.xml | TIMEOUT 60377 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nokinds-noand.xml | YES 13671 | YES 31129 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nokinds.xml | YES 48380 | YES 30145 |
| tpdb-8.0/TRS/Mixed_C/AC42.xml | YES 1501 | YES 396 |
| tpdb-8.0/TRS/Mixed_C/AC43.xml | YES 1472 | YES 351 |
| tpdb-8.0/TRS/Mixed_C/AC44.xml | YES 1630 | YES 463 |
| tpdb-8.0/TRS/Mixed_C/AC45.xml | YES 1512 | YES 396 |
| tpdb-8.0/TRS/Mixed_C/AC46.xml | YES 2631 | YES 1210 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_complete-noand.xml | TIMEOUT 60259 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_complete.xml | TIMEOUT 60333 | TIMEOUT 60061 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nokinds-noand.xml | MAYBE 14479 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nokinds.xml | MAYBE 12731 | MAYBE 49946 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nosorts-noand.xml | MAYBE 5855 | MAYBE 4359 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nosorts.xml | MAYBE 5828 | MAYBE 2431 | 28 | 27 |