Re: 15 in 15: Efficient 15-bit Synthesis Project (DONE!)
Posted: January 2nd, 2017, 12:35 pm
I invented an automated algorithm glider syntheses on the database still lifes and converters. I got the first encouraging results and suggest them to you for analysis and search for errors.chris_c wrote:I am attaching a Golly script that can hopefully display an incremental synthesis of any 15 bit still life in less than 15 gliders. Save display_synth.txt and min_paths.txt in the same directory....
First and foremost was able to significantly improve the synthesis database for still lifes with size up to 15 bits, inclusive:
6G: 13.103, 13 222:
Code: Select all
x = 82, y = 46, rule = B3/S23
25b2o18b2o28b2o$25bobo17bobo27bobo$26bobo17bobo27bobo$28bo19bo29bo$28b
obo17bobo27bob2o$2o27b2o18b2o28bobo$b2o8b2o41bo25bo$o9b2o42bobo$12bo
38b2ob2o$50bobo$9bo42bo$4b2o3b2o$3bobo2bobo$5bo17$11bo$9b2o$10b2o2$3bo
$bobo$2b2o2bobo14bo14bo19b2o$6b2o11b2obobo9b2obobo14b2obobo$7bo12bobob
o10bobobo15bobo$19bo2b2o10bo2b2o15bo2b2o$19b2o13b2o6b2o10b2o$41b2o$38b
o4bo$bo36b2o$2o35bobo$obo!
Code: Select all
x = 85, y = 222, rule = B3/S23
12bo$11bo$11b3o$6bo$4b2o$bo3b2o$2bo20b2o18b2o18b2o$3o20bo2b2o15bo2b2o
15bo2b2o$24b2o2bo15b2o2bo15b2o2bo$27bobo17bobo17bobo$28bo19bo19b2o$13b
2o$13bobo38b2o$13bo36bo2b2o$50b2o3bo$4b2o43bobo$5b2o$4bo23$obo$b2o6bo$
bo6bo$8b3o4$27b2o18b2o28b2o$27bo2b2o15bo2b2o25bo2b2o$12bo16b2o2bo15b2o
2bo25b2obo$7b2o2b2o19b2o18b2o29bo$6bobo2bobo43bo26bo$8bo46b2o26b2o$56b
2o2$55bo$54b2o$54bobo2$16bo$15b2o$15bobo24$2bo$obo$b2o$11bo$11bobo$11b
2o14b2o18b2o18b2o$6bobo16bo2b3o14bo2b3o14bo2b3o$7b2o16b2o4bo13b2o4bo
13b2o4bo$7bo22bobo17bobo17bobo$31bo19bo19b2o2$15b2o40b2o$2o13bobo35bo
2b2o$b2o12bo37b2o3bo$o51bobo26$2bo2bobo19b2o18b2o28b2o$obo2b2o20bobo
17bobo27bobo$b2o3bo22bo19bo29bo$29bobo17bobo27bobo$30bobo17bobo27bobo$
31bo19bo9bo20bo$13b2o45bo20bo$13bobo37b2o5b3o18b2o$5bo7bo40b2o$5b2o46b
o3b3o$4bobo50bo$58bo24$8bo$8bobo$8b2o$6bo$5b2o15bo19bo29bo$2bo2bobo13b
obo17bobo27bobo$obo17bobo17bobo27bobo$b2o17bo19bo29bo$21bo19bo29bo$22b
obo17bobo2bobo22bo$4b2o17b2o18b2o2b2o24bo$4bobo41bo25bobo$4bo70b2o$45b
2o$46b2o2b2o$45bo3b2o$51bo24$12bo$10b2o$11b2o4$obo$b2o$bo21bo19bo19bo$
22bobo17bobo17bobo$5b2o15bo2bo16bo2bo16bo2bo$6b2o15b2o18b2o18b2o$5bo4b
o14b3o17b3o17b3o$9b2o14bo2bo16bo2bo16bo2bo$9bobo15b2o18b2o17b2o2$51b2o
$51bobo$b3o47bo$3bo43b3o$2bo46bo$48bo!
Code: Select all
#D03303418
x = 88, y = 149, rule = B3/S23
13bo$3bobo6bo$4boo6b3o$4bo3$13boo$12boo14boo18boo28boo3boo$3o11bo13bo
3boo14bo3boo24bo3bobo$bbo26bobbo16bobbo26bobbo$bo28bobo17bobo27bobo$
31bo19bo5bo23bo$56bo$56b3o$16boo$15boo38boo3boo$17bo36bobo3bobo$56bo3b
o23$4bo$4bobo$4boo17boo18boo18boo$22bobo17bobo17bobo$21bo19bo19bo$boo
17bo19bo19bo$obo17bobo17bobo17bobo$bbobbobo13bobo17bobo17bobo$5boo15bo
19bo5boo13bo$6bo40boo14boo$8boo39bo$8bobo41boo$8bo30boo6boobboo$40boo
4bobo4bo$39bo8bo26$17bo$17bobo$17boo6$15bobo$6b3o6boo$6bo9bo11boo18boo
28boo$7bo20bo19bo29bo$29bo19bo29bo$6boo22bo19bo29bo$5bobo23bo19bo29bo$
3o4bo24bo19bo29bo$bbo30bobo17bobobbobo22bo$bo32boo18boobboo24bo$59bo
25bobo$86boo$56boo$57boobboo$56bo3boo$62bo22$3bo$4boo$3boo$7bo$6bo$6b
3o$$bbobo$bboo$3bo$19boo18boo28boo$19bo19bo29bo$20b3o17b3o27b3o$6boo
15bo19bo29bo$5boo15bo19bo6bobo20bo$7bo14boo18boo5boo20bo$50bo21b3o$oo
72bo$boo42bo$o44bobo$45boo$41boo$42boo$41bo!
Code: Select all
x = 107, y = 269, rule = B3/S23
4b3o12$9bobo8bobo$10b2o8b2o16bo19bo29bo$10bo10bo15bobo17bobo27bobo$34b
obo2bo14bobo2bo24bobo2bo$34b2o3b2o13b2o3b2o3bobo17b2o3b3o$64b2o26bo$
65bo25b2o3$62b3o$62bo$5bo57bo$3bobo$4b2o2$b2o$obo$2bo4b3o$9bo$8bo22$
17bobo$17b2o$18bo2$11b3o$11bo$2bobo7bo$3b2o4bo$3bo5b2o27b2o18b2o18b2o$
8bobo25b3obobo13b3obobo2bobo8b3obo$35bo5b2o12bo5b2o2b2o8bo5bo$35b2o18b
2o9bo8b2o5bobo$83b2o$63b2o$3o61b2o2b2o$2bo60bo3b2o$bo67bo24$18bobo12bo
19bo19bo$18b2o12bobo17bobo17bobo$12b2o5bo11bobobo15bobobo15bobobo$8b2o
2bobo17bo2bo16bo2bo16bo2bo$9b2obo22bobo17bobo17bobo$8bo27bobo17bobo17b
obo$37bo19bo19b2o2$17b2o44b2o$17bobo39bo2b2o$17bo41b2o3bo$58bobo2$10b
3o$12bo$3o8bo$2bo$bo23$2bo$3bo$b3o3$26bo19bo29bo$25bobo17bobo27bobo$4b
obo19bobo17bobo27bobo$5b2o20bobo17bobo27bobo$bo3bo23bo19bo29bo$b2o26bo
bo17bobo6bo20bobo$obo27b2o18b2o6bobo19bobo$54b2o2b2o21b2o$9bo44bobo$9b
2o43bo$8bobo39b2o$51b2o$bo48bo$b2o$obo21$15bobo$15b2o23bo19bo19bo$16bo
22bobo17bobo17bobo$39b2o18b2o18b2o$37b2o18b2o18b2o$36bobo17bobo17bobo$
36bo19bo19bo$12bo24bo19bo19bo$13bo22b2o18b2o20bo$11b3o63b2o$15b2o46bob
o$15bobo45b2o$15bo48bo2$49b3o12b2o$51bo12bobo$50bo9bo3bo$60b2o$b2o56bo
bo$obo$2bo25$36bo8bobo$34bobo8b2o$35b2o9bo$64bo19bo19bo$62b3o17b3o17b
3o$6bo13b3o17b3o18bo19bo19bo$5bo13b3o17b3o3b2o14bob2o16bob2o16bob4o$2o
3b3o37bobo12b2obobo14b2obobo2bo11b2obo2bo$b2o42bo18bo19bo3bobo$o87b2o$
6b2o$6bobo81b2o$6bo82bobo$91bo22$7bo$5bobo$6b2o$26b2o18b2o28b2o$4bo10b
obo8bobo17bobo27bobo$4b2o9b2o11bo19bo29bo$3bobo10bo10bo19bo29bo$27bobo
17bobo27bobo$28bobo17bobo27bobo$29bo19bo9bo20bo$58bo20bo$b2o48b2o5b3o
18b2o$obo49b2o$2bo8b3o37bo3b3o$11bo43bo$12bo43bo!
Code: Select all
#D0490FA34
x = 116, y = 146, rule = B3/S23
obo$boo$bo6$26bo$24boo$25boo$36boo23boo19boo$36bobo22bobo18bobo$38bo
24bo5bo14bo$37bo24bo4boo14bo$37boo23boo4boo13boo$14bobo21bo24bo21bo$
15boo21bobo22bobo16bobo$15bo23boo17bobo3boo16boo$11b3o45boo$13bo45bo$
12bo54boo$57boo7boo$58boo8bo$57bo$14boo$15boo$14bo23$48b3o$44bo3bo$45b
oobbo$bobo40boo$boo18bo19bo29bobo17bobobbobo12bo$bbo17bobo17bobo27bob
oo16boboobboo12bobo$20boo18boo28bo19bo6bo12bobbobo$3o65bobo17bobo17bob
o3boo$bbo34bo29bobo17bobo4boo11bobo$bo35boo3boo24bo19bo6boobboo7bo$36b
obobboo51bo3boo$43bo56bo24$7bo$6boo$bbo3bobo$bboo$bobo21boo18boo28boo$
26bo19bo29bo$25bo19bo29bo$13bo10bo19bo29bo$12boo10bobo17bobo27bobo$12b
obo10bobo17bobo27bobo$26bo19bo9bo20bo$55bo20bo$48boo5b3o18boo$3o46boo$
bbo45bo3b3o$bo9bo40bo$10boo41bo$4b3o3bobo$6bo$5bo26$22bo$21bo$21b3o$
40boo18boo18boo$26bo12bobbo16bobbo16bobbo$24boo12bobobbobo12bobobbobo
bbobo7bobobbo$25boo12bo4boo13bo4boobboo9bo4bo$obo66bo15bobo$boo6boo75b
oo$bo8boo54boo$9bo57boobboo$12boo52bo3boo$12bobo57bo$12bo8b3o$21bo$22b
o!
Code: Select all
x = 136, y = 292, rule = B3/S23
bo$2b2o$b2o2$7bo$8b2o$7b2o13bo$22bobo$22b2o9$26bo18bobo17bobo2bobo12bo
$19b3o3b2o14b2obob2o13b2obob2o2b2o9b2obobo$21bo3bobo14bobo17bobo6bo10b
obo2bobo$20bo21bobo17bobo17bobo3b2o$43bo19bo4b2o13bo$69b2o2b2o$68bo3b
2o$74bo3$9b2o$8bobo$10bo26$bobo$2b2o$2bo4$3bo8bo$4bo5b2o$2b3o6b2o11b2o
bo16b2obo26b2obo$24bob2o16bob2o26bob2o$28b2obo16b2obo2bobo21b2o$3b2o6b
3o14bob2o16bob2o2b2o22bobo$4b2o5bo43bo25bobo$3bo8bo69b2o$52b2o$53b2o2b
2o$52bo3b2o$13bo44bo$12b2o$12bobo31$47bo$45bobo$46b2o2$45bo$44b2o$44bo
bo$7bo28bobo23b2o18b2o28b2o$2b2ob2o15bo14b2o3bo19bo19bo29bo$bobo2b2o
13bobo13bo3bobo19bo19bo29bo$3bo17b2o18b2o17b3o17b3o27b3o$59bo19bo29bo$
37b2o19bobo17bobo28b2o$38b2o19bo19bo9bo20bo$37bo50bo20bo$81b2o5b3o18b
2o$82b2o$81bo3b3o$85bo$86bo26$17bo$15b2o9bo$16b2o8bobo$26b2o$56bo19bo
19bo$2bo20b3o29bobobo15bobobo2bobo10bobo$obo20bo31bo2b2o15bo2b2o2b2o
11bo2bo$b2o21bo9b3o16bobo17bobo7bo9bobo3bobo$34bo17bobo17bobo17bobo5b
2o$35bo17bo19bo6b2o11bo$81b2o2b2o$80bo3b2o$86bo3$15b3o$15bo$16bo23$bob
o101bobo$2b2o6bo95b2o$2bo6bo96bo$9b3o$104b2o$105b2o20b2o$104bo22bo$28b
2o18b2o28b2o28b2o18bo$28bo2b2o15bo2b2o25bo2b2o25bo2b2o16bob2o$13bo16b
2o2bo15b2o2bo25b2obo26b2obo16b2obo$8b2o2b2o19b2o18b2o29bo29bo19bo$7bob
o2bobo43bo26bo29bo19bo$9bo46b2o26b2o28b2o18b2o$57b2o2$56bo$55b2o$55bob
o2$17bo$16b2o$16bobo24$7bo18b2o28b2o18b2o18b2o28b2o$6bo18bo2bo26bo2bo
16bo2bo16bo2bo26bo2bo$6b3o15bo2bobo24bo2bobo14bo2bobo14bo2bobo24bo2bob
o$23bo4bo24bo4bo14bo4bo14bo4bo24bo4b2o$b3o19b2o28b2o17bo19bo29bo$3bo4b
2o38bobo20bo19bo12b2o15bo$2bo6b2o38b2o20b2o18b2o7bo2b2o16b2o$8bo40bo3b
2o45b2o3bo$11b3o38b2o45bobo$11bo36bo5bo$12bo35b2o$47bobo24$31b2o18b2o
28b2o$31bobo17bobo27bobo$16bo17bo19bo29bo$16bobo16bo19bo29bo$16b2o18bo
19bo29bo$37bo19bo29bo$38bo19bo29bo$15bo21b2o18b2o30bo$10b2o2bo37bobo6b
o24b3o$10bobob3o36b2o6bobo22bo$10bo42bo3b2o2b2o$58b2o$52bo4bo$52b2o$
51bobo3$9b2o$10b2o$b3o5bo$3bo$2bo!
Code: Select all
#D0490FA34
x = 122, y = 346, rule = B3/S23
bbo$obo$boo28bo$29boo$30boo11$19bo$19bobo54bo19bo19bo$19boo54bobo17bob
o17bobo$74bobbo16bobbo16bobbo$18bo54bo3bobo13bo3bobo13bo3bobo$16bobo
54boo3bobo12boo3bobo12boo3bobo$17boo60bo19bo19boo$$105boo$101bobboo$
101boo3bo$100bobo9$14boobb3o$13bobobbo$15bo3bo16$61boo$60boo$62bo25$4b
o$bbobo$3boo22bobo17bobobbobo12bo$12boo12boboo16boboobboo12bobo$11b4o
11bo19bo6bo12bobbobo$10booboo9bobo17bobo17bobo3boo$11boo10bobo17bobo4b
oo11bobo$23boo18boo6boobboo6boo$50bo3boo$56bo$$10b3o$10bo$11bo$$b3o$3b
o$bbo23$5bo$6bo$4b3o$46boo18boo28boo$bo43bobbo16bobbo5bo20bobbo$bboo
38bobobbobo12bobobbobobboo18bobobbobo$boo39boo4bo13boo4bo4boo17boo4bob
o$25bobo71boo$17boo6boo$16boo8bo44b3o$18bo54bo$14boo56bo3boo$13bobo60b
obo$4b3o8bo60bo$6bo$5bo25$10bo$10bobo$10boo$boo$bboo$bo38bo19bo29bo$
40b3o17b3o27b3o$22b3o18bo19bo29bo$18bo3bo19bo19bo29bo$8bo10boobbo18bob
o17bobo27bobo$8boo8boo23bobo17bobo27bobo$7bobo3boo29bo19bo9bo20bo$14b
oo57bo20bo$13bo52boo5b3o18boo$67boo$66bo3b3o$70bo$71bo23$4bo11bobo$5bo
10boo$3b3o11bo$29boo18boo18boo$28bobbo16bobbo16bobbo$28boboo16boboo16b
oboo$27boobo16boobo16boobo$14bo16bo19bo19b3o$13boo17bo19bo20bo$13bobo
15boo18boo$9b3o48boo$11bo44boobbobo$10bo46boobo$bboo52bo7boo$bobo60bob
o$3bo40bo19bo$44boo$43bobo23$9bo$8bo$8b3o6bo$16bo$16b3o$$bbo$bo38bo14b
o10bo18bo$b3o14boo15boobbobo8boobbobo10bo12boobbobo$17boo16bobobbo9bob
obbo9b3o12bobobbobo$19bo18boo13boo28boobbo$3b3o81boo$3bo10boo50b3o$4bo
8boo53bo$15bo51bo10$48boo$47bobo$49bo24$63bo$61boo$62boo16$16bo3bo$14b
obobbo$15boobb3o14$18boo60bo19bo19bo$17bobo54boo3bobo12boo3bobo12boo3b
obo$19bo54bo3bobo13bo3bobo13bo3boboo$75bobbo16bobbo16bobbo$20boo54bobo
17bobo7boo8bobo$20bobo54bo19bo4bobboo10bo$20bo81boo3bo$101bobo10$31boo
$30boo$bboo28bo$bobo$3bo!
Code: Select all
x = 123, y = 115, rule = B3/S23
4bobo$5b2o3bo$5bo4bobo$10b2o$obo$b2o$bo2$26bo19bo19bo$12bo12bobo17bobo
17bobo$12bobo9bobo17bobo17bobo$12b2o10bo19bo19bo$25bo19bo19bo$26bo19bo
19bo$3bo21b2o18b2o20bo$bobo36bobo6bo14b3o$2b2o2bo34b2o6bobo12bo$6bobo
32bo3b2o2b2o$6b2o38b2o$40bo4bo$40b2o$39bobo24$104bo3bo$102bobo3bobo$
103b2o3b2o$118b2o$13bo14b2o18b2o28b2o18b2o4b3o11bo$8bobo2bobo12bo19bo
10bo18bo19bo5bo14bo$9b2o2b2o14bo19bo10bo18bo19bo5bo10b3obo$9bo16b3o17b
3o9b3o15b3obo15b3obo15bo3bo$26bo19bo29bo3bo15bo3bo19bobo$80b2o18b2o19b
2o$59b3o$b2o12b3o43bo$obo12bo44bo$2bo13bo9$41b2o$40bobo$42bo21$47bo$
48bo$46b3o4$49bo$47b2o$44bo3b2o$45b2o$44b2o$5bo$4bo$4b3o57b2o14b2o19b
2o$23b2o18b2o4bo13bobo13bobo18bobo$22bobo17bobo2b2o13bo15bo20bo$21bo
19bo6b2o11bo15bo20bo$20bo19bo19bo15bo20bo$3o4bo12bobo17bobo17bobo13bob
o18bobo$2bo2b2o14bobo17bobo17bobo13bobo2b3o13bobo$bo4b2o14bo19bo19bo
15bo3bo16bobo$9b2o72bo16bo$9bobo69bo$9bo71b2o$80bobo!
Code: Select all
x = 207, y = 222, rule = B3/S23
obo$b2o24bo$bo25bobo$27b2o3$63bobo$64b2o$64bo$71bo$70bo$70b3o2$42b2o2b
2o14b2o2b2o5b3o6b2o2bobo13b2o2bobo2bobo8b2o2bo$42bo2bobo14bo2bobo5bo8b
o2bob2o13bo2bob2o2b2o9bo2bobo$43bobo17bobo8bo8bobo17bobo6bo10bobo2bobo
$29bo3bo10b2o18b2o18b2o18b2o18b2o3b2o$27bobob2o76b2o$28b2o2b2o76b2o2b
2o$109bo3b2o$115bo8$4b2o$5b2o$4bo25$10bo$11bo$2bo6b3o$3bo$b3o$58bobo$
17bo40b2o4bobo$18bo10bo19bo9bo4b2o13bo6b2o$2o14b3o9bobo2b2o13bobo2b2o
10bo12bobo2b2o2bo$b2o26bo2bobo14bo2bobo7bo16bo2bob2o$o29b2o18b2o9b2o
17b2o$14b3o39bobo2bobo$4b2o10bo39b2o$5b2o8bo41bo$4bo$57b3o$57bo$58bo
23$30bo$29bo$29b3o$26bo$2bo24bo19b2o18b2o28b2o$obo22b3o20bo19bo29bo$b
2o44bo19bo4bobo22bo$31bo14bo19bo5b2o4bobo15bo$31bobo11bo19bo7bo4b2o15b
o4b2o$14bo16b2o13b3o17b3o10bo16b3o2bo$15b2o31bo19bo7bo21b2o$14b2o59b2o
$70bobo2bobo$70b2o$71bo2$71b3o$71bo$72bo2$14b2o$15b2o$14bo23$67bo$66bo
$66b3o47$25bo$24bo$24b3o$11bo$10bo$10b3o2$o80b2o38b2o$b2o78b2o38b2o$2o
20b2o$17b2o2b2o94b2o$16bobo4bo94b2o$18bo98bo2$3b3o$5bo$4bo3$84bo39bo$
84bo39bo$84bo39bo2$80b3o3b3o31b3o3b3o$91b2o2b2o34b2o2b2o14b2o2b2o24b2o
2b2o14b2o2b2o$84bo5bo2bo2bo20b2o5bo5bo2bo2bo13bo2bo2bo23bo2bo2bo13bo2b
o2bo$84bo4bobo2b2o22b2o4bo4bobo2b2o13bobo2b2o23bobo2b2o13bobo2b2o$84bo
5bo26bo6bo5bo19bo29bo17bobo$175bo23bo$176b2o$175b2o2b2o$178bobo$180bo!
Code: Select all
x = 108, y = 27, rule = B3/S23
47bo$48bo$46b3o4$49bo$47b2o$44bo3b2o$45b2o$44b2o$5bo$4bo$4b3o57b2o20b
2o18b2o$23b2o18b2o4bo13bobo19bobo17bobo$22bobo17bobo2b2o13bo21bo19bo$
21bo19bo6b2o11bo21bo19bo$20bo19bo19bo21bo19bo$3o4bo12bobo17bobo17bobo
19bobo17bobo$2bo2b2o14bobo17bobo17bobo19bobo17bobo$bo4b2o14bo19bo19bo
21bo5b2o13bo$9b2o78b2o14b2o$9bobo79bo$9bo84b2o$81b2o6b2o2b2o$82b2o4bob
o4bo$81bo8bo!