Logic Synthesis And Optimization Benchmarks User Guide Version 3.0