PB'25 competition: search progress per solver

Quality of the solution as a function of time for solver OR-Tools CP-SAT 20 cores 9.14 (complete)


1 2 3 4 5 6

PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb

Download the above graph as a PDF file / as an EPS 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 / as an EPS 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 / as an EPS 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 / as an EPS 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 / as an EPS 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 / as an EPS 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 / as an EPS 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 / as an EPS 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 / as an EPS file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_3.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_3.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_4.opb

Download the above graph as a PDF file / as an EPS 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 / as an EPS file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.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_7.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_19.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_11.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_13.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-max1024.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-m100_50_40_40.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-m100_300_10_20.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-ex6inp.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_5.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_4.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_6.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_12.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_16.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-12,16.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/armies/normalized-army8.9ls.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army9.12ls.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k3_l6_n1500.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900561384.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900574974.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223689.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969933.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob4.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob7.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob6.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob8.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-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-7_14.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-5_10.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_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-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_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_4.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_5.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-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/DEC-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_5_15.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/DEC-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_1_15.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB07/DEC-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_5_80.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=6-P0=29-P1=59-P2=11-P3=29-P4=29-P5=11-P6=41-P7=53-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/roussel/
factor-mod-B/factor-mod-size=5-P0=2-P1=23-P2=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=8-P0=5-P1=173-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

1 2 3 4 5 6