diff --git a/tests/counter-boolean/problem.txt b/tests/counter-boolean/problem.txt
index 9d20931..ccd54fe 100644
--- a/tests/counter-boolean/problem.txt
+++ b/tests/counter-boolean/problem.txt
@@ -4,7 +4,7 @@ boolean: True
 add_clock: True
 
 [DEFAULT]
-bmc_length: 40
+bmc_length: 20
 
 [Globally]
 description: "Globally Check"
diff --git a/tests/counter/problem.txt b/tests/counter/problem.txt
index fff7fd6..7443c92 100644
--- a/tests/counter/problem.txt
+++ b/tests/counter/problem.txt
@@ -3,7 +3,7 @@ model_file: counter.json,counter_live.sts,counter_live.ets
 add_clock: True
 
 [DEFAULT]
-bmc_length: 40
+bmc_length: 20
 
 [Globally]
 description: "Globally Check"