PB'25 competition: search progress per solver

Quality of the solution as a function of time for solver Sat4j CP VeriPB 2025-06-06 (complete)


1 2 3 4

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_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-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-minisat15_5_3_3_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/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/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null20mast_rapportOE2.0_TMAX60_K67_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_20null0mast_rapportOE2.0_TMAX300_K192_cod1.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-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-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/
minlplib2-pb-0.1.0/opb/normalized-faclay70.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-sporttournament18.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-faclay75.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-sporttournament26.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-autocorr_bern60-15.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-autocorr_bern60-45.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-0055-0055.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-edgecross14-019.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-0088-0888.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-40.lin.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-vm25p-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-A-3-1-irEDCBA.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irabcde.opb

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

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f50-DC_side2.seq-B-3-1-EDCBAir.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f47-DC_Side1.seq-B-2-2-irabcde.opb

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

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

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

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f13-ACDoubleLoss.seq-B-2-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=13-t=8.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=18-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=10-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=11-t=8.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=10-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=13-t=7.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=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=7-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=14-t=2.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/
normalized-knapPI_3_5000_1000_4_-199683.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
strongly_correlated/normalized-knapPI_3_50_1000_2_-1678.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/
normalized-knapPI_3_200_10000_5_-93992.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_2000_1000_5_-50838.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/uncorrelated/
normalized-knapPI_1_500_10000_2_-399276.opb

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/weakly_correlated_span/
normalized-knapPI_12_1000_1000_3_-17136.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_10000_1000_2_-407357.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_071.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_021.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_101.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_031.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_091.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_111.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_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_501.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_451.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_351.opb

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

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height13_pigeons12_holes11.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_lastlayerdecr1/
normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_26.opb

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

Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/
normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_32.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_12.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_75.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_29.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_r17_c34_a4.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_down/
normalized-linearized_pebbling_opt_layeredfan_down_r7_c14_a4.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_down/
normalized-linearized_pebbling_opt_layeredfan_down_r21_c41_a4.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_down/
normalized-linearized_pebbling_opt_layeredfan_down_r10_c20_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_down/
normalized-linearized_pebbling_opt_layeredfan_down_r10_c19_a4.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_550.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_380.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_430.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_400.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_290.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_160.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_390.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_47.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_90.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_12.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_87.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_69.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_18.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_84.opb

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

1 2 3 4