| benchmark | AProVE |
|---|---|
| tpdb-8.0/TRS/Mixed_outermost/afbg.xml | YES 45000 |
| tpdb-8.0/TRS/Mixed_outermost/even.xml | NO 846 |
| tpdb-8.0/TRS/Mixed_outermost/ex1.xml | YES 1203 |
| tpdb-8.0/TRS/Mixed_outermost/ex2.xml | YES 7301 |
| tpdb-8.0/TRS/Mixed_outermost/ex3.xml | YES 1535 |
| tpdb-8.0/TRS/Mixed_outermost/ex4.xml | YES 1014 |
| tpdb-8.0/TRS/Mixed_outermost/ex6.xml | YES 1132 |
| tpdb-8.0/TRS/Mixed_outermost/gfb.xml | YES 1109 |
| tpdb-8.0/TRS/Mixed_outermost/non-lin2.xml | YES 1332 |
| tpdb-8.0/TRS/Mixed_outermost/odd.xml | YES 2226 |
| tpdb-8.0/TRS/Mixed_outermost/patterns1.xml | YES 32497 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.12a.xml | NO 866 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.15.xml | NO 838 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.16.xml | NO 783 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.34.xml | NO 756 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.49.xml | NO 851 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/append-wrong.xml | TIMEOUT 60777 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_Luc02c.xml | NO 838 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_FR.xml | NO 4403 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_L.xml | NO 764 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex15_Luc06_L.xml | NO 786 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GL02a_Z.xml | YES 11236 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM03.xml | NO 834 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_FR.xml | NO 936 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc04b_FR.xml | TIMEOUT 61030 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_GM04_L.xml | NO 742 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_GM.xml | YES 8876 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex26_Luc03b.xml | NO 841 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex2_8_1ConstSubstFix.xml | NO 863 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex2_Luc03b.xml | NO 808 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_12_Luc96a_L.xml | NO 735 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_2_Luc97.xml | NO 847 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_4_Luc96b_FR.xml | YES 20556 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_56_Bor03.xml | NO 790 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc04_GM.xml | TIMEOUT 61065 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExConc_Zan97.xml | NO 743 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM01.xml | NO 772 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_Zan97_L.xml | NO 747 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/jwno9.xml | TIMEOUT 60667 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_L.xml | NO 736 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_nokinds_L.xml | NO 859 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_complete_L.xml | NO 826 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n006.xml | NO 786 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/nonTermF.xml | NO 3307 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_complete-noand_L.xml | NO 916 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_FR.xml | NO 869 |
| tpdb-8.0/TRS/Zantema_08/assoc_f_rhs.xml | YES 3828 |
| tpdb-8.0/TRS/Zantema_08/cariboo_len3.xml | TIMEOUT 60884 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_1.xml | YES 17168 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_4.xml | YES 1228 |
| tpdb-8.0/TRS/Zantema_08/countter.xml | YES 3295 |
| tpdb-8.0/TRS/Zantema_08/ex1.xml | TIMEOUT 60913 |
| tpdb-8.0/TRS/Zantema_08/ex5.xml | YES 2783 |
| tpdb-8.0/TRS/Zantema_08/f_2_2.xml | YES 2625 |
| tpdb-8.0/TRS/Zantema_08/f_5_2.xml | YES 18176 |
| tpdb-8.0/TRS/Zantema_08/from_one.xml | YES 1013 |
| tpdb-8.0/TRS/Zantema_08/g_2_const.xml | YES 1041 |
| tpdb-8.0/TRS/Zantema_08/toyama_stop2.xml | TIMEOUT 60950 |
| tpdb-8.0/TRS/Zantema_08/toyama_stop.xml | TIMEOUT 60910 |
| tpdb-8.0/TRS/Zantema_08/yoyo_2.xml | YES 27011 |
| tpdb-8.0/TRS/Zantema_08/yoyo_3a.xml | TIMEOUT 61192 | 52 |