JMH S 39 de.rwth.i2.attestorExamples.ForesterSLL S 72 de.rwth.i2.attestorExamples.generated.ForesterSLL_sll_insertsort_jmhTest S 14 sll_insertsort S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 39 de.rwth.i2.attestorExamples.ForesterSLL S 69 de.rwth.i2.attestorExamples.generated.ForesterSLL_sll_headptr_jmhTest S 11 sll_headptr S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 76 de.rwth.i2.attestorExamples.generated.CAV2018Examples_sllToAVLTree_S_jmhTest S 14 sllToAVLTree_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 66 de.rwth.i2.attestor.examples.generated.AVLTree_list_to_avl_jmhTest S 11 list_to_avl S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 72 de.rwth.i2.attestor.examples.generated.AVLTree_search_and_back_C_jmhTest S 17 search_and_back_C S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefDLL S 69 de.rwth.i2.attestorExamples.generated.RefDLL_CEG_dummyReverse_jmhTest S 16 CEG_dummyReverse S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 76 de.rwth.i2.attestorExamples.generated.CAV2018Examples_findLastDLL_CY_jmhTest S 14 findLastDLL_CY S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 64 de.rwth.i2.attestor.examples.generated.AVLTree_max_value_jmhTest S 9 max_value S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefDLL S 104 de.rwth.i2.attestorExamples.generated.RefDLL_MC_NeighbourhoodPreservance_traverseWithInitialList_jmhTest S 51 MC_NeighbourhoodPreservance_traverseWithInitialList S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 70 de.rwth.i2.attestor.examples.generated.AVLTree_search_and_back_jmhTest S 15 search_and_back S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 37 de.rwth.i2.attestorExamples.Recursive S 69 de.rwth.i2.attestorExamples.generated.Recursive_sll_rec_build_jmhTest S 13 sll_rec_build S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefDLL S 84 de.rwth.i2.attestorExamples.generated.RefDLL_MC_Shape_reverseWithInitialList_jmhTest S 31 MC_Shape_reverseWithInitialList S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 33 de.rwth.i2.attestorExamples.RefBT S 83 de.rwth.i2.attestorExamples.generated.RefBT_lindstromTraverse_neighbourhood_jmhTest S 31 lindstromTraverse_neighbourhood S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 39 de.rwth.i2.attestorExamples.ForesterDLL S 62 de.rwth.i2.attestorExamples.generated.ForesterDLL_cdll_jmhTest S 4 cdll S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 77 de.rwth.i2.attestorExamples.generated.CAV2018Examples_findMiddleSLL_M_jmhTest S 15 findMiddleSLL_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 64 de.rwth.i2.attestor.examples.generated.AVLTree_rebalance_jmhTest S 9 rebalance S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 78 de.rwth.i2.attestorExamples.generated.CAV2018Examples_findMiddleSLL_RX_jmhTest S 16 findMiddleSLL_RX S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 76 de.rwth.i2.attestorExamples.generated.CAV2018Examples_sllToAVLTree_C_jmhTest S 14 sllToAVLTree_C S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 75 de.rwth.i2.attestorExamples.generated.CAV2018Examples_traverseSLL_M_jmhTest S 13 traverseSLL_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 39 de.rwth.i2.attestorExamples.ForesterDLL S 68 de.rwth.i2.attestorExamples.generated.ForesterDLL_dll_insert_jmhTest S 10 dll_insert S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 74 de.rwth.i2.attestorExamples.generated.CAV2018Examples_reverseDLL_S_jmhTest S 12 reverseDLL_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 71 de.rwth.i2.attestorExamples.generated.CAV2018Examples_DSWTree_M_jmhTest S 9 DSWTree_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 37 de.rwth.i2.attestorExamples.Recursive S 73 de.rwth.i2.attestorExamples.generated.Recursive_sll_rec_traversal_jmhTest S 17 sll_rec_traversal S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefDLL S 69 de.rwth.i2.attestorExamples.generated.RefDLL_buildAndTraverse_jmhTest S 16 buildAndTraverse S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefDLL S 69 de.rwth.i2.attestorExamples.generated.RefDLL_faultyReverse1_S_jmhTest S 16 faultyReverse1_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefSLL S 91 de.rwth.i2.attestorExamples.generated.RefSLL_MC_Completeness_reverseWithInitialList_jmhTest S 38 MC_Completeness_reverseWithInitialList S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.SLList S 66 de.rwth.i2.attestorExamples.generated.SLList_reverseSLList_jmhTest S 13 reverseSLList S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 82 de.rwth.i2.attestorExamples.generated.CAV2018Examples_skipList_buildList_M_jmhTest S 20 skipList_buildList_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefSLL S 85 de.rwth.i2.attestorExamples.generated.RefSLL_MC_Reach_traverseWithInitialList_jmhTest S 32 MC_Reach_traverseWithInitialList S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 81 de.rwth.i2.attestorExamples.generated.CAV2018Examples_faultyReverseDLL_CX_jmhTest S 19 faultyReverseDLL_CX S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 97 de.rwth.i2.attestorExamples.generated.CAV2018Examples_buildAndTraverseListOfCyclicLists_M_jmhTest S 35 buildAndTraverseListOfCyclicLists_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 72 de.rwth.i2.attestor.examples.generated.AVLTree_left_right_rotate_jmhTest S 17 left_right_rotate S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefDLL S 74 de.rwth.i2.attestorExamples.generated.RefDLL_CEG_findLast_spurious_jmhTest S 21 CEG_findLast_spurious S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 33 de.rwth.i2.attestorExamples.RefBT S 68 de.rwth.i2.attestorExamples.generated.RefBT_getLeftmostChild_jmhTest S 16 getLeftmostChild S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefDLL S 74 de.rwth.i2.attestorExamples.generated.RefDLL_CEG_reverse_final_pos_jmhTest S 21 CEG_reverse_final_pos S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 72 de.rwth.i2.attestor.examples.generated.AVLTree_search_and_back_S_jmhTest S 17 search_and_back_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.SLList S 69 de.rwth.i2.attestorExamples.generated.SLList_SIDreverseSLList_jmhTest S 16 SIDreverseSLList S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 85 de.rwth.i2.attestorExamples.generated.CAV2018Examples_recursiveTraverseTree_S_jmhTest S 23 recursiveTraverseTree_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefDLL S 69 de.rwth.i2.attestorExamples.generated.RefDLL_faultyReverse3_S_jmhTest S 16 faultyReverse3_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 88 de.rwth.i2.attestorExamples.generated.CAV2018Examples_buildAndDeleteElementSLL_M_jmhTest S 26 buildAndDeleteElementSLL_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 66 de.rwth.i2.attestor.examples.generated.AVLTree_rebalance_S_jmhTest S 11 rebalance_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 75 de.rwth.i2.attestorExamples.generated.CAV2018Examples_traverseSLL_X_jmhTest S 13 traverseSLL_X S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 33 de.rwth.i2.attestorExamples.RefBT S 77 de.rwth.i2.attestorExamples.generated.RefBT_lindstromTraverse_visited_jmhTest S 25 lindstromTraverse_visited S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 75 de.rwth.i2.attestorExamples.generated.CAV2018Examples_reverseDLL_CX_jmhTest S 13 reverseDLL_CX S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 75 de.rwth.i2.attestorExamples.generated.CAV2018Examples_traverseDLL_S_jmhTest S 13 traverseDLL_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 74 de.rwth.i2.attestorExamples.generated.CAV2018Examples_reverseSLL_R_jmhTest S 12 reverseSLL_R S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 77 de.rwth.i2.attestorExamples.generated.CAV2018Examples_findMiddleSLL_N_jmhTest S 15 findMiddleSLL_N S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefSLL S 104 de.rwth.i2.attestorExamples.generated.RefSLL_MC_NeighbourhoodPreservance_traverseWithInitialList_jmhTest S 51 MC_NeighbourhoodPreservance_traverseWithInitialList S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 74 de.rwth.i2.attestorExamples.generated.CAV2018Examples_reverseSLL_V_jmhTest S 12 reverseSLL_V S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 77 de.rwth.i2.attestorExamples.generated.CAV2018Examples_findMiddleSLL_R_jmhTest S 15 findMiddleSLL_R S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefSLL S 85 de.rwth.i2.attestorExamples.generated.RefSLL_MC_Shape_traverseWithInitialList_jmhTest S 32 MC_Shape_traverseWithInitialList S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 82 de.rwth.i2.attestorExamples.generated.CAV2018Examples_buildAndReverseSLL_M_jmhTest S 20 buildAndReverseSLL_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefSLL S 60 de.rwth.i2.attestorExamples.generated.RefSLL_reverse_jmhTest S 7 reverse S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 93 de.rwth.i2.attestorExamples.generated.CAV2018Examples_recursiveBuildAndTraverseTree_S_jmhTest S 31 recursiveBuildAndTraverseTree_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 77 de.rwth.i2.attestorExamples.generated.CAV2018Examples_findMiddleSLL_V_jmhTest S 15 findMiddleSLL_V S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 86 de.rwth.i2.attestorExamples.generated.CAV2018Examples_lindstromTreeTraversal_M_jmhTest S 24 lindstromTreeTraversal_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 40 de.rwth.i2.attestorExamples.ForesterTree S 67 de.rwth.i2.attestorExamples.generated.ForesterTree_tree_dsw_jmhTest S 8 tree_dsw S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 33 de.rwth.i2.attestorExamples.RefBT S 75 de.rwth.i2.attestorExamples.generated.RefBT_lindstromTraverse_shape_jmhTest S 23 lindstromTraverse_shape S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 85 de.rwth.i2.attestorExamples.generated.CAV2018Examples_leftMostInsertAVLTree_M_jmhTest S 23 leftMostInsertAVLTree_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 84 de.rwth.i2.attestorExamples.generated.CAV2018Examples_searchAndBackAVLTree_M_jmhTest S 22 searchAndBackAVLTree_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 83 de.rwth.i2.attestorExamples.generated.CAV2018Examples_recursiveReverseSLL_M_jmhTest S 21 recursiveReverseSLL_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 72 de.rwth.i2.attestor.examples.generated.AVLTree_search_and_swap_S_jmhTest S 17 search_and_swap_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 70 de.rwth.i2.attestor.examples.generated.AVLTree_search_and_swap_jmhTest S 15 search_and_swap S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 74 de.rwth.i2.attestorExamples.generated.CAV2018Examples_reverseSLL_M_jmhTest S 12 reverseSLL_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefDLL S 92 de.rwth.i2.attestorExamples.generated.RefDLL_MC_Completeness_traverseWithInitialList_jmhTest S 39 MC_Completeness_traverseWithInitialList S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 79 de.rwth.i2.attestorExamples.generated.CAV2018Examples_skipList_insert_M_jmhTest S 17 skipList_insert_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 77 de.rwth.i2.attestorExamples.generated.CAV2018Examples_insertAVLTree_M_jmhTest S 15 insertAVLTree_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefDLL S 74 de.rwth.i2.attestorExamples.generated.RefDLL_CEG_walkAround_return_jmhTest S 21 CEG_walkAround_return S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefSLL S 92 de.rwth.i2.attestorExamples.generated.RefSLL_MC_Completeness_traverseWithInitialList_jmhTest S 39 MC_Completeness_traverseWithInitialList S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 37 de.rwth.i2.attestorExamples.Recursive S 67 de.rwth.i2.attestorExamples.generated.Recursive_sll_rec_zip_jmhTest S 11 sll_rec_zip S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 66 de.rwth.i2.attestor.examples.generated.AVLTree_rebalance_C_jmhTest S 11 rebalance_C S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 72 de.rwth.i2.attestor.examples.generated.AVLTree_search_and_swap_C_jmhTest S 17 search_and_swap_C S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 84 de.rwth.i2.attestorExamples.generated.CAV2018Examples_searchAndSwapAVLTree_M_jmhTest S 22 searchAndSwapAVLTree_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 83 de.rwth.i2.attestorExamples.generated.CAV2018Examples_binarySearchAVLTree_S_jmhTest S 21 binarySearchAVLTree_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 83 de.rwth.i2.attestorExamples.generated.CAV2018Examples_buildSLLWithHeadPtr_M_jmhTest S 21 buildSLLWithHeadPtr_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefSLL S 84 de.rwth.i2.attestorExamples.generated.RefSLL_MC_Shape_reverseWithInitialList_jmhTest S 31 MC_Shape_reverseWithInitialList S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 37 de.rwth.i2.attestorExamples.Recursive S 74 de.rwth.i2.attestorExamples.generated.Recursive_tree_rec_traversal_jmhTest S 18 tree_rec_traversal S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefDLL S 85 de.rwth.i2.attestorExamples.generated.RefDLL_MC_Shape_traverseWithInitialList_jmhTest S 32 MC_Shape_traverseWithInitialList S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 75 de.rwth.i2.attestorExamples.generated.CAV2018Examples_traverseSLL_S_jmhTest S 13 traverseSLL_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 86 de.rwth.i2.attestorExamples.generated.CAV2018Examples_buildAndInsertsortDLL1_M_jmhTest S 24 buildAndInsertsortDLL1_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 86 de.rwth.i2.attestorExamples.generated.CAV2018Examples_lindstromTreeTraversal_N_jmhTest S 24 lindstromTreeTraversal_N S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 40 de.rwth.i2.attestorExamples.ForesterTree S 75 de.rwth.i2.attestorExamples.generated.ForesterTree_tree_constructor_jmhTest S 16 tree_constructor S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 76 de.rwth.i2.attestorExamples.generated.CAV2018Examples_sllToAVLTree_M_jmhTest S 14 sllToAVLTree_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 85 de.rwth.i2.attestorExamples.generated.CAV2018Examples_buildAndInsertsortSLL_M_jmhTest S 23 buildAndInsertsortSLL_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 84 de.rwth.i2.attestorExamples.generated.CAV2018Examples_searchAndSwapAVLTree_S_jmhTest S 22 searchAndSwapAVLTree_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 86 de.rwth.i2.attestorExamples.generated.CAV2018Examples_lindstromTreeTraversal_V_jmhTest S 24 lindstromTreeTraversal_V S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 81 de.rwth.i2.attestorExamples.generated.CAV2018Examples_buildAndInsertDLL_M_jmhTest S 19 buildAndInsertDLL_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 61 de.rwth.i2.attestor.examples.generated.AVLTree_insert_jmhTest S 6 insert S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 39 de.rwth.i2.attestorExamples.ForesterDLL S 65 de.rwth.i2.attestorExamples.generated.ForesterDLL_dll_rev_jmhTest S 7 dll_rev S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 74 de.rwth.i2.attestorExamples.generated.CAV2018Examples_reverseSLL_S_jmhTest S 12 reverseSLL_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 78 de.rwth.i2.attestorExamples.generated.CAV2018Examples_findMiddleSLL_VX_jmhTest S 16 findMiddleSLL_VX S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 72 de.rwth.i2.attestor.examples.generated.AVLTree_min_value_S_final_jmhTest S 17 min_value_S_final S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 77 de.rwth.i2.attestorExamples.generated.CAV2018Examples_findMiddleSLL_S_jmhTest S 15 findMiddleSLL_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 67 de.rwth.i2.attestor.examples.generated.AVLTree_right_rotate_jmhTest S 12 right_rotate S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefDLL S 85 de.rwth.i2.attestorExamples.generated.RefDLL_MC_Reach_traverseWithInitialList_jmhTest S 32 MC_Reach_traverseWithInitialList S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 82 de.rwth.i2.attestorExamples.generated.CAV2018Examples_buildAndReverseSLL_R_jmhTest S 20 buildAndReverseSLL_R S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 75 de.rwth.i2.attestorExamples.generated.CAV2018Examples_reverseDLL_SX_jmhTest S 13 reverseDLL_SX S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 39 de.rwth.i2.attestorExamples.ForesterDLL S 73 de.rwth.i2.attestorExamples.generated.ForesterDLL_dll_insertsort1_jmhTest S 15 dll_insertsort1 S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 85 de.rwth.i2.attestorExamples.generated.CAV2018Examples_recursiveTraverseTree_N_jmhTest S 23 recursiveTraverseTree_N S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefSLL S 103 de.rwth.i2.attestorExamples.generated.RefSLL_MC_NeighbourhoodPreservance_reverseWithInitialList_jmhTest S 50 MC_NeighbourhoodPreservance_reverseWithInitialList S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 39 de.rwth.i2.attestorExamples.ForesterSLL S 72 de.rwth.i2.attestorExamples.generated.ForesterSLL_sll_bubblesort_jmhTest S 14 sll_bubblesort S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 82 de.rwth.i2.attestorExamples.generated.CAV2018Examples_buildAndReverseDLL_M_jmhTest S 20 buildAndReverseDLL_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefDLL S 91 de.rwth.i2.attestorExamples.generated.RefDLL_MC_Completeness_reverseWithInitialList_jmhTest S 38 MC_Completeness_reverseWithInitialList S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 33 de.rwth.i2.attestorExamples.RefBT S 59 de.rwth.i2.attestorExamples.generated.RefBT_getLeft_jmhTest S 7 getLeft S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 78 de.rwth.i2.attestorExamples.generated.CAV2018Examples_buildCyclicDLL_M_jmhTest S 16 buildCyclicDLL_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 33 de.rwth.i2.attestorExamples.RefBT S 84 de.rwth.i2.attestorExamples.generated.RefBT_lindstromTraverse_terminateAtSen_jmhTest S 32 lindstromTraverse_terminateAtSen S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefDLL S 83 de.rwth.i2.attestorExamples.generated.RefDLL_CEG_traverse_inverse_final_pos_jmhTest S 30 CEG_traverse_inverse_final_pos S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 39 de.rwth.i2.attestorExamples.ForesterSLL S 65 de.rwth.i2.attestorExamples.generated.ForesterSLL_sll_rev_jmhTest S 7 sll_rev S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefDLL S 103 de.rwth.i2.attestorExamples.generated.RefDLL_MC_NeighbourhoodPreservance_reverseWithInitialList_jmhTest S 50 MC_NeighbourhoodPreservance_reverseWithInitialList S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 84 de.rwth.i2.attestorExamples.generated.CAV2018Examples_recursiveReverseSLL_NX_jmhTest S 22 recursiveReverseSLL_NX S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefDLL S 69 de.rwth.i2.attestorExamples.generated.RefDLL_faultyReverse2_S_jmhTest S 16 faultyReverse2_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 70 de.rwth.i2.attestor.examples.generated.AVLTree_binary_search_C_jmhTest S 15 binary_search_C S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefSLL S 105 de.rwth.i2.attestorExamples.generated.RefSLL_MC_Completeness_traverseWithInitialListWithNullVisit_jmhTest S 52 MC_Completeness_traverseWithInitialListWithNullVisit S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 74 de.rwth.i2.attestorExamples.generated.CAV2018Examples_reverseDLL_M_jmhTest S 12 reverseDLL_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefSLL S 84 de.rwth.i2.attestorExamples.generated.RefSLL_MC_Reach_reverseWithInitialList_jmhTest S 31 MC_Reach_reverseWithInitialList S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefDLL S 72 de.rwth.i2.attestorExamples.generated.RefDLL_CEG_dummyWalkAround_jmhTest S 19 CEG_dummyWalkAround S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 75 de.rwth.i2.attestorExamples.generated.CAV2018Examples_reverseDLL_NX_jmhTest S 13 reverseDLL_NX S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 86 de.rwth.i2.attestorExamples.generated.CAV2018Examples_lindstromTreeTraversal_S_jmhTest S 24 lindstromTreeTraversal_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 75 de.rwth.i2.attestorExamples.generated.CAV2018Examples_traverseSLL_R_jmhTest S 13 traverseSLL_R S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 33 de.rwth.i2.attestorExamples.RefBT S 69 de.rwth.i2.attestorExamples.generated.RefBT_lindstromTraverse_jmhTest S 17 lindstromTraverse S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 84 de.rwth.i2.attestorExamples.generated.CAV2018Examples_recursiveReverseSLL_VX_jmhTest S 22 recursiveReverseSLL_VX S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefDLL S 61 de.rwth.i2.attestorExamples.generated.RefDLL_traverse_jmhTest S 8 traverse S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 84 de.rwth.i2.attestorExamples.generated.CAV2018Examples_searchAndBackAVLTree_S_jmhTest S 22 searchAndBackAVLTree_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 64 de.rwth.i2.attestor.examples.generated.AVLTree_min_value_jmhTest S 9 min_value S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 75 de.rwth.i2.attestorExamples.generated.CAV2018Examples_traverseSLL_V_jmhTest S 13 traverseSLL_V S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 66 de.rwth.i2.attestor.examples.generated.AVLTree_min_value_C_jmhTest S 11 min_value_C S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 70 de.rwth.i2.attestor.examples.generated.AVLTree_binary_search_S_jmhTest S 15 binary_search_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 86 de.rwth.i2.attestorExamples.generated.CAV2018Examples_lindstromTreeTraversal_C_jmhTest S 24 lindstromTreeTraversal_C S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 93 de.rwth.i2.attestorExamples.generated.CAV2018Examples_recursiveBuildAndTraverseTree_M_jmhTest S 31 recursiveBuildAndTraverseTree_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefSLL S 64 de.rwth.i2.attestorExamples.generated.RefSLL_CEG_reverse_jmhTest S 11 CEG_reverse S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 84 de.rwth.i2.attestorExamples.generated.CAV2018Examples_searchAndBackAVLTree_C_jmhTest S 22 searchAndBackAVLTree_C S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefDLL S 84 de.rwth.i2.attestorExamples.generated.RefDLL_MC_Reach_reverseWithInitialList_jmhTest S 31 MC_Reach_reverseWithInitialList S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 66 de.rwth.i2.attestor.examples.generated.AVLTree_left_rotate_jmhTest S 11 left_rotate S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 82 de.rwth.i2.attestorExamples.generated.CAV2018Examples_buildAndReverseSLL_S_jmhTest S 20 buildAndReverseSLL_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 39 de.rwth.i2.attestorExamples.ForesterDLL S 73 de.rwth.i2.attestorExamples.generated.ForesterDLL_dll_insertsort2_jmhTest S 15 dll_insertsort2 S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 75 de.rwth.i2.attestorExamples.generated.CAV2018Examples_traverseSLL_N_jmhTest S 13 traverseSLL_N S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 85 de.rwth.i2.attestorExamples.generated.CAV2018Examples_recursiveTraverseTree_M_jmhTest S 23 recursiveTraverseTree_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 68 de.rwth.i2.attestor.examples.generated.AVLTree_list_to_avl_C_jmhTest S 13 list_to_avl_C S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 85 de.rwth.i2.attestorExamples.generated.CAV2018Examples_leftMostInsertAVLTree_S_jmhTest S 23 leftMostInsertAVLTree_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 74 de.rwth.i2.attestorExamples.generated.CAV2018Examples_reverseDLL_R_jmhTest S 12 reverseDLL_R S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 75 de.rwth.i2.attestorExamples.generated.CAV2018Examples_reverseSLL_NX_jmhTest S 13 reverseSLL_NX S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 74 de.rwth.i2.attestorExamples.generated.CAV2018Examples_reverseDLL_V_jmhTest S 12 reverseDLL_V S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 39 de.rwth.i2.attestorExamples.ForesterSLL S 68 de.rwth.i2.attestorExamples.generated.ForesterSLL_sll_delete_jmhTest S 10 sll_delete S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 77 de.rwth.i2.attestorExamples.generated.CAV2018Examples_constructTree_M_jmhTest S 15 constructTree_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefSLL S 88 de.rwth.i2.attestorExamples.generated.RefSLL_MC_Shape_SH_traverseWithInitialList_jmhTest S 35 MC_Shape_SH_traverseWithInitialList S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 85 de.rwth.i2.attestorExamples.generated.CAV2018Examples_buildAndBubbleSortSLL_M_jmhTest S 23 buildAndBubbleSortSLL_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 72 de.rwth.i2.attestor.examples.generated.AVLTree_right_left_rotate_jmhTest S 17 right_left_rotate S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 68 de.rwth.i2.attestor.examples.generated.AVLTree_list_to_avl_S_jmhTest S 13 list_to_avl_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 39 de.rwth.i2.attestorExamples.ForesterSLL S 74 de.rwth.i2.attestorExamples.generated.ForesterSLL_sll_listofclists_jmhTest S 16 sll_listofclists S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefSLL S 75 de.rwth.i2.attestorExamples.generated.RefSLL_reverseWithInitialList_jmhTest S 22 reverseWithInitialList S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 86 de.rwth.i2.attestorExamples.generated.CAV2018Examples_buildAndInsertsortDLL2_M_jmhTest S 24 buildAndInsertsortDLL2_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 68 de.rwth.i2.attestor.examples.generated.AVLTree_binary_search_jmhTest S 13 binary_search S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 83 de.rwth.i2.attestorExamples.generated.CAV2018Examples_binarySearchAVLTree_M_jmhTest S 21 binarySearchAVLTree_M S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 34 de.rwth.i2.attestorExamples.RefDLL S 62 de.rwth.i2.attestorExamples.generated.RefDLL_buildList_jmhTest S 9 buildList S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 63 de.rwth.i2.attestor.examples.generated.AVLTree_insert_S_jmhTest S 8 insert_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 66 de.rwth.i2.attestor.examples.generated.AVLTree_min_value_S_jmhTest S 11 min_value_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 83 de.rwth.i2.attestorExamples.generated.CAV2018Examples_recursiveReverseSLL_S_jmhTest S 21 recursiveReverseSLL_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 36 de.rwth.i2.attestor.examples.AVLTree S 76 de.rwth.i2.attestor.examples.generated.AVLTree_binary_search_S_final_jmhTest S 21 binary_search_S_final S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 84 de.rwth.i2.attestorExamples.generated.CAV2018Examples_searchAndSwapAVLTree_C_jmhTest S 22 searchAndSwapAVLTree_C S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
JMH S 43 de.rwth.i2.attestorExamples.CAV2018Examples S 77 de.rwth.i2.attestorExamples.generated.CAV2018Examples_insertAVLTree_S_jmhTest S 15 insertAVLTree_S S 10 Throughput E A 1 1 1 E E E E E E E E E E E E E E E E E 
