Decision #846 — malloc.c:5302
Status: full_mcdc
Truth table
| row | c0 br 5957 | c1 br 5958 | outcome |
|---|---|---|---|
| 2610 | F | F | F |
| 2611 | F | T | T |
| 2612 | F | F | F |
| 2613 | F | T | T |
| 2614 | F | T | T |
| 2615 | F | T | T |
| 2616 | F | T | T |
| 2617 | T | * | T |
| 2618 | F | F | F |
| 2619 | F | F | F |
| 2620 | F | T | T |
| 2621 | F | T | T |
| 2622 | F | T | T |
| 2623 | F | F | F |
| 2624 | F | F | F |
| 2625 | F | F | F |
| 2626 | F | F | F |
| 2627 | T | * | T |
| 2628 | T | * | T |
| 2629 | T | * | T |
| 2630 | T | * | T |
| 2631 | T | * | T |
| 2632 | T | * | T |
| 2633 | F | F | F |
| 2634 | T | * | T |
| 2635 | T | * | T |
| 2636 | T | * | T |
| 2637 | T | * | T |
| 2638 | F | F | F |
| 2639 | F | F | F |
| 2640 | F | T | T |
| 2641 | F | F | F |
| 2642 | F | T | T |
| 2643 | T | * | T |
| 2644 | T | * | T |
| 2645 | T | * | T |
| 2646 | F | F | F |
| 2647 | T | * | T |
| 2648 | T | * | T |
| 2649 | F | F | F |
| 2650 | F | F | F |
| 5616 | F | F | F |
| 5617 | F | T | T |
| 5618 | F | F | F |
| 5619 | F | T | T |
| 5620 | F | T | T |
| 5621 | F | T | T |
| 5622 | F | T | T |
| 5623 | T | * | T |
| 5624 | F | T | T |
| 5625 | F | F | F |
| 5626 | F | F | F |
| 5627 | F | T | T |
| 5628 | F | T | T |
| 5629 | F | F | F |
| 5630 | F | F | F |
| 5631 | F | F | F |
| 5632 | F | F | F |
| 5633 | T | * | T |
| 5634 | T | * | T |
| 5635 | T | * | T |
| 5636 | T | * | T |
| 5637 | T | * | T |
| 5638 | T | * | T |
| 5639 | F | T | T |
| 5640 | T | * | T |
| 5641 | T | * | T |
| 5642 | T | * | T |
| 5643 | T | * | T |
| 5644 | F | F | F |
| 5645 | F | F | F |
| 5646 | F | T | T |
| 5647 | T | * | T |
| 5648 | F | F | F |
| 5649 | T | * | T |
| 5650 | F | F | F |
| 5651 | F | T | T |
| 5652 | F | F | F |
| 5653 | F | F | F |
| 5654 | T | * | T |
| 5655 | T | * | T |
| 5656 | F | F | F |
| 5657 | F | F | F |
| 8723 | F | F | F |
| 8724 | F | T | T |
| 8725 | F | F | F |
| 8726 | F | T | T |
| 8727 | F | T | T |
| 8728 | F | T | T |
| 8729 | F | T | T |
| 8730 | T | * | T |
| 8731 | F | F | F |
| 8732 | F | F | F |
| 8733 | F | T | T |
| 8734 | F | T | T |
| 8735 | F | T | T |
| 8736 | F | F | F |
| 8737 | F | F | F |
| 8738 | F | F | F |
| 8739 | F | F | F |
| 8740 | T | * | T |
| 8741 | T | * | T |
| 8742 | T | * | T |
| 8743 | T | * | T |
| 8744 | T | * | T |
| 8745 | T | * | T |
| 8746 | F | F | F |
| 8747 | T | * | T |
| 8748 | T | * | T |
| 8749 | T | * | T |
| 8750 | T | * | T |
| 8751 | F | F | F |
| 8752 | F | F | F |
| 8753 | F | T | T |
| 8754 | F | F | F |
| 8755 | F | T | T |
| 8756 | F | T | T |
| 8757 | T | * | T |
| 8758 | T | * | T |
| 8759 | F | F | F |
| 8760 | T | * | T |
| 8761 | T | * | T |
| 8762 | F | F | F |
| 8763 | T | * | T |
| 8764 | T | * | T |
| 8765 | T | * | T |
| 8766 | T | * | T |
| 8767 | F | F | F |
| 10370 | F | F | F |
| 10371 | F | F | F |
| 10372 | F | F | F |
| 10373 | F | F | F |
| 10374 | F | F | F |
| 10375 | F | F | F |
| 10376 | F | T | T |
| 10377 | F | T | T |
| 10378 | F | F | F |
| 10379 | F | F | F |
| 10380 | T | * | T |
| 10381 | T | * | T |
| 10382 | T | * | T |
| 10383 | T | * | T |
| 10384 | T | * | T |
| 10385 | F | F | F |
| 10386 | F | F | F |
| 10387 | T | * | T |
| 10388 | T | * | T |
| 10389 | T | * | T |
| 10390 | T | * | T |
| 11503 | F | F | F |
| 11504 | F | F | F |
| 11505 | F | F | F |
| 11506 | F | F | F |
| 11507 | F | F | F |
| 11508 | F | F | F |
| 11509 | F | T | T |
| 11510 | F | T | T |
| 11511 | F | F | F |
| 11512 | F | F | F |
| 11513 | T | * | T |
| 11514 | T | * | T |
| 11515 | T | * | T |
| 11516 | T | * | T |
| 11517 | F | T | T |
| 11518 | T | * | T |
| 11519 | F | F | F |
| 11520 | T | * | T |
| 11521 | T | * | T |
| 11522 | F | F | F |
| 11523 | T | * | T |
| 12609 | F | F | F |
| 12610 | F | F | F |
| 12611 | F | F | F |
| 12612 | F | F | F |
| 12613 | F | F | F |
| 12614 | F | F | F |
| 12615 | F | T | T |
| 12616 | F | T | T |
| 12617 | F | F | F |
| 12618 | F | F | F |
| 12619 | T | * | T |
| 12620 | T | * | T |
| 12621 | T | * | T |
| 12622 | T | * | T |
| 12623 | T | * | T |
| 12624 | F | F | F |
| 12625 | F | F | F |
| 12626 | T | * | T |
| 12627 | T | * | T |
| 12628 | T | * | T |
| 12629 | T | * | T |
| 20064 | F | F | F |
| 20065 | F | F | F |
| 20066 | F | F | F |
| 20067 | F | F | F |
| 20068 | F | F | F |
| 20069 | F | F | F |
| 20070 | F | F | F |
| 20071 | F | F | F |
| 20072 | F | F | F |
| 20073 | F | F | F |
| 20074 | F | F | F |
| 20075 | F | F | F |
| 20076 | F | F | F |
| 20077 | T | * | T |
| 20078 | F | F | F |
| 20079 | F | F | F |
| 20080 | F | F | F |
| 20081 | F | F | F |
| 20082 | F | F | F |
| 20083 | F | F | F |
| 20084 | F | F | F |
| 20085 | F | F | F |
| 20086 | F | F | F |
| 20087 | F | F | F |
| 20088 | T | * | T |
| 20089 | T | * | T |
| 20090 | F | F | F |
| 20091 | F | T | T |
| 20092 | F | F | F |
| 20093 | F | F | F |
| 20094 | F | F | F |
| 20095 | F | F | F |
| 20096 | F | F | F |
| 20097 | F | F | F |
| 20098 | F | F | F |
| 20099 | F | F | F |
| 20100 | F | F | F |
| 20101 | F | F | F |
| 20102 | F | F | F |
| 20103 | F | F | F |
| 20104 | F | T | T |
| 20105 | F | T | T |
| 20106 | F | T | T |
| 20107 | F | T | T |
| 20108 | T | * | T |
| 20109 | F | T | T |
| 20110 | F | T | T |
| 20111 | F | T | T |
| 20112 | F | F | F |
| 20113 | F | F | F |
| 20114 | F | F | F |
| 20115 | F | F | F |
| 20116 | T | * | T |
| 20117 | T | * | T |
| 20118 | T | * | T |
| 20119 | T | * | T |
| 20120 | T | * | T |
| 20121 | T | * | T |
| 20122 | F | F | F |
| 20123 | T | * | T |
| 20124 | F | F | F |
| 20125 | T | * | T |
| 20126 | T | * | T |
| 20127 | T | * | T |
| 20128 | T | * | T |
| 27765 | F | F | F |
| 27766 | F | F | F |
| 27767 | F | F | F |
| 27768 | F | F | F |
| 27769 | F | F | F |
| 27770 | F | F | F |
| 27771 | F | F | F |
| 27772 | F | F | F |
| 27773 | F | F | F |
| 27774 | F | F | F |
| 27775 | F | F | F |
| 27776 | F | F | F |
| 27777 | F | F | F |
| 27778 | T | * | T |
| 27779 | F | F | F |
| 27780 | F | F | F |
| 27781 | F | F | F |
| 27782 | F | F | F |
| 27783 | F | F | F |
| 27784 | F | F | F |
| 27785 | F | F | F |
| 27786 | F | F | F |
| 27787 | F | F | F |
| 27788 | F | F | F |
| 27789 | T | * | T |
| 27790 | T | * | T |
| 27791 | F | F | F |
| 27792 | F | T | T |
| 27793 | F | F | F |
| 27794 | F | F | F |
| 27795 | F | F | F |
| 27796 | F | F | F |
| 27797 | F | F | F |
| 27798 | F | F | F |
| 27799 | F | F | F |
| 27800 | F | F | F |
| 27801 | F | F | F |
| 27802 | F | F | F |
| 27803 | F | F | F |
| 27804 | F | F | F |
| 27805 | F | T | T |
| 27806 | F | T | T |
| 27807 | F | T | T |
| 27808 | F | F | F |
| 27809 | T | * | T |
| 27810 | F | F | F |
| 27811 | F | T | T |
| 27812 | F | T | T |
| 27813 | F | F | F |
| 27814 | F | F | F |
| 27815 | F | F | F |
| 27816 | F | F | F |
| 27817 | T | * | T |
| 27818 | T | * | T |
| 27819 | F | T | T |
| 27820 | T | * | T |
| 27821 | T | * | T |
| 27822 | F | F | F |
| 27823 | T | * | T |
| 27824 | F | F | F |
| 27825 | T | * | T |
| 27826 | T | * | T |
| 27827 | T | * | T |
| 27828 | T | * | T |
| 33599 | F | F | F |
| 33600 | F | F | F |
| 33601 | F | F | F |
| 33602 | F | F | F |
| 33603 | F | F | F |
| 33604 | F | F | F |
| 33605 | F | T | T |
| 33606 | F | F | F |
| 33607 | F | T | T |
| 33608 | F | F | F |
| 33609 | F | F | F |
| 33610 | F | F | F |
| 33611 | F | F | F |
| 33612 | F | F | F |
| 33613 | F | F | F |
| 33614 | F | F | F |
| 33615 | F | F | F |
| 33616 | F | F | F |
| 33617 | F | F | F |
| 33618 | F | F | F |
| 33619 | F | T | T |
| 33620 | F | T | T |
| 33621 | F | T | T |
| 33622 | F | F | F |
| 33623 | F | F | F |
| 33624 | F | T | T |
| 33625 | F | T | T |
| 33626 | F | F | F |
| 33627 | F | F | F |
| 33628 | F | F | F |
| 33629 | F | F | F |
| 33630 | F | T | T |
| 33631 | F | F | F |
| 33632 | F | F | F |
| 33633 | F | F | F |
| 33634 | F | F | F |
| 33635 | F | F | F |
| 33636 | F | F | F |
| 33637 | F | F | F |
| 33638 | F | F | F |
| 33639 | F | T | T |
| 33640 | F | T | T |
| 33641 | F | F | F |
| 33642 | F | F | F |
| 33643 | F | F | F |
| 33644 | F | F | F |
| 33645 | F | F | F |
| 33646 | F | F | F |
| 33647 | F | F | F |
| 33648 | F | F | F |
| 33649 | F | F | F |
| 33650 | F | F | F |
| 33651 | F | F | F |
| 33652 | F | F | F |
| 33653 | F | F | F |
| 33654 | F | T | T |
| 33655 | F | F | F |
| 33656 | F | T | T |
| 33657 | F | F | F |
| 33658 | F | F | F |
| 33659 | F | F | F |
| 33660 | F | F | F |
| 33661 | F | T | T |
| 33662 | F | F | F |
| 33663 | F | F | F |
| 33664 | F | T | T |
| 33665 | T | * | T |
| 33666 | T | * | T |
| 33667 | T | * | T |
| 33668 | T | * | T |
| 33669 | T | * | T |
| 33670 | F | T | T |
| 33671 | T | * | T |
| 33672 | F | F | F |
| 33673 | F | T | T |
| 33674 | T | * | T |
| 33675 | F | F | F |
| 33676 | T | * | T |
| 33677 | F | F | F |
| 33678 | T | * | T |
| 33679 | T | * | T |
| 39537 | F | F | F |
| 39538 | F | F | F |
| 39539 | F | F | F |
| 39540 | F | F | F |
| 39541 | F | F | F |
| 39542 | F | F | F |
| 39543 | F | T | T |
| 39544 | F | F | F |
| 39545 | F | T | T |
| 39546 | F | F | F |
| 39547 | F | F | F |
| 39548 | F | F | F |
| 39549 | F | F | F |
| 39550 | F | F | F |
| 39551 | F | F | F |
| 39552 | F | F | F |
| 39553 | F | F | F |
| 39554 | F | F | F |
| 39555 | F | F | F |
| 39556 | F | F | F |
| 39557 | F | T | T |
| 39558 | F | T | T |
| 39559 | F | T | T |
| 39560 | F | F | F |
| 39561 | F | F | F |
| 39562 | F | T | T |
| 39563 | F | T | T |
| 39564 | F | F | F |
| 39565 | F | F | F |
| 39566 | F | F | F |
| 39567 | F | F | F |
| 39568 | F | T | T |
| 39569 | F | F | F |
| 39570 | F | F | F |
| 39571 | F | F | F |
| 39572 | F | F | F |
| 39573 | F | F | F |
| 39574 | F | F | F |
| 39575 | F | F | F |
| 39576 | F | F | F |
| 39577 | F | T | T |
| 39578 | F | T | T |
| 39579 | F | F | F |
| 39580 | F | F | F |
| 39581 | F | F | F |
| 39582 | F | F | F |
| 39583 | F | F | F |
| 39584 | F | F | F |
| 39585 | F | F | F |
| 39586 | F | F | F |
| 39587 | F | F | F |
| 39588 | F | F | F |
| 39589 | F | F | F |
| 39590 | F | F | F |
| 39591 | F | F | F |
| 39592 | F | T | T |
| 39593 | F | F | F |
| 39594 | F | T | T |
| 39595 | F | F | F |
| 39596 | F | F | F |
| 39597 | F | F | F |
| 39598 | F | F | F |
| 39599 | F | T | T |
| 39600 | F | F | F |
| 39601 | F | F | F |
| 39602 | F | T | T |
| 39603 | T | * | T |
| 39604 | T | * | T |
| 39605 | T | * | T |
| 39606 | T | * | T |
| 39607 | T | * | T |
| 39608 | F | T | T |
| 39609 | T | * | T |
| 39610 | F | F | F |
| 39611 | F | T | T |
| 39612 | T | * | T |
| 39613 | F | F | F |
| 39614 | T | * | T |
| 39615 | F | F | F |
| 39616 | T | * | T |
| 39617 | T | * | T |
| 42552 | F | F | F |
| 42553 | F | F | F |
| 42554 | F | F | F |
| 42555 | F | F | F |
| 42556 | F | F | F |
| 42557 | F | F | F |
| 42558 | F | T | T |
| 42559 | F | F | F |
| 42560 | F | F | F |
| 42561 | F | F | F |
| 42562 | F | F | F |
| 42563 | F | T | T |
| 42564 | F | F | F |
| 42565 | F | T | T |
| 42566 | F | F | F |
| 42567 | T | * | T |
| 42568 | T | * | T |
| 42569 | T | * | T |
| 42570 | T | * | T |
| 42571 | T | * | T |
| 42572 | T | * | T |
| 42573 | T | * | T |
| 42574 | T | * | T |
| 42575 | T | * | T |
| 42576 | T | * | T |
| 42577 | F | T | T |
| 42578 | T | * | T |
| 42579 | T | * | T |
| 42580 | F | F | F |
| 42581 | F | F | F |
| 42582 | F | T | T |
| 42583 | T | * | T |
| 42584 | T | * | T |
| 42585 | F | T | T |
| 42586 | F | T | T |
| 42587 | T | * | T |
| 42588 | F | F | F |
| 42589 | F | T | T |
| 42590 | F | F | F |
| 42591 | T | * | T |
| 42592 | T | * | T |
| 42593 | T | * | T |
| 42594 | T | * | T |
| 42595 | F | F | F |
| 42596 | T | * | T |
| 42597 | T | * | T |
| 45689 | F | F | F |
| 45690 | F | F | F |
| 45691 | F | F | F |
| 45692 | F | F | F |
| 45693 | F | F | F |
| 45694 | F | F | F |
| 45695 | F | T | T |
| 45696 | F | F | F |
| 45697 | F | F | F |
| 45698 | F | F | F |
| 45699 | F | F | F |
| 45700 | F | T | T |
| 45701 | F | F | F |
| 45702 | F | T | T |
| 45703 | F | F | F |
| 45704 | T | * | T |
| 45705 | T | * | T |
| 45706 | T | * | T |
| 45707 | T | * | T |
| 45708 | T | * | T |
| 45709 | T | * | T |
| 45710 | T | * | T |
| 45711 | T | * | T |
| 45712 | T | * | T |
| 45713 | T | * | T |
| 45714 | F | T | T |
| 45715 | T | * | T |
| 45716 | T | * | T |
| 45717 | F | F | F |
| 45718 | T | * | T |
| 45719 | F | F | F |
| 45720 | F | T | T |
| 45721 | T | * | T |
| 45722 | F | T | T |
| 45723 | F | F | F |
| 45724 | T | * | T |
| 45725 | F | F | F |
| 45726 | F | F | F |
| 45727 | T | * | T |
| 45728 | T | * | T |
| 45729 | F | F | F |
| 45730 | T | * | T |
| 45731 | T | * | T |
| 45732 | T | * | T |
| 45733 | T | * | T |
| 45734 | T | * | T |
| 49076 | F | F | F |
| 49077 | F | F | F |
| 49078 | F | F | F |
| 49079 | F | F | F |
| 49080 | F | F | F |
| 49081 | F | F | F |
| 49082 | F | T | T |
| 49083 | F | F | F |
| 49084 | F | F | F |
| 49085 | F | F | F |
| 49086 | F | F | F |
| 49087 | F | F | F |
| 49088 | F | T | T |
| 49089 | F | F | F |
| 49090 | T | * | T |
| 49091 | T | * | T |
| 49092 | T | * | T |
| 49093 | T | * | T |
| 49094 | T | * | T |
| 49095 | T | * | T |
| 49096 | T | * | T |
| 49097 | T | * | T |
| 49098 | T | * | T |
| 49099 | T | * | T |
| 49100 | F | T | T |
| 49101 | T | * | T |
| 49102 | T | * | T |
| 49103 | F | F | F |
| 49104 | F | T | T |
| 49105 | F | T | T |
| 49106 | F | T | T |
| 49107 | F | F | F |
| 49108 | F | F | F |
| 49109 | T | * | T |
| 49110 | F | T | T |
| 49111 | F | F | F |
| 49112 | F | F | F |
| 49113 | T | * | T |
| 49114 | T | * | T |
| 49115 | F | F | F |
| 49116 | T | * | T |
| 49117 | T | * | T |
| 52092 | F | F | F |
| 52093 | F | F | F |
| 52094 | F | F | F |
| 52095 | F | F | F |
| 52096 | F | F | F |
| 52097 | F | F | F |
| 52098 | F | T | T |
| 52099 | F | F | F |
| 52100 | F | F | F |
| 52101 | F | F | F |
| 52102 | F | F | F |
| 52103 | F | T | T |
| 52104 | F | F | F |
| 52105 | F | T | T |
| 52106 | F | F | F |
| 52107 | T | * | T |
| 52108 | T | * | T |
| 52109 | T | * | T |
| 52110 | T | * | T |
| 52111 | T | * | T |
| 52112 | T | * | T |
| 52113 | T | * | T |
| 52114 | T | * | T |
| 52115 | T | * | T |
| 52116 | T | * | T |
| 52117 | F | T | T |
| 52118 | T | * | T |
| 52119 | T | * | T |
| 52120 | F | F | F |
| 52121 | F | F | F |
| 52122 | F | T | T |
| 52123 | T | * | T |
| 52124 | T | * | T |
| 52125 | F | T | T |
| 52126 | F | T | T |
| 52127 | T | * | T |
| 52128 | F | F | F |
| 52129 | F | T | T |
| 52130 | F | F | F |
| 52131 | T | * | T |
| 52132 | T | * | T |
| 52133 | T | * | T |
| 52134 | T | * | T |
| 52135 | F | F | F |
| 52136 | T | * | T |
| 52137 | T | * | T |
| 61798 | F | F | F |
| 61799 | F | F | F |
| 61800 | F | F | F |
| 61801 | F | F | F |
| 61802 | F | F | F |
| 61803 | F | F | F |
| 61804 | F | F | F |
| 61805 | F | F | F |
| 61806 | F | T | T |
| 61807 | F | F | F |
| 61808 | T | * | T |
| 61809 | F | F | F |
| 61810 | T | * | T |
| 61811 | F | F | F |
| 61812 | F | F | F |
| 61813 | F | F | F |
| 61814 | F | F | F |
| 61815 | F | F | F |
| 61816 | F | F | F |
| 61817 | F | F | F |
| 61818 | F | F | F |
| 61819 | F | F | F |
| 61820 | F | F | F |
| 61821 | F | F | F |
| 61822 | T | * | T |
| 61823 | T | * | T |
| 61824 | T | * | T |
| 61825 | F | F | F |
| 61826 | T | * | T |
| 61827 | T | * | T |
| 61828 | T | * | T |
| 61829 | F | F | F |
| 61830 | F | F | F |
| 61831 | F | F | F |
| 61832 | F | F | F |
| 61833 | F | T | T |
| 61834 | F | F | F |
| 61835 | F | F | F |
| 61836 | F | T | T |
| 61837 | F | F | F |
| 61838 | F | F | F |
| 61839 | F | F | F |
| 61840 | F | F | F |
| 61841 | F | F | F |
| 61842 | F | T | T |
| 61843 | F | F | F |
| 61844 | F | F | F |
| 61845 | F | F | F |
| 61846 | F | F | F |
| 61847 | F | F | F |
| 61848 | F | F | F |
| 61849 | F | F | F |
| 61850 | F | F | F |
| 61851 | F | F | F |
| 61852 | F | F | F |
| 61853 | F | F | F |
| 61854 | F | F | F |
| 61855 | F | F | F |
| 61856 | F | F | F |
| 61857 | F | F | F |
| 61858 | F | T | T |
| 61859 | F | T | T |
| 61860 | F | F | F |
| 61861 | F | F | F |
| 61862 | F | F | F |
| 61863 | F | F | F |
| 61864 | F | F | F |
| 61865 | F | F | F |
| 61866 | F | F | F |
| 61867 | F | F | F |
| 61868 | F | F | F |
| 61869 | T | * | T |
| 61870 | F | F | F |
| 61871 | T | * | T |
| 61872 | F | F | F |
| 61873 | F | F | F |
| 61874 | F | T | T |
| 61875 | F | F | F |
| 61876 | F | T | T |
| 61877 | T | * | T |
| 61878 | T | * | T |
| 61879 | T | * | T |
| 61880 | T | * | T |
| 61881 | F | F | F |
| 61882 | F | F | F |
| 61883 | T | * | T |
| 61884 | T | * | T |
| 61885 | F | F | F |
| 61886 | F | F | F |
| 61887 | F | F | F |
| 61888 | F | F | F |
| 61889 | T | * | T |
| 71570 | F | F | F |
| 71571 | F | F | F |
| 71572 | F | F | F |
| 71573 | F | F | F |
| 71574 | F | F | F |
| 71575 | F | F | F |
| 71576 | F | F | F |
| 71577 | F | F | F |
| 71578 | F | T | T |
| 71579 | F | F | F |
| 71580 | T | * | T |
| 71581 | F | F | F |
| 71582 | T | * | T |
| 71583 | F | F | F |
| 71584 | F | F | F |
| 71585 | F | F | F |
| 71586 | F | F | F |
| 71587 | F | F | F |
| 71588 | F | F | F |
| 71589 | F | F | F |
| 71590 | F | F | F |
| 71591 | F | F | F |
| 71592 | F | F | F |
| 71593 | F | F | F |
| 71594 | T | * | T |
| 71595 | T | * | T |
| 71596 | T | * | T |
| 71597 | F | F | F |
| 71598 | T | * | T |
| 71599 | T | * | T |
| 71600 | T | * | T |
| 71601 | F | F | F |
| 71602 | F | F | F |
| 71603 | F | F | F |
| 71604 | F | F | F |
| 71605 | F | T | T |
| 71606 | F | F | F |
| 71607 | F | F | F |
| 71608 | F | T | T |
| 71609 | F | F | F |
| 71610 | F | F | F |
| 71611 | F | F | F |
| 71612 | F | F | F |
| 71613 | F | F | F |
| 71614 | F | T | T |
| 71615 | F | F | F |
| 71616 | F | F | F |
| 71617 | F | F | F |
| 71618 | F | F | F |
| 71619 | F | F | F |
| 71620 | F | F | F |
| 71621 | F | F | F |
| 71622 | F | F | F |
| 71623 | F | F | F |
| 71624 | F | F | F |
| 71625 | F | F | F |
| 71626 | F | F | F |
| 71627 | F | F | F |
| 71628 | F | F | F |
| 71629 | F | F | F |
| 71630 | F | T | T |
| 71631 | F | T | T |
| 71632 | F | F | F |
| 71633 | F | F | F |
| 71634 | F | F | F |
| 71635 | F | F | F |
| 71636 | F | F | F |
| 71637 | F | F | F |
| 71638 | F | F | F |
| 71639 | F | F | F |
| 71640 | F | F | F |
| 71641 | T | * | T |
| 71642 | F | F | F |
| 71643 | T | * | T |
| 71644 | F | F | F |
| 71645 | F | F | F |
| 71646 | F | T | T |
| 71647 | F | F | F |
| 71648 | F | T | T |
| 71649 | T | * | T |
| 71650 | T | * | T |
| 71651 | T | * | T |
| 71652 | T | * | T |
| 71653 | F | F | F |
| 71654 | F | F | F |
| 71655 | T | * | T |
| 71656 | T | * | T |
| 71657 | F | F | F |
| 71658 | F | F | F |
| 71659 | F | F | F |
| 71660 | F | F | F |
| 71661 | T | * | T |
| 75134 | F | F | F |
| 75135 | F | F | F |
| 75136 | F | F | F |
| 75137 | F | F | F |
| 75138 | F | F | F |
| 75139 | T | * | T |
| 75140 | T | * | T |
| 75141 | F | F | F |
| 75142 | F | F | F |
| 75143 | T | * | T |
| 75144 | T | * | T |
| 75145 | T | * | T |
| 75146 | T | * | T |
| 75147 | T | * | T |
| 75148 | F | T | T |
| 75149 | F | T | T |
| 75150 | T | * | T |
| 75151 | F | F | F |
| 75152 | T | * | T |
| 75153 | T | * | T |
| 75154 | T | * | T |
| 75155 | T | * | T |
| 75156 | T | * | T |
| 75157 | T | * | T |
| 75158 | T | * | T |
| 75159 | T | * | T |
| 75160 | T | * | T |
| 75161 | T | * | T |
| 78609 | F | F | F |
| 78610 | F | F | F |
| 78611 | F | F | F |
| 78612 | F | F | F |
| 78613 | F | F | F |
| 78614 | T | * | T |
| 78615 | T | * | T |
| 78616 | F | F | F |
| 78617 | F | F | F |
| 78618 | T | * | T |
| 78619 | T | * | T |
| 78620 | T | * | T |
| 78621 | T | * | T |
| 78622 | T | * | T |
| 78623 | F | T | T |
| 78624 | F | T | T |
| 78625 | T | * | T |
| 78626 | F | F | F |
| 78627 | T | * | T |
| 78628 | T | * | T |
| 78629 | T | * | T |
| 78630 | T | * | T |
| 78631 | T | * | T |
| 78632 | T | * | T |
| 78633 | T | * | T |
| 78634 | T | * | T |
| 78635 | T | * | T |
| 78636 | T | * | T |
| 80321 | F | F | F |
| 80322 | F | F | F |
| 80323 | F | F | F |
| 80324 | F | F | F |
| 80325 | F | F | F |
| 80326 | F | F | F |
| 80327 | F | F | F |
| 80328 | F | F | F |
| 80329 | F | F | F |
| 80330 | F | T | T |
| 80331 | T | * | T |
| 80332 | T | * | T |
| 80333 | T | * | T |
| 80334 | T | * | T |
| 80335 | T | * | T |
| 80336 | T | * | T |
| 80337 | T | * | T |
| 80338 | T | * | T |
| 80339 | F | T | T |
| 80340 | T | * | T |
| 80341 | F | F | F |
| 80342 | F | T | T |
| 80343 | T | * | T |
| 80344 | T | * | T |
| 80345 | T | * | T |
| 80346 | T | * | T |
| 81591 | F | F | F |
| 81592 | F | F | F |
| 81593 | F | F | F |
| 81594 | F | F | F |
| 81595 | F | F | F |
| 81596 | F | F | F |
| 81597 | F | T | T |
| 81598 | F | F | F |
| 81599 | F | F | F |
| 81600 | T | * | T |
| 81601 | T | * | T |
| 81602 | T | * | T |
| 81603 | T | * | T |
| 81604 | T | * | T |
| 81605 | F | F | F |
| 81606 | F | F | F |
| 81607 | T | * | T |
| 81608 | F | T | T |
| 81609 | F | F | F |
| 82755 | F | F | F |
| 82756 | F | F | F |
| 82757 | F | F | F |
| 82758 | F | F | F |
| 82759 | F | F | F |
| 82760 | F | T | T |
| 82761 | F | F | F |
| 82762 | F | F | F |
| 82763 | F | T | T |
| 82764 | F | F | F |
| 82765 | F | F | F |
| 82766 | T | * | T |
| 82767 | T | * | T |
| 82768 | T | * | T |
| 82769 | T | * | T |
| 82770 | T | * | T |
| 82771 | F | T | T |
| 82772 | F | F | F |
| 82773 | F | F | F |
| 82774 | F | F | F |
| 83840 | F | F | F |
| 83841 | F | F | F |
| 83842 | F | F | F |
| 83843 | F | F | F |
| 83844 | F | F | F |
| 83845 | F | F | F |
| 83846 | F | T | T |
| 83847 | F | F | F |
| 83848 | F | F | F |
| 83849 | T | * | T |
| 83850 | T | * | T |
| 83851 | T | * | T |
| 83852 | T | * | T |
| 83853 | T | * | T |
| 83854 | F | F | F |
| 83855 | F | F | F |
| 83856 | T | * | T |
| 83857 | F | T | T |
| 83858 | F | F | F |
| 85122 | F | F | F |
| 85123 | F | F | F |
| 85124 | F | F | F |
| 85125 | F | F | F |
| 85126 | F | F | F |
| 85127 | F | F | F |
| 85128 | F | F | F |
| 85129 | F | F | F |
| 85130 | F | T | T |
| 85131 | F | F | F |
| 85132 | F | F | F |
| 85133 | T | * | T |
| 85134 | T | * | T |
| 85135 | T | * | T |
| 85136 | T | * | T |
| 85137 | T | * | T |
| 85138 | T | * | T |
| 85139 | T | * | T |
| 85140 | F | F | F |
| 85141 | F | F | F |
| 85142 | T | * | T |
| 85143 | F | F | F |
| 85144 | F | F | F |
| 87171 | F | F | F |
| 87172 | F | F | F |
| 87173 | F | F | F |
| 87174 | F | F | F |
| 87175 | F | F | F |
| 87176 | F | F | F |
| 87177 | F | F | F |
| 87178 | F | F | F |
| 87179 | F | F | F |
| 87180 | F | F | F |
| 87181 | F | F | F |
| 87182 | T | * | T |
| 87183 | T | * | T |
| 87184 | T | * | T |
| 87185 | T | * | T |
| 87186 | T | * | T |
| 87187 | T | * | T |
| 87188 | T | * | T |
| 87189 | T | * | T |
| 87190 | T | * | T |
| 87191 | F | F | F |
| 87192 | T | * | T |
| 87193 | F | F | F |
| 87194 | F | F | F |
| 87195 | F | F | F |
| 88449 | F | F | F |
| 88450 | F | F | F |
| 88451 | F | F | F |
| 88452 | F | F | F |
| 88453 | F | F | F |
| 88454 | F | F | F |
| 88455 | F | T | T |
| 88456 | F | T | T |
| 88457 | F | F | F |
| 88458 | F | F | F |
| 88459 | T | * | T |
| 88460 | T | * | T |
| 88461 | T | * | T |
| 88462 | T | * | T |
| 88463 | T | * | T |
| 88464 | F | F | F |
| 88465 | T | * | T |
| 88466 | F | F | F |
| 88467 | T | * | T |
| 88468 | F | F | F |
| 88469 | F | F | F |
| 88470 | F | F | F |
| 90391 | F | F | F |
| 90392 | F | F | F |
| 90393 | F | F | F |
| 90394 | F | F | F |
| 90395 | F | F | F |
| 90396 | F | F | F |
| 90397 | F | F | F |
| 90398 | F | F | F |
| 90399 | F | F | F |
| 90400 | F | F | F |
| 90401 | F | F | F |
| 90402 | T | * | T |
| 90403 | T | * | T |
| 90404 | T | * | T |
| 90405 | T | * | T |
| 90406 | T | * | T |
| 90407 | T | * | T |
| 90408 | T | * | T |
| 90409 | T | * | T |
| 90410 | T | * | T |
| 90411 | F | F | F |
| 90412 | T | * | T |
| 90413 | F | F | F |
| 90414 | F | F | F |
| 90415 | T | * | T |
| 90416 | F | F | F |
| 90417 | F | F | F |
| 91899 | F | F | F |
| 91900 | F | F | F |
| 91901 | F | F | F |
| 91902 | F | T | T |
| 91903 | F | F | F |
| 91904 | F | T | T |
| 91905 | F | F | F |
| 91906 | F | F | F |
| 91907 | F | F | F |
| 91908 | F | F | F |
| 91909 | F | F | F |
| 91910 | F | F | F |
| 91911 | T | * | T |
| 91912 | T | * | T |
| 91913 | T | * | T |
| 91914 | T | * | T |
| 91915 | T | * | T |
| 91916 | F | F | F |
| 91917 | T | * | T |
| 91918 | T | * | T |
| 91919 | T | * | T |
| 110262 | F | F | F |
| 110263 | F | F | F |
| 110264 | F | F | F |
| 110265 | F | F | F |
| 110266 | F | F | F |
| 110267 | F | F | F |
| 110268 | T | * | T |
| 110269 | F | T | T |
| 110270 | F | T | T |
| 110271 | F | F | F |
| 110272 | F | T | T |
| 110273 | F | F | F |
| 110274 | T | * | T |
| 110275 | F | T | T |
| 110276 | F | T | T |
| 110277 | F | F | F |
| 110278 | T | * | T |
| 110279 | F | F | F |
| 110280 | F | F | F |
| 110281 | F | T | T |
| 110282 | F | T | T |
| 110283 | F | F | F |
| 110284 | F | T | T |
| 110285 | F | T | T |
| 110286 | F | T | T |
| 110287 | T | * | T |
| 110288 | F | T | T |
| 110289 | F | F | F |
| 110290 | F | F | F |
| 110291 | F | F | F |
| 110292 | F | F | F |
| 110293 | F | F | F |
| 110294 | T | * | T |
| 110295 | T | * | T |
| 110296 | F | F | F |
| 110297 | F | F | F |
| 110298 | F | F | F |
| 110299 | F | F | F |
| 110300 | F | F | F |
| 110301 | F | F | F |
| 110302 | F | F | F |
| 110303 | F | T | T |
| 110304 | F | F | F |
| 110305 | T | * | T |
| 110306 | F | T | T |
| 110307 | F | T | T |
| 110308 | F | F | F |
| 110309 | F | T | T |
| 110310 | F | F | F |
| 110311 | T | * | T |
| 110312 | F | F | F |
| 110313 | T | * | T |
| 110314 | F | F | F |
| 110315 | T | * | T |
| 110316 | F | F | F |
| 110317 | T | * | T |
| 110318 | F | F | F |
| 110319 | F | F | F |
| 110320 | F | T | T |
| 110321 | F | F | F |
| 110322 | F | F | F |
| 110323 | F | F | F |
| 110324 | T | * | T |
| 110325 | F | T | T |
| 110326 | F | T | T |
| 110327 | F | F | F |
| 110328 | F | F | F |
| 110329 | F | T | T |
| 110330 | F | F | F |
| 110331 | F | F | F |
| 110332 | F | F | F |
| 110333 | F | F | F |
| 110334 | F | F | F |
| 110335 | F | F | F |
| 110336 | F | F | F |
| 110337 | F | F | F |
| 110338 | F | F | F |
| 110339 | F | F | F |
| 110340 | F | F | F |
| 110341 | F | T | T |
| 110342 | F | F | F |
| 110343 | F | F | F |
| 110344 | F | F | F |
| 110345 | F | F | F |
| 110346 | F | F | F |
| 110347 | F | F | F |
| 110348 | T | * | T |
| 110349 | F | F | F |
| 110350 | T | * | T |
| 110351 | T | * | T |
| 110352 | T | * | T |
| 110353 | F | F | F |
| 110354 | T | * | T |
| 110355 | T | * | T |
| 110356 | F | F | F |
| 110357 | T | * | T |
| 110358 | T | * | T |
| 110359 | T | * | T |
| 110360 | T | * | T |
| 129125 | F | F | F |
| 129126 | F | F | F |
| 129127 | F | F | F |
| 129128 | F | F | F |
| 129129 | F | F | F |
| 129130 | F | F | F |
| 129131 | T | * | T |
| 129132 | F | T | T |
| 129133 | F | T | T |
| 129134 | F | F | F |
| 129135 | F | T | T |
| 129136 | F | F | F |
| 129137 | T | * | T |
| 129138 | F | T | T |
| 129139 | F | T | T |
| 129140 | F | F | F |
| 129141 | T | * | T |
| 129142 | F | F | F |
| 129143 | F | F | F |
| 129144 | F | T | T |
| 129145 | F | T | T |
| 129146 | F | F | F |
| 129147 | F | T | T |
| 129148 | F | T | T |
| 129149 | F | T | T |
| 129150 | T | * | T |
| 129151 | F | T | T |
| 129152 | F | F | F |
| 129153 | F | F | F |
| 129154 | F | F | F |
| 129155 | F | F | F |
| 129156 | F | F | F |
| 129157 | T | * | T |
| 129158 | T | * | T |
| 129159 | F | F | F |
| 129160 | F | F | F |
| 129161 | F | F | F |
| 129162 | F | F | F |
| 129163 | F | F | F |
| 129164 | F | F | F |
| 129165 | F | F | F |
| 129166 | F | T | T |
| 129167 | F | F | F |
| 129168 | T | * | T |
| 129169 | F | T | T |
| 129170 | F | T | T |
| 129171 | F | F | F |
| 129172 | F | T | T |
| 129173 | F | F | F |
| 129174 | T | * | T |
| 129175 | F | F | F |
| 129176 | T | * | T |
| 129177 | F | F | F |
| 129178 | T | * | T |
| 129179 | F | F | F |
| 129180 | T | * | T |
| 129181 | F | F | F |
| 129182 | F | F | F |
| 129183 | F | T | T |
| 129184 | F | F | F |
| 129185 | F | F | F |
| 129186 | F | F | F |
| 129187 | T | * | T |
| 129188 | F | T | T |
| 129189 | F | T | T |
| 129190 | F | F | F |
| 129191 | F | F | F |
| 129192 | F | T | T |
| 129193 | F | F | F |
| 129194 | F | F | F |
| 129195 | F | F | F |
| 129196 | F | F | F |
| 129197 | F | F | F |
| 129198 | F | F | F |
| 129199 | F | F | F |
| 129200 | F | F | F |
| 129201 | F | F | F |
| 129202 | F | F | F |
| 129203 | F | F | F |
| 129204 | F | T | T |
| 129205 | F | F | F |
| 129206 | F | F | F |
| 129207 | F | F | F |
| 129208 | F | F | F |
| 129209 | F | F | F |
| 129210 | F | F | F |
| 129211 | T | * | T |
| 129212 | F | F | F |
| 129213 | T | * | T |
| 129214 | T | * | T |
| 129215 | T | * | T |
| 129216 | F | F | F |
| 129217 | T | * | T |
| 129218 | T | * | T |
| 129219 | F | F | F |
| 129220 | T | * | T |
| 129221 | T | * | T |
| 129222 | T | * | T |
| 129223 | T | * | T |
| 130822 | F | F | F |
| 130823 | F | F | F |
| 130824 | F | F | F |
| 130825 | F | F | F |
| 130826 | F | F | F |
| 130827 | F | T | T |
| 130828 | F | T | T |
| 130829 | F | F | F |
| 130830 | F | F | F |
| 130831 | F | F | F |
| 130832 | F | F | F |
| 130833 | F | F | F |
| 130834 | F | F | F |
| 130835 | F | F | F |
| 130836 | T | * | T |
| 130837 | T | * | T |
| 130838 | T | * | T |
| 130839 | T | * | T |
| 130840 | T | * | T |
| 130841 | T | * | T |
| 130842 | T | * | T |
| 130843 | F | F | F |
| 130844 | F | F | F |
| 130845 | T | * | T |
| 132051 | F | F | F |
| 132052 | F | F | F |
| 132053 | F | F | F |
| 132054 | F | F | F |
| 132055 | F | F | F |
| 132056 | F | T | T |
| 132057 | F | T | T |
| 132058 | F | F | F |
| 132059 | F | F | F |
| 132060 | F | F | F |
| 132061 | F | F | F |
| 132062 | F | F | F |
| 132063 | F | F | F |
| 132064 | F | T | T |
| 132065 | F | F | F |
| 132066 | F | F | F |
| 132067 | T | * | T |
| 132068 | T | * | T |
| 132069 | T | * | T |
| 132070 | T | * | T |
| 132071 | T | * | T |
| 132072 | T | * | T |
| 132073 | T | * | T |
| 132074 | F | F | F |
| 132075 | F | F | F |
| 132076 | F | F | F |
| 132077 | T | * | T |
| 133354 | F | F | F |
| 133355 | F | F | F |
| 133356 | F | F | F |
| 133357 | F | F | F |
| 133358 | F | F | F |
| 133359 | F | T | T |
| 133360 | F | T | T |
| 133361 | F | F | F |
| 133362 | F | F | F |
| 133363 | F | F | F |
| 133364 | F | F | F |
| 133365 | F | F | F |
| 133366 | F | F | F |
| 133367 | F | T | T |
| 133368 | F | F | F |
| 133369 | F | F | F |
| 133370 | T | * | T |
| 133371 | T | * | T |
| 133372 | T | * | T |
| 133373 | T | * | T |
| 133374 | T | * | T |
| 133375 | T | * | T |
| 133376 | F | F | F |
| 133377 | T | * | T |
Independent-effect pairs
c0(branch5957): PROVED — pair rows2610,2617(masking)dlfree· br_ifc1(branch5958): PROVED — pair rows2610,2611(unique-cause)dlfree· br_if