coldstart harbor-house seed 2 @ 500000: 42 fails (12h/30s)

Cold-start re-baseline after the DESIGN.md 38.10/38.11 objective
change. Single worker (avoids homemaker-py-b8g), scored by the
shipped scorer from the programme directory.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01MJ84Feep79Hhm3E4zZJmnB
This commit is contained in:
Bruno Postle 2026-09-02 17:53:41 +01:00
parent b885bd3dbd
commit 51782047f3
6 changed files with 761 additions and 0 deletions

View file

@ -0,0 +1,448 @@
node:
- - 0.0
- 0.0
- - 25.0
- 2.0
- - 23.0
- 31.0
- - 0.0
- 31.0
perimeter:
a: private
b: private
c: null
d: null
rotation: 2
division:
- 0.6874610386484389
- 0.6874610386484389
height: 3.0
elevation: 0.0
wall_inner: 0.08
wall_outer: 0.25
l:
rotation: 0
division:
- 0.2280937436613768
- 0.2280937436613768
l:
rotation: 1
division:
- 0.5501610871830294
- 0.5501610871830294
l:
rotation: 2
division:
- 0.7625210938246068
- 0.7625210938246068
l:
rotation: 0
division:
- 0.25813360801099805
- 0.25813360801099805
l:
type: m
rotation: 0
r:
rotation: 2
division:
- 0.33221176332557584
- 0.33221176332557584
l:
type: m
rotation: 0
r:
type: O
rotation: 0
r:
type: C
rotation: 0
r:
rotation: 0
division:
- 0.5641147148833822
- 0.5641147148833822
l:
rotation: 0
division:
- 0.33578355513625796
- 0.33578355513625796
l:
type: C
rotation: 0
r:
type: la1
rotation: 0
r:
type: C
rotation: 0
r:
rotation: 0
division:
- 0.43366532078476366
- 0.43366532078476366
l:
rotation: 1
division:
- 0.8498837031667675
- 0.8498837031667675
l:
rotation: 2
division:
- 0.8892175882819691
- 0.8892175882819691
l:
type: cr1
rotation: 0
r:
type: m
rotation: 0
r:
type: st1
rotation: 0
r:
rotation: 1
division:
- 0.8677868254305496
- 0.8677868254305496
l:
rotation: 0
division:
- 0.14311549418230354
- 0.14311549418230354
l:
rotation: 1
division:
- 0.5291738964225459
- 0.5291738964225459
l:
type: of
rotation: 0
r:
rotation: 0
division:
- 0.6233177548828126
- 0.6233177548828126
l:
type: t
rotation: 0
r:
type: C
rotation: 0
r:
rotation: 2
division:
- 0.36160216255540684
- 0.36160216255540684
l:
type: n
rotation: 0
r:
rotation: 0
division:
- 0.549017917538392
- 0.549017917538392
l:
type: n
rotation: 0
r:
type: n
rotation: 0
r:
rotation: 3
division:
- 0.6289158565782637
- 0.6289158565782637
l:
type: ef1
rotation: 0
r:
rotation: 1
division:
- 0.46123163039245607
- 0.46123163039245607
l:
type: t
rotation: 0
r:
type: t
rotation: 0
r:
rotation: 1
division:
- 0.6350095670424352
- 0.6350095670424352
l:
rotation: 0
division:
- 0.26561003030770847
- 0.26561003030770847
l:
rotation: 1
division:
- 0.7129605090656834
- 0.7129605090656834
l:
type: me1
rotation: 0
r:
type: C
rotation: 0
r:
rotation: 0
division:
- 0.501911014155332
- 0.501911014155332
l:
rotation: 1
division:
- 0.6104391151107456
- 0.6104391151107456
l:
type: k1
rotation: 0
r:
type: C
rotation: 0
r:
type: da1
rotation: 2
r:
rotation: 1
division:
- 0.6395508396772783
- 0.6395508396772783
l:
rotation: 3
division:
- 0.7139724896730562
- 0.7139724896730562
l:
type: ws1
rotation: 0
r:
type: of
rotation: 0
r:
rotation: 1
division:
- 0.5283960567238627
- 0.5283960567238627
l:
type: C
rotation: 0
r:
type: O
rotation: 1
above:
rotation: 0
division:
- 0.5149361343277968
- 0.5149361343277968
height: 3.0
l:
rotation: 0
division:
- 0.3507062178961106
- 0.3507062178961106
l:
rotation: 0
division:
- 0.6809415061597456
- 0.6809415061597456
l:
rotation: 0
division:
- 0.7891502854072869
- 0.7891502854072869
l:
rotation: 1
division:
- 0.3
- 0.3
l:
type: r
rotation: 0
r:
rotation: 3
division:
- 0.3
- 0.3
l:
type: r
rotation: 0
r:
type: O
rotation: 0
r:
rotation: 0
division:
- 0.33578355513625796
- 0.33578355513625796
l:
type: n
rotation: 0
r:
rotation: 1
division:
- 0.5036753327043868
- 0.5036753327043868
l:
type: t
rotation: 0
r:
type: t
rotation: 0
r:
rotation: 0
division:
- 0.25
- 0.25
l:
rotation: 0
division:
- 0.3
- 0.3
l:
type: r
rotation: 0
r:
type: O
rotation: 0
r:
rotation: 0
division:
- 0.43979131341425537
- 0.43979131341425537
l:
type: r
rotation: 0
r:
type: r
rotation: 0
r:
rotation: 0
division:
- 0.5804993563162023
- 0.5804993563162023
l:
rotation: 0
division:
- 0.5
- 0.5
l:
type: C
rotation: 0
r:
type: O
rotation: 0
r:
rotation: 0
division:
- 0.6918932843804633
- 0.6918932843804633
l:
rotation: 1
division:
- 0.5
- 0.5
l:
type: C
rotation: 0
r:
type: O
rotation: 0
r:
rotation: 0
division:
- 0.3333333333333333
- 0.3333333333333333
l:
type: st2
rotation: 0
r:
rotation: 0
division:
- 0.5162672160219968
- 0.5162672160219968
l:
type: t
rotation: 0
r:
type: r
rotation: 0
r:
rotation: 0
division:
- 0.3129107734502527
- 0.3129107734502527
l:
rotation: 0
division:
- 0.36063785448514774
- 0.36063785448514774
l:
rotation: 0
division:
- 0.47368421052631576
- 0.47368421052631576
l:
type: li1
rotation: 0
r:
type: r
rotation: 0
r:
rotation: 1
division:
- 0.5442279297292193
- 0.5442279297292193
l:
type: C
rotation: 0
r:
type: n
rotation: 0
r:
rotation: 0
division:
- 0.1901725227372534
- 0.1901725227372534
l:
rotation: 0
division:
- 0.6818181818181818
- 0.6818181818181818
l:
rotation: 0
division:
- 0.3571923800852189
- 0.3571923800852189
l:
type: r
rotation: 0
r:
rotation: 0
division:
- 0.5227205562222715
- 0.5227205562222715
l:
type: r
rotation: 0
r:
type: r
rotation: 0
r:
type: ut1
rotation: 0
r:
rotation: 0
division:
- 0.6404479340353234
- 0.6404479340353234
l:
type: C
rotation: 0
r:
type: O
rotation: 0

