PB'25 competition: search progress per solver
Quality of the solution as a function of time for solver OR-Tools CP-SAT 20 cores
9.14
(complete)
1
2
3
4
5
6
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_200_25_1.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_1000_25_3.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_1000_60_4.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_1000_25_4.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_500_10_5.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_500_10_2.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_200_10_1.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_200_10_2.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_100_10_1.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_200_25_3.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_500_10_2.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/submittedPB07/
manquinho/mds/normalized-mds_10_4_4.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_100_10_2.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_200_10_3.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_500_25_2.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_200_25_5.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_100_10_4.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_500_10_1.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_200_10_4.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_1000_60_4.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_10_4_2.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_100_25_5.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_1000_60_2.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_500_10_4.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_10_4_4.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_500_60_4.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_100_25_4.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_200_10_2.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__2048.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_2000_5__647_1792__64.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__16.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__8.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__256.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-3000opt.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-2000opt.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-8000opt.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-1000opt.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-2000opt.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-4000opt.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-6000opt.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-8000opt.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-3000opt.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-5000opt.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12024_3.std.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12024_1.std.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j1202_6.std.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12055_1.std.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12042_6.std.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/oliveras/
j60opt/normalized-j6045_4.std.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j3046_8.std.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j3046_9.std.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j9033_7.std.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j906_2.std.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-rand9ffe99.cudf.trendy.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-randbccf2d.cudf.trendy.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-rand902db1.cudf.trendy.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-kdessh.cudf.trendy.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-libgnokii4.cudf.trendy.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/9orless/normalized-kfilereplace.cudf.trendy.opb
Download the above graph
as a PDF file
/
as an EPS 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
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-libnspr4-dev.cudf.trendy.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-python-cairo.cudf.trendy.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-synaptic.cudf.trendy.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-990.cudf.trendy.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.newlist/normalized-randf794d2.cudf.paranoid.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/9orless/normalized-libgnokii4.cudf.paranoid.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/9orless/normalized-mono-mcs.cudf.paranoid.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/9orless/normalized-gpc-4.1.cudf.paranoid.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_15_errors.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_10_errors.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-neos-544324.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-methanosarcina.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-protfold.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-n3div36.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-opm2-z9-s14.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-macrophage.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-neos-538867.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-neos-1616732.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_4_shg.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_13_shg.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_9_shg.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_8_shg.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_14_shg.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_3_shg.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_11_shg.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_2.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_5.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_1.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_5.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_8.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_7.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_4.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_9.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_6.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_0.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_1_mh.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_2_mh.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_3_mh.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_5_mh.opb
Download the above graph
as a PDF file
/
as an EPS file
1
2
3
4
5
6
1 2 3 4 5 6
1 2 3 4 5 6 1 2 3 4 5 6