{
  "activity_receipts": 12,
  "cases": [
    {
      "assignments_enumerated": 1,
      "cube_count": 1,
      "depth": 0,
      "exhaustive": true,
      "guided_first_variable": 0,
      "pairwise_disjoint": true,
      "partition_sha256": "d3c81f246406e5c30d9cbfb8d1e044d936904426884c2eac3958a02c9dd458dc",
      "static_first_variable": 0
    },
    {
      "assignments_enumerated": 4,
      "cube_count": 3,
      "depth": 2,
      "exhaustive": true,
      "guided_first_variable": 25,
      "pairwise_disjoint": true,
      "partition_sha256": "01173f74bf34bf635e982b6ca615610b189c8486afeb48100ce4bdb14ef32141",
      "static_first_variable": 2
    },
    {
      "assignments_enumerated": 8,
      "cube_count": 5,
      "depth": 3,
      "exhaustive": true,
      "guided_first_variable": 25,
      "pairwise_disjoint": true,
      "partition_sha256": "8a05667b00b9728094b72fa5aef3b5f675af5b0e253e77face8608753bb0e3fe",
      "static_first_variable": 2
    },
    {
      "assignments_enumerated": 8,
      "cube_count": 8,
      "depth": 3,
      "exhaustive": true,
      "guided_first_variable": 25,
      "pairwise_disjoint": true,
      "partition_sha256": "958f5a3fc0e37f2c19780833877d737a8679dc5658c96fab9db2c36166198eec",
      "static_first_variable": 2
    },
    {
      "assignments_enumerated": 32,
      "cube_count": 32,
      "depth": 5,
      "exhaustive": true,
      "guided_first_variable": 25,
      "pairwise_disjoint": true,
      "partition_sha256": "56bedb5baa906843f99ae89efb863f22197347082557f97a92427735d706747b",
      "static_first_variable": 2
    },
    {
      "assignments_enumerated": 128,
      "cube_count": 128,
      "depth": 7,
      "exhaustive": true,
      "guided_first_variable": 25,
      "pairwise_disjoint": true,
      "partition_sha256": "cd1e26ec700a781d753c8e447db5120cba79b73eef1c47d7eb323e8a97fcd475",
      "static_first_variable": 2
    },
    {
      "assignments_enumerated": 512,
      "cube_count": 512,
      "depth": 9,
      "exhaustive": true,
      "guided_first_variable": 25,
      "pairwise_disjoint": true,
      "partition_sha256": "45e40cbf1edf6b27f296af064bbc3a584f13eaf42e055700141bc045045ca349",
      "static_first_variable": 2
    }
  ],
  "concurrent_publications": {
    "attempts": 32,
    "distinct_identities": 1,
    "new_objects": 1
  },
  "expected_guided_prefix": [
    25,
    24,
    23,
    22,
    21,
    20,
    19,
    18,
    9,
    8,
    7,
    6
  ],
  "formula_sha256": "e6c447288137ced729fbf99ca6b74b55c40ed8da543eedb70679afaa614c3676",
  "lifecycle": {
    "artifacts_before_gc": 19,
    "deleted": 19,
    "dependent_first": true,
    "edges_before_gc": 84
  },
  "malleable_allocation": {
    "allocated_slots": 6,
    "jobs": 3,
    "slots": 6
  },
  "query_id": "f448-oracle",
  "rounds": 10,
  "schema": "symcc-qfbv-proof-prefix-partition-oracle-v1",
  "status": "pass",
  "timing": {
    "128": {
      "build_and_internal_replay": {
        "max_us": 131748.155,
        "median_us": 123066.435,
        "min_us": 108953.628,
        "p95_us": 131748.155,
        "samples": 10
      },
      "independent_replay": {
        "max_us": 64825.434,
        "median_us": 61798.438,
        "min_us": 55027.447,
        "p95_us": 64825.434,
        "samples": 10
      }
    },
    "32": {
      "build_and_internal_replay": {
        "max_us": 122408.259,
        "median_us": 119005.186,
        "min_us": 106533.626,
        "p95_us": 122408.259,
        "samples": 10
      },
      "independent_replay": {
        "max_us": 60749.104,
        "median_us": 59795.07,
        "min_us": 53428.438,
        "p95_us": 60749.104,
        "samples": 10
      }
    },
    "5": {
      "build_and_internal_replay": {
        "max_us": 122610.408,
        "median_us": 118358.195,
        "min_us": 105974.632,
        "p95_us": 122610.408,
        "samples": 10
      },
      "independent_replay": {
        "max_us": 60874.38,
        "median_us": 58651.723,
        "min_us": 52546.463,
        "p95_us": 60874.38,
        "samples": 10
      }
    },
    "512": {
      "build_and_internal_replay": {
        "max_us": 144254.16,
        "median_us": 139880.728,
        "min_us": 125391.014,
        "p95_us": 144254.16,
        "samples": 10
      },
      "independent_replay": {
        "max_us": 69160.725,
        "median_us": 68033.186,
        "min_us": 61435.236,
        "p95_us": 69160.725,
        "samples": 10
      }
    },
    "8": {
      "build_and_internal_replay": {
        "max_us": 127113.553,
        "median_us": 119689.33,
        "min_us": 105746.825,
        "p95_us": 127113.553,
        "samples": 10
      },
      "independent_replay": {
        "max_us": 62978.187,
        "median_us": 59415.171,
        "min_us": 53110.526,
        "p95_us": 62978.187,
        "samples": 10
      }
    }
  }
}