---------------------------------- 2 Threads and NUM_PROC_COLS	2  -------------------------------

 Property						Result		Depth	State vector	Total time    Total memory   States
 --------						------		-----	------------	----------	  -----------    ------
assert (No Hash-Compact) 		Success		60 			48				0			2.501		  458
<>fin0							Success		316 		52				0			2.501		  1076
<>fin1							Success		314 		52				0.015		2.501		  1074


---------------------------------- 3 Threads and NUM_PROC_COLS	3  -------------------------------


 Property						Result		Depth	State vector	Total time    Total memory   States
 --------						------		-----	------------	----------	  -----------    ------
assert (No Hash-Compact) 		Success		113 		72			0.031			4.063		  19894
<>fin0							Success		572 		76			0.39			6.212		  45284
<>fin1							Success		570 		76			0.39			6.212		  45282
<>fin2							Success		568 		76			0.375			6.212		  45274


---------------------------------- 4 Threads and NUM_PROC_COLS	4  -------------------------------


 Property						Result		Depth	State vector	Total time    Total memory   States
 --------						------		-----	------------	----------	  -----------    ------
assert (with Hash-Compact) 		Success		182 		96				3.17		27.208		  1299858
<>fin0							Success		892 		100				17.5		336.286		  2988524
<>fin1							Success		890			100				17.5		336.286		  2988522
<>fin2							Success		888			100				17.5		336.286		  2988514
<>fin3							Success		886			100				17.5		336.286		  2988482



---------------------------------- 5 Threads and NUM_PROC_COLS	5  -------------------------------
Waited for 20 minutes! did not get done!

Got verified for termination of each thread! no deadlocks!