View file

@ -149,3 +149,159 @@ output : /home/bruno/src/homemaker-layout/examples/harbor-house/coldstart-
[ 86120 evals] best 1.59101e-16 (fails 47) via level_retype 0/lllll<->1/lllrl
[ 88120 evals] best 5.88473e-16 (fails 45) via place_missing r -> llrl
[ 88760 evals] best 5.88501e-16 (fails 45) via core_undivide noop
[201000 evals] best 5.92096e-16 (fails 45) via crossover ll<->ll
[224600 evals] best 3.02462e-14 (fails 42) via divide 1/lrrl
[225720 evals] best 3.02767e-14 (fails 42) via retype 1/lllll->ef1
[226120 evals] best 3.03182e-14 (fails 42) via crossover llrlr<->lrlr
[228040 evals] best 3.03693e-14 (fails 42) via crossover rllr<->rllr
[229800 evals] best 3.03824e-14 (fails 42) via crossover rlll<->rrlr
[229880 evals] best 3.04106e-14 (fails 42) via core_undivide noop
[229960 evals] best 3.04107e-14 (fails 42) via level_retype 0/rlrlr<->1/rrrl
--- collapse (homemaker-py-94g): finish-time cell→room relabel ---
[finish] collapse: 104 → 42 fails (applied)
--- done ---
elapsed : 158579.2s
evals : 750040 across 9374 topologies
best : 3.04107e-14 (42 fails) via level_retype 0/rlrlr<->1/rrrl+collapse
improvement history:
[ 80] 1.05967e-31 (share:construct/0)
[ 240] 2.81838e-21 (share:construct/2)
[ 1840] 1.08828e-20 (share:swap 0/rrl)
[ 2000] 2.18589e-20 (share:swap 0/lrll)
[ 7680] 2.22979e-20 (share:core_undivide noop)
[ 8320] 2.27491e-20 (share:level_fix noop)
[ 8560] 5.4761e-20 (share:swap 0/rrr)
[ 9440] 5.58534e-20 (share:core_undivide noop)
[ 10720] 2.15034e-19 (share:crossover rlr<->rrl)
[ 14400] 4.08743e-19 (share:core_divide noop)
[ 15120] 4.18415e-19 (share:core_divide noop)
[ 15680] 4.27242e-19 (share:core_undivide noop)
[ 15760] 4.34498e-19 (share:crossover rlrr<->rlrlr)
[ 15920] 3.34447e-19 (share:core_divide noop)
[ 17920] 3.46301e-19 (share:core_divide noop)
[ 19840] 6.00603e-18 (share:crossover rlr<->lrlll)
[ 21840] 6.12702e-18 (share:crossover rlr<->lrlll)
[ 22640] 6.20329e-18 (share:core_divide noop)
[ 23200] 6.28822e-18 (share:core_divide noop)
[ 23440] 6.36832e-18 (share:level_fix noop)
[ 24640] 6.36835e-18 (share:level_retype 1/llll<->0/llll)
[ 28400] 6.82917e-18 (share:swap 0/lrll)
[ 28560] 1.141e-17 (share:divide 0/rrrr)
[ 28880] 1.15021e-17 (share:level_fix noop)
[ 29680] 1.15671e-17 (share:core_divide noop)
[ 31520] 1.15684e-17 (share:core_divide noop)
[ 31680] 1.16014e-17 (share:crossover lrllr<->rrlr)
[ 76800] 4.93845e-17 (share:rotate 0/l)
[ 77920] 4.97739e-17 (share:core_divide noop)
[ 83440] 5.24758e-17 (share:level_fix noop)
[ 84000] 1.02117e-16 (share:crossover rllr<->lllr)
[ 85520] 1.02502e-16 (share:core_divide noop)
[ 87120] 1.0251e-16 (share:level_retype 0/rllr<->1/lrrl)
[112240] 1.03579e-16 (share:core_divide noop)
[121760] 1.82946e-16 (share:retype 0/lrllr->n)
[122000] 1.99829e-16 (share:crossover rrl<->lrrr)
[122080] 2.00702e-16 (share:core_undivide noop)
[135680] 2.05943e-16 (share:crossover rrrr<->rrrr)
[149280] 2.09028e-16 (share:rotate 0/lrrr)
[150560] 2.35877e-16 (share:crossover ll<->ll)
[151040] 2.37613e-16 (share:core_undivide noop)
[179840] 2.62645e-16 (share:core_divide noop)
[180960] 5.11898e-16 (share:core_divide noop)
[184560] 5.13843e-16 (share:core_undivide noop)
[209360] 5.87161e-16 (share:undivide 0/rrrr)
[267440] 8.76692e-16 (share:swap 0/rll)
[271440] 8.90317e-16 (share:retype 0/rllr->da1)
[272960] 9.43705e-16 (share:rotate 0/rll)
[276960] 9.45522e-16 (share:level_retype 1/rlll<->0/rrlr)
[293600] 9.80215e-16 (share:rotate 0/lrrr)
[295200] 1.0343e-15 (share:undivide 0/rrrr)
[301200] 1.04687e-15 (share:core_divide noop)
[301760] 1.05658e-15 (share:core_divide noop)
[303280] 1.06329e-15 (share:level_retype 0/rlr<->1/llrl)
[305680] 1.06818e-15 (share:core_divide noop)
[306960] 1.06932e-15 (share:core_undivide noop)
[323680] 2.35481e-15 (share:undivide 0/rrrr)
[328400] 2.36836e-15 (share:crossover llrr<->llrr)
[329120] 2.37505e-15 (share:crossover lr<->lr)
[388800] 1.08522e-14 (share:retype 1/rrrl->m)
[388880] 1.09216e-14 (share:crossover rrr<->rrr)
[390560] 1.09586e-14 (share:core_undivide noop)
[390960] 1.13532e-14 (share:core_undivide noop)
[459600] 1.701e-14 (share:rotate 0/root)
[461360] 3.34076e-14 (share:swap 0/rrl)
[461440] 3.38208e-14 (share:swap 0/rrl)
[461760] 3.42308e-14 (share:core_divide noop)
[464320] 3.61774e-14 (share:rotate 0/lll)
[466000] 3.66295e-14 (share:core_undivide noop)
[467760] 3.67664e-14 (share:retype 1/rlrl->ws1)
[472960] 3.67665e-14 (share:core_undivide noop)
[476080] 8.02802e-14 (share:rotate 0/rrl)
[500200] 2.82118e-25 (polish:seed)
[500440] 2.30511e-24 (polish:crossover llrlr<->rrlr)
[500760] 4.49435e-24 (polish:rotate 1/lllrr)
[502840] 8.78417e-24 (polish:place_missing r -> llll)
[503000] 8.82774e-24 (polish:crossover lrrlrrl<->lrrlrrr)
[503640] 2.42458e-23 (polish:level_compound_fix m: lvl1 → lvl0/lrlll + insert k1 into llll/lvl0)
[504760] 2.05512e-23 (polish:place_missing t -> llll)
[505400] 2.11658e-23 (polish:core_divide noop)
[507160] 9.18288e-22 (polish:level_compound_fix m: lvl1 → lvl0/rlr + insert da1 into rlll/lvl0)
[509000] 9.42501e-22 (polish:core_undivide noop)
[509080] 9.49387e-22 (polish:retype 0/lrrrlrr->da1)
[513480] 1.95716e-21 (polish:crossover lrrrlrl<->lrrrlrr)
[514200] 1.76259e-20 (polish:place_missing st1 -> llllr)
[514600] 1.77822e-20 (polish:core_undivide noop)
[518280] 1.79011e-20 (polish:swap 1/rrllr)
[519320] 2.31009e-19 (polish:crossover lrrrl<->lrrll)
[520600] 2.4801e-19 (polish:retype 0/rlrr->n)
[523720] 2.53529e-19 (polish:crossover rrlr<->lrllr)
[525800] 4.9601e-19 (polish:rotate 1/llrrr)
[526360] 5.07047e-19 (polish:core_undivide noop)
[526760] 5.16496e-19 (polish:core_undivide noop)
[527480] 5.23696e-19 (polish:crossover rlrll<->lrllr)
[528200] 5.28718e-19 (polish:retype 1/rrlll->da1)
[528920] 5.30665e-19 (polish:core_undivide noop)
[529480] 5.31916e-19 (polish:core_undivide noop)
[531000] 5.35085e-19 (polish:retype 0/lrlll->cr1)
[531560] 2.09427e-18 (polish:rotate 0/lrrlr)
[531880] 2.11436e-18 (polish:crossover rrlr<->lrlr)
[532520] 2.12214e-18 (polish:swap 0/lrrrl)
[534120] 2.12721e-18 (polish:crossover llllrl<->lrrrll)
[536680] 2.13989e-18 (polish:core_undivide noop)
[536840] 2.15581e-18 (polish:core_undivide noop)
[537560] 2.17211e-18 (polish:core_undivide noop)
[543640] 2.27557e-18 (polish:divide 0/lrrllr)
[544200] 2.28734e-18 (polish:crossover lrrrl<->lrllr)
[544440] 4.58147e-18 (polish:level_retype 0/llllrl<->1/lrrrl)
[545720] 4.60723e-18 (polish:retype 0/rrlr->st2)
[546200] 4.6297e-18 (polish:core_undivide noop)
[547160] 4.64905e-18 (polish:retype 1/lllll->ws1)
[547560] 9.3872e-18 (polish:undivide 0/llrlr)
[548760] 9.43276e-18 (polish:level_retype 1/lrrrl<->0/lllll)
[551720] 9.47208e-18 (polish:crossover llrlr<->rrlr)
[552920] 9.50298e-18 (polish:core_undivide noop)
[553560] 9.50553e-18 (polish:core_undivide noop)
[554680] 9.61653e-18 (polish:core_undivide noop)
[555880] 1.92326e-17 (polish:level_retype 0/lrrlrrl<->1/rlll)
[558120] 1.92729e-17 (polish:level_retype 1/lllrrl<->0/lrlr)
[559160] 1.92773e-17 (polish:core_undivide noop)
[562920] 1.92791e-17 (polish:crossover rlrll<->lrrrl)
[564200] 1.92792e-17 (polish:level_retype 1/rrrl<->0/llrll)
[564440] 1.92793e-17 (polish:level_retype 0/lrrlrl<->1/lrrrl)
[565800] 3.8015e-17 (polish:rotate 0/llr)
[581640] 1.50706e-16 (polish:rotate 0/lrrr)
[582280] 1.5782e-16 (polish:rotate 0/llr)
[586120] 1.59101e-16 (polish:level_retype 0/lllll<->1/lllrl)
[588120] 5.88473e-16 (polish:place_missing r -> llrl)
[588760] 5.88501e-16 (polish:core_undivide noop)
[701000] 5.92096e-16 (polish:crossover ll<->ll)
[724600] 3.02462e-14 (polish:divide 1/lrrl)
[725720] 3.02767e-14 (polish:retype 1/lllll->ef1)
[726120] 3.03182e-14 (polish:crossover llrlr<->lrlr)
[728040] 3.03693e-14 (polish:crossover rllr<->rllr)
[729800] 3.03824e-14 (polish:crossover rlll<->rrlr)
[729880] 3.04106e-14 (polish:core_undivide noop)
[729960] 3.04107e-14 (polish:level_retype 0/rlrlr<->1/rrrl)
written : /home/bruno/src/homemaker-layout/examples/harbor-house/coldstart-500000-s2.dom

