17 Dec
2003
17 Dec
'03
11:17 p.m.
Where can one observe the progress of the computations? What is allocated etc?
See "inspect the current status of the search" on http://www.brute.cl.cam.ac.uk/brute/ Note that I have disabled auto-generation of the stats file to help reduce the congestion ...