Results of Lazy CSeq 0.6c runs

Result,    	log file,               	time in second
TRUE, 		queue_ok_longest_true.c.log, 	154.01
TRUE, 		sync01_true.c.log, 		4.66
FALSE, 		read_write_lock_false.c.log, 	0.71
TRUE, 		03_incdec_true.c.log, 		5.06
UNKNOWN, 	bug4.c.log, 			1.39

CSeq can be downloaded at http://users.ecs.soton.ac.uk/gp4/cseq/cseq.html.
For running the Makefile for CSeq, the tool must be downloaded and setup on your computer with the OS-specific dependencies. 
