| benchmark | AProVE | muterm |
|---|---|---|
| tpdb-8.0/TRS/AProVE_AC_04/AC01.xml | YES 1008 | YES 239 |
| tpdb-8.0/TRS/AProVE_AC_04/AC02.xml | YES 997 | YES 256 |
| tpdb-8.0/TRS/AProVE_AC_04/AC03.xml | YES 1033 | YES 1412 |
| tpdb-8.0/TRS/AProVE_AC_04/AC04.xml | YES 2965 | YES 1490 |
| tpdb-8.0/TRS/AProVE_AC_04/AC05.xml | YES 3083 | YES 1615 |
| tpdb-8.0/TRS/AProVE_AC_04/AC06.xml | YES 1098 | YES 4355 |
| tpdb-8.0/TRS/AProVE_AC_04/AC07.xml | YES 2577 | YES 870 |
| tpdb-8.0/TRS/AProVE_AC_04/AC09.xml | YES 1048 | YES 9311 |
| tpdb-8.0/TRS/AProVE_AC_04/AC10.xml | YES 1029 | YES 5225 |
| tpdb-8.0/TRS/AProVE_AC_04/AC11.xml | YES 1322 | YES 245 |
| tpdb-8.0/TRS/AProVE_AC_04/AC12.xml | YES 1111 | YES 255 |
| tpdb-8.0/TRS/AProVE_AC_04/AC13.xml | YES 1074 | YES 8494 |
| tpdb-8.0/TRS/AProVE_AC_04/AC14.xml | YES 1031 | YES 5289 |
| tpdb-8.0/TRS/AProVE_AC_04/AC15.xml | YES 1051 | YES 91 |
| tpdb-8.0/TRS/AProVE_AC_04/AC16.xml | YES 1220 | YES 212 |
| tpdb-8.0/TRS/AProVE_AC_04/AC17.xml | YES 1896 | YES 8073 |
| tpdb-8.0/TRS/AProVE_AC_04/AC18.xml | YES 11053 | YES 9993 |
| tpdb-8.0/TRS/AProVE_AC_04/AC19.xml | YES 1159 | YES 290 |
| tpdb-8.0/TRS/AProVE_AC_04/AC20.xml | YES 3049 | YES 1466 |
| tpdb-8.0/TRS/AProVE_AC_04/AC21.xml | YES 11727 | YES 11613 |
| tpdb-8.0/TRS/AProVE_AC_04/AC22.xml | YES 11436 | TIMEOUT 60048 |
| tpdb-8.0/TRS/AProVE_AC_04/AC23.xml | YES 2024 | YES 19352 |
| tpdb-8.0/TRS/AProVE_AC_04/AC24.xml | YES 1753 | YES 2824 |
| tpdb-8.0/TRS/AProVE_AC_04/AC26.xml | YES 1103 | YES 5641 |
| tpdb-8.0/TRS/AProVE_AC_04/AC27.xml | YES 1191 | YES 24472 |
| tpdb-8.0/TRS/AProVE_AC_04/AC28.xml | YES 4694 | YES 57074 |
| tpdb-8.0/TRS/AProVE_AC_04/AC41.xml | YES 2197 | YES 454 |
| tpdb-8.0/TRS/AProVE_AC_04/AC48.xml | YES 1034 | YES 1691 |
| tpdb-8.0/TRS/AProVE_AC_04/AC49.xml | YES 3517 | YES 512 |
| tpdb-8.0/TRS/AProVE_AC_04/AC50.xml | YES 4730 | YES 619 |
| tpdb-8.0/TRS/AProVE_AC_04/AC51.xml | YES 1475 | YES 720 |
| tpdb-8.0/TRS/AProVE_AC_04/AC52.xml | YES 4394 | YES 2284 |
| tpdb-8.0/TRS/AProVE_AC_04/AC53.xml | YES 2444 | YES 175 |
| tpdb-8.0/TRS/AProVE_AC_04/AC54.xml | YES 3882 | YES 757 |
| tpdb-8.0/TRS/AProVE_AC_04/IJCAR_AC1.xml | YES 3217 | YES 2098 |
| tpdb-8.0/TRS/Mixed_AC_and_C/AC08.xml | YES 1149 | YES 3906 |
| tpdb-8.0/TRS/Mixed_AC_and_C/AC29.xml | YES 1193 | YES 467 |
| tpdb-8.0/TRS/Mixed_AC_and_C/AC47.xml | YES 5072 | YES 750 |
| tpdb-8.0/TRS/Mixed_AC_and_C/rationals.xml | TIMEOUT 60212 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Mixed_AC/BAG_complete-noand.xml | YES 57569 | YES 45575 |
| tpdb-8.0/TRS/Mixed_AC/BAG_complete.xml | TIMEOUT 60348 | TIMEOUT 60068 |
| tpdb-8.0/TRS/Mixed_AC/BAG_nokinds-noand.xml | YES 8576 | YES 9359 |
| tpdb-8.0/TRS/Mixed_AC/BAG_nokinds.xml | YES 10100 | YES 6639 |
| tpdb-8.0/TRS/Mixed_AC/BAG_nosorts-noand.xml | YES 3132 | YES 3469 |
| tpdb-8.0/TRS/Mixed_AC/BAG_nosorts.xml | YES 1881 | YES 3512 |
| tpdb-8.0/TRS/Mixed_AC/bag-sum-prod-bin.xml | YES 2105 | YES 3848 |
| tpdb-8.0/TRS/Mixed_AC/bag-sum-prod-distr.xml | YES 2102 | YES 23940 |
| tpdb-8.0/TRS/Mixed_AC/bag-sum-prod.xml | YES 1155 | YES 2410 |
| tpdb-8.0/TRS/Mixed_AC/boolean_rings.xml | YES 1147 | YES 4546 |
| tpdb-8.0/TRS/Mixed_AC/differ.xml | YES 1172 | YES 702 |
| tpdb-8.0/TRS/Mixed_AC/intersect.xml | YES 1149 | YES 4545 |
| tpdb-8.0/TRS/Mixed_AC/kusakari1.xml | YES 4858 | YES 472 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_complete-noand.xml | TIMEOUT 60285 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_complete.xml | TIMEOUT 60360 | TIMEOUT 60098 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nokinds-noand.xml | YES 15638 | YES 30025 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nokinds.xml | YES 40348 | YES 29776 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nosorts-noand.xml | NO 16359 | MAYBE 7939 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nosorts.xml | NO 4104 | TIMEOUT 60037 |
| tpdb-8.0/TRS/Mixed_AC/sequent_modulo.xml | YES 22206 | TIMEOUT 60117 |
| tpdb-8.0/TRS/Mixed_C/AC42.xml | YES 1997 | YES 388 |
| tpdb-8.0/TRS/Mixed_C/AC43.xml | YES 1981 | YES 354 |
| tpdb-8.0/TRS/Mixed_C/AC44.xml | YES 2155 | YES 446 |
| tpdb-8.0/TRS/Mixed_C/AC45.xml | YES 2031 | YES 388 |
| tpdb-8.0/TRS/Mixed_C/AC46.xml | YES 3282 | YES 1236 |
| tpdb-8.0/TRS/Mixed_C/maude2.xml | MAYBE 3619 | MAYBE 2557 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_complete-noand.xml | TIMEOUT 60239 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_complete.xml | TIMEOUT 60322 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nokinds-noand.xml | MAYBE 14835 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nokinds.xml | MAYBE 13535 | MAYBE 48665 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nosorts-noand.xml | MAYBE 6428 | MAYBE 4136 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nosorts.xml | MAYBE 5974 | MAYBE 2491 | 60 | 56 |