================================================================================ Analyse /home/sfrontull/ddwcapp/static/temp/temp.trs.log 2025-03-05-15-57-08 ================================================================================ -------------------------------------------------------------------------------- Analysing map#2 -------------------------------------------------------------------------------- preprocess_worst_case map#2: 41 measurements get_increasing_data map#2: 5 measurements -- Analyzing map#2: 4625 measurements difference_heuristic: 2 final vote: 2 -- FINAL VOTE FOR map#2 => 2 -------------------------------------------------------------------------------- Analysing insertion_sort_second_time#1 -------------------------------------------------------------------------------- preprocess_worst_case insertion_sort_second_time#1: 15 measurements get_increasing_data insertion_sort_second_time#1: 4 measurements -- Analyzing insertion_sort_second_time#1: 49 measurements difference_heuristic: 2 final vote: 2 -- FINAL VOTE FOR insertion_sort_second_time#1 => 2 -------------------------------------------------------------------------------- Analysing insertion_sort#1 -------------------------------------------------------------------------------- preprocess_worst_case insertion_sort#1: 12 measurements get_increasing_data insertion_sort#1: 4 measurements -- Analyzing insertion_sort#1: 44 measurements difference_heuristic: 2 final vote: 2 -- FINAL VOTE FOR insertion_sort#1 => 2 -------------------------------------------------------------------------------- Analysing cond_insert_x_xs_1 -------------------------------------------------------------------------------- preprocess_worst_case cond_insert_x_xs_1: 1 measurements get_increasing_data cond_insert_x_xs_1: 1 measurements -- Analyzing cond_insert_x_xs_1: 3 measurements difference_heuristic: -1 final vote: -1 -- FINAL VOTE FOR cond_insert_x_xs_1 => -1 -------------------------------------------------------------------------------- Analysing insert#2 -------------------------------------------------------------------------------- preprocess_worst_case insert#2: 9 measurements get_increasing_data insert#2: 3 measurements -- Analyzing insert#2: 38 measurements difference_heuristic: 1 final vote: 1 -- FINAL VOTE FOR insert#2 => 1 -------------------------------------------------------------------------------- Analysing cond_raml_to_pcf_op_lte_x_y -------------------------------------------------------------------------------- preprocess_worst_case cond_raml_to_pcf_op_lte_x_y: 8 measurements get_increasing_data cond_raml_to_pcf_op_lte_x_y: 8 measurements -- Analyzing cond_raml_to_pcf_op_lte_x_y: 14 measurements difference_heuristic: 0 final vote: 0 -- FINAL VOTE FOR cond_raml_to_pcf_op_lte_x_y => 0 -------------------------------------------------------------------------------- Analysing raml_to_pcf_op_eq#2 -------------------------------------------------------------------------------- preprocess_worst_case raml_to_pcf_op_eq#2: 8 measurements get_increasing_data raml_to_pcf_op_eq#2: 8 measurements -- Analyzing raml_to_pcf_op_eq#2: 13 measurements difference_heuristic: 0 final vote: 0 -- FINAL VOTE FOR raml_to_pcf_op_eq#2 => 0 -------------------------------------------------------------------------------- Analysing raml_to_pcf_op_lt#2 -------------------------------------------------------------------------------- preprocess_worst_case raml_to_pcf_op_lt#2: 8 measurements get_increasing_data raml_to_pcf_op_lt#2: 8 measurements -- Analyzing raml_to_pcf_op_lt#2: 13 measurements difference_heuristic: 0 final vote: 0 -- FINAL VOTE FOR raml_to_pcf_op_lt#2 => 0 -------------------------------------------------------------------------------- Analysing main -------------------------------------------------------------------------------- preprocess_worst_case main: 41 measurements get_increasing_data main: 5 measurements -- Analyzing main: 2251 measurements difference_heuristic: 2 final vote: 2 -- FINAL VOTE FOR main => 2