Fixed setting num invariants to zero in benchmark file.
Added .gitignore
Allow the script to be called from different directories.
Made the python utils subfiles a package to prevent certain python errors
Fixed typos and improved comments and description a bit.
Fixed setting num invariants to zero in benchmark file. Added .gitignore Allow the script to be called from different directories. Made the python utils subfiles a package to prevent certain python errors Fixed typos and improved comments and description a bit.