| 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 |