PB'25 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-1021.cudf.trendy.opb	UNSAT	0.013217	0.0234879	4501029
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-qnet1_o.opb	UNSAT	0.024782	0.0350999	4486079
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1077.cudf.trendy.opb	UNSAT	0.031642	0.040611	4500937
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-121.cudf.trendy.opb	UNSAT	0.083861	0.093546	4501121
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa6288-047.opb	UNSAT	0.124457	0.142527	4486677
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.newlist/normalized-rand271a0d.cudf.paranoid.opb	UNSAT	0.151579	0.177169	4501397
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-557.cudf.trendy.opb	UNSAT	0.181541	0.192488	4501075
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-584.cudf.paranoid.opb	UNSAT	0.19116	0.201332	4501581
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-rand659e05.cudf.trendy.opb	UNSAT	0.208998	0.248254	4500569
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1378.cudf.trendy.opb	UNSAT	0.263406	0.300487	4501213
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1336.cudf.trendy.opb	UNSAT	0.270616	0.306959	4501167
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-pilot.opb	UNSAT	0.337094	0.345002	4485665
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-rand65d021.cudf.trendy.opb	UNSAT	0.548934	0.561876	4500431
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum2.opb	UNSAT	1.12707	1.14265	4486171
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-sep4.5.opb	UNSAT	62.855	63.0352	4507929
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-ns1769397.opb	UNSAT	63.2353	63.4191	4522297
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat25_6_3_8_ic.opb	UNSAT	73.3746	73.6181	4505101
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_3.opb	UNSAT	89.8111	90.0055	4490449
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat25_6_3_3_ic.opb	UNSAT	140.753	141.504	4504963

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.004376	0.0107711	4485941
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-randd6bc17.cudf.trendy.opb	OPT	0	1.76129	1.85332	4500339
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_4.opb	OPT	6	60.0025	60.1323	4491231
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/area_partials/normalized-fir04_area_partials.opb	OPT	30	60.0027	60.5017	4497261
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_8x8_005.opb.metafix.opb	OPT	26	60.0031	60.1515	4508573
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=71-Q=409.opb	OPT	71	60.0034	60.1695	4488149
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_6x6_004.opb.metafix.opb	OPT	23	60.0041	60.2111	4508343
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb	OPT	50	60.0042	60.1441	4486907
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12.opb	OPT	46877	60.0043	60.1517	4498683
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45.opb	OPT	45008	60.0051	60.2151	4498913
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g4x4.opb	OPT	4	60.006	60.1358	4487965
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x3.opb	OPT	7	60.006	60.1479	4487919
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=509.opb	OPT	149	60.0061	60.1454	4488057
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r6_c60.opb	OPT	90	60.0069	60.1681	4520871
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_8x8_000.opb.metafix.opb	OPT	30	60.0078	60.2372	4508665
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb	OPT	36	60.0082	60.1415	4487459
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb	OPT	50	60.0083	60.1199	4486815
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	60.0086	60.1607	4485849
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb	OPT	36	60.0089	60.1417	4487229
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_021.opb	OPT	1	60.009	60.1819	4518387
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g2x2.opb	OPT	2	60.0092	60.1562	4487827
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-ex6inp.r.opb	OPT	4	60.0092	60.1659	4491093
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-7_14.opb	OPT	5148	60.0093	60.1516	4496341
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_6x6_000.opb.metafix.opb	OPT	16	60.0094	60.1639	4508481
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g7x7.opb	OPT	12	60.0096	60.1455	4487873
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-5_10.opb	OPT	3951	60.0102	60.1455	4496387
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	60.0106	60.1704	4485895
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb	OPT	304	60.0107	60.1599	4484147
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-6_12.opb	OPT	5867	60.0111	60.1255	4496249
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_5.opb	OPT	11	60.0114	60.1661	4491139
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/ normalized-maxcut_opt_complete_5-partite_block_nvert_12.opb	OPT	-36	60.0118	60.1568	4521009
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ4_3.opb	OPT	20	60.0119	60.1649	4486447
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_002.opb.metafix.opb	OPT	42	60.012	60.196	4508619
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb	OPT	36	60.0134	60.1747	4487137
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_008.opb.metafix.opb	OPT	50	60.0142	60.1695	4508389
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_004.opb.metafix.opb	OPT	51	60.0147	60.1796	4508297
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=131-Q=277.opb	OPT	131	60.0157	60.1762	4488333
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb	OPT	34	60.0161	60.1498	4487275
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_60_004.opb	OPT	-874	60.0164	60.1436	4523263
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb	OPT	100	60.0167	60.1463	4486723
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir01_trarea_ac.opb	OPT	13949	60.0175	60.1825	4496939
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_40_40.r.opb	OPT	2	60.0179	60.1817	4491001
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_03.opb	OPT	0	60.0184	60.2035	4519261
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=383.opb	OPT	223	60.0195	60.1654	4488471
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb	OPT	36	60.022	60.1503	4487045
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=379.opb	OPT	331	60.0221	60.2013	4488103
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_120_003.opb	OPT	-2565	60.0228	60.1563	4522941
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cc.opb	OPT	1567	60.0244	60.1595	4487643
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_04.opb	OPT	0	60.0246	60.2096	4518893
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-10_20.opb	OPT	8034	60.0294	60.1596	4496433
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_6.opb	OPT	17	60.0302	60.1749	4491277
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ strongly_correlated/normalized-knapPI_3_50_1000_2_-1678.opb	OPT	-2197	60.031	60.1619	4517927
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb	OPT	36	60.0314	60.1675	4487367
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-misc01.opb	OPT	1074317824	60.0334	60.1809	4485987
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ subset_sum/normalized-knapPI_6_200_10000_5_-48992.opb	OPT	-48992	60.0346	60.2329	4518157
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-sao2.b.opb	OPT	25	60.0392	60.1718	4487597
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-8_16.opb	OPT	5852	60.0393	60.1851	4496295
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_031.opb	OPT	1	60.0414	60.1984	4518479
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data4_3.opb	OPT	8276	60.0425	60.1781	4486217
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-11_22.opb	OPT	8908	60.0429	60.1853	4496203
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb	OPT	200	60.0455	60.1974	4486953
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_12x12_000.opb.metafix.opb	OPT	66	60.0485	60.4298	4508527
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/ normalized-knapPI_1_500_10000_2_-399276.opb	OPT	-527203	60.0525	60.2102	4518203
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_14x14_007.opb.metafix.opb	OPT	96	60.0555	60.234	4508251
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1098.cudf.trendy.opb	OPT	102017	60.0567	60.1764	4500983
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_05.opb	OPT	21	60.0569	60.2378	4521975
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=229-Q=239.opb	OPT	229	60.0586	60.2294	4488241
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_08.opb	OPT	0	60.0694	60.2416	4519077
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_delay/normalized-fir04_area_delay.opb	OPT	12	60.0771	60.245	4497307
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir02_trarea_ac.opb	OPT	24890	60.0776	60.5399	4497031
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r10_c19_a4.opb	OPT	722	60.0785	60.2323	4520411
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-990.cudf.trendy.opb	OPT	277042	60.0845	60.6415	4501259
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb	OPT	60	60.0868	60.2173	4487321
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_06.opb	OPT	28	60.088	60.284	4521837
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=109-Q=419.opb	OPT	109	60.0944	60.2941	4488287
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_16x16_009.opb.metafix.opb	OPT	115	60.1009	60.6547	4508435
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/ normalized-knapPI_3_200_10000_5_-93992.opb	OPT	-141992	60.1154	60.2819	4517973
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-count.b.opb	OPT	24	60.1297	60.2633	4487505
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir05_trarea_ac.opb	OPT	47342	60.1632	60.3324	4497077
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb	OPT	62	60.1729	60.3049	4487091
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb	OPT	64	60.1993	60.3346	4487183
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir03_trarea_ac.opb	OPT	23978	60.2011	60.3645	4496985
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-5.opb	OPT	2642	60.2223	60.3649	4484101
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_111.opb	OPT	1	60.227	60.3895	4518571
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r7_c14_a4.opb	OPT	378	60.2289	60.369	4520181
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/weakly_correlated_span/ normalized-knapPI_12_1000_1000_3_-17136.opb	OPT	-17178	60.241	60.4515	4518249
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f13-ACDoubleLoss.seq-B-2-2-irEDCBA.opb	OPT	4479155252	60.2586	60.3974	4512731
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm25p-opt.opb.negationfix.opb	OPT	7	60.3063	60.4747	4509539
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x9.opb	OPT	20	60.3142	60.4578	4487781
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f37-AC_TotalLoss.seq-B-2-2-abcdeir.opb	OPT	7665979	60.3507	60.5017	4512685
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb	OPT	64	60.3529	60.4768	4487413
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f3-DataDisplay_1_order6.seq-B-2-2-irabcde.opb	OPT	13739089	60.3832	60.5459	4512593
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f47-DC_Side1.seq-B-2-2-irabcde.opb	OPT	19643295490	60.3943	60.5806	4512547
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_071.opb	OPT	1	60.4033	60.671	4518341
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir04_trarea_ac.opb	OPT	41202	60.454	60.7188	4497123
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/similar_weights/ normalized-knapPI_9_5000_1000_1_-48768.opb	OPT	-48768	60.5105	60.6634	4518065
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r6_c80.opb	OPT	120	60.5236	60.6721	4520457
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_091.opb	OPT	1	60.5492	60.6699	4518525
PB24/normalized-PB06/OPT-LIN/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb	OPT	25	60.5636	60.7048	4490725
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_101.opb	OPT	1	60.6058	60.7579	4518433
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	60.6191	60.7732	4484653
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_opers/normalized-fir05_area_opers.opb	OPT	35	60.6512	60.8294	4497215
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-rand902db1.cudf.trendy.opb	OPT	394243446	60.7559	60.9111	4500523
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb	OPT	27	60.8276	61.0074	4509401
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r10_c20_a6.opb	OPT	1170	60.8479	61.0103	4520365
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx60.opb	OPT	6	60.8566	61.0545	4499097
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb	OPT	29	60.8691	61.0283	4509447
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j3046_9.std.opb	OPT	49	60.8824	61.1105	4500155
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx57.opb	OPT	6	60.8826	61.0556	4499235
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16d2.opb	OPT	785	60.8847	61.0127	4486769
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-bnatt350.opb	OPT	0	60.8873	61.0137	4502623
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated_span/ normalized-knapPI_11_1000_1000_5_-23276.opb	OPT	-109060	60.9055	61.0698	4518019
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.newlist/normalized-randf794d2.cudf.paranoid.opb	OPT	8228	60.9121	61.0787	4501351
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	60.9253	61.077	4484239
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j3046_8.std.opb	OPT	58	60.9635	61.3134	4500109
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height13_pigeons12_holes11.opb	OPT	105	60.965	61.1491	4519491
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f17-DCdoubleLoss.seq-B-2-2-irEDCBA.opb	OPT	55266674189	61.0148	61.186	4512455
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_18.opb	OPT	-17	61.0351	61.1681	4519813
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.newlist/normalized-rand9ffe99.cudf.trendy.opb	OPT	10818283609	61.0655	61.2335	4500385
PB25/normalized-PB25/OPT-LIN/sakai/ PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_7_label9_adversarial_norm_inf.opb	OPT	1	61.0731	61.2444	4523585
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-randbccf2d.cudf.trendy.opb	OPT	20578507799	61.0896	61.2478	4500477
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_inf.opb	OPT	1	61.1129	61.287	4523677
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb	OPT	32	61.1349	61.314	4509585
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_4_shg.opb	OPT	22	61.1408	61.2781	4502761
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir07_trarea_ac.opb	OPT	50162	61.2465	61.4058	4496847
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-1000opt.opb	OPT	-178	61.346	61.5037	4499511
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-sep5.5.opb	OPT	101	61.599	61.7712	4507837
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-rande89f80.cudf.trendy.opb	OPT	2979398	61.6697	61.7938	4500293
PB24/normalized-PB10/OPT-LIN/oliveras/ j90opt/normalized-j906_2.std.opb	OPT	86	61.7249	61.8527	4500247
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12024_3.std.opb	OPT	89	61.757	61.9128	4499833
PB24/normalized-PB10/OPT-LIN/oliveras/ j90opt/normalized-j9033_7.std.opb	OPT	109	61.7605	61.8924	4500201
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.smallist/normalized-randa13f2d.cudf.paranoid.opb	OPT	2477	61.7987	62.211	4501305
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-macrophage.opb	OPT	374	61.9208	62.0442	4502531
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_32_label3_adversarial_norm_inf.opb	OPT	2	61.9981	62.166	4523769
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx84.opb	OPT	8	62.0721	62.2559	4499005
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-650.cudf.paranoid.opb	OPT	2	62.181	62.4511	4501627
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r17_c34_a4.opb	OPT	2278	62.2174	62.3636	4519997
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j1202_6.std.opb	OPT	92	62.2712	62.4767	4499925
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx92.opb	OPT	9	62.3087	62.5209	4499189
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12024_1.std.opb	OPT	93	62.3465	62.5737	4499879
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-oct6.5.opb	OPT	101	62.3732	62.5869	4507883
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f53-AC_FC1.seq-A-2-1-EDCBAir.opb	OPT	-1336666903	62.5977	62.7633	4512639
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/profit_ceiling/ normalized-knapPI_15_2000_1000_5_-50838.opb	OPT	-17191	62.6389	62.914	4518111
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat15_5_3_6_mh.opb	OPT	7586846	63.0434	63.2249	4504411
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=10-t=9.opb	OPT	1	63.1433	63.2743	4517559
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jun6.5.opb	OPT	67	63.1622	63.3703	4508205
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-4.opb	OPT	813	63.2115	63.3826	4484009
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12042_6.std.opb	OPT	119	63.3757	63.5339	4500017
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/ normalized-maxcut_opt_complete_6-partite_inlv_nvert_18.opb	OPT	-81	63.4427	63.6014	4521147
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat15_5_3_3_ic.opb	OPT	5900212	63.4585	63.6337	4505009
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa7552-159.opb	OPT	1327	63.5139	63.6492	4486999
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-edgecross14-019.lin.opb	OPT	4	63.6569	63.8186	4509033
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jul6.5.opb	OPT	79	63.9448	64.109	4508021
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.02.opb	OPT	44	64.0418	64.2015	4490173
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.07.opb	OPT	37	64.1509	64.3334	4490035
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r6_c50.opb	OPT	76	64.209	64.3795	4520503
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jun5.5.opb	OPT	145	64.3163	64.5053	4508067
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__512.opb	OPT	45008	64.332	64.507	4498499
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height16_pigeons15_holes14.opb	OPT	153	64.3778	64.5681	4519307
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm99p-opt.opb.negationfix.opb	OPT	64	64.4078	64.6227	4509309
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.00.opb	OPT	34	64.4497	64.6394	4490219
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-addm4.r.opb	OPT	165	64.5958	64.7581	4490955
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.14.opb	OPT	42	64.5984	64.8035	4489989
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.08.opb	OPT	34	64.729	64.8951	4490127
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.12.opb	OPT	41	64.8247	65.0182	4489943
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-oct5.5.opb	OPT	167	64.8411	65.0217	4508159
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f12-ACDoubleLoss.seq-B-3-combined-EDCBAir.opb	OPT	-310536843	65.1297	65.3351	4512363
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f50-DC_side2.seq-B-3-1-EDCBAir.opb	OPT	-2125803880	65.4063	65.6127	4512501
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-hanoi5.opb	OPT	1931	65.5622	65.7636	4502669
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r21_c41_a4.opb	OPT	3362	65.6488	65.8042	4520227
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.10.opb	OPT	49	66.3203	66.5028	4490081
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.11.opb	OPT	38	66.3455	66.5174	4489897
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir06_trarea_ac.opb	OPT	33456	66.5824	66.7428	4496801
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_351.opb	OPT	1	66.9839	67.1837	4518755
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_2pm-0055-0055.lin.opb	OPT	-20	67.4899	67.678	4508987
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-5000opt.opb	OPT	-169	67.5371	67.7584	4499787
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm85p-opt.opb.negationfix.opb	OPT	54	67.7017	67.9215	4509355
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i8_pp_87_merged.opb	OPT	346	67.954	68.1564	4522895
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	68.0443	68.2212	4484607
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	68.1617	68.3361	4520273
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=7-t=3.opb	OPT	4	68.2533	68.4326	4517789
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/9orless/normalized-gpc-4.1.cudf.paranoid.opb	OPT	146114	68.4521	68.953	4501535
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r22_c44_a5.opb	OPT	5742	68.6069	68.7755	4520135
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/9orless/normalized-mono-mcs.cudf.paranoid.opb	OPT	141778	68.6893	68.8708	4501489
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/9orless/normalized-libgnokii4.cudf.paranoid.opb	OPT	146081	68.8178	69.3065	4501443
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:98.opb	OPT	2	69.3163	69.4615	4484469
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-kdessh.cudf.trendy.opb	OPT	2624366011833	69.6729	69.8371	4500615
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-python-cairo.cudf.trendy.opb	OPT	2624366011833	69.718	69.8829	4500845
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-synaptic.cudf.trendy.opb	OPT	2624366011833	69.7956	69.9943	4500891
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-mono-gac.cudf.trendy.opb	OPT	2624366011833	69.8884	70.0583	4500753
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-libgnokii4.cudf.trendy.opb	OPT	2703522196109	69.8946	70.0731	4500661
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/9orless/normalized-kfilereplace.cudf.trendy.opb	OPT	2624366011833	69.9051	70.3829	4500707
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__1024.opb	OPT	45008	70.0896	70.4259	4498775
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-libnspr4-dev.cudf.trendy.opb	OPT	3656703476375	70.3305	70.999	4500799
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2/normalized-lp4l.opb	OPT	2967	70.7234	70.9009	4522435
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos11.opb	OPT	9216	70.8681	71.0557	4485159
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-9symml.opb	OPT	4517	71.0242	71.2177	4487689
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_29.opb	OPT	-56	71.6729	71.8847	4519767
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-may6.5.opb	OPT	43	71.8686	72.0674	4507975
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_501.opb	OPT	1	71.906	72.3398	4518663
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_12.opb	OPT	-22	71.9668	72.1416	4519675
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_20.opb	OPT	-96	72.3425	72.5677	4521285
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_1.opb	OPT	2	72.3913	72.5928	4523723
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_008_area_delay.opb	OPT	25	72.4356	72.6555	4496525
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_011_area_delay.opb	OPT	26	72.6786	73.0323	4496617
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.B.recomb1-0.01-3.opb	OPT	6	72.7359	72.9712	4506481
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_230_000.opb	OPT	-7236	75.5309	75.7211	4523125
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__16.opb	OPT	95378	75.6118	75.8373	4498637
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.01-5.opb	OPT	3521	76.9667	77.2933	4506665
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_260_007.opb	OPT	-7944	77.6124	77.8185	4523217
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.E.recomb10-0.20-11.opb	OPT	9588	78.2368	78.498	4506297
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_451.opb	OPT	1	79.1891	79.3748	4518709
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-Charlotte-06-2_c24.opb	OPT	5612	79.6392	79.8858	4524091
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.01-5.opb	OPT	14043	80.9374	81.1593	4506573
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_10000_3_0.95_1.opb	OPT	1176	81.8873	82.1299	4522573
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.01-4.opb	OPT	17444	82.0425	82.3137	4506619
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_32_label3_adversarial_norm_1.opb	OPT	4	83.1536	83.3754	4523493
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.01-3.opb	OPT	15414	83.543	83.8511	4506527
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-8000opt.opb	OPT	-76	85.1787	85.4897	4499695
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_401.opb	OPT	1	88.05	88.2526	4518617
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/ normalized-knapPI_3_5000_1000_4_-199683.opb	OPT	-296283	89.168	89.4301	4517881
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r31_c62_a6.opb	OPT	11439	94.9047	95.1508	4520089
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i8_pp_92.opb	OPT	750	94.9966	95.3578	4522481
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.B.recomb1-0.20-11.opb	OPT	7	95.0315	95.3767	4506251
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_ladder/ normalized-BA_RDC4.dot_luby_10null0mast_rapportOE2.0_TMAX15_K67_cod2_pbEq1_newVersion_ladder.opb	OPT	-72	95.0411	95.2755	4483779
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r26_c52_a5.opb	OPT	8034	97.9172	98.1893	4520319
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_001_area_delay.opb	OPT	28	100.233	100.562	4496663
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-3000opt.opb	OPT	-81	102.649	102.934	4499373
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.20-14.opb	OPT	5267	102.76	103.084	4506435
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir09_trarea_ac.opb	OPT	50769	104.598	104.862	4497169
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_30.opb	OPT	-29	105.847	106.187	4519583
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-3000opt.opb	OPT	-187	106.085	106.387	4499741
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_0.opb	OPT	2	107.027	107.314	4523401
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_3.opb	OPT	2	107.556	107.789	4490265
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irabcde.opb	OPT	134248448	107.67	108.108	4512409
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-4000opt.opb	OPT	-164	108.154	108.467	4499603
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-neos-538867.opb	OPT	122	109.521	109.843	4502577
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_4_mh_ic.opb	OPT	2218686	109.636	110.011	4504779
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_26.opb	OPT	-76	113.546	113.91	4519537
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-2000opt.opb	OPT	-70	116.539	116.858	4499419
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb10-0.10-9.opb	OPT	47741	117.173	117.501	4506343
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat15_5_3_2_mh.opb	OPT	5950590	126.674	127.083	4504273
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r33_c65_a6.opb	OPT	12675	132.313	132.665	4520043
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-2000opt.opb	OPT	-167	134.449	134.805	4499557
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_013_area_delay.opb	OPT	22	135.457	135.805	4496571
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/ normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_074.opb	OPT	2738	136.995	137.36	4521377
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb10-0.20-12.opb	OPT	54713	137.372	137.845	4506389
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-8000opt.opb	OPT	-162	140.179	140.549	4499465
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_10000_10_0.85_3.opb	OPT	2	141.001	141.376	4522665
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_025_area_delay.opb	OPT	25	152.828	153.274	4496479
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb	OPT	115	157.027	157.414	4509217
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_25000_5_0.75_3.opb	OPT	440	170.458	171.112	4522803
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir08_trarea_ac.opb	OPT	70311	173.785	174.205	4496893
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb	OPT	126	176.175	176.707	4509263
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=8-t=3.opb	OPT	5	202.289	202.897	4517743
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-6000opt.opb	OPT	-175	219.9	220.616	4499649
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_010_area_delay.opb	OPT	26	223.504	224.329	4496709
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_410_001.opb	OPT	-13240	223.996	224.592	4523309
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb	OPT	18	229.455	230.063	4497675
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb	OPT	9	231.564	232.161	4523815
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_25000_10_0.95_10.opb	OPT	0	244.359	245.012	4522849
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_73_label5_adversarial_norm_inf.opb	OPT	4	248.454	249.111	4523631
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_75.opb	OPT	-148	252.302	252.994	4519721
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-TestScheduling-t030m10r05-1_c24.opb	OPT	1986	253.926	254.635	4524275
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_300_10_20.r.opb	OPT	17	264.777	265.5	4491047
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_delay/normalized-fir08_area_delay.opb	OPT	23	279.18	280.07	4497353
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_2.opb	OPT	3	297.564	298.316	4523539
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_25.opb	OPT	-150	353.613	354.6	4521331
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_1.opb	OPT	2899749	365.192	366.304	4503859
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_2.opb	OPT	3367493	417.694	418.823	4503767
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_binary/ normalized-BA_RDC4.dot_luby_0null50mast_rapportOE2.0_TMAX60_K67_cod2_pbEq1_newVersion_binary.opb	OPT	-1290	488.909	490.377	4483825
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-2.opb	OPT	939	541.799	543.204	4484193
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_25000_10_0.85_7.opb	OPT	0	578.161	579.867	4522757
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/ normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_120.opb	OPT	7200	609.431	611.005	4521469
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir10_trarea_ac.opb	OPT	73649	634.534	636.366	4496755
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height30_pigeons29_holes28.opb	OPT	496	755.7	759.117	4519445
PB25/normalized-PB25/OPT-LIN/ wallon/normalized-Cargo-24_c24.opb	OPT	94204	782.594	784.966	4524229
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_25000_10_0.75_2.opb	OPT	4	848.943	851.36	4522619
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-alu4.b.opb	OPT	50	948.995	951.635	4487551
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-Charlotte-mini-24-2_c24.opb	OPT	20324	1341.83	1345.56	4524045
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32c2.opb	OPT	207	1399.35	1403.69	4486631
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_3.opb	OPT	0	1430.78	1434.35	4490357
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_022.opb	OPT	264	1441.93	1446.01	4521607
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/ normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_140.opb	OPT	9800	1703.23	1707.57	4521423
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=14-t=2.opb	OPT	12	1928.11	1934.18	4517835
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib3/normalized-mitre.opb	OPT	7677	2157.13	2164.77	4522021
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_33.opb	OPT	595	2267.89	2276.3	4521929
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_0.opb	OPT	3	2331.6	2338.15	4523447
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-3.opb	OPT	3031	2424.72	2430.85	4484055
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/ normalized-BA_RDC4.dot_fibo_10null50mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion.opb	OPT	-322602	2823.25	2830.28	4483963

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_36.opb	SAT (TO)	0	3600.01	3609.71	4519123
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_160.opb	SAT (TO)	408	3600.01	3609.71	4520779
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=18-t=2.opb	SAT (TO)	16	3600.01	3610.2	4517513
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb	SAT (TO)	176	3600.01	3609.2	4489161
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_3_shg.opb	SAT (TO)	36	3600.02	3611.42	4502991
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb	SAT (TO)	-35	3600.02	3608.81	4485021
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_058.opb	SAT (TO)	1740	3600.02	3609.81	4521745
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb	SAT (TO)	179	3600.02	3610.6	4489207
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament18.lin.opb	SAT (TO)	-80	3600.02	3612.12	4508757
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_12.opb	SAT (TO)	97	3600.02	3609.8	4491323
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_054.opb	SAT (TO)	1512	3600.03	3610.41	4521561
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_071.opb	SAT (TO)	2556	3600.03	3610.02	4521515
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb	SAT (TO)	-44	3600.03	3609.71	4484975
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-max1024.r.opb	SAT (TO)	246	3600.03	3610.02	4490909
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb	SAT (TO)	186	3600.03	3609.62	4489115
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2017/normalized-2club200v15p5scn.opb	SAT (TO)	-70	3600.03	3610.2	4522159
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/ normalized-maxcut_opt_complete_5-partite_block_nvert_47.opb	SAT (TO)	-540	3600.03	3609.71	4520917
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_290.opb	SAT (TO)	1040	3600.03	3610.12	4520733
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb	SAT (TO)	183	3600.04	3609.5	4489391
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.5:100.opb	SAT (TO)	5	3600.04	3609.91	4484515
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb	SAT (TO)	-51	3600.04	3609.81	4484837
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_16.opb	SAT (TO)	216	3600.04	3609.41	4491369
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb	SAT (TO)	1659	3600.04	3610.72	4520595
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb	SAT (TO)	-54	3600.04	3609.41	4484699
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ10_3.opb	SAT (TO)	292	3600.04	3609.71	4486355
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb	SAT (TO)	1028	3600.04	3609.31	4488885
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb	SAT (TO)	20	3600.04	3609.91	4497399
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug6.5.opb	SAT (TO)	48	3600.04	3610.04	4508113
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb	SAT (TO)	1035	3600.04	3609.2	4488931
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb	SAT (TO)	-54	3600.04	3609.31	4484745
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_038.opb	SAT (TO)	760	3600.04	3611.21	4521791
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/ normalized-maxcut_opt_complete_5-partite_block_nvert_90.opb	SAT (TO)	-1944	3600.05	3610.42	4520963
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_26.opb	SAT (TO)	0	3600.05	3610.41	4518985
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb	SAT (TO)	7	3600.05	3609.2	4490679
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_2pm-0088-0888.lin.opb	SAT (TO)	-55	3600.05	3610.2	4509079
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb	SAT (TO)	-52	3600.05	3609.51	4484791
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb	SAT (TO)	19	3600.05	3609.4	4490311
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2017/normalized-sp98ar.opb	SAT (TO)	850884	3600.05	3610.24	4522113
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=20-t=2.opb	SAT (TO)	18	3600.05	3610.6	4517467
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb	SAT (TO)	-49	3600.05	3609.41	4484883
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_20.opb	SAT (TO)	-20	3600.05	3610.4	4519905
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_3.opb	SAT (TO)	14	3600.06	3608.9	4490403
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb	SAT (TO)	21	3600.06	3611.22	4497813
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug5.5.opb	SAT (TO)	111	3600.06	3610.31	4507791
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_7.opb	SAT (TO)	22	3600.06	3610.23	4497491
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb	SAT (TO)	1036	3600.06	3611.12	4488701
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ comppebvc/normalized-comppebvc_opt_75.opb	SAT (TO)	2889	3600.06	3609.42	4518801
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb	SAT (TO)	263	3600.06	3610.26	4489667
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data10_3.opb	SAT (TO)	74936	3600.06	3609.21	4486539
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb	SAT (TO)	-35	3600.06	3609.6	4485113
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/ normalized-maxcut_opt_complete_6-partite_inlv_nvert_87.opb	SAT (TO)	-1892	3600.06	3610.32	4521055
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb	SAT (TO)	16	3600.06	3612.52	4509493
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.95:98.opb	SAT (TO)	12	3600.06	3609.62	4484561
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_17.opb	SAT (TO)	0	3600.06	3609.02	4519031
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.95:100.opb	SAT (TO)	2	3600.06	3610.41	4484377
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb	SAT (TO)	24619	3600.06	3609.4	4486493
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_clique-40.lin.opb	SAT (TO)	1183	3600.06	3613.52	4509125
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core2536-691.opb	SAT (TO)	715	3600.07	3609.85	4485573
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb	SAT (TO)	-35	3600.07	3609.7	4485067
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-g125.18.opb	SAT (TO)	2243	3600.07	3608.96	4486861
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_60.opb	SAT (TO)	-30	3600.07	3611.62	4519859
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_11.opb	SAT (TO)	74	3600.07	3609.4	4490817
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_5.opb	SAT (TO)	4341119	3600.07	3609.64	4503905
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_9.opb	SAT (TO)	21	3600.07	3610.64	4497537
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_550.opb	SAT (TO)	3255	3600.07	3610.42	4520549
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-protfold.opb	SAT (TO)	-26	3600.07	3610.81	4502393
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=13-t=7.opb	SAT (TO)	6	3600.07	3610.11	4517697
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.5:100.opb	SAT (TO)	9	3600.07	3609.13	4484423
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g100x100.opb	SAT (TO)	2076	3600.07	3608.91	4487735
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_4.opb	SAT (TO)	5145055	3600.07	3610.07	4504043
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb	SAT (TO)	1038	3600.08	3610.01	4488563
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb	SAT (TO)	1034	3600.08	3609.81	4488793
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_7.opb	SAT (TO)	6152771	3600.08	3610.46	4503997
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_19.opb	SAT (TO)	360	3600.08	3610.91	4490771
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=13-t=8.opb	SAT (TO)	5	3600.08	3610.6	4517421
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb	SAT (TO)	182	3600.08	3609.91	4489345
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_4.opb	SAT (TO)	15	3600.08	3609.3	4490541
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb	SAT (TO)	1037	3600.08	3609.81	4488747
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb	SAT (TO)	1030	3600.08	3609.62	4488517
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g15x15.opb	SAT (TO)	53	3600.08	3612.5	4488011
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-Clique-c0125-9_c24.opb	SAT (TO)	-34	3600.08	3610.01	4524367
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb	SAT (TO)	183	3600.08	3610.6	4489023
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ6_3.opb	SAT (TO)	64	3600.09	3609.5	4486401
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.95:98.opb	SAT (TO)	4	3600.09	3609.51	4484285
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb	SAT (TO)	187	3600.09	3609.6	4488977
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_50.opb	SAT (TO)	0	3600.09	3610.52	4519169
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_1.opb	SAT (TO)	26	3600.09	3609.27	4497583
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/multiple_strongly_correlated/ normalized-knapPI_14_10000_1000_2_-407357.opb	SAT (TO)	-539657	3600.09	3610.83	4518295
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb	SAT (TO)	180	3600.09	3609.9	4489253
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_14.opb	SAT (TO)	145	3600.09	3612.12	4491185
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament26.lin.opb	SAT (TO)	-166	3600.09	3609.8	4508849
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb	SAT (TO)	20	3600.09	3611.31	4497721
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-sorrell8.opb	SAT (TO)	-350	3600.09	3610.61	4522067
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_22.opb	SAT (TO)	-22	3600.09	3610.51	4519951
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_19.opb	SAT (TO)	0	3600.1	3611.6	4518847
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_390.opb	SAT (TO)	1800	3600.1	3609.71	4520825
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_16.opb	SAT (TO)	0	3600.1	3613.61	4519215
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb	SAT (TO)	1033	3600.1	3609.9	4488655
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_4.opb	SAT (TO)	2	3600.1	3610.11	4490495
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb	SAT (TO)	-49	3600.1	3609.71	4484929
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb	SAT (TO)	256	3600.1	3609.17	4489437
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_070.opb	SAT (TO)	2520	3600.1	3610.11	4521653
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb	SAT (TO)	1036	3600.1	3609.8	4488609
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb	SAT (TO)	180	3600.1	3609.5	4489069
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ8_3.opb	SAT (TO)	146	3600.1	3609.3	4486263
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=11-t=8.opb	SAT (TO)	3	3600.1	3610.6	4517605
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb	SAT (TO)	19	3600.1	3609.92	4497767
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb	SAT (TO)	18664545967	3600.1	3609.72	4486125
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_13.opb	SAT (TO)	119	3600.1	3608.5	4490863
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_13_shg.opb	SAT (TO)	60	3600.11	3610.43	4502807
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/ normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_32.opb	SAT (TO)	-16	3600.11	3611.61	4519629
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb	SAT (TO)	244	3600.11	3610.86	4489805
PB24/normalized-PB11/OPT-LIN/heinz/ normalized-neos-1616732.opb	SAT (TO)	159	3600.11	3608.8	4502715
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.95:100.opb	SAT (TO)	3	3600.11	3610.52	4484331
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat100_4_32_6.opb	SAT (TO)	5755703	3600.11	3612.6	4504135
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-neos-544324.opb	SAT (TO)	16	3600.11	3608.47	4502301
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core2586-950.opb	SAT (TO)	990	3600.12	3610.53	4485251
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb	SAT (TO)	1040	3600.12	3609.12	4488839
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=10-t=3.opb	SAT (TO)	7	3600.12	3610.02	4517651
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_0.opb	SAT (TO)	4241631	3600.12	3611.36	4504181
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb	SAT (TO)	252	3600.13	3610.16	4489621
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_5.opb	SAT (TO)	4333081	3600.13	3609.83	4503813
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb	SAT (TO)	1614	3600.13	3610.06	4485389
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12055_1.std.opb	SAT (TO)	101	3600.13	3611.39	4499971
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_8.opb	SAT (TO)	4184139	3600.13	3614.39	4503951
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-opm2-z7-s2.opb	SAT (TO)	-10229	3600.13	3611.32	4522343
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell3a.opb	SAT (TO)	89953829811325	3600.13	3609.73	4486033
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb	SAT (TO)	231	3600.14	3610.76	4489851
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb	SAT (TO)	242	3600.14	3611.32	4489713
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-biella1.opb	SAT (TO)	34551287883878400	3600.14	3609.04	4485481
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb	SAT (TO)	249	3600.14	3611.13	4489575
PB24/normalized-PB11/OPT-LIN/heinz/ normalized-methanosarcina.opb	SAT (TO)	2745	3600.14	3610.18	4502347
PB24/normalized-PB07/OPT-LIN/ submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb	SAT (TO)	27	3600.15	3610.8	4497445
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_042.opb	SAT (TO)	924	3600.15	3609.47	4521699
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__8.opb	SAT (TO)	87132	3600.15	3611.2	4498729
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb	SAT (TO)	1132	3600.16	3611.14	4485527
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_9.opb	SAT (TO)	4740939	3600.18	3609.58	4504089
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_11_shg.opb	SAT (TO)	64	3600.2	3609.6	4503037
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb	SAT (TO)	182	3600.2	3608.87	4489299
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-roll3000.opb	SAT (TO)	1087989760	3600.21	3610.29	4485619
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb	SAT (TO)	248	3600.22	3611.33	4489759
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_450_009.opb	SAT (TO)	-14726	3600.24	3610.2	4523079
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern60-15.lin.opb	SAT (TO)	-11122	3600.25	3610.86	4508895
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat50_6_9_3_ic.opb	SAT (TO)	30319027	3600.27	3614.02	4505055
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-GolombRuler-a3v18-15_c18.opb	SAT (TO)	187	3600.27	3609.6	4524183
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern60-45.lin.opb	SAT (TO)	-119206	3600.28	3609.03	4508941
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-n3div36.opb	SAT (TO)	701	3600.28	3610.46	4502439
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_1_mh.opb	SAT (TO)	3373010	3600.35	3611.22	4504227
PB24/normalized-PB15eval/OPT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay75.lin.opb	SAT (TO)	2489719	3600.38	3610.33	4508803
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat35_4_11_4_mh_ic.opb	SAT (TO)	6860473	3600.39	3610.75	4504733
PB24/normalized-PB10/OPT-LIN/oliveras/ j60opt/normalized-j6045_4.std.opb	SAT (TO)	110	3600.4	3609.3	4500063
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_4_mh.opb	SAT (TO)	3938224	3600.44	3614.19	4504549
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-SameQueensKnights-b-35_c24.opb	SAT (TO)	-59	3600.46	3611.36	4524321
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat35_4_11_2_mh_ic.opb	SAT (TO)	6265032	3600.48	3611.31	4504871
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_unif_10null0mast_rapportOE2.0_TMAX180_K67_cod3.opb	SAT (TO)	-39479	3600.54	3610.7	4505699
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_5_ic.opb	SAT (TO)	141187447	3600.59	3612.57	4505147
PB24/normalized-PB15eval/OPT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb	SAT (TO)	1618959	3600.59	3611.62	4508711
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_2_ic.opb	SAT (TO)	124507641	3600.61	3611.89	4505561
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-opm2-z9-s14.opb	SAT (TO)	-23566	3600.61	3612.18	4502485
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_3_ic.opb	SAT (TO)	259140501	3600.62	3612.45	4505515
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_4_ic.opb	SAT (TO)	162753453	3600.63	3612.95	4505239
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-013.opb	SAT (TO)	-114169	3600.65	3611.52	4523171
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_7_ic.opb	SAT (TO)	131760717	3600.66	3611.65	4505285
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat35_4_11_0_mh_ic.opb	SAT (TO)	9278592	3600.67	3610.29	4504687
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_2_mh.opb	SAT (TO)	6102808	3600.68	3611.53	4504503
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i2_pp_94.opb	SAT (TO)	1056	3600.73	3610.38	4522527
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_ladder/ normalized-BA_RDC4.dot_unif_0null10mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion_ladder.opb	SAT (TO)	-73371	3600.81	3611.56	4483733
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f58-fob_fxl_loss.seq-A-3-1-irEDCBA.opb	SAT (TO)	7764998808	3600.84	3610.53	4512317
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data8_3.opb	SAT (TO)	43860	3600.86	3609.58	4486309
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat25_4_7_6_mh_ic.opb	SAT (TO)	1178861	3600.86	3610.59	4504825
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_1_ic.opb	SAT (TO)	264585461	3600.91	3612.04	4505331
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat50_4_16_7_mh_ic.opb	SAT (TO)	27442048	3600.92	3610.73	4504917
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_0null20mast_rapportOE1.0_TMAX180_K67_cod1.opb	SAT (TO)	-261484	3600.92	3611.28	4505607
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_3_mh.opb	SAT (TO)	4756652	3600.93	3611.84	4504319
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_0_ic.opb	SAT (TO)	145638483	3600.94	3611.99	4505193
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_50null20mast_rapportOE2.0_TMAX60_K67_cod2.opb	SAT (TO)	-53743	3600.95	3609.7	4505745
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_4_mh.opb	SAT (TO)	3914166	3600.95	3610.33	4504595
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_product/ normalized-BA_RDC4.dot_luby_10null20mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion_product.opb	SAT (TO)	-7048	3600.99	3611.27	4483917
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_5_mh.opb	SAT (TO)	4692674	3601.01	3610.53	4504365
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_6_mh.opb	SAT (TO)	5052367	3601.05	3611	4504457
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb	SAT (TO)	-142675	3601.18	3612.52	4505653
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_seq/ normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion_sequential.opb	SAT (TO)	-726	3601.22	3610.26	4483871
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm50p-opt.opb.negationfix.opb	SAT (TO)	61	3601.34	3611.15	4509171
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height37_pigeons36_holes35.opb	SAT (TO)	746	3602.24	3613.09	4519399

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2017/normalized-scpm1.opb	SAT (MO)	624	261.452	262.278	4522205
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_8_shg.opb	SAT (MO)	333	1788.89	1793.84	4502899

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_54.opb	?		88.4667	88.7233	4521883
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-FoolSolitaire-table-2-0_c24.opb	?		142.418	142.819	4524137

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_6_50_1.opb	? (TO)	3600.01	3609.11	4490633
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_2.opb	? (TO)	3600.06	3610.7	4490587
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx63.opb	? (TO)	3600.07	3610.06	4499143
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx75.opb	? (TO)	3600.11	3610.59	4499281
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx30.opb	? (TO)	3600.11	3610.51	4499327
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx49.opb	? (TO)	3600.12	3610.53	4499051
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-grow7.opb	? (TO)	3600.15	3609.59	4485803
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb	? (TO)	3600.16	3609.02	4485435
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx97.opb	? (TO)	3600.31	3609.8	4498959
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-greenbeb.opb	? (TO)	3600.34	3611.54	4485711
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-WordGolf-4-ogd2008-50-0_c24.opb	? (TO)	3600.55	3610.47	4523999
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb	? (TO)	3600.65	3612.53	4485297
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb	? (TO)	3601.23	3610.83	4488379
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/ normalized-maxcut_opt_complete_6-partite_inlv_nvert_69.opb	? (TO)	3602.02	3613.9	4521101
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-ab51-40-100.opb	? (TO)	3602.03	3611.51	4522251
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-f1000.opb	? (TO)	3602.03	3612.2	4486585
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_36.opb	? (TO)	3602.04	3612.4	4518939
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_680_004.opb	? (TO)	3602.05	3613.35	4523355
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_9_shg.opb	? (TO)	3602.06	3612.61	4502853
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_430.opb	? (TO)	3602.06	3611.21	4520641
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_14_shg.opb	? (TO)	3602.07	3612.52	4502945
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-AztecDiamondSym-mini-07_c24.opb	? (TO)	3602.07	3612.71	4523953
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_400.opb	? (TO)	3602.08	3612.81	4520687
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/ normalized-maxcut_opt_complete_6-partite_inlv_nvert_84.opb	? (TO)	3602.08	3613.01	4521193
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb	? (TO)	3602.08	3612.47	4489529
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_4.opb	? (TO)	3602.1	3612.12	4497629
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_50.opb	? (TO)	3602.1	3612.4	4521239
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb	? (TO)	3602.11	3613.11	4489483
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_610_007.opb	? (TO)	3602.15	3612.57	4522987
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_0_mh.opb	? (TO)	3602.34	3614.24	4504641
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height46_pigeons45_holes44.opb	? (TO)	3602.34	3615.02	4519353
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-siena1.opb	? (TO)	3602.39	3611.37	4485343
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-017.opb	? (TO)	3602.61	3612.05	4523033

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__256.opb	? (MO)	51.3552	51.4792	4498867
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__256.opb	? (MO)	53.9661	54.1014	4498821
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_0null0mast_rapportOE2.0_TMAX120_K192_cod2.opb	? (MO)	58.857	59.0259	4505883
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_0null0mast_rapportOE2.0_TMAX120_K192_cod2.opb	? (MO)	59.0884	59.2437	4506067
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_50null20mast_rapportOE1.0_TMAX120_K192_cod2.opb	? (MO)	59.6649	59.8657	4506159
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_10null0mast_rapportOE2.0_TMAX180_K192_cod1.opb	? (MO)	62.2902	62.538	4506021
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__2048.opb	? (MO)	67.7579	67.9579	4498545
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_10null10mast_rapportOE1.0_TMAX180_K192_cod1.opb	? (MO)	69.3469	69.7546	4506205
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_50000_3_0.85_4.opb	? (MO)	71.2196	71.4783	4522711
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_10null10mast_rapportOE2.0_TMAX15_K192_cod1.opb	? (MO)	71.8723	72.1615	4506113
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_20null0mast_rapportOE2.0_TMAX300_K192_cod1.opb	? (MO)	76.4507	76.7113	4505837
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_1_mh.opb	? (MO)	80.7544	81.0382	4505377
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_6_mh.opb	? (MO)	81.1306	81.4386	4505469
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_4_mh.opb	? (MO)	82.5402	82.8443	4505423
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb	? (MO)	88.626	88.85	4488425
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727.opb	? (MO)	89.4983	89.7668	4488195
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2010/normalized-bab3.opb	? (MO)	144.762	145.223	4522389
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-d6cube.opb	? (MO)	161.097	161.502	4485757
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX180_K192_cod1.opb	? (MO)	182.174	182.735	4505791
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX120_K192_cod1.opb	? (MO)	268.148	268.898	4505929
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_10null50mast_rapportOE2.0_TMAX180_K192_cod1.opb	? (MO)	299.082	299.927	4505975
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-rail507.opb	? (MO)	1541.19	1545.32	4485205
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/ normalized-dobutsu-shogi-master.opb	? (MO)	2562.11	2573.05	4523907
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__64.opb	? (MO)	2790.74	2798.61	4498591
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/ normalized-dobutsu-shogi-master-noopt.opb	? (MO)	3602.11	3616.13	4523861

PB'25 competition: benchmarks results per solver

Result page for solver ExactPR 2025-06-01 (complete)

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

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

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

Solver timed out but found at least a solution (184 runs) [Show/Hide]

Solver exceeded the memory limit but found at least a solution (2 runs) [Show/Hide]

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

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

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