PB'26 competition WBO: list of solvers

List of solvers

AY 0.11.0 (Andrew Yates)
AY 2026-07-11b (Andrew Yates)
Exact 2026-06-14 (Jo Devriendt)
exact-printemps 2026-05-18 (Masahiro Sakai, Yuji Koguma)
Exact_symbreak 2026-06-14 (Jo Devriendt)
Exact_symlocal 2026-06-14 (Jo Devriendt)
NaPS 1.04 (Masahiko Sakai and Hidetomo Nabeshima)
OR-Tools CP-SAT 2026-05-18 (Laurent Perron)
PRINTEMPS 2026-05-18 (Yuji Koguma, Masahiro Sakai)
Sat4j CuttingPlanes 2026-06-10 (Daniel Le Berre)
Sat4j Resolution 2026-06-10 (Daniel Le Berre)
scip-printemps 2026-06-28 (Masahiro Sakai, Yuji Koguma)
UWrMaxSat-SCIP 2.0.3 (Marek Piotrów)
UWrMaxSat-SCIP 2.0.4 (Marek Piotrów)
UWrMaxSat-SCIP 2.0.5 (Marek Piotrów)

Details on each solver

Event PB'26 competition WBO

Type WBO

Submitter Andrew Yates

Date of submission 2026-06-18 16:07

Name AY

Version 0.11.0

Authors Andrew Yates

Complete/Incomplete Complete

Is able to solve PARTIAL-LIN
SOFT-LIN

Solver command line DIR/run.sh BENCHNAME

Conversion script command line

Comments Prebuilt static x86_64 Linux binary (ay-pb) included

Solver files and checksums

[Show/Hide files]

Event PB'26 competition WBO

Type WBO

Submitter Andrew Yates

Date of submission 2026-07-11 07:56

Name AY

Version 2026-07-11b

Authors Andrew Yates

Complete/Incomplete Complete

Is able to solve PARTIAL-LIN
SOFT-LIN

Solver command line DIR/run.sh BENCHNAME

Conversion script command line

Comments Same self-contained packaging as this morning (vendored, builds --locked --offline, no credentials needed) plus one robustness fix found in our final full-set validation: a rare optimality-check stall on multiplier-circuit instances that could ignore the time limit. sha256 2ff0d8ea21f62ea1a96d3871f5e90142e1f4fde126b31af7f47d6e378d4916d6. Same filename replaces the earlier upload.

Solver files and checksums

[Show/Hide files]

Event PB'26 competition WBO

Type WBO

Submitter Jo Devriendt

Date of submission 2026-06-14 01:04

Name Exact

Version 2026-06-14

Authors Jo Devriendt

Complete/Incomplete Complete

Is able to solve PARTIAL-LIN
SOFT-LIN

Solver command line ./Exact_pb26 --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=200 --inp-symmetry=0 BENCHNAME

Conversion script command line

Comments This year's version of Exact, vanilla settings. See https://gitlab.com/nonfiction-software/exact/-/tree/pb26?ref_type=heads.

Solver files and checksums

[Show/Hide files]

Event PB'26 competition WBO

Type WBO

Submitter Masahiro Sakai

Date of submission 2026-05-18 18:35

Name exact-printemps

Version 2026-05-18

Authors Masahiro Sakai, Yuji Koguma

Complete/Incomplete Incomplete

Is able to solve PARTIAL-LIN
SOFT-LIN

Solver command line DIR/exact-printemps --exact-path DIR/Exact --printemps-path DIR/pb_competition_2025_solver --save-dir TMPDIR -t TIMEOUT --seed RANDOMSEED -j NBCORE --use-fixed-literals BENCHNAME

Conversion script command line

Comments This is a meta-solver that calls Exact and PRINTEMPS.

Solver files and checksums

[Show/Hide files]

Event PB'26 competition WBO

Type WBO

Submitter Jo Devriendt

Date of submission 2026-06-14 01:07

Name Exact_symbreak

Version 2026-06-14

Authors Jo Devriendt

Complete/Incomplete Complete

Is able to solve PARTIAL-LIN
SOFT-LIN

Solver command line ./Exact_pb26 --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=200 --inp-symmetry=2 BENCHNAME

Conversion script command line

Comments This year's version of Exact, with symmetry-based solution improvement and symmetry breaking unit literals. See https://gitlab.com/nonfiction-software/exact/-/tree/pb26?ref_type=heads.

Solver files and checksums

[Show/Hide files]

Event PB'26 competition WBO

Type WBO

Submitter Jo Devriendt

Date of submission 2026-06-14 01:06

Name Exact_symlocal

Version 2026-06-14

Authors Jo Devriendt

Complete/Incomplete Complete

Is able to solve PARTIAL-LIN
SOFT-LIN

Solver command line ./Exact_pb26 --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=200 --inp-symmetry=1 BENCHNAME

Conversion script command line

