Message Passing Algorithm for Solving QBF Using More Reasoning

Table 1

Comparisons of EHSPQBF-EQR, EHSPQBF-HBR, and EHSPQBF.

Instances	EHSPQBF-EQR	EHSPQBF-HBR	EHSPQBF
(3, 60, 80, 5, 0)	10.470	15.390	10.209
(3, 60, 80, 5, 1)	56.342	41.230	40.725
(3, 60, 80, 5, 2)	230.230	153.690	153.436
(3, 60, 80, 5, 3)	1.783	3.467	1.659
(3, 60, 80, 5, 4)	98.456	132.678	87.513
(3, 60, 80, 5, 5)	12.479	30.745	11.873