Results of Lazy CSeq 0.6c runs
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

For running the Makefile for CSeq, the tool must be downloaded and setup on your computer with the OS-specific 
dependencies