| benchmark | AProVE | muterm | VMTL |
|---|---|---|---|
| tpdb-8.0/TRS/CSR_04/Ex1_2_AEL03.xml | YES 1234 | YES 73 | YES 1325 |
| tpdb-8.0/TRS/CSR_04/Ex1_2_Luc02c.xml | YES 946 | YES 56 | YES 587 |
| tpdb-8.0/TRS/CSR_04/Ex14_AEGL02.xml | YES 890 | YES 76 | YES 602 |
| tpdb-8.0/TRS/CSR_04/Ex14_Luc06.xml | YES 1242 | YES 769 | MAYBE 1927 |
| tpdb-8.0/TRS/CSR_04/Ex15_Luc06.xml | YES 841 | YES 41 | YES 518 |
| tpdb-8.0/TRS/CSR_04/Ex15_Luc98.xml | YES 879 | YES 62 | YES 1793 |
| tpdb-8.0/TRS/CSR_04/Ex16_Luc06.xml | YES 911 | YES 50 | YES 294 |
| tpdb-8.0/TRS/CSR_04/Ex18_Luc06.xml | YES 834 | YES 45 | YES 464 |
| tpdb-8.0/TRS/CSR_04/Ex1_GL02a.xml | YES 901 | YES 76 | YES 973 |
| tpdb-8.0/TRS/CSR_04/Ex1_GM03.xml | TIMEOUT 60498 | TIMEOUT 60036 | TIMEOUT 60087 |
| tpdb-8.0/TRS/CSR_04/Ex1_GM99.xml | YES 896 | YES 41 | YES 304 |
| tpdb-8.0/TRS/CSR_04/Ex1_Luc02b.xml | YES 1066 | YES 61 | YES 846 |
| tpdb-8.0/TRS/CSR_04/Ex1_Luc04b.xml | YES 914 | YES 63 | YES 716 |
| tpdb-8.0/TRS/CSR_04/Ex1_Zan97.xml | YES 865 | YES 78 | YES 5128 |
| tpdb-8.0/TRS/CSR_04/Ex23_Luc06.xml | YES 824 | YES 40 | YES 664 |
| tpdb-8.0/TRS/CSR_04/Ex24_GM04.xml | YES 908 | YES 41 | YES 309 |
| tpdb-8.0/TRS/CSR_04/Ex24_Luc06.xml | YES 846 | YES 41 | YES 307 |
| tpdb-8.0/TRS/CSR_04/Ex25_Luc06.xml | YES 854 | YES 60 | YES 670 |
| tpdb-8.0/TRS/CSR_04/Ex26_Luc03b.xml | YES 950 | YES 65 | YES 2131 |
| tpdb-8.0/TRS/CSR_04/Ex2_Luc02a.xml | YES 1086 | YES 66 | YES 1241 |
| tpdb-8.0/TRS/CSR_04/Ex2_Luc03b.xml | YES 892 | YES 59 | YES 1574 |
| tpdb-8.0/TRS/CSR_04/Ex3_12_Luc96a.xml | YES 980 | YES 67 | YES 640 |
| tpdb-8.0/TRS/CSR_04/Ex3_2_Luc97.xml | TIMEOUT 60672 | TIMEOUT 60040 | MAYBE 2010 |
| tpdb-8.0/TRS/CSR_04/Ex3_3_25_Bor03.xml | YES 896 | YES 63 | YES 1765 |
| tpdb-8.0/TRS/CSR_04/Ex4_4_Luc96b.xml | YES 778 | YES 63 | YES 542 |
| tpdb-8.0/TRS/CSR_04/Ex4_7_15_Bor03.xml | YES 886 | YES 78 | YES 565 |
| tpdb-8.0/TRS/CSR_04/Ex4_7_37_Bor03.xml | YES 1832 | YES 364 | YES 1393 |
| tpdb-8.0/TRS/CSR_04/Ex4_7_56_Bor03.xml | YES 1005 | YES 66 | YES 603 |
| tpdb-8.0/TRS/CSR_04/Ex4_7_77_Bor03.xml | YES 850 | YES 42 | YES 311 |
| tpdb-8.0/TRS/CSR_04/Ex49_GM04.xml | YES 1017 | YES 345 | YES 2302 |
| tpdb-8.0/TRS/CSR_04/Ex4_DLMMU04.xml | YES 2435 | YES 2945 | YES 26621 |
| tpdb-8.0/TRS/CSR_04/Ex4_Zan97.xml | YES 1062 | YES 60 | YES 732 |
| tpdb-8.0/TRS/CSR_04/Ex5_7_Luc97.xml | TIMEOUT 60632 | TIMEOUT 60043 | MAYBE 27435 |
| tpdb-8.0/TRS/CSR_04/Ex5_DLMMU04.xml | YES 1054 | YES 63 | YES 2239 |
| tpdb-8.0/TRS/CSR_04/Ex5_Zan97.xml | YES 844 | YES 95 | YES 538 |
| tpdb-8.0/TRS/CSR_04/Ex6_15_AEL02.xml | TIMEOUT 60623 | TIMEOUT 60044 | MAYBE 48849 |
| tpdb-8.0/TRS/CSR_04/Ex6_9_Luc02c.xml | YES 996 | YES 68 | YES 653 |
| tpdb-8.0/TRS/CSR_04/Ex6_GM04.xml | YES 848 | YES 44 | YES 426 |
| tpdb-8.0/TRS/CSR_04/Ex6_Luc98.xml | YES 842 | YES 60 | YES 695 |
| tpdb-8.0/TRS/CSR_04/Ex7_BLR02.xml | YES 1080 | YES 62 | YES 956 |
| tpdb-8.0/TRS/CSR_04/Ex8_BLR02.xml | YES 1139 | YES 332 | YES 1033 |
| tpdb-8.0/TRS/CSR_04/Ex9_BLR02.xml | YES 974 | YES 68 | YES 1810 |
| tpdb-8.0/TRS/CSR_04/Ex9_Luc04.xml | YES 1056 | YES 145 | YES 1647 |
| tpdb-8.0/TRS/CSR_04/Ex9_Luc06.xml | YES 1062 | YES 191 | MAYBE 52463 |
| tpdb-8.0/TRS/CSR_04/ExAppendixB_AEL03.xml | YES 1772 | YES 130 | YES 1612 |
| tpdb-8.0/TRS/CSR_04/ExConc_Zan97.xml | YES 824 | YES 43 | YES 485 |
| tpdb-8.0/TRS/CSR_04/ExIntrod_GM01.xml | YES 944 | YES 68 | YES 758 |
| tpdb-8.0/TRS/CSR_04/ExIntrod_GM04.xml | YES 910 | YES 67 | YES 786 |
| tpdb-8.0/TRS/CSR_04/ExIntrod_GM99.xml | YES 1301 | YES 73 | YES 2348 |
| tpdb-8.0/TRS/CSR_04/ExIntrod_Zan97.xml | TIMEOUT 60632 | TIMEOUT 60040 | TIMEOUT 60080 |
| tpdb-8.0/TRS/CSR_04/ExProp7_Luc06.xml | YES 885 | YES 94 | YES 3506 |
| tpdb-8.0/TRS/CSR_04/ExSec11_1_Luc02a-TRCSR.xml | YES 1102 | YES 75 | YES 1528 |
| tpdb-8.0/TRS/CSR_04/ExSec11_1_Luc02a.xml | YES 1113 | YES 69 | YES 1533 |
| tpdb-8.0/TRS/CSR_04/ExSec4_2_DLMMU04.xml | YES 1144 | YES 71 | YES 1161 |
| tpdb-8.0/TRS/Maude_06/csrdiv.xml | YES 3295 | YES 295 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Maude_06/emmes.xml | TIMEOUT 60666 | MAYBE 42640 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_complete-noand.xml | YES 4550 | YES 738 | YES 5552 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_complete.xml | TIMEOUT 60520 | YES 35023 | TIMEOUT 60099 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_nokinds-noand.xml | YES 1783 | YES 253 | YES 1957 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_nokinds.xml | YES 1455 | YES 5178 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_nosorts-noand.xml | NO 947 | NO 769 | MAYBE 6605 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_nosorts.xml | NO 929 | NO 277 | MAYBE 5162 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_complete-noand.xml | YES 12301 | YES 5108 | TIMEOUT 60064 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_complete.xml | TIMEOUT 60952 | TIMEOUT 60046 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_nokinds-noand.xml | YES 4313 | YES 540 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_nokinds.xml | TIMEOUT 60859 | TIMEOUT 60045 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_nosorts-noand.xml | YES 1813 | YES 92 | YES 55546 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_nosorts.xml | YES 1172 | YES 68 | MAYBE 39128 |
| tpdb-8.0/TRS/Maude_06/MYNAT_complete-noand-peanoSimple.xml | YES 2234 | YES 142 | YES 3103 |
| tpdb-8.0/TRS/Maude_06/MYNAT_complete-noand.xml | YES 2974 | YES 332 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Maude_06/MYNAT_complete-peanoSimple.xml | YES 1362 | YES 298 | YES 3343 |
| tpdb-8.0/TRS/Maude_06/MYNAT_complete.xml | YES 5019 | YES 24368 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nokinds-noand-peanoSimple.xml | YES 1120 | YES 67 | YES 1256 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nokinds-noand.xml | YES 1836 | YES 121 | TIMEOUT 60119 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nokinds-peanoSimple.xml | YES 997 | YES 105 | YES 1356 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nokinds.xml | YES 2333 | YES 2718 | TIMEOUT 60119 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nosorts-noand-peanoSimple.xml | YES 953 | YES 66 | YES 428 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nosorts-noand.xml | YES 1086 | YES 70 | MAYBE 26333 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nosorts-peanoSimple.xml | YES 850 | YES 69 | YES 341 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nosorts.xml | YES 990 | YES 88 | YES 433 |
| tpdb-8.0/TRS/Maude_06/OvConsOS_complete-noand.xml | YES 6312 | YES 1997 | YES 11484 |
| tpdb-8.0/TRS/Maude_06/OvConsOS_complete.xml | TIMEOUT 60657 | TIMEOUT 60056 | TIMEOUT 60064 |
| tpdb-8.0/TRS/Maude_06/OvConsOS_nokinds-noand.xml | YES 2526 | YES 486 | YES 3857 |
| tpdb-8.0/TRS/Maude_06/OvConsOS_nokinds.xml | TIMEOUT 60755 | TIMEOUT 60035 | TIMEOUT 60085 |
| tpdb-8.0/TRS/Maude_06/OvConsOS_nosorts-noand.xml | NO 1185 | NO 1837 | MAYBE 37874 |
| tpdb-8.0/TRS/Maude_06/OvConsOS_nosorts.xml | NO 990 | NO 356 | MAYBE 14152 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_complete-noand.xml | YES 5001 | YES 339 | YES 7291 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_complete.xml | YES 1957 | YES 386 | YES 5306 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_nokinds-noand.xml | YES 1318 | YES 77 | YES 1708 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_nokinds.xml | YES 1104 | YES 112 | YES 1070 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_nosorts-noand.xml | YES 908 | YES 67 | YES 387 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_nosorts.xml | YES 836 | YES 62 | YES 403 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex1.xml | YES 928 | YES 152 | YES 721 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex2.xml | YES 1685 | YES 248 | MAYBE 3336 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex3.xml | YES 967 | YES 117 | YES 1275 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex4.xml | YES 863 | YES 74 | YES 499 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex5.xml | YES 869 | YES 89 | YES 472 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex6.xml | YES 957 | YES 92 | YES 941 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.3.xml | YES 887 | YES 62 | YES 616 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.4.xml | YES 1068 | YES 629 | YES 39428 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.5.xml | YES 1034 | YES 148 | MAYBE 36317 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.6.xml | YES 946 | YES 78 | YES 905 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.7.xml | YES 907 | YES 110 | YES 1034 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.8.xml | YES 869 | YES 69 | YES 780 |
| tpdb-8.0/TRS/Transformed_outermost_08/f20.xml | YES 5185 | YES 3648 | YES 49937 |
| tpdb-8.0/TRS/Transformed_outermost_08/f30.xml | YES 6184 | YES 373 | YES 17811 |
| tpdb-8.0/TRS/Transformed_outermost_08/f40.xml | YES 6604 | YES 771 | YES 52014 |
| tpdb-8.0/TRS/Transformed_outermost_08/f4.xml | YES 1077 | YES 175 | YES 1631 |
| tpdb-8.0/TRS/Transformed_outermost_08/morse.xml | YES 8956 | YES 8445 | TIMEOUT 60060 | 98 | 99 | 79 |