Seventy-two lots, seven methods, one checker.
Every method gets the same seeded middle-housing briefs, the same 17 benchmark constraints and the same six proxy objectives, under a matched compute budget. What they find is compared as a trade-off surface, never as a single score.
The brief with the most methods finding a feasible design (seven). Inspect this plan · see the whole brief.
Pre-registered hypotheses
- H0Optimisation beats random search SupportedNSGA-II adds 0.061 hypervolume over random search and simulated annealing 0.040, paired over briefs.
- H1Constraint programming is the most feasible Not supportedCP-SAT solves 45% of runs; Heuristic-seeded NSGA-II solves 57%. CP-SAT timed out on 97 of 216 runs.
- H2Evolutionary search finds broader fronts SupportedNSGA-II beats simulated annealing on hypervolume (+0.022) and spread (+0.017).
- H3LLM proposals: better adjacency, worse geometry Not runNot run: no LLM credentials were configured for this release.
- H4Repair recovers LLM feasibility at a cost Not runNot run: no LLM credentials were configured for this release.
- H5No method dominates SupportedThe best method differs across the six objectives and runtime (4 different winners).
No method leads everywhere
Solve rate by typology: the share of runs that found at least one design meeting every constraint. The method that is best on duplexes is not the method that is best on courtyards.
| method | adu pair | courtyard | duplex | fourplex | rowhouse | triplex |
|---|---|---|---|---|---|---|
| Heuristic | 0.33 | 0.67 | 1.00 | 0.50 | 0.42 | 0.25 |
| NSGA-II | 0.78 | 0.19 | 0.97 | 0.03 | 0.69 | 0.53 |
| Random sketch + repair | 0.69 | 0.17 | 0.89 | 0.06 | 0.50 | 0.36 |
| CP-SAT | 0.92 | 0.00 | 1.00 | 0.17 | 0.06 | 0.58 |
| Heuristic-seeded NSGA-II | 0.69 | 0.75 | 0.89 | 0.22 | 0.33 | 0.56 |
| Simulated annealing | 0.72 | 0.11 | 1.00 | 0.00 | 0.28 | 0.42 |
| Random search | 0.33 | 0.00 | 0.72 | 0.00 | 0.00 | 0.00 |
Read the benchmark
- Briefs72 seeded lots across six typologies and three difficulty bands
- Pareto explorerevery feasible design, any two objectives, nondominated sets ringed
- Algorithmsmatched-compute comparison with confidence intervals and convergence
- Repairhow far deterministic repair has to move a proposal to make it feasible
- Failureswhich of the 17 constraints stop designs, and how often
- Carbon proxywhat the embodied-carbon number counts, and what it does not
- Daylight proxya geometric availability score, not a simulation
- Generation labrun the deterministic planner in your browser (demo, not results)
- Methodsrepresentation, constraints, objectives, protocol, amendments