PB'26 competition: search progress per solver

Quality of the solution as a function of time for solver AY-cert 2026-07-13-certfix (cert) (complete)

1 2 3 4

PB24/normalized-PB11/OPT-LIN/ heinz/normalized-ns1688347.opb Download the above graph as a PDF file	PB24/normalized-PB11/OPT-LIN/heinz/ normalized-neos-1616732.opb Download the above graph as a PDF file
PB24/normalized-PB11/OPT-LIN/heinz/ normalized-opm2-z12-s14.opb Download the above graph as a PDF file	PB24/normalized-PB11/ OPT-LIN/heinz/normalized-seymour.opb Download the above graph as a PDF file
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_4_shg.opb Download the above graph as a PDF file	PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_9_shg.opb Download the above graph as a PDF file
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_3_shg.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_0.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_3.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat100_4_32_2.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_6.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_7.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_2.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_4.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_7.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_9.opb Download the above graph as a PDF file
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-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-minisat15_5_3_6_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-minisat50_6_9_7_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_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_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/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/ EmployeeScheduling/normalized-jul5.5.opb Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jul6.5.opb Download the above graph as a PDF file	PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jun5.5.opb Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug6.5.opb Download the above graph as a PDF file	PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jun6.5.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/pbfvmc-formulae/ hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb Download the above graph as a PDF file	PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm75p-opt.opb.negationfix.opb Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb Download the above graph as a PDF file	PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm90p-opt.opb.negationfix.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-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm75p-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-f19-ACTotalLoss.seq-B-3-2-irEDCBA.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-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f5-AC1Loss.seq-A-2-1-EDCBAir.opb Download the above graph as a PDF file
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f15-AC_ESSLoss.seq-A-2-2-irabcde.opb Download the above graph as a PDF file	PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ uncorrelated_span/normalized-knapPI_11_100_1000_2_-3990.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/ 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/ comppebvc/normalized-comppebvc_opt_120.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_3layers_maxall_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_20.opb Download the above graph as a PDF file	PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_11.opb Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r34_c68_a4.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_r25_c50_a5.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_r26_c51_a5.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_r20_c39_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_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_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_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_65.opb Download the above graph as a PDF file

1 2 3 4