PB'25 competition: search progress per solver
Quality of the solution as a function of time for solver Hybrid-CASHWMaxSATDisjCom+ExactPRS9
2025-06-02
(complete)
1
2
3
4
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r10_c20_a6.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r10_c19_a4.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c80.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c50.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_550.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_430.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_160.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c60.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/
normalized-maxcut_opt_complete_5-partite_block_nvert_12.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_87.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_18.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_84.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_50.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_20.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_25.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_071.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_06.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_33.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_05.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib3/normalized-mitre.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-sorrell8.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-sp98ar.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-2club200v15p5scn.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i8_pp_92.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i2_pp_94.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.75_2.opb
Download the above graph
as a PDF file
/
as an EPS file
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_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/SMTI/x1/Init-x1-i8_pp_87_merged.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_60_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-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-GolombRuler-a3v18-15_c18.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
1 2 3 4 1 2 3 4 1 2 3 4