Mem. unit is in MB and Time is in Sec.


--------------------------------------- 3 Threads and Region size 6 -----------------------------------------

 Property						Result		Depth	State vector	Total time    Total memory   States
 --------						------		-----	------------	----------	  -----------    ------
[]!(read_t[0] && write_t[0])	Success		3931		180				0.312		17.149		  80378

[]!(read_t[1] && write_t[1])	Success		3931		180				0.312		17.149		  80378

All the others are the same! No race detected!

--------------------------------------- 4 Threads and Region size 6 -----------------------------------------

With hash-compact

 Property						Result		Depth	State vector	Total time    Total memory   States
 --------						------		-----	------------	----------	  -----------    ------
[]!(read_t[0] && write_t[0])	Success		7001		236			   2.36 		291.474		  1208347
[]!(read_t[5] && write_t[5])	Success		7001		236			   2.39 		291.474		  1208347
[]!(read_t[23] && write_t[23])	Success		7001		236			   2.39 		291.474		  1208347



--------------------------------------- 5 Threads and Region size 6 -----------------------------------------

With hash-compact

 Property						Result		Depth	State vector	Total time    Total memory   States
 --------						------		-----	------------	----------	  -----------    ------
[]!(read_t[0] && write_t[0])	Success		10951		288			   77.8 		741.278		 18053648
[]!(read_t[29] && write_t[29])	Success		10951		288			   42.1 		741.278		 18053648
[]!(read_t[17] && write_t[17])	Success		10951		288			   42.1 		741.278		 18053648



--------------------------------------- 6 Threads and Region size 6 -----------------------------------------


Got out of memory!