Termination Competition 2019: Java Bytecode33571

Job info CSV
benchmark AProVE standard
Julia_11_iterative/NO_24.jar 5158243 NO 4.73/2.22
Julia_11_iterative/Loop.jar 5158244 NO 4.70/2.05
Julia_11_iterative/ChooseLife.jar 5158245 NO 7.46/2.83
Julia_11_iterative/NO_11.jar 5158246 NO 5.93/2.43
Julia_11_iterative/NO_21.jar 5158247 NO 4.31/2.06
Julia_11_iterative/NO_00.jar 5158248 NO 4.45/2.05
Julia_11_iterative/NO_04.jar 5158249 NO 4.75/2.13
Julia_11_iterative/Swingers.jar 5158250 NO 4.53/2.06
Julia_11_iterative/TaylorSeriesIte.jar 5158251 YES 16.14/5.34
Julia_11_iterative/Distances.jar 5158252 YES 201.90/164.30
Julia_11_iterative/NO_10.jar 5158253 NO 4.87/2.23
Julia_11_iterative/NO_20.jar 5158254 NO 3.59/1.92
Julia_11_iterative/NO_01.jar 5158255 NO 4.55/1.99
Julia_11_iterative/NO_05.jar 5158256 NO 13.42/5.06
Julia_11_iterative/Continue.jar 5158257 NO 4.35/2.68
Julia_11_iterative/NO_23.jar 5158258 NO 6.05/2.43
Julia_11_iterative/NO_12.jar 5158259 NO 5.31/2.29
Julia_11_iterative/NO_03.jar 5158260 NO 6.74/2.78
Julia_11_iterative/Choose.jar 5158261 NO 6.02/2.50
Julia_11_iterative/NO_06.jar 5158262 NO 4.42/2.08
Julia_11_iterative/NO_02.jar 5158263 NO 4.39/2.04
Julia_11_iterative/NO_22.jar 5158264 NO 8.74/3.13
Julia_11_iterative/NO_13.jar 5158265 NO 8.16/6.39
Julia_10_Iterative/Graph.jar 5158166 timeout (wallclock) [out]
Julia_10_Iterative/Infix2Postfix.jar 5158167 YES 20.73/6.92
Julia_10_Iterative/Test9.jar 5158168 YES 11.45/4.28
Julia_10_Iterative/NonPeriodic.jar 5158169 YES 3.95/1.92
Julia_10_Iterative/TriTas.jar 5158170 YES 13.31/4.42
Julia_10_Iterative/Test7.jar 5158171 YES 10.31/5.02
Julia_10_Iterative/Test3.jar 5158172 YES 15.49/8.73
Julia_10_Iterative/Test11.jar 5158173 YES 11.41/4.00
Julia_10_Iterative/Gauss.jar 5158174 timeout (wallclock) [out]
Julia_10_Iterative/Iterations.jar 5158175 YES 14.39/4.88
Julia_10_Iterative/RSA.jar 5158176 YES 28.49/9.53
Julia_10_Iterative/Test13Loops.jar 5158177 NO 6.05/2.47
Julia_10_Iterative/Test2.jar 5158178 YES 19.37/7.17
Julia_10_Iterative/Test5.jar 5158179 YES 15.64/5.71
Julia_10_Iterative/Carre.jar 5158180 YES 11.63/3.92
Julia_12_iterative/Et2.jar 5158065 YES 8.61/3.20
Julia_12_iterative/Et3.jar 5158066 YES 16.02/10.08
Julia_12_iterative/Et1.jar 5158067 YES 10.64/4.00
Julia_12_iterative/Et5.jar 5158068 YES 10.28/3.65
Julia_12_iterative/Et4.jar 5158069 YES 17.28/6.76
Julia_12_iterative/Et6.jar 5158070 YES 10.82/3.87
Costa_Julia_09/Sharing.jar 5158128 YES 3.96/1.86
Costa_Julia_09/costa09-example_4.jar 5158129 YES 4.04/1.89
Costa_Julia_09/BubbleSort.jar 5158130 YES 11.16/4.06
Costa_Julia_09/KnapsackDP.jar 5158131 YES 23.69/7.47
Costa_Julia_09/Exc2.jar 5158132 NO 6.10/2.50
Costa_Julia_09/Loop1.jar 5158133 YES 5.73/2.35
Costa_Julia_09/costa09-example_3.jar 5158134 YES 4.18/1.97
Costa_Julia_09/Diff.jar 5158135 YES 5.35/2.22
Costa_Julia_09/LinkedList.jar 5158136 YES 9.87/3.47
Costa_Julia_09/Init.jar 5158137 NO 3.95/2.92
Costa_Julia_09/costa09-example_1.jar 5158138 YES 7.04/2.72
Costa_Julia_09/Exc3.jar 5158139 YES 4.55/2.47
Costa_Julia_09/Nested.jar 5158140 YES 5.68/2.41
Costa_Julia_09/Exc5.jar 5158141 YES 4.50/2.05
Costa_Julia_09/costa09-example_5.jar 5158142 NO 4.79/2.19
Costa_Julia_09/Continue1.jar 5158143 YES 4.23/1.96
Costa_Julia_09/Exc1.jar 5158144 NO 7.22/2.89
Costa_Julia_09/Continue.jar 5158145 NO 4.36/1.99
Costa_Julia_09/Exc.jar 5158146 YES 3.96/1.90
Costa_Julia_09/Break.jar 5158147 YES 3.86/1.83
Costa_Julia_09/Exc4.jar 5158148 NO 4.94/2.14
Costa_Julia_09/costa09-example_2.jar 5158149 YES 6.54/2.65
Costa_Julia_09/Sequence.jar 5158150 YES 4.88/2.10
Costa_Julia_09/CyclicalListDuplicate.jar 5158151 NO 6.02/2.76
BSOG_FoVeOOS_11/Velroyen08-whileNested.jar 5158071 NO 5.31/2.34
BSOG_FoVeOOS_11/Velroyen08-doubleNeg.jar 5158072 timeout (wallclock) [out]
BSOG_FoVeOOS_11/Velroyen08-trueDiv.jar 5158073 NO 4.60/2.06
BSOG_FoVeOOS_11/Velroyen08-whileIncr.jar 5158074 NO 4.95/2.13
BSOG_FoVeOOS_11/Velroyen08-moduloLower.jar 5158075 NO 5.41/2.29
BSOG_FoVeOOS_11/Velroyen08-whilePart.jar 5158076 NO 4.40/2.11
BSOG_FoVeOOS_11/Velroyen08-ex06.jar 5158077 NO 5.32/2.26
BSOG_FoVeOOS_11/Velroyen08-upAndDown.jar 5158078 NO 6.52/2.56
BSOG_FoVeOOS_11/Velroyen08-whileTrue.jar 5158079 NO 4.79/2.17
BSOG_FoVeOOS_11/Velroyen08-gauss.jar 5158080 NO 12.49/2.53
BSOG_FoVeOOS_11/Velroyen08-mirrorIntervSim.jar 5158081 NO 5.86/2.41
BSOG_FoVeOOS_11/Velroyen08-marbie2.jar 5158082 NO 4.86/2.13
BSOG_FoVeOOS_11/Velroyen08-alternDivWide.jar 5158083 NO 11.87/4.33
BSOG_FoVeOOS_11/Velroyen08-ex04.jar 5158084 NO 4.42/2.61
BSOG_FoVeOOS_11/Velroyen08-narrowing.jar 5158085 NO 31.79/9.79
BSOG_FoVeOOS_11/Velroyen08-whileSingle.jar 5158086 NO 5.53/2.45
BSOG_FoVeOOS_11/Velroyen08-ex03.jar 5158087 NO 5.28/2.28
BSOG_FoVeOOS_11/Velroyen08-ex01.jar 5158088 NO 6.15/2.46
BSOG_FoVeOOS_11/Velroyen08-sunset.jar 5158089 NO 6.02/2.51
BSOG_FoVeOOS_11/Velroyen08-narrowKonv.jar 5158090 NO 7.36/2.94
BSOG_FoVeOOS_11/Velroyen08-lcm.jar 5158091 NO 10.24/3.85
BSOG_FoVeOOS_11/Velroyen08-collatz.jar 5158092 timeout (wallclock) [out]
BSOG_FoVeOOS_11/Velroyen08-moduloUp.jar 5158093 NO 4.85/2.24
BSOG_FoVeOOS_11/NonPeriodicNonterm2.jar 5158094 NO 5.96/2.47
BSOG_FoVeOOS_11/Velroyen08-whileDecr.jar 5158095 YES 5.79/2.39
BSOG_FoVeOOS_11/Velroyen08-whileSum.jar 5158096 timeout (wallclock) [out]
BSOG_FoVeOOS_11/Velroyen08-convLower.jar 5158097 NO 9.18/2.11
BSOG_FoVeOOS_11/Velroyen08-complxStruc.jar 5158098 NO 11.72/6.55
BSOG_FoVeOOS_11/Velroyen08-ex07.jar 5158099 NO 5.73/2.40
BSOG_FoVeOOS_11/Velroyen08-middle.jar 5158100 NO 7.38/2.86
BSOG_FoVeOOS_11/Velroyen08-whileIncrPart.jar 5158101 NO 5.05/2.26
BSOG_FoVeOOS_11/Velroyen08-marbie1.jar 5158102 NO 7.36/2.91
BSOG_FoVeOOS_11/Velroyen08-mirrorInterv.jar 5158103 NO 10.17/3.62
BSOG_FoVeOOS_11/Velroyen08-whileNestedOffset.jar 5158104 NO 5.57/2.43
BSOG_FoVeOOS_11/Velroyen08-whileBreak.jar 5158105 NO 6.82/2.63
BSOG_FoVeOOS_11/Velroyen08-even.jar 5158106 NO 5.73/2.40
BSOG_FoVeOOS_11/Velroyen08-factorial.jar 5158107 NO 8.01/3.05
BSOG_FoVeOOS_11/Velroyen08-complInterv2.jar 5158108 NO 4.51/2.04
BSOG_FoVeOOS_11/Velroyen08-alternKonv.jar 5158109 NO 7.12/2.78
BSOG_FoVeOOS_11/LoopingNonterm.jar 5158110 NO 4.83/2.18
BSOG_FoVeOOS_11/Velroyen08-ex05.jar 5158111 NO 3.84/1.80
BSOG_FoVeOOS_11/Velroyen08-alternDiv.jar 5158112 NO 5.22/2.24
BSOG_FoVeOOS_11/Velroyen08-flip.jar 5158113 NO 5.63/2.36
BSOG_FoVeOOS_11/Velroyen08-ex09half.jar 5158114 NO 8.12/3.18
BSOG_FoVeOOS_11/Velroyen08-flip2.jar 5158115 NO 5.65/2.37
BSOG_FoVeOOS_11/Velroyen08-ex08.jar 5158116 NO 7.65/2.84
BSOG_FoVeOOS_11/Velroyen08-twoFloatInterv.jar 5158117 NO 6.82/2.69
BSOG_FoVeOOS_11/Velroyen08-complInterv3.jar 5158118 NO 4.73/2.09
BSOG_FoVeOOS_11/Velroyen08-alternDivWidening.jar 5158119 NO 13.99/4.85
BSOG_FoVeOOS_11/Velroyen08-complInterv.jar 5158120 NO 4.71/2.15
BSOG_FoVeOOS_11/Velroyen08-gcd.jar 5158121 timeout (wallclock) [out]
BSOG_FoVeOOS_11/Velroyen08-alternatingIncr.jar 5158122 timeout (wallclock) [out]
BSOG_FoVeOOS_11/Velroyen08-upAndDownIneq.jar 5158123 NO 6.14/2.60
BSOG_FoVeOOS_11/Velroyen08-cousot.jar 5158124 NO 5.83/2.41
BSOG_FoVeOOS_11/Velroyen08-fib.jar 5158125 NO 6.68/2.69
BSOG_FoVeOOS_11/Velroyen08-ex02.jar 5158126 NO 4.40/2.01
BSOG_FoVeOOS_11/Velroyen08-plait.jar 5158127 NO 10.94/3.78
Java_Util/juLinkedListCreatePop.jar 5158181 YES 16.20/5.68
Java_Util/juLinkedListCreateContainsAll.jar 5158182 timeout (wallclock) [out]
Java_Util/juHashMapCreateHashCode.jar 5158183 YES 52.67/20.73
Java_Util/juLinkedListCreateOffer.jar 5158184 YES 16.38/5.34
Java_Util/juLinkedListCreateAddAllAt.jar 5158185 YES 62.40/19.72
Java_Util/juLinkedListCreateAddAt.jar 5158186 YES 23.67/8.06
Java_Util/juLinkedListCreateIndexOf.jar 5158187 YES 37.89/13.17
Java_Util/juHashMapCreate.jar 5158188 YES 24.43/9.60
Java_Util/juLinkedListCreateAddAll.jar 5158189 timeout (wallclock) [out]
Java_Util/juLinkedListCreateGetLast.jar 5158190 YES 16.82/7.69
Java_Util/juLinkedListCreateRemoveLastOccurrence.jar 5158191 YES 36.58/11.09
Java_Util/juLinkedListCreateEquals.jar 5158192 YES 70.27/25.96
Java_Util/juLinkedListCreate.jar 5158193 YES 10.93/3.93
Java_Util/juHashMapCreateIteratorEntryLoop.jar 5158194 YES 30.02/9.09
Java_Util/juLinkedListCreateSubList.jar 5158195 YES 15.27/5.33
Java_Util/juHashMapCreatePut.jar 5158196 YES 25.28/7.97
Java_Util/juLinkedListCreateSet.jar 5158197 YES 15.72/5.16
Java_Util/juLinkedListCreateAdd.jar 5158198 YES 16.70/5.83
Java_Util/juLinkedListCreateGet.jar 5158199 YES 12.67/4.63
Java_Util/juHashMapCreateSize.jar 5158200 YES 25.94/7.93
Java_Util/juLinkedListCreateRemoveElement.jar 5158201 YES 36.81/11.70
Java_Util/juLinkedListCreateIsEmpty.jar 5158202 YES 14.53/5.55
Java_Util/juLinkedListCreateAddLast.jar 5158203 YES 16.72/5.65
Java_Util/juLinkedListCreateAddFirst.jar 5158204 YES 16.41/5.44
Java_Util/juLinkedListCreatePoll.jar 5158205 YES 17.22/9.30
Java_Util/juHashMapCreateIteratorKeyLoop.jar 5158206 YES 28.79/8.73
Java_Util/juLinkedListCreateRemoveAt.jar 5158207 YES 23.00/7.32
Java_Util/juLinkedListCreateIteratorLoop.jar 5158208 YES 22.24/7.08
Java_Util/juLinkedListCreateLastIndexOf.jar 5158209 YES 35.92/14.58
Java_Util/juLinkedListCreateRetainAll.jar 5158210 timeout (wallclock) [out]
Java_Util/juLinkedListCreateGetFirst.jar 5158211 YES 16.17/9.04
Java_Util/juLinkedListCreateOfferFirst.jar 5158212 YES 16.69/5.49
Java_Util/juLinkedListCreateSize.jar 5158213 YES 10.54/3.72
Java_Util/juLinkedListCreatePollFirst.jar 5158214 YES 17.84/7.80
Java_Util/juHashMapCreateContainsKey.jar 5158215 YES 26.41/8.31
Java_Util/juLinkedListCreateToArray.jar 5158216 YES 13.96/5.02
Java_Util/juLinkedListCreatePush.jar 5158217 YES 16.11/6.90
Java_Util/juHashMapCreateEquals.jar 5158218 MAYBE 7.82/2.89
Java_Util/juLinkedListCreatePeek.jar 5158219 YES 14.61/8.34
Java_Util/juLinkedListCreateHashCode.jar 5158220 YES 25.96/11.64
Java_Util/juLinkedListCreateRemove.jar 5158221 YES 20.06/8.74
Java_Util/juHashMapCreateRemove.jar 5158222 YES 27.30/10.43
Java_Util/juLinkedListCreateElement.jar 5158223 YES 14.51/5.17
Java_Util/juHashMapCreateIteratorValueLoop.jar 5158224 YES 30.25/14.48
Java_Util/juHashMapCreateIsEmpty.jar 5158225 YES 25.31/11.90
Java_Util/juHashMapCreatePutAll.jar 5158226 MAYBE 8.24/3.05
Java_Util/juLinkedListCreateClear.jar 5158227 YES 15.89/5.26
Java_Util/juLinkedListCreatePollLast.jar 5158228 YES 17.09/5.77
Java_Util/juLinkedListCreateRemoveFirstOccurrence.jar 5158229 YES 34.28/10.38
Java_Util/juLinkedListCreateRemoveAll.jar 5158230 timeout (wallclock) [out]
Java_Util/juLinkedListCreateRemoveRange.jar 5158231 YES 44.86/14.36
Java_Util/juLinkedListCreatePeekFirst.jar 5158232 YES 16.24/8.75
Java_Util/juHashMapCreateClear.jar 5158233 YES 24.41/7.67
Java_Util/juLinkedListCreatePeekLast.jar 5158234 YES 17.86/7.61
Java_Util/juLinkedListCreateRemoveFirst.jar 5158235 YES 15.98/5.28
Java_Util/juLinkedListCreateListIteratorLoop.jar 5158236 YES 22.60/7.38
Java_Util/juLinkedListCreateOfferLast.jar 5158237 YES 16.44/5.47
Java_Util/juLinkedListCreateDescendingIteratorLoop.jar 5158238 YES 26.61/9.73
Java_Util/juLinkedListCreateRemoveLast.jar 5158239 YES 17.67/6.60
Java_Util/juLinkedListCreateContains.jar 5158240 YES 37.88/11.67
Java_Util/juHashMapCreateGet.jar 5158241 YES 27.47/11.18
Java_Util/juHashMapCreateContainsValue.jar 5158242 YES 31.20/10.52
Fuhs_13/Kernel68.jar 5158058 YES 20.91/11.98
Fuhs_13/RandomHard.jar 5158059 MAYBE 25.75/13.88
Fuhs_13/Kernel95.jar 5158060 YES 12.23/4.19
Fuhs_13/Kernel93.jar 5158061 MAYBE 13.54/4.55
Fuhs_13/MultiLasso.jar 5158062 MAYBE 16.16/6.13
Fuhs_13/UnionFindIterative.jar 5158063 timeout (wallclock) [out]
Fuhs_13/Kernel88.jar 5158064 YES 10.80/3.81
AProVE_10_iterative/IntPath.jar 5158152 YES 4.41/2.03
AProVE_10_iterative/IntRTA.jar 5158153 YES 6.53/2.67
AProVE_10_iterative/DuplicateTreePath.jar 5158154 YES 13.65/4.46
AProVE_10_iterative/CyclicList.jar 5158155 YES 7.15/2.83
AProVE_10_iterative/CyclicPair2.jar 5158156 YES 4.19/2.35
AProVE_10_iterative/IntPath2.jar 5158157 YES 3.86/1.90
AProVE_10_iterative/NestedLoop.jar 5158158 YES 9.32/3.52
AProVE_10_iterative/AG313.jar 5158159 YES 6.37/2.59
AProVE_10_iterative/SharingPair.jar 5158160 YES 4.08/1.91
AProVE_10_iterative/TypeSwitch.jar 5158161 YES 3.82/1.78
AProVE_10_iterative/FlattenRTA.jar 5158162 YES 14.46/4.78
AProVE_10_iterative/CyclicPair.jar 5158163 YES 3.89/1.81
AProVE_10_iterative/NullPair.jar 5158164 YES 3.87/1.81
AProVE_10_iterative/ArrayClasses.jar 5158165 YES 4.31/2.03
Aprove_09/PastaC9.jar 5158272 YES 7.86/3.01
Aprove_09/PastaC10.jar 5158273 YES 7.19/3.58
Aprove_09/PastaA10.jar 5158274 YES 10.53/4.17
Aprove_09/Convert.jar 5158275 YES 11.57/4.09
Aprove_09/PastaC2.jar 5158276 YES 7.26/2.78
Aprove_09/LogMult.jar 5158277 YES 6.85/2.79
Aprove_09/PastaC7.jar 5158278 YES 7.93/3.02
Aprove_09/DivMinus2.jar 5158279 YES 7.50/2.92
Aprove_09/Flatten.jar 5158280 YES 15.91/5.29
Aprove_09/ListContent.jar 5158281 YES 8.11/3.00
Aprove_09/PastaB12.jar 5158282 YES 7.02/2.78
Aprove_09/CountUpRound.jar 5158283 YES 8.16/3.04
Aprove_09/MinusBuiltIn.jar 5158284 YES 5.74/2.37
Aprove_09/GCD2.jar 5158285 YES 8.45/3.18
Aprove_09/PlusSwap.jar 5158286 YES 6.63/2.63
Aprove_09/PastaA6.jar 5158287 YES 6.26/2.58
Aprove_09/ListContentArbitrary.jar 5158288 YES 8.59/3.16
Aprove_09/PastaB8.jar 5158289 YES 7.63/2.88
Aprove_09/PastaB2.jar 5158290 YES 5.94/2.43
Aprove_09/PastaB3.jar 5158291 YES 5.34/2.36
Aprove_09/Overflow.jar 5158292 YES 5.67/2.35
Aprove_09/PastaB15.jar 5158293 YES 6.55/2.55
Aprove_09/PastaB1.jar 5158294 YES 5.76/2.41
Aprove_09/PastaC1.jar 5158295 YES 7.60/2.90
Aprove_09/DivWithoutMinus.jar 5158296 YES 11.31/4.10
Aprove_09/Round3.jar 5158297 YES 9.64/3.45
Aprove_09/Samefringe.jar 5158298 timeout (wallclock) [out]
Aprove_09/PastaB10.jar 5158299 YES 9.92/4.02
Aprove_09/PastaB5.jar 5158300 YES 5.80/2.39
Aprove_09/PastaB4.jar 5158301 YES 4.71/2.03
Aprove_09/DivMinus.jar 5158302 YES 6.25/2.63
Aprove_09/MinusMin.jar 5158303 YES 6.60/2.63
Aprove_09/CountMetaList.jar 5158304 YES 11.22/3.90
Aprove_09/LogAG.jar 5158305 timeout (wallclock) [out]
Aprove_09/Count.jar 5158306 YES 14.64/4.87
Aprove_09/LogIterative.jar 5158307 YES 6.99/2.71
Aprove_09/FlattenTree.jar 5158308 YES 13.21/4.36
Aprove_09/PastaB6.jar 5158309 YES 6.45/2.60
Aprove_09/PastaA9.jar 5158310 YES 5.98/2.39
Aprove_09/PastaA5.jar 5158311 YES 6.04/2.58
Aprove_09/PastaB7.jar 5158312 YES 6.85/2.71
Aprove_09/PastaA8.jar 5158313 YES 5.92/2.40
Aprove_09/PastaB11.jar 5158314 YES 10.12/3.60
Aprove_09/LessLeaves.jar 5158315 YES 14.91/4.83
Aprove_09/MinusUserDefined.jar 5158316 MAYBE 21.39/11.86
Aprove_09/GCD3.jar 5158317 YES 7.31/2.93
Aprove_09/PastaC11.jar 5158318 YES 7.78/2.88
Aprove_09/Collatz.jar 5158319 timeout (wallclock) [out]
Aprove_09/GCD5.jar 5158320 YES 6.08/2.44
Aprove_09/GCD.jar 5158321 YES 8.47/3.11
Aprove_09/AProVEMath.jar 5158322 YES 10.29/3.95
Aprove_09/Mod.jar 5158323 YES 8.54/4.09
Aprove_09/Take.jar 5158324 YES 6.55/2.63
Aprove_09/LogBuiltIn.jar 5158325 YES 8.99/7.04
Aprove_09/StupidArray.jar 5158326 YES 8.88/3.40
Aprove_09/Duplicate.jar 5158327 YES 6.32/2.53
Aprove_09/DuplicateNodes.jar 5158328 YES 12.27/4.17
Aprove_09/Log.jar 5158329 timeout (wallclock) [out]
Aprove_09/PastaA7.jar 5158330 YES 8.13/3.16
Aprove_09/ListDuplicate.jar 5158331 YES 8.45/3.14
Aprove_09/PastaB18.jar 5158332 YES 7.64/2.95
Aprove_09/PastaA4.jar 5158333 YES 5.99/2.47
Aprove_09/Shuffle.jar 5158334 YES 9.92/3.47
Aprove_09/MirrorTree.jar 5158335 YES 12.38/4.21
Aprove_09/PastaC3.jar 5158336 YES 8.30/3.18
Aprove_09/PastaB13.jar 5158337 YES 7.30/2.86
Aprove_09/SortCount.jar 5158338 MAYBE 26.02/14.42
Aprove_09/PastaB17.jar 5158339 YES 6.87/2.65
Aprove_09/RunningPointers.jar 5158340 YES 7.26/2.77
Aprove_09/PastaA1.jar 5158341 YES 6.74/2.81
Aprove_09/McCarthyIterative.jar 5158342 YES 7.60/3.10
Aprove_09/GCD4.jar 5158343 YES 7.21/2.79
Aprove_09/PastaC5.jar 5158344 YES 13.22/9.59
Aprove_09/ListContentTail.jar 5158345 YES 10.74/3.80
Aprove_09/PastaB16.jar 5158346 YES 7.86/3.01
Aprove_09/PastaB14.jar 5158347 YES 6.87/2.74
BMOG_CAV_12/AProVE12-cyclic-Visit.jar 5158266 YES 9.04/5.52
BMOG_CAV_12/AProVE12-cyclic-Iterate.jar 5158267 YES 7.96/3.03
BMOG_CAV_12/ListReverseCyclicList.jar 5158268 YES 9.12/3.33
BMOG_CAV_12/AProVE12-cyclic-Length.jar 5158269 YES 7.30/2.83
BMOG_CAV_12/ListReverseAcyclicList.jar 5158270 YES 10.43/3.90
BMOG_CAV_12/ListReversePanhandleList.jar 5158271 YES 10.71/3.85
AProVE_11_iterative/ArrayObjects.jar 5158048 YES 3.68/1.81
AProVE_11_iterative/CyclicAnalysis.jar 5158049 YES 9.08/3.28
AProVE_11_iterative/RetVal.jar 5158050 YES 3.89/1.86
AProVE_11_iterative/ArrayPrimitives.jar 5158051 YES 4.65/2.03
AProVE_11_iterative/TreeLeftmostPath.jar 5158052 YES 12.93/4.25
AProVE_11_iterative/SharingAnalysis.jar 5158053 YES 7.09/2.85
AProVE_11_iterative/TreeLeftmostDepth.jar 5158054 YES 12.11/4.12
AProVE_11_iterative/AlternatingGrowReduce2.jar 5158055 YES 7.70/3.03
AProVE_11_iterative/ClassAnalysis.jar 5158056 YES 5.00/2.13
AProVE_11_iterative/AlternatingGrowReduce.jar 5158057 YES 8.62/3.28
277