PB'24 competition: search progress per solver
Quality of the solution as a function of time for solver Hybrid-CASHWMaxSATDisjComS+Exact
2024-07-11
(complete)
1
2
3
4
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_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_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_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_6_50_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_7_60_2.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_6_50_3.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_12.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-pdc.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-ex1010.pi.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/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_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_026_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/
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_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-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12__512.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_20_2__17_12__256.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-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-250-false-45-90-4-7000opt.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12023_6.std.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-j12051_4.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-PB11/
OPT-LIN/heinz/normalized-mspp16.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-go19.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-neos-1620770.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-opm2-z7-s2.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-neos-631710.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-sp97ar.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-circ10-3.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-ex1010-pi.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_4_shg.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_13_shg.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_9_shg.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_8_shg.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_14_shg.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_3_shg.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_11_shg.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_4.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_8.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_5.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_0.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_3.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_1.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_5.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_4.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_4.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_5.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_9_mh.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_8_mh.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_2_mh.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_1_mh.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_3_mh.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_5_mh.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_4_mh.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_0_mh.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_3_mh.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_5_mh_ic.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_1_mh_ic.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_1_mh_ic.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_2_mh_ic.opb
Download the above graph
as a PDF file
/
as an EPS file
1
2
3
4
1 2 3 4
1 2 3 4 1 2 3 4