| benchmark | AProVE | Julia13 |
|---|---|---|
| tpdb-8.0/JBC/AProVE_11_recursive/AlternatingGrowReduceRec2.jar | YES 5152 | MAYBE 4214 |
| tpdb-8.0/JBC/AProVE_11_recursive/AlternatingGrowReduceRec.jar | YES 6972 | MAYBE 4868 |
| tpdb-8.0/JBC/AProVE_11_recursive/BinarySearch.jar | TIMEOUT 60474 | MAYBE 3611 |
| tpdb-8.0/JBC/AProVE_11_recursive/ClassAnalysisRec.jar | YES 2737 | MAYBE 3653 |
| tpdb-8.0/JBC/AProVE_11_recursive/CyclicAnalysisRec.jar | YES 5062 | MAYBE 4050 |
| tpdb-8.0/JBC/AProVE_11_recursive/RetValRec.jar | YES 1596 | MAYBE 3011 |
| tpdb-8.0/JBC/AProVE_11_recursive/RotateTree.jar | YES 14734 | MAYBE 7840 |
| tpdb-8.0/JBC/AProVE_11_recursive/SharingAnalysisRec.jar | YES 5114 | MAYBE 3913 |
| tpdb-8.0/JBC/AProVE_11_recursive/TermCreateCollect.jar | YES 24602 | MAYBE 5519 |
| tpdb-8.0/JBC/AProVE_11_recursive/TermsCreateMatch.jar | YES 28520 | MAYBE 8036 |
| tpdb-8.0/JBC/AProVE_11_recursive/UnionFind.jar | TIMEOUT 60432 | MAYBE 3500 |
| tpdb-8.0/JBC/BOG_RTA_11/Alternate.jar | TIMEOUT 60650 | YES 4992 |
| tpdb-8.0/JBC/BOG_RTA_11/AppE.jar | YES 3803 | YES 3796 |
| tpdb-8.0/JBC/BOG_RTA_11/AProVEMathRecursive.jar | YES 4992 | YES 3627 |
| tpdb-8.0/JBC/BOG_RTA_11/AProVERec01.jar | YES 3089 | YES 4647 |
| tpdb-8.0/JBC/BOG_RTA_11/Avg.jar | YES 3574 | YES 46214 |
| tpdb-8.0/JBC/BOG_RTA_11/BinTreeChanger.jar | YES 8149 | MAYBE 9600 |
| tpdb-8.0/JBC/BOG_RTA_11/CAppE.jar | YES 3134 | MAYBE 3839 |
| tpdb-8.0/JBC/BOG_RTA_11/ConvertRec.jar | YES 11754 | MAYBE 4176 |
| tpdb-8.0/JBC/BOG_RTA_11/Count.jar | YES 45769 | MAYBE 6687 |
| tpdb-8.0/JBC/BOG_RTA_11/CountMetaListRec.jar | YES 6043 | MAYBE 6139 |
| tpdb-8.0/JBC/BOG_RTA_11/DivMinus.jar | YES 53498 | YES 5182 |
| tpdb-8.0/JBC/BOG_RTA_11/DivTernary2.jar | YES 5218 | MAYBE 5155 |
| tpdb-8.0/JBC/BOG_RTA_11/DivTernary.jar | MAYBE 26993 | MAYBE 5595 |
| tpdb-8.0/JBC/BOG_RTA_11/DupTreeRec.jar | YES 18707 | MAYBE 5217 |
| tpdb-8.0/JBC/BOG_RTA_11/EqUserDefRec.jar | YES 2870 | YES 44266 |
| tpdb-8.0/JBC/BOG_RTA_11/Fibonacci.jar | YES 16714 | YES 45393 |
| tpdb-8.0/JBC/BOG_RTA_11/FlattenTreeListRec.jar | YES 13334 | MAYBE 6790 |
| tpdb-8.0/JBC/BOG_RTA_11/FlattenTreeRec.jar | YES 10750 | MAYBE 7474 |
| tpdb-8.0/JBC/BOG_RTA_11/Gopher.jar | YES 7243 | MAYBE 7916 |
| tpdb-8.0/JBC/BOG_RTA_11/GrowTreeR.jar | YES 14997 | MAYBE 5243 |
| tpdb-8.0/JBC/BOG_RTA_11/IntListDupRec.jar | YES 9896 | MAYBE 3847 |
| tpdb-8.0/JBC/BOG_RTA_11/IntListSumRec.jar | YES 4294 | YES 3709 |
| tpdb-8.0/JBC/BOG_RTA_11/LessLeavesRec.jar | TIMEOUT 60480 | MAYBE 4447 |
| tpdb-8.0/JBC/BOG_RTA_11/LeUserDefRec.jar | YES 2700 | YES 44076 |
| tpdb-8.0/JBC/BOG_RTA_11/LogRecursive.jar | YES 3219 | YES 3088 |
| tpdb-8.0/JBC/BOG_RTA_11/MainCopy.jar | YES 7672 | MAYBE 4484 |
| tpdb-8.0/JBC/BOG_RTA_11/MainDelete.jar | YES 7317 | MAYBE 4526 |
| tpdb-8.0/JBC/BOG_RTA_11/MainFind.jar | YES 6729 | MAYBE 4403 |
| tpdb-8.0/JBC/BOG_RTA_11/MainGet.jar | YES 6631 | MAYBE 4245 |
| tpdb-8.0/JBC/BOG_RTA_11/Main.jar | YES 17258 | YES 5429 |
| tpdb-8.0/JBC/BOG_RTA_11/MainMove.jar | YES 14291 | MAYBE 4494 |
| tpdb-8.0/JBC/BOG_RTA_11/MirrorBinTreeRec.jar | YES 11866 | MAYBE 3761 |
| tpdb-8.0/JBC/BOG_RTA_11/MirrorMultiTreeRec.jar | YES 22109 | MAYBE 5069 |
| tpdb-8.0/JBC/BOG_RTA_11/Nest.jar | YES 3304 | YES 45341 |
| tpdb-8.0/JBC/BOG_RTA_11/Norm.jar | TIMEOUT 60462 | MAYBE 7250 |
| tpdb-8.0/JBC/BOG_RTA_11/QuicksortRec.jar | YES 12413 | YES 4312 |
| tpdb-8.0/JBC/BOG_RTA_11/SearchTreeR.jar | YES 6302 | YES 9698 |
| tpdb-8.0/JBC/BOG_RTA_11/Shuffle.jar | TIMEOUT 60309 | MAYBE 3871 |
| tpdb-8.0/JBC/BOG_RTA_11/TerminatorRec01.jar | YES 8171 | YES 3055 |
| tpdb-8.0/JBC/BOG_RTA_11/TerminatorRec02.jar | YES 2316 | YES 51067 |
| tpdb-8.0/JBC/BOG_RTA_11/TerminatorRec03.jar | NO 1751 | NO 3088 |
| tpdb-8.0/JBC/BOG_RTA_11/TerminatorRec04.jar | NO 2155 | TIMEOUT 60036 |
| tpdb-8.0/JBC/BOG_RTA_11/TimesPlusUserDef.jar | YES 5231 | YES 45765 |
| tpdb-8.0/JBC/BOG_RTA_11/TwoWay.jar | YES 2760 | YES 3275 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Ackermann.jar | YES 9534 | YES 45593 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/BinarySearchTree.jar | YES 1802 | YES 4086 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/BTree.jar | YES 2175 | YES 4665 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Domino.jar | TIMEOUT 60312 | YES 25265 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Double2.jar | YES 2312 | YES 44632 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Double3.jar | YES 2245 | YES 45304 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Double.jar | YES 7929 | YES 44269 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Factorial.jar | YES 1566 | YES 44903 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/FactSum.jar | YES 2015 | YES 44721 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/FactSumList.jar | YES 1482 | YES 6390 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Hanoi.jar | YES 1851 | YES 46292 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/ListInt.jar | YES 1788 | YES 9742 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/List.jar | YES 1872 | YES 7743 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/MysteriousProgram.jar | TIMEOUT 60700 | YES 5509 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/PartitionList.jar | YES 22242 | TIMEOUT 60037 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Queen.jar | YES 13819 | YES 4945 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/TestJulia6.jar | NO 1868 | MAYBE 2938 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/TestJulia7.jar | NO 2269 | MAYBE 3879 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Virtual.jar | YES 2426 | YES 49868 |
| tpdb-8.0/JBC/Julia_10_Recursive/AckR.jar | YES 7261 | YES 3324 |
| tpdb-8.0/JBC/Julia_10_Recursive/BTreeR.jar | YES 6053 | YES 4873 |
| tpdb-8.0/JBC/Julia_10_Recursive/BubbleSortR.jar | YES 8515 | YES 4288 |
| tpdb-8.0/JBC/Julia_10_Recursive/FactSLR.jar | YES 4075 | YES 4339 |
| tpdb-8.0/JBC/Julia_10_Recursive/FibSLR.jar | YES 4101 | YES 4376 |
| tpdb-8.0/JBC/Julia_10_Recursive/HanR.jar | YES 3985 | YES 4488 |
| tpdb-8.0/JBC/Julia_10_Recursive/Matrix.jar | YES 28537 | YES 25904 |
| tpdb-8.0/JBC/Julia_10_Recursive/MergeSort.jar | YES 13931 | YES 6343 |
| tpdb-8.0/JBC/Julia_10_Recursive/Nim.jar | TIMEOUT 60295 | MAYBE 10345 |
| tpdb-8.0/JBC/Julia_10_Recursive/Power.jar | YES 6205 | YES 51307 |
| tpdb-8.0/JBC/Julia_10_Recursive/Recursions.jar | YES 4923 | YES 48881 |
| tpdb-8.0/JBC/Julia_10_Recursive/Sudoku.jar | YES 30869 | YES 20415 |
| tpdb-8.0/JBC/Julia_10_Recursive/Test10.jar | YES 3372 | YES 3115 |
| tpdb-8.0/JBC/Julia_10_Recursive/Test12.jar | YES 11551 | YES 3970 |
| tpdb-8.0/JBC/Julia_10_Recursive/Test1.jar | YES 4547 | YES 11876 |
| tpdb-8.0/JBC/Julia_10_Recursive/Test4.jar | TIMEOUT 60521 | YES 12253 |
| tpdb-8.0/JBC/Julia_10_Recursive/Test6.jar | TIMEOUT 60437 | YES 18574 |
| tpdb-8.0/JBC/Julia_10_Recursive/Test8.jar | YES 4722 | YES 4766 |
| tpdb-8.0/JBC/Julia_10_Recursive/TicTacToe.jar | TIMEOUT 60360 | TIMEOUT 60038 |
| tpdb-8.0/JBC/Julia_10_Recursive/WorkingSignals.jar | TIMEOUT 60859 | YES 9536 |
| tpdb-8.0/JBC/Julia_11_recursive/Binomial.jar | YES 9289 | YES 46804 |
| tpdb-8.0/JBC/Julia_11_recursive/Fractale1.jar | YES 4012 | YES 4269 |
| tpdb-8.0/JBC/Julia_11_recursive/Parts.jar | YES 8303 | YES 46050 |
| tpdb-8.0/JBC/Julia_11_recursive/TaylorSeriesRec.jar | YES 7120 | YES 5661 |
| tpdb-8.0/JBC/Julia_12_recursive/alternDiv_rec.jar | NO 1965 | NO 3597 |
| tpdb-8.0/JBC/Julia_12_recursive/alternDivWidening_rec.jar | NO 8647 | NO 5247 |
| tpdb-8.0/JBC/Julia_12_recursive/alternDivWide_rec.jar | NO 1912 | NO 5103 |
| tpdb-8.0/JBC/Julia_12_recursive/alternKonv_rec.jar | NO 2176 | NO 6167 |
| tpdb-8.0/JBC/Julia_12_recursive/BMOG_CAV_12_MarkingGraphVisitor.jar | YES 21385 | MAYBE 6875 |
| tpdb-8.0/JBC/Julia_12_recursive/complInterv2_rec.jar | NO 1799 | NO 6387 |
| tpdb-8.0/JBC/Julia_12_recursive/complInterv3_rec.jar | NO 1833 | NO 3529 |
| tpdb-8.0/JBC/Julia_12_recursive/complxStruc_rec.jar | NO 2465 | MAYBE 49689 |
| tpdb-8.0/JBC/Julia_12_recursive/convLower_rec.jar | NO 1824 | NO 3390 |
| tpdb-8.0/JBC/Julia_12_recursive/cousot_rec.jar | NO 1982 | NO 3111 |
| tpdb-8.0/JBC/Julia_12_recursive/Et1-rec.jar | YES 3185 | YES 3139 |
| tpdb-8.0/JBC/Julia_12_recursive/Et2-rec.jar | YES 6502 | YES 3348 |
| tpdb-8.0/JBC/Julia_12_recursive/Et3-rec.jar | YES 3314 | YES 3172 |
| tpdb-8.0/JBC/Julia_12_recursive/Et4-rec.jar | YES 6929 | YES 3607 |
| tpdb-8.0/JBC/Julia_12_recursive/Et5-rec.jar | YES 13480 | YES 4760 |
| tpdb-8.0/JBC/Julia_12_recursive/Et6-rec.jar | YES 14170 | YES 6131 |
| tpdb-8.0/JBC/Julia_12_recursive/EvenOdd.jar | MAYBE 53270 | NO 3639 |
| tpdb-8.0/JBC/Julia_12_recursive/even_rec.jar | NO 1866 | NO 3206 |
| tpdb-8.0/JBC/Julia_12_recursive/ex01_rec.jar | NO 1836 | NO 2978 |
| tpdb-8.0/JBC/Julia_12_recursive/ex02_rec.jar | NO 1808 | NO 3296 |
| tpdb-8.0/JBC/Julia_12_recursive/ex03_rec.jar | NO 1830 | NO 3246 |
| tpdb-8.0/JBC/Julia_12_recursive/ex04_rec.jar | NO 1733 | NO 2906 |
| tpdb-8.0/JBC/Julia_12_recursive/ex05_rec.jar | NO 1670 | NO 5665 |
| tpdb-8.0/JBC/Julia_12_recursive/ex06_rec.jar | NO 1738 | NO 8840 |
| tpdb-8.0/JBC/Julia_12_recursive/ex07_rec.jar | NO 1716 | NO 3406 |
| tpdb-8.0/JBC/Julia_12_recursive/ex08_rec.jar | NO 3210 | MAYBE 5455 |
| tpdb-8.0/JBC/Julia_12_recursive/flip2_rec.jar | NO 2744 | NO 7125 |
| tpdb-8.0/JBC/Julia_12_recursive/flip_rec.jar | NO 1904 | NO 4594 |
| tpdb-8.0/JBC/Julia_12_recursive/middle_rec.jar | NO 2157 | NO 3770 |
| tpdb-8.0/JBC/Julia_12_recursive/mirrorInterv_rec.jar | NO 5998 | TIMEOUT 60036 |
| tpdb-8.0/JBC/Julia_12_recursive/mirrorIntervSim_rec.jar | NO 2403 | NO 3745 |
| tpdb-8.0/JBC/Julia_12_recursive/narrowing_rec.jar | NO 10736 | TIMEOUT 60037 |
| tpdb-8.0/JBC/Julia_12_recursive/narrowKonv_rec.jar | NO 3418 | MAYBE 47788 |
| tpdb-8.0/JBC/Julia_12_recursive/sumGeneric2_rec.jar | NO 2237 | NO 3250 |
| tpdb-8.0/JBC/Julia_12_recursive/sumGeneric_rec.jar | NO 1723 | NO 3267 |
| tpdb-8.0/JBC/Julia_12_recursive/sum_rec.jar | NO 2043 | NO 5272 |
| tpdb-8.0/JBC/Julia_12_recursive/sunset_rec.jar | NO 2447 | NO 9213 |
| tpdb-8.0/JBC/Julia_12_recursive/trueDiv_rec.jar | NO 2152 | NO 4978 |
| tpdb-8.0/JBC/Julia_12_recursive/twoFloatInterv_rec.jar | NO 2975 | MAYBE 3229 |
| tpdb-8.0/JBC/Julia_12_recursive/upAndDownIneq_rec.jar | NO 3765 | MAYBE 50727 |
| tpdb-8.0/JBC/Julia_12_recursive/upAndDown_rec.jar | NO 4231 | MAYBE 47128 |
| tpdb-8.0/JBC/Julia_12_recursive/whileNestedOffset_rec.jar | NO 2093 | NO 3181 |
| tpdb-8.0/JBC/Julia_12_recursive/whileNested_rec.jar | NO 2052 | NO 3113 |
| tpdb-8.0/JBC/Julia_12_recursive/whilePart_rec.jar | NO 1821 | NO 3326 |
| tpdb-8.0/JBC/Julia_12_recursive/whileSingle_rec.jar | NO 1795 | NO 3338 | 128 | 94 |