From 45846a0cac96f9901bd7f919e5c7b1e98f24a244 Mon Sep 17 00:00:00 2001
From: Marijn Heule <mheule@Marijns-Air.lan>
Date: Sun, 28 Jan 2024 13:03:29 -0500
Subject: [PATCH] m6i

---
 tracks.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tracks.html b/tracks.html
index 54989de..1b7124a 100644
--- a/tracks.html
+++ b/tracks.html
@@ -69,7 +69,7 @@ <h3 id="cloud">Cloud Track</h3>
 		Consider the <a href="rules.html">general submission guidelines</a> and the <a href="aws.html">AWS submission instructions</a>.
 		All solvers participating in the Cloud track are required to provide a model in the SAT case.
 		The solvers participating in this track will be executed with a wall-clock time limit of 1000 seconds running on 100 m6i.4xlarge machines in parallel. 
-		Each m4.4xlarge machine has 16 virtual CPUs and 64 GB memory. 
+		Each m6i.4xlarge machine has 16 virtual CPUs and 64 GB memory. 
 		Communication between the machines is possible using MPI and SSH.
   </div>
 </div>