PB'24 competition: search progress per solver

Quality of the solution as a function of time for solver Exact 2024-07-05 (complete)


1 2 3 4 5

PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_200_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_100_10_5.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_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_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_200_25_1.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_3.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_5.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_1.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_2.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_1000_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_10_4_5.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_100_3__3_91__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__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_20_2__17_12__512.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_50_2__8_45__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_3000_5__126_2812.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__256.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__128.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__32.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__64.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-750-false-45-90-4-7000opt.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-10000opt.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-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-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-5000opt.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-7000opt.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-4000opt.opb

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

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

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

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

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

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

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

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

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

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j9021_10.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.smallist/normalized-rand49e642.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.smallist/normalized-rand1958fb.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-randaefc7c.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-gpc-4.1.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-codebreaker.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-libpango-perl.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-libnkf-perl.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-libtemplate-provider-encoding-perl.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-pidgin-plugin-pack.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-1094.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-1468.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.smallist/normalized-randa13f2d.cudf.paranoid.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.smallist/normalized-rand88811a.cudf.paranoid.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-rand362510.cudf.paranoid.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-rand0a62b6.cudf.paranoid.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-rand18b530.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-kjumpingcube.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/10orplus/normalized-hal-cups-utils.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/10orplus/normalized-libpango-perl.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_5_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_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_0_errors.opb

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

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

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-neos-1620770.opb

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

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

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-neos-631710.opb

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

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-circ10-3.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-ex1010-pi.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_4.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_8.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-minisat85_4_27_0.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_3.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_1.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_5.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_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_4.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_5.opb

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

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_8_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_2_mh.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-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
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_4_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_0_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_8_mh.opb

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

Download the above graph as a PDF file / as an EPS file

1 2 3 4 5