diff --git a/src/model.rs b/src/model.rs
index c7169c3..0ed6821 100644
--- a/src/model.rs
+++ b/src/model.rs
@@ -8,7 +8,7 @@ use std::time::{Duration, Instant};
 use tracing::{info, subscriber};
 use tracing_subscriber::{fmt, EnvFilter};
 
-const DEFAULT_MAX_THREADS: usize = 4;
+const DEFAULT_MAX_THREADS: usize = 5;
 const DEFAULT_MAX_BRANCHES: usize = 1_000;
 
 /// Configure a model
diff --git a/src/rt/mod.rs b/src/rt/mod.rs
index 5f08a04..0b417fa 100644
--- a/src/rt/mod.rs
+++ b/src/rt/mod.rs
@@ -59,7 +59,7 @@ pub(crate) use self::vv::VersionVec;
 use tracing::trace;
 
 /// Maximum number of threads that can be included in a model.
-pub const MAX_THREADS: usize = 4;
+pub const MAX_THREADS: usize = 5;
 
 /// Maximum number of atomic store history to track per-cell.
 pub(crate) const MAX_ATOMIC_HISTORY: usize = 7;