| Event | PB'24 competition: WBO track |
| Type | WBO |
| Submitter | Jo Devriendt |
| Date of submission | 2024-07-05 21:37 |
| Name | Exact |
| Version | 2024-07-05 |
| Authors | Jo Devriendt |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-LIN SOFT-LIN |
| Solver command line | HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME |
| Conversion script command line | |
| Comments | Statically linked build of source code at https://gitlab.com/JoD/exact/-/commit/43b6ba712c68eab97bd8805e04eddb4447c58459 Compiler: Ubuntu clang version 18.1.3 Target: x86_64-pc-linux-gnu OS: Ubuntu 24.04 Non-default cmake-flags: -DCMAKE_BUILD_TYPE=Release -Dbuild_result=Executable -Dbuild_static=ON -Dsinglesource=ON -Dsoplex=ON |
| Solver files and checksums |
| Event | PB'24 competition: WBO track |
| Type | WBO |
| Submitter | Jo Devriendt |
| Date of submission | 2024-07-05 21:38 |
| Name | Exact_no_SoPlex |
| Version | 2024-07-05 |
| Authors | Jo Devriendt |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-LIN SOFT-LIN |
| Solver command line | HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME |
| Conversion script command line | |
| Comments | Statically linked build of source code at https://gitlab.com/JoD/exact/-/commit/43b6ba712c68eab97bd8805e04eddb4447c58459 Compiler: Ubuntu clang version 18.1.3 Target: x86_64-pc-linux-gnu OS: Ubuntu 24.04 Non-default cmake-flags: -DCMAKE_BUILD_TYPE=Release -Dbuild_result=Executable -Dbuild_static=ON -Dsinglesource=ON -Dsoplex=OFF |
| Solver files and checksums |
| Event | PB'24 competition: WBO track |
| Type | WBO |
| Submitter | Gioni Mexi |
| Date of submission | 2024-07-02 21:55 |
| Name | FiberSCIP |
| Version | 2024-07-02 |
| Authors | Gioni Mexi, Shanwen Pu, Yuji Shinano, Thorsten Koch |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-LIN SOFT-LIN |
| Solver command line | ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1 |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'24 competition: WBO track |
| Type | WBO |
| Submitter | Gioni Mexi |
| Date of submission | 2024-07-30 22:30 |
| Name | FiberSCIP |
| Version | 2024-07-30 |
| Authors | Gioni Mexi, Shanwen Pu, Yuji Shinano, Thorsten Koch |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-LIN SOFT-LIN |
| Solver command line | ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1 |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'24 competition: WBO track |
| Type | WBO |
| Submitter | Gioni Mexi |
| Date of submission | 2024-07-30 22:30 |
| Name | FiberSCIP |
| Version | 20 cores, 2024-07-30 |
| Authors | Gioni Mexi, Shanwen Pu, Yuji Shinano, Thorsten Koch |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-LIN SOFT-LIN |
| Solver command line | ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth NBCORE |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'24 competition: WBO track |
| Type | WBO |
| Submitter | Masahiko Sakai |
| Date of submission | 2024-07-04 04:53 |
| Name | NaPS |
| Version | 1.03 |
| Authors | Masahiko Sakai and Hidetomo Nabeshima |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-LIN SOFT-LIN |
| Solver command line | HOME/naps-1.03.sh BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'24 competition: WBO track |
| Type | WBO |
| Submitter | Masahiko Sakai |
| Date of submission | 2024-07-26 10:47 |
| Name | NaPS |
| Version | 1.03a1 |
| Authors | Masahiko Sakai and Hidetomo Nabeshima |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-LIN SOFT-LIN |
| Solver command line | HOME/naps-1.03.sh BENCHNAME |
| Conversion script command line | |
| Comments | WBO patched version |
| Solver files and checksums |
| Event | PB'24 competition: WBO track |
| Type | WBO |
| Submitter | Masahiko Sakai |
| Date of submission | 2024-07-30 12:25 |
| Name | NaPS |
| Version | 1.03a2 |
| Authors | Masahiko Sakai and Hidetomo Nabeshima |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-LIN SOFT-LIN |
| Solver command line | HOME/naps-1.03.sh BENCHNAME |
| Conversion script command line | |
| Comments | REPLACEMENT for 1.03a1. |
| Solver files and checksums |
| Event | PB'24 competition: WBO track |
| Type | WBO |
| Submitter | Masahiko Sakai |
| Date of submission | 2024-07-04 04:59 |
| Name | NaPS-GM |
| Version | 1.03 |
| Authors | Masahiko Sakai and Hidetomo Nabeshima |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-LIN SOFT-LIN |
| Solver command line | HOME/naps-1.03.sh -GM BENCHNAME |
| Conversion script command line | |
| Comments | This solver invokes GlueMiniSat. |
| Solver files and checksums |
| Event | PB'24 competition: WBO track |
| Type | WBO |
| Submitter | Masahiko Sakai |
| Date of submission | 2024-07-26 10:50 |
| Name | NaPS-GM |
| Version | 1.03a1 |
| Authors | Masahiko Sakai and Hidetomo Nabeshima |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-LIN SOFT-LIN |
| Solver command line | HOME/naps-1.03.sh -GM BENCHNAME |
| Conversion script command line | |
| Comments | This solver invokes GlueMiniSat. WBO patched version |
| Solver files and checksums |
| Event | PB'24 competition: WBO track |
| Type | WBO |
| Submitter | Masahiko Sakai |
| Date of submission | 2024-07-30 12:24 |
| Name | NaPS-GM |
| Version | 1.03a2 |
| Authors | Masahiko Sakai and Hidetomo Nabeshima |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-LIN SOFT-LIN |
| Solver command line | HOME/naps-1.03.sh -GM BENCHNAME |
| Conversion script command line | |
| Comments | This solver invokes GlueMiniSAT. REPLACEMENT for 1.03a1. |
| Solver files and checksums |
| Event | PB'24 competition: WBO track |
| Type | WBO |
| Submitter | Masahiko Sakai |
| Date of submission | 2024-06-14 10:19 |
| Name | NaPS-PB16 |
| Version | 1.02b5 |
| Authors | Masahiko Sakai and Hidetomo Nabeshima |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-LIN SOFT-LIN |
| Solver command line | HOME/naps-1.02b5.sh BENCHNAME |
| Conversion script command line | |
| Comments | NaPS PB16 version with bugs fixed. |
| Solver files and checksums |
| Event | PB'24 competition: WBO track |
| Type | WBO |
| Submitter | Daniel Le Berre |
| Date of submission | 2024-07-12 22:06 |
| Name | Sat4j Cutting Planes 2024 |
| Version | 2024-07-12 |
| Authors | Daniel Le Berre and Romain Wallon |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-LIN SOFT-LIN |
| Solver command line | java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME |
| Conversion script command line | |
| Comments | Sat4j cutting planes using the best settings found by Romain during his PhD. |
| Solver files and checksums |
| Event | PB'24 competition: WBO track |
| Type | WBO |
| Submitter | Daniel Le Berre |
| Date of submission | 2024-07-12 22:10 |
| Name | Sat4j Partial RoundingSAT 2024 |
| Version | 2024-07-12 |
| Authors | Daniel Le Berre and Romain Wallon |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-LIN SOFT-LIN |
| Solver command line | java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME |
| Conversion script command line | |
| Comments | Sat4j specific implementation of RoundingSAT proof system, as seen in Romain's PhD. |
| Solver files and checksums |
| Event | PB'24 competition: WBO track |
| Type | WBO |
| Submitter | Daniel Le Berre |
| Date of submission | 2024-07-07 22:53 |
| Name | Sat4j Resolution Default |
| Version | 2024-07-07 |
| Authors | Daniel Le Berre and Romain Wallon |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-LIN SOFT-LIN |
| Solver command line | java -jar sat4j-pb.jar BENCHNAME |
| Conversion script command line | |
| Comments | Sat4j Resolution-based default solver |
| Solver files and checksums |
| Event | PB'24 competition: WBO track |
| Type | WBO |
| Submitter | Gioni Mexi |
| Date of submission | 2024-07-07 14:59 |
| Name | SCIP |
| Version | 2024-07-07 |
| Authors | Gioni Mexi, Shanwen Pu, Julian Manns, Marc Pfetsch, Thorsten Koch, Christopher Hojny, Alexander Hoen, Dominik Kamp, Matthias Walter, Ksenia Bestuzheva |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-LIN SOFT-LIN |
| Solver command line | pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |