| benchmark | AProVE |
|---|---|
| tpdb-8.0/TRS/Mixed_outermost/even.xml | NO 788 |
| tpdb-8.0/TRS/Mixed_outermost/ex1.xml | YES 1582 |
| tpdb-8.0/TRS/Mixed_outermost/ex2.xml | YES 9597 |
| tpdb-8.0/TRS/Mixed_outermost/ex3.xml | YES 2021 |
| tpdb-8.0/TRS/Mixed_outermost/ex4.xml | YES 1129 |
| tpdb-8.0/TRS/Mixed_outermost/ex5.xml | YES 1300 |
| tpdb-8.0/TRS/Mixed_outermost/ex6.xml | YES 1419 |
| tpdb-8.0/TRS/Mixed_outermost/non-lin2.xml | YES 1336 |
| tpdb-8.0/TRS/Mixed_outermost/non-lin3.xml | YES 2239 |
| tpdb-8.0/TRS/Mixed_outermost/odd.xml | YES 3672 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/2.05.xml | NO 1330 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.13.xml | YES 34287 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.40.xml | NO 15622 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.7.xml | NO 790 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_AEGL02_FR.xml | TIMEOUT 60747 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_AEGL02_Z.xml | NO 2657 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex16_Luc06_L.xml | NO 788 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GL02a_L.xml | NO 802 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GL02a_Z.xml | YES 17249 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_GM.xml | TIMEOUT 61046 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_iGM.xml | TIMEOUT 61337 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99.xml | NO 784 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_Z.xml | NO 1055 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97_FR.xml | NO 1037 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97.xml | NO 788 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_GM04_GM.xml | TIMEOUT 60873 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_iGM.xml | TIMEOUT 60743 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_Z.xml | NO 962 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex26_Luc03b.xml | NO 924 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex2_8_1ConstSubstFix.xml | NO 926 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex2_Luc03b.xml | NO 897 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_3_25_Bor03_Z.xml | NO 967 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_4_Luc96b_FR.xml | YES 46961 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_4_Luc96b_Z.xml | TIMEOUT 60734 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_56_Bor03_L.xml | NO 796 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_77_Bor03_L.xml | NO 807 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_DLMMU04_L.xml | NO 868 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_15_AEL02.xml | NO 1026 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_15_AEL02_Z.xml | NO 34894 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_GM04.xml | TIMEOUT 60455 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_Luc98.xml | NO 859 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex7_BLR02_L.xml | NO 792 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex7_BLR02.xml | NO 866 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex8_BLR02.xml | NO 913 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_BLR02.xml | NO 930 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc04_Z.xml | NO 898 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExAppendixB_AEL03.xml | NO 972 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM01_FR.xml | YES 39128 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM99_L.xml | NO 857 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM99_Z.xml | TIMEOUT 60980 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExSec11_1_Luc02a.xml | NO 906 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/jwno9.xml | TIMEOUT 61081 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_L.xml | NO 801 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_Z.xml | TIMEOUT 60607 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_GM.xml | YES 13927 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_L.xml | NO 784 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_L.xml | NO 793 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_Z.xml | NO 2341 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_Z.xml | NO 901 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_nokinds_L.xml | NO 909 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_nosorts_L.xml | NO 839 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/muladd.xml | NO 962 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_complete_L.xml | NO 853 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_nokinds_L.xml | NO 792 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_nosorts-noand_L.xml | NO 809 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n008.xml | NO 789 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/nonTermF.xml | NO 4971 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_complete-noand_L.xml | NO 966 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nokinds-noand_Z.xml | TIMEOUT 60870 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_FR.xml | NO 1020 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_GM.xml | TIMEOUT 60668 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts-noand_Z.xml | NO 29240 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PALINDROME_nokinds_L.xml | NO 797 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_complete_L.xml | NO 792 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_nokinds-noand_L.xml | NO 838 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_nosorts-noand_L.xml | NO 855 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/test75.xml | NO 970 |
| tpdb-8.0/TRS/Zantema_08/assoc_c_rhs.xml | YES 3245 |
| tpdb-8.0/TRS/Zantema_08/cariboo_len3.xml | TIMEOUT 61228 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_1.xml | YES 17570 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_3.xml | YES 9172 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_4.xml | YES 1454 |
| tpdb-8.0/TRS/Zantema_08/dupl_rhs.xml | TIMEOUT 60625 |
| tpdb-8.0/TRS/Zantema_08/ex3.xml | YES 2941 |
| tpdb-8.0/TRS/Zantema_08/ex9.xml | YES 8722 |
| tpdb-8.0/TRS/Zantema_08/f_2_2.xml | YES 3695 |
| tpdb-8.0/TRS/Zantema_08/f_5.xml | YES 2981 |
| tpdb-8.0/TRS/Zantema_08/fg.xml | YES 1369 |
| tpdb-8.0/TRS/Zantema_08/inn_out.xml | NO 786 |
| tpdb-8.0/TRS/Zantema_08/morse.xml | TIMEOUT 60864 |
| tpdb-8.0/TRS/Zantema_08/outermost_gr.xml | NO 964 |
| tpdb-8.0/TRS/Zantema_08/toyama_out.xml | NO 903 | 77 |