line |
true |
false |
branch |
485
|
0 |
0 |
if ($global_begin_module_actions_done != $global_true or $global_intitialization_done != $global_true) |
516
|
0 |
0 |
if ($global_logging_info == $global_true) |
534
|
0 |
0 |
if ($global_possible_error_message ne '') |
539
|
0 |
0 |
if ($previous_number == $global_voteinfo_code_for_case_number) |
542
|
0 |
0 |
if ($global_logging_info == $global_true) |
553
|
0 |
0 |
if ($global_possible_error_message ne '') |
569
|
0 |
0 |
if ($input_number_count < 2) |
573
|
0 |
0 |
if ($global_logging_info == $global_true) |
581
|
0 |
0 |
if ($global_possible_error_message eq '') |
593
|
0 |
0 |
if ($global_possible_error_message =~ /[^ ]/) { } |
609
|
0 |
0 |
if ($global_possible_error_message ne '') { } |
616
|
0 |
0 |
if ($global_logging_info == $global_true) |
624
|
0 |
0 |
if ($global_length_of_result_info_list < 2) { } |
626
|
0 |
0 |
if ($global_logging_info == $global_true) |
634
|
0 |
0 |
if ($next_result_code == 0) { } |
|
0 |
0 |
elsif ($next_result_code > 0) { } |
642
|
0 |
0 |
if ($global_true_or_false_request_dashrep_phrases_in_output == $global_true) { } |
691
|
0 |
0 |
if ($global_begin_module_actions_done != $global_true or $global_intitialization_done != $global_true) |
700
|
0 |
0 |
if (scalar @_ == 1) { } |
702
|
0 |
0 |
if (defined $_[0]) { } |
720
|
0 |
0 |
if ($global_length_of_vote_info_list > $global_max_array_length) |
782
|
0 |
0 |
if ($global_begin_module_actions_done != $global_true or $global_intitialization_done != $global_true) |
793
|
0 |
0 |
if ($global_pointer_to_output_results >= $global_length_of_result_info_list or $global_pointer_to_output_results >= $global_max_array_length) |
803
|
0 |
0 |
if ($global_pointer_to_output_results < 0) |
813
|
0 |
0 |
unless (defined $global_output_results[$global_pointer_to_output_results]) |
831
|
0 |
0 |
if ($current_result_info_number == $global_voteinfo_code_for_end_of_all_cases) |
887
|
17 |
0 |
if ($global_begin_module_actions_done != $global_true or $global_intitialization_done != $global_true) |
897
|
17 |
0 |
if (scalar @_ == 1) |
899
|
17 |
0 |
if (defined $_[0]) |
904
|
17 |
0 |
if ($global_logging_info == $global_true) |
922
|
0 |
849 |
if ($global_length_of_vote_info_list > $global_max_array_length) |
933
|
557 |
292 |
if ($current_vote_info_code =~ /^[0-9\-]+$/) { } |
|
292 |
0 |
elsif (defined $global_code_number_for_letters{$current_vote_info_code}) { } |
1011
|
0 |
17 |
if ($global_begin_module_actions_done != $global_true or $global_intitialization_done != $global_true) |
1031
|
17 |
0 |
if ($global_logging_info == $global_true) |
1046
|
0 |
2682 |
unless (defined $global_output_results[$global_pointer_to_output_results]) |
1068
|
1558 |
1124 |
if ($current_result_info_number < 0) { } |
|
67 |
1057 |
elsif ($current_result_info_number == 0) { } |
1070
|
1558 |
0 |
if (defined $letters_for_negative_of_code_number[-$current_result_info_number]) { } |
1090
|
17 |
2665 |
if ($current_result_info_number == $global_voteinfo_code_for_end_of_all_cases) |
1122
|
17 |
0 |
if ($global_logging_info == $global_true) |
1123
|
17 |
0 |
if ($global_logging_info == $global_true) |
1168
|
0 |
17 |
if ($global_begin_module_actions_done != $global_true or $global_intitialization_done != $global_true) |
1194
|
0 |
17 |
if ($global_possible_error_message ne '') |
1213
|
17 |
0 |
if ($global_logging_info == $global_true) |
1218
|
711 |
20 |
if ($global_vote_info_list[$global_input_pointer_start_next_case] != $global_voteinfo_code_for_case_number) |
1225
|
20 |
0 |
if ($global_logging_info == $global_true) |
1247
|
2 |
18 |
if ($global_true_or_false_ignore_case[$global_case_number] == $global_true) |
1250
|
2 |
0 |
if ($global_logging_info == $global_true) |
1265
|
0 |
18 |
if ($global_question_count_for_case[$global_case_number] < 1) |
1267
|
0 |
0 |
if ($global_logging_info == $global_true) |
1278
|
18 |
0 |
if ($global_logging_info == $global_true) |
1288
|
19 |
0 |
if ($global_logging_info == $global_true) |
1295
|
19 |
0 |
if ($global_logging_info == $global_true) |
1316
|
19 |
0 |
if ($global_logging_info == $global_true) |
1323
|
18 |
0 |
if ($global_logging_info == $global_true) |
1331
|
17 |
0 |
if ($global_logging_info == $global_true) |
1343
|
17 |
0 |
if ($global_logging_info == $global_true) |
1349
|
17 |
0 |
if ($global_logging_info == $global_true) |
1384
|
16 |
0 |
if ($global_logging_info == $global_true) |
1418
|
0 |
0 |
if ($global_begin_module_actions_done != $global_true or $global_intitialization_done != $global_true) |
1498
|
475 |
0 |
if ($global_using_choice[$actual_choice] == $global_true) |
1514
|
475 |
0 |
if ($global_using_choice[$actual_choice] == $global_true) |
1525
|
0 |
84 |
if ($global_current_total_vote_count <= 0) |
1527
|
0 |
0 |
if ($global_logging_info == $global_true) |
1528
|
0 |
0 |
if ($global_logging_info == $global_true) |
1538
|
0 |
84 |
if ($global_adjusted_choice_count < 2) |
1541
|
0 |
0 |
if ($global_logging_info == $global_true) |
1550
|
84 |
0 |
if ($global_logging_info == $global_true) |
1552
|
84 |
0 |
if ($global_logging_info == $global_true) |
1562
|
84 |
0 |
if ($global_logging_info == $global_true) |
1564
|
84 |
0 |
if ($global_logging_info == $global_true) |
1594
|
84 |
0 |
if ($global_logging_info == $global_true) |
1595
|
84 |
0 |
if ($global_logging_info == $global_true) |
1596
|
84 |
0 |
if ($global_logging_info == $global_true) |
1598
|
56 |
28 |
if ($global_adjusted_choice_count <= $global_check_all_scores_choice_limit and $twice_highest_possible_score <= $global_maximum_twice_highest_possible_score) |
1607
|
56 |
0 |
if ($global_logging_info == $global_true) |
1609
|
56 |
0 |
if ($global_logging_info == $global_true) |
1624
|
84 |
0 |
if ($global_logging_info == $global_true) |
1626
|
84 |
0 |
if ($global_logging_info == $global_true) |
1627
|
28 |
56 |
if ($ranking_level_from_all_scores_calc == 0 and $ranking_level_from_insertion_sort_calc != 0) |
1629
|
28 |
0 |
if ($global_logging_info == $global_true) |
1637
|
237 |
0 |
if ($global_logging_info == $global_true) |
1651
|
0 |
84 |
if ($global_popularity_ranking_for_actual_choice[$actual_choice] == 0) { } |
1654
|
0 |
0 |
if ($global_logging_info == $global_true) |
1671
|
84 |
0 |
if ($global_popularity_ranking_for_actual_choice[$actual_choice] > 0) |
1678
|
102 |
373 |
if ($global_popularity_ranking_for_actual_choice[$actual_choice] == 1) |
1681
|
84 |
18 |
if ($global_choice_count_at_top_popularity_ranking_level == 1) { } |
1688
|
102 |
0 |
if ($global_logging_info == $global_true) |
1691
|
84 |
0 |
if ($global_logging_info == $global_true) |
1692
|
84 |
0 |
if ($global_logging_info == $global_true) |
1713
|
84 |
0 |
if ($global_logging_info == $global_true) |
1775
|
16 |
0 |
if ($global_logging_info == $global_true) |
1778
|
0 |
16 |
if ($true_or_false_log_details == $global_true) { } |
1791
|
0 |
16 |
if ($true_or_false_log_details == $global_true) |
1812
|
104 |
11 |
if ($global_using_choice[$actual_choice] == $global_true) { } |
1816
|
0 |
104 |
if ($true_or_false_log_details == $global_true) |
1819
|
0 |
11 |
if ($true_or_false_log_details == $global_true) |
1822
|
0 |
16 |
if ($true_or_false_log_details == $global_true) |
1829
|
0 |
16 |
if ($initial_choice_count_for_rep_ranking < 2) |
1831
|
0 |
0 |
if ($global_logging_info == $global_true) |
1844
|
2 |
14 |
if ($initial_choice_count_for_rep_ranking == 2) |
1846
|
0 |
2 |
if ($true_or_false_log_details == $global_true) |
1847
|
0 |
2 |
if ($global_choice_count_at_top_popularity_ranking_level == 1) { } |
1852
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
1855
|
0 |
0 |
if ($global_using_choice[$actual_choice] == $global_true and $actual_choice != $most_preferred_choice) |
1860
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
1868
|
4 |
0 |
if ($global_using_choice[$actual_choice] == $global_true) |
1872
|
0 |
4 |
if ($true_or_false_log_details == $global_true) |
1876
|
0 |
2 |
if ($true_or_false_log_details == $global_true) |
1888
|
1 |
13 |
if ($global_representation_levels_requested > $global_limit_on_representation_rank_levels) |
1892
|
0 |
14 |
if ($true_or_false_log_details == $global_true) |
1899
|
0 |
14 |
if ($global_representation_levels_requested < 1) |
1901
|
0 |
0 |
if ($global_logging_info == $global_true) |
1938
|
28 |
0 |
if ($global_logging_info == $global_true) |
1948
|
0 |
28 |
if ($true_or_false_log_details == $global_true) |
1949
|
24 |
4 |
if ($global_choice_count_at_top_popularity_ranking_level == 1) { } |
|
4 |
0 |
elsif ($global_choice_count_at_top_popularity_ranking_level > 1) { } |
1954
|
0 |
24 |
if ($true_or_false_log_details == $global_true) |
1969
|
0 |
4 |
if ($true_or_false_log_details == $global_true) |
1973
|
9 |
10 |
if ($global_popularity_ranking_for_actual_choice[$actual_choice] == 1) { } |
1981
|
0 |
19 |
if ($true_or_false_log_details == $global_true) |
1983
|
0 |
4 |
if ($true_or_false_log_details == $global_true) |
1988
|
0 |
0 |
if ($global_logging_info == $global_true) |
1997
|
2 |
22 |
if ($number_of_choices_rep_ranked == $initial_choice_count_for_rep_ranking - 1) |
2001
|
2 |
6 |
if ($global_using_choice[$actual_choice] == $global_true) |
2009
|
0 |
2 |
if ($true_or_false_log_details == $global_true) |
2011
|
0 |
2 |
if ($true_or_false_log_details == $global_true) |
2013
|
0 |
2 |
if ($true_or_false_log_details == $global_true) |
2023
|
0 |
22 |
if ($true_or_false_log_details == $global_true) |
2024
|
0 |
22 |
if ($true_or_false_log_details == $global_true) |
2025
|
0 |
22 |
if ($number_of_choices_rep_ranked >= $initial_choice_count_for_rep_ranking or $number_of_representation_levels_ranked >= $global_representation_levels_requested) |
2027
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
2038
|
0 |
22 |
if ($true_or_false_log_details == $global_true) |
2065
|
22 |
0 |
if ($global_logging_info == $global_true) |
2070
|
22 |
102 |
if ($global_ballot_info_repeat_count < 1) |
2074
|
86 |
16 |
if ($global_ballot_preference_for_choice[$previous_most_representative_choice] > 1) { } |
2080
|
16 |
0 |
if ($global_logging_info == $global_true) |
2090
|
0 |
22 |
if ($true_or_false_log_details == $global_true) |
2097
|
0 |
22 |
if ($non_ignored_vote_count == 0) { } |
2099
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
2109
|
22 |
0 |
if ($global_logging_info == $global_true) |
2116
|
0 |
22 |
if ($true_or_false_log_details == $global_true) |
2117
|
20 |
2 |
if ($global_choice_count_at_top_popularity_ranking_level == 1) { } |
|
2 |
0 |
elsif ($global_choice_count_at_top_popularity_ranking_level > 1) { } |
2120
|
0 |
20 |
if ($true_or_false_log_details == $global_true) |
2130
|
0 |
2 |
if ($true_or_false_log_details == $global_true) |
2135
|
5 |
10 |
if ($global_popularity_ranking_for_actual_choice[$actual_choice] == 1) { } |
2143
|
0 |
15 |
if ($true_or_false_log_details == $global_true) |
2145
|
0 |
2 |
if ($true_or_false_log_details == $global_true) |
2151
|
0 |
0 |
if ($global_logging_info == $global_true) |
2176
|
20 |
0 |
if ($global_logging_info == $global_true) |
2181
|
20 |
96 |
if ($global_ballot_info_repeat_count < 1) |
2185
|
70 |
26 |
if ($global_ballot_preference_for_choice[$previous_most_representative_choice] <= $global_ballot_preference_for_choice[$alternative_most_preferred_choice]) |
2188
|
70 |
0 |
if ($global_logging_info == $global_true) |
2191
|
0 |
20 |
if ($true_or_false_log_details == $global_true) |
2199
|
20 |
0 |
if ($vote_count_for_reduced_influence >= 1) { } |
2202
|
0 |
20 |
if ($true_or_false_log_details == $global_true) |
2206
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
2208
|
0 |
20 |
if ($reduced_influence_amount < 0) |
2211
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
2233
|
20 |
0 |
if ($global_logging_info == $global_true) |
2237
|
20 |
96 |
if ($global_ballot_info_repeat_count < 1) |
2241
|
70 |
26 |
if ($global_ballot_preference_for_choice[$previous_most_representative_choice] <= $global_ballot_preference_for_choice[$alternative_most_preferred_choice]) { } |
2244
|
70 |
0 |
if ($global_logging_info == $global_true) |
2257
|
20 |
0 |
if ($global_logging_info == $global_true) |
2265
|
20 |
0 |
if ($global_logging_info == $global_true) |
2274
|
19 |
1 |
if ($global_choice_count_at_top_popularity_ranking_level == 1) { } |
2277
|
0 |
19 |
if ($true_or_false_log_details == $global_true) |
2280
|
0 |
19 |
if ($true_or_false_log_details == $global_true) |
2293
|
0 |
1 |
if ($true_or_false_log_details == $global_true) |
2297
|
2 |
3 |
if ($global_popularity_ranking_for_actual_choice[$actual_choice] == 1) { } |
2305
|
0 |
5 |
if ($true_or_false_log_details == $global_true) |
2307
|
0 |
1 |
if ($true_or_false_log_details == $global_true) |
2325
|
1 |
18 |
if ($initial_choice_count_for_rep_ranking - $number_of_choices_rep_ranked == 1) |
2329
|
1 |
0 |
if ($global_using_choice[$actual_choice] == $global_true) |
2336
|
0 |
1 |
if ($true_or_false_log_details == $global_true) |
2339
|
0 |
1 |
if ($true_or_false_log_details == $global_true) |
2341
|
0 |
1 |
if ($true_or_false_log_details == $global_true) |
2350
|
0 |
18 |
if ($true_or_false_log_details == $global_true) |
2351
|
0 |
18 |
if ($true_or_false_log_details == $global_true) |
2352
|
4 |
14 |
if ($number_of_choices_rep_ranked >= $initial_choice_count_for_rep_ranking or $number_of_representation_levels_ranked >= $global_representation_levels_requested) |
2354
|
0 |
4 |
if ($true_or_false_log_details == $global_true) |
2378
|
0 |
14 |
if ($true_or_false_log_details == $global_true) |
2382
|
14 |
68 |
if ($global_ballot_info_repeat_count < 1) |
2394
|
14 |
0 |
if ($global_logging_info == $global_true) |
2410
|
14 |
0 |
if ($global_logging_info == $global_true) |
2411
|
14 |
0 |
if ($global_logging_info == $global_true) |
2465
|
10 |
0 |
if ($global_logging_info == $global_true) |
2477
|
0 |
10 |
if ($global_full_choice_count < 1) |
2479
|
0 |
0 |
if ($global_logging_info == $global_true) |
2499
|
0 |
10 |
if ($global_full_choice_count == 1) |
2502
|
0 |
0 |
if ($global_logging_info == $global_true) |
2515
|
8 |
2 |
if ($global_choice_count_at_full_top_popularity_ranking_level == 1) { } |
|
1 |
1 |
elsif ($global_choice_count_at_full_top_popularity_ranking_level == 2) { } |
2520
|
8 |
0 |
if ($global_logging_info == $global_true) |
2535
|
1 |
0 |
if ($global_logging_info == $global_true) |
2538
|
2 |
1 |
if ($global_full_popularity_ranking_for_actual_choice[$actual_choice] == 1) |
2540
|
1 |
1 |
if ($first_party_choice == 0) { } |
|
1 |
0 |
elsif ($second_party_choice == 0) { } |
2552
|
1 |
0 |
if ($global_logging_info == $global_true) |
2569
|
1 |
0 |
if ($global_logging_info == $global_true) |
2572
|
3 |
0 |
if ($global_full_popularity_ranking_for_actual_choice[$actual_choice] == 1) { } |
|
0 |
0 |
elsif ($global_party_ranking_for_actual_choice[$actual_choice] == 0) { } |
2575
|
3 |
0 |
if ($global_logging_info == $global_true) |
2579
|
0 |
0 |
if ($global_logging_info == $global_true) |
2583
|
1 |
0 |
if ($global_logging_info == $global_true) |
2594
|
8 |
1 |
if ($count_of_parties_ranked == 1) |
2596
|
6 |
2 |
if ($global_choice_count_at_full_second_representation_level == 1) { } |
2601
|
6 |
0 |
if ($global_logging_info == $global_true) |
2619
|
2 |
0 |
if ($global_logging_info == $global_true) |
2622
|
18 |
0 |
if ($global_logging_info == $global_true) |
2623
|
5 |
13 |
if ($global_full_representation_ranking_for_actual_choice[$actual_choice] == 2) { } |
|
11 |
2 |
elsif ($global_party_ranking_for_actual_choice[$actual_choice] == 0) { } |
2627
|
5 |
0 |
if ($global_logging_info == $global_true) |
2631
|
11 |
0 |
if ($global_logging_info == $global_true) |
2634
|
2 |
0 |
if ($global_logging_info == $global_true) |
2644
|
0 |
7 |
if ($global_full_choice_count == 2) { } |
|
0 |
7 |
elsif ($global_full_choice_count == 3) { } |
2646
|
0 |
0 |
if ($global_logging_info == $global_true) |
2659
|
0 |
0 |
if ($global_party_ranking_for_actual_choice[$actual_choice] == 0) |
2662
|
0 |
0 |
if ($global_logging_info == $global_true) |
2663
|
0 |
0 |
if ($global_logging_info == $global_true) |
2677
|
14 |
40 |
if ($global_party_ranking_for_actual_choice[$actual_choice] > 0) |
2680
|
14 |
0 |
if ($global_logging_info == $global_true) |
2692
|
7 |
0 |
if ($global_logging_info == $global_true) |
2694
|
7 |
0 |
if ($global_logging_info == $global_true) |
2699
|
7 |
39 |
if ($global_ballot_info_repeat_count < 1) { } |
2704
|
22 |
17 |
if ($global_ballot_preference_for_choice[$first_party_choice] > 1 and $global_ballot_preference_for_choice[$second_party_choice] > 1) { } |
2708
|
22 |
0 |
if ($global_logging_info == $global_true) |
2711
|
17 |
0 |
if ($global_logging_info == $global_true) |
2724
|
6 |
1 |
if ($non_ignored_vote_count >= 1) { } |
2727
|
6 |
0 |
if ($global_logging_info == $global_true) |
2729
|
6 |
0 |
if ($global_logging_info == $global_true) |
2730
|
4 |
2 |
if ($global_choice_count_at_top_popularity_ranking_level == 1) { } |
2734
|
4 |
0 |
if ($global_logging_info == $global_true) |
2748
|
2 |
0 |
if ($global_logging_info == $global_true) |
2752
|
5 |
5 |
if ($global_popularity_ranking_for_actual_choice[$actual_choice] == 1) { } |
|
5 |
0 |
elsif ($global_party_ranking_for_actual_choice[$actual_choice] == 0) { } |
2756
|
5 |
0 |
if ($global_logging_info == $global_true) |
2760
|
5 |
0 |
if ($global_logging_info == $global_true) |
2763
|
2 |
0 |
if ($global_logging_info == $global_true) |
2768
|
1 |
0 |
if ($global_logging_info == $global_true) |
2776
|
0 |
5 |
if ($global_full_choice_count - $count_of_parties_ranked == 0) { } |
|
1 |
4 |
elsif ($global_full_choice_count - $count_of_parties_ranked == 1) { } |
2778
|
0 |
0 |
if ($global_logging_info == $global_true) |
2790
|
1 |
0 |
if ($global_party_ranking_for_actual_choice[$actual_choice] == 0) |
2793
|
1 |
0 |
if ($global_logging_info == $global_true) |
2794
|
1 |
0 |
if ($global_logging_info == $global_true) |
2808
|
11 |
25 |
if ($global_party_ranking_for_actual_choice[$actual_choice] > 0) |
2811
|
11 |
0 |
if ($global_logging_info == $global_true) |
2823
|
4 |
0 |
if ($global_logging_info == $global_true) |
2827
|
4 |
20 |
if ($global_ballot_info_repeat_count < 1) { } |
2835
|
4 |
0 |
if ($global_logging_info == $global_true) |
2837
|
4 |
0 |
if ($global_choice_count_at_top_popularity_ranking_level == 1) { } |
2841
|
4 |
0 |
if ($global_logging_info == $global_true) |
2854
|
0 |
0 |
if ($global_logging_info == $global_true) |
2858
|
0 |
0 |
if ($global_popularity_ranking_for_actual_choice[$actual_choice] == 1) { } |
|
0 |
0 |
elsif ($global_party_ranking_for_actual_choice[$actual_choice] == 0) { } |
2861
|
0 |
0 |
if ($global_logging_info == $global_true) |
2865
|
0 |
0 |
if ($global_logging_info == $global_true) |
2868
|
0 |
0 |
if ($global_logging_info == $global_true) |
2878
|
0 |
4 |
if ($global_full_choice_count - $count_of_parties_ranked == 1) |
2882
|
0 |
0 |
if ($global_party_ranking_for_actual_choice[$actual_choice] == 0) |
2885
|
0 |
0 |
if ($global_logging_info == $global_true) |
2886
|
0 |
0 |
if ($global_logging_info == $global_true) |
2898
|
4 |
0 |
if ($global_logging_info == $global_true) |
2901
|
4 |
0 |
if ($global_logging_info == $global_true) |
2902
|
4 |
0 |
if ($global_logging_info == $global_true) |
2905
|
21 |
15 |
if ($global_party_ranking_for_actual_choice[$actual_choice] == 0) |
2907
|
21 |
0 |
if ($global_logging_info == $global_true) |
2910
|
21 |
0 |
if ($global_logging_info == $global_true) |
2918
|
4 |
0 |
if ($global_logging_info == $global_true) |
3263
|
84 |
0 |
if ($global_logging_info == $global_true) |
3266
|
84 |
0 |
if ($true_or_false_log_details == $global_true) { } |
3298
|
0 |
84 |
if ($global_adjusted_choice_count < 2) |
3300
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
3335
|
84 |
0 |
if ($true_or_false_log_details == $global_true) |
3382
|
1346 |
0 |
if ($true_or_false_log_details == $global_true) |
3392
|
84 |
0 |
if ($true_or_false_log_details == $global_true) |
3397
|
475 |
0 |
if ($true_or_false_log_details == $global_true) |
3398
|
176 |
299 |
if ($column_score_for_adjusted_choice[$adjusted_choice] > $largest_column_score) |
3403
|
84 |
0 |
if ($true_or_false_log_details == $global_true) |
3421
|
0 |
475 |
if ($main_loop_count > 10000) |
3423
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
3437
|
84 |
391 |
if ($count_of_choices_sorted + 1 == $global_adjusted_choice_count) |
3442
|
84 |
0 |
if ($true_or_false_log_details == $global_true) |
3451
|
391 |
0 |
if ($true_or_false_log_details == $global_true) |
3452
|
0 |
391 |
if ($count_of_choices_sorted >= $global_adjusted_choice_count) |
3454
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
3476
|
738 |
999 |
if ($row_score > $largest_row_score or $row_score == $largest_row_score and $column_score < $smallest_column_score) { } |
|
109 |
890 |
elsif ($row_score == $largest_row_score) { } |
3484
|
738 |
0 |
if ($true_or_false_log_details == $global_true) |
3491
|
109 |
0 |
if ($true_or_false_log_details == $global_true) |
3506
|
0 |
391 |
if ($tie_count_limit < 1) |
3508
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
3521
|
317 |
74 |
if ($count_of_tied_scores == 1) { } |
|
74 |
0 |
elsif ($count_of_tied_scores > $tie_count_limit) { } |
3525
|
77 |
240 |
if ($count_of_choices_sorted == 0) |
3529
|
317 |
0 |
if ($true_or_false_log_details == $global_true) |
3530
|
317 |
0 |
if ($true_or_false_log_details == $global_true) |
3545
|
74 |
0 |
if ($true_or_false_log_details == $global_true) |
3558
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
3574
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
3579
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
3583
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
3585
|
0 |
0 |
if ($difference_between_tallies > 0) { } |
|
0 |
0 |
elsif ($difference_between_tallies < 0) { } |
3587
|
0 |
0 |
if ($difference_between_tallies > $largest_positive_difference) { } |
|
0 |
0 |
elsif ($difference_between_tallies == $largest_positive_difference) { } |
3593
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
3599
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
3603
|
0 |
0 |
if (-$difference_between_tallies > $largest_positive_difference) { } |
|
0 |
0 |
elsif (-$difference_between_tallies == $largest_positive_difference) { } |
3609
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
3616
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
3627
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
3630
|
0 |
0 |
if ($main_loop_count > 10000) |
3632
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
3645
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
3653
|
391 |
0 |
if ($true_or_false_log_details == $global_true) |
3667
|
391 |
0 |
if ($true_or_false_log_details == $global_true) |
3675
|
391 |
0 |
if ($true_or_false_log_details == $global_true) |
3689
|
391 |
0 |
if ($true_or_false_log_details == $global_true) |
3690
|
248 |
143 |
if ($new_position_of_choice_being_moved != $previous_position_of_choice_being_moved) { } |
3705
|
143 |
0 |
if ($true_or_false_log_details == $global_true) |
3709
|
391 |
0 |
if ($true_or_false_log_details == $global_true) |
3716
|
391 |
0 |
if ($true_or_false_log_details == $global_true) |
3733
|
391 |
0 |
if ($count_of_choices_sorted < $global_adjusted_choice_count) |
3752
|
672 |
674 |
if ($adjusted_choice_with_largest_score < $adjusted_choice_not_yet_sorted) { } |
3765
|
1346 |
0 |
if ($true_or_false_log_details == $global_true) |
3767
|
1346 |
0 |
if ($true_or_false_log_details == $global_true) |
3774
|
391 |
0 |
if ($true_or_false_log_details == $global_true) |
3817
|
84 |
0 |
if ($true_or_false_log_details == $global_true) |
3823
|
475 |
0 |
if ($true_or_false_log_details == $global_true) |
3830
|
84 |
0 |
if ($true_or_false_log_details == $global_true) |
3834
|
475 |
0 |
if ($true_or_false_log_details == $global_true) |
3841
|
84 |
0 |
if ($global_logging_info == $global_true) |
4506
|
84 |
0 |
if ($global_logging_info == $global_true) |
4509
|
84 |
0 |
if ($true_or_false_log_details == $global_true) { } |
4535
|
0 |
84 |
if ($global_adjusted_choice_count < 2) |
4537
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
4546
|
0 |
84 |
if ($global_current_total_vote_count < 1) |
4548
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
4572
|
84 |
0 |
if (defined $global_choice_score_popularity_rank_for_actual_choice[$actual_choice] and $global_choice_score_popularity_rank_for_actual_choice[$actual_choice] > 0) { } |
4580
|
475 |
2489 |
if ($global_choice_score_popularity_rank_for_actual_choice[$actual_choice] == $ranking_level) |
4583
|
475 |
0 |
if ($true_or_false_log_details == $global_true) |
4585
|
84 |
391 |
if ($sequence_position > $global_adjusted_choice_count) |
4595
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
4603
|
84 |
0 |
if ($true_or_false_log_details == $global_true) |
4654
|
252 |
0 |
if ($true_or_false_log_details == $global_true) |
4663
|
84 |
168 |
if ($main_loop_count == 1) |
4665
|
84 |
0 |
if ($true_or_false_log_details == $global_true) |
4672
|
0 |
252 |
if ($final_stage_reached_at_main_loop_count > 0 and $main_loop_count >= $final_stage_reached_at_main_loop_count) |
4674
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
4684
|
7 |
245 |
if ($main_loop_count > 1 and $global_adjusted_choice_count <= 2) |
4686
|
7 |
0 |
if ($true_or_false_log_details == $global_true) |
4698
|
44 |
117 |
if ($main_loop_count > 1 and $local_adjusted_choice_count <= 3 and $local_adjusted_choice_count < $global_adjusted_choice_count) |
4701
|
44 |
0 |
if ($true_or_false_log_details == $global_true) |
4712
|
99 |
146 |
if ($main_loop_count > 1 and $local_adjusted_choice_count > 3) |
4715
|
99 |
0 |
if ($true_or_false_log_details == $global_true) |
4728
|
388 |
1730 |
if ($highest_rank == $highest_rank_threshold) |
4733
|
388 |
0 |
if ($true_or_false_log_details == $global_true) |
4736
|
99 |
240 |
if ($count_of_choices_in_top_half >= $new_adjusted_choice_count) |
4741
|
99 |
0 |
if ($true_or_false_log_details == $global_true) |
4751
|
0 |
99 |
if ($count_of_choices_in_top_half < 3) { } |
|
11 |
88 |
elsif ($count_of_choices_in_top_half == $local_adjusted_choice_count) { } |
4754
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
4758
|
11 |
0 |
if ($true_or_false_log_details == $global_true) |
4773
|
88 |
0 |
if ($true_or_false_log_details == $global_true) |
4794
|
55 |
190 |
if ($final_stage_reached_at_main_loop_count == $main_loop_count) |
4796
|
55 |
0 |
if ($true_or_false_log_details == $global_true) |
4802
|
67 |
112 |
if ($highest_insertion_sort_sequence_position_for_actual_choice[$actual_choice] == 1) { } |
4806
|
67 |
0 |
if ($true_or_false_log_details == $global_true) |
4813
|
112 |
0 |
if ($true_or_false_log_details == $global_true) |
4823
|
0 |
55 |
if ($count_of_highest_ranked_choices == $global_adjusted_choice_count) |
4825
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
4836
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
4847
|
55 |
0 |
if ($true_or_false_log_details == $global_true) |
4853
|
296 |
67 |
if ($highest_insertion_sort_sequence_position_for_actual_choice[$actual_choice] > 1) |
4866
|
296 |
1911 |
if ($possible_ranking_level == $global_choice_score_popularity_rank_for_actual_choice[$actual_choice]) |
4869
|
296 |
0 |
if ($true_or_false_log_details == $global_true) |
4874
|
55 |
0 |
if ($true_or_false_log_details == $global_true) |
4888
|
1166 |
0 |
if ($true_or_false_log_details == $global_true) |
4895
|
245 |
0 |
if ($true_or_false_log_details == $global_true) |
4929
|
1391 |
0 |
if ($true_or_false_log_details == $global_true) |
4936
|
0 |
1391 |
if ($local_adjusted_choice_count == 1) |
4941
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
4952
|
12 |
1379 |
if ($local_adjusted_choice_count == 2) |
4956
|
12 |
0 |
if ($true_or_false_log_details == $global_true) |
4959
|
8 |
4 |
if ($tally_adjusted_first_choice < $tally_adjusted_second_choice) { } |
4970
|
2 |
10 |
if ($tally_first_over_second == $tally_second_over_first) { } |
|
10 |
0 |
elsif ($tally_first_over_second > $tally_second_over_first) { } |
4978
|
2 |
0 |
if ($true_or_false_log_details == $global_true) |
4987
|
10 |
0 |
if ($true_or_false_log_details == $global_true) |
4996
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
4998
|
12 |
0 |
if ($true_or_false_log_details == $global_true) |
5020
|
233 |
1146 |
if ($sort_pass_counter >= $reached_stable_condition_at_pass_count + 2 and $reached_stable_condition_at_pass_count > 0) |
5022
|
233 |
0 |
if ($true_or_false_log_details == $global_true) |
5025
|
233 |
233 |
if ($sort_pass_counter > $pass_count_at_last_score_increase + 1 and $recent_sort_pass_count_in_direction_left > $pass_count_at_last_score_increase and $recent_sort_pass_count_in_direction_right > $pass_count_at_last_score_increase and $recent_sort_pass_count_in_direction_left > 0 and $recent_sort_pass_count_in_direction_right > 0 and $reached_stable_condition_at_pass_count <= 0) |
5029
|
233 |
0 |
if ($true_or_false_log_details == $global_true) |
5048
|
233 |
913 |
if ($sort_pass_counter == 1) { } |
|
233 |
680 |
elsif ($sort_pass_counter == $reached_stable_condition_at_pass_count) { } |
|
233 |
447 |
elsif ($sort_pass_counter == $reached_stable_condition_at_pass_count + 1) { } |
|
165 |
282 |
elsif ($sort_pass_counter == $sort_pass_count_at_last_move + 1 and $sort_pass_counter == $pass_count_at_last_score_increase + 2) { } |
5060
|
165 |
0 |
if ($true_or_false_log_details == $global_true) |
5064
|
282 |
0 |
if ($true_or_false_log_details == $global_true) |
5066
|
639 |
507 |
if ($direction_increment == 1) { } |
5068
|
639 |
0 |
if ($true_or_false_log_details == $global_true) |
5071
|
507 |
0 |
if ($true_or_false_log_details == $global_true) |
5080
|
639 |
507 |
if ($direction_increment == 1) { } |
5104
|
4654 |
0 |
if ($true_or_false_log_details == $global_true) |
5112
|
2561 |
2093 |
if ($direction_increment == 1) { } |
5121
|
4654 |
0 |
if ($true_or_false_log_details == $global_true) |
5122
|
4654 |
0 |
if ($true_or_false_log_details == $global_true) |
5130
|
2561 |
2093 |
if ($direction_increment == 1) { } |
5132
|
125 |
2436 |
if ($highest_insertion_sort_sequence_position_for_actual_choice[$actual_choice_to_move] == 1) |
5134
|
125 |
0 |
if ($true_or_false_log_details == $global_true) |
5139
|
236 |
1857 |
if ($lowest_insertion_sort_sequence_position_for_actual_choice[$actual_choice_to_move] == $local_adjusted_choice_count) |
5141
|
236 |
0 |
if ($true_or_false_log_details == $global_true) |
5158
|
7610 |
6212 |
if ($direction_increment == 1) { } |
5166
|
13822 |
0 |
if ($true_or_false_log_details == $global_true) |
5184
|
13822 |
0 |
if ($true_or_false_log_details == $global_true) |
5185
|
6783 |
7039 |
if ($tally_adjusted_choice_for_choice_to_move < $tally_adjusted_choice_for_choice_at_destination) { } |
5188
|
3900 |
2883 |
if ($direction_increment == 1) { } |
5200
|
3710 |
3329 |
if ($direction_increment == 1) { } |
5210
|
13822 |
0 |
if ($true_or_false_log_details == $global_true) |
5228
|
83 |
13739 |
if ($score_increase > 0) |
5231
|
83 |
0 |
if ($true_or_false_log_details == $global_true) |
5233
|
1191 |
12631 |
if ($score_increase >= 0) { } |
5235
|
896 |
295 |
if ($score_increase > $largest_subset_sum) { } |
|
286 |
9 |
elsif ($score_increase == $largest_subset_sum) { } |
5239
|
896 |
0 |
if ($true_or_false_log_details == $global_true) |
5243
|
286 |
0 |
if ($true_or_false_log_details == $global_true) |
5246
|
9 |
0 |
if ($true_or_false_log_details == $global_true) |
5250
|
12631 |
0 |
if ($true_or_false_log_details == $global_true) |
5275
|
3404 |
889 |
if ($position_of_choice_to_move == $actual_destination) { } |
5277
|
3404 |
0 |
if ($true_or_false_log_details == $global_true) |
5292
|
889 |
0 |
if ($true_or_false_log_details == $global_true) |
5295
|
638 |
251 |
if ($direction_increment == 1) { } |
5304
|
864 |
371 |
if ($direction_increment == 1) { } |
5316
|
398 |
837 |
if ($to_position > $lowest_insertion_sort_sequence_position_for_actual_choice[$actual_choice]) |
5321
|
117 |
1118 |
if ($to_position < $highest_insertion_sort_sequence_position_for_actual_choice[$actual_choice]) |
5341
|
334 |
555 |
if ($actual_destination < $highest_insertion_sort_sequence_position_for_actual_choice[$actual_choice_to_move]) |
5346
|
91 |
798 |
if ($actual_destination > $lowest_insertion_sort_sequence_position_for_actual_choice[$actual_choice_to_move]) |
5357
|
889 |
0 |
if ($true_or_false_log_details == $global_true) |
5359
|
463 |
426 |
if ($local_adjusted_choice_count == $global_adjusted_choice_count) { } |
5367
|
85 |
378 |
if ($global_sequence_score > $global_sequence_score_using_insertion_sort_method) |
5404
|
1146 |
0 |
if ($true_or_false_log_details == $global_true) |
5406
|
1097 |
49 |
if ($sort_pass_counter != $pass_count_at_last_score_increase) |
5427
|
49 |
1097 |
if ($sort_pass_counter == $pass_count_at_last_score_increase) |
5429
|
49 |
0 |
if ($true_or_false_log_details == $global_true) |
5446
|
1146 |
0 |
if ($true_or_false_log_details == $global_true) |
5448
|
590 |
556 |
if ($sort_pass_count_at_last_move == $sort_pass_counter) { } |
5459
|
968 |
4832 |
if ($pass_number == $sort_pass_counter) |
5479
|
245 |
0 |
if ($true_or_false_log_details == $global_true) |
5496
|
20 |
225 |
if ($main_loop_count == 1 and $count_of_sequences_with_same_highest_score == 1) |
5498
|
20 |
0 |
if ($true_or_false_log_details == $global_true) |
5510
|
55 |
170 |
if ($final_stage_reached_at_main_loop_count == $main_loop_count) |
5512
|
55 |
0 |
if ($true_or_false_log_details == $global_true) |
5517
|
296 |
0 |
if ($true_or_false_log_details == $global_true) |
5522
|
296 |
0 |
if ($true_or_false_log_details == $global_true) |
5531
|
67 |
0 |
if ($true_or_false_log_details == $global_true) |
5533
|
55 |
0 |
if ($true_or_false_log_details == $global_true) |
5565
|
84 |
0 |
if ($true_or_false_log_details == $global_true) |
5572
|
475 |
0 |
if ($true_or_false_log_details == $global_true) |
5575
|
475 |
0 |
if ($true_or_false_log_details == $global_true) |
5578
|
84 |
0 |
if ($true_or_false_log_details == $global_true) |
5584
|
475 |
0 |
if ($true_or_false_log_details == $global_true) |
5594
|
84 |
0 |
if ($true_or_false_log_details == $global_true) |
5598
|
17 |
67 |
if ($global_sequence_score > $global_sequence_score_using_insertion_sort_method) |
5609
|
84 |
0 |
if ($true_or_false_log_details == $global_true) |
5623
|
84 |
0 |
if ($global_logging_info == $global_true) |
5705
|
0 |
56 |
if ($global_logging_info == $global_false) |
5709
|
0 |
56 |
if ($true_or_false_log_details == $global_false) |
5713
|
56 |
0 |
if ($global_logging_info == $global_true) |
5716
|
56 |
0 |
if ($true_or_false_log_details == $global_true) { } |
5719
|
56 |
0 |
if ($true_or_false_log_all_sequences_details == $global_false) |
5746
|
0 |
56 |
if ($global_adjusted_choice_count < 2) |
5748
|
0 |
0 |
if ($global_logging_info == $global_true) |
5758
|
0 |
56 |
if ($global_adjusted_choice_count > $global_check_all_scores_choice_limit) |
5761
|
0 |
0 |
if ($global_logging_info == $global_true) |
5787
|
56 |
0 |
if ($true_or_false_log_details == $global_true) |
5803
|
56 |
0 |
if ($true_or_false_log_details == $global_true) |
5825
|
56 |
0 |
if ($true_or_false_log_details == $global_true) |
5840
|
0 |
11132 |
if ($main_loop_count > 10000) |
5843
|
0 |
0 |
if ($global_logging_info == $global_true) |
5844
|
0 |
0 |
if ($global_logging_info == $global_true) |
5907
|
78040 |
78040 |
if ($sequence_position_for_adjusted_choice[$first_choice_number] < $sequence_position_for_adjusted_choice[$second_choice_number]) { } |
5925
|
544 |
10588 |
if ($score >= $highest_score) |
5927
|
268 |
276 |
if ($score > $highest_score) { } |
5962
|
228 |
1215 |
if ($sequence_position > $global_adjusted_ranking_for_adjusted_choice_top_down_version[$adjusted_choice]) |
5968
|
247 |
1196 |
if ($sequence_position < $global_adjusted_ranking_for_adjusted_choice_bottom_up_version[$adjusted_choice]) |
5987
|
544 |
0 |
if ($true_or_false_log_details == $global_true and $global_adjusted_choice_count <= 8) |
5996
|
56 |
488 |
if ($main_loop_count == 1) |
6017
|
0 |
11132 |
if ($true_or_false_log_all_sequences_details == $global_true and $global_adjusted_choice_count <= 8) |
6035
|
7982 |
11076 |
if ($sequence_count_at_position[$position_in_sequence] > $maximum_sequence_count_at_position[$position_in_sequence]) { } |
6039
|
56 |
7926 |
if ($position_in_sequence == 0) |
6067
|
56 |
0 |
if ($true_or_false_log_details == $global_true) |
6068
|
56 |
0 |
if ($true_or_false_log_details == $global_true) |
6075
|
238 |
0 |
if ($true_or_false_log_details == $global_true) |
6079
|
56 |
0 |
if ($true_or_false_log_details == $global_true) |
6085
|
238 |
0 |
if ($true_or_false_log_details == $global_true) |
6096
|
56 |
0 |
if ($true_or_false_log_details == $global_true) |
6106
|
56 |
0 |
if ($global_logging_info == $global_true) |
6159
|
475 |
3167 |
if ($global_popularity_ranking_for_actual_choice[$actual_choice] == $ranking_level) |
6173
|
84 |
0 |
if ($global_logging_info == $global_true) |
6184
|
84 |
0 |
if ($global_logging_info == $global_true) |
6199
|
1 |
83 |
unless (defined $global_comparison_count) |
6204
|
1 |
83 |
unless (defined $global_not_same_count) |
6220
|
0 |
475 |
if ($ranking_level_official != $ranking_level_insertion_sort) |
6225
|
225 |
250 |
if ($ranking_level_official != $ranking_level_choice_specific_pairwise_score) |
6232
|
0 |
84 |
if ($possible_text_insertion_sort_not_the_same eq 'InsSrt NOT same') |
6237
|
84 |
0 |
if ($global_logging_info == $global_true) |
6245
|
84 |
0 |
if ($global_logging_info == $global_true) |
6251
|
84 |
0 |
if ($global_logging_info == $global_true) |
6364
|
0 |
17 |
unless (defined $global_logging_info) |
6440
|
1 |
16 |
if ($global_begin_module_actions_done == $global_false) |
6502
|
17 |
0 |
if ($global_logging_info == $global_true) |
7022
|
17 |
0 |
if ($global_logging_info == $global_true) |
7029
|
0 |
17 |
if ($global_length_of_vote_info_list < 2) |
7053
|
17 |
0 |
if ($global_logging_info == $global_true) |
7054
|
17 |
0 |
if ($global_logging_info == $global_true) |
7055
|
17 |
0 |
if ($global_logging_info == $global_true) |
7068
|
213 |
653 |
if ($status_pair_just_handled == $global_true) |
7082
|
17 |
636 |
if ($pointer_to_vote_info <= 0) { } |
7089
|
0 |
653 |
if ($pointer_to_vote_info + 1 > $global_length_of_vote_info_list) { } |
7101
|
0 |
653 |
if ($current_vote_info_number == 0) |
7103
|
0 |
0 |
if ($global_logging_info == $global_true) |
7111
|
20 |
613 |
if ($current_vote_info_number == $global_voteinfo_code_for_case_number or $current_vote_info_number == $global_voteinfo_code_for_end_of_all_cases or $current_vote_info_number == $global_voteinfo_code_for_end_of_all_vote_info) |
7113
|
23 |
17 |
if ($global_case_number > 0) { } |
|
0 |
17 |
elsif ($current_vote_info_number != $global_voteinfo_code_for_case_number) { } |
7115
|
23 |
0 |
if ($global_logging_info == $global_true) |
7116
|
0 |
23 |
unless (defined $global_true_or_false_ignore_case[$global_case_number]) |
7120
|
23 |
0 |
if ($global_true_or_false_ignore_case[$global_case_number] == $global_false) |
7122
|
0 |
23 |
if ($global_number_of_questions_in_current_case < 1 or $global_question_count_for_case[$global_case_number] < 1) { } |
|
1 |
22 |
elsif ($global_current_total_vote_count < 1) { } |
7125
|
0 |
0 |
if ($global_logging_info == $global_true) |
7127
|
0 |
0 |
if ($global_logging_info == $global_true) |
7131
|
1 |
0 |
if ($global_logging_info == $global_true) |
7133
|
1 |
0 |
if ($global_logging_info == $global_true) |
7138
|
24 |
0 |
if ($global_logging_info == $global_true) |
7139
|
0 |
24 |
if (not defined $global_choice_count_for_case_and_question[$global_case_number][$global_question_number]) { } |
|
1 |
23 |
elsif ($global_choice_count_for_case_and_question[$global_case_number][$global_question_number] == 1) { } |
|
0 |
23 |
elsif ($global_choice_count_for_case_and_question[$global_case_number][$global_question_number] < 1) { } |
7142
|
0 |
0 |
if ($global_logging_info == $global_true) |
7144
|
0 |
0 |
if ($global_logging_info == $global_true) |
7149
|
1 |
0 |
if ($global_logging_info == $global_true) |
7151
|
1 |
0 |
if ($global_logging_info == $global_true) |
7156
|
0 |
0 |
if ($global_logging_info == $global_true) |
7158
|
0 |
0 |
if ($global_logging_info == $global_true) |
7163
|
21 |
2 |
if ($global_true_or_false_ignore_case[$global_case_number] == $global_false) |
7165
|
21 |
0 |
if ($global_logging_info == $global_true) |
7166
|
21 |
0 |
if ($global_logging_info == $global_true) |
7171
|
0 |
0 |
if ($global_logging_info == $global_true) |
7181
|
20 |
633 |
if ($current_vote_info_number == $global_voteinfo_code_for_case_number) { } |
|
0 |
633 |
elsif (not defined $global_case_number) { } |
7188
|
20 |
0 |
if ($global_logging_info == $global_true) |
7189
|
0 |
20 |
if ($global_case_number <= 0) |
7191
|
0 |
0 |
if ($global_logging_info == $global_true) |
7194
|
0 |
20 |
if ($global_case_number > $global_maximum_case_number) |
7197
|
0 |
0 |
if ($global_logging_info == $global_true) |
7199
|
0 |
0 |
if ($global_logging_info == $global_true) |
7201
|
0 |
20 |
if ($global_case_number != $global_previous_case_number + 1) |
7203
|
0 |
0 |
if ($global_logging_info == $global_true) |
7209
|
0 |
20 |
if (defined $global_true_or_false_ignore_case[$global_case_number]) { } |
7211
|
0 |
0 |
if ($global_true_or_false_ignore_case[$global_case_number] == $global_true) |
7213
|
0 |
0 |
if ($global_logging_info == $global_true) |
7234
|
0 |
0 |
if ($global_logging_info == $global_true) |
7243
|
15 |
618 |
unless (defined $global_true_or_false_ignore_case[$global_case_number]) |
7252
|
98 |
535 |
if ($current_vote_info_number == $global_voteinfo_code_for_question_number) { } |
|
22 |
513 |
elsif ($current_vote_info_number == $global_voteinfo_code_for_number_of_choices) { } |
|
73 |
440 |
elsif ($current_vote_info_number == $global_voteinfo_code_for_ballot_count) { } |
|
344 |
96 |
elsif ($current_vote_info_number > 0) { } |
|
10 |
86 |
elsif ($current_vote_info_number == $global_voteinfo_code_for_tie) { } |
|
2 |
84 |
elsif ($current_vote_info_number == $global_voteinfo_code_for_start_of_all_vote_info) { } |
|
4 |
80 |
elsif ($current_vote_info_number == $global_voteinfo_code_for_end_of_ballot) { } |
|
3 |
77 |
elsif ($current_vote_info_number == $global_voteinfo_code_for_end_of_all_vote_info) { } |
|
17 |
60 |
elsif ($current_vote_info_number == $global_voteinfo_code_for_end_of_all_cases) { } |
|
1 |
59 |
elsif ($current_vote_info_number == $global_voteinfo_code_for_request_only_plurality_results) { } |
|
0 |
59 |
elsif ($current_vote_info_number == $global_voteinfo_code_for_request_pairwise_counts) { } |
|
9 |
50 |
elsif ($current_vote_info_number == $global_voteinfo_code_for_request_no_pairwise_counts) { } |
|
10 |
40 |
elsif ($current_vote_info_number == $global_voteinfo_code_for_request_votefair_representation_rank) { } |
|
4 |
36 |
elsif ($current_vote_info_number == $global_voteinfo_code_for_request_no_votefair_representation_rank) { } |
|
10 |
26 |
elsif ($current_vote_info_number == $global_voteinfo_code_for_request_votefair_party_rank) { } |
|
4 |
22 |
elsif ($current_vote_info_number == $global_voteinfo_code_for_request_no_votefair_party_rank) { } |
7255
|
0 |
98 |
if ($global_true_or_false_ignore_case[$global_case_number] == $global_true) |
7260
|
0 |
98 |
if ($global_question_number < 0) { } |
|
0 |
98 |
elsif ($global_question_number > $global_maximum_question_number) { } |
7263
|
0 |
0 |
if ($global_logging_info == $global_true) |
7265
|
0 |
0 |
if ($global_logging_info == $global_true) |
7269
|
0 |
0 |
if ($global_logging_info == $global_true) |
7271
|
0 |
0 |
if ($global_logging_info == $global_true) |
7276
|
98 |
0 |
if ($global_logging_info == $global_true) |
7289
|
0 |
22 |
if ($global_true_or_false_ignore_case[$global_case_number] == $global_true) |
7295
|
22 |
0 |
if ($global_logging_info == $global_true) |
7296
|
0 |
22 |
if ($global_question_number == 0) |
7299
|
0 |
0 |
if ($global_logging_info == $global_true) |
7301
|
0 |
0 |
if ($global_logging_info == $global_true) |
7303
|
0 |
22 |
if ($choice_count_for_current_question < 1 or $choice_count_for_current_question > $global_maximum_choice_number) |
7306
|
0 |
0 |
if ($global_logging_info == $global_true) |
7308
|
0 |
0 |
if ($global_logging_info == $global_true) |
7318
|
0 |
73 |
if ($global_true_or_false_ignore_case[$global_case_number] == $global_true) |
7323
|
0 |
73 |
if ($global_ballot_info_repeat_count < 1) |
7326
|
0 |
0 |
if ($global_logging_info == $global_true) |
7328
|
0 |
0 |
if ($global_logging_info == $global_true) |
7330
|
73 |
0 |
if ($global_logging_info == $global_true) |
7339
|
0 |
344 |
if ($global_true_or_false_ignore_case[$global_case_number] == $global_true) |
7343
|
0 |
344 |
if ($global_case_number < 1) |
7345
|
0 |
0 |
if ($global_logging_info == $global_true) |
7348
|
0 |
344 |
if ($global_question_number < 1) { } |
|
0 |
344 |
elsif (not defined $global_choice_count_for_case_and_question[$global_case_number][$global_question_number]) { } |
|
0 |
344 |
elsif ($global_choice_number > $global_choice_count_for_case_and_question[$global_case_number][$global_question_number]) { } |
|
240 |
104 |
elsif (defined $tally_uses_of_choice_number[$global_choice_number]) { } |
7351
|
0 |
0 |
if ($global_logging_info == $global_true) |
7353
|
0 |
0 |
if ($global_logging_info == $global_true) |
7358
|
0 |
0 |
if ($global_logging_info == $global_true) |
7359
|
0 |
0 |
if ($global_logging_info == $global_true) |
7364
|
0 |
0 |
if ($global_logging_info == $global_true) |
7365
|
0 |
0 |
if ($global_logging_info == $global_true) |
7368
|
0 |
240 |
if ($tally_uses_of_choice_number[$global_choice_number] > 1) |
7372
|
0 |
0 |
if ($global_logging_info == $global_true) |
7373
|
0 |
0 |
if ($global_logging_info == $global_true) |
7376
|
344 |
0 |
if ($global_true_or_false_ignore_case[$global_case_number] == $global_false) |
7380
|
0 |
344 |
if ($global_choice_number > $global_choice_count_for_case_and_question[$global_case_number][$global_question_number]) |
7386
|
344 |
0 |
if ($global_logging_info == $global_true) |
7395
|
0 |
10 |
if ($global_true_or_false_ignore_case[$global_case_number] == $global_true) |
7399
|
0 |
10 |
if ($count_of_choices_marked_for_current_question < 1 or $global_question_number < 1) |
7403
|
0 |
0 |
if ($global_logging_info == $global_true) |
7404
|
0 |
0 |
if ($global_logging_info == $global_true) |
7406
|
10 |
0 |
if ($global_true_or_false_ignore_case[$global_case_number] == $global_false) |
7408
|
10 |
0 |
if ($global_logging_info == $global_true) |
7418
|
0 |
2 |
if ($global_true_or_false_ignore_case[$global_case_number] == $global_true) |
7423
|
2 |
0 |
if ($global_logging_info == $global_true) |
7431
|
0 |
4 |
if ($global_true_or_false_ignore_case[$global_case_number] == $global_true) |
7446
|
3 |
0 |
if ($global_logging_info == $global_true) |
7454
|
0 |
17 |
if ($global_case_number < 1) |
7456
|
0 |
0 |
if ($global_logging_info == $global_true) |
7459
|
17 |
0 |
if ($global_logging_info == $global_true) |
7477
|
1 |
0 |
if ($global_case_number < 1) { } |
|
0 |
0 |
elsif ($global_current_total_vote_count > 0) { } |
7480
|
1 |
0 |
if ($global_logging_info == $global_true) |
7483
|
0 |
0 |
if ($global_logging_info == $global_true) |
7487
|
0 |
0 |
if ($global_case_number < 1) { } |
|
0 |
0 |
elsif ($global_current_total_vote_count > 0) { } |
7490
|
0 |
0 |
if ($global_logging_info == $global_true) |
7493
|
0 |
0 |
if ($global_logging_info == $global_true) |
7497
|
9 |
0 |
if ($global_case_number < 1) { } |
|
0 |
0 |
elsif ($global_current_total_vote_count > 0) { } |
7500
|
9 |
0 |
if ($global_logging_info == $global_true) |
7503
|
0 |
0 |
if ($global_logging_info == $global_true) |
7507
|
10 |
0 |
if ($global_case_number < 1) { } |
|
0 |
0 |
elsif ($global_current_total_vote_count > 0) { } |
7510
|
10 |
0 |
if ($global_logging_info == $global_true) |
7513
|
0 |
0 |
if ($global_logging_info == $global_true) |
7517
|
4 |
0 |
if ($global_case_number < 1) { } |
|
0 |
0 |
elsif ($global_current_total_vote_count > 0) { } |
7520
|
4 |
0 |
if ($global_logging_info == $global_true) |
7523
|
0 |
0 |
if ($global_logging_info == $global_true) |
7527
|
10 |
0 |
if ($global_case_number < 1) { } |
|
0 |
0 |
elsif ($global_current_total_vote_count > 0) { } |
7530
|
10 |
0 |
if ($global_logging_info == $global_true) |
7533
|
0 |
0 |
if ($global_logging_info == $global_true) |
7537
|
4 |
0 |
if ($global_case_number < 1) { } |
|
0 |
0 |
elsif ($global_current_total_vote_count > 0) { } |
7540
|
4 |
0 |
if ($global_logging_info == $global_true) |
7543
|
0 |
0 |
if ($global_logging_info == $global_true) |
7554
|
22 |
0 |
if ($global_logging_info == $global_true) |
7571
|
0 |
17 |
if ($current_vote_info_number != $global_voteinfo_code_for_end_of_all_cases) |
7581
|
17 |
0 |
if ($global_logging_info == $global_true) |
7637
|
19 |
0 |
if ($global_logging_info == $global_true) |
7673
|
19 |
0 |
if ($global_logging_info == $global_true) |
7679
|
19 |
0 |
if ($global_logging_info == $global_true) |
7697
|
19 |
593 |
if ($current_vote_info_number == $global_voteinfo_code_for_end_of_ballot or $current_vote_info_number == $global_voteinfo_code_for_end_of_all_vote_info or $current_vote_info_number == $global_voteinfo_code_for_case_number or $current_vote_info_number == $global_voteinfo_code_for_end_of_all_cases) { } |
|
92 |
501 |
elsif ($current_vote_info_number == $global_voteinfo_code_for_question_number) { } |
|
20 |
481 |
elsif ($current_vote_info_number == $global_voteinfo_code_for_number_of_choices) { } |
|
464 |
17 |
elsif ($context_question_number == $global_question_number) { } |
7710
|
0 |
464 |
if ($current_vote_info_number == $global_voteinfo_code_for_request_only_plurality_results) { } |
|
0 |
464 |
elsif ($current_vote_info_number == $global_voteinfo_code_for_request_no_pairwise_counts) { } |
|
0 |
464 |
elsif ($current_vote_info_number == $global_voteinfo_code_for_request_votefair_representation_rank) { } |
|
0 |
464 |
elsif ($current_vote_info_number == $global_voteinfo_code_for_request_votefair_party_rank) { } |
7713
|
0 |
0 |
if ($global_logging_info == $global_true) |
7717
|
0 |
0 |
if ($global_logging_info == $global_true) |
7721
|
0 |
0 |
if ($global_logging_info == $global_true) |
7725
|
0 |
0 |
if ($global_logging_info == $global_true) |
7736
|
19 |
0 |
if ($global_logging_info == $global_true) |
7739
|
1 |
18 |
if ($global_true_or_false_request_only_plurality_results == $global_true) { } |
7746
|
13 |
6 |
if ($global_true_or_false_request_no_pairwise_counts == $global_true) { } |
7753
|
14 |
5 |
if ($global_true_or_false_request_votefair_representation_rank == $global_true) { } |
7760
|
14 |
5 |
if ($global_true_or_false_request_votefair_party_rank == $global_true) { } |
7775
|
0 |
19 |
if ($global_adjusted_choice_count < 2) |
7778
|
0 |
0 |
if ($global_logging_info == $global_true) |
7801
|
19 |
0 |
if ($global_logging_info == $global_true) |
7808
|
0 |
19 |
if ($total_vote_count_for_current_question == 0) |
7810
|
0 |
0 |
if ($global_logging_info == $global_true) |
7812
|
0 |
0 |
if ($global_logging_info == $global_true) |
7828
|
1 |
18 |
if ($global_true_or_false_request_only_plurality_results == $global_true) |
7830
|
1 |
0 |
if ($global_logging_info == $global_true) |
7832
|
1 |
0 |
if ($global_logging_info == $global_true) |
7841
|
18 |
0 |
if ($global_logging_info == $global_true) |
7857
|
5 |
13 |
if ($global_true_or_false_request_no_pairwise_counts == $global_false) |
7860
|
5 |
0 |
if ($global_logging_info == $global_true) |
7869
|
18 |
0 |
if ($global_logging_info == $global_true) |
7872
|
18 |
0 |
if ($global_logging_info == $global_true) |
7873
|
0 |
18 |
if ($global_possible_error_message ne '') |
7886
|
0 |
18 |
if ($global_popularity_ranking_for_actual_choice[$actual_choice] == 0) |
7908
|
27 |
75 |
if ($global_full_popularity_ranking_for_actual_choice[$actual_choice] == 1) |
7914
|
8 |
10 |
if ($global_choice_count_at_full_top_popularity_ranking_level != 1) |
7918
|
18 |
0 |
if ($global_logging_info == $global_true) |
7919
|
18 |
0 |
if ($global_logging_info == $global_true) |
7926
|
18 |
0 |
if ($global_logging_info == $global_true) |
7933
|
102 |
640 |
if ($global_full_popularity_ranking_for_actual_choice[$actual_choice] == $ranking_level) |
7954
|
14 |
4 |
if ($global_true_or_false_request_votefair_representation_rank == $global_true) { } |
7957
|
14 |
0 |
if ($global_logging_info == $global_true) |
7961
|
4 |
0 |
if ($global_logging_info == $global_true) |
7963
|
14 |
4 |
if ($global_true_or_false_request_votefair_party_rank == $global_true) |
7965
|
0 |
14 |
if ($global_representation_levels_requested < 2) |
7968
|
0 |
0 |
if ($global_logging_info == $global_true) |
7971
|
2 |
16 |
if ($total_vote_count_for_current_question < 2) |
7975
|
2 |
0 |
if ($global_logging_info == $global_true) |
7983
|
12 |
6 |
if ($global_representation_levels_requested > 1) |
7986
|
12 |
0 |
if ($global_logging_info == $global_true) |
7990
|
12 |
0 |
if ($global_logging_info == $global_true) |
8008
|
17 |
62 |
if ($global_full_representation_ranking_for_actual_choice[$actual_choice] == 2) |
8014
|
6 |
6 |
if ($global_choice_count_at_full_second_representation_level != 1) |
8018
|
12 |
0 |
if ($global_logging_info == $global_true) |
8019
|
12 |
0 |
if ($global_logging_info == $global_true) |
8026
|
12 |
0 |
if ($global_true_or_false_request_votefair_party_rank == $global_true) |
8028
|
2 |
10 |
if ($total_vote_count_for_current_question < 3) { } |
8031
|
2 |
0 |
if ($global_logging_info == $global_true) |
8035
|
10 |
0 |
if ($global_logging_info == $global_true) |
8037
|
10 |
0 |
if ($global_logging_info == $global_true) |
8050
|
18 |
0 |
if ($global_logging_info == $global_true) |
8058
|
18 |
0 |
if ($global_logging_info == $global_true and $global_true_or_false_request_votefair_popularity_rank == $global_true || $global_true_or_false_request_votefair_representation_rank == $global_true) |
8066
|
18 |
102 |
if ($sequence_position == $global_full_choice_count + 1) |
8072
|
102 |
742 |
if ($popularity_level == $global_full_popularity_ranking_for_actual_choice[$actual_choice]) |
8076
|
86 |
16 |
if ($global_true_or_false_request_votefair_party_rank == $global_true) { } |
8085
|
62 |
40 |
if ($popularity_level != $representation_level) |
8090
|
36 |
66 |
if ($representation_level != $party_level) |
8107
|
18 |
0 |
if ($global_logging_info == $global_true) |
8137
|
42 |
0 |
if ($global_logging_info == $global_true) |
8196
|
264 |
601 |
if ($global_using_choice[$actual_choice] == $global_false) |
8198
|
264 |
0 |
if ($global_logging_info == $global_true) |
8210
|
601 |
264 |
if ($global_using_choice[$actual_choice] == $global_true) |
8215
|
601 |
0 |
if ($global_logging_info == $global_true) |
8218
|
106 |
0 |
if ($global_logging_info == $global_true) |
8339
|
102 |
493 |
if ($current_vote_info_number == $global_voteinfo_code_for_end_of_all_vote_info or $current_vote_info_number == $global_voteinfo_code_for_case_number or $current_vote_info_number == $global_voteinfo_code_for_end_of_all_cases) |
8342
|
106 |
0 |
if ($global_logging_info == $global_true) |
8368
|
4143 |
0 |
if ($global_pointer_to_current_ballot < $global_max_array_length - 1) { } |
8382
|
106 |
4037 |
if ($current_vote_info_number == $global_voteinfo_code_for_end_of_all_vote_info or $current_vote_info_number == $global_voteinfo_code_for_case_number or $current_vote_info_number == $global_voteinfo_code_for_end_of_all_cases) { } |
|
4 |
4033 |
elsif ($current_vote_info_number == $global_voteinfo_code_for_end_of_ballot) { } |
|
383 |
3650 |
elsif ($current_vote_info_number == $global_voteinfo_code_for_ballot_count and $count_of_encountered_ballot_counts > 0) { } |
|
493 |
3157 |
elsif ($current_vote_info_number == $global_voteinfo_code_for_ballot_count) { } |
|
497 |
2660 |
elsif ($current_vote_info_number == $global_voteinfo_code_for_question_number) { } |
|
2647 |
13 |
elsif ($current_question_number == $global_question_number) { } |
8449
|
12 |
2635 |
if ($current_vote_info_number == $global_voteinfo_code_for_preference_level) { } |
|
83 |
2552 |
elsif ($current_vote_info_number == $global_voteinfo_code_for_tie) { } |
|
2544 |
8 |
elsif ($current_vote_info_number > 0) { } |
8461
|
18 |
65 |
if ($preference_level == 1) |
8481
|
511 |
2033 |
if ($preference_level == 1) |
8511
|
475 |
18 |
if ($choice_count_at_top_preference_level == 1 and $choice_at_top_preference_level > 0) |
8528
|
493 |
0 |
if ($global_logging_info == $global_true) |
8579
|
2248 |
3111 |
if ($global_ballot_preference_for_choice[$actual_first_choice] < $global_ballot_preference_for_choice[$actual_second_choice]) { } |
|
2054 |
1057 |
elsif ($global_ballot_preference_for_choice[$actual_first_choice] > $global_ballot_preference_for_choice[$actual_second_choice]) { } |
8646
|
1910 |
0 |
if ($global_logging_info == $global_true) |
8652
|
1 |
1909 |
if (not defined $global_scale_for_logged_pairwise_counts or $global_scale_for_logged_pairwise_counts < 1e-06) |
8667
|
11471 |
67548 |
if ($actual_first_choice == $actual_second_choice) { } |
|
33774 |
33774 |
elsif ($actual_first_choice < $actual_second_choice) { } |
8685
|
33774 |
45245 |
if ($matrix_column_number > $matrix_row_number) { } |
8695
|
1910 |
0 |
if ($global_sequence_score + $opposition_score > 0) { } |
8771
|
0 |
224 |
if ($true_or_false_log_details == $global_true) |
8776
|
1188 |
0 |
if (defined $adjusted_choice_at_ranking_level{$ranking_level}) { } |
8784
|
0 |
1188 |
if ($true_or_false_log_details == $global_true) |
8803
|
0 |
1072 |
if ($adjusted_choice_at_ranking_level{$previous_ranking_level} != 0) { } |
8807
|
0 |
0 |
if ($true_or_false_log_details == $global_true) |
8812
|
1188 |
5563 |
if ($global_rank_to_normalize_for_adjusted_choice[$adjusted_choice] == $previous_ranking_level) |
8818
|
0 |
1188 |
if ($true_or_false_log_details == $global_true) |
8870
|
2682 |
0 |
if (scalar @_ == 1) { } |
8885
|
0 |
2682 |
if ($global_pointer_to_output_results >= $global_max_array_length) |
8942
|
19 |
0 |
if ($global_logging_info == $global_true) |
8949
|
58 |
47 |
if ($global_plurality_count_for_actual_choice[$actual_choice] > 0) { } |
8951
|
58 |
0 |
if ($global_logging_info == $global_true) |
8954
|
47 |
0 |
if ($global_logging_info == $global_true) |
9013
|
0 |
25 |
if ($adjusted_first_choice != $actual_first_choice or $adjusted_second_choice != $actual_second_choice) |
9015
|
0 |
0 |
if ($global_logging_info == $global_true) |
9134
|
102 |
204 |
if ($ranking_type_number == $ranking_type_number_for_popularity) { } |
|
102 |
102 |
elsif ($ranking_type_number == $ranking_type_number_for_representation) { } |
|
102 |
0 |
elsif ($ranking_type_number == $ranking_type_number_for_party) { } |
9153
|
14 |
40 |
if ($sum_of_rankings < 1) |
9155
|
14 |
0 |
if ($global_logging_info == $global_true) |
9165
|
40 |
0 |
if ($global_logging_info == $global_true) |
9175
|
256 |
0 |
if ($global_logging_info == $global_true) |
9186
|
40 |
0 |
if ($global_logging_info == $global_true) |
9195
|
244 |
1796 |
if ($ranking_level_result_for_actual_choice[$actual_choice] == $ranking_level) |
9197
|
71 |
173 |
if ($count_of_choices_found_at_this_ranking_level > 0) { } |
|
133 |
40 |
elsif ($count_of_ranked_choices > 0) { } |
9206
|
244 |
0 |
if ($global_logging_info == $global_true) |
9212
|
3 |
37 |
if ($count_of_ranked_choices < $global_full_choice_count) |
9218
|
40 |
0 |
if ($global_logging_info == $global_true) |