| benchmark | AProVE | Jambox | muterm | VMTL |
|---|---|---|---|---|
| tpdb-8.0/TRS/CSR_04/Ex15_Luc98.xml | YES 1844 | YES 389 | YES 109 | YES 1635 |
| tpdb-8.0/TRS/CSR_04/Ex1_GM99.xml | YES 1912 | YES 1047 | YES 84 | YES 385 |
| tpdb-8.0/TRS/CSR_04/Ex1_Zan97.xml | YES 1872 | YES 250 | YES 121 | YES 5125 |
| tpdb-8.0/TRS/CSR_04/Ex23_Luc06.xml | YES 1761 | YES 232 | YES 84 | YES 722 |
| tpdb-8.0/TRS/CSR_04/Ex24_GM04.xml | YES 1899 | YES 1194 | YES 84 | YES 337 |
| tpdb-8.0/TRS/CSR_04/Ex24_Luc06.xml | YES 1862 | YES 243 | YES 85 | YES 385 |
| tpdb-8.0/TRS/CSR_04/Ex26_Luc03b.xml | YES 1929 | YES 635 | YES 110 | YES 2429 |
| tpdb-8.0/TRS/CSR_04/Ex3_3_25_Bor03.xml | YES 1864 | YES 282 | YES 108 | YES 1608 |
| tpdb-8.0/TRS/CSR_04/Ex4_7_37_Bor03.xml | YES 2188 | MAYBE 8639 | YES 157 | YES 1500 |
| tpdb-8.0/TRS/CSR_04/Ex4_7_56_Bor03.xml | YES 1859 | MAYBE 2496 | YES 108 | YES 646 |
| tpdb-8.0/TRS/CSR_04/Ex49_GM04.xml | YES 2030 | YES 509 | YES 375 | YES 2441 |
| tpdb-8.0/TRS/CSR_04/Ex4_DLMMU04.xml | YES 3181 | YES 4440 | YES 2642 | YES 29062 |
| tpdb-8.0/TRS/CSR_04/Ex6_15_AEL02.xml | TIMEOUT 60541 | MAYBE 8984 | TIMEOUT 60112 | MAYBE 48017 |
| tpdb-8.0/TRS/CSR_04/Ex6_Luc98.xml | YES 1804 | YES 284 | YES 109 | YES 752 |
| tpdb-8.0/TRS/CSR_04/ExAppendixB_AEL03.xml | YES 2176 | MAYBE 10911 | YES 121 | YES 1642 |
| tpdb-8.0/TRS/CSR_04/ExIntrod_Zan97.xml | TIMEOUT 60732 | MAYBE 3862 | TIMEOUT 60450 | TIMEOUT 60225 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_complete-noand.xml | YES 6570 | YES 5073 | YES 776 | YES 5808 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_nokinds.xml | YES 2674 | YES 10124 | YES 4193 | TIMEOUT 60250 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_nokinds-noand.xml | YES 4885 | TIMEOUT 60267 | YES 570 | TIMEOUT 60215 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_nosorts-noand.xml | YES 2489 | MAYBE 11830 | YES 147 | YES 54496 |
| tpdb-8.0/TRS/Maude_06/MYNAT_complete.xml | YES 6053 | YES 6785 | YES 18360 | TIMEOUT 60239 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nokinds-noand-peanoSimple.xml | YES 2294 | YES 1039 | YES 111 | YES 1647 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nokinds.xml | YES 3064 | YES 3197 | YES 1996 | TIMEOUT 60233 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nosorts-peanoSimple.xml | YES 1866 | YES 284 | YES 113 | YES 386 |
| tpdb-8.0/TRS/Maude_06/OvConsOS_complete.xml | TIMEOUT 60597 | MAYBE 42473 | TIMEOUT 66849 | TIMEOUT 60207 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_complete-noand.xml | YES 8501 | YES 3313 | YES 385 | YES 8150 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_nokinds.xml | YES 2282 | YES 547 | YES 145 | YES 1118 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex1.xml | YES 1918 | YES 456 | YES 125 | YES 804 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex5.xml | YES 1852 | YES 284 | YES 130 | YES 546 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex6.xml | YES 1911 | YES 1459 | YES 138 | YES 891 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.6.xml | YES 1907 | YES 1391 | YES 119 | YES 911 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.7.xml | YES 1955 | YES 296 | YES 165 | YES 992 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.8.xml | YES 1907 | YES 618 | YES 108 | YES 863 |
| tpdb-8.0/TRS/Transformed_outermost_08/f20.xml | YES 5937 | MAYBE 5852 | YES 3623 | YES 51444 |
| tpdb-8.0/TRS/Transformed_outermost_08/f30.xml | YES 6362 | YES 7105 | YES 404 | YES 16131 |
| tpdb-8.0/TRS/Transformed_outermost_08/f4.xml | YES 2128 | YES 1655 | YES 218 | YES 1689 |
| tpdb-8.0/TRS/Transformed_outermost_08/morse.xml | YES 10126 | YES 11054 | YES 7305 | TIMEOUT 60201 | 34 | 28 | 34 | 29 |