update Makefile to c++11
rebasing probability search on dfs reachability analysis
printing cycles and traces for livelocks, deadlocks, and errors
filters cycles containing progress
bug fix: checker state not mutated before generating successors
log down statistics at each level
records stopping and ending states