next up previous
Next: About this document ...

Validating QBF Validity in HOL4:
Experimental Results

Ramana Kumar and Tjark Weber[*]
{rk436,tw333}@cam.ac.uk

We present experimental results for all 100 QBF benchmark problems discussed in our paper Validating QBF Validity in HOL4 . For space reasons, only Table 1 could be included in the original publication. Table 2 below contains results for the second half of the benchmarks problems.


Table 1: Experimental results
\scalebox{1}[1]{\renewedcommand{baselinestretch}{1.2}\scriptsize\begin{tabular}{... ..._grz\_n-12 & 17 & 557 & 2003 & 7.5 & 4510 & 0.2 & 45.3 & 77.9 \\ \end{tabular}}



Table 2: Experimental results (cont.)
\scalebox{1}[1]{\renewedcommand{baselinestretch}{1.2}\scriptsize\begin{tabular}{... ...\_1\_out\_exact & 3 & 64 & 196 & 0.0 & 1156 & 0.0 & 2.0 & 2.2 \\ \end{tabular}}




Tjark Weber 2011-02-22