PB'26 competition: search progress per solver

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


1 2 3 4

PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_3000_5__126_2812__64.opb

Download the above graph as a PDF file
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_3000_5__126_2812__8.opb

Download the above graph as a PDF file
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_100_3__3_91__32.opb

Download the above graph as a PDF file
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__8.opb

Download the above graph as a PDF file
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__32.opb

Download the above graph as a PDF file
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__2048.opb

Download the above graph as a PDF file
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx84.opb

Download the above graph as a PDF file
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx60.opb

Download the above graph as a PDF file
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx92.opb

Download the above graph as a PDF file
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx57.opb

Download the above graph as a PDF file
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/
j60opt/normalized-j605_4.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/
random/rand.smallist/normalized-rand49e642.cudf.trendy.opb

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

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-rand0a62b6.cudf.trendy.opb

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-rand4bf850.cudf.trendy.opb

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-randa09fe9.cudf.trendy.opb

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-gnash-common-opengl.cudf.trendy.opb

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

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-mono-gac.cudf.trendy.opb

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/
9orless/normalized-libmono-relaxng1.0-cil.cudf.trendy.opb

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-hal-cups-utils.cudf.trendy.opb

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-libmail-spf-perl.cudf.trendy.opb

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-sonata.cudf.trendy.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-ns1688347.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_3_shg.opb

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_6.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-minisat15_5_3_9_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_3_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/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-minisat15_4_4_6_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_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_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_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_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.B.recomb1-0.10-8.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/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/
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-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-vm75p-opt.opb.negationfix.opb

Download the above graph as a PDF file

1 2 3 4