repro_output/env_info.json

{
  "python_version": "3.12.13 (main, Jul 14 2026, 04:46:18) [GCC 14.2.0]",
  "networkx_version": "3.6.1",
  "z3_available": true,
  "timestamp": "2026-07-21 03:39:28 UTC",
  "args": {
    "output_dir": "/mount/repro_output",
    "num_graphs": 500,
    "num_nodes": 32,
    "claim": 0,
    "use_z3": false
  }
}