PB'24 competition: search progress per solver
Quality of the solution as a function of time for solver Sat4j Cutting Planes 2024
2024-07-12
(complete)
1
2
3
4
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f37-AC_TotalLoss.seq-B-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-f6-ACTotalLoss.seq-A-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-f54-DCTotalLoss.seq-B-3-combined-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-f1-DataDisplay_0_order4.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-f35-AC_Side2.seq-B-2-combined-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-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=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=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/
profit_ceiling/normalized-knapPI_15_20_1000_2_-948.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_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_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/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/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-acc-tight5.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2/normalized-lp4l.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i8_pp_100.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i10_pp_100.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_25000_5_0.95_7.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i4_pp_92_merged.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_690_001.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_410_004.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_250_005.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.10-021.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_300_003.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_140_005.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_340_006.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_630_002.opb
Download the above graph
as a PDF file
/
as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_400_008.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