{
  "contexts": [
    "9da36117c2b0bafbc55836a484e34d8d609e7dc7fa1ea1363b4de4eb5d3b1a03"
  ],
  "input_records": 2,
  "limited_domain_count": 2,
  "max_distinct_values": 2,
  "min_observations": 2,
  "online_admission": {
    "min_solver_queries": 2,
    "min_validated_ratio_ppm": 125000,
    "schema": "symcc-empirical-domain-admission-v1",
    "suppressed": [
      {
        "attempts": 2,
        "bits": 32,
        "context_sha256": "9da36117c2b0bafbc55836a484e34d8d609e7dc7fa1ea1363b4de4eb5d3b1a03",
        "domain_values": [
          1,
          2
        ],
        "prefilter_rejects": 0,
        "reason": "low-validated-query-ratio-v1",
        "sat": 0,
        "site": 3562788607769723438,
        "solver_queries": 2,
        "solver_unsat": 2,
        "unknown": 0,
        "validated": 0,
        "validation_failures": 0
      }
    ]
  },
  "policy": "empirical-sat-accept-unsat-full-formula-fallback-v1",
  "profile_count": 2,
  "profile_sha256": "612bf0ad50d1e853d9bfca0adcbb864708bcd2271e7b7c5d92a613ad2d5a00f8",
  "profiles": [
    {
      "bits": 32,
      "context_sha256": "9da36117c2b0bafbc55836a484e34d8d609e7dc7fa1ea1363b4de4eb5d3b1a03",
      "distinct_values": 2,
      "entropy_bits": 1.0,
      "limited_domain": true,
      "observations": 2,
      "runs": 2,
      "saturated": false,
      "site": 3562788607769723438,
      "values": [
        {
          "count": 1,
          "value": 1
        },
        {
          "count": 1,
          "value": 2
        }
      ]
    },
    {
      "bits": 32,
      "context_sha256": "9da36117c2b0bafbc55836a484e34d8d609e7dc7fa1ea1363b4de4eb5d3b1a03",
      "distinct_values": 2,
      "entropy_bits": 1.0,
      "limited_domain": true,
      "observations": 2,
      "runs": 2,
      "saturated": false,
      "site": 14781603083283379018,
      "values": [
        {
          "count": 1,
          "value": 0
        },
        {
          "count": 1,
          "value": 1
        }
      ]
    }
  ],
  "runtime_domain_count": 1,
  "schema": "symcc-empirical-value-profile-v2"
}