Resource Requirements in README

README.md

@@ -66,10 +66,12 @@ We provide a docker image to reproduce the results.
 
 ### Resource Requirements and Expected Run Time
 
-This evaluation was originally conducted on a laptop with a 11th Gen Intel® Core™ i7-1165G7 2.80GHz with 32GB of RAM.
+Using the provided docker image, 4GB RAM should be sufficient to run the evaluation 
+and we expect it to take at most 15 minutes to complete.
+
+Not using a docker container, we conducted the evaluation on a laptop with a 11th Gen Intel® Core™ i7-1165G7 2.80GHz and 32GB RAM.
 However, the computation was not parallelized and the maximal RAM usage was less than 500MB.
 The run time was less than 6 minutes.
-[TODO: these numbers are not within docker but directly. ADAPT]
 
 
 ### How to Setup and Run
@@ -119,10 +121,11 @@ Computing requested results was successful.
 ### How to Inspect the Results
 
 The results of the evaluation can be found in `evaluation_results`.
+(The intermediate results of the evaluation can be found in `evaluation_data` for inspection.)
 The file `table_projection_subset.txt` and `table_projection_classical.txt` contain the results of projecting various global types 
 using the respective projection operator.
 Combined, they provide the data as presented in Table 1.
-For both approaches, we provid the expected result of the projection (in `EvalSubsetProjection.py` and `EvalClassicalProjection.py`) 
+For both approaches, we provide the expected result of the projection (in `EvalSubsetProjection.py` and `EvalClassicalProjection.py`) 
 and check against this, as indicated by the last line in each table.
 If some projection was not defined, we report -1 as their sum.
 Note that the size for global types is computed slightly differently for both approaches.
@@ -134,4 +137,3 @@ The example comprises a family of global types G_n.
 While Figure 4 reports results for n < 20, the default configuration does only report for n < 17.
 This is considerably faster while showing the state space explosion.
 Still, the size of the global type can be changed in `evaluation_config.py`.
-The intermediate results of the evaluation can be found in `evaluation_data` for inspection.