View file

@ -125,3 +125,59 @@ output : /home/bruno/src/homemaker-layout/examples/health-centre/coldstart
[278160 evals] best 9.94913e-05 (fails 8) via crossover rrrlr<->rrrlr
[290880 evals] best 0.000119142 (fails 8) via place_missing ao1 -> rlllr
[294240 evals] best 0.000120131 (fails 8) via level_compound_fix noop
[296240 evals] best 0.000136504 (fails 8) via level_retype noop
[296400 evals] best 0.000144238 (fails 8) via core_divide noop
[297600 evals] best 0.000148308 (fails 8) via core_divide noop
[298160 evals] best 0.000153088 (fails 8) via retype 0/rrlrl->wa1
[298400 evals] best 0.00015708 (fails 8) via level_fix noop
[298960 evals] best 0.00016023 (fails 8) via level_retype noop
[299120 evals] best 0.000164088 (fails 8) via core_divide noop
[300480 evals] best 0.000161836 (fails 7) via crossover rlrll<->rllrl
[301200 evals] best 0.000165874 (fails 7) via level_compound_fix noop
[304320 evals] best 0.000175611 (fails 7) via retype 0/lllrr->qr1
[306080 evals] best 0.000179641 (fails 7) via core_divide noop
[310880 evals] best 0.000183423 (fails 7) via level_retype noop
[311600 evals] best 0.00020186 (fails 7) via core_undivide noop
[314080 evals] best 0.000206088 (fails 7) via core_undivide noop
[314320 evals] best 0.00020928 (fails 7) via level_fix noop
[315920 evals] best 0.000212285 (fails 7) via core_undivide noop
[316080 evals] best 0.000215156 (fails 7) via core_undivide noop
[316880 evals] best 0.000217485 (fails 7) via crossover rlrll<->lrrlr
[320000 evals] best 0.00021922 (fails 7) via core_divide noop
[321760 evals] best 0.000221004 (fails 7) via crossover rrrll<->llrll
[322480 evals] best 0.000221908 (fails 7) via level_retype noop
[334560 evals] best 0.000222939 (fails 7) via core_divide noop
[336560 evals] best 0.000224675 (fails 7) via level_compound_fix noop
[336720 evals] best 0.000226466 (fails 7) via core_undivide noop
[353600 evals] best 0.000226721 (fails 7) via level_fix noop
[358240 evals] best 0.000228547 (fails 7) via level_fix noop
[358320 evals] best 0.000229603 (fails 7) via level_compound_fix noop
[362480 evals] best 0.000230019 (fails 7) via core_undivide noop
[363920 evals] best 0.000231184 (fails 7) via core_undivide noop
[387040 evals] best 0.000246099 (fails 7) via rotate 0/rrrr
[387120 evals] best 0.000262652 (fails 7) via core_undivide noop
[387200 evals] best 0.000280293 (fails 7) via core_divide noop
[388160 evals] best 0.000298055 (fails 7) via level_compound_fix noop
[389040 evals] best 0.000319938 (fails 7) via core_divide noop
[396640 evals] best 0.000321628 (fails 7) via level_fix noop
[398320 evals] best 0.000323351 (fails 7) via core_divide noop
[406160 evals] best 0.000364098 (fails 7) via undivide 0/rlrl
[406880 evals] best 0.000371359 (fails 7) via undivide 0/rlrl
[407040 evals] best 0.000386031 (fails 7) via level_fix noop
[409520 evals] best 0.000390844 (fails 7) via level_fix noop
[410160 evals] best 0.000533031 (fails 6) via crossover rlrl<->lrllr
[410800 evals] best 0.000594646 (fails 6) via core_divide noop
[411840 evals] best 0.000606993 (fails 6) via level_fix noop
[412480 evals] best 0.000624444 (fails 6) via level_fix noop
[412720 evals] best 0.000639509 (fails 6) via retype 0/rlrrr->ph1
[413680 evals] best 0.000646054 (fails 6) via core_undivide noop
[421040 evals] best 0.000662382 (fails 6) via retype 0/rlllrl->gp1
[421120 evals] best 0.000679955 (fails 6) via level_fix noop
[423120 evals] best 0.000692401 (fails 6) via core_divide noop
[424400 evals] best 0.000694282 (fails 6) via core_undivide noop
[425360 evals] best 0.000710894 (fails 6) via level_compound_fix noop
[426160 evals] best 0.00075164 (fails 6) via core_divide noop
[427760 evals] best 0.00076103 (fails 6) via level_retype noop
[429600 evals] best 0.000769686 (fails 6) via level_fix noop
[430320 evals] best 0.00078154 (fails 6) via core_divide noop
[431440 evals] best 0.00078639 (fails 6) via level_compound_fix noop

