| benchmark | AProVE | muterm |
|---|---|---|
| tpdb-8.0/TRS/AG01_innermost/#4.15.xml | YES 1048 | YES 109 |
| tpdb-8.0/TRS/AG01_innermost/#4.16.xml | YES 958 | YES 104 |
| tpdb-8.0/TRS/AG01_innermost/#4.18.xml | YES 4763 | YES 87 |
| tpdb-8.0/TRS/AG01_innermost/#4.21.xml | YES 807 | YES 90 |
| tpdb-8.0/TRS/AG01_innermost/#4.22.xml | YES 1002 | YES 102 |
| tpdb-8.0/TRS/AG01_innermost/#4.32.xml | YES 1046 | YES 95 |
| tpdb-8.0/TRS/AG01_innermost/#4.34.xml | YES 1280 | YES 157 |
| tpdb-8.0/TRS/AG01_innermost/#4.37.xml | YES 1104 | YES 138 |
| tpdb-8.0/TRS/AG01_innermost/#4.4.xml | YES 962 | YES 100 |
| tpdb-8.0/TRS/AG01_innermost/#4.5.xml | YES 1036 | YES 89 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.13.xml | YES 1691 | YES 133 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.19.xml | YES 1912 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.22.xml | YES 1704 | MAYBE 9094 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.24.xml | YES 1869 | YES 166 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.26.xml | YES 2326 | MAYBE 19768 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.2.xml | YES 1703 | YES 136 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.36.xml | YES 3654 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.3.xml | YES 1551 | YES 134 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.7.xml | YES 1537 | YES 141 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.8.xml | YES 3607 | YES 1355 |
| tpdb-8.0/TRS/Mixed_innermost/cade05.xml | YES 2844 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Mixed_innermost/innermost1.xml | YES 944 | YES 79 |
| tpdb-8.0/TRS/Mixed_innermost/innermost2.xml | YES 1053 | TIMEOUT 60114 |
| tpdb-8.0/TRS/Mixed_innermost/innermost5.xml | YES 1366 | TIMEOUT 60115 |
| tpdb-8.0/TRS/Mixed_innermost/n001.xml | NO 1488 | MAYBE 1123 |
| tpdb-8.0/TRS/Mixed_innermost/test76.xml | YES 2867 | YES 406 |
| tpdb-8.0/TRS/Mixed_innermost/test830.xml | YES 999 | YES 128 |
| tpdb-8.0/TRS/Mixed_innermost/thiemann26i.xml | YES 3706 | TIMEOUT 60139 |
| tpdb-8.0/TRS/Mixed_innermost/toyama.xml | YES 895 | YES 86 |
| tpdb-8.0/TRS/Mixed_innermost/wiehe13.xml | YES 2618 | YES 468 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM.xml | YES 49074 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_AEGL02_C.xml | YES 3757 | TIMEOUT 60113 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc06_iGM.xml | YES 899 | YES 127 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc98_iGM.xml | YES 4489 | YES 877 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex18_Luc06_iGM.xml | YES 2792 | YES 136 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex18_Luc06_L.xml | YES 788 | YES 90 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM03_GM.xml | TIMEOUT 60515 | TIMEOUT 60122 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc04b_C.xml | YES 3713 | YES 3277 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_GM04_C.xml | TIMEOUT 60673 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_Luc06_C.xml | YES 1815 | TIMEOUT 60123 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_Luc06_iGM.xml | YES 1496 | TIMEOUT 60098 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex25_Luc06_GM.xml | YES 802 | YES 108 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc02a_iGM.xml | YES 6719 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc03b_C.xml | YES 3941 | YES 382 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM.xml | TIMEOUT 60447 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_2_Luc97_C.xml | TIMEOUT 60445 | TIMEOUT 60128 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C.xml | YES 4383 | YES 559 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_L.xml | YES 901 | YES 112 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_L.xml | YES 801 | YES 128 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex49_GM04_C.xml | YES 4692 | YES 4952 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_7_Luc97_C.xml | TIMEOUT 60449 | TIMEOUT 60129 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_DLMMU04_GM.xml | YES 3795 | YES 5439 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_Zan97_GM.xml | YES 1344 | YES 2164 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_15_AEL02_GM.xml | TIMEOUT 60476 | TIMEOUT 60139 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM.xml | TIMEOUT 60442 | TIMEOUT 60164 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM.xml | YES 10641 | TIMEOUT 60118 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_GM04_iGM.xml | YES 846 | YES 108 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_Luc98_GM.xml | YES 1811 | YES 190 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex7_BLR02_C.xml | TIMEOUT 60460 | TIMEOUT 60117 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex7_BLR02_iGM.xml | TIMEOUT 60413 | TIMEOUT 60111 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex8_BLR02_C.xml | TIMEOUT 60715 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex8_BLR02_iGM.xml | TIMEOUT 60445 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_BLR02_GM.xml | YES 2721 | YES 288 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc04_C.xml | TIMEOUT 60699 | TIMEOUT 60140 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc04_iGM.xml | TIMEOUT 60570 | TIMEOUT 60119 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExAppendixB_AEL03_C.xml | TIMEOUT 60391 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExAppendixB_AEL03_iGM.xml | TIMEOUT 60677 | TIMEOUT 60119 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExConc_Zan97_iGM.xml | YES 3378 | YES 132 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM99_C.xml | TIMEOUT 60441 | TIMEOUT 60109 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM99_iGM.xml | TIMEOUT 60576 | TIMEOUT 60114 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_Zan97_iGM.xml | TIMEOUT 60461 | TIMEOUT 60118 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExProp7_Luc06_C.xml | YES 9173 | YES 28620 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExProp7_Luc06_iGM.xml | YES 5475 | YES 665 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM.xml | TIMEOUT 60407 | TIMEOUT 60142 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM.xml | TIMEOUT 60452 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_C.xml | TIMEOUT 60521 | TIMEOUT 60122 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_GM.xml | YES 14925 | YES 8395 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C.xml | TIMEOUT 60401 | TIMEOUT 60127 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM.xml | TIMEOUT 60388 | TIMEOUT 60113 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_GM.xml | NO 2320 | TIMEOUT 60086 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_GM.xml | TIMEOUT 60566 | TIMEOUT 60147 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_C.xml | TIMEOUT 60586 | TIMEOUT 60139 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_C.xml | YES 6871 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_GM.xml | TIMEOUT 60458 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_C.xml | YES 3666 | TIMEOUT 60126 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml | YES 2344 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml | YES 27328 | TIMEOUT 60128 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_C.xml | YES 2274 | YES 6565 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_C.xml | YES 4114 | YES 14928 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml | YES 2954 | TIMEOUT 60127 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_C.xml | TIMEOUT 60506 | TIMEOUT 60134 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_GM.xml | YES 32839 | YES 16237 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_GM.xml | TIMEOUT 60455 | TIMEOUT 60142 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_C.xml | TIMEOUT 60855 | TIMEOUT 60173 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_C.xml | TIMEOUT 60689 | TIMEOUT 60157 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM.xml | TIMEOUT 60569 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_C.xml | YES 2696 | YES 581 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_GM.xml | YES 2266 | YES 1008 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_GM.xml | YES 1221 | YES 510 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_C.xml | YES 2351 | YES 345 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM.xml | YES 1523 | YES 1238 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_C.xml | YES 5229 | TIMEOUT 60112 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_C.xml | YES 2915 | TIMEOUT 60130 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_GM.xml | YES 3057 | YES 434 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_iGM.xml | YES 1278 | YES 734 | 74 | 51 |