PB'26 competition: search progress per solver

Quality of the solution as a function of time for solver Sat4j CuttingPlanes 2026-06-10 (complete)


1 2 3 4

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Download the above graph as a PDF file
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/area_partials/normalized-fir07_area_partials.opb

Download the above graph as a PDF file
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/area_partials/normalized-fir05_area_partials.opb

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

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

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

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

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

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

Download the above graph as a PDF file
PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=17-P1=13-P2=29-P3=37-P4=23-B.opb

Download the above graph as a PDF 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
PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=5-P1=113-P2=107-P3=11-P4=43-P5=101-B.opb

Download the above graph as a PDF file
PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=11-P1=2-P2=41-P3=47-P4=37-P5=17-P6=41-P7=43-P8=59-B.opb

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

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

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

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

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

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

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

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

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

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

Download the above graph as a PDF file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_100_10_1.opb

Download the above graph as a PDF file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_500_25_5.opb

Download the above graph as a PDF file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_200_10_1.opb

Download the above graph as a PDF file
PB24/normalized-PB07/OPT-NLC/submittedPB07/
manquinho/mds/normalized-mds_50_10_5.opb

Download the above graph as a PDF file
PB24/normalized-PB07/OPT-NLC/submittedPB07/
manquinho/mds/normalized-mds_10_4_4.opb

Download the above graph as a PDF file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_100_25_3.opb

Download the above graph as a PDF file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_500_10_3.opb

Download the above graph as a PDF file
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_200_25_2.opb

Download the above graph as a PDF file
PB24/normalized-PB07/OPT-NLC/submittedPB07/
manquinho/mds/normalized-mds_50_10_2.opb

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

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

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

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

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

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

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

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

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

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

Download the above graph as a PDF file
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__16.opb

Download the above graph as a PDF file
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_3000_5__126_2812__8.opb

Download the above graph as a PDF file
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_100_3__3_91__32.opb

Download the above graph as a PDF file
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__8.opb

Download the above graph as a PDF 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
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__2048.opb

Download the above graph as a PDF file
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-9000opt.opb

Download the above graph as a PDF file
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-1000opt.opb

Download the above graph as a PDF file
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-7000opt.opb

Download the above graph as a PDF file
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-6000opt.opb

Download the above graph as a PDF file
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-2000opt.opb

Download the above graph as a PDF file
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-10000opt.opb

Download the above graph as a PDF file
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-9000opt.opb

Download the above graph as a PDF file
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-8000opt.opb

Download the above graph as a PDF file
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-5000opt.opb

Download the above graph as a PDF file
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-7000opt.opb

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

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

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

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

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

Download the above graph as a PDF 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
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-rand601ba8.cudf.trendy.opb

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-rand0a62b6.cudf.trendy.opb

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-rand4bf850.cudf.trendy.opb

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-randa09fe9.cudf.trendy.opb

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-gnash-common-opengl.cudf.trendy.opb

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-kbd.cudf.trendy.opb

Download the above graph as a PDF 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
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/
9orless/normalized-libmono-relaxng1.0-cil.cudf.trendy.opb

Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-hal-cups-utils.cudf.trendy.opb

Download the above graph as a PDF file

1 2 3 4