View file

@ -138,3 +138,14 @@ output : /home/bruno/src/homemaker-layout/examples/maple-court/coldstart-5
[381760 evals] best 5.99551e-16 (fails 48) via crossover rllr<->rllr
[390160 evals] best 6.19047e-16 (fails 48) via crossover rlrl<->rlrr
[403440 evals] best 6.54129e-16 (fails 48) via swap 2/rrlr
[408960 evals] best 6.55008e-16 (fails 48) via retype 0/rlrll->n
[413440 evals] best 6.55469e-16 (fails 48) via crossover rrllll<->rrllr
[413680 evals] best 6.55739e-16 (fails 48) via core_undivide noop
[445280 evals] best 6.56519e-16 (fails 48) via core_undivide noop
[446960 evals] best 6.57378e-16 (fails 48) via retype 2/llrl->k1
[447840 evals] best 6.57828e-16 (fails 48) via retype 0/rlrll->ut1
[451040 evals] best 6.58047e-16 (fails 48) via core_undivide noop
[471120 evals] best 6.81318e-16 (fails 48) via rotate 0/rlrl
[471840 evals] best 6.81796e-16 (fails 48) via crossover rrlrl<->rrlrl
[472960 evals] best 6.83308e-16 (fails 48) via swap 0/rlllr
[488880 evals] best 2.62087e-15 (fails 46) via retype 2/rlllrr->C

