Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | chuMin Li |
Date of submission | 2009-03-23 17:48 |
Name | adaptg2wsat2009++ |
Version | 2009-03-23 |
Authors | chuMin Li, Wanxia Wei |
Complete/Incomplete | Incomplete |
Is able to solve | RANDOM |
Solver command line | HOME/adaptg2wsat2009++ BENCHNAME RANDOMSEED |
Conversion script command line | |
Comments | My 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 |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Hyojung Han |
Date of submission | 2009-03-23 22:12 |
Name | CircUs |
Version | 2009-03-23 |
Authors | Hyojung Han |
Complete/Incomplete | Complete |
Is able to solve | APPLICATION |
Solver command line | HOME/CirCUs BENCHNAME -t TIMEOUT |
Conversion script command line | |
Comments | Resubmitted with correct Makefile. Please just use 'make' to compile our solver. |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Benjamin Kaufmann |
Date of submission | 2009-03-21 13:43 |
Name | clasp |
Version | 1.2.0-SAT09-32 |
Authors | Benjamin Kaufmann |
Complete/Incomplete | Complete |
Is able to solve | APPLICATION CRAFTED |
Solver command line | HOME/clasp --file=BENCHNAME --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512 |
Conversion script command line | |
Comments | Build instructions: 1. unzip archive 2. cd clasp 3. make rs32 |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Gilles Audemard |
Date of submission | 2009-03-09 15:31 |
Name | glucose |
Version | 1.0 |
Authors | Gilles Audemard and Laurent Simon |
Complete/Incomplete | Complete |
Is able to solve | APPLICATION CRAFTED |
Solver command line | glucose.sh BENCHNAME |
Conversion script command line | |
Comments | |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Duc-Nghia Pham |
Date of submission | 2009-03-22 22:45 |
Name | gnovelty+2 |
Version | 2009-03-22 |
Authors | Duc-Nghia Pham and Charles Gretton |
Complete/Incomplete | Incomplete |
Is able to solve | RANDOM |
Solver command line | HOME/gnovelty+2 BENCHNAME RANDOMSEED |
Conversion script command line | |
Comments | Please install boost 1.38 and update the path in Makefile before compiling |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Charles Gretton |
Date of submission | 2009-03-22 22:46 |
Name | gNovelty+-T |
Version | 2009-03-22 |
Authors | Duc-Nghia Pham, Charles Gretton |
Complete/Incomplete | Incomplete |
Is able to solve | RANDOM |
Solver command line | HOME/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 |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Adrian Balint |
Date of submission | 2009-03-22 22:21 |
Name | hybridGM3 |
Version | 3 |
Authors | Adrian Balint |
Complete/Incomplete | Incomplete |
Is able to solve | RANDOM |
Solver command line | HOME/hybridGM3 BENCHNAME RANDOMSEED |
Conversion script command line | |
Comments | |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | John Thornton |
Date of submission | 2009-03-22 11:10 |
Name | iPAWS |
Version | 2009-03-22 |
Authors | John Thornton and Duc Nghia Pham |
Complete/Incomplete | Incomplete |
Is able to solve | RANDOM |
Solver command line | HOME/iPAWS BENCHNAME RANDOMSEED |
Conversion script command line | |
Comments | The 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 |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Abdorrahim Bahrami |
Date of submission | 2009-03-22 20:40 |
Name | IUT_BMB_SAT |
Version | 1.0 |
Authors | Abdorrahim Bahrami, Seyed Rasoul Mousavi, Kiarash Bazargan |
Complete/Incomplete | Complete |
Is able to solve | CRAFTED |
Solver command line | IUT_BMB_SAT BENCHNAME TMPDIR |
Conversion script command line | |
Comments | IUT_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 |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Johan Alfredsson |
Date of submission | 2009-03-20 11:16 |
Name | kw |
Version | 2009-03-20 |
Authors | Johan Alfredsson |
Complete/Incomplete | Complete |
Is able to solve | APPLICATION |
Solver command line | HOME/kw BENCHNAME |
Conversion script command line | |
Comments | |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Lakhdar SAIS |
Date of submission | 2009-03-20 20:56 |
Name | LySAT |
Version | c/2009-03-20 |
Authors | Youssef Hamadi, Saïd Jabbour, Lakhdar Saïs |
Complete/Incomplete | Complete |
Is able to solve | CRAFTED |
Solver command line | lysat.sh BENCHNAME c |
Conversion script command line | |
Comments | There 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 |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Lakhdar SAIS |
Date of submission | 2009-03-20 20:56 |
Name | LySAT |
Version | i/2009-03-20 |
Authors | Youssef Hamadi, Saïd Jabbour, Lakhdar Saïs |
Complete/Incomplete | Complete |
Is able to solve | APPLICATION |
Solver command line | lysat.sh BENCHNAME i |
Conversion script command line | |
Comments | There 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 |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Lakhdar SAIS |
Date of submission | 2009-03-20 21:08 |
Name | ManySAT 1.1 |
Version | aimd 1/2009-03-20 |
Authors | Youssef Hamadi, Saïd Jabbour, Lakhdar Saïs |
Complete/Incomplete | Complete |
Is able to solve | APPLICATION |
Solver command line | manysat.sh BENCHNAME aimd 1 |
Conversion script command line | |
Comments | There 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 |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Marijn Heule |
Date of submission | 2009-03-22 17:59 |
Name | march_hi |
Version | hi |
Authors | Marijn Heule |
Complete/Incomplete | Complete |
Is able to solve | RANDOM |
Solver command line | HOME/march_hi BENCHNAME |
Conversion script command line | |
Comments | |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Niklas Sorensson |
Date of submission | 2009-03-25 14:24 |
Name | MiniSat |
Version | 2.1 (Sat-race'08 Edition) |
Authors | Niklas Sorensson, Niklas Een |
Complete/Incomplete | Complete |
Is able to solve | APPLICATION CRAFTED |
Solver command line | HOME/minisat BENCHNAME |
Conversion script command line | |
Comments | This is exactly the same version that participated in the SAT Race 2008. |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Markus Iser |
Date of submission | 2009-03-22 12:01 |
Name | MiniSAT 09z |
Version | 2009-03-22 |
Authors | Markus Iser |
Complete/Incomplete | Complete |
Is able to solve | APPLICATION |
Solver command line | SatELiteGTI BENCHNAME -random-seed=RANDOMSEED |
Conversion script command line | |
Comments | |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Kazuya Masuda |
Date of submission | 2009-03-18 09:31 |
Name | minisat_cumr |
Version | p-2009-03-18 |
Authors | Kazuya Masuda, Tomio Kamada |
Complete/Incomplete | Complete |
Is able to solve | APPLICATION |
Solver command line | SatELiteGTI BENCHNAME |
Conversion script command line | |
Comments | |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | David Bregman |
Date of submission | 2009-03-14 20:36 |
Name | MXC |
Version | 2009-03-10 |
Authors | David Bregman |
Complete/Incomplete | Complete |
Is able to solve | APPLICATION CRAFTED |
Solver command line | HOME/mxc-sat09 -i BENCHNAME |
Conversion script command line | |
Comments | |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Armin Biere |
Date of submission | 2009-03-22 09:20 |
Name | precosat |
Version | 236 |
Authors | Armin Biere |
Complete/Incomplete | Complete |
Is able to solve | APPLICATION CRAFTED |
Solver command line | HOME/precosat BENCHNAME |
Conversion script command line | |
Comments | ./configure && make |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Knot Pipatsrisawat |
Date of submission | 2009-03-22 21:49 |
Name | Rsat |
Version | 2009-03-22 |
Authors | Knot Pipatsrisawat and Adnan Darwiche |
Complete/Incomplete | Complete |
Is able to solve | APPLICATION |
Solver command line | HOME/rsat.sh BENCHNAME TMPDIR |
Conversion script command line | |
Comments | Inside main dir. to build: ./build.sh to run: ./rsat.sh BENCHNAME TMPDIR |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Stephan Kottler |
Date of submission | 2009-03-22 09:30 |
Name | SApperloT |
Version | base |
Authors | Stephan Kottler |
Complete/Incomplete | Complete |
Is able to solve | APPLICATION CRAFTED |
Solver command line | HOME/SApperloT-base -seed=RANDOMSEED BENCHNAME |
Conversion script command line | |
Comments | To compile just enter make in the solvers directory. |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Wanxia Wei |
Date of submission | 2007-02-08 17:42 |
Name | SAT07 reference solver: adaptg2wsat+ |
Version | 2007-02-08 |
Authors | Wanxia Wei, Chu-Min Li and Harry Zhang |
Complete/Incomplete | Incomplete |
Is able to solve | RANDOM |
Solver command line | HOME/adaptg2wsat+ BENCHNAME |
Conversion script command line | |
Comments | wei |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Duc Nghia Pham |
Date of submission | 2007-02-08 17:55 |
Name | SAT07 reference solver: gnovelty+ |
Version | 2007-02-08 |
Authors | Duc Nghia Pham and Charles Gretton |
Complete/Incomplete | Incomplete |
Is able to solve | RANDOM |
Solver command line | HOME/gnovelty+ BENCHNAME |
Conversion script command line | |
Comments | pham |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Marijn Heule |
Date of submission | 2007-02-08 18:05 |
Name | SAT07 reference solver: March KS |
Version | 2007-02-08 |
Authors | Marijn Heule and Hans van Maaren |
Complete/Incomplete | Complete |
Is able to solve | RANDOM |
Solver command line | HOME/march_ks BENCHNAME |
Conversion script command line | |
Comments | heule |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Niklas Sorensson |
Date of submission | 2007-02-08 18:08 |
Name | SAT07 reference solver: minisat |
Version | SAT 2007 |
Authors | Niklas Sorensson and Niklas Een |
Complete/Incomplete | Complete |
Is able to solve | CRAFTED |
Solver command line | HOME/minisat_noassertions BENCHNAME |
Conversion script command line | |
Comments | een |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Armin Biere |
Date of submission | 2007-02-08 18:12 |
Name | SAT07 reference solver: picosat |
Version | 535 |
Authors | Armin Biere |
Complete/Incomplete | Complete |
Is able to solve | APPLICATION |
Solver command line | HOME/picosat BENCHNAME |
Conversion script command line | |
Comments | biere |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Knot Pipatsrisawat |
Date of submission | 2007-02-08 18:16 |
Name | SAT07 reference solver: Rsat |
Version | 2007-02-08 |
Authors | Knot Pipatsrisawat and Adnan Darwiche |
Complete/Incomplete | Complete |
Is able to solve | APPLICATION |
Solver command line | HOME/rsat.sh BENCHNAME |
Conversion script command line | |
Comments | rsat |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Lin Xu |
Date of submission | 2007-02-13 07:57 |
Name | SAT07 reference solver: SATzilla |
Version | CRAFTED |
Authors | Lin Xu, Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown |
Complete/Incomplete | Complete |
Is able to solve | CRAFTED |
Solver command line | HOME/SATzilla2007_C BENCHNAME |
Conversion script command line | |
Comments | satzillac |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Lin Xu |
Date of submission | 2007-02-13 07:59 |
Name | SAT07 reference solver: SATzilla |
Version | RANDOM |
Authors | Lin Xu, Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown |
Complete/Incomplete | Complete |
Is able to solve | RANDOM |
Solver command line | HOME/SATzilla2007_R BENCHNAME |
Conversion script command line | |
Comments | satzillar |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Lin Xu |
Date of submission | 2009-03-22 21:49 |
Name | SATzilla2009_C |
Version | 2009-03-22 |
Authors | Lin Xu, Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown |
Complete/Incomplete | Complete |
Is able to solve | CRAFTED |
Solver command line | HOME/SATzilla2009_C BENCHNAME |
Conversion script command line | |
Comments | SATzilla2009 for CRAFTED |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Lin Xu |
Date of submission | 2009-03-22 21:53 |
Name | SATzilla2009_I |
Version | 2009-03-22 |
Authors | Lin Xu, Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown |
Complete/Incomplete | Complete |
Is able to solve | APPLICATION |
Solver command line | HOME/SATzilla2009_I BENCHNAME |
Conversion script command line | |
Comments | SATzilla2009 for INDUSTRIAL |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Lin Xu |
Date of submission | 2009-03-22 21:39 |
Name | SATzilla2009_R |
Version | 2009-03-22 |
Authors | Lin Xu, Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown |
Complete/Incomplete | Complete |
Is able to solve | RANDOM |
Solver command line | HOME/SATzilla2009_R BENCHNAME |
Conversion script command line | |
Comments | SATzilla2009 for RANDOM |
Solver files and checksums |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Wanxia Wei |
Date of submission | 2009-03-22 21:54 |
Name | TNM |
Version | 2009-03-22 |
Authors | Wanxia Wei and Chu Min Li |
Complete/Incomplete | Incomplete |
Is able to solve | RANDOM |
Solver command line | HOME/TNM BENCHNAME RANDOMSEED |
Conversion script command line | |
Comments | Dear 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 |
Event | SAT 2009 Competition: main competition (phase2) |
Type | SAT |
Submitter | Eric Hsu |
Date of submission | 2009-03-22 23:11 |
Name | VARSAT-industrial |
Version | 2009-03-22 |
Authors | Eric Hsu |
Complete/Incomplete | Complete |
Is able to solve | CRAFTED |
Solver command line | HOME/varsat-industrial_static -seed=RANDOMSEED BENCHNAME |
Conversion script command line | |
Comments | Preference 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 |