Billabob wrote:you may find my spreadsheet of negatives useful
Thanks, although you have recorded some things differently from the main table. On the wiki, a cell is marked green if there is a known spaceship of that width/speed combination
and it has been proven that no thinner spaceships of that type exist. Your table, on the other hand, includes for example a green "48" for (0,5)c/15 asymmetric ships. I'm certain that you haven't proved the nonexistence of a width-47 p15 c/3 orthogonal ship, considering this ship exists:
Code: Select all
x = 30, y = 62, rule = B3/S23
8b2o3b2o$5b2ob2o3b2ob2o$2b4o2bobobobo2b4o$bo4bo2b2ob2o2bo4bo$2b2o6bobo
6b2o$7bobo3bobo$5b3ob5ob3o$4b2obo7bob2o$3bo2bo2bobobo2bo2bo$9bobobo$3b
ob2ob2obob2ob2obo$2b6o3bo3b6o$2b2ob2obo5bob2ob2o2$6b3obobob3o$5bo4bobo
4bo$5bo3b2ob2o3bo$3bo15bo$3bo4bo5bo4bo$5b2ob7ob2o$7bobobobobo$4bo13bo$
2b3o2b2ob3ob2o2b3o$bo2bob2o2b3o2b2obo2bo$o3bob5ob5obo3bo$obobo13bobobo
$b2obob3o5b3obob2o$2b2obobo7bobob2o$4b3obob3obob3o$bo5bo2b3o2bo5bo$6bo
2bo3bo2bo$6b2o7b2o$5bob3o3b3obo$5bo11bo$5bobo2b3o2bobo$2b2obobo7bobob
2o$2b2obobo2bobo2bobob2o$5bobob2ob2obobo$4bobob2obob2obobo$2b3o13b3o$
9b5o$2b2o7bo7b2o$3bo15bo$3bo6b3o6bo$3bob2o2b5o2b2obo$7bob5obo$8bo5bo2$
b2ob4o7b4ob2o$b2o17b2o$b4o3b7o3b4o$3bo15bo$4b2o11b2o2$24bo$22b3ob3o$
21b2o6bo$16bo3bo2bo3b2o$11b2o2b4o$10bo7bo$10bo4bobo2bo$19bo!
Billabob wrote:at the moment I have an ntzfind instance that's been running for 16.2 days, although I've forgotten what it's for.
zfind should echo your options back to you at the start of the search. If you send the output to a file you can simply look at the top of the file to see what the search is. For any potentially long search you should always send the output to a file. To do so, simply add "> output.txt" or ">> output.txt" after your zfind parameters. Obviously, you can change the name of the output file if you wish (you wouldn't want to overwrite your previous output).