| benchmark | AProVE | muterm |
|---|---|---|
| tpdb-8.0/TRS/AProVE_AC_04/AC05.xml | YES 2427 | YES 1612 |
| tpdb-8.0/TRS/AProVE_AC_04/AC11.xml | YES 949 | YES 244 |
| tpdb-8.0/TRS/AProVE_AC_04/AC12.xml | YES 769 | YES 258 |
| tpdb-8.0/TRS/AProVE_AC_04/AC14.xml | YES 755 | YES 5296 |
| tpdb-8.0/TRS/AProVE_AC_04/AC16.xml | YES 853 | YES 209 |
| tpdb-8.0/TRS/AProVE_AC_04/AC17.xml | YES 1403 | YES 8382 |
| tpdb-8.0/TRS/AProVE_AC_04/AC18.xml | YES 11541 | YES 10109 |
| tpdb-8.0/TRS/AProVE_AC_04/AC19.xml | YES 812 | YES 289 |
| tpdb-8.0/TRS/AProVE_AC_04/AC20.xml | YES 2277 | YES 1469 |
| tpdb-8.0/TRS/AProVE_AC_04/AC23.xml | YES 1536 | YES 19550 |
| tpdb-8.0/TRS/AProVE_AC_04/AC26.xml | YES 761 | YES 5818 |
| tpdb-8.0/TRS/Mixed_AC_and_C/AC08.xml | YES 832 | YES 3838 |
| tpdb-8.0/TRS/Mixed_AC_and_C/AC29.xml | YES 840 | YES 475 |
| tpdb-8.0/TRS/Mixed_AC_and_C/AC47.xml | YES 4799 | YES 729 |
| tpdb-8.0/TRS/Mixed_AC_and_C/rationals.xml | TIMEOUT 60244 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Mixed_AC/BAG_nokinds-noand.xml | YES 10233 | YES 9625 |
| tpdb-8.0/TRS/Mixed_AC/BAG_nokinds.xml | YES 13869 | YES 6433 |
| tpdb-8.0/TRS/Mixed_AC/BAG_nosorts.xml | YES 1371 | YES 3555 |
| tpdb-8.0/TRS/Mixed_AC/bag-sum-prod-bin.xml | YES 1637 | YES 4016 |
| tpdb-8.0/TRS/Mixed_AC/bag-sum-prod.xml | YES 858 | YES 2314 |
| tpdb-8.0/TRS/Mixed_AC/boolean_rings.xml | YES 799 | YES 4715 |
| tpdb-8.0/TRS/Mixed_AC/kusakari1.xml | YES 4262 | YES 371 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_complete.xml | TIMEOUT 60361 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nokinds-noand.xml | YES 16806 | YES 31662 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nokinds.xml | YES 35165 | YES 29613 |
| tpdb-8.0/TRS/Mixed_AC/RENAMED-BOOL_nosorts.xml | NO 6367 | TIMEOUT 60035 |
| tpdb-8.0/TRS/Mixed_C/AC42.xml | YES 1522 | YES 385 |
| tpdb-8.0/TRS/Mixed_C/AC43.xml | YES 1465 | YES 341 |
| tpdb-8.0/TRS/Mixed_C/AC44.xml | YES 1591 | YES 456 |
| tpdb-8.0/TRS/Mixed_C/AC45.xml | YES 1492 | YES 396 |
| tpdb-8.0/TRS/Mixed_C/AC46.xml | YES 3353 | YES 1205 |
| tpdb-8.0/TRS/Mixed_C/maude2.xml | MAYBE 3050 | MAYBE 2533 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_complete-noand.xml | TIMEOUT 60299 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_complete.xml | TIMEOUT 60297 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nokinds-noand.xml | MAYBE 14665 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nosorts-noand.xml | MAYBE 5901 | MAYBE 4211 |
| tpdb-8.0/TRS/Mixed_C/PEANO-NAT_nosorts.xml | MAYBE 5583 | MAYBE 2415 | 29 | 28 |