Affiliations: Università degli Studi di Genova, Dipartimento di Informatica, Sistemistica e Telematica, Genova, Italy. E-mail: {name.surname}@unige.it
Note: [] Corresponding author: Armando Tacchella, Università degli Studi di Genova, Dipartimento di Informatica, Sistemistica e Telematica, Viale Causa 13, 16145 Genova, Italy. Tel.: +39 010 3532072; Fax: 010 3532980; E-mail: Armando.Tacchella@unige.it.
Abstract: In this paper we compare the performance of all the currently available suites to evaluate and certify QBFs. Our aim is to assess the current state of the art, and also to understand to which extent QBF encodings can be evaluated producing certificates that can be checked in a reliable and efficient way. We conclude that, while the evaluation of some QBFs is still an open challenge, producing and checking certificates for many medium-to-large scale QBFs is feasible with the current technology.
