PB'26 competition: search progress per solver

Quality of the solution as a function of time for solver cpmpy_highs (16 cores) 2026-07-05 (complete)


1 2 3

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

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

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

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

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

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

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

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

Download the above graph as a PDF file
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/
j120opt/normalized-j12030_8.std.opb

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

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

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

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

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

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-902.cudf.trendy.opb

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.smallist/normalized-rand59f7dd.cudf.paranoid.opb

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/9orless/normalized-r-cran-lme4.cudf.paranoid.opb

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/datasets/
10orplus/normalized-openoffice.org-l10n-da.cudf.paranoid.opb

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/10orplus/normalized-monodevelop-nunit.cudf.paranoid.opb

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-550.cudf.paranoid.opb

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-1078.cudf.paranoid.opb

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-1468.cudf.paranoid.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-tanglegram1.opb

Download the above graph as a PDF file
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/
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/
Multihop/normalized-minisat15_5_3_6_mh.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/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/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_luby_20null10mast_rapportOE1.0_TMAX60_K192_cod1.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-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-jun6.5.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_12x12_008.opb.metafix.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_12x12_009.opb.metafix.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_8x8_004.opb.metafix.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_14x14_006.opb.metafix.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_008.opb.metafix.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_007.opb.metafix.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_14x14_008.opb.metafix.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_002.opb.metafix.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_16x16_006.opb.metafix.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_8x8_000.opb.metafix.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-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/pbfvmc-formulae/
hw64/normalized-hw64-vm50p-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-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-f26-ACDoubleLoss.seq-B-2-1-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-f8-AC2Loss.seq-A-3-2-irEDCBA.opb

Download the above graph as a PDF file
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f18-AC1Loss.seq-A-2-2-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/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=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=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/
uncorrelated_span/normalized-knapPI_11_50_1000_1_-1428.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/
similar_weights/normalized-knapPI_9_100_1000_2_-997.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/
subset_sum/normalized-knapPI_6_2000_1000_4_-39215.opb

Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
subset_sum/normalized-knapPI_6_500_1000_2_-5036.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_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_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_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/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_04.opb

Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_10.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/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height22_pigeons21_holes20.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_lastlayerdecr1/
normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_05.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/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_04.opb

Download the above graph as a PDF file

1 2 3