diff --git a/examples/harbor-house/coldstart-500000-s2.log b/examples/harbor-house/coldstart-500000-s2.log index 952f33e..76e89b8 100644 --- a/examples/harbor-house/coldstart-500000-s2.log +++ b/examples/harbor-house/coldstart-500000-s2.log @@ -89,3 +89,63 @@ output : /home/bruno/src/homemaker-layout/examples/harbor-house/coldstart- [467760 evals] best 3.67664e-14 (fails 36) via retype 1/rlrl->ws1 [472960 evals] best 3.67665e-14 (fails 36) via core_undivide noop [476080 evals] best 8.02802e-14 (fails 35) via rotate 0/rrl + +--- finishing (homemaker-py-3l6): unfold + polish 250000 evals --- +[finish] unfold: materialised 15 shared-leaf copies +[ 200 evals] best 2.82118e-25 (fails 73) via seed +[ 440 evals] best 2.30511e-24 (fails 70) via crossover llrlr<->rrlr +[ 760 evals] best 4.49435e-24 (fails 69) via rotate 1/lllrr +[ 2840 evals] best 8.78417e-24 (fails 68) via place_missing r -> llll +[ 3000 evals] best 8.82774e-24 (fails 68) via crossover lrrlrrl<->lrrlrrr +[ 3640 evals] best 2.42458e-23 (fails 67) via level_compound_fix m: lvl1 → lvl0/lrlll + insert k1 into llll/lvl0 +[ 4760 evals] best 2.05512e-23 (fails 66) via place_missing t -> llll +[ 5400 evals] best 2.11658e-23 (fails 66) via core_divide noop +[ 7160 evals] best 9.18288e-22 (fails 64) via level_compound_fix m: lvl1 → lvl0/rlr + insert da1 into rlll/lvl0 +[ 9000 evals] best 9.42501e-22 (fails 64) via core_undivide noop +[ 9080 evals] best 9.49387e-22 (fails 64) via retype 0/lrrrlrr->da1 +[ 13480 evals] best 1.95716e-21 (fails 63) via crossover lrrrlrl<->lrrrlrr +[ 14200 evals] best 1.76259e-20 (fails 60) via place_missing st1 -> llllr +[ 14600 evals] best 1.77822e-20 (fails 60) via core_undivide noop +[ 18280 evals] best 1.79011e-20 (fails 60) via swap 1/rrllr +[ 19320 evals] best 2.31009e-19 (fails 56) via crossover lrrrl<->lrrll +[ 20600 evals] best 2.4801e-19 (fails 56) via retype 0/rlrr->n +[ 23720 evals] best 2.53529e-19 (fails 56) via crossover rrlr<->lrllr +[ 25800 evals] best 4.9601e-19 (fails 55) via rotate 1/llrrr +[ 26360 evals] best 5.07047e-19 (fails 55) via core_undivide noop +[ 26760 evals] best 5.16496e-19 (fails 55) via core_undivide noop +[ 27480 evals] best 5.23696e-19 (fails 55) via crossover rlrll<->lrllr +[ 28200 evals] best 5.28718e-19 (fails 55) via retype 1/rrlll->da1 +[ 28920 evals] best 5.30665e-19 (fails 55) via core_undivide noop +[ 29480 evals] best 5.31916e-19 (fails 55) via core_undivide noop +[ 31000 evals] best 5.35085e-19 (fails 55) via retype 0/lrlll->cr1 +[ 31560 evals] best 2.09427e-18 (fails 53) via rotate 0/lrrlr +[ 31880 evals] best 2.11436e-18 (fails 53) via crossover rrlr<->lrlr +[ 32520 evals] best 2.12214e-18 (fails 53) via swap 0/lrrrl +[ 34120 evals] best 2.12721e-18 (fails 53) via crossover llllrl<->lrrrll +[ 36680 evals] best 2.13989e-18 (fails 53) via core_undivide noop +[ 36840 evals] best 2.15581e-18 (fails 53) via core_undivide noop +[ 37560 evals] best 2.17211e-18 (fails 53) via core_undivide noop +[ 43640 evals] best 2.27557e-18 (fails 53) via divide 0/lrrllr +[ 44200 evals] best 2.28734e-18 (fails 53) via crossover lrrrl<->lrllr +[ 44440 evals] best 4.58147e-18 (fails 52) via level_retype 0/llllrl<->1/lrrrl +[ 45720 evals] best 4.60723e-18 (fails 52) via retype 0/rrlr->st2 +[ 46200 evals] best 4.6297e-18 (fails 52) via core_undivide noop +[ 47160 evals] best 4.64905e-18 (fails 52) via retype 1/lllll->ws1 +[ 47560 evals] best 9.3872e-18 (fails 51) via undivide 0/llrlr +[ 48760 evals] best 9.43276e-18 (fails 51) via level_retype 1/lrrrl<->0/lllll +[ 51720 evals] best 9.47208e-18 (fails 51) via crossover llrlr<->rrlr +[ 52920 evals] best 9.50298e-18 (fails 51) via core_undivide noop +[ 53560 evals] best 9.50553e-18 (fails 51) via core_undivide noop +[ 54680 evals] best 9.61653e-18 (fails 51) via core_undivide noop +[ 55880 evals] best 1.92326e-17 (fails 50) via level_retype 0/lrrlrrl<->1/rlll +[ 58120 evals] best 1.92729e-17 (fails 50) via level_retype 1/lllrrl<->0/lrlr +[ 59160 evals] best 1.92773e-17 (fails 50) via core_undivide noop +[ 62920 evals] best 1.92791e-17 (fails 50) via crossover rlrll<->lrrrl +[ 64200 evals] best 1.92792e-17 (fails 50) via level_retype 1/rrrl<->0/llrll +[ 64440 evals] best 1.92793e-17 (fails 50) via level_retype 0/lrrlrl<->1/lrrrl +[ 65800 evals] best 3.8015e-17 (fails 49) via rotate 0/llr +[ 81640 evals] best 1.50706e-16 (fails 47) via rotate 0/lrrr +[ 82280 evals] best 1.5782e-16 (fails 47) via rotate 0/llr +[ 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 diff --git a/examples/health-centre/coldstart-500000-s2.log b/examples/health-centre/coldstart-500000-s2.log new file mode 100644 index 0000000..18daf54 --- /dev/null +++ b/examples/health-centre/coldstart-500000-s2.log @@ -0,0 +1,127 @@ +seed : /home/bruno/src/homemaker-layout/examples/health-centre/init.dom +programme : health-centre +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/health-centre/coldstart-500000-s2.dom +[ 80 evals] best 3.04007e-12 (fails 28) via construct/0 +[ 160 evals] best 7.74528e-12 (fails 28) via construct/1 +[ 240 evals] best 1.27278e-10 (fails 25) via construct/2 +[ 1040 evals] best 2.05075e-09 (fails 19) via construct/12 +[ 2080 evals] best 4.22403e-09 (fails 18) via rotate 0/lrrl +[ 3120 evals] best 1.23776e-08 (fails 18) via undivide 0/lrrr +[ 3760 evals] best 1.39455e-08 (fails 18) via level_retype noop +[ 4800 evals] best 1.59195e-08 (fails 18) via level_fix noop +[ 4880 evals] best 1.78293e-08 (fails 18) via undivide 0/lrll +[ 4960 evals] best 2.07039e-08 (fails 18) via core_divide noop +[ 5440 evals] best 2.26527e-08 (fails 18) via rotate 0/rlrr +[ 6160 evals] best 2.28963e-08 (fails 18) via core_undivide noop +[ 7280 evals] best 2.60466e-08 (fails 18) via level_compound_fix noop +[ 8000 evals] best 2.66315e-08 (fails 18) via core_undivide noop +[ 8640 evals] best 4.07528e-08 (fails 16) via crossover rlrrr<->rrrl +[ 9840 evals] best 4.73414e-08 (fails 16) via core_undivide noop +[ 9920 evals] best 4.98649e-08 (fails 16) via core_undivide noop +[ 11280 evals] best 5.22342e-08 (fails 16) via core_undivide noop +[ 11760 evals] best 5.44617e-08 (fails 16) via core_undivide noop +[ 13760 evals] best 2.18035e-07 (fails 14) via rotate 0/lllr +[ 14000 evals] best 2.27326e-07 (fails 14) via level_retype noop +[ 15840 evals] best 2.37305e-07 (fails 14) via rotate 0/lrll +[ 16320 evals] best 2.47589e-07 (fails 14) via rotate 0/lrrl +[ 16640 evals] best 2.57045e-07 (fails 14) via level_fix noop +[ 17600 evals] best 2.66584e-07 (fails 14) via core_undivide noop +[ 17760 evals] best 2.75666e-07 (fails 14) via crossover rrrll<->lllrr +[ 18000 evals] best 2.85305e-07 (fails 14) via level_fix noop +[ 18080 evals] best 2.95039e-07 (fails 14) via swap 0/lllr +[ 19520 evals] best 3.04447e-07 (fails 14) via core_undivide noop +[ 20160 evals] best 3.1362e-07 (fails 14) via crossover lllrl<->rrlll +[ 21760 evals] best 2.18239e-07 (fails 13) via retype 0/lrllr->O +[ 22080 evals] best 2.49021e-07 (fails 13) via swap 0/lllr +[ 22240 evals] best 2.73668e-07 (fails 13) via level_fix noop +[ 23120 evals] best 2.86925e-07 (fails 13) via core_undivide noop +[ 23520 evals] best 2.9861e-07 (fails 13) via core_divide noop +[ 25600 evals] best 5.65963e-07 (fails 12) via core_undivide noop +[ 25840 evals] best 5.91044e-07 (fails 12) via core_divide noop +[ 26880 evals] best 6.19759e-07 (fails 12) via core_divide noop +[ 28560 evals] best 6.49777e-07 (fails 12) via retype 0/lllrl->re1 +[ 29680 evals] best 6.73724e-07 (fails 12) via core_undivide noop +[ 30160 evals] best 6.91667e-07 (fails 12) via core_undivide noop +[ 32240 evals] best 7.05032e-07 (fails 12) via core_divide noop +[ 35440 evals] best 7.20936e-07 (fails 12) via level_retype noop +[ 36400 evals] best 7.36371e-07 (fails 12) via level_compound_fix noop +[ 37760 evals] best 7.50241e-07 (fails 12) via crossover llrr<->llrr +[ 38560 evals] best 7.86556e-07 (fails 12) via level_fix noop +[ 40880 evals] best 8.21898e-07 (fails 12) via crossover lllrl<->lrrlr +[ 41120 evals] best 8.45967e-07 (fails 12) via swap 0/llrl +[ 41280 evals] best 8.48915e-07 (fails 12) via core_undivide noop +[ 41600 evals] best 2.19176e-06 (fails 12) via crossover lrrl<->rlrrr +[ 41760 evals] best 2.22064e-06 (fails 12) via core_undivide noop +[ 42800 evals] best 2.24919e-06 (fails 12) via crossover rlrll<->rlrll +[ 44160 evals] best 2.25054e-06 (fails 12) via level_fix noop +[ 44320 evals] best 2.26364e-06 (fails 12) via level_retype noop +[ 45840 evals] best 2.31398e-06 (fails 12) via level_compound_fix noop +[ 46080 evals] best 2.39771e-06 (fails 12) via level_compound_fix noop +[ 46400 evals] best 2.40706e-06 (fails 12) via level_compound_fix noop +[ 47120 evals] best 2.42409e-06 (fails 12) via swap 0/rlrl +[ 52720 evals] best 2.46086e-06 (fails 12) via level_retype noop +[ 53520 evals] best 2.46716e-06 (fails 12) via core_divide noop +[ 56720 evals] best 3.3283e-06 (fails 12) via crossover rllrl<->llrrr +[ 58320 evals] best 3.33649e-06 (fails 12) via swap 0/lrlr +[ 59280 evals] best 3.36563e-06 (fails 12) via core_undivide noop +[ 59920 evals] best 3.37434e-06 (fails 12) via level_retype noop +[ 61520 evals] best 3.37454e-06 (fails 12) via level_retype noop +[ 73520 evals] best 3.54736e-06 (fails 12) via crossover rrlll<->lrlrl +[ 75760 evals] best 3.7656e-06 (fails 12) via core_divide noop +[ 76880 evals] best 3.83549e-06 (fails 12) via retype 0/lrlrr->mo1 +[ 77600 evals] best 3.88306e-06 (fails 12) via level_compound_fix noop +[ 82480 evals] best 5.2071e-06 (fails 12) via undivide 0/rlrrr +[ 83280 evals] best 5.26703e-06 (fails 12) via level_fix noop +[ 86800 evals] best 5.30023e-06 (fails 12) via level_fix noop +[ 90320 evals] best 5.30798e-06 (fails 12) via level_retype noop +[122160 evals] best 3.21459e-05 (fails 9) via rotate 0/rrll +[146560 evals] best 3.24042e-05 (fails 9) via crossover r<->r +[162000 evals] best 3.26798e-05 (fails 9) via rotate 0/lrrl +[166880 evals] best 3.93491e-05 (fails 9) via undivide 0/rlrrr +[167840 evals] best 3.97222e-05 (fails 9) via level_compound_fix noop +[169760 evals] best 3.99788e-05 (fails 9) via retype 0/rrlrr->kt1 +[172240 evals] best 4.05111e-05 (fails 9) via retype 0/llrlr->me1 +[174560 evals] best 4.05659e-05 (fails 9) via level_compound_fix noop +[175520 evals] best 4.0576e-05 (fails 9) via crossover rrrrl<->llrll +[176240 evals] best 4.05784e-05 (fails 9) via level_retype noop +[180640 evals] best 4.55645e-05 (fails 9) via rotate 0/lrrl +[182800 evals] best 4.72012e-05 (fails 9) via core_divide noop +[184080 evals] best 4.7299e-05 (fails 9) via level_fix noop +[184160 evals] best 4.73067e-05 (fails 9) via core_undivide noop +[184800 evals] best 4.88281e-05 (fails 9) via level_retype noop +[185200 evals] best 4.88309e-05 (fails 9) via level_compound_fix noop +[194880 evals] best 4.88309e-05 (fails 9) via crossover rlrr<->llrl +[199760 evals] best 4.88662e-05 (fails 9) via level_retype noop +[201440 evals] best 4.88717e-05 (fails 9) via level_compound_fix noop +[202240 evals] best 4.88744e-05 (fails 9) via core_undivide noop +[208960 evals] best 4.91615e-05 (fails 9) via rotate 0/lllr +[209840 evals] best 4.9167e-05 (fails 9) via retype 0/rlrlr->br1 +[209920 evals] best 4.94457e-05 (fails 9) via level_compound_fix noop +[212640 evals] best 5.03271e-05 (fails 9) via core_divide noop +[212880 evals] best 5.03298e-05 (fails 9) via core_undivide noop +[215200 evals] best 5.82446e-05 (fails 9) via place_missing ph1 -> lrllr +[216320 evals] best 5.85273e-05 (fails 9) via level_fix noop +[216960 evals] best 5.87137e-05 (fails 9) via level_retype noop +[217760 evals] best 6.01725e-05 (fails 9) via level_fix noop +[221760 evals] best 6.05548e-05 (fails 9) via crossover rllrr<->rlrlr +[224080 evals] best 6.07621e-05 (fails 9) via level_compound_fix noop +[225920 evals] best 6.22317e-05 (fails 9) via crossover lrrlr<->rlrrl +[277520 evals] best 9.80017e-05 (fails 8) via crossover rlll<->llll +[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 diff --git a/examples/maple-court/coldstart-500000-s1.dom b/examples/maple-court/coldstart-500000-s1.dom new file mode 100644 index 0000000..1cf3559 --- /dev/null +++ b/examples/maple-court/coldstart-500000-s1.dom @@ -0,0 +1,628 @@ +node: +- - 0.0 + - 0.0 +- - 30.0 + - 1.5 +- - 29.0 + - 28.0 +- - 0.0 + - 27.0 +perimeter: + a: private + b: private + c: null + d: null +rotation: 0 +division: +- 0.4217954377679881 +- 0.4217954377679881 +height: 3.0 +elevation: 0.0 +wall_inner: 0.08 +wall_outer: 0.25 +l: + rotation: 1 + division: + - 0.6532494109246466 + - 0.6532494109246466 + l: + rotation: 0 + division: + - 0.44711624955524865 + - 0.44711624955524865 + l: + type: lr1 + rotation: 1 + r: + rotation: 1 + division: + - 0.7493166529948532 + - 0.7493166529948532 + l: + rotation: 0 + division: + - 0.3863510884777275 + - 0.3863510884777275 + l: + rotation: 3 + division: + - 0.5821724940175944 + - 0.5821724940175944 + l: + type: O + rotation: 0 + r: + type: m + rotation: 0 + r: + type: da1 + rotation: 0 + r: + rotation: 3 + division: + - 0.793622065044247 + - 0.793622065044247 + l: + type: k1 + rotation: 0 + r: + type: C + rotation: 0 + r: + rotation: 3 + division: + - 0.5627507124161697 + - 0.5627507124161697 + l: + rotation: 1 + division: + - 0.7176946455382021 + - 0.7176946455382021 + l: + type: ws1 + rotation: 0 + r: + rotation: 3 + division: + - 0.8411548172275364 + - 0.8411548172275364 + l: + type: O + rotation: 0 + r: + type: t + rotation: 0 + r: + type: C + rotation: 3 +r: + rotation: 1 + division: + - 0.5441129737239778 + - 0.5441129737239778 + l: + rotation: 0 + division: + - 0.7336405346012067 + - 0.7336405346012067 + l: + rotation: 1 + division: + - 0.8147640010719923 + - 0.8147640010719923 + l: + rotation: 0 + division: + - 0.7370554352753373 + - 0.7370554352753373 + l: + rotation: 3 + division: + - 0.5516324878760346 + - 0.5516324878760346 + l: + type: C + rotation: 3 + r: + rotation: 1 + division: + - 0.5253642741676521 + - 0.5253642741676521 + l: + type: gh1 + rotation: 0 + r: + type: O + rotation: 0 + r: + rotation: 3 + division: + - 0.4385942026805069 + - 0.4385942026805069 + l: + rotation: 0 + division: + - 0.5280476136214016 + - 0.5280476136214016 + l: + type: t + rotation: 0 + r: + type: t + rotation: 0 + r: + type: la1 + rotation: 0 + r: + type: O + rotation: 0 + r: + rotation: 1 + division: + - 0.43281488988313327 + - 0.43281488988313327 + l: + type: me1 + rotation: 1 + r: + rotation: 0 + division: + - 0.5029024891632398 + - 0.5029024891632398 + l: + type: C + rotation: 0 + r: + type: ef1 + rotation: 0 + r: + rotation: 1 + division: + - 0.7169837502876616 + - 0.7169837502876616 + l: + rotation: 1 + division: + - 0.37098199882002875 + - 0.37098199882002875 + l: + rotation: 3 + division: + - 0.5586244518828078 + - 0.5586244518828078 + l: + rotation: 0 + division: + - 0.3790996831083391 + - 0.3790996831083391 + l: + type: m + rotation: 0 + r: + rotation: 0 + division: + - 0.5029024891632397 + - 0.5029024891632397 + l: + type: t + rotation: 0 + r: + type: t + rotation: 0 + r: + rotation: 0 + division: + - 0.3352683261088271 + - 0.3352683261088271 + l: + type: t + rotation: 0 + r: + type: rc1 + rotation: 0 + r: + rotation: 2 + division: + - 0.7358470481881225 + - 0.7358470481881225 + l: + rotation: 1 + division: + - 0.7846898094392847 + - 0.7846898094392847 + l: + rotation: 0 + division: + - 0.3855657020783567 + - 0.3855657020783567 + l: + type: ph1 + rotation: 0 + r: + type: O + rotation: 0 + r: + type: m + rotation: 0 + r: + type: C + rotation: 0 + r: + rotation: 1 + division: + - 0.4468629575793792 + - 0.4468629575793792 + l: + type: ur1 + rotation: 0 + r: + type: r + rotation: 0 +above: + rotation: 0 + division: + - 0.37008565034413465 + - 0.37008565034413465 + height: 3.0 + l: + rotation: 0 + division: + - 0.3989190519783494 + - 0.3989190519783494 + l: + rotation: 0 + division: + - 0.4445387996631358 + - 0.4445387996631358 + l: + rotation: 0 + division: + - 0.5029024891632397 + - 0.5029024891632397 + l: + type: n + rotation: 0 + r: + type: n + rotation: 0 + r: + type: C + rotation: 0 + r: + rotation: 0 + division: + - 0.498454417675536 + - 0.498454417675536 + l: + rotation: 0 + division: + - 0.5262522543849433 + - 0.5262522543849433 + l: + type: n + rotation: 0 + r: + type: O + rotation: 0 + r: + rotation: 0 + division: + - 0.5235229688700246 + - 0.5235229688700246 + l: + rotation: 1 + division: + - 0.5686495246625086 + - 0.5686495246625086 + l: + type: py + rotation: 0 + r: + type: em + rotation: 0 + r: + type: en1 + rotation: 0 + r: + rotation: 0 + division: + - 0.457233409542185 + - 0.457233409542185 + l: + rotation: 0 + division: + - 0.43055564736619417 + - 0.43055564736619417 + l: + rotation: 0 + division: + - 0.6612900749499223 + - 0.6612900749499223 + l: + rotation: 0 + division: + - 0.3 + - 0.3 + l: + type: O + rotation: 0 + r: + type: n + rotation: 0 + r: + rotation: 0 + division: + - 0.5821724940175945 + - 0.5821724940175945 + l: + type: li1 + rotation: 0 + r: + type: ur2 + rotation: 0 + r: + rotation: 0 + division: + - 0.5 + - 0.5 + l: + type: O + rotation: 0 + r: + type: C + rotation: 0 + r: + rotation: 0 + division: + - 0.7601464538562697 + - 0.7601464538562697 + l: + rotation: 0 + division: + - 0.9090909090909091 + - 0.9090909090909091 + l: + rotation: 0 + division: + - 0.3333333333333333 + - 0.3333333333333333 + l: + type: lo1 + rotation: 0 + r: + rotation: 0 + division: + - 0.5 + - 0.5 + l: + type: em + rotation: 0 + r: + type: py + rotation: 0 + r: + type: O + rotation: 0 + r: + type: C + rotation: 0 + above: + rotation: 0 + division: + - 0.3892208111732773 + - 0.3892208111732773 + height: 3.0 + l: + rotation: 0 + division: + - 0.43255331098925165 + - 0.43255331098925165 + l: + rotation: 0 + division: + - 0.28066838730628463 + - 0.28066838730628463 + l: + rotation: 0 + division: + - 0.16666666666666666 + - 0.16666666666666666 + l: + type: r + rotation: 0 + r: + rotation: 0 + division: + - 0.34155460722336733 + - 0.34155460722336733 + l: + rotation: 1 + division: + - 0.5029024891632397 + - 0.5029024891632397 + l: + type: r + rotation: 0 + r: + type: r + rotation: 0 + r: + type: r + rotation: 0 + r: + rotation: 0 + division: + - 0.8447025420273533 + - 0.8447025420273533 + l: + type: C + rotation: 0 + r: + rotation: 3 + division: + - 0.7009836427732035 + - 0.7009836427732035 + l: + type: r + rotation: 0 + r: + type: tt + rotation: 0 + r: + rotation: 0 + division: + - 0.6434201292371758 + - 0.6434201292371758 + l: + rotation: 0 + division: + - 0.27709722975684414 + - 0.27709722975684414 + l: + rotation: 0 + division: + - 0.4082488946798416 + - 0.4082488946798416 + l: + type: ut1 + rotation: 0 + r: + rotation: 1 + division: + - 0.6120090509180269 + - 0.6120090509180269 + l: + type: ur3 + rotation: 0 + r: + type: r + rotation: 0 + r: + type: C + rotation: 0 + r: + rotation: 0 + division: + - 0.5 + - 0.5 + l: + rotation: 0 + division: + - 0.3333333333333333 + - 0.3333333333333333 + l: + type: q1 + rotation: 0 + r: + type: r + rotation: 0 + r: + rotation: 0 + division: + - 0.3352683261088271 + - 0.3352683261088271 + l: + type: O + rotation: 0 + r: + rotation: 1 + division: + - 0.5974374068485503 + - 0.5974374068485503 + l: + type: r + rotation: 0 + r: + type: r + rotation: 0 + r: + rotation: 0 + division: + - 0.5690539691736006 + - 0.5690539691736006 + l: + rotation: 0 + division: + - 0.34088632491204374 + - 0.34088632491204374 + l: + rotation: 0 + division: + - 0.8670584703450476 + - 0.8670584703450476 + l: + type: O + rotation: 0 + r: + type: r + rotation: 0 + r: + rotation: 0 + division: + - 0.4484330800758139 + - 0.4484330800758139 + l: + type: gy1 + rotation: 3 + r: + rotation: 0 + division: + - 0.7327434282057801 + - 0.7327434282057801 + l: + type: C + rotation: 0 + r: + rotation: 1 + division: + - 0.3352683261088271 + - 0.3352683261088271 + l: + type: tt + rotation: 0 + r: + rotation: 1 + division: + - 0.5060456297205106 + - 0.5060456297205106 + l: + type: tt + rotation: 0 + r: + type: tt + rotation: 0 + r: + rotation: 0 + division: + - 0.21941800051545024 + - 0.21941800051545024 + l: + rotation: 0 + division: + - 0.36363636363636365 + - 0.36363636363636365 + l: + type: O + rotation: 0 + r: + type: O + rotation: 0 + r: + rotation: 0 + division: + - 0.5442952443728626 + - 0.5442952443728626 + l: + type: O + rotation: 0 + r: + rotation: 2 + division: + - 0.4671703321376224 + - 0.4671703321376224 + l: + type: r + rotation: 0 + r: + type: O + rotation: 0 diff --git a/examples/maple-court/coldstart-500000-s1.log b/examples/maple-court/coldstart-500000-s1.log index 5e0ca27..4178565 100644 --- a/examples/maple-court/coldstart-500000-s1.log +++ b/examples/maple-court/coldstart-500000-s1.log @@ -215,3 +215,329 @@ output : /home/bruno/src/homemaker-layout/examples/maple-court/coldstart-5 [101640 evals] best 7.28113e-29 (fails 86) via level_retype 1/lrrll<->2/lrrrrl [101960 evals] best 7.30664e-29 (fails 86) via level_retype 2/lllrlr<->1/rllrl [106280 evals] best 7.34119e-29 (fails 86) via level_retype 1/llll<->0/rrllrrr +[111560 evals] best 7.34119e-29 (fails 86) via retype 1/rrllrl->lr1 +[115320 evals] best 7.38547e-29 (fails 86) via core_undivide noop +[116040 evals] best 7.42718e-29 (fails 86) via crossover rlllrrl<->rrllll +[116760 evals] best 7.42718e-29 (fails 86) via retype 1/rllrl->ur2 +[117080 evals] best 8.03623e-29 (fails 86) via retype 2/lllrrr->ws1 +[118120 evals] best 8.09228e-29 (fails 86) via level_retype 0/rrlrlr<->2/rlrl +[118760 evals] best 8.1446e-29 (fails 86) via retype 1/rrlll->ws1 +[121000 evals] best 3.02477e-28 (fails 84) via rotate 0/rl +[121480 evals] best 3.08711e-28 (fails 84) via retype 2/lrrrrr->ws1 +[122760 evals] best 3.38962e-28 (fails 84) via retype 0/rrrr->ws1 +[123400 evals] best 3.38962e-28 (fails 84) via crossover rlrl<->lrll +[123640 evals] best 3.50344e-28 (fails 84) via crossover lrr<->lrr +[124520 evals] best 3.52045e-28 (fails 84) via retype 2/rlrrrrl->me1 +[124600 evals] best 3.56494e-28 (fails 84) via core_undivide noop +[125800 evals] best 6.73688e-28 (fails 83) via undivide 0/rlrr +[126760 evals] best 6.77494e-28 (fails 83) via crossover rrlll<->rrlll +[130280 evals] best 7.25183e-28 (fails 83) via rotate 2/rlrrrr +[131800 evals] best 1.43538e-27 (fails 82) via core_undivide noop +[132840 evals] best 1.43967e-27 (fails 82) via level_retype 2/rlrl<->1/rllrr +[134200 evals] best 1.44785e-27 (fails 82) via crossover rrllrrl<->rlllrrr +[143320 evals] best 1.45449e-27 (fails 82) via retype 2/lrrrl->la1 +[143560 evals] best 1.45909e-27 (fails 82) via swap 0/rrr +[146120 evals] best 1.46026e-27 (fails 82) via retype 1/lrrr->rc1 +[148520 evals] best 1.48466e-27 (fails 82) via retype 1/rllrr->q1 +[150600 evals] best 3.27114e-27 (fails 80) via crossover rllll<->lr +[153800 evals] best 3.32861e-27 (fails 80) via retype 0/rrlrlll->py +[155640 evals] best 3.33504e-27 (fails 80) via retype 0/rrllll->la1 +[159160 evals] best 2.55427e-26 (fails 77) via crossover rllllrr<->llrlll +[161720 evals] best 2.56973e-26 (fails 77) via level_retype 2/rrrrl<->0/rllllrl +[161800 evals] best 2.58293e-26 (fails 77) via core_undivide noop +[166040 evals] best 2.59423e-26 (fails 77) via core_undivide noop +[172440 evals] best 2.60068e-26 (fails 77) via core_undivide noop +[173960 evals] best 2.60902e-26 (fails 77) via crossover llrrl<->llrllr +[175080 evals] best 2.64008e-26 (fails 77) via rotate 2/lrrrr +[177240 evals] best 2.64316e-26 (fails 77) via retype 2/llll->rc1 +[177400 evals] best 2.70036e-26 (fails 77) via level_retype 2/rlrrrrr<->0/rrlllr +[178040 evals] best 2.70318e-26 (fails 77) via level_retype 1/llll<->2/llrrl +[178920 evals] best 4.94916e-26 (fails 76) via swap 0/rlllr +[182120 evals] best 5.18746e-26 (fails 76) via core_undivide noop +[185240 evals] best 5.26932e-26 (fails 76) via swap 1/lll +[190120 evals] best 9.41818e-26 (fails 75) via core_undivide noop +[194760 evals] best 9.45567e-26 (fails 75) via swap 0/rlllrl +[197240 evals] best 9.49813e-26 (fails 75) via core_undivide noop +[201960 evals] best 9.55548e-26 (fails 75) via crossover llrrl<->rrrl +[202280 evals] best 9.62796e-26 (fails 75) via level_retype 2/rlrl<->0/rlllrll +[207320 evals] best 9.7119e-26 (fails 75) via core_undivide noop +[207800 evals] best 9.80185e-26 (fails 75) via swap 2/lrrrr +[213480 evals] best 9.83175e-26 (fails 75) via core_undivide noop +[220440 evals] best 9.8571e-26 (fails 75) via core_undivide noop +[222680 evals] best 9.93164e-26 (fails 75) via swap 0/rrll +[226360 evals] best 9.97687e-26 (fails 75) via rotate 2/llrr +[227080 evals] best 9.98918e-26 (fails 75) via swap 2/lrrrr +[228040 evals] best 1.02173e-25 (fails 75) via crossover rrllll<->rrllrl +[232200 evals] best 1.03412e-25 (fails 75) via core_undivide noop +[232920 evals] best 1.03464e-25 (fails 75) via crossover rrlrlll<->rrlrlll +[235160 evals] best 1.03475e-25 (fails 75) via crossover lrll<->lrll +[239320 evals] best 1.03698e-25 (fails 75) via core_undivide noop +[240040 evals] best 1.037e-25 (fails 75) via retype 1/lrrr->q1 +[246760 evals] best 1.03703e-25 (fails 75) via level_retype 0/llrlr<->2/lrrrl +[249560 evals] best 4.61196e-25 (fails 73) via level_retype 0/rlrrr<->2/lrrrl + +--- collapse (homemaker-py-94g): finish-time cell→room relabel --- +[finish] collapse: 227 → 73 fails (applied) + +--- done --- +elapsed : 207109.5s +evals : 750040 across 9374 topologies +best : 4.61196e-25 (73 fails) via level_retype 0/rlrrr<->2/lrrrl+collapse + +improvement history: + [ 80] 7.48546e-46 (share:construct/0) + [ 160] 4.82423e-42 (share:construct/1) + [ 480] 8.67067e-42 (share:construct/5) + [ 800] 4.80398e-39 (share:construct/9) + [ 1440] 6.36848e-40 (share:place_missing r -> rrrr) + [ 2160] 1.32118e-39 (share:level_fix noop) + [ 2400] 1.60106e-38 (share:place_missing em -> rlll) + [ 3040] 3.2838e-38 (share:rotate 0/rrll) + [ 3760] 3.65129e-38 (share:core_undivide noop) + [ 4320] 5.79431e-37 (share:place_missing r -> rrrl) + [ 4400] 5.8784e-37 (share:core_undivide noop) + [ 4640] 2.78722e-36 (share:retype 1/rlllr->py) + [ 5760] 4.90785e-34 (share:crossover lrrl<->rrrl) + [ 8480] 5.06412e-34 (share:level_retype 2/rrlr<->0/rrrl) + [ 8960] 1.00937e-33 (share:retype 1/rrlr->O) + [ 9840] 2.11427e-33 (share:swap 0/lrr) + [ 10480] 2.17495e-33 (share:swap 0/rlrl) + [ 11040] 2.25388e-33 (share:core_divide noop) + [ 12480] 4.78668e-33 (share:undivide 2/llr) + [ 12720] 4.80876e-33 (share:core_divide noop) + [ 13760] 9.1709e-33 (share:divide 2/llrr) + [ 14560] 1.84586e-32 (share:core_undivide noop) + [ 16880] 1.85284e-32 (share:crossover llrlr<->rlllr) + [ 19840] 7.42595e-32 (share:core_undivide noop) + [ 20800] 1.48504e-31 (share:core_undivide noop) + [ 23680] 1.48739e-31 (share:core_undivide noop) + [ 24560] 1.55172e-31 (share:core_divide noop) + [ 25680] 1.56264e-31 (share:core_undivide noop) + [ 26080] 6.36171e-31 (share:swap 2/rrr) + [ 27040] 6.41788e-31 (share:level_retype 0/rrrl<->2/rllr) + [ 28240] 1.02644e-30 (share:crossover lrl<->lrr) + [ 29200] 1.04874e-30 (share:crossover llrrr<->llrrr) + [ 30320] 3.66451e-30 (share:level_compound_fix k1: lvl2 → lvl0/rllll + insert lr1 into lrlr/lvl0) + [ 30960] 1.09242e-29 (share:crossover rrlrr<->llrrl) + [ 33120] 3.5356e-29 (share:crossover llrll<->lrll) + [ 36160] 3.56494e-29 (share:level_retype 0/lrrr<->2/rllr) + [ 40320] 4.93101e-29 (share:crossover lr<->lr) + [ 40960] 4.96131e-29 (share:crossover rlrrr<->rlrrr) + [ 42240] 8.67773e-29 (share:retype 2/rrrrr->t) + [ 43920] 1.52112e-28 (share:crossover lllr<->rlrr) + [ 46480] 1.52992e-28 (share:crossover lrr<->lrr) + [ 48720] 3.06138e-28 (share:level_retype 2/lllr<->0/rlrlr) + [ 51120] 3.07068e-28 (share:swap 2/llrr) + [ 53440] 3.07434e-28 (share:swap 0/rlrr) + [ 54560] 3.44534e-28 (share:crossover lrrl<->lllrl) + [ 57600] 3.45695e-28 (share:core_divide noop) + [ 58240] 3.46141e-28 (share:core_undivide noop) + [ 61440] 3.46205e-28 (share:core_divide noop) + [ 61840] 3.4624e-28 (share:core_divide noop) + [ 62720] 3.46265e-28 (share:core_divide noop) + [ 62800] 3.46265e-28 (share:core_undivide noop) + [ 64880] 3.51879e-28 (share:level_fix k1: lvl2/rrlr → lvl0/rllll) + [ 66240] 3.53264e-28 (share:retype 1/lrll->gh1) + [ 66480] 3.55549e-28 (share:core_divide noop) + [ 66800] 3.57445e-28 (share:crossover llrll<->llrll) + [ 68000] 2.06412e-27 (share:level_fix k1: lvl2/rrlr → lvl0/rllll) + [ 69120] 2.06883e-27 (share:core_divide noop) + [ 71520] 2.76174e-27 (share:rotate 0/lr) + [ 72640] 2.76227e-27 (share:core_undivide noop) + [ 73520] 2.76276e-27 (share:core_divide noop) + [ 75600] 2.7632e-27 (share:core_divide noop) + [ 76320] 2.76358e-27 (share:core_undivide noop) + [ 76960] 2.76389e-27 (share:core_undivide noop) + [ 78880] 1.83174e-26 (share:level_retype 0/rrlrlr<->2/rlll) + [ 78960] 1.87802e-26 (share:core_divide noop) + [ 79360] 3.90146e-26 (share:swap 0/rlrl) + [ 79520] 3.95859e-26 (share:rotate 0/llrr) + [ 79600] 3.96056e-26 (share:crossover lrrl<->lllrl) + [ 82720] 3.98751e-26 (share:core_undivide noop) + [ 84240] 8.37192e-26 (share:crossover llrl<->lrr) + [ 84640] 8.42852e-26 (share:rotate 2/rrrr) + [ 84800] 3.5634e-25 (share:crossover rllr<->lrrl) + [ 87040] 3.59072e-25 (share:rotate 0/rrll) + [ 89120] 3.61957e-25 (share:retype 1/rlllr->lr1) + [ 90800] 1.19078e-24 (share:crossover rlrrl<->rrlrr) + [ 97680] 5.2661e-24 (share:rotate 0/lrl) + [ 98560] 5.54831e-24 (share:retype 0/rlrlr->ur3) + [103360] 5.61335e-24 (share:level_retype 2/llll<->1/rllll) + [104400] 5.65917e-24 (share:core_divide noop) + [106240] 5.68365e-24 (share:core_undivide noop) + [108800] 1.16147e-23 (share:core_divide noop) + [109760] 2.26647e-23 (share:swap 0/lrl) + [112160] 2.27596e-23 (share:core_undivide noop) + [112800] 9.05097e-23 (share:level_retype 0/llrll<->2/rrll) + [115920] 9.55098e-23 (share:core_undivide noop) + [117200] 9.59197e-23 (share:rotate 0/rlrl) + [120080] 9.62542e-23 (share:core_undivide noop) + [120160] 3.45118e-22 (share:crossover rrlrl<->rlrrr) + [120400] 3.4623e-22 (share:core_divide noop) + [121280] 3.47395e-22 (share:core_divide noop) + [127040] 3.48617e-22 (share:crossover llrrr<->lrlr) + [130400] 3.49897e-22 (share:crossover ll<->ll) + [141760] 6.80652e-22 (share:swap 0/lrl) + [143680] 9.54701e-22 (share:crossover rlrrl<->lrll) + [151440] 9.57869e-22 (share:level_retype 2/rllr<->1/lrll) + [153120] 9.61188e-22 (share:retype 0/llrll->n) + [157360] 9.64666e-22 (share:retype 0/rlrlr->tt) + [159680] 1.85943e-21 (share:undivide 0/rlrr) + [161040] 1.86564e-21 (share:core_undivide noop) + [161440] 1.87142e-21 (share:retype 1/lrrr->gh1) + [170240] 2.15038e-21 (share:swap 0/llrr) + [172160] 2.16303e-21 (share:core_undivide noop) + [180800] 2.17437e-21 (share:swap 0/rlrl) + [188640] 2.18483e-21 (share:core_undivide noop) + [192560] 2.1924e-21 (share:core_undivide noop) + [197280] 2.19779e-21 (share:crossover rlrlr<->rlrlr) + [199040] 2.20487e-21 (share:swap 0/lrl) + [205040] 2.21102e-21 (share:crossover rrr<->rrr) + [206480] 2.21103e-21 (share:retype 0/rrlrll->gh1) + [212000] 2.21402e-21 (share:core_undivide noop) + [215760] 2.21403e-21 (share:retype 2/llrrl->tt) + [215920] 2.21422e-21 (share:retype 0/rrlrll->gh1) + [225600] 2.21422e-21 (share:rotate 2/llrr) + [227200] 2.21441e-21 (share:rotate 2/llrr) + [230720] 2.21445e-21 (share:core_undivide noop) + [234720] 2.21445e-21 (share:swap 0/rrll) + [240240] 2.7509e-20 (share:level_fix ws1: lvl1/rllll → lvl0/rllll) + [268800] 6.17587e-20 (share:swap 0/lr) + [271440] 6.21537e-20 (share:rotate 2/llrr) + [272480] 6.21597e-20 (share:swap 0/lrr) + [275920] 6.23221e-20 (share:core_undivide noop) + [279920] 6.23222e-20 (share:core_undivide noop) + [290320] 2.47209e-19 (share:undivide 0/lrr) + [290640] 2.47209e-19 (share:level_retype 2/rrrrl<->0/llrlr) + [338880] 2.54027e-19 (share:undivide 0/llrll) + [344000] 2.54987e-19 (share:core_undivide noop) + [345120] 2.54991e-19 (share:core_undivide noop) + [365760] 2.54992e-19 (share:rotate 0/rrll) + [500200] 5.2212e-35 (polish:seed) + [500600] 5.31288e-35 (polish:core_undivide noop) + [504600] 5.34535e-35 (polish:swap 0/rlrl) + [505480] 5.50561e-35 (polish:core_undivide noop) + [508600] 5.91954e-35 (polish:core_undivide noop) + [511640] 5.95296e-35 (polish:crossover lrlr<->lrlr) + [512120] 1.08246e-34 (polish:core_undivide noop) + [512280] 2.18762e-34 (polish:core_undivide noop) + [513480] 4.4404e-34 (polish:swap 2/lllr) + [515720] 4.49169e-34 (polish:crossover rlrlr<->rlllrl) + [518120] 9.17439e-34 (polish:divide 2/rlrl) + [518200] 9.24149e-34 (polish:core_undivide noop) + [518360] 1.01588e-33 (polish:undivide 2/rlrl) + [520040] 1.02041e-33 (polish:crossover rrllrr<->rrllrr) + [520440] 1.09867e-33 (polish:swap 0/rlrl) + [523080] 1.10286e-33 (polish:swap 0/rrr) + [524920] 1.10506e-33 (polish:level_retype 0/rllll<->1/lrrr) + [528920] 1.11142e-33 (polish:core_undivide noop) + [529560] 1.11302e-33 (polish:crossover rrlll<->rrlll) + [530760] 2.88758e-33 (polish:undivide 0/lll) + [531640] 2.91448e-33 (polish:core_undivide noop) + [532680] 5.24826e-33 (polish:crossover llrll<->rrlrl) + [535560] 5.54405e-33 (polish:retype 0/rlllrrr->rc1) + [539080] 5.5603e-33 (polish:rotate 0/rrlll) + [539160] 5.57739e-33 (polish:core_undivide noop) + [542600] 5.5943e-33 (polish:retype 0/rlrlr->li1) + [542760] 5.69106e-33 (polish:crossover rrllrr<->rrlllr) + [542920] 6.73164e-33 (polish:rotate 0/llrl) + [551480] 6.83512e-33 (polish:rotate 0/rlllr) + [552200] 6.87955e-33 (polish:core_undivide noop) + [552680] 6.88824e-33 (polish:core_undivide noop) + [553080] 6.89371e-33 (polish:retype 2/rlrrrl->lr1) + [557160] 1.20103e-32 (polish:rotate 0/rrl) + [557480] 1.29e-32 (polish:crossover llrlr<->rrlrll) + [558280] 1.85811e-31 (polish:rotate 0/rrllrr) + [559560] 1.86354e-31 (polish:crossover rrllrrr<->rrllrrr) + [560360] 1.86497e-31 (polish:retype 1/lllr->k1) + [563000] 4.31216e-31 (polish:crossover rrlll<->rrllr) + [566120] 4.44199e-31 (polish:level_retype 2/rlrrrrr<->1/rlllr) + [566760] 4.51891e-31 (polish:level_retype 2/llrrl<->0/rrllll) + [567320] 8.4029e-31 (polish:crossover rlrlr<->rrlrr) + [569160] 8.60511e-31 (polish:swap 0/rrlrl) + [571400] 8.63911e-31 (polish:core_undivide noop) + [572600] 8.79881e-31 (polish:crossover rrlll<->rrllrr) + [573080] 8.83116e-31 (polish:core_undivide noop) + [574200] 8.85642e-31 (polish:retype 1/rllrl->em) + [575800] 8.87862e-31 (polish:core_undivide noop) + [576760] 8.8989e-31 (polish:level_retype 0/rlrlr<->2/lrrrrl) + [582040] 8.91395e-31 (polish:crossover rrlllr<->rlrlr) + [582120] 1.73329e-30 (polish:undivide 0/rlrl) + [583000] 1.77156e-30 (polish:core_undivide noop) + [583080] 1.78496e-30 (polish:retype 0/llrll->me1) + [583480] 3.57354e-30 (polish:swap 2/lrrrr) + [583960] 3.57541e-30 (polish:crossover lr<->lr) + [584120] 4.01301e-30 (polish:divide 0/rlrr) + [587400] 8.58213e-30 (polish:crossover llrll<->lrlr) + [588760] 9.11271e-30 (polish:undivide 0/rrlll) + [589320] 1.41927e-29 (polish:rotate 0/rrlrl) + [589720] 6.87803e-29 (polish:undivide 0/rlrl) + [593640] 6.98647e-29 (polish:crossover rrllrrl<->rlrlr) + [594280] 7.1026e-29 (polish:level_retype 0/lrr<->1/rrr) + [597800] 7.14826e-29 (polish:retype 0/llrllr->m) + [600760] 7.2509e-29 (polish:rotate 2/rlrrrr) + [601320] 7.2509e-29 (polish:retype 2/llrrl->la1) + [601640] 7.28113e-29 (polish:level_retype 1/lrrll<->2/lrrrrl) + [601960] 7.30664e-29 (polish:level_retype 2/lllrlr<->1/rllrl) + [606280] 7.34119e-29 (polish:level_retype 1/llll<->0/rrllrrr) + [611560] 7.34119e-29 (polish:retype 1/rrllrl->lr1) + [615320] 7.38547e-29 (polish:core_undivide noop) + [616040] 7.42718e-29 (polish:crossover rlllrrl<->rrllll) + [616760] 7.42718e-29 (polish:retype 1/rllrl->ur2) + [617080] 8.03623e-29 (polish:retype 2/lllrrr->ws1) + [618120] 8.09228e-29 (polish:level_retype 0/rrlrlr<->2/rlrl) + [618760] 8.1446e-29 (polish:retype 1/rrlll->ws1) + [621000] 3.02477e-28 (polish:rotate 0/rl) + [621480] 3.08711e-28 (polish:retype 2/lrrrrr->ws1) + [622760] 3.38962e-28 (polish:retype 0/rrrr->ws1) + [623400] 3.38962e-28 (polish:crossover rlrl<->lrll) + [623640] 3.50344e-28 (polish:crossover lrr<->lrr) + [624520] 3.52045e-28 (polish:retype 2/rlrrrrl->me1) + [624600] 3.56494e-28 (polish:core_undivide noop) + [625800] 6.73688e-28 (polish:undivide 0/rlrr) + [626760] 6.77494e-28 (polish:crossover rrlll<->rrlll) + [630280] 7.25183e-28 (polish:rotate 2/rlrrrr) + [631800] 1.43538e-27 (polish:core_undivide noop) + [632840] 1.43967e-27 (polish:level_retype 2/rlrl<->1/rllrr) + [634200] 1.44785e-27 (polish:crossover rrllrrl<->rlllrrr) + [643320] 1.45449e-27 (polish:retype 2/lrrrl->la1) + [643560] 1.45909e-27 (polish:swap 0/rrr) + [646120] 1.46026e-27 (polish:retype 1/lrrr->rc1) + [648520] 1.48466e-27 (polish:retype 1/rllrr->q1) + [650600] 3.27114e-27 (polish:crossover rllll<->lr) + [653800] 3.32861e-27 (polish:retype 0/rrlrlll->py) + [655640] 3.33504e-27 (polish:retype 0/rrllll->la1) + [659160] 2.55427e-26 (polish:crossover rllllrr<->llrlll) + [661720] 2.56973e-26 (polish:level_retype 2/rrrrl<->0/rllllrl) + [661800] 2.58293e-26 (polish:core_undivide noop) + [666040] 2.59423e-26 (polish:core_undivide noop) + [672440] 2.60068e-26 (polish:core_undivide noop) + [673960] 2.60902e-26 (polish:crossover llrrl<->llrllr) + [675080] 2.64008e-26 (polish:rotate 2/lrrrr) + [677240] 2.64316e-26 (polish:retype 2/llll->rc1) + [677400] 2.70036e-26 (polish:level_retype 2/rlrrrrr<->0/rrlllr) + [678040] 2.70318e-26 (polish:level_retype 1/llll<->2/llrrl) + [678920] 4.94916e-26 (polish:swap 0/rlllr) + [682120] 5.18746e-26 (polish:core_undivide noop) + [685240] 5.26932e-26 (polish:swap 1/lll) + [690120] 9.41818e-26 (polish:core_undivide noop) + [694760] 9.45567e-26 (polish:swap 0/rlllrl) + [697240] 9.49813e-26 (polish:core_undivide noop) + [701960] 9.55548e-26 (polish:crossover llrrl<->rrrl) + [702280] 9.62796e-26 (polish:level_retype 2/rlrl<->0/rlllrll) + [707320] 9.7119e-26 (polish:core_undivide noop) + [707800] 9.80185e-26 (polish:swap 2/lrrrr) + [713480] 9.83175e-26 (polish:core_undivide noop) + [720440] 9.8571e-26 (polish:core_undivide noop) + [722680] 9.93164e-26 (polish:swap 0/rrll) + [726360] 9.97687e-26 (polish:rotate 2/llrr) + [727080] 9.98918e-26 (polish:swap 2/lrrrr) + [728040] 1.02173e-25 (polish:crossover rrllll<->rrllrl) + [732200] 1.03412e-25 (polish:core_undivide noop) + [732920] 1.03464e-25 (polish:crossover rrlrlll<->rrlrlll) + [735160] 1.03475e-25 (polish:crossover lrll<->lrll) + [739320] 1.03698e-25 (polish:core_undivide noop) + [740040] 1.037e-25 (polish:retype 1/lrrr->q1) + [746760] 1.03703e-25 (polish:level_retype 0/llrlr<->2/lrrrl) + [749560] 4.61196e-25 (polish:level_retype 0/rlrrr<->2/lrrrl) +written : /home/bruno/src/homemaker-layout/examples/maple-court/coldstart-500000-s1.dom diff --git a/examples/maple-court/coldstart-500000-s2.log b/examples/maple-court/coldstart-500000-s2.log index 9478403..ed1c624 100644 --- a/examples/maple-court/coldstart-500000-s2.log +++ b/examples/maple-court/coldstart-500000-s2.log @@ -103,3 +103,38 @@ output : /home/bruno/src/homemaker-layout/examples/maple-court/coldstart-5 [222320 evals] best 3.72977e-17 (fails 52) via core_divide lrlr (3 floors) [223920 evals] best 6.33334e-17 (fails 51) via swap 0/llrl [227280 evals] best 7.07114e-17 (fails 51) via level_fix k1: lvl1/lrlrr → lvl0/lrr +[233200 evals] best 7.61239e-17 (fails 51) via retype 2/rrlrr->O +[239680 evals] best 1.33703e-16 (fails 50) via level_fix rc1: lvl2/lrlrr → lvl0/lrr +[255520 evals] best 1.34474e-16 (fails 50) via level_fix rc1: lvl2/lrlrr → lvl0/lrr +[255920 evals] best 1.34475e-16 (fails 50) via retype 1/lllr->ph1 +[267200 evals] best 1.43929e-16 (fails 50) via level_fix k1: lvl1/lrlrr → lvl0/lrr +[280880 evals] best 1.44209e-16 (fails 50) via swap 0/rlrl +[285760 evals] best 1.44897e-16 (fails 50) via crossover rlr<->rlr +[290640 evals] best 1.46495e-16 (fails 50) via rotate 0/rlrr +[294800 evals] best 1.4687e-16 (fails 50) via swap 2/rrlr +[302240 evals] best 1.47593e-16 (fails 50) via core_undivide noop +[303200 evals] best 1.51095e-16 (fails 50) via crossover rrrl<->llrlr +[308400 evals] best 1.51414e-16 (fails 50) via crossover lrll<->rrlrr +[310560 evals] best 1.51745e-16 (fails 50) via retype 1/rrlr->m +[313120 evals] best 1.52084e-16 (fails 50) via retype 1/rrll->ur2 +[314960 evals] best 1.52441e-16 (fails 50) via level_retype 1/rrll<->0/rlrrr +[316240 evals] best 1.5514e-16 (fails 50) via core_undivide noop +[316400 evals] best 2.98902e-16 (fails 49) via core_undivide noop +[319440 evals] best 3.04842e-16 (fails 49) via level_retype 0/rrllll<->1/lrrrl +[320800 evals] best 3.06083e-16 (fails 49) via swap 0/rlrl +[323040 evals] best 3.07396e-16 (fails 49) via core_undivide noop +[324320 evals] best 3.17316e-16 (fails 49) via undivide 0/rrrl +[326800 evals] best 3.18549e-16 (fails 49) via crossover rlrll<->lrll +[327600 evals] best 3.19798e-16 (fails 49) via crossover rrllll<->rlllrr +[333040 evals] best 3.22121e-16 (fails 49) via core_undivide noop +[334400 evals] best 3.29134e-16 (fails 49) via crossover rrrr<->lrlrl +[337200 evals] best 3.29777e-16 (fails 49) via level_retype 1/rrrr<->0/rllll +[349760 evals] best 3.30314e-16 (fails 49) via core_undivide noop +[353440 evals] best 3.34503e-16 (fails 49) via undivide 0/rrrl +[353680 evals] best 5.9728e-16 (fails 48) via rotate 0/rrl +[369600 evals] best 5.98058e-16 (fails 48) via core_undivide noop +[371920 evals] best 5.98874e-16 (fails 48) via retype 0/rllr->gh1 +[377520 evals] best 5.99301e-16 (fails 48) via core_undivide noop +[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 diff --git a/experiments/results/coldstart_baseline.tsv b/experiments/results/coldstart_baseline.tsv index 74e5359..f1bd46c 100644 --- a/experiments/results/coldstart_baseline.tsv +++ b/experiments/results/coldstart_baseline.tsv @@ -6,3 +6,4 @@ harbor-house 1 500000 43 7 36 1.44523e-15 166958.6 coldstart-500000-s1.dom 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