{
  "status": "passed",
  "checks": [
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 1, 3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 1, 3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 2, 3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 2, 3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (1, 3, 3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (1, 3, 3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 1, 3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 1, 3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 2, 3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 2, 3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (2, 3, 3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (2, 3, 3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 1, 3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 1, 3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 2, 3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 2, 3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all targets/both methods vs binary-choice count oracle (3, 3, 3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all positive witnesses and negative states (3, 3, 3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "sixty-four repeated items retain binomial index multiplicity",
      "passed": true
    },
    {
      "name": "compressed half supports contain thirty-three sums each",
      "passed": true
    },
    {
      "name": "full occurrence method stops unknown at same cap without partial count",
      "passed": true
    },
    {
      "name": "equal values with separate identities give two target subsets",
      "passed": true
    },
    {
      "name": "reusing one duplicate identity is refused",
      "passed": true
    },
    {
      "name": "both distinct equal-value items can form a valid subset",
      "passed": true
    },
    {
      "name": "one ten-valued item is another valid witness",
      "passed": true
    },
    {
      "name": "maximum input magnitude uses exact arithmetic and both identities",
      "passed": true
    },
    {
      "name": "complete infeasible instance returns exact zero",
      "passed": true
    },
    {
      "name": "budget gives no negative/count/witness distinct_sum_MITM{'record_budget': 1}",
      "passed": true
    },
    {
      "name": "budget gives no negative/count/witness distinct_sum_MITM{'work_budget': 1}",
      "passed": true
    },
    {
      "name": "budget gives no negative/count/witness occurrence_MITM{'record_budget': 1}",
      "passed": true
    },
    {
      "name": "budget gives no negative/count/witness occurrence_MITM{'work_budget': 1}",
      "passed": true
    },
    {
      "name": "invalid proposed subset ['unknown']",
      "passed": true
    },
    {
      "name": "invalid proposed subset ['i0', 'i1', 'i2']",
      "passed": true
    },
    {
      "name": "invalid proposed subset [True]",
      "passed": true
    },
    {
      "name": "invalid proposed subset [{}]",
      "passed": true
    },
    {
      "name": "invalid proposed subset 'i2'",
      "passed": true
    },
    {
      "name": "invalid exact positive value 0",
      "passed": true
    },
    {
      "name": "invalid exact positive value -1",
      "passed": true
    },
    {
      "name": "invalid exact positive value True",
      "passed": true
    },
    {
      "name": "invalid exact positive value 1.0",
      "passed": true
    },
    {
      "name": "invalid exact positive value 115792089237316195423570985008",
      "passed": true
    },
    {
      "name": "signed-adjustment model not silently applied",
      "passed": true
    },
    {
      "name": "extra date/cardinality restriction not silently ignored",
      "passed": true
    },
    {
      "name": "duplicate item IDs refused",
      "passed": true
    },
    {
      "name": "invalid exact target -1",
      "passed": true
    },
    {
      "name": "invalid exact target True",
      "passed": true
    },
    {
      "name": "invalid exact target 1.0",
      "passed": true
    },
    {
      "name": "invalid exact target 115792089237316195423570985008",
      "passed": true
    },
    {
      "name": "source/reference item boundary 1",
      "passed": true
    },
    {
      "name": "source/reference item boundary 65",
      "passed": true
    },
    {
      "name": "invalid reference option {'record_budget': 0}",
      "passed": true
    },
    {
      "name": "invalid reference option {'record_budget': 50001}",
      "passed": true
    },
    {
      "name": "invalid reference option {'work_budget': 0}",
      "passed": true
    },
    {
      "name": "invalid reference option {'work_budget': 2000001}",
      "passed": true
    },
    {
      "name": "invalid reference option {'method': 'source_fast'}",
      "passed": true
    },
    {
      "name": "exact majority error vs ternary outcome enumeration r=1",
      "passed": true
    },
    {
      "name": "exact majority error vs ternary outcome enumeration r=3",
      "passed": true
    },
    {
      "name": "exact majority error vs ternary outcome enumeration r=5",
      "passed": true
    },
    {
      "name": "exact majority error vs ternary outcome enumeration r=7",
      "passed": true
    },
    {
      "name": "exact majority error vs ternary outcome enumeration r=9",
      "passed": true
    },
    {
      "name": "adaptive two-sided union error within declared budget n=32",
      "passed": true
    },
    {
      "name": "chosen odd majority count is minimal for exact worst-case binomial bound n=32",
      "passed": true
    },
    {
      "name": "one-sided repeated OR error within declared budget n=32",
      "passed": true
    },
    {
      "name": "separate result/cutoff and amplification assumptions stay explicit n=32",
      "passed": true
    },
    {
      "name": "adaptive two-sided union error within declared budget n=64",
      "passed": true
    },
    {
      "name": "chosen odd majority count is minimal for exact worst-case binomial bound n=64",
      "passed": true
    },
    {
      "name": "one-sided repeated OR error within declared budget n=64",
      "passed": true
    },
    {
      "name": "separate result/cutoff and amplification assumptions stay explicit n=64",
      "passed": true
    },
    {
      "name": "adaptive two-sided union error within declared budget n=100",
      "passed": true
    },
    {
      "name": "chosen odd majority count is minimal for exact worst-case binomial bound n=100",
      "passed": true
    },
    {
      "name": "one-sided repeated OR error within declared budget n=100",
      "passed": true
    },
    {
      "name": "separate result/cutoff and amplification assumptions stay explicit n=100",
      "passed": true
    },
    {
      "name": "adaptive two-sided union error within declared budget n=200",
      "passed": true
    },
    {
      "name": "chosen odd majority count is minimal for exact worst-case binomial bound n=200",
      "passed": true
    },
    {
      "name": "one-sided repeated OR error within declared budget n=200",
      "passed": true
    },
    {
      "name": "separate result/cutoff and amplification assumptions stay explicit n=200",
      "passed": true
    },
    {
      "name": "adaptive two-sided union error within declared budget n=599999",
      "passed": true
    },
    {
      "name": "chosen odd majority count is minimal for exact worst-case binomial bound n=599999",
      "passed": true
    },
    {
      "name": "one-sided repeated OR error within declared budget n=599999",
      "passed": true
    },
    {
      "name": "separate result/cutoff and amplification assumptions stay explicit n=599999",
      "passed": true
    },
    {
      "name": "adaptive two-sided union error within declared budget n=600000",
      "passed": true
    },
    {
      "name": "chosen odd majority count is minimal for exact worst-case binomial bound n=600000",
      "passed": true
    },
    {
      "name": "one-sided repeated OR error within declared budget n=600000",
      "passed": true
    },
    {
      "name": "separate result/cutoff and amplification assumptions stay explicit n=600000",
      "passed": true
    },
    {
      "name": "adaptive two-sided union error within declared budget n=35999999999",
      "passed": true
    },
    {
      "name": "chosen odd majority count is minimal for exact worst-case binomial bound n=35999999999",
      "passed": true
    },
    {
      "name": "one-sided repeated OR error within declared budget n=35999999999",
      "passed": true
    },
    {
      "name": "separate result/cutoff and amplification assumptions stay explicit n=35999999999",
      "passed": true
    },
    {
      "name": "adaptive two-sided union error within declared budget n=36000000000",
      "passed": true
    },
    {
      "name": "chosen odd majority count is minimal for exact worst-case binomial bound n=36000000000",
      "passed": true
    },
    {
      "name": "one-sided repeated OR error within declared budget n=36000000000",
      "passed": true
    },
    {
      "name": "separate result/cutoff and amplification assumptions stay explicit n=36000000000",
      "passed": true
    },
    {
      "name": "adaptive two-sided union error within declared budget n=1000000000000",
      "passed": true
    },
    {
      "name": "chosen odd majority count is minimal for exact worst-case binomial bound n=1000000000000",
      "passed": true
    },
    {
      "name": "one-sided repeated OR error within declared budget n=1000000000000",
      "passed": true
    },
    {
      "name": "separate result/cutoff and amplification assumptions stay explicit n=1000000000000",
      "passed": true
    },
    {
      "name": "64-bit fast known guard starts at six hundred thousand",
      "passed": true
    },
    {
      "name": "64-bit low-space known guard starts at thirty-six billion",
      "passed": true
    },
    {
      "name": "minimum fast guard exact power identity b=1",
      "passed": true
    },
    {
      "name": "minimum fast guard exact power identity b=2",
      "passed": true
    },
    {
      "name": "minimum fast guard exact power identity b=3",
      "passed": true
    },
    {
      "name": "minimum fast guard exact power identity b=7",
      "passed": true
    },
    {
      "name": "minimum fast guard exact power identity b=8",
      "passed": true
    },
    {
      "name": "minimum fast guard exact power identity b=64",
      "passed": true
    },
    {
      "name": "minimum fast guard exact power identity b=4096",
      "passed": true
    },
    {
      "name": "symbolic total cap enclosure equals safe finite direct integer n=2",
      "passed": true
    },
    {
      "name": "symbolic total cap enclosure equals safe finite direct integer n=3",
      "passed": true
    },
    {
      "name": "symbolic total cap enclosure equals safe finite direct integer n=4",
      "passed": true
    },
    {
      "name": "symbolic total cap enclosure equals safe finite direct integer n=5",
      "passed": true
    },
    {
      "name": "symbolic total cap enclosure equals safe finite direct integer n=6",
      "passed": true
    },
    {
      "name": "symbolic total cap enclosure equals safe finite direct integer n=7",
      "passed": true
    },
    {
      "name": "symbolic total cap enclosure equals safe finite direct integer n=8",
      "passed": true
    },
    {
      "name": "symbolic total cap enclosure equals safe finite direct integer n=9",
      "passed": true
    },
    {
      "name": "symbolic total cap enclosure equals safe finite direct integer n=10",
      "passed": true
    },
    {
      "name": "symbolic total cap enclosure equals safe finite direct integer n=11",
      "passed": true
    },
    {
      "name": "symbolic total cap enclosure equals safe finite direct integer n=12",
      "passed": true
    },
    {
      "name": "symbolic total cap enclosure equals safe finite direct integer n=13",
      "passed": true
    },
    {
      "name": "symbolic total cap enclosure equals safe finite direct integer n=14",
      "passed": true
    },
    {
      "name": "symbolic total cap enclosure equals safe finite direct integer n=15",
      "passed": true
    },
    {
      "name": "symbolic total cap enclosure equals safe finite direct integer n=16",
      "passed": true
    },
    {
      "name": "symbolic total cap enclosure equals safe finite direct integer n=17",
      "passed": true
    },
    {
      "name": "invalid error budget '0'",
      "passed": true
    },
    {
      "name": "invalid error budget '1'",
      "passed": true
    },
    {
      "name": "invalid error budget '0.01'",
      "passed": true
    },
    {
      "name": "invalid error budget '2/200'",
      "passed": true
    },
    {
      "name": "invalid error budget '1/10000000000000000000000000000000'",
      "passed": true
    },
    {
      "name": "invalid error budget True",
      "passed": true
    },
    {
      "name": "invalid error budget '1/0'",
      "passed": true
    },
    {
      "name": "invalid schedule parameter (1, 64)",
      "passed": true
    },
    {
      "name": "invalid schedule parameter (1000000000001, 64)",
      "passed": true
    },
    {
      "name": "invalid schedule parameter (32, 0)",
      "passed": true
    },
    {
      "name": "invalid schedule parameter (32, 4097)",
      "passed": true
    },
    {
      "name": "invalid schedule parameter (True, 64)",
      "passed": true
    },
    {
      "name": "invalid schedule parameter (32, 1.0)",
      "passed": true
    }
  ],
  "exhaustive_value_words": 1089,
  "exact_method_target_queries": 28404,
  "independent_oracles": [
    "binary index-choice enumeration/count histogram",
    "binomial equal-value count",
    "ternary independent error-pattern enumeration",
    "safe finite direct-integer guard/cap comparisons"
  ],
  "scope": "Bounded exact selection/reference and conditional error/guard algebra, not source proof, unrestricted backend, accounting-rule or buyer validation."
}