diff --git a/shai/src/main/scala/at/forsyte/apalache/shai/v1/RpcServer.scala b/shai/src/main/scala/at/forsyte/apalache/shai/v1/RpcServer.scala
index d213edfe73..a7a234fa50 100644
--- a/shai/src/main/scala/at/forsyte/apalache/shai/v1/RpcServer.scala
+++ b/shai/src/main/scala/at/forsyte/apalache/shai/v1/RpcServer.scala
@@ -37,11 +37,11 @@ class RpcServer(override val port: Int) extends ServerMain with LazyLogging {
   // This is needed even if the type below is omitted / inferred.
   import scala.language.existentials
 
-  // Double max inbound message size to 8MB
+  // Set max inbound message size to 64MB
   // Fixes `io.grpc.StatusRuntimeException: RESOURCE_EXHAUSTED: gRPC message exceeds maximum size`:
   // https://github.com/informalsystems/apalache/issues/2622
   override def builder: (x0) forSome { type x0 <: ServerBuilder[x0] } =
-    super.builder.maxInboundMessageSize(8 * 1024 * 1024)
+    super.builder.maxInboundMessageSize(64 * 1024 * 1024)
 
   override def run(args: List[String]) = {
     myAppLogic.catchAll { t =>