View file

@ -0,0 +1,89 @@
seed : /home/bruno/src/homemaker-layout/examples/programme-house/init.dom
programme : programme-house
budget : 500000
pop : 16
child_budget : 80
workers : 1
rng seed : 2
leaf sharing : True (factor=3)
superpose : False
multi_use : False
conn grade : False
use tiers : False
bridge circulation : False
ruin recreate : False
collapse in-search : True
shapecurve warmstart : False
shapecurve prune : False
output : /home/bruno/src/homemaker-layout/examples/programme-house/coldstart-500000-s2.dom
[ 80 evals] best 8.34088e-08 (fails 14) via construct/0
[ 160 evals] best 3.25056e-07 (fails 13) via construct/1
[ 480 evals] best 4.05065e-07 (fails 8) via construct/5
[ 2320 evals] best 4.76094e-07 (fails 8) via core_divide noop
[ 2640 evals] best 4.87216e-07 (fails 8) via core_divide noop
[ 4800 evals] best 5.01285e-07 (fails 8) via swap 0/lr
[ 5040 evals] best 1.05925e-06 (fails 7) via swap 0/ll
[ 5200 evals] best 1.15811e-06 (fails 7) via place_missing noop
[ 6080 evals] best 1.15978e-06 (fails 7) via place_missing noop
[ 6480 evals] best 1.15987e-06 (fails 7) via place_missing noop
[ 6720 evals] best 4.22518e-06 (fails 4) via level_retype 2/rl<->0/lll
[ 7200 evals] best 7.78334e-06 (fails 4) via retype 0/rrr->t2
[ 7360 evals] best 4.89625e-05 (fails 4) via level_retype 0/rl<->1/rr
[ 8400 evals] best 3.13343e-05 (fails 3) via crossover llr<->lll
[ 9120 evals] best 5.70453e-05 (fails 3) via core_undivide noop
[ 11040 evals] best 7.50021e-05 (fails 3) via level_fix noop
[ 11360 evals] best 2.80185e-05 (fails 2) via level_retype 0/llr<->2/lrl
[ 11600 evals] best 3.37736e-05 (fails 2) via retype 1/lr->l1
[ 12480 evals] best 0.000635808 (fails 2) via undivide 2/lr
[ 13760 evals] best 0.0007325 (fails 2) via level_compound_fix noop
[ 14800 evals] best 0.000782161 (fails 2) via crossover rrr<->rrr
[ 15280 evals] best 0.000823097 (fails 2) via level_retype 2/rr<->0/rrl
[ 15760 evals] best 0.000825665 (fails 2) via core_undivide noop
[ 16480 evals] best 0.000826726 (fails 2) via level_fix noop
[ 16800 evals] best 0.00082769 (fails 2) via crossover rl<->rl
[ 16960 evals] best 0.000846272 (fails 2) via swap 0/ll
[ 17040 evals] best 0.000862002 (fails 2) via crossover llr<->llr
[ 19680 evals] best 0.000879214 (fails 2) via level_fix noop
[ 21600 evals] best 0.00127147 (fails 1) via retype 2/rl->O
[ 27280 evals] best 0.00127374 (fails 1) via crossover rrr<->rrr
[ 29200 evals] best 0.00127915 (fails 1) via level_fix noop
[ 38320 evals] best 0.00131908 (fails 1) via undivide 0/lr
[ 39200 evals] best 0.00131972 (fails 1) via level_fix noop
[ 49280 evals] best 0.00133897 (fails 1) via swap 0/ll
[ 68720 evals] best 0.00136878 (fails 1) via rotate 0/rr
[ 68880 evals] best 0.00144686 (fails 1) via undivide 0/lr
[ 71840 evals] best 0.00151517 (fails 1) via level_fix noop
[ 72000 evals] best 0.00153784 (fails 1) via crossover rl<->rl
[ 72960 evals] best 0.00154496 (fails 1) via level_fix noop
[ 80400 evals] best 0.00158092 (fails 1) via divide 2/rr
[ 81040 evals] best 0.00162435 (fails 1) via level_retype 0/llr<->2/lll
[ 84960 evals] best 0.00162755 (fails 1) via core_undivide noop
[ 85440 evals] best 0.00165285 (fails 1) via level_fix noop
[ 94640 evals] best 0.00165285 (fails 1) via undivide 0/lr
[ 95920 evals] best 0.00166211 (fails 1) via swap 2/rr
[103200 evals] best 0.00178978 (fails 1) via level_retype 1/rl<->0/rrl
[103440 evals] best 0.00182512 (fails 1) via level_retype 0/rrr<->1/lr
[103600 evals] best 0.00183656 (fails 1) via crossover rrr<->rrr
[111120 evals] best 0.00184342 (fails 1) via level_fix noop
[119680 evals] best 0.00200171 (fails 1) via rotate 0/ll
[120320 evals] best 0.00201261 (fails 1) via core_undivide noop
[121040 evals] best 0.00201391 (fails 1) via retype 0/rl->t1
[122640 evals] best 0.00203552 (fails 1) via rotate 0/ll
[122880 evals] best 0.00204467 (fails 1) via level_fix noop
[152160 evals] best 0.00216646 (fails 1) via level_fix noop
[154880 evals] best 0.00221636 (fails 1) via level_fix noop
[174080 evals] best 0.00222694 (fails 1) via level_compound_fix noop
[182480 evals] best 0.00222773 (fails 1) via retype 0/rlr->b2
[184160 evals] best 0.00225027 (fails 1) via crossover l<->l
[185120 evals] best 0.00225822 (fails 1) via level_fix noop
[206640 evals] best 0.00225918 (fails 1) via crossover llr<->lll
[208240 evals] best 0.00226116 (fails 1) via crossover r<->r
[211760 evals] best 0.00226381 (fails 1) via level_retype 2/lll<->1/lll
[224560 evals] best 0.00226381 (fails 1) via crossover l<->l
[281520 evals] best 0.00226563 (fails 1) via divide 2/rr
[346400 evals] best 0.00226631 (fails 1) via divide 1/rr
[480000 evals] best 0.00226655 (fails 1) via divide 2/lr
--- finishing (homemaker-py-3l6): unfold + polish 250000 evals ---
[finish] unfold: materialised 0 shared-leaf copies
[ 200 evals] best 0.00226757 (fails 1) via seed

View file

@ -7,3 +7,4 @@ programme-house 1 500000 1 1 0 0.0053408 17970.5 coldstart-500000-s1.dom
maple-court 0 500000 54 18 36 5.52881e-18 224214.4 coldstart-500000-s0.dom
health-centre 1 500000 9 5 4 0.000101292 124903.7 coldstart-500000-s1.dom
maple-court 1 500000 73 17 56 4.61196e-25 207119.5 coldstart-500000-s1.dom
harbor-house 2 500000 42 12 30 3.04107e-14 158582.9 coldstart-500000-s2.dom

1 programme seed budget fails hard soft score elapsed_s dom
7 maple-court 0 500000 54 18 36 5.52881e-18 224214.4 coldstart-500000-s0.dom
8 health-centre 1 500000 9 5 4 0.000101292 124903.7 coldstart-500000-s1.dom
9 maple-court 1 500000 73 17 56 4.61196e-25 207119.5 coldstart-500000-s1.dom
10 harbor-house 2 500000 42 12 30 3.04107e-14 158582.9 coldstart-500000-s2.dom