Résultats Expérimentaux

Avant d'avoir mes propres résultats exprimentaux, avec la dernière version de mon prouveur, il est possible de consulter ceux obtenus au cours de l'évaluation comparative de QBF 2003, ainsi que les résultats de tous les prouveurs en lice :

Ces résultats ont été obtenus sur un total de 1720 benchmarks parmi 134 séries sur un Pentium IV 2.4 Ghz et 1024 MB de RAM. L'exécution a été limitée à 15 minutes par instance et par prouveur.

En revanche, nous avons d'ores et déjà pu établir que la nouvelle version (qbfl.0.2) est capable de résoudre en moins de 15 minutes sur un même type de machine les instances suivantes :

• 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,

Notons enfin que toutes ces instances sont disponibles sur le site consacré aux QBFs :