chiark / gitweb /
A big pile more data!
authorSimon Tatham <anakin@pobox.com>
Tue, 18 Mar 2014 18:15:37 +0000 (18:15 +0000)
committerSimon Tatham <anakin@pobox.com>
Tue, 18 Mar 2014 18:15:37 +0000 (18:15 +0000)
commit375a2a8a4176cbb616088e4af19029266090381f
treee10617fe258ee3c2909b10b3c9a1e6578339b685
parent2ad01625bf7ff39f8fe56a476587fe154f46baa5
A big pile more data!

Mostly easy stuff, here. I ran both search programs on each n,m up to
30 with a half-hour time limit, and these are all the ones for which
one or other search finished within that time.

Generally, 'main' seems to do well for small m, and 'partition.py'
finds large m easy, and there's a remaining slick of difficult cases
in between.
250 files changed:
data/main.18.2 [new file with mode: 0644]
data/main.18.3 [new file with mode: 0644]
data/main.18.4 [new file with mode: 0644]
data/main.18.6 [new file with mode: 0644]
data/main.19.2 [new file with mode: 0644]
data/main.19.3 [new file with mode: 0644]
data/main.19.4 [new file with mode: 0644]
data/main.20.2 [new file with mode: 0644]
data/main.20.3 [new file with mode: 0644]
data/main.20.4 [new file with mode: 0644]
data/main.20.5 [new file with mode: 0644]
data/main.21.2 [new file with mode: 0644]
data/main.21.3 [new file with mode: 0644]
data/main.21.4 [new file with mode: 0644]
data/main.22.2 [new file with mode: 0644]
data/main.22.3 [new file with mode: 0644]
data/main.22.4 [new file with mode: 0644]
data/main.23.2 [new file with mode: 0644]
data/main.23.3 [new file with mode: 0644]
data/main.23.4 [new file with mode: 0644]
data/main.24.2 [new file with mode: 0644]
data/main.24.3 [new file with mode: 0644]
data/main.24.4 [new file with mode: 0644]
data/main.25.2 [new file with mode: 0644]
data/main.25.3 [new file with mode: 0644]
data/main.25.4 [new file with mode: 0644]
data/main.26.2 [new file with mode: 0644]
data/main.26.3 [new file with mode: 0644]
data/main.27.2 [new file with mode: 0644]
data/main.27.3 [new file with mode: 0644]
data/main.28.2 [new file with mode: 0644]
data/main.28.3 [new file with mode: 0644]
data/main.29.2 [new file with mode: 0644]
data/main.29.3 [new file with mode: 0644]
data/main.30.2 [new file with mode: 0644]
data/main.30.3 [new file with mode: 0644]
data/partition.18.10 [new file with mode: 0644]
data/partition.18.11 [new file with mode: 0644]
data/partition.18.12 [new file with mode: 0644]
data/partition.18.13 [new file with mode: 0644]
data/partition.18.14 [new file with mode: 0644]
data/partition.18.15 [new file with mode: 0644]
data/partition.18.16 [new file with mode: 0644]
data/partition.18.17 [new file with mode: 0644]
data/partition.18.5 [new file with mode: 0644]
data/partition.18.7 [new file with mode: 0644]
data/partition.18.8 [new file with mode: 0644]
data/partition.18.9 [new file with mode: 0644]
data/partition.19.10 [new file with mode: 0644]
data/partition.19.11 [new file with mode: 0644]
data/partition.19.12 [new file with mode: 0644]
data/partition.19.13 [new file with mode: 0644]
data/partition.19.14 [new file with mode: 0644]
data/partition.19.15 [new file with mode: 0644]
data/partition.19.16 [new file with mode: 0644]
data/partition.19.17 [new file with mode: 0644]
data/partition.19.18 [new file with mode: 0644]
data/partition.19.5 [new file with mode: 0644]
data/partition.19.6 [new file with mode: 0644]
data/partition.19.7 [new file with mode: 0644]
data/partition.19.8 [new file with mode: 0644]
data/partition.19.9 [new file with mode: 0644]
data/partition.20.10 [new file with mode: 0644]
data/partition.20.11 [new file with mode: 0644]
data/partition.20.12 [new file with mode: 0644]
data/partition.20.13 [new file with mode: 0644]
data/partition.20.14 [new file with mode: 0644]
data/partition.20.15 [new file with mode: 0644]
data/partition.20.16 [new file with mode: 0644]
data/partition.20.17 [new file with mode: 0644]
data/partition.20.18 [new file with mode: 0644]
data/partition.20.19 [new file with mode: 0644]
data/partition.20.6 [new file with mode: 0644]
data/partition.20.7 [new file with mode: 0644]
data/partition.20.8 [new file with mode: 0644]
data/partition.20.9 [new file with mode: 0644]
data/partition.21.10 [new file with mode: 0644]
data/partition.21.11 [new file with mode: 0644]
data/partition.21.12 [new file with mode: 0644]
data/partition.21.13 [new file with mode: 0644]
data/partition.21.14 [new file with mode: 0644]
data/partition.21.15 [new file with mode: 0644]
data/partition.21.16 [new file with mode: 0644]
data/partition.21.17 [new file with mode: 0644]
data/partition.21.18 [new file with mode: 0644]
data/partition.21.19 [new file with mode: 0644]
data/partition.21.20 [new file with mode: 0644]
data/partition.21.6 [new file with mode: 0644]
data/partition.21.7 [new file with mode: 0644]
data/partition.21.8 [new file with mode: 0644]
data/partition.21.9 [new file with mode: 0644]
data/partition.22.10 [new file with mode: 0644]
data/partition.22.11 [new file with mode: 0644]
data/partition.22.12 [new file with mode: 0644]
data/partition.22.13 [new file with mode: 0644]
data/partition.22.14 [new file with mode: 0644]
data/partition.22.15 [new file with mode: 0644]
data/partition.22.16 [new file with mode: 0644]
data/partition.22.17 [new file with mode: 0644]
data/partition.22.18 [new file with mode: 0644]
data/partition.22.19 [new file with mode: 0644]
data/partition.22.20 [new file with mode: 0644]
data/partition.22.21 [new file with mode: 0644]
data/partition.22.7 [new file with mode: 0644]
data/partition.22.8 [new file with mode: 0644]
data/partition.22.9 [new file with mode: 0644]
data/partition.23.10 [new file with mode: 0644]
data/partition.23.11 [new file with mode: 0644]
data/partition.23.12 [new file with mode: 0644]
data/partition.23.13 [new file with mode: 0644]
data/partition.23.14 [new file with mode: 0644]
data/partition.23.15 [new file with mode: 0644]
data/partition.23.16 [new file with mode: 0644]
data/partition.23.17 [new file with mode: 0644]
data/partition.23.18 [new file with mode: 0644]
data/partition.23.19 [new file with mode: 0644]
data/partition.23.20 [new file with mode: 0644]
data/partition.23.21 [new file with mode: 0644]
data/partition.23.22 [new file with mode: 0644]
data/partition.23.7 [new file with mode: 0644]
data/partition.23.8 [new file with mode: 0644]
data/partition.23.9 [new file with mode: 0644]
data/partition.24.10 [new file with mode: 0644]
data/partition.24.11 [new file with mode: 0644]
data/partition.24.12 [new file with mode: 0644]
data/partition.24.13 [new file with mode: 0644]
data/partition.24.14 [new file with mode: 0644]
data/partition.24.15 [new file with mode: 0644]
data/partition.24.16 [new file with mode: 0644]
data/partition.24.17 [new file with mode: 0644]
data/partition.24.18 [new file with mode: 0644]
data/partition.24.19 [new file with mode: 0644]
data/partition.24.20 [new file with mode: 0644]
data/partition.24.21 [new file with mode: 0644]
data/partition.24.22 [new file with mode: 0644]
data/partition.24.23 [new file with mode: 0644]
data/partition.24.6 [new file with mode: 0644]
data/partition.24.8 [new file with mode: 0644]
data/partition.24.9 [new file with mode: 0644]
data/partition.25.10 [new file with mode: 0644]
data/partition.25.11 [new file with mode: 0644]
data/partition.25.12 [new file with mode: 0644]
data/partition.25.13 [new file with mode: 0644]
data/partition.25.14 [new file with mode: 0644]
data/partition.25.15 [new file with mode: 0644]
data/partition.25.16 [new file with mode: 0644]
data/partition.25.17 [new file with mode: 0644]
data/partition.25.18 [new file with mode: 0644]
data/partition.25.19 [new file with mode: 0644]
data/partition.25.20 [new file with mode: 0644]
data/partition.25.21 [new file with mode: 0644]
data/partition.25.22 [new file with mode: 0644]
data/partition.25.23 [new file with mode: 0644]
data/partition.25.24 [new file with mode: 0644]
data/partition.25.5 [new file with mode: 0644]
data/partition.25.8 [new file with mode: 0644]
data/partition.25.9 [new file with mode: 0644]
data/partition.26.10 [new file with mode: 0644]
data/partition.26.11 [new file with mode: 0644]
data/partition.26.12 [new file with mode: 0644]
data/partition.26.13 [new file with mode: 0644]
data/partition.26.14 [new file with mode: 0644]
data/partition.26.15 [new file with mode: 0644]
data/partition.26.16 [new file with mode: 0644]
data/partition.26.17 [new file with mode: 0644]
data/partition.26.18 [new file with mode: 0644]
data/partition.26.19 [new file with mode: 0644]
data/partition.26.20 [new file with mode: 0644]
data/partition.26.21 [new file with mode: 0644]
data/partition.26.22 [new file with mode: 0644]
data/partition.26.23 [new file with mode: 0644]
data/partition.26.24 [new file with mode: 0644]
data/partition.26.25 [new file with mode: 0644]
data/partition.27.10 [new file with mode: 0644]
data/partition.27.11 [new file with mode: 0644]
data/partition.27.12 [new file with mode: 0644]
data/partition.27.13 [new file with mode: 0644]
data/partition.27.14 [new file with mode: 0644]
data/partition.27.15 [new file with mode: 0644]
data/partition.27.16 [new file with mode: 0644]
data/partition.27.17 [new file with mode: 0644]
data/partition.27.18 [new file with mode: 0644]
data/partition.27.19 [new file with mode: 0644]
data/partition.27.20 [new file with mode: 0644]
data/partition.27.21 [new file with mode: 0644]
data/partition.27.22 [new file with mode: 0644]
data/partition.27.23 [new file with mode: 0644]
data/partition.27.24 [new file with mode: 0644]
data/partition.27.25 [new file with mode: 0644]
data/partition.27.26 [new file with mode: 0644]
data/partition.27.9 [new file with mode: 0644]
data/partition.28.10 [new file with mode: 0644]
data/partition.28.11 [new file with mode: 0644]
data/partition.28.12 [new file with mode: 0644]
data/partition.28.13 [new file with mode: 0644]
data/partition.28.14 [new file with mode: 0644]
data/partition.28.15 [new file with mode: 0644]
data/partition.28.16 [new file with mode: 0644]
data/partition.28.17 [new file with mode: 0644]
data/partition.28.18 [new file with mode: 0644]
data/partition.28.19 [new file with mode: 0644]
data/partition.28.20 [new file with mode: 0644]
data/partition.28.21 [new file with mode: 0644]
data/partition.28.22 [new file with mode: 0644]
data/partition.28.23 [new file with mode: 0644]
data/partition.28.24 [new file with mode: 0644]
data/partition.28.25 [new file with mode: 0644]
data/partition.28.26 [new file with mode: 0644]
data/partition.28.27 [new file with mode: 0644]
data/partition.28.4 [new file with mode: 0644]
data/partition.28.7 [new file with mode: 0644]
data/partition.29.11 [new file with mode: 0644]
data/partition.29.12 [new file with mode: 0644]
data/partition.29.13 [new file with mode: 0644]
data/partition.29.14 [new file with mode: 0644]
data/partition.29.15 [new file with mode: 0644]
data/partition.29.16 [new file with mode: 0644]
data/partition.29.17 [new file with mode: 0644]
data/partition.29.18 [new file with mode: 0644]
data/partition.29.19 [new file with mode: 0644]
data/partition.29.20 [new file with mode: 0644]
data/partition.29.21 [new file with mode: 0644]
data/partition.29.22 [new file with mode: 0644]
data/partition.29.23 [new file with mode: 0644]
data/partition.29.24 [new file with mode: 0644]
data/partition.29.25 [new file with mode: 0644]
data/partition.29.26 [new file with mode: 0644]
data/partition.29.27 [new file with mode: 0644]
data/partition.29.28 [new file with mode: 0644]
data/partition.30.10 [new file with mode: 0644]
data/partition.30.12 [new file with mode: 0644]
data/partition.30.13 [new file with mode: 0644]
data/partition.30.14 [new file with mode: 0644]
data/partition.30.15 [new file with mode: 0644]
data/partition.30.16 [new file with mode: 0644]
data/partition.30.17 [new file with mode: 0644]
data/partition.30.18 [new file with mode: 0644]
data/partition.30.19 [new file with mode: 0644]
data/partition.30.20 [new file with mode: 0644]
data/partition.30.21 [new file with mode: 0644]
data/partition.30.22 [new file with mode: 0644]
data/partition.30.23 [new file with mode: 0644]
data/partition.30.24 [new file with mode: 0644]
data/partition.30.25 [new file with mode: 0644]
data/partition.30.26 [new file with mode: 0644]
data/partition.30.27 [new file with mode: 0644]
data/partition.30.28 [new file with mode: 0644]
data/partition.30.29 [new file with mode: 0644]
data/partition.30.5 [new file with mode: 0644]
data/partition.30.6 [new file with mode: 0644]