This code wrote with process threading together for fastest run that ever can make... In this code, the main bottleneck is the I/O operations of reading and writing files, which is why multiprocessing ...

with gzip.open(os.path.join(root, file), "rb") as comp_file: with open(os.path.join(root, file).replace(".gz", ""), 'wb') as uncomp_file: This script will extract .gz files and compress .vnnlib and ...