{"cases": [{"cube_count": 2, "leaf_proofs": 2, "median_replay_us": 40094, "median_wall_us": 219360, "resolution_steps": 1, "rounds": 5, "samples": [{"attempts": 2, "leaf_proofs": 2, "proof_records": 3, "replay_us": 40094, "resolution_steps": 1, "wall_us": 217875}, {"attempts": 2, "leaf_proofs": 2, "proof_records": 3, "replay_us": 41547, "resolution_steps": 1, "wall_us": 225467}, {"attempts": 2, "leaf_proofs": 2, "proof_records": 3, "replay_us": 39683, "resolution_steps": 1, "wall_us": 222971}, {"attempts": 2, "leaf_proofs": 2, "proof_records": 3, "replay_us": 39801, "resolution_steps": 1, "wall_us": 213984}, {"attempts": 2, "leaf_proofs": 2, "proof_records": 3, "replay_us": 42204, "resolution_steps": 1, "wall_us": 219360}]}, {"cube_count": 4, "leaf_proofs": 4, "median_replay_us": 70130, "median_wall_us": 377501, "resolution_steps": 3, "rounds": 5, "samples": [{"attempts": 4, "leaf_proofs": 4, "proof_records": 5, "replay_us": 70453, "resolution_steps": 3, "wall_us": 382835}, {"attempts": 4, "leaf_proofs": 4, "proof_records": 5, "replay_us": 73433, "resolution_steps": 3, "wall_us": 377501}, {"attempts": 4, "leaf_proofs": 4, "proof_records": 5, "replay_us": 68996, "resolution_steps": 3, "wall_us": 361912}, {"attempts": 4, "leaf_proofs": 4, "proof_records": 5, "replay_us": 69560, "resolution_steps": 3, "wall_us": 379647}, {"attempts": 4, "leaf_proofs": 4, "proof_records": 5, "replay_us": 70130, "resolution_steps": 3, "wall_us": 371993}]}, {"cube_count": 8, "leaf_proofs": 8, "median_replay_us": 129544, "median_wall_us": 699040, "resolution_steps": 7, "rounds": 5, "samples": [{"attempts": 8, "leaf_proofs": 8, "proof_records": 9, "replay_us": 129977, "resolution_steps": 7, "wall_us": 696065}, {"attempts": 8, "leaf_proofs": 8, "proof_records": 9, "replay_us": 129359, "resolution_steps": 7, "wall_us": 675647}, {"attempts": 8, "leaf_proofs": 8, "proof_records": 9, "replay_us": 129201, "resolution_steps": 7, "wall_us": 699040}, {"attempts": 8, "leaf_proofs": 8, "proof_records": 9, "replay_us": 129544, "resolution_steps": 7, "wall_us": 729363}, {"attempts": 8, "leaf_proofs": 8, "proof_records": 9, "replay_us": 130166, "resolution_steps": 7, "wall_us": 807209}]}, {"cube_count": 16, "leaf_proofs": 16, "median_replay_us": 247864, "median_wall_us": 1326808, "resolution_steps": 15, "rounds": 5, "samples": [{"attempts": 16, "leaf_proofs": 16, "proof_records": 17, "replay_us": 252457, "resolution_steps": 15, "wall_us": 1350627}, {"attempts": 16, "leaf_proofs": 16, "proof_records": 17, "replay_us": 247864, "resolution_steps": 15, "wall_us": 1326808}, {"attempts": 16, "leaf_proofs": 16, "proof_records": 17, "replay_us": 247444, "resolution_steps": 15, "wall_us": 1275042}, {"attempts": 16, "leaf_proofs": 16, "proof_records": 17, "replay_us": 251284, "resolution_steps": 15, "wall_us": 1346180}, {"attempts": 16, "leaf_proofs": 16, "proof_records": 17, "replay_us": 247746, "resolution_steps": 15, "wall_us": 1320256}]}, {"cube_count": 32, "leaf_proofs": 32, "median_replay_us": 491150, "median_wall_us": 2662578, "resolution_steps": 31, "rounds": 5, "samples": [{"attempts": 32, "leaf_proofs": 32, "proof_records": 33, "replay_us": 489570, "resolution_steps": 31, "wall_us": 2787478}, {"attempts": 32, "leaf_proofs": 32, "proof_records": 33, "replay_us": 501435, "resolution_steps": 31, "wall_us": 2744135}, {"attempts": 32, "leaf_proofs": 32, "proof_records": 33, "replay_us": 490594, "resolution_steps": 31, "wall_us": 2662578}, {"attempts": 32, "leaf_proofs": 32, "proof_records": 33, "replay_us": 491150, "resolution_steps": 31, "wall_us": 2631700}, {"attempts": 32, "leaf_proofs": 32, "proof_records": 33, "replay_us": 496213, "resolution_steps": 31, "wall_us": 2618234}]}, {"cube_count": 64, "leaf_proofs": 64, "median_replay_us": 956365, "median_wall_us": 5394938, "resolution_steps": 63, "rounds": 5, "samples": [{"attempts": 64, "leaf_proofs": 64, "proof_records": 65, "replay_us": 984746, "resolution_steps": 63, "wall_us": 5394938}, {"attempts": 64, "leaf_proofs": 64, "proof_records": 65, "replay_us": 945795, "resolution_steps": 63, "wall_us": 5496592}, {"attempts": 64, "leaf_proofs": 64, "proof_records": 65, "replay_us": 956365, "resolution_steps": 63, "wall_us": 5253596}, {"attempts": 64, "leaf_proofs": 64, "proof_records": 65, "replay_us": 952631, "resolution_steps": 63, "wall_us": 5631266}, {"attempts": 64, "leaf_proofs": 64, "proof_records": 65, "replay_us": 982069, "resolution_steps": 63, "wall_us": 5204376}]}], "claim": "mechanism evidence only; wall times are not application speedup or coverage measurements", "rounds": 5, "sat_first_winner": {"assignments": {"0": 0}, "cancelled_cubes": 63, "completed_cubes": 1, "winner": "444695f38911be36b404f8814a25bb9091a61bb1055f19a2fac839ee0a8437e1"}, "schema": "symcc-f449-partition-execution-oracle-v1", "status": "pass"}