diff --git a/scripts/multi_prove.sh b/scripts/multi_prove.sh
index 08a36c8f2..4729d1795 100644
--- a/scripts/multi_prove.sh
+++ b/scripts/multi_prove.sh
@@ -11,4 +11,4 @@ abc_root()
 abc_dir=$(abc_root "$0")
 bin_dir="${abc_dir}"/bin
 
-exec ${bin_dir}/abc -c "/multi_prove_aiger $*"
+exec ${bin_dir}/abc -q "/multi_prove_aiger $*"
diff --git a/scripts/simple.sh b/scripts/simple.sh
index 9c90fded0..357dd1653 100644
--- a/scripts/simple.sh
+++ b/scripts/simple.sh
@@ -11,4 +11,4 @@ abc_root()
 abc_dir=$(abc_root "$0")
 bin_dir="${abc_dir}"/bin
 
-exec ${bin_dir}/abc -c "/simple_aiger $*"
+exec ${bin_dir}/abc -q "/simple_aiger $*"
diff --git a/scripts/simple_bip.sh b/scripts/simple_bip.sh
index 121bb281a..f6220099c 100644
--- a/scripts/simple_bip.sh
+++ b/scripts/simple_bip.sh
@@ -11,4 +11,4 @@ abc_root()
 abc_dir=$(abc_root "$0")
 bin_dir="${abc_dir}"/bin
 
-exec ${bin_dir}/abc -c "/simple_bip_aiger $*"
+exec ${bin_dir}/abc -q "/simple_bip_aiger $*"
diff --git a/scripts/simple_liveness.sh b/scripts/simple_liveness.sh
index 8bf551005..f5232d151 100644
--- a/scripts/simple_liveness.sh
+++ b/scripts/simple_liveness.sh
@@ -11,4 +11,4 @@ abc_root()
 abc_dir=$(abc_root "$0")
 bin_dir="${abc_dir}"/bin
 
-exec ${bin_dir}/abc -c "/simple_liveness_aiger $*"
+exec ${bin_dir}/abc -q "/simple_liveness_aiger $*"
diff --git a/scripts/simple_sat.sh b/scripts/simple_sat.sh
index 3a51ada64..dc19023a0 100644
--- a/scripts/simple_sat.sh
+++ b/scripts/simple_sat.sh
@@ -11,4 +11,4 @@ abc_root()
 abc_dir=$(abc_root "$0")
 bin_dir="${abc_dir}"/bin
 
-exec ${bin_dir}/abc -c "/simple_sat_aiger $*"
+exec ${bin_dir}/abc -q "/simple_sat_aiger $*"
diff --git a/scripts/super_prove.sh b/scripts/super_prove.sh
index d55ae03d3..da0a6ec6a 100644
--- a/scripts/super_prove.sh
+++ b/scripts/super_prove.sh
@@ -11,4 +11,4 @@ abc_root()
 abc_dir=$(abc_root "$0")
 bin_dir="${abc_dir}"/bin
 
-exec ${bin_dir}/abc -c "/super_prove_aiger $*"
+exec ${bin_dir}/abc -q "/super_prove_aiger $*"