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-1077.cudf.trendy.opb	UNSAT	0.012422	0.021504	4500939
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1021.cudf.trendy.opb	UNSAT	0.014903	0.034372	4501031
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-qnet1_o.opb	UNSAT	0.024438	0.031141	4486081
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.newlist/normalized-rand271a0d.cudf.paranoid.opb	UNSAT	0.051651	0.0613421	4501399
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-rand659e05.cudf.trendy.opb	UNSAT	0.076058	0.085079	4500571
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-121.cudf.trendy.opb	UNSAT	0.085456	0.106625	4501123
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1336.cudf.trendy.opb	UNSAT	0.090208	0.0989209	4501169
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1378.cudf.trendy.opb	UNSAT	0.09244	0.100256	4501215
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa6288-047.opb	UNSAT	0.121437	0.131603	4486679
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-557.cudf.trendy.opb	UNSAT	0.186693	0.209302	4501077
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-584.cudf.paranoid.opb	UNSAT	0.190489	0.208545	4501583
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-rand65d021.cudf.trendy.opb	UNSAT	0.21595	0.22664	4500433
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-pilot.opb	UNSAT	0.336544	0.344343	4485667
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum2.opb	UNSAT	1.11143	1.1224	4486173
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-ns1769397.opb	UNSAT	12.0337	12.0777	4522299
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_3.opb	UNSAT	27.9695	28.1338	4490451
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat25_6_3_8_ic.opb	UNSAT	71.2571	71.4419	4505103
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat25_6_3_3_ic.opb	UNSAT	142.414	142.797	4504965
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx30.opb	UNSAT	158.106	158.797	4499329
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-sep4.5.opb	UNSAT	1061.32	1064.18	4507931

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.004476	0.0113829	4485943
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g2x2.opb	OPT	2	0.006969	0.0182671	4487829
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g4x4.opb	OPT	4	0.007782	0.0177689	4487967
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb	OPT	50	0.009786	0.0182391	4486909
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x3.opb	OPT	7	0.011708	0.018518	4487921
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_03.opb	OPT	0	0.011897	0.0251121	4519263
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_6x6_004.opb.metafix.opb	OPT	23	0.015873	0.0309979	4508345
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_6x6_000.opb.metafix.opb	OPT	16	0.015905	0.027031	4508483
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_8x8_000.opb.metafix.opb	OPT	30	0.017478	0.0306979	4508667
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_8x8_005.opb.metafix.opb	OPT	26	0.018761	0.02773	4508575
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb	OPT	304	0.019822	0.042058	4484149
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12.opb	OPT	46877	0.019898	0.0313409	4498685
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cc.opb	OPT	1567	0.020615	0.0276201	4487645
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_60_004.opb	OPT	-874	0.022729	0.103361	4523265
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/area_partials/normalized-fir04_area_partials.opb	OPT	30	0.022733	0.035309	4497263
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb	OPT	36	0.024381	0.033238	4487047
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb	OPT	36	0.025442	0.032046	4487139
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb	OPT	34	0.025462	0.0375139	4487277
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb	OPT	36	0.026183	0.033641	4487461
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-5_10.opb	OPT	3951	0.027397	0.039029	4496389
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb	OPT	36	0.02858	0.035661	4487231
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=509.opb	OPT	149	0.030315	0.0372099	4488059
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb	OPT	50	0.033152	0.0403779	4486817
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45.opb	OPT	45008	0.033184	0.0435051	4498915
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_120_003.opb	OPT	-2565	0.034604	0.188151	4522943
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_008.opb.metafix.opb	OPT	50	0.036685	0.0468891	4508391
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_04.opb	OPT	0	0.037368	0.049548	4518895
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-6_12.opb	OPT	5867	0.03775	0.0532779	4496251
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-7_14.opb	OPT	5148	0.039041	0.05296	4496343
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_002.opb.metafix.opb	OPT	42	0.041164	0.0514929	4508621
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_004.opb.metafix.opb	OPT	51	0.041636	0.053253	4508299
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_08.opb	OPT	0	0.044507	0.0712311	4519079
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	0.048245	0.0551829	4520183
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb	OPT	36	0.052398	0.0630779	4487369
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r6_c80.opb	OPT	120	0.055126	0.0646531	4520459
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_4.opb	OPT	6	0.061936	0.0746711	4491233
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-10_20.opb	OPT	8034	0.066622	0.0788579	4496435
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_12x12_000.opb.metafix.opb	OPT	66	0.069422	0.0791821	4508529
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir01_trarea_ac.opb	OPT	13949	0.069499	0.0819639	4496941
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_18.opb	OPT	-17	0.071914	0.079118	4519815
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_021.opb	OPT	1	0.076741	0.0851881	4518389
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_14x14_007.opb.metafix.opb	OPT	96	0.078506	0.0887561	4508253
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_12.opb	OPT	-22	0.080082	0.103146	4519677
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-990.cudf.trendy.opb	OPT	277042	0.081701	0.091698	4501261
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_5.opb	OPT	11	0.084625	0.0972179	4491141
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-ex6inp.r.opb	OPT	4	0.087135	0.0990981	4491095
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-5.opb	OPT	2642	0.089886	0.112296	4484103
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_031.opb	OPT	1	0.09465	0.117024	4518481
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g7x7.opb	OPT	12	0.097518	0.105033	4487875
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb	OPT	60	0.098308	0.116006	4487323
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=383.opb	OPT	223	0.102683	0.115497	4488473
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	0.112685	0.120169	4520413
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-11_22.opb	OPT	8908	0.133911	0.146244	4496205
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ strongly_correlated/normalized-knapPI_3_50_1000_2_-1678.opb	OPT	-2197	0.147409	0.157695	4517929
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.5:100.opb	OPT	3	0.14818	0.157736	4484655
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=229-Q=239.opb	OPT	229	0.156544	0.163824	4488243
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r6_c60.opb	OPT	90	0.160117	0.167931	4520873
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1098.cudf.trendy.opb	OPT	102017	0.160447	0.201099	4500985
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=109-Q=419.opb	OPT	109	0.160634	0.16813	4488289
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_40_40.r.opb	OPT	2	0.177527	0.201558	4491003
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir02_trarea_ac.opb	OPT	24890	0.180822	0.222222	4497033
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	0.193314	0.21208	4520367
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_022.opb	OPT	264	0.193596	0.210591	4521609
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_20.opb	OPT	-20	0.193844	0.204259	4519907
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_160.opb	OPT	400	0.198712	0.207956	4520781
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=71-Q=409.opb	OPT	71	0.204084	0.213982	4488151
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb	OPT	100	0.213633	0.221694	4486725
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=131-Q=277.opb	OPT	131	0.235597	0.243434	4488335
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-8_16.opb	OPT	5852	0.238193	0.253113	4496297
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=379.opb	OPT	331	0.255551	0.265091	4488105
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb	OPT	64	0.260034	0.267491	4487185
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_22.opb	OPT	-22	0.261769	0.269595	4519953
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-4.opb	OPT	813	0.270431	0.29967	4484011
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb	OPT	200	0.28375	0.294505	4486955
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb	OPT	62	0.327709	0.344691	4487093
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-9symml.opb	OPT	4517	0.341386	0.350577	4487691
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=10-t=9.opb	OPT	1	0.347689	0.374999	4517561
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb	OPT	64	0.352138	0.362983	4487415
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa7552-159.opb	OPT	1327	0.411811	0.422794	4487001
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x9.opb	OPT	20	0.44474	0.463519	4487783
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=7-t=3.opb	OPT	4	0.446273	0.462649	4517791
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir03_trarea_ac.opb	OPT	23978	0.458206	0.49084	4496987
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r6_c50.opb	OPT	76	0.460701	0.469371	4520505
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir05_trarea_ac.opb	OPT	47342	0.464379	0.482065	4497079
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.95:100.opb	OPT	0	0.486596	0.54158	4484241
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_260_007.opb	OPT	-7944	0.49781	0.514281	4523219
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/ normalized-knapPI_3_200_10000_5_-93992.opb	OPT	-141992	0.536352	0.549542	4517975
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/similar_weights/ normalized-knapPI_9_5000_1000_1_-48768.opb	OPT	-48768	0.553836	0.56418	4518067
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	0.573217	0.581994	4521011
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-3.opb	OPT	3031	0.602341	0.624402	4484057
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ4_3.opb	OPT	20	0.648239	0.657162	4486449
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_111.opb	OPT	1	0.649028	0.689634	4518573
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ subset_sum/normalized-knapPI_6_200_10000_5_-48992.opb	OPT	-48992	0.654214	0.680839	4518159
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_230_000.opb	OPT	-7236	0.669794	0.829724	4523127
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_delay/normalized-fir04_area_delay.opb	OPT	12	0.682128	0.714124	4497309
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2/normalized-lp4l.opb	OPT	2967	0.685043	0.69505	4522437
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	0.739215	0.748376	4520229
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/ normalized-knapPI_1_500_10000_2_-399276.opb	OPT	-527203	0.756469	0.77057	4518205
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/ normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_074.opb	OPT	2738	0.801479	0.810719	4521379
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_101.opb	OPT	1	0.894525	0.908237	4518435
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=8-t=3.opb	OPT	5	0.908654	0.923954	4517745
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_29.opb	OPT	-56	0.926788	0.936422	4519769
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	0.941262	0.95274	4519999
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir04_trarea_ac.opb	OPT	41202	0.960138	1.00355	4497125
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-randd6bc17.cudf.trendy.opb	OPT	0	1.06385	1.08181	4500341
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_05.opb	OPT	21	1.07232	1.08625	4521977
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_60.opb	OPT	-30	1.08658	1.09905	4519861
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_2pm-0055-0055.lin.opb	OPT	-20	1.10512	1.12636	4508989
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir06_trarea_ac.opb	OPT	33456	1.12765	1.16378	4496803
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_06.opb	OPT	28	1.21561	1.23093	4521839
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_6.opb	OPT	17	1.2309	1.25793	4491279
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_071.opb	OPT	1	1.26813	1.28441	4518343
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir07_trarea_ac.opb	OPT	50162	1.30077	1.35727	4496849
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-addm4.r.opb	OPT	165	1.38648	1.47116	4490957
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_opers/normalized-fir05_area_opers.opb	OPT	35	1.38825	1.41425	4497217
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_16x16_009.opb.metafix.opb	OPT	115	1.42633	1.47518	4508437
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-sao2.b.opb	OPT	25	1.50569	1.51646	4487599
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	1.52223	1.5376	4520137
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated_span/ normalized-knapPI_11_1000_1000_5_-23276.opb	OPT	-109060	1.63129	1.64587	4518021
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-edgecross14-019.lin.opb	OPT	4	1.64484	1.66856	4509035
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/weakly_correlated_span/ normalized-knapPI_12_1000_1000_3_-17136.opb	OPT	-17178	1.68068	1.69521	4518251
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data4_3.opb	OPT	8276	1.73251	1.74746	4486219
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_400.opb	OPT	1800	1.80145	1.82514	4520689
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_410_001.opb	OPT	-13240	1.87683	1.92484	4523311
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_2pm-0088-0888.lin.opb	OPT	-55	1.98665	2.01326	4509081
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_091.opb	OPT	1	2.12197	2.14294	4518527
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_4_shg.opb	OPT	22	2.13834	2.17681	4502763
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-count.b.opb	OPT	24	2.47112	2.49176	4487507
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_042.opb	OPT	924	2.47288	2.48661	4521701
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	2.50139	2.51662	4484471
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm25p-opt.opb.negationfix.opb	OPT	7	2.79965	2.81796	4509541
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	3.06997	3.08609	4520045
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	3.1186	3.14779	4520275
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	3.26652	3.28335	4520091
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament18.lin.opb	OPT	-80	3.27305	3.31399	4508759
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	3.58176	3.60088	4484609
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/ normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_120.opb	OPT	7200	3.87792	3.90912	4521471
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir08_trarea_ac.opb	OPT	70311	4.41859	4.44932	4496895
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_025_area_delay.opb	OPT	25	4.4467	4.47647	4496481
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=10-t=3.opb	OPT	7	4.68688	4.72389	4517653
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=11-t=8.opb	OPT	3	4.93097	4.96154	4517607
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_450_009.opb	OPT	-14822	5.14145	5.17953	4523081
PB25/normalized-PB25/OPT-LIN/sakai/ PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_7_label9_adversarial_norm_inf.opb	OPT	1	5.15412	5.17951	4523587
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-2.opb	OPT	939	5.83559	5.89825	4484195
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__16.opb	OPT	95378	5.93869	5.98189	4498639
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/ normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_140.opb	OPT	9800	6.20931	6.23675	4521425
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	6.26517	6.28834	4521149
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_054.opb	OPT	1512	6.52656	6.55486	4521563
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f3-DataDisplay_1_order6.seq-B-2-2-irabcde.opb	OPT	13739089	7.19823	7.24796	4512595
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	7.54858	7.57708	4520321
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-Clique-c0125-9_c24.opb	OPT	-34	7.75615	7.78677	4524369
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/multiple_strongly_correlated/ normalized-knapPI_14_10000_1000_2_-407357.opb	OPT	-539657	7.82268	7.8517	4518297
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-alu4.b.opb	OPT	50	7.93109	7.9719	4487553
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_011_area_delay.opb	OPT	26	9.36532	9.41211	4496619
PB24/normalized-PB06/OPT-LIN/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb	OPT	25	10.1248	10.2092	4490727
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32c2.opb	OPT	207	10.6141	10.6898	4486633
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_30.opb	OPT	-29	11.2251	11.2762	4519585
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	12.1797	12.2204	4484517
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib3/normalized-mitre.opb	OPT	7677	12.3716	12.419	4522023
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	12.3756	12.4345	4484287
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_300_10_20.r.opb	OPT	17	12.4754	12.5548	4491049
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	13.0387	13.0932	4521287
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-max1024.r.opb	OPT	245	13.7298	13.8921	4490911
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/ normalized-knapPI_3_5000_1000_4_-199683.opb	OPT	-296283	14.2152	14.2676	4517883
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__512.opb	OPT	45008	14.4597	14.5239	4498501
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/profit_ceiling/ normalized-knapPI_15_2000_1000_5_-50838.opb	OPT	-17191	15.9268	15.9748	4518113
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_008_area_delay.opb	OPT	25	17.8023	17.8834	4496527
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/ normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_32.opb	OPT	-16	17.9388	18.0238	4519631
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir09_trarea_ac.opb	OPT	50769	19.0638	19.1886	4497171
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir10_trarea_ac.opb	OPT	73649	19.2245	19.3015	4496757
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_10000_3_0.95_1.opb	OPT	1176	21.5525	21.8041	4522575
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-Charlotte-06-2_c24.opb	OPT	5612	26.2464	26.3397	4524093
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	26.541	26.6261	4521333
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_610_007.opb	OPT	-26846	27.5435	27.7861	4522989
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb	OPT	29	28.733	28.9049	4509449
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_3.opb	OPT	2	29.2185	29.382	4490267
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=14-t=2.opb	OPT	12	33.7889	33.894	4517837
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_001_area_delay.opb	OPT	28	35.2834	35.4273	4496665
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g15x15.opb	OPT	53	37.8471	37.9596	4488013
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_070.opb	OPT	2520	39.0809	39.2092	4521655
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_680_004.opb	OPT	-31248	44.584	44.7134	4523357
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_013_area_delay.opb	OPT	22	46.583	46.8268	4496573
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_26.opb	OPT	-76	47.7683	47.927	4519539
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_75.opb	OPT	-148	50.7227	51.0198	4519723
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j3046_9.std.opb	OPT	49	51.0085	51.1613	4500157
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.0094	60.1395	4485897
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.0101	60.1745	4485851
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-misc01.opb	OPT	1074317824	60.0292	60.1952	4485989
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f13-ACDoubleLoss.seq-B-2-2-irEDCBA.opb	OPT	4479155252	60.2645	60.3967	4512733
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-rand902db1.cudf.trendy.opb	OPT	394243446	60.3601	60.5508	4500525
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f37-AC_TotalLoss.seq-B-2-2-abcdeir.opb	OPT	7665979	60.3616	60.499	4512687
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f47-DC_Side1.seq-B-2-2-irabcde.opb	OPT	19643295490	60.3639	60.6153	4512549
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.newlist/normalized-rand9ffe99.cudf.trendy.opb	OPT	10818283609	60.5277	60.6944	4500387
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-randbccf2d.cudf.trendy.opb	OPT	20578507799	60.5952	60.7835	4500479
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-rande89f80.cudf.trendy.opb	OPT	2979398	60.9985	61.2038	4500295
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f17-DCdoubleLoss.seq-B-2-2-irEDCBA.opb	OPT	55266674189	61.0106	61.17	4512457
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.smallist/normalized-randa13f2d.cudf.paranoid.opb	OPT	2477	61.9251	62.1224	4501307
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx84.opb	OPT	8	61.976	62.1626	4499007
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx92.opb	OPT	9	62.5442	62.7598	4499191
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f53-AC_FC1.seq-A-2-1-EDCBAir.opb	OPT	-1336666903	62.6483	62.8359	4512641
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat15_5_3_6_mh.opb	OPT	7586846	62.8091	62.9781	4504413
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-650.cudf.paranoid.opb	OPT	2	63.1025	63.4093	4501629
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat15_5_3_3_ic.opb	OPT	5900212	63.21	63.3619	4505011
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm99p-opt.opb.negationfix.opb	OPT	64	63.7073	63.9045	4509311
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.95:98.opb	OPT	12	64.2581	64.5042	4484563
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_010_area_delay.opb	OPT	26	64.3888	64.6382	4496711
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-ab51-40-100.opb	OPT	-1285215	64.4632	64.6886	4522253
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.02.opb	OPT	44	64.6649	64.8555	4490175
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f12-ACDoubleLoss.seq-B-3-combined-EDCBAir.opb	OPT	-310536843	65.2462	65.4811	4512365
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.07.opb	OPT	37	65.372	65.5661	4490037
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f50-DC_side2.seq-B-3-1-EDCBAir.opb	OPT	-2125803880	65.558	65.7276	4512503
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.14.opb	OPT	42	65.8771	66.0663	4489991
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.12.opb	OPT	41	66.1335	66.3297	4489945
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.10.opb	OPT	49	66.9304	67.1245	4490083
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm85p-opt.opb.negationfix.opb	OPT	54	67.4296	67.6612	4509357
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/9orless/normalized-gpc-4.1.cudf.paranoid.opb	OPT	146114	67.5251	67.7868	4501537
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/9orless/normalized-libgnokii4.cudf.paranoid.opb	OPT	146081	67.6355	67.8196	4501445
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.11.opb	OPT	38	67.7687	67.9613	4489899
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.newlist/normalized-randf794d2.cudf.paranoid.opb	OPT	8228	68.4424	68.7119	4501353
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-python-cairo.cudf.trendy.opb	OPT	2624366011833	68.5568	68.7413	4500847
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-kdessh.cudf.trendy.opb	OPT	2624366011833	68.6116	68.7945	4500617
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-synaptic.cudf.trendy.opb	OPT	2624366011833	68.732	68.923	4500893
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/9orless/normalized-kfilereplace.cudf.trendy.opb	OPT	2624366011833	68.8449	69.0313	4500709
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-mono-gac.cudf.trendy.opb	OPT	2624366011833	68.8917	69.0656	4500755
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/9orless/normalized-mono-mcs.cudf.paranoid.opb	OPT	141778	68.9636	69.2195	4501491
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-libgnokii4.cudf.trendy.opb	OPT	2703522196109	69.077	69.2681	4500663
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-libnspr4-dev.cudf.trendy.opb	OPT	3656703476375	69.1073	69.2799	4500801
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__1024.opb	OPT	45008	69.8661	70.2212	4498777
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.B.recomb1-0.01-3.opb	OPT	6	71.1997	71.3751	4506483
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos11.opb	OPT	9216	71.6143	71.797	4485161
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.01-5.opb	OPT	3521	74.9944	75.1877	4506667
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_351.opb	OPT	1	76.7807	77.091	4518757
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j3046_8.std.opb	OPT	58	77.4722	77.7392	4500111
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.E.recomb10-0.20-11.opb	OPT	9588	78.2236	78.5495	4506299
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-neos-538867.opb	OPT	122	78.2969	78.6241	4502579
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.01-5.opb	OPT	14043	81.4097	81.6745	4506575
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.01-4.opb	OPT	17444	82.0478	82.2662	4506621
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.01-3.opb	OPT	15414	82.7465	82.9587	4506529
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.B.recomb1-0.20-11.opb	OPT	7	94.1463	94.377	4506253
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_clique-40.lin.opb	OPT	1183	94.7223	95.083	4509127
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.20-14.opb	OPT	5267	100.728	100.984	4506437
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16d2.opb	OPT	785	106.351	106.649	4486771
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	108.496	108.932	4484333
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_4_mh_ic.opb	OPT	2218686	110.065	110.362	4504781
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb10-0.10-9.opb	OPT	47741	114.628	114.906	4506345
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	119.688	120.044	4484379
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat15_5_3_2_mh.opb	OPT	5950590	124.767	125.152	4504275
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb10-0.20-12.opb	OPT	54713	137.303	137.657	4506391
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_delay/normalized-fir08_area_delay.opb	OPT	23	146.456	146.951	4497355
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-macrophage.opb	OPT	374	153.165	154.021	4502533
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb	OPT	115	155.842	156.232	4509219
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	167.25	167.811	4483781
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb	OPT	126	174.829	175.343	4509265
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_290.opb	OPT	1016	176.832	177.322	4520735
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-bnatt350.opb	OPT	0	195.23	195.791	4502625
PB24/normalized-PB10/OPT-LIN/oliveras/ j90opt/normalized-j906_2.std.opb	OPT	86	216.707	217.222	4500249
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__8.opb	OPT	87132	221.483	222.508	4498731
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_390.opb	OPT	1756	233.377	233.993	4520827
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-neos-544324.opb	OPT	15	241.875	242.589	4502303
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-TestScheduling-t030m10r05-1_c24.opb	OPT	1986	252.504	253.306	4524277
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12024_3.std.opb	OPT	89	278.354	279.066	4499835
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	282.561	283.369	4484425
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12024_1.std.opb	OPT	93	308.936	310.208	4499881
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_3_shg.opb	OPT	36	331.238	332.295	4502993
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_1.opb	OPT	2899749	361.49	362.486	4503861
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-opm2-z7-s2.opb	OPT	-10280	404.004	405.379	4522345
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_2.opb	OPT	3367493	415.05	416.169	4503769
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_3.opb	OPT	0	428.824	430.596	4490359
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	489.28	490.535	4483827
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/ normalized-maxcut_opt_complete_5-partite_block_nvert_47.opb	OPT	-540	505.552	507.014	4520919
PB24/normalized-PB10/OPT-LIN/oliveras/ j90opt/normalized-j9033_7.std.opb	OPT	109	525.196	526.774	4500203
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb	OPT	1616	674.647	677.177	4520597
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=13-t=7.opb	OPT	6	681.523	684.367	4517699
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-Charlotte-mini-24-2_c24.opb	OPT	20324	718.484	720.654	4524047
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb	OPT	32	737.339	739.877	4509587
PB25/normalized-PB25/OPT-LIN/ wallon/normalized-Cargo-24_c24.opb	OPT	94204	755.059	757.911	4524231
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height30_pigeons29_holes28.opb	OPT	496	825	829.408	4519447
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx57.opb	OPT	6	1056.81	1061.69	4499237
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height13_pigeons12_holes11.opb	OPT	105	1057.17	1061.47	4519493
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx60.opb	OPT	6	1057.64	1061.56	4499099
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb	OPT	27	1058.26	1061.23	4509403
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-sep5.5.opb	OPT	101	1058.59	1061.95	4507839
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_32_label3_adversarial_norm_inf.opb	OPT	2	1058.69	1062.7	4523771
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_inf.opb	OPT	1	1058.8	1061.86	4523679
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-1000opt.opb	OPT	-178	1059.37	1062.62	4499513
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12042_6.std.opb	OPT	119	1059.81	1063.31	4500019
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-oct6.5.opb	OPT	101	1059.87	1062.83	4507885
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j1202_6.std.opb	OPT	92	1060.78	1063.62	4499927
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height16_pigeons15_holes14.opb	OPT	153	1061.09	1064.98	4519309
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jul6.5.opb	OPT	79	1061.42	1064.3	4508023
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-hanoi5.opb	OPT	1931	1062.62	1065.85	4502671
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.00.opb	OPT	34	1062.86	1066.24	4490221
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jun6.5.opb	OPT	67	1063.23	1066.14	4508207
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.08.opb	OPT	34	1063.31	1066.7	4490129
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-5000opt.opb	OPT	-169	1063.69	1067.31	4499789
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jun5.5.opb	OPT	145	1063.97	1066.81	4508069
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i8_pp_87_merged.opb	OPT	346	1064.9	1068.5	4522897
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-oct5.5.opb	OPT	167	1065.39	1068.44	4508161
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_32_label3_adversarial_norm_1.opb	OPT	4	1066.58	1070.13	4523495
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_0.opb	OPT	2	1068.51	1071.6	4523403
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_501.opb	OPT	1	1068.61	1072.48	4518665
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_1.opb	OPT	2	1068.87	1071.9	4523725
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-may6.5.opb	OPT	43	1070.54	1073.4	4507977
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_451.opb	OPT	1	1076.52	1080.13	4518711
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-8000opt.opb	OPT	-76	1082.21	1085.33	4499697
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_401.opb	OPT	1	1084.91	1088.74	4518619
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i8_pp_92.opb	OPT	750	1089.62	1092.59	4522483
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-3000opt.opb	OPT	-81	1101.24	1104.41	4499375
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-4000opt.opb	OPT	-164	1102.48	1106.26	4499605
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-3000opt.opb	OPT	-187	1102.96	1105.81	4499743
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-2000opt.opb	OPT	-70	1115.52	1118.84	4499421
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_10000_10_0.85_3.opb	OPT	2	1122.72	1126.44	4522667
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irabcde.opb	OPT	134248448	1123.15	1126.31	4512411
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-2000opt.opb	OPT	-167	1127.68	1131.34	4499559
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_73_label5_adversarial_norm_inf.opb	OPT	4	1149.78	1152.86	4523633
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-6000opt.opb	OPT	-175	1153.24	1156.8	4499651
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_25000_5_0.75_3.opb	OPT	440	1171.8	1176.17	4522805
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-8000opt.opb	OPT	-162	1187.66	1191.31	4499467
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb	OPT	18	1227.98	1231.79	4497677
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_25000_10_0.95_10.opb	OPT	0	1246.66	1250.8	4522851
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_2.opb	OPT	3	1388.2	1391.92	4523541
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_25000_10_0.85_7.opb	OPT	0	1460.68	1465.09	4522759
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_25000_10_0.75_2.opb	OPT	4	1679.13	1684.63	4522621
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	OPT	-7184	1679.77	1683.96	4483919
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb	OPT	9	1943.02	1949.09	4523817
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_33.opb	OPT	595	2197.42	2204.16	4521931
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	2811.89	2819.33	4483965

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_16.opb	SAT (TO)	218	3600.01	3611.21	4491371
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ6_3.opb	SAT (TO)	64	3600.01	3609.3	4486403
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb	SAT (TO)	1040	3600.02	3609.11	4488841
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_13.opb	SAT (TO)	119	3600.02	3610.02	4490865
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-protfold.opb	SAT (TO)	-26	3600.02	3609.22	4502395
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.03	3610.21	4485023
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb	SAT (TO)	1035	3600.03	3610.2	4488933
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb	SAT (TO)	1028	3600.03	3609.8	4488887
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb	SAT (TO)	20	3600.03	3610.03	4497401
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_50.opb	SAT (TO)	-600	3600.03	3611.01	4521241
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ10_3.opb	SAT (TO)	292	3600.03	3609.81	4486357
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.9	4489117
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb	SAT (TO)	1030	3600.03	3609.41	4488519
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb	SAT (TO)	1036	3600.04	3610.51	4488703
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_3.opb	SAT (TO)	12	3600.04	3610.9	4490405
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug5.5.opb	SAT (TO)	111	3600.04	3610.22	4507793
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.04	3609.82	4521747
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug6.5.opb	SAT (TO)	48	3600.04	3611.92	4508115
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_36.opb	SAT (TO)	0	3600.04	3609.81	4519125
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.04	3609.81	4484885
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb	SAT (TO)	24461	3600.04	3611.01	4486495
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_50.opb	SAT (TO)	0	3600.05	3609.13	4519171
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.05	3610.31	4484701
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	3611.61	4484793
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb	SAT (TO)	1103	3600.05	3610.33	4485529
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb	SAT (TO)	183	3600.05	3608.71	4489025
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.05	3611.21	4485115
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/ normalized-maxcut_opt_complete_6-partite_inlv_nvert_69.opb	SAT (TO)	-1190	3600.05	3609.61	4521103
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb	SAT (TO)	1033	3600.05	3609.41	4488657
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.05	3610.22	4521517
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core2586-950.opb	SAT (TO)	976	3600.06	3609.72	4485253
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data8_3.opb	SAT (TO)	43636	3600.06	3611.71	4486311
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ8_3.opb	SAT (TO)	146	3600.06	3609.2	4486265
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell3a.opb	SAT (TO)	90566778479625	3600.06	3611.61	4486035
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/ normalized-maxcut_opt_complete_6-partite_inlv_nvert_84.opb	SAT (TO)	-1764	3600.06	3610.52	4521195
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	3611.02	4521057
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.06	3610.11	4521793
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.06	3609.31	4485069
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_7.opb	SAT (TO)	22	3600.06	3610.93	4497493
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_4.opb	SAT (TO)	17	3600.06	3610.7	4490543
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_14.opb	SAT (TO)	145	3600.07	3610.61	4491187
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_19.opb	SAT (TO)	0	3600.07	3610.41	4518849
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb	SAT (TO)	180	3600.07	3609.4	4489255
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2017/normalized-2club200v15p5scn.opb	SAT (TO)	-70	3600.07	3609.7	4522161
PB24/normalized-PB11/OPT-LIN/heinz/ normalized-neos-1616732.opb	SAT (TO)	159	3600.07	3609.8	4502717
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_26.opb	SAT (TO)	0	3600.07	3609.71	4518987
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_8.opb	SAT (TO)	4184139	3600.07	3609.44	4503953
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb	SAT (TO)	1036	3600.07	3609.31	4488611
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb	SAT (TO)	14	3600.07	3612.4	4490313
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_7.opb	SAT (TO)	6381837	3600.07	3610.96	4503999
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb	SAT (TO)	1038	3600.08	3609.81	4488565
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb	SAT (TO)	20	3600.08	3611.62	4497769
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb	SAT (TO)	20	3600.08	3611.71	4497723
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb	SAT (TO)	176	3600.08	3609.01	4489163
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_16.opb	SAT (TO)	0	3600.08	3608.7	4519217
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb	SAT (TO)	18982255492	3600.08	3610.21	4486127
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ comppebvc/normalized-comppebvc_opt_75.opb	SAT (TO)	2889	3600.08	3609.83	4518803
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb	SAT (TO)	187	3600.09	3608.3	4488979
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb	SAT (TO)	7	3600.09	3613.2	4490681
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_0.opb	SAT (TO)	9	3600.09	3609.2	4523449
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb	SAT (TO)	263	3600.09	3611.56	4489669
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_11.opb	SAT (TO)	74	3600.09	3610.3	4490819
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=13-t=8.opb	SAT (TO)	5	3600.09	3613.2	4517423
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb	SAT (TO)	21	3600.09	3611.52	4497815
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_4.opb	SAT (TO)	5145055	3600.09	3609.85	4504045
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb	SAT (TO)	182	3600.09	3610.11	4489347
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_17.opb	SAT (TO)	0	3600.1	3609.11	4519033
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb	SAT (TO)	231	3600.1	3611.55	4489853
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_4.opb	SAT (TO)	2	3600.1	3611.9	4490497
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb	SAT (TO)	244	3600.1	3610.17	4489807
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	3610.51	4484931
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=20-t=2.opb	SAT (TO)	18	3600.1	3611.41	4517469
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb	SAT (TO)	1034	3600.1	3609.06	4488795
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_12.opb	SAT (TO)	95	3600.1	3610.6	4491325
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=18-t=2.opb	SAT (TO)	16	3600.11	3611.4	4517515
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb	SAT (TO)	182	3600.11	3609.11	4489301
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-sorrell8.opb	SAT (TO)	-350	3600.11	3611.01	4522069
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.11	3611.31	4484747
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb	SAT (TO)	183	3600.11	3610.01	4489393
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb	SAT (TO)	1580	3600.11	3609.65	4485391
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12055_1.std.opb	SAT (TO)	101	3600.11	3611.69	4499973
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_36.opb	SAT (TO)	0	3600.11	3610.31	4518941
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb	SAT (TO)	1037	3600.11	3609.91	4488749
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb	SAT (TO)	180	3600.11	3609.4	4489071
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_0.opb	SAT (TO)	4241631	3600.11	3610.34	4504183
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_5.opb	SAT (TO)	4333081	3600.12	3610.53	4503815
PB24/normalized-PB07/OPT-LIN/ submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb	SAT (TO)	28	3600.12	3611.8	4497447
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb	SAT (TO)	252	3600.12	3609.98	4489623
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_430.opb	SAT (TO)	2098	3600.12	3611.42	4520643
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_9.opb	SAT (TO)	22	3600.12	3610.23	4497539
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat100_4_32_6.opb	SAT (TO)	5755703	3600.12	3610.47	4504137
PB24/normalized-PB11/OPT-LIN/heinz/ normalized-methanosarcina.opb	SAT (TO)	2740	3600.12	3610.55	4502349
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament26.lin.opb	SAT (TO)	-167	3600.13	3611.03	4508851
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2017/normalized-sp98ar.opb	SAT (TO)	803208	3600.13	3611.14	4522115
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core2536-691.opb	SAT (TO)	690	3600.14	3611.25	4485575
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern60-15.lin.opb	SAT (TO)	-11154	3600.14	3609.99	4508897
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_5.opb	SAT (TO)	4341119	3600.14	3609.65	4503907
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-g125.18.opb	SAT (TO)	2243	3600.15	3609.36	4486863
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_9.opb	SAT (TO)	4721619	3600.16	3609.89	4504091
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb	SAT (TO)	256	3600.16	3609.97	4489439
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-GolombRuler-a3v18-15_c18.opb	SAT (TO)	187	3600.17	3610.23	4524185
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_1.opb	SAT (TO)	26	3600.18	3609.48	4497585
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-biella1.opb	SAT (TO)	34551280928256000	3600.18	3609.59	4485483
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_4.opb	SAT (TO)	35	3600.19	3612.07	4497631
PB24/normalized-PB15eval/OPT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb	SAT (TO)	1618959	3600.19	3608.96	4508713
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb	SAT (TO)	16	3600.19	3610.66	4509495
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb	SAT (TO)	242	3600.2	3610.29	4489715
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb	SAT (TO)	179	3600.21	3609.06	4489209
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb	SAT (TO)	249	3600.25	3610.28	4489577
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-roll3000.opb	SAT (TO)	1088387072	3600.25	3610.54	4485621
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat50_6_9_3_ic.opb	SAT (TO)	30319027	3600.27	3611.79	4505057
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_1_mh.opb	SAT (TO)	3373010	3600.33	3609.76	4504229
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-n3div36.opb	SAT (TO)	701	3600.33	3611.66	4502441
PB24/normalized-PB10/OPT-LIN/oliveras/ j60opt/normalized-j6045_4.std.opb	SAT (TO)	108	3600.34	3609.9	4500065
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat35_4_11_4_mh_ic.opb	SAT (TO)	6860473	3600.38	3609.54	4504735
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-SameQueensKnights-b-35_c24.opb	SAT (TO)	-61	3600.4	3609.45	4524323
PB24/normalized-PB15eval/OPT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay75.lin.opb	SAT (TO)	2489719	3600.44	3609.74	4508805
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-opm2-z9-s14.opb	SAT (TO)	-22871	3600.47	3611.49	4502487
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat35_4_11_2_mh_ic.opb	SAT (TO)	6265032	3600.52	3611.4	4504873
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_3_ic.opb	SAT (TO)	259140501	3600.54	3611.91	4505517
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_4_mh.opb	SAT (TO)	3938224	3600.54	3611.55	4504551
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb	SAT (TO)	-150461	3600.55	3611.08	4505655
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-013.opb	SAT (TO)	-114169	3600.55	3609.72	4523173
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_0_ic.opb	SAT (TO)	145638483	3600.56	3611.21	4505195
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i2_pp_94.opb	SAT (TO)	1056	3600.6	3609.6	4522529
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat25_4_7_6_mh_ic.opb	SAT (TO)	1178861	3600.62	3610.21	4504827
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_2_ic.opb	SAT (TO)	124507641	3600.65	3612.75	4505563
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat35_4_11_0_mh_ic.opb	SAT (TO)	9278592	3600.65	3609.65	4504689
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_4_ic.opb	SAT (TO)	144609127	3600.68	3611.07	4505241
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_2_mh.opb	SAT (TO)	6102808	3600.69	3611.05	4504505
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_3_mh.opb	SAT (TO)	4756652	3600.74	3609.82	4504321
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_0_mh.opb	SAT (TO)	4938771	3600.75	3610.16	4504643
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_5_ic.opb	SAT (TO)	160616025	3600.75	3611.1	4505149
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)	-72973	3600.75	3610.03	4483735
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-rail507.opb	SAT (TO)	182	3600.78	3610.32	4485207
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_1_ic.opb	SAT (TO)	264585461	3600.78	3612.12	4505333
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_0null20mast_rapportOE1.0_TMAX180_K67_cod1.opb	SAT (TO)	-297521	3600.82	3611.36	4505609
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-017.opb	SAT (TO)	-114826	3600.9	3609.52	4523035
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat50_4_16_7_mh_ic.opb	SAT (TO)	27442048	3600.91	3610.5	4504919
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_4_mh.opb	SAT (TO)	3914166	3600.96	3610.62	4504597
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_6_mh.opb	SAT (TO)	5052367	3600.96	3612.55	4504459
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_50null20mast_rapportOE2.0_TMAX60_K67_cod2.opb	SAT (TO)	-51536	3600.97	3610.51	4505747
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_5_mh.opb	SAT (TO)	4692674	3601.03	3610.49	4504367
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm50p-opt.opb.negationfix.opb	SAT (TO)	61	3601.13	3612.87	4509173
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.2	3611.47	4483873
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb	SAT (TO)	243	3601.4	3611.62	4489531
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb	SAT (TO)	-52	3601.69	3611.25	4484839
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb	SAT (TO)	248	3601.69	3611.84	4489761
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f58-fob_fxl_loss.seq-A-3-1-irEDCBA.opb	SAT (TO)	7764998808	3601.73	3611.84	4512319
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.26	3616.89	4519401

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	258.312	258.998	4522207
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_8_shg.opb	SAT (MO)	333	1772.81	1778.09	4502901

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.3099	88.5622	4521885
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-FoolSolitaire-table-2-0_c24.opb	?		134.423	134.807	4524139

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_19.opb	? (TO)	3600.03	3609.51	4490773
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_2.opb	? (TO)	3600.03	3611.9	4490589
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx63.opb	? (TO)	3600.07	3611.45	4499145
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-f1000.opb	? (TO)	3600.08	3609.9	4486587
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_6_50_1.opb	? (TO)	3600.1	3612.6	4490635
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx75.opb	? (TO)	3600.12	3611.69	4499283
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-grow7.opb	? (TO)	3600.12	3609.49	4485805
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx49.opb	? (TO)	3600.14	3611.33	4499053
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb	? (TO)	3600.17	3609.98	4485437
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx97.opb	? (TO)	3600.29	3612.14	4498961
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-greenbeb.opb	? (TO)	3600.45	3610.32	4485713
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb	? (TO)	3600.51	3610.56	4488381
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-AztecDiamondSym-mini-07_c24.opb	? (TO)	3600.62	3613.41	4523955
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-WordGolf-4-ogd2008-50-0_c24.opb	? (TO)	3600.64	3610.66	4524001
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb	? (TO)	3600.65	3609.62	4485299
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data10_3.opb	? (TO)	3602.01	3611.3	4486541
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_14_shg.opb	? (TO)	3602.02	3613.21	4502947
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/ normalized-maxcut_opt_complete_5-partite_block_nvert_90.opb	? (TO)	3602.03	3612.5	4520965
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_9_shg.opb	? (TO)	3602.03	3613.81	4502855
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb	? (TO)	3602.03	3611.4	4484977
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb	? (TO)	3602.06	3611.61	4489485
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g100x100.opb	? (TO)	3602.08	3611.31	4487737
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern60-45.lin.opb	? (TO)	3602.09	3610.92	4508943
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_13_shg.opb	? (TO)	3602.09	3613.71	4502809
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_550.opb	? (TO)	3602.09	3614.11	4520551
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_11_shg.opb	? (TO)	3602.1	3613.22	4503039
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_7_ic.opb	? (TO)	3602.13	3613.71	4505287
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_unif_10null0mast_rapportOE2.0_TMAX180_K67_cod3.opb	? (TO)	3602.29	3615.04	4505701
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-siena1.opb	? (TO)	3602.41	3612.67	4485345
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height46_pigeons45_holes44.opb	? (TO)	3602.44	3616.26	4519355

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.6714	51.8532	4498869
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__256.opb	? (MO)	53.5423	53.7619	4498823
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_50null20mast_rapportOE1.0_TMAX120_K192_cod2.opb	? (MO)	58.1927	58.3472	4506161
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_0null0mast_rapportOE2.0_TMAX120_K192_cod2.opb	? (MO)	58.8222	59.0498	4506069
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_0null0mast_rapportOE2.0_TMAX120_K192_cod2.opb	? (MO)	60.5408	60.7584	4505885
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_10null0mast_rapportOE2.0_TMAX180_K192_cod1.opb	? (MO)	60.9936	61.2591	4506023
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_10null10mast_rapportOE1.0_TMAX180_K192_cod1.opb	? (MO)	66.3598	66.5505	4506207
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__2048.opb	? (MO)	66.8951	67.1694	4498547
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_10null10mast_rapportOE2.0_TMAX15_K192_cod1.opb	? (MO)	69.4029	69.6433	4506115
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_50000_3_0.85_4.opb	? (MO)	70.3677	70.7487	4522713
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_20null0mast_rapportOE2.0_TMAX300_K192_cod1.opb	? (MO)	77.9983	78.2539	4505839
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_1_mh.opb	? (MO)	79.4027	79.6386	4505379
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_4_mh.opb	? (MO)	79.5002	79.74	4505425
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_6_mh.opb	? (MO)	80.4711	80.7407	4505471
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727.opb	? (MO)	86.392	86.6442	4488197
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb	? (MO)	88.2902	88.5393	4488427
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2010/normalized-bab3.opb	? (MO)	148.996	149.615	4522391
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-d6cube.opb	? (MO)	157.799	158.198	4485759
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX180_K192_cod1.opb	? (MO)	181.404	181.831	4505793
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX120_K192_cod1.opb	? (MO)	271.031	271.641	4505931
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_10null50mast_rapportOE2.0_TMAX180_K192_cod1.opb	? (MO)	302.412	303.044	4505977
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/ normalized-dobutsu-shogi-master.opb	? (MO)	1962.92	1968.5	4523909
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__64.opb	? (MO)	2789.51	2796.98	4498593
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/ normalized-dobutsu-shogi-master-noopt.opb	? (MO)	3360.98	3371.39	4523863

PB'25 competition: benchmarks results per solver

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

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

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

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

Solver timed out but found at least a solution (150 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) (30 runs) [Show/Hide]

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