| Event | SAT 2009 Competition: minisat hack track |
| Type | SAT |
| Submitter | Grigory Yaroslavtsev |
| Date of submission | 2009-03-22 21:05 |
| Name | APTUSAT |
| Version | 2009-03-22 |
| Authors | Alexander Mishunin, Grigory Yaroslavtsev |
| Complete/Incomplete | Complete |
| Is able to solve | APPLICATION |
| Solver command line | SatELiteGTI BENCHNAME -restarts=1 |
| Conversion script command line | |
| Comments | To make the solver use Makefile in the core directory. Just give a command make there. |
| Solver files and checksums |
| Event | SAT 2009 Competition: minisat hack track |
| Type | SAT |
| Submitter | Miyuki Koshimura |
| Date of submission | 2009-03-21 07:34 |
| Name | BinMiniSat |
| Version | 2009-03-21 |
| Authors | Kiyonori Taniguchi, Miyuki Koshimura, Hiroshi Fujita, and Ryuzo Hasegawa |
| Complete/Incomplete | Complete |
| Is able to solve | APPLICATION |
| Solver command line | SatELiteGTI BENCHNAME |
| Conversion script command line | |
| Comments | To build %cd HOME/core %make rs |
| Solver files and checksums |
| Event | SAT 2009 Competition: minisat hack track |
| 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: minisat hack track |
| Type | SAT |
| Submitter | |
| Date of submission | 2009-06-11 18:02 |
| Name | minisat2 |
| Version | 070721/core |
| Authors | Niklas Een, Niklas Sorensson |
| 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: minisat hack track |
| Type | SAT |
| Submitter | Allen Van Gelder |
| Date of submission | 2009-03-23 06:24 |
| Name | MiniSat2hack |
| Version | 2009-03-23 |
| Authors | Allen Van Gelder |
| Complete/Incomplete | Complete |
| Is able to solve | APPLICATION |
| Solver command line | SatELiteGTI BENCHNAME |
| Conversion script command line | |
| Comments | MiniSat2hack.tar.gz contains README core/ mtl/ simp/ compile with cd core; gmake rs |
| Solver files and checksums |
| Event | SAT 2009 Competition: minisat hack track |
| 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: minisat hack track |
| Type | SAT |
| Submitter | Kazuya Masuda |
| Date of submission | 2009-03-18 09:31 |
| Name | minisat_cumr |
| Version | r-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 |