diff --git a/ChangeLog b/ChangeLog
index 1fb8ca95f..5ac83d2c6 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2005-02-01  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* bench/emptchk/README: Timing info from Denis.
+
 	* src/tgbatest/randtgba.cc (main): Skip empty lines.
 	(syntax): Categorize options.
 
diff --git a/bench/emptchk/README b/bench/emptchk/README
index 434c97bd3..6e0ae17dd 100644
--- a/bench/emptchk/README
+++ b/bench/emptchk/README
@@ -161,7 +161,9 @@ This directory contains:
      - pml-eeaean.sh
 
      Beware that the two ltl-*.sh tests are very long (each of them
-     run 13 emptiness-check algorithms against 18000 state-spaces!)
+     run 13 emptiness-check algorithms against 18000 product-spaces!).
+     Running ltl-random.sh took 4 hours on a 3GHz Intel Pentium 4,
+     and ltl-human.sh took 9 hours.
 
      You can speed up the pml-*.sh tests by removing some algorithms
      from the `algorithms' file.