{
  "suite": "unit-propagation-v1",
  "status": "complete",
  "updated_at": "2026-10-14T16:49:01.323181+00:00",
  "python": "3.9.6",
  "engine_sha256": "cd00d5e70a57fd67f1d679ab75ac1087a6ed947dd0449b628f7ff85e3e9a21b1",
  "corpus_sha256": "5afa8a13c2505c5ccac80a023ec0bfd8a0aed02206e613dfeb7518eefcbbaed6",
  "metrics": {
    "formulas": 18069,
    "sat_sat": 6511,
    "soundness_errors": 0,
    "stalled_sat": 9824,
    "stalled_unsat": 10,
    "unsat_unsat": 1724,
    "variables_1": 4,
    "variables_2": 163,
    "variables_3": 17902,
    "witness_errors": 0
  },
  "examples": {
    "stalled_sat": {
      "variables": 2,
      "clauses": [
        [
          -1,
          -2
        ]
      ],
      "sat": true,
      "witness": [
        false,
        false
      ],
      "assignments_checked": 1
    },
    "stalled_unsat": {
      "variables": 2,
      "clauses": [
        [
          -1,
          -2
        ],
        [
          -1,
          2
        ],
        [
          1,
          -2
        ],
        [
          1,
          2
        ]
      ],
      "sat": false,
      "witness": null,
      "assignments_checked": 4
    }
  },
  "seconds": 0.211510375,
  "regression_passed": true
}