Decision #1432 — malloc.c:4786
Status: no_witness
Truth table
| row | c0 br 9500 | c1 br 9501 | c2 br 9502 | c3 br 9503 | outcome |
|---|---|---|---|---|---|
| 4481 | F | * | * | F | T |
| 4482 | * | * | * | F | T |
| 4483 | * | * | * | F | T |
| 11406 | F | * | * | F | T |
| 11407 | * | * | * | F | T |
| 11408 | * | * | * | F | T |
| 11409 | * | * | * | F | T |
| 18362 | F | * | * | F | T |
| 18363 | * | * | * | F | T |
| 18364 | * | * | * | F | T |
| 23016 | * | * | * | F | T |
| 23017 | * | * | * | F | T |
| 25735 | * | * | * | F | T |
| 25736 | * | * | * | F | T |
| 28402 | * | * | * | F | T |
| 28403 | * | * | * | F | T |
| 44180 | * | * | * | F | T |
| 44181 | * | * | * | F | T |
| 44182 | * | * | * | F | T |
| 44183 | * | * | * | F | T |
| 44184 | * | * | * | F | T |
| 44185 | * | * | * | F | T |
| 44186 | * | * | * | F | T |
| 44187 | * | * | * | F | T |
| 44188 | * | * | * | F | T |
| 44189 | * | * | * | F | T |
| 44190 | * | * | * | F | T |
| 44191 | * | * | * | F | T |
| 44192 | * | * | * | F | T |
| 44193 | * | * | * | F | T |
| 44194 | * | * | * | F | T |
| 44195 | * | * | * | F | T |
| 44196 | * | * | * | F | T |
| 44197 | * | * | * | F | T |
| 44198 | * | * | * | F | T |
| 44199 | * | * | * | F | T |
| 44200 | * | * | * | F | T |
| 44201 | * | * | * | F | T |
| 44202 | * | * | * | F | T |
| 44203 | * | * | * | F | T |
| 44204 | * | * | * | F | T |
| 44205 | * | * | * | F | T |
| 44206 | * | * | * | F | T |
| 44207 | * | * | * | F | T |
| 44208 | * | * | * | F | T |
| 44209 | * | * | * | F | T |
| 44210 | * | * | * | F | T |
| 44211 | T | F | F | F | T |
| 44212 | * | * | * | F | T |
| 44213 | * | * | * | F | T |
| 44214 | * | * | * | F | T |
| 65009 | * | * | * | F | T |
| 65010 | * | * | * | F | T |
| 65011 | * | * | * | F | T |
| 65012 | * | * | * | F | T |
| 65013 | * | * | * | F | T |
| 65014 | * | * | * | F | T |
| 65015 | * | * | * | F | T |
| 65016 | * | * | * | F | T |
| 65017 | * | * | * | F | T |
| 65018 | * | * | * | F | T |
| 65019 | * | * | * | F | T |
| 65020 | * | * | * | F | T |
| 65021 | * | * | * | F | T |
| 65022 | * | * | * | F | T |
| 65023 | * | * | * | F | T |
| 65024 | * | * | * | F | T |
| 65025 | * | * | * | F | T |
| 65026 | * | * | * | F | T |
| 65027 | * | * | * | F | T |
| 65028 | * | * | * | F | T |
| 65029 | * | * | * | F | T |
| 65030 | * | * | * | F | T |
| 65031 | * | * | * | F | T |
| 65032 | * | * | * | F | T |
| 65033 | * | * | * | F | T |
| 65034 | * | * | * | F | T |
| 65035 | * | * | * | F | T |
| 65036 | * | * | * | F | T |
| 65037 | * | * | * | F | T |
| 65038 | * | * | * | F | T |
| 65039 | * | * | * | F | T |
| 65040 | T | F | F | F | T |
| 65041 | * | * | * | F | T |
| 65042 | * | * | * | F | T |
| 77812 | * | * | * | F | T |
| 77813 | * | * | * | F | T |
| 77814 | * | * | * | F | T |
| 77815 | * | * | * | F | T |
| 77816 | * | * | * | F | T |
| 77817 | * | * | * | F | T |
| 77818 | * | * | * | F | T |
| 77819 | * | * | * | F | T |
| 77820 | F | * | * | F | T |
| 77821 | * | * | * | F | T |
| 87695 | * | * | * | F | T |
| 87696 | * | * | * | F | T |
| 87697 | * | * | * | F | T |
| 87698 | * | * | * | F | T |
| 87699 | * | * | * | F | T |
| 87700 | * | * | * | F | T |
| 87701 | * | * | * | F | T |
| 87702 | * | * | * | F | T |
| 87703 | F | * | * | F | T |
| 87704 | * | * | * | F | T |
| 95664 | * | * | * | F | T |
| 95665 | * | * | * | F | T |
| 95666 | * | * | * | F | T |
| 95667 | * | * | * | F | T |
| 95668 | * | * | * | F | T |
| 103737 | * | * | * | F | T |
| 103738 | * | * | * | F | T |
| 103739 | * | * | * | F | T |
| 103740 | * | * | * | F | T |
| 103741 | * | * | * | F | T |
| 112167 | * | * | * | F | T |
| 112168 | * | * | * | F | T |
| 112169 | * | * | * | F | T |
| 112170 | * | * | * | F | T |
| 112171 | * | * | * | F | T |
| 120008 | * | * | * | F | T |
| 120009 | * | * | * | F | T |
| 120010 | * | * | * | F | T |
| 120011 | * | * | * | F | T |
| 120012 | * | * | * | F | T |
| 135649 | * | * | * | F | T |
| 135650 | * | * | * | F | T |
| 135651 | * | * | * | F | T |
| 135652 | * | * | * | F | T |
| 135653 | * | * | * | F | T |
| 135654 | * | * | * | F | T |
| 135655 | * | * | * | F | T |
| 135656 | * | * | * | F | T |
| 135657 | * | * | * | F | T |
| 135658 | * | * | * | F | T |
| 135659 | * | * | * | F | T |
| 135660 | * | * | * | F | T |
| 135661 | * | * | * | F | T |
| 135662 | * | * | * | F | T |
| 135663 | * | * | * | F | T |
| 135664 | * | * | * | F | T |
| 135665 | * | * | * | F | T |
| 135666 | * | * | * | F | T |
| 135667 | * | * | * | F | T |
| 135668 | * | * | * | F | T |
| 135669 | * | * | * | F | T |
| 135670 | * | * | * | F | T |
| 135671 | * | * | * | F | T |
| 135672 | * | * | * | F | T |
| 135673 | * | * | * | F | T |
| 135674 | * | * | * | F | T |
| 135675 | * | * | * | F | T |
| 135676 | * | * | * | F | T |
| 135677 | * | * | * | F | T |
| 135678 | * | * | * | F | T |
| 135679 | * | * | * | F | T |
| 135680 | * | * | * | F | T |
| 135681 | * | * | * | F | T |
| 152368 | * | * | * | F | T |
| 152369 | * | * | * | F | T |
| 152370 | * | * | * | F | T |
| 152371 | * | * | * | F | T |
| 152372 | * | * | * | F | T |
| 152373 | * | * | * | F | T |
| 152374 | * | * | * | F | T |
| 152375 | * | * | * | F | T |
| 152376 | * | * | * | F | T |
| 152377 | * | * | * | F | T |
| 152378 | * | * | * | F | T |
| 152379 | * | * | * | F | T |
| 152380 | * | * | * | F | T |
| 152381 | * | * | * | F | T |
| 152382 | * | * | * | F | T |
| 152383 | * | * | * | F | T |
| 152384 | * | * | * | F | T |
| 152385 | * | * | * | F | T |
| 152386 | * | * | * | F | T |
| 152387 | * | * | * | F | T |
| 152388 | * | * | * | F | T |
| 152389 | * | * | * | F | T |
| 152390 | * | * | * | F | T |
| 152391 | * | * | * | F | T |
| 152392 | * | * | * | F | T |
| 152393 | * | * | * | F | T |
| 152394 | * | * | * | F | T |
| 152395 | * | * | * | F | T |
| 152396 | * | * | * | F | T |
| 152397 | * | * | * | F | T |
| 152398 | * | * | * | F | T |
| 152399 | * | * | * | F | T |
| 152400 | * | * | * | F | T |
| 162654 | F | * | * | F | T |
| 162655 | * | * | * | F | T |
| 162656 | * | * | * | F | T |
| 162657 | * | * | * | F | T |
| 172512 | F | * | * | F | T |
| 172513 | * | * | * | F | T |
| 172514 | * | * | * | F | T |
| 172515 | * | * | * | F | T |
| 178629 | * | * | * | F | T |
| 182696 | * | * | * | F | T |
| 182697 | * | * | * | F | T |
| 185903 | * | * | * | F | T |
| 185904 | * | * | * | F | T |
| 189123 | * | * | * | F | T |
| 189124 | * | * | * | F | T |
| 193478 | * | * | * | F | T |
| 193479 | * | * | * | F | T |
| 193480 | * | * | * | F | T |
| 193481 | * | * | * | F | T |
| 200450 | * | * | * | F | T |
| 200451 | * | * | * | F | T |
| 200452 | * | * | * | F | T |
| 200453 | * | * | * | F | T |
| 200454 | F | * | * | F | T |
| 200455 | F | * | * | F | T |
| 200456 | * | * | * | F | T |
| 205061 | * | * | * | F | T |
| 205062 | * | * | * | F | T |
| 205063 | * | * | * | F | T |
| 211560 | * | * | * | F | T |
| 211561 | * | * | * | F | T |
| 211562 | F | * | * | F | T |
| 211563 | * | * | * | F | T |
| 211564 | * | * | * | F | T |
| 211565 | * | * | * | F | T |
| 211566 | * | * | * | F | T |
| 211567 | * | * | * | F | T |
| 218941 | * | * | * | F | T |
| 218942 | * | * | * | F | T |
| 218943 | * | * | * | F | T |
| 218944 | * | * | * | F | T |
| 218945 | * | * | * | F | T |
| 274392 | * | * | * | F | T |
| 274393 | * | * | * | F | T |
| 274394 | * | * | * | F | T |
| 274395 | * | * | * | F | T |
| 274396 | * | * | * | F | T |
| 274397 | * | * | * | F | T |
| 274398 | * | * | * | F | T |
| 274399 | * | * | * | F | T |
| 274400 | * | * | * | F | T |
| 274401 | * | * | * | F | T |
| 274402 | * | * | * | F | T |
| 274403 | * | * | * | F | T |
| 274404 | * | * | * | F | T |
| 274405 | * | * | * | F | T |
| 274406 | * | * | * | F | T |
| 274407 | * | * | * | F | T |
| 274408 | * | * | * | F | T |
| 274409 | * | * | * | F | T |
| 274410 | * | * | * | F | T |
| 274411 | * | * | * | F | T |
| 274412 | * | * | * | F | T |
| 274413 | * | * | * | F | T |
| 274414 | * | * | * | F | T |
| 274415 | * | * | * | F | T |
| 274416 | * | * | * | F | T |
| 274417 | * | * | * | F | T |
| 274418 | * | * | * | F | T |
| 274419 | * | * | * | F | T |
| 274420 | * | * | * | F | T |
| 274421 | * | * | * | F | T |
| 274422 | * | * | * | F | T |
| 274423 | * | * | * | F | T |
| 274424 | * | * | * | F | T |
| 274425 | * | * | * | F | T |
| 274426 | * | * | * | F | T |
| 274427 | * | * | * | F | T |
| 274428 | * | * | * | F | T |
| 274429 | * | * | * | F | T |
| 274430 | * | * | * | F | T |
| 274431 | * | * | * | F | T |
| 274432 | * | * | * | F | T |
| 274433 | * | * | * | F | T |
| 274434 | * | * | * | F | T |
| 274435 | * | * | * | F | T |
| 274436 | * | * | * | F | T |
| 274437 | * | * | * | F | T |
| 274438 | * | * | * | F | T |
| 274439 | * | * | * | F | T |
| 274440 | * | * | * | F | T |
| 274441 | * | * | * | F | T |
| 274442 | * | * | * | F | T |
| 274443 | * | * | * | F | T |
| 274444 | * | * | * | F | T |
| 274445 | * | * | * | F | T |
| 274446 | * | * | * | F | T |
| 274447 | * | * | * | F | T |
| 274448 | * | * | * | F | T |
| 274449 | * | * | * | F | T |
| 274450 | * | * | * | F | T |
| 274451 | * | * | * | F | T |
| 274452 | * | * | * | F | T |
| 274453 | * | * | * | F | T |
| 274454 | * | * | * | F | T |
| 274455 | * | * | * | F | T |
| 274456 | * | * | * | F | T |
| 274457 | * | * | * | F | T |
| 274458 | * | * | * | F | T |
| 274459 | * | * | * | F | T |
| 274460 | * | * | * | F | T |
| 274461 | * | * | * | F | T |
| 274462 | * | * | * | F | T |
| 274463 | * | * | * | F | T |
| 274464 | * | * | * | F | T |
| 274465 | * | * | * | F | T |
| 274466 | * | * | * | F | T |
| 274467 | * | * | * | F | T |
| 274468 | * | * | * | F | T |
| 274469 | * | * | * | F | T |
| 274470 | * | * | * | F | T |
| 274471 | * | * | * | F | T |
| 274472 | * | * | * | F | T |
| 274473 | * | * | * | F | T |
| 274474 | * | * | * | F | T |
| 274475 | * | * | * | F | T |
| 274476 | * | * | * | F | T |
| 274477 | * | * | * | F | T |
| 274478 | * | * | * | F | T |
| 274479 | * | * | * | F | T |
| 274480 | * | * | * | F | T |
| 274481 | * | * | * | F | T |
| 274482 | * | * | * | F | T |
| 274483 | * | * | * | F | T |
| 274484 | * | * | * | F | T |
| 274485 | * | * | * | F | T |
| 274486 | * | * | * | F | T |
| 274487 | * | * | * | F | T |
| 274488 | * | * | * | F | T |
| 274489 | * | * | * | F | T |
| 274490 | * | * | * | F | T |
| 274491 | * | * | * | F | T |
| 274492 | * | * | * | F | T |
| 274493 | * | * | * | F | T |
| 274494 | * | * | * | F | T |
| 274495 | * | * | * | F | T |
| 274496 | * | * | * | F | T |
| 274497 | * | * | * | F | T |
| 274498 | * | * | * | F | T |
| 274499 | * | * | * | F | T |
| 274500 | * | * | * | F | T |
| 274501 | * | * | * | F | T |
| 274502 | * | * | * | F | T |
| 274503 | * | * | * | F | T |
| 274504 | * | * | * | F | T |
| 274505 | * | * | * | F | T |
| 274506 | * | * | * | F | T |
| 274507 | * | * | * | F | T |
| 274508 | * | * | * | F | T |
| 274509 | * | * | * | F | T |
| 274510 | * | * | * | F | T |
| 274511 | * | * | * | F | T |
| 274512 | * | * | * | F | T |
| 274513 | * | * | * | F | T |
| 274514 | * | * | * | F | T |
| 274515 | * | * | * | F | T |
| 274516 | * | * | * | F | T |
| 274517 | * | * | * | F | T |
| 274518 | * | * | * | F | T |
| 274519 | * | * | * | F | T |
| 274520 | * | * | * | F | T |
| 274521 | * | * | * | F | T |
| 274522 | * | * | * | F | T |
| 274523 | * | * | * | F | T |
| 274524 | * | * | * | F | T |
| 274525 | * | * | * | F | T |
| 274526 | * | * | * | F | T |
| 274527 | * | * | * | F | T |
| 274528 | * | * | * | F | T |
| 274529 | * | * | * | F | T |
| 274530 | * | * | * | F | T |
| 274531 | * | * | * | F | T |
| 274532 | * | * | * | F | T |
| 274533 | * | * | * | F | T |
| 274534 | * | * | * | F | T |
| 274535 | * | * | * | F | T |
| 274536 | * | * | * | F | T |
| 274537 | * | * | * | F | T |
| 274538 | * | * | * | F | T |
| 274539 | * | * | * | F | T |
| 274540 | * | * | * | F | T |
| 274541 | * | * | * | F | T |
| 274542 | * | * | * | F | T |
| 274543 | * | * | * | F | T |
| 274544 | * | * | * | F | T |
| 274545 | * | * | * | F | T |
| 274546 | * | * | * | F | T |
| 274547 | * | * | * | F | T |
| 274548 | * | * | * | F | T |
| 274549 | * | * | * | F | T |
| 274550 | * | * | * | F | T |
| 274551 | * | * | * | F | T |
| 274552 | * | * | * | F | T |
| 274553 | * | * | * | F | T |
| 274554 | * | * | * | F | T |
| 274555 | * | * | * | F | T |
| 274556 | * | * | * | F | T |
| 274557 | * | * | * | F | T |
| 274558 | * | * | * | F | T |
| 274559 | * | * | * | F | T |
| 274560 | * | * | * | F | T |
| 274561 | * | * | * | F | T |
| 274562 | * | * | * | F | T |
| 274563 | * | * | * | F | T |
| 274564 | * | * | * | F | T |
| 274565 | * | * | * | F | T |
| 274566 | * | * | * | F | T |
| 274567 | * | * | * | F | T |
| 274568 | * | * | * | F | T |
| 274569 | * | * | * | F | T |
| 274570 | * | * | * | F | T |
| 274571 | * | * | * | F | T |
| 274572 | * | * | * | F | T |
| 274573 | * | * | * | F | T |
| 274574 | * | * | * | F | T |
| 274575 | * | * | * | F | T |
| 274576 | * | * | * | F | T |
| 274577 | * | * | * | F | T |
| 274578 | * | * | * | F | T |
| 274579 | * | * | * | F | T |
| 274580 | * | * | * | F | T |
| 274581 | * | * | * | F | T |
| 274582 | * | * | * | F | T |
| 274583 | * | * | * | F | T |
| 274584 | * | * | * | F | T |
| 274585 | * | * | * | F | T |
| 274586 | * | * | * | F | T |
| 274587 | * | * | * | F | T |
| 274588 | * | * | * | F | T |
| 274589 | * | * | * | F | T |
| 274590 | * | * | * | F | T |
| 274591 | * | * | * | F | T |
| 274592 | * | * | * | F | T |
| 351769 | * | * | * | F | T |
| 351770 | * | * | * | F | T |
| 351771 | * | * | * | F | T |
| 351772 | * | * | * | F | T |
| 351773 | * | * | * | F | T |
| 351774 | * | * | * | F | T |
| 351775 | * | * | * | F | T |
| 351776 | * | * | * | F | T |
| 351777 | * | * | * | F | T |
| 351778 | * | * | * | F | T |
| 351779 | * | * | * | F | T |
| 351780 | * | * | * | F | T |
| 351781 | * | * | * | F | T |
| 351782 | * | * | * | F | T |
| 351783 | * | * | * | F | T |
| 351784 | * | * | * | F | T |
| 351785 | * | * | * | F | T |
| 351786 | * | * | * | F | T |
| 351787 | * | * | * | F | T |
| 351788 | * | * | * | F | T |
| 351789 | * | * | * | F | T |
| 351790 | * | * | * | F | T |
| 351791 | * | * | * | F | T |
| 351792 | * | * | * | F | T |
| 351793 | * | * | * | F | T |
| 351794 | * | * | * | F | T |
| 351795 | * | * | * | F | T |
| 351796 | * | * | * | F | T |
| 351797 | * | * | * | F | T |
| 351798 | * | * | * | F | T |
| 351799 | * | * | * | F | T |
| 351800 | * | * | * | F | T |
| 351801 | * | * | * | F | T |
| 351802 | * | * | * | F | T |
| 351803 | * | * | * | F | T |
| 351804 | * | * | * | F | T |
| 351805 | * | * | * | F | T |
| 351806 | * | * | * | F | T |
| 351807 | * | * | * | F | T |
| 351808 | * | * | * | F | T |
| 351809 | * | * | * | F | T |
| 351810 | * | * | * | F | T |
| 351811 | * | * | * | F | T |
| 351812 | * | * | * | F | T |
| 351813 | * | * | * | F | T |
| 351814 | * | * | * | F | T |
| 351815 | * | * | * | F | T |
| 351816 | * | * | * | F | T |
| 351817 | * | * | * | F | T |
| 351818 | * | * | * | F | T |
| 351819 | * | * | * | F | T |
| 351820 | * | * | * | F | T |
| 351821 | * | * | * | F | T |
| 351822 | * | * | * | F | T |
| 351823 | * | * | * | F | T |
| 351824 | * | * | * | F | T |
| 351825 | * | * | * | F | T |
| 351826 | * | * | * | F | T |
| 351827 | * | * | * | F | T |
| 351828 | * | * | * | F | T |
| 351829 | * | * | * | F | T |
| 351830 | * | * | * | F | T |
| 351831 | * | * | * | F | T |
| 351832 | * | * | * | F | T |
| 351833 | * | * | * | F | T |
| 351834 | * | * | * | F | T |
| 351835 | * | * | * | F | T |
| 351836 | * | * | * | F | T |
| 351837 | * | * | * | F | T |
| 351838 | * | * | * | F | T |
| 351839 | * | * | * | F | T |
| 351840 | * | * | * | F | T |
| 351841 | * | * | * | F | T |
| 351842 | * | * | * | F | T |
| 351843 | * | * | * | F | T |
| 351844 | * | * | * | F | T |
| 351845 | * | * | * | F | T |
| 351846 | * | * | * | F | T |
| 351847 | * | * | * | F | T |
| 351848 | * | * | * | F | T |
| 351849 | * | * | * | F | T |
| 351850 | * | * | * | F | T |
| 351851 | * | * | * | F | T |
| 351852 | * | * | * | F | T |
| 351853 | * | * | * | F | T |
| 351854 | * | * | * | F | T |
| 351855 | * | * | * | F | T |
| 351856 | * | * | * | F | T |
| 351857 | * | * | * | F | T |
| 351858 | * | * | * | F | T |
| 351859 | * | * | * | F | T |
| 351860 | * | * | * | F | T |
| 351861 | * | * | * | F | T |
| 351862 | * | * | * | F | T |
| 351863 | * | * | * | F | T |
| 351864 | * | * | * | F | T |
| 351865 | * | * | * | F | T |
| 351866 | * | * | * | F | T |
| 351867 | * | * | * | F | T |
| 351868 | * | * | * | F | T |
| 351869 | * | * | * | F | T |
| 351870 | * | * | * | F | T |
| 351871 | * | * | * | F | T |
| 351872 | * | * | * | F | T |
| 351873 | * | * | * | F | T |
| 351874 | * | * | * | F | T |
| 351875 | * | * | * | F | T |
| 351876 | * | * | * | F | T |
| 351877 | * | * | * | F | T |
| 351878 | * | * | * | F | T |
| 351879 | * | * | * | F | T |
| 351880 | * | * | * | F | T |
| 351881 | * | * | * | F | T |
| 351882 | * | * | * | F | T |
| 351883 | * | * | * | F | T |
| 351884 | * | * | * | F | T |
| 351885 | * | * | * | F | T |
| 351886 | * | * | * | F | T |
| 351887 | * | * | * | F | T |
| 351888 | * | * | * | F | T |
| 351889 | * | * | * | F | T |
| 351890 | * | * | * | F | T |
| 351891 | * | * | * | F | T |
| 351892 | * | * | * | F | T |
| 351893 | * | * | * | F | T |
| 351894 | * | * | * | F | T |
| 351895 | * | * | * | F | T |
| 351896 | * | * | * | F | T |
| 351897 | * | * | * | F | T |
| 351898 | * | * | * | F | T |
| 351899 | * | * | * | F | T |
| 351900 | * | * | * | F | T |
| 351901 | * | * | * | F | T |
| 351902 | * | * | * | F | T |
| 351903 | * | * | * | F | T |
| 351904 | * | * | * | F | T |
| 351905 | * | * | * | F | T |
| 351906 | * | * | * | F | T |
| 351907 | * | * | * | F | T |
| 351908 | * | * | * | F | T |
| 351909 | * | * | * | F | T |
| 351910 | * | * | * | F | T |
| 351911 | * | * | * | F | T |
| 351912 | * | * | * | F | T |
| 351913 | * | * | * | F | T |
| 351914 | * | * | * | F | T |
| 351915 | * | * | * | F | T |
| 351916 | * | * | * | F | T |
| 351917 | * | * | * | F | T |
| 351918 | * | * | * | F | T |
| 351919 | * | * | * | F | T |
| 351920 | * | * | * | F | T |
| 351921 | * | * | * | F | T |
| 351922 | * | * | * | F | T |
| 351923 | * | * | * | F | T |
| 351924 | * | * | * | F | T |
| 351925 | * | * | * | F | T |
| 351926 | * | * | * | F | T |
| 351927 | * | * | * | F | T |
| 351928 | * | * | * | F | T |
| 351929 | * | * | * | F | T |
| 351930 | * | * | * | F | T |
| 351931 | * | * | * | F | T |
| 351932 | * | * | * | F | T |
| 351933 | * | * | * | F | T |
| 351934 | * | * | * | F | T |
| 351935 | * | * | * | F | T |
| 351936 | * | * | * | F | T |
| 351937 | * | * | * | F | T |
| 351938 | * | * | * | F | T |
| 351939 | * | * | * | F | T |
| 351940 | * | * | * | F | T |
| 351941 | * | * | * | F | T |
| 351942 | * | * | * | F | T |
| 351943 | * | * | * | F | T |
| 351944 | * | * | * | F | T |
| 351945 | * | * | * | F | T |
| 351946 | * | * | * | F | T |
| 351947 | * | * | * | F | T |
| 351948 | * | * | * | F | T |
| 351949 | * | * | * | F | T |
| 351950 | * | * | * | F | T |
| 351951 | * | * | * | F | T |
| 351952 | * | * | * | F | T |
| 351953 | * | * | * | F | T |
| 351954 | * | * | * | F | T |
| 351955 | * | * | * | F | T |
| 351956 | * | * | * | F | T |
| 351957 | * | * | * | F | T |
| 351958 | * | * | * | F | T |
| 351959 | * | * | * | F | T |
| 351960 | * | * | * | F | T |
| 351961 | * | * | * | F | T |
| 351962 | * | * | * | F | T |
| 351963 | * | * | * | F | T |
| 351964 | * | * | * | F | T |
| 351965 | * | * | * | F | T |
| 351966 | * | * | * | F | T |
| 351967 | * | * | * | F | T |
| 351968 | * | * | * | F | T |
| 351969 | * | * | * | F | T |
| 378477 | * | * | * | F | T |
| 378478 | * | * | * | F | T |
| 381212 | * | * | * | F | T |
| 381213 | * | * | * | F | T |
| 384073 | * | * | * | F | T |
| 384074 | * | * | * | F | T |
Independent-effect pairs
All 4 conditions live in dlmalloc — 4 br_if
c0(branch9500): GAP view gap →c1(branch9501): GAP view gap →c2(branch9502): GAP view gap →c3(branch9503): GAP view gap →