| benchmark | AProVE |
|---|---|
| tpdb-8.0/TRS/Mixed_outermost/afbg.xml | YES 45664 |
| tpdb-8.0/TRS/Mixed_outermost/even.xml | NO 852 |
| tpdb-8.0/TRS/Mixed_outermost/ex1.xml | YES 1227 |
| tpdb-8.0/TRS/Mixed_outermost/ex2.xml | YES 7775 |
| tpdb-8.0/TRS/Mixed_outermost/ex3.xml | YES 1617 |
| tpdb-8.0/TRS/Mixed_outermost/ex4.xml | YES 1029 |
| tpdb-8.0/TRS/Mixed_outermost/ex5.xml | YES 1029 |
| tpdb-8.0/TRS/Mixed_outermost/ex6.xml | YES 1126 |
| tpdb-8.0/TRS/Mixed_outermost/gfb.xml | YES 1096 |
| tpdb-8.0/TRS/Mixed_outermost/non-lin1.xml | YES 1056 |
| tpdb-8.0/TRS/Mixed_outermost/non-lin2.xml | YES 1332 |
| tpdb-8.0/TRS/Mixed_outermost/non-lin3.xml | YES 1977 |
| tpdb-8.0/TRS/Mixed_outermost/odd.xml | YES 2221 |
| tpdb-8.0/TRS/Mixed_outermost/patterns1.xml | YES 33007 |
| tpdb-8.0/TRS/Mixed_outermost/patterns2.xml | YES 29799 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/001.xml | NO 866 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/003.xml | NO 897 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/2.05.xml | NO 1164 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.06.xml | NO 1068 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.12a.xml | NO 870 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.13.xml | YES 20873 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.14.xml | NO 848 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.15.xml | NO 827 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.16.xml | NO 821 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.17.xml | NO 844 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.18.xml | NO 840 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.2.xml | NO 849 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.34.xml | NO 789 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.3.xml | NO 850 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.40.xml | NO 15151 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.49.xml | NO 841 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.4.xml | NO 855 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.54.xml | NO 881 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.7.xml | NO 832 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/append-wrong.xml | TIMEOUT 60658 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/cime4.xml | NO 858 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_AEL03_L.xml | NO 794 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_AEL03.xml | NO 868 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_Luc02c_L.xml | NO 737 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_Luc02c.xml | NO 787 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_AEGL02_FR.xml | TIMEOUT 60968 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_AEGL02_L.xml | NO 770 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_AEGL02.xml | NO 829 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_AEGL02_Z.xml | NO 2509 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_FR.xml | NO 4607 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_GM.xml | TIMEOUT 61002 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_L.xml | NO 847 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_Z.xml | NO 5033 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex15_Luc06_L.xml | NO 821 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex15_Luc98_L.xml | NO 754 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex15_Luc98.xml | NO 829 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex16_Luc06_L.xml | NO 800 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GL02a_L.xml | NO 807 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GL02a.xml | NO 843 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GL02a_Z.xml | YES 11303 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM03_L.xml | NO 760 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM03.xml | NO 842 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM03_Z.xml | NO 877 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_FR.xml | NO 1503 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_GM.xml | TIMEOUT 60682 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_iGM.xml | TIMEOUT 61028 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_L.xml | NO 844 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99.xml | NO 834 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_Z.xml | NO 1204 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc02b_L.xml | NO 763 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc02b.xml | NO 827 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc04b_FR.xml | TIMEOUT 61104 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc04b_L.xml | NO 745 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc04b_Z.xml | NO 840 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97_FR.xml | NO 902 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97_L.xml | NO 830 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97.xml | NO 801 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97_Z.xml | NO 916 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_GM04_GM.xml | TIMEOUT 61112 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_GM04_L.xml | NO 755 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_GM04.xml | TIMEOUT 60952 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_FR.xml | NO 864 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_GM.xml | YES 8262 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_iGM.xml | TIMEOUT 60939 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_L.xml | NO 759 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_Z.xml | NO 872 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex26_Luc03b.xml | NO 859 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex2_8_1ConstSubstFix.xml | NO 890 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex2_Luc03b.xml | NO 835 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_12_Luc96a_L.xml | NO 757 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_12_Luc96a.xml | NO 840 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_2_Luc97_L.xml | NO 1033 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_2_Luc97.xml | NO 836 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_3_25_Bor03.xml | NO 857 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_3_25_Bor03_Z.xml | NO 896 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_4_Luc96b_FR.xml | YES 20242 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_4_Luc96b.xml | NO 820 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_4_Luc96b_Z.xml | TIMEOUT 61121 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_15_Bor03.xml | NO 854 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_37_Bor03_L.xml | NO 789 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_37_Bor03.xml | NO 869 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_56_Bor03_L.xml | NO 750 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_56_Bor03.xml | NO 815 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_77_Bor03_L.xml | NO 744 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_77_Bor03.xml | NO 764 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex49_GM04_L.xml | NO 744 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_DLMMU04_FR.xml | NO 10253 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_DLMMU04_L.xml | NO 808 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_DLMMU04_Z.xml | NO 10767 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_Zan97_L.xml | NO 751 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_Zan97.xml | NO 840 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_7_Luc97_L.xml | NO 804 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_7_Luc97.xml | NO 927 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_DLMMU04_FR.xml | TIMEOUT 61108 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_DLMMU04_L.xml | NO 767 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_DLMMU04_Z.xml | TIMEOUT 60983 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_Zan97_L.xml | NO 755 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_Zan97.xml | YES 3888 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_15_AEL02_L.xml | NO 839 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_15_AEL02.xml | NO 955 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_15_AEL02_Z.xml | NO 14024 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_9_Luc02c_L.xml | NO 743 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_9_Luc02c.xml | NO 778 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_GM04_FR.xml | NO 1792 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_GM04.xml | TIMEOUT 60613 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_GM04_Z.xml | NO 1775 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_Luc98.xml | NO 820 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ex6.xml | YES 1119 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex7_BLR02_L.xml | NO 766 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex7_BLR02.xml | NO 842 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex8_BLR02_L.xml | NO 790 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex8_BLR02.xml | NO 879 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_BLR02.xml | NO 857 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc04_FR.xml | NO 839 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc04_GM.xml | TIMEOUT 60820 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc04_L.xml | NO 834 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc04_Z.xml | NO 831 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc06_FR.xml | NO 869 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc06_L.xml | NO 767 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc06_Z.xml | NO 842 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExAppendixB_AEL03_L.xml | NO 837 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExAppendixB_AEL03.xml | NO 887 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExConc_Zan97.xml | NO 793 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExConc_Zan97_Z.xml | NO 773 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM01_FR.xml | YES 59993 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM01_L.xml | NO 751 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM01.xml | NO 856 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM01_Z.xml | TIMEOUT 61308 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM04_FR.xml | YES 41068 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM04_L.xml | NO 750 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM04.xml | NO 779 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM04_Z.xml | TIMEOUT 60998 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM99_L.xml | NO 767 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM99.xml | NO 862 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM99_Z.xml | TIMEOUT 61075 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_Zan97_L.xml | NO 774 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_Zan97.xml | NO 850 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_Zan97_Z.xml | NO 889 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExSec11_1_Luc02a.xml | NO 865 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExSec4_2_DLMMU04_L.xml | NO 812 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/gkg.xml | NO 783 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Hamming.xml | TIMEOUT 60899 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/jwno1.xml | NO 870 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/jwno4.xml | NO 874 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/jwno6.xml | NO 864 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/jwno9.xml | TIMEOUT 60579 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_complete_L.xml | NO 812 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_FR.xml | TIMEOUT 60911 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_L.xml | NO 871 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_Z.xml | TIMEOUT 60901 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_FR.xml | TIMEOUT 60728 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_L.xml | NO 769 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_FR.xml | TIMEOUT 60777 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_L.xml | NO 788 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_Z.xml | TIMEOUT 60596 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_Z.xml | TIMEOUT 60753 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_FR.xml | NO 876 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_GM.xml | YES 14480 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_iGM.xml | TIMEOUT 60916 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_L.xml | NO 748 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_FR.xml | NO 2425 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_noand_GM.xml | YES 39481 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_L.xml | NO 752 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_Z.xml | NO 2328 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_Z.xml | NO 862 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_complete_L.xml | NO 988 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_complete-noand_L.xml | NO 1144 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_nokinds_L.xml | NO 874 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_nokinds-noand_L.xml | NO 947 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_nosorts_L.xml | NO 796 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_nosorts-noand_L.xml | NO 852 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/muladd.xml | NO 836 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_complete_L.xml | NO 848 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_complete-noand_L.xml | NO 903 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_nokinds_L.xml | NO 778 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_nokinds-noand_L.xml | NO 820 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_nosorts_L.xml | NO 758 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_nosorts-noand_L.xml | NO 777 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n001.xml | NO 818 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n002.xml | NO 750 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n003.xml | NO 750 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n004.xml | NO 748 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n005.xml | NO 789 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n006.xml | NO 756 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n007.xml | NO 877 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n008.xml | NO 756 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/nonTermF.xml | NO 3278 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/nonterm.xml | TIMEOUT 61156 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_complete_L.xml | NO 863 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_complete-noand_L.xml | NO 944 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nokinds_L.xml | NO 786 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nokinds-noand_FR.xml | TIMEOUT 61112 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nokinds-noand_L.xml | NO 842 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nokinds-noand_Z.xml | TIMEOUT 60956 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_FR.xml | NO 887 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_GM.xml | TIMEOUT 60791 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_L.xml | NO 754 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts-noand_FR.xml | NO 28256 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_noand_GM.xml | TIMEOUT 60776 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts-noand_L.xml | NO 791 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts-noand_Z.xml | NO 21061 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_Z.xml | NO 905 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PALINDROME_complete_L.xml | NO 861 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PALINDROME_complete-noand_L.xml | NO 982 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PALINDROME_nokinds_L.xml | NO 766 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PALINDROME_nokinds-noand_L.xml | NO 1625 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PALINDROME_nosorts_L.xml | NO 752 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_complete_L.xml | NO 856 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_complete-noand_L.xml | NO 841 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_nokinds_L.xml | NO 753 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_nokinds-noand_L.xml | NO 772 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_nosorts_L.xml | NO 741 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_nosorts-noand_L.xml | NO 799 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/round_nonterm.xml | NO 840 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/termMonTypes.xml | NO 866 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/test10.xml | NO 937 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/test75.xml | NO 1196 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/test76.xml | NO 10723 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/test77.xml | TIMEOUT 60923 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/test9.xml | NO 1024 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/thiemann28.xml | TIMEOUT 61210 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/toyama.xml | NO 858 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ttt1.xml | NO 847 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ttt2.xml | NO 842 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/TypeEx3.xml | TIMEOUT 61063 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/TypeEx5.xml | NO 846 |
| tpdb-8.0/TRS/Zantema_08/assoc_c_rhs.xml | YES 1879 |
| tpdb-8.0/TRS/Zantema_08/assoc_f_rhs.xml | YES 4005 |
| tpdb-8.0/TRS/Zantema_08/bintree.xml | YES 1648 |
| tpdb-8.0/TRS/Zantema_08/cariboo_add1.xml | YES 20208 |
| tpdb-8.0/TRS/Zantema_08/cariboo_add2a.xml | YES 1536 |
| tpdb-8.0/TRS/Zantema_08/cariboo_add2.xml | YES 1070 |
| tpdb-8.0/TRS/Zantema_08/cariboo_add3.xml | YES 1396 |
| tpdb-8.0/TRS/Zantema_08/cariboo_len3.xml | TIMEOUT 60952 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_1.xml | YES 16230 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_2.xml | YES 16831 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_3.xml | YES 3354 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_4.xml | YES 1224 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_5.xml | YES 962 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_6.xml | YES 1106 |
| tpdb-8.0/TRS/Zantema_08/countbin.xml | YES 2327 |
| tpdb-8.0/TRS/Zantema_08/countter.xml | YES 3351 |
| tpdb-8.0/TRS/Zantema_08/dupl_rhs.xml | YES 32180 |
| tpdb-8.0/TRS/Zantema_08/ex0.xml | YES 6724 |
| tpdb-8.0/TRS/Zantema_08/ex1.xml | TIMEOUT 60804 |
| tpdb-8.0/TRS/Zantema_08/ex2.xml | YES 1199 |
| tpdb-8.0/TRS/Zantema_08/ex3.xml | YES 1983 |
| tpdb-8.0/TRS/Zantema_08/ex4.xml | YES 2336 |
| tpdb-8.0/TRS/Zantema_08/ex5.xml | YES 2435 |
| tpdb-8.0/TRS/Zantema_08/ex6.xml | YES 1774 |
| tpdb-8.0/TRS/Zantema_08/ex7.xml | YES 2678 |
| tpdb-8.0/TRS/Zantema_08/ex8.xml | YES 1481 |
| tpdb-8.0/TRS/Zantema_08/ex9.xml | YES 7369 |
| tpdb-8.0/TRS/Zantema_08/f_2_1.xml | YES 1668 |
| tpdb-8.0/TRS/Zantema_08/f_2_2.xml | YES 2620 |
| tpdb-8.0/TRS/Zantema_08/f_5_1.xml | YES 15974 |
| tpdb-8.0/TRS/Zantema_08/f_5_2.xml | YES 19322 |
| tpdb-8.0/TRS/Zantema_08/f_5.xml | YES 1964 |
| tpdb-8.0/TRS/Zantema_08/ffb_SL.xml | NO 1207 |
| tpdb-8.0/TRS/Zantema_08/ffg.xml | YES 1578 |
| tpdb-8.0/TRS/Zantema_08/fg.xml | YES 1071 |
| tpdb-8.0/TRS/Zantema_08/from_one_a.xml | YES 1008 |
| tpdb-8.0/TRS/Zantema_08/from_one.xml | YES 1046 |
| tpdb-8.0/TRS/Zantema_08/from_three.xml | YES 2411 |
| tpdb-8.0/TRS/Zantema_08/g_2_const.xml | YES 1041 |
| tpdb-8.0/TRS/Zantema_08/g_2_f_var.xml | YES 1487 |
| tpdb-8.0/TRS/Zantema_08/inn_out.xml | NO 769 |
| tpdb-8.0/TRS/Zantema_08/morse.xml | TIMEOUT 61050 |
| tpdb-8.0/TRS/Zantema_08/outermost_gr.xml | NO 832 |
| tpdb-8.0/TRS/Zantema_08/toyama_out.xml | NO 879 |
| tpdb-8.0/TRS/Zantema_08/toyama_stop2.xml | TIMEOUT 60971 |
| tpdb-8.0/TRS/Zantema_08/toyama_stop.xml | TIMEOUT 61112 |
| tpdb-8.0/TRS/Zantema_08/yoyo_2.xml | YES 47643 |
| tpdb-8.0/TRS/Zantema_08/yoyo_3a.xml | TIMEOUT 61104 |
| tpdb-8.0/TRS/Zantema_08/yoyo_3b.xml | TIMEOUT 61166 |
| tpdb-8.0/TRS/Zantema_08/yoyo_3.xml | TIMEOUT 60991 | 249 |