Termination Competition 2018: Java Bytecode30100

benchmark AProVE
Costa_Julia_09/Sharing.jar YES 3.72/1.69
Costa_Julia_09/costa09-example_4.jar YES 4.00/1.75
Costa_Julia_09/BubbleSort.jar YES 10.40/3.63
Costa_Julia_09/KnapsackDP.jar YES 23.09/7.07
Costa_Julia_09/Exc2.jar NO 5.75/2.35
Costa_Julia_09/Loop1.jar YES 5.65/2.25
Costa_Julia_09/costa09-example_3.jar YES 4.00/1.82
Costa_Julia_09/Diff.jar YES 5.20/2.14
Costa_Julia_09/LinkedList.jar YES 10.09/3.43
Costa_Julia_09/Init.jar NO 3.62/1.66
Costa_Julia_09/costa09-example_1.jar YES 7.03/2.73
Costa_Julia_09/Exc3.jar YES 4.86/2.13
Costa_Julia_09/Nested.jar YES 5.39/2.30
Costa_Julia_09/Exc5.jar YES 4.61/1.98
Costa_Julia_09/costa09-example_5.jar NO 4.54/1.98
Costa_Julia_09/Continue1.jar YES 4.44/1.99
Costa_Julia_09/Exc1.jar NO 5.55/2.32
Costa_Julia_09/Continue.jar NO 4.33/2.60
Costa_Julia_09/Exc.jar YES 4.35/2.01
Costa_Julia_09/Break.jar YES 3.83/1.75
Costa_Julia_09/Exc4.jar NO 5.90/2.35
Costa_Julia_09/costa09-example_2.jar YES 6.23/2.51
Costa_Julia_09/Sequence.jar YES 4.88/2.04
Costa_Julia_09/CyclicalListDuplicate.jar NO 6.12/2.45
BSOG_FoVeOOS_11/Velroyen08-whileNested.jar NO 5.35/2.19
BSOG_FoVeOOS_11/Velroyen08-doubleNeg.jar StarExec error
BSOG_FoVeOOS_11/Velroyen08-trueDiv.jar NO 4.83/2.05
BSOG_FoVeOOS_11/Velroyen08-whileIncr.jar NO 4.86/2.01
BSOG_FoVeOOS_11/Velroyen08-moduloLower.jar StarExec error
BSOG_FoVeOOS_11/Velroyen08-whilePart.jar StarExec error
BSOG_FoVeOOS_11/Velroyen08-ex06.jar NO 5.48/2.23
BSOG_FoVeOOS_11/Velroyen08-upAndDown.jar NO 6.70/2.62
BSOG_FoVeOOS_11/Velroyen08-whileTrue.jar NO 4.40/1.89
BSOG_FoVeOOS_11/Velroyen08-gauss.jar NO 5.91/2.37
BSOG_FoVeOOS_11/Velroyen08-mirrorIntervSim.jar NO 5.84/2.35
BSOG_FoVeOOS_11/Velroyen08-marbie2.jar StarExec error
BSOG_FoVeOOS_11/Velroyen08-alternDivWide.jar StarExec error
BSOG_FoVeOOS_11/Velroyen08-ex04.jar NO 4.52/1.95
BSOG_FoVeOOS_11/Velroyen08-narrowing.jar NO 28.77/8.41
BSOG_FoVeOOS_11/Velroyen08-whileSingle.jar NO 4.82/2.13
BSOG_FoVeOOS_11/Velroyen08-ex03.jar NO 5.12/2.16
BSOG_FoVeOOS_11/Velroyen08-ex01.jar NO 5.94/2.42
BSOG_FoVeOOS_11/Velroyen08-sunset.jar NO 5.90/2.33
BSOG_FoVeOOS_11/Velroyen08-narrowKonv.jar NO 8.03/2.91
BSOG_FoVeOOS_11/Velroyen08-lcm.jar NO 8.88/3.14
BSOG_FoVeOOS_11/Velroyen08-collatz.jar StarExec error
BSOG_FoVeOOS_11/Velroyen08-moduloUp.jar NO 4.84/2.10
BSOG_FoVeOOS_11/NonPeriodicNonterm2.jar NO 6.21/2.52
BSOG_FoVeOOS_11/Velroyen08-whileDecr.jar YES 5.40/2.28
BSOG_FoVeOOS_11/Velroyen08-whileSum.jar StarExec error
BSOG_FoVeOOS_11/Velroyen08-convLower.jar NO 4.47/2.17
BSOG_FoVeOOS_11/Velroyen08-complxStruc.jar NO 11.25/3.94
BSOG_FoVeOOS_11/Velroyen08-ex07.jar NO 5.79/2.26
BSOG_FoVeOOS_11/Velroyen08-middle.jar NO 7.24/2.82
BSOG_FoVeOOS_11/Velroyen08-whileIncrPart.jar NO 5.09/2.14
BSOG_FoVeOOS_11/Velroyen08-marbie1.jar NO 4.67/2.05
BSOG_FoVeOOS_11/Velroyen08-mirrorInterv.jar NO 10.25/3.44
BSOG_FoVeOOS_11/Velroyen08-whileNestedOffset.jar NO 5.71/2.33
BSOG_FoVeOOS_11/Velroyen08-whileBreak.jar NO 6.18/2.49
BSOG_FoVeOOS_11/Velroyen08-even.jar NO 5.57/2.28
BSOG_FoVeOOS_11/Velroyen08-factorial.jar NO 7.38/2.79
BSOG_FoVeOOS_11/Velroyen08-complInterv2.jar NO 4.88/2.02
BSOG_FoVeOOS_11/Velroyen08-alternKonv.jar StarExec error
BSOG_FoVeOOS_11/LoopingNonterm.jar NO 4.98/2.07
BSOG_FoVeOOS_11/Velroyen08-ex05.jar NO 3.62/1.65
BSOG_FoVeOOS_11/Velroyen08-alternDiv.jar NO 5.31/2.24
BSOG_FoVeOOS_11/Velroyen08-flip.jar NO 5.37/2.15
BSOG_FoVeOOS_11/Velroyen08-ex09half.jar NO 5.18/2.14
BSOG_FoVeOOS_11/Velroyen08-flip2.jar NO 5.69/2.36
BSOG_FoVeOOS_11/Velroyen08-ex08.jar NO 7.01/2.62
BSOG_FoVeOOS_11/Velroyen08-twoFloatInterv.jar NO 8.01/2.91
BSOG_FoVeOOS_11/Velroyen08-complInterv3.jar NO 4.88/2.04
BSOG_FoVeOOS_11/Velroyen08-alternDivWidening.jar NO 14.19/4.74
BSOG_FoVeOOS_11/Velroyen08-complInterv.jar NO 4.83/2.05
BSOG_FoVeOOS_11/Velroyen08-gcd.jar pending submission
BSOG_FoVeOOS_11/Velroyen08-alternatingIncr.jar pending submission
BSOG_FoVeOOS_11/Velroyen08-upAndDownIneq.jar NO 7.15/2.79
BSOG_FoVeOOS_11/Velroyen08-cousot.jar NO 5.78/2.37
BSOG_FoVeOOS_11/Velroyen08-fib.jar NO 6.44/2.50
BSOG_FoVeOOS_11/Velroyen08-ex02.jar NO 4.31/1.90
BSOG_FoVeOOS_11/Velroyen08-plait.jar NO 10.03/3.46
Java_Util/juLinkedListCreatePop.jar YES 15.76/5.16
Java_Util/juLinkedListCreateContainsAll.jar StarExec error
Java_Util/juHashMapCreateHashCode.jar YES 54.10/17.52
Java_Util/juLinkedListCreateOffer.jar YES 17.46/5.75
Java_Util/juLinkedListCreateAddAllAt.jar YES 61.06/19.15
Java_Util/juLinkedListCreateAddAt.jar YES 22.95/7.45
Java_Util/juLinkedListCreateIndexOf.jar YES 35.37/10.53
Java_Util/juHashMapCreate.jar YES 23.81/7.36
Java_Util/juLinkedListCreateAddAll.jar pending submission
Java_Util/juLinkedListCreateGetLast.jar YES 13.50/4.38
Java_Util/juLinkedListCreateRemoveLastOccurrence.jar YES 35.11/11.77
Java_Util/juLinkedListCreateEquals.jar StarExec error
Java_Util/juLinkedListCreate.jar YES 10.98/3.77
Java_Util/juHashMapCreateIteratorEntryLoop.jar YES 33.76/10.23
Java_Util/juLinkedListCreateSubList.jar YES 15.98/5.61
Java_Util/juHashMapCreatePut.jar YES 26.72/8.47
Java_Util/juLinkedListCreateSet.jar StarExec error
Java_Util/juLinkedListCreateAdd.jar YES 17.68/6.24
Java_Util/juLinkedListCreateGet.jar YES 12.31/4.05
Java_Util/juHashMapCreateSize.jar StarExec error
Java_Util/juLinkedListCreateRemoveElement.jar pending submission
Java_Util/juLinkedListCreateIsEmpty.jar YES 14.78/5.50
Java_Util/juLinkedListCreateAddLast.jar YES 16.34/5.30
Java_Util/juLinkedListCreateAddFirst.jar YES 16.44/5.30
Java_Util/juLinkedListCreatePoll.jar YES 16.15/5.46
Java_Util/juHashMapCreateIteratorKeyLoop.jar YES 29.30/11.33
Java_Util/juLinkedListCreateRemoveAt.jar YES 23.18/7.61
Java_Util/juLinkedListCreateIteratorLoop.jar YES 26.84/10.11
Java_Util/juLinkedListCreateLastIndexOf.jar YES 37.10/13.93
Java_Util/juLinkedListCreateRetainAll.jar StarExec error
Java_Util/juLinkedListCreateGetFirst.jar YES 15.68/5.77
Java_Util/juLinkedListCreateOfferFirst.jar YES 17.70/5.84
Java_Util/juLinkedListCreateSize.jar YES 10.42/3.49
Java_Util/juLinkedListCreatePollFirst.jar YES 15.61/5.14
Java_Util/juHashMapCreateContainsKey.jar YES 25.58/7.82
Java_Util/juLinkedListCreateToArray.jar StarExec error
Java_Util/juLinkedListCreatePush.jar YES 17.79/6.00
Java_Util/juHashMapCreateEquals.jar MAYBE 7.68/2.87
Java_Util/juLinkedListCreatePeek.jar YES 14.05/4.52
Java_Util/juLinkedListCreateHashCode.jar YES 24.30/11.87
Java_Util/juLinkedListCreateRemove.jar YES 18.97/6.00
Java_Util/juHashMapCreateRemove.jar YES 28.29/8.76
Java_Util/juLinkedListCreateElement.jar YES 13.94/4.55
Java_Util/juHashMapCreateIteratorValueLoop.jar YES 31.97/13.34
Java_Util/juHashMapCreateIsEmpty.jar YES 26.09/8.23
Java_Util/juHashMapCreatePutAll.jar MAYBE 7.90/2.89
Java_Util/juLinkedListCreateClear.jar YES 16.15/5.50
Java_Util/juLinkedListCreatePollLast.jar YES 17.98/6.05
Java_Util/juLinkedListCreateRemoveFirstOccurrence.jar YES 37.92/14.92
Java_Util/juLinkedListCreateRemoveAll.jar StarExec error
Java_Util/juLinkedListCreateRemoveRange.jar YES 48.59/17.82
Java_Util/juLinkedListCreatePeekFirst.jar YES 13.68/4.56
Java_Util/juHashMapCreateClear.jar StarExec error
Java_Util/juLinkedListCreatePeekLast.jar YES 13.85/4.52
Java_Util/juLinkedListCreateRemoveFirst.jar YES 16.01/5.30
Java_Util/juLinkedListCreateListIteratorLoop.jar YES 22.27/6.99
Java_Util/juLinkedListCreateOfferLast.jar YES 16.70/5.78
Java_Util/juLinkedListCreateDescendingIteratorLoop.jar YES 24.18/7.72
Java_Util/juLinkedListCreateRemoveLast.jar pending submission
Java_Util/juLinkedListCreateContains.jar YES 39.52/13.62
Java_Util/juHashMapCreateGet.jar YES 27.84/11.88
Java_Util/juHashMapCreateContainsValue.jar YES 29.28/12.53
Fuhs_13/Kernel68.jar YES 21.53/7.86
Fuhs_13/RandomHard.jar MAYBE 24.97/12.11
Fuhs_13/Kernel95.jar YES 12.10/4.14
Fuhs_13/Kernel93.jar MAYBE 12.25/3.99
Fuhs_13/MultiLasso.jar MAYBE 21.36/7.97
Fuhs_13/UnionFindIterative.jar StarExec error
Fuhs_13/Kernel88.jar YES 9.88/3.48
AProVE_10_iterative/IntPath.jar YES 4.39/2.02
AProVE_10_iterative/IntRTA.jar YES 6.47/2.60
AProVE_10_iterative/DuplicateTreePath.jar YES 13.47/4.92
AProVE_10_iterative/CyclicList.jar YES 6.84/2.66
AProVE_10_iterative/CyclicPair2.jar YES 4.05/1.88
AProVE_10_iterative/IntPath2.jar YES 4.12/1.83
AProVE_10_iterative/NestedLoop.jar YES 9.63/3.40
AProVE_10_iterative/AG313.jar YES 6.69/2.50
AProVE_10_iterative/SharingPair.jar YES 4.02/1.79
AProVE_10_iterative/TypeSwitch.jar YES 3.96/2.78
AProVE_10_iterative/FlattenRTA.jar YES 14.79/4.85
AProVE_10_iterative/CyclicPair.jar YES 3.90/1.72
AProVE_10_iterative/NullPair.jar YES 3.85/1.73
AProVE_10_iterative/ArrayClasses.jar YES 4.30/1.97
Aprove_09/PastaC9.jar YES 8.15/2.92
Aprove_09/PastaC10.jar YES 6.83/2.58
Aprove_09/PastaA10.jar YES 10.06/3.92
Aprove_09/Convert.jar YES 11.11/3.84
Aprove_09/PastaC2.jar YES 6.68/2.68
Aprove_09/LogMult.jar YES 8.84/3.14
Aprove_09/PastaC7.jar YES 5.75/2.30
Aprove_09/DivMinus2.jar YES 7.89/2.94
Aprove_09/Flatten.jar YES 15.52/5.02
Aprove_09/ListContent.jar YES 7.77/2.82
Aprove_09/PastaB12.jar YES 7.54/2.81
Aprove_09/CountUpRound.jar YES 8.06/2.91
Aprove_09/MinusBuiltIn.jar YES 5.74/2.30
Aprove_09/GCD2.jar YES 8.47/3.06
Aprove_09/PlusSwap.jar YES 5.92/2.34
Aprove_09/PastaA6.jar YES 6.50/2.47
Aprove_09/ListContentArbitrary.jar YES 7.89/2.98
Aprove_09/PastaB8.jar YES 8.12/3.04
Aprove_09/PastaB2.jar YES 5.70/2.40
Aprove_09/PastaB3.jar StarExec error
Aprove_09/Overflow.jar YES 5.68/2.37
Aprove_09/PastaB15.jar YES 6.72/2.60
Aprove_09/PastaB1.jar YES 5.61/2.26
Aprove_09/PastaC1.jar YES 7.41/2.87
Aprove_09/DivWithoutMinus.jar YES 8.14/3.37
Aprove_09/Round3.jar YES 9.37/3.33
Aprove_09/Samefringe.jar StarExec error
Aprove_09/PastaB10.jar YES 8.33/3.01
Aprove_09/PastaB5.jar YES 5.92/2.36
Aprove_09/PastaB4.jar YES 4.48/2.08
Aprove_09/DivMinus.jar YES 6.08/2.51
Aprove_09/MinusMin.jar YES 6.57/2.53
Aprove_09/CountMetaList.jar YES 10.26/3.51
Aprove_09/LogAG.jar StarExec error
Aprove_09/Count.jar YES 15.28/5.38
Aprove_09/LogIterative.jar YES 7.13/2.82
Aprove_09/FlattenTree.jar YES 13.79/8.50
Aprove_09/PastaB6.jar YES 6.01/2.43
Aprove_09/PastaA9.jar YES 6.65/2.50
Aprove_09/PastaA5.jar YES 5.94/2.33
Aprove_09/PastaB7.jar YES 6.08/2.36
Aprove_09/PastaA8.jar YES 5.95/2.44
Aprove_09/PastaB11.jar YES 9.92/3.48
Aprove_09/LessLeaves.jar YES 15.44/5.22
Aprove_09/MinusUserDefined.jar MAYBE 21.83/8.46
Aprove_09/GCD3.jar YES 6.71/2.63
Aprove_09/PastaC11.jar YES 7.35/2.71
Aprove_09/Collatz.jar pending submission
Aprove_09/GCD5.jar YES 6.54/2.57
Aprove_09/GCD.jar YES 8.78/3.15
Aprove_09/AProVEMath.jar YES 10.67/4.57
Aprove_09/Mod.jar StarExec error
Aprove_09/Take.jar YES 6.28/2.48
Aprove_09/LogBuiltIn.jar YES 7.69/2.97
Aprove_09/StupidArray.jar YES 5.54/2.22
Aprove_09/Duplicate.jar pending submission
Aprove_09/DuplicateNodes.jar YES 12.78/4.40
Aprove_09/Log.jar pending submission
Aprove_09/PastaA7.jar pending submission
Aprove_09/ListDuplicate.jar YES 7.91/2.97
Aprove_09/PastaB18.jar YES 7.74/2.99
Aprove_09/PastaA4.jar YES 5.78/2.38
Aprove_09/Shuffle.jar YES 9.68/3.33
Aprove_09/MirrorTree.jar pending submission
Aprove_09/PastaC3.jar pending submission
Aprove_09/PastaB13.jar YES 7.92/2.93
Aprove_09/SortCount.jar pending submission
Aprove_09/PastaB17.jar YES 7.39/2.82
Aprove_09/RunningPointers.jar YES 7.41/2.71
Aprove_09/PastaA1.jar YES 8.72/3.33
Aprove_09/McCarthyIterative.jar YES 6.63/2.55
Aprove_09/GCD4.jar YES 7.38/2.88
Aprove_09/PastaC5.jar YES 12.28/6.14
Aprove_09/ListContentTail.jar YES 9.95/3.43
Aprove_09/PastaB16.jar YES 7.95/2.93
Aprove_09/PastaB14.jar YES 6.61/2.60
BMOG_CAV_12/AProVE12-cyclic-Visit.jar YES 7.67/2.80
BMOG_CAV_12/AProVE12-cyclic-Iterate.jar YES 7.84/2.87
BMOG_CAV_12/ListReverseCyclicList.jar YES 10.07/3.62
BMOG_CAV_12/AProVE12-cyclic-Length.jar YES 7.93/2.85
BMOG_CAV_12/ListReverseAcyclicList.jar YES 6.28/2.51
BMOG_CAV_12/ListReversePanhandleList.jar YES 9.69/3.45
AProVE_11_iterative/ArrayObjects.jar YES 3.75/1.72
AProVE_11_iterative/CyclicAnalysis.jar YES 8.25/3.15
AProVE_11_iterative/RetVal.jar YES 3.87/1.73
AProVE_11_iterative/ArrayPrimitives.jar YES 4.49/2.09
AProVE_11_iterative/TreeLeftmostPath.jar YES 13.51/4.45
AProVE_11_iterative/SharingAnalysis.jar YES 7.56/2.90
AProVE_11_iterative/TreeLeftmostDepth.jar YES 13.27/4.44
AProVE_11_iterative/AlternatingGrowReduce2.jar YES 8.28/3.14
AProVE_11_iterative/ClassAnalysis.jar YES 5.12/2.19
AProVE_11_iterative/AlternatingGrowReduce.jar YES 8.94/3.28
BOG_RTA_11/EqUserDefRec.jar YES 6.78/2.54
BOG_RTA_11/MainFind.jar YES 13.12/4.94
BOG_RTA_11/AppE.jar YES 9.15/3.19
BOG_RTA_11/DupTreeRec.jar YES 16.79/5.45
BOG_RTA_11/Fibonacci.jar YES 15.65/7.52
BOG_RTA_11/FlattenTreeRec.jar YES 15.75/4.98
BOG_RTA_11/Alternate.jar YES 21.81/6.98
BOG_RTA_11/DivTernary2.jar pending submission
BOG_RTA_11/TwoWay.jar YES 7.09/2.59
BOG_RTA_11/Avg.jar YES 8.48/3.11
BOG_RTA_11/CountMetaListRec.jar YES 13.50/4.58
BOG_RTA_11/GrowTreeR.jar YES 14.87/4.87
BOG_RTA_11/TerminatorRec04.jar NO 6.16/2.37
BOG_RTA_11/SearchTreeR.jar YES 10.36/3.56
BOG_RTA_11/LessLeavesRec.jar YES 29.49/9.17
BOG_RTA_11/TerminatorRec02.jar YES 6.07/3.22
BOG_RTA_11/MirrorMultiTreeRec.jar YES 21.78/7.66
BOG_RTA_11/IntListDupRec.jar YES 10.84/4.04
BOG_RTA_11/QuicksortRec.jar YES 15.69/5.33
BOG_RTA_11/LogRecursive.jar YES 8.58/3.07
BOG_RTA_11/DivMinus.jar YES 13.25/4.62
BOG_RTA_11/CAppE.jar YES 8.34/3.45
BOG_RTA_11/DivTernary.jar YES 20.89/7.69
BOG_RTA_11/Gopher.jar YES 13.35/4.49
BOG_RTA_11/MirrorBinTreeRec.jar YES 19.98/6.30
BOG_RTA_11/IntListSumRec.jar YES 9.53/3.32
BOG_RTA_11/Count.jar YES 22.72/7.65
BOG_RTA_11/FlattenTreeListRec.jar YES 19.74/8.87
BOG_RTA_11/BinTreeChanger.jar YES 14.84/5.12
BOG_RTA_11/ConvertRec.jar YES 14.69/5.42
BOG_RTA_11/TerminatorRec01.jar StarExec error
BOG_RTA_11/MainDelete.jar YES 11.73/4.73
BOG_RTA_11/LeUserDefRec.jar YES 7.41/2.73
BOG_RTA_11/Norm.jar StarExec error
BOG_RTA_11/MainMove.jar YES 17.30/5.54
BOG_RTA_11/Shuffle.jar YES 13.16/4.45
BOG_RTA_11/TimesPlusUserDef.jar YES 9.64/3.48
BOG_RTA_11/Main.jar StarExec error
BOG_RTA_11/Nest.jar YES 7.37/2.71
BOG_RTA_11/AProVEMathRecursive.jar YES 12.87/4.40
BOG_RTA_11/MainCopy.jar YES 12.67/4.15
BOG_RTA_11/AProVERec01.jar YES 7.08/2.60
BOG_RTA_11/TerminatorRec03.jar NO 4.65/2.03
BOG_RTA_11/MainGet.jar pending submission
AProVE_11_recursive/RotateTree.jar YES 21.81/7.77
AProVE_11_recursive/ClassAnalysisRec.jar YES 7.27/2.76
AProVE_11_recursive/UnionFind.jar StarExec error
AProVE_11_recursive/TermsCreateMatch.jar YES 24.03/8.96
AProVE_11_recursive/AlternatingGrowReduceRec.jar StarExec error
AProVE_11_recursive/RetValRec.jar YES 4.42/2.03
AProVE_11_recursive/AlternatingGrowReduceRec2.jar YES 14.43/5.18
AProVE_11_recursive/TermCreateCollect.jar YES 16.57/5.29
AProVE_11_recursive/BinarySearch.jar YES 18.53/5.93
AProVE_11_recursive/SharingAnalysisRec.jar YES 9.46/3.36
AProVE_11_recursive/CyclicAnalysisRec.jar YES 8.96/3.17
Julia_10_Recursive/BubbleSortR.jar YES 13.90/4.61
Julia_10_Recursive/FibSLR.jar YES 9.73/3.42
Julia_10_Recursive/Sudoku.jar YES 41.59/15.46
Julia_10_Recursive/Test4.jar YES 221.97/64.67
Julia_10_Recursive/Test12.jar YES 15.42/4.84
Julia_10_Recursive/Test1.jar YES 11.40/3.79
Julia_10_Recursive/Test10.jar YES 8.09/3.03
Julia_10_Recursive/Test6.jar YES 79.70/36.42
Julia_10_Recursive/Power.jar YES 13.45/4.39
Julia_10_Recursive/FactSLR.jar YES 9.53/3.27
Julia_10_Recursive/BTreeR.jar YES 11.23/3.88
Julia_10_Recursive/HanR.jar YES 9.18/3.30
Julia_10_Recursive/Recursions.jar YES 10.47/3.61
Julia_10_Recursive/TicTacToe.jar StarExec error
Julia_10_Recursive/Nim.jar StarExec error
Julia_10_Recursive/Matrix.jar StarExec error
Julia_10_Recursive/WorkingSignals.jar YES 438.22/113.82
Julia_10_Recursive/Test8.jar YES 14.37/4.72
Julia_10_Recursive/AckR.jar YES 9.05/3.22
Julia_10_Recursive/MergeSort.jar YES 18.18/5.77
Costa_Julia_09-recursive/Double2.jar YES 5.79/2.31
Costa_Julia_09-recursive/BinarySearchTree.jar YES 4.17/2.57
Costa_Julia_09-recursive/Hanoi.jar YES 4.75/1.99
Costa_Julia_09-recursive/Ackermann.jar YES 9.55/3.42
Costa_Julia_09-recursive/Virtual.jar YES 5.16/2.16
Costa_Julia_09-recursive/Double.jar YES 7.92/2.92
Costa_Julia_09-recursive/FactSum.jar YES 4.41/1.88
Costa_Julia_09-recursive/TestJulia7.jar StarExec error
Costa_Julia_09-recursive/Double3.jar YES 5.81/2.28
Costa_Julia_09-recursive/Domino.jar StarExec error
Costa_Julia_09-recursive/MysteriousProgram.jar StarExec error
Costa_Julia_09-recursive/ListInt.jar YES 4.19/1.90
Costa_Julia_09-recursive/FactSumList.jar YES 3.72/1.68
Costa_Julia_09-recursive/Factorial.jar YES 3.85/1.74
Costa_Julia_09-recursive/List.jar YES 4.01/1.78
Costa_Julia_09-recursive/PartitionList.jar YES 82.58/38.92
Costa_Julia_09-recursive/BTree.jar YES 4.91/3.13
Costa_Julia_09-recursive/TestJulia6.jar NO 5.00/2.06
Costa_Julia_09-recursive/Queen.jar YES 15.74/5.58
Julia_11_iterative/NO_24.jar NO 4.85/2.13
Julia_11_iterative/Loop.jar NO 4.39/1.94
Julia_11_iterative/ChooseLife.jar NO 7.71/2.84
Julia_11_iterative/NO_11.jar NO 5.94/2.35
Julia_11_iterative/NO_21.jar NO 4.46/1.91
Julia_11_iterative/NO_00.jar NO 4.43/2.56
Julia_11_iterative/NO_04.jar NO 5.14/2.16
Julia_11_iterative/Swingers.jar NO 4.65/2.07
Julia_11_iterative/TaylorSeriesIte.jar YES 15.67/8.35
Julia_11_iterative/Distances.jar YES 219.98/174.91
Julia_11_iterative/NO_10.jar NO 4.82/2.05
Julia_11_iterative/NO_20.jar NO 3.63/1.71
Julia_11_iterative/NO_01.jar NO 4.49/2.03
Julia_11_iterative/NO_05.jar NO 13.94/4.40
Julia_11_iterative/Continue.jar NO 4.39/2.01
Julia_11_iterative/NO_23.jar NO 6.20/2.46
Julia_11_iterative/NO_12.jar NO 5.25/2.19
Julia_11_iterative/NO_03.jar NO 4.49/1.97
Julia_11_iterative/Choose.jar NO 4.72/2.05
Julia_11_iterative/NO_06.jar NO 4.29/1.91
Julia_11_iterative/NO_02.jar pending submission
Julia_11_iterative/NO_22.jar NO 8.61/3.07
Julia_11_iterative/NO_13.jar NO 9.93/3.53
Julia_10_Iterative/Graph.jar StarExec error
Julia_10_Iterative/Infix2Postfix.jar YES 19.92/6.65
Julia_10_Iterative/Test9.jar YES 7.83/2.98
Julia_10_Iterative/NonPeriodic.jar YES 3.89/1.83
Julia_10_Iterative/TriTas.jar YES 14.16/4.70
Julia_10_Iterative/Test7.jar YES 10.53/3.68
Julia_10_Iterative/Test3.jar YES 15.13/4.93
Julia_10_Iterative/Test11.jar YES 12.57/4.37
Julia_10_Iterative/Gauss.jar StarExec error
Julia_10_Iterative/Iterations.jar YES 13.58/4.44
Julia_10_Iterative/RSA.jar YES 27.27/8.20
Julia_10_Iterative/Test13Loops.jar NO 6.23/2.42
Julia_10_Iterative/Test2.jar YES 18.56/5.69
Julia_10_Iterative/Test5.jar YES 14.68/4.78
Julia_10_Iterative/Carre.jar YES 11.44/3.88
Julia_12_iterative/Et2.jar YES 8.93/3.14
Julia_12_iterative/Et3.jar YES 14.56/4.80
Julia_12_iterative/Et1.jar YES 9.63/3.41
Julia_12_iterative/Et5.jar YES 10.11/3.54
Julia_12_iterative/Et4.jar YES 20.41/7.97
Julia_12_iterative/Et6.jar YES 10.64/3.71
Julia_12_recursive/twoFloatInterv_rec.jar NO 8.66/3.04
Julia_12_recursive/alternKonv_rec.jar NO 5.03/2.06
Julia_12_recursive/complxStruc_rec.jar NO 9.22/3.36
Julia_12_recursive/ex05_rec.jar NO 4.24/1.90
Julia_12_recursive/Et6-rec.jar YES 15.82/8.11
Julia_12_recursive/Et1-rec.jar YES 10.56/3.77
Julia_12_recursive/upAndDownIneq_rec.jar NO 8.42/3.12
Julia_12_recursive/ex08_rec.jar NO 7.76/2.94
Julia_12_recursive/ex02_rec.jar NO 4.53/1.96
Julia_12_recursive/sum_rec.jar NO 5.84/2.23
Julia_12_recursive/Et5-rec.jar YES 14.03/4.74
Julia_12_recursive/cousot_rec.jar NO 5.83/2.29
Julia_12_recursive/narrowing_rec.jar StarExec error
Julia_12_recursive/ex06_rec.jar NO 4.39/1.93
Julia_12_recursive/mirrorIntervSim_rec.jar NO 8.06/2.91
Julia_12_recursive/whileNested_rec.jar NO 5.42/2.27
Julia_12_recursive/alternDiv_rec.jar NO 5.46/2.18
Julia_12_recursive/whileSingle_rec.jar NO 4.47/1.96
Julia_12_recursive/ex04_rec.jar NO 4.79/2.10
Julia_12_recursive/complInterv3_rec.jar NO 4.43/2.53
Julia_12_recursive/sunset_rec.jar NO 7.19/2.67
Julia_12_recursive/mirrorInterv_rec.jar NO 6.23/2.49
Julia_12_recursive/whilePart_rec.jar NO 4.49/2.11
Julia_12_recursive/BMOG_CAV_12_MarkingGraphVisitor.jar MAYBE 23.42/7.34
Julia_12_recursive/sumGeneric2_rec.jar NO 5.45/2.25
Julia_12_recursive/Et4-rec.jar YES 15.82/5.60
Julia_12_recursive/middle_rec.jar NO 6.90/2.88
Julia_12_recursive/upAndDown_rec.jar NO 9.13/3.35
Julia_12_recursive/complInterv2_rec.jar NO 4.56/2.07
Julia_12_recursive/alternDivWidening_rec.jar NO 12.91/5.08
Julia_12_recursive/Et3-rec.jar YES 11.74/4.15
Julia_12_recursive/trueDiv_rec.jar NO 5.81/2.26
Julia_12_recursive/flip2_rec.jar NO 7.99/3.01
Julia_12_recursive/alternDivWide_rec.jar NO 6.41/2.56
Julia_12_recursive/ex03_rec.jar NO 4.60/1.97
Julia_12_recursive/convLower_rec.jar StarExec error
Julia_12_recursive/even_rec.jar NO 5.81/2.27
Julia_12_recursive/Et2-rec.jar YES 9.82/3.49
Julia_12_recursive/ex07_rec.jar NO 4.61/1.97
Julia_12_recursive/narrowKonv_rec.jar NO 8.97/3.38
Julia_12_recursive/sumGeneric_rec.jar NO 4.14/1.81
Julia_12_recursive/ex01_rec.jar NO 5.55/2.24
Julia_12_recursive/EvenOdd.jar pending submission
Julia_12_recursive/whileNestedOffset_rec.jar NO 5.32/2.18
Julia_12_recursive/flip_rec.jar pending submission
Julia_11_recursive/Binomial.jar YES 18.47/6.20
Julia_11_recursive/Parts.jar YES 16.80/5.35
Julia_11_recursive/TaylorSeriesRec.jar YES 26.59/8.03
Julia_11_recursive/Fractale1.jar YES 8.87/4.40
383