Table 3.

The success rate of of the combination of strategies on the validation set

Prover	Selection	Premises	Reconstruction	Solved (%)	Solved
Vampire	k-NN	1024	Hrecon	28.816	2673
E-Prover	k-NN	1024	Hrecon	25.593	2374
Vampire	k-NN	64	Hrecon	25.367	2353
Z3	n. Bayes	128	Hrecon	24.299	2254
Z3	k-NN	128	Hrecon	24.127	2238
Z3	n. Bayes	512	Hrecon	23.243	2156
Z3	n. Bayes	32	Hrecon	19.028	1765
E-Prover	n. Bayes	256	Hrecon	17.497	1623
Total				40.815	3786