SAT 2009 Competition: main competition (phase 1): list of solvers

List of solvers

Details on each solver


EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterchuMin Li
Date of submission2009-03-23 17:39
Nameadaptg2wsat2009
Version2009-03-23
AuthorschuMin Li, Wanxia Wei
Complete/IncompleteIncomplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/adaptg2wsat2009 BENCHNAME RANDOMSEED
Conversion script command line
CommentsMy system does not support the -static flag. I put it in Makefile and hope the competition environment support it. Please let me know if there is any problem.

The solver is not complete, but can answer unsatisfiable in some cases.
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterchuMin Li
Date of submission2009-03-23 17:48
Nameadaptg2wsat2009++
Version2009-03-23
AuthorschuMin Li, Wanxia Wei
Complete/IncompleteIncomplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/adaptg2wsat2009++ BENCHNAME RANDOMSEED
Conversion script command line
CommentsMy system does not support the -static flag. I put it in Makefile and hope the competition environment support it (as in the 2007 competition). Please let me know if there is any problem.

The solver is not complete, but can answer unsatisfiable in some cases.
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterHyojung Han
Date of submission2009-03-23 22:12
NameCircUs
Version2009-03-23
AuthorsHyojung Han
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/CirCUs BENCHNAME -t TIMEOUT
Conversion script command line
CommentsResubmitted with correct Makefile.
Please just use 'make' to compile our solver.
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterBenjamin Kaufmann
Date of submission2009-03-21 13:43
Nameclasp
Version1.2.0-SAT09-32
AuthorsBenjamin Kaufmann
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/clasp --file=BENCHNAME --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512
Conversion script command line
CommentsBuild instructions:
1. unzip archive
2. cd clasp
3. make rs32
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterGuanfeng Lv
Date of submission2009-03-22 14:08
NameCSat
Version2009-03-22
AuthorsGuanfeng Lv, Qian Wang, Kaile Su
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineDIR/csat BENCHNAME
Conversion script command line
Comments./csat benchname [-r resultfilename] [-t 1000000]

examples:

./csat file.cnf -r result.txt -t 1800
./csat file.cnf -r result.txt
./csat file.cnf -t 1800
./csat file.cnf
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterGilles Audemard
Date of submission2009-03-09 15:31
Nameglucose
Version1.0
AuthorsGilles Audemard and Laurent Simon
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineglucose.sh BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterDuc-Nghia Pham
Date of submission2009-03-22 23:15
Namegnovelty+
Version2009-03-22
AuthorsDuc-Nghia Pham and Charles Gretton
Complete/IncompleteIncomplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/gnovelty+ BENCHNAME RANDOMSEED
Conversion script command line
CommentsRANDOMSEED is optional
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterDuc-Nghia Pham
Date of submission2009-03-22 22:45
Namegnovelty+2
Version2009-03-22
AuthorsDuc-Nghia Pham and Charles Gretton
Complete/IncompleteIncomplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/gnovelty+2 BENCHNAME RANDOMSEED
Conversion script command line
CommentsPlease install boost 1.38 and update the path in Makefile before compiling
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterDuc-Nghia Pham
Date of submission2009-03-22 23:09
Namegnovelty+2-H
Version2009-03-22
AuthorsDuc-Nghia Pham and Charles Gretton
Complete/IncompleteIncomplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/gnovelty+2-H BENCHNAME RANDOMSEED
Conversion script command line
Commentsplease install boost 1.38 and update its path in Makefile before compiling

the RANDOMSEED is optional
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterCharles Gretton
Date of submission2009-03-22 22:46
NamegNovelty+-T
Version2009-03-22
AuthorsDuc-Nghia Pham, Charles Gretton
Complete/IncompleteIncomplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
Conversion script command line
Comments
Threaded version of gNovelty+.

Executable is

./gnovelty+

This solver always uses MAXNBTHREAD threads.


Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterCharles Gretton
Date of submission2009-03-22 22:45
NamegNovelty+-V.2-T
Version2009-03-22
AuthorsDuc-Nghia Pham, Charles Gretton
Complete/IncompleteIncomplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
Conversion script command line
CommentsSame as gNovelty+-T
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterCharles Gretton
Date of submission2009-03-22 22:47
NamegNovelty+-V.2-T-H
Version2009-03-22
AuthorsDuc-Nghia Pham, Charles Gretton
Complete/IncompleteIncomplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
Conversion script command line
Commentsas for gNovelty+-T
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterWanxia Wei
Date of submission2009-03-22 21:45
NameHybrid2
Version2009-03-22
AuthorsWanxia Wei, Chu Min Li, and Harry Zhang
Complete/IncompleteIncomplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/Hybrid2 BENCHNAME RANDOMSEED
Conversion script command line
CommentsDear Organizers:

