Statistics for Quantum Speed-ups for Boolean Satisfiability and Derivative-Free Optimization