Binary code of the solvers entering the SAT09 competition

The SAT solvers in this archive are made available in binary form for 
research purposes only. For all other uses, especially for 
redistribution, please contact the authors of the solvers.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
OTHER DEALINGS IN THE SOFTWARE.

                solver                |       contact        |                email                 
--------------------------------------+----------------------+--------------------------------------
 adaptg2wsat2009                      | chuMin LI            | chu-min.li@u-picardie.fr
 adaptg2wsat2009++                    | chuMin LI            | chu-min.li@u-picardie.fr
 APTUSAT                              | Grigory YAROSLAVTSEV | grigory.yaroslavtsev@gmail.com
 BinMiniSat                           | Miyuki KOSHIMURA     | koshi@is.kyushu-u.ac.jp
 CircUs                               | Hyojung HAN          | Hyojung.Han@colorado.edu
 clasp                                | Benjamin KAUFMANN    | kaufmann@cs.uni-potsdam.de
 CSat                                 | Guanfeng LV          | lgfcube@gmail.com
 glucose                              | Gilles AUDEMARD      | audemard@cril.fr
 gnovelty+                            | Duc-Nghia PHAM       | duc-nghia.pham@nicta.com.au
 gnovelty+2                           | Duc-Nghia PHAM       | duc-nghia.pham@nicta.com.au
 gnovelty+2-H                         | Duc-Nghia PHAM       | duc-nghia.pham@nicta.com.au
 gNovelty+-T                          | Charles GRETTON      | charles.gretton@gmail.com
 gNovelty+-V.2-T                      | Charles GRETTON      | charles.gretton@gmail.com
 gNovelty+-V.2-T-H                    | Charles GRETTON      | charles.gretton@gmail.com
 Hybrid2                              | Wanxia WEI           | wanxia.wei@unb.ca
 hybridGM                             | Adrian BALINT        | adrian.balint@uni-ulm.de
 hybridGM3                            | Adrian BALINT        | adrian.balint@uni-ulm.de
 hybridGM7                            | Adrian BALINT        | adrian.balint@uni-ulm.de
 HydraSAT                             | Christoph WERNHARD   | Christoph.Wernhard@tu-dresden.de
 HydraSAT-Flat                        | Christoph WERNHARD   | Christoph.Wernhard@tu-dresden.de
 HydraSAT-Multi                       | Christoph WERNHARD   | Christoph.Wernhard@tu-dresden.de
 iPAWS                                | John THORNTON        | j.thornton@griffith.edu.au
 IUT_BMB_SAT                          | Abdorrahim BAHRAMI   | abdorrahim@ec.iut.ac.ir
 IUT_BMB_SIM                          | Abdorrahim BAHRAMI   | abdorrahim@ec.iut.ac.ir
 kw                                   | Johan ALFREDSSON     | johan@oepir.com
 kw_pre                               | Johan ALFREDSSON     | johan@oepir.com
 LySAT                                | Lakhdar SAIS         | sais@cril.fr
 ManySAT 1.1                          | Lakhdar SAIS         | sais@cril.fr
 march_hi                             | Marijn HEULE         | marijn@heule.nl
 march_nn                             | Marijn HEULE         | marijn@heule.nl
 MiniSat                              | Niklas SORENSSON     | niklasso@gmail.com
 MiniSAT 09z                          | Markus ISER          | zelle@nincode.net
 MiniSat2hack                         | Allen VAN GELDER     | avg@cs.ucsc.edu
 minisat_cumr                         | Kazuya MASUDA        | kazy@cs26.scitec.kobe-u.ac.jp
 MoRsat                               | Jingchao CHEN        | chenjingchao@yahoo.com
 MXC                                  | David BREGMAN        | drb@sfu.ca
 NCVWr                                | Wanxia WEI           | wanxia.wei@unb.ca
 picosat                              | Armin BIERE          | biere@jku.at
 precosat                             | Armin BIERE          | biere@jku.at
 ReVivAl 0.23                         | Cédric PIETTE        | piette@cril.fr
 ReVivAl 0.23 + SatElite              | Cédric PIETTE        | piette@cril.fr
 Rsat                                 | Knot PIPATSRISAWAT   | thammaknot@ucla.edu
 SApperloT                            | Stephan KOTTLER      | kottlers@informatik.uni-tuebingen.de
 SAT07 reference solver: adaptg2wsat+ | Wanxia WEI           | wanxia.wei@unb.ca
 SAT07 reference solver: gnovelty+    | Duc NGHIA PHAM       | duc-nghia.pham@nicta.com.au
 SAT07 reference solver: March KS     | Marijn HEULE         | marijn@heule.nl
 SAT07 reference solver: minisat      | Niklas SORENSSON     | nik@cs.chalmers.se
 SAT07 reference solver: picosat      | Armin BIERE          | biere@jku.at
 SAT07 reference solver: Rsat         | Knot PIPATSRISAWAT   | thammaknot@ucla.edu
 SAT07 reference solver: SATzilla     | Lin XU               | xulin730@cs.ubc.ca
 SAT4J CORE                           | Daniel LE BERRE      | leberre@cril.univ-artois.fr
 satake                               | Kota TSUYUZAKI       | ktsuyuzaki@ueda.info.waseda.ac.jp
 SatElite + ReVivAl 0.23              | Cédric PIETTE        | piette@cril.fr
 SATzilla2009_C                       | Lin XU               | xulin730@cs.ubc.ca
 SATzilla2009_I                       | Lin XU               | xulin730@cs.ubc.ca
 SATzilla2009_R                       | Lin XU               | xulin730@cs.ubc.ca
 slstc                                | Anton BELOV          | antonb@cse.yorku.ca
 TNM                                  | Wanxia WEI           | wanxia.wei@unb.ca
 tts                                  | Ivor SPENCE          | i.spence@qub.ac.uk
 ttsth-5-0                            | Ivor SPENCE          | i.spence@qub.ac.uk
 VARSAT-crafted                       | Eric HSU             | eihsu@cs.toronto.edu
 VARSAT-industrial                    | Eric HSU             | eihsu@cs.toronto.edu
 VARSAT-random                        | Eric HSU             | eihsu@cs.toronto.edu
 VARSAT-small                         | Eric HSU             | eihsu@cs.toronto.edu
