diff --git a/def/core.param.def b/def/core.param.def
index 43b544c..b2ac762 100644
--- a/def/core.param.def
+++ b/def/core.param.def
@@ -56,8 +56,8 @@ param<SIMD_ALLOCQ_INDEX,  siaq_index, int, 3>
 
 param<ONE_CYCLE_EXEC,           	one_cycle_exec,         		bool,   0>
 
-param<MAX_INSTS, 					max_insts, 						uns32, 	1000>
-param<SIM_CYCLE_COUNT, 				sim_cycle_count, 				uns32, 	1000000>
+param<MAX_INSTS, 					max_insts, 						uns64, 	1000>
+param<SIM_CYCLE_COUNT, 				sim_cycle_count, 				uns64, 	1000000>
 
 param<FORWARD_PROGRESS_LIMIT, 		forward_progress_limit, 		uns64,  100000>
 
diff --git a/def/general.param.def b/def/general.param.def
index ed87174..7000d8d 100644
--- a/def/general.param.def
+++ b/def/general.param.def
@@ -42,7 +42,7 @@ param<STDOUT_FILE,                   stdout,                string,
 param<FILE_TAG,                      file_tag,              string,               NULL>
 param<STATISTICS_OUT_DIRECTORY,      out,                   string,               .>
 param<MAX_BLOCK_PER_CORE, max_block_per_core, int, 4>
-param<MAX_INSTS1, max_insts1, uns64, 10000000000>
+param<MAX_INSTS1, max_insts1, uns64, 50000000000>
 param<ENABLE_CONDITIONAL_EXECUTION, enable_conditional_execution, bool, false>
 param<TEMPERATURE, temperature, int, 320>