| benchmark | AProVE | COSTA | Julia-11a |
|---|---|---|---|
| tpdb-8.0/JBC/Aprove_09/AProVEMath.jar | YES 2971 | YES 1706 | YES 2711 |
| tpdb-8.0/JBC/Aprove_09/Collatz.jar | TIMEOUT 60208 | MAYBE 4217 | MAYBE 2694 |
| tpdb-8.0/JBC/Aprove_09/Convert.jar | YES 7488 | MAYBE 6782 | YES 3052 |
| tpdb-8.0/JBC/Aprove_09/Count.jar | YES 17686 | TIMEOUT 60030 | MAYBE 7104 |
| tpdb-8.0/JBC/Aprove_09/CountMetaList.jar | YES 7625 | MAYBE 53752 | MAYBE 4769 |
| tpdb-8.0/JBC/Aprove_09/CountUpRound.jar | YES 2388 | YES 1519 | YES 2261 |
| tpdb-8.0/JBC/Aprove_09/DivMinus2.jar | YES 4775 | YES 1598 | YES 2298 |
| tpdb-8.0/JBC/Aprove_09/DivMinus.jar | YES 2926 | YES 1444 | YES 2257 |
| tpdb-8.0/JBC/Aprove_09/DivWithoutMinus.jar | YES 20532 | YES 2922 | YES 2491 |
| tpdb-8.0/JBC/Aprove_09/Duplicate.jar | YES 2463 | YES 1465 | YES 2225 |
| tpdb-8.0/JBC/Aprove_09/DuplicateNodes.jar | YES 18993 | MAYBE 39496 | YES 7821 |
| tpdb-8.0/JBC/Aprove_09/Flatten.jar | YES 21253 | TIMEOUT 60030 | MAYBE 5556 |
| tpdb-8.0/JBC/Aprove_09/FlattenTree.jar | YES 17103 | TIMEOUT 60031 | MAYBE 8711 |
| tpdb-8.0/JBC/Aprove_09/GCD2.jar | YES 27309 | MAYBE 4632 | MAYBE 2420 |
| tpdb-8.0/JBC/Aprove_09/GCD3.jar | YES 6802 | MAYBE 4672 | MAYBE 2803 |
| tpdb-8.0/JBC/Aprove_09/GCD4.jar | YES 7562 | MAYBE 4449 | MAYBE 2212 |
| tpdb-8.0/JBC/Aprove_09/GCD5.jar | YES 27073 | MAYBE 4403 | YES 2219 |
| tpdb-8.0/JBC/Aprove_09/GCD.jar | TIMEOUT 60306 | MAYBE 4704 | MAYBE 2278 |
| tpdb-8.0/JBC/Aprove_09/LessLeaves.jar | YES 21248 | MAYBE 30117 | MAYBE 3666 |
| tpdb-8.0/JBC/Aprove_09/ListContentArbitrary.jar | YES 3797 | YES 2056 | YES 2923 |
| tpdb-8.0/JBC/Aprove_09/ListContent.jar | YES 2916 | YES 5633 | YES 2789 |
| tpdb-8.0/JBC/Aprove_09/ListContentTail.jar | YES 15493 | YES 2289 | YES 2996 |
| tpdb-8.0/JBC/Aprove_09/ListDuplicate.jar | YES 4053 | MAYBE 12904 | YES 3624 |
| tpdb-8.0/JBC/Aprove_09/LogAG.jar | YES 13403 | MAYBE 4208 | MAYBE 2175 |
| tpdb-8.0/JBC/Aprove_09/LogBuiltIn.jar | YES 2256 | YES 1462 | YES 2231 |
| tpdb-8.0/JBC/Aprove_09/LogIterative.jar | YES 5179 | MAYBE 4317 | YES 2330 |
| tpdb-8.0/JBC/Aprove_09/Log.jar | YES 13121 | MAYBE 4354 | MAYBE 2180 |
| tpdb-8.0/JBC/Aprove_09/LogMult.jar | YES 2398 | MAYBE 4127 | YES 2352 |
| tpdb-8.0/JBC/Aprove_09/McCarthyIterative.jar | TIMEOUT 60459 | MAYBE 4587 | MAYBE 2278 |
| tpdb-8.0/JBC/Aprove_09/MinusBuiltIn.jar | YES 1930 | YES 1459 | YES 2058 |
| tpdb-8.0/JBC/Aprove_09/MinusMin.jar | YES 2553 | MAYBE 4224 | YES 2235 |
| tpdb-8.0/JBC/Aprove_09/MinusUserDefined.jar | TIMEOUT 60246 | MAYBE 4334 | MAYBE 2186 |
| tpdb-8.0/JBC/Aprove_09/MirrorTree.jar | YES 19251 | MAYBE 34036 | MAYBE 4501 |
| tpdb-8.0/JBC/Aprove_09/Mod.jar | YES 4233 | YES 1447 | YES 2436 |
| tpdb-8.0/JBC/Aprove_09/Overflow.jar | YES 1739 | YES 1398 | MAYBE 2039 |
| tpdb-8.0/JBC/Aprove_09/PastaA10.jar | YES 8883 | YES 1591 | YES 2249 |
| tpdb-8.0/JBC/Aprove_09/PastaA1.jar | YES 2174 | YES 1505 | YES 2154 |
| tpdb-8.0/JBC/Aprove_09/PastaA4.jar | YES 1927 | YES 1450 | YES 2016 |
| tpdb-8.0/JBC/Aprove_09/PastaA5.jar | YES 1947 | YES 1402 | YES 2039 |
| tpdb-8.0/JBC/Aprove_09/PastaA6.jar | YES 2056 | YES 1433 | YES 2127 |
| tpdb-8.0/JBC/Aprove_09/PastaA7.jar | YES 2116 | YES 1446 | YES 2121 |
| tpdb-8.0/JBC/Aprove_09/PastaA8.jar | YES 1952 | YES 1403 | YES 2035 |
| tpdb-8.0/JBC/Aprove_09/PastaA9.jar | YES 2491 | YES 2782 | YES 2084 |
| tpdb-8.0/JBC/Aprove_09/PastaB10.jar | YES 2111 | YES 1455 | YES 2119 |
| tpdb-8.0/JBC/Aprove_09/PastaB11.jar | YES 3091 | YES 1493 | YES 2285 |
| tpdb-8.0/JBC/Aprove_09/PastaB12.jar | YES 2127 | YES 1622 | YES 2131 |
| tpdb-8.0/JBC/Aprove_09/PastaB13.jar | YES 11389 | YES 2217 | YES 2171 |
| tpdb-8.0/JBC/Aprove_09/PastaB14.jar | YES 2001 | YES 1461 | YES 2106 |
| tpdb-8.0/JBC/Aprove_09/PastaB15.jar | YES 2226 | YES 1509 | YES 2162 |
| tpdb-8.0/JBC/Aprove_09/PastaB16.jar | YES 2094 | YES 1489 | YES 2123 |
| tpdb-8.0/JBC/Aprove_09/PastaB17.jar | YES 3127 | YES 1475 | YES 2262 |
| tpdb-8.0/JBC/Aprove_09/PastaB18.jar | YES 4377 | YES 1545 | YES 2170 |
| tpdb-8.0/JBC/Aprove_09/PastaB1.jar | YES 1933 | YES 1393 | YES 2089 |
| tpdb-8.0/JBC/Aprove_09/PastaB2.jar | YES 2005 | YES 1441 | YES 2018 |
| tpdb-8.0/JBC/Aprove_09/PastaB3.jar | YES 2364 | YES 2700 | YES 2065 |
| tpdb-8.0/JBC/Aprove_09/PastaB4.jar | YES 2053 | YES 1454 | YES 2039 |
| tpdb-8.0/JBC/Aprove_09/PastaB5.jar | YES 1748 | YES 1446 | YES 2156 |
| tpdb-8.0/JBC/Aprove_09/PastaB6.jar | YES 1938 | YES 1418 | YES 2018 |
| tpdb-8.0/JBC/Aprove_09/PastaB7.jar | YES 2232 | YES 1521 | YES 2101 |
| tpdb-8.0/JBC/Aprove_09/PastaB8.jar | YES 2908 | YES 3012 | YES 2416 |
| tpdb-8.0/JBC/Aprove_09/PastaC10.jar | YES 6279 | YES 1544 | YES 2162 |
| tpdb-8.0/JBC/Aprove_09/PastaC11.jar | YES 4088 | YES 1600 | YES 2196 |
| tpdb-8.0/JBC/Aprove_09/PastaC1.jar | YES 3569 | YES 2835 | YES 2307 |
| tpdb-8.0/JBC/Aprove_09/PastaC2.jar | YES 3689 | YES 1462 | YES 2243 |
| tpdb-8.0/JBC/Aprove_09/PastaC3.jar | YES 4893 | YES 3110 | YES 2256 |
| tpdb-8.0/JBC/Aprove_09/PastaC5.jar | MAYBE 30767 | YES 2898 | MAYBE 2245 |
| tpdb-8.0/JBC/Aprove_09/PastaC7.jar | YES 3734 | YES 1471 | YES 2119 |
| tpdb-8.0/JBC/Aprove_09/PastaC9.jar | YES 5761 | YES 1622 | YES 2247 |
| tpdb-8.0/JBC/Aprove_09/PlusSwap.jar | YES 2503 | MAYBE 4308 | YES 2158 |
| tpdb-8.0/JBC/Aprove_09/Round3.jar | YES 13004 | MAYBE 4132 | MAYBE 2140 |
| tpdb-8.0/JBC/Aprove_09/RunningPointers.jar | YES 2667 | YES 4308 | YES 2734 |
| tpdb-8.0/JBC/Aprove_09/Samefringe.jar | YES 27392 | MAYBE 27053 | MAYBE 7251 |
| tpdb-8.0/JBC/Aprove_09/Shuffle.jar | YES 5521 | MAYBE 7973 | YES 3535 |
| tpdb-8.0/JBC/Aprove_09/SortCount.jar | TIMEOUT 60443 | MAYBE 11771 | YES 4012 |
| tpdb-8.0/JBC/Aprove_09/StupidArray.jar | YES 2193 | YES 509 | YES 1923 |
| tpdb-8.0/JBC/Aprove_09/Take.jar | YES 3213 | YES 2217 | YES 2767 |
| tpdb-8.0/JBC/AProVE_10/AG313.jar | YES 2868 | YES 1358 | YES 2357 |
| tpdb-8.0/JBC/AProVE_10/ArrayClasses.jar | YES 1095 | MAYBE 6062 | MAYBE 2123 |
| tpdb-8.0/JBC/AProVE_10/CyclicList.jar | YES 6808 | YES 1813 | YES 2736 |
| tpdb-8.0/JBC/AProVE_10/CyclicPair2.jar | YES 1082 | MAYBE 6093 | MAYBE 2506 |
| tpdb-8.0/JBC/AProVE_10/CyclicPair.jar | YES 1058 | MAYBE 7312 | MAYBE 2332 |
| tpdb-8.0/JBC/AProVE_10/DuplicateTreePath.jar | YES 17640 | MAYBE 33113 | YES 4292 |
| tpdb-8.0/JBC/AProVE_10/FlattenRTA.jar | YES 23300 | TIMEOUT 60030 | MAYBE 6072 |
| tpdb-8.0/JBC/AProVE_10/IntPath2.jar | YES 1056 | MAYBE 4643 | YES 2000 |
| tpdb-8.0/JBC/AProVE_10/IntPath.jar | YES 1064 | MAYBE 4129 | YES 2074 |
| tpdb-8.0/JBC/AProVE_10/IntRTA.jar | YES 2279 | YES 4771 | MAYBE 2300 |
| tpdb-8.0/JBC/AProVE_10/NestedLoop.jar | YES 13516 | YES 2574 | YES 3199 |
| tpdb-8.0/JBC/AProVE_10/NullPair.jar | YES 1055 | MAYBE 5289 | YES 2086 |
| tpdb-8.0/JBC/AProVE_10/SharingPair.jar | YES 1209 | MAYBE 18928 | MAYBE 2772 |
| tpdb-8.0/JBC/AProVE_10/TypeSwitch.jar | YES 1092 | MAYBE 5240 | MAYBE 2555 |
| tpdb-8.0/JBC/AProVE_11_iterative/AlternatingGrowReduce2.jar | YES 6200 | MAYBE 9901 | MAYBE 2809 |
| tpdb-8.0/JBC/AProVE_11_iterative/AlternatingGrowReduce.jar | YES 12986 | MAYBE 12131 | MAYBE 3177 |
| tpdb-8.0/JBC/AProVE_11_iterative/ArrayObjects.jar | YES 996 | MAYBE 3838 | MAYBE 2169 |
| tpdb-8.0/JBC/AProVE_11_iterative/ArrayPrimitives.jar | YES 1180 | MAYBE 5854 | MAYBE 2374 |
| tpdb-8.0/JBC/AProVE_11_iterative/ClassAnalysis.jar | YES 2061 | MAYBE 5530 | MAYBE 2429 |
| tpdb-8.0/JBC/AProVE_11_iterative/CyclicAnalysis.jar | YES 2860 | MAYBE 6614 | MAYBE 3002 |
| tpdb-8.0/JBC/AProVE_11_iterative/RetVal.jar | YES 1073 | MAYBE 4308 | MAYBE 2246 |
| tpdb-8.0/JBC/AProVE_11_iterative/SharingAnalysis.jar | YES 6431 | MAYBE 7868 | MAYBE 2760 |
| tpdb-8.0/JBC/AProVE_11_iterative/TreeLeftmostDepth.jar | YES 15308 | MAYBE 20795 | MAYBE 4004 |
| tpdb-8.0/JBC/AProVE_11_iterative/TreeLeftmostPath.jar | YES 15650 | MAYBE 32069 | MAYBE 4620 |
| tpdb-8.0/JBC/Costa_Julia_09/Break.jar | YES 972 | YES 448 | YES 1956 |
| tpdb-8.0/JBC/Costa_Julia_09/BubbleSort.jar | YES 9008 | YES 1333 | YES 2580 |
| tpdb-8.0/JBC/Costa_Julia_09/Continue1.jar | YES 1062 | YES 480 | YES 1980 |
| tpdb-8.0/JBC/Costa_Julia_09/Continue.jar | MAYBE 6267 | MAYBE 1115 | NO 1924 |
| tpdb-8.0/JBC/Costa_Julia_09/costa09-example_1.jar | YES 3019 | YES 1647 | YES 2626 |
| tpdb-8.0/JBC/Costa_Julia_09/costa09-example_2.jar | YES 2383 | YES 1284 | YES 2369 |
| tpdb-8.0/JBC/Costa_Julia_09/costa09-example_3.jar | YES 1052 | YES 1227 | YES 1949 |
| tpdb-8.0/JBC/Costa_Julia_09/costa09-example_4.jar | YES 2038 | YES 1483 | YES 2458 |
| tpdb-8.0/JBC/Costa_Julia_09/costa09-example_5.jar | MAYBE 6335 | YES 1438 | MAYBE 2075 |
| tpdb-8.0/JBC/Costa_Julia_09/CyclicalListDuplicate.jar | TIMEOUT 60472 | MAYBE 11506 | MAYBE 3319 |
| tpdb-8.0/JBC/Costa_Julia_09/Diff.jar | YES 1688 | YES 2072 | YES 3815 |
| tpdb-8.0/JBC/Costa_Julia_09/Exc1.jar | TIMEOUT 60328 | MAYBE 1376 | MAYBE 1958 |
| tpdb-8.0/JBC/Costa_Julia_09/Exc2.jar | TIMEOUT 60283 | MAYBE 1190 | MAYBE 1974 |
| tpdb-8.0/JBC/Costa_Julia_09/Exc3.jar | YES 1234 | YES 550 | YES 2000 |
| tpdb-8.0/JBC/Costa_Julia_09/Exc4.jar | TIMEOUT 60241 | MAYBE 1192 | MAYBE 1983 |
| tpdb-8.0/JBC/Costa_Julia_09/Exc5.jar | YES 1211 | YES 493 | YES 2117 |
| tpdb-8.0/JBC/Costa_Julia_09/Exc.jar | YES 1073 | YES 526 | YES 2072 |
| tpdb-8.0/JBC/Costa_Julia_09/Init.jar | MAYBE 6270 | MAYBE 4051 | MAYBE 2075 |
| tpdb-8.0/JBC/Costa_Julia_09/KnapsackDP.jar | YES 22491 | YES 36328 | YES 18125 |
| tpdb-8.0/JBC/Costa_Julia_09/LinkedList.jar | YES 12844 | MAYBE 15212 | YES 4062 |
| tpdb-8.0/JBC/Costa_Julia_09/Loop1.jar | YES 1731 | YES 504 | YES 1964 |
| tpdb-8.0/JBC/Costa_Julia_09/Nested.jar | YES 1609 | YES 484 | YES 2021 |
| tpdb-8.0/JBC/Costa_Julia_09/Sequence.jar | YES 1484 | YES 471 | YES 2175 |
| tpdb-8.0/JBC/Costa_Julia_09/Sharing.jar | YES 1089 | YES 1812 | YES 3059 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateGet.jar | YES 20743 | MAYBE 629 | YES 4353 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreate.jar | YES 11391 | MAYBE 631 | YES 3918 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateRemove.jar | YES 21819 | MAYBE 631 | YES 4451 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateSize.jar | YES 10905 | MAYBE 1439 | YES 3914 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateToArray.jar | YES 28494 | MAYBE 1426 | YES 4159 |
| tpdb-8.0/JBC/Julia_10_Iterative/Carre.jar | YES 8035 | YES 10497 | YES 4026 |
| tpdb-8.0/JBC/Julia_10_Iterative/Gauss.jar | TIMEOUT 60740 | TIMEOUT 60032 | YES 16505 |
| tpdb-8.0/JBC/Julia_10_Iterative/Graph.jar | TIMEOUT 60752 | TIMEOUT 60033 | YES 25488 |
| tpdb-8.0/JBC/Julia_10_Iterative/Infix2Postfix.jar | YES 29769 | YES 18697 | YES 8880 |
| tpdb-8.0/JBC/Julia_10_Iterative/Iterations.jar | TIMEOUT 60574 | YES 1015 | YES 16196 |
| tpdb-8.0/JBC/Julia_10_Iterative/NonPeriodic.jar | YES 996 | MAYBE 4298 | YES 2181 |
| tpdb-8.0/JBC/Julia_10_Iterative/RSA.jar | TIMEOUT 60712 | TIMEOUT 60033 | YES 29644 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test11.jar | YES 6972 | YES 1640 | YES 3107 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test13Loops.jar | MAYBE 6309 | YES 1436 | MAYBE 2790 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test2.jar | YES 7084 | YES 774 | YES 3523 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test3.jar | YES 27787 | YES 13985 | YES 5504 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test5.jar | TIMEOUT 60475 | YES 35959 | YES 27915 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test7.jar | YES 14276 | MAYBE 13514 | YES 3773 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test9.jar | YES 6417 | MAYBE 2483 | YES 3164 |
| tpdb-8.0/JBC/Julia_10_Iterative/TriTas.jar | YES 14182 | YES 28990 | YES 6307 |
| tpdb-8.0/JBC/Julia_11_iterative/Choose.jar | MAYBE 30193 | MAYBE 1140 | NO 1877 |
| tpdb-8.0/JBC/Julia_11_iterative/ChooseLife.jar | MAYBE 29101 | MAYBE 4571 | NO 2031 |
| tpdb-8.0/JBC/Julia_11_iterative/Continue.jar | MAYBE 6279 | MAYBE 1160 | NO 1927 |
| tpdb-8.0/JBC/Julia_11_iterative/Distances.jar | TIMEOUT 60752 | YES 4790 | YES 49710 |
| tpdb-8.0/JBC/Julia_11_iterative/Loop.jar | MAYBE 6224 | MAYBE 1109 | NO 1969 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_00.jar | MAYBE 6221 | YES 815 | NO 1885 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_01.jar | MAYBE 6323 | YES 459 | NO 2008 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_02.jar | MAYBE 6169 | YES 454 | NO 1929 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_03.jar | MAYBE 6337 | YES 448 | NO 1896 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_04.jar | MAYBE 6263 | YES 514 | NO 2793 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_05.jar | MAYBE 6470 | YES 457 | NO 2009 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_06.jar | MAYBE 6213 | YES 454 | NO 1958 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_10.jar | TIMEOUT 60255 | YES 446 | NO 1891 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_11.jar | TIMEOUT 60316 | YES 441 | NO 1941 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_12.jar | TIMEOUT 60282 | YES 439 | NO 1972 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_13.jar | TIMEOUT 60379 | YES 450 | NO 1973 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_20.jar | MAYBE 6208 | YES 425 | NO 1877 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_21.jar | MAYBE 6338 | YES 428 | NO 1922 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_22.jar | TIMEOUT 60421 | YES 431 | NO 1896 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_23.jar | TIMEOUT 60422 | YES 433 | NO 1950 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_24.jar | TIMEOUT 60302 | YES 473 | NO 1990 |
| tpdb-8.0/JBC/Julia_11_iterative/Swingers.jar | TIMEOUT 60382 | MAYBE 1172 | NO 2206 |
| tpdb-8.0/JBC/Julia_11_iterative/TaylorSeriesIte.jar | TIMEOUT 60955 | YES 2446 | YES 7519 | 125 | 97 | 124 |