{
  "source_manifest": "benchmark.draft.json",
  "source_manifest_sha256": "0eefd3c45e8f071a5d1a8a5165e7abb1e39a50747a631b5c8a3f20ca7e464d89",
  "status": "draft",
  "evidence_ready": false,
  "files": {
    "data.json": "42d7c5644303ab920c82bc4e5e22b11dd79c99835c3926ac83694362d5e31dda",
    "baseline.json": "0eefd3c45e8f071a5d1a8a5165e7abb1e39a50747a631b5c8a3f20ca7e464d89",
    "boards.xsb": "56e9be64efd986d21aadc2d0ee86a07835bf366d61efc6ffb39a761f10891f44",
    "evidence/lower/xsokoban-50-abstraction.json": "3d7d59d4de0641c2531782d5bc97bc60a32f3a501592c587898fa47ccaaf5c7a",
    "evidence/lower/xsokoban-69-abstraction.json": "66c5a31f278c183e8a430b4ef4969d0b11e81f3012fa5b8e3b18d979e01d818c",
    "evidence/lower/xsokoban-66-abstraction.json": "1d4324888e8dc2940618d8911d885c8013b945ffbd17ef8763f112f9667f58e5",
    "evidence/lower/xsokoban-52-abstraction.json": "d3720d818a613c0d82bc54a49e77d5ac3e8fa2ca47ab5b497752a9434799199f",
    "evidence/lower/xsokoban-37-abstraction.json": "c589d40d2393bafc28547955333d3d6f023e9a3baa726dffb6b6712b1a059ef6",
    "evidence/lower/xsokoban-74-abstraction.json": "cf3e2b91ea7f26f89495425d58b9efb056643c2ea77c22c1360efbeef887df21",
    "evidence/lower/xsokoban-13-abstraction.json": "1f8b5830f83a0416b1805f344e599969f343e3feb4b972d684651a64aab0541e",
    "evidence/lower/xsokoban-15-abstraction.json": "7ffd43ae210bd440fde8954fbf3678aee8e9917d5049f6dd6652a33da03b0d81",
    "evidence/lower/xsokoban-22-abstraction.json": "f1d1986b447acaf34aa1460a07c6d8a757b730d0c3c6e618c2d2a44d328d7a06",
    "evidence/lower/xsokoban-31-abstraction.json": "41c7399e7c1a74001c24c32c8cb858ff63068761b011cbc01a4d4c34854f5a01",
    "lower-certificates.json": "7aa618c928261bf2d310726c4464855e73089634e9fb997619846776c5187219"
  }
}