CNF2ToB tool and Instances

CNF2ToB tool (Zipped Linux binary) : Click here

91 CNF instances : Click here

Instance Sources

ISCAS85: http://www.ece.vt.edu/~mhsiao/iscas85.html

ISCAS89: http://www.ece.vt.edu/~mhsiao/iscas89.html

ISCAS93: http://www.ece.vt.edu/~mhsiao/iscas93.html

ISCAS99: http://www.fm.vslib.cz/~kes/asic/iscas/

Goldberg-bmc2: http://www.satlib.org

Mercedes configuration: http://www-sr.informatik.uni-tuebingen.de/~sinz/DC/