Data updates.
Typo corrected.
Added a bit of discussion.
Adding support for cryptominisat-3.2.
Correction: cryptominisat is now on github, not gitorious.