parallel,partitioning: disable by default

Signed-off-by: Norbert Manthey <[email protected]>

minisat/parallel/ParSolver.cc

@@ -47,7 +47,7 @@ static BoolOption opt_primary_controlled_sync(_cat, "primary-sync", "sync after
 static IntOption
 opt_base_sync_accesses(_cat, "init-accesses", "Number of 'memory accesses' before first sync", 32000000, IntRange(0, INT32_MAX));
 static IntOption
-opt_part_delay_syncs(_cat, "partition-delay", "Number of syncs before starting partitioning", 1000, IntRange(-1, INT32_MAX));
+opt_part_delay_syncs(_cat, "partition-delay", "Number of syncs before starting partitioning", -1, IntRange(-1, INT32_MAX));
 static IntOption opt_part_per_node(_cat, "splits", "Partition a formula into X new partitions", 8, IntRange(2, INT32_MAX));
 static IntOption
 opt_thread0_extra_steps(_cat, "thread0-extra", "Number of extra 'memory accesses' for thread 0", 1000, IntRange(0, INT32_MAX));