From 87ee1cfe7d06e84828a9f701da8cae1155b6d08b Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 10 Dec 2010 10:12:20 +0100
Subject: [PATCH] Augment the size of the ltlclasses benchmark.

* bench/ltlclasses/run: Augment the max size to 20.
* bench/ltlcounter/run: Typo in comment.
---
 ChangeLog            | 7 +++++++
 bench/ltlclasses/run | 4 ++--
 bench/ltlcounter/run | 4 ++--
 3 files changed, 11 insertions(+), 4 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 43cd23b80..2f5e67b1e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2010-12-10  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	Augment the size of the ltlclasses benchmark.
+
+	* bench/ltlclasses/run: Augment the max size to 20.
+	* bench/ltlcounter/run: Typo in comment.
+
 2010-12-10  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Introduce -ks to print only the size of the automaton (without
diff --git a/bench/ltlclasses/run b/bench/ltlclasses/run
index 596fe12c0..4d2f23d58 100755
--- a/bench/ltlclasses/run
+++ b/bench/ltlclasses/run
@@ -30,8 +30,8 @@ for F in 1 2 3 4 5; do
   echo "# the following values are also saved to file 'results$F.fm'"
   echo "# time1 = translation time"
   echo "# time2 = exploration time"
-  echo "# n, states, transitions, user time1, system time1, wall time2, user time1, system time2, wall time2"
-  for n in 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15; do
+  echo "# n, states, transitions, user time1, system time1, wall time1, user time1, system time2, wall time2"
+  for n in 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20; do
     $LTL2TGBA -T -r1 -DS -ks -f "`"$gen" $F $n`" >out 2>&1
     states=`sed -n 's/^states: \([0-9]*\)$/\1/p' out`
     transitions=`sed -n 's/^transitions: \([0-9]*\)$/\1/p' out`
diff --git a/bench/ltlcounter/run b/bench/ltlcounter/run
index 660ac092d..65f801f5f 100755
--- a/bench/ltlcounter/run
+++ b/bench/ltlcounter/run
@@ -28,7 +28,7 @@ echo "# Benching ltl2tgba_fm..."
 echo "# the following values are also saved to file 'results.fm'"
 echo "# time1 = translation time"
 echo "# time2 = exploration time"
-echo "# n, states, transitions, user time1, system time1, wall time2, user time1, system time2, wall time2"
+echo "# n, states, transitions, user time1, system time1, wall time1, user time1, system time2, wall time2"
 for n in 1 2 3 4 5 6 7 8 9 10 11 12 13; do
   $LTL2TGBA -T -ks -f "`$lcdir/LTLcounterLinear.pl $n`" >out 2>&1
   states=`sed -n 's/^states: \([0-9]*\)$/\1/p' out`
@@ -42,7 +42,7 @@ echo "# Benching ltl2tgba_lacim..."
 echo "# the following values are also saved to file 'results.lacim'"
 echo "# time1 = translation time"
 echo "# time2 = exploration time"
-echo "# n, states, transitions, user time1, system time1, wall time2, user time1, system time2, wall time2"
+echo "# n, states, transitions, user time1, system time1, wall time1, user time1, system time2, wall time2"
 for n in 1 2 3 4 5 6 7; do
   $LTL2TGBA -T -ks "`$lcdir/LTLcounterLinear.pl $n`" >out 2>&1
   states=`sed -n 's/^states: \([0-9]*\)$/\1/p' out`