| benchmark | AProVE | VMTL |
|---|---|---|
| tpdb-8.0/TRS/CSR_04/Ex18_Luc06.xml | YES 809 | YES 434 |
| tpdb-8.0/TRS/CSR_04/Ex1_GL02a.xml | YES 905 | YES 979 |
| tpdb-8.0/TRS/CSR_04/Ex1_Luc04b.xml | YES 913 | YES 663 |
| tpdb-8.0/TRS/CSR_04/Ex1_Zan97.xml | YES 848 | YES 4980 |
| tpdb-8.0/TRS/CSR_04/Ex24_Luc06.xml | YES 855 | YES 319 |
| tpdb-8.0/TRS/CSR_04/Ex2_Luc03b.xml | YES 876 | YES 1417 |
| tpdb-8.0/TRS/CSR_04/Ex49_GM04.xml | YES 1025 | YES 2259 |
| tpdb-8.0/TRS/CSR_04/Ex5_7_Luc97.xml | TIMEOUT 60676 | MAYBE 34465 |
| tpdb-8.0/TRS/CSR_04/Ex6_15_AEL02.xml | TIMEOUT 60569 | MAYBE 49350 |
| tpdb-8.0/TRS/CSR_04/Ex6_Luc98.xml | YES 828 | YES 718 |
| tpdb-8.0/TRS/CSR_04/Ex7_BLR02.xml | YES 1052 | YES 952 |
| tpdb-8.0/TRS/CSR_04/Ex8_BLR02.xml | YES 1117 | YES 1074 |
| tpdb-8.0/TRS/CSR_04/Ex9_BLR02.xml | YES 966 | YES 1854 |
| tpdb-8.0/TRS/CSR_04/ExAppendixB_AEL03.xml | YES 1813 | YES 1637 |
| tpdb-8.0/TRS/CSR_04/ExConc_Zan97.xml | YES 812 | YES 488 |
| tpdb-8.0/TRS/CSR_04/ExIntrod_GM99.xml | YES 1263 | YES 2355 |
| tpdb-8.0/TRS/Maude_06/emmes.xml | TIMEOUT 60510 | TIMEOUT 60086 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_nosorts-noand.xml | NO 963 | MAYBE 6599 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_nosorts.xml | NO 1142 | MAYBE 5376 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_nokinds-noand.xml | YES 4313 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_nokinds.xml | TIMEOUT 60748 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nokinds-noand-peanoSimple.xml | YES 1084 | YES 1282 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nokinds-peanoSimple.xml | YES 1013 | YES 1293 |
| tpdb-8.0/TRS/Maude_06/OvConsOS_complete.xml | TIMEOUT 60576 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Maude_06/OvConsOS_nokinds.xml | TIMEOUT 60767 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_nokinds-noand.xml | YES 1322 | YES 1664 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_nosorts.xml | YES 838 | YES 363 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex1.xml | YES 913 | YES 725 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex2.xml | YES 1739 | MAYBE 3151 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex6.xml | YES 958 | YES 930 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.5.xml | YES 1041 | MAYBE 37186 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.7.xml | YES 907 | YES 1032 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.8.xml | YES 885 | YES 771 |
| tpdb-8.0/TRS/Transformed_outermost_08/f20.xml | YES 5208 | YES 55629 |
| tpdb-8.0/TRS/Transformed_outermost_08/f30.xml | YES 6360 | YES 17683 |
| tpdb-8.0/TRS/Transformed_outermost_08/f40.xml | YES 6709 | YES 57988 |
| tpdb-8.0/TRS/Transformed_outermost_08/f4.xml | YES 1053 | YES 1640 |
| tpdb-8.0/TRS/Transformed_outermost_08/morse.xml | YES 8381 | TIMEOUT 60067 | 32 | 26 |