The make file that I will submit works fine on the severs I use. When running this solver, two options are needed: the first one is the name of the instance file and the second one is a random seed. If there is any problem with the make file and options, please let me know. Thanks!

Wanxia
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterAdrian Balint
Date of submission2009-03-22 22:20
NamehybridGM
Version1
AuthorsAdrian Balint
Complete/IncompleteIncomplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/hybridGM BENCHNAME RANDOMSEED
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterAdrian Balint
Date of submission2009-03-22 22:21
NamehybridGM3
Version3
AuthorsAdrian Balint
Complete/IncompleteIncomplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/hybridGM3 BENCHNAME RANDOMSEED
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterAdrian Balint
Date of submission2009-03-22 22:21
NamehybridGM7
Version7
AuthorsAdrian Balint
Complete/IncompleteIncomplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/hybridGM7 BENCHNAME RANDOMSEED
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterChristoph Wernhard
Date of submission2009-03-22 18:06
NameHydraSAT
Version2009-03-22-Base
AuthorsChristoph Baldow, Friedrich Gräter, Steffen Hölldobler, Norbert Manthey, Max Seelemann, Peter Steinke, Christoph Wernhard, Konrad Winkler, Erik Zenker
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineDIR/hydrasat BENCHNAME -rs RANDOMSEED -co memory_limit MEMLIMIT
Conversion script command line
Commentssee DIR/README
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterChristoph Wernhard
Date of submission2009-03-22 18:02
NameHydraSAT-Flat
Version2009-03-22-Flat
AuthorsChristoph Baldow, Friedrich Gräter, Steffen Hölldobler, Norbert Manthey, Max Seelemann, Peter Steinke, Christoph Wernhard, Konrad Winkler, Erik Zenker
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineDIR/hydrasat-flat BENCHNAME -rs RANDOMSEED -co memory_limit MEMLIMIT
Conversion script command line
Commentssee DIR/README
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterChristoph Wernhard
Date of submission2009-03-22 17:29
NameHydraSAT-Multi
Version2009-03-22-Multi
AuthorsChristoph Baldow, Friedrich Gräter, Steffen Hölldobler, Norbert Manthey, Max Seelemann, Peter Steinke, Christoph Wernhard, Konrad Winkler, Erik Zenker
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineDIR/hydrasat-multi.sh DIR BENCHNAME MEMLIMIT RANDOMSEED
Conversion script command line
Commentssee DIR/README
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterJohn Thornton
Date of submission2009-03-22 11:10
NameiPAWS
Version2009-03-22
AuthorsJohn Thornton and Duc Nghia Pham
Complete/IncompleteIncomplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/iPAWS BENCHNAME RANDOMSEED
Conversion script command line
CommentsThe archive contains a Makefile, iPAWS.c and sat09.pdf. It will extract to an iPAWS directory. Type make to compile. The pdf contains the two page description of iPAWS.
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterAbdorrahim Bahrami
Date of submission2009-03-22 20:40
NameIUT_BMB_SAT
Version1.0
AuthorsAbdorrahim Bahrami, Seyed Rasoul Mousavi, Kiarash Bazargan
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineIUT_BMB_SAT BENCHNAME TMPDIR
Conversion script command line
CommentsIUT_BMB_SAT version 1.0

/use the solver
To use the solver just copy IUT_BMB_SAT and minisat binary files from Binary folder to a same folder and then run IUT_BMB_SAT

/run the solver
IUT_BMB_SAT get 2 pathes in command line. The first one is the cnf File path and the second one is the temporary directory path. This 2 pathes are mandatory. No other inputs need for this solver.

For example
IUT_BMB_SAT /root/hanoi4.cnf /tmp
The first path = cnf file path =/root/hanoi4.cnf
The Second path = temporary directory = /tmp

/build the binary files from sources
for making minisat binary file just make the makefile in /Source/minisat/simp
for making IUT_BMB_SAT binary file just compile the /Source/IUT_BMB_SAT/New_Factoring.cpp with gcc like
g++ -o IUT_BMB_SAT ../Source/IUT_BMB_SAT/New_Factoring.cpp
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterJohan Alfredsson
Date of submission2009-03-20 11:16
Namekw
Version2009-03-20
AuthorsJohan Alfredsson
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/kw BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterLakhdar SAIS
Date of submission2009-03-20 20:56
NameLySAT
Versionc/2009-03-20
AuthorsYoussef Hamadi, Saïd Jabbour, Lakhdar Saïs
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command linelysat.sh BENCHNAME c
Conversion script command line
CommentsThere are two submitted versions which run from the same executable with two options (i or c):

