{
  "schemaVersion": 1,
  "kind": "exact-constructed-set-enumeration",
  "phase1": [
    [
      0,
      1,
      2
    ],
    [
      3,
      4,
      5
    ]
  ],
  "phase2": [
    [
      0,
      3
    ],
    [
      1,
      4
    ],
    [
      2,
      5
    ]
  ],
  "placementCount": 15,
  "domainLossCaseCount": 45,
  "freshRoundCaseCount": 18,
  "phase2CaseCount": 45,
  "groups": [
    {
      "freshRoundLossCount": 0,
      "placementCount": 6,
      "phase2LossCount": 3,
      "domainLossCount": 3
    },
    {
      "freshRoundLossCount": 2,
      "placementCount": 9,
      "phase2LossCount": 3,
      "domainLossCount": 3
    }
  ],
  "placements": [
    {
      "domains": [
        [
          0,
          1
        ],
        [
          2,
          3
        ],
        [
          4,
          5
        ]
      ],
      "losses": [
        {
          "failed": [
            0,
            1
          ],
          "reachable": [
            2,
            3,
            4,
            5
          ],
          "phase1Witnesses": [
            [
              3,
              4,
              5
            ]
          ],
          "phase2Witnesses": [
            [
              2,
              5
            ]
          ],
          "phase1Quorum": true,
          "phase2Quorum": true,
          "freshRoundQuorums": true,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            2,
            3
          ],
          "reachable": [
            0,
            1,
            4,
            5
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              1,
              4
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            4,
            5
          ],
          "reachable": [
            0,
            1,
            2,
            3
          ],
          "phase1Witnesses": [
            [
              0,
              1,
              2
            ]
          ],
          "phase2Witnesses": [
            [
              0,
              3
            ]
          ],
          "phase1Quorum": true,
          "phase2Quorum": true,
          "freshRoundQuorums": true,
          "allSubset43FreshRoundQuorums": true
        }
      ],
      "freshRoundLossCount": 2,
      "phase2LossCount": 3
    },
    {
      "domains": [
        [
          0,
          1
        ],
        [
          2,
          4
        ],
        [
          3,
          5
        ]
      ],
      "losses": [
        {
          "failed": [
            0,
            1
          ],
          "reachable": [
            2,
            3,
            4,
            5
          ],
          "phase1Witnesses": [
            [
              3,
              4,
              5
            ]
          ],
          "phase2Witnesses": [
            [
              2,
              5
            ]
          ],
          "phase1Quorum": true,
          "phase2Quorum": true,
          "freshRoundQuorums": true,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            2,
            4
          ],
          "reachable": [
            0,
            1,
            3,
            5
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              0,
              3
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            3,
            5
          ],
          "reachable": [
            0,
            1,
            2,
            4
          ],
          "phase1Witnesses": [
            [
              0,
              1,
              2
            ]
          ],
          "phase2Witnesses": [
            [
              1,
              4
            ]
          ],
          "phase1Quorum": true,
          "phase2Quorum": true,
          "freshRoundQuorums": true,
          "allSubset43FreshRoundQuorums": true
        }
      ],
      "freshRoundLossCount": 2,
      "phase2LossCount": 3
    },
    {
      "domains": [
        [
          0,
          1
        ],
        [
          2,
          5
        ],
        [
          3,
          4
        ]
      ],
      "losses": [
        {
          "failed": [
            0,
            1
          ],
          "reachable": [
            2,
            3,
            4,
            5
          ],
          "phase1Witnesses": [
            [
              3,
              4,
              5
            ]
          ],
          "phase2Witnesses": [
            [
              2,
              5
            ]
          ],
          "phase1Quorum": true,
          "phase2Quorum": true,
          "freshRoundQuorums": true,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            2,
            5
          ],
          "reachable": [
            0,
            1,
            3,
            4
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              0,
              3
            ],
            [
              1,
              4
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            3,
            4
          ],
          "reachable": [
            0,
            1,
            2,
            5
          ],
          "phase1Witnesses": [
            [
              0,
              1,
              2
            ]
          ],
          "phase2Witnesses": [
            [
              2,
              5
            ]
          ],
          "phase1Quorum": true,
          "phase2Quorum": true,
          "freshRoundQuorums": true,
          "allSubset43FreshRoundQuorums": true
        }
      ],
      "freshRoundLossCount": 2,
      "phase2LossCount": 3
    },
    {
      "domains": [
        [
          0,
          2
        ],
        [
          1,
          3
        ],
        [
          4,
          5
        ]
      ],
      "losses": [
        {
          "failed": [
            0,
            2
          ],
          "reachable": [
            1,
            3,
            4,
            5
          ],
          "phase1Witnesses": [
            [
              3,
              4,
              5
            ]
          ],
          "phase2Witnesses": [
            [
              1,
              4
            ]
          ],
          "phase1Quorum": true,
          "phase2Quorum": true,
          "freshRoundQuorums": true,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            1,
            3
          ],
          "reachable": [
            0,
            2,
            4,
            5
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              2,
              5
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            4,
            5
          ],
          "reachable": [
            0,
            1,
            2,
            3
          ],
          "phase1Witnesses": [
            [
              0,
              1,
              2
            ]
          ],
          "phase2Witnesses": [
            [
              0,
              3
            ]
          ],
          "phase1Quorum": true,
          "phase2Quorum": true,
          "freshRoundQuorums": true,
          "allSubset43FreshRoundQuorums": true
        }
      ],
      "freshRoundLossCount": 2,
      "phase2LossCount": 3
    },
    {
      "domains": [
        [
          0,
          2
        ],
        [
          1,
          4
        ],
        [
          3,
          5
        ]
      ],
      "losses": [
        {
          "failed": [
            0,
            2
          ],
          "reachable": [
            1,
            3,
            4,
            5
          ],
          "phase1Witnesses": [
            [
              3,
              4,
              5
            ]
          ],
          "phase2Witnesses": [
            [
              1,
              4
            ]
          ],
          "phase1Quorum": true,
          "phase2Quorum": true,
          "freshRoundQuorums": true,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            1,
            4
          ],
          "reachable": [
            0,
            2,
            3,
            5
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              0,
              3
            ],
            [
              2,
              5
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            3,
            5
          ],
          "reachable": [
            0,
            1,
            2,
            4
          ],
          "phase1Witnesses": [
            [
              0,
              1,
              2
            ]
          ],
          "phase2Witnesses": [
            [
              1,
              4
            ]
          ],
          "phase1Quorum": true,
          "phase2Quorum": true,
          "freshRoundQuorums": true,
          "allSubset43FreshRoundQuorums": true
        }
      ],
      "freshRoundLossCount": 2,
      "phase2LossCount": 3
    },
    {
      "domains": [
        [
          0,
          2
        ],
        [
          1,
          5
        ],
        [
          3,
          4
        ]
      ],
      "losses": [
        {
          "failed": [
            0,
            2
          ],
          "reachable": [
            1,
            3,
            4,
            5
          ],
          "phase1Witnesses": [
            [
              3,
              4,
              5
            ]
          ],
          "phase2Witnesses": [
            [
              1,
              4
            ]
          ],
          "phase1Quorum": true,
          "phase2Quorum": true,
          "freshRoundQuorums": true,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            1,
            5
          ],
          "reachable": [
            0,
            2,
            3,
            4
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              0,
              3
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            3,
            4
          ],
          "reachable": [
            0,
            1,
            2,
            5
          ],
          "phase1Witnesses": [
            [
              0,
              1,
              2
            ]
          ],
          "phase2Witnesses": [
            [
              2,
              5
            ]
          ],
          "phase1Quorum": true,
          "phase2Quorum": true,
          "freshRoundQuorums": true,
          "allSubset43FreshRoundQuorums": true
        }
      ],
      "freshRoundLossCount": 2,
      "phase2LossCount": 3
    },
    {
      "domains": [
        [
          0,
          3
        ],
        [
          1,
          2
        ],
        [
          4,
          5
        ]
      ],
      "losses": [
        {
          "failed": [
            0,
            3
          ],
          "reachable": [
            1,
            2,
            4,
            5
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              1,
              4
            ],
            [
              2,
              5
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            1,
            2
          ],
          "reachable": [
            0,
            3,
            4,
            5
          ],
          "phase1Witnesses": [
            [
              3,
              4,
              5
            ]
          ],
          "phase2Witnesses": [
            [
              0,
              3
            ]
          ],
          "phase1Quorum": true,
          "phase2Quorum": true,
          "freshRoundQuorums": true,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            4,
            5
          ],
          "reachable": [
            0,
            1,
            2,
            3
          ],
          "phase1Witnesses": [
            [
              0,
              1,
              2
            ]
          ],
          "phase2Witnesses": [
            [
              0,
              3
            ]
          ],
          "phase1Quorum": true,
          "phase2Quorum": true,
          "freshRoundQuorums": true,
          "allSubset43FreshRoundQuorums": true
        }
      ],
      "freshRoundLossCount": 2,
      "phase2LossCount": 3
    },
    {
      "domains": [
        [
          0,
          3
        ],
        [
          1,
          4
        ],
        [
          2,
          5
        ]
      ],
      "losses": [
        {
          "failed": [
            0,
            3
          ],
          "reachable": [
            1,
            2,
            4,
            5
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              1,
              4
            ],
            [
              2,
              5
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            1,
            4
          ],
          "reachable": [
            0,
            2,
            3,
            5
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              0,
              3
            ],
            [
              2,
              5
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            2,
            5
          ],
          "reachable": [
            0,
            1,
            3,
            4
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              0,
              3
            ],
            [
              1,
              4
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        }
      ],
      "freshRoundLossCount": 0,
      "phase2LossCount": 3
    },
    {
      "domains": [
        [
          0,
          3
        ],
        [
          1,
          5
        ],
        [
          2,
          4
        ]
      ],
      "losses": [
        {
          "failed": [
            0,
            3
          ],
          "reachable": [
            1,
            2,
            4,
            5
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              1,
              4
            ],
            [
              2,
              5
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            1,
            5
          ],
          "reachable": [
            0,
            2,
            3,
            4
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              0,
              3
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            2,
            4
          ],
          "reachable": [
            0,
            1,
            3,
            5
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              0,
              3
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        }
      ],
      "freshRoundLossCount": 0,
      "phase2LossCount": 3
    },
    {
      "domains": [
        [
          0,
          4
        ],
        [
          1,
          2
        ],
        [
          3,
          5
        ]
      ],
      "losses": [
        {
          "failed": [
            0,
            4
          ],
          "reachable": [
            1,
            2,
            3,
            5
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              2,
              5
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            1,
            2
          ],
          "reachable": [
            0,
            3,
            4,
            5
          ],
          "phase1Witnesses": [
            [
              3,
              4,
              5
            ]
          ],
          "phase2Witnesses": [
            [
              0,
              3
            ]
          ],
          "phase1Quorum": true,
          "phase2Quorum": true,
          "freshRoundQuorums": true,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            3,
            5
          ],
          "reachable": [
            0,
            1,
            2,
            4
          ],
          "phase1Witnesses": [
            [
              0,
              1,
              2
            ]
          ],
          "phase2Witnesses": [
            [
              1,
              4
            ]
          ],
          "phase1Quorum": true,
          "phase2Quorum": true,
          "freshRoundQuorums": true,
          "allSubset43FreshRoundQuorums": true
        }
      ],
      "freshRoundLossCount": 2,
      "phase2LossCount": 3
    },
    {
      "domains": [
        [
          0,
          4
        ],
        [
          1,
          3
        ],
        [
          2,
          5
        ]
      ],
      "losses": [
        {
          "failed": [
            0,
            4
          ],
          "reachable": [
            1,
            2,
            3,
            5
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              2,
              5
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            1,
            3
          ],
          "reachable": [
            0,
            2,
            4,
            5
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              2,
              5
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            2,
            5
          ],
          "reachable": [
            0,
            1,
            3,
            4
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              0,
              3
            ],
            [
              1,
              4
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        }
      ],
      "freshRoundLossCount": 0,
      "phase2LossCount": 3
    },
    {
      "domains": [
        [
          0,
          4
        ],
        [
          1,
          5
        ],
        [
          2,
          3
        ]
      ],
      "losses": [
        {
          "failed": [
            0,
            4
          ],
          "reachable": [
            1,
            2,
            3,
            5
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              2,
              5
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            1,
            5
          ],
          "reachable": [
            0,
            2,
            3,
            4
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              0,
              3
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            2,
            3
          ],
          "reachable": [
            0,
            1,
            4,
            5
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              1,
              4
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        }
      ],
      "freshRoundLossCount": 0,
      "phase2LossCount": 3
    },
    {
      "domains": [
        [
          0,
          5
        ],
        [
          1,
          2
        ],
        [
          3,
          4
        ]
      ],
      "losses": [
        {
          "failed": [
            0,
            5
          ],
          "reachable": [
            1,
            2,
            3,
            4
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              1,
              4
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            1,
            2
          ],
          "reachable": [
            0,
            3,
            4,
            5
          ],
          "phase1Witnesses": [
            [
              3,
              4,
              5
            ]
          ],
          "phase2Witnesses": [
            [
              0,
              3
            ]
          ],
          "phase1Quorum": true,
          "phase2Quorum": true,
          "freshRoundQuorums": true,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            3,
            4
          ],
          "reachable": [
            0,
            1,
            2,
            5
          ],
          "phase1Witnesses": [
            [
              0,
              1,
              2
            ]
          ],
          "phase2Witnesses": [
            [
              2,
              5
            ]
          ],
          "phase1Quorum": true,
          "phase2Quorum": true,
          "freshRoundQuorums": true,
          "allSubset43FreshRoundQuorums": true
        }
      ],
      "freshRoundLossCount": 2,
      "phase2LossCount": 3
    },
    {
      "domains": [
        [
          0,
          5
        ],
        [
          1,
          3
        ],
        [
          2,
          4
        ]
      ],
      "losses": [
        {
          "failed": [
            0,
            5
          ],
          "reachable": [
            1,
            2,
            3,
            4
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              1,
              4
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            1,
            3
          ],
          "reachable": [
            0,
            2,
            4,
            5
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              2,
              5
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            2,
            4
          ],
          "reachable": [
            0,
            1,
            3,
            5
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              0,
              3
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        }
      ],
      "freshRoundLossCount": 0,
      "phase2LossCount": 3
    },
    {
      "domains": [
        [
          0,
          5
        ],
        [
          1,
          4
        ],
        [
          2,
          3
        ]
      ],
      "losses": [
        {
          "failed": [
            0,
            5
          ],
          "reachable": [
            1,
            2,
            3,
            4
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              1,
              4
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            1,
            4
          ],
          "reachable": [
            0,
            2,
            3,
            5
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              0,
              3
            ],
            [
              2,
              5
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        },
        {
          "failed": [
            2,
            3
          ],
          "reachable": [
            0,
            1,
            4,
            5
          ],
          "phase1Witnesses": [],
          "phase2Witnesses": [
            [
              1,
              4
            ]
          ],
          "phase1Quorum": false,
          "phase2Quorum": true,
          "freshRoundQuorums": false,
          "allSubset43FreshRoundQuorums": true
        }
      ],
      "freshRoundLossCount": 0,
      "phase2LossCount": 3
    }
  ],
  "limitations": [
    "Counts enumerate constructed placements and single-domain losses, not probabilities.",
    "Phase-2 quorum existence requires a surviving prepared, unpreempted leader for its conditional use.",
    "Fresh-round quorum existence is necessary, not sufficient, for protocol progress.",
    "No messages, timing, network partitions, overlapping domains, repair or membership changes are simulated.",
    "The all-subset 4/3 baseline has different quorum sizes and is not a performance comparison."
  ]
}