Comments This year's version of Exact, with symmetry-based solution improvement. See https://gitlab.com/nonfiction-software/exact/-/tree/pb26?ref_type=heads.

Solver files and checksums

[Show/Hide files]

Event PB'26 competition WBO

Type WBO

Submitter Masahiko Sakai

Date of submission 2026-06-08 04:19

Name NaPS

Version 1.04

Authors Masahiko Sakai and Hidetomo Nabeshima

Complete/Incomplete Complete

Is able to solve PARTIAL-LIN
SOFT-LIN

Solver command line ./naps.sh -given-time=TIMEOUT BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event PB'26 competition WBO

Type WBO

Submitter Laurent Perron

Date of submission 2026-05-18 17:06

Name OR-Tools CP-SAT

Version 2026-05-18

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

Solver files and checksums

[Show/Hide files]

Event PB'26 competition WBO

Type WBO

Submitter Masahiro Sakai

Date of submission 2026-05-18 18:18

Name PRINTEMPS

Version 2026-05-18

Authors Yuji Koguma, Masahiro Sakai

Complete/Incomplete Incomplete

Is able to solve PARTIAL-LIN
SOFT-LIN

Solver command line DIR/pb_competition_2025_solver -k -1 -t TIMEOUT -j NBCORE -r RANDOMSEED BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event PB'26 competition WBO

Type WBO

Submitter Daniel Le Berre

Date of submission 2026-05-20 14:41

Name Sat4j CuttingPlanes

Version 2026-06-10

Authors Daniel Le Berre

Complete/Incomplete Complete

Is able to solve

Solver command line java -jar HOME/sat4j-pb.jar CuttingPlanesPB24 BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event PB'26 competition WBO

Type WBO

Submitter Daniel Le Berre

Date of submission 2026-05-20 14:42

Name Sat4j Resolution

Version 2026-06-10

Authors Daniel Le Berre

Complete/Incomplete Complete

Is able to solve PARTIAL-LIN
SOFT-LIN

Solver command line java -jar HOME/sat4j-pb.jar ResolutionPB24 BENCHNAME

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event PB'26 competition WBO

Type WBO

Submitter Masahiro Sakai

Date of submission 2026-06-28 15:06

Name scip-printemps

Version 2026-06-28

Authors Masahiro Sakai, Yuji Koguma

Complete/Incomplete Incomplete

Is able to solve PARTIAL-LIN
SOFT-LIN

Solver command line DIR/scip-printemps --printemps-path DIR/pb_competition_2025_solver --save-dir TMPDIR -t TIMEOUT --seed RANDOMSEED -j NBCORE --use-fixed-literals BENCHNAME

Conversion script command line

Comments Updates from 2026-06-15 version
- Fixed a bug that was causing incorrect vairable fixing and incorrect UNSAT
- Changed the build environment from Ubuntu-24.04 to Ubuntu-22.04 to ensure compatibility with glibc-2.34
- Reenabled WBO support

Solver files and checksums

[Show/Hide files]

Event PB'26 competition WBO

Type WBO

Submitter Marek Piotrów

Date of submission 2026-06-27 11:43

Name UWrMaxSat-SCIP

Version 2.0.3

Authors Marek Piotrów

Complete/Incomplete Complete

Is able to solve PARTIAL-LIN
SOFT-LIN

Solver command line ./uwrmaxsat -no-par -scip-cpu=900 -scip-cpu-add=500 -mem-lim=MEMLIMIT BENCHNAME

Conversion script command line

Comments Main external components:
- CaDiCaL, the SAT solver, ver. 2.1.3, https://github.com/arminbiere/cadical
- SCIP, the MIP solver, ver. 10.0.2, https://scipopt.org/

The source of UWrMaxSat, ver. 2.0.0: https://github.com/marekpiotrow/UWrMaxSat;

Solver files and checksums

[Show/Hide files]

Event PB'26 competition WBO

Type WBO

Submitter Marek Piotrów

Date of submission 2026-07-02 07:26

Name UWrMaxSat-SCIP

Version 2.0.4

Authors Marek Piotrów

Complete/Incomplete Complete

Is able to solve PARTIAL-LIN
SOFT-LIN

Solver command line ./uwrmaxsat -no-par -scip-cpu=900 -scip-cpu-add=500 -mem-lim=MEMLIMIT BENCHNAME

Conversion script command line

Solver files and checksums

[Show/Hide files]

Event PB'26 competition WBO

Type WBO

Submitter Marek Piotrów

Date of submission 2026-07-05 09:16

Name UWrMaxSat-SCIP

Version 2.0.5

Authors Marek Piotrów

Complete/Incomplete Complete

Is able to solve PARTIAL-LIN
SOFT-LIN

Solver command line ./uwrmaxsat -no-par -scip-cpu=900 -scip-cpu-add=500 -mem-lim=MEMLIMIT BENCHNAME

Conversion script command line

Solver files and checksums

[Show/Hide files]