{
  "instance": "phoenix_sicily_adr",
  "qubits": 14,
  "global_optimum": 43.85797324703379,
  "landscape": {
    "feasible_options_enumerated": 3473,
    "global_optimum_score": 43.858,
    "n_within_1pct_of_optimum": 1,
    "median_option_score": 27.3321,
    "p90_option_score": 36.2997
  },
  "backends": {
    "exhaustive_true": {
      "score": 43.858,
      "gap_vs_optimum": 0.0,
      "latency_ms": 28.11,
      "selected": [
        1,
        6,
        9,
        11,
        13
      ],
      "note": "enumerated EVERY feasible placement (3473 options) by the true objective -- global optimum"
    },
    "cpsat_exact": {
      "score": 43.858,
      "gap_vs_optimum": 0.0,
      "latency_ms": 88.34,
      "selected": [
        1,
        6,
        9,
        11,
        13
      ],
      "note": "OR-Tools CP-SAT; provably optimal if proven_optimal=True"
    },
    "greedy": {
      "score": 43.858,
      "gap_vs_optimum": 0.0,
      "latency_ms": 0.31,
      "selected": [
        13,
        6,
        9,
        1,
        11
      ],
      "note": "classical greedy max-coverage; (1-1/e) approx; always-available fallback"
    },
    "exact_qubo_groundstate": {
      "score": 42.1406,
      "gap_vs_optimum": 1.7174,
      "latency_ms": 35.7,
      "selected": [
        13,
        6,
        9,
        4,
        5
      ],
      "note": "dimod ExactSolver ground state of pure-site QUBO surrogate (decoded+repaired, scored on true objective)"
    },
    "qaoa_p1_aer": {
      "score": 43.858,
      "gap_vs_optimum": 0.0,
      "latency_ms": 4264.44,
      "selected": [
        13,
        6,
        9,
        1,
        11
      ],
      "note": "real QAOA depth-1, Qiskit statevector sim, 14 qubits; P(optimum)=0.000; decoded+repaired -> true objective"
    },
    "qaoa_p2_aer": {
      "score": 43.858,
      "gap_vs_optimum": 0.0,
      "latency_ms": 10440.02,
      "selected": [
        13,
        6,
        9,
        1,
        11
      ],
      "note": "real QAOA depth-2, Qiskit statevector sim, 14 qubits; P(optimum)=0.000; decoded+repaired -> true objective"
    },
    "qaoa_p3_aer": {
      "score": 42.9263,
      "gap_vs_optimum": 0.9317,
      "latency_ms": 24201.99,
      "selected": [
        13,
        6,
        9,
        11,
        5
      ],
      "note": "real QAOA depth-3, Qiskit statevector sim, 14 qubits; P(optimum)=0.000; decoded+repaired -> true objective"
    },
    "qaoa_p2_pennylane": {
      "score": 43.858,
      "gap_vs_optimum": 0.0,
      "latency_ms": 59179.28,
      "selected": [
        13,
        6,
        9,
        1,
        11
      ],
      "note": "PennyLane QAOA depth-2, 14 qubits, default.qubit sim"
    }
  },
  "qaoa_diagnostics": {
    "qaoa_p1_aer": {
      "qubits": 14,
      "depth_p": 1,
      "prob_on_surrogate_optimum": 0.0001,
      "raw_top1_true_score": 52.0786,
      "qaoa_plus_repair_true_score": 43.858,
      "expectation_energy": 662.714
    },
    "qaoa_p2_aer": {
      "qubits": 14,
      "depth_p": 2,
      "prob_on_surrogate_optimum": 0.0,
      "raw_top1_true_score": 45.2175,
      "qaoa_plus_repair_true_score": 43.858,
      "expectation_energy": 594.154
    },
    "qaoa_p3_aer": {
      "qubits": 14,
      "depth_p": 3,
      "prob_on_surrogate_optimum": 0.0,
      "raw_top1_true_score": 14.0369,
      "qaoa_plus_repair_true_score": 42.9263,
      "expectation_energy": 640.286
    },
    "qaoa_p2_pennylane": {
      "qubits": 14,
      "depth_p": 2
    }
  },
  "verdict": "Global optimum (exhaustive) = 43.858. Backends reaching it: cpsat_exact, greedy, qaoa_p1_aer, qaoa_p2_aer, qaoa_p2_pennylane. Best QAOA true-score = 43.858 (gap 0.000). QAOA matches the optimum after decode+repair but with no speed or quality edge over CP-SAT/exhaustive at this scale; raw QAOA sampling concentrates only weakly on the optimum \u2014 consistent with the literature: no quantum advantage here.",
  "product_boundary": "PHOENIX-only instance; quantum is benchmark, not dependency"
}