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-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_5_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_9_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_8_mh.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_9_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_5_mh.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_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_unif_20null10mast_rapportOE1.0_TMAX15_K67_cod3.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_0null50mast_rapportOE1.0_TMAX60_K67_cod3.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_50null20mast_rapportOE2.0_TMAX300_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_10null10mast_rapportOE1.0_TMAX120_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_50null0mast_rapportOE2.0_TMAX15_K67_cod3.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_50null0mast_rapportOE2.0_TMAX300_K192_cod1.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_10null0mast_rapportOE1.0_TMAX180_K192_cod2.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_0null10mast_rapportOE1.0_TMAX15_K192_cod1.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod2.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_20null10mast_rapportOE1.0_TMAX180_K192_cod1.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX60_K192_cod2.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_0null50mast_rapportOE2.0_TMAX180_K192_cod2.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_20null20mast_rapportOE2.0_TMAX60_K192_cod2.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod1.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-8.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.recomb10-0.20-13.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-12.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb5-0.10-9.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.F.recomb10-0.01-5.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-1.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-5.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-PB12/OPT-LIN/graca/
normalized-ped3.F.recomb10-0.20-11.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep6.5.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug5.5.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-oct6.5.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jul5.5.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-may6.5.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jun5.5.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug6.5.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-oct5.5.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_003.opb.metafix.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_6x6_003.opb.metafix.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_12x12_004.opb.metafix.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_6x6_001.opb.metafix.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_8x8_006.opb.metafix.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern35-09.lin.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay60.lin.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_3pm-0334-0334.lin.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament50.lin.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2pm-0066-0066.lin.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_clique-50.lin.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm25p-opt.opb.negationfix.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm75p-opt.opb.negationfix.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm25p-opt.opb.negationfix.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm75p-opt.opb.negationfix.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f58-fob_fxl_loss.seq-B-3-2-irEDCBA.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=24-t=2.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=5-t=3.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=8-t=6.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=20-t=2.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=11-t=5.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=14-t=9.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=11.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=19-t=2.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=6-t=4.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=9-t=5.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
profit_ceiling/normalized-knapPI_15_50_1000_5_-1047.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/almost_strongly_correlated/
normalized-knapPI_5_2000_10000_5_-952740.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
subset_sum/normalized-knapPI_6_2000_1000_4_-39215.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
subset_sum/normalized-knapPI_6_200_10000_5_-48992.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/subset_sum/
normalized-knapPI_6_5000_10000_1_-246112.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
uncorrelated/normalized-knapPI_1_50_1000_4_-4888.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/
normalized-knapPI_1_2000_1000_1_-110625.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
multiple_strongly_correlated/normalized-knapPI_14_50_1000_5_-3237.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_051.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_401.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_751.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_851.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_50.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdiv2/
normalized-injcomp_opt_4layers_maxall_lastlayerdiv2_size_16.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_31.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r11_c22_a6.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r24_c47_a5.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_080.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_460.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_340.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/
normalized-maxcut_opt_complete_5-partite_block_nvert_55.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_block/
normalized-maxcut_opt_complete_6-partite_block_nvert_72.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_66.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_27.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_072.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_076.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-iis-glass-cov.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-graph20-20-1rand.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-neos-1109824.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-ns903616.opb

Download the above graph as a PDF file / as an EPS file

1 2 3 4