PB'26 competition: search progress per solver

Quality of the solution as a function of time for solver cpmpy_highs (1 core) 2026-07-05 (complete)

1 2 3 4 5

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-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-StillLife-09-12_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/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-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-yn3.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/ 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	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	PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-neos-3572885-glina.mps.opb Download the above graph as a PDF file
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_04_200_176.opb Download the above graph as a PDF file