{"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}}}}