| Event | PB'16 competition: satisfaction and optimization track |
| Type | PB |
| Submitter | Jan Elffers |
| Date of submission | 2016-05-01 14:12 |
| Name | cdcl-cuttingplanes DEC |
| Version | 2016-05-01 |
| Authors | Jan Elffers |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-SMALLINT-LIN |
| Solver command line | ./cdcl-cuttingplanes-release |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'16 competition: satisfaction and optimization track |
| Type | PB |
| Submitter | Jan Elffers |
| Date of submission | 2016-05-01 14:12 |
| Name | cdcl-cuttingplanes OPT binary search |
| Version | 2016-05-01 |
| Authors | Jan Elffers |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-SMALLINT-LIN |
| Solver command line | ./cdcl-cuttingplanes-opt-binarysearch-release |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'16 competition: satisfaction and optimization track |
| Type | PB |
| Submitter | Jan Elffers |
| Date of submission | 2016-05-01 14:10 |
| Name | cdcl-cuttingplanes OPT linear search |
| Version | 2016-05-01 |
| Authors | Jan Elffers |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-SMALLINT-LIN |
| Solver command line | ./cdcl-cuttingplanes-opt-linearsearch-release |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'16 competition: satisfaction and optimization track |
| Type | PB |
| Submitter | |
| Date of submission | 2016-06-21 15:00 |
| Name | minisatp |
| Version | 2012-10-02 git-d91742b |
| Authors | Niklas Een, Niklas Sorensson |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-BIGINT-LIN DEC-BIGINT-NLC DEC-SMALLINT-LIN DEC-SMALLINT-NLC OPT-BIGINT-LIN OPT-BIGINT-NLC OPT-SMALLINT-LIN OPT-SMALLINT-NLC |
| Solver command line | minisatp BENCHNAME |
| Conversion script command line | PBconversionToLinear BENCHNAME |
| Comments | |
| Solver files and checksums |
| Event | PB'16 competition: satisfaction and optimization track |
| Type | PB |
| Submitter | Masaihko Sakai |
| Date of submission | 2016-05-01 22:21 |
| Name | NaPS |
| Version | 1.02 |
| Authors | Masaihko Sakai |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-BIGINT-LIN DEC-SMALLINT-LIN OPT-BIGINT-LIN OPT-SMALLINT-LIN |
| Solver command line | naps-1.02 BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'16 competition: satisfaction and optimization track |
| Type | PB |
| Submitter | Ruben Martins |
| Date of submission | 2016-05-01 22:18 |
| Name | Open-WBO |
| Version | PB16 |
| Authors | Ruben Martins, Vasco Manquinho, Ines Lynce |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-SMALLINT-LIN OPT-SMALLINT-LIN |
| Solver command line | open-wbo BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'16 competition: satisfaction and optimization track |
| Type | PB |
| Submitter | Ruben Martins |
| Date of submission | 2016-05-01 22:19 |
| Name | Open-WBO-LSU |
| Version | PB16 |
| Authors | Ruben Martins, Saurabh Joshi, Vasco Manquinho, Ines Lynce |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-SMALLINT-LIN OPT-SMALLINT-LIN |
| Solver command line | open-wbo-lsu BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'16 competition: satisfaction and optimization track |
| Type | PB |
| Submitter | Daniel Le Berre |
| Date of submission | 2016-05-01 22:24 |
| Name | Sat4j PB 2.3.6 Res+CP |
| Version | PB16 |
| Authors | Daniel Le Berre and Anne Parrain |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-BIGINT-LIN DEC-BIGINT-NLC DEC-SMALLINT-LIN DEC-SMALLINT-NLC OPT-BIGINT-LIN OPT-BIGINT-NLC OPT-SMALLINT-LIN OPT-SMALLINT-NLC |
| Solver command line | java -jar sat4j-pb.jar Both BENCHNAME |
| Conversion script command line | |
| Comments | Run both the Resolution and the Cutting Planes solvers in parallel. |
| Solver files and checksums |
| Event | PB'16 competition: satisfaction and optimization track |
| Type | PB |
| Submitter | Daniel Le Berre |
| Date of submission | 2016-05-01 22:19 |
| Name | Sat4j PB 2.3.6 Resolution |
| Version | PB16 |
| Authors | Daniel Le Berre and Anne Parrain |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-BIGINT-LIN DEC-BIGINT-NLC DEC-SMALLINT-LIN DEC-SMALLINT-NLC OPT-BIGINT-LIN OPT-BIGINT-NLC OPT-SMALLINT-LIN OPT-SMALLINT-NLC |
| Solver command line | java -jar sat4j-pb.jar BENCHNAME |
| Conversion script command line | |
| Comments | Default resolution based PB solver. |
| Solver files and checksums |
| Event | PB'16 competition: satisfaction and optimization track |
| Type | PB |
| Submitter | Masahiro Sakai |
| Date of submission | 2016-05-02 03:01 |
| Name | toysat |
| Version | 2016-05-02 |
| Authors | Masahiro Sakai |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-BIGINT-LIN DEC-BIGINT-NLC DEC-SMALLINT-LIN DEC-SMALLINT-NLC DEC-SMALLINT-NLC OPT-BIGINT-LIN OPT-BIGINT-NLC OPT-SMALLINT-LIN OPT-SMALLINT-NLC |
| Solver command line | toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |