diff --git a/src/main/main.ml b/src/main/main.ml
index 5450b70a..361bece7 100644
--- a/src/main/main.ml
+++ b/src/main/main.ml
@@ -24,7 +24,7 @@ let p_cnf = ref false
 let p_dot_proof = ref ""
 let p_proof_print = ref false
 let p_model = ref false
-let check = ref true
+let check = ref false
 let time_limit = ref 300.
 let size_limit = ref 1000_000_000.
 let restarts = ref true