PB'26 competition WBO: benchmarks results per solver

Result page for solver Sat4j CuttingPlanes 2026-06-10 (complete)

Solver command line

java -jar HOME/sat4j-pb.jar CuttingPlanesPB24 BENCHNAME