| benchmark | AProVE | muterm |
|---|---|---|
| tpdb-8.0/TRS/AProVE_AC_04/AC01.xml | YES 705 | YES 289 |
| tpdb-8.0/TRS/AProVE_AC_04/AC02.xml | YES 706 | YES 309 |
| tpdb-8.0/TRS/AProVE_AC_04/AC03.xml | YES 731 | YES 1421 |
| tpdb-8.0/TRS/AProVE_AC_04/AC04.xml | YES 2236 | YES 1518 |
| tpdb-8.0/TRS/AProVE_AC_04/AC05.xml | YES 2415 | YES 1695 |
| tpdb-8.0/TRS/AProVE_AC_04/AC06.xml | YES 783 | YES 4341 |
| tpdb-8.0/TRS/AProVE_AC_04/AC07.xml | YES 2017 | YES 941 |
| tpdb-8.0/TRS/AProVE_AC_04/AC09.xml | YES 749 | YES 9435 |
| tpdb-8.0/TRS/AProVE_AC_04/AC10.xml | YES 732 | YES 5364 |
| tpdb-8.0/TRS/AProVE_AC_04/AC11.xml | YES 940 | YES 253 |
| tpdb-8.0/TRS/AProVE_AC_04/AC12.xml | YES 774 | YES 257 |
| tpdb-8.0/TRS/AProVE_AC_04/AC13.xml | YES 770 | YES 8643 |
| tpdb-8.0/TRS/AProVE_AC_04/AC14.xml | YES 732 | YES 5392 |
| tpdb-8.0/TRS/AProVE_AC_04/AC15.xml | YES 754 | YES 99 |
| tpdb-8.0/TRS/AProVE_AC_04/AC16.xml | YES 855 | YES 212 |
| tpdb-8.0/TRS/AProVE_AC_04/AC17.xml | YES 1686 | YES 8122 |
| tpdb-8.0/TRS/AProVE_AC_04/AC18.xml | YES 11794 | YES 10311 |
| tpdb-8.0/TRS/AProVE_AC_04/AC19.xml | YES 831 | YES 289 |
| tpdb-8.0/TRS/AProVE_AC_04/AC20.xml | YES 2282 | YES 1516 |
| tpdb-8.0/TRS/AProVE_AC_04/AC21.xml | YES 11394 | YES 11902 |
| tpdb-8.0/TRS/AProVE_AC_04/AC22.xml | YES 10672 | TIMEOUT 60049 |
| tpdb-8.0/TRS/AProVE_AC_04/AC23.xml | YES 1541 | YES 19779 |
| tpdb-8.0/TRS/AProVE_AC_04/AC24.xml | YES 1246 | YES 2837 |
| tpdb-8.0/TRS/AProVE_AC_04/AC26.xml | YES 763 | YES 5737 |
| tpdb-8.0/TRS/AProVE_AC_04/AC27.xml | YES 864 | YES 25066 |
| tpdb-8.0/TRS/AProVE_AC_04/AC28.xml | YES 6386 | YES 57280 |
| tpdb-8.0/TRS/AProVE_AC_04/AC41.xml | YES 1583 | YES 441 |
| tpdb-8.0/TRS/AProVE_AC_04/AC48.xml | YES 736 | YES 1764 |
| tpdb-8.0/TRS/AProVE_AC_04/AC49.xml | YES 4214 | YES 479 |
| tpdb-8.0/TRS/AProVE_AC_04/AC50.xml | YES 4449 | YES 620 |
| tpdb-8.0/TRS/AProVE_AC_04/AC51.xml | YES 1034 | YES 701 |
| tpdb-8.0/TRS/AProVE_AC_04/AC52.xml | YES 4285 | YES 2327 |
| tpdb-8.0/TRS/AProVE_AC_04/AC53.xml | YES 2058 | YES 174 |
| tpdb-8.0/TRS/AProVE_AC_04/AC54.xml | YES 5014 | YES 764 |
| tpdb-8.0/TRS/AProVE_AC_04/IJCAR_AC1.xml | YES 3014 | YES 2023 |
| tpdb-8.0/TRS/Mixed_AC_and_C/AC08.xml | YES 841 | YES 3889 |
| tpdb-8.0/TRS/Mixed_AC_and_C/AC29.xml | YES 868 | YES 464 |
| tpdb-8.0/TRS/Mixed_AC_and_C/AC47.xml | YES 4817 | YES 742 |
| tpdb-8.0/TRS/Mixed_AC_and_C/rationals.xml | TIMEOUT 60332 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Mixed_AC/BAG_complete-noand.xml | TIMEOUT 60308 | YES 47376 |
| tpdb-8.0/TRS/Mixed_AC/BAG_complete.xml | TIMEOUT 60345 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Mixed_AC/BAG_nokinds-noand.xml | YES 11845 | YES 9778 |
| tpdb-8.0/TRS/Mixed_AC/BAG_nokinds.xml | YES 13505 | YES 6677 |
| tpdb-8.0/TRS/Mixed_AC/BAG_nosorts-noand.xml | YES 2503 | YES 3409 |
| tpdb-8.0/TRS/Mixed_AC/BAG_nosorts.xml | YES 1393 | YES 3525 |
| tpdb-8.0/TRS/Mixed_AC/bag-sum-prod-bin.xml | YES 1635 | YES 3964 |
| tpdb-8.0/TRS/Mixed_AC/bag-sum-prod-distr.xml | YES 1647 | YES 24353 |
| tpdb-8.0/TRS/Mixed_AC/bag-sum-prod.xml | YES 833 | YES 2410 |
| tpdb-8.0/TRS/Mixed_AC/boolean_rings.xml | YES 828 | YES 4593 |
| tpdb-8.0/TRS/Mixed_AC/differ.xml | YES 845 | YES 705 |
| tpdb-8.0/TRS/Mixed_AC/intersect.xml | YES 835 | YES 4666 |
| tpdb-8.0/TRS/Mixed_AC/kusakari1.xml | YES 4267 | YES 436 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_complete-noand.xml | TIMEOUT 60329 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_complete.xml | TIMEOUT 60352 | TIMEOUT 60105 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nokinds-noand.xml | YES 16440 | YES 42939 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nokinds.xml | YES 40184 | YES 30914 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nosorts-noand.xml | NO 17845 | MAYBE 8115 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nosorts.xml | NO 6734 | TIMEOUT 60041 |
| tpdb-8.0/TRS/Mixed_AC/sequent_modulo.xml | YES 25368 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Mixed_C/AC42.xml | YES 1497 | YES 392 |
| tpdb-8.0/TRS/Mixed_C/AC43.xml | YES 1478 | YES 342 |
| tpdb-8.0/TRS/Mixed_C/AC44.xml | YES 1624 | YES 462 |
| tpdb-8.0/TRS/Mixed_C/AC45.xml | YES 1498 | YES 491 |
| tpdb-8.0/TRS/Mixed_C/AC46.xml | YES 3299 | YES 1224 |
| tpdb-8.0/TRS/Mixed_C/maude2.xml | MAYBE 3064 | MAYBE 2444 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_complete-noand.xml | TIMEOUT 60322 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_complete.xml | TIMEOUT 60335 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nokinds-noand.xml | MAYBE 14648 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nokinds.xml | MAYBE 13863 | MAYBE 48719 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nosorts-noand.xml | MAYBE 5974 | MAYBE 4254 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nosorts.xml | MAYBE 5699 | MAYBE 2817 | 59 | 56 |