lysat.sh BENCHNAME i
and
lysat.sh BENCHNAME c
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterLakhdar SAIS
Date of submission2009-03-20 20:56
NameLySAT
Versioni/2009-03-20
AuthorsYoussef Hamadi, Saïd Jabbour, Lakhdar Saïs
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command linelysat.sh BENCHNAME i
Conversion script command line
CommentsThere are two submitted versions which run from the same executable with two options (i or c):

lysat.sh BENCHNAME i
and
lysat.sh BENCHNAME c
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterLakhdar SAIS
Date of submission2009-03-20 21:08
NameManySAT 1.1
Versionaimd 0/2009-03-20
AuthorsYoussef Hamadi, Saïd Jabbour, Lakhdar Saïs
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command linemanysat.sh BENCHNAME aimd 0
Conversion script command line
CommentsThere are three versions submitted which can be distinguished with one parameter, aimd (0,1 or 2):

manysat.sh BENCHNAME aimd 0

manysat.sh BENCHNAME aimd 1

manysat.sh BENCHNAME aimd 2
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterLakhdar SAIS
Date of submission2009-03-20 21:08
NameManySAT 1.1
Versionaimd 1/2009-03-20
AuthorsYoussef Hamadi, Saïd Jabbour, Lakhdar Saïs
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command linemanysat.sh BENCHNAME aimd 1
Conversion script command line
CommentsThere are three versions submitted which can be distinguished with one parameter, aimd (0,1 or 2):

manysat.sh BENCHNAME aimd 0

manysat.sh BENCHNAME aimd 1

manysat.sh BENCHNAME aimd 2
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterLakhdar SAIS
Date of submission2009-03-20 21:08
NameManySAT 1.1
Versionaimd 2/2009-03-20
AuthorsYoussef Hamadi, Saïd Jabbour, Lakhdar Saïs
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command linemanysat.sh BENCHNAME aimd 2
Conversion script command line
CommentsThere are three versions submitted which can be distinguished with one parameter, aimd (0,1 or 2):

manysat.sh BENCHNAME aimd 0

manysat.sh BENCHNAME aimd 1

