| benchmark | AProVE | COSTA | Julia-11a |
|---|---|---|---|
| tpdb-8.0/JBC/AProVE_11_recursive/AlternatingGrowReduceRec2.jar | YES 9229 | MAYBE 9459 | MAYBE 2860 |
| tpdb-8.0/JBC/AProVE_11_recursive/AlternatingGrowReduceRec.jar | YES 22496 | MAYBE 9680 | MAYBE 3244 |
| tpdb-8.0/JBC/AProVE_11_recursive/BinarySearch.jar | YES 18642 | YES 2396 | MAYBE 6584 |
| tpdb-8.0/JBC/AProVE_11_recursive/ClassAnalysisRec.jar | YES 2070 | MAYBE 5637 | MAYBE 2532 |
| tpdb-8.0/JBC/AProVE_11_recursive/CyclicAnalysisRec.jar | YES 3636 | MAYBE 8101 | MAYBE 2772 |
| tpdb-8.0/JBC/AProVE_11_recursive/RetValRec.jar | YES 1072 | MAYBE 4327 | MAYBE 2275 |
| tpdb-8.0/JBC/AProVE_11_recursive/RotateTree.jar | YES 22300 | MAYBE 13317 | MAYBE 2596 |
| tpdb-8.0/JBC/AProVE_11_recursive/SharingAnalysisRec.jar | YES 9015 | MAYBE 9553 | MAYBE 2711 |
| tpdb-8.0/JBC/AProVE_11_recursive/TermCreateCollect.jar | YES 32664 | TIMEOUT 60030 | MAYBE 4183 |
| tpdb-8.0/JBC/AProVE_11_recursive/TermsCreateMatch.jar | YES 60397 | TIMEOUT 60031 | MAYBE 6863 |
| tpdb-8.0/JBC/BOG_RTA_11/Alternate.jar | YES 23770 | YES 6063 | YES 4043 |
| tpdb-8.0/JBC/BOG_RTA_11/AppE.jar | YES 13811 | YES 2132 | YES 2677 |
| tpdb-8.0/JBC/BOG_RTA_11/AProVEMathRecursive.jar | YES 18278 | YES 2102 | YES 3227 |
| tpdb-8.0/JBC/BOG_RTA_11/AProVERec01.jar | YES 4247 | MAYBE 5106 | YES 3399 |
| tpdb-8.0/JBC/BOG_RTA_11/Avg.jar | YES 4334 | MAYBE 4211 | YES 2564 |
| tpdb-8.0/JBC/BOG_RTA_11/BinTreeChanger.jar | YES 11558 | MAYBE 10210 | MAYBE 3252 |
| tpdb-8.0/JBC/BOG_RTA_11/CAppE.jar | YES 2235 | MAYBE 6297 | MAYBE 3040 |
| tpdb-8.0/JBC/BOG_RTA_11/ConvertRec.jar | YES 14827 | YES 2249 | MAYBE 3540 |
| tpdb-8.0/JBC/BOG_RTA_11/Count.jar | YES 33195 | YES 7844 | MAYBE 8545 |
| tpdb-8.0/JBC/BOG_RTA_11/CountMetaListRec.jar | YES 17535 | YES 5120 | MAYBE 4386 |
| tpdb-8.0/JBC/BOG_RTA_11/DivMinus.jar | YES 52050 | MAYBE 9563 | YES 3795 |
| tpdb-8.0/JBC/BOG_RTA_11/DivTernary2.jar | MAYBE 6422 | MAYBE 9430 | MAYBE 3924 |
| tpdb-8.0/JBC/BOG_RTA_11/DivTernary.jar | YES 29758 | MAYBE 17861 | MAYBE 4311 |
| tpdb-8.0/JBC/BOG_RTA_11/DupTreeRec.jar | YES 18300 | YES 5235 | MAYBE 3825 |
| tpdb-8.0/JBC/BOG_RTA_11/EqUserDefRec.jar | YES 2338 | YES 1395 | YES 2313 |
| tpdb-8.0/JBC/BOG_RTA_11/Fibonacci.jar | YES 3339 | MAYBE 1380 | YES 2060 |
| tpdb-8.0/JBC/BOG_RTA_11/FlattenTreeListRec.jar | YES 24286 | YES 12769 | MAYBE 5335 |
| tpdb-8.0/JBC/BOG_RTA_11/FlattenTreeRec.jar | YES 20267 | YES 9666 | MAYBE 6474 |
| tpdb-8.0/JBC/BOG_RTA_11/Gopher.jar | YES 15009 | MAYBE 8755 | MAYBE 3836 |
| tpdb-8.0/JBC/BOG_RTA_11/GrowTreeR.jar | YES 21443 | YES 4621 | MAYBE 3790 |
| tpdb-8.0/JBC/BOG_RTA_11/IntListDupRec.jar | YES 17339 | YES 2108 | MAYBE 2911 |
| tpdb-8.0/JBC/BOG_RTA_11/IntListSumRec.jar | YES 6857 | MAYBE 6154 | YES 2801 |
| tpdb-8.0/JBC/BOG_RTA_11/LessLeavesRec.jar | TIMEOUT 60402 | MAYBE 20962 | MAYBE 3922 |
| tpdb-8.0/JBC/BOG_RTA_11/LeUserDefRec.jar | YES 2187 | YES 1349 | YES 2219 |
| tpdb-8.0/JBC/BOG_RTA_11/LogRecursive.jar | YES 3567 | MAYBE 4450 | YES 2214 |
| tpdb-8.0/JBC/BOG_RTA_11/MainCopy.jar | YES 8726 | MAYBE 23911 | MAYBE 3266 |
| tpdb-8.0/JBC/BOG_RTA_11/MainDelete.jar | YES 10679 | MAYBE 16426 | MAYBE 3339 |
| tpdb-8.0/JBC/BOG_RTA_11/MainFind.jar | YES 8657 | MAYBE 11512 | MAYBE 3256 |
| tpdb-8.0/JBC/BOG_RTA_11/MainGet.jar | YES 7362 | MAYBE 10905 | MAYBE 2968 |
| tpdb-8.0/JBC/BOG_RTA_11/Main.jar | YES 30966 | YES 8740 | YES 3908 |
| tpdb-8.0/JBC/BOG_RTA_11/MainMove.jar | MAYBE 7680 | TIMEOUT 60032 | MAYBE 3390 |
| tpdb-8.0/JBC/BOG_RTA_11/MirrorBinTreeRec.jar | YES 19385 | MAYBE 16772 | MAYBE 3318 |
| tpdb-8.0/JBC/BOG_RTA_11/MirrorMultiTreeRec.jar | YES 28406 | TIMEOUT 60029 | MAYBE 3479 |
| tpdb-8.0/JBC/BOG_RTA_11/Nest.jar | YES 1971 | MAYBE 3612 | YES 1952 |
| tpdb-8.0/JBC/BOG_RTA_11/Norm.jar | YES 35344 | TIMEOUT 60046 | MAYBE 6152 |
| tpdb-8.0/JBC/BOG_RTA_11/QuicksortRec.jar | YES 20952 | TIMEOUT 60031 | YES 3187 |
| tpdb-8.0/JBC/BOG_RTA_11/SearchTreeR.jar | YES 10650 | YES 2109 | YES 2569 |
| tpdb-8.0/JBC/BOG_RTA_11/Shuffle.jar | MAYBE 12639 | MAYBE 8934 | YES 3091 |
| tpdb-8.0/JBC/BOG_RTA_11/TerminatorRec01.jar | YES 3010 | YES 1537 | YES 2106 |
| tpdb-8.0/JBC/BOG_RTA_11/TerminatorRec02.jar | YES 1788 | YES 473 | YES 2043 |
| tpdb-8.0/JBC/BOG_RTA_11/TerminatorRec03.jar | MAYBE 18194 | MAYBE 1228 | MAYBE 1991 |
| tpdb-8.0/JBC/BOG_RTA_11/TerminatorRec04.jar | TIMEOUT 60409 | MAYBE 1148 | MAYBE 2100 |
| tpdb-8.0/JBC/BOG_RTA_11/TimesPlusUserDef.jar | YES 5424 | YES 1578 | YES 2509 |
| tpdb-8.0/JBC/BOG_RTA_11/TwoWay.jar | YES 2104 | YES 1428 | YES 2334 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Ackermann.jar | YES 3654 | YES 1582 | YES 2294 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/BinarySearchTree.jar | YES 1677 | YES 2619 | YES 2721 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/BTree.jar | YES 1808 | YES 1735 | YES 3544 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Domino.jar | MAYBE 6905 | TIMEOUT 60031 | YES 24695 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Double2.jar | YES 2028 | YES 470 | YES 2097 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Double3.jar | YES 1827 | YES 461 | YES 2019 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Double.jar | YES 2739 | YES 1220 | YES 2028 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Factorial.jar | YES 1063 | YES 453 | YES 2161 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/FactSum.jar | YES 1800 | YES 531 | YES 2361 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/FactSumList.jar | YES 1013 | YES 705 | YES 4907 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Hanoi.jar | YES 1354 | YES 697 | YES 2262 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/ListInt.jar | YES 2208 | YES 3862 | YES 8073 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/List.jar | YES 1831 | YES 5588 | YES 6185 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/MysteriousProgram.jar | YES 30933 | TIMEOUT 60031 | YES 4012 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/PartitionList.jar | YES 41764 | YES 17700 | YES 10556 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Queen.jar | YES 18271 | TIMEOUT 60047 | YES 3775 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/TestJulia6.jar | MAYBE 6476 | MAYBE 2074 | MAYBE 2234 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/TestJulia7.jar | MAYBE 6350 | MAYBE 1943 | MAYBE 2548 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Virtual.jar | YES 2224 | MAYBE 5619 | YES 2661 |
| tpdb-8.0/JBC/Julia_10_Recursive/AckR.jar | YES 3589 | YES 2656 | YES 2328 |
| tpdb-8.0/JBC/Julia_10_Recursive/BTreeR.jar | YES 6760 | YES 2060 | YES 4004 |
| tpdb-8.0/JBC/Julia_10_Recursive/BubbleSortR.jar | YES 14811 | YES 2831 | YES 3135 |
| tpdb-8.0/JBC/Julia_10_Recursive/FactSLR.jar | YES 3563 | YES 1898 | YES 3004 |
| tpdb-8.0/JBC/Julia_10_Recursive/FibSLR.jar | YES 3506 | YES 1840 | YES 3164 |
| tpdb-8.0/JBC/Julia_10_Recursive/HanR.jar | YES 3057 | YES 1737 | YES 2561 |
| tpdb-8.0/JBC/Julia_10_Recursive/Matrix.jar | TIMEOUT 60837 | TIMEOUT 60034 | YES 21175 |
| tpdb-8.0/JBC/Julia_10_Recursive/MergeSort.jar | TIMEOUT 60359 | YES 4494 | YES 6057 |
| tpdb-8.0/JBC/Julia_10_Recursive/Nim.jar | TIMEOUT 60559 | YES 3104 | MAYBE 13301 |
| tpdb-8.0/JBC/Julia_10_Recursive/Power.jar | YES 6050 | YES 2984 | YES 3239 |
| tpdb-8.0/JBC/Julia_10_Recursive/Recursions.jar | YES 7194 | YES 798 | YES 4304 |
| tpdb-8.0/JBC/Julia_10_Recursive/Sudoku.jar | TIMEOUT 60450 | TIMEOUT 60032 | YES 14600 |
| tpdb-8.0/JBC/Julia_10_Recursive/Test10.jar | YES 5999 | MAYBE 1418 | YES 2350 |
| tpdb-8.0/JBC/Julia_10_Recursive/Test12.jar | YES 18281 | YES 1654 | YES 2992 |
| tpdb-8.0/JBC/Julia_10_Recursive/Test1.jar | YES 5965 | YES 693 | YES 17195 |
| tpdb-8.0/JBC/Julia_10_Recursive/Test4.jar | TIMEOUT 60764 | YES 20034 | YES 9594 |
| tpdb-8.0/JBC/Julia_10_Recursive/Test6.jar | TIMEOUT 60438 | TIMEOUT 60031 | YES 15225 |
| tpdb-8.0/JBC/Julia_10_Recursive/Test8.jar | YES 34860 | MAYBE 12410 | YES 3561 |
| tpdb-8.0/JBC/Julia_10_Recursive/TicTacToe.jar | MAYBE 16670 | TIMEOUT 60031 | YES 56121 |
| tpdb-8.0/JBC/Julia_10_Recursive/WorkingSignals.jar | MAYBE 37634 | YES 47369 | YES 11391 |
| tpdb-8.0/JBC/Julia_11_recursive/Binomial.jar | TIMEOUT 60832 | YES 1000 | YES 3651 |
| tpdb-8.0/JBC/Julia_11_recursive/Fractale1.jar | TIMEOUT 60979 | YES 1440 | YES 3408 |
| tpdb-8.0/JBC/Julia_11_recursive/Parts.jar | TIMEOUT 60923 | YES 762 | YES 3258 |
| tpdb-8.0/JBC/Julia_11_recursive/TaylorSeriesRec.jar | YES 9241 | YES 2401 | YES 7305 | 77 | 51 | 60 |