diff --git a/VS_mpi/Parallel-SAT.VC.db b/VS_mpi/Parallel-SAT.VC.db index f0a70e7..21bf58c 100644 Binary files a/VS_mpi/Parallel-SAT.VC.db and b/VS_mpi/Parallel-SAT.VC.db differ diff --git a/src_mpi/mpi_base.h b/src_mpi/mpi_base.h index 010d108..f5400df 100644 --- a/src_mpi/mpi_base.h +++ b/src_mpi/mpi_base.h @@ -32,7 +32,7 @@ const int MAX_CORE_LEN = 20000; const double MIN_SOLVE_TIME = 0.0000001; const unsigned RECOMMEND_BATCH_VAR_COUNT = 20; const unsigned MAX_BATCH_VAR_COUNT = 31; -const unsigned MAX_PART_MASK_VAR_COUNT = 20; +const unsigned MAX_PART_MASK_VAR_COUNT = 21; const unsigned UINT_LEN = 32; const unsigned FULL_MASK_LEN = 625; const unsigned SOLVING_TIME_LEN = 15; // info about time of solving tasks