Event | SAT 2007 Competition Phase 2 |
Type | SAT |
Submitter | Wanxia Wei |
Date of submission | 2007-02-08 17:42 |
Name | 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 2007 Competition Phase 2 |
Type | SAT |
Submitter | Chu-Min Li |
Date of submission | 2007-02-08 17:39 |
Name | adaptg2wsat0 |
Version | 2007-02-08 |
Authors | Chu-Min Li, Wanxia Wei and Harry Zhang |
Complete/Incomplete | Complete |
Is able to solve | RANDOM |
Solver command line | HOME/adaptg2wsat0 BENCHNAME |
Conversion script command line | |
Comments | chuminli |
Solver files and checksums |
Event | SAT 2007 Competition Phase 2 |
Type | SAT |
Submitter | David Williams |
Date of submission | 2007-02-08 17:45 |
Name | adaptnovelty |
Version | 2007-02-08 |
Authors | Holger Hoos and Dave Tompkins |
Complete/Incomplete | Incomplete |
Is able to solve | RANDOM |
Solver command line | HOME/adaptnovelty BENCHNAME RANDOMSEED |
Conversion script command line | |
Comments | tompkins |
Solver files and checksums |
Event | SAT 2007 Competition Phase 2 |
Type | SAT |
Submitter | Himanshu Jain |
Date of submission | 2007-02-08 17:50 |
Name | CMUSAT |
Version | 2007-02-08 |
Authors | Himanshu Jain and Edmund Clarke |
Complete/Incomplete | Complete |
Is able to solve | CRAFTED INDUST |
Solver command line | HOME/cmusat BENCHNAME |
Conversion script command line | |
Comments | jain |
Solver files and checksums |
Event | SAT 2007 Competition Phase 2 |
Type | SAT |
Submitter | Anbulagan Anbulagan |
Date of submission | 2007-02-08 17:53 |
Name | DEWSATZ 1A |
Version | 2007-02-08 |
Authors | Anbulagan |
Complete/Incomplete | Complete |
Is able to solve | RANDOM |
Solver command line | HOME/dewSatz_1a BENCHNAME |
Conversion script command line | |
Comments | anbulagan |
Solver files and checksums |
Event | SAT 2007 Competition Phase 2 |
Type | SAT |
Submitter | Duc Nghia Pham |
Date of submission | 2007-02-08 17:55 |
Name | gnovelty+ |
Version | 2007-02-08 |
Authors | Duc Nghia Pham and Charles Gretton |
Complete/Incomplete | Complete |
Is able to solve | RANDOM |
Solver command line | HOME/gnovelty+ BENCHNAME |
Conversion script command line | |
Comments | pham |
Solver files and checksums |
Event | SAT 2007 Competition Phase 2 |
Type | SAT |
Submitter | Gilles Dequen |
Date of submission | 2007-02-08 17:58 |
Name | KCNFS |
Version | 2004 |
Authors | Gilles Dequen and Olivier Dubois |
Complete/Incomplete | Complete |
Is able to solve | RANDOM |
Solver command line | HOME/kcnfs-2004 BENCHNAME |
Conversion script command line | |
Comments | dequen |
Solver files and checksums |
Event | SAT 2007 Competition Phase 2 |
Type | SAT |
Submitter | Marijn Heule |
Date of submission | 2007-02-08 18:05 |
Name | March KS |
Version | 2007-02-08 |
Authors | Marijn Heule and Hans van Maaren |
Complete/Incomplete | Complete |
Is able to solve | CRAFTED RANDOM |
Solver command line | HOME/march_ks BENCHNAME |
Conversion script command line | |
Comments | heule |
Solver files and checksums |
Event | SAT 2007 Competition Phase 2 |
Type | SAT |
Submitter | Niklas Sorensson |
Date of submission | 2007-02-08 18:08 |
Name | minisat |
Version | SAT 2007 |
Authors | Niklas Sorensson and Niklas Een |
Complete/Incomplete | Complete |
Is able to solve | CRAFTED INDUST RANDOM |
Solver command line | HOME/minisat_noassertions BENCHNAME |
Conversion script command line | |
Comments | een |
Solver files and checksums |
Event | SAT 2007 Competition Phase 2 |
Type | SAT |
Submitter | Tobias Schubert |
Date of submission | 2007-02-09 17:36 |
Name | MiraXT |
Version | v3 |
Authors | Tobias Schubert, Matthew Lewis, Natalia Kalinnik and Bernd Becker |
Complete/Incomplete | Complete |
Is able to solve | CRAFTED INDUST RANDOM |
Solver command line | HOME/MiraXTv3_dyn BENCHNAME |
Conversion script command line | |
Comments | mira |
Solver files and checksums |
Event | SAT 2007 Competition Phase 2 |
Type | SAT |
Submitter | David R. Bregman |
Date of submission | 2007-02-08 18:12 |
Name | MXC |
Version | 2007-02-08 |
Authors | David R. Bregman and David G. Mitchell |
Complete/Incomplete | Complete |
Is able to solve | CRAFTED INDUST RANDOM |
Solver command line | HOME/mxc BENCHNAME |
Conversion script command line | |
Comments | bregman |
Solver files and checksums |
Event | SAT 2007 Competition Phase 2 |
Type | SAT |
Submitter | Armin Biere |
Date of submission | 2007-02-08 18:12 |
Name | picosat |
Version | 535 |
Authors | Armin Biere |
Complete/Incomplete | Complete |
Is able to solve | CRAFTED INDUST |
Solver command line | HOME/picosat BENCHNAME |
Conversion script command line | |
Comments | biere |
Solver files and checksums |
Event | SAT 2007 Competition Phase 2 |
Type | SAT |
Submitter | Duc Nghia Pham |
Date of submission | 2007-02-08 18:15 |
Name | ranov |
Version | 2007-02-08 |
Authors | Duc Nghia Pham and Anbulagan |
Complete/Incomplete | Complete |
Is able to solve | RANDOM |
Solver command line | HOME/ranov BENCHNAME |
Conversion script command line | |
Comments | pham |
Solver files and checksums |
Event | SAT 2007 Competition Phase 2 |
Type | SAT |
Submitter | Knot Pipatsrisawat |
Date of submission | 2007-02-08 18:16 |
Name | Rsat |
Version | 2007-02-08 |
Authors | Knot Pipatsrisawat and Adnan Darwiche |
Complete/Incomplete | Complete |
Is able to solve | CRAFTED INDUST |
Solver command line | HOME/rsat.sh BENCHNAME |
Conversion script command line | |
Comments | rsat |
Solver files and checksums |
Event | SAT 2007 Competition Phase 2 |
Type | SAT |
Submitter | David Williams |
Date of submission | 2007-02-08 18:18 |
Name | sapsrt |
Version | 2007-02-08 |
Authors | Dave A.D. Tompkins, Frank Hutter and Holger Hoos |
Complete/Incomplete | Incomplete |
Is able to solve | RANDOM |
Solver command line | HOME/sapsrt BENCHNAME RANDOMSEED |
Conversion script command line | |
Comments | tompkins |
Solver files and checksums |
Event | SAT 2007 Competition Phase 2 |
Type | SAT |
Submitter | Michael Tautschnig |
Date of submission | 2007-02-08 18:25 |
Name | SAT7 |
Version | 2007-02-08 |
Authors | Christian Kern, Mohammad Khaleghi, Stefan Kugele, Christian Schallhart, Michael Tautschnig and Andreas Weis |
Complete/Incomplete | Complete |
Is able to solve | INDUST RANDOM |
Solver command line | HOME/sat7_bin BENCHNAME |
Conversion script command line | |
Comments | sat7 |
Solver files and checksums |
Event | SAT 2007 Competition Phase 2 |
Type | SAT |
Submitter | Lin Xu |
Date of submission | 2007-02-13 07:57 |
Name | SATzilla |
Version | CRAFTED |
Authors | Lin Xu, Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown |
Complete/Incomplete | Complete |
Is able to solve | CRAFTED INDUST |
Solver command line | HOME/SATzilla2007_C BENCHNAME |
Conversion script command line | |
Comments | satzillac |
Solver files and checksums |
Event | SAT 2007 Competition Phase 2 |
Type | SAT |
Submitter | Lin Xu |
Date of submission | 2007-02-13 07:59 |
Name | 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 2007 Competition Phase 2 |
Type | SAT |
Submitter | Daniel Le Berre |
Date of submission | 2007-04-25 15:08 |
Name | Siege |
Version | V4 |
Authors | Lawrence Ryan |
Complete/Incomplete | Complete |
Is able to solve | INDUST |
Solver command line | HOME/siegeadapter.pl BENCHNAME |
Conversion script command line | |
Comments | |
Solver files and checksums |
Event | SAT 2007 Competition Phase 2 |
Type | SAT |
Submitter | Jinbo Huang |
Date of submission | 2007-02-08 18:27 |
Name | TiniSatELite |
Version | 2007-02-08 |
Authors | Jinbo Huang |
Complete/Incomplete | Complete |
Is able to solve | INDUST |
Solver command line | HOME/TiniSatELite BENCHNAME |
Conversion script command line | |
Comments | tinisatelite |
Solver files and checksums |
Event | SAT 2007 Competition Phase 2 |
Type | SAT |
Submitter | Ivor Spence |
Date of submission | 2007-02-08 18:28 |
Name | TTS |
Version | 4.0 |
Authors | Ivor Spence |
Complete/Incomplete | Complete |
Is able to solve | CRAFTED |
Solver command line | HOME/tts-4-0 BENCHNAME |
Conversion script command line | |
Comments | spence |
Solver files and checksums |