| Event | PB'16 competition: WBO track |
| Type | WBO |
| Submitter | Masaihko Sakai |
| Date of submission | 2016-05-01 22:24 |
| Name | NaPS |
| Version | 1.02 |
| Authors | Masaihko Sakai |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-BIGINT-LIN PARTIAL-SMALLINT-LIN SOFT-BIGINT-LIN SOFT-SMALLINT-LIN |
| Solver command line | naps-1.02 BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'16 competition: WBO track |
| Type | WBO |
| 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 | PARTIAL-BIGINT-LIN PARTIAL-BIGINT-NLC PARTIAL-SMALLINT-LIN PARTIAL-SMALLINT-NLC SOFT-BIGINT-LIN SOFT-BIGINT-NLC SOFT-SMALLINT-LIN SOFT-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: WBO track |
| Type | WBO |
| 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 | PARTIAL-BIGINT-LIN PARTIAL-BIGINT-NLC PARTIAL-SMALLINT-LIN PARTIAL-SMALLINT-NLC SOFT-BIGINT-LIN SOFT-BIGINT-NLC SOFT-SMALLINT-LIN SOFT-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: WBO track |
| Type | WBO |
| Submitter | Masahiro Sakai |
| Date of submission | 2016-05-02 03:02 |
| Name | toysat |
| Version | 2016-05-02 |
| Authors | Masahiro Sakai |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-BIGINT-LIN PARTIAL-BIGINT-NLC PARTIAL-SMALLINT-LIN PARTIAL-SMALLINT-NLC SOFT-BIGINT-LIN SOFT-BIGINT-NLC SOFT-SMALLINT-LIN SOFT-SMALLINT-NLC |
| Solver command line | toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |