| Event | SAT 2011 Competition: plain MUS track |
| Type | MUS |
| Submitter | Vadim Ryvchin |
| Date of submission | 2011-04-07 15:49 |
| Name | Haifa-MUC |
| Version | 2011-04-07 |
| Authors | Vadim Ryvchin |
| Complete/Incomplete | Complete |
| Is able to solve | MUS |
| Solver command line | HOME/hmuc BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | SAT 2011 Competition: plain MUS track |
| Type | MUS |
| Submitter | Vadim Ryvchin |
| Date of submission | 2011-04-07 15:56 |
| Name | Haifa-MUC |
| Version | 2011-04-07 |
| Authors | Vadim Ryvchin |
| Complete/Incomplete | Complete |
| Is able to solve | MUS |
| Solver command line | HOME/hmuc BENCHNAME -no-pre |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | SAT 2011 Competition: plain MUS track |
| Type | MUS |
| Submitter | Vadim Ryvchin |
| Date of submission | 2011-04-07 15:59 |
| Name | Haifa-MUC-A |
| Version | 2011-04-07 |
| Authors | Vadim Ryvchin |
| Complete/Incomplete | Complete |
| Is able to solve | MUS |
| Solver command line | HOME/hmuc-a BENCHNAME |
| Conversion script command line | |
| Comments | Assumption based solver |
| Solver files and checksums |
| Event | SAT 2011 Competition: plain MUS track |
| Type | MUS |
| Submitter | Siert Wieringa |
| Date of submission | 2011-02-22 15:49 |
| Name | MiniUnsat2 |
| Version | 2011-02-22 |
| Authors | Siert Wieringa |
| Complete/Incomplete | Complete |
| Is able to solve | MUS |
| Solver command line | munsat2_release -rnd-seed=RANDOMSEED -verb=0 BENCHNAME |
| Conversion script command line | |
| Comments | This MUS Finder expects its input formula to be UNSATISFIABLE. If the input formula is SATISFIABLE the program may either terminate with an error message or identify some satisfiable formula as a MUS. Even though MiniUNSAT2 does not proof its input UNSATISFIABLE it will print the s |
| Solver files and checksums |
| Event | SAT 2011 Competition: plain MUS track |
| Type | MUS |
| Submitter | Stephan Kottler |
| Date of submission | 2011-03-26 20:45 |
| Name | MoUsSaka |
| Version | 2011-03-26 |
| Authors | Stephan Kottler |
| Complete/Incomplete | Complete |
| Is able to solve | MUS |
| Solver command line | MoUsSaka BENCHNAME |
| Conversion script command line | |
| Comments | Use the Makefile to compile. This is a modified version of SApperloT. |
| Solver files and checksums |
| Event | SAT 2011 Competition: plain MUS track |
| Type | MUS |
| Submitter | Joao Marques-Silva |
| Date of submission | 2011-02-10 01:52 |
| Name | MUSer |
| Version | 2011-02-10 |
| Authors | Joao Marques-Silva |
| Complete/Incomplete | Complete |
| Is able to solve | MUS |
| Solver command line | ./muser -comp BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | SAT 2011 Competition: plain MUS track |
| Type | MUS |
| Submitter | Valeriy Balabanov |
| Date of submission | 2011-03-31 16:56 |
| Name | OptimuS |
| Version | a100_source |
| Authors | Valeriy Balabanov |
| Complete/Incomplete | Complete |
| Is able to solve | MUS |
| Solver command line | OptimuS_release BENCHNAME |
| Conversion script command line | |
| Comments | Source codes of OptimuS-a100; Include README file for compilation details. |
| Solver files and checksums |
| Event | SAT 2011 Competition: plain MUS track |
| Type | MUS |
| Submitter | Valeriy Balabanov |
| Date of submission | 2011-03-31 16:55 |
| Name | OptimuS |
| Version | p100_source |
| Authors | Valeriy Balabanov |
| Complete/Incomplete | Complete |
| Is able to solve | MUS |
| Solver command line | OptimuS_release BENCHNAME |
| Conversion script command line | |
| Comments | Source codes of OptimuS-p100; Include README file for compilation details. |
| Solver files and checksums |
| Event | SAT 2011 Competition: plain MUS track |
| Type | MUS |
| Submitter | Valeriy Balabanov |
| Date of submission | 2011-03-31 16:32 |
| Name | OptimuS |
| Version | x100_source |
| Authors | Valeriy Balabanov |
| Complete/Incomplete | Complete |
| Is able to solve | MUS |
| Solver command line | OptimuS_release BENCHNAME |
| Conversion script command line | |
| Comments | Source codes of OptimuS-x100; Include README file for compilation details. |
| Solver files and checksums |
| Event | SAT 2011 Competition: plain MUS track |
| Type | MUS |
| Submitter | Armin Biere |
| Date of submission | 2011-02-23 11:25 |
| Name | PicoMUS |
| Version | 941 |
| Authors | Armin Biere |
| Complete/Incomplete | Complete |
| Is able to solve | MUS |
| Solver command line | picomus BENCHNAME |
| Conversion script command line | |
| Comments | ./configure && make (this also compiles 'picosat', which I have already uploaded and will also compile 'picogcnf'. All of them share the same tar file, but I upload it three times) |
| Solver files and checksums |
| Event | SAT 2011 Competition: plain MUS track |
| Type | MUS |
| Submitter | Daniel Le Berre |
| Date of submission | 2011-02-07 20:25 |
| Name | SAT4J MUS |
| Version | 2.3.0-SNAPSHOT 2011-02-06 |
| Authors | Daniel Le Berre |
| Complete/Incomplete | Complete |
| Is able to solve | MUS |
| Solver command line | java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME |
| Conversion script command line | |
| Comments | That solver requires a 64 bits JVM |
| Solver files and checksums |