PB'26 competition: search progress per solver

Quality of the solution as a function of time for solver OR-Tools CP-SAT (1 core) 2026-05-18 (complete)

1 2 3 4 5

PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2017/normalized-scpn2.opb Download the above graph as a PDF file	PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-ex1010-pi.opb Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2010/normalized-bab1.opb Download the above graph as a PDF file	PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-neos-506428.opb Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-eilA101-2.opb Download the above graph as a PDF file	PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_50000_5_0.75_7.opb Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_10000_3_0.95_7.opb Download the above graph as a PDF file	PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_25000_10_0.85_4.opb Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i4_pp_95_merged.opb Download the above graph as a PDF file	PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i6_pp_93_merged.opb Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i5_pp_97_merged.opb Download the above graph as a PDF file	PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i8_pp_96_merged.opb Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i6_pp_88_merged.opb Download the above graph as a PDF file	PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_390_005.opb Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_710_002.opb Download the above graph as a PDF file	PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_430_001.opb Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.01-000.opb Download the above graph as a PDF file	PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_430_008.opb Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_690_000.opb Download the above graph as a PDF file	PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_170_002.opb Download the above graph as a PDF file
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_7_label9_adversarial_norm_2.opb Download the above graph as a PDF file	PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/ normalized-dobutsu-shogi-master-noopt.opb Download the above graph as a PDF file
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/ normalized-dobutsu-shogi-master.opb Download the above graph as a PDF file	PB25/normalized-PB25/OPT-LIN/ wallon/normalized-Cargo-22_c24.opb Download the above graph as a PDF file
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-RubiksCube-10-4-20-0_c24.opb Download the above graph as a PDF file	PB25/normalized-PB25/OPT-LIN/wallon/ normalized-Charlotte-mini-06-2_c24.opb Download the above graph as a PDF file
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-GolombRuler-a3v18-11_c18.opb Download the above graph as a PDF file	PB25/normalized-PB25/OPT-LIN/wallon/ normalized-StillLife-wastage-15-15_c24.opb Download the above graph as a PDF file
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-RubiksCube-12-4-20-1_c24.opb Download the above graph as a PDF file	PB25/normalized-PB25/OPT-LIN/ wallon/normalized-StillLife-09-12_c24.opb Download the above graph as a PDF file
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-FoolSolitaire-table-3-0_c24.opb Download the above graph as a PDF file	PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/ instances/normalized-QPLIB_6799.opb Download the above graph as a PDF file
PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/ instances/normalized-QPLIB_3803.opb Download the above graph as a PDF file	PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/ instances/normalized-QPLIB_2957.opb Download the above graph as a PDF file
PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/ instances/normalized-QPLIB_3614.opb Download the above graph as a PDF file	PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/ instances/normalized-QPLIB_3565.opb Download the above graph as a PDF file
PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/ instances/normalized-QPLIB_3361.opb Download the above graph as a PDF file	PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/ instances/normalized-QPLIB_2029.opb Download the above graph as a PDF file
PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/ instances/normalized-QPLIB_3506.opb Download the above graph as a PDF file	PB26/normalized-PB26/OPT-LIN/ devriendt/tsplib/normalized-gr17.opb Download the above graph as a PDF file
PB26/normalized-PB26/OPT-LIN/devriendt/ tsplib/normalized-swiss42.opb Download the above graph as a PDF file	PB26/normalized-PB26/OPT-LIN/ devriendt/tsplib/normalized-hk48.opb Download the above graph as a PDF file
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-ta31.opb Download the above graph as a PDF file	PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-ta02.opb Download the above graph as a PDF file
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-orb03.opb Download the above graph as a PDF file	PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-yn3.opb Download the above graph as a PDF file
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-swv20.opb Download the above graph as a PDF file	PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-supportcase33.mps.opb Download the above graph as a PDF file
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-neos-3214367-sovi.mps.opb Download the above graph as a PDF file	PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-neos-3530903-gauja.mps.opb Download the above graph as a PDF file
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-rococoC11-010100.mps.opb Download the above graph as a PDF file	PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-neos-4165869-wannon.mps.opb Download the above graph as a PDF file