PB'26 competition: search progress per solver

Quality of the solution as a function of time for solver UWrMaxSat-SCIP 2.0.4 (complete)


1 2 3 4 5 6

PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_0_ic.opb

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_4_ic.opb

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_5_mh.opb

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_ic.opb

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_6_ic.opb

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_3_ic.opb

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_2_ic.opb

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE1.0_TMAX15_K67_cod1.opb

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_20null10mast_rapportOE2.0_TMAX120_K67_cod2.opb

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_10null0mast_rapportOE1.0_TMAX300_K67_cod3.opb

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

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

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

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_50null0mast_rapportOE1.0_TMAX120_K192_cod2.opb

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

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.20-11.opb

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.F.recomb10-0.10-10.opb

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.10-8.opb

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.10-9.opb

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.B.recomb1-0.10-8.opb

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

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

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-15.opb

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.01-5.opb

Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.D.recomb10-0.20-14.opb

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

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

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

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

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

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

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

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

Download the above graph as a PDF 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
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament18.lin.opb

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

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

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

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

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

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

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

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

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

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

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

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

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-NLC/
minlplib2-pb-0.1.0/opb/normalized-pb302035.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern30-04.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-NLC/
minlplib2-pb-0.1.0/opb/normalized-faclay25.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-NLC/
minlplib2-pb-0.1.0/opb/normalized-faclay33.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern25-03.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern35-18.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-crossdock_15x7.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2g-0055-0062.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-edgecross14-117.opb

Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-graphpart_3g-0234-0234.opb

Download the above graph as a PDF file
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f3-DataDisplay_1_order6.seq-B-2-1-irEDCBA.opb

Download the above graph as a PDF file
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f37-AC_TotalLoss.seq-B-2-1-irabcde.opb

Download the above graph as a PDF file
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f26-ACDoubleLoss.seq-B-2-1-abcdeir.opb

Download the above graph as a PDF file
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f32-AC_DoubleLoss.seq-A-3-combined-abcdeir.opb

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

Download the above graph as a PDF file
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f44-DC_ESS.seq-B-2-combined-irabcde.opb

Download the above graph as a PDF file
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f8-AC2Loss.seq-A-3-2-irEDCBA.opb

Download the above graph as a PDF file
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f5-AC1Loss.seq-A-2-1-EDCBAir.opb

Download the above graph as a PDF file
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f15-AC_ESSLoss.seq-A-2-2-irabcde.opb

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

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

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

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

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

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

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

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

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

Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
uncorrelated_span/normalized-knapPI_11_50_1000_1_-1428.opb

Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
uncorrelated_span/normalized-knapPI_11_100_1000_2_-3990.opb

Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
similar_weights/normalized-knapPI_9_100_1000_2_-997.opb

Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
almost_strongly_correlated/normalized-knapPI_5_50_10000_4_-18105.opb

Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
weakly_correlated/normalized-knapPI_2_100_1000_5_-3352.opb

Download the above graph as a PDF 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
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
subset_sum/normalized-knapPI_6_500_1000_2_-5036.opb

Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/
normalized-knapPI_1_10000_10000_4_-11456508.opb

Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
multiple_strongly_correlated/normalized-knapPI_14_500_1000_4_-31297.opb

Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
strongly_correlated_span/normalized-knapPI_13_20_1000_4_-907.opb

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

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

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

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

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

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

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

Download the above graph as a PDF 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
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_101.opb

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

Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
comppebvc/normalized-comppebvc_opt_120.opb

Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
comppebvc/normalized-comppebvc_opt_200.opb

Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
comppebvc/normalized-comppebvc_opt_195.opb

Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_23.opb

Download the above graph as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height18_pigeons17_holes16.opb

Download the above graph as a PDF file

1 2 3 4 5 6