Benford for MZNC main.py is used for running solvers on MZNC instances stats.py produces statistics and plot graphs Folder output contains execution logs of MZNC instances