[Bug-gnubg] Makebearoff $Revision: 1.18 $ problem

[Ian Shaw]

Makebearoff terminated before reaching the end of the 13 point database.

C:\GnuBg>makebearoff -o 13 -O gnubg_os12.bd -f gnubg_os13.bd -s 6000000000
One-sided database:
Number of points                  :           13
Number of chequers                :           15
Number of positions               :     37442160
Approximate by normal distribution: no
Include gammon distributions      : yes
Use compression scheme            : yes
Write header                      : yes
Size of cache                     :   1705032704
Reuse old bearoff database        : yes gnubg_os12.bd
Size of database (uncompressed)   :    497629184
Estimated size of compressed db   :   1198149120
Hash status:
Size:    13320568 elements
Queries: 0 (hits: 0)
Entries: 0 (overwrites: 0)
1:13297900/37442160
C:\GnuBg>makebearoff -v
makebearoff $Revision: 1.18 $


--Ian