| Example | AProVE | COSTA |
|---|
| 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.jar | TIMEOUT | 60 | MAYBE | 0.61 |
| JBCQuery/jbc-query/Aprove_09/Convert.jar | Ω(1),O(n^2) | 5.23 | MAYBE | 1.31 |
| JBCQuery/jbc-query/Aprove_09/Count.jar | MAYBE | 30.23 | MAYBE | 21.93 |
| JBCQuery/jbc-query/Aprove_09/CountMetaList.jar | Ω(1),O(n^3) | 6.69 | MAYBE | 4.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.17 | MAYBE | 0.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.86 | MAYBE | 0.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.26 | MAYBE | 16.32 |
| JBCQuery/jbc-query/Aprove_09/Flatten.jar | TIMEOUT | 60 | MAYBE | 11.82 |
| JBCQuery/jbc-query/Aprove_09/FlattenTree.jar | MAYBE | 27.62 | MAYBE | 21.31 |
| JBCQuery/jbc-query/Aprove_09/GCD2.jar | Ω(1),O(n^1) | 4.05 | MAYBE | 0.53 |
| JBCQuery/jbc-query/Aprove_09/GCD3.jar | Ω(1),O(n^1) | 3.32 | MAYBE | 0.55 |
| JBCQuery/jbc-query/Aprove_09/GCD4.jar | Ω(1),O(n^1) | 3.41 | MAYBE | 0.5 |
| JBCQuery/jbc-query/Aprove_09/GCD5.jar | Ω(1),O(n^1) | 3.34 | MAYBE | 0.48 |
| JBCQuery/jbc-query/Aprove_09/GCD.jar | Ω(1),O(n^3) | 4.76 | MAYBE | 0.49 |
| JBCQuery/jbc-query/Aprove_09/LessLeaves.jar | TIMEOUT | 60 | MAYBE | 7.8 |
| JBCQuery/jbc-query/Aprove_09/ListContentArbitrary.jar | Ω(1),O(n^2) | 4.12 | MAYBE | 1.19 |
| JBCQuery/jbc-query/Aprove_09/ListContent.jar | Ω(1),O(n^1) | 4.11 | MAYBE | 0.9 |
| JBCQuery/jbc-query/Aprove_09/ListContentTail.jar | Ω(1),O(n^4) | 5.26 | MAYBE | 1.26 |
| JBCQuery/jbc-query/Aprove_09/ListDuplicate.jar | Ω(1),O(n^1) | 4.52 | MAYBE | 3.65 |
| JBCQuery/jbc-query/Aprove_09/LogAG.jar | Ω(1),O(n^1) | 3.84 | MAYBE | 0.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.62 | MAYBE | 0.48 |
| JBCQuery/jbc-query/Aprove_09/Log.jar | Ω(1),O(n^1) | 3.99 | MAYBE | 0.49 |
| JBCQuery/jbc-query/Aprove_09/LogMult.jar | MAYBE | 15.79 | MAYBE | 0.43 |
| JBCQuery/jbc-query/Aprove_09/McCarthyIterative.jar | Ω(1),O(n^2) | 3.56 | MAYBE | 0.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.87 | MAYBE | 0.46 |
| JBCQuery/jbc-query/Aprove_09/MinusUserDefined.jar | MAYBE | 11.79 | MAYBE | 0.51 |
| JBCQuery/jbc-query/Aprove_09/MirrorTree.jar | Ω(1),O(n^1) | 6.42 | MAYBE | 14.3 |
| JBCQuery/jbc-query/Aprove_09/Mod.jar | Ω(1),O(n^1) | 3.63 | MAYBE | 0.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.39 | MAYBE | 0.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.24 | MAYBE | 0.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.59 | MAYBE | 0.49 |
| JBCQuery/jbc-query/Aprove_09/PastaB13.jar | Ω(1),O(n^1) | 4.32 | MAYBE | 0.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.52 | MAYBE | 0.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.21 | MAYBE | 0.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.7 | MAYBE | 0.44 |
| JBCQuery/jbc-query/Aprove_09/PastaC1.jar | Ω(1),O(n^2) | 3.69 | MAYBE | 0.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.09 | MAYBE | 0.49 |
| JBCQuery/jbc-query/Aprove_09/PastaC5.jar | Ω(1),O(n^1) | 3.78 | MAYBE | 0.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.26 | MAYBE | 0.86 |
| JBCQuery/jbc-query/Aprove_09/PlusSwap.jar | Ω(1),O(n^1) | 3.72 | MAYBE | 0.44 |
| JBCQuery/jbc-query/Aprove_09/Round3.jar | MAYBE | 6.45 | MAYBE | 0.43 |
| JBCQuery/jbc-query/Aprove_09/RunningPointers.jar | Ω(1),O(n^1) | 4.31 | MAYBE | 2.57 |
| JBCQuery/jbc-query/Aprove_09/Samefringe.jar | TIMEOUT | 60 | MAYBE | 7.33 |
| JBCQuery/jbc-query/Aprove_09/Shuffle.jar | MAYBE | 32.78 | MAYBE | 1.71 |
| JBCQuery/jbc-query/Aprove_09/SortCount.jar | Ω(1),O(n^4) | 9.04 | MAYBE | 2.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.31 | MAYBE | 1.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.15 | MAYBE | 0.73 |
| JBCQuery/jbc-query/AProVE_10_iterative/CyclicPair.jar | Ω(1),O(1) | 2.16 | MAYBE | 0.68 |
| JBCQuery/jbc-query/AProVE_10_iterative/DuplicateTreePath.jar | Ω(1),O(n^1) | 9.31 | MAYBE | 9.41 |
| JBCQuery/jbc-query/AProVE_10_iterative/FlattenRTA.jar | TIMEOUT | 60 | MAYBE | 29.89 |
| JBCQuery/jbc-query/AProVE_10_iterative/IntPath2.jar | Ω(1),O(1) | 2.11 | MAYBE | 0.49 |
| JBCQuery/jbc-query/AProVE_10_iterative/IntPath.jar | Ω(1),O(1) | 2.44 | MAYBE | 0.4 |
| JBCQuery/jbc-query/AProVE_10_iterative/IntRTA.jar | Ω(1),O(n^1) | 3.82 | MAYBE | 0.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.39 | MAYBE | 0.49 |
| JBCQuery/jbc-query/AProVE_10_iterative/SharingPair.jar | Ω(1),O(1) | 2.4 | MAYBE | 1.76 |
| JBCQuery/jbc-query/AProVE_10_iterative/TypeSwitch.jar | Ω(1),O(1) | 2.31 | MAYBE | 1.47 |
| JBCQuery/jbc-query/AProVE_11_iterative/AlternatingGrowReduce2.jar | Ω(1),O(n^1) | 6.8 | MAYBE | 1.15 |
| JBCQuery/jbc-query/AProVE_11_iterative/AlternatingGrowReduce.jar | Ω(1),O(n^1) | 8.04 | MAYBE | 1.58 |
| JBCQuery/jbc-query/AProVE_11_iterative/ArrayObjects.jar | Ω(1),O(1) | 2.26 | MAYBE | 0.78 |
| JBCQuery/jbc-query/AProVE_11_iterative/ArrayPrimitives.jar | Ω(1),O(1) | 2.47 | MAYBE | 0.61 |
| JBCQuery/jbc-query/AProVE_11_iterative/ClassAnalysis.jar | Ω(1),O(1) | 3.4 | MAYBE | 1.23 |
| JBCQuery/jbc-query/AProVE_11_iterative/CyclicAnalysis.jar | Ω(1),O(n^1) | 5.3 | MAYBE | 1.3 |
| JBCQuery/jbc-query/AProVE_11_iterative/RetVal.jar | Ω(1),O(1) | 2.68 | MAYBE | 0.45 |
| JBCQuery/jbc-query/AProVE_11_iterative/SharingAnalysis.jar | Ω(1),O(n^1) | 4.72 | MAYBE | 1.58 |
| JBCQuery/jbc-query/AProVE_11_iterative/TreeLeftmostDepth.jar | MAYBE | 25.35 | MAYBE | 6.08 |
| JBCQuery/jbc-query/AProVE_11_iterative/TreeLeftmostPath.jar | MAYBE | 39.4 | MAYBE | 8.5 |
| JBCQuery/jbc-query/BMOG_CAV_12/AProVE12-cyclic-Iterate.jar | MAYBE | 16.06 | MAYBE | 0.98 |
| JBCQuery/jbc-query/BMOG_CAV_12/AProVE12-cyclic-Length.jar | Ω(1),O(n^1) | 4.04 | MAYBE | 1.0 |
| JBCQuery/jbc-query/BMOG_CAV_12/AProVE12-cyclic-Visit.jar | MAYBE | 18.18 | MAYBE | 0.93 |
| JBCQuery/jbc-query/BMOG_CAV_12/ListReverseAcyclicList.jar | Ω(1),O(n^1) | 4.05 | MAYBE | 1.23 |
| JBCQuery/jbc-query/BMOG_CAV_12/ListReverseCyclicList.jar | MAYBE | 11.2 | MAYBE | 1.37 |
| JBCQuery/jbc-query/BMOG_CAV_12/ListReversePanhandleList.jar | MAYBE | 11.32 | MAYBE | 1.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.72 | MAYBE | 1.27 |
| JBCQuery/jbc-query/Costa_Julia_09/costa09-example_2.jar | Ω(1),O(n^1) | 4.05 | MAYBE | 0.39 |
| JBCQuery/jbc-query/Costa_Julia_09/costa09-example_3.jar | Ω(1),O(1) | 2.48 | MAYBE | 0.51 |
| JBCQuery/jbc-query/Costa_Julia_09/costa09-example_4.jar | Ω(1),O(1) | 2.81 | MAYBE | 1.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.jar | TIMEOUT | 60 | MAYBE | 8.78 |
| JBCQuery/jbc-query/Costa_Julia_09/LinkedList.jar | MAYBE | 12.06 | MAYBE | 2.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.28 | MAYBE | 1.06 |
| JBCQuery/jbc-query/Fuhs_13/Kernel68.jar | MAYBE | 27.02 | MAYBE | 4.39 |
| JBCQuery/jbc-query/Fuhs_13/Kernel88.jar | MAYBE | 20.74 | MAYBE | 6.65 |
| JBCQuery/jbc-query/Fuhs_13/Kernel93.jar | MAYBE | 41.59 | MAYBE | 9.79 |
| JBCQuery/jbc-query/Fuhs_13/Kernel95.jar | MAYBE | 50.63 | MAYBE | 8.68 |
| JBCQuery/jbc-query/Fuhs_13/MultiLasso.jar | MAYBE | 6.49 | MAYBE | 0.43 |
| JBCQuery/jbc-query/Fuhs_13/RandomHard.jar | TIMEOUT | 60 | MAYBE | 1.37 |
| JBCQuery/jbc-query/Fuhs_13/UnionFindIterative.jar | Ω(1),O(n^1) | 4.59 | MAYBE | 1.63 |
| JBCQuery/jbc-query/Java_Util/juHashMapCreateClear.jar | TIMEOUT | 60 | TIMEOUT | 60 |
| JBCQuery/jbc-query/Java_Util/juHashMapCreateContainsKey.jar | TIMEOUT | 60 | TIMEOUT | 60 |
| JBCQuery/jbc-query/Java_Util/juHashMapCreateContainsValue.jar | TIMEOUT | 60 | TIMEOUT | 60 |
| JBCQuery/jbc-query/Java_Util/juHashMapCreateEquals.jar | TIMEOUT | 60 | TIMEOUT | 60 |
| JBCQuery/jbc-query/Java_Util/juHashMapCreateGet.jar | TIMEOUT | 60 | TIMEOUT | 60 |
| JBCQuery/jbc-query/Java_Util/juHashMapCreateHashCode.jar | TIMEOUT | 60 | TIMEOUT | 60 |
| JBCQuery/jbc-query/Java_Util/juHashMapCreateIsEmpty.jar | TIMEOUT | 60 | TIMEOUT | 60 |
| JBCQuery/jbc-query/Java_Util/juHashMapCreateIteratorEntryLoop.jar | TIMEOUT | 60 | TIMEOUT | 60 |
| JBCQuery/jbc-query/Java_Util/juHashMapCreateIteratorKeyLoop.jar | TIMEOUT | 60 | TIMEOUT | 60 |
| JBCQuery/jbc-query/Java_Util/juHashMapCreateIteratorValueLoop.jar | TIMEOUT | 60 | TIMEOUT | 60 |
| JBCQuery/jbc-query/Java_Util/juHashMapCreate.jar | TIMEOUT | 60 | TIMEOUT | 60 |
| JBCQuery/jbc-query/Java_Util/juHashMapCreatePutAll.jar | TIMEOUT | 60 | TIMEOUT | 60 |
| JBCQuery/jbc-query/Java_Util/juHashMapCreatePut.jar | TIMEOUT | 60 | TIMEOUT | 60 |
| JBCQuery/jbc-query/Java_Util/juHashMapCreateRemove.jar | TIMEOUT | 60 | TIMEOUT | 60 |
| JBCQuery/jbc-query/Java_Util/juHashMapCreateSize.jar | TIMEOUT | 60 | TIMEOUT | 60 |
| JBCQuery/jbc-query/Java_Util/juLinkedListCreateAddAllAt.jar | TIMEOUT | 60 | MAYBE | 17.56 |
| JBCQuery/jbc-query/Java_Util/juLinkedListCreateAddAll.jar | TIMEOUT | 60 | MAYBE | 8.08 |
| JBCQuery/jbc-query/Java_Util/juLinkedListCreateAddAt.jar | Ω(1),O(n^1) | 9.91 | MAYBE | 12.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.jar | TIMEOUT | 60 | MAYBE | 4.35 |
| JBCQuery/jbc-query/Java_Util/juLinkedListCreateContainsAll.jar | TIMEOUT | 60 | TIMEOUT | 60 |
| JBCQuery/jbc-query/Java_Util/juLinkedListCreateContains.jar | TIMEOUT | 60 | TIMEOUT | 60 |
| JBCQuery/jbc-query/Java_Util/juLinkedListCreateDescendingIteratorLoop.jar | Ω(1),O(n^1) | 17.77 | MAYBE | 10.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.jar | TIMEOUT | 60 | TIMEOUT | 60 |
| 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.16 | MAYBE | 4.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.88 | MAYBE | 8.76 |
| JBCQuery/jbc-query/Java_Util/juLinkedListCreateIndexOf.jar | TIMEOUT | 60 | TIMEOUT | 60 |
| 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.07 | MAYBE | 6.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.jar | TIMEOUT | 60 | TIMEOUT | 60 |
| JBCQuery/jbc-query/Java_Util/juLinkedListCreateListIteratorLoop.jar | Ω(1),O(n^1) | 17.21 | MAYBE | 9.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.jar | MAYBE | 44.0 | TIMEOUT | 60 |
| JBCQuery/jbc-query/Java_Util/juLinkedListCreateRemoveAt.jar | Ω(1),O(n^1) | 14.59 | MAYBE | 6.26 |
| JBCQuery/jbc-query/Java_Util/juLinkedListCreateRemoveElement.jar | TIMEOUT | 60 | TIMEOUT | 60 |
| 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.jar | TIMEOUT | 60 | TIMEOUT | 60 |
| JBCQuery/jbc-query/Java_Util/juLinkedListCreateRemove.jar | Ω(1),O(n^1) | 14.36 | MAYBE | 6.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.jar | TIMEOUT | 60 | TIMEOUT | 60 |
| JBCQuery/jbc-query/Java_Util/juLinkedListCreateRemoveRange.jar | TIMEOUT | 60 | MAYBE | 19.94 |
| JBCQuery/jbc-query/Java_Util/juLinkedListCreateRetainAll.jar | MAYBE | 57.8 | TIMEOUT | 60 |
| JBCQuery/jbc-query/Java_Util/juLinkedListCreateSet.jar | Ω(1),O(n^1) | 11.95 | MAYBE | 4.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.33 | MAYBE | 4.1 |
| JBCQuery/jbc-query/Julia_10_Iterative/Carre.jar | Ω(1),O(n^2) | 6.73 | MAYBE | 1.76 |
| JBCQuery/jbc-query/Julia_10_Iterative/Gauss.jar | TIMEOUT | 60 | MAYBE | 26.19 |
| JBCQuery/jbc-query/Julia_10_Iterative/Graph.jar | TIMEOUT | 60 | MAYBE | 20.68 |
| JBCQuery/jbc-query/Julia_10_Iterative/Infix2Postfix.jar | Ω(1),O(n^2) | 24.71 | MAYBE | 14.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.66 | MAYBE | 0.44 |
| JBCQuery/jbc-query/Julia_10_Iterative/Test11.jar | Ω(1),O(n^1) | 5.53 | MAYBE | 1.26 |
| JBCQuery/jbc-query/Julia_10_Iterative/Test2.jar | Ω(1),O(n^1) | 6.02 | MAYBE | 0.75 |
| JBCQuery/jbc-query/Julia_10_Iterative/Test3.jar | TIMEOUT | 60 | MAYBE | 7.48 |
| JBCQuery/jbc-query/Julia_10_Iterative/Test5.jar | Ω(1),O(n^2) | 23.08 | MAYBE | 26.34 |
| JBCQuery/jbc-query/Julia_10_Iterative/Test7.jar | TIMEOUT | 60 | MAYBE | 3.91 |
| JBCQuery/jbc-query/Julia_10_Iterative/Test9.jar | Ω(1),O(n^2) | 7.01 | MAYBE | 0.99 |
| JBCQuery/jbc-query/Julia_10_Iterative/TriTas.jar | Ω(1),O(n^4) | 22.5 | MAYBE | 4.42 |
| JBCQuery/jbc-query/Julia_12_iterative/Et1.jar | MAYBE | 10.49 | MAYBE | 0.43 |
| JBCQuery/jbc-query/Julia_12_iterative/Et2.jar | Ω(1),O(n^1) | 4.2 | MAYBE | 0.78 |
| JBCQuery/jbc-query/Julia_12_iterative/Et3.jar | MAYBE | 9.99 | MAYBE | 0.4 |
| JBCQuery/jbc-query/Julia_12_iterative/Et4.jar | Ω(1),O(n^1) | 4.39 | MAYBE | 0.92 |
| JBCQuery/jbc-query/Julia_12_iterative/Et5.jar | MAYBE | 24.4 | MAYBE | 0.93 |
| JBCQuery/jbc-query/Julia_12_iterative/Et6.jar | MAYBE | 39.63 | MAYBE | 0.93 |