PB'24 competition: search progress per solver

Quality of the solution as a function of time for solver Sat4j Cutting Planes 2024 2024-07-12 (complete)


1 2 3 4

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-1037.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-787.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_10_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/
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-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_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
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_5_mh_ic.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_1_mh_ic.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_1_mh_ic.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_2_mh_ic.opb

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

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

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

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

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

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_0null50mast_rapportOE1.0_TMAX60_K67_cod3.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_50null20mast_rapportOE2.0_TMAX300_K67_cod1.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_10null10mast_rapportOE1.0_TMAX120_K67_cod1.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE2.0_TMAX15_K67_cod3.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_50null0mast_rapportOE2.0_TMAX300_K192_cod1.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_10null0mast_rapportOE1.0_TMAX180_K192_cod2.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod2.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.10-8.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-12.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-13.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.20-12.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb5-0.10-9.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.F.recomb10-0.01-5.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-1.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-5.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.01-5.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.F.recomb10-0.20-11.opb

Download the above graph as a PDF file / as an EPS 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 / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament08.lin.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay60.lin.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2g-0044-1601.lin.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_3pm-0334-0334.lin.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern50-06.lin.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament50.lin.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2pm-0066-0066.lin.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern30-04.lin.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm25p-opt.opb.negationfix.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2pm-0077-0777.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern60-60.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-sporttournament06.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-graphpart_3pm-0333-0333.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern35-18.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-edgecross10-050.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-edgecross10-040.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-sporttournament22.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-edgecross14-019.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-sporttournament26.opb

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

1 2 3 4