| benchmark | AProVE | Julia-12a |
|---|---|---|
| tpdb-8.0/JBC/AProVE_11_recursive/AlternatingGrowReduceRec2.jar | YES 12076 | MAYBE 3489 |
| tpdb-8.0/JBC/AProVE_11_recursive/AlternatingGrowReduceRec.jar | YES 6284 | MAYBE 3937 |
| tpdb-8.0/JBC/AProVE_11_recursive/BinarySearch.jar | YES 17005 | MAYBE 3282 |
| tpdb-8.0/JBC/AProVE_11_recursive/ClassAnalysisRec.jar | YES 1989 | MAYBE 3010 |
| tpdb-8.0/JBC/AProVE_11_recursive/CyclicAnalysisRec.jar | YES 4522 | MAYBE 3321 |
| tpdb-8.0/JBC/AProVE_11_recursive/RetValRec.jar | YES 1271 | MAYBE 2608 |
| tpdb-8.0/JBC/AProVE_11_recursive/RotateTree.jar | YES 16838 | MAYBE 3138 |
| tpdb-8.0/JBC/AProVE_11_recursive/SharingAnalysisRec.jar | YES 4116 | MAYBE 3324 |
| tpdb-8.0/JBC/AProVE_11_recursive/TermCreateCollect.jar | YES 24469 | MAYBE 4755 |
| tpdb-8.0/JBC/AProVE_11_recursive/TermsCreateMatch.jar | YES 26468 | MAYBE 7614 |
| tpdb-8.0/JBC/BOG_RTA_11/AProVEMathRecursive.jar | YES 4200 | YES 3738 |
| tpdb-8.0/JBC/BOG_RTA_11/AProVERec01.jar | YES 2480 | YES 3746 |
| tpdb-8.0/JBC/BOG_RTA_11/ConvertRec.jar | YES 15762 | MAYBE 3823 |
| tpdb-8.0/JBC/BOG_RTA_11/Count.jar | YES 28219 | MAYBE 9879 |
| tpdb-8.0/JBC/BOG_RTA_11/DivTernary.jar | TIMEOUT 60443 | MAYBE 4238 |
| tpdb-8.0/JBC/BOG_RTA_11/FlattenTreeListRec.jar | YES 14540 | MAYBE 6518 |
| tpdb-8.0/JBC/BOG_RTA_11/IntListSumRec.jar | YES 3555 | YES 3333 |
| tpdb-8.0/JBC/BOG_RTA_11/MainDelete.jar | YES 6383 | MAYBE 4081 |
| tpdb-8.0/JBC/BOG_RTA_11/MainMove.jar | YES 17077 | MAYBE 4200 |
| tpdb-8.0/JBC/BOG_RTA_11/Nest.jar | YES 2573 | YES 24290 |
| tpdb-8.0/JBC/BOG_RTA_11/Norm.jar | TIMEOUT 60465 | MAYBE 7151 |
| tpdb-8.0/JBC/BOG_RTA_11/QuicksortRec.jar | YES 14937 | YES 3921 |
| tpdb-8.0/JBC/BOG_RTA_11/TerminatorRec02.jar | YES 1709 | YES 26944 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/BinarySearchTree.jar | YES 1479 | YES 3373 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Double3.jar | YES 1704 | YES 23670 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Double.jar | YES 6624 | YES 23918 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Factorial.jar | YES 1173 | YES 24284 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/FactSumList.jar | YES 1158 | YES 5660 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Hanoi.jar | YES 1545 | YES 27291 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/ListInt.jar | YES 1437 | YES 9382 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/PartitionList.jar | YES 29518 | YES 37143 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Queen.jar | YES 11646 | YES 4372 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/TestJulia6.jar | NO 1402 | MAYBE 2545 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Virtual.jar | YES 2360 | YES 26688 |
| tpdb-8.0/JBC/Julia_10_Recursive/BTreeR.jar | YES 7400 | YES 4231 |
| tpdb-8.0/JBC/Julia_10_Recursive/BubbleSortR.jar | YES 7698 | YES 3518 |
| tpdb-8.0/JBC/Julia_10_Recursive/FactSLR.jar | YES 3046 | YES 3739 |
| tpdb-8.0/JBC/Julia_10_Recursive/FibSLR.jar | YES 3037 | YES 3847 |
| tpdb-8.0/JBC/Julia_10_Recursive/Matrix.jar | YES 26959 | YES 24106 |
| tpdb-8.0/JBC/Julia_10_Recursive/Power.jar | YES 6018 | YES 24736 |
| tpdb-8.0/JBC/Julia_10_Recursive/Recursions.jar | YES 4290 | YES 26372 |
| tpdb-8.0/JBC/Julia_10_Recursive/Sudoku.jar | YES 28942 | YES 13671 |
| tpdb-8.0/JBC/Julia_10_Recursive/Test12.jar | YES 8858 | YES 3694 |
| tpdb-8.0/JBC/Julia_10_Recursive/Test1.jar | YES 3328 | YES 32542 |
| tpdb-8.0/JBC/Julia_10_Recursive/TicTacToe.jar | TIMEOUT 60543 | TIMEOUT 60036 |
| tpdb-8.0/JBC/Julia_11_recursive/Binomial.jar | YES 6449 | YES 25666 |
| tpdb-8.0/JBC/Julia_11_recursive/Fractale1.jar | YES 3746 | YES 3852 |
| tpdb-8.0/JBC/Julia_11_recursive/Parts.jar | YES 7998 | YES 26120 |
| tpdb-8.0/JBC/Julia_11_recursive/TaylorSeriesRec.jar | YES 6865 | YES 5914 |
| tpdb-8.0/JBC/Julia_12_recursive/alternDiv_rec.jar | NO 1535 | NO 2919 |
| tpdb-8.0/JBC/Julia_12_recursive/alternDivWidening_rec.jar | NO 7564 | NO 4403 |
| tpdb-8.0/JBC/Julia_12_recursive/BMOG_CAV_12_MarkingGraphVisitor.jar | YES 16318 | MAYBE 6420 |
| tpdb-8.0/JBC/Julia_12_recursive/complInterv3_rec.jar | NO 1408 | NO 2741 |
| tpdb-8.0/JBC/Julia_12_recursive/Et3-rec.jar | TIMEOUT 60554 | YES 2636 |
| tpdb-8.0/JBC/Julia_12_recursive/Et5-rec.jar | TIMEOUT 60799 | YES 3829 |
| tpdb-8.0/JBC/Julia_12_recursive/EvenOdd.jar | TIMEOUT 60470 | NO 3171 |
| tpdb-8.0/JBC/Julia_12_recursive/ex05_rec.jar | NO 1277 | NO 2347 |
| tpdb-8.0/JBC/Julia_12_recursive/mirrorIntervSim_rec.jar | NO 3931 | NO 2890 |
| tpdb-8.0/JBC/Julia_12_recursive/narrowing_rec.jar | NO 14261 | MAYBE 30672 |
| tpdb-8.0/JBC/Julia_12_recursive/sumGeneric2_rec.jar | NO 1784 | NO 3018 |
| tpdb-8.0/JBC/Julia_12_recursive/sumGeneric_rec.jar | NO 1344 | NO 2990 |
| tpdb-8.0/JBC/Julia_12_recursive/sunset_rec.jar | NO 3688 | NO 7551 | 56 | 41 |