perf
Created by kdelmas on 24/02/17.
Run cutset enumeration performance analysis
optinal user-defined timeout for cutset enumeration
Created by kdelmas on 24/02/17.