| benchmark | AProVE |
|---|---|
| tpdb-8.0/TRS/Mixed_outermost/afbg.xml | YES 27173 |
| tpdb-8.0/TRS/Mixed_outermost/even.xml | NO 1034 |
| tpdb-8.0/TRS/Mixed_outermost/ex1.xml | YES 1476 |
| tpdb-8.0/TRS/Mixed_outermost/ex2.xml | YES 7108 |
| tpdb-8.0/TRS/Mixed_outermost/ex3.xml | YES 1688 |
| tpdb-8.0/TRS/Mixed_outermost/ex4.xml | YES 1204 |
| tpdb-8.0/TRS/Mixed_outermost/ex5.xml | YES 1224 |
| tpdb-8.0/TRS/Mixed_outermost/ex6.xml | YES 1358 |
| tpdb-8.0/TRS/Mixed_outermost/gfb.xml | YES 1265 |
| tpdb-8.0/TRS/Mixed_outermost/non-lin1.xml | YES 1243 |
| tpdb-8.0/TRS/Mixed_outermost/non-lin2.xml | YES 1422 |
| tpdb-8.0/TRS/Mixed_outermost/non-lin3.xml | YES 1968 |
| tpdb-8.0/TRS/Mixed_outermost/odd.xml | YES 2562 |
| tpdb-8.0/TRS/Mixed_outermost/patterns1.xml | YES 30468 |
| tpdb-8.0/TRS/Mixed_outermost/patterns2.xml | YES 21419 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/001.xml | NO 1070 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/003.xml | NO 1111 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/2.05.xml | NO 1489 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.06.xml | NO 1085 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.12a.xml | NO 1171 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.13.xml | YES 20957 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.14.xml | NO 1085 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.15.xml | NO 1111 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.16.xml | NO 1029 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.17.xml | NO 1080 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.18.xml | NO 1041 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.2.xml | NO 1047 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.34.xml | NO 1016 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.3.xml | NO 1059 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.40.xml | NO 7432 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.49.xml | NO 1028 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.4.xml | NO 1066 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.54.xml | NO 1083 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.7.xml | NO 1024 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/append-wrong.xml | TIMEOUT 60763 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/cime4.xml | NO 1092 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_AEL03_L.xml | NO 1094 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_AEL03.xml | NO 1103 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_Luc02c_L.xml | NO 1009 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_Luc02c.xml | NO 1016 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_AEGL02_FR.xml | TIMEOUT 60893 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_AEGL02_L.xml | NO 1031 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_AEGL02.xml | NO 1034 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_AEGL02_Z.xml | NO 2169 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_FR.xml | NO 3545 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_GM.xml | TIMEOUT 60741 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_L.xml | NO 1045 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_Z.xml | NO 3570 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex15_Luc06_L.xml | NO 1032 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex15_Luc98_L.xml | NO 1035 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex15_Luc98.xml | NO 1088 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex16_Luc06_L.xml | NO 1024 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GL02a_L.xml | NO 1022 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GL02a.xml | NO 1059 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GL02a_Z.xml | YES 10310 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM03_L.xml | NO 1038 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM03.xml | NO 1076 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM03_Z.xml | NO 1119 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_FR.xml | NO 1253 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_GM.xml | TIMEOUT 60646 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_iGM.xml | TIMEOUT 60812 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_L.xml | NO 1033 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99.xml | NO 1033 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_Z.xml | NO 1267 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc02b_L.xml | NO 1034 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc02b.xml | NO 1041 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc04b_FR.xml | YES 6462 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc04b_L.xml | NO 1031 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc04b_Z.xml | NO 1057 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97_FR.xml | NO 1219 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97_L.xml | NO 1025 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97.xml | NO 1046 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97_Z.xml | NO 1185 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_GM04_GM.xml | TIMEOUT 61148 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_GM04_L.xml | NO 1006 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_GM04.xml | YES 42330 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_FR.xml | NO 1146 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_GM.xml | YES 8777 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_iGM.xml | TIMEOUT 60829 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_L.xml | NO 1031 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_Z.xml | NO 1196 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex26_Luc03b.xml | NO 1083 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex2_8_1ConstSubstFix.xml | NO 1121 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex2_Luc03b.xml | NO 1045 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_12_Luc96a_L.xml | NO 1029 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_12_Luc96a.xml | NO 1055 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_2_Luc97_L.xml | NO 1041 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_2_Luc97.xml | NO 1093 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_3_25_Bor03.xml | NO 1066 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_3_25_Bor03_Z.xml | NO 1168 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_4_Luc96b_FR.xml | YES 23245 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_4_Luc96b.xml | NO 1021 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_4_Luc96b_Z.xml | TIMEOUT 60494 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_15_Bor03.xml | NO 1047 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_37_Bor03_L.xml | NO 1069 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_37_Bor03.xml | NO 1097 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_56_Bor03_L.xml | NO 1042 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_56_Bor03.xml | NO 1031 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_77_Bor03_L.xml | NO 1005 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_77_Bor03.xml | NO 1017 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex49_GM04_L.xml | NO 1056 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_DLMMU04_FR.xml | NO 10693 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_DLMMU04_L.xml | NO 1098 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_DLMMU04_Z.xml | NO 11908 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_Zan97_L.xml | NO 1049 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_Zan97.xml | NO 1054 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_7_Luc97_L.xml | NO 1145 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_7_Luc97.xml | NO 1105 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_DLMMU04_FR.xml | TIMEOUT 60630 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_DLMMU04_L.xml | NO 1058 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_DLMMU04_Z.xml | TIMEOUT 60683 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_Zan97_L.xml | NO 1028 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_Zan97.xml | YES 5155 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_15_AEL02_L.xml | NO 1119 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_15_AEL02.xml | NO 1194 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_15_AEL02_Z.xml | NO 13203 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_9_Luc02c_L.xml | NO 1031 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_9_Luc02c.xml | NO 1028 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_GM04_FR.xml | NO 1802 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_GM04.xml | TIMEOUT 60641 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_GM04_Z.xml | NO 1859 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_Luc98.xml | NO 1048 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ex6.xml | YES 1319 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex7_BLR02_L.xml | NO 1045 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex7_BLR02.xml | NO 1038 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex8_BLR02_L.xml | NO 1055 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex8_BLR02.xml | NO 1099 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_BLR02.xml | NO 1112 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc04_FR.xml | NO 1105 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc04_GM.xml | TIMEOUT 60625 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc04_L.xml | NO 1014 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc04_Z.xml | NO 1125 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc06_FR.xml | NO 1153 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc06_L.xml | NO 1025 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc06_Z.xml | NO 1108 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExAppendixB_AEL03_L.xml | NO 1160 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExAppendixB_AEL03.xml | NO 1119 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExConc_Zan97.xml | NO 1016 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExConc_Zan97_Z.xml | NO 1047 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM01_FR.xml | YES 18154 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM01_L.xml | NO 1049 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM01.xml | NO 1044 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM01_Z.xml | YES 56438 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM04_FR.xml | YES 32173 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM04_L.xml | NO 1015 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM04.xml | NO 1020 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM04_Z.xml | TIMEOUT 60919 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM99_L.xml | NO 1051 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM99.xml | NO 1100 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM99_Z.xml | TIMEOUT 60957 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_Zan97_L.xml | NO 1063 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_Zan97.xml | NO 1093 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_Zan97_Z.xml | NO 1106 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExSec11_1_Luc02a.xml | NO 1105 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExSec4_2_DLMMU04_L.xml | NO 1088 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/gkg.xml | NO 1019 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Hamming.xml | TIMEOUT 61095 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/jwno1.xml | NO 1094 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/jwno4.xml | NO 1078 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/jwno6.xml | NO 1071 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/jwno9.xml | TIMEOUT 61263 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_complete_L.xml | NO 1116 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_FR.xml | TIMEOUT 60768 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_L.xml | NO 1198 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_Z.xml | TIMEOUT 60708 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_FR.xml | TIMEOUT 63649 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_L.xml | NO 1046 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_FR.xml | TIMEOUT 60602 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_L.xml | NO 1092 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_Z.xml | TIMEOUT 60621 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_Z.xml | TIMEOUT 60693 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_FR.xml | NO 1080 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_GM.xml | YES 8010 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_iGM.xml | TIMEOUT 60909 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_L.xml | NO 1032 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_FR.xml | NO 1984 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_noand_GM.xml | YES 10650 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_L.xml | NO 1030 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_Z.xml | NO 2041 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_Z.xml | NO 1082 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_complete_L.xml | NO 1371 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_complete-noand_L.xml | NO 1569 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_nokinds_L.xml | NO 1171 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_nokinds-noand_L.xml | NO 1276 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_nosorts_L.xml | NO 1085 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_nosorts-noand_L.xml | NO 1145 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/muladd.xml | NO 1093 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_complete_L.xml | NO 1132 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_complete-noand_L.xml | NO 1231 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_nokinds_L.xml | NO 1090 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_nokinds-noand_L.xml | NO 1109 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_nosorts_L.xml | NO 1034 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_nosorts-noand_L.xml | NO 1070 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n001.xml | NO 1034 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n002.xml | NO 997 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n003.xml | NO 1015 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n004.xml | NO 1015 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n005.xml | NO 1026 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n006.xml | NO 1014 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n007.xml | NO 1037 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n008.xml | NO 1027 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/nonTermF.xml | NO 2836 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/nonterm.xml | TIMEOUT 61397 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_complete_L.xml | NO 1152 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_complete-noand_L.xml | NO 1260 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nokinds_L.xml | NO 1087 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nokinds-noand_FR.xml | TIMEOUT 60904 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nokinds-noand_L.xml | NO 1105 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nokinds-noand_Z.xml | TIMEOUT 60893 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_FR.xml | NO 1164 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_GM.xml | TIMEOUT 60703 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_L.xml | NO 1042 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts-noand_FR.xml | NO 14509 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_noand_GM.xml | TIMEOUT 60904 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts-noand_L.xml | NO 1063 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts-noand_Z.xml | NO 11291 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_Z.xml | NO 1134 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PALINDROME_complete_L.xml | NO 1142 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PALINDROME_complete-noand_L.xml | NO 1238 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PALINDROME_nokinds_L.xml | NO 1059 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PALINDROME_nokinds-noand_L.xml | NO 1119 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PALINDROME_nosorts_L.xml | NO 1036 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_complete_L.xml | NO 1097 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_complete-noand_L.xml | NO 1125 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_nokinds_L.xml | NO 1064 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_nokinds-noand_L.xml | NO 1073 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_nosorts_L.xml | NO 1015 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_nosorts-noand_L.xml | NO 1095 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/round_nonterm.xml | NO 1059 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/termMonTypes.xml | NO 1096 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/test10.xml | NO 1070 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/test75.xml | NO 1212 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/test76.xml | NO 8771 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/test77.xml | TIMEOUT 60924 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/test9.xml | NO 1269 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/thiemann28.xml | TIMEOUT 60696 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/toyama.xml | NO 1069 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ttt1.xml | NO 1144 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ttt2.xml | NO 1080 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/TypeEx3.xml | TIMEOUT 60958 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/TypeEx5.xml | NO 1041 |
| tpdb-8.0/TRS/Zantema_08/assoc_c_rhs.xml | YES 2239 |
| tpdb-8.0/TRS/Zantema_08/assoc_f_rhs.xml | YES 3688 |
| tpdb-8.0/TRS/Zantema_08/bintree.xml | YES 2071 |
| tpdb-8.0/TRS/Zantema_08/cariboo_add1.xml | YES 18828 |
| tpdb-8.0/TRS/Zantema_08/cariboo_add2a.xml | YES 1449 |
| tpdb-8.0/TRS/Zantema_08/cariboo_add2.xml | YES 1285 |
| tpdb-8.0/TRS/Zantema_08/cariboo_add3.xml | YES 1765 |
| tpdb-8.0/TRS/Zantema_08/cariboo_len3.xml | TIMEOUT 60957 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_1.xml | YES 11379 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_2.xml | YES 18159 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_3.xml | YES 3528 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_4.xml | YES 1481 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_5.xml | YES 1192 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_6.xml | YES 1311 |
| tpdb-8.0/TRS/Zantema_08/countbin.xml | YES 2750 |
| tpdb-8.0/TRS/Zantema_08/countter.xml | YES 3224 |
| tpdb-8.0/TRS/Zantema_08/dupl_rhs.xml | YES 28987 |
| tpdb-8.0/TRS/Zantema_08/ex0.xml | YES 4949 |
| tpdb-8.0/TRS/Zantema_08/ex1.xml | TIMEOUT 61015 |
| tpdb-8.0/TRS/Zantema_08/ex2.xml | YES 1413 |
| tpdb-8.0/TRS/Zantema_08/ex3.xml | YES 1944 |
| tpdb-8.0/TRS/Zantema_08/ex4.xml | YES 2436 |
| tpdb-8.0/TRS/Zantema_08/ex5.xml | YES 2766 |
| tpdb-8.0/TRS/Zantema_08/ex6.xml | YES 2009 |
| tpdb-8.0/TRS/Zantema_08/ex7.xml | YES 3234 |
| tpdb-8.0/TRS/Zantema_08/ex8.xml | YES 1613 |
| tpdb-8.0/TRS/Zantema_08/ex9.xml | YES 6509 |
| tpdb-8.0/TRS/Zantema_08/f_2_1.xml | YES 1858 |
| tpdb-8.0/TRS/Zantema_08/f_2_2.xml | YES 2742 |
| tpdb-8.0/TRS/Zantema_08/f_5_1.xml | YES 13746 |
| tpdb-8.0/TRS/Zantema_08/f_5_2.xml | YES 15667 |
| tpdb-8.0/TRS/Zantema_08/f_5.xml | YES 2370 |
| tpdb-8.0/TRS/Zantema_08/ffb_SL.xml | NO 1378 |
| tpdb-8.0/TRS/Zantema_08/ffg.xml | YES 1954 |
| tpdb-8.0/TRS/Zantema_08/fg.xml | YES 1296 |
| tpdb-8.0/TRS/Zantema_08/from_one_a.xml | YES 1259 |
| tpdb-8.0/TRS/Zantema_08/from_one.xml | YES 1256 |
| tpdb-8.0/TRS/Zantema_08/from_three.xml | YES 2784 |
| tpdb-8.0/TRS/Zantema_08/g_2_const.xml | YES 1262 |
| tpdb-8.0/TRS/Zantema_08/g_2_f_var.xml | YES 1718 |
| tpdb-8.0/TRS/Zantema_08/inn_out.xml | NO 1021 |
| tpdb-8.0/TRS/Zantema_08/morse.xml | YES 18237 |
| tpdb-8.0/TRS/Zantema_08/outermost_gr.xml | NO 1040 |
| tpdb-8.0/TRS/Zantema_08/toyama_out.xml | NO 1094 |
| tpdb-8.0/TRS/Zantema_08/toyama_stop2.xml | TIMEOUT 61096 |
| tpdb-8.0/TRS/Zantema_08/toyama_stop.xml | TIMEOUT 60525 |
| tpdb-8.0/TRS/Zantema_08/yoyo_2.xml | YES 29696 |
| tpdb-8.0/TRS/Zantema_08/yoyo_3a.xml | YES 35725 |
| tpdb-8.0/TRS/Zantema_08/yoyo_3b.xml | TIMEOUT 60993 |
| tpdb-8.0/TRS/Zantema_08/yoyo_3.xml | TIMEOUT 60925 | 254 |