| benchmark | AProVE | muterm |
|---|---|---|
| tpdb-8.0/TRS/CSR_04/Ex1_2_AEL03.xml | YES 1581 | YES 69 |
| tpdb-8.0/TRS/CSR_04/Ex1_2_Luc02c.xml | YES 1310 | YES 54 |
| tpdb-8.0/TRS/CSR_04/Ex14_AEGL02.xml | YES 1201 | YES 75 |
| tpdb-8.0/TRS/CSR_04/Ex14_Luc06.xml | YES 1584 | YES 785 |
| tpdb-8.0/TRS/CSR_04/Ex15_Luc06.xml | YES 1162 | YES 42 |
| tpdb-8.0/TRS/CSR_04/Ex15_Luc98.xml | YES 1206 | YES 61 |
| tpdb-8.0/TRS/CSR_04/Ex16_Luc06.xml | YES 1179 | YES 43 |
| tpdb-8.0/TRS/CSR_04/Ex18_Luc06.xml | YES 1105 | YES 43 |
| tpdb-8.0/TRS/CSR_04/Ex1_GL02a.xml | YES 1242 | YES 76 |
| tpdb-8.0/TRS/CSR_04/Ex1_GM03.xml | TIMEOUT 60674 | TIMEOUT 60037 |
| tpdb-8.0/TRS/CSR_04/Ex1_GM99.xml | YES 1218 | YES 46 |
| tpdb-8.0/TRS/CSR_04/Ex1_Luc02b.xml | YES 1420 | YES 62 |
| tpdb-8.0/TRS/CSR_04/Ex1_Luc04b.xml | YES 1258 | YES 57 |
| tpdb-8.0/TRS/CSR_04/Ex1_Zan97.xml | YES 1160 | YES 72 |
| tpdb-8.0/TRS/CSR_04/Ex23_Luc06.xml | YES 1122 | YES 42 |
| tpdb-8.0/TRS/CSR_04/Ex24_GM04.xml | YES 1208 | YES 43 |
| tpdb-8.0/TRS/CSR_04/Ex24_Luc06.xml | YES 1145 | YES 43 |
| tpdb-8.0/TRS/CSR_04/Ex25_Luc06.xml | YES 1167 | YES 55 |
| tpdb-8.0/TRS/CSR_04/Ex26_Luc03b.xml | YES 1237 | YES 67 |
| tpdb-8.0/TRS/CSR_04/Ex2_Luc02a.xml | YES 1441 | YES 63 |
| tpdb-8.0/TRS/CSR_04/Ex2_Luc03b.xml | YES 1234 | YES 60 |
| tpdb-8.0/TRS/CSR_04/Ex3_12_Luc96a.xml | YES 1339 | YES 62 |
| tpdb-8.0/TRS/CSR_04/Ex3_2_Luc97.xml | TIMEOUT 60804 | TIMEOUT 60085 |
| tpdb-8.0/TRS/CSR_04/Ex3_3_25_Bor03.xml | YES 1245 | YES 61 |
| tpdb-8.0/TRS/CSR_04/Ex4_4_Luc96b.xml | YES 1058 | YES 55 |
| tpdb-8.0/TRS/CSR_04/Ex4_7_15_Bor03.xml | YES 1200 | YES 77 |
| tpdb-8.0/TRS/CSR_04/Ex4_7_37_Bor03.xml | YES 1785 | YES 83 |
| tpdb-8.0/TRS/CSR_04/Ex4_7_56_Bor03.xml | YES 1336 | YES 63 |
| tpdb-8.0/TRS/CSR_04/Ex4_7_77_Bor03.xml | YES 1122 | YES 42 |
| tpdb-8.0/TRS/CSR_04/Ex49_GM04.xml | YES 1341 | YES 105 |
| tpdb-8.0/TRS/CSR_04/Ex4_DLMMU04.xml | YES 2471 | YES 3329 |
| tpdb-8.0/TRS/CSR_04/Ex4_Zan97.xml | YES 1398 | YES 60 |
| tpdb-8.0/TRS/CSR_04/Ex5_7_Luc97.xml | TIMEOUT 60958 | TIMEOUT 60088 |
| tpdb-8.0/TRS/CSR_04/Ex5_DLMMU04.xml | YES 1381 | YES 62 |
| tpdb-8.0/TRS/CSR_04/Ex5_Zan97.xml | YES 1157 | YES 95 |
| tpdb-8.0/TRS/CSR_04/Ex6_15_AEL02.xml | TIMEOUT 60783 | TIMEOUT 60088 |
| tpdb-8.0/TRS/CSR_04/Ex6_9_Luc02c.xml | YES 1348 | YES 58 |
| tpdb-8.0/TRS/CSR_04/Ex6_GM04.xml | YES 1133 | YES 43 |
| tpdb-8.0/TRS/CSR_04/Ex6_Luc98.xml | YES 1146 | YES 55 |
| tpdb-8.0/TRS/CSR_04/Ex7_BLR02.xml | YES 1429 | YES 60 |
| tpdb-8.0/TRS/CSR_04/Ex8_BLR02.xml | YES 1473 | YES 62 |
| tpdb-8.0/TRS/CSR_04/Ex9_BLR02.xml | YES 1306 | YES 66 |
| tpdb-8.0/TRS/CSR_04/Ex9_Luc04.xml | YES 1382 | YES 154 |
| tpdb-8.0/TRS/CSR_04/Ex9_Luc06.xml | YES 1419 | YES 173 |
| tpdb-8.0/TRS/CSR_04/ExAppendixB_AEL03.xml | YES 1663 | YES 73 |
| tpdb-8.0/TRS/CSR_04/ExConc_Zan97.xml | YES 1113 | YES 43 |
| tpdb-8.0/TRS/CSR_04/ExIntrod_GM01.xml | YES 1295 | YES 61 |
| tpdb-8.0/TRS/CSR_04/ExIntrod_GM04.xml | YES 1253 | YES 59 |
| tpdb-8.0/TRS/CSR_04/ExIntrod_GM99.xml | YES 1598 | YES 62 |
| tpdb-8.0/TRS/CSR_04/ExIntrod_Zan97.xml | TIMEOUT 60976 | TIMEOUT 60033 |
| tpdb-8.0/TRS/CSR_04/ExProp7_Luc06.xml | YES 1209 | YES 90 |
| tpdb-8.0/TRS/CSR_04/ExSec11_1_Luc02a-TRCSR.xml | YES 1499 | YES 65 |
| tpdb-8.0/TRS/CSR_04/ExSec11_1_Luc02a.xml | YES 1486 | YES 66 |
| tpdb-8.0/TRS/CSR_04/ExSec4_2_DLMMU04.xml | YES 1515 | YES 68 |
| tpdb-8.0/TRS/Maude_06/csrdiv.xml | YES 3634 | YES 329 |
| tpdb-8.0/TRS/Maude_06/emmes.xml | TIMEOUT 60855 | MAYBE 50031 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_complete-noand.xml | YES 5075 | YES 658 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_complete.xml | YES 17554 | YES 41309 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_nokinds-noand.xml | YES 2385 | YES 174 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_nokinds.xml | YES 1881 | YES 5404 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_nosorts-noand.xml | NO 1320 | NO 811 |
| tpdb-8.0/TRS/Maude_06/LengthOfFiniteLists_nosorts.xml | NO 1245 | NO 273 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_complete-noand.xml | YES 13636 | YES 18227 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_complete.xml | TIMEOUT 60772 | TIMEOUT 60069 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_nokinds-noand.xml | YES 3359 | YES 1211 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_nokinds.xml | TIMEOUT 60982 | TIMEOUT 60045 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_nosorts-noand.xml | YES 1955 | YES 90 |
| tpdb-8.0/TRS/Maude_06/LISTUTILITIES_nosorts.xml | YES 1540 | YES 67 |
| tpdb-8.0/TRS/Maude_06/MYNAT_complete-noand-peanoSimple.xml | YES 2474 | YES 178 |
| tpdb-8.0/TRS/Maude_06/MYNAT_complete-noand.xml | YES 2935 | YES 631 |
| tpdb-8.0/TRS/Maude_06/MYNAT_complete-peanoSimple.xml | YES 1855 | YES 346 |
| tpdb-8.0/TRS/Maude_06/MYNAT_complete.xml | YES 4315 | YES 21350 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nokinds-noand-peanoSimple.xml | YES 1462 | YES 65 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nokinds-noand.xml | YES 1760 | YES 76 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nokinds-peanoSimple.xml | YES 1354 | YES 94 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nokinds.xml | YES 2265 | YES 1983 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nosorts-noand-peanoSimple.xml | YES 1247 | YES 60 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nosorts-noand.xml | YES 1444 | YES 64 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nosorts-peanoSimple.xml | YES 1169 | YES 57 |
| tpdb-8.0/TRS/Maude_06/MYNAT_nosorts.xml | YES 1348 | YES 59 |
| tpdb-8.0/TRS/Maude_06/OvConsOS_complete-noand.xml | YES 7123 | YES 2156 |
| tpdb-8.0/TRS/Maude_06/OvConsOS_complete.xml | TIMEOUT 61389 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Maude_06/OvConsOS_nokinds-noand.xml | YES 3226 | YES 287 |
| tpdb-8.0/TRS/Maude_06/OvConsOS_nokinds.xml | TIMEOUT 60985 | TIMEOUT 60039 |
| tpdb-8.0/TRS/Maude_06/OvConsOS_nosorts-noand.xml | NO 1537 | NO 1958 |
| tpdb-8.0/TRS/Maude_06/OvConsOS_nosorts.xml | NO 1381 | NO 349 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_complete-noand.xml | YES 5757 | YES 645 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_complete.xml | YES 2464 | YES 538 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_nokinds-noand.xml | YES 1643 | YES 78 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_nokinds.xml | YES 1458 | YES 120 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_nosorts-noand.xml | YES 1264 | YES 57 |
| tpdb-8.0/TRS/Maude_06/PALINDROME_nosorts.xml | YES 1150 | YES 58 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex1.xml | YES 1257 | YES 79 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex2.xml | YES 2171 | YES 226 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex3.xml | YES 1317 | YES 120 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex4.xml | YES 1161 | YES 70 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex5.xml | YES 1171 | YES 89 |
| tpdb-8.0/TRS/Transformed_outermost_08/cariboo_ex6.xml | YES 1249 | YES 75 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.3.xml | YES 1218 | YES 72 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.4.xml | YES 1385 | YES 677 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.5.xml | YES 1427 | YES 158 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.6.xml | YES 1263 | YES 76 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.7.xml | YES 1258 | YES 113 |
| tpdb-8.0/TRS/Transformed_outermost_08/ex5.8.xml | YES 1215 | YES 59 |
| tpdb-8.0/TRS/Transformed_outermost_08/f20.xml | YES 4608 | YES 4864 |
| tpdb-8.0/TRS/Transformed_outermost_08/f30.xml | YES 5098 | YES 284 |
| tpdb-8.0/TRS/Transformed_outermost_08/f40.xml | YES 6275 | YES 544 |
| tpdb-8.0/TRS/Transformed_outermost_08/f4.xml | YES 1400 | YES 178 |
| tpdb-8.0/TRS/Transformed_outermost_08/morse.xml | YES 16624 | YES 13140 | 99 | 99 |