PB'26 competition: search progress per solver
Quality of the solution as a function of time for solver Sat4j Resolution
2026-06-10
(complete)
1
2
3
4
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/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_22.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_20.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r33_c66_a6.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r34_c68_a4.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r25_c50_a5.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r26_c51_a5.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r20_c39_a6.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r24_c48_a6.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r8_c50.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r8_c10.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r8_c90.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r10_c90.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c40.opb
Download the above graph
as a PDF 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
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_170.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_420.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c60.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/
normalized-maxcut_opt_complete_5-partite_block_nvert_50.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/
normalized-maxcut_opt_complete_5-partite_block_nvert_17.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_block/
normalized-maxcut_opt_complete_6-partite_block_nvert_18.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_block/
normalized-maxcut_opt_complete_6-partite_block_nvert_78.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_54.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_57.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_90.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_85.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_45.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_65.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_033.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib3/normalized-nw04.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-neos-780889.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-neos-506428.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-eilA101-2.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i5_pp_97_merged.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i8_pp_96_merged.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_50_001.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_390_005.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_710_002.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_260_002.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.01-000.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_430_008.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_690_000.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_170_002.opb
Download the above graph
as a PDF file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_450_007.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/
normalized-dobutsu-shogi-master.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-RubiksCube-10-4-20-0_c24.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-Charlotte-mini-06-2_c24.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-GolombRuler-a3v18-11_c18.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-StillLife-wastage-15-15_c24.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-SameQueensKnights-b-45_c24.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-RubiksCube-12-4-20-1_c24.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-LIN/
wallon/normalized-StillLife-09-12_c24.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-FoolSolitaire-table-3-0_c24.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/
instances/normalized-QPLIB_6799.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/
instances/normalized-QPLIB_3803.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/
instances/normalized-QPLIB_2957.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/
instances/normalized-QPLIB_3614.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/
instances/normalized-QPLIB_10058.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/
instances/normalized-QPLIB_3565.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/
instances/normalized-QPLIB_3361.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/
instances/normalized-QPLIB_2029.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/
instances/normalized-QPLIB_3506.opb
Download the above graph
as a PDF file
PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/
instances/normalized-QPLIB_10060.opb
Download the above graph
as a PDF file
PB26/normalized-PB26/OPT-LIN/
devriendt/tsplib/normalized-gr17.opb
Download the above graph
as a PDF file
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-ta31.opb
Download the above graph
as a PDF file
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-ta48.opb
Download the above graph
as a PDF file
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-ta02.opb
Download the above graph
as a PDF file
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-ta32.opb
Download the above graph
as a PDF file
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-orb03.opb
Download the above graph
as a PDF file
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-yn3.opb
Download the above graph
as a PDF file
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-ta57.opb
Download the above graph
as a PDF file
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-swv20.opb
Download the above graph
as a PDF file
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-ta41.opb
Download the above graph
as a PDF file
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-swv16.opb
Download the above graph
as a PDF file
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-supportcase33.mps.opb
Download the above graph
as a PDF file
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-neos-3214367-sovi.mps.opb
Download the above graph
as a PDF file
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-rococoC11-010100.mps.opb
Download the above graph
as a PDF file
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-neos-4165869-wannon.mps.opb
Download the above graph
as a PDF file
1
2
3
4
1 2 3 4 1 2 3 4 1 2 3 4