LLM Evaluation Benchmark on Hardware Formal Verification - View it on GitHub