| Event | SAT 2009 Competition: multithread track |
| Type | SAT |
| Submitter | Charles Gretton |
| Date of submission | 2009-03-22 22:46 |
| Name | gNovelty+-T |
| Version | 2009-03-22 (16 threads) |
| 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: multithread track |
| Type | SAT |
| Submitter | Charles Gretton |
| Date of submission | 2009-03-22 22:46 |
| Name | gNovelty+-T |
| Version | 2009-03-22 (4 threads) |
| 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: multithread track |
| Type | SAT |
| Submitter | Lakhdar SAIS |
| Date of submission | 2009-03-20 21:08 |
| Name | ManySAT 1.1 |
| Version | aimd 0/2009-03-20 (4 threads) |
| Authors | Youssef Hamadi, Saïd Jabbour, Lakhdar Saïs |
| Complete/Incomplete | Complete |
| Is able to solve | APPLICATION |
| Solver command line | manysat.sh BENCHNAME aimd 0 |
| 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: multithread track |
| Type | SAT |
| Submitter | Lakhdar SAIS |
| Date of submission | 2009-03-20 21:08 |
| Name | ManySAT 1.1 |
| Version | aimd 1/2009-03-20 (4 threads) |
| 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: multithread track |
| Type | SAT |
| Submitter | Lakhdar SAIS |
| Date of submission | 2009-03-20 21:08 |
| Name | ManySAT 1.1 |
| Version | aimd 2/2009-03-20 (4 threads) |
| Authors | Youssef Hamadi, Saïd Jabbour, Lakhdar Saïs |
| Complete/Incomplete | Complete |
| Is able to solve | APPLICATION |
| Solver command line | manysat.sh BENCHNAME aimd 2 |
| 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: multithread track |
| Type | SAT |
| Submitter | Kota Tsuyuzaki |
| Date of submission | 2009-03-22 20:47 |
| Name | satake |
| Version | 2009-03-22 (16 threads) |
| Authors | Kota Tsuyuzaki |
| Complete/Incomplete | Complete |
| Is able to solve | APPLICATION |
| Solver command line | HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT |
| Conversion script command line | |
| Comments | Please read README file in the archive to run the solver satake. And please contact us if you need. MAXNBTHREAD of satake is 16. THREADNUM is number of threads to use.It must be between 2 and 16. |
| Solver files and checksums |
| Event | SAT 2009 Competition: multithread track |
| Type | SAT |
| Submitter | Kota Tsuyuzaki |
| Date of submission | 2009-03-22 20:47 |
| Name | satake |
| Version | 2009-03-22 (4 threads) |
| Authors | Kota Tsuyuzaki |
| Complete/Incomplete | Complete |
| Is able to solve | APPLICATION |
| Solver command line | HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT |
| Conversion script command line | |
| Comments | Please read README file in the archive to run the solver satake. And please contact us if you need. MAXNBTHREAD of satake is 16. THREADNUM is number of threads to use.It must be between 2 and 16. |
| Solver files and checksums |
| Event | SAT 2009 Competition: multithread track |
| Type | SAT |
| Submitter | Ivor Spence |
| Date of submission | 2009-03-19 22:30 |
| Name | ttsth-5-0 |
| Version | 2009-03-19 (16 threads) |
| Authors | Ivor Spence |
| Complete/Incomplete | Complete |
| Is able to solve | APPLICATION |
| Solver command line | HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME |
| Conversion script command line | |
| Comments | This multithreaded version is built from the same files as ttd-5-0. The command is $ make ttsth-5-0 |
| Solver files and checksums |
| Event | SAT 2009 Competition: multithread track |
| Type | SAT |
| Submitter | Ivor Spence |
| Date of submission | 2009-03-19 22:30 |
| Name | ttsth-5-0 |
| Version | 2009-03-19 (4 threads) |
| Authors | Ivor Spence |
| Complete/Incomplete | Complete |
| Is able to solve | APPLICATION |
| Solver command line | HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME |
| Conversion script command line | |
| Comments | This multithreaded version is built from the same files as ttd-5-0. The command is $ make ttsth-5-0 |
| Solver files and checksums |