Termination Competition 2018: Java Bytecode30100

Job info CSV
benchmark AProVE standard
Java_Bytecode/Costa_Julia_09/Sharing.jar 5158128 YES 3.72/1.69
Java_Bytecode/Costa_Julia_09/costa09-example_4.jar 5158129 YES 4.00/1.75
Java_Bytecode/Costa_Julia_09/BubbleSort.jar 5158130 YES 10.40/3.63
Java_Bytecode/Costa_Julia_09/KnapsackDP.jar 5158131 YES 23.09/7.07
Java_Bytecode/Costa_Julia_09/Exc2.jar 5158132 NO 5.75/2.35
Java_Bytecode/Costa_Julia_09/Loop1.jar 5158133 YES 5.65/2.25
Java_Bytecode/Costa_Julia_09/costa09-example_3.jar 5158134 YES 4.00/1.82
Java_Bytecode/Costa_Julia_09/Diff.jar 5158135 YES 5.20/2.14
Java_Bytecode/Costa_Julia_09/LinkedList.jar 5158136 YES 10.09/3.43
Java_Bytecode/Costa_Julia_09/Init.jar 5158137 NO 3.62/1.66
Java_Bytecode/Costa_Julia_09/costa09-example_1.jar 5158138 YES 7.03/2.73
Java_Bytecode/Costa_Julia_09/Exc3.jar 5158139 YES 4.86/2.13
Java_Bytecode/Costa_Julia_09/Nested.jar 5158140 YES 5.39/2.30
Java_Bytecode/Costa_Julia_09/Exc5.jar 5158141 YES 4.61/1.98
Java_Bytecode/Costa_Julia_09/costa09-example_5.jar 5158142 NO 4.54/1.98
Java_Bytecode/Costa_Julia_09/Continue1.jar 5158143 YES 4.44/1.99
Java_Bytecode/Costa_Julia_09/Exc1.jar 5158144 NO 5.55/2.32
Java_Bytecode/Costa_Julia_09/Continue.jar 5158145 NO 4.33/2.60
Java_Bytecode/Costa_Julia_09/Exc.jar 5158146 YES 4.35/2.01
Java_Bytecode/Costa_Julia_09/Break.jar 5158147 YES 3.83/1.75
Java_Bytecode/Costa_Julia_09/Exc4.jar 5158148 NO 5.90/2.35
Java_Bytecode/Costa_Julia_09/costa09-example_2.jar 5158149 YES 6.23/2.51
Java_Bytecode/Costa_Julia_09/Sequence.jar 5158150 YES 4.88/2.04
Java_Bytecode/Costa_Julia_09/CyclicalListDuplicate.jar 5158151 NO 6.12/2.45
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-whileNested.jar 5158071 NO 5.35/2.19
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-doubleNeg.jar 5158072 run script error [out]
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-trueDiv.jar 5158073 NO 4.83/2.05
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-whileIncr.jar 5158074 NO 4.86/2.01
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-moduloLower.jar 5158075 run script error [out]
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-whilePart.jar 5158076 run script error [out]
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-ex06.jar 5158077 NO 5.48/2.23
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-upAndDown.jar 5158078 NO 6.70/2.62
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-whileTrue.jar 5158079 NO 4.40/1.89
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-gauss.jar 5158080 NO 5.91/2.37
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-mirrorIntervSim.jar 5158081 NO 5.84/2.35
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-marbie2.jar 5158082 run script error [out]
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-alternDivWide.jar 5158083 run script error [out]
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-ex04.jar 5158084 NO 4.52/1.95
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-narrowing.jar 5158085 NO 28.77/8.41
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-whileSingle.jar 5158086 NO 4.82/2.13
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-ex03.jar 5158087 NO 5.12/2.16
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-ex01.jar 5158088 NO 5.94/2.42
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-sunset.jar 5158089 NO 5.90/2.33
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-narrowKonv.jar 5158090 NO 8.03/2.91
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-lcm.jar 5158091 NO 8.88/3.14
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-collatz.jar 5158092 run script error [out]
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-moduloUp.jar 5158093 NO 4.84/2.10
Java_Bytecode/BSOG_FoVeOOS_11/NonPeriodicNonterm2.jar 5158094 NO 6.21/2.52
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-whileDecr.jar 5158095 YES 5.40/2.28
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-whileSum.jar 5158096 run script error [out]
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-convLower.jar 5158097 NO 4.47/2.17
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-complxStruc.jar 5158098 NO 11.25/3.94
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-ex07.jar 5158099 NO 5.79/2.26
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-middle.jar 5158100 NO 7.24/2.82
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-whileIncrPart.jar 5158101 NO 5.09/2.14
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-marbie1.jar 5158102 NO 4.67/2.05
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-mirrorInterv.jar 5158103 NO 10.25/3.44
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-whileNestedOffset.jar 5158104 NO 5.71/2.33
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-whileBreak.jar 5158105 NO 6.18/2.49
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-even.jar 5158106 NO 5.57/2.28
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-factorial.jar 5158107 NO 7.38/2.79
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-complInterv2.jar 5158108 NO 4.88/2.02
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-alternKonv.jar 5158109 run script error [out]
Java_Bytecode/BSOG_FoVeOOS_11/LoopingNonterm.jar 5158110 NO 4.98/2.07
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-ex05.jar 5158111 NO 3.62/1.65
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-alternDiv.jar 5158112 NO 5.31/2.24
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-flip.jar 5158113 NO 5.37/2.15
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-ex09half.jar 5158114 NO 5.18/2.14
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-flip2.jar 5158115 NO 5.69/2.36
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-ex08.jar 5158116 NO 7.01/2.62
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-twoFloatInterv.jar 5158117 NO 8.01/2.91
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-complInterv3.jar 5158118 NO 4.88/2.04
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-alternDivWidening.jar 5158119 NO 14.19/4.74
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-complInterv.jar 5158120 NO 4.83/2.05
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-upAndDownIneq.jar 5158123 NO 7.15/2.79
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-cousot.jar 5158124 NO 5.78/2.37
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-fib.jar 5158125 NO 6.44/2.50
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-ex02.jar 5158126 NO 4.31/1.90
Java_Bytecode/BSOG_FoVeOOS_11/Velroyen08-plait.jar 5158127 NO 10.03/3.46
Java_Bytecode/Java_Util/juLinkedListCreatePop.jar 5158181 YES 15.76/5.16
Java_Bytecode/Java_Util/juLinkedListCreateContainsAll.jar 5158182 run script error [out]
Java_Bytecode/Java_Util/juHashMapCreateHashCode.jar 5158183 YES 54.10/17.52
Java_Bytecode/Java_Util/juLinkedListCreateOffer.jar 5158184 YES 17.46/5.75
Java_Bytecode/Java_Util/juLinkedListCreateAddAllAt.jar 5158185 YES 61.06/19.15
Java_Bytecode/Java_Util/juLinkedListCreateAddAt.jar 5158186 YES 22.95/7.45
Java_Bytecode/Java_Util/juLinkedListCreateIndexOf.jar 5158187 YES 35.37/10.53
Java_Bytecode/Java_Util/juHashMapCreate.jar 5158188 YES 23.81/7.36
Java_Bytecode/Java_Util/juLinkedListCreateGetLast.jar 5158190 YES 13.50/4.38
Java_Bytecode/Java_Util/juLinkedListCreateRemoveLastOccurrence.jar 5158191 YES 35.11/11.77
Java_Bytecode/Java_Util/juLinkedListCreateEquals.jar 5158192 run script error [out]
Java_Bytecode/Java_Util/juLinkedListCreate.jar 5158193 YES 10.98/3.77
Java_Bytecode/Java_Util/juHashMapCreateIteratorEntryLoop.jar 5158194 YES 33.76/10.23
Java_Bytecode/Java_Util/juLinkedListCreateSubList.jar 5158195 YES 15.98/5.61
Java_Bytecode/Java_Util/juHashMapCreatePut.jar 5158196 YES 26.72/8.47
Java_Bytecode/Java_Util/juLinkedListCreateSet.jar 5158197 run script error [out]
Java_Bytecode/Java_Util/juLinkedListCreateAdd.jar 5158198 YES 17.68/6.24
Java_Bytecode/Java_Util/juLinkedListCreateGet.jar 5158199 YES 12.31/4.05
Java_Bytecode/Java_Util/juHashMapCreateSize.jar 5158200 run script error [out]
Java_Bytecode/Java_Util/juLinkedListCreateIsEmpty.jar 5158202 YES 14.78/5.50
Java_Bytecode/Java_Util/juLinkedListCreateAddLast.jar 5158203 YES 16.34/5.30
Java_Bytecode/Java_Util/juLinkedListCreateAddFirst.jar 5158204 YES 16.44/5.30
Java_Bytecode/Java_Util/juLinkedListCreatePoll.jar 5158205 YES 16.15/5.46
Java_Bytecode/Java_Util/juHashMapCreateIteratorKeyLoop.jar 5158206 YES 29.30/11.33
Java_Bytecode/Java_Util/juLinkedListCreateRemoveAt.jar 5158207 YES 23.18/7.61
Java_Bytecode/Java_Util/juLinkedListCreateIteratorLoop.jar 5158208 YES 26.84/10.11
Java_Bytecode/Java_Util/juLinkedListCreateLastIndexOf.jar 5158209 YES 37.10/13.93
Java_Bytecode/Java_Util/juLinkedListCreateRetainAll.jar 5158210 run script error [out]
Java_Bytecode/Java_Util/juLinkedListCreateGetFirst.jar 5158211 YES 15.68/5.77
Java_Bytecode/Java_Util/juLinkedListCreateOfferFirst.jar 5158212 YES 17.70/5.84
Java_Bytecode/Java_Util/juLinkedListCreateSize.jar 5158213 YES 10.42/3.49
Java_Bytecode/Java_Util/juLinkedListCreatePollFirst.jar 5158214 YES 15.61/5.14
Java_Bytecode/Java_Util/juHashMapCreateContainsKey.jar 5158215 YES 25.58/7.82
Java_Bytecode/Java_Util/juLinkedListCreateToArray.jar 5158216 run script error [out]
Java_Bytecode/Java_Util/juLinkedListCreatePush.jar 5158217 YES 17.79/6.00
Java_Bytecode/Java_Util/juHashMapCreateEquals.jar 5158218 MAYBE 7.68/2.87
Java_Bytecode/Java_Util/juLinkedListCreatePeek.jar 5158219 YES 14.05/4.52
Java_Bytecode/Java_Util/juLinkedListCreateHashCode.jar 5158220 YES 24.30/11.87
Java_Bytecode/Java_Util/juLinkedListCreateRemove.jar 5158221 YES 18.97/6.00
Java_Bytecode/Java_Util/juHashMapCreateRemove.jar 5158222 YES 28.29/8.76
Java_Bytecode/Java_Util/juLinkedListCreateElement.jar 5158223 YES 13.94/4.55
Java_Bytecode/Java_Util/juHashMapCreateIteratorValueLoop.jar 5158224 YES 31.97/13.34
Java_Bytecode/Java_Util/juHashMapCreateIsEmpty.jar 5158225 YES 26.09/8.23
Java_Bytecode/Java_Util/juHashMapCreatePutAll.jar 5158226 MAYBE 7.90/2.89
Java_Bytecode/Java_Util/juLinkedListCreateClear.jar 5158227 YES 16.15/5.50
Java_Bytecode/Java_Util/juLinkedListCreatePollLast.jar 5158228 YES 17.98/6.05
Java_Bytecode/Java_Util/juLinkedListCreateRemoveFirstOccurrence.jar 5158229 YES 37.92/14.92
Java_Bytecode/Java_Util/juLinkedListCreateRemoveAll.jar 5158230 run script error [out]
Java_Bytecode/Java_Util/juLinkedListCreateRemoveRange.jar 5158231 YES 48.59/17.82
Java_Bytecode/Java_Util/juLinkedListCreatePeekFirst.jar 5158232 YES 13.68/4.56
Java_Bytecode/Java_Util/juHashMapCreateClear.jar 5158233 run script error [out]
Java_Bytecode/Java_Util/juLinkedListCreatePeekLast.jar 5158234 YES 13.85/4.52
Java_Bytecode/Java_Util/juLinkedListCreateRemoveFirst.jar 5158235 YES 16.01/5.30
Java_Bytecode/Java_Util/juLinkedListCreateListIteratorLoop.jar 5158236 YES 22.27/6.99
Java_Bytecode/Java_Util/juLinkedListCreateOfferLast.jar 5158237 YES 16.70/5.78
Java_Bytecode/Java_Util/juLinkedListCreateDescendingIteratorLoop.jar 5158238 YES 24.18/7.72
Java_Bytecode/Java_Util/juLinkedListCreateContains.jar 5158240 YES 39.52/13.62
Java_Bytecode/Java_Util/juHashMapCreateGet.jar 5158241 YES 27.84/11.88
Java_Bytecode/Java_Util/juHashMapCreateContainsValue.jar 5158242 YES 29.28/12.53
Java_Bytecode/Fuhs_13/Kernel68.jar 5158058 YES 21.53/7.86
Java_Bytecode/Fuhs_13/RandomHard.jar 5158059 MAYBE 24.97/12.11
Java_Bytecode/Fuhs_13/Kernel95.jar 5158060 YES 12.10/4.14
Java_Bytecode/Fuhs_13/Kernel93.jar 5158061 MAYBE 12.25/3.99
Java_Bytecode/Fuhs_13/MultiLasso.jar 5158062 MAYBE 21.36/7.97
Java_Bytecode/Fuhs_13/UnionFindIterative.jar 5158063 run script error [out]
Java_Bytecode/Fuhs_13/Kernel88.jar 5158064 YES 9.88/3.48
Java_Bytecode/AProVE_10_iterative/IntPath.jar 5158152 YES 4.39/2.02
Java_Bytecode/AProVE_10_iterative/IntRTA.jar 5158153 YES 6.47/2.60
Java_Bytecode/AProVE_10_iterative/DuplicateTreePath.jar 5158154 YES 13.47/4.92
Java_Bytecode/AProVE_10_iterative/CyclicList.jar 5158155 YES 6.84/2.66
Java_Bytecode/AProVE_10_iterative/CyclicPair2.jar 5158156 YES 4.05/1.88
Java_Bytecode/AProVE_10_iterative/IntPath2.jar 5158157 YES 4.12/1.83
Java_Bytecode/AProVE_10_iterative/NestedLoop.jar 5158158 YES 9.63/3.40
Java_Bytecode/AProVE_10_iterative/AG313.jar 5158159 YES 6.69/2.50
Java_Bytecode/AProVE_10_iterative/SharingPair.jar 5158160 YES 4.02/1.79
Java_Bytecode/AProVE_10_iterative/TypeSwitch.jar 5158161 YES 3.96/2.78
Java_Bytecode/AProVE_10_iterative/FlattenRTA.jar 5158162 YES 14.79/4.85
Java_Bytecode/AProVE_10_iterative/CyclicPair.jar 5158163 YES 3.90/1.72
Java_Bytecode/AProVE_10_iterative/NullPair.jar 5158164 YES 3.85/1.73
Java_Bytecode/AProVE_10_iterative/ArrayClasses.jar 5158165 YES 4.30/1.97
Java_Bytecode/Aprove_09/PastaC9.jar 5158272 YES 8.15/2.92
Java_Bytecode/Aprove_09/PastaC10.jar 5158273 YES 6.83/2.58
Java_Bytecode/Aprove_09/PastaA10.jar 5158274 YES 10.06/3.92
Java_Bytecode/Aprove_09/Convert.jar 5158275 YES 11.11/3.84
Java_Bytecode/Aprove_09/PastaC2.jar 5158276 YES 6.68/2.68
Java_Bytecode/Aprove_09/LogMult.jar 5158277 YES 8.84/3.14
Java_Bytecode/Aprove_09/PastaC7.jar 5158278 YES 5.75/2.30
Java_Bytecode/Aprove_09/DivMinus2.jar 5158279 YES 7.89/2.94
Java_Bytecode/Aprove_09/Flatten.jar 5158280 YES 15.52/5.02
Java_Bytecode/Aprove_09/ListContent.jar 5158281 YES 7.77/2.82
Java_Bytecode/Aprove_09/PastaB12.jar 5158282 YES 7.54/2.81
Java_Bytecode/Aprove_09/CountUpRound.jar 5158283 YES 8.06/2.91
Java_Bytecode/Aprove_09/MinusBuiltIn.jar 5158284 YES 5.74/2.30
Java_Bytecode/Aprove_09/GCD2.jar 5158285 YES 8.47/3.06
Java_Bytecode/Aprove_09/PlusSwap.jar 5158286 YES 5.92/2.34
Java_Bytecode/Aprove_09/PastaA6.jar 5158287 YES 6.50/2.47
Java_Bytecode/Aprove_09/ListContentArbitrary.jar 5158288 YES 7.89/2.98
Java_Bytecode/Aprove_09/PastaB8.jar 5158289 YES 8.12/3.04
Java_Bytecode/Aprove_09/PastaB2.jar 5158290 YES 5.70/2.40
Java_Bytecode/Aprove_09/PastaB3.jar 5158291 run script error [out]
Java_Bytecode/Aprove_09/Overflow.jar 5158292 YES 5.68/2.37
Java_Bytecode/Aprove_09/PastaB15.jar 5158293 YES 6.72/2.60
Java_Bytecode/Aprove_09/PastaB1.jar 5158294 YES 5.61/2.26
Java_Bytecode/Aprove_09/PastaC1.jar 5158295 YES 7.41/2.87
Java_Bytecode/Aprove_09/DivWithoutMinus.jar 5158296 YES 8.14/3.37
Java_Bytecode/Aprove_09/Round3.jar 5158297 YES 9.37/3.33
Java_Bytecode/Aprove_09/Samefringe.jar 5158298 run script error [out]
Java_Bytecode/Aprove_09/PastaB10.jar 5158299 YES 8.33/3.01
Java_Bytecode/Aprove_09/PastaB5.jar 5158300 YES 5.92/2.36
Java_Bytecode/Aprove_09/PastaB4.jar 5158301 YES 4.48/2.08
Java_Bytecode/Aprove_09/DivMinus.jar 5158302 YES 6.08/2.51
Java_Bytecode/Aprove_09/MinusMin.jar 5158303 YES 6.57/2.53
Java_Bytecode/Aprove_09/CountMetaList.jar 5158304 YES 10.26/3.51
Java_Bytecode/Aprove_09/LogAG.jar 5158305 run script error [out]
Java_Bytecode/Aprove_09/Count.jar 5158306 YES 15.28/5.38
Java_Bytecode/Aprove_09/LogIterative.jar 5158307 YES 7.13/2.82
Java_Bytecode/Aprove_09/FlattenTree.jar 5158308 YES 13.79/8.50
Java_Bytecode/Aprove_09/PastaB6.jar 5158309 YES 6.01/2.43
Java_Bytecode/Aprove_09/PastaA9.jar 5158310 YES 6.65/2.50
Java_Bytecode/Aprove_09/PastaA5.jar 5158311 YES 5.94/2.33
Java_Bytecode/Aprove_09/PastaB7.jar 5158312 YES 6.08/2.36
Java_Bytecode/Aprove_09/PastaA8.jar 5158313 YES 5.95/2.44
Java_Bytecode/Aprove_09/PastaB11.jar 5158314 YES 9.92/3.48
Java_Bytecode/Aprove_09/LessLeaves.jar 5158315 YES 15.44/5.22
Java_Bytecode/Aprove_09/MinusUserDefined.jar 5158316 MAYBE 21.83/8.46
Java_Bytecode/Aprove_09/GCD3.jar 5158317 YES 6.71/2.63
Java_Bytecode/Aprove_09/PastaC11.jar 5158318 YES 7.35/2.71
Java_Bytecode/Aprove_09/GCD5.jar 5158320 YES 6.54/2.57
Java_Bytecode/Aprove_09/GCD.jar 5158321 YES 8.78/3.15
Java_Bytecode/Aprove_09/AProVEMath.jar 5158322 YES 10.67/4.57
Java_Bytecode/Aprove_09/Mod.jar 5158323 run script error [out]
Java_Bytecode/Aprove_09/Take.jar 5158324 YES 6.28/2.48
Java_Bytecode/Aprove_09/LogBuiltIn.jar 5158325 YES 7.69/2.97
Java_Bytecode/Aprove_09/StupidArray.jar 5158326 YES 5.54/2.22
Java_Bytecode/Aprove_09/DuplicateNodes.jar 5158328 YES 12.78/4.40
Java_Bytecode/Aprove_09/ListDuplicate.jar 5158331 YES 7.91/2.97
Java_Bytecode/Aprove_09/PastaB18.jar 5158332 YES 7.74/2.99
Java_Bytecode/Aprove_09/PastaA4.jar 5158333 YES 5.78/2.38
Java_Bytecode/Aprove_09/Shuffle.jar 5158334 YES 9.68/3.33
Java_Bytecode/Aprove_09/PastaB13.jar 5158337 YES 7.92/2.93
Java_Bytecode/Aprove_09/PastaB17.jar 5158339 YES 7.39/2.82
Java_Bytecode/Aprove_09/RunningPointers.jar 5158340 YES 7.41/2.71
Java_Bytecode/Aprove_09/PastaA1.jar 5158341 YES 8.72/3.33
Java_Bytecode/Aprove_09/McCarthyIterative.jar 5158342 YES 6.63/2.55
Java_Bytecode/Aprove_09/GCD4.jar 5158343 YES 7.38/2.88
Java_Bytecode/Aprove_09/PastaC5.jar 5158344 YES 12.28/6.14
Java_Bytecode/Aprove_09/ListContentTail.jar 5158345 YES 9.95/3.43
Java_Bytecode/Aprove_09/PastaB16.jar 5158346 YES 7.95/2.93
Java_Bytecode/Aprove_09/PastaB14.jar 5158347 YES 6.61/2.60
Java_Bytecode/BMOG_CAV_12/AProVE12-cyclic-Visit.jar 5158266 YES 7.67/2.80
Java_Bytecode/BMOG_CAV_12/AProVE12-cyclic-Iterate.jar 5158267 YES 7.84/2.87
Java_Bytecode/BMOG_CAV_12/ListReverseCyclicList.jar 5158268 YES 10.07/3.62
Java_Bytecode/BMOG_CAV_12/AProVE12-cyclic-Length.jar 5158269 YES 7.93/2.85
Java_Bytecode/BMOG_CAV_12/ListReverseAcyclicList.jar 5158270 YES 6.28/2.51
Java_Bytecode/BMOG_CAV_12/ListReversePanhandleList.jar 5158271 YES 9.69/3.45
Java_Bytecode/AProVE_11_iterative/ArrayObjects.jar 5158048 YES 3.75/1.72
Java_Bytecode/AProVE_11_iterative/CyclicAnalysis.jar 5158049 YES 8.25/3.15
Java_Bytecode/AProVE_11_iterative/RetVal.jar 5158050 YES 3.87/1.73
Java_Bytecode/AProVE_11_iterative/ArrayPrimitives.jar 5158051 YES 4.49/2.09
Java_Bytecode/AProVE_11_iterative/TreeLeftmostPath.jar 5158052 YES 13.51/4.45
Java_Bytecode/AProVE_11_iterative/SharingAnalysis.jar 5158053 YES 7.56/2.90
Java_Bytecode/AProVE_11_iterative/TreeLeftmostDepth.jar 5158054 YES 13.27/4.44
Java_Bytecode/AProVE_11_iterative/AlternatingGrowReduce2.jar 5158055 YES 8.28/3.14
Java_Bytecode/AProVE_11_iterative/ClassAnalysis.jar 5158056 YES 5.12/2.19
Java_Bytecode/AProVE_11_iterative/AlternatingGrowReduce.jar 5158057 YES 8.94/3.28
Java_Bytecode_Recursive/BOG_RTA_11/EqUserDefRec.jar 5152520 YES 6.78/2.54
Java_Bytecode_Recursive/BOG_RTA_11/MainFind.jar 5152521 YES 13.12/4.94
Java_Bytecode_Recursive/BOG_RTA_11/AppE.jar 5152522 YES 9.15/3.19
Java_Bytecode_Recursive/BOG_RTA_11/DupTreeRec.jar 5152523 YES 16.79/5.45
Java_Bytecode_Recursive/BOG_RTA_11/Fibonacci.jar 5152524 YES 15.65/7.52
Java_Bytecode_Recursive/BOG_RTA_11/FlattenTreeRec.jar 5152525 YES 15.75/4.98
Java_Bytecode_Recursive/BOG_RTA_11/Alternate.jar 5152526 YES 21.81/6.98
Java_Bytecode_Recursive/BOG_RTA_11/TwoWay.jar 5152528 YES 7.09/2.59
Java_Bytecode_Recursive/BOG_RTA_11/Avg.jar 5152529 YES 8.48/3.11
Java_Bytecode_Recursive/BOG_RTA_11/CountMetaListRec.jar 5152530 YES 13.50/4.58
Java_Bytecode_Recursive/BOG_RTA_11/GrowTreeR.jar 5152531 YES 14.87/4.87
Java_Bytecode_Recursive/BOG_RTA_11/TerminatorRec04.jar 5152532 NO 6.16/2.37
Java_Bytecode_Recursive/BOG_RTA_11/SearchTreeR.jar 5152533 YES 10.36/3.56
Java_Bytecode_Recursive/BOG_RTA_11/LessLeavesRec.jar 5152534 YES 29.49/9.17
Java_Bytecode_Recursive/BOG_RTA_11/TerminatorRec02.jar 5152535 YES 6.07/3.22
Java_Bytecode_Recursive/BOG_RTA_11/MirrorMultiTreeRec.jar 5152536 YES 21.78/7.66
Java_Bytecode_Recursive/BOG_RTA_11/IntListDupRec.jar 5152537 YES 10.84/4.04
Java_Bytecode_Recursive/BOG_RTA_11/QuicksortRec.jar 5152538 YES 15.69/5.33
Java_Bytecode_Recursive/BOG_RTA_11/LogRecursive.jar 5152539 YES 8.58/3.07
Java_Bytecode_Recursive/BOG_RTA_11/DivMinus.jar 5152540 YES 13.25/4.62
Java_Bytecode_Recursive/BOG_RTA_11/CAppE.jar 5152541 YES 8.34/3.45
Java_Bytecode_Recursive/BOG_RTA_11/DivTernary.jar 5152542 YES 20.89/7.69
Java_Bytecode_Recursive/BOG_RTA_11/Gopher.jar 5152543 YES 13.35/4.49
Java_Bytecode_Recursive/BOG_RTA_11/MirrorBinTreeRec.jar 5152544 YES 19.98/6.30
Java_Bytecode_Recursive/BOG_RTA_11/IntListSumRec.jar 5152545 YES 9.53/3.32
Java_Bytecode_Recursive/BOG_RTA_11/Count.jar 5152546 YES 22.72/7.65
Java_Bytecode_Recursive/BOG_RTA_11/FlattenTreeListRec.jar 5152547 YES 19.74/8.87
Java_Bytecode_Recursive/BOG_RTA_11/BinTreeChanger.jar 5152548 YES 14.84/5.12
Java_Bytecode_Recursive/BOG_RTA_11/ConvertRec.jar 5152549 YES 14.69/5.42
Java_Bytecode_Recursive/BOG_RTA_11/TerminatorRec01.jar 5152550 run script error [out]
Java_Bytecode_Recursive/BOG_RTA_11/MainDelete.jar 5152551 YES 11.73/4.73
Java_Bytecode_Recursive/BOG_RTA_11/LeUserDefRec.jar 5152552 YES 7.41/2.73
Java_Bytecode_Recursive/BOG_RTA_11/Norm.jar 5152553 run script error [out]
Java_Bytecode_Recursive/BOG_RTA_11/MainMove.jar 5152554 YES 17.30/5.54
Java_Bytecode_Recursive/BOG_RTA_11/Shuffle.jar 5152555 YES 13.16/4.45
Java_Bytecode_Recursive/BOG_RTA_11/TimesPlusUserDef.jar 5152556 YES 9.64/3.48
Java_Bytecode_Recursive/BOG_RTA_11/Main.jar 5152557 run script error [out]
Java_Bytecode_Recursive/BOG_RTA_11/Nest.jar 5152558 YES 7.37/2.71
Java_Bytecode_Recursive/BOG_RTA_11/AProVEMathRecursive.jar 5152559 YES 12.87/4.40
Java_Bytecode_Recursive/BOG_RTA_11/MainCopy.jar 5152560 YES 12.67/4.15
Java_Bytecode_Recursive/BOG_RTA_11/AProVERec01.jar 5152561 YES 7.08/2.60
Java_Bytecode_Recursive/BOG_RTA_11/TerminatorRec03.jar 5152562 NO 4.65/2.03
Java_Bytecode_Recursive/AProVE_11_recursive/RotateTree.jar 5152509 YES 21.81/7.77
Java_Bytecode_Recursive/AProVE_11_recursive/ClassAnalysisRec.jar 5152510 YES 7.27/2.76
Java_Bytecode_Recursive/AProVE_11_recursive/UnionFind.jar 5152511 run script error [out]
Java_Bytecode_Recursive/AProVE_11_recursive/TermsCreateMatch.jar 5152512 YES 24.03/8.96
Java_Bytecode_Recursive/AProVE_11_recursive/AlternatingGrowReduceRec.jar 5152513 run script error [out]
Java_Bytecode_Recursive/AProVE_11_recursive/RetValRec.jar 5152514 YES 4.42/2.03
Java_Bytecode_Recursive/AProVE_11_recursive/AlternatingGrowReduceRec2.jar 5152515 YES 14.43/5.18
Java_Bytecode_Recursive/AProVE_11_recursive/TermCreateCollect.jar 5152516 YES 16.57/5.29
Java_Bytecode_Recursive/AProVE_11_recursive/BinarySearch.jar 5152517 YES 18.53/5.93
Java_Bytecode_Recursive/AProVE_11_recursive/SharingAnalysisRec.jar 5152518 YES 9.46/3.36
Java_Bytecode_Recursive/AProVE_11_recursive/CyclicAnalysisRec.jar 5152519 YES 8.96/3.17
Java_Bytecode_Recursive/Julia_10_Recursive/BubbleSortR.jar 5152587 YES 13.90/4.61
Java_Bytecode_Recursive/Julia_10_Recursive/FibSLR.jar 5152588 YES 9.73/3.42
Java_Bytecode_Recursive/Julia_10_Recursive/Sudoku.jar 5152589 YES 41.59/15.46
Java_Bytecode_Recursive/Julia_10_Recursive/Test4.jar 5152590 YES 221.97/64.67
Java_Bytecode_Recursive/Julia_10_Recursive/Test12.jar 5152591 YES 15.42/4.84
Java_Bytecode_Recursive/Julia_10_Recursive/Test1.jar 5152592 YES 11.40/3.79
Java_Bytecode_Recursive/Julia_10_Recursive/Test10.jar 5152593 YES 8.09/3.03
Java_Bytecode_Recursive/Julia_10_Recursive/Test6.jar 5152594 YES 79.70/36.42
Java_Bytecode_Recursive/Julia_10_Recursive/Power.jar 5152595 YES 13.45/4.39
Java_Bytecode_Recursive/Julia_10_Recursive/FactSLR.jar 5152596 YES 9.53/3.27
Java_Bytecode_Recursive/Julia_10_Recursive/BTreeR.jar 5152597 YES 11.23/3.88
Java_Bytecode_Recursive/Julia_10_Recursive/HanR.jar 5152598 YES 9.18/3.30
Java_Bytecode_Recursive/Julia_10_Recursive/Recursions.jar 5152599 YES 10.47/3.61
Java_Bytecode_Recursive/Julia_10_Recursive/TicTacToe.jar 5152600 run script error [out]
Java_Bytecode_Recursive/Julia_10_Recursive/Nim.jar 5152601 run script error [out]
Java_Bytecode_Recursive/Julia_10_Recursive/Matrix.jar 5152602 run script error [out]
Java_Bytecode_Recursive/Julia_10_Recursive/WorkingSignals.jar 5152603 YES 438.22/113.82
Java_Bytecode_Recursive/Julia_10_Recursive/Test8.jar 5152604 YES 14.37/4.72
Java_Bytecode_Recursive/Julia_10_Recursive/AckR.jar 5152605 YES 9.05/3.22
Java_Bytecode_Recursive/Julia_10_Recursive/MergeSort.jar 5152606 YES 18.18/5.77
Java_Bytecode_Recursive/Costa_Julia_09-recursive/Double2.jar 5152564 YES 5.79/2.31
Java_Bytecode_Recursive/Costa_Julia_09-recursive/BinarySearchTree.jar 5152565 YES 4.17/2.57
Java_Bytecode_Recursive/Costa_Julia_09-recursive/Hanoi.jar 5152566 YES 4.75/1.99
Java_Bytecode_Recursive/Costa_Julia_09-recursive/Ackermann.jar 5152567 YES 9.55/3.42
Java_Bytecode_Recursive/Costa_Julia_09-recursive/Virtual.jar 5152568 YES 5.16/2.16
Java_Bytecode_Recursive/Costa_Julia_09-recursive/Double.jar 5152569 YES 7.92/2.92
Java_Bytecode_Recursive/Costa_Julia_09-recursive/FactSum.jar 5152570 YES 4.41/1.88
Java_Bytecode_Recursive/Costa_Julia_09-recursive/TestJulia7.jar 5152571 run script error [out]
Java_Bytecode_Recursive/Costa_Julia_09-recursive/Double3.jar 5152572 YES 5.81/2.28
Java_Bytecode_Recursive/Costa_Julia_09-recursive/Domino.jar 5152573 run script error [out]
Java_Bytecode_Recursive/Costa_Julia_09-recursive/MysteriousProgram.jar 5152574 run script error [out]
Java_Bytecode_Recursive/Costa_Julia_09-recursive/ListInt.jar 5152575 YES 4.19/1.90
Java_Bytecode_Recursive/Costa_Julia_09-recursive/FactSumList.jar 5152576 YES 3.72/1.68
Java_Bytecode_Recursive/Costa_Julia_09-recursive/Factorial.jar 5152577 YES 3.85/1.74
Java_Bytecode_Recursive/Costa_Julia_09-recursive/List.jar 5152578 YES 4.01/1.78
Java_Bytecode_Recursive/Costa_Julia_09-recursive/PartitionList.jar 5152579 YES 82.58/38.92
Java_Bytecode_Recursive/Costa_Julia_09-recursive/BTree.jar 5152580 YES 4.91/3.13
Java_Bytecode_Recursive/Costa_Julia_09-recursive/TestJulia6.jar 5152581 NO 5.00/2.06
Java_Bytecode_Recursive/Costa_Julia_09-recursive/Queen.jar 5152582 YES 15.74/5.58
Java_Bytecode/Julia_11_iterative/NO_24.jar 5158243 NO 4.85/2.13
Java_Bytecode/Julia_11_iterative/Loop.jar 5158244 NO 4.39/1.94
Java_Bytecode/Julia_11_iterative/ChooseLife.jar 5158245 NO 7.71/2.84
Java_Bytecode/Julia_11_iterative/NO_11.jar 5158246 NO 5.94/2.35
Java_Bytecode/Julia_11_iterative/NO_21.jar 5158247 NO 4.46/1.91
Java_Bytecode/Julia_11_iterative/NO_00.jar 5158248 NO 4.43/2.56
Java_Bytecode/Julia_11_iterative/NO_04.jar 5158249 NO 5.14/2.16
Java_Bytecode/Julia_11_iterative/Swingers.jar 5158250 NO 4.65/2.07
Java_Bytecode/Julia_11_iterative/TaylorSeriesIte.jar 5158251 YES 15.67/8.35
Java_Bytecode/Julia_11_iterative/Distances.jar 5158252 YES 219.98/174.91
Java_Bytecode/Julia_11_iterative/NO_10.jar 5158253 NO 4.82/2.05
Java_Bytecode/Julia_11_iterative/NO_20.jar 5158254 NO 3.63/1.71
Java_Bytecode/Julia_11_iterative/NO_01.jar 5158255 NO 4.49/2.03
Java_Bytecode/Julia_11_iterative/NO_05.jar 5158256 NO 13.94/4.40
Java_Bytecode/Julia_11_iterative/Continue.jar 5158257 NO 4.39/2.01
Java_Bytecode/Julia_11_iterative/NO_23.jar 5158258 NO 6.20/2.46
Java_Bytecode/Julia_11_iterative/NO_12.jar 5158259 NO 5.25/2.19
Java_Bytecode/Julia_11_iterative/NO_03.jar 5158260 NO 4.49/1.97
Java_Bytecode/Julia_11_iterative/Choose.jar 5158261 NO 4.72/2.05
Java_Bytecode/Julia_11_iterative/NO_06.jar 5158262 NO 4.29/1.91
Java_Bytecode/Julia_11_iterative/NO_22.jar 5158264 NO 8.61/3.07
Java_Bytecode/Julia_11_iterative/NO_13.jar 5158265 NO 9.93/3.53
Java_Bytecode/Julia_10_Iterative/Graph.jar 5158166 run script error [out]
Java_Bytecode/Julia_10_Iterative/Infix2Postfix.jar 5158167 YES 19.92/6.65
Java_Bytecode/Julia_10_Iterative/Test9.jar 5158168 YES 7.83/2.98
Java_Bytecode/Julia_10_Iterative/NonPeriodic.jar 5158169 YES 3.89/1.83
Java_Bytecode/Julia_10_Iterative/TriTas.jar 5158170 YES 14.16/4.70
Java_Bytecode/Julia_10_Iterative/Test7.jar 5158171 YES 10.53/3.68
Java_Bytecode/Julia_10_Iterative/Test3.jar 5158172 YES 15.13/4.93
Java_Bytecode/Julia_10_Iterative/Test11.jar 5158173 YES 12.57/4.37
Java_Bytecode/Julia_10_Iterative/Gauss.jar 5158174 run script error [out]
Java_Bytecode/Julia_10_Iterative/Iterations.jar 5158175 YES 13.58/4.44
Java_Bytecode/Julia_10_Iterative/RSA.jar 5158176 YES 27.27/8.20
Java_Bytecode/Julia_10_Iterative/Test13Loops.jar 5158177 NO 6.23/2.42
Java_Bytecode/Julia_10_Iterative/Test2.jar 5158178 YES 18.56/5.69
Java_Bytecode/Julia_10_Iterative/Test5.jar 5158179 YES 14.68/4.78
Java_Bytecode/Julia_10_Iterative/Carre.jar 5158180 YES 11.44/3.88
Java_Bytecode/Julia_12_iterative/Et2.jar 5158065 YES 8.93/3.14
Java_Bytecode/Julia_12_iterative/Et3.jar 5158066 YES 14.56/4.80
Java_Bytecode/Julia_12_iterative/Et1.jar 5158067 YES 9.63/3.41
Java_Bytecode/Julia_12_iterative/Et5.jar 5158068 YES 10.11/3.54
Java_Bytecode/Julia_12_iterative/Et4.jar 5158069 YES 20.41/7.97
Java_Bytecode/Julia_12_iterative/Et6.jar 5158070 YES 10.64/3.71
Java_Bytecode_Recursive/Julia_12_recursive/twoFloatInterv_rec.jar 5152607 NO 8.66/3.04
Java_Bytecode_Recursive/Julia_12_recursive/alternKonv_rec.jar 5152608 NO 5.03/2.06
Java_Bytecode_Recursive/Julia_12_recursive/complxStruc_rec.jar 5152609 NO 9.22/3.36
Java_Bytecode_Recursive/Julia_12_recursive/ex05_rec.jar 5152610 NO 4.24/1.90
Java_Bytecode_Recursive/Julia_12_recursive/Et6-rec.jar 5152611 YES 15.82/8.11
Java_Bytecode_Recursive/Julia_12_recursive/Et1-rec.jar 5152612 YES 10.56/3.77
Java_Bytecode_Recursive/Julia_12_recursive/upAndDownIneq_rec.jar 5152613 NO 8.42/3.12
Java_Bytecode_Recursive/Julia_12_recursive/ex08_rec.jar 5152614 NO 7.76/2.94
Java_Bytecode_Recursive/Julia_12_recursive/ex02_rec.jar 5152615 NO 4.53/1.96
Java_Bytecode_Recursive/Julia_12_recursive/sum_rec.jar 5152616 NO 5.84/2.23
Java_Bytecode_Recursive/Julia_12_recursive/Et5-rec.jar 5152617 YES 14.03/4.74
Java_Bytecode_Recursive/Julia_12_recursive/cousot_rec.jar 5152618 NO 5.83/2.29
Java_Bytecode_Recursive/Julia_12_recursive/narrowing_rec.jar 5152619 run script error [out]
Java_Bytecode_Recursive/Julia_12_recursive/ex06_rec.jar 5152620 NO 4.39/1.93
Java_Bytecode_Recursive/Julia_12_recursive/mirrorIntervSim_rec.jar 5152621 NO 8.06/2.91
Java_Bytecode_Recursive/Julia_12_recursive/whileNested_rec.jar 5152622 NO 5.42/2.27
Java_Bytecode_Recursive/Julia_12_recursive/alternDiv_rec.jar 5152623 NO 5.46/2.18
Java_Bytecode_Recursive/Julia_12_recursive/whileSingle_rec.jar 5152624 NO 4.47/1.96
Java_Bytecode_Recursive/Julia_12_recursive/ex04_rec.jar 5152625 NO 4.79/2.10
Java_Bytecode_Recursive/Julia_12_recursive/complInterv3_rec.jar 5152626 NO 4.43/2.53
Java_Bytecode_Recursive/Julia_12_recursive/sunset_rec.jar 5152627 NO 7.19/2.67
Java_Bytecode_Recursive/Julia_12_recursive/mirrorInterv_rec.jar 5152628 NO 6.23/2.49
Java_Bytecode_Recursive/Julia_12_recursive/whilePart_rec.jar 5152629 NO 4.49/2.11
Java_Bytecode_Recursive/Julia_12_recursive/BMOG_CAV_12_MarkingGraphVisitor.jar 5152630 MAYBE 23.42/7.34
Java_Bytecode_Recursive/Julia_12_recursive/sumGeneric2_rec.jar 5152631 NO 5.45/2.25
Java_Bytecode_Recursive/Julia_12_recursive/Et4-rec.jar 5152632 YES 15.82/5.60
Java_Bytecode_Recursive/Julia_12_recursive/middle_rec.jar 5152633 NO 6.90/2.88
Java_Bytecode_Recursive/Julia_12_recursive/upAndDown_rec.jar 5152634 NO 9.13/3.35
Java_Bytecode_Recursive/Julia_12_recursive/complInterv2_rec.jar 5152635 NO 4.56/2.07
Java_Bytecode_Recursive/Julia_12_recursive/alternDivWidening_rec.jar 5152636 NO 12.91/5.08
Java_Bytecode_Recursive/Julia_12_recursive/Et3-rec.jar 5152637 YES 11.74/4.15
Java_Bytecode_Recursive/Julia_12_recursive/trueDiv_rec.jar 5152638 NO 5.81/2.26
Java_Bytecode_Recursive/Julia_12_recursive/flip2_rec.jar 5152639 NO 7.99/3.01
Java_Bytecode_Recursive/Julia_12_recursive/alternDivWide_rec.jar 5152640 NO 6.41/2.56
Java_Bytecode_Recursive/Julia_12_recursive/ex03_rec.jar 5152641 NO 4.60/1.97
Java_Bytecode_Recursive/Julia_12_recursive/convLower_rec.jar 5152642 run script error [out]
Java_Bytecode_Recursive/Julia_12_recursive/even_rec.jar 5152643 NO 5.81/2.27
Java_Bytecode_Recursive/Julia_12_recursive/Et2-rec.jar 5152644 YES 9.82/3.49
Java_Bytecode_Recursive/Julia_12_recursive/ex07_rec.jar 5152645 NO 4.61/1.97
Java_Bytecode_Recursive/Julia_12_recursive/narrowKonv_rec.jar 5152646 NO 8.97/3.38
Java_Bytecode_Recursive/Julia_12_recursive/sumGeneric_rec.jar 5152647 NO 4.14/1.81
Java_Bytecode_Recursive/Julia_12_recursive/ex01_rec.jar 5152648 NO 5.55/2.24
Java_Bytecode_Recursive/Julia_12_recursive/whileNestedOffset_rec.jar 5152650 NO 5.32/2.18
Java_Bytecode_Recursive/Julia_11_recursive/Binomial.jar 5152583 YES 18.47/6.20
Java_Bytecode_Recursive/Julia_11_recursive/Parts.jar 5152584 YES 16.80/5.35
Java_Bytecode_Recursive/Julia_11_recursive/TaylorSeriesRec.jar 5152585 YES 26.59/8.03
Java_Bytecode_Recursive/Julia_11_recursive/Fractale1.jar 5152586 YES 8.87/4.40
383