Table 3.

Search speed for 200 query set. Results annotated with asterisks ('*') are estimations based on results in [16]. The running time of TableauSearch which was evaluated independently by this work was used to appropriately normalize the results from [16] to account for the differences in machines used between the two works. '--'s indicate that the programs were infeasible to run in a practical time frame. The 'speed-up' columns gives the performance gain as a measure of search speed of IR Tableau with respect to other programs.

Method	Astral 1.73 95%	Speed-up	Astral 1.73 Full	Speed-up
IR Tableau	0.0075 h (27 s)	1×	0.0408 h (147 s)	1×
Yakusa	2.5 h	333×	83 h	2,034×
TableauSearch	0.42 h	56×	3.77 h	92×
QP tableau	222 h*	29,600×	--	--
SHEBA	15.6 h*	2,080×	--	--
VAST	8.4 h*	1,120×	--	--