2026-09-02 17:53:41 +01:00
|
|
|
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
|
2026-09-02 18:10:06 +01:00
|
|
|
|
|
|
|
|
--- collapse (homemaker-py-94g): finish-time cell→room relabel ---
|
|
|
|
|
[finish] collapse: 13 → 1 fails (applied)
|
|
|
|
|
|
|
|
|
|
--- done ---
|
|
|
|
|
elapsed : 26218.8s
|
|
|
|
|
evals : 750040 across 9374 topologies
|
|
|
|
|
best : 0.00226757 (1 fails) via seed+collapse
|
|
|
|
|
|
|
|
|
|
improvement history:
|
|
|
|
|
[ 80] 8.34088e-08 (share:construct/0)
|
|
|
|
|
[ 160] 3.25056e-07 (share:construct/1)
|
|
|
|
|
[ 480] 4.05065e-07 (share:construct/5)
|
|
|
|
|
[ 2320] 4.76094e-07 (share:core_divide noop)
|
|
|
|
|
[ 2640] 4.87216e-07 (share:core_divide noop)
|
|
|
|
|
[ 4800] 5.01285e-07 (share:swap 0/lr)
|
|
|
|
|
[ 5040] 1.05925e-06 (share:swap 0/ll)
|
|
|
|
|
[ 5200] 1.15811e-06 (share:place_missing noop)
|
|
|
|
|
[ 6080] 1.15978e-06 (share:place_missing noop)
|
|
|
|
|
[ 6480] 1.15987e-06 (share:place_missing noop)
|
|
|
|
|
[ 6720] 4.22518e-06 (share:level_retype 2/rl<->0/lll)
|
|
|
|
|
[ 7200] 7.78334e-06 (share:retype 0/rrr->t2)
|
|
|
|
|
[ 7360] 4.89625e-05 (share:level_retype 0/rl<->1/rr)
|
|
|
|
|
[ 8400] 3.13343e-05 (share:crossover llr<->lll)
|
|
|
|
|
[ 9120] 5.70453e-05 (share:core_undivide noop)
|
|
|
|
|
[ 11040] 7.50021e-05 (share:level_fix noop)
|
|
|
|
|
[ 11360] 2.80185e-05 (share:level_retype 0/llr<->2/lrl)
|
|
|
|
|
[ 11600] 3.37736e-05 (share:retype 1/lr->l1)
|
|
|
|
|
[ 12480] 0.000635808 (share:undivide 2/lr)
|
|
|
|
|
[ 13760] 0.0007325 (share:level_compound_fix noop)
|
|
|
|
|
[ 14800] 0.000782161 (share:crossover rrr<->rrr)
|
|
|
|
|
[ 15280] 0.000823097 (share:level_retype 2/rr<->0/rrl)
|
|
|
|
|
[ 15760] 0.000825665 (share:core_undivide noop)
|
|
|
|
|
[ 16480] 0.000826726 (share:level_fix noop)
|
|
|
|
|
[ 16800] 0.00082769 (share:crossover rl<->rl)
|
|
|
|
|
[ 16960] 0.000846272 (share:swap 0/ll)
|
|
|
|
|
[ 17040] 0.000862002 (share:crossover llr<->llr)
|
|
|
|
|
[ 19680] 0.000879214 (share:level_fix noop)
|
|
|
|
|
[ 21600] 0.00127147 (share:retype 2/rl->O)
|
|
|
|
|
[ 27280] 0.00127374 (share:crossover rrr<->rrr)
|
|
|
|
|
[ 29200] 0.00127915 (share:level_fix noop)
|
|
|
|
|
[ 38320] 0.00131908 (share:undivide 0/lr)
|
|
|
|
|
[ 39200] 0.00131972 (share:level_fix noop)
|
|
|
|
|
[ 49280] 0.00133897 (share:swap 0/ll)
|
|
|
|
|
[ 68720] 0.00136878 (share:rotate 0/rr)
|
|
|
|
|
[ 68880] 0.00144686 (share:undivide 0/lr)
|
|
|
|
|
[ 71840] 0.00151517 (share:level_fix noop)
|
|
|
|
|
[ 72000] 0.00153784 (share:crossover rl<->rl)
|
|
|
|
|
[ 72960] 0.00154496 (share:level_fix noop)
|
|
|
|
|
[ 80400] 0.00158092 (share:divide 2/rr)
|
|
|
|
|
[ 81040] 0.00162435 (share:level_retype 0/llr<->2/lll)
|
|
|
|
|
[ 84960] 0.00162755 (share:core_undivide noop)
|
|
|
|
|
[ 85440] 0.00165285 (share:level_fix noop)
|
|
|
|
|
[ 94640] 0.00165285 (share:undivide 0/lr)
|
|
|
|
|
[ 95920] 0.00166211 (share:swap 2/rr)
|
|
|
|
|
[103200] 0.00178978 (share:level_retype 1/rl<->0/rrl)
|
|
|
|
|
[103440] 0.00182512 (share:level_retype 0/rrr<->1/lr)
|
|
|
|
|
[103600] 0.00183656 (share:crossover rrr<->rrr)
|
|
|
|
|
[111120] 0.00184342 (share:level_fix noop)
|
|
|
|
|
[119680] 0.00200171 (share:rotate 0/ll)
|
|
|
|
|
[120320] 0.00201261 (share:core_undivide noop)
|
|
|
|
|
[121040] 0.00201391 (share:retype 0/rl->t1)
|
|
|
|
|
[122640] 0.00203552 (share:rotate 0/ll)
|
|
|
|
|
[122880] 0.00204467 (share:level_fix noop)
|
|
|
|
|
[152160] 0.00216646 (share:level_fix noop)
|
|
|
|
|
[154880] 0.00221636 (share:level_fix noop)
|
|
|
|
|
[174080] 0.00222694 (share:level_compound_fix noop)
|
|
|
|
|
[182480] 0.00222773 (share:retype 0/rlr->b2)
|
|
|
|
|
[184160] 0.00225027 (share:crossover l<->l)
|
|
|
|
|
[185120] 0.00225822 (share:level_fix noop)
|
|
|
|
|
[206640] 0.00225918 (share:crossover llr<->lll)
|
|
|
|
|
[208240] 0.00226116 (share:crossover r<->r)
|
|
|
|
|
[211760] 0.00226381 (share:level_retype 2/lll<->1/lll)
|
|
|
|
|
[224560] 0.00226381 (share:crossover l<->l)
|
|
|
|
|
[281520] 0.00226563 (share:divide 2/rr)
|
|
|
|
|
[346400] 0.00226631 (share:divide 1/rr)
|
|
|
|
|
[480000] 0.00226655 (share:divide 2/lr)
|
|
|
|
|
[500200] 0.00226757 (polish:seed)
|
|
|
|
|
written : /home/bruno/src/homemaker-layout/examples/programme-house/coldstart-500000-s2.dom
|
