{
  "schema_version": "1.0",
  "retrocast_version": "1.0.0.dev0",
  "created_at": "2025-12-03T03:00:00.205893Z",
  "action": "scripts/synplanner/2-run-synp-eval.py",
  "parameters": {},
  "source_files": [
    {
      "path": "1-benchmarks/definitions/ref-cnv-400.json.gz",
      "file_hash": "0da9027211ee22e527a07f7a7d57700daf4ec9072139ec8aa2947ee243d05556",
      "content_hash": null
    },
    {
      "path": "1-benchmarks/stocks/n5-stock.csv.gz",
      "file_hash": "1207cb1fa08f33c0170093b36ff29d0a399cb3e22afe7a0feda929bdb9bb73c9",
      "content_hash": null
    }
  ],
  "output_files": [
    {
      "path": "2-raw/synplanner-eval/ref-cnv-400/results.json.gz",
      "file_hash": "07fbd089a1d02e7f928b08917f229031592555ef6dffa480842362fd5273f480",
      "content_hash": null
    }
  ],
  "statistics": {
    "solved_count": 0,
    "total_targets": 400
  }
}