manysat.sh BENCHNAME aimd 2
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterMarijn Heule
Date of submission2009-03-22 17:59
Namemarch_hi
Versionhi
AuthorsMarijn Heule
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/march_hi BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterMarijn Heule
Date of submission2009-03-22 18:04
Namemarch_nn
Versionnn
AuthorsMarijn Heule
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/march_nn BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterNiklas Sorensson
Date of submission2009-03-25 14:24
NameMiniSat
Version2.1 (Sat-race'08 Edition)
AuthorsNiklas Sorensson, Niklas Een
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/minisat BENCHNAME
Conversion script command line
CommentsThis is exactly the same version that participated in the SAT Race 2008.
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterMarkus Iser
Date of submission2009-03-22 12:01
NameMiniSAT 09z
Version2009-03-22
AuthorsMarkus Iser
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineSatELiteGTI BENCHNAME -random-seed=RANDOMSEED
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterKazuya Masuda
Date of submission2009-03-18 09:31
Nameminisat_cumr
Versionp-2009-03-18
AuthorsKazuya Masuda, Tomio Kamada
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineSatELiteGTI BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterJingchao Chen
Date of submission2009-03-03 13:45
NameMoRsat
Version2009-03-03
AuthorsJingchao Chen
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/MoRsat BENCHNAME
Conversion script command line
Comments========================================
MoRsat 2.01 instructions
========================================
[March 1,2009]
MoRSat is licensed for only non-commercial, research or educational purposes only.
If you have any question, comment or bug, please report to chen-jc@dhu.edu.cn or chenjingchao@yahoo.com>

=========
Building
=========
The solver should be compiled for 32 bits architecture.
To build this solver, run

> ./make

=====
Usage
=====

To run MoRSat, run

> ./MoRsat <cnf-file>

By default, it will output an answer line (SAT/UNSAT) and the actual solution (if SAT).

Run

> ./MoRsat

for the list of options.
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterDavid Bregman
Date of submission2009-03-14 20:36
NameMXC
Version2009-03-10
AuthorsDavid Bregman
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/mxc-sat09 -i BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterWanxia Wei
Date of submission2009-03-22 21:51
NameNCVWr
Version2009-03-22
AuthorsWanxia Wei, Chu Min Li, and Harry Zhang
Complete/IncompleteIncomplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/NCVWr BENCHNAME RANDOMSEED
Conversion script command line
CommentsDear Organizers:

The make file that I will submit works fine on the severs I use. When running this solver, two options are needed: the first one is the name of the instance file and the second one is a random seed. If there is any problem with the make file and options, please let me know. Thanks!

Wanxia
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterArmin Biere
Date of submission2009-03-20 10:28
Namepicosat
Version913
AuthorsArmin Biere
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/picosat BENCHNAME
Conversion script command line
Comments./configure && make
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterArmin Biere
Date of submission2009-03-22 09:20
Nameprecosat
Version236
AuthorsArmin Biere
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/precosat BENCHNAME
Conversion script command line
Comments./configure && make
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterKnot Pipatsrisawat
Date of submission2009-03-22 21:49
NameRsat
Version2009-03-22
AuthorsKnot Pipatsrisawat and Adnan Darwiche
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/rsat.sh BENCHNAME TMPDIR
Conversion script command line
CommentsInside main dir.
to build: ./build.sh
to run: ./rsat.sh BENCHNAME TMPDIR
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterStephan Kottler
Date of submission2009-03-22 09:30
NameSApperloT
Versionbase
AuthorsStephan Kottler
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/SApperloT-base -seed=RANDOMSEED BENCHNAME
Conversion script command line
CommentsTo compile just enter make in the solvers directory.
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterStephan Kottler
Date of submission2009-03-22 21:11
NameSApperloT
Versionhrp
AuthorsStephan Kottler
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/SApperloT-hrp -seed=RANDOMSEED BENCHNAME
Conversion script command line
CommentsTo compile just enter make in the solvers directory.
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterWanxia Wei
Date of submission2007-02-08 17:42
NameSAT07 reference solver: adaptg2wsat+
Version2007-02-08
AuthorsWanxia Wei, Chu-Min Li and Harry Zhang
Complete/IncompleteIncomplete
Is able to solveRANDOM
Solver command lineHOME/adaptg2wsat+ BENCHNAME
Conversion script command line
Commentswei
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterDuc Nghia Pham
Date of submission2007-02-08 17:55
NameSAT07 reference solver: gnovelty+
Version2007-02-08
AuthorsDuc Nghia Pham and Charles Gretton
Complete/IncompleteIncomplete
Is able to solveRANDOM
Solver command lineHOME/gnovelty+ BENCHNAME
Conversion script command line
Commentspham
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterMarijn Heule
Date of submission2007-02-08 18:05
NameSAT07 reference solver: March KS
Version2007-02-08
AuthorsMarijn Heule and Hans van Maaren
Complete/IncompleteComplete
Is able to solveCRAFTED
RANDOM
Solver command lineHOME/march_ks BENCHNAME
Conversion script command line
Commentsheule
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterNiklas Sorensson
Date of submission2007-02-08 18:08
NameSAT07 reference solver: minisat
VersionSAT 2007
AuthorsNiklas Sorensson and Niklas Een
Complete/IncompleteComplete
Is able to solveCRAFTED
Solver command lineHOME/minisat_noassertions BENCHNAME
Conversion script command line
Commentseen
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterArmin Biere
Date of submission2007-02-08 18:12
NameSAT07 reference solver: picosat
Version535
AuthorsArmin Biere
Complete/IncompleteComplete
Is able to solveAPPLICATION
Solver command lineHOME/picosat BENCHNAME
Conversion script command line
Commentsbiere
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterKnot Pipatsrisawat
Date of submission2007-02-08 18:16
NameSAT07 reference solver: Rsat
Version2007-02-08
AuthorsKnot Pipatsrisawat and Adnan Darwiche
Complete/IncompleteComplete
Is able to solveAPPLICATION
Solver command lineHOME/rsat.sh BENCHNAME
Conversion script command line
Commentsrsat
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterLin Xu
Date of submission2007-02-13 07:57
NameSAT07 reference solver: SATzilla
VersionCRAFTED
AuthorsLin Xu, Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown
Complete/IncompleteComplete
Is able to solveCRAFTED
Solver command lineHOME/SATzilla2007_C BENCHNAME
Conversion script command line
Commentssatzillac
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterLin Xu
Date of submission2007-02-13 07:59
NameSAT07 reference solver: SATzilla
VersionRANDOM
AuthorsLin Xu, Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown
Complete/IncompleteComplete
Is able to solveRANDOM
Solver command lineHOME/SATzilla2007_R BENCHNAME
Conversion script command line
Commentssatzillar
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterDaniel Le Berre
Date of submission2009-03-02 19:57
NameSAT4J CORE
Version2.1 RC1
AuthorsDaniel Le Berre
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command linejava6 -server -Xms1600m -Xmx1600m -jar HOME/org.sat4j.core.jar BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterKota Tsuyuzaki
Date of submission2009-03-22 20:47
Namesatake
Version2009-03-22
AuthorsKota Tsuyuzaki
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
Conversion script command line
CommentsPlease read README file in the archive to run the solver satake.
And please contact us if you need.
MAXNBTHREAD of satake is 16.
THREADNUM is number of threads to use.It must be between 2 and 16.
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterLin Xu
Date of submission2009-03-22 21:49
NameSATzilla2009_C
Version2009-03-22
AuthorsLin Xu, Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/SATzilla2009_C BENCHNAME
Conversion script command line
CommentsSATzilla2009 for CRAFTED
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterLin Xu
Date of submission2009-03-22 21:53
NameSATzilla2009_I
Version2009-03-22
AuthorsLin Xu, Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/SATzilla2009_I BENCHNAME
Conversion script command line
CommentsSATzilla2009 for INDUSTRIAL
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterLin Xu
Date of submission2009-03-22 21:39
NameSATzilla2009_R
Version2009-03-22
AuthorsLin Xu, Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/SATzilla2009_R BENCHNAME
Conversion script command line
CommentsSATzilla2009 for RANDOM
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterAnton Belov
Date of submission2009-03-22 23:22
Nameslstc
Version1.0
AuthorsAnton Belov, Zbigniew Stachniak
Complete/IncompleteIncomplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/slstc -alg adaptnovelty+-tc -runs 1 -cutoff max -r out null -r stats null -r sat2009comp -drestart 100000 -seed RANDOMSEED -inst BENCHNAME
Conversion script command line
CommentsThis is a UBCSAT-based implementation of adaptive novelty+ with the candidate list trimming and literal commitment
techniques.
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterWanxia Wei
Date of submission2009-03-22 21:54
NameTNM
Version2009-03-22
AuthorsWanxia Wei and Chu Min Li
Complete/IncompleteIncomplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/TNM BENCHNAME RANDOMSEED
Conversion script command line
CommentsDear Organizers:

The make file that I will submit works fine on the severs I use. When running this solver, two options are needed: the first one is the name of the instance file and the second one is a random seed. If there is any problem with the make file and options, please let me know. Thanks!

Wanxia
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterIvor Spence
Date of submission2009-03-19 22:23
Nametts
Versiontts-5-0
AuthorsIvor Spence
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/tts-5-0 BENCHNAME
Conversion script command line
CommentsThe solver is compiled by typing
$ gunzip tts-5-0.tgz
$ tar -xvf tts-5-0.tar
$ make
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterIvor Spence
Date of submission2009-03-19 22:30
Namettsth-5-0
Version2009-03-19
AuthorsIvor Spence
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
Conversion script command line
CommentsThis multithreaded version is built from the same files as ttd-5-0. The command is

$ make ttsth-5-0
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterEric Hsu
Date of submission2009-03-22 23:10
NameVARSAT-crafted
Version2009-03-22
AuthorsEric Hsu
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/varsat-crafted_static -seed=RANDOMSEED BENCHNAME
Conversion script command line
CommentsPreference is for solver to be compiled on-site, but there is also already a binary that was compiled on my own machine.
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterEric Hsu
Date of submission2009-03-22 23:11
NameVARSAT-industrial
Version2009-03-22
AuthorsEric Hsu
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/varsat-industrial_static -seed=RANDOMSEED BENCHNAME
Conversion script command line
CommentsPreference is for solver to be compiled on-site, but there is also already a binary that was compiled on my own machine.
Solver files and checksums
[Show/Hide files]

EventSAT 2009 Competition: main competition (phase 1)
TypeSAT
SubmitterEric Hsu
Date of submission2009-03-22 23:14
NameVARSAT-random
Version2009-03-22
AuthorsEric Hsu
Complete/IncompleteComplete
Is able to solveAPPLICATION
CRAFTED
RANDOM
Solver command lineHOME/varsat-random_static -seed=RANDOMSEED BENCHNAME
Conversion script command line
CommentsPreference is for solver to be compiled on-site, but there is also already a binary that was compiled on my own machine.

Thank you for organizing\!
Solver files and checksums
[Show/Hide files]