usage: python bisect.py <start_commit> <end_commit> <check_command> <rep_folder>

For using it to test on this repo: python bisect.py ff7c947 c601b32 "python prover.py" .