PB'25 competition: search progress per solver

Quality of the solution as a function of time for solver CASHWMaxSATDisjCom-S 2025-06-01 (complete)

1 2 3 4

PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_32_label3_adversarial_norm_1.opb Download the above graph as a PDF file / as an EPS file	PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_2.opb Download the above graph as a PDF file / as an EPS file
PB25/normalized-PB25/OPT-LIN/sakai/ PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_7_label9_adversarial_norm_inf.opb Download the above graph as a PDF file / as an EPS 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 / as an EPS 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 / as an EPS 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 / as an EPS 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 / as an EPS file	PB25/normalized-PB25/OPT-LIN/wallon/ normalized-WordGolf-4-ogd2008-50-0_c24.opb Download the above graph as a PDF file / as an EPS file
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-TestScheduling-t030m10r05-1_c24.opb Download the above graph as a PDF file / as an EPS file	PB25/normalized-PB25/OPT-LIN/wallon/ normalized-Clique-c0125-9_c24.opb Download the above graph as a PDF file / as an EPS file

1 2 3 4