| benchmark | AProVE | Julia-11a |
|---|---|---|
| tpdb-8.0/JBC/AProVE_11_recursive/AlternatingGrowReduceRec2.jar | YES 8977 | MAYBE 2508 |
| tpdb-8.0/JBC/AProVE_11_recursive/AlternatingGrowReduceRec.jar | YES 22159 | MAYBE 2725 |
| tpdb-8.0/JBC/AProVE_11_recursive/BinarySearch.jar | YES 17345 | MAYBE 6428 |
| tpdb-8.0/JBC/AProVE_11_recursive/ClassAnalysisRec.jar | YES 2019 | MAYBE 2170 |
| tpdb-8.0/JBC/AProVE_11_recursive/CyclicAnalysisRec.jar | YES 3654 | MAYBE 2350 |
| tpdb-8.0/JBC/AProVE_11_recursive/RetValRec.jar | YES 1063 | MAYBE 2017 |
| tpdb-8.0/JBC/AProVE_11_recursive/RotateTree.jar | YES 22676 | MAYBE 2353 |
| tpdb-8.0/JBC/AProVE_11_recursive/SharingAnalysisRec.jar | YES 9196 | MAYBE 2440 |
| tpdb-8.0/JBC/AProVE_11_recursive/TermCreateCollect.jar | YES 32444 | MAYBE 3469 |
| tpdb-8.0/JBC/AProVE_11_recursive/TermsCreateMatch.jar | YES 60470 | MAYBE 7415 |
| tpdb-8.0/JBC/BOG_RTA_11/AppE.jar | YES 13842 | YES 2310 |
| tpdb-8.0/JBC/BOG_RTA_11/Avg.jar | YES 4324 | YES 2325 |
| tpdb-8.0/JBC/BOG_RTA_11/CAppE.jar | YES 2180 | MAYBE 2427 |
| tpdb-8.0/JBC/BOG_RTA_11/ConvertRec.jar | YES 14540 | MAYBE 3242 |
| tpdb-8.0/JBC/BOG_RTA_11/Count.jar | YES 36071 | MAYBE 8220 |
| tpdb-8.0/JBC/BOG_RTA_11/DivTernary.jar | YES 30556 | MAYBE 3992 |
| tpdb-8.0/JBC/BOG_RTA_11/FlattenTreeListRec.jar | YES 23426 | MAYBE 4933 |
| tpdb-8.0/JBC/BOG_RTA_11/Main.jar | YES 28350 | YES 3533 |
| tpdb-8.0/JBC/BOG_RTA_11/Nest.jar | YES 1993 | YES 1829 |
| tpdb-8.0/JBC/BOG_RTA_11/SearchTreeR.jar | YES 10890 | YES 2294 |
| tpdb-8.0/JBC/BOG_RTA_11/Shuffle.jar | MAYBE 12612 | YES 2867 |
| tpdb-8.0/JBC/BOG_RTA_11/TerminatorRec02.jar | YES 1791 | YES 1832 |
| tpdb-8.0/JBC/BOG_RTA_11/TerminatorRec04.jar | TIMEOUT 60374 | MAYBE 2022 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Ackermann.jar | YES 3531 | YES 2291 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/BinarySearchTree.jar | YES 1788 | YES 2392 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Double3.jar | YES 1842 | YES 1822 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Double.jar | YES 2695 | YES 1894 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/FactSum.jar | YES 1758 | YES 2041 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/FactSumList.jar | YES 994 | YES 4675 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Hanoi.jar | YES 1355 | YES 2164 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/ListInt.jar | YES 2204 | YES 7525 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/List.jar | YES 1803 | YES 5780 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/MysteriousProgram.jar | YES 23355 | YES 3756 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Virtual.jar | YES 2194 | YES 2369 |
| tpdb-8.0/JBC/Julia_10_Recursive/AckR.jar | YES 4528 | YES 2143 |
| tpdb-8.0/JBC/Julia_10_Recursive/BubbleSortR.jar | YES 15134 | YES 2853 |
| tpdb-8.0/JBC/Julia_10_Recursive/FibSLR.jar | YES 3534 | YES 2547 |
| tpdb-8.0/JBC/Julia_10_Recursive/HanR.jar | YES 3083 | YES 2341 |
| tpdb-8.0/JBC/Julia_10_Recursive/Matrix.jar | TIMEOUT 60791 | YES 21597 |
| tpdb-8.0/JBC/Julia_10_Recursive/Nim.jar | TIMEOUT 60623 | YES 10530 |
| tpdb-8.0/JBC/Julia_10_Recursive/Test10.jar | YES 6054 | YES 2140 |
| tpdb-8.0/JBC/Julia_10_Recursive/Test12.jar | YES 19767 | YES 2495 |
| tpdb-8.0/JBC/Julia_10_Recursive/Test1.jar | YES 5548 | YES 6160 |
| tpdb-8.0/JBC/Julia_10_Recursive/Test6.jar | TIMEOUT 60481 | YES 29107 |
| tpdb-8.0/JBC/Julia_10_Recursive/TicTacToe.jar | MAYBE 16326 | YES 52120 |
| tpdb-8.0/JBC/Julia_11_recursive/Binomial.jar | TIMEOUT 60968 | YES 3557 |
| tpdb-8.0/JBC/Julia_11_recursive/Fractale1.jar | TIMEOUT 60884 | YES 2874 |
| tpdb-8.0/JBC/Julia_11_recursive/Parts.jar | TIMEOUT 60906 | YES 2499 |
| tpdb-8.0/JBC/Julia_11_recursive/TaylorSeriesRec.jar | YES 9485 | YES 3875 | 40 | 33 |