PB'26 competition: search progress per solver
Quality of the solution as a function of time for solver AY-cert
2026-07-13-certfix (cert)
(complete)
1
2
3
4
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_121.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_057.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_033.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-neos-780889.opb
Download the above graph
as a PDF file
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/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/
KidneyTransplantBenchmarks/normalized-KE_50_001.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_260_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-KE_430_008.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_rot_8_label1_adversarial_norm_inf.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/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_2.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_0.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_32_label3_adversarial_norm_0.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_73_label5_adversarial_norm_inf.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_inf.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_1.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_73_label5_adversarial_norm_0.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.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-Charlotte-mini-06-2_c24.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/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-ta48.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-ta32.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-ta57.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/jsplib/normalized-ta41.opb
Download the above graph
as a PDF file
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-swv16.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-3381206-awhea.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
1
2
3
4
1 2 3 4 1 2 3 4 1 2 3 4