Experimental Results

Before having my own experimental results with the last version of my solver, you can have a watch on those obtained during the comparative evaluation of QBF 2003, so as all solvers' results :

QBF03 Contest Live Progress

Those results have been obtained from a total of 1720 benchmarks in 134 series on a Pentium IV 2.4 Ghz with 1024 MB of RAM. A timeout has been fixed to 15 minutes per instance and per solver.

In return, we have already could establish that the new version (qbfl.0.2) is able to solve, in less than 15 minutes and on the same type of machine the following instances :

toilet_a_08_01.14.qdimacs,
toilet_a_08_01.15.qdimacs,
toilet_a_10_01.12.qdimacs,
toilet_a_10_01.13.qdimacs,
toilet_c_10_01.15.qdimacs,
toilet_c_10_01.16.qdimacs,
toilet_c_10_01.17.qdimacs,
TOILET7.1.iv.13.qdimacs,

and that times for most of porposed benchmarks are better now.

Lets note in short that all those instances are disponable on the site consecrated to QBFs :

QBFLib

Letombe Florian