PB'25 competition: search progress per solver

Quality of the solution as a function of time for solver Sat4j Resolution 2025-06-06 (complete)


1 2 3 4

PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_025_area_delay.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_008_area_delay.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_013_area_delay.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_011_area_delay.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_001_area_delay.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_010_area_delay.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir10_trarea_ac.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir06_trarea_ac.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir07_trarea_ac.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir08_trarea_ac.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir01_trarea_ac.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir03_trarea_ac.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir02_trarea_ac.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir05_trarea_ac.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir04_trarea_ac.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir09_trarea_ac.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_opers/normalized-fir05_area_opers.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_delay/normalized-fir04_area_delay.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_delay/normalized-fir08_area_delay.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/
submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_1.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=103-P1=127-P2=263-P3=461-P4=191-P5=277-B.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=11-P1=71-P2=127-P3=19-P4=89-P5=17-B.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=97-P1=43-P2=127-P3=89-P4=59-P5=127-P6=43-P7=127-P8=67-P9=17-B.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=71-P1=131-P2=37-P3=29-P4=71-P5=79-P6=47-P7=41-B.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=37-P1=223-P2=197-P3=97-P4=11-P5=157-P6=97-P7=127-P8=79-P9=11-B.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=29-P1=61-P2=43-P3=131-P4=2-P5=59-P6=41-B.opb

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

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_100_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_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_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_1000_5__369_766__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_50_2__8_45.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-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/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-rande89f80.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.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-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.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_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-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-opm2-z9-s14.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

1 2 3 4