| Event | PB'25 competition |
| Type | PB |
| Submitter | Yoshiya Imai |
| Date of submission | 2025-05-31 07:10 |
| Name | AI448PBSolver |
| Version | 2025-05-31 |
| Authors | Yoshiya Imai |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN |
| Solver command line | HOME/solve.sh BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Shiwei Pan |
| Date of submission | 2025-06-01 14:47 |
| Name | CASHWMaxSATDisjCad-S |
| Version | 2025-06-01 |
| Authors | Shiwei Pan; Minghao Yin |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN OPT-LIN |
| Solver command line | CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0 |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Shiwei Pan |
| Date of submission | 2025-06-01 14:49 |
| Name | CASHWMaxSATDisjCom-S |
| Version | 2025-06-01 |
| Authors | Shiwei Pan; Minghao Yin |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN OPT-LIN |
| Solver command line | CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0 |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| 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 | DEC-LIN DEC-NLC OPT-LIN OPT-NLC |
| 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 |
| Type | PB |
| Submitter | Jo Devriendt |
| Date of submission | 2025-06-19 08:58 |
| Name | Exact_no_db_no_ls |
| Version | 2025-06-19 |
| Authors | Jo Devriendt, Orestis Lomis |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN DEC-NLC OPT-LIN OPT-NLC |
| Solver command line | HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --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 or local search. Aimed at decision instances and the tentative crafted benchmarks. |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| 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 | DEC-LIN DEC-NLC OPT-LIN OPT-NLC |
| 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 |
| Type | PB |
| Submitter | Rui Sun |
| Date of submission | 2025-06-01 19:43 |
| Name | ExactPR |
| Version | 2025-06-01 |
| Authors | Rui Sun; Wenbo Zhou |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-LIN |
| Solver command line | ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Jo Devriendt |
| Date of submission | 2025-06-02 08:08 |
| Name | Exact_proof |
| Version | 2025-06-02 |
| Authors | Jo Devriendt, Orestis Lomis |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN OPT-LIN |
| Solver command line | HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME |
| Conversion script command line | |
| Comments | Source code at https://gitlab.com/nonfiction-software/exact/-/tree/veripb_2 |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Rui Sun |
| Date of submission | 2025-06-01 19:46 |
| Name | ExactPR-S |
| Version | 2025-06-01 |
| Authors | Rui Sun; Wenbo Zhou |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-LIN |
| Solver command line | ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Yujiao Zhao |
| Date of submission | 2025-06-01 19:31 |
| Name | Hybrid-CASHWMaxSATDisjCad+ExactPRS |
| Version | 2025-06-01 |
| Authors | Yujiao Zhao; Yiyuan Wang |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-LIN |
| Solver command line | ./Hybrid-CASHWMaxSATDisjCad+ExactPRS BENCHNAME TIMEOUT TMPDIR |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Shiwei Pan |
| Date of submission | 2025-06-01 14:51 |
| Name | Hybrid-CASHWMaxSATDisjCadS+SynLSCD |
| Version | 2025-06-01 |
| Authors | Shiwei Pan; Minghao Yin |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN |
| Solver command line | ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD BENCHNAME TIMEOUT TMPDIR |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Shiwei Pan |
| Date of submission | 2025-07-23 10:19 |
| Name | Hybrid-CASHWMaxSATDisjCadS+SynLSCD |
| Version | 2025-07-23 |
| Authors | Shiwei Pan, Minghao Yin |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN |
| Solver command line | ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD BENCHNAME TIMEOUT TMPDIR |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Yujiao Zhao |
| Date of submission | 2025-06-01 19:33 |
| Name | Hybrid-CASHWMaxSATDisjCom+ExactPRS |
| Version | 2025-06-01 |
| Authors | Yujiao Zhao; Yiyuan Wang |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-LIN |
| Solver command line | ./Hybrid-CASHWMaxSATDisjCom+ExactPRS BENCHNAME TIMEOUT TMPDIR |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Yujiao Zhao |
| Date of submission | 2025-06-02 10:52 |
| Name | Hybrid-CASHWMaxSATDisjCom+ExactPRS9 |
| Version | 2025-06-02 |
| Authors | Yujiao Zhao; Yiyuan Wang |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-LIN |
| Solver command line | ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 BENCHNAME TIMEOUT TMPDIR |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Yujiao Zhao |
| Date of submission | 2025-06-01 14:43 |
| Name | Hybrid-CASHWMaxSATDisjComS+SynLSCD |
| Version | 2025-06-01 |
| Authors | Yujiao Zhao; Yiyuan Wang |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN |
| Solver command line | ./Hybrid-CASHWMaxSATDisjComS+SynLSCD BENCHNAME TIMEOUT TMPDIR |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Yujiao Zhao |
| Date of submission | 2025-07-23 10:16 |
| Name | Hybrid-CASHWMaxSATDisjComS+SynLSCD |
| Version | 2025-07-23 |
| Authors | Yujiao Zhao, Yiyuan Wang |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN |
| Solver command line | ./Hybrid-CASHWMaxSATDisjComS+SynLSCD BENCHNAME TIMEOUT TMPDIR |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | wu jieyu |
| Date of submission | 2025-06-02 11:08 |
| Name | Hybrid-NuPBODeepOptS-ExactPRnols |
| Version | 2025-06-02 |
| Authors | Jieyu Wu; Shuli Hu |
| Complete/Incomplete | Incomplete |
| Is able to solve | OPT-LIN |
| Solver command line | ./Hybrid-NuPBODeepOptS-ExactPRnols BENCHNAME TIMEOUT TMPDIR |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Hannes Ihalainen |
| Date of submission | 2025-06-09 12:35 |
| Name | IPBHS-GUROBI |
| Version | 2025-06-09 |
| Authors | Hannes Ihalainen, Jeremias Berg, Matti Järvisalo |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-LIN |
| Solver command line | ./ipbhs_gurobi BENCHNAME --max-coef 1000000000 |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Hannes Ihalainen |
| Date of submission | 2025-06-09 12:38 |
| Name | IPBHS-GUROBI-SYM |
| Version | 2025-06-09 |
| Authors | Hannes Ihalainen, Jeremias Berg, Bart Bogaerts, Matti Järvisalo |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-LIN |
| Solver command line | ./ipbhs_gurobi --sym-cores-compact BENCHNAME --max-coef 1000000000 |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Hannes Ihalainen |
| Date of submission | 2025-06-09 12:33 |
| Name | IPBHS-SCIP |
| Version | 2025-06-09 |
| Authors | Hannes Ihalainen, Jeremias Berg, Matti Järvisalo |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-LIN |
| Solver command line | ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000 |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Peng Lin |
| Date of submission | 2025-05-14 04:28 |
| Name | LSIPExact |
| Version | S1 |
| Authors | Peng Lin, Shaowei Cai, Yi Chu |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN OPT-LIN |
| Solver command line | ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Peng Lin |
| Date of submission | 2025-07-09 13:20 |
| Name | LSIPExact |
| Version | S1 |
| Authors | Peng Lin, Shaowei Cai, Yi Chu |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN OPT-LIN |
| Solver command line | ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Peng Lin |
| Date of submission | 2025-05-14 04:30 |
| Name | LSIPExact |
| Version | S2 |
| Authors | Peng Lin, Shaowei Cai, Yi Chu |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN OPT-LIN |
| Solver command line | ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Peng Lin |
| Date of submission | 2025-05-14 04:28 |
| Name | LSIPExact 20 cores |
| Version | S1 |
| Authors | Peng Lin, Shaowei Cai, Yi Chu |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN OPT-LIN |
| Solver command line | ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Peng Lin |
| Date of submission | 2025-05-14 04:30 |
| Name | LSIPExact 20 cores |
| Version | S2 |
| Authors | Peng Lin, Shaowei Cai, Yi Chu |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN OPT-LIN |
| Solver command line | ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Christoph Jabs |
| Date of submission | 2025-05-06 20:07 |
| Name | mixed-bag-2024 |
| Version | 2025-05-06 |
| Authors | Christoph Jabs, Jeremias Berg, Matti Järvisalo |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-LIN |
| Solver command line | mixed-bag BENCHNAME |
| Conversion script command line | |
| Comments | Exactly the same version as last year |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Christoph Jabs |
| Date of submission | 2025-07-10 09:00 |
| Name | mixed-bag-2024 |
| Version | 2025-07-10 |
| Authors | Christoph Jabs, Jeremias Berg, Matti Järvisalo |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-LIN |
| Solver command line | mixed-bag BENCHNAME |
| Conversion script command line | |
| Comments | Exactly the same version as last year, except for one minor parameter change for SCIP. |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| 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 | DEC-LIN OPT-LIN |
| Solver command line | ./naps-1.03a6.sh BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | wu jieyu |
| Date of submission | 2025-06-02 11:00 |
| Name | NuPBO-DeepOpt+ |
| Version | 2025-06-02 |
| Authors | Jieyu Wu; Shuli Hu |
| Complete/Incomplete | Incomplete |
| Is able to solve | OPT-LIN |
| Solver command line | ./NuPBO-DeepOpt+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED --no-s |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | wu jieyu |
| Date of submission | 2025-06-02 11:05 |
| Name | NuPBO-DeepOptS+ |
| Version | 2025-06-02 |
| Authors | Jieyu Wu; Shuli Hu |
| Complete/Incomplete | Incomplete |
| Is able to solve | OPT-LIN |
| Solver command line | ./NuPBO-DeepOptS+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| 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 | DEC-LIN DEC-NLC OPT-LIN OPT-NLC |
| 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 |
| Type | PB |
| Submitter | Laurent Perron |
| Date of submission | 2025-06-20 15:19 |
| Name | OR-Tools CP-SAT 20 cores |
| Version | 9.14 |
| Authors | Laurent Perron |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN DEC-NLC OPT-LIN OPT-NLC |
| 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 |
| Type | PB |
| Submitter | Christoph Jabs |
| Date of submission | 2025-05-06 20:14 |
| Name | pb-oll-rs-2024 |
| Version | 2025-05-06 |
| Authors | Christoph Jabs, Jeremias Berg, Matti Järvisalo |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-LIN |
| Solver command line | pb-oll-rs BENCHNAME |
| Conversion script command line | |
| Comments | Same version as last year and same zip as mixed-bag |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Neng-Fa Zhou |
| Date of submission | 2025-07-11 12:57 |
| Name | pb_picat |
| Version | 2025-07-11 |
| Authors | Neng-Fa Zhou |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN DEC-NLC OPT-LIN OPT-NLC |
| Solver command line | pb_picat BENCHNAME |
| Conversion script command line | |
| Comments | this is a bug-fixed version based on Picat 3.9b11. |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Neng-Fa Zhou |
| Date of submission | 2025-06-16 06:09 |
| Name | Picat |
| Version | 2025-06-16 |
| Authors | Neng-Fa Zhou |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN DEC-NLC OPT-LIN OPT-NLC |
| Solver command line | pb_picat BENCHNAME |
| Conversion script command line | |
| Comments | A couple of bugs were fixed after the first submission. |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| 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 | DEC-LIN DEC-NLC OPT-LIN OPT-NLC |
| 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 |
| Type | PB |
| Submitter | Masahiro Sakai |
| Date of submission | 2025-05-28 17:18 |
| Name | PRINTEMPS 20 cores |
| Version | 2025-05-28 |
| Authors | Yuji Koguma and Masahiro Sakai |
| Complete/Incomplete | Incomplete |
| Is able to solve | DEC-LIN DEC-NLC OPT-LIN OPT-NLC |
| 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 |
| Type | PB |
| Submitter | Marc Vinyals |
| Date of submission | 2025-06-23 10:50 |
| Name | roundingsat |
| Version | 63f22ad |
| Authors | Markus Anders, Benjamin Bogø, Xiamin Chen, Wietze Koops, Pinyan Lu, Jakob Nordström, Andy Oertel, Albert Oliveras, Marc Vinyals, Qingzhao Wu, Rui Zhao |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN |
| Solver command line | run-dec.sh BENCHNAME |
| Conversion script command line | |
| Comments | Build script: build.sh |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Marc Vinyals |
| Date of submission | 2025-06-23 11:01 |
| Name | roundingsat-ihs |
| Version | 63f22ad |
| Authors | Markus Anders, Benjamin Bogø, Xiamin Chen, Wietze Koops, Pinyan Lu, Jakob Nordström, Andy Oertel, Albert Oliveras, Marc Vinyals, Qingzhao Wu, Rui Zhao |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-LIN |
| Solver command line | run-opt.sh BENCHNAME |
| Conversion script command line | |
| Comments | Build script: build.sh |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Marc Vinyals |
| Date of submission | 2025-06-23 11:05 |
| Name | roundingsat-ihs-log |
| Version | 63f22ad |
| Authors | Markus Anders, Benjamin Bogø, Xiamin Chen, Wietze Koops, Pinyan Lu, Jakob Nordström, Andy Oertel, Albert Oliveras, Marc Vinyals, Qingzhao Wu, Rui Zhao |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-LIN |
| Solver command line | run-opt-log.sh BENCHNAME PROOFFILE |
| Conversion script command line | |
| Comments | Build script: build.sh Verify in unchecked deletion mode |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Marc Vinyals |
| Date of submission | 2025-06-23 10:55 |
| Name | roundingsat-log |
| Version | 63f22ad |
| Authors | Markus Anders, Benjamin Bogø, Xiamin Chen, Wietze Koops, Pinyan Lu, Jakob Nordström, Andy Oertel, Albert Oliveras, Marc Vinyals, Qingzhao Wu, Rui Zhao |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN |
| Solver command line | run-dec-log.sh BENCHNAME PROOFFILE |
| Conversion script command line | |
| Comments | Build script: build.sh Verify in unchecked deletion mode |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Marc Vinyals |
| Date of submission | 2025-06-23 10:53 |
| Name | roundingsat-ls |
| Version | 63f22ad |
| Authors | Markus Anders, Benjamin Bogø, Xiamin Chen, Wietze Koops, Pinyan Lu, Jakob Nordström, Andy Oertel, Albert Oliveras, Marc Vinyals, Qingzhao Wu, Rui Zhao |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN |
| Solver command line | run-dec-ls.sh BENCHNAME |
| Conversion script command line | |
| Comments | Build script: build.sh |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Marc Vinyals |
| Date of submission | 2025-06-23 10:59 |
| Name | roundingsat-ls-log |
| Version | 63f22ad |
| Authors | Markus Anders, Benjamin Bogø, Xiamin Chen, Wietze Koops, Pinyan Lu, Jakob Nordström, Andy Oertel, Albert Oliveras, Marc Vinyals, Qingzhao Wu, Rui Zhao |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN |
| Solver command line | run-dec-ls-log.sh BENCHNAME PROOFFILE |
| Conversion script command line | |
| Comments | Build script: build.sh Verify in unchecked deletion mode |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Marc Vinyals |
| Date of submission | 2025-06-23 11:03 |
| Name | roundingsat-ls+pbsuma |
| Version | 63f22ad |
| Authors | Markus Anders, Benjamin Bogø, Xiamin Chen, Wietze Koops, Pinyan Lu, Jakob Nordström, Andy Oertel, Albert Oliveras, Marc Vinyals, Qingzhao Wu, Rui Zhao |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-LIN |
| Solver command line | run-opt-ls.sh BENCHNAME |
| Conversion script command line | |
| Comments | Build script: build.sh |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Marc Vinyals |
| Date of submission | 2025-07-13 13:27 |
| Name | roundingsat-ls+pbsuma-log |
| Version | 0f876b3 |
| Authors | Markus Anders, Benjamin Bogø, Xiamin Chen, Wietze Koops, Pinyan Lu, Jakob Nordström, Andy Oertel, Albert Oliveras, Marc Vinyals, Qingzhao Wu, Rui Zhao |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-LIN |
| Solver command line | run-opt-ls-log.sh BENCHNAME PROOFFILE |
| Conversion script command line | |
| Comments | Build script: build.sh Verify in unchecked deletion mode |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Marc Vinyals |
| Date of submission | 2025-06-23 11:07 |
| Name | roundingsat-ls+pbsuma-log |
| Version | 63f22ad |
| Authors | Markus Anders, Benjamin Bogø, Xiamin Chen, Wietze Koops, Pinyan Lu, Jakob Nordström, Andy Oertel, Albert Oliveras, Marc Vinyals, Qingzhao Wu, Rui Zhao |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-LIN |
| Solver command line | run-opt-ls-log.sh BENCHNAME PROOFFILE |
| Conversion script command line | |
| Comments | Build script: build.sh Verify in unchecked deletion mode |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Marc Vinyals |
| Date of submission | 2025-06-23 10:51 |
| Name | roundingsat+pbsuma |
| Version | 63f22ad |
| Authors | Markus Anders, Benjamin Bogø, Xiamin Chen, Wietze Koops, Pinyan Lu, Jakob Nordström, Andy Oertel, Albert Oliveras, Marc Vinyals, Qingzhao Wu, Rui Zhao |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN |
| Solver command line | run-dec-break.sh BENCHNAME |
| Conversion script command line | |
| Comments | Build script: build.sh |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Marc Vinyals |
| Date of submission | 2025-06-23 10:56 |
| Name | roundingsat+pbsuma-log |
| Version | 63f22ad |
| Authors | Markus Anders, Benjamin Bogø, Xiamin Chen, Wietze Koops, Pinyan Lu, Jakob Nordström, Andy Oertel, Albert Oliveras, Marc Vinyals, Qingzhao Wu, Rui Zhao |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN |
| Solver command line | run-dec-break-log.sh BENCHNAME PROOFFILE |
| Conversion script command line | |
| Comments | Build script: build.sh Verify in unchecked deletion mode |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Marc Vinyals |
| Date of submission | 2025-06-23 11:02 |
| Name | roundingsat+pbsuma-opt |
| Version | 63f22ad |
| Authors | Markus Anders, Benjamin Bogø, Xiamin Chen, Wietze Koops, Pinyan Lu, Jakob Nordström, Andy Oertel, Albert Oliveras, Marc Vinyals, Qingzhao Wu, Rui Zhao |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-LIN |
| Solver command line | run-opt-break.sh BENCHNAME |
| Conversion script command line | |
| Comments | Build script: build.sh |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Marc Vinyals |
| Date of submission | 2025-07-13 13:22 |
| Name | roundingsat+pbsuma-opt-log |
| Version | 0f876b3 |
| Authors | Markus Anders, Benjamin Bogø, Xiamin Chen, Wietze Koops, Pinyan Lu, Jakob Nordström, Andy Oertel, Albert Oliveras, Marc Vinyals, Qingzhao Wu, Rui Zhao |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-LIN |
| Solver command line | run-opt-break-log.sh BENCHNAME PROOFFILE |
| Conversion script command line | |
| Comments | Build script: build.sh Verify in unchecked deletion mode |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Marc Vinyals |
| Date of submission | 2025-06-23 11:06 |
| Name | roundingsat+pbsuma-opt-log |
| Version | 63f22ad |
| Authors | Markus Anders, Benjamin Bogø, Xiamin Chen, Wietze Koops, Pinyan Lu, Jakob Nordström, Andy Oertel, Albert Oliveras, Marc Vinyals, Qingzhao Wu, Rui Zhao |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-LIN |
| Solver command line | run-opt-break-log.sh BENCHNAME PROOFFILE |
| Conversion script command line | |
| Comments | Build script: build.sh Verify in unchecked deletion mode |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| 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 | DEC-LIN DEC-NLC OPT-LIN OPT-NLC |
| 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 |
| Type | PB |
| Submitter | Daniel Le Berre |
| Date of submission | 2025-06-06 18:18 |
| Name | Sat4j CP VeriPB |
| Version | 2025-06-06 |
| Authors | Daniel Le Berre |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN OPT-LIN |
| Solver command line | java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME |
| Conversion script command line | |
| Comments | Sat4j Cutting Planes with VeriPB2 proof logging as described in our CP'25 paper Practically Feasible Proof Logging for Pseudo-Boolean Optimization by Wietze Koops, Daniel Le Berre, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan, Marc Vinyals |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| 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 | DEC-LIN DEC-NLC OPT-LIN OPT-NLC |
| 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 |
| Type | PB |
| Submitter | Daniel Le Berre |
| Date of submission | 2025-06-06 18:18 |
| Name | Sat4j Resolution VeriPB |
| Version | 2025-06-06 |
| Authors | Daniel Le Berre |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN OPT-LIN |
| Solver command line | java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME |
| Conversion script command line | |
| Comments | Sat4j Resolution with VeriPB2 proof logging as described in our CP'25 paper Practically Feasible Proof Logging for Pseudo-Boolean Optimization by Wietze Koops, Daniel Le Berre, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan, Marc Vinyals |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| 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 | DEC-LIN DEC-NLC OPT-LIN OPT-NLC |
| 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 |
| Type | PB |
| Submitter | Gioni Mexi |
| Date of submission | 2025-06-13 20:49 |
| Name | SCIP |
| Version | 2025-06-13 |
| Authors | Gioni Mexi, Dominik Kamp |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN DEC-NLC OPT-LIN OPT-NLC |
| Solver command line | pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Masahiko Sakai |
| Date of submission | 2025-06-01 09:53 |
| Name | SCIP-NaPS |
| Version | 1.00a1 |
| Authors | Masahiko Sakai and Hidetomo Nabeshima |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN OPT-LIN |
| Solver command line | ./scip-naps-1.00.sh BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Masahiko Sakai |
| Date of submission | 2025-07-06 09:37 |
| Name | SCIP-NaPS |
| Version | 1.00a2 |
| Authors | Masahiko Sakai and Hidetomo Nabeshima |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN OPT-LIN |
| Solver command line | ./scip-naps-1.00a2.sh BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Yujiao Zhao |
| Date of submission | 2025-06-01 14:35 |
| Name | SynLSCD |
| Version | 2025-06-01 |
| Authors | Yujiao Zhao; Yiyuan Wang |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN |
| Solver command line | SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Yujiao Zhao |
| Date of submission | 2025-07-23 10:12 |
| Name | SynLSCD |
| Version | 2025-07-23 |
| Authors | Yujiao Zhao, Yiyuan Wang |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN |
| Solver command line | ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Yujiao Zhao |
| Date of submission | 2025-06-01 14:37 |
| Name | SynLSCD-PS |
| Version | 2025-06-01 |
| Authors | Yujiao Zhao;Yiyuan Wang |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN |
| Solver command line | SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Yujiao Zhao |
| Date of submission | 2025-07-23 10:15 |
| Name | SynLSCD-PS |
| Version | 2025-07-23 |
| Authors | Yujiao Zhao, Yiyuan Wang |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN |
| Solver command line | ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| 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 | OPT-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 |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Marek Piotrów |
| Date of submission | 2025-06-04 13:20 |
| Name | UWrMaxSat |
| Version | 2025-06-04 |
| Authors | Marek Piotrów |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN OPT-LIN |
| Solver command line | HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT |
| Conversion script command line | |
| Comments | Web page: https://github.com/marekpiotrow/UWrMaxSat Built with: - CaDiCaL SAT solver, - uncommented BIGINT option in config.mk, - command line: MAXPRE= USESCIP= make r that is, without MaxPre and SCIP libraries (see README.md on the webpage). |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Marek Piotrów |
| Date of submission | 2025-06-04 13:24 |
| Name | UWrMaxSat-SCIP |
| Version | 2025-06-04 |
| Authors | Marek Piotrów |
| Complete/Incomplete | Complete |
| Is able to solve | DEC-LIN OPT-LIN |
| Solver command line | HOME/uwrmaxsat-scip BENCHNAME -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=MEMLIMIT |
| Conversion script command line | |
| Comments | Web page: https://github.com/marekpiotrow/UWrMaxSat Built with: - CaDiCaL SAT solver, - SCIP solver, - uncommented BIGINT option in config.mk, - command line: MAXPRE= make r that is, without MaxPre library (see README.md on the webpage). |
| Solver files and checksums |
| Event | PB'25 competition |
| Type | PB |
| Submitter | Jialu Zhang |
| Date of submission | 2025-06-21 11:12 |
| Name | WMaxCDCL-SCIP |
| Version | 2025-06-21 |
| Authors | Jialu Zhang, Chu-Min Li, Sami Cherif, Shuolin Li, Zhifei Zheng |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-LIN OPT-NLC |
| Solver command line | DIR/opbsolver BENCHNAME TIMELIMIT MEMLIMIT TMPDIR DIR |
| Conversion script command line | |
| Comments | Please extract the archive file with the command "tar -xzf WMaxCDCL_SCIP.tar.gz". The folder includes a shell script ("opbsolver") and two static linked binary programs ("pbcpreprocessor" and "wmaxcdcl"). Please make sure all the script and programs have the execute permissions in the test machine. Thanks! |
| Solver files and checksums |