| benchmark | AProVE | Jambox |
|---|---|---|
| tpdb-8.0/TRS/Mixed_outermost/afbg.xml | TIMEOUT 60573 | MAYBE 230 |
| tpdb-8.0/TRS/Mixed_outermost/even.xml | NO 1860 | MAYBE 231 |
| tpdb-8.0/TRS/Mixed_outermost/ex1.xml | YES 2662 | MAYBE 234 |
| tpdb-8.0/TRS/Mixed_outermost/ex2.xml | TIMEOUT 60576 | MAYBE 232 |
| tpdb-8.0/TRS/Mixed_outermost/ex4.xml | YES 3472 | MAYBE 233 |
| tpdb-8.0/TRS/Mixed_outermost/ex5.xml | YES 2147 | MAYBE 228 |
| tpdb-8.0/TRS/Mixed_outermost/non-lin1.xml | YES 2500 | MAYBE 227 |
| tpdb-8.0/TRS/Mixed_outermost/odd.xml | TIMEOUT 60607 | MAYBE 233 |
| tpdb-8.0/TRS/Mixed_outermost/patterns1.xml | TIMEOUT 60519 | MAYBE 234 |
| tpdb-8.0/TRS/Mixed_outermost/patterns2.xml | TIMEOUT 60805 | MAYBE 231 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/001.xml | NO 1719 | MAYBE 234 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/2.05.xml | NO 2132 | MAYBE 234 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.15.xml | NO 1741 | MAYBE 232 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.18.xml | NO 1817 | MAYBE 228 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/append-wrong.xml | TIMEOUT 60695 | MAYBE 230 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/cime4.xml | NO 1747 | MAYBE 233 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_AEL03_L.xml | NO 1685 | MAYBE 176 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_Luc02c.xml | NO 1742 | MAYBE 235 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_AEGL02_L.xml | NO 1803 | MAYBE 230 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_FR.xml | NO 4861 | MAYBE 232 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_L.xml | NO 1811 | MAYBE 229 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_Z.xml | NO 5521 | MAYBE 229 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex15_Luc06_L.xml | NO 1860 | MAYBE 234 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex15_Luc98.xml | NO 1747 | MAYBE 233 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex16_Luc06_L.xml | NO 1854 | MAYBE 232 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GL02a_L.xml | NO 1859 | MAYBE 233 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GL02a_Z.xml | TIMEOUT 60981 | MAYBE 234 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_GM.xml | TIMEOUT 60872 | MAYBE 226 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_iGM.xml | TIMEOUT 61059 | MAYBE 233 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99.xml | NO 1742 | MAYBE 232 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_Z.xml | NO 1851 | MAYBE 229 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc04b_FR.xml | TIMEOUT 61063 | MAYBE 233 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97_FR.xml | NO 1950 | MAYBE 226 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97.xml | NO 1798 | MAYBE 231 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97_Z.xml | NO 1914 | MAYBE 230 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_GM04_L.xml | NO 1759 | MAYBE 229 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_iGM.xml | TIMEOUT 60783 | MAYBE 233 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex2_Luc03b.xml | NO 1697 | MAYBE 228 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_12_Luc96a_L.xml | NO 1639 | MAYBE 177 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_77_Bor03.xml | NO 1810 | MAYBE 233 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_7_Luc97.xml | NO 1766 | MAYBE 228 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_GM04.xml | TIMEOUT 60641 | MAYBE 229 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_Luc98.xml | NO 1713 | MAYBE 230 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ex6.xml | YES 18941 | MAYBE 230 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex7_BLR02_L.xml | NO 1633 | MAYBE 179 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex8_BLR02.xml | NO 1746 | MAYBE 233 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_BLR02.xml | NO 1767 | MAYBE 229 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc04_Z.xml | NO 1748 | MAYBE 231 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc06_FR.xml | NO 1844 | MAYBE 235 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM04_FR.xml | TIMEOUT 60653 | MAYBE 238 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM04.xml | NO 1818 | MAYBE 233 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM99_Z.xml | TIMEOUT 60964 | MAYBE 235 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_Zan97.xml | NO 1754 | MAYBE 231 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_Zan97_Z.xml | NO 1765 | MAYBE 233 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/jwno4.xml | NO 1861 | MAYBE 235 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/jwno9.xml | TIMEOUT 60583 | MAYBE 234 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_L.xml | NO 1737 | MAYBE 183 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_Z.xml | TIMEOUT 60679 | MAYBE 232 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_FR.xml | NO 3273 | MAYBE 228 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_L.xml | NO 1631 | MAYBE 180 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_Z.xml | NO 1812 | MAYBE 232 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_complete_L.xml | NO 1874 | MAYBE 180 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_nokinds-noand_L.xml | NO 1808 | MAYBE 178 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n004.xml | NO 1802 | MAYBE 233 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n006.xml | NO 1797 | MAYBE 232 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n007.xml | NO 1745 | MAYBE 237 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/nonterm.xml | TIMEOUT 60665 | MAYBE 227 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_complete_L.xml | NO 1742 | MAYBE 179 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_complete-noand_L.xml | NO 1802 | MAYBE 184 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nokinds-noand_L.xml | NO 1689 | MAYBE 184 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_noand_GM.xml | TIMEOUT 60628 | MAYBE 237 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PALINDROME_nokinds-noand_L.xml | NO 1813 | MAYBE 233 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_complete-noand_L.xml | NO 1684 | MAYBE 180 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_nosorts-noand_L.xml | NO 1642 | MAYBE 180 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/test9.xml | NO 1927 | MAYBE 234 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/thiemann28.xml | TIMEOUT 60790 | MAYBE 231 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ttt1.xml | NO 1752 | MAYBE 235 |
| tpdb-8.0/TRS/Zantema_08/cariboo_add1.xml | TIMEOUT 60493 | MAYBE 240 |
| tpdb-8.0/TRS/Zantema_08/cariboo_len3.xml | TIMEOUT 60515 | MAYBE 245 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_3.xml | TIMEOUT 60671 | MAYBE 229 |
| tpdb-8.0/TRS/Zantema_08/countbin.xml | TIMEOUT 60660 | MAYBE 232 |
| tpdb-8.0/TRS/Zantema_08/ex0.xml | TIMEOUT 60566 | MAYBE 232 |
| tpdb-8.0/TRS/Zantema_08/ex1.xml | TIMEOUT 60599 | MAYBE 228 |
| tpdb-8.0/TRS/Zantema_08/ex3.xml | TIMEOUT 60541 | MAYBE 228 |
| tpdb-8.0/TRS/Zantema_08/ex4.xml | YES 13258 | MAYBE 233 |
| tpdb-8.0/TRS/Zantema_08/ex9.xml | YES 7675 | MAYBE 230 |
| tpdb-8.0/TRS/Zantema_08/f_2_2.xml | YES 7308 | MAYBE 233 |
| tpdb-8.0/TRS/Zantema_08/g_2_const.xml | YES 2302 | MAYBE 230 |
| tpdb-8.0/TRS/Zantema_08/g_2_f_var.xml | YES 2425 | MAYBE 233 |
| tpdb-8.0/TRS/Zantema_08/inn_out.xml | NO 1801 | MAYBE 235 |
| tpdb-8.0/TRS/Zantema_08/morse.xml | TIMEOUT 60551 | MAYBE 234 |
| tpdb-8.0/TRS/Zantema_08/toyama_stop.xml | TIMEOUT 60580 | MAYBE 230 | 64 | 0 |