diff --git a/test/cbmc/aws-templates-for-cbmc-proofs b/test/cbmc/aws-templates-for-cbmc-proofs
index ded3c0c48..fdbf54250 160000
--- a/test/cbmc/aws-templates-for-cbmc-proofs
+++ b/test/cbmc/aws-templates-for-cbmc-proofs
@@ -1 +1 @@
-Subproject commit ded3c0c483b5cb799498b071f718d6fd8723e448
+Subproject commit fdbf54250243dfa4c23db47e26fd059958387733
diff --git a/test/cbmc/litani b/test/cbmc/litani
index cc6df22a3..8b4a4ffb3 160000
--- a/test/cbmc/litani
+++ b/test/cbmc/litani
@@ -1 +1 @@
-Subproject commit cc6df22a32c5e47710c4711ec860c162caacb0fd
+Subproject commit 8b4a4ffb330119c7f4d9abd5996313eccd2c4ab1
diff --git a/test/cbmc/proofs/MQTT_ProcessLoop/Makefile b/test/cbmc/proofs/MQTT_ProcessLoop/Makefile
index d43e928f1..30170d630 100644
--- a/test/cbmc/proofs/MQTT_ProcessLoop/Makefile
+++ b/test/cbmc/proofs/MQTT_ProcessLoop/Makefile
@@ -72,4 +72,6 @@ PROJECT_SOURCES += $(SRCDIR)/source/core_mqtt.c
 PROJECT_SOURCES += $(SRCDIR)/source/core_mqtt_serializer.c
 PROJECT_SOURCES += $(SRCDIR)/source/core_mqtt_state.c
 
+EXPENSIVE = true
+
 include ../Makefile.common
diff --git a/test/cbmc/proofs/MQTT_ReceiveLoop/Makefile b/test/cbmc/proofs/MQTT_ReceiveLoop/Makefile
index 4ae14c6af..3dae69baf 100644
--- a/test/cbmc/proofs/MQTT_ReceiveLoop/Makefile
+++ b/test/cbmc/proofs/MQTT_ReceiveLoop/Makefile
@@ -53,4 +53,6 @@ PROJECT_SOURCES += $(SRCDIR)/source/core_mqtt.c
 PROJECT_SOURCES += $(SRCDIR)/source/core_mqtt_serializer.c
 PROJECT_SOURCES += $(SRCDIR)/source/core_mqtt_state.c
 
+EXPENSIVE = true
+
 include ../Makefile.common