Dates

Intentions to submit were due September 14, 2012.

New benchmarks are accepted any time (even after the competition).

For submission or any other request send EMail to biere@jku.at.

Final versions of model checkers were due on October 8.

Results have been presented on October 24, 2012, at FMCAD'12.