diff --git a/benches/compressed-snark.rs b/benches/compressed-snark.rs
index dde6003..a0b6027 100644
--- a/benches/compressed-snark.rs
+++ b/benches/compressed-snark.rs
@@ -30,10 +30,10 @@ criterion_main!(compressed_snark);
 
 fn bench_compressed_snark(c: &mut Criterion) {
   let num_samples = 10;
-  let num_cons_verifier_circuit_primary = 20584;
+  let num_cons_verifier_circuit_primary = 9819;
   // we vary the number of constraints in the step circuit
   for &num_cons_in_augmented_circuit in
-    [20584, 32768, 65536, 131072, 262144, 524288, 1048576].iter()
+    [9819, 16384, 32768, 65536, 131072, 262144, 524288, 1048576].iter()
   {
     // number of constraints in the step circuit
     let num_cons = num_cons_in_augmented_circuit - num_cons_verifier_circuit_primary;
diff --git a/benches/recursive-snark.rs b/benches/recursive-snark.rs
index 8023f47..340e115 100644
--- a/benches/recursive-snark.rs
+++ b/benches/recursive-snark.rs
@@ -27,10 +27,10 @@ targets = bench_recursive_snark
 criterion_main!(recursive_snark);
 
 fn bench_recursive_snark(c: &mut Criterion) {
-  let num_cons_verifier_circuit_primary = 20584;
+  let num_cons_verifier_circuit_primary = 9819;
   // we vary the number of constraints in the step circuit
   for &num_cons_in_augmented_circuit in
-    [20584, 32768, 65536, 131072, 262144, 524288, 1048576].iter()
+    [9819, 16384, 32768, 65536, 131072, 262144, 524288, 1048576].iter()
   {
     // number of constraints in the step circuit
     let num_cons = num_cons_in_augmented_circuit - num_cons_verifier_circuit_primary;