| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | Chu-Min Li |
| Date of submission | 2007-02-08 17:38 |
| Name | adaptg2wsat |
| Version | 2007-02-08 |
| Authors | Chu-Min Li, Wanxia Wei and Harry Zhang |
| Complete/Incomplete | Incomplete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/adaptg2wsat BENCHNAME |
| Conversion script command line | |
| Comments | chuminli |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| 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 | CRAFTED INDUST RANDOM |
| Solver command line | HOME/adaptg2wsat+ BENCHNAME |
| Conversion script command line | |
| Comments | wei |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| 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 | CRAFTED INDUST RANDOM |
| Solver command line | HOME/adaptg2wsat0 BENCHNAME |
| Conversion script command line | |
| Comments | chuminli |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | Chu-Min Li |
| Date of submission | 2007-02-08 17:40 |
| Name | adaptg2wsatp |
| Version | 2007-02-08 |
| Authors | Chu-Min Li, Wanxia Wei and Harry Zhang |
| Complete/Incomplete | Complete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/adaptg2wsatp BENCHNAME |
| Conversion script command line | |
| Comments | chuminli |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| 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 | CRAFTED INDUST RANDOM |
| Solver command line | HOME/adaptnovelty BENCHNAME RANDOMSEED |
| Conversion script command line | |
| Comments | tompkins |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | Robert Nieuwenhuis |
| Date of submission | 2007-02-08 17:49 |
| Name | barcelogic |
| Version | 2007-02-08 |
| Authors | Robert Nieuwenhuis, Albert Oliveras and Tomas Lioret |
| Complete/Incomplete | Complete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/Barcelogic BENCHNAME |
| Conversion script command line | |
| Comments | barcelogic |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | Robert Nieuwenhuis |
| Date of submission | 2007-04-13 14:57 |
| Name | Barcelogic Fixed |
| Version | 2007-04-13 |
| Authors | Tomas Lauret and Robert Nieuwenhuis |
| Complete/Incomplete | Complete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/Barcelogic BENCHNAME |
| Conversion script command line | |
| Comments | This solver is a fixed version of the barcelogic solver. It is entered in the demonstration division. |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| 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 RANDOM |
| Solver command line | HOME/cmusat BENCHNAME |
| Conversion script command line | |
| Comments | jain |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | Himanshu Jain |
| Date of submission | 2007-02-08 17:51 |
| Name | CMUSAT BASE |
| Version | 2007-02-08 |
| Authors | Himanshu Jain and Edmund Clarke |
| Complete/Incomplete | Complete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/cmusat_base BENCHNAME |
| Conversion script command line | |
| Comments | jain |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | Anbulagan Anbulagan |
| Date of submission | 2007-02-08 17:52 |
| Name | DEWSATZ |
| Version | 2007-02-08 |
| Authors | Anbulagan |
| Complete/Incomplete | Complete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/dewSatz BENCHNAME |
| Conversion script command line | |
| Comments | anbulagan |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | Anbulagan Anbulagan |
| Date of submission | 2007-02-08 17:52 |
| Name | DEWSATZ |
| Version | 2007-04-26 (fixed) |
| Authors | Anbulagan |
| Complete/Incomplete | Complete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/dewSatz_fixed BENCHNAME |
| Conversion script command line | |
| Comments | anbulagan |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| 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 | CRAFTED INDUST RANDOM |
| Solver command line | HOME/dewSatz_1a BENCHNAME |
| Conversion script command line | |
| Comments | anbulagan |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | Wanxia Wei |
| Date of submission | 2007-02-08 17:54 |
| Name | FH |
| Version | 2007-02-08 |
| Authors | Wanxia Wei, Harry Zhang and Chu-Min Li |
| Complete/Incomplete | Incomplete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/FH BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| 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 | CRAFTED INDUST RANDOM |
| Solver command line | HOME/gnovelty+ BENCHNAME |
| Conversion script command line | |
| Comments | pham |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | Wanxia Wei |
| Date of submission | 2007-02-08 17:56 |
| Name | Hybrid1 |
| Version | 2007-02-08 |
| Authors | Wanxia Wei, Chu-Min Li and Harry Zhang |
| Complete/Incomplete | Incomplete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/Hybrid1 BENCHNAME |
| Conversion script command line | |
| Comments | wei |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| 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 | CRAFTED INDUST RANDOM |
| Solver command line | HOME/kcnfs-2004 BENCHNAME |
| Conversion script command line | |
| Comments | dequen |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | Gilles Dequen |
| Date of submission | 2007-02-08 18:02 |
| Name | KCNFS |
| Version | 2006 |
| Authors | Gilles Dequen and Olivier Dubois |
| Complete/Incomplete | Complete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/kcnfs-2006 BENCHNAME |
| Conversion script command line | |
| Comments | dequen |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | Gilles Dequen |
| Date of submission | 2007-02-08 18:03 |
| Name | KCNFS |
| Version | SMP |
| Authors | Gilles Dequen and Olivier Dubois |
| Complete/Incomplete | Complete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/kcnfs-smp BENCHNAME |
| Conversion script command line | |
| Comments | dequen |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| 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 INDUST RANDOM |
| Solver command line | HOME/march_ks BENCHNAME |
| Conversion script command line | |
| Comments | heule |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | Siert Wieringa |
| Date of submission | 2007-02-08 18:06 |
| Name | minimarch |
| Version | 2007-02-08 |
| Authors | Siert Wieringa, Hans van Maaren and Marijn Heule |
| Complete/Incomplete | Complete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/minimarch BENCHNAME |
| Conversion script command line | |
| Comments | heule |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | Siert Wieringa |
| Date of submission | 2007-02-08 18:06 |
| Name | minimarch |
| Version | 2007-04-26 (fixed) |
| Authors | Siert Wieringa, Hans van Maaren and Marijn Heule |
| Complete/Incomplete | Complete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/minimarch_fixed BENCHNAME |
| Conversion script command line | |
| Comments | heule |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| 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 1 |
| Type | SAT |
| Submitter | Niklas Sorensson |
| Date of submission | 2007-02-08 18:08 |
| Name | minisat |
| Version | SAT 2007 (with assertions) |
| Authors | Niklas Sorensson and Niklas Een |
| Complete/Incomplete | Complete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/minisat BENCHNAME |
| Conversion script command line | |
| Comments | Assertions were activated by mistake in this solver |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | Tobias Schubert |
| Date of submission | 2007-02-09 17:33 |
| Name | MiraXT |
| Version | v1 |
| Authors | Tobias Schubert, Matthew Lewis, Natalia Kalinnik and Bernd Becker |
| Complete/Incomplete | Complete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/MiraXTv1_dyn BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | Tobias Schubert |
| Date of submission | 2007-02-09 17:34 |
| Name | MiraXT |
| Version | v2 |
| Authors | Tobias Schubert, Matthew Lewis, Natalia Kalinnik and Bernd Becker |
| Complete/Incomplete | Complete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/MiraXTv2_dyn BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| 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 | |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | Ivan Monahov |
| Date of submission | 2007-02-08 18:10 |
| Name | Mmisat |
| Version | 2007-02-08 |
| Authors | Ivan Monahov |
| Complete/Incomplete | Complete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/mmisat BENCHNAME |
| Conversion script command line | |
| Comments | monahov |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| 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 1 |
| Type | SAT |
| Submitter | Olivier ROUSSEL |
| Date of submission | 2007-03-05 11:51 |
| Name | ornithorynque |
| Version | 0.1 alpha |
| Authors | Olivier ROUSSEL |
| Complete/Incomplete | Complete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/ornithorynque BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| 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 RANDOM |
| Solver command line | HOME/picosat BENCHNAME |
| Conversion script command line | |
| Comments | biere |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| 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 | CRAFTED INDUST RANDOM |
| Solver command line | HOME/ranov BENCHNAME |
| Conversion script command line | |
| Comments | pham |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| 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 RANDOM |
| Solver command line | HOME/rsat.sh BENCHNAME |
| Conversion script command line | |
| Comments | rsat |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | David Williams |
| Date of submission | 2007-02-08 18:18 |
| Name | saps |
| Version | 2007-02-08 |
| Authors | Dave A.D. Tompkins, Frank Hutter and Holger Hoos |
| Complete/Incomplete | Incomplete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/saps BENCHNAME RANDOMSEED |
| Conversion script command line | |
| Comments | tompkins |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| 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 | CRAFTED INDUST RANDOM |
| Solver command line | HOME/sapsrt BENCHNAME RANDOMSEED |
| Conversion script command line | |
| Comments | tompkins |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | Daniel Le Berre |
| Date of submission | 2007-02-08 18:32 |
| Name | SAT4J |
| Version | SAT 2007 |
| Authors | Daniel Le Berre |
| Complete/Incomplete | Complete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | java -server -Xmx1650M -Xms1650M -jar HOME/sat4j-sat2007.jar BENCHNAME |
| Conversion script command line | |
| Comments | sat4j |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | Daniel Le Berre |
| Date of submission | 2007-03-07 14:53 |
| Name | SAT4J JVM PARAM CHANGED |
| Version | SAT 2007 |
| Authors | Daniel Le Berre |
| Complete/Incomplete | Complete |
| Is able to solve | INDUST |
| Solver command line | java6 -server -Xmx1600m -Xms1600m -jar HOME/sat4j-sat2007.jar BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| 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 | CRAFTED INDUST RANDOM |
| Solver command line | HOME/sat7_bin BENCHNAME |
| Conversion script command line | |
| Comments | sat7 |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| 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 RANDOM |
| Solver command line | HOME/SATzilla2007_C BENCHNAME |
| Conversion script command line | |
| Comments | satzillac |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | Lin Xu |
| Date of submission | 2007-02-13 07:56 |
| Name | SATzilla |
| Version | FULL |
| Authors | Lin Xu, Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown |
| Complete/Incomplete | Complete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/SATzilla2007_F BENCHNAME |
| Conversion script command line | |
| Comments | satzillaf |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| 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 | CRAFTED INDUST RANDOM |
| Solver command line | HOME/SATzilla2007_R BENCHNAME |
| Conversion script command line | |
| Comments | satzillar |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | Domagoj Babic |
| Date of submission | 2007-02-12 09:32 |
| Name | Spear |
| Version | 2007-02-12 |
| Authors | Domagoj Babic |
| Complete/Incomplete | Complete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/Spear-32 --model-stdout --time --dimacs BENCHNAME |
| Conversion script command line | |
| Comments | spear |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | Domagoj Babic |
| Date of submission | 2007-02-12 09:33 |
| Name | Spear FH |
| Version | 1.0 |
| Authors | Domagoj Babic |
| Complete/Incomplete | Complete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/Spear-32 --model-stdout --time --spset-autotuned-fh_1_0 --dimacs BENCHNAME |
| Conversion script command line | |
| Comments | spear |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | Domagoj Babic |
| Date of submission | 2007-02-12 09:34 |
| Name | Spear FHS |
| Version | 1.0 |
| Authors | Domagoj Babic |
| Complete/Incomplete | Complete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/Spear-32 --model-stdout --time --spset-autotuned-fh_1_1 --dimacs BENCHNAME |
| Conversion script command line | |
| Comments | spear |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | Jinbo Huang |
| Date of submission | 2007-02-08 18:26 |
| Name | tinisat |
| Version | 2007-02-08 |
| Authors | Jinbo Huang |
| Complete/Incomplete | Complete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/tinisat BENCHNAME |
| Conversion script command line | |
| Comments | huang |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| 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 | CRAFTED INDUST RANDOM |
| Solver command line | HOME/TiniSatELite BENCHNAME |
| Conversion script command line | |
| Comments | tinisatelite |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| 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 INDUST RANDOM |
| Solver command line | HOME/tts-4-0 BENCHNAME |
| Conversion script command line | |
| Comments | spence |
| Solver files and checksums |
| Event | SAT 2007 Competition Phase 1 |
| Type | SAT |
| Submitter | Marijn Heule |
| Date of submission | 2007-02-08 18:30 |
| Name | UnitMarch |
| Version | 2007-02-08 |
| Authors | Marijn Heule, Denis de Leeuw Duarte and Hans van Maaren |
| Complete/Incomplete | Incomplete |
| Is able to solve | CRAFTED INDUST RANDOM |
| Solver command line | HOME/UnitMarch_32_bits BENCHNAME |
| Conversion script command line | |
| Comments | heule |
| Solver files and checksums |