results/strings/run.json

{
  "config": {
    "kind": "strings",
    "length": 4,
    "budget": 2,
    "temperature": 0.7,
    "steps": 1200,
    "seeds": [
      0
    ],
    "methods": [
      "uniform",
      "reference_tilt",
      "tb_uniform",
      "dooable",
      "exact"
    ],
    "output": "results/strings"
  },
  "python": "3.12.14",
  "torch": "2.14.0+cpu",
  "numpy": "2.3.5",
  "platform": "Linux-6.18.35-x86_64-with-glibc2.39"
}