Any number of unique atomics in random formulas
generate report table
Merge branch 'basic_modal_logic' of github.com:winobes/modal-logic into basic_modal_logic
added benchmarking chart