increase repair window size again

ekiwi · Jan 9, 2024 · 5109ca6 · 5109ca6
1 parent c904a81
commit 5109ca6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/synth/src/main.rs b/synth/src/main.rs
@@ -70,7 +70,7 @@ struct Args {
     pask_k_step_size: u64,
     #[arg(
         long,
-        default_value_t = 24u64,
+        default_value_t = 32u64,
         help = "the maximum repair window size before the incremental solver gives up"
     )]
     max_repair_window_size: u64,