diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-12-28 15:47:44 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-12-28 15:47:44 +0100 |
| commit | 9f13bc4362f0763aec047ec7a0608453503b022d (patch) | |
| tree | ac369921241a1dbe77a124286de7adb957c8c4d5 /INSTALL | |
| parent | dc4efd2b5bff43a5a040e73e6e534a145a6b1fb2 (diff) | |
| download | nissy-9f13bc4362f0763aec047ec7a0608453503b022d.tar.gz nissy-9f13bc4362f0763aec047ec7a0608453503b022d.zip | |
Info on ram requirement to gen large table
Diffstat (limited to '')
| -rw-r--r-- | INSTALL | 1 |
1 files changed, 1 insertions, 0 deletions
| @@ -33,6 +33,7 @@ nissy simply loads the corresponding file from the hard disk. | |||
| 33 | 33 | ||
| 34 | The very large table for optimal solving can take some time to generate | 34 | The very large table for optimal solving can take some time to generate |
| 35 | (about 1.5 hours on my fairly old but decent laptop, using 8 CPU threads). | 35 | (about 1.5 hours on my fairly old but decent laptop, using 8 CPU threads). |
| 36 | In order to generate it you need at least 5Gb or RAM. | ||
| 36 | All other tables are much faster. | 37 | All other tables are much faster. |
| 37 | 38 | ||
| 38 | You can ask nissy to generate all the tables it will ever need with the gen | 39 | You can ask nissy to generate all the tables it will ever need with the gen |