| benchmark | AProVE | Julia13 |
|---|---|---|
| tpdb-8.0/JBC/Aprove_09/AProVEMath.jar | YES 2871 | YES 4827 |
| tpdb-8.0/JBC/Aprove_09/Collatz.jar | MAYBE 10618 | MAYBE 8276 |
| tpdb-8.0/JBC/Aprove_09/Convert.jar | YES 6788 | YES 4182 |
| tpdb-8.0/JBC/Aprove_09/Count.jar | YES 8939 | MAYBE 11970 |
| tpdb-8.0/JBC/Aprove_09/CountMetaList.jar | YES 4594 | MAYBE 6771 |
| tpdb-8.0/JBC/Aprove_09/CountUpRound.jar | YES 2581 | YES 3041 |
| tpdb-8.0/JBC/Aprove_09/DivMinus2.jar | YES 3202 | YES 3337 |
| tpdb-8.0/JBC/Aprove_09/DivMinus.jar | YES 2598 | YES 4398 |
| tpdb-8.0/JBC/Aprove_09/DivWithoutMinus.jar | YES 2746 | YES 3552 |
| tpdb-8.0/JBC/Aprove_09/Duplicate.jar | YES 2385 | YES 2991 |
| tpdb-8.0/JBC/Aprove_09/DuplicateNodes.jar | YES 10864 | YES 5834 |
| tpdb-8.0/JBC/Aprove_09/Flatten.jar | YES 9976 | MAYBE 8767 |
| tpdb-8.0/JBC/Aprove_09/FlattenTree.jar | YES 8371 | MAYBE 8501 |
| tpdb-8.0/JBC/Aprove_09/GCD2.jar | YES 2780 | MAYBE 3271 |
| tpdb-8.0/JBC/Aprove_09/GCD3.jar | YES 2693 | MAYBE 3243 |
| tpdb-8.0/JBC/Aprove_09/GCD4.jar | YES 2641 | MAYBE 3244 |
| tpdb-8.0/JBC/Aprove_09/GCD5.jar | YES 2404 | YES 3095 |
| tpdb-8.0/JBC/Aprove_09/GCD.jar | YES 2936 | MAYBE 3225 |
| tpdb-8.0/JBC/Aprove_09/LessLeaves.jar | TIMEOUT 60311 | MAYBE 4379 |
| tpdb-8.0/JBC/Aprove_09/ListContentArbitrary.jar | YES 3918 | YES 4072 |
| tpdb-8.0/JBC/Aprove_09/ListContent.jar | YES 3417 | YES 4873 |
| tpdb-8.0/JBC/Aprove_09/ListContentTail.jar | YES 4165 | YES 4122 |
| tpdb-8.0/JBC/Aprove_09/ListDuplicate.jar | YES 3428 | YES 5554 |
| tpdb-8.0/JBC/Aprove_09/LogAG.jar | YES 9935 | MAYBE 3146 |
| tpdb-8.0/JBC/Aprove_09/LogBuiltIn.jar | YES 2377 | YES 3115 |
| tpdb-8.0/JBC/Aprove_09/LogIterative.jar | YES 2587 | YES 3223 |
| tpdb-8.0/JBC/Aprove_09/Log.jar | YES 9045 | MAYBE 3160 |
| tpdb-8.0/JBC/Aprove_09/LogMult.jar | YES 2319 | YES 3314 |
| tpdb-8.0/JBC/Aprove_09/McCarthyIterative.jar | YES 2533 | MAYBE 3312 |
| tpdb-8.0/JBC/Aprove_09/MinusBuiltIn.jar | YES 2573 | YES 2994 |
| tpdb-8.0/JBC/Aprove_09/MinusMin.jar | YES 2647 | YES 3127 |
| tpdb-8.0/JBC/Aprove_09/MinusUserDefined.jar | TIMEOUT 60451 | MAYBE 3193 |
| tpdb-8.0/JBC/Aprove_09/MirrorTree.jar | YES 9517 | MAYBE 5421 |
| tpdb-8.0/JBC/Aprove_09/Mod.jar | YES 3083 | YES 48569 |
| tpdb-8.0/JBC/Aprove_09/Overflow.jar | YES 2296 | MAYBE 2970 |
| tpdb-8.0/JBC/Aprove_09/PastaA10.jar | YES 6211 | YES 3126 |
| tpdb-8.0/JBC/Aprove_09/PastaA1.jar | YES 2490 | YES 3105 |
| tpdb-8.0/JBC/Aprove_09/PastaA4.jar | YES 2438 | YES 2959 |
| tpdb-8.0/JBC/Aprove_09/PastaA5.jar | YES 2505 | YES 2993 |
| tpdb-8.0/JBC/Aprove_09/PastaA6.jar | YES 2523 | YES 2994 |
| tpdb-8.0/JBC/Aprove_09/PastaA7.jar | YES 2494 | YES 5052 |
| tpdb-8.0/JBC/Aprove_09/PastaA8.jar | YES 2684 | YES 2971 |
| tpdb-8.0/JBC/Aprove_09/PastaA9.jar | YES 2479 | YES 4240 |
| tpdb-8.0/JBC/Aprove_09/PastaB10.jar | YES 2485 | YES 3041 |
| tpdb-8.0/JBC/Aprove_09/PastaB11.jar | YES 3123 | YES 3079 |
| tpdb-8.0/JBC/Aprove_09/PastaB12.jar | YES 2636 | YES 3231 |
| tpdb-8.0/JBC/Aprove_09/PastaB13.jar | YES 3024 | YES 3224 |
| tpdb-8.0/JBC/Aprove_09/PastaB14.jar | YES 2597 | YES 3048 |
| tpdb-8.0/JBC/Aprove_09/PastaB15.jar | YES 2966 | YES 3114 |
| tpdb-8.0/JBC/Aprove_09/PastaB16.jar | YES 2801 | YES 3024 |
| tpdb-8.0/JBC/Aprove_09/PastaB17.jar | YES 2691 | YES 3120 |
| tpdb-8.0/JBC/Aprove_09/PastaB18.jar | YES 2716 | YES 3087 |
| tpdb-8.0/JBC/Aprove_09/PastaB1.jar | YES 2461 | YES 2963 |
| tpdb-8.0/JBC/Aprove_09/PastaB2.jar | YES 2464 | YES 3897 |
| tpdb-8.0/JBC/Aprove_09/PastaB3.jar | YES 2211 | YES 3052 |
| tpdb-8.0/JBC/Aprove_09/PastaB4.jar | YES 2133 | YES 2973 |
| tpdb-8.0/JBC/Aprove_09/PastaB5.jar | YES 2227 | YES 2966 |
| tpdb-8.0/JBC/Aprove_09/PastaB6.jar | YES 2289 | YES 3051 |
| tpdb-8.0/JBC/Aprove_09/PastaB7.jar | YES 2579 | YES 3235 |
| tpdb-8.0/JBC/Aprove_09/PastaB8.jar | YES 2611 | YES 3173 |
| tpdb-8.0/JBC/Aprove_09/PastaC10.jar | YES 4169 | YES 3155 |
| tpdb-8.0/JBC/Aprove_09/PastaC11.jar | YES 3144 | YES 3177 |
| tpdb-8.0/JBC/Aprove_09/PastaC1.jar | YES 2832 | YES 3173 |
| tpdb-8.0/JBC/Aprove_09/PastaC2.jar | YES 2669 | YES 3334 |
| tpdb-8.0/JBC/Aprove_09/PastaC3.jar | YES 2840 | YES 4372 |
| tpdb-8.0/JBC/Aprove_09/PastaC5.jar | YES 2599 | MAYBE 3189 |
| tpdb-8.0/JBC/Aprove_09/PastaC7.jar | YES 2611 | YES 3141 |
| tpdb-8.0/JBC/Aprove_09/PastaC9.jar | YES 3589 | YES 4315 |
| tpdb-8.0/JBC/Aprove_09/PlusSwap.jar | YES 2485 | YES 3073 |
| tpdb-8.0/JBC/Aprove_09/Round3.jar | YES 2332 | MAYBE 2992 |
| tpdb-8.0/JBC/Aprove_09/RunningPointers.jar | YES 2914 | YES 3750 |
| tpdb-8.0/JBC/Aprove_09/Samefringe.jar | YES 11489 | MAYBE 10584 |
| tpdb-8.0/JBC/Aprove_09/Shuffle.jar | YES 4699 | YES 4826 |
| tpdb-8.0/JBC/Aprove_09/SortCount.jar | TIMEOUT 60508 | YES 5417 |
| tpdb-8.0/JBC/Aprove_09/StupidArray.jar | YES 2513 | YES 2994 |
| tpdb-8.0/JBC/Aprove_09/Take.jar | YES 2701 | YES 3827 |
| tpdb-8.0/JBC/AProVE_10/AG313.jar | YES 2337 | YES 44152 |
| tpdb-8.0/JBC/AProVE_10/ArrayClasses.jar | YES 1643 | MAYBE 3232 |
| tpdb-8.0/JBC/AProVE_10/CyclicList.jar | YES 2688 | YES 49036 |
| tpdb-8.0/JBC/AProVE_10/CyclicPair2.jar | YES 1626 | MAYBE 3588 |
| tpdb-8.0/JBC/AProVE_10/CyclicPair.jar | YES 1627 | MAYBE 3324 |
| tpdb-8.0/JBC/AProVE_10/DuplicateTreePath.jar | YES 8977 | YES 5147 |
| tpdb-8.0/JBC/AProVE_10/FlattenRTA.jar | YES 11507 | MAYBE 6744 |
| tpdb-8.0/JBC/AProVE_10/IntPath2.jar | YES 1570 | YES 3020 |
| tpdb-8.0/JBC/AProVE_10/IntPath.jar | YES 1572 | YES 3885 |
| tpdb-8.0/JBC/AProVE_10/IntRTA.jar | YES 2706 | MAYBE 3096 |
| tpdb-8.0/JBC/AProVE_10/NestedLoop.jar | YES 4802 | YES 4265 |
| tpdb-8.0/JBC/AProVE_10/NullPair.jar | YES 1593 | YES 3068 |
| tpdb-8.0/JBC/AProVE_10/SharingPair.jar | YES 1836 | MAYBE 3944 |
| tpdb-8.0/JBC/AProVE_10/TypeSwitch.jar | YES 1589 | MAYBE 3524 |
| tpdb-8.0/JBC/AProVE_11_iterative/AlternatingGrowReduce2.jar | YES 3174 | MAYBE 3937 |
| tpdb-8.0/JBC/AProVE_11_iterative/AlternatingGrowReduce.jar | YES 4324 | TIMEOUT 60039 |
| tpdb-8.0/JBC/AProVE_11_iterative/ArrayObjects.jar | YES 1483 | MAYBE 3065 |
| tpdb-8.0/JBC/AProVE_11_iterative/ArrayPrimitives.jar | YES 1831 | MAYBE 3301 |
| tpdb-8.0/JBC/AProVE_11_iterative/ClassAnalysis.jar | YES 2278 | MAYBE 3640 |
| tpdb-8.0/JBC/AProVE_11_iterative/CyclicAnalysis.jar | YES 3100 | MAYBE 4370 |
| tpdb-8.0/JBC/AProVE_11_iterative/RetVal.jar | YES 1595 | MAYBE 3977 |
| tpdb-8.0/JBC/AProVE_11_iterative/SharingAnalysis.jar | YES 2829 | MAYBE 5475 |
| tpdb-8.0/JBC/AProVE_11_iterative/TreeLeftmostDepth.jar | YES 8051 | MAYBE 4390 |
| tpdb-8.0/JBC/AProVE_11_iterative/TreeLeftmostPath.jar | YES 8055 | TIMEOUT 60037 |
| tpdb-8.0/JBC/BMOG_CAV_12/AProVE12-cyclic-Iterate.jar | YES 2745 | MAYBE 3765 |
| tpdb-8.0/JBC/BMOG_CAV_12/AProVE12-cyclic-Length.jar | YES 2716 | MAYBE 48091 |
| tpdb-8.0/JBC/BMOG_CAV_12/AProVE12-cyclic-Visit.jar | YES 3082 | MAYBE 3921 |
| tpdb-8.0/JBC/BMOG_CAV_12/ListReverseAcyclicList.jar | YES 2562 | MAYBE 49261 |
| tpdb-8.0/JBC/BMOG_CAV_12/ListReverseCyclicList.jar | YES 3624 | MAYBE 49020 |
| tpdb-8.0/JBC/BMOG_CAV_12/ListReversePanhandleList.jar | YES 4070 | MAYBE 47951 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/LoopingNonterm.jar | NO 2119 | NO 3323 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/NonPeriodicNonterm2.jar | NO 2515 | MAYBE 44590 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-alternatingIncr.jar | NO 2356 | MAYBE 3026 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-alternDiv.jar | NO 1981 | NO 3717 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-alternDivWide.jar | NO 4801 | NO 4855 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-alternDivWidening.jar | NO 2187 | NO 4265 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-alternKonv.jar | NO 2321 | NO 6743 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-collatz.jar | MAYBE 9682 | MAYBE 3287 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-complInterv2.jar | NO 1734 | NO 4421 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-complInterv3.jar | NO 1833 | NO 4698 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-complInterv.jar | NO 1910 | MAYBE 3883 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-complxStruc.jar | NO 3630 | MAYBE 50866 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-convLower.jar | NO 1683 | NO 3356 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-cousot.jar | NO 2343 | NO 4130 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-doubleNeg.jar | TIMEOUT 60929 | MAYBE 5080 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-even.jar | NO 2692 | MAYBE 3297 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-ex01.jar | NO 2349 | MAYBE 3231 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-ex02.jar | NO 1666 | NO 3430 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-ex03.jar | NO 2271 | MAYBE 3257 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-ex04.jar | NO 1771 | NO 2877 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-ex05.jar | NO 1650 | NO 2901 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-ex06.jar | NO 2569 | MAYBE 4244 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-ex07.jar | NO 2233 | MAYBE 3227 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-ex08.jar | NO 2523 | MAYBE 45404 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-ex09half.jar | NO 1874 | MAYBE 3211 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-factorial.jar | NO 2234 | MAYBE 3270 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-fib.jar | NO 2196 | MAYBE 7281 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-flip2.jar | NO 2886 | NO 11930 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-flip.jar | NO 2313 | NO 4452 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-gauss.jar | NO 2960 | MAYBE 3326 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-gcd.jar | MAYBE 37338 | MAYBE 4815 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-lcm.jar | NO 4964 | MAYBE 4643 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-marbie1.jar | NO 1821 | NO 3105 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-marbie2.jar | NO 1715 | NO 4858 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-middle.jar | NO 2576 | NO 3875 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-mirrorInterv.jar | NO 3794 | MAYBE 3518 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-mirrorIntervSim.jar | NO 2146 | NO 3663 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-moduloLower.jar | NO 1691 | MAYBE 3028 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-moduloUp.jar | NO 2329 | MAYBE 3044 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-narrowing.jar | NO 11412 | MAYBE 55103 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-narrowKonv.jar | NO 2457 | MAYBE 48076 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-plait.jar | NO 5111 | TIMEOUT 60035 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-sunset.jar | NO 2351 | MAYBE 47622 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-trueDiv.jar | NO 1925 | NO 3174 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-twoFloatInterv.jar | NO 2096 | MAYBE 3274 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-upAndDownIneq.jar | NO 2446 | YES 48076 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-upAndDown.jar | NO 2390 | MAYBE 46364 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-whileBreak.jar | NO 2317 | NO 3513 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-whileDecr.jar | YES 2157 | YES 51385 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-whileIncr.jar | NO 1820 | NO 3081 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-whileIncrPart.jar | NO 1940 | NO 3304 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-whileNested.jar | NO 2070 | NO 3418 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-whileNestedOffset.jar | NO 2046 | NO 3561 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-whilePart.jar | NO 1692 | NO 3221 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-whileSingle.jar | NO 1670 | NO 3461 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-whileSum.jar | NO 2362 | MAYBE 3962 |
| tpdb-8.0/JBC/BSOG_FoVeOOS_11/Velroyen08-whileTrue.jar | NO 1699 | NO 3010 |
| tpdb-8.0/JBC/Costa_Julia_09/Break.jar | YES 1484 | YES 46468 |
| tpdb-8.0/JBC/Costa_Julia_09/BubbleSort.jar | YES 5188 | YES 4811 |
| tpdb-8.0/JBC/Costa_Julia_09/Continue1.jar | YES 1560 | YES 44978 |
| tpdb-8.0/JBC/Costa_Julia_09/Continue.jar | NO 1635 | NO 3080 |
| tpdb-8.0/JBC/Costa_Julia_09/costa09-example_1.jar | YES 3184 | YES 5758 |
| tpdb-8.0/JBC/Costa_Julia_09/costa09-example_2.jar | YES 2412 | YES 3253 |
| tpdb-8.0/JBC/Costa_Julia_09/costa09-example_3.jar | YES 1549 | YES 2980 |
| tpdb-8.0/JBC/Costa_Julia_09/costa09-example_4.jar | YES 1860 | YES 3626 |
| tpdb-8.0/JBC/Costa_Julia_09/costa09-example_5.jar | NO 1803 | MAYBE 2918 |
| tpdb-8.0/JBC/Costa_Julia_09/CyclicalListDuplicate.jar | NO 2413 | MAYBE 53391 |
| tpdb-8.0/JBC/Costa_Julia_09/Diff.jar | YES 1970 | YES 5454 |
| tpdb-8.0/JBC/Costa_Julia_09/Exc1.jar | NO 2675 | MAYBE 45399 |
| tpdb-8.0/JBC/Costa_Julia_09/Exc2.jar | NO 1977 | MAYBE 45447 |
| tpdb-8.0/JBC/Costa_Julia_09/Exc3.jar | YES 1947 | YES 45456 |
| tpdb-8.0/JBC/Costa_Julia_09/Exc4.jar | NO 2019 | MAYBE 45904 |
| tpdb-8.0/JBC/Costa_Julia_09/Exc5.jar | YES 1849 | YES 45863 |
| tpdb-8.0/JBC/Costa_Julia_09/Exc.jar | YES 1519 | YES 44840 |
| tpdb-8.0/JBC/Costa_Julia_09/Init.jar | NO 1730 | NO 3069 |
| tpdb-8.0/JBC/Costa_Julia_09/KnapsackDP.jar | TIMEOUT 60859 | YES 20416 |
| tpdb-8.0/JBC/Costa_Julia_09/LinkedList.jar | YES 7509 | TIMEOUT 60037 |
| tpdb-8.0/JBC/Costa_Julia_09/Loop1.jar | YES 2207 | YES 54728 |
| tpdb-8.0/JBC/Costa_Julia_09/Nested.jar | YES 2012 | YES 45521 |
| tpdb-8.0/JBC/Costa_Julia_09/Sequence.jar | YES 1853 | YES 44817 |
| tpdb-8.0/JBC/Costa_Julia_09/Sharing.jar | YES 1550 | YES 4716 |
| tpdb-8.0/JBC/Fuhs_13/Kernel68.jar | YES 8331 | MAYBE 49859 |
| tpdb-8.0/JBC/Fuhs_13/Kernel88.jar | YES 4591 | MAYBE 50224 |
| tpdb-8.0/JBC/Fuhs_13/Kernel93.jar | YES 9090 | MAYBE 50193 |
| tpdb-8.0/JBC/Fuhs_13/Kernel95.jar | YES 4989 | MAYBE 50173 |
| tpdb-8.0/JBC/Fuhs_13/MultiLasso.jar | TIMEOUT 60405 | MAYBE 52908 |
| tpdb-8.0/JBC/Fuhs_13/RandomHard.jar | MAYBE 14532 | TIMEOUT 60039 |
| tpdb-8.0/JBC/Fuhs_13/UnionFindIterative.jar | TIMEOUT 60393 | MAYBE 3470 |
| tpdb-8.0/JBC/Java_Util/juHashMapCreateClear.jar | YES 16783 | MAYBE 14861 |
| tpdb-8.0/JBC/Java_Util/juHashMapCreateContainsKey.jar | YES 16702 | MAYBE 14029 |
| tpdb-8.0/JBC/Java_Util/juHashMapCreateContainsValue.jar | YES 17882 | MAYBE 15363 |
| tpdb-8.0/JBC/Java_Util/juHashMapCreateEquals.jar | MAYBE 10709 | MAYBE 32599 |
| tpdb-8.0/JBC/Java_Util/juHashMapCreateGet.jar | YES 17699 | TIMEOUT 60037 |
| tpdb-8.0/JBC/Java_Util/juHashMapCreateHashCode.jar | MAYBE 5375 | MAYBE 15653 |
| tpdb-8.0/JBC/Java_Util/juHashMapCreateIsEmpty.jar | YES 16285 | MAYBE 12987 |
| tpdb-8.0/JBC/Java_Util/juHashMapCreateIteratorEntryLoop.jar | YES 19269 | MAYBE 15587 |
| tpdb-8.0/JBC/Java_Util/juHashMapCreateIteratorKeyLoop.jar | YES 19032 | MAYBE 16433 |
| tpdb-8.0/JBC/Java_Util/juHashMapCreateIteratorValueLoop.jar | YES 19637 | MAYBE 14899 |
| tpdb-8.0/JBC/Java_Util/juHashMapCreate.jar | YES 16294 | MAYBE 12719 |
| tpdb-8.0/JBC/Java_Util/juHashMapCreatePutAll.jar | MAYBE 13188 | MAYBE 14567 |
| tpdb-8.0/JBC/Java_Util/juHashMapCreatePut.jar | YES 16908 | MAYBE 19059 |
| tpdb-8.0/JBC/Java_Util/juHashMapCreateRemove.jar | YES 17179 | MAYBE 17142 |
| tpdb-8.0/JBC/Java_Util/juHashMapCreateSize.jar | YES 16047 | MAYBE 19986 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateAddAllAt.jar | YES 48672 | MAYBE 11377 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateAddAll.jar | TIMEOUT 60608 | MAYBE 8956 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateAddAt.jar | YES 19630 | YES 6326 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateAddFirst.jar | YES 13274 | YES 5882 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateAdd.jar | YES 13150 | YES 6011 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateAddLast.jar | YES 12901 | YES 6049 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateClear.jar | YES 11830 | MAYBE 6070 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateContainsAll.jar | TIMEOUT 60336 | MAYBE 10170 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateContains.jar | YES 30660 | MAYBE 6852 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateDescendingIteratorLoop.jar | YES 22802 | MAYBE 9849 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateElement.jar | YES 10471 | YES 5912 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateEquals.jar | YES 40906 | MAYBE 15985 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateGetFirst.jar | YES 10392 | YES 6090 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateGet.jar | YES 8710 | YES 6147 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateGetLast.jar | YES 10457 | YES 5904 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateHashCode.jar | MAYBE 8428 | YES 10107 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateIndexOf.jar | YES 30933 | MAYBE 13051 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateIsEmpty.jar | YES 10212 | YES 5874 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateIteratorLoop.jar | YES 18323 | YES 8656 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreate.jar | YES 7892 | YES 7843 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateLastIndexOf.jar | YES 26469 | MAYBE 6669 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateListIteratorLoop.jar | YES 17998 | YES 8724 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateOfferFirst.jar | YES 12823 | YES 6044 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateOffer.jar | YES 13122 | YES 5946 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateOfferLast.jar | YES 13183 | TIMEOUT 60035 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreatePeekFirst.jar | YES 10450 | YES 5982 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreatePeek.jar | YES 10472 | YES 5811 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreatePeekLast.jar | YES 10615 | YES 5878 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreatePollFirst.jar | YES 12799 | YES 7619 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreatePoll.jar | YES 12749 | YES 6249 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreatePollLast.jar | YES 14879 | YES 6125 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreatePop.jar | YES 12660 | YES 6096 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreatePush.jar | YES 12893 | YES 6165 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateRemoveAll.jar | TIMEOUT 60437 | MAYBE 12220 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateRemoveAt.jar | YES 20523 | YES 6649 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateRemoveElement.jar | YES 29007 | MAYBE 11978 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateRemoveFirst.jar | YES 12795 | YES 5980 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateRemoveFirstOccurrence.jar | YES 28416 | MAYBE 7036 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateRemove.jar | YES 15045 | YES 6311 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateRemoveLast.jar | YES 14569 | YES 6388 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateRemoveLastOccurrence.jar | YES 29769 | MAYBE 6980 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateRemoveRange.jar | YES 38102 | YES 10207 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateRetainAll.jar | TIMEOUT 60372 | MAYBE 12522 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateSet.jar | YES 12073 | YES 6384 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateSize.jar | YES 7773 | YES 5924 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateSubList.jar | YES 11338 | YES 6919 |
| tpdb-8.0/JBC/Java_Util/juLinkedListCreateToArray.jar | YES 9866 | YES 6180 |
| tpdb-8.0/JBC/Julia_10_Iterative/Carre.jar | YES 6245 | YES 5757 |
| tpdb-8.0/JBC/Julia_10_Iterative/Gauss.jar | TIMEOUT 60698 | YES 18810 |
| tpdb-8.0/JBC/Julia_10_Iterative/Graph.jar | TIMEOUT 60528 | TIMEOUT 60037 |
| tpdb-8.0/JBC/Julia_10_Iterative/Infix2Postfix.jar | YES 15934 | YES 55291 |
| tpdb-8.0/JBC/Julia_10_Iterative/Iterations.jar | YES 6054 | YES 50563 |
| tpdb-8.0/JBC/Julia_10_Iterative/NonPeriodic.jar | YES 1551 | YES 43291 |
| tpdb-8.0/JBC/Julia_10_Iterative/RSA.jar | YES 18277 | YES 32371 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test11.jar | YES 7562 | YES 4112 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test13Loops.jar | NO 2586 | MAYBE 4098 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test2.jar | YES 3581 | TIMEOUT 60038 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test3.jar | YES 29056 | YES 6311 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test5.jar | YES 8256 | YES 10003 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test7.jar | YES 7989 | YES 5010 |
| tpdb-8.0/JBC/Julia_10_Iterative/Test9.jar | YES 3311 | YES 3896 |
| tpdb-8.0/JBC/Julia_10_Iterative/TriTas.jar | YES 12133 | YES 8240 |
| tpdb-8.0/JBC/Julia_11_iterative/Choose.jar | NO 1930 | NO 13443 |
| tpdb-8.0/JBC/Julia_11_iterative/ChooseLife.jar | NO 3802 | NO 3728 |
| tpdb-8.0/JBC/Julia_11_iterative/Continue.jar | NO 1611 | NO 3071 |
| tpdb-8.0/JBC/Julia_11_iterative/Distances.jar | TIMEOUT 60924 | TIMEOUT 60038 |
| tpdb-8.0/JBC/Julia_11_iterative/Loop.jar | NO 1629 | NO 3047 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_00.jar | NO 1592 | NO 7946 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_01.jar | NO 1699 | NO 3459 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_02.jar | NO 1642 | NO 3062 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_03.jar | NO 1786 | NO 3163 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_04.jar | NO 1986 | NO 5763 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_05.jar | NO 15066 | MAYBE 45493 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_06.jar | NO 1674 | NO 3247 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_10.jar | NO 1853 | NO 3101 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_11.jar | NO 2333 | MAYBE 45499 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_12.jar | NO 2107 | NO 4181 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_13.jar | NO 5836 | MAYBE 44892 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_20.jar | NO 1535 | NO 2842 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_21.jar | NO 1606 | NO 2855 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_22.jar | NO 7496 | MAYBE 44424 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_23.jar | NO 3496 | NO 4325 |
| tpdb-8.0/JBC/Julia_11_iterative/NO_24.jar | NO 1954 | NO 3130 |
| tpdb-8.0/JBC/Julia_11_iterative/Swingers.jar | NO 1749 | NO 3107 |
| tpdb-8.0/JBC/Julia_11_iterative/TaylorSeriesIte.jar | YES 7419 | YES 6180 |
| tpdb-8.0/JBC/Julia_12_iterative/Et1.jar | YES 2588 | YES 3045 |
| tpdb-8.0/JBC/Julia_12_iterative/Et2.jar | YES 5550 | YES 3236 |
| tpdb-8.0/JBC/Julia_12_iterative/Et3.jar | YES 3045 | YES 3051 |
| tpdb-8.0/JBC/Julia_12_iterative/Et4.jar | YES 6365 | YES 3359 |
| tpdb-8.0/JBC/Julia_12_iterative/Et5.jar | YES 11294 | YES 4384 |
| tpdb-8.0/JBC/Julia_12_iterative/Et6.jar | TIMEOUT 60781 | YES 6646 | 277 | 179 |