| benchmark | AProVE |
|---|---|
| tpdb-8.0/TRS/CSR_04/Ex1_2_AEL03.xml | YES 1802 |
| tpdb-8.0/TRS/CSR_04/Ex1_2_Luc02c.xml | YES 1575 |
| tpdb-8.0/TRS/CSR_04/Ex14_AEGL02.xml | YES 1600 |
| tpdb-8.0/TRS/CSR_04/Ex14_Luc06.xml | YES 2070 |
| tpdb-8.0/TRS/CSR_04/Ex15_Luc06.xml | YES 1633 |
| tpdb-8.0/TRS/CSR_04/Ex15_Luc98.xml | YES 1583 |
| tpdb-8.0/TRS/CSR_04/Ex16_Luc06.xml | YES 1528 |
| tpdb-8.0/TRS/CSR_04/Ex18_Luc06.xml | YES 1484 |
| tpdb-8.0/TRS/CSR_04/Ex1_GL02a.xml | YES 1683 |
| tpdb-8.0/TRS/CSR_04/Ex1_GM03.xml | TIMEOUT 60297 |
| tpdb-8.0/TRS/CSR_04/Ex1_GM99.xml | YES 1475 |
| tpdb-8.0/TRS/CSR_04/Ex1_Luc02b.xml | YES 1700 |
| tpdb-8.0/TRS/CSR_04/Ex1_Luc04b.xml | YES 1747 |
| tpdb-8.0/TRS/CSR_04/Ex1_Zan97.xml | YES 1549 |
| tpdb-8.0/TRS/CSR_04/Ex23_Luc06.xml | YES 1534 |
| tpdb-8.0/TRS/CSR_04/Ex24_GM04.xml | YES 1584 |
| tpdb-8.0/TRS/CSR_04/Ex24_Luc06.xml | YES 1637 |
| tpdb-8.0/TRS/CSR_04/Ex25_Luc06.xml | YES 1580 |
| tpdb-8.0/TRS/CSR_04/Ex26_Luc03b.xml | YES 1707 |
| tpdb-8.0/TRS/CSR_04/Ex2_Luc02a.xml | YES 1753 |
| tpdb-8.0/TRS/CSR_04/Ex2_Luc03b.xml | YES 1657 |
| tpdb-8.0/TRS/CSR_04/Ex3_12_Luc96a.xml | YES 1644 |
| tpdb-8.0/TRS/CSR_04/Ex3_2_Luc97.xml | TIMEOUT 60416 |
| tpdb-8.0/TRS/CSR_04/Ex3_3_25_Bor03.xml | YES 1749 |
| tpdb-8.0/TRS/CSR_04/Ex4_4_Luc96b.xml | YES 1525 |
| tpdb-8.0/TRS/CSR_04/Ex4_7_15_Bor03.xml | YES 1685 |
| tpdb-8.0/TRS/CSR_04/Ex4_7_37_Bor03.xml | YES 2155 |
| tpdb-8.0/TRS/CSR_04/Ex4_7_56_Bor03.xml | YES 1694 |
| tpdb-8.0/TRS/CSR_04/Ex4_7_77_Bor03.xml | YES 1530 |
| tpdb-8.0/TRS/CSR_04/Ex49_GM04.xml | YES 1692 |
| tpdb-8.0/TRS/CSR_04/Ex4_DLMMU04.xml | YES 3301 |
| tpdb-8.0/TRS/CSR_04/Ex4_Zan97.xml | YES 1691 |
| tpdb-8.0/TRS/CSR_04/Ex5_7_Luc97.xml | TIMEOUT 60509 |
| tpdb-8.0/TRS/CSR_04/Ex5_DLMMU04.xml | YES 1989 |
| tpdb-8.0/TRS/CSR_04/Ex5_Zan97.xml | YES 1552 |
| tpdb-8.0/TRS/CSR_04/Ex6_15_AEL02.xml | YES 4703 |
| tpdb-8.0/TRS/CSR_04/Ex6_9_Luc02c.xml | YES 1580 |
| tpdb-8.0/TRS/CSR_04/Ex6_GM04.xml | YES 1600 |
| tpdb-8.0/TRS/CSR_04/Ex6_Luc98.xml | YES 1533 |
| tpdb-8.0/TRS/CSR_04/Ex7_BLR02.xml | YES 1700 |
| tpdb-8.0/TRS/CSR_04/Ex8_BLR02.xml | YES 1725 |
| tpdb-8.0/TRS/CSR_04/Ex9_BLR02.xml | YES 1640 |
| tpdb-8.0/TRS/CSR_04/Ex9_Luc04.xml | YES 1653 |
| tpdb-8.0/TRS/CSR_04/Ex9_Luc06.xml | YES 2133 |
| tpdb-8.0/TRS/CSR_04/ExAppendixB_AEL03.xml | YES 1843 |
| tpdb-8.0/TRS/CSR_04/ExConc_Zan97.xml | YES 1582 |
| tpdb-8.0/TRS/CSR_04/ExIntrod_GM01.xml | YES 1675 |
| tpdb-8.0/TRS/CSR_04/ExIntrod_GM04.xml | YES 1727 |
| tpdb-8.0/TRS/CSR_04/ExIntrod_GM99.xml | YES 1810 |
| tpdb-8.0/TRS/CSR_04/ExIntrod_Zan97.xml | TIMEOUT 60294 |
| tpdb-8.0/TRS/CSR_04/ExProp7_Luc06.xml | YES 1737 |
| tpdb-8.0/TRS/CSR_04/ExSec11_1_Luc02a-TRCSR.xml | YES 1762 |
| tpdb-8.0/TRS/CSR_04/ExSec11_1_Luc02a.xml | YES 1770 |
| tpdb-8.0/TRS/CSR_04/ExSec4_2_DLMMU04.xml | YES 1749 |
| tpdb-8.0/TRS/Maude_06/csrdiv.xml | YES 7983 |
| tpdb-8.0/TRS/Maude_06/emmes.xml | TIMEOUT 60319 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_complete-noand.xml | YES 6107 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_complete.xml | YES 54857 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_nokinds-noand.xml | YES 2809 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_nokinds.xml | YES 2671 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_nosorts-noand.xml | MAYBE 23022 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_nosorts.xml | MAYBE 10130 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_complete-noand.xml | YES 8523 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_complete.xml | TIMEOUT 61070 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_nokinds-noand.xml | YES 4150 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_nokinds.xml | TIMEOUT 60380 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_nosorts-noand.xml | YES 2066 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_nosorts.xml | YES 1801 |
| tpdb-8.0/TRS/Maude_06/MYNAT_complete-noand-peanoSimple.xml | YES 3428 |
| tpdb-8.0/TRS/Maude_06/MYNAT_complete-noand.xml | YES 3474 |
| tpdb-8.0/TRS/Maude_06/MYNAT_complete-peanoSimple.xml | YES 2502 |
| tpdb-8.0/TRS/Maude_06/MYNAT_complete.xml | YES 7160 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nokinds-noand-peanoSimple.xml | YES 1858 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nokinds-noand.xml | YES 1955 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nokinds-peanoSimple.xml | YES 1897 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nokinds.xml | YES 3490 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nosorts-noand-peanoSimple.xml | YES 1694 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nosorts-noand.xml | YES 1710 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nosorts-peanoSimple.xml | YES 1529 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nosorts.xml | YES 1652 |
| tpdb-8.0/TRS/Maude_06/OvConsOS_complete-noand.xml | YES 7820 |
| tpdb-8.0/TRS/Maude_06/OvConsOS_complete.xml | TIMEOUT 60652 |
| tpdb-8.0/TRS/Maude_06/OvConsOS_nokinds-noand.xml | YES 3949 |
| tpdb-8.0/TRS/Maude_06/OvConsOS_nokinds.xml | TIMEOUT 60392 |
| tpdb-8.0/TRS/Maude_06/OvConsOS_nosorts-noand.xml | MAYBE 34621 |
| tpdb-8.0/TRS/Maude_06/OvConsOS_nosorts.xml | MAYBE 13804 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_complete-noand.xml | YES 4991 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_complete.xml | YES 3415 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_nokinds-noand.xml | YES 2382 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_nokinds.xml | YES 1962 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_nosorts-noand.xml | YES 1648 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_nosorts.xml | YES 1526 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex1.xml | YES 1736 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex2.xml | YES 3245 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex3.xml | YES 1789 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex4.xml | YES 1544 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex5.xml | YES 1548 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex6.xml | YES 1643 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.3.xml | YES 1683 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.4.xml | YES 1968 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.5.xml | YES 1871 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.6.xml | YES 1687 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.7.xml | YES 1689 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.8.xml | YES 1648 |
| tpdb-8.0/TRS/Transformed_outermost_08/f20.xml | YES 9693 |
| tpdb-8.0/TRS/Transformed_outermost_08/f30.xml | TIMEOUT 60310 |
| tpdb-8.0/TRS/Transformed_outermost_08/f40.xml | TIMEOUT 60883 |
| tpdb-8.0/TRS/Transformed_outermost_08/f4.xml | YES 1862 |
| tpdb-8.0/TRS/Transformed_outermost_08/morse.xml | YES 15857 | 94 |