| benchmark | AProVE | muterm |
|---|---|---|
| tpdb-8.0/TRS/AProVE_AC_04/AC03.xml | YES 1035 | YES 1438 |
| tpdb-8.0/TRS/AProVE_AC_04/AC05.xml | YES 3037 | YES 1644 |
| tpdb-8.0/TRS/AProVE_AC_04/AC06.xml | YES 1091 | YES 4282 |
| tpdb-8.0/TRS/AProVE_AC_04/AC07.xml | YES 2580 | YES 874 |
| tpdb-8.0/TRS/AProVE_AC_04/AC13.xml | YES 1087 | YES 8489 |
| tpdb-8.0/TRS/AProVE_AC_04/AC16.xml | YES 1211 | YES 209 |
| tpdb-8.0/TRS/AProVE_AC_04/AC21.xml | YES 10818 | YES 12072 |
| tpdb-8.0/TRS/AProVE_AC_04/AC41.xml | YES 2187 | YES 445 |
| tpdb-8.0/TRS/AProVE_AC_04/AC52.xml | YES 4494 | YES 2309 |
| tpdb-8.0/TRS/Mixed_AC_and_C/AC08.xml | YES 1181 | YES 3884 |
| tpdb-8.0/TRS/Mixed_AC_and_C/AC29.xml | YES 1196 | YES 457 |
| tpdb-8.0/TRS/Mixed_AC_and_C/AC47.xml | YES 4963 | YES 737 |
| tpdb-8.0/TRS/Mixed_AC_and_C/rationals.xml | TIMEOUT 60201 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Mixed_AC/BAG_nokinds-noand.xml | YES 8889 | YES 9319 |
| tpdb-8.0/TRS/Mixed_AC/BAG_nosorts.xml | YES 1869 | YES 3428 |
| tpdb-8.0/TRS/Mixed_AC/boolean_rings.xml | YES 1132 | YES 4508 |
| tpdb-8.0/TRS/Mixed_AC/intersect.xml | YES 1147 | YES 4544 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_complete.xml | TIMEOUT 60318 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nokinds-noand.xml | YES 15318 | YES 30196 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nokinds.xml | YES 22223 | YES 30408 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nosorts.xml | NO 4084 | TIMEOUT 60037 |
| tpdb-8.0/TRS/Mixed_AC/sequent_modulo.xml | YES 18101 | TIMEOUT 60106 |
| tpdb-8.0/TRS/Mixed_C/AC42.xml | YES 1961 | YES 384 |
| tpdb-8.0/TRS/Mixed_C/AC43.xml | YES 1961 | YES 343 |
| tpdb-8.0/TRS/Mixed_C/AC44.xml | YES 2285 | YES 443 |
| tpdb-8.0/TRS/Mixed_C/AC45.xml | YES 2025 | YES 386 |
| tpdb-8.0/TRS/Mixed_C/AC46.xml | YES 3285 | YES 1264 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_complete-noand.xml | TIMEOUT 60290 | TIMEOUT 60061 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_complete.xml | TIMEOUT 60325 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nokinds-noand.xml | MAYBE 14440 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nokinds.xml | MAYBE 13550 | MAYBE 48432 | 25 | 23 |