diff --git a/tools/ps_analyze.sh b/tools/ps_analyze.sh
index 50781368534e2dad151a8a52053af0ddca5f4ad3..38d1ef7a53bb8dea4c9b33b4bb0566e7cc6d2df1 100755
--- a/tools/ps_analyze.sh
+++ b/tools/ps_analyze.sh
@@ -70,7 +70,8 @@ $SMPSA_HOME/SMP-analyze.sh a.ncexe
 echo Done.
 
 echo Running concolic testing to generate inputs ...
-$PEASOUP_HOME/tools/do_concolic.sh a  --iterations 25 --logging tracer,instance_times,trace
+#$PEASOUP_HOME/tools/do_concolic.sh a  --iterations 25 --logging tracer,instance_times,trace
+$PEASOUP_HOME/tools/do_concolic.sh a  --iterations 25 --logging tracer
 # 2>&1 |egrep -e "INPUT VECTOR:" -e "1: argc ="
 # >/dev/null 2>&1 
 echo Done.