PB'26 competition: benchmarks results per solver

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	UNSAT	9.11514	9.15011	4779892
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=379-Q=521.opb	UNSAT	31.8625	31.9593	4779280
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.biglist/normalized-rand5c0b12.cudf.paranoid.opb	UNSAT	82.735	82.9527	4779908
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.smallist/normalized-randab5933.cudf.paranoid.opb	UNSAT	108.04	108.325	4779904
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-randb3c96d.cudf.trendy.opb	UNSAT	149.546	150.029	4779844
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-520.cudf.trendy.opb	UNSAT	149.567	150.028	4779876
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-519.cudf.paranoid.opb	UNSAT	149.62	150.026	4779924
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-122.cudf.trendy.opb	UNSAT	149.645	150.017	4779884
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-1238.cudf.paranoid.opb	UNSAT	149.652	150.034	4779940
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1243.cudf.trendy.opb	UNSAT	149.678	150.031	4779880
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.smallist/normalized-rand03b0b5.cudf.paranoid.opb	UNSAT	149.678	150.019	4779896
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-ns1686196.opb	UNSAT	150.366	150.901	4780540
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat25_6_3_3_ic.opb	UNSAT	498.785	500.5	4780120
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-oct4.5.opb	UNSAT	546.38	548.388	4780300
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jul4.5.opb	UNSAT	601.25	603.273	4780292

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
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.004297	0.0115011	4779084
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=10-t=10.opb	OPT	0	0.006738	0.0172661	4780464
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-neos-3572885-glina.mps.opb	OPT	0	0.319672	0.326545	4817541
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_04_200_176.opb	OPT	0	6.0094	6.05261	4780804
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-1078.cudf.paranoid.opb	OPT	4	6.58771	6.61768	4779932
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir01_trarea_ac.opb	OPT	13949	6.87621	6.90395	4779584
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g2x2.opb	OPT	2	7.11749	7.14852	4779256
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb	OPT	100	7.87837	7.90787	4779160
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb	OPT	200	8.07703	8.10834	4779152
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f5-AC1Loss.seq-A-2-1-EDCBAir.opb	OPT	-198938	8.18642	8.22422	4780456
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f18-AC1Loss.seq-A-2-2-irabcde.opb	OPT	7552	8.30838	8.33838	4780452
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament08.lin.opb	OPT	-12	8.3605	8.39784	4780356
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/area_partials/normalized-fir07_area_partials.opb	OPT	33	8.36379	8.392	4779616
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-6_12.opb	OPT	5867	8.40289	8.43199	4779528
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/area_partials/normalized-fir05_area_partials.opb	OPT	36	8.42451	8.4527	4779620
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g4x4.opb	OPT	4	8.59783	8.63427	4779268
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-5_10.opb	OPT	3951	8.73278	8.76827	4779540
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_04.opb	OPT	0	8.96897	9.00589	4805437
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f19-ACTotalLoss.seq-B-3-2-irEDCBA.opb	OPT	889889	9.24768	9.28221	4780440
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb	OPT	200	9.40078	9.43659	4779168
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_030.opb	OPT	480	9.43526	9.46663	4807362
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f15-AC_ESSLoss.seq-A-2-2-irabcde.opb	OPT	33523448	9.4643	9.50177	4780460
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_04.opb	OPT	-3	9.49562	9.52967	4805962
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f26-ACDoubleLoss.seq-B-2-1-abcdeir.opb	OPT	23133	9.52882	9.576	4780432
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_50_001.opb	OPT	-406	9.62592	9.66043	4780584
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r6_c40.opb	OPT	60	9.76079	9.79622	4806627
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-7_14.opb	OPT	5148	9.90272	9.93497	4779536
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-4.opb	OPT	350	10.0486	10.0886	4779140
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_05.opb	OPT	-4	10.1846	10.2182	4805822
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_05.opb	OPT	-4	10.1903	10.2289	4805997
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f8-AC2Loss.seq-A-3-2-irEDCBA.opb	OPT	66733263	10.3019	10.3427	4780448
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_opers/normalized-fir02_area_opers.opb	OPT	18	10.7214	10.7554	4779612
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-hmittelman.lin.opb	OPT	13	10.7217	10.7594	4780368
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-5.opb	OPT	350	10.8735	10.9138	4779156
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j301_3.std.opb	OPT	47	10.9681	11.0127	4779816
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j3011_6.std.opb	OPT	44	10.9784	11.0385	4779808
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r8_c10.opb	OPT	21	11.0155	11.0522	4806522
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb	OPT	36	11.2579	11.2952	4779192
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r6_c60.opb	OPT	90	11.3062	11.3395	4806802
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-10_20.opb	OPT	8034	11.4156	11.4527	4779544
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r8_c50.opb	OPT	101	11.4764	11.511	4806487
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb	OPT	36	11.511	11.5498	4779216
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb	OPT	36	11.5716	11.6076	4779180
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j3046_4.std.opb	OPT	64	11.8046	11.8548	4779812
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_064.opb	OPT	2112	11.9287	11.9824	4807327
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_064.opb	OPT	2112	12.0404	12.1058	4807502
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x3.opb	OPT	7	12.1334	12.179	4779264
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-8_16.opb	OPT	5852	12.2473	12.2914	4779532
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ4_3.opb	OPT	20	12.2569	12.332	4779128
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb	OPT	36	12.33	12.3696	4779196
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.B.recomb1-0.10-8.opb	OPT	589	12.4713	12.7154	4780240
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r8_c90.opb	OPT	181	12.4817	12.5236	4806557
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb	OPT	36	12.5334	12.5747	4779204
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cc.opb	OPT	1567	12.8779	12.9227	4779236
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_8x8_004.opb.metafix.opb	OPT	32	12.8949	12.9401	4780312
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r10_c90.opb	OPT	226	13.201	13.2413	4806592
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-902.cudf.trendy.opb	OPT	283030	13.3843	13.4869	4779888
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_8x8_000.opb.metafix.opb	OPT	30	13.4405	13.4859	4780340
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb	OPT	62	13.773	13.8157	4779184
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb	OPT	64	14.0777	14.1219	4779212
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb	OPT	62	14.0889	14.128	4779188
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb	OPT	66	14.2053	14.2491	4779208
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb	OPT	60	14.2271	14.272	4779200
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g7x7.opb	OPT	12	14.3038	14.3565	4779260
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data4_3.opb	OPT	8276	14.329	14.3766	4779108
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_080.opb	OPT	3280	14.4906	14.5501	4807432
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_002.opb.metafix.opb	OPT	42	14.7234	14.7708	4780332
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x9.opb	OPT	20	14.7419	14.7974	4779252
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.07.opb	OPT	37	14.9034	14.9661	4779448
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.12.opb	OPT	41	15.1061	15.1553	4779440
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_041.opb	OPT	1	15.1288	15.1743	4804912
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_090.opb	OPT	4140	15.1506	15.2114	4807397
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_008.opb.metafix.opb	OPT	50	15.1598	15.208	4780320
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_007.opb.metafix.opb	OPT	47	15.2244	15.2727	4780324
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_061.opb	OPT	1	15.3044	15.3517	4805017
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_081.opb	OPT	1	15.5756	15.6222	4804947
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb	OPT	304	16.1688	16.2622	4778928
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_170.opb	OPT	426	16.2109	16.2746	4806732
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir02_trarea_ac.opb	OPT	24890	16.2219	16.2832	4779592
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.14.opb	OPT	42	16.2899	16.3494	4779444
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.smallist/normalized-rand59f7dd.cudf.paranoid.opb	OPT	344	16.3274	16.392	4779900
PB24/normalized-PB10/OPT-LIN/oliveras/ j60opt/normalized-j6018_6.std.opb	OPT	61	16.9887	17.0522	4779800
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_12x12_008.opb.metafix.opb	OPT	72	16.9977	17.0489	4780304
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_12x12_009.opb.metafix.opb	OPT	70	17.1038	17.1561	4780308
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/ normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_100.opb	OPT	5000	18.0092	18.076	4807187
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-bbara.r.opb	OPT	7	19.0607	19.1206	4779504
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_14x14_006.opb.metafix.opb	OPT	95	19.2173	19.2749	4780316
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.10.opb	OPT	49	19.2951	19.3677	4779452
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_14x14_008.opb.metafix.opb	OPT	85	19.3795	19.4356	4780328
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.D.recomb10-0.20-14.opb	OPT	7	19.7316	19.7874	4780260
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.02.opb	OPT	44	19.7519	19.8204	4779460
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_051.opb	OPT	1	19.7842	19.8373	4805087
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_101.opb	OPT	1	20.9238	20.9927	4805192
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_16x16_006.opb.metafix.opb	OPT	115	21.7124	21.7761	4780336
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.F.recomb10-0.10-10.opb	OPT	7537	21.7284	21.8466	4780228
PB24/normalized-PB10/OPT-LIN/oliveras/ j90opt/normalized-j9026_10.std.opb	OPT	92	22.2033	22.2991	4779820
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_11.opb	OPT	-10	22.5683	22.6442	4806102
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_033.opb	OPT	561	22.7234	22.8099	4807292
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh220.opb	OPT	94	22.8645	22.9232	4779172
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-11_22.opb	OPT	8908	23.5954	23.6672	4779524
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh217.opb	OPT	89	23.6564	23.7216	4779148
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ uncorrelated_span/normalized-knapPI_11_50_1000_1_-1428.opb	OPT	-1428	24.4686	24.5313	4804562
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh209.opb	OPT	93	24.7499	24.816	4779176
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_007_area_delay.opb	OPT	26	24.9333	25.0323	4779560
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_13.opb	OPT	105	24.945	25.0412	4807607
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_008_area_delay.opb	OPT	25	25.1583	25.2618	4779552
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh1.opb	OPT	92	25.2496	25.3189	4779144
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_251.opb	OPT	1	27.1322	27.2213	4805227
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=67-Q=223.opb	OPT	67	28.1856	28.2753	4779304
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=251-Q=379.opb	OPT	251	28.2985	28.3837	4779276
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=197.opb	OPT	47	28.472	28.5606	4779296
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12030_8.std.opb	OPT	79	28.4881	28.5921	4779796
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	28.7583	28.8313	4779080
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12035_8.std.opb	OPT	101	28.9867	29.0769	4779792
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_10_10.r.opb	OPT	8	29.2448	29.3228	4779508
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=317.opb	OPT	89	29.6815	29.7596	4779312
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_22.opb	OPT	-64	29.7459	29.8406	4805787
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_19.opb	OPT	-9	29.9085	29.9874	4806032
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__8.opb	OPT	46877	30.0335	30.1328	4779676
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f32-AC_DoubleLoss.seq-A-3-combined-abcdeir.opb	OPT	19435314071	30.0566	30.1917	4780436
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f3-DataDisplay_1_order6.seq-B-2-1-irEDCBA.opb	OPT	13718029	31.0382	31.1429	4780424
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_20.opb	OPT	-20	31.1388	31.2353	4806067
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=101-Q=379.opb	OPT	101	31.1557	31.2378	4779300
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.10-8.opb	OPT	15072	31.3323	31.4753	4780232
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_001_area_delay.opb	OPT	28	32.5666	32.693	4779564
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/9orless/normalized-r-cran-lme4.cudf.paranoid.opb	OPT	146111	32.9625	33.0879	4779912
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height18_pigeons17_holes16.opb	OPT	190	34.2128	34.3266	4805717
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_75.opb	OPT	-74	35.3121	35.4536	4805892
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_inf.opb	OPT	1	35.674	35.7617	4780648
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.01-5.opb	OPT	3521	35.7613	35.8778	4780256
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/10orplus/normalized-monodevelop-nunit.cudf.paranoid.opb	OPT	142331	35.9741	36.1095	4779920
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_73_label5_adversarial_norm_inf.opb	OPT	4	38.582	38.7229	4780644
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_inf.opb	OPT	1	38.6623	38.7626	4780624
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ strongly_correlated_span/normalized-knapPI_13_20_1000_4_-907.opb	OPT	-1404	39.0114	39.0996	4804877
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_017_area_delay.opb	OPT	25	39.4755	39.608	4779556
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-rand4bf850.cudf.trendy.opb	OPT	31850906195	40.6552	40.7996	4779836
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=8-t=2.opb	OPT	6	41.2239	41.3486	4780472
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_95.opb	OPT	-94	42.1458	42.2886	4805927
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f37-AC_TotalLoss.seq-B-2-1-irabcde.opb	OPT	1678960413	42.2429	42.3917	4780428
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	42.6713	42.7609	4806872
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-randa09fe9.cudf.trendy.opb	OPT	28830293738	44.6797	44.8306	4779840
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.11.opb	OPT	38	45.6271	45.806	4779436
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-mono-gac.cudf.trendy.opb	OPT	2624366011833	49.8216	49.9889	4779856
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_4_shg.opb	OPT	22	50.7671	50.8776	4779984
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	51.0613	51.1806	4806907
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height22_pigeons21_holes20.opb	OPT	276	53.3103	54.1143	4805752
PB24/normalized-PB06/OPT-LIN/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_4.opb	OPT	6	54.0253	54.1456	4779488
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-e64.b.opb	OPT	47	55.6972	55.8623	4779220
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.newlist/normalized-rand0a62b6.cudf.trendy.opb	OPT	18540641211	55.8816	56.0668	4779832
PB24/normalized-PB10/OPT-LIN/oliveras/ j60opt/normalized-j605_4.std.opb	OPT	72	56.6883	56.8522	4779804
PB26/normalized-PB26/OPT-LIN/ devriendt/tsplib/normalized-gr17.opb	OPT	2085	57.9107	58.069	4780716
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-sonata.cudf.trendy.opb	OPT	2628047795598	58.014	58.22	4779872
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_005_area_delay.opb	OPT	26	58.743	58.9307	4779548
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ similar_weights/normalized-knapPI_9_100_1000_2_-997.opb	OPT	-997	59.2551	59.4104	4804632
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-5.opb	OPT	2642	61.0518	61.2867	4778924
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b4.opb	OPT	376	62.8367	63.0809	4779164
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-kbd.cudf.trendy.opb	OPT	2703595984209	66.1003	66.3233	4779852
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-libmail-spf-perl.cudf.trendy.opb	OPT	3267737700236	66.1522	66.4058	4779868
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__16.opb	OPT	45008	67.0256	67.2296	4779668
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.10-9.opb	OPT	15407	67.6632	67.9427	4780236
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_150.opb	OPT	11400	69.3876	69.615	4807467
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat15_5_3_6_mh.opb	OPT	7586846	70.5776	70.8072	4780076
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/ 9orless/normalized-libmono-relaxng1.0-cil.cudf.trendy.opb	OPT	2624366011878	71.8482	72.0829	4779860
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ uncorrelated_span/normalized-knapPI_11_100_1000_2_-3990.opb	OPT	-3990	72.1656	72.3816	4804597
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-gnash-common-opengl.cudf.trendy.opb	OPT	2784767898449	74.8922	75.1124	4779848
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-8000opt.opb	OPT	-76	75.575	75.8679	4779772
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-RubiksCube-10-4-20-0_c24.opb	OPT	10	77.6143	77.8856	4780676
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir05_trarea_ac.opb	OPT	47342	79.6753	80.0194	4779596
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-hal-cups-utils.cudf.trendy.opb	OPT	2626215701395	83.6814	83.9776	4779864
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/datasets/ 10orplus/normalized-openoffice.org-l10n-da.cudf.paranoid.opb	OPT	146152	84.0395	84.358	4779916
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-7000opt.opb	OPT	-68	84.2543	84.5593	4779752
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb5-0.10-10.opb	OPT	25042	85.4428	85.8092	4780248
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb	OPT	24	91.9961	92.3725	4780420
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-1468.cudf.paranoid.opb	OPT	6	97.6687	97.8667	4779936
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=10-t=2.opb	OPT	8	99.6024	99.977	4780480
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-9000opt.opb	OPT	-79	101.661	102.057	4779768
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-rand601ba8.cudf.trendy.opb	OPT	84900802172	106.28	106.649	4779828
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb	OPT	29	107.841	108.285	4780412
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm50p-opt.opb.negationfix.opb	OPT	30	110.975	111.378	4780404
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_7.opb	OPT	25	112.07	112.349	4779516
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-rand49e642.cudf.trendy.opb	OPT	39641230	116.423	116.722	4779824
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-6000opt.opb	OPT	-74	116.812	117.196	4779756
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	117.24	117.597	4806452
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.00.opb	OPT	34	124.125	124.702	4779464
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-7000opt.opb	OPT	-172	128.415	128.861	4779780
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-9000opt.opb	OPT	-193	130.005	130.431	4779744
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	132.367	132.669	4779076
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-2000opt.opb	OPT	-167	136.697	137.256	4779760
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.08.opb	OPT	34	137.901	138.363	4779456
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-4.opb	OPT	813	144.032	144.503	4778916
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-1000opt.opb	OPT	-178	145.279	145.727	4779748
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-ricks.r.opb	OPT	5	148.606	149.114	4779500
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f44-DC_ESS.seq-B-2-combined-irabcde.opb	OPT	26628312588	149.499	150.05	4780444
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-jac3.opb	OPT	15	149.56	150.017	4779232
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i5_pp_97_merged.opb	OPT	800	149.583	150.039	4780572
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-550.cudf.paranoid.opb	OPT	2	149.618	150.028	4779928
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ subset_sum/normalized-knapPI_6_500_1000_2_-5036.opb	OPT	-5036	149.622	150.043	4804772
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i8_pp_96_merged.opb	OPT	742	149.633	150.091	4780576
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx57.opb	OPT	6	149.7	150.126	4779732
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_10000_3_0.95_7.opb	OPT	1164	149.777	150.278	4780556
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i6_pp_93_merged.opb	OPT	376	149.831	150.301	4780568
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ subset_sum/normalized-knapPI_6_2000_1000_4_-39215.opb	OPT	-39215	149.92	150.337	4804737
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i6_pp_88_merged.opb	OPT	348	149.95	150.515	4780580
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx84.opb	OPT	8	150.14	150.631	4779712
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i4_pp_95_merged.opb	OPT	568	150.182	150.722	4780564
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-ns1688347.opb	OPT	27	150.245	150.721	4779964
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_1.opb	OPT	2	150.644	151.125	4780652
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm75p-opt.opb.negationfix.opb	OPT	47	150.927	151.654	4780400
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_2.opb	OPT	2	151.721	152.149	4780632
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx92.opb	OPT	9	152.201	152.751	4779728
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_32_label3_adversarial_norm_0.opb	OPT	2	153.651	154.21	4780640
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_0.opb	OPT	2	154.264	154.762	4780636
PB24/normalized-PB06/OPT-LIN/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb	OPT	34	156.26	156.716	4779472
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_25000_10_0.85_4.opb	OPT	0	157.765	158.36	4780560
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i1_pp_81.opb	OPT	688	158.718	159.233	4780548
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_73_label5_adversarial_norm_0.opb	OPT	2	163.956	164.477	4780656
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb5-0.10-6.opb	OPT	27380	169.455	170.046	4780244
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb	OPT	18	170.846	171.452	4779652
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_delay/normalized-fir10_area_delay.opb	OPT	27	175.566	176.075	4779624
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i8_pp_81.opb	OPT	688	177.974	178.703	4780544
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_10.opb	OPT	0	178.556	179.23	4805542
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ almost_strongly_correlated/normalized-knapPI_5_50_10000_4_-18105.opb	OPT	-32113	185.86	186.334	4804667
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.20-11.opb	OPT	4103	194.599	195.203	4780224
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-3.opb	OPT	3031	201.413	202.117	4778920
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-5000opt.opb	OPT	-169	203.043	203.868	4779776
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE1.0_TMAX15_K67_cod1.opb	OPT	-17711	216.736	217.382	4780172
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-10000opt.opb	OPT	-164	230.789	231.645	4779764
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb	OPT	20	237.594	238.403	4779656
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx60.opb	OPT	6	254.212	255.24	4779720
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb	OPT	126	254.532	255.401	4780396
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm95p-opt.opb.negationfix.opb	OPT	122	254.594	255.47	4780384
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb	OPT	115	254.681	255.573	4780388
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	259.194	260.037	4778972
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_50000_5_0.75_7.opb	OPT	976	259.633	260.649	4780552
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-nug08.opb	OPT	107	300.402	301.345	4779016
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	340.072	341.217	4806242
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX180_K192_cod2.opb	OPT	-17712	462.311	464.216	4780220
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	462.894	464.225	4806207
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir03_trarea_ac.opb	OPT	23978	498.122	500.134	4779588
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb	OPT	27	498.162	500.313	4780408
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_801.opb	OPT	1	498.176	500.394	4804982
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	498.288	500.223	4778936
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir07_trarea_ac.opb	OPT	50162	498.312	500.276	4779576
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ weakly_correlated/normalized-knapPI_2_100_1000_5_-3352.opb	OPT	-4652	498.32	500.18	4804702
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cmb.opb	OPT	1053	498.354	500.188	4779240
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	498.401	500.111	4778964
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_430_008.opb	OPT	-14511	498.417	500.325	4780608
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-C432.opb	OPT	4822	498.475	500.237	4779244
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir06_trarea_ac.opb	OPT	33456	498.477	500.204	4779572
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_951.opb	OPT	1	498.479	500.206	4805122
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_170_002.opb	OPT	-3776	498.487	500.187	4780616
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91__32.opb	OPT	70998	498.506	500.299	4779692
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir04_trarea_ac.opb	OPT	41202	498.571	500.259	4779600
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_390_005.opb	OPT	-13158	498.63	500.522	4780588
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_260_002.opb	OPT	-7473	498.688	500.422	4780596
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	498.703	500.638	4778968
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_851.opb	OPT	1	498.715	500.437	4805157
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__8.opb	OPT	95378	498.721	500.482	4779696
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	498.742	500.273	4778960
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_26.opb	OPT	0	498.841	500.446	4805647
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir08_trarea_ac.opb	OPT	70311	498.865	500.643	4779580
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_430_001.opb	OPT	-14973	498.884	500.487	4780600
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	498.896	500.458	4806382
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_901.opb	OPT	1	498.904	500.608	4805052
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__32.opb	OPT	95378	498.914	500.629	4779700
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	498.924	500.654	4806172
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_450_007.opb	OPT	-17798	499.046	500.695	4780620
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-2.opb	OPT	939	499.079	500.763	4778932
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	499.203	500.938	4806417
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	499.313	500.782	4806137
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_3000_5__126_2812__8.opb	OPT	60720	499.602	501.229	4779688
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	499.811	501.453	4806312
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__2048.opb	OPT	45008	500.044	501.738	4779704
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_opers/normalized-fir09_area_opers.opb	OPT	34	500.274	502.196	4779608
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-blend2.opb	OPT	7598985	500.317	502.105	4779092
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	500.788	502.791	4806277
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_27.opb	OPT	0	501.043	502.91	4805682
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	501.449	502.949	4806347
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	501.45	503.461	4778956
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-neos-3381206-awhea.mps.opb	OPT	453	501.485	503.45	4817361
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	501.612	503.619	4778940
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	501.988	503.831	4778948
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_23.opb	OPT	0	502.121	504.005	4805507
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-neos-780889.opb	OPT	1854984	502.222	503.909	4780512
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament18.lin.opb	OPT	-80	502.751	504.722	4780352
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__64.opb	OPT	74222	504.01	505.679	4779680
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.01-000.opb	OPT	-113297	505.81	507.611	4780604
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_3000_5__126_2812__64.opb	OPT	60720	506.115	507.738	4779684
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	507.014	509.125	4778944
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_690_000.opb	OPT	-30554	508.397	510.267	4780612
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-ex5.pi.opb	OPT	65	512.704	514.456	4779228
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	518.611	520.685	4778952
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jul5.5.opb	OPT	189	545.327	547.113	4780272
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jul6.5.opb	OPT	79	548.596	550.734	4780276
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-roll3000.opb	OPT	1086940160	585.483	587.789	4779068
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-Charlotte-mini-06-2_c24.opb	OPT	5584	604.804	607.002	4780680
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jun6.5.opb	OPT	67	627.394	629.945	4780296
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g15x15.opb	OPT	53	640.096	642.907	4779272
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jun5.5.opb	OPT	145	690.272	692.801	4780280
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_05_200_070.opb	OPT	0	842.736	845.578	4780796
PB26/normalized-PB26/OPT-LIN/devriendt/ tsplib/normalized-swiss42.opb	OPT	1273	883.76	886.831	4780740
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	OPT	-383110	1057.79	1061.23	4778896
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx75.opb	OPT	7	1263.9	1268.96	4779736
PB25/normalized-PB25/OPT-LIN/ wallon/normalized-StillLife-09-12_c24.opb	OPT	-58	1484.07	1489.51	4780704
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-sep5.5.opb	OPT	101	1722.71	1728	4780268
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-tanglegram1.opb	OPT	5182	1803.19	1808.16	4779956
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-edgecross14-058.lin.opb	OPT	353	1807.96	1813.38	4780364
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb	OPT	-35	2074.09	2080.85	4779000
PB26/normalized-PB26/OPT-LIN/ devriendt/tsplib/normalized-hk48.opb	OPT	11461	2166.37	2174.55	4780744
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-neos-506428.opb	OPT	4	2613.62	2621.84	4780528
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-orb03.opb	OPT	1005	3208.88	3221.1	4780768
PB24/normalized-PB11/OPT-LIN/heinz/ normalized-neos-1616732.opb	OPT	159	3228.33	3241.3	4779968
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-supportcase33.mps.opb	OPT	-69	3325.24	3336.57	4817253

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data10_3.opb	SAT	77918	3582.15	3600.05	4779136
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_420.opb	SAT	2061	3583.15	3600.02	4806767
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb	SAT	337	3583.21	3600.47	4779408
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb	SAT	286	3583.48	3600.38	4779432
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-ta02.opb	SAT	1258	3583.61	3600.07	4780760
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_4.opb	SAT	11	3583.67	3600.31	4779468
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_490.opb	SAT	2794	3584.22	3600.02	4806697
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_4.opb	SAT	30	3584.23	3600.25	4779648
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	SAT	0	3584.56	3600.56	4778900
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2017/normalized-scpn2.opb	SAT	3044	3584.86	3601.19	4780516
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb	SAT	1034	3584.88	3600.02	4779348
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-markshare1.opb	SAT	4096	3585.09	3600.11	4779100
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=11-t=8.opb	SAT	3	3585.13	3600.01	4780484
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-berlin_5_8_0.opb	SAT	73728	3585.19	3600.03	4779040
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug5.5.opb	SAT	101	3585.47	3600.04	4780264
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_4_mh_ic.opb	SAT	2395155	3585.48	3600.04	4780096
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ8_3.opb	SAT	172	3585.71	3600.03	4779112
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_710_002.opb	SAT	-32193	3585.84	3600.09	4780592
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb	SAT	16	3586.12	3600.91	4780416
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-sp97ic.opb	SAT	3143837940	3586.35	3600.03	4779064
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb	SAT	-48	3586.36	3600.1	4778984
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat100_4_32_2.opb	SAT	53057921	3586.39	3600.04	4780024
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_30.opb	SAT	0	3586.52	3600.02	4805472
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb	SAT	-37	3586.58	3600.05	4779012
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb	SAT	335	3586.62	3600.45	4779412
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb	SAT	-49	3586.64	3600.07	4778976
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_12.opb	SAT	103	3586.65	3600.12	4779484
PB24/normalized-PB15eval/OPT-LIN/ minlplib2-pb-0.1.0/opb/normalized-pb351535.lin.opb	SAT	5746127	3586.68	3600.25	4780380
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g100x100.opb	SAT	2582	3586.8	3600.03	4779248
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-yn3.opb	SAT	989	3586.8	3600.4	4780772
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_7_label9_adversarial_norm_2.opb	SAT	47	3586.81	3600.38	4780628
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=21-t=2.opb	SAT	19	3586.83	3600.04	4780488
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ6_3.opb	SAT	66	3586.84	3600.03	4779124
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data8_3.opb	SAT	53012	3586.89	3600.02	4779116
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_057.opb	SAT	1653	3586.95	3600.02	4807257
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-ex1010-pi.opb	SAT	247	3586.98	3600.04	4780520
PB24/normalized-PB15eval/OPT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb	SAT	2605924	3587.06	3600.21	4780344
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_8.opb.PB06.opb	SAT	1038	3587.14	3600.02	4779316
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_11_shg.opb	SAT	104	3587.19	3600.23	4780008
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb	SAT	304	3587.21	3600.35	4779420
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_3.opb	SAT	6455885	3587.23	3600.02	4780020
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb	SAT	8705150669	3587.27	3600.16	4779072
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb	SAT	182	3587.32	3600.23	4779376
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_43.opb.PB06.opb	SAT	1038	3587.33	3600.03	4779332
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-t1717.opb	SAT	285714	3587.33	3600.08	4779952
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb	SAT	182	3587.34	3600.22	4779364
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-sp98ic.opb	SAT	3341861241	3587.36	3600.03	4779048
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_9.opb	SAT	25	3587.37	3600.06	4779640
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=14-t=2.opb	SAT	12	3587.39	3600.02	4780500
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug4.5.opb	SAT	211	3587.39	3600.05	4780288
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_38.opb	SAT	780	3587.44	3601.04	4807572
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb	SAT	25	3587.45	3600.03	4779664
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb	SAT	430	3587.45	3600.22	4779428
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb	SAT	187	3587.48	3600.15	4779368
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_10.opb	SAT	61	3587.49	3600.23	4779480
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb	SAT	182	3587.51	3600.11	4779360
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat35_4_11_1_mh_ic.opb	SAT	198936047	3587.54	3600.3	4780108
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern45-45.lin.opb	SAT	-27270	3587.56	3600.09	4780372
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb	SAT	21	3587.57	3600.03	4779628
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb	SAT	333	3587.59	3600.39	4779424
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-SameQueensKnights-b-45_c24.opb	SAT	-56	3587.65	3600.19	4780696
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-UMTS.opb	SAT	31172592	3587.66	3600.03	4779060
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_7.opb	SAT	119155055	3587.69	3600.02	4780044
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/ normalized-maxcut_opt_complete_5-partite_block_nvert_50.opb	SAT	-600	3587.7	3600.07	4806837
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_7.opb	SAT	12308463	3587.7	3600.03	4780032
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm75p-opt.opb.negationfix.opb	SAT	95	3587.71	3600.37	4780392
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_4.opb	SAT	7367375	3587.74	3600.03	4780040
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/ normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE2.0_TMAX60_K67_cod2_pbEq1_newVersion.opb	SAT	-31098	3587.75	3600.31	4778912
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb	SAT	189	3587.78	3600.12	4779356
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_13_shg.opb	SAT	66	3587.78	3600.23	4779988
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb	SAT	1039	3587.79	3600.01	4779344
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb	SAT	20	3587.79	3600.05	4779660
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib3/normalized-nw04.opb	SAT	8484	3587.81	3600.08	4780504
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb	SAT	125952	3587.82	3600.44	4779036
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat15_5_3_9_mh.opb	SAT	223734355	3587.86	3600.04	4780068
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_2_mh.opb	SAT	228815170	3587.91	3600.5	4780060
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ multiple_strongly_correlated/normalized-knapPI_14_500_1000_4_-31297.opb	SAT	-53397	3587.93	3600.02	4804842
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_7_mh.opb	SAT	151461594	3587.98	3600.07	4780072
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb	SAT	519	3587.98	3600.27	4779416
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	SAT	-53744	3587.99	3600.45	4778892
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_14.opb	SAT	175	3588.01	3600.1	4779512
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_7_mh.opb	SAT	47534182	3588.01	3600.61	4780084
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern55-28.lin.opb	SAT	-46846	3588.05	3600.06	4780360
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_3_mh_ic.opb	SAT	96366656	3588.08	3600.04	4780104
PB24/normalized-PB15eval/OPT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay25.lin.opb	SAT	5693	3588.09	3600.11	4780376
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX60_K192_cod1.opb	SAT	-11456	3588.1	3601.26	4780216
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_2.opb	SAT	6939921	3588.12	3600.02	4780036
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=11-t=4.opb	SAT	7	3588.2	3600.01	4780468
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb	SAT	1564	3588.23	3600.05	4779052
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos13.opb	SAT	-97687288	3588.25	3600.11	4779020
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb	SAT	530	3588.3	3600.31	4779396
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-GolombRuler-a3v18-11_c18.opb	SAT	77	3588.31	3600.09	4780684
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-opm2-z10-s2.opb	SAT	-32286	3588.31	3600.09	4779948
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-ta31.opb	SAT	2724	3588.31	3600.21	4780752
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-khb05250.opb	SAT	128884923235	3588.33	3600.06	4779088
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_45.opb	SAT	-486	3588.4	3600.03	4807117
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_1_mh.opb	SAT	76888144	3588.4	3600.58	4780056
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_121.opb	SAT	7392	3588.46	3600.04	4807222
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12059_8.std.opb	SAT	289	3588.46	3600.12	4779784
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat50_6_9_2_ic.opb	SAT	179387613	3588.47	3600.19	4780116
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-rococoC11-010100.mps.opb	SAT	21672	3588.52	3600.04	4817433
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-tanglegram3.opb	SAT	55949	3588.53	3600.14	4779944
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb	SAT	1051	3588.57	3600.02	4779320
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_57.opb	SAT	-773	3588.58	3600.07	4807012
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb	SAT	1038	3588.59	3600.02	4779324
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb	SAT	-41	3588.6	3600.05	4778996
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-neos-3530903-gauja.mps.opb	SAT	168	3588.62	3600.73	4817397
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3706.opb	SAT	3399089493	3588.64	3600.13	4779028
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_14_shg.opb	SAT	60	3588.66	3600.44	4780000
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb	SAT	1036	3588.68	3600.02	4779340
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_50null50mast_rapportOE2.0_TMAX120_K192_cod1.opb	SAT	-11000	3588.69	3601.65	4780200
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb	SAT	1708	3588.7	3600.03	4806662
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb	SAT	361	3588.71	3600.43	4779400
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug6.5.opb	SAT	48	3588.74	3600.05	4780284
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_0.opb	SAT	9672415	3588.75	3600.03	4780016
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat50_6_9_7_ic.opb	SAT	179626489	3588.75	3600.23	4780124
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_6.opb	SAT	52694043	3588.79	3600.02	4780012
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_18.opb.PB06.opb	SAT	1040	3588.82	3600.02	4779336
PB24/normalized-PB10/OPT-LIN/ oliveras/j120opt/normalized-j12046_10.std.opb	SAT	286	3588.83	3600.15	4779788
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-ta32.opb	SAT	3701	3588.85	3600.17	4780764
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	SAT	-31615	3588.85	3600.47	4778904
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_2_mh.opb	SAT	260142872	3588.9	3600.07	4780080
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_3_mh.opb	SAT	126758990	3588.96	3600.06	4780088
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb	SAT	-30	3588.96	3600.04	4778992
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb	SAT	182	3588.97	3600.24	4779384
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb	SAT	182	3588.99	3600.2	4779388
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb	SAT	26335	3589.03	3600.02	4779132
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb	SAT	1037	3589.03	3600.02	4779328
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-seymour.opb	SAT	424	3589.08	3600.02	4779980
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb	SAT	-28	3589.09	3600.04	4778988
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb	SAT	179	3589.12	3600.12	4779372
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-fixnet6.opb	SAT	6640347	3589.13	3600.04	4779096
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=10-t=7.opb	SAT	3	3589.2	3600.01	4780496
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_9_shg.opb	SAT	42	3589.21	3600.16	4779992
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-test4.pi.opb	SAT	104	3589.22	3600.04	4779224
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_3_shg.opb	SAT	55	3589.23	3600.12	4780004
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb	SAT	1042	3589.24	3600.02	4779352
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir09_trarea_ac.opb	SAT	51377	3589.29	3600.02	4779604
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-n3div36.opb	SAT	741	3589.3	3600.09	4779960
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_39.opb	SAT	820	3589.31	3601.04	4807537
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb	SAT	-21	3589.33	3600.02	4779008
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb	SAT	185	3589.36	3600.09	4779392
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2010/normalized-bab1.opb	SAT	-3902631	3589.38	3600.07	4780524
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_1.opb	SAT	29	3589.39	3600.06	4779644
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern35-09.lin.opb	SAT	-1241	3589.46	3600.01	4780348
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-eilA101-2.opb	SAT	44014	3589.54	3600.12	4780536
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/ normalized-BA_RDC4.dot_unif_0null10mast_rapportOE2.0_TMAX180_K67_cod2_pbEq1_newVersion.opb	SAT	-41389	3589.56	3600.46	4778908
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_6.opb	SAT	9492781	3589.57	3600.03	4780028
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb	SAT	1326	3589.58	3600.27	4779404
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat50_6_9_8_ic.opb	SAT	241935057	3589.6	3600.37	4780128
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir10_trarea_ac.opb	SAT	73649	3589.64	3600.04	4779568
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=13-t=7.opb	SAT	6	3589.67	3600.02	4780492
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat25_4_7_6_mh_ic.opb	SAT	1777019	3589.71	3600.09	4780100
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb	SAT	183	3589.77	3600.1	4779380
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_10null0mast_rapportOE1.0_TMAX300_K67_cod3.opb	SAT	-188933	3589.8	3600.39	4780180
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=12-t=2.opb	SAT	10	3589.82	3600.02	4780476
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat50_4_16_6_mh_ic.opb	SAT	23237383	3589.88	3600.74	4780092
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_6_mh_ic.opb	SAT	3118352	3589.93	3600.04	4780112
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_3_mh.opb	SAT	179355239	3590.03	3600.55	4780064
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_9.opb	SAT	5201947	3590.07	3600.03	4780048
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	SAT	-5632	3590.11	3600.55	4778888
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/ normalized-knapPI_1_10000_10000_4_-11456508.opb	SAT	-22951691	3590.2	3600.03	4804807
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/ normalized-maxcut_opt_complete_6-partite_inlv_nvert_54.opb	SAT	-729	3590.2	3600.95	4806977
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_9_mh.opb	SAT	82076292	3590.21	3600.09	4780052
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran16x16.opb	SAT	11242981	3590.27	3600.04	4779032
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_7.opb	SAT	27	3590.54	3600.06	4779636
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-neos-4165869-wannon.mps.opb	SAT	298	3590.55	3601.15	4817469
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb	SAT	-24	3590.6	3600.02	4779004
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/ normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_65.opb	SAT	-32	3590.72	3600.04	4805857
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb	SAT	-26	3590.77	3600.04	4778980
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_20null10mast_rapportOE2.0_TMAX120_K67_cod2.opb	SAT	-124731	3591.26	3600.31	4780176
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX15_K192_cod1.opb	SAT	-2208	3592.97	3603.68	4780196
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null20mast_rapportOE1.0_TMAX180_K192_cod1.opb	SAT	-36000	3594.44	3605.08	4780204
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_65.opb	SAT	-1014	3594.92	3608.47	4807152
PB24/normalized-PB11/OPT-LIN/heinz/ normalized-opm2-z12-s14.opb	SAT	-64073	3598.6	3610.49	4779972

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx63.opb	?	3584.37	3600.08	4779724
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_11_200_001.opb	?	3584.49	3600.29	4780812
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_16.opb	?	3584.75	3600.1	4779476
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_07_100_002.opb	?	3585.79	3600.15	4780800
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/ normalized-dobutsu-shogi-master-noopt.opb	?	3585.8	3601.22	4780664
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx49.opb	?	3585.89	3600.14	4779716
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ comppebvc/normalized-comppebvc_opt_120.opb	?	3586.18	3600.06	4805262
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-ta41.opb	?	3586.41	3600.15	4780784
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-swv20.opb	?	3586.64	3600.13	4780780
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_16.opb	?	3586.65	3600.09	4779520
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx30.opb	?	3586.69	3600.1	4779740
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb	?	3586.7	3600.12	4780660
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_07_050_003.opb	?	3586.73	3600.18	4780792
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_1_ic.opb	?	3586.88	3601.1	4780156
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-dg012142.opb	?	3587.12	3600.1	4779056
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-neos-807456.opb	?	3587.16	3600.01	4780532
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ comppebvc/normalized-comppebvc_opt_200.opb	?	3587.17	3600.13	4805297
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-supportcase22.opb	?	3587.22	3600.19	4780508
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_10_200_000.opb	?	3587.47	3600.23	4780824
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-RubiksCube-12-4-20-1_c24.opb	?	3587.47	3600.03	4780700
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_13_050_002.opb	?	3587.48	3600.5	4780808
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_09_050_000.opb	?	3587.51	3600.25	4780820
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx97.opb	?	3587.52	3600.06	4779708
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_17.opb	?	3587.83	3600.06	4779492
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-ta48.opb	?	3587.9	3600.16	4780756
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb10-0.20-15.opb	?	3588.12	3601.17	4780252
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ10_3.opb	?	3588.15	3600.05	4779120
PB26/normalized-PB26/OPT-LIN/devriendt/ tsplib/normalized-ts225.opb	?	3588.2	3600.13	4780732
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_15_100_002.opb	?	3588.27	3600.52	4780816
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_14.opb	?	3588.42	3600.08	4779496
PB26/normalized-PB26/OPT-LIN/devriendt/ tsplib/normalized-gr137.opb	?	3588.64	3600.48	4780736
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ comppebvc/normalized-comppebvc_opt_195.opb	?	3588.89	3600.13	4805332
PB26/normalized-PB26/OPT-LIN/ devriendt/tsplib/normalized-u159.opb	?	3588.97	3600.48	4780712
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-RubiksCube-13-4-20-0_c24.opb	?	3589.03	3600.04	4780688
PB26/normalized-PB26/OPT-LIN/devriendt/ tsplib/normalized-ch150.opb	?	3589.08	3600.58	4780724
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-neos-3024952-loue.mps.opb	?	3589.09	3600.44	4817289
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-swv16.opb	?	3589.12	3600.11	4780788
PB26/normalized-PB26/OPT-LIN/devriendt/ tsplib/normalized-kroB150.opb	?	3589.26	3600.13	4780748
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-neos-3214367-sovi.mps.opb	?	3589.56	3600.03	4817325
PB26/normalized-PB26/OPT-LIN/devriendt/ tsplib/normalized-kroB200.opb	?	3589.56	3600.39	4780720
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_4_ic.opb	?	3589.79	3601.13	4780148
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_8_shg.opb	?	3589.84	3601.82	4779996
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-ta57.opb	?	3590.07	3600.19	4780776
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_0_ic.opb	?	3590.09	3601.12	4780136
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_3_ic.opb	?	3590.25	3601.13	4780164
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_6_ic.opb	?	3590.26	3601.11	4780160
PB26/normalized-PB26/OPT-LIN/ devriendt/tsplib/normalized-pr76.opb	?	3590.95	3602.59	4780728
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_5_mh.opb	?	3591.23	3603.49	4780152
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_10null0mast_rapportOE1.0_TMAX300_K192_cod1.opb	?	3591.37	3600.46	4780184
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_20null50mast_rapportOE2.0_TMAX180_K192_cod2.opb	?	3593.04	3604.69	4780192
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_2_ic.opb	?	3595.41	3607.21	4780168

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/miplib/normalized-ej.mps.opb	? (NS)	0.003711	0.00953898	4817577
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/miplib/normalized-enlight8.mps.opb	? (NS)	0.004298	0.00980298	4817505
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_34.opb	? (NS)	0.005269	0.0109271	4805402
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_38.opb	? (NS)	0.005813	0.0113011	4805612
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_42.opb	? (NS)	0.006298	0.0117649	4805367
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_46.opb	? (NS)	0.006942	0.012581	4805577
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-sp98ic.opb	? (NS)	0.010289	0.022795	4779976
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650-max.opb	? (NS)	0.013953	0.0195119	4779288
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249-max.opb	? (NS)	0.014161	0.0197881	4779308
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880-max.opb	? (NS)	0.016319	0.02196	4779284
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-siena1.opb	? (NS)	0.017859	0.0265501	4779044
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mod011.opb	? (NS)	0.035444	0.041353	4779104
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542.opb	? (NS)	0.064666	0.070537	4779292
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb	? (NS)	0.094048	0.101735	4779024

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_90.opb	? (TO)	3600.03	3611.72	4807047
PB24/normalized-PB07/OPT-LIN/ submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb	? (TO)	3600.04	3613.91	4779632
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_block/ normalized-maxcut_opt_complete_6-partite_block_nvert_78.opb	? (TO)	3600.07	3613.13	4806942
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_85.opb	? (TO)	3600.09	3611.92	4807082
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/ normalized-dobutsu-shogi-master.opb	? (TO)	3600.1	3612.47	4780668
PB25/normalized-PB25/OPT-LIN/ wallon/normalized-Cargo-22_c24.opb	? (TO)	3600.6	3612.51	4780672

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_10null50mast_rapportOE1.0_TMAX60_K192_cod1.opb	? (MO)	896.679	900.138	4780208
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_20null50mast_rapportOE2.0_TMAX60_K192_cod1.opb	? (MO)	1412.94	1417.19	4780188
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_50.opb	? (MO)	1851.6	1858.22	4807677
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_55.opb	? (MO)	2408.04	2415.67	4807642
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_9_mh.opb	? (MO)	2689.35	2698.87	4780140

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__2048.opb	? (exit code)	320.716	321.858	4779672
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_7_mh.opb	? (exit code)	395.658	396.948	4780144
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_8_mh.opb	? (exit code)	396.901	398.27	4780132
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-FoolSolitaire-table-3-0_c24.opb	? (exit code)	796.918	799.74	4780708
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_50null0mast_rapportOE1.0_TMAX120_K192_cod2.opb	? (exit code)	1459.78	1465.07	4780212
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-StillLife-wastage-15-15_c24.opb	? (exit code)	2122.34	2129.3	4780692

PB'26 competition: benchmarks results per solver

Result page for solver Qiuqi (1 core) 2026-06-15 (complete)

Solver command line

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

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

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

Solver found a solution (SATISFIABLE) but this may not be the optimal solution (175 runs) [Show/Hide]

Solver didn't decide (UNKNOWN) (51 runs) [Show/Hide]

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

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

Solver exceeded the memory limit (no solution given) (5 runs) [Show/Hide]

Solver didn't output a solution line and terminated with an unexpected exit code (6 runs) [Show/Hide]