| line |
!l |
l&&!r |
l&&r |
condition |
|
1038
|
0 |
0 |
2682 |
$global_pointer_to_output_results < $global_length_of_result_info_list and $global_pointer_to_output_results <= $global_max_array_length |
|
1214
|
0 |
17 |
731 |
$global_input_pointer_start_next_case < $global_max_array_length and $global_vote_info_list[$global_input_pointer_start_next_case] != $global_voteinfo_code_for_end_of_all_cases |
|
1251
|
0 |
2 |
18 |
$global_vote_info_list[$global_input_pointer_start_next_case] != $global_voteinfo_code_for_case_number and $global_vote_info_list[$global_input_pointer_start_next_case] != $global_voteinfo_code_for_end_of_all_cases |
|
|
2 |
0 |
18 |
$global_vote_info_list[$global_input_pointer_start_next_case] != $global_voteinfo_code_for_case_number and $global_vote_info_list[$global_input_pointer_start_next_case] != $global_voteinfo_code_for_end_of_all_cases and $global_input_pointer_start_next_case < $global_max_array_length |
|
1598
|
28 |
0 |
56 |
$global_adjusted_choice_count <= $global_check_all_scores_choice_limit and $twice_highest_possible_score <= $global_maximum_twice_highest_possible_score |
|
1627
|
56 |
0 |
28 |
$ranking_level_from_all_scores_calc == 0 and $ranking_level_from_insertion_sort_calc != 0 |
|
1855
|
0 |
0 |
0 |
$global_using_choice[$actual_choice] == $global_true and $actual_choice != $most_preferred_choice |
|
2704
|
9 |
8 |
22 |
$global_ballot_preference_for_choice[$first_party_choice] > 1 and $global_ballot_preference_for_choice[$second_party_choice] > 1 |
|
3476
|
890 |
109 |
28 |
$row_score == $largest_row_score and $column_score < $smallest_column_score |
|
4572
|
0 |
0 |
84 |
defined $global_choice_score_popularity_rank_for_actual_choice[$actual_choice] and $global_choice_score_popularity_rank_for_actual_choice[$actual_choice] > 0 |
|
4672
|
252 |
0 |
0 |
$final_stage_reached_at_main_loop_count > 0 and $main_loop_count >= $final_stage_reached_at_main_loop_count |
|
4684
|
84 |
161 |
7 |
$main_loop_count > 1 and $global_adjusted_choice_count <= 2 |
|
4698
|
84 |
99 |
62 |
$main_loop_count > 1 and $local_adjusted_choice_count <= 3 |
|
|
183 |
18 |
44 |
$main_loop_count > 1 and $local_adjusted_choice_count <= 3 and $local_adjusted_choice_count < $global_adjusted_choice_count |
|
4712
|
84 |
62 |
99 |
$main_loop_count > 1 and $local_adjusted_choice_count > 3 |
|
5020
|
466 |
680 |
233 |
$sort_pass_counter >= $reached_stable_condition_at_pass_count + 2 and $reached_stable_condition_at_pass_count > 0 |
|
5025
|
282 |
81 |
783 |
$sort_pass_counter > $pass_count_at_last_score_increase + 1 and $recent_sort_pass_count_in_direction_left > $pass_count_at_last_score_increase |
|
|
363 |
317 |
466 |
$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 |
|
|
398 |
0 |
466 |
$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 |
|
|
317 |
0 |
466 |
$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 |
|
|
0 |
233 |
233 |
$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 |
|
5048
|
144 |
138 |
165 |
$sort_pass_counter == $sort_pass_count_at_last_move + 1 and $sort_pass_counter == $pass_count_at_last_score_increase + 2 |
|
5496
|
161 |
64 |
20 |
$main_loop_count == 1 and $count_of_sequences_with_same_highest_score == 1 |
|
5987
|
0 |
0 |
544 |
$true_or_false_log_details == $global_true and $global_adjusted_choice_count <= 8 |
|
6017
|
11132 |
0 |
0 |
$true_or_false_log_all_sequences_details == $global_true and $global_adjusted_choice_count <= 8 |
|
8058
|
0 |
18 |
0 |
$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 |
|
8382
|
3157 |
493 |
383 |
$current_vote_info_number == $global_voteinfo_code_for_ballot_count and $count_of_encountered_ballot_counts > 0 |
|
8511
|
18 |
0 |
475 |
$choice_count_at_top_preference_level == 1 and $choice_at_top_preference_level > 0 |
| line |
l |
!l&&r |
!l&&!r |
condition |
|
485
|
0 |
0 |
0 |
$global_begin_module_actions_done != $global_true or $global_intitialization_done != $global_true |
|
691
|
0 |
0 |
0 |
$global_begin_module_actions_done != $global_true or $global_intitialization_done != $global_true |
|
782
|
0 |
0 |
0 |
$global_begin_module_actions_done != $global_true or $global_intitialization_done != $global_true |
|
793
|
0 |
0 |
0 |
$global_pointer_to_output_results >= $global_length_of_result_info_list or $global_pointer_to_output_results >= $global_max_array_length |
|
887
|
1 |
16 |
0 |
$global_begin_module_actions_done != $global_true or $global_intitialization_done != $global_true |
|
1011
|
0 |
0 |
17 |
$global_begin_module_actions_done != $global_true or $global_intitialization_done != $global_true |
|
1168
|
0 |
0 |
17 |
$global_begin_module_actions_done != $global_true or $global_intitialization_done != $global_true |
|
1418
|
0 |
0 |
0 |
$global_begin_module_actions_done != $global_true or $global_intitialization_done != $global_true |
|
2025
|
0 |
0 |
22 |
$number_of_choices_rep_ranked >= $initial_choice_count_for_rep_ranking or $number_of_representation_levels_ranked >= $global_representation_levels_requested |
|
2352
|
0 |
4 |
14 |
$number_of_choices_rep_ranked >= $initial_choice_count_for_rep_ranking or $number_of_representation_levels_ranked >= $global_representation_levels_requested |
|
3476
|
710 |
0 |
1027 |
$row_score > $largest_row_score or $row_score == $largest_row_score and $column_score < $smallest_column_score |
|
7111
|
20 |
17 |
616 |
$current_vote_info_number == $global_voteinfo_code_for_case_number or $current_vote_info_number == $global_voteinfo_code_for_end_of_all_cases |
|
|
37 |
3 |
613 |
$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 |
|
7122
|
0 |
0 |
23 |
$global_number_of_questions_in_current_case < 1 or $global_question_count_for_case[$global_case_number] < 1 |
|
7303
|
0 |
0 |
22 |
$choice_count_for_current_question < 1 or $choice_count_for_current_question > $global_maximum_choice_number |
|
7399
|
0 |
0 |
10 |
$count_of_choices_marked_for_current_question < 1 or $global_question_number < 1 |
|
7697
|
2 |
2 |
608 |
$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 |
|
|
4 |
2 |
606 |
$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 |
|
|
4 |
13 |
593 |
$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 |
|
8058
|
18 |
0 |
0 |
$global_true_or_false_request_votefair_popularity_rank == $global_true || $global_true_or_false_request_votefair_representation_rank == $global_true |
|
8339
|
4 |
15 |
580 |
$current_vote_info_number == $global_voteinfo_code_for_end_of_all_vote_info or $current_vote_info_number == $global_voteinfo_code_for_case_number |
|
|
19 |
87 |
493 |
$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 |
|
8382
|
4 |
15 |
4124 |
$current_vote_info_number == $global_voteinfo_code_for_end_of_all_vote_info or $current_vote_info_number == $global_voteinfo_code_for_case_number |
|
|
19 |
87 |
4037 |
$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 |
|
8652
|
1 |
0 |
1909 |
not defined $global_scale_for_logged_pairwise_counts or $global_scale_for_logged_pairwise_counts < 1e-06 |
|
9013
|
0 |
0 |
25 |
$adjusted_first_choice != $actual_first_choice or $adjusted_second_choice != $actual_second_choice |