\begin{table}[]
\centering
\begin{tabular}{@{}ccccc@{}}
\toprule
\phantom{abc} & h4_dep &  quantHeuristics(1538) & words(668) & integer(483) & real(469)\\
\midrule
e-par3 & 42.23\%  212 & 14.1\%  28 & 43.41\%  20 & 71.01\%  19 & 72.06\%  9\\
z3-32 & 40.61\%  441 & 12.09\%  0 & 39.82\%  12 & 62.73\%  16 & 64.39\%  8\\
vam-26 & 39.31\%  102 & 14.36\%  24 & 38.02\%  6 & 65.01\%  3 & 69.5\%  1\\
\midrule
total & 46.75\%  & 16.18\%  & 46.55\%  & 74.94\%  & 75.26\% \\
\bottomrule
\end{tabular}
\caption{h4_dep}
\label{}
\end{table}
