PB'26 competition: search progress per solver

Quality of the solution as a function of time for solver cpmpy_highs (1 core) 2026-07-14 (complete)

1 2 3 4 5

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-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-tanglegram1.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-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_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_3_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/ 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/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_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_10null50mast_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_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.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-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-aug4.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-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/ 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/ 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-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-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=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/ 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

1 2 3 4 5