PB'26 competition: search progress per solver
Quality of the solution as a function of time for solver Sat4j CuttingPlanes CERT
2026-06-10 (cert)
(complete)
1
2
3
4
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_9_mh.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_1_mh.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_9_mh.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_7_mh.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_2_mh.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_3_mh.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_6_mh_ic.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_4_mh_ic.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat25_4_7_6_mh_ic.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_3_mh_ic.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_1_mh_ic.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_6_mh_ic.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_2_ic.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_7_ic.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_8_ic.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE1.0_TMAX15_K67_cod1.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_20null10mast_rapportOE2.0_TMAX120_K67_cod2.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_10null0mast_rapportOE1.0_TMAX300_K67_cod3.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null0mast_rapportOE1.0_TMAX300_K192_cod1.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null20mast_rapportOE1.0_TMAX180_K192_cod1.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX180_K192_cod2.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.20-11.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.F.recomb10-0.10-10.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.10-8.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.10-9.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.B.recomb1-0.10-8.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb5-0.10-6.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb5-0.10-10.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-15.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.01-5.opb
Download the above graph
as a PDF file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.D.recomb10-0.20-14.opb
Download the above graph
as a PDF file
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb
Download the above graph
as a PDF file
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern35-09.lin.opb
Download the above graph
as a PDF file
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament18.lin.opb
Download the above graph
as a PDF file
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament08.lin.opb
Download the above graph
as a PDF file
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern55-28.lin.opb
Download the above graph
as a PDF file
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-edgecross14-058.lin.opb
Download the above graph
as a PDF file
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-hmittelman.lin.opb
Download the above graph
as a PDF file
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern45-45.lin.opb
Download the above graph
as a PDF file
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay25.lin.opb
Download the above graph
as a PDF file
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-pb351535.lin.opb
Download the above graph
as a PDF file
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
Download the above graph
as a PDF file
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f3-DataDisplay_1_order6.seq-B-2-1-irEDCBA.opb
Download the above graph
as a PDF file
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f37-AC_TotalLoss.seq-B-2-1-irabcde.opb
Download the above graph
as a PDF file
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f32-AC_DoubleLoss.seq-A-3-combined-abcdeir.opb
Download the above graph
as a PDF file
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f44-DC_ESS.seq-B-2-combined-irabcde.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=10.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=11-t=4.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=8-t=2.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=12-t=2.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=2.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=11-t=8.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=21-t=2.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=7.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=7.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=14-t=2.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
almost_strongly_correlated/normalized-knapPI_5_50_10000_4_-18105.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
weakly_correlated/normalized-knapPI_2_100_1000_5_-3352.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/
normalized-knapPI_1_10000_10000_4_-11456508.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
multiple_strongly_correlated/normalized-knapPI_14_500_1000_4_-31297.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
strongly_correlated_span/normalized-knapPI_13_20_1000_4_-907.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_041.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_081.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_801.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_061.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_901.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_051.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_951.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_851.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_101.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_251.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height18_pigeons17_holes16.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_22.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/
normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_65.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_75.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_95.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r17_c34_a6.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r8_c50.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r8_c10.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r8_c90.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r10_c90.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_490.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_170.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_420.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/
normalized-maxcut_opt_complete_5-partite_block_nvert_50.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/
normalized-maxcut_opt_complete_5-partite_block_nvert_17.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_block/
normalized-maxcut_opt_complete_6-partite_block_nvert_18.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_block/
normalized-maxcut_opt_complete_6-partite_block_nvert_78.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_54.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_57.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_90.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_85.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_45.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_65.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_121.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_057.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_033.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_13.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib3/normalized-nw04.opb
Download the above graph
as a PDF file
1
2
3
4
1 2 3 4
1 2 3 4 1 2 3 4