CAV 2018 Artifact Evaluation

BTOR2, BtorMC and Boolector 3.0

Aina Niemetz, Mathias Preiner, Clifford Wolf and Armin Biere


This site provides all materials to reproduce our experimental evaluation for our paper "BTOR2, BtorMC and Boolector 3.0" at CAV 2018.

It also currently links to all resources used in our upcoming new word-level track in the HWMCC'19.


Aina Niemetz, Mathias Preiner, Clifford Wolf, Armin Biere.
Btor2, BtorMC and Boolector 3.0.
In Proc. 30th Intl. Conf. on Computer Aided Verification (CAV'18),
Lecture Notes in Computer Science (LNCS),
vol. 10981, pages 587-595, Springer 2018.

[ paper | bibtex | btor2tools | boolector | experiments ]


Material used in the experimental evaluation of the paper:

See also the Github page of the Btor2Tools and Boolector: