PB'24 competition: search progress per solver

Quality of the solution as a function of time for solver Sat4j Resolution Default 2024-07-07 (complete)


1 2 3 4

PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_18.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_17.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_14.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-fout.r.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_70_70.r.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-addm4.r.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-maincont.r.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-bench1.r.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-m4.r.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_11.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-11_22.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-6_12.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-8_16.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-10_20.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_019_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_023_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-fir04_area_opers.opb

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

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/area_partials/normalized-fir05_area_partials.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_7.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_9.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=149-P1=419-P2=307-P3=223-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=9-P0=307-P1=59-P2=149-P3=337-P4=409-P5=457-P6=79-P7=53-P8=347-P9=487-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=6-P0=11-P1=37-P2=59-P3=23-P4=53-P5=31-P6=59-P7=29-P8=2-P9=67-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=197-P1=97-P2=163-P3=151-P4=53-P5=139-P6=107-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=53-P1=17-P2=109-P3=2-P4=191-P5=191-P6=47-P7=101-P8=97-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=107-P1=13-P2=17-P3=127-P4=13-P5=53-P6=73-P7=59-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=5-P0=13-P1=5-P2=17-P3=2-P4=29-P5=5-P6=19-P7=17-P8=5-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=5-P0=17-P1=17-P2=13-P3=17-P4=29-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=53-P1=5-P2=67-P3=53-P4=17-P5=103-P6=29-P7=71-P8=47-B.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_500_60_1.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_3.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-NLC/submittedPB07/
manquinho/mis/normalized-mis_50_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_2.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_1.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_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_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_500_25_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_2.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_1000_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_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_1000_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_500_60_3.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_3.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_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_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_10_4_1.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_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_500_3__212_366__32.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-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/
j60opt/normalized-j609_2.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

1 2 3 4