TermComp 2020: Java_Bytecode 41524 Job info CSV Showing results.

benchmark AProVE standard
BSOG_FoVeOOS_11/Velroyen08-upAndDownIneq.jar 11762898 s NO 6.88/2.85
BSOG_FoVeOOS_11/Velroyen08-alternKonv.jar 11762899 s NO 7.05/2.78
BSOG_FoVeOOS_11/Velroyen08-whileNested.jar 11762900 s NO 5.25/2.35
BSOG_FoVeOOS_11/Velroyen08-moduloLower.jar 11762901 s NO 5.50/2.47
BSOG_FoVeOOS_11/Velroyen08-ex08.jar 11762902 s NO 7.58/2.87
BSOG_FoVeOOS_11/Velroyen08-ex06.jar 11762903 s NO 5.37/2.32
BSOG_FoVeOOS_11/Velroyen08-convLower.jar 11762904 s NO 4.45/2.06
BSOG_FoVeOOS_11/Velroyen08-ex01.jar 11762905 s NO 5.88/2.45
BSOG_FoVeOOS_11/Velroyen08-plait.jar 11762906 s NO 9.68/3.62
BSOG_FoVeOOS_11/Velroyen08-gauss.jar 11762907 s NO 6.47/2.71
BSOG_FoVeOOS_11/Velroyen08-whileSum.jar 11762908 u timeout (wallclock)
BSOG_FoVeOOS_11/Velroyen08-flip2.jar 11762909 s NO 5.89/2.45
BSOG_FoVeOOS_11/Velroyen08-alternDivWidening.jar 11762910 s NO 12.82/4.58
BSOG_FoVeOOS_11/Velroyen08-marbie1.jar 11762911 s NO 4.62/2.30
BSOG_FoVeOOS_11/Velroyen08-collatz.jar 11762912 u timeout (wallclock)
BSOG_FoVeOOS_11/Velroyen08-gcd.jar 11762913 u timeout (wallclock)
BSOG_FoVeOOS_11/Velroyen08-alternatingIncr.jar 11762914 u timeout (wallclock)
BSOG_FoVeOOS_11/Velroyen08-mirrorIntervSim.jar 11762915 s NO 5.39/2.40
BSOG_FoVeOOS_11/LoopingNonterm.jar 11762916 s NO 4.88/2.36
BSOG_FoVeOOS_11/Velroyen08-factorial.jar 11762917 s NO 6.65/2.84
BSOG_FoVeOOS_11/Velroyen08-cousot.jar 11762918 s NO 5.85/2.55
BSOG_FoVeOOS_11/Velroyen08-ex07.jar 11762919 s NO 6.28/2.59
BSOG_FoVeOOS_11/Velroyen08-whileNestedOffset.jar 11762920 s NO 6.20/2.68
BSOG_FoVeOOS_11/Velroyen08-whileIncrPart.jar 11762921 s NO 5.30/2.45
BSOG_FoVeOOS_11/Velroyen08-moduloUp.jar 11762922 s NO 5.20/2.28
BSOG_FoVeOOS_11/Velroyen08-even.jar 11762923 s NO 5.92/2.57
BSOG_FoVeOOS_11/Velroyen08-upAndDown.jar 11762924 s NO 6.60/2.73
BSOG_FoVeOOS_11/Velroyen08-ex09half.jar 11762925 s NO 5.24/2.37
BSOG_FoVeOOS_11/Velroyen08-flip.jar 11762926 s NO 5.74/2.49
BSOG_FoVeOOS_11/Velroyen08-whileTrue.jar 11762927 s NO 4.85/2.26
BSOG_FoVeOOS_11/Velroyen08-whileIncr.jar 11762928 s NO 5.08/2.29
BSOG_FoVeOOS_11/Velroyen08-alternDiv.jar 11762929 s NO 5.20/2.26
BSOG_FoVeOOS_11/NonPeriodicNonterm2.jar 11762930 s NO 6.32/2.55
BSOG_FoVeOOS_11/Velroyen08-narrowKonv.jar 11762931 s NO 7.04/2.81
BSOG_FoVeOOS_11/Velroyen08-middle.jar 11762932 s NO 7.70/3.07
BSOG_FoVeOOS_11/Velroyen08-mirrorInterv.jar 11762933 s NO 11.10/3.91
BSOG_FoVeOOS_11/Velroyen08-whileBreak.jar 11762934 s NO 6.13/2.56
BSOG_FoVeOOS_11/Velroyen08-whilePart.jar 11762935 s NO 4.52/2.10
BSOG_FoVeOOS_11/Velroyen08-whileDecr.jar 11762936 s YES 5.53/2.44
BSOG_FoVeOOS_11/Velroyen08-ex04.jar 11762937 s NO 4.90/2.12
BSOG_FoVeOOS_11/Velroyen08-ex03.jar 11762938 s NO 5.39/2.41
BSOG_FoVeOOS_11/Velroyen08-twoFloatInterv.jar 11762939 s NO 7.21/8.30
BSOG_FoVeOOS_11/Velroyen08-whileSingle.jar 11762940 s NO 4.46/2.18
BSOG_FoVeOOS_11/Velroyen08-fib.jar 11762941 s NO 8.38/11.10
BSOG_FoVeOOS_11/Velroyen08-narrowing.jar 11762942 s NO 31.89/9.71
BSOG_FoVeOOS_11/Velroyen08-complInterv3.jar 11762943 s NO 4.72/2.25
BSOG_FoVeOOS_11/Velroyen08-alternDivWide.jar 11762944 s NO 16.88/11.47
BSOG_FoVeOOS_11/Velroyen08-complInterv.jar 11762945 s NO 4.73/2.20
BSOG_FoVeOOS_11/Velroyen08-complxStruc.jar 11762946 s NO 10.72/11.77
BSOG_FoVeOOS_11/Velroyen08-marbie2.jar 11762947 s NO 7.76/9.40
BSOG_FoVeOOS_11/Velroyen08-doubleNeg.jar 11762948 u timeout (wallclock)
BSOG_FoVeOOS_11/Velroyen08-lcm.jar 11762949 s NO 9.01/3.35
BSOG_FoVeOOS_11/Velroyen08-complInterv2.jar 11762950 s NO 4.53/2.17
BSOG_FoVeOOS_11/Velroyen08-sunset.jar 11762951 s NO 6.52/2.68
BSOG_FoVeOOS_11/Velroyen08-ex02.jar 11762952 s NO 4.57/2.18
BSOG_FoVeOOS_11/Velroyen08-trueDiv.jar 11762953 s NO 4.83/2.38
BSOG_FoVeOOS_11/Velroyen08-ex05.jar 11762954 s NO 3.83/1.95
BMOG_CAV_12/AProVE12-cyclic-Length.jar 11762816 s YES 7.81/3.14
BMOG_CAV_12/ListReversePanhandleList.jar 11762817 s YES 10.21/3.68
BMOG_CAV_12/AProVE12-cyclic-Visit.jar 11762818 s YES 7.57/2.90
BMOG_CAV_12/AProVE12-cyclic-Iterate.jar 11762819 s YES 7.53/2.95
BMOG_CAV_12/ListReverseCyclicList.jar 11762820 s YES 10.69/5.13
BMOG_CAV_12/ListReverseAcyclicList.jar 11762821 s YES 6.67/2.99
Aprove_09/Count.jar 11762822 s YES 16.32/6.27
Aprove_09/GCD3.jar 11762823 s YES 6.97/2.91
Aprove_09/ListContentArbitrary.jar 11762824 s YES 7.76/3.00
Aprove_09/DivMinus.jar 11762825 s YES 6.10/2.58
Aprove_09/GCD4.jar 11762826 s YES 8.05/4.33
Aprove_09/Samefringe.jar 11762827 u timeout (wallclock)
Aprove_09/LogBuiltIn.jar 11762828 s YES 9.21/9.01
Aprove_09/Shuffle.jar 11762829 s YES 11.52/10.08
Aprove_09/PastaC3.jar 11762830 s YES 6.91/6.58
Aprove_09/GCD.jar 11762831 s YES 8.86/3.38
Aprove_09/Collatz.jar 11762832 u timeout (wallclock)
Aprove_09/ListDuplicate.jar 11762833 s YES 7.82/3.00
Aprove_09/Round3.jar 11762834 s YES 9.49/3.63
Aprove_09/PastaB2.jar 11762835 s YES 6.03/2.50
Aprove_09/PastaB5.jar 11762836 s YES 5.80/2.49
Aprove_09/SortCount.jar 11762837 u MAYBE 25.43/9.20
Aprove_09/PastaA7.jar 11762838 s YES 6.03/2.60
Aprove_09/LogIterative.jar 11762839 s YES 6.81/2.77
Aprove_09/PlusSwap.jar 11762840 s YES 6.40/2.68
Aprove_09/PastaB13.jar 11762841 s YES 6.69/2.81
Aprove_09/PastaA9.jar 11762842 s YES 6.21/2.53
Aprove_09/PastaB14.jar 11762843 s YES 6.13/2.67
Aprove_09/MinusUserDefined.jar 11762844 u MAYBE 25.87/12.60
Aprove_09/PastaC2.jar 11762845 s YES 7.48/3.06
Aprove_09/PastaC5.jar 11762846 s YES 11.83/5.21
Aprove_09/Log.jar 11762847 u timeout (wallclock)
Aprove_09/FlattenTree.jar 11762848 s YES 13.05/4.59
Aprove_09/GCD5.jar 11762849 s YES 6.77/2.88
Aprove_09/GCD2.jar 11762850 s YES 7.92/3.10
Aprove_09/PastaB15.jar 11762851 s YES 6.71/2.90
Aprove_09/DivMinus2.jar 11762852 s YES 7.46/3.00
Aprove_09/PastaB12.jar 11762853 s YES 6.57/2.73
Aprove_09/PastaA8.jar 11762854 s YES 6.36/2.71
Aprove_09/Duplicate.jar 11762855 s YES 6.26/2.62
Aprove_09/PastaA6.jar 11762856 s YES 5.90/2.59
Aprove_09/PastaA1.jar 11762857 s YES 7.03/2.80
Aprove_09/AProVEMath.jar 11762858 s YES 9.41/3.45
Aprove_09/PastaB4.jar 11762859 s YES 4.54/2.09
Aprove_09/RunningPointers.jar 11762860 s YES 7.45/2.99
Aprove_09/DivWithoutMinus.jar 11762861 s YES 8.01/3.14
Aprove_09/PastaB3.jar 11762862 s YES 5.84/2.59
Aprove_09/Take.jar 11762863 s YES 6.97/2.86
Aprove_09/PastaB11.jar 11762864 s YES 10.16/3.62
Aprove_09/PastaB16.jar 11762865 s YES 7.09/2.96
Aprove_09/DuplicateNodes.jar 11762866 s YES 13.18/4.50
Aprove_09/PastaB18.jar 11762867 s YES 7.95/3.09
Aprove_09/Mod.jar 11762868 s YES 7.72/3.12
Aprove_09/PastaA5.jar 11762869 s YES 6.38/2.64
Aprove_09/Convert.jar 11762870 s YES 10.95/3.96
Aprove_09/PastaB7.jar 11762871 s YES 5.91/2.60
Aprove_09/ListContentTail.jar 11762872 s YES 9.60/3.53
Aprove_09/PastaC11.jar 11762873 s YES 7.20/2.95
Aprove_09/PastaC1.jar 11762874 s YES 7.39/2.99
Aprove_09/LogMult.jar 11762875 s YES 9.04/3.36
Aprove_09/PastaA10.jar 11762876 s YES 10.30/4.10
Aprove_09/MirrorTree.jar 11762877 s YES 11.86/4.06
Aprove_09/MinusMin.jar 11762878 s YES 6.93/2.77
Aprove_09/PastaB8.jar 11762879 s YES 7.58/2.89
Aprove_09/CountMetaList.jar 11762880 s YES 10.18/3.70
Aprove_09/PastaB6.jar 11762881 s YES 5.50/2.35
Aprove_09/LogAG.jar 11762882 u timeout (wallclock)
Aprove_09/McCarthyIterative.jar 11762883 s YES 7.34/2.89
Aprove_09/PastaB1.jar 11762884 s YES 5.95/2.43
Aprove_09/PastaA4.jar 11762885 s YES 5.96/2.55
Aprove_09/PastaB17.jar 11762886 s YES 6.68/2.74
Aprove_09/Flatten.jar 11762887 s YES 15.65/5.17
Aprove_09/LessLeaves.jar 11762888 s YES 15.64/5.26
Aprove_09/Overflow.jar 11762889 s YES 5.77/2.42
Aprove_09/PastaB10.jar 11762890 s YES 7.46/3.08
Aprove_09/CountUpRound.jar 11762891 s YES 7.80/3.09
Aprove_09/StupidArray.jar 11762892 s YES 5.94/2.43
Aprove_09/PastaC7.jar 11762893 s YES 5.97/2.58
Aprove_09/PastaC9.jar 11762894 s YES 7.79/3.06
Aprove_09/PastaC10.jar 11762895 s YES 7.43/3.03
Aprove_09/MinusBuiltIn.jar 11762896 s YES 5.89/2.60
Aprove_09/ListContent.jar 11762897 s YES 8.02/3.05
AProVE_11_iterative/AlternatingGrowReduce2.jar 11762782 s YES 8.23/3.14
AProVE_11_iterative/ArrayPrimitives.jar 11762783 s YES 4.60/2.19
AProVE_11_iterative/RetVal.jar 11762784 s YES 4.01/1.89
AProVE_11_iterative/ClassAnalysis.jar 11762785 s YES 5.11/2.11
AProVE_11_iterative/SharingAnalysis.jar 11762786 s YES 7.88/2.96
AProVE_11_iterative/ArrayObjects.jar 11762787 s YES 3.76/1.73
AProVE_11_iterative/AlternatingGrowReduce.jar 11762788 s YES 8.75/3.22
AProVE_11_iterative/TreeLeftmostDepth.jar 11762789 s YES 12.97/4.28
AProVE_11_iterative/CyclicAnalysis.jar 11762790 s YES 8.19/3.09
AProVE_11_iterative/TreeLeftmostPath.jar 11762791 s YES 13.28/4.41
Costa_Julia_09/Exc4.jar 11762792 s NO 5.07/2.31
Costa_Julia_09/Diff.jar 11762793 s YES 5.12/2.23
Costa_Julia_09/Exc3.jar 11762794 s YES 4.88/2.21
Costa_Julia_09/Exc.jar 11762795 s YES 4.25/2.12
Costa_Julia_09/costa09-example_1.jar 11762796 s YES 6.91/2.90
Costa_Julia_09/Continue1.jar 11762797 s YES 4.31/2.07
Costa_Julia_09/Exc2.jar 11762798 s NO 5.02/2.30
Costa_Julia_09/Exc5.jar 11762799 s YES 4.80/2.28
Costa_Julia_09/Loop1.jar 11762800 s YES 7.89/3.30
Costa_Julia_09/Continue.jar 11762801 s NO 4.43/2.17
Costa_Julia_09/Init.jar 11762802 s NO 3.73/1.85
Costa_Julia_09/Sequence.jar 11762803 s YES 5.02/2.90
Costa_Julia_09/costa09-example_4.jar 11762804 s YES 4.17/1.99
Costa_Julia_09/CyclicalListDuplicate.jar 11762805 s NO 5.70/2.41
Costa_Julia_09/costa09-example_3.jar 11762806 s YES 4.64/2.18
Costa_Julia_09/Break.jar 11762807 s YES 3.90/2.03
Costa_Julia_09/Sharing.jar 11762808 s YES 3.95/1.89
Costa_Julia_09/Exc1.jar 11762809 s NO 5.61/2.53
Costa_Julia_09/KnapsackDP.jar 11762810 s YES 23.81/11.60
Costa_Julia_09/BubbleSort.jar 11762811 s YES 10.69/3.78
Costa_Julia_09/Nested.jar 11762812 s YES 5.47/2.39
Costa_Julia_09/costa09-example_2.jar 11762813 s YES 6.73/2.70
Costa_Julia_09/costa09-example_5.jar 11762814 s NO 4.78/2.23
Costa_Julia_09/LinkedList.jar 11762815 s YES 10.17/3.64
Java_Util/juLinkedListCreateOfferLast.jar 11762706 s YES 16.38/5.52
Java_Util/juLinkedListCreate.jar 11762707 s YES 10.67/3.99
Java_Util/juLinkedListCreateRemoveFirst.jar 11762708 s YES 17.33/10.57
Java_Util/juLinkedListCreateIndexOf.jar 11762709 s YES 36.32/16.04
Java_Util/juLinkedListCreateListIteratorLoop.jar 11762710 s YES 24.76/11.41
Java_Util/juLinkedListCreateContainsAll.jar 11762711 u timeout (wallclock)
Java_Util/juHashMapCreateContainsValue.jar 11762712 s YES 31.09/14.42
Java_Util/juLinkedListCreateIsEmpty.jar 11762713 s YES 14.29/5.34
Java_Util/juLinkedListCreateAddAllAt.jar 11762714 s YES 61.66/19.41
Java_Util/juLinkedListCreatePollFirst.jar 11762715 s YES 16.82/11.58
Java_Util/juLinkedListCreateRemoveElement.jar 11762716 s YES 37.66/18.92
Java_Util/juHashMapCreateEquals.jar 11762717 u MAYBE 9.02/4.67
Java_Util/juLinkedListCreateEquals.jar 11762718 s YES 71.54/22.77
Java_Util/juLinkedListCreateLastIndexOf.jar 11762719 s YES 34.28/10.71
Java_Util/juLinkedListCreateOffer.jar 11762720 s YES 16.13/5.44
Java_Util/juLinkedListCreateGetFirst.jar 11762721 s YES 15.28/11.22
Java_Util/juLinkedListCreateRemoveLast.jar 11762722 s YES 18.19/13.18
Java_Util/juLinkedListCreatePeekLast.jar 11762723 s YES 16.14/9.88
Java_Util/juLinkedListCreateRemoveAt.jar 11762724 s YES 22.78/7.34
Java_Util/juLinkedListCreateSize.jar 11762725 s YES 10.27/3.68
Java_Util/juLinkedListCreateElement.jar 11762726 s YES 14.42/4.84
Java_Util/juLinkedListCreateContains.jar 11762727 s YES 36.25/14.98
Java_Util/juLinkedListCreateSubList.jar 11762728 s YES 15.57/12.34
Java_Util/juHashMapCreate.jar 11762729 s YES 27.43/8.41
Java_Util/juLinkedListCreatePeek.jar 11762730 s YES 14.20/4.74
Java_Util/juHashMapCreatePutAll.jar 11762731 u MAYBE 8.36/3.18
Java_Util/juHashMapCreateRemove.jar 11762732 s YES 29.79/9.13
Java_Util/juLinkedListCreateRemove.jar 11762733 s YES 19.87/10.09
Java_Util/juHashMapCreateHashCode.jar 11762734 s YES 52.73/17.53
Java_Util/juLinkedListCreateAddAt.jar 11762735 s YES 23.11/7.43
Java_Util/juLinkedListCreatePeekFirst.jar 11762736 s YES 13.89/4.72
Java_Util/juLinkedListCreateIteratorLoop.jar 11762737 s YES 22.77/7.37
Java_Util/juLinkedListCreateRemoveAll.jar 11762738 u timeout (wallclock)
Java_Util/juHashMapCreateGet.jar 11762739 s YES 29.80/9.02
Java_Util/juLinkedListCreatePush.jar 11762740 s YES 17.46/6.23
Java_Util/juLinkedListCreateAddLast.jar 11762741 s YES 17.02/5.87
Java_Util/juLinkedListCreateToArray.jar 11762742 s YES 13.48/4.60
Java_Util/juLinkedListCreateAddAll.jar 11762743 u timeout (wallclock)
Java_Util/juLinkedListCreateRemoveLastOccurrence.jar 11762744 s YES 35.47/10.72
Java_Util/juLinkedListCreateRemoveFirstOccurrence.jar 11762745 s YES 33.97/10.94
Java_Util/juHashMapCreateClear.jar 11762746 s YES 26.12/8.26
Java_Util/juLinkedListCreateOfferFirst.jar 11762747 s YES 17.04/5.71
Java_Util/juHashMapCreateIteratorValueLoop.jar 11762748 s YES 31.60/9.57
Java_Util/juLinkedListCreateRemoveRange.jar 11762749 s YES 44.43/14.39
Java_Util/juLinkedListCreatePop.jar 11762750 s YES 17.46/6.68
Java_Util/juHashMapCreateIteratorKeyLoop.jar 11762751 s YES 32.80/10.04
Java_Util/juHashMapCreatePut.jar 11762752 s YES 27.21/8.48
Java_Util/juLinkedListCreatePollLast.jar 11762753 s YES 18.16/6.02
Java_Util/juLinkedListCreateAddFirst.jar 11762754 s YES 17.31/6.21
Java_Util/juLinkedListCreateHashCode.jar 11762755 s YES 24.04/7.67
Java_Util/juLinkedListCreateAdd.jar 11762756 s YES 17.08/6.04
Java_Util/juLinkedListCreateGet.jar 11762757 s YES 13.05/5.01
Java_Util/juHashMapCreateContainsKey.jar 11762758 s YES 29.31/8.89
Java_Util/juLinkedListCreateGetLast.jar 11762759 s YES 13.72/4.59
Java_Util/juLinkedListCreateSet.jar 11762760 s YES 16.62/5.71
Java_Util/juLinkedListCreateRetainAll.jar 11762761 u timeout (wallclock)
Java_Util/juHashMapCreateSize.jar 11762762 s YES 27.17/16.01
Java_Util/juHashMapCreateIteratorEntryLoop.jar 11762763 s YES 29.66/9.11
Java_Util/juHashMapCreateIsEmpty.jar 11762764 s YES 26.15/8.23
Java_Util/juLinkedListCreatePoll.jar 11762765 s YES 15.88/5.43
Java_Util/juLinkedListCreateClear.jar 11762766 s YES 15.20/5.01
Java_Util/juLinkedListCreateDescendingIteratorLoop.jar 11762767 s YES 26.22/10.40
AProVE_10_iterative/CyclicPair2.jar 11762768 s YES 4.06/1.94
AProVE_10_iterative/AG313.jar 11762769 s YES 6.10/2.56
AProVE_10_iterative/IntPath.jar 11762770 s YES 4.52/2.12
AProVE_10_iterative/IntRTA.jar 11762771 s YES 6.58/2.75
AProVE_10_iterative/SharingPair.jar 11762772 s YES 4.05/1.94
AProVE_10_iterative/ArrayClasses.jar 11762773 s YES 4.42/2.10
AProVE_10_iterative/FlattenRTA.jar 11762774 s YES 15.35/11.29
AProVE_10_iterative/TypeSwitch.jar 11762775 s YES 3.99/1.89
AProVE_10_iterative/CyclicPair.jar 11762776 s YES 4.04/1.93
AProVE_10_iterative/CyclicList.jar 11762777 s YES 6.86/2.74
AProVE_10_iterative/IntPath2.jar 11762778 s YES 4.04/1.94
AProVE_10_iterative/NullPair.jar 11762779 s YES 3.81/1.86
AProVE_10_iterative/NestedLoop.jar 11762780 s YES 9.27/3.50
AProVE_10_iterative/DuplicateTreePath.jar 11762781 s YES 15.74/8.65
Julia_11_iterative/NO_00.jar 11762676 s NO 7.90/7.29
Julia_11_iterative/NO_23.jar 11762677 s NO 6.75/2.69
Julia_11_iterative/NO_24.jar 11762678 s NO 7.63/6.69
Julia_11_iterative/NO_11.jar 11762679 s NO 8.33/3.33
Julia_11_iterative/Choose.jar 11762680 s NO 4.81/2.26
Julia_11_iterative/NO_01.jar 11762681 s NO 5.26/2.43
Julia_11_iterative/NO_06.jar 11762682 s NO 4.42/2.13
Julia_11_iterative/Distances.jar 11762683 s YES 212.22/175.93
Julia_11_iterative/Swingers.jar 11762684 s NO 4.80/2.17
Julia_11_iterative/ChooseLife.jar 11762685 s NO 7.58/2.96
Julia_11_iterative/NO_10.jar 11762686 s NO 4.88/2.24
Julia_11_iterative/NO_22.jar 11762687 s NO 8.74/3.23
Julia_11_iterative/TaylorSeriesIte.jar 11762688 s YES 15.49/5.19
Julia_11_iterative/NO_13.jar 11762689 s NO 8.49/3.15
Julia_11_iterative/NO_21.jar 11762690 s NO 4.28/2.08
Julia_11_iterative/NO_05.jar 11762691 s NO 15.51/5.05
Julia_11_iterative/NO_02.jar 11762692 s NO 4.38/2.11
Julia_11_iterative/NO_20.jar 11762693 s NO 3.90/2.00
Julia_11_iterative/NO_12.jar 11762694 s NO 5.63/2.47
Julia_11_iterative/Continue.jar 11762695 s NO 4.41/2.26
Julia_11_iterative/NO_03.jar 11762696 s NO 4.58/2.20
Julia_11_iterative/Loop.jar 11762697 s NO 4.60/2.21
Julia_11_iterative/NO_04.jar 11762698 s NO 7.94/4.23
Fuhs_13/Kernel68.jar 11762699 s YES 20.67/7.98
Fuhs_13/Kernel93.jar 11762700 u MAYBE 12.49/4.38
Fuhs_13/MultiLasso.jar 11762701 u MAYBE 17.60/6.30
Fuhs_13/RandomHard.jar 11762702 u MAYBE 25.50/12.05
Fuhs_13/Kernel95.jar 11762703 s YES 13.17/4.63
Fuhs_13/UnionFindIterative.jar 11762704 u timeout (wallclock)
Fuhs_13/Kernel88.jar 11762705 s YES 11.57/9.93
Julia_12_iterative/Et2.jar 11762655 s YES 8.76/3.39
Julia_12_iterative/Et5.jar 11762656 s YES 12.70/6.57
Julia_12_iterative/Et4.jar 11762657 s YES 18.34/7.47
Julia_12_iterative/Et3.jar 11762658 s YES 17.38/5.76
Julia_12_iterative/Et6.jar 11762659 s YES 10.31/3.71
Julia_12_iterative/Et1.jar 11762660 s YES 9.57/3.53
Julia_10_Iterative/Test3.jar 11762661 s YES 15.86/5.39
Julia_10_Iterative/Iterations.jar 11762662 s YES 14.09/5.68
Julia_10_Iterative/Test13Loops.jar 11762663 s NO 6.20/2.61
Julia_10_Iterative/Infix2Postfix.jar 11762664 s YES 19.80/6.76
Julia_10_Iterative/Test5.jar 11762665 s YES 17.19/11.74
Julia_10_Iterative/Test11.jar 11762666 s YES 11.86/4.34
Julia_10_Iterative/Test2.jar 11762667 s YES 17.66/5.67
Julia_10_Iterative/NonPeriodic.jar 11762668 s YES 4.33/2.11
Julia_10_Iterative/TriTas.jar 11762669 s YES 9.25/3.42
Julia_10_Iterative/Graph.jar 11762670 u timeout (wallclock)
Julia_10_Iterative/Gauss.jar 11762671 u MAYBE 9.82/3.60
Julia_10_Iterative/RSA.jar 11762672 s YES 27.61/8.47
Julia_10_Iterative/Test7.jar 11762673 s YES 10.70/3.85
Julia_10_Iterative/Carre.jar 11762674 s YES 11.58/3.98
Julia_10_Iterative/Test9.jar 11762675 s YES 7.61/2.99
277