PB'26 competition: search progress per solver

Quality of the solution as a function of time for solver scip-printemps (1 core) 2026-06-28 (incomplete)


1 2 3

PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-5000opt.opb

Download the above graph as a PDF file
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-7000opt.opb

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12035_8.std.opb

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/oliveras/
j60opt/normalized-j605_4.std.opb

Download the above graph as a PDF file
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-tanglegram3.opb

Download the above graph as a PDF file
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-opm2-z10-s2.opb

Download the above graph as a PDF file
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-t1717.opb

Download the above graph as a PDF file
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-n3div36.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-mul_8_13_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-sbox_8_shg.opb

Download the above graph as a PDF file
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_14_shg.opb

Download the above graph as a PDF file
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_11_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-minisat100_4_32_2.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-minisat85_4_27_4.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-minisat50_6_9_1_mh.opb

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_2_mh.opb

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_3_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-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-minisat25_4_7_6_mh_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/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_unif_20null50mast_rapportOE2.0_TMAX60_K192_cod1.opb

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null50mast_rapportOE2.0_TMAX180_K192_cod2.opb

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX15_K192_cod1.opb

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null50mast_rapportOE2.0_TMAX120_K192_cod1.opb

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_50null0mast_rapportOE1.0_TMAX120_K192_cod2.opb

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX60_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.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-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug5.5.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep5.5.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-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-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-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/
hw128/normalized-hw128-vm95p-opt.opb.negationfix.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/
hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-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-NLC/
minlplib2-pb-0.1.0/opb/normalized-pb302035.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-NLC/
minlplib2-pb-0.1.0/opb/normalized-faclay25.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-NLC/
minlplib2-pb-0.1.0/opb/normalized-faclay33.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern35-18.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-crossdock_15x7.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-edgecross14-117.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/
comppebvc/normalized-comppebvc_opt_200.opb

Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
comppebvc/normalized-comppebvc_opt_195.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/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_420.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_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/
MIPLIB01/opt/miplib2017/normalized-scpn2.opb

Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-ex1010-pi.opb

Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2010/normalized-bab1.opb

Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-eilA101-2.opb

Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i6_pp_93_merged.opb

Download the above graph as a PDF file
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_inf.opb

Download the above graph as a PDF file
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_7_label9_adversarial_norm_2.opb

Download the above graph as a PDF file
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_2.opb

Download the above graph as a PDF 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
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_32_label3_adversarial_norm_0.opb

Download the above graph as a PDF 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
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
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
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_73_label5_adversarial_norm_0.opb

Download the above graph as a PDF file

1 2 3