| Event | PB'25 competition WBO |
| Type | WBO |
| Submitter | Jo Devriendt |
| Date of submission | 2025-06-02 08:06 |
| Name | Exact |
| Version | 2025-06-02 |
| Authors | Jo Devriendt, Orestis Lomis |
| 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 --ls=360 BENCHNAME |
| Conversion script command line | |
| Comments | Source code available at https://gitlab.com/nonfiction-software/exact/-/tree/pb25 |
| Solver files and checksums |
| Event | PB'25 competition WBO |
| Type | WBO |
| Submitter | Jo Devriendt |
| Date of submission | 2025-06-16 08:45 |
| Name | Exact_no_dombreaking |
| Version | 2025-06-16 |
| Authors | Jo Devriendt, Orestis Lomis |
| 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 --ls=360 --inp-dombreaklim=0 BENCHNAME |
| Conversion script command line | |
| Comments | Source code available at https://gitlab.com/nonfiction-software/exact/-/tree/pb25 Same binary as previously submitted, but without dominance breaking. |
| Solver files and checksums |
| Event | PB'25 competition WBO |
| Type | WBO |
| Submitter | Masahiko Sakai |
| Date of submission | 2025-05-27 07:42 |
| Name | NaPS |
| Version | naps-1.03a6 |
| Authors | Masahiko Sakai and Hidetomo Nabeshima |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-LIN SOFT-LIN |
| Solver command line | ./naps-1.03a6.sh BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition WBO |
| Type | WBO |
| Submitter | Laurent Perron |
| Date of submission | 2025-06-20 15:19 |
| Name | OR-Tools CP-SAT |
| Version | 9.14 |
| Authors | Laurent Perron |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-LIN SOFT-LIN |
| Solver command line | cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME |
| Conversion script command line | |
| Comments | Now supports SIGTERM correctly |
| Solver files and checksums |
| Event | PB'25 competition WBO |
| Type | WBO |
| Submitter | Laurent Perron |
| Date of submission | 2025-07-08 16:40 |
| Name | OR-Tools CP-SAT |
| Version | 9.14.2 |
| Authors | Laurent Perron |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-LIN SOFT-LIN |
| Solver command line | cp_sat_runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME |
| Conversion script command line | |
| Comments | Correctly supports top_cost |
| Solver files and checksums |
| Event | PB'25 competition WBO |
| Type | WBO |
| Submitter | Masahiro Sakai |
| Date of submission | 2025-05-28 17:18 |
| Name | PRINTEMPS |
| Version | 2025-05-28 |
| Authors | Yuji Koguma and Masahiro Sakai |
| Complete/Incomplete | Incomplete |
| Is able to solve | PARTIAL-LIN SOFT-LIN |
| Solver command line | pb_competition_2025_solver -k -1 -t -1.0 -j NBCORE -r RANDOMSEED BENCHNAME |
| Conversion script command line | |
| Comments | GitHub repository for the submission: https://github.com/msakai/printemps-pb PRINTEMPS: C++ metaheuristics modeler/solver for general integer optimization problems. https://snowberryfield.github.io/printemps/ |
| Solver files and checksums |
| Event | PB'25 competition WBO |
| Type | WBO |
| Submitter | Daniel Le Berre |
| Date of submission | 2025-06-06 18:18 |
| Name | Sat4j CP |
| Version | 2025-06-06 |
| Authors | Daniel Le Berre |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-LIN SOFT-LIN |
| Solver command line | java -jar sat4j-pb.jar CuttingPlanes BENCHNAME |
| Conversion script command line | |
| Comments | Sat4j CuttingPlanes without proof logging enabled. |
| Solver files and checksums |
| Event | PB'25 competition WBO |
| Type | WBO |
| Submitter | Daniel Le Berre |
| Date of submission | 2025-06-06 18:18 |
| Name | Sat4j Resolution |
| Version | 2025-06-06 |
| Authors | Daniel Le Berre |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-LIN SOFT-LIN |
| Solver command line | java -jar sat4j-pb.jar Resolution BENCHNAME |
| Conversion script command line | |
| Comments | Sat4j Resolution without proof logging enabled. |
| Solver files and checksums |
| Event | PB'25 competition WBO |
| Type | WBO |
| Submitter | Gioni Mexi |
| Date of submission | 2025-06-09 18:42 |
| 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 |
| Event | PB'25 competition WBO |
| Type | WBO |
| Submitter | Simon de Givry |
| Date of submission | 2025-06-13 18:08 |
| Name | toulbar2 |
| Version | 2025-06-13 |
| Authors | Simon de Givry |
| Complete/Incomplete | Complete |
| Is able to solve | PARTIAL-LIN SOFT-LIN |
| Solver command line | toulbar2.sh toulbar2 BENCHNAME -timer=TIMELIMIT -hve=512 -f=3 -n: -precision=0 |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |