diff --git a/verification/verifast/proof_setup/FreeRTOSConfig.h b/verification/verifast/proof_setup/FreeRTOSConfig.h
index 8d80c3698..1d4e28020 100644
--- a/verification/verifast/proof_setup/FreeRTOSConfig.h
+++ b/verification/verifast/proof_setup/FreeRTOSConfig.h
@@ -104,7 +104,7 @@
 */
 
 /* SMP port only */
-#define configNUM_CORES                         1
+#define configNUM_CORES                         100
 #define configTICK_CORE                         1
 #define configRUN_MULTIPLE_PRIORITIES           1