Adjust bench to complete in a reasonable time.

* src/bench/minimization_2n/Makefile.bench: Do not bench
minimization_brzozowski past n=12 (already 8min on seattle).

* src/bench/eps_removal/Makefile.bench: Bench up to 200.

ChangeLog

+2009-05-01  d-halluin  <d-halluin@lrde.epita.fr>
+
+	Adjust bench to complete in a reasonable time.
+
+	* src/bench/minimization_2n/Makefile.bench: Do not bench
+	minimization_brzozowski past n=12 (already 8min on seattle).
+
+	* src/bench/eps_removal/Makefile.bench: Bench up to 200.
+
 2009-04-30  d-halluin  <d-halluin@lrde.epita.fr>
-       Fix composition bench.
-       * src/bench/composition/normalized_composition_bench.hh,
-       * src/bench/composition/rw_composition_bench.hh:
-       Add missing CBS parameter (n).
+	Fix composition bench.
+	* src/bench/composition/normalized_composition_bench.hh,
+	* src/bench/composition/rw_composition_bench.hh:
+	Add missing CBS parameter (n).
 2009-04-30  d-halluin  <d-halluin@lrde.epita.fr>

src/bench/eps_removal/Makefile.bench

@@ -4,7 +4,7 @@ bench: $(noinst_PROGRAMS)
 	@echo '===================';				\
 	echo '|eps_removal bench|';				\
 	echo '===================';				\
-	for n_value in $$(seq 1 10); do				\
+	for n_value in $$(seq 1 20); do				\
 	   n_value=$${n_value}0					\
 	   echo "----------------------For $${n_value}0:";	\
 	   ./eps_removal-bench $${n_value};			\

src/bench/minimization_2n/Makefile.bench

@@ -6,7 +6,7 @@ bench: $(noinst_PROGRAMS)
 	echo '====================================';			\
 	echo "$$FSM_PATH/fsmcompile -i../common/alpha.syms init_o_tmp.fsm |"\
 	     "sh -c 'time $$FSM_PATH/fsmminimize' > /dev/null" > tmp.min;\
-	for n_states in $$(seq 11 15); do				\
+	for n_states in $$(seq 11 12); do				\
 	    echo "----------------------For $$n_states states";		\
 	    echo "--------------VCSN (moore):";				\
 	    ./minimization_2n_moore-bench $$n_states;			\
@@ -19,4 +19,15 @@ bench: $(noinst_PROGRAMS)
 	      sh tmp.min;						\
 	    fi;								\
 	done;								\
+	for n_states in $$(seq 13 16); do				\
+	    echo "----------------------For $$n_states states";		\
+	    echo "--------------VCSN (moore):";				\
+	    ./minimization_2n_moore-bench $$n_states;			\
+	    echo "--------------VCSN (hopcroft):";			\
+	    ./minimization_2n_hopcroft-bench $$n_states;		\
+	    if [ ! -z "$$FSM_PATH" ]; then				\
+	      echo "--------------FSM:";				\
+	      sh tmp.min;						\
+	    fi;								\
+	done;								\
 	rm -f tmp.min init_o_tmp.fsm

src/bench/quotient/Makefile.bench

@@ -4,7 +4,7 @@ bench: $(noinst_PROGRAMS)
 	@echo '================';					\
 	echo '|Quotient bench|';					\
 	echo '================';					\
-	for n_states in $$(seq 5 20); do				\
+	for n_states in $$(seq 5 13); do				\
 	    echo "----------------------For power $$n_states";		\
 	    echo "--------------VCSN (over Z):";			\
 	    ./quotient_z-bench $$n_states;				\