| benchmark | AProVE | muterm | VMTL |
|---|---|---|---|
| tpdb-8.0/TRS/CSR_04/Ex14_Luc06.xml | YES 1592 | YES 832 | MAYBE 2075 |
| tpdb-8.0/TRS/CSR_04/Ex15_Luc06.xml | YES 971 | YES 92 | YES 558 |
| tpdb-8.0/TRS/CSR_04/Ex16_Luc06.xml | YES 994 | YES 79 | YES 329 |
| tpdb-8.0/TRS/CSR_04/Ex18_Luc06.xml | YES 955 | YES 86 | YES 495 |
| tpdb-8.0/TRS/CSR_04/Ex1_GL02a.xml | YES 1013 | YES 132 | YES 1047 |
| tpdb-8.0/TRS/CSR_04/Ex23_Luc06.xml | YES 890 | YES 83 | YES 707 |
| tpdb-8.0/TRS/CSR_04/Ex25_Luc06.xml | YES 953 | YES 107 | YES 775 |
| tpdb-8.0/TRS/CSR_04/Ex2_Luc02a.xml | YES 1174 | YES 133 | YES 1356 |
| tpdb-8.0/TRS/CSR_04/Ex3_12_Luc96a.xml | YES 1055 | YES 108 | YES 661 |
| tpdb-8.0/TRS/CSR_04/Ex5_7_Luc97.xml | TIMEOUT 60506 | TIMEOUT 60109 | MAYBE 27386 |
| tpdb-8.0/TRS/CSR_04/Ex5_Zan97.xml | YES 1019 | YES 146 | YES 601 |
| tpdb-8.0/TRS/CSR_04/Ex9_BLR02.xml | YES 1192 | YES 111 | YES 1870 |
| tpdb-8.0/TRS/CSR_04/Ex9_Luc04.xml | YES 1160 | YES 197 | YES 1709 |
| tpdb-8.0/TRS/CSR_04/ExAppendixB_AEL03.xml | YES 1388 | YES 133 | YES 1757 |
| tpdb-8.0/TRS/CSR_04/ExIntrod_Zan97.xml | TIMEOUT 60838 | TIMEOUT 60099 | TIMEOUT 60155 |
| tpdb-8.0/TRS/CSR_04/ExSec11_1_Luc02a.xml | YES 1226 | YES 117 | YES 1619 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_nokinds-noand.xml | YES 2788 | YES 327 | YES 2231 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_nosorts.xml | NO 1003 | NO 316 | MAYBE 5561 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_nokinds-noand.xml | YES 3898 | YES 584 | TIMEOUT 60158 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_nokinds.xml | TIMEOUT 60644 | TIMEOUT 60142 | TIMEOUT 60169 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nokinds-noand-peanoSimple.xml | YES 1345 | YES 108 | YES 1586 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nokinds-peanoSimple.xml | YES 1185 | YES 133 | YES 1614 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nosorts-noand.xml | YES 1142 | YES 122 | MAYBE 28394 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nosorts-peanoSimple.xml | YES 945 | YES 100 | YES 389 |
| tpdb-8.0/TRS/Maude_06/OvConsOS_complete-noand.xml | YES 7072 | YES 2247 | YES 11654 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_complete.xml | YES 2868 | YES 455 | YES 5796 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_nokinds.xml | YES 1282 | YES 154 | YES 1165 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex2.xml | YES 2201 | YES 248 | MAYBE 3543 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex5.xml | YES 948 | YES 133 | YES 543 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex6.xml | YES 1052 | YES 123 | YES 887 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.3.xml | YES 1005 | YES 103 | YES 739 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.4.xml | YES 1212 | YES 688 | YES 39386 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.5.xml | YES 1237 | YES 198 | MAYBE 36949 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.6.xml | YES 1067 | YES 121 | YES 864 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.7.xml | YES 1073 | YES 183 | YES 996 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.8.xml | YES 1006 | YES 102 | YES 861 |
| tpdb-8.0/TRS/Transformed_outermost_08/f20.xml | YES 5291 | YES 3797 | YES 51617 | 34 | 34 | 28 |