Statistics for Applied Hilbert's Nullstellensatz for Combinatorial Problems