PB'25 competition: search progress per solver
Quality of the solution as a function of time for solver Exact_proof
2025-06-02
(complete)
1
2
3
4
5
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/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-FoolSolitaire-table-2-0_c24.opb
Download the above graph
as a PDF file
/
as an EPS file
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-GolombRuler-a3v18-15_c18.opb
Download the above graph
as a PDF file
/
as an EPS file
PB25/normalized-PB25/OPT-LIN/
wallon/normalized-Cargo-24_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-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
1
2
3
4
5
1 2 3 4 5 1 2 3 4 5 1 2 3 4 5