PB'25 competition: search progress per solver
Quality of the solution as a function of time for solver CASHWMaxSATDisjCad-S
2025-06-01
(complete)
1
2
3
4
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_12.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/
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_partials/normalized-fir04_area_partials.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-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__16.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_1000_5__369_766__8.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-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-8000opt.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-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-6000opt.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-8000opt.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-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12024_1.std.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j1202_6.std.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12042_6.std.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/oliveras/
j60opt/normalized-j6045_4.std.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j3046_8.std.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j3046_9.std.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j9033_7.std.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-methanosarcina.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-protfold.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-macrophage.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-neos-1616732.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_2.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-minisat50_4_16_1.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_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_8.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_7.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-minisat85_4_27_9.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_6.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_0.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-minisat50_6_9_6_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_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_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_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/MH+IC/
normalized-minisat35_4_11_0_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_4_mh_ic.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_4_mh_ic.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat25_4_7_6_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_2_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_7_mh_ic.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_3_ic.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_5_ic.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_0_ic.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_4_ic.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_7_ic.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_ic.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_3_ic.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_2_ic.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_0null20mast_rapportOE1.0_TMAX180_K67_cod1.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_10null0mast_rapportOE2.0_TMAX180_K67_cod3.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.B.recomb1-0.20-11.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.E.recomb10-0.20-11.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.10-9.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-12.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.20-14.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.B.recomb1-0.01-3.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-3.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-4.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.01-5.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep5.5.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