| benchmark | AProVE | Julia13 |
|---|---|---|
| tpdb-8.0/JBC/AProVE_11_recursive/AlternatingGrowReduceRec2.jar | YES 5045 | MAYBE 4617 |
| tpdb-8.0/JBC/AProVE_11_recursive/AlternatingGrowReduceRec.jar | YES 7367 | MAYBE 5672 |
| tpdb-8.0/JBC/AProVE_11_recursive/BinarySearch.jar | TIMEOUT 60431 | MAYBE 5170 |
| tpdb-8.0/JBC/AProVE_11_recursive/ClassAnalysisRec.jar | YES 2586 | MAYBE 3595 |
| tpdb-8.0/JBC/AProVE_11_recursive/RetValRec.jar | YES 1622 | MAYBE 3162 |
| tpdb-8.0/JBC/AProVE_11_recursive/RotateTree.jar | YES 14862 | MAYBE 8439 |
| tpdb-8.0/JBC/AProVE_11_recursive/SharingAnalysisRec.jar | YES 5198 | MAYBE 3930 |
| tpdb-8.0/JBC/AProVE_11_recursive/TermCreateCollect.jar | YES 22275 | TIMEOUT 60036 |
| tpdb-8.0/JBC/AProVE_11_recursive/UnionFind.jar | TIMEOUT 60323 | TIMEOUT 60038 |
| tpdb-8.0/JBC/BOG_RTA_11/Avg.jar | YES 3699 | TIMEOUT 60036 |
| tpdb-8.0/JBC/BOG_RTA_11/ConvertRec.jar | YES 12395 | MAYBE 4780 |
| tpdb-8.0/JBC/BOG_RTA_11/FlattenTreeListRec.jar | YES 13246 | TIMEOUT 60039 |
| tpdb-8.0/JBC/BOG_RTA_11/Gopher.jar | YES 7343 | TIMEOUT 60037 |
| tpdb-8.0/JBC/BOG_RTA_11/GrowTreeR.jar | YES 15592 | MAYBE 5600 |
| tpdb-8.0/JBC/BOG_RTA_11/MainDelete.jar | YES 6984 | MAYBE 4965 |
| tpdb-8.0/JBC/BOG_RTA_11/MainFind.jar | YES 6638 | MAYBE 4548 |
| tpdb-8.0/JBC/BOG_RTA_11/QuicksortRec.jar | YES 12051 | TIMEOUT 60039 |
| tpdb-8.0/JBC/BOG_RTA_11/TerminatorRec02.jar | YES 2278 | YES 28566 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Double2.jar | YES 2331 | YES 24170 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Double3.jar | YES 2229 | TIMEOUT 60036 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Double.jar | YES 7647 | YES 23933 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Factorial.jar | YES 1530 | YES 25098 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/ListInt.jar | YES 1764 | YES 12754 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/MysteriousProgram.jar | TIMEOUT 60542 | TIMEOUT 60035 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/TestJulia6.jar | NO 1884 | TIMEOUT 60037 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/TestJulia7.jar | NO 2279 | MAYBE 3834 |
| tpdb-8.0/JBC/Costa_Julia_09-recursive/Virtual.jar | YES 2415 | YES 27452 |
| tpdb-8.0/JBC/Julia_10_Recursive/FactSLR.jar | YES 3943 | YES 4552 |
| tpdb-8.0/JBC/Julia_10_Recursive/FibSLR.jar | YES 4069 | TIMEOUT 60039 |
| tpdb-8.0/JBC/Julia_10_Recursive/MergeSort.jar | YES 14148 | TIMEOUT 60035 |
| tpdb-8.0/JBC/Julia_10_Recursive/Nim.jar | TIMEOUT 60301 | MAYBE 14361 |
| tpdb-8.0/JBC/Julia_10_Recursive/Power.jar | YES 5943 | YES 27839 |
| tpdb-8.0/JBC/Julia_10_Recursive/Recursions.jar | YES 4831 | YES 29057 |
| tpdb-8.0/JBC/Julia_10_Recursive/Test6.jar | TIMEOUT 60557 | YES 24789 |
| tpdb-8.0/JBC/Julia_10_Recursive/Test8.jar | YES 4704 | TIMEOUT 60037 |
| tpdb-8.0/JBC/Julia_10_Recursive/TicTacToe.jar | TIMEOUT 60331 | TIMEOUT 60041 |
| tpdb-8.0/JBC/Julia_11_recursive/Binomial.jar | YES 9338 | YES 26475 |
| tpdb-8.0/JBC/Julia_11_recursive/Fractale1.jar | YES 3890 | YES 6012 |
| tpdb-8.0/JBC/Julia_11_recursive/Parts.jar | YES 8331 | YES 27499 |
| tpdb-8.0/JBC/Julia_11_recursive/TaylorSeriesRec.jar | YES 7713 | TIMEOUT 60038 |
| tpdb-8.0/JBC/Julia_12_recursive/BMOG_CAV_12_MarkingGraphVisitor.jar | YES 20729 | MAYBE 17925 |
| tpdb-8.0/JBC/Julia_12_recursive/Et3-rec.jar | YES 3266 | YES 3083 |
| tpdb-8.0/JBC/Julia_12_recursive/even_rec.jar | NO 1860 | NO 3379 |
| tpdb-8.0/JBC/Julia_12_recursive/flip_rec.jar | NO 1888 | NO 4431 |
| tpdb-8.0/JBC/Julia_12_recursive/mirrorInterv_rec.jar | NO 6052 | MAYBE 5137 |
| tpdb-8.0/JBC/Julia_12_recursive/mirrorIntervSim_rec.jar | NO 2382 | TIMEOUT 60037 |
| tpdb-8.0/JBC/Julia_12_recursive/narrowing_rec.jar | NO 10552 | MAYBE 41210 |
| tpdb-8.0/JBC/Julia_12_recursive/sumGeneric_rec.jar | NO 1723 | NO 3391 |
| tpdb-8.0/JBC/Julia_12_recursive/sum_rec.jar | NO 1995 | NO 4423 | 43 | 18 |