| benchmark | AProVE | VMTL |
|---|---|---|
| tpdb-8.0/TRS/CSR_04/Ex15_Luc98.xml | YES 930 | YES 1172 |
| tpdb-8.0/TRS/CSR_04/Ex1_GL02a.xml | YES 1139 | YES 1006 |
| tpdb-8.0/TRS/CSR_04/Ex23_Luc06.xml | YES 862 | YES 685 |
| tpdb-8.0/TRS/CSR_04/Ex24_Luc06.xml | YES 880 | YES 314 |
| tpdb-8.0/TRS/CSR_04/Ex26_Luc03b.xml | YES 1000 | YES 1880 |
| tpdb-8.0/TRS/CSR_04/Ex4_4_Luc96b.xml | YES 828 | YES 561 |
| tpdb-8.0/TRS/CSR_04/Ex4_7_77_Bor03.xml | YES 870 | YES 319 |
| tpdb-8.0/TRS/CSR_04/Ex5_Zan97.xml | YES 910 | YES 991 |
| tpdb-8.0/TRS/CSR_04/Ex8_BLR02.xml | YES 1162 | YES 1023 |
| tpdb-8.0/TRS/CSR_04/Ex9_Luc04.xml | YES 1053 | YES 1597 |
| tpdb-8.0/TRS/CSR_04/Ex9_Luc06.xml | YES 1081 | MAYBE 52101 |
| tpdb-8.0/TRS/CSR_04/ExAppendixB_AEL03.xml | YES 1373 | YES 1560 |
| tpdb-8.0/TRS/CSR_04/ExIntrod_GM01.xml | YES 972 | YES 795 |
| tpdb-8.0/TRS/CSR_04/ExIntrod_GM04.xml | YES 978 | YES 790 |
| tpdb-8.0/TRS/CSR_04/ExIntrod_GM99.xml | YES 1244 | YES 2258 |
| tpdb-8.0/TRS/CSR_04/ExProp7_Luc06.xml | YES 941 | YES 3612 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_complete.xml | YES 16961 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_nokinds.xml | YES 1447 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_nosorts.xml | NO 970 | MAYBE 5420 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_nokinds.xml | TIMEOUT 60814 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Maude_06/MYNAT_complete-noand-peanoSimple.xml | YES 2380 | YES 3550 |
| tpdb-8.0/TRS/Maude_06/MYNAT_complete-noand.xml | YES 2630 | TIMEOUT 60081 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nosorts-noand-peanoSimple.xml | YES 955 | YES 445 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nosorts-noand.xml | YES 1111 | MAYBE 28621 |
| tpdb-8.0/TRS/Maude_06/OvConsOS_complete-noand.xml | YES 5914 | YES 11308 |
| tpdb-8.0/TRS/Maude_06/OvConsOS_nosorts-noand.xml | NO 1174 | MAYBE 44073 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_complete-noand.xml | YES 4763 | YES 7271 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex1.xml | YES 936 | YES 731 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex2.xml | YES 1737 | MAYBE 3310 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex3.xml | YES 1021 | YES 1193 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex4.xml | YES 891 | YES 485 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex5.xml | YES 914 | YES 492 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex6.xml | YES 992 | YES 856 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.3.xml | YES 966 | YES 638 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.4.xml | YES 1069 | YES 38158 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.6.xml | YES 1049 | YES 771 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.7.xml | YES 946 | YES 972 |
| tpdb-8.0/TRS/Transformed_outermost_08/f30.xml | YES 4871 | YES 17468 | 37 | 29 |