| Event | SAT 2009 Competition: preprocessors track |
| Type | SAT |
| Submitter | Abdorrahim Bahrami |
| Date of submission | 2009-03-29 11:34 |
| Name | IUT_BMB_SIM |
| Version | 1.0 |
| Authors | Abdorrahim Bahrami, Seyed Rasoul Mousavi, Kiarash Bazargan |
| Complete/Incomplete | Complete |
| Is able to solve | APPLICATION CRAFTED |
| Solver command line | IUT_BMB_SIM BENCHNAME TMPDIR |
| Conversion script command line | |
| Comments | bug fixes IUT_BMB_SIM version 1.0 /use the solver To use the solver just copy IUT_BMB_SIM and minisat binary files from Binary folder to a same folder and then run IUT_BMB_SIM /run the solver IUT_BMB_SIMT get 2 pathes in command line. The first one is the cnf File path and the second one is the temporary directory path. This 2 pathes are mandatory. No other inputs need for this solver. For example IUT_BMB_SIM /root/hanoi4.cnf /tmp The first path = cnf file path =/root/hanoi4.cnf The Second path = temporary directory = /tmp /build the binary files from sources for making minisat binary file just make the makefile in /Source/minisat/core for making IUT_BMB_SIM binary file just compile the /Source/IUT_BMB_SIM/New_Factoring.cpp with gcc like g++ -o IUT_BMB_SIM ../Source/IUT_BMB_SIM/New_Factoring.cpp |
| Solver files and checksums |
| Event | SAT 2009 Competition: preprocessors track |
| Type | SAT |
| Submitter | Johan Alfredsson |
| Date of submission | 2009-03-21 16:46 |
| Name | kw_pre |
| Version | 2009-03-21 |
| Authors | Johan Alfredsson |
| Complete/Incomplete | Complete |
| Is able to solve | APPLICATION CRAFTED |
| Solver command line | HOME/kw_pre BENCHNAME |
| Conversion script command line | |
| Comments | Source code not available. Submitted according to the information provided by Olivier Roussel. Documentation is equivalent to documentation for submission in demonstration division. |
| Solver files and checksums |
| Event | SAT 2009 Competition: preprocessors track |
| Type | SAT |
| Submitter | |
| Date of submission | 2009-05-11 19:27 |
| Name | minisat2-core |
| Version | 070721 |
| Authors | Niklas Een and Niklas Sorensson |
| Complete/Incomplete | Complete |
| Is able to solve | APPLICATION CRAFTED |
| Solver command line | minisat_static BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | SAT 2009 Competition: preprocessors track |
| Type | SAT |
| Submitter | |
| Date of submission | 2009-04-07 11:41 |
| Name | minisat2-simp |
| Version | 070721 |
| Authors | Niklas Een and Niklas Sorensson |
| Complete/Incomplete | Complete |
| Is able to solve | APPLICATION CRAFTED |
| Solver command line | minisat_static BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | SAT 2009 Competition: preprocessors track |
| Type | SAT |
| Submitter | Cédric Piette |
| Date of submission | 2009-03-18 09:20 |
| Name | ReVivAl 0.23 |
| Version | 2009-03-18 |
| Authors | Cédric Piette |
| Complete/Incomplete | Complete |
| Is able to solve | APPLICATION CRAFTED |
| Solver command line | HOME/run.sh BENCHNAME TMPDIR |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | SAT 2009 Competition: preprocessors track |
| Type | SAT |
| Submitter | Cédric Piette |
| Date of submission | 2009-03-18 09:23 |
| Name | ReVivAl 0.23 + SatElite |
| Version | 2009-03-18 |
| Authors | Cédric Piette |
| Complete/Incomplete | Complete |
| Is able to solve | APPLICATION CRAFTED |
| Solver command line | HOME/run.sh BENCHNAME TMPDIR |
| Conversion script command line | |
| Comments | For preprocessing track... |
| Solver files and checksums |
| Event | SAT 2009 Competition: preprocessors track |
| Type | SAT |
| Submitter | Cédric Piette |
| Date of submission | 2009-03-18 09:22 |
| Name | SatElite + ReVivAl 0.23 |
| Version | 2009-03-18 |
| Authors | Cédric Piette |
| Complete/Incomplete | Complete |
| Is able to solve | APPLICATION CRAFTED |
| Solver command line | HOME/run.sh BENCHNAME TMPDIR |
| Conversion script command line | |
| Comments | For preprocessing track... |
| Solver files and checksums |