PB'26 competition: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=379-Q=521.opb	UNSAT	0.018505	0.0403901	4795193
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat25_6_3_3_ic.opb	UNSAT	2.05767	2.07746	4795613
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-ns1686196.opb	UNSAT	6.08902	6.11707	4795823
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx30.opb	UNSAT	56.5883	56.8481	4795423
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx49.opb	UNSAT	205.47	206.057	4795411
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx97.opb	UNSAT	413.58	415.006	4795407
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jul4.5.opb	UNSAT	557.917	559.216	4795699
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx63.opb	UNSAT	667.437	669.46	4795415
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-oct4.5.opb	UNSAT	2217.91	2226.14	4795703

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_8x8_004.opb.metafix.opb	OPT	32	0.011026	0.023584	4795709
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_04.opb	OPT	-3	0.011386	0.0237749	4805988
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-1078.cudf.paranoid.opb	OPT	4	0.011529	0.470575	4795519
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_50_001.opb	OPT	-406	0.01162	0.023539	4795845
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_8x8_000.opb.metafix.opb	OPT	30	0.011893	0.061616	4795723
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_05.opb	OPT	-4	0.012059	0.0279749	4806023
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g2x2.opb	OPT	2	0.012564	0.036601	4795181
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x3.opb	OPT	7	0.012618	0.0354159	4795185
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-bbara.r.opb	OPT	7	0.012653	0.025636	4795305
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g4x4.opb	OPT	4	0.012729	0.0440801	4795187
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f18-AC1Loss.seq-A-2-2-irabcde.opb	OPT	7552	0.012805	0.0292569	4795779
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-hmittelman.lin.opb	OPT	13	0.012818	0.024366	4795737
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__8.opb	OPT	46877	0.013251	0.024873	4795391
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f8-AC2Loss.seq-A-3-2-irEDCBA.opb	OPT	66733263	0.013298	0.0257591	4795777
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ strongly_correlated_span/normalized-knapPI_13_20_1000_4_-907.opb	OPT	-1404	0.013444	0.058679	4804903
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-5_10.opb	OPT	3951	0.013544	0.0274639	4795323
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f15-AC_ESSLoss.seq-A-2-2-irabcde.opb	OPT	33523448	0.01398	0.029378	4795783
PB24/normalized-PB06/OPT-LIN/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_4.opb	OPT	6	0.013985	0.0289011	4795297
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-nazareth.opb	OPT	-1073741823	0.014456	0.026942	4795095
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_11.opb	OPT	-10	0.014825	0.0286101	4806128
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-7_14.opb	OPT	5148	0.014931	0.027538	4795321
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_002.opb.metafix.opb	OPT	42	0.015665	0.0489159	4795719
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f26-ACDoubleLoss.seq-B-2-1-abcdeir.opb	OPT	23133	0.015767	0.0301239	4795769
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_05.opb	OPT	-4	0.015787	0.030446	4805848
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ uncorrelated_span/normalized-knapPI_11_50_1000_1_-1428.opb	OPT	-1428	0.015872	0.0732849	4804588
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-6_12.opb	OPT	5867	0.016388	0.0310579	4795317
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir01_trarea_ac.opb	OPT	13949	0.016566	0.029732	4795345
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f19-ACTotalLoss.seq-B-3-2-irEDCBA.opb	OPT	889889	0.016696	0.038065	4795773
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=197.opb	OPT	47	0.017444	0.050874	4795201
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_007.opb.metafix.opb	OPT	47	0.017585	0.0442749	4795715
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=67-Q=223.opb	OPT	67	0.017599	0.0471399	4795205
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f5-AC1Loss.seq-A-2-1-EDCBAir.opb	OPT	-198938	0.017616	0.033333	4795781
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ uncorrelated_span/normalized-knapPI_11_100_1000_2_-3990.opb	OPT	-3990	0.017787	0.116909	4804623
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__16.opb	OPT	45008	0.017819	0.0292849	4795387
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_12x12_008.opb.metafix.opb	OPT	72	0.017947	0.0318569	4795705
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_008.opb.metafix.opb	OPT	50	0.017987	0.0492551	4795713
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r6_c40.opb	OPT	60	0.018014	0.032882	4806653
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ similar_weights/normalized-knapPI_9_100_1000_2_-997.opb	OPT	-997	0.018068	0.0938809	4804658
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=101-Q=379.opb	OPT	101	0.018237	0.0406481	4795203
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ almost_strongly_correlated/normalized-knapPI_5_50_10000_4_-18105.opb	OPT	-32113	0.018682	0.0587771	4804693
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-10_20.opb	OPT	8034	0.018816	0.0349989	4795325
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=251-Q=379.opb	OPT	251	0.018986	0.041906	4795191
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=317.opb	OPT	89	0.020186	0.0494721	4795209
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_170_002.opb	OPT	-3776	0.020265	0.0320659	4795861
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ weakly_correlated/normalized-knapPI_2_100_1000_5_-3352.opb	OPT	-4652	0.020518	0.101478	4804728
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ subset_sum/normalized-knapPI_6_500_1000_2_-5036.opb	OPT	-5036	0.020871	0.109341	4804798
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/area_partials/normalized-fir07_area_partials.opb	OPT	33	0.021395	0.035321	4795361
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb	OPT	304	0.021505	0.0867391	4795017
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g7x7.opb	OPT	12	0.022644	0.057452	4795183
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb	OPT	36	0.022818	0.0512929	4795143
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cc.opb	OPT	1567	0.022887	0.118867	4795171
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_20.opb	OPT	-20	0.02427	0.0352401	4806093
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb	OPT	36	0.024434	0.126778	4795161
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_14x14_006.opb.metafix.opb	OPT	95	0.02499	0.058862	4795711
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-5.opb	OPT	350	0.025789	0.141469	4795131
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-8_16.opb	OPT	5852	0.026078	0.042183	4795319
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb	OPT	36	0.026508	0.209151	4795151
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r6_c60.opb	OPT	90	0.026704	0.0395739	4806828
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-11_22.opb	OPT	8908	0.02683	0.038348	4795315
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.95:98.opb	OPT	1	0.028453	0.073287	4795035
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb	OPT	36	0.029407	0.198043	4795149
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-4.opb	OPT	350	0.030304	0.184474	4795123
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_061.opb	OPT	1	0.030566	0.15287	4805043
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.95:100.opb	OPT	0	0.030628	0.0636569	4795021
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.5:100.opb	OPT	3	0.030706	0.0860681	4795039
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r8_c10.opb	OPT	21	0.032821	0.0452241	4806548
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_16x16_006.opb.metafix.opb	OPT	115	0.032915	0.0633401	4795721
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_041.opb	OPT	1	0.033978	0.123238	4804938
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_12x12_009.opb.metafix.opb	OPT	70	0.036039	0.049488	4795707
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_10_10.r.opb	OPT	8	0.037162	0.0532419	4795307
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cmb.opb	OPT	1053	0.039177	0.132488	4795173
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_14x14_008.opb.metafix.opb	OPT	85	0.04088	0.0747579	4795717
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-902.cudf.trendy.opb	OPT	283030	0.0414	0.421207	4795497
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament08.lin.opb	OPT	-12	0.041501	0.0871871	4795731
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_04.opb	OPT	0	0.044092	0.102969	4805463
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb	OPT	9663726592	0.047179	0.0588321	4795093
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=10-t=10.opb	OPT	0	0.047536	0.0709819	4795785
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/area_partials/normalized-fir05_area_partials.opb	OPT	36	0.049281	0.06149	4795363
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ multiple_strongly_correlated/normalized-knapPI_14_500_1000_4_-31297.opb	OPT	-53397	0.049502	0.172675	4804868
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.5:100.opb	OPT	0	0.052627	0.123726	4795033
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_051.opb	OPT	1	0.053017	0.167842	4805113
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:100.opb	OPT	1	0.055082	0.11816	4795037
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91__32.opb	OPT	70998	0.056635	0.0689139	4795399
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x9.opb	OPT	20	0.065118	0.20156	4795179
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-ricks.r.opb	OPT	5	0.068602	0.08695	4795303
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir02_trarea_ac.opb	OPT	24890	0.0718	0.082707	4795349
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_081.opb	OPT	1	0.08036	0.167494	4804973
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb	OPT	344750	0.081388	0.094142	4795091
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb	OPT	36	0.081935	0.251269	4795155
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_260_002.opb	OPT	-7473	0.086451	0.0985411	4795851
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_4_shg.opb	OPT	22	0.095085	0.271101	4795545
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir05_trarea_ac.opb	OPT	47342	0.101072	0.116424	4795351
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_19.opb	OPT	-9	0.101857	0.110936	4806058
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-jac3.opb	OPT	15	0.106681	0.210174	4795169
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_101.opb	OPT	1	0.112412	0.18027	4805218
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=8-t=2.opb	OPT	6	0.133082	0.149129	4795789
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb	OPT	100	0.139431	0.153137	4795133
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb	OPT	60	0.144795	0.276344	4795153
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ4_3.opb	OPT	20	0.150267	0.26288	4795117
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb	OPT	64	0.151031	0.297497	4795159
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__8.opb	OPT	95378	0.157076	0.169131	4795401
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir04_trarea_ac.opb	OPT	41202	0.167897	0.181347	4795353
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/ normalized-maxcut_opt_complete_5-partite_block_nvert_17.opb	OPT	-72	0.170014	0.182014	4806898
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r8_c50.opb	OPT	101	0.177875	0.191099	4806513
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb	OPT	62	0.178128	0.213445	4795145
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f3-DataDisplay_1_order6.seq-B-2-1-irEDCBA.opb	OPT	13718029	0.185388	0.199274	4795765
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r17_c34_a6.opb	OPT	3417	0.187466	0.199064	4806478
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_opers/normalized-fir02_area_opers.opb	OPT	18	0.190489	0.234295	4795359
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir03_trarea_ac.opb	OPT	23978	0.220682	0.235772	4795347
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ subset_sum/normalized-knapPI_6_2000_1000_4_-39215.opb	OPT	-39215	0.225509	0.326035	4804763
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.smallist/normalized-rand59f7dd.cudf.paranoid.opb	OPT	344	0.262729	0.60099	4795503
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb	OPT	62	0.268583	0.298065	4795147
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_block/ normalized-maxcut_opt_complete_6-partite_block_nvert_18.opb	OPT	-81	0.269151	0.281602	4806933
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-C432.opb	OPT	4822	0.269643	0.371095	4795175
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb	OPT	66	0.275552	0.453164	4795157
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r20_c39_a6.opb	OPT	4563	0.289507	0.30198	4806408
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-rand601ba8.cudf.trendy.opb	OPT	84900802172	0.291087	0.320476	4795467
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-rand49e642.cudf.trendy.opb	OPT	39641230	0.304816	0.334131	4795465
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_7.opb	OPT	25	0.314932	0.330663	4795311
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh209.opb	OPT	93	0.325843	0.362201	4795141
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_430_001.opb	OPT	-14973	0.346209	0.360066	4795853
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_430_008.opb	OPT	-14511	0.348945	0.36197	4795857
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-1468.cudf.paranoid.opb	OPT	6	0.350251	0.403279	4795521
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb	OPT	200	0.365373	0.435796	4795129
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_390_005.opb	OPT	-13158	0.366606	0.380314	4795847
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_inf.opb	OPT	1	0.372749	0.385113	4795877
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=10-t=2.opb	OPT	8	0.393359	0.406734	4795793
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-550.cudf.paranoid.opb	OPT	2	0.478363	0.538725	4795517
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r25_c50_a5.opb	OPT	7425	0.504354	0.519271	4806303
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r26_c51_a5.opb	OPT	7803	0.545096	0.560274	4806373
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_251.opb	OPT	1	0.548879	0.62974	4805253
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh1.opb	OPT	92	0.557198	0.701545	4795125
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/ normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_100.opb	OPT	5000	0.571923	0.58556	4807213
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.5:100.opb	OPT	5	0.594061	0.633936	4795031
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh220.opb	OPT	94	0.594254	0.635368	4795139
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r24_c48_a6.opb	OPT	6840	0.603855	0.619583	4806443
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r8_c90.opb	OPT	181	0.626049	0.639824	4806583
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_450_007.opb	OPT	-17798	0.629357	0.643079	4795863
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_13.opb	OPT	105	0.650747	0.665732	4807633
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-ex5.pi.opb	OPT	65	0.661554	0.75679	4795167
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.95:98.opb	OPT	4	0.689902	0.768454	4795023
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__32.opb	OPT	95378	0.712698	0.726651	4795403
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r30_c60_a4.opb	OPT	7140	0.766203	0.779077	4806268
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-rand4bf850.cudf.trendy.opb	OPT	31850906195	0.830662	0.944447	4795471
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data4_3.opb	OPT	8276	0.845228	0.887995	4795107
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_inf.opb	OPT	1	0.848085	0.862677	4795865
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-1000opt.opb	OPT	-178	0.911347	0.940413	4795427
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r33_c66_a6.opb	OPT	12969	0.935988	0.949761	4806163
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.95:100.opb	OPT	2	0.938385	1.00789	4795027
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir07_trarea_ac.opb	OPT	50162	0.955462	0.97666	4795341
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-9000opt.opb	OPT	-193	1.00817	1.0402	4795425
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-7000opt.opb	OPT	-172	1.05322	1.07193	4795443
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__2048.opb	OPT	45008	1.13331	1.15141	4795405
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.newlist/normalized-rand0a62b6.cudf.trendy.opb	OPT	18540641211	1.136	1.15824	4795469
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r10_c90.opb	OPT	226	1.1372	1.1528	4806618
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f44-DC_ESS.seq-B-2-combined-irabcde.opb	OPT	26628312588	1.13826	1.15971	4795775
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r34_c68_a4.opb	OPT	9180	1.19375	1.20805	4806233
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-5000opt.opb	OPT	-169	1.2516	1.27163	4795441
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j3011_6.std.opb	OPT	44	1.43543	1.46579	4795457
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-ns1688347.opb	OPT	27	1.50273	1.56895	4795535
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=12-t=2.opb	OPT	10	1.53465	1.5539	4795791
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-randa09fe9.cudf.trendy.opb	OPT	28830293738	1.66025	1.71785	4795473
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-2000opt.opb	OPT	-167	1.70629	1.74779	4795433
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r34_c67_a6.opb	OPT	13467	1.87282	1.89111	4806338
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh217.opb	OPT	89	1.9928	2.13291	4795127
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_2.opb	OPT	2	2.33141	2.35092	4795869
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_1.opb	OPT	2	2.33356	2.35273	4795879
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height18_pigeons17_holes16.opb	OPT	190	2.54182	2.562	4805743
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.D.recomb10-0.20-14.opb	OPT	7	2.54219	2.56238	4795683
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.95:100.opb	OPT	3	2.62813	2.71437	4795025
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_030.opb	OPT	480	2.77004	2.8032	4807388
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=14-t=2.opb	OPT	12	2.84513	2.86691	4795803
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament18.lin.opb	OPT	-80	2.87259	2.90306	4795729
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_10000_3_0.95_7.opb	OPT	1164	2.94402	2.96628	4795831
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-10000opt.opb	OPT	-164	2.95257	2.98957	4795435
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.01-000.opb	OPT	-113297	3.06991	3.09223	4795855
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j301_3.std.opb	OPT	47	3.10851	3.13837	4795461
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb	OPT	200	3.11068	3.15864	4795137
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r32_c64_a5.opb	OPT	12192	3.3403	3.36424	4806198
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir06_trarea_ac.opb	OPT	33456	3.52477	3.54798	4795339
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-neos-3572885-glina.mps.opb	OPT	0	3.88435	3.92808	4817567
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.5:100.opb	OPT	9	4.08669	4.14333	4795029
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_690_000.opb	OPT	-30554	4.16447	4.19029	4795859
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_710_002.opb	OPT	-32318	4.42879	4.45556	4795849
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-e64.b.opb	OPT	47	5.17622	5.36694	4795163
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-8000opt.opb	OPT	-76	5.51838	5.56425	4795439
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-9000opt.opb	OPT	-79	5.8414	5.8883	4795437
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx57.opb	OPT	6	5.97051	6.00591	4795419
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/ normalized-knapPI_1_10000_10000_4_-11456508.opb	OPT	-22951692	5.97742	6.08991	4804833
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.12.opb	OPT	41	6.06784	6.12384	4795273
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_3000_5__126_2812__8.opb	OPT	60720	6.11589	6.14162	4795397
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-7000opt.opb	OPT	-68	6.86453	6.92327	4795429
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/9orless/normalized-r-cran-lme4.cudf.paranoid.opb	OPT	146111	7.11536	7.19579	4795509
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/datasets/ 10orplus/normalized-openoffice.org-l10n-da.cudf.paranoid.opb	OPT	146152	7.13495	7.22185	4795511
PB24/normalized-PB10/OPT-LIN/oliveras/ j60opt/normalized-j605_4.std.opb	OPT	72	7.2135	7.26198	4795455
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/10orplus/normalized-monodevelop-nunit.cudf.paranoid.opb	OPT	142331	7.25373	7.77301	4795513
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib3/normalized-nw04.opb	OPT	8431	7.87539	7.90886	4795805
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b4.opb	OPT	376	7.88531	8.04301	4795135
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height22_pigeons21_holes20.opb	OPT	276	7.98	8.01534	4805778
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-hal-cups-utils.cudf.trendy.opb	OPT	2626215701395	8.39421	8.49719	4795485
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-gnash-common-opengl.cudf.trendy.opb	OPT	2784767898449	8.77147	8.92007	4795477
PB24/normalized-PB10/OPT-LIN/oliveras/ j60opt/normalized-j6018_6.std.opb	OPT	61	8.88041	8.95864	4795453
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.02.opb	OPT	44	8.98257	9.04346	4795283
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/ 9orless/normalized-libmono-relaxng1.0-cil.cudf.trendy.opb	OPT	2624366011878	9.04118	9.1807	4795483
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx92.opb	OPT	9	9.24216	9.2826	4795417
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_32_label3_adversarial_norm_0.opb	OPT	2	9.33604	9.36751	4795873
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-kbd.cudf.trendy.opb	OPT	2703595984209	9.63152	9.75451	4795479
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-sonata.cudf.trendy.opb	OPT	2628047795598	10.3073	10.3976	4795489
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-RubiksCube-10-4-20-0_c24.opb	OPT	10	10.4503	10.5752	4795891
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_3000_5__126_2812__64.opb	OPT	60720	10.6634	10.7047	4795395
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-4.opb	OPT	813	10.6884	10.762	4795011
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_0.opb	OPT	2	10.7984	10.8328	4795871
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-6000opt.opb	OPT	-74	11.0095	11.0942	4795431
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i6_pp_93_merged.opb	OPT	376	11.8419	11.894	4795837
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_04_200_176.opb	OPT	0	13.8685	13.9792	4795955
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j3046_4.std.opb	OPT	64	13.9905	14.0989	4795459
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx84.opb	OPT	8	15.147	15.2082	4795409
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.07.opb	OPT	37	16.3687	16.4396	4795277
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_801.opb	OPT	1	17.4447	17.6053	4805008
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g15x15.opb	OPT	53	18.1888	18.2864	4795189
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_170.opb	OPT	426	18.6118	18.6886	4806758
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12030_8.std.opb	OPT	79	19.0321	19.128	4795451
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.11.opb	OPT	38	20.4115	20.509	4795271
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_033.opb	OPT	561	21.0273	21.1421	4807318
PB24/normalized-PB06/OPT-LIN/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb	OPT	34	22.8443	22.935	4795289
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12035_8.std.opb	OPT	101	24.4461	24.5513	4795449
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb	OPT	24	25.2686	25.6126	4795763
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.F.recomb10-0.10-10.opb	OPT	7537	25.9467	26.0475	4795667
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_45.opb	OPT	-486	26.0855	26.168	4807143
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_3_shg.opb	OPT	36	26.1719	26.4581	4795555
PB24/normalized-PB10/OPT-LIN/oliveras/ j90opt/normalized-j9026_10.std.opb	OPT	92	30.3579	30.5277	4795463
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=21-t=2.opb	OPT	19	34.2688	34.3686	4795797
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.10.opb	OPT	49	35.2488	35.3692	4795279
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.14.opb	OPT	42	38.2055	38.3618	4795275
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.10-8.opb	OPT	15072	39.291	39.4099	4795669
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_017_area_delay.opb	OPT	25	41.8125	41.9846	4795331
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_057.opb	OPT	1653	51.2611	51.4593	4807283
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.08.opb	OPT	34	55.5687	55.7746	4795281
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_851.opb	OPT	1	61.1074	61.3364	4805183
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir09_trarea_ac.opb	OPT	50769	70.0775	70.3438	4795355
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__64.opb	OPT	74222	72.8782	73.0573	4795393
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.01-5.opb	OPT	3521	72.9879	73.2297	4795681
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_75.opb	OPT	-74	73.361	73.6279	4805918
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_008_area_delay.opb	OPT	25	78.9372	79.2131	4795329
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_007_area_delay.opb	OPT	26	79.4684	79.7414	4795333
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-supportcase33.mps.opb	OPT	-69	85.0755	85.3298	4817279
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/ normalized-maxcut_opt_complete_5-partite_block_nvert_50.opb	OPT	-600	85.8976	86.1772	4806863
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.B.recomb1-0.10-8.opb	OPT	589	103.956	104.273	4795673
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb5-0.10-10.opb	OPT	25042	128.037	128.57	4795677
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat15_5_3_6_mh.opb	OPT	7586846	128.182	128.593	4795591
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i5_pp_97_merged.opb	OPT	800	139.223	139.686	4795839
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_73_label5_adversarial_norm_0.opb	OPT	2	145.5	145.839	4795881
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE1.0_TMAX15_K67_cod1.opb	OPT	-17711	153.734	154.132	4795639
PB26/normalized-PB26/OPT-LIN/ devriendt/tsplib/normalized-gr17.opb	OPT	2085	153.803	154.319	4795911
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.10-9.opb	OPT	15407	163.268	163.803	4795671
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.20-11.opb	OPT	4103	170.497	171.014	4795665
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_25000_10_0.85_4.opb	OPT	0	187.559	188.167	4795833
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_57.opb	OPT	-792	201.047	201.738	4807038
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_005_area_delay.opb	OPT	26	208.86	209.579	4795327
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/ normalized-maxcut_opt_complete_6-partite_inlv_nvert_54.opb	OPT	-729	222.156	222.771	4807003
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb5-0.10-6.opb	OPT	27380	235.809	236.585	4795675
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_38.opb	OPT	780	239.292	239.909	4807598
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir08_trarea_ac.opb	OPT	70311	257.406	258.07	4795343
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_39.opb	OPT	820	286.056	286.802	4807563
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_951.opb	OPT	1	287.145	288.054	4805148
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_9_shg.opb	OPT	42	309.345	310.562	4795549
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_064.opb	OPT	2112	320.127	321.506	4807353
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_50000_5_0.75_7.opb	OPT	976	335.57	336.517	4795829
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i4_pp_95_merged.opb	OPT	568	342.946	344.101	4795835
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-RubiksCube-12-4-20-1_c24.opb	OPT	12	381.502	383.172	4795903
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_001_area_delay.opb	OPT	28	430.399	431.961	4795335
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-edgecross14-058.lin.opb	OPT	353	438.1	439.553	4795735
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-neos-506428.opb	OPT	4	476.26	477.719	4795817
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.00.opb	OPT	34	547.827	549.783	4795285
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-Charlotte-mini-06-2_c24.opb	OPT	5584	553.549	555.335	4795893
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb	OPT	-35	580.309	582.231	4795053
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_65.opb	OPT	-1014	611.009	612.587	4807178
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__2048.opb	OPT	87132	651.889	653.933	4795389
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb	OPT	1616	653.901	655.756	4806688
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_420.opb	OPT	1996	654.66	656.799	4806793
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb	OPT	-35	699.511	701.987	4795055
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i8_pp_96_merged.opb	OPT	742	785.813	788.334	4795841
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb	OPT	29	800.817	802.904	4795759
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-FoolSolitaire-table-3-0_c24.opb	OPT	6	1125.84	1129.1	4795907
PB24/normalized-PB11/OPT-LIN/heinz/ normalized-neos-1616732.opb	OPT	159	1211.5	1216.21	4795537
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-n3div36.opb	OPT	654	1218.43	1222.96	4795533
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat15_5_3_9_mh.opb	OPT	6925310	1423.79	1427.83	4795587
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_50.opb	OPT	1326	1591.12	1594.18	4807703
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir10_trarea_ac.opb	OPT	73649	1635.28	1640.88	4795337
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-eilA101-2.opb	OPT	39852	1640.61	1644.91	4795821
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_delay/normalized-fir10_area_delay.opb	OPT	27	1643.04	1648.1	4795365
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ comppebvc/normalized-comppebvc_opt_120.opb	OPT	7321	1803.91	1809.1	4805288
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb	OPT	-40	2419.66	2428.3	4795057
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX15_K192_cod1.opb	OPT	-2208	2504.27	2511.84	4795651
PB25/normalized-PB25/OPT-LIN/ wallon/normalized-Cargo-22_c24.opb	OPT	123525	2645.63	2652.82	4795889
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_55.opb	OPT	1596	2748.35	2756.53	4807668
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_7_label9_adversarial_norm_2.opb	OPT	5	3210.03	3218.34	4795867
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_090.opb	OPT	4140	3270.93	3278.42	4807423
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb	OPT	236	3438.38	3450.13	4795261

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542.opb	? (NS)	0.008158	0.0198199	4795199
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_38.opb	? (NS)	0.008967	0.0302531	4805638
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650-max.opb	? (NS)	0.009045	0.0294681	4795197
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_46.opb	? (NS)	0.009048	0.0305361	4805603
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249-max.opb	? (NS)	0.009176	0.029784	4795207
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880-max.opb	? (NS)	0.009262	0.026854	4795195
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_42.opb	? (NS)	0.009367	0.0649471	4805393
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_34.opb	? (NS)	0.009611	0.0711309	4805428
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/miplib/normalized-enlight8.mps.opb	? (NS)	0.009892	0.054386	4817531
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/miplib/normalized-ej.mps.opb	? (NS)	0.010748	0.0744891	4817603
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-siena1.opb	? (NS)	0.02531	0.0427481	4795075
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-sp98ic.opb	? (NS)	0.051595	0.237402	4795541
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb	? (NS)	0.162811	0.185353	4795065
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mod011.opb	? (NS)	0.230665	0.304373	4795105

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1093.cudf.trendy.opb	Signal SIGSEGV	0.028212	0.536475	4795499
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.smallist/normalized-randab5933.cudf.paranoid.opb	Signal SIGSEGV	0.039989	0.178844	4795505
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-122.cudf.trendy.opb	Signal SIGSEGV	0.0415	0.629898	4795495
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.smallist/normalized-rand03b0b5.cudf.paranoid.opb	Signal SIGSEGV	0.046202	0.440719	4795501
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-519.cudf.paranoid.opb	Signal SIGSEGV	0.061154	0.610801	4795515
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-randb3c96d.cudf.trendy.opb	Signal SIGSEGV	0.071496	0.300652	4795475
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.biglist/normalized-rand5c0b12.cudf.paranoid.opb	Signal SIGSEGV	0.074051	0.670568	4795507
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-520.cudf.trendy.opb	Signal SIGSEGV	0.076261	0.541454	4795491
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-1238.cudf.paranoid.opb	Signal SIGSEGV	0.088125	0.612032	4795523
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1243.cudf.trendy.opb	Signal SIGSEGV	0.09151	0.717974	4795493
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f37-AC_TotalLoss.seq-B-2-1-irabcde.opb	Signal SIGABRT	0.190397	0.310403	4795767
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f32-AC_DoubleLoss.seq-A-3-combined-abcdeir.opb	Signal SIGABRT	0.300261	0.441053	4795771
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-mono-gac.cudf.trendy.opb	Signal SIGABRT	2.7025	3.2513	4795481
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-libmail-spf-perl.cudf.trendy.opb	Signal SIGABRT	5.72423	6.23621	4795487
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-UMTS.opb	Signal SIGABRT	179.056	180.271	4795083
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat35_4_11_1_mh_ic.opb	Signal SIGABRT	478.347	481.516	4795607
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_6_ic.opb	Signal SIGABRT	1193.5	1199.63	4795633

PB'26 competition: benchmarks results per solver

Result page for solver HitPBO 2026-06-22 (complete)

Solver command line

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

Solver proved unsatisfiability (UNSATISFIABLE) (9 runs) [Show/Hide]

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

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

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

Solver was terminated by a signal (17 runs) [Show/Hide]