Improve hash function to fix collision problem
[satune.git] / src / csolver.cc
index 95c06f8568ec9e4da27e2704a9f1348c85baf51a..533fc4b8dfd0023c3b66498c898599056fb7b2c4 100644 (file)
@@ -465,7 +465,6 @@ int CSolver::solve() {
                tuner = new DefaultTuner();
                deleteTuner = true;
        }
-       serialize();
        
        long long startTime = getTimeNano();
        computePolarities(this);