coldstart maple-court seed 1 @ 500000: 73 fails (17h/56s)
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:
parent
d7ac57d131
commit
b885bd3dbd
6 changed files with 1177 additions and 0 deletions
|
|
@ -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
|
[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
|
[472960 evals] best 3.67665e-14 (fails 36) via core_undivide noop
|
||||||
[476080 evals] best 8.02802e-14 (fails 35) via rotate 0/rrl
|
[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
|
||||||
|
|
|
||||||
127
examples/health-centre/coldstart-500000-s2.log
Normal file
127
examples/health-centre/coldstart-500000-s2.log
Normal file
|
|
@ -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
|
||||||
628
examples/maple-court/coldstart-500000-s1.dom
Normal file
628
examples/maple-court/coldstart-500000-s1.dom
Normal file
|
|
@ -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
|
||||||
|
|
@ -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
|
[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
|
[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
|
[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
|
||||||
|
|
|
||||||
|
|
@ -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)
|
[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
|
[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
|
[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
|
||||||
|
|
|
||||||
|
|
@ -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
|
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
|
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
|
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
|
||||||
|
|
|
||||||
|
Loading…
Add table
Reference in a new issue