diff --git a/README.md b/README.md
index 5d884cb..f4ac984 100644
--- a/README.md
+++ b/README.md
@@ -47,11 +47,11 @@ This generates the executable bin/feat-Bitvectors.
 ### Run tester 
 
 ```
-bin/run_tester 10 1000 Bitvectors solvers.cfg 
+bin/run_tester 2 1000 Bitvectors solvers.cfg 
 ```
 
 This will first generate 1,000 tests in `tests/Bitvectors` (i.e., call bin/feat-Bitvectors).
-Then these tests will be forwarded (using 10 cores) to `bin/oracle` which calls 
+Then these tests will be forwarded (using 2 cores) to `bin/oracle` which calls 
 the SMT solvers from `solvers.cfg` and differentially tests them.