PB'25 competition: search progress per solver
Quality of the solution as a function of time for solver Sat4j CP
2025-06-06
(complete)
1
2
3
4
5
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_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/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/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-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
PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/
instances/normalized-QPLIB_3877.opb
Download the above graph
as a PDF file
/
as an EPS file
PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/
instances/normalized-QPLIB_2017.opb
Download the above graph
as a PDF file
/
as an EPS file
PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/
instances/normalized-QPLIB_5881.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