ExampleAProVECOSTA
JBCQuery/jbc-query/Aprove_09/AProVEMath.jarΩ(1),O(n^1)4.35Ω(1),O(n^1)0.74
JBCQuery/jbc-query/Aprove_09/Collatz.jarTIMEOUT60MAYBE0.61
JBCQuery/jbc-query/Aprove_09/Convert.jarΩ(1),O(n^2)5.23MAYBE1.31
JBCQuery/jbc-query/Aprove_09/Count.jarMAYBE30.23MAYBE21.93
JBCQuery/jbc-query/Aprove_09/CountMetaList.jarΩ(1),O(n^3)6.69MAYBE4.48
JBCQuery/jbc-query/Aprove_09/CountUpRound.jarΩ(1),O(n^1)3.96Ω(1),O(n^1)0.58
JBCQuery/jbc-query/Aprove_09/DivMinus2.jarΩ(1),O(n^1)4.17MAYBE0.56
JBCQuery/jbc-query/Aprove_09/DivMinus.jarΩ(1),O(n^1)4.46Ω(1),O(n^1)0.56
JBCQuery/jbc-query/Aprove_09/DivWithoutMinus.jarΩ(1),O(n^2)3.86MAYBE0.68
JBCQuery/jbc-query/Aprove_09/Duplicate.jarΩ(1),O(n^1)3.4Ω(1),O(n^1)0.56
JBCQuery/jbc-query/Aprove_09/DuplicateNodes.jarΩ(1),O(n^1)7.26MAYBE16.32
JBCQuery/jbc-query/Aprove_09/Flatten.jarTIMEOUT60MAYBE11.82
JBCQuery/jbc-query/Aprove_09/FlattenTree.jarMAYBE27.62MAYBE21.31
JBCQuery/jbc-query/Aprove_09/GCD2.jarΩ(1),O(n^1)4.05MAYBE0.53
JBCQuery/jbc-query/Aprove_09/GCD3.jarΩ(1),O(n^1)3.32MAYBE0.55
JBCQuery/jbc-query/Aprove_09/GCD4.jarΩ(1),O(n^1)3.41MAYBE0.5
JBCQuery/jbc-query/Aprove_09/GCD5.jarΩ(1),O(n^1)3.34MAYBE0.48
JBCQuery/jbc-query/Aprove_09/GCD.jarΩ(1),O(n^3)4.76MAYBE0.49
JBCQuery/jbc-query/Aprove_09/LessLeaves.jarTIMEOUT60MAYBE7.8
JBCQuery/jbc-query/Aprove_09/ListContentArbitrary.jarΩ(1),O(n^2)4.12MAYBE1.19
JBCQuery/jbc-query/Aprove_09/ListContent.jarΩ(1),O(n^1)4.11MAYBE0.9
JBCQuery/jbc-query/Aprove_09/ListContentTail.jarΩ(1),O(n^4)5.26MAYBE1.26
JBCQuery/jbc-query/Aprove_09/ListDuplicate.jarΩ(1),O(n^1)4.52MAYBE3.65
JBCQuery/jbc-query/Aprove_09/LogAG.jarΩ(1),O(n^1)3.84MAYBE0.49
JBCQuery/jbc-query/Aprove_09/LogBuiltIn.jarΩ(1),O(n^1)3.44Ω(1),O(n^1)0.47
JBCQuery/jbc-query/Aprove_09/LogIterative.jarΩ(1),O(n^1)3.62MAYBE0.48
JBCQuery/jbc-query/Aprove_09/Log.jarΩ(1),O(n^1)3.99MAYBE0.49
JBCQuery/jbc-query/Aprove_09/LogMult.jarMAYBE15.79MAYBE0.43
JBCQuery/jbc-query/Aprove_09/McCarthyIterative.jarΩ(1),O(n^2)3.56MAYBE0.46
JBCQuery/jbc-query/Aprove_09/MinusBuiltIn.jarΩ(1),O(n^1)3.53Ω(1),O(n^1)0.45
JBCQuery/jbc-query/Aprove_09/MinusMin.jarΩ(1),O(n^1)3.87MAYBE0.46
JBCQuery/jbc-query/Aprove_09/MinusUserDefined.jarMAYBE11.79MAYBE0.51
JBCQuery/jbc-query/Aprove_09/MirrorTree.jarΩ(1),O(n^1)6.42MAYBE14.3
JBCQuery/jbc-query/Aprove_09/Mod.jarΩ(1),O(n^1)3.63MAYBE0.51
JBCQuery/jbc-query/Aprove_09/Overflow.jarΩ(1),O(n^1)3.01Ω(1),O(n^1)0.4
JBCQuery/jbc-query/Aprove_09/PastaA10.jarΩ(1),O(n^1)4.39MAYBE0.45
JBCQuery/jbc-query/Aprove_09/PastaA1.jarΩ(1),O(n^2)3.78Ω(1),O(n^2)0.46
JBCQuery/jbc-query/Aprove_09/PastaA4.jarΩ(1),O(n^1)3.36Ω(1),O(n^1)0.42
JBCQuery/jbc-query/Aprove_09/PastaA5.jarΩ(1),O(n^1)3.23Ω(1),O(n^1)0.41
JBCQuery/jbc-query/Aprove_09/PastaA6.jarΩ(1),O(n^1)3.46Ω(1),O(n^1)0.45
JBCQuery/jbc-query/Aprove_09/PastaA7.jarΩ(1),O(n^1)3.65Ω(1),O(n^1)0.47
JBCQuery/jbc-query/Aprove_09/PastaA8.jarΩ(1),O(n^1)3.69Ω(1),O(n^1)0.43
JBCQuery/jbc-query/Aprove_09/PastaA9.jarΩ(1),O(n^1)3.24MAYBE0.41
JBCQuery/jbc-query/Aprove_09/PastaB10.jarΩ(1),O(n^1)3.5Ω(1),O(n^1)0.49
JBCQuery/jbc-query/Aprove_09/PastaB11.jarΩ(1),O(n^1)4.38Ω(1),O(n^1)0.53
JBCQuery/jbc-query/Aprove_09/PastaB12.jarΩ(1),O(n^1)3.59MAYBE0.49
JBCQuery/jbc-query/Aprove_09/PastaB13.jarΩ(1),O(n^1)4.32MAYBE0.52
JBCQuery/jbc-query/Aprove_09/PastaB14.jarΩ(1),O(n^1)4.19Ω(1),O(n^2)0.46
JBCQuery/jbc-query/Aprove_09/PastaB15.jarΩ(1),O(n^1)3.78Ω(1),O(n^2)0.51
JBCQuery/jbc-query/Aprove_09/PastaB16.jarΩ(1),O(n^1)3.68Ω(1),O(n^2)0.45
JBCQuery/jbc-query/Aprove_09/PastaB17.jarΩ(1),O(n^1)4.37Ω(1),O(n^2)0.48
JBCQuery/jbc-query/Aprove_09/PastaB18.jarΩ(1),O(n^1)3.62Ω(1),O(n^2)0.53
JBCQuery/jbc-query/Aprove_09/PastaB1.jarΩ(1),O(n^1)3.18Ω(1),O(n^1)0.41
JBCQuery/jbc-query/Aprove_09/PastaB2.jarΩ(1),O(n^1)3.45Ω(1),O(n^1)0.44
JBCQuery/jbc-query/Aprove_09/PastaB3.jarΩ(1),O(n^1)3.52MAYBE0.4
JBCQuery/jbc-query/Aprove_09/PastaB4.jarΩ(1),O(1)2.27Ω(1),O(n^1)0.42
JBCQuery/jbc-query/Aprove_09/PastaB5.jarΩ(1),O(n^1)3.39Ω(1),O(n^1)0.43
JBCQuery/jbc-query/Aprove_09/PastaB6.jarΩ(1),O(n^1)3.42Ω(1),O(n^1)0.43
JBCQuery/jbc-query/Aprove_09/PastaB7.jarΩ(1),O(n^1)3.42Ω(1),O(n^1)0.47
JBCQuery/jbc-query/Aprove_09/PastaB8.jarΩ(1),O(n^1)3.21MAYBE0.47
JBCQuery/jbc-query/Aprove_09/PastaC10.jarΩ(1),O(n^1)4.08Ω(1),O(n^1)0.78
JBCQuery/jbc-query/Aprove_09/PastaC11.jarΩ(1),O(n^1)3.7MAYBE0.44
JBCQuery/jbc-query/Aprove_09/PastaC1.jarΩ(1),O(n^2)3.69MAYBE0.46
JBCQuery/jbc-query/Aprove_09/PastaC2.jarΩ(1),O(n^2)3.56Ω(1),O(n^2)0.47
JBCQuery/jbc-query/Aprove_09/PastaC3.jarΩ(1),O(n^1)4.09MAYBE0.49
JBCQuery/jbc-query/Aprove_09/PastaC5.jarΩ(1),O(n^1)3.78MAYBE0.47
JBCQuery/jbc-query/Aprove_09/PastaC7.jarΩ(1),O(n^1)3.99Ω(1),O(n^1)0.45
JBCQuery/jbc-query/Aprove_09/PastaC9.jarΩ(1),O(n^2)4.26MAYBE0.86
JBCQuery/jbc-query/Aprove_09/PlusSwap.jarΩ(1),O(n^1)3.72MAYBE0.44
JBCQuery/jbc-query/Aprove_09/Round3.jarMAYBE6.45MAYBE0.43
JBCQuery/jbc-query/Aprove_09/RunningPointers.jarΩ(1),O(n^1)4.31MAYBE2.57
JBCQuery/jbc-query/Aprove_09/Samefringe.jarTIMEOUT60MAYBE7.33
JBCQuery/jbc-query/Aprove_09/Shuffle.jarMAYBE32.78MAYBE1.71
JBCQuery/jbc-query/Aprove_09/SortCount.jarΩ(1),O(n^4)9.04MAYBE2.58
JBCQuery/jbc-query/Aprove_09/StupidArray.jarΩ(1),O(1)3.04Ω(1),O(1)0.48
JBCQuery/jbc-query/Aprove_09/Take.jarΩ(1),O(n^1)4.35Ω(1),O(n^1)1.56
JBCQuery/jbc-query/AProVE_10_iterative/AG313.jarΩ(1),O(n^1)3.31Ω(1),O(n^1)0.47
JBCQuery/jbc-query/AProVE_10_iterative/ArrayClasses.jarΩ(1),O(1)2.31MAYBE1.13
JBCQuery/jbc-query/AProVE_10_iterative/CyclicList.jarΩ(1),O(n^1)4.52Ω(1),O(n^1)1.05
JBCQuery/jbc-query/AProVE_10_iterative/CyclicPair2.jarΩ(1),O(1)2.15MAYBE0.73
JBCQuery/jbc-query/AProVE_10_iterative/CyclicPair.jarΩ(1),O(1)2.16MAYBE0.68
JBCQuery/jbc-query/AProVE_10_iterative/DuplicateTreePath.jarΩ(1),O(n^1)9.31MAYBE9.41
JBCQuery/jbc-query/AProVE_10_iterative/FlattenRTA.jarTIMEOUT60MAYBE29.89
JBCQuery/jbc-query/AProVE_10_iterative/IntPath2.jarΩ(1),O(1)2.11MAYBE0.49
JBCQuery/jbc-query/AProVE_10_iterative/IntPath.jarΩ(1),O(1)2.44MAYBE0.4
JBCQuery/jbc-query/AProVE_10_iterative/IntRTA.jarΩ(1),O(n^1)3.82MAYBE0.56
JBCQuery/jbc-query/AProVE_10_iterative/NestedLoop.jarΩ(1),O(n^2)7.93Ω(1),O(n^2)1.77
JBCQuery/jbc-query/AProVE_10_iterative/NullPair.jarΩ(1),O(1)2.39MAYBE0.49
JBCQuery/jbc-query/AProVE_10_iterative/SharingPair.jarΩ(1),O(1)2.4MAYBE1.76
JBCQuery/jbc-query/AProVE_10_iterative/TypeSwitch.jarΩ(1),O(1)2.31MAYBE1.47
JBCQuery/jbc-query/AProVE_11_iterative/AlternatingGrowReduce2.jarΩ(1),O(n^1)6.8MAYBE1.15
JBCQuery/jbc-query/AProVE_11_iterative/AlternatingGrowReduce.jarΩ(1),O(n^1)8.04MAYBE1.58
JBCQuery/jbc-query/AProVE_11_iterative/ArrayObjects.jarΩ(1),O(1)2.26MAYBE0.78
JBCQuery/jbc-query/AProVE_11_iterative/ArrayPrimitives.jarΩ(1),O(1)2.47MAYBE0.61
JBCQuery/jbc-query/AProVE_11_iterative/ClassAnalysis.jarΩ(1),O(1)3.4MAYBE1.23
JBCQuery/jbc-query/AProVE_11_iterative/CyclicAnalysis.jarΩ(1),O(n^1)5.3MAYBE1.3
JBCQuery/jbc-query/AProVE_11_iterative/RetVal.jarΩ(1),O(1)2.68MAYBE0.45
JBCQuery/jbc-query/AProVE_11_iterative/SharingAnalysis.jarΩ(1),O(n^1)4.72MAYBE1.58
JBCQuery/jbc-query/AProVE_11_iterative/TreeLeftmostDepth.jarMAYBE25.35MAYBE6.08
JBCQuery/jbc-query/AProVE_11_iterative/TreeLeftmostPath.jarMAYBE39.4MAYBE8.5
JBCQuery/jbc-query/BMOG_CAV_12/AProVE12-cyclic-Iterate.jarMAYBE16.06MAYBE0.98
JBCQuery/jbc-query/BMOG_CAV_12/AProVE12-cyclic-Length.jarΩ(1),O(n^1)4.04MAYBE1.0
JBCQuery/jbc-query/BMOG_CAV_12/AProVE12-cyclic-Visit.jarMAYBE18.18MAYBE0.93
JBCQuery/jbc-query/BMOG_CAV_12/ListReverseAcyclicList.jarΩ(1),O(n^1)4.05MAYBE1.23
JBCQuery/jbc-query/BMOG_CAV_12/ListReverseCyclicList.jarMAYBE11.2MAYBE1.37
JBCQuery/jbc-query/BMOG_CAV_12/ListReversePanhandleList.jarMAYBE11.32MAYBE1.46
JBCQuery/jbc-query/Costa_Julia_09/Break.jarΩ(1),O(1)2.53Ω(1),O(1)0.4
JBCQuery/jbc-query/Costa_Julia_09/BubbleSort.jarΩ(1),O(1)4.97Ω(1),O(1)1.52
JBCQuery/jbc-query/Costa_Julia_09/Continue1.jarΩ(1),O(1)2.96Ω(1),O(1)0.42
JBCQuery/jbc-query/Costa_Julia_09/costa09-example_1.jarΩ(1),O(1)4.72MAYBE1.27
JBCQuery/jbc-query/Costa_Julia_09/costa09-example_2.jarΩ(1),O(n^1)4.05MAYBE0.39
JBCQuery/jbc-query/Costa_Julia_09/costa09-example_3.jarΩ(1),O(1)2.48MAYBE0.51
JBCQuery/jbc-query/Costa_Julia_09/costa09-example_4.jarΩ(1),O(1)2.81MAYBE1.03
JBCQuery/jbc-query/Costa_Julia_09/Diff.jarΩ(1),O(1)3.35Ω(1),O(1)2.23
JBCQuery/jbc-query/Costa_Julia_09/Exc3.jarΩ(1),O(1)2.86Ω(1),O(1)0.45
JBCQuery/jbc-query/Costa_Julia_09/Exc5.jarΩ(1),O(1)3.27Ω(1),O(1)0.48
JBCQuery/jbc-query/Costa_Julia_09/Exc.jarΩ(1),O(1)2.37Ω(1),O(1)0.52
JBCQuery/jbc-query/Costa_Julia_09/KnapsackDP.jarTIMEOUT60MAYBE8.78
JBCQuery/jbc-query/Costa_Julia_09/LinkedList.jarMAYBE12.06MAYBE2.79
JBCQuery/jbc-query/Costa_Julia_09/Loop1.jarΩ(1),O(n^1)3.09Ω(1),O(n^1)0.41
JBCQuery/jbc-query/Costa_Julia_09/Nested.jarΩ(1),O(1)3.94Ω(1),O(1)0.45
JBCQuery/jbc-query/Costa_Julia_09/Sequence.jarΩ(1),O(1)3.3Ω(1),O(1)0.44
JBCQuery/jbc-query/Costa_Julia_09/Sharing.jarΩ(1),O(1)2.28MAYBE1.06
JBCQuery/jbc-query/Fuhs_13/Kernel68.jarMAYBE27.02MAYBE4.39
JBCQuery/jbc-query/Fuhs_13/Kernel88.jarMAYBE20.74MAYBE6.65
JBCQuery/jbc-query/Fuhs_13/Kernel93.jarMAYBE41.59MAYBE9.79
JBCQuery/jbc-query/Fuhs_13/Kernel95.jarMAYBE50.63MAYBE8.68
JBCQuery/jbc-query/Fuhs_13/MultiLasso.jarMAYBE6.49MAYBE0.43
JBCQuery/jbc-query/Fuhs_13/RandomHard.jarTIMEOUT60MAYBE1.37
JBCQuery/jbc-query/Fuhs_13/UnionFindIterative.jarΩ(1),O(n^1)4.59MAYBE1.63
JBCQuery/jbc-query/Java_Util/juHashMapCreateClear.jarTIMEOUT60TIMEOUT60
JBCQuery/jbc-query/Java_Util/juHashMapCreateContainsKey.jarTIMEOUT60TIMEOUT60
JBCQuery/jbc-query/Java_Util/juHashMapCreateContainsValue.jarTIMEOUT60TIMEOUT60
JBCQuery/jbc-query/Java_Util/juHashMapCreateEquals.jarTIMEOUT60TIMEOUT60
JBCQuery/jbc-query/Java_Util/juHashMapCreateGet.jarTIMEOUT60TIMEOUT60
JBCQuery/jbc-query/Java_Util/juHashMapCreateHashCode.jarTIMEOUT60TIMEOUT60
JBCQuery/jbc-query/Java_Util/juHashMapCreateIsEmpty.jarTIMEOUT60TIMEOUT60
JBCQuery/jbc-query/Java_Util/juHashMapCreateIteratorEntryLoop.jarTIMEOUT60TIMEOUT60
JBCQuery/jbc-query/Java_Util/juHashMapCreateIteratorKeyLoop.jarTIMEOUT60TIMEOUT60
JBCQuery/jbc-query/Java_Util/juHashMapCreateIteratorValueLoop.jarTIMEOUT60TIMEOUT60
JBCQuery/jbc-query/Java_Util/juHashMapCreate.jarTIMEOUT60TIMEOUT60
JBCQuery/jbc-query/Java_Util/juHashMapCreatePutAll.jarTIMEOUT60TIMEOUT60
JBCQuery/jbc-query/Java_Util/juHashMapCreatePut.jarTIMEOUT60TIMEOUT60
JBCQuery/jbc-query/Java_Util/juHashMapCreateRemove.jarTIMEOUT60TIMEOUT60
JBCQuery/jbc-query/Java_Util/juHashMapCreateSize.jarTIMEOUT60TIMEOUT60
JBCQuery/jbc-query/Java_Util/juLinkedListCreateAddAllAt.jarTIMEOUT60MAYBE17.56
JBCQuery/jbc-query/Java_Util/juLinkedListCreateAddAll.jarTIMEOUT60MAYBE8.08
JBCQuery/jbc-query/Java_Util/juLinkedListCreateAddAt.jarΩ(1),O(n^1)9.91MAYBE12.55
JBCQuery/jbc-query/Java_Util/juLinkedListCreateAddFirst.jarΩ(1),O(n^1)9.38Ω(1),O(n^1)3.5
JBCQuery/jbc-query/Java_Util/juLinkedListCreateAdd.jarΩ(1),O(n^1)10.95Ω(1),O(n^1)3.41
JBCQuery/jbc-query/Java_Util/juLinkedListCreateAddLast.jarΩ(1),O(n^1)11.1Ω(1),O(n^1)3.33
JBCQuery/jbc-query/Java_Util/juLinkedListCreateClear.jarTIMEOUT60MAYBE4.35
JBCQuery/jbc-query/Java_Util/juLinkedListCreateContainsAll.jarTIMEOUT60TIMEOUT60
JBCQuery/jbc-query/Java_Util/juLinkedListCreateContains.jarTIMEOUT60TIMEOUT60
JBCQuery/jbc-query/Java_Util/juLinkedListCreateDescendingIteratorLoop.jarΩ(1),O(n^1)17.77MAYBE10.93
JBCQuery/jbc-query/Java_Util/juLinkedListCreateElement.jarΩ(1),O(n^1)8.67Ω(1),O(n^1)3.86
JBCQuery/jbc-query/Java_Util/juLinkedListCreateEquals.jarTIMEOUT60TIMEOUT60
JBCQuery/jbc-query/Java_Util/juLinkedListCreateGetFirst.jarΩ(1),O(n^1)8.56Ω(1),O(n^1)3.86
JBCQuery/jbc-query/Java_Util/juLinkedListCreateGet.jarΩ(1),O(n^1)8.16MAYBE4.1
JBCQuery/jbc-query/Java_Util/juLinkedListCreateGetLast.jarΩ(1),O(n^1)8.45Ω(1),O(n^1)3.83
JBCQuery/jbc-query/Java_Util/juLinkedListCreateHashCode.jarΩ(1),O(n^1)27.88MAYBE8.76
JBCQuery/jbc-query/Java_Util/juLinkedListCreateIndexOf.jarTIMEOUT60TIMEOUT60
JBCQuery/jbc-query/Java_Util/juLinkedListCreateIsEmpty.jarΩ(1),O(n^1)8.49Ω(1),O(n^1)3.37
JBCQuery/jbc-query/Java_Util/juLinkedListCreateIteratorLoop.jarΩ(1),O(n^1)16.07MAYBE6.1
JBCQuery/jbc-query/Java_Util/juLinkedListCreate.jarΩ(1),O(n^1)6.27Ω(1),O(n^1)3.32
JBCQuery/jbc-query/Java_Util/juLinkedListCreateLastIndexOf.jarTIMEOUT60TIMEOUT60
JBCQuery/jbc-query/Java_Util/juLinkedListCreateListIteratorLoop.jarΩ(1),O(n^1)17.21MAYBE9.62
JBCQuery/jbc-query/Java_Util/juLinkedListCreateOfferFirst.jarΩ(1),O(n^1)11.09Ω(1),O(n^1)3.51
JBCQuery/jbc-query/Java_Util/juLinkedListCreateOffer.jarΩ(1),O(n^1)9.7Ω(1),O(n^1)3.49
JBCQuery/jbc-query/Java_Util/juLinkedListCreateOfferLast.jarΩ(1),O(n^1)9.42Ω(1),O(n^1)3.49
JBCQuery/jbc-query/Java_Util/juLinkedListCreatePeekFirst.jarΩ(1),O(n^1)9.82Ω(1),O(n^1)3.84
JBCQuery/jbc-query/Java_Util/juLinkedListCreatePeek.jarΩ(1),O(n^1)10.02Ω(1),O(n^1)3.8
JBCQuery/jbc-query/Java_Util/juLinkedListCreatePeekLast.jarΩ(1),O(n^1)8.48Ω(1),O(n^1)3.81
JBCQuery/jbc-query/Java_Util/juLinkedListCreatePollFirst.jarΩ(1),O(n^1)9.36Ω(1),O(n^1)4.88
JBCQuery/jbc-query/Java_Util/juLinkedListCreatePoll.jarΩ(1),O(n^1)9.75Ω(1),O(n^1)4.8
JBCQuery/jbc-query/Java_Util/juLinkedListCreatePollLast.jarΩ(1),O(n^1)14.22Ω(1),O(n^1)4.81
JBCQuery/jbc-query/Java_Util/juLinkedListCreatePop.jarΩ(1),O(n^1)10.76Ω(1),O(n^1)4.82
JBCQuery/jbc-query/Java_Util/juLinkedListCreatePush.jarΩ(1),O(n^1)9.59Ω(1),O(n^1)3.52
JBCQuery/jbc-query/Java_Util/juLinkedListCreateRemoveAll.jarMAYBE44.0TIMEOUT60
JBCQuery/jbc-query/Java_Util/juLinkedListCreateRemoveAt.jarΩ(1),O(n^1)14.59MAYBE6.26
JBCQuery/jbc-query/Java_Util/juLinkedListCreateRemoveElement.jarTIMEOUT60TIMEOUT60
JBCQuery/jbc-query/Java_Util/juLinkedListCreateRemoveFirst.jarΩ(1),O(n^1)9.36Ω(1),O(n^1)4.75
JBCQuery/jbc-query/Java_Util/juLinkedListCreateRemoveFirstOccurrence.jarTIMEOUT60TIMEOUT60
JBCQuery/jbc-query/Java_Util/juLinkedListCreateRemove.jarΩ(1),O(n^1)14.36MAYBE6.38
JBCQuery/jbc-query/Java_Util/juLinkedListCreateRemoveLast.jarΩ(1),O(n^1)11.62Ω(1),O(n^1)4.79
JBCQuery/jbc-query/Java_Util/juLinkedListCreateRemoveLastOccurrence.jarTIMEOUT60TIMEOUT60
JBCQuery/jbc-query/Java_Util/juLinkedListCreateRemoveRange.jarTIMEOUT60MAYBE19.94
JBCQuery/jbc-query/Java_Util/juLinkedListCreateRetainAll.jarMAYBE57.8TIMEOUT60
JBCQuery/jbc-query/Java_Util/juLinkedListCreateSet.jarΩ(1),O(n^1)11.95MAYBE4.47
JBCQuery/jbc-query/Java_Util/juLinkedListCreateSize.jarΩ(1),O(n^1)6.51Ω(1),O(n^1)3.35
JBCQuery/jbc-query/Java_Util/juLinkedListCreateSubList.jarΩ(1),O(n^1)9.31Ω(1),O(n^1)6.15
JBCQuery/jbc-query/Java_Util/juLinkedListCreateToArray.jarΩ(1),O(n^1)16.33MAYBE4.1
JBCQuery/jbc-query/Julia_10_Iterative/Carre.jarΩ(1),O(n^2)6.73MAYBE1.76
JBCQuery/jbc-query/Julia_10_Iterative/Gauss.jarTIMEOUT60MAYBE26.19
JBCQuery/jbc-query/Julia_10_Iterative/Graph.jarTIMEOUT60MAYBE20.68
JBCQuery/jbc-query/Julia_10_Iterative/Infix2Postfix.jarΩ(1),O(n^2)24.71MAYBE14.62
JBCQuery/jbc-query/Julia_10_Iterative/Iterations.jarΩ(1),O(n^8)7.56Ω(1),O(n^5)1.08
JBCQuery/jbc-query/Julia_10_Iterative/NonPeriodic.jarΩ(1),O(1)2.66MAYBE0.44
JBCQuery/jbc-query/Julia_10_Iterative/Test11.jarΩ(1),O(n^1)5.53MAYBE1.26
JBCQuery/jbc-query/Julia_10_Iterative/Test2.jarΩ(1),O(n^1)6.02MAYBE0.75
JBCQuery/jbc-query/Julia_10_Iterative/Test3.jarTIMEOUT60MAYBE7.48
JBCQuery/jbc-query/Julia_10_Iterative/Test5.jarΩ(1),O(n^2)23.08MAYBE26.34
JBCQuery/jbc-query/Julia_10_Iterative/Test7.jarTIMEOUT60MAYBE3.91
JBCQuery/jbc-query/Julia_10_Iterative/Test9.jarΩ(1),O(n^2)7.01MAYBE0.99
JBCQuery/jbc-query/Julia_10_Iterative/TriTas.jarΩ(1),O(n^4)22.5MAYBE4.42
JBCQuery/jbc-query/Julia_12_iterative/Et1.jarMAYBE10.49MAYBE0.43
JBCQuery/jbc-query/Julia_12_iterative/Et2.jarΩ(1),O(n^1)4.2MAYBE0.78
JBCQuery/jbc-query/Julia_12_iterative/Et3.jarMAYBE9.99MAYBE0.4
JBCQuery/jbc-query/Julia_12_iterative/Et4.jarΩ(1),O(n^1)4.39MAYBE0.92
JBCQuery/jbc-query/Julia_12_iterative/Et5.jarMAYBE24.4MAYBE0.93
JBCQuery/jbc-query/Julia_12_iterative/Et6.jarMAYBE39.63MAYBE0.93