Optimization Assurance · Local review
Generated facility planning review
Review complete
Units: distance units · Generated 09 October 2026, 01:29 UTC
Submitted cost24
Best checked cost17
Certified lower bound17
Best plan proven optimal?Yes, for this model
Review findings
- Input model and metric checks passed. Costs and bounds below apply to the frozen, declared model.
Quality evidence: Every k-site combination checked. Absolute certified gap: 0. Enumeration inspected 6 of 6 possible k-site sets.
Best checked plan reduces the submitted cost by 7 distance units.
Submitted plan
Selected sites: A, F
| Client ID | Assigned site ID |
|---|
| A | A |
| B | A |
| C | A |
| D | F |
| E | F |
| F | F |
Best checked plan
Selected sites: A, D
| Client ID | Assigned site ID |
|---|
| A | A |
| B | A |
| C | A |
| D | D |
| E | D |
| F | D |
Conventional solver
Not run. Solver status and numerical bounds are reports; the certified bounds above come from independent checks.
Input provenance
Generated line coordinates for a software control; no customer or geographic data.
This provenance description is supplied, not independently verified.
- distances.csv — 288 bytes; SHA-256
996d17bd6dc4c0b6f336d8f38399bf3cabe00e4f8152a4e5caeb81dd8d4a810a - locations.csv — 275 bytes; SHA-256
bb634e50770c8e7bc741130d28583ca796dc5b3f16f67c10d7409a663f313c8f - plan.csv — 24 bytes; SHA-256
4e1fb8966f38b9511eb85ece1f6bfd1724187340516329e2d3afa247cb4a9f3a - study.json — 479 bytes; SHA-256
b0e974038969ae40c32b8904827a13d270f496b4a75c1c6522e8ad8af6d5b656
Scope, limits and machine-readable evidence
Exact frozen input review only. Distance provenance is supplied, not verified. No source approximation algorithm, customer benefit or physical planning validity is established.
Counts cover enumeration subsets and distance lookups only; metric parsing, O(n^3) triangle checks, primal/dual audits, Fraction bit arithmetic, allocations and runtime are not charged. Input dimensions/rationals have separate caps.
Download review JSON · Download file manifest