PB'26 competition: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_04_200_176.opb	OPT	0.047357	0.195263	4842275
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_07_100_002.opb	OPT	1.76606	0.846952	4842274
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_05_200_070.opb	OPT	3.14148	1.48243	4842273
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_07_050_003.opb	OPT	8.99387	1.944	4842272
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_09_050_000.opb	OPT	23601.2	1511.78	4842279
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_10_200_000.opb	OPT	27285.5	1767.76	4842280

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-sep5.5.opb	? (NS)	0.008737	0.067432	4842041
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-10000opt.opb	? (NS)	0.009333	0.057295	4841915
PB25/normalized-PB25/OPT-LIN/ wallon/normalized-Cargo-22_c24.opb	? (NS)	0.009548	0.128445	4842232
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb	? (NS)	0.009788	0.289776	4841890
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat50_6_9_7_ic.opb	? (NS)	0.009813	0.111401	4842005
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_7.opb	? (NS)	0.00984	0.105596	4841982
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2010/normalized-bab1.opb	? (NS)	0.009855	0.107238	4842195
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.10-9.opb	? (NS)	0.009876	0.091006	4842033
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cc.opb	? (NS)	0.009881	0.132834	4841783
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_4_shg.opb	? (NS)	0.009889	0.274451	4841970
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_2_mh.opb	? (NS)	0.009958	0.085763	4841994
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb	? (NS)	0.009959	0.196843	4842076
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i8_pp_81.opb	? (NS)	0.009969	0.304833	4842200
PB26/normalized-PB26/OPT-LIN/devriendt/ tsplib/normalized-gr137.opb	? (NS)	0.009975	0.159784	4842248
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.11.opb	? (NS)	0.010001	0.0873431	4841833
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-ex1010-pi.opb	? (NS)	0.01009	0.131721	4842194
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb	? (NS)	0.010153	0.050539	4841813
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug5.5.opb	? (NS)	0.010164	0.121919	4842040
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_10_10.r.opb	? (NS)	0.010166	0.0680179	4841851
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat50_4_16_6_mh_ic.opb	? (NS)	0.010181	0.087711	4841997
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.B.recomb1-0.10-8.opb	? (NS)	0.010218	0.135618	4842034
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.20-11.opb	? (NS)	0.010223	0.20523	4842030
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-SameQueensKnights-b-45_c24.opb	? (NS)	0.010236	0.388772	4842238
PB26/normalized-PB26/OPT-LIN/devriendt/ tsplib/normalized-kroB150.opb	? (NS)	0.010237	0.0837351	4842251
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_051.opb	? (NS)	0.010276	0.155904	4842115
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb	? (NS)	0.010298	0.056454	4841810
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-neos-3572885-glina.mps.opb	? (NS)	0.010308	0.111191	4842270
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-nazareth.opb	? (NS)	0.010361	0.159327	4841745
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r32_c64_a5.opb	? (NS)	0.010367	0.192514	4842146
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_20null50mast_rapportOE2.0_TMAX180_K192_cod2.opb	? (NS)	0.010367	0.128098	4842022
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb	? (NS)	0.010414	0.047955	4841815
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-sonata.cudf.trendy.opb	? (NS)	0.010415	0.112942	4841942
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-6000opt.opb	? (NS)	0.010439	0.11265	4841913
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb	? (NS)	0.010447	0.0518941	4841775
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_901.opb	? (NS)	0.010459	0.161168	4842114
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb5-0.10-6.opb	? (NS)	0.01046	0.0767171	4842035
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-fixnet6.opb	? (NS)	0.01048	0.153395	4841748
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-e64.b.opb	? (NS)	0.010482	0.243207	4841779
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_39.opb	? (NS)	0.010496	0.26769	4842185
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_14.opb	? (NS)	0.010512	0.364704	4841852
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir01_trarea_ac.opb	? (NS)	0.01055	0.113644	4841870
PB26/normalized-PB26/OPT-LIN/devriendt/ tsplib/normalized-swiss42.opb	? (NS)	0.010551	0.123061	4842249
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/area_partials/normalized-fir07_area_partials.opb	? (NS)	0.010568	0.0903901	4841878
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__2048.opb	? (NS)	0.010581	0.360612	4841892
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm75p-opt.opb.negationfix.opb	? (NS)	0.010591	0.222541	4842072
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r20_c39_a6.opb	? (NS)	0.010604	0.140284	4842152
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_2_ic.opb	? (NS)	0.010609	0.0854221	4842016
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-ta48.opb	? (NS)	0.010619	0.136481	4842253
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_057.opb	? (NS)	0.010623	0.090818	4842177
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat100_4_32_2.opb	? (NS)	0.010627	0.110447	4841980
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r24_c48_a6.opb	? (NS)	0.010635	0.134615	4842153
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir10_trarea_ac.opb	? (NS)	0.010636	0.103934	4841866
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_041.opb	? (NS)	0.010636	0.266948	4842110
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx97.opb	? (NS)	0.010653	0.086017	4841901
PB24/normalized-PB10/OPT-LIN/oliveras/ j60opt/normalized-j6018_6.std.opb	? (NS)	0.010654	0.206931	4841924
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_13.opb	? (NS)	0.010655	0.251991	4842187
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb	? (NS)	0.010662	0.101238	4841881
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2017/normalized-scpn2.opb	? (NS)	0.010676	0.155196	4842193
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_8_shg.opb	? (NS)	0.010682	0.353221	4841973
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern45-45.lin.opb	? (NS)	0.010685	0.0982829	4842067
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_9_mh.opb	? (NS)	0.010694	0.572054	4842009
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_3000_5__126_2812__8.opb	? (NS)	0.010699	0.12428	4841896
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jun6.5.opb	? (NS)	0.010701	0.605459	4842048
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_4.opb	? (NS)	0.010712	0.0970311	4841841
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb	? (NS)	0.010736	0.0464541	4841814
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-ta02.opb	? (NS)	0.010736	0.160208	4842254
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f5-AC1Loss.seq-A-2-1-EDCBAir.opb	? (NS)	0.010738	0.664821	4842088
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm50p-opt.opb.negationfix.opb	? (NS)	0.010742	0.139872	4842075
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_101.opb	? (NS)	0.010746	0.181318	4842118
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-opm2-z10-s2.opb	? (NS)	0.010762	0.070806	4841961
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.14.opb	? (NS)	0.010763	0.0969199	4841835
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx92.opb	? (NS)	0.010765	0.094988	4841906
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_3_mh_ic.opb	? (NS)	0.010769	0.232295	4842000
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb	? (NS)	0.010782	0.300688	4842229
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g7x7.opb	? (NS)	0.010784	0.111016	4841789
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb	? (NS)	0.010787	0.169127	4841825
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX180_K192_cod2.opb	? (NS)	0.010791	0.0763691	4842029
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i8_pp_96_merged.opb	? (NS)	0.010795	0.127276	4842208
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3706.opb	? (NS)	0.0108	0.311517	4841731
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-rand49e642.cudf.trendy.opb	? (NS)	0.01081	0.219403	4841930
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_12x12_009.opb.metafix.opb	? (NS)	0.010813	0.551888	4842051
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.01-5.opb	? (NS)	0.010818	0.106591	4842038
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb	? (NS)	0.010823	0.167072	4841727
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r6_c40.opb	? (NS)	0.010828	0.201952	4842159
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_064.opb	? (NS)	0.010832	0.099151	4842179
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-roll3000.opb	? (NS)	0.010835	0.15179	4841741
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-sp98ic.opb	? (NS)	0.010841	0.333577	4841968
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir02_trarea_ac.opb	? (NS)	0.010841	0.131731	4841872
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-9000opt.opb	? (NS)	0.010843	0.134	4841910
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_binary/ normalized-BA_RDC4.dot_fibo_0null50mast_rapportOE1.0_TMAX180_K67_cod2_pbEq1_newVersion_binary.opb	? (NS)	0.010844	0.189936	4841698
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-libmail-spf-perl.cudf.trendy.opb	? (NS)	0.01086	0.102634	4841941
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-rand601ba8.cudf.trendy.opb	? (NS)	0.010861	0.227765	4841931
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j301_3.std.opb	? (NS)	0.010861	0.242095	4841928
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_260_002.opb	? (NS)	0.010861	0.132034	4842213
PB26/normalized-PB26/OPT-LIN/ devriendt/tsplib/normalized-gr17.opb	? (NS)	0.010862	0.369084	4842243
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb	? (NS)	0.010863	0.230738	4842078
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-ta41.opb	? (NS)	0.010864	0.207948	4842260
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_4_ic.opb	? (NS)	0.010873	0.634643	4842011
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f32-AC_DoubleLoss.seq-A-3-combined-abcdeir.opb	? (NS)	0.010874	0.215035	4842083
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ comppebvc/normalized-comppebvc_opt_195.opb	? (NS)	0.010888	0.149257	4842122
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-RubiksCube-10-4-20-0_c24.opb	? (NS)	0.010889	0.169219	4842233
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-1078.cudf.paranoid.opb	? (NS)	0.010889	0.094251	4841957
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_10.opb	? (NS)	0.010889	0.0978529	4841844
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.smallist/normalized-randab5933.cudf.paranoid.opb	? (NS)	0.010893	0.062022	4841950
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir06_trarea_ac.opb	? (NS)	0.010894	0.101509	4841867
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-n3div36.opb	? (NS)	0.010897	0.350597	4841964
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ multiple_strongly_correlated/normalized-knapPI_14_500_1000_4_-31297.opb	? (NS)	0.010898	0.257481	4842108
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_block/ normalized-maxcut_opt_complete_6-partite_block_nvert_78.opb	? (NS)	0.0109	0.568374	4842168
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-ta31.opb	? (NS)	0.010902	0.119256	4842252
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_9.opb	? (NS)	0.010905	0.140013	4841986
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb	? (NS)	0.010908	0.29698	4841889
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=11-t=4.opb	? (NS)	0.010924	0.62627	4842091
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-sp98ic.opb	? (NS)	0.010928	0.167627	4841736
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i6_pp_88_merged.opb	? (NS)	0.01093	0.187425	4842209
PB26/normalized-PB26/OPT-LIN/ devriendt/tsplib/normalized-u159.opb	? (NS)	0.01093	0.376261	4842242
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_20null50mast_rapportOE2.0_TMAX60_K192_cod1.opb	? (NS)	0.010937	0.0716399	4842021
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_030.opb	? (NS)	0.010953	0.0856199	4842180
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_26.opb	? (NS)	0.01096	0.303855	4842131
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-oct4.5.opb	? (NS)	0.010963	0.586138	4842049
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/ normalized-maxcut_opt_complete_6-partite_inlv_nvert_54.opb	? (NS)	0.010972	0.658475	4842169
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f37-AC_TotalLoss.seq-B-2-1-irabcde.opb	? (NS)	0.010974	0.188318	4842081
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-5.opb	? (NS)	0.010974	0.202026	4841705
PB24/normalized-PB15eval/OPT-LIN/ minlplib2-pb-0.1.0/opb/normalized-pb351535.lin.opb	? (NS)	0.010976	0.31935	4842069
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_46.opb	? (NS)	0.010982	0.335865	4842129
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_3_mh.opb	? (NS)	0.010982	0.142363	4841990
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx57.opb	? (NS)	0.010984	0.136889	4841907
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament18.lin.opb	? (NS)	0.01099	0.0833201	4842062
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-5_10.opb	? (NS)	0.010995	0.0902659	4841859
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=21-t=2.opb	? (NS)	0.010997	0.064897	4842096
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_05.opb	? (NS)	0.011	0.0905731	4842136
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_017_area_delay.opb	? (NS)	0.011002	0.0764101	4841863
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-test4.pi.opb	? (NS)	0.011003	0.221231	4841780
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.F.recomb10-0.10-10.opb	? (NS)	0.011004	0.08018	4842031
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-11_22.opb	? (NS)	0.011018	0.60325	4841855
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-9000opt.opb	? (NS)	0.011023	0.122329	4841916
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_430_008.opb	? (NS)	0.011027	0.119545	4842216
PB24/normalized-PB10/OPT-LIN/oliveras/ j90opt/normalized-j9026_10.std.opb	? (NS)	0.011027	0.207175	4841929
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_23.opb	? (NS)	0.011027	0.226056	4842127
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb	? (NS)	0.011036	0.167091	4841827
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_7_mh.opb	? (NS)	0.011038	0.702198	4842010
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__16.opb	? (NS)	0.011039	0.281277	4841891
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_008_area_delay.opb	? (NS)	0.011043	0.0868949	4841862
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r8_c90.opb	? (NS)	0.011043	0.25958	4842157
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_0_ic.opb	? (NS)	0.011046	0.512741	4842008
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir07_trarea_ac.opb	? (NS)	0.011046	0.14589	4841868
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_10.opb	? (NS)	0.011062	0.322656	4842128
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx75.opb	? (NS)	0.011077	0.096021	4841908
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_005_area_delay.opb	? (NS)	0.01108	0.0793871	4841861
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament08.lin.opb	? (NS)	0.011085	0.092196	4842063
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_38.opb	? (NS)	0.011088	0.343428	4842130
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb	? (NS)	0.01109	0.0932029	4841762
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-hal-cups-utils.cudf.trendy.opb	? (NS)	0.011095	0.117449	4841940
PB26/normalized-PB26/OPT-LIN/ devriendt/tsplib/normalized-hk48.opb	? (NS)	0.0111	0.130923	4842250
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_delay/normalized-fir10_area_delay.opb	? (NS)	0.011111	0.0973719	4841880
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_4_mh_ic.opb	? (NS)	0.011113	0.122208	4841998
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f19-ACTotalLoss.seq-B-3-2-irEDCBA.opb	? (NS)	0.011114	0.34688	4842084
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_170_002.opb	? (NS)	0.011116	0.13503	4842218
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb	? (NS)	0.011116	0.184567	4841823
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_8_mh.opb	? (NS)	0.011121	0.497801	4842007
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/ normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_65.opb	? (NS)	0.011129	0.0925709	4842137
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb	? (NS)	0.011135	0.242072	4841718
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_080.opb	? (NS)	0.011136	0.223971	4842182
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_90.opb	? (NS)	0.011138	0.482619	4842171
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_7_mh.opb	? (NS)	0.011142	0.136712	4841992
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_12x12_008.opb.metafix.opb	? (NS)	0.011145	0.585186	4842050
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm95p-opt.opb.negationfix.opb	? (NS)	0.011153	0.269567	4842070
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-seymour.opb	? (NS)	0.011159	0.272853	4841969
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern55-28.lin.opb	? (NS)	0.011159	0.205905	4842064
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat50_6_9_8_ic.opb	? (NS)	0.011164	0.111918	4842006
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_57.opb	? (NS)	0.011171	0.570997	4842170
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_3.opb	? (NS)	0.011171	0.097019	4841979
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=10-t=2.opb	? (NS)	0.011172	0.069103	4842094
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__32.opb	? (NS)	0.011183	0.0797969	4841899
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r25_c50_a5.opb	? (NS)	0.011187	0.250837	4842149
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jul4.5.opb	? (NS)	0.011188	0.27623	4842047
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat50_6_9_2_ic.opb	? (NS)	0.011189	0.110157	4842003
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_18.opb.PB06.opb	? (NS)	0.011192	0.0502391	4841808
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_9_mh.opb	? (NS)	0.011193	0.109774	4841987
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12035_8.std.opb	? (NS)	0.011194	0.154654	4841922
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f15-AC_ESSLoss.seq-A-2-2-irabcde.opb	? (NS)	0.011196	0.608948	4842089
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=10-t=10.opb	? (NS)	0.011199	0.580635	4842090
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-bbara.r.opb	? (NS)	0.011203	0.0978491	4841850
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ comppebvc/normalized-comppebvc_opt_120.opb	? (NS)	0.011204	0.249154	4842120
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_19.opb	? (NS)	0.011205	0.0978841	4842142
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i1_pp_81.opb	? (NS)	0.011209	0.335456	4842201
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/ normalized-dobutsu-shogi-master.opb	? (NS)	0.011212	0.327087	4842231
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_inf.opb	? (NS)	0.011215	0.11254	4842220
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb	? (NS)	0.011225	0.0655659	4841773
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_10null0mast_rapportOE1.0_TMAX300_K192_cod1.opb	? (NS)	0.011229	0.117074	4842020
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b4.opb	? (NS)	0.011238	0.0667679	4841765
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x3.opb	? (NS)	0.011245	0.123097	4841790
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_13_shg.opb	? (NS)	0.011254	0.555614	4841971
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_2.opb	? (NS)	0.011256	0.121295	4841983
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i4_pp_95_merged.opb	? (NS)	0.011256	0.870949	4842205
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat25_6_3_3_ic.opb	? (NS)	0.011258	0.172804	4842004
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_064.opb	? (NS)	0.011265	0.245098	4842184
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ4_3.opb	? (NS)	0.011266	0.0981009	4841756
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-mono-gac.cudf.trendy.opb	? (NS)	0.011268	0.100622	4841938
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ subset_sum/normalized-knapPI_6_2000_1000_4_-39215.opb	? (NS)	0.011269	0.0985669	4842105
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_20null10mast_rapportOE2.0_TMAX120_K67_cod2.opb	? (NS)	0.011271	0.175395	4842018
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_9.opb	? (NS)	0.01128	0.100073	4841884
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_14.opb	? (NS)	0.01128	0.087382	4841848
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE1.0_TMAX15_K67_cod1.opb	? (NS)	0.011284	0.173279	4842017
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_4.opb	? (NS)	0.011289	0.134883	4841886
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_16.opb	? (NS)	0.011291	0.543587	4841854
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/9orless/normalized-r-cran-lme4.cudf.paranoid.opb	? (NS)	0.011291	0.119669	4841952
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_43.opb.PB06.opb	? (NS)	0.011299	0.0629911	4841807
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_5_mh.opb	? (NS)	0.011309	0.360526	4842012
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f18-AC1Loss.seq-A-2-2-irabcde.opb	? (NS)	0.01131	0.292791	4842087
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-550.cudf.paranoid.opb	? (NS)	0.011312	0.110379	4841956
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-GolombRuler-a3v18-11_c18.opb	? (NS)	0.011315	0.242059	4842235
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r8_c10.opb	? (NS)	0.011317	0.236938	4842156
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_05.opb	? (NS)	0.011318	0.098858	4842141
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_450_007.opb	? (NS)	0.011319	0.111148	4842219
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_04.opb	? (NS)	0.011322	0.110288	4842140
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_710_002.opb	? (NS)	0.011326	0.164611	4842212
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.5:100.opb	? (NS)	0.011328	0.274506	4841713
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-ns1688347.opb	? (NS)	0.011328	0.317883	4841965
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb	? (NS)	0.011332	0.245504	4841888
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_11.opb	? (NS)	0.011336	0.177691	4842144
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-blend2.opb	? (NS)	0.011339	0.15116	4841747
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-neos-807456.opb	? (NS)	0.011344	0.105349	4842197
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/ normalized-maxcut_opt_complete_5-partite_block_nvert_17.opb	? (NS)	0.011347	0.70551	4842166
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb	? (NS)	0.01135	0.266825	4841820
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jul6.5.opb	? (NS)	0.011351	0.123057	4842043
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_9_shg.opb	? (NS)	0.011365	0.439406	4841972
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_14x14_008.opb.metafix.opb	? (NS)	0.011366	0.09305	4842056
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-neos-3024952-loue.mps.opb	? (NS)	0.011375	0.236608	4842263
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx60.opb	? (NS)	0.011378	0.155268	4841904
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-eilA101-2.opb	? (NS)	0.011378	0.326036	4842198
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_3000_5__126_2812__64.opb	? (NS)	0.011381	0.305591	4841895
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-ta32.opb	? (NS)	0.011391	0.151971	4842255
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh1.opb	? (NS)	0.011391	0.106459	4841760
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_50_001.opb	? (NS)	0.011393	0.206958	4842210
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb	? (NS)	0.011397	0.154257	4841733
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/ normalized-knapPI_1_10000_10000_4_-11456508.opb	? (NS)	0.011398	0.101132	4842107
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1243.cudf.trendy.opb	? (NS)	0.011402	0.117508	4841944
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_11_shg.opb	? (NS)	0.011403	0.0953541	4841976
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542.opb	? (NS)	0.011403	0.0743911	4841797
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos13.opb	? (NS)	0.011405	0.0749809	4841729
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_20.opb	? (NS)	0.011413	0.077703	4842143
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir05_trarea_ac.opb	? (NS)	0.011415	0.135309	4841873
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh220.opb	? (NS)	0.011419	0.074261	4841767
PB24/normalized-PB11/OPT-LIN/heinz/ normalized-opm2-z12-s14.opb	? (NS)	0.01142	0.298111	4841967
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_007.opb.metafix.opb	? (NS)	0.011427	0.090671	4842055
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-gnash-common-opengl.cudf.trendy.opb	? (NS)	0.011428	0.168939	4841936
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-10_20.opb	? (NS)	0.011429	0.0617519	4841860
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/ normalized-dobutsu-shogi-master-noopt.opb	? (NS)	0.011429	0.274625	4842230
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jun5.5.opb	? (NS)	0.011431	0.1595	4842044
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb	? (NS)	0.011431	0.0783299	4841770
PB26/normalized-PB26/OPT-LIN/devriendt/ tsplib/normalized-ts225.opb	? (NS)	0.011432	0.757936	4842247
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_007_area_delay.opb	? (NS)	0.011436	0.165749	4841864
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_14_shg.opb	? (NS)	0.011437	0.394358	4841974
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb	? (NS)	0.011443	0.257794	4841724
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_8x8_000.opb.metafix.opb	? (NS)	0.011443	0.0885821	4842059
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb10-0.20-15.opb	? (NS)	0.011444	0.276684	4842037
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_170.opb	? (NS)	0.011445	0.284928	4842162
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.newlist/normalized-rand0a62b6.cudf.trendy.opb	? (NS)	0.011448	0.58033	4841932
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_2_mh.opb	? (NS)	0.011452	0.147015	4841989
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-edgecross14-058.lin.opb	? (NS)	0.011456	0.194908	4842065
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_3_ic.opb	? (NS)	0.011458	0.328037	4842015
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_17.opb	? (NS)	0.011461	0.100926	4841847
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_7.opb	? (NS)	0.011462	0.121009	4841985
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-hmittelman.lin.opb	? (NS)	0.011462	0.180481	4842066
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12059_8.std.opb	? (NS)	0.011466	0.175432	4841920
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-8000opt.opb	? (NS)	0.011466	0.124657	4841917
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=67-Q=223.opb	? (NS)	0.011468	0.0694271	4841800
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_8.opb.PB06.opb	? (NS)	0.011468	0.076594	4841803
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g2x2.opb	? (NS)	0.01147	0.105254	4841788
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_10000_3_0.95_7.opb	? (NS)	0.011479	0.339505	4842203
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb	? (NS)	0.011483	0.257127	4841821
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_7.opb	? (NS)	0.011485	0.493542	4841853
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_opers/normalized-fir02_area_opers.opb	? (NS)	0.011486	0.0909191	4841877
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_inf.opb	? (NS)	0.011487	0.276684	4842226
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-neos-3530903-gauja.mps.opb	? (NS)	0.011492	0.377572	4842266
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-neos-506428.opb	? (NS)	0.011496	0.091091	4842196
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_033.opb	? (NS)	0.011496	0.1093	4842178
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jul5.5.opb	? (NS)	0.011501	0.130019	4842042
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j3011_6.std.opb	? (NS)	0.011516	0.333095	4841926
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_1_ic.opb	? (NS)	0.011516	0.44701	4842013
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_16x16_006.opb.metafix.opb	? (NS)	0.011517	0.0801311	4842058
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_opers/normalized-fir09_area_opers.opb	? (NS)	0.011518	0.0918691	4841876
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_0.opb	? (NS)	0.01152	0.0927	4841978
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_7.opb	? (NS)	0.011523	0.100541	4841883
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-orb03.opb	? (NS)	0.011526	0.153552	4842256
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_2.opb	? (NS)	0.011526	0.115386	4842222
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_3_shg.opb	? (NS)	0.011527	0.421702	4841975
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-1238.cudf.paranoid.opb	? (NS)	0.011532	0.09866	4841959
PB24/normalized-PB07/OPT-LIN/ submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb	? (NS)	0.011533	0.099984	4841882
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r6_c60.opb	? (NS)	0.011533	0.796962	4842164
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_390_005.opb	? (NS)	0.011542	0.198438	4842211
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb	? (NS)	0.011545	0.0720211	4841809
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb	? (NS)	0.01155	0.220085	4841818
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_38.opb	? (NS)	0.011551	0.283927	4842186
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j3046_4.std.opb	? (NS)	0.011553	0.271054	4841927
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r34_c67_a6.opb	? (NS)	0.011557	0.279196	4842150
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_0.opb	? (NS)	0.011563	0.103924	4842223
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_690_000.opb	? (NS)	0.011563	0.113576	4842217
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_95.opb	? (NS)	0.011564	0.101539	4842139
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb	? (NS)	0.011565	0.0716031	4841769
PB24/normalized-PB10/OPT-LIN/ oliveras/j120opt/normalized-j12046_10.std.opb	? (NS)	0.01157	0.167783	4841921
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-8_16.opb	? (NS)	0.011573	0.0937279	4841857
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mod011.opb	? (NS)	0.011574	0.220364	4841750
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb	? (NS)	0.011575	0.168236	4841776
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_6_ic.opb	? (NS)	0.011578	0.382374	4842014
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb	? (NS)	0.011578	0.295376	4842160
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.smallist/normalized-rand03b0b5.cudf.paranoid.opb	? (NS)	0.011581	0.088125	4841948
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_73_label5_adversarial_norm_0.opb	? (NS)	0.011583	0.240182	4842228
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_251.opb	? (NS)	0.011583	0.170243	4842119
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb	? (NS)	0.011584	0.0607771	4841811
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__8.opb	? (NS)	0.011587	0.227153	4841893
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=379-Q=521.opb	? (NS)	0.011591	0.108493	4841794
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-ricks.r.opb	? (NS)	0.011593	0.067511	4841849
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX15_K192_cod1.opb	? (NS)	0.011595	0.0795009	4842023
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir04_trarea_ac.opb	? (NS)	0.0116	0.0810601	4841874
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-berlin_5_8_0.opb	? (NS)	0.0116	0.160678	4841734
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-neos-3214367-sovi.mps.opb	? (NS)	0.011601	0.39575	4842264
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_7_mh.opb	? (NS)	0.011603	0.120159	4841995
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12030_8.std.opb	? (NS)	0.011608	0.144258	4841923
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ similar_weights/normalized-knapPI_9_100_1000_2_-997.opb	? (NS)	0.011608	0.098079	4842102
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-rococoC11-010100.mps.opb	? (NS)	0.01161	0.304572	4842267
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.01-000.opb	? (NS)	0.011613	0.131782	4842215
PB26/normalized-PB26/OPT-LIN/ devriendt/tsplib/normalized-pr76.opb	? (NS)	0.011622	0.878622	4842246
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_55.opb	? (NS)	0.011623	0.454333	4842188
PB26/normalized-PB26/OPT-LIN/devriendt/ tsplib/normalized-kroB200.opb	? (NS)	0.011628	0.910564	4842244
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-5000opt.opb	? (NS)	0.011628	0.120866	4841918
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_6_mh_ic.opb	? (NS)	0.011628	0.227302	4842002
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r34_c68_a4.opb	? (NS)	0.011636	0.202445	4842147
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_1.opb	? (NS)	0.011637	0.141141	4841885
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-520.cudf.trendy.opb	? (NS)	0.011641	0.117924	4841943
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f3-DataDisplay_1_order6.seq-B-2-1-irEDCBA.opb	? (NS)	0.011642	0.195329	4842080
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.10-8.opb	? (NS)	0.011649	0.095723	4842032
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-neos-3381206-awhea.mps.opb	? (NS)	0.011652	0.363462	4842265
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=197.opb	? (NS)	0.011652	0.074803	4841798
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-tanglegram1.opb	? (NS)	0.011654	0.0700461	4841963
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb	? (NS)	0.011658	0.124371	4841831
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat15_5_3_9_mh.opb	? (NS)	0.01166	0.137199	4841991
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/datasets/ 10orplus/normalized-openoffice.org-l10n-da.cudf.paranoid.opb	? (NS)	0.011662	0.10309	4841953
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_430_001.opb	? (NS)	0.011666	0.138393	4842214
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_002.opb.metafix.opb	? (NS)	0.011668	0.0955981	4842057
PB24/normalized-PB11/OPT-LIN/heinz/ normalized-neos-1616732.opb	? (NS)	0.011671	0.308392	4841966
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height18_pigeons17_holes16.opb	? (NS)	0.011672	0.0889309	4842133
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb	? (NS)	0.011679	0.189053	4841830
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_34.opb	? (NS)	0.011684	0.441294	4842124
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ10_3.opb	? (NS)	0.011692	0.143245	4841754
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-Charlotte-mini-06-2_c24.opb	? (NS)	0.011692	0.148483	4842234
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-randb3c96d.cudf.trendy.opb	? (NS)	0.011693	0.621003	4841935
PB24/normalized-PB15eval/OPT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb	? (NS)	0.011693	0.100237	4842060
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb	? (NS)	0.011693	0.101109	4841764
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_14x14_006.opb.metafix.opb	? (NS)	0.011696	0.120902	4842053
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_008.opb.metafix.opb	? (NS)	0.011697	0.0906911	4842054
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_150.opb	? (NS)	0.0117	0.230505	4842183
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX60_K192_cod1.opb	? (NS)	0.011705	0.0750211	4842028
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data4_3.opb	? (NS)	0.011706	0.152511	4841751
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb	? (NS)	0.011711	0.289447	4842071
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-t1717.opb	? (NS)	0.011716	0.077513	4841962
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_16.opb	? (NS)	0.011726	0.105504	4841843
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_121.opb	? (NS)	0.011731	0.108649	4842176
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib3/normalized-nw04.opb	? (NS)	0.011732	0.262036	4842190
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=11-t=8.opb	? (NS)	0.011733	0.0829161	4842095
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ8_3.opb	? (NS)	0.011733	0.149842	4841752
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-neos-4165869-wannon.mps.opb	? (NS)	0.011734	0.301913	4842268
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug6.5.opb	? (NS)	0.011735	0.165921	4842045
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i5_pp_97_merged.opb	? (NS)	0.01175	0.894282	4842207
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-1000opt.opb	? (NS)	0.011751	0.125899	4841911
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir03_trarea_ac.opb	? (NS)	0.011755	0.087769	4841871
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-ex5.pi.opb	? (NS)	0.011758	0.225354	4841781
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_50.opb	? (NS)	0.011758	0.417141	4842189
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ6_3.opb	? (NS)	0.011767	0.153581	4841755
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-tanglegram3.opb	? (NS)	0.011772	0.07451	4841960
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug4.5.opb	? (NS)	0.011778	0.180449	4842046
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_6.opb	? (NS)	0.011781	0.125392	4841977
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_6.opb	? (NS)	0.011785	0.119525	4841981
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh209.opb	? (NS)	0.011786	0.074145	4841768
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_10null0mast_rapportOE1.0_TMAX300_K67_cod3.opb	? (NS)	0.011791	0.171129	4842019
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f26-ACDoubleLoss.seq-B-2-1-abcdeir.opb	? (NS)	0.011793	0.244267	4842082
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_10null50mast_rapportOE1.0_TMAX60_K192_cod1.opb	? (NS)	0.011798	0.0997671	4842026
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern35-09.lin.opb	? (NS)	0.0118	0.0828419	4842061
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=8-t=2.opb	? (NS)	0.011802	0.0833059	4842092
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.smallist/normalized-rand59f7dd.cudf.paranoid.opb	? (NS)	0.011808	0.0774661	4841949
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.biglist/normalized-rand5c0b12.cudf.paranoid.opb	? (NS)	0.011809	0.0671669	4841951
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb	? (NS)	0.011811	0.232551	4841778
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb	? (NS)	0.011812	0.225265	4841777
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/ normalized-maxcut_opt_complete_5-partite_block_nvert_50.opb	? (NS)	0.011813	0.805425	4842165
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/ normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_100.opb	? (NS)	0.011815	0.132246	4842175
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_50null50mast_rapportOE2.0_TMAX120_K192_cod1.opb	? (NS)	0.011825	0.107396	4842024
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.D.recomb10-0.20-14.opb	? (NS)	0.011827	0.132032	4842039
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb	? (NS)	0.011829	0.160552	4841887
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-7000opt.opb	? (NS)	0.01183	0.11799	4841919
PB25/normalized-PB25/OPT-LIN/ wallon/normalized-StillLife-09-12_c24.opb	? (NS)	0.011833	0.417775	4842240
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb	? (NS)	0.011837	0.183294	4841829
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-ns1686196.opb	? (NS)	0.011839	0.162352	4842199
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb	? (NS)	0.011846	0.165709	4842073
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.5:100.opb	? (NS)	0.011846	0.266533	4841717
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb	? (NS)	0.011846	0.051994	4841812
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_081.opb	? (NS)	0.011847	0.236435	4842111
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=12-t=2.opb	? (NS)	0.011848	0.081479	4842093
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__2048.opb	? (NS)	0.011849	0.11859	4841900
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-1468.cudf.paranoid.opb	? (NS)	0.011856	0.0886849	4841958
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i6_pp_93_merged.opb	? (NS)	0.011856	0.859044	4842206
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.07.opb	? (NS)	0.011858	0.0899061	4841836
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-nug08.opb	? (NS)	0.01186	0.186881	4841728
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_8x8_004.opb.metafix.opb	? (NS)	0.01186	0.122339	4842052
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ weakly_correlated/normalized-knapPI_2_100_1000_5_-3352.opb	? (NS)	0.01186	0.0996489	4842104
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-FoolSolitaire-table-3-0_c24.opb	? (NS)	0.011861	0.258549	4842241
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb	? (NS)	0.011862	0.23865	4841819
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249-max.opb	? (NS)	0.011866	0.091688	4841801
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_50null0mast_rapportOE1.0_TMAX120_K192_cod2.opb	? (NS)	0.011875	0.107639	4842027
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-ta57.opb	? (NS)	0.01188	0.199839	4842258
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_50000_5_0.75_7.opb	? (NS)	0.011882	0.311676	4842202
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__64.opb	? (NS)	0.011883	0.275771	4841894
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-kbd.cudf.trendy.opb	? (NS)	0.011895	0.107964	4841937
PB24/normalized-PB06/OPT-LIN/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_4.opb	? (NS)	0.011896	0.11176	4841846
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/area_partials/normalized-fir05_area_partials.opb	? (NS)	0.011897	0.092292	4841879
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb	? (NS)	0.011899	0.159507	4841816
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb	? (NS)	0.011906	0.388407	4841726
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx30.opb	? (NS)	0.011911	0.0987949	4841909
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-siena1.opb	? (NS)	0.011912	0.107419	4841735
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb	? (NS)	0.011919	0.178061	4841826
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ comppebvc/normalized-comppebvc_opt_200.opb	? (NS)	0.011922	0.142615	4842121
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh217.opb	? (NS)	0.011926	0.105203	4841761
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_851.opb	? (NS)	0.011932	0.198325	4842117
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_04.opb	? (NS)	0.011939	0.487941	4842125
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r17_c34_a6.opb	? (NS)	0.011944	0.136736	4842154
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb	? (NS)	0.011945	0.088756	4841806
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-7_14.opb	? (NS)	0.011952	0.0963231	4841858
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-2000opt.opb	? (NS)	0.011954	0.113804	4841914
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_1_mh.opb	? (NS)	0.01196	0.158942	4841988
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-StillLife-wastage-15-15_c24.opb	? (NS)	0.011962	0.412103	4842237
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_30.opb	? (NS)	0.011966	0.449365	4842126
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height22_pigeons21_holes20.opb	? (NS)	0.011969	0.0961279	4842134
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_25000_10_0.85_4.opb	? (NS)	0.011972	0.834233	4842204
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-RubiksCube-12-4-20-1_c24.opb	? (NS)	0.011975	0.351892	4842239
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir09_trarea_ac.opb	? (NS)	0.011984	0.0760421	4841875
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-5.opb	? (NS)	0.011984	0.10211	4841763
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__8.opb	? (NS)	0.011985	0.102161	4841898
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-122.cudf.trendy.opb	? (NS)	0.011986	0.089255	4841945
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_420.opb	? (NS)	0.01199	0.328282	4842163
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-519.cudf.paranoid.opb	? (NS)	0.011991	0.094141	4841955
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat25_4_7_6_mh_ic.opb	? (NS)	0.011991	0.102722	4841999
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx84.opb	? (NS)	0.012	0.131666	4841902
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat35_4_11_1_mh_ic.opb	? (NS)	0.012004	0.224699	4842001
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-swv20.opb	? (NS)	0.012009	0.202626	4842259
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/ 9orless/normalized-libmono-relaxng1.0-cil.cudf.trendy.opb	? (NS)	0.012012	0.118844	4841939
PB26/normalized-PB26/OPT-LIN/devriendt/ tsplib/normalized-ch150.opb	? (NS)	0.012027	0.897263	4842245
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/10orplus/normalized-monodevelop-nunit.cudf.paranoid.opb	? (NS)	0.012034	0.0960181	4841954
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r10_c90.opb	? (NS)	0.012037	0.199859	4842158
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650-max.opb	? (NS)	0.012038	0.0845881	4841796
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.00.opb	? (NS)	0.012039	0.105618	4841840
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1093.cudf.trendy.opb	? (NS)	0.012039	0.0940889	4841947
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb	? (NS)	0.012045	0.13616	4841824
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_001_area_delay.opb	? (NS)	0.012048	0.130973	4841865
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=13-t=7.opb	? (NS)	0.012051	0.0603941	4842097
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb	? (NS)	0.012052	0.0799769	4841771
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_block/ normalized-maxcut_opt_complete_6-partite_block_nvert_18.opb	? (NS)	0.012053	0.73379	4842167
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_22.opb	? (NS)	0.012053	0.113478	4842135
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_32_label3_adversarial_norm_0.opb	? (NS)	0.012067	0.37908	4842224
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_75.opb	? (NS)	0.012068	0.0997151	4842138
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb	? (NS)	0.012079	0.23574	4841817
PB24/normalized-PB15eval/OPT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay25.lin.opb	? (NS)	0.01208	0.153477	4842068
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-RubiksCube-13-4-20-0_c24.opb	? (NS)	0.012086	0.318023	4842236
PB24/normalized-PB10/OPT-LIN/oliveras/ j60opt/normalized-j605_4.std.opb	? (NS)	0.012098	0.334736	4841925
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_090.opb	? (NS)	0.012102	0.210773	4842181
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_4.opb	? (NS)	0.012109	0.132328	4841984
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r30_c60_a4.opb	? (NS)	0.012112	0.321337	4842148
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_27.opb	? (NS)	0.012115	0.102928	4842132
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-rand4bf850.cudf.trendy.opb	? (NS)	0.012116	0.586021	4841933
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_45.opb	? (NS)	0.01212	0.119041	4842173
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cmb.opb	? (NS)	0.012128	0.15352	4841784
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.02.opb	? (NS)	0.012131	0.162009	4841839
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r8_c50.opb	? (NS)	0.012146	0.126816	4842155
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_061.opb	? (NS)	0.012147	0.199854	4842113
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm75p-opt.opb.negationfix.opb	? (NS)	0.012152	0.181951	4842074
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb	? (NS)	0.012152	0.157176	4841730
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.12.opb	? (NS)	0.01217	0.100203	4841834
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-swv16.opb	? (NS)	0.012177	0.329205	4842261
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/miplib/normalized-enlight8.mps.opb	? (NS)	0.012185	0.312754	4842269
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_product/ normalized-BA_RDC4.dot_unif_20null0mast_rapportOE2.0_TMAX180_K67_cod2_pbEq1_newVersion_product.opb	? (NS)	0.012185	0.260049	4841700
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-C432.opb	? (NS)	0.012203	0.183263	4841785
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-supportcase22.opb	? (NS)	0.012208	0.299914	4842191
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g15x15.opb	? (NS)	0.012212	0.097014	4841792
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91__32.opb	? (NS)	0.012213	0.097205	4841897
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-sp97ic.opb	? (NS)	0.012224	0.163149	4841740
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb	? (NS)	0.012236	0.280293	4841822
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_1.opb	? (NS)	0.012249	0.35642	4842227
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-randa09fe9.cudf.trendy.opb	? (NS)	0.012249	0.658688	4841934
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-4.opb	? (NS)	0.01225	0.100461	4841759
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.08.opb	? (NS)	0.012254	0.1074	4841838
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb	? (NS)	0.012259	0.224203	4841720
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir08_trarea_ac.opb	? (NS)	0.01226	0.131197	4841869
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f44-DC_ESS.seq-B-2-combined-irabcde.opb	? (NS)	0.012268	0.399291	4842085
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_3_mh.opb	? (NS)	0.012269	0.15177	4841996
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb	? (NS)	0.012275	0.0718129	4841804
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_7_label9_adversarial_norm_2.opb	? (NS)	0.012279	0.140924	4842221
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-neos-780889.opb	? (NS)	0.01228	0.138868	4842192
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-902.cudf.trendy.opb	? (NS)	0.012283	0.0810791	4841946
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-6_12.opb	? (NS)	0.012291	0.091166	4841856
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data10_3.opb	? (NS)	0.012293	0.120586	4841758
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-yn3.opb	? (NS)	0.012295	0.163423	4842257
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb	? (NS)	0.012296	0.18073	4841742
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ strongly_correlated_span/normalized-knapPI_13_20_1000_4_-907.opb	? (NS)	0.012298	0.268835	4842109
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_42.opb	? (NS)	0.012299	0.168753	4842123
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.5:100.opb	? (NS)	0.012308	0.264334	4841712
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-khb05250.opb	? (NS)	0.012309	0.155993	4841746
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f8-AC2Loss.seq-A-3-2-irEDCBA.opb	? (NS)	0.012313	0.383722	4842086
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null20mast_rapportOE1.0_TMAX180_K192_cod1.opb	? (NS)	0.012313	0.109525	4842025
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_801.opb	? (NS)	0.012315	0.195568	4842112
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r33_c66_a6.opb	? (NS)	0.01232	0.170269	4842145
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=317.opb	? (NS)	0.012322	0.075084	4841802
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb	? (NS)	0.012327	0.063362	4841774
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_12.opb	? (NS)	0.012332	0.111356	4841845
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_85.opb	? (NS)	0.012335	0.126967	4842172
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb	? (NS)	0.012359	0.142179	4841832
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.95:100.opb	? (NS)	0.012383	0.358252	4841711
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ uncorrelated_span/normalized-knapPI_11_100_1000_2_-3990.opb	? (NS)	0.012395	0.057839	4842101
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-supportcase33.mps.opb	? (NS)	0.012404	0.331798	4842262
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880-max.opb	? (NS)	0.012413	0.113074	4841795
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=251-Q=379.opb	? (NS)	0.012413	0.0977851	4841793
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb	? (NS)	0.012416	0.0830861	4841805
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-dg012142.opb	? (NS)	0.012419	0.163388	4841738
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=14-t=2.opb	? (NS)	0.012427	0.103016	4842099
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g100x100.opb	? (NS)	0.012434	0.147346	4841786
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ subset_sum/normalized-knapPI_6_500_1000_2_-5036.opb	? (NS)	0.012439	0.101609	4842106
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=10-t=7.opb	? (NS)	0.012445	0.103813	4842098
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.95:100.opb	? (NS)	0.012457	0.300676	4841708
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.10.opb	? (NS)	0.012458	0.802642	4841837
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r26_c51_a5.opb	? (NS)	0.012482	0.262711	4842151
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_65.opb	? (NS)	0.012496	0.129515	4842174
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_73_label5_adversarial_norm_inf.opb	? (NS)	0.012509	0.390306	4842225
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb5-0.10-10.opb	? (NS)	0.012516	0.161667	4842036
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x9.opb	? (NS)	0.012525	0.17119	4841787
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb	? (NS)	0.012547	0.0810111	4841766
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb	? (NS)	0.012549	0.155861	4841737
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb	? (NS)	0.012556	0.448975	4841725
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb	? (NS)	0.012557	0.181887	4841744
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat15_5_3_6_mh.opb	? (NS)	0.012616	0.194322	4841993
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=101-Q=379.opb	? (NS)	0.012627	0.082026	4841799
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_951.opb	? (NS)	0.012632	0.197548	4842116
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-jac3.opb	? (NS)	0.012674	0.230037	4841782
PB24/normalized-PB06/OPT-LIN/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb	? (NS)	0.012676	0.0928781	4841842
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ uncorrelated_span/normalized-knapPI_11_50_1000_1_-1428.opb	? (NS)	0.012707	0.0694799	4842100
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb	? (NS)	0.01271	0.218262	4842079
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data8_3.opb	? (NS)	0.012726	0.162709	4841753
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g4x4.opb	? (NS)	0.012752	0.123687	4841791
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-markshare1.opb	? (NS)	0.012765	0.146858	4841749
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ almost_strongly_correlated/normalized-knapPI_5_50_10000_4_-18105.opb	? (NS)	0.012772	0.070119	4842103
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.95:100.opb	? (NS)	0.012803	0.29597	4841710
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/miplib/normalized-ej.mps.opb	? (NS)	0.012803	0.321402	4842271
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb	? (NS)	0.012804	0.226836	4842077
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb	? (NS)	0.012815	0.118802	4841757
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_binary/ normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE1.0_TMAX60_K67_cod2_pbEq1_newVersion_binary.opb	? (NS)	0.012822	0.217905	4841697
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb	? (NS)	0.012824	0.227475	4841743
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx63.opb	? (NS)	0.012839	0.150298	4841905
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx49.opb	? (NS)	0.012939	0.156368	4841903
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-7000opt.opb	? (NS)	0.013058	0.131558	4841912
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-4.opb	? (NS)	0.013125	0.273724	4841703
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb	? (NS)	0.013149	0.0746391	4841772
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-UMTS.opb	? (NS)	0.013247	0.230488	4841739
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb	? (NS)	0.013255	0.150666	4841828
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_490.opb	? (NS)	0.013541	0.307761	4842161
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_ladder/ normalized-BA_RDC4.dot_luby_20null10mast_rapportOE1.0_TMAX180_K67_cod2_pbEq1_newVersion_ladder.opb	? (NS)	0.013644	0.274328	4841696
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/ normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE2.0_TMAX60_K67_cod2_pbEq1_newVersion.opb	? (NS)	0.013874	0.421385	4841702
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb	? (NS)	0.014082	0.453054	4841719
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/ normalized-BA_RDC4.dot_unif_0null10mast_rapportOE2.0_TMAX180_K67_cod2_pbEq1_newVersion.opb	? (NS)	0.014425	0.428012	4841701
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb	? (NS)	0.014612	0.57618	4841723
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb	? (NS)	0.015126	0.548076	4841721
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran16x16.opb	? (NS)	0.01513	0.244523	4841732
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb	? (NS)	0.015131	0.587869	4841706
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-2.opb	? (NS)	0.01532	0.611038	4841707
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb	? (NS)	0.015763	0.422497	4841722
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.5:100.opb	? (NS)	0.015965	0.583355	4841714
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.95:98.opb	? (NS)	0.016369	0.62511	4841709
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:100.opb	? (NS)	0.016516	0.616363	4841716
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-3.opb	? (NS)	0.016877	0.588497	4841704
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.95:98.opb	? (NS)	0.017065	0.606198	4841715
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_binary/ normalized-BA_RDC4.dot_luby_50null0mast_rapportOE1.0_TMAX300_K67_cod2_pbEq1_newVersion_binary.opb	? (NS)	0.017693	0.629396	4841699

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_11_200_001.opb	? (TO)	57601.6	3622.61	4842277
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_13_050_002.opb	? (TO)	57601.9	3624	4842276
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_15_100_002.opb	? (TO)	57605.2	3678.77	4842278

PB'26 competition: benchmarks results per solver

Result page for solver DivingFalconSolver (16 cores) 2026-06-12 (complete)

Solver command line

Category "optimization problem, linear constraints, no OPT/UNSAT certificate" (OPT-LIN)

Solver found optimum (OPTIMUM FOUND) (6 runs) [Show/Hide]

Solver does not handle the size of the coefficients (576 runs) [Show/Hide]

Solver timed out (no solution given) (3 runs) [Show/Hide]