| benchmark | AProVE |
|---|---|
| tpdb-8.0/TRS/Mixed_outermost/afbg.xml | YES 29931 |
| tpdb-8.0/TRS/Mixed_outermost/even.xml | NO 808 |
| tpdb-8.0/TRS/Mixed_outermost/ex1.xml | YES 1154 |
| tpdb-8.0/TRS/Mixed_outermost/ex5.xml | YES 932 |
| tpdb-8.0/TRS/Mixed_outermost/ex6.xml | YES 1027 |
| tpdb-8.0/TRS/Mixed_outermost/gfb.xml | YES 982 |
| tpdb-8.0/TRS/Mixed_outermost/non-lin1.xml | YES 961 |
| tpdb-8.0/TRS/Mixed_outermost/non-lin3.xml | YES 1598 |
| tpdb-8.0/TRS/Mixed_outermost/odd.xml | YES 2001 |
| tpdb-8.0/TRS/Mixed_outermost/patterns1.xml | YES 24129 |
| tpdb-8.0/TRS/Mixed_outermost/patterns2.xml | YES 27922 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/001.xml | NO 816 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/2.05.xml | NO 1127 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.06.xml | NO 855 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.18.xml | NO 824 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.2.xml | NO 818 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.3.xml | NO 809 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.4.xml | NO 815 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.54.xml | NO 839 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_Luc02c_L.xml | NO 779 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc02b.xml | NO 849 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97_FR.xml | NO 943 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_GM04.xml | YES 43392 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_56_Bor03.xml | NO 822 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_77_Bor03_L.xml | NO 786 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex49_GM04_L.xml | NO 787 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_Zan97.xml | NO 824 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_DLMMU04_L.xml | NO 803 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_Luc98.xml | NO 812 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex8_BLR02_L.xml | NO 815 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_BLR02.xml | NO 851 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc04_Z.xml | NO 867 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM04.xml | NO 809 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM99_Z.xml | TIMEOUT 60979 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_Zan97_L.xml | NO 802 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_nosorts-noand_L.xml | NO 893 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_complete-noand_L.xml | NO 970 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n004.xml | NO 788 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nokinds-noand_Z.xml | TIMEOUT 61182 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_L.xml | NO 792 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_Z.xml | NO 883 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_complete_L.xml | NO 840 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_complete-noand_L.xml | NO 873 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_nosorts_L.xml | NO 790 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/test75.xml | NO 936 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/thiemann28.xml | TIMEOUT 60636 |
| tpdb-8.0/TRS/Zantema_08/assoc_c_rhs.xml | YES 1779 |
| tpdb-8.0/TRS/Zantema_08/assoc_f_rhs.xml | YES 3061 |
| tpdb-8.0/TRS/Zantema_08/cariboo_len3.xml | TIMEOUT 61108 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_5.xml | YES 927 |
| tpdb-8.0/TRS/Zantema_08/countter.xml | YES 2606 |
| tpdb-8.0/TRS/Zantema_08/ex5.xml | YES 2514 |
| tpdb-8.0/TRS/Zantema_08/ex7.xml | YES 2648 |
| tpdb-8.0/TRS/Zantema_08/f_2_1.xml | YES 1576 |
| tpdb-8.0/TRS/Zantema_08/f_2_2.xml | YES 2193 |
| tpdb-8.0/TRS/Zantema_08/f_5_1.xml | YES 13022 |
| tpdb-8.0/TRS/Zantema_08/ffb_SL.xml | NO 1085 |
| tpdb-8.0/TRS/Zantema_08/morse.xml | YES 15011 |
| tpdb-8.0/TRS/Zantema_08/yoyo_2.xml | YES 23388 |
| tpdb-8.0/TRS/Zantema_08/yoyo_3b.xml | TIMEOUT 61184 |
| tpdb-8.0/TRS/Zantema_08/yoyo_3.xml | YES 60661 | 56 |