diff --git a/README.md b/README.md
index 3bc1f6f..14e374c 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,7 @@
 SMACK Boogie Benchmarks
 ===
 
-SMACK Boogie Benchmarks are a collection of Boogie programs generated from the International Competition on Software Verification ([SV-COMP](http://sv-comp.sosy-lab.org)) benchmarks using [SMACK](https://github.com/smackers/smack).
+SMACK Boogie Benchmarks are a collection of 3760 Boogie programs generated from the International Competition on Software Verification ([SV-COMP](http://sv-comp.sosy-lab.org)) benchmarks using [SMACK](https://github.com/smackers/smack).
 In general, the benchmarks labeled with `true` in their name should trigger no assertion violations, while the ones labeled `false` should trigger an assertion violation. Note that due to various reasons (buggy SV-COMP benchmarks, bugs in SMACK, etc.) we provide no guarantees that all of the benchmarks are correctly labeled. Please report any mislabeled benchmarks.
 
 To generate the current version of SMACK Boogie Benchmarks we used: