1 files changed, 4 insertions, 4 deletions
diff --git a/INSTALL b/INSTALL
index f8bef02..8ce8946 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,10 +1,10 @@
 # Requirements
-A full installation of nissy requires about 1.8Gb of space, of which 1.6Gb are
+A full installation of nissy requires a little more than 2Gb of space,
-occupied by the huge pruning table for optimal solving, and running it requires
+of which 1.6Gb are occupied by the huge pruning table for optimal solving,
-the same amount of RAM.
+and running it requires the same amount of RAM.
 One can choose to never use the optimal solver and not to install the relative
-pruning table. If so, about 200Mb should be enough.
+pruning table. If so, about 500Mb should be enough.
 # Installation

diff --git a/INSTALL b/INSTALL index f8bef02..8ce8946 100644 --- a/INSTALL +++ b/INSTALL
@@ -1,10 +1,10 @@
1	# Requirements	1	# Requirements
2		2
3	A full installation of nissy requires about 1.8Gb of space, of which 1.6Gb are	3	A full installation of nissy requires a little more than 2Gb of space,
4	occupied by the huge pruning table for optimal solving, and running it requires	4	of which 1.6Gb are occupied by the huge pruning table for optimal solving,
5	the same amount of RAM.	5	and running it requires the same amount of RAM.
6	One can choose to never use the optimal solver and not to install the relative	6	One can choose to never use the optimal solver and not to install the relative
7	pruning table. If so, about 200Mb should be enough.	7	pruning table. If so, about 500Mb should be enough.
8		8
9	# Installation	9	# Installation
10		10