| benchmark | AProVE | muterm |
|---|---|---|
| tpdb-8.0/TRS/AG01_innermost/#4.14.xml | YES 1851 | YES 108 |
| tpdb-8.0/TRS/AG01_innermost/#4.15.xml | YES 1845 | YES 105 |
| tpdb-8.0/TRS/AG01_innermost/#4.17.xml | YES 2021 | YES 32897 |
| tpdb-8.0/TRS/AG01_innermost/#4.20a.xml | YES 1636 | YES 122 |
| tpdb-8.0/TRS/AG01_innermost/#4.23.xml | YES 2018 | YES 131 |
| tpdb-8.0/TRS/AG01_innermost/#4.26.xml | YES 2183 | YES 165 |
| tpdb-8.0/TRS/AG01_innermost/#4.28.xml | YES 1693 | YES 149 |
| tpdb-8.0/TRS/AG01_innermost/#4.30b.xml | YES 5836 | YES 1418 |
| tpdb-8.0/TRS/AG01_innermost/#4.3.xml | YES 1742 | YES 87 |
| tpdb-8.0/TRS/AG01_innermost/#4.7.xml | YES 1744 | YES 84 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.10.xml | YES 2418 | YES 126 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.15.xml | YES 2605 | YES 158 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.19.xml | YES 2659 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.26.xml | YES 2907 | MAYBE 19411 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.28.xml | YES 2505 | MAYBE 1991 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.2.xml | YES 2455 | YES 139 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.36.xml | YES 4404 | TIMEOUT 60098 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.5.xml | YES 2307 | YES 131 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.7.xml | YES 2359 | YES 141 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.8.xml | YES 4355 | YES 1348 |
| tpdb-8.0/TRS/Mixed_innermost/cade05.xml | YES 3256 | TIMEOUT 70327 |
| tpdb-8.0/TRS/Mixed_innermost/cade13.xml | YES 2978 | MAYBE 36829 |
| tpdb-8.0/TRS/Mixed_innermost/gkg.xml | YES 1800 | YES 86 |
| tpdb-8.0/TRS/Mixed_innermost/innermost4.xml | YES 2336 | YES 1886 |
| tpdb-8.0/TRS/Mixed_innermost/test10.xml | YES 1899 | YES 115 |
| tpdb-8.0/TRS/Mixed_innermost/test75.xml | YES 2520 | YES 217 |
| tpdb-8.0/TRS/Mixed_innermost/test77.xml | YES 2332 | YES 273 |
| tpdb-8.0/TRS/Mixed_innermost/test9.xml | YES 2113 | YES 299 |
| tpdb-8.0/TRS/Mixed_innermost/thiemann26i.xml | YES 5197 | TIMEOUT 83372 |
| tpdb-8.0/TRS/Mixed_innermost/toyama.xml | YES 1743 | YES 87 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_AEL03_GM.xml | YES 44236 | TIMEOUT 60183 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_AEGL02_C.xml | YES 38952 | TIMEOUT 61495 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_AEGL02_iGM.xml | YES 3232 | YES 808 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex18_Luc06_C.xml | YES 1917 | YES 158 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM03_C.xml | TIMEOUT 60785 | TIMEOUT 60098 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM03_GM.xml | TIMEOUT 60577 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM99_C.xml | TIMEOUT 60434 | TIMEOUT 60601 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM99_GM.xml | YES 2014 | YES 129 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc04b_C.xml | YES 4545 | YES 735 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc04b_GM.xml | YES 2977 | YES 881 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex25_Luc06_C.xml | YES 1923 | YES 194 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex25_Luc06_GM.xml | YES 1652 | YES 109 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc02a_GM.xml | YES 25663 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc02a_L.xml | YES 1858 | YES 113 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc03b_GM.xml | YES 3250 | YES 279 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM.xml | TIMEOUT 60519 | TIMEOUT 60599 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM.xml | TIMEOUT 60489 | TIMEOUT 60185 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_2_Luc97_GM.xml | TIMEOUT 60546 | TIMEOUT 60244 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C.xml | YES 4966 | YES 564 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_4_Luc96b_C.xml | YES 2012 | YES 164 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_4_Luc96b_GM.xml | YES 2186 | YES 146 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM.xml | YES 2352 | YES 150 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_GM.xml | TIMEOUT 60522 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM.xml | YES 4655 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM.xml | YES 1850 | YES 122 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex49_GM04_iGM.xml | YES 5441 | YES 1490 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM.xml | TIMEOUT 60484 | TIMEOUT 60171 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_GM04_GM.xml | YES 1638 | YES 101 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_GM04_iGM.xml | YES 1647 | YES 112 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_Luc98_GM.xml | YES 2455 | YES 174 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex7_BLR02_C.xml | TIMEOUT 60722 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex7_BLR02_GM.xml | TIMEOUT 60533 | TIMEOUT 60197 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex8_BLR02_C.xml | TIMEOUT 60471 | TIMEOUT 60111 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex8_BLR02_iGM.xml | TIMEOUT 60482 | TIMEOUT 60766 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_BLR02_L.xml | YES 1754 | YES 109 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc04_iGM.xml | TIMEOUT 60582 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExAppendixB_AEL03_GM.xml | TIMEOUT 60509 | TIMEOUT 60393 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExAppendixB_AEL03_iGM.xml | TIMEOUT 60522 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExConc_Zan97_GM.xml | YES 1650 | YES 102 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM01_C.xml | YES 4371 | YES 875 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM04_C.xml | YES 3593 | YES 1180 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_Zan97_iGM.xml | TIMEOUT 60591 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExProp7_Luc06_GM.xml | YES 2173 | YES 260 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExProp7_Luc06_L.xml | YES 1687 | YES 142 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_C.xml | YES 12377 | TIMEOUT 60128 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM.xml | TIMEOUT 60476 | TIMEOUT 60130 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM.xml | TIMEOUT 60509 | TIMEOUT 61504 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM.xml | TIMEOUT 60668 | TIMEOUT 60214 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM.xml | TIMEOUT 60574 | TIMEOUT 60180 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C.xml | TIMEOUT 60526 | TIMEOUT 60105 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_C.xml | TIMEOUT 60539 | TIMEOUT 60154 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_GM.xml | YES 5019 | YES 882 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM.xml | TIMEOUT 60821 | TIMEOUT 63108 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_C.xml | TIMEOUT 60709 | TIMEOUT 60188 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_C.xml | TIMEOUT 60648 | TIMEOUT 60192 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_GM.xml | TIMEOUT 60508 | TIMEOUT 60237 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml | TIMEOUT 60583 | TIMEOUT 61248 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM.xml | TIMEOUT 60544 | TIMEOUT 60230 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_C.xml | YES 4489 | TIMEOUT 61282 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_iGM.xml | YES 2336 | YES 14475 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_GM.xml | YES 3014 | YES 42505 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml | YES 3622 | TIMEOUT 60106 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_GM.xml | TIMEOUT 60510 | TIMEOUT 69114 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_iGM.xml | TIMEOUT 60538 | TIMEOUT 60189 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_C.xml | TIMEOUT 60467 | TIMEOUT 60096 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM.xml | TIMEOUT 60525 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM.xml | TIMEOUT 60532 | TIMEOUT 73668 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_C.xml | YES 5942 | YES 1621 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_GM.xml | YES 2391 | YES 486 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_GM.xml | YES 3667 | YES 10893 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_iGM.xml | YES 4234 | YES 17172 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_C.xml | YES 3769 | TIMEOUT 75162 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_C.xml | TIMEOUT 60488 | TIMEOUT 60165 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_GM.xml | YES 6220 | YES 416 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_C.xml | YES 3298 | YES 300 | 71 | 56 |