PB'26 competition: search progress per solver

Quality of the solution as a function of time for solver Picat(kissat) 2026-06-19 (complete)

1 2 3 4

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_7.opb Download the above graph as a PDF file	PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_9.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_8.opb Download the above graph as a PDF file
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.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-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.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=11-P2=73-P3=43-P4=127-P5=127-P6=37-P7=127-P8=5-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=8-P0=149-P1=19-P2=137-P3=191-P4=223-B.opb Download the above graph as a PDF file	PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=257-P1=53-P2=163-P3=163-P4=251-P5=269-P6=479-P7=113-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=31-P1=31-P2=37-P3=37-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/roussel/factor-mod-B/ factor-mod-size=9-P0=293-P1=97-P2=163-P3=149-P4=163-P5=457-P6=521-P7=173-P8=431-P9=419-B.opb Download the above graph as a PDF file
PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=43-P1=101-P2=251-P3=307-P4=499-B.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/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_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_500_25_3.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-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_20_2__17_12__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/ j120opt/normalized-j12030_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/ j30opt/normalized-j3011_6.std.opb Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j3046_4.std.opb Download the above graph as a PDF file	PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j301_3.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	PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-libmail-spf-perl.cudf.trendy.opb Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-sonata.cudf.trendy.opb Download the above graph as a PDF file	PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-902.cudf.trendy.opb Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.smallist/normalized-rand59f7dd.cudf.paranoid.opb Download the above graph as a PDF file	PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/9orless/normalized-r-cran-lme4.cudf.paranoid.opb Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/datasets/ 10orplus/normalized-openoffice.org-l10n-da.cudf.paranoid.opb Download the above graph as a PDF file	PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/10orplus/normalized-monodevelop-nunit.cudf.paranoid.opb Download the above graph as a PDF file
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-550.cudf.paranoid.opb Download the above graph as a PDF file	PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-1468.cudf.paranoid.opb Download the above graph as a PDF file
PB24/normalized-PB10/OPT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_5_errors.opb Download the above graph as a PDF file	PB24/normalized-PB10/OPT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_15_errors.opb Download the above graph as a PDF file
PB24/normalized-PB10/OPT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_10_errors.opb Download the above graph as a PDF file	PB24/normalized-PB10/OPT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_0_errors.opb Download the above graph as a PDF file
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-tanglegram3.opb Download the above graph as a PDF file	PB24/normalized-PB11/OPT-LIN/ heinz/normalized-tanglegram1.opb Download the above graph as a PDF file
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-n3div36.opb Download the above graph as a PDF file	PB24/normalized-PB11/OPT-LIN/ heinz/normalized-ns1688347.opb Download the above graph as a PDF file
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_4_shg.opb Download the above graph as a PDF file	PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_13_shg.opb Download the above graph as a PDF file
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_9_shg.opb Download the above graph as a PDF file	PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_14_shg.opb Download the above graph as a PDF file
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_3_shg.opb Download the above graph as a PDF file	PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_11_shg.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_6.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_0.opb Download the above graph as a PDF file

1 2 3 4