chiark
/
gitweb
/
~ianmdlvl
/
matchsticks-search.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
|
snapshot
Run 'main' for (11,5), for which the bound wasn't tight.
[matchsticks-search.git]
/
data
/
drwxr-xr-x
..
-rw-r--r--
177
main.10.2
blob
|
history
|
raw
-rw-r--r--
253
main.10.3
blob
|
history
|
raw
-rw-r--r--
212
main.10.4
blob
|
history
|
raw
-rw-r--r--
165
main.10.5
blob
|
history
|
raw
-rw-r--r--
230
main.10.6
blob
|
history
|
raw
-rw-r--r--
312
main.11.5
blob
|
history
|
raw
-rw-r--r--
220
main.15.2
blob
|
history
|
raw
-rw-r--r--
177
main.15.3
blob
|
history
|
raw
-rw-r--r--
189
main.16.2
blob
|
history
|
raw
-rw-r--r--
347
main.16.3
blob
|
history
|
raw
-rw-r--r--
229
main.17.2
blob
|
history
|
raw
-rw-r--r--
477
main.17.3
blob
|
history
|
raw
-rw-r--r--
310
main.17.4
blob
|
history
|
raw
-rw-r--r--
169
main.3.2
blob
|
history
|
raw
-rw-r--r--
161
main.4.2
blob
|
history
|
raw
-rw-r--r--
213
main.4.3
blob
|
history
|
raw
-rw-r--r--
177
main.5.2
blob
|
history
|
raw
-rw-r--r--
233
main.5.3
blob
|
history
|
raw
-rw-r--r--
215
main.5.4
blob
|
history
|
raw
-rw-r--r--
165
main.6.2
blob
|
history
|
raw
-rw-r--r--
161
main.6.3
blob
|
history
|
raw
-rw-r--r--
197
main.6.4
blob
|
history
|
raw
-rw-r--r--
185
main.6.5
blob
|
history
|
raw
-rw-r--r--
185
main.7.2
blob
|
history
|
raw
-rw-r--r--
249
main.7.3
blob
|
history
|
raw
-rw-r--r--
227
main.7.4
blob
|
history
|
raw
-rw-r--r--
321
main.7.5
blob
|
history
|
raw
-rw-r--r--
201
main.7.6
blob
|
history
|
raw
-rw-r--r--
169
main.8.2
blob
|
history
|
raw
-rw-r--r--
279
main.8.3
blob
|
history
|
raw
-rw-r--r--
161
main.8.4
blob
|
history
|
raw
-rw-r--r--
221
main.8.5
blob
|
history
|
raw
-rw-r--r--
213
main.8.6
blob
|
history
|
raw
-rw-r--r--
251
main.8.7
blob
|
history
|
raw
-rw-r--r--
193
main.9.2
blob
|
history
|
raw
-rw-r--r--
165
main.9.3
blob
|
history
|
raw
-rw-r--r--
239
main.9.4
blob
|
history
|
raw
-rw-r--r--
201
main.9.5
blob
|
history
|
raw
-rw-r--r--
177
main.9.6
blob
|
history
|
raw
-rw-r--r--
259
main.9.7
blob
|
history
|
raw
-rw-r--r--
201
main.9.8
blob
|
history
|
raw
-rw-r--r--
330
partition.10.7
blob
|
history
|
raw
-rw-r--r--
196
partition.10.8
blob
|
history
|
raw
-rw-r--r--
200
partition.10.9
blob
|
history
|
raw
-rw-r--r--
290
partition.11.10
blob
|
history
|
raw
-rw-r--r--
197
partition.11.2
blob
|
history
|
raw
-rw-r--r--
294
partition.11.3
blob
|
history
|
raw
-rw-r--r--
253
partition.11.4
blob
|
history
|
raw
-rw-r--r--
304
partition.11.5
blob
|
history
|
raw
-rw-r--r--
281
partition.11.6
blob
|
history
|
raw
-rw-r--r--
327
partition.11.7
blob
|
history
|
raw
-rw-r--r--
340
partition.11.8
blob
|
history
|
raw
-rw-r--r--
316
partition.11.9
blob
|
history
|
raw
-rw-r--r--
184
partition.12.10
blob
|
history
|
raw
-rw-r--r--
215
partition.12.11
blob
|
history
|
raw
-rw-r--r--
173
partition.12.2
blob
|
history
|
raw
-rw-r--r--
165
partition.12.3
blob
|
history
|
raw
-rw-r--r--
161
partition.12.4
blob
|
history
|
raw
-rw-r--r--
197
partition.12.5
blob
|
history
|
raw
-rw-r--r--
157
partition.12.6
blob
|
history
|
raw
-rw-r--r--
189
partition.12.7
blob
|
history
|
raw
-rw-r--r--
165
partition.12.8
blob
|
history
|
raw
-rw-r--r--
176
partition.12.9
blob
|
history
|
raw
-rw-r--r--
286
partition.13.10
blob
|
history
|
raw
-rw-r--r--
409
partition.13.11
blob
|
history
|
raw
-rw-r--r--
219
partition.13.12
blob
|
history
|
raw
-rw-r--r--
205
partition.13.2
blob
|
history
|
raw
-rw-r--r--
308
partition.13.3
blob
|
history
|
raw
-rw-r--r--
274
partition.13.4
blob
|
history
|
raw
-rw-r--r--
327
partition.13.5
blob
|
history
|
raw
-rw-r--r--
291
partition.13.6
blob
|
history
|
raw
-rw-r--r--
312
partition.13.7
blob
|
history
|
raw
-rw-r--r--
315
partition.13.8
blob
|
history
|
raw
-rw-r--r--
208
partition.13.9
blob
|
history
|
raw
-rw-r--r--
289
partition.14.10
blob
|
history
|
raw
-rw-r--r--
220
partition.14.11
blob
|
history
|
raw
-rw-r--r--
188
partition.14.12
blob
|
history
|
raw
-rw-r--r--
330
partition.14.13
blob
|
history
|
raw
-rw-r--r--
177
partition.14.2
blob
|
history
|
raw
-rw-r--r--
281
partition.14.3
blob
|
history
|
raw
-rw-r--r--
181
partition.14.4
blob
|
history
|
raw
-rw-r--r--
319
partition.14.5
blob
|
history
|
raw
-rw-r--r--
235
partition.14.6
blob
|
history
|
raw
-rw-r--r--
157
partition.14.7
blob
|
history
|
raw
-rw-r--r--
232
partition.14.8
blob
|
history
|
raw
-rw-r--r--
269
partition.14.9
blob
|
history
|
raw
-rw-r--r--
179
partition.15.10
blob
|
history
|
raw
-rw-r--r--
430
partition.15.11
blob
|
history
|
raw
-rw-r--r--
217
partition.15.12
blob
|
history
|
raw
-rw-r--r--
339
partition.15.13
blob
|
history
|
raw
-rw-r--r--
231
partition.15.14
blob
|
history
|
raw
-rw-r--r--
288
partition.15.4
blob
|
history
|
raw
-rw-r--r--
161
partition.15.5
blob
|
history
|
raw
-rw-r--r--
173
partition.15.6
blob
|
history
|
raw
-rw-r--r--
197
partition.15.7
blob
|
history
|
raw
-rw-r--r--
205
partition.15.8
blob
|
history
|
raw
-rw-r--r--
238
partition.15.9
blob
|
history
|
raw
-rw-r--r--
192
partition.16.10
blob
|
history
|
raw
-rw-r--r--
444
partition.16.11
blob
|
history
|
raw
-rw-r--r--
193
partition.16.12
blob
|
history
|
raw
-rw-r--r--
338
partition.16.13
blob
|
history
|
raw
-rw-r--r--
231
partition.16.14
blob
|
history
|
raw
-rw-r--r--
375
partition.16.15
blob
|
history
|
raw
-rw-r--r--
165
partition.16.4
blob
|
history
|
raw
-rw-r--r--
333
partition.16.5
blob
|
history
|
raw
-rw-r--r--
238
partition.16.6
blob
|
history
|
raw
-rw-r--r--
205
partition.16.7
blob
|
history
|
raw
-rw-r--r--
157
partition.16.8
blob
|
history
|
raw
-rw-r--r--
256
partition.16.9
blob
|
history
|
raw
-rw-r--r--
208
partition.17.10
blob
|
history
|
raw
-rw-r--r--
433
partition.17.11
blob
|
history
|
raw
-rw-r--r--
227
partition.17.12
blob
|
history
|
raw
-rw-r--r--
312
partition.17.13
blob
|
history
|
raw
-rw-r--r--
235
partition.17.14
blob
|
history
|
raw
-rw-r--r--
412
partition.17.15
blob
|
history
|
raw
-rw-r--r--
374
partition.17.16
blob
|
history
|
raw
-rw-r--r--
355
partition.17.5
blob
|
history
|
raw
-rw-r--r--
332
partition.17.6
blob
|
history
|
raw
-rw-r--r--
302
partition.17.7
blob
|
history
|
raw
-rw-r--r--
362
partition.17.8
blob
|
history
|
raw
-rw-r--r--
609
partition.17.9
blob
|
history
|
raw
-rw-r--r--
161
partition.3.2
blob
|
history
|
raw
-rw-r--r--
153
partition.4.2
blob
|
history
|
raw
-rw-r--r--
173
partition.4.3
blob
|
history
|
raw
-rw-r--r--
173
partition.5.2
blob
|
history
|
raw
-rw-r--r--
225
partition.5.3
blob
|
history
|
raw
-rw-r--r--
207
partition.5.4
blob
|
history
|
raw
-rw-r--r--
157
partition.6.2
blob
|
history
|
raw
-rw-r--r--
153
partition.6.3
blob
|
history
|
raw
-rw-r--r--
161
partition.6.4
blob
|
history
|
raw
-rw-r--r--
177
partition.6.5
blob
|
history
|
raw
-rw-r--r--
177
partition.7.2
blob
|
history
|
raw
-rw-r--r--
241
partition.7.3
blob
|
history
|
raw
-rw-r--r--
219
partition.7.4
blob
|
history
|
raw
-rw-r--r--
269
partition.7.5
blob
|
history
|
raw
-rw-r--r--
181
partition.7.6
blob
|
history
|
raw
-rw-r--r--
161
partition.8.2
blob
|
history
|
raw
-rw-r--r--
233
partition.8.3
blob
|
history
|
raw
-rw-r--r--
153
partition.8.4
blob
|
history
|
raw
-rw-r--r--
185
partition.8.5
blob
|
history
|
raw
-rw-r--r--
169
partition.8.6
blob
|
history
|
raw
-rw-r--r--
243
partition.8.7
blob
|
history
|
raw
-rw-r--r--
181
partition.9.2
blob
|
history
|
raw
-rw-r--r--
157
partition.9.3
blob
|
history
|
raw
-rw-r--r--
231
partition.9.4
blob
|
history
|
raw
-rw-r--r--
185
partition.9.5
blob
|
history
|
raw
-rw-r--r--
161
partition.9.6
blob
|
history
|
raw
-rw-r--r--
227
partition.9.7
blob
|
history
|
raw
-rw-r--r--
193
partition.9.8
blob
|
history
|
raw