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-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_binary/ normalized-BA_RDC4.dot_fibo_0null50mast_rapportOE1.0_TMAX180_K67_cod2_pbEq1_newVersion_binary.opb Download the above graph as a PDF file	PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/ normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE2.0_TMAX60_K67_cod2_pbEq1_newVersion.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-4.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-3.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-5.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-2.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.5:100.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-nug08.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran16x16.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-berlin_5_8_0.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-sp98ic.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-dg012142.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-sp97ic.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-roll3000.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-nazareth.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-blend2.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-fixnet6.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-markshare1.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data4_3.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ4_3.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh1.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh217.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b4.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh220.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh209.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-e64.b.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-test4.pi.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-ex5.pi.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-jac3.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cc.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cmb.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-C432.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x9.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g2x2.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g7x7.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x3.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g4x4.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g15x15.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=251-Q=379.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=197.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=67-Q=223.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.11.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.12.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.14.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.07.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.10.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.08.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.02.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.00.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_4.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb Download the above graph as a PDF file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_10.opb Download the above graph as a PDF file	PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_12.opb Download the above graph as a PDF file
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/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-bbara.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_7.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-7_14.opb Download the above graph as a PDF file	PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-5_10.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

1 2 3 4