PB'25 competition: search progress per solver

Quality of the solution as a function of time for solver NuPBO-DeepOpt+ 2025-06-02 (incomplete)

1 2 3 4 5

PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_10000_10_0.85_3.opb Download the above graph as a PDF file / as an EPS file	PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_50000_3_0.85_4.opb Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_25000_10_0.85_7.opb Download the above graph as a PDF file / as an EPS file	PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_25000_5_0.75_3.opb Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_25000_10_0.95_10.opb Download the above graph as a PDF file / as an EPS file	PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_120_003.opb Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_610_007.opb Download the above graph as a PDF file / as an EPS file	PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-017.opb Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_450_009.opb Download the above graph as a PDF file / as an EPS file	PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_230_000.opb Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-013.opb Download the above graph as a PDF file / as an EPS file	PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_260_007.opb Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_60_004.opb Download the above graph as a PDF file / as an EPS file	PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_410_001.opb Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_680_004.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_0.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_0.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_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_back_image_73_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_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_32_label3_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_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.opb Download the above graph as a PDF file / as an EPS file
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-Charlotte-mini-24-2_c24.opb Download the above graph as a PDF file / as an EPS file	PB25/normalized-PB25/OPT-LIN/wallon/ normalized-Charlotte-06-2_c24.opb Download the above graph as a PDF file / as an EPS file
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-SameQueensKnights-b-35_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