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.021356	0.033243	4501043
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-qnet1_o.opb	UNSAT	0.025886	0.034148	4486093
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1077.cudf.trendy.opb	UNSAT	0.049041	0.0617559	4500951
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-121.cudf.trendy.opb	UNSAT	0.118952	0.142629	4501135
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa6288-047.opb	UNSAT	0.151179	0.160877	4486691
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum2.opb	UNSAT	0.158751	0.175909	4486185
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.newlist/normalized-rand271a0d.cudf.paranoid.opb	UNSAT	0.211255	0.226345	4501411
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-557.cudf.trendy.opb	UNSAT	0.255032	0.267965	4501089
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-584.cudf.paranoid.opb	UNSAT	0.26991	0.294561	4501595
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-rand659e05.cudf.trendy.opb	UNSAT	0.304316	0.334655	4500583
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1336.cudf.trendy.opb	UNSAT	0.351391	0.378271	4501181
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1378.cudf.trendy.opb	UNSAT	0.355556	0.373313	4501227
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-rand65d021.cudf.trendy.opb	UNSAT	0.365827	0.379805	4500445
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-pilot.opb	UNSAT	0.743829	0.76927	4485679
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat25_6_3_8_ic.opb	UNSAT	2.18374	2.28553	4505115
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat25_6_3_3_ic.opb	UNSAT	2.30619	2.3282	4504977
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-greenbeb.opb	UNSAT	12.8992	12.9441	4485725
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-ns1769397.opb	UNSAT	20.906	20.9876	4522311
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_3.opb	UNSAT	34.8109	34.9602	4490463

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_8x8_000.opb.metafix.opb	OPT	30	0.00951	0.017503	4508679
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_8x8_005.opb.metafix.opb	OPT	26	0.009523	0.0171239	4508587
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.009526	0.0178311	4485955
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_6x6_000.opb.metafix.opb	OPT	16	0.009759	0.0173021	4508495
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_6x6_004.opb.metafix.opb	OPT	23	0.010249	0.0229399	4508357
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g2x2.opb	OPT	2	0.010727	0.0228169	4487841
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ strongly_correlated/normalized-knapPI_3_50_1000_2_-1678.opb	OPT	-2197	0.010846	0.018654	4517941
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g4x4.opb	OPT	4	0.011371	0.0222289	4487979
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/area_partials/normalized-fir04_area_partials.opb	OPT	30	0.01138	0.022595	4497275
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12.opb	OPT	46877	0.011497	0.0216291	4498697
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb	OPT	9663726592	0.01187	0.019925	4485909
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb	OPT	50	0.013195	0.220196	4486921
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-5_10.opb	OPT	3951	0.013487	0.0249039	4496401
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_008.opb.metafix.opb	OPT	50	0.013604	0.0230709	4508403
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_004.opb.metafix.opb	OPT	51	0.01517	0.330168	4508311
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-6_12.opb	OPT	5867	0.015192	0.025314	4496263
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_04.opb	OPT	0	0.015311	0.023016	4518907
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-7_14.opb	OPT	5148	0.015604	0.0283521	4496355
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45.opb	OPT	45008	0.015613	0.0265601	4498927
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_002.opb.metafix.opb	OPT	42	0.015697	0.0278231	4508633
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x3.opb	OPT	7	0.016147	0.0264861	4487933
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_12x12_000.opb.metafix.opb	OPT	66	0.016761	0.028365	4508541
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir01_trarea_ac.opb	OPT	13949	0.018667	0.0295261	4496953
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cc.opb	OPT	1567	0.019214	0.032057	4487657
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-10_20.opb	OPT	8034	0.019875	0.0305019	4496447
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb	OPT	304	0.020891	0.02985	4484161
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_40_40.r.opb	OPT	2	0.021217	0.0317899	4491015
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb	OPT	36	0.024422	0.040544	4487151
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb	OPT	36	0.026117	0.217872	4487059
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb	OPT	34	0.026176	0.0403359	4487289
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb	OPT	36	0.026484	0.0407461	4487473
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb	OPT	36	0.026651	0.038602	4487243
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_08.opb	OPT	0	0.027343	0.0355179	4519091
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_4.opb	OPT	6	0.028622	0.039995	4491245
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=131-Q=277.opb	OPT	131	0.029317	0.0396349	4488347
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_16x16_009.opb.metafix.opb	OPT	115	0.029408	0.0410331	4508449
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=509.opb	OPT	149	0.029914	0.0398429	4488071
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_60_004.opb	OPT	-874	0.030278	0.0394049	4523277
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-11_22.opb	OPT	8908	0.031322	0.0474769	4496217
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=71-Q=409.opb	OPT	71	0.032597	0.0439031	4488163
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_031.opb	OPT	1	0.03309	0.0410231	4518493
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=229-Q=239.opb	OPT	229	0.033161	0.043371	4488255
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=379.opb	OPT	331	0.035295	0.046902	4488117
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb	OPT	50	0.035825	0.044269	4486829
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_03.opb	OPT	0	0.036159	0.0672131	4519275
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-ex6inp.r.opb	OPT	4	0.03663	0.0473791	4491107
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=109-Q=419.opb	OPT	109	0.037205	0.0484099	4488301
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir02_trarea_ac.opb	OPT	24890	0.037782	0.0478469	4497045
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_5.opb	OPT	11	0.038859	0.0494379	4491153
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_120_003.opb	OPT	-2565	0.0463	0.057078	4522955
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-5.opb	OPT	2642	0.052799	0.06425	4484115
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.05359	0.064711	4519689
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb	OPT	36	0.055001	0.0666859	4487381
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-8_16.opb	OPT	5852	0.057485	0.0694351	4496309
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir05_trarea_ac.opb	OPT	47342	0.059501	0.0697201	4497091
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb	OPT	60	0.060699	0.0767991	4487335
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r6_c60.opb	OPT	90	0.065863	0.0776939	4520885
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_14x14_007.opb.metafix.opb	OPT	96	0.068405	0.352824	4508265
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir03_trarea_ac.opb	OPT	23978	0.071243	0.0831731	4496999
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb	OPT	344750	0.08252	0.0933731	4485863
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_071.opb	OPT	1	0.084439	0.093104	4518355
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r6_c80.opb	OPT	120	0.08467	0.096452	4520471
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1098.cudf.trendy.opb	OPT	102017	0.088514	0.115236	4500997
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.091745	0.102747	4519827
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_021.opb	OPT	1	0.093525	0.101797	4518401
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g7x7.opb	OPT	12	0.095043	0.107433	4487887
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.096365	0.107976	4519919
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb	OPT	62	0.101746	0.123492	4487105
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.104542	0.117736	4520195
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=383.opb	OPT	223	0.107348	0.121595	4488485
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir04_trarea_ac.opb	OPT	41202	0.110132	0.126374	4497137
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb	OPT	64	0.116814	0.13064	4487197
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_17.opb	OPT	0	0.117083	0.129056	4519045
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.117272	0.142268	4519965
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_022.opb	OPT	264	0.118769	0.127351	4521621
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-randd6bc17.cudf.trendy.opb	OPT	0	0.139671	0.215861	4500353
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ subset_sum/normalized-knapPI_6_200_10000_5_-48992.opb	OPT	-48992	0.140657	0.148925	4518171
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/ normalized-knapPI_3_200_10000_5_-93992.opb	OPT	-141992	0.144196	0.153088	4517987
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-rande89f80.cudf.trendy.opb	OPT	2979398	0.145903	0.258577	4500307
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/ normalized-knapPI_1_500_10000_2_-399276.opb	OPT	-527203	0.147092	0.157612	4518217
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/weakly_correlated_span/ normalized-knapPI_12_1000_1000_3_-17136.opb	OPT	-17178	0.149156	0.157854	4518263
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-4.opb	OPT	813	0.149349	0.265187	4484023
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-990.cudf.trendy.opb	OPT	277042	0.155132	0.179084	4501273
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2/normalized-lp4l.opb	OPT	2967	0.161584	0.173204	4522449
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb	OPT	100	0.162418	0.176037	4486737
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.210253	0.222486	4520425
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_101.opb	OPT	1	0.223319	0.231828	4518447
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/similar_weights/ normalized-knapPI_9_5000_1000_1_-48768.opb	OPT	-48768	0.224143	0.234283	4518079
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb	OPT	200	0.225939	0.387908	4486967
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__16.opb	OPT	95378	0.228778	0.242919	4498651
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.239109	0.248254	4484667
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir06_trarea_ac.opb	OPT	33456	0.266045	0.279617	4496815
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.268045	0.279003	4519781
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir07_trarea_ac.opb	OPT	50162	0.274295	0.286701	4496861
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_05.opb	OPT	21	0.294772	0.319716	4521989
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_16.opb	OPT	0	0.311208	0.343372	4519229
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-9symml.opb	OPT	4517	0.332419	0.350755	4487703
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_091.opb	OPT	1	0.337972	0.363565	4518539
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_160.opb	OPT	400	0.359401	0.371216	4520793
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated_span/ normalized-knapPI_11_1000_1000_5_-23276.opb	OPT	-109060	0.360589	0.37108	4518033
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-addm4.r.opb	OPT	165	0.376522	0.393407	4490969
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_410_001.opb	OPT	-13240	0.398631	0.413211	4523323
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x9.opb	OPT	20	0.400767	0.412495	4487795
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa7552-159.opb	OPT	1327	0.403056	0.554793	4487013
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_opers/normalized-fir05_area_opers.opb	OPT	35	0.403669	0.413396	4497229
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-misc01.opb	OPT	1074317824	0.409392	0.422862	4486001
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb	OPT	64	0.423141	0.435812	4487427
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_19.opb	OPT	0	0.42345	0.433472	4518861
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_260_007.opb	OPT	-7944	0.456259	0.47033	4523231
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.461006	0.473541	4520379
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_351.opb	OPT	1	0.47324	0.484492	4518769
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-3.opb	OPT	3031	0.488328	0.613629	4484069
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_6.opb	OPT	17	0.511784	0.523735	4491291
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.smallist/normalized-randa13f2d.cudf.paranoid.opb	OPT	2477	0.516105	0.53414	4501319
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-count.b.opb	OPT	24	0.517746	0.536638	4487519
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_230_000.opb	OPT	-7236	0.549917	0.563207	4523139
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-rand902db1.cudf.trendy.opb	OPT	394243446	0.564937	0.580142	4500537
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_26.opb	OPT	0	0.566894	0.577381	4518999
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_delay/normalized-fir04_area_delay.opb	OPT	12	0.573102	0.585754	4497321
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=7-t=3.opb	OPT	4	0.57859	0.615793	4517803
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_2pm-0055-0055.lin.opb	OPT	-20	0.582521	0.591765	4509001
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm25p-opt.opb.negationfix.opb	OPT	7	0.609409	0.622153	4509553
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_06.opb	OPT	28	0.627992	0.644929	4521851
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/ normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_074.opb	OPT	2738	0.734339	0.806956	4521391
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-edgecross14-019.lin.opb	OPT	4	0.768768	0.780936	4509047
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ4_3.opb	OPT	20	0.791491	0.823413	4486461
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f12-ACDoubleLoss.seq-B-3-combined-EDCBAir.opb	OPT	-310536843	0.793525	0.823723	4512377
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.859997	0.883839	4484253
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r6_c50.opb	OPT	76	0.880125	0.8962	4520517
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_2pm-0088-0888.lin.opb	OPT	-55	0.962552	0.975126	4509093
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	1.04578	1.14082	4521023
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	1.0555	1.07163	4520241
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-sao2.b.opb	OPT	25	1.06547	1.10014	4487611
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data4_3.opb	OPT	8276	1.19128	1.21332	4486231
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=8-t=3.opb	OPT	5	1.28996	1.30178	4517757
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_111.opb	OPT	1	1.34065	1.35643	4518585
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f13-ACDoubleLoss.seq-B-2-2-irEDCBA.opb	OPT	4479155252	1.45375	1.46618	4512745
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	1.47959	1.49646	4520011
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-650.cudf.paranoid.opb	OPT	2	1.49235	1.52082	4501641
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.73969	1.78577	4519873
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_450_009.opb	OPT	-14822	1.82218	1.83991	4523093
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.newlist/normalized-randf794d2.cudf.paranoid.opb	OPT	8228	1.84904	1.87104	4501365
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_4_shg.opb	OPT	22	1.9346	1.95741	4502775
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/multiple_strongly_correlated/ normalized-knapPI_14_10000_1000_2_-407357.opb	OPT	-539657	1.99539	2.01127	4518309
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-alu4.b.opb	OPT	50	2.04064	2.06185	4487565
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.newlist/normalized-rand9ffe99.cudf.trendy.opb	OPT	10818283609	2.19879	2.21854	4500399
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	2.28576	2.33529	4520149
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament18.lin.opb	OPT	-80	2.28689	2.30366	4508771
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-randbccf2d.cudf.trendy.opb	OPT	20578507799	2.52302	2.55938	4500491
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_75.opb	OPT	-148	2.6215	2.64118	4519735
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_400.opb	OPT	1800	2.67689	2.69795	4520701
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/profit_ceiling/ normalized-knapPI_15_2000_1000_5_-50838.opb	OPT	-17191	2.72144	2.75134	4518125
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir08_trarea_ac.opb	OPT	70311	2.72479	2.74524	4496907
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.74955	2.7659	4484483
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	2.94127	2.97102	4484621
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.16304	3.18482	4520103
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f3-DataDisplay_1_order6.seq-B-2-2-irabcde.opb	OPT	13739089	3.22605	3.24426	4512607
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/ normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_120.opb	OPT	7200	3.70131	3.71848	4521483
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.74637	3.77003	4520287
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_025_area_delay.opb	OPT	25	4.05407	4.11483	4496493
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	4.2101	4.25254	4521161
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx57.opb	OPT	6	4.31151	4.33491	4499249
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/ normalized-knapPI_3_5000_1000_4_-199683.opb	OPT	-296283	4.38635	4.41103	4517895
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx60.opb	OPT	6	4.46848	4.49231	4499111
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	4.53632	4.56128	4520057
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f47-DC_Side1.seq-B-2-2-irabcde.opb	OPT	19643295490	4.75242	4.78615	4512561
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__8.opb	OPT	87132	5.02799	5.06195	4498743
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-2.opb	OPT	939	5.09468	5.1228	4484207
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=10-t=3.opb	OPT	7	5.4869	5.5122	4517665
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat15_5_3_6_mh.opb	OPT	7586846	5.58886	5.61788	4504425
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-Clique-c0125-9_c24.opb	OPT	-34	5.96614	5.99883	4524381
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/ normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_140.opb	OPT	9800	6.05299	6.13217	4521437
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__512.opb	OPT	45008	6.43358	6.46203	4498513
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f37-AC_TotalLoss.seq-B-2-2-abcdeir.opb	OPT	7665979	6.50156	6.53313	4512699
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_042.opb	OPT	924	7.16748	7.21099	4521713
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib3/normalized-mitre.opb	OPT	7677	7.30112	7.35126	4522035
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.62679	7.66222	4520333
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	8.51438	8.62994	4521299
PB24/normalized-PB06/OPT-LIN/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb	OPT	25	8.64763	8.80686	4490739
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_300_10_20.r.opb	OPT	17	9.6356	9.70344	4491061
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-max1024.r.opb	OPT	245	9.77362	9.81853	4490923
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx84.opb	OPT	8	10.5001	10.5448	4499019
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.8493	12.9081	4484299
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb	OPT	1	13.0365	13.0737	4488393
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32c2.opb	OPT	207	13.4577	13.5033	4486645
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir09_trarea_ac.opb	OPT	50769	13.4912	13.6263	4497183
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_054.opb	OPT	1512	15.1192	15.1673	4521575
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	15.1658	15.212	4484529
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f17-DCdoubleLoss.seq-B-2-2-irEDCBA.opb	OPT	55266674189	16.8776	16.9432	4512469
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__64.opb	OPT	74222	17.5823	17.6487	4498605
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_011_area_delay.opb	OPT	26	17.7166	17.7765	4496631
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_070.opb	OPT	2520	17.9185	17.9863	4521667
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat15_5_3_3_ic.opb	OPT	5900212	18.275	18.3806	4505023
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir10_trarea_ac.opb	OPT	73649	18.4524	18.5166	4496769
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_3.opb	OPT	2	18.4588	18.5438	4490279
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_610_007.opb	OPT	-26846	18.6842	18.7921	4523001
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-Charlotte-06-2_c24.opb	OPT	5612	19.5556	19.8707	4524105
PB25/normalized-PB25/OPT-LIN/sakai/ PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_7_label9_adversarial_norm_inf.opb	OPT	1	22.6424	22.7111	4523599
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_10000_3_0.95_1.opb	OPT	1176	22.6576	22.7643	4522587
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=14-t=2.opb	OPT	12	23.175	23.251	4517849
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-neos-544324.opb	OPT	15	23.5091	23.6045	4502315
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.B.recomb1-0.01-3.opb	OPT	6	23.5742	23.6551	4506495
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	24.5129	24.6511	4521345
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__1024.opb	OPT	45008	26.3602	26.4431	4498789
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g15x15.opb	OPT	53	28.9449	29.0844	4488025
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_008_area_delay.opb	OPT	25	29.0056	29.0999	4496539
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_26.opb	OPT	-76	29.7769	29.9253	4519551
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-kdessh.cudf.trendy.opb	OPT	2624366011833	30.3125	30.4494	4500629
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_680_004.opb	OPT	-31248	30.9625	31.0681	4523369
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb	OPT	29	31.9326	32.0426	4509461
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/9orless/normalized-kfilereplace.cudf.trendy.opb	OPT	2624366011833	32.995	33.2734	4500721
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f50-DC_side2.seq-B-3-1-EDCBAir.opb	OPT	-2125803880	36.2878	36.4092	4512515
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/9orless/normalized-mono-mcs.cudf.paranoid.opb	OPT	141778	36.632	37.0553	4501503
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_013_area_delay.opb	OPT	22	37.9066	38.0358	4496585
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/9orless/normalized-libgnokii4.cudf.paranoid.opb	OPT	146081	40.9539	41.1142	4501457
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/9orless/normalized-gpc-4.1.cudf.paranoid.opb	OPT	146114	42.4325	42.6074	4501549
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-synaptic.cudf.trendy.opb	OPT	2624366011833	43.5983	43.792	4500905
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-libgnokii4.cudf.trendy.opb	OPT	2703522196109	45.5604	45.7335	4500675
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_001_area_delay.opb	OPT	28	46.1824	46.3217	4496677
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-mono-gac.cudf.trendy.opb	OPT	2624366011833	47.1541	47.3134	4500767
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-libnspr4-dev.cudf.trendy.opb	OPT	3656703476375	47.155	47.3329	4500813
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_30.opb	OPT	-29	48.2704	48.4461	4519597
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat15_5_3_2_mh.opb	OPT	5950590	52.4051	52.5789	4504287
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-013.opb	OPT	-118198	57.5276	57.7469	4523185
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16d2.opb	OPT	785	59.5467	59.6988	4486783
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_4_mh_ic.opb	OPT	2218686	60.3526	60.7177	4504793
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-ab51-40-100.opb	OPT	-1285215	63.0871	63.3008	4522265
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-bnatt350.opb	OPT	0	63.3366	63.6059	4502637
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-017.opb	OPT	-119728	65.2924	65.4825	4523047
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j3046_8.std.opb	OPT	58	67.425	67.7336	4500123
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_010_area_delay.opb	OPT	26	68.2229	68.4346	4496723
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	69.4669	69.7013	4484575
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=18-t=2.opb	OPT	16	70.277	70.4786	4517527
PB24/normalized-PB10/OPT-LIN/oliveras/ j90opt/normalized-j906_2.std.opb	OPT	86	70.7175	70.9694	4500261
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-neos-538867.opb	OPT	122	72.5909	72.9752	4502591
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j3046_9.std.opb	OPT	49	77.0679	77.3218	4500169
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-python-cairo.cudf.trendy.opb	OPT	2624366011833	83.93	84.1811	4500859
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_1.opb	OPT	2899749	99.8246	100.159	4503873
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_290.opb	OPT	1016	124.749	125.521	4520747
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb	OPT	1	130.304	130.644	4488439
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-macrophage.opb	OPT	374	136.558	137.055	4502545
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos11.opb	OPT	9216	150.185	150.611	4485173
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=20-t=2.opb	OPT	18	162.532	163.081	4517481
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f53-AC_FC1.seq-A-2-1-EDCBAir.opb	OPT	-1336666903	164.966	165.465	4512653
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height13_pigeons12_holes11.opb	OPT	105	165.898	166.582	4519505
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-rail507.opb	OPT	174	166.813	167.302	4485219
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727.opb	OPT	1	168.015	168.473	4488209
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_2.opb	OPT	3367493	175.076	175.694	4503781
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	198.048	198.646	4484391
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	210.855	211.55	4483793
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	233.347	234.017	4484345
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-opm2-z7-s2.opb	OPT	-10280	242.614	243.367	4522357
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_038.opb	OPT	760	299.031	300.081	4521805
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_058.opb	OPT	1740	299.303	300.157	4521759
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height16_pigeons15_holes14.opb	OPT	153	301.191	303.157	4519321
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_501.opb	OPT	1	301.287	302.304	4518677
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.08.opb	OPT	34	301.969	302.774	4490141
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx92.opb	OPT	9	303.171	304.08	4499203
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-8000opt.opb	OPT	-76	303.589	304.505	4499709
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-3000opt.opb	OPT	-81	303.976	304.971	4499387
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-2000opt.opb	OPT	-70	304.638	305.547	4499433
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-hanoi5.opb	OPT	1931	304.661	305.695	4502683
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.02.opb	OPT	44	304.885	305.744	4490187
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.B.recomb1-0.20-11.opb	OPT	7	305.411	306.239	4506265
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.11.opb	OPT	38	305.562	306.665	4489911
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.07.opb	OPT	37	305.596	306.411	4490049
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.14.opb	OPT	42	306.379	307.152	4490003
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_401.opb	OPT	1	306.772	307.995	4518631
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.12.opb	OPT	41	307.426	308.229	4489957
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_1.opb	OPT	2	307.867	308.677	4523737
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j1202_6.std.opb	OPT	92	307.914	308.797	4499939
PB24/normalized-PB10/OPT-LIN/oliveras/ j90opt/normalized-j9033_7.std.opb	OPT	109	308.437	309.282	4500215
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.10.opb	OPT	49	308.942	309.808	4490095
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i8_pp_87_merged.opb	OPT	346	310.988	312.029	4522909
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_32_label3_adversarial_norm_1.opb	OPT	4	311.251	312.066	4523507
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.00.opb	OPT	34	313.679	314.5	4490233
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-4000opt.opb	OPT	-164	314.094	315.18	4499617
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_0.opb	OPT	2	314.478	315.382	4523415
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-1000opt.opb	OPT	-178	315.877	317.022	4499525
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=10-t=9.opb	OPT	1	319.872	321.031	4517573
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.01-5.opb	OPT	3521	325.173	326.066	4506679
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_inf.opb	OPT	1	325.87	326.683	4523691
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12024_1.std.opb	OPT	93	326.046	327.044	4499893
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_32_label3_adversarial_norm_inf.opb	OPT	2	326.269	327.112	4523783
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12024_3.std.opb	OPT	89	328.945	330.037	4499847
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i8_pp_92.opb	OPT	750	329.378	330.524	4522495
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.E.recomb10-0.20-11.opb	OPT	9588	333.842	334.843	4506311
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12042_6.std.opb	OPT	119	336.458	337.382	4500031
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_451.opb	OPT	1	337.094	338.222	4518723
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-5000opt.opb	OPT	-169	337.47	338.529	4499801
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-3000opt.opb	OPT	-187	364.651	365.736	4499755
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_10000_10_0.85_3.opb	OPT	2	371.451	372.713	4522679
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-2000opt.opb	OPT	-167	385.017	386.354	4499571
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-6000opt.opb	OPT	-175	388.948	390.325	4499663
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_25000_10_0.95_10.opb	OPT	0	397.038	398.204	4522863
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height30_pigeons29_holes28.opb	OPT	496	410.755	413.132	4519459
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.01-5.opb	OPT	14043	413.323	414.379	4506587
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.20-14.opb	OPT	5267	440.623	442.309	4506449
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.01-4.opb	OPT	17444	453.386	454.92	4506633
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_25000_5_0.75_3.opb	OPT	440	457.28	458.724	4522817
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_0.opb	OPT	3	485.389	486.806	4523461
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_50000_3_0.85_4.opb	OPT	6142	485.531	487.195	4522725
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_33.opb	OPT	595	516.628	518.246	4521943
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.01-3.opb	OPT	15414	552.085	553.981	4506541
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height37_pigeons36_holes35.opb	OPT	741	675.365	676.984	4519413
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-TestScheduling-t030m10r05-1_c24.opb	OPT	1986	678.831	680.819	4524289
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_25000_10_0.85_7.opb	OPT	0	700.597	702.753	4522771
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_25000_10_0.75_2.opb	OPT	4	842.955	846.008	4522633
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-WordGolf-4-ogd2008-50-0_c24.opb	OPT	6	909.59	911.921	4524013
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb10-0.10-9.opb	OPT	47741	1164.24	1167.98	4506357
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_73_label5_adversarial_norm_inf.opb	OPT	4	1436.94	1440.6	4523645
PB25/normalized-PB25/OPT-LIN/ wallon/normalized-Cargo-24_c24.opb	OPT	94204	1447.5	1451.62	4524243
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_0.opb	OPT	4241631	1535.24	1540.22	4504195
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-8000opt.opb	OPT	-162	1605.77	1610.61	4499479
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_2.opb	OPT	3	2072.38	2078.6	4523553
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height46_pigeons45_holes44.opb	OPT	1128	2133.53	2140.56	4519367
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_delay/normalized-fir08_area_delay.opb	OPT	23	2240.14	2246.47	4497367
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	2940.29	2948.06	4483839

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jun5.5.opb	SAT (TO)	211	3600.01	3609.41	4508081
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb	SAT (TO)	28	3600.02	3609.71	4523829
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data8_3.opb	SAT (TO)	44581	3600.03	3611.8	4486323
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data10_3.opb	SAT (TO)	76999	3600.03	3609.91	4486553
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb	SAT (TO)	10608497	3600.03	3609.82	4486139
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ6_3.opb	SAT (TO)	66	3600.03	3609.2	4486415
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jul6.5.opb	SAT (TO)	81	3600.03	3609.61	4508035
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_5.opb	SAT (TO)	4232465	3600.03	3611.12	4503919
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-may6.5.opb	SAT (TO)	57	3600.03	3610.21	4507989
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb	SAT (TO)	393	3600.04	3610.24	4489451
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_4_mh.opb	SAT (TO)	4115146	3600.04	3610.43	4504563
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-oct6.5.opb	SAT (TO)	127	3600.04	3610.21	4507897
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_2_mh.opb	SAT (TO)	6131329	3600.04	3610.62	4504517
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug6.5.opb	SAT (TO)	81	3600.05	3608.21	4508127
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f58-fob_fxl_loss.seq-A-3-1-irEDCBA.opb	SAT (TO)	10538244081	3600.05	3610.24	4512331
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb	SAT (TO)	21	3600.05	3611.11	4497413
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-sorrell8.opb	SAT (TO)	-284	3600.05	3613.91	4522081
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)	-538	3600.05	3610.83	4520931
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb	SAT (TO)	14	3600.06	3610.4	4490693
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-oct5.5.opb	SAT (TO)	211	3600.06	3609.11	4508173
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2017/normalized-2club200v15p5scn.opb	SAT (TO)	-53	3600.06	3611.6	4522173
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb	SAT (TO)	24458	3600.06	3610.21	4486507
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-biella1.opb	SAT (TO)	62396566937600	3600.06	3609.56	4485495
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_4.opb	SAT (TO)	5141383	3600.07	3610.21	4504057
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb	SAT (TO)	53	3600.07	3609.71	4490325
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i2_pp_94.opb	SAT (TO)	1082	3600.07	3609.36	4522541
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_5.opb	SAT (TO)	4219117	3600.07	3609.82	4503827
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ8_3.opb	SAT (TO)	176	3600.07	3609.61	4486277
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_7.opb	SAT (TO)	5675101	3600.07	3610.92	4504011
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_4.opb	SAT (TO)	45	3600.08	3608.01	4490555
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-protfold.opb	SAT (TO)	-22	3600.08	3610.71	4502407
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)	-598	3600.09	3610.71	4521253
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_3.opb	SAT (TO)	37	3600.09	3609.7	4490417
PB24/normalized-PB15eval/OPT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb	SAT (TO)	1877134	3600.09	3610.09	4508725
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ10_3.opb	SAT (TO)	328	3600.09	3610.31	4486369
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jun6.5.opb	SAT (TO)	81	3600.09	3610.11	4508219
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_9_shg.opb	SAT (TO)	46	3600.09	3613.37	4502867
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-sep5.5.opb	SAT (TO)	211	3600.1	3609.41	4507851
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_8.opb	SAT (TO)	4167029	3600.1	3610.91	4503965
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat35_4_11_4_mh_ic.opb	SAT (TO)	9663546	3600.1	3610.58	4504747
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat100_4_32_6.opb	SAT (TO)	5254663	3600.1	3610.32	4504149
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.11	3610.92	4520977
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_3_shg.opb	SAT (TO)	39	3600.11	3611.75	4503005
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb	SAT (TO)	-46	3600.11	3610.32	4484759
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)	-676	3600.12	3610.54	4483885
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern60-45.lin.opb	SAT (TO)	-104639	3600.12	3609.82	4508955
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_1_mh.opb	SAT (TO)	3376163	3600.12	3611.34	4504241
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb	SAT (TO)	395	3600.12	3610.78	4489635
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb	SAT (TO)	337	3600.13	3610.67	4489681
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat25_4_7_6_mh_ic.opb	SAT (TO)	1465735	3600.13	3610.14	4504839
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb	SAT (TO)	318	3600.14	3610.4	4489773
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/ normalized-BA_RDC4.dot_fibo_10null50mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion.opb	SAT (TO)	-306488	3600.14	3609.95	4483977
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)	-7172	3600.15	3610.36	4483931
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb	SAT (TO)	325	3600.16	3609.84	4489727
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat50_6_9_3_ic.opb	SAT (TO)	60468929	3600.16	3610.53	4505069
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_0null0mast_rapportOE2.0_TMAX120_K192_cod2.opb	SAT (TO)	-9959	3600.16	3609.34	4506081
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb10-0.20-12.opb	SAT (TO)	54713	3600.17	3611.66	4506403
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-siena1.opb	SAT (TO)	50932899355648000	3600.17	3609.96	4485357
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb	SAT (TO)	368	3600.17	3611.28	4489819
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)	-1999	3600.18	3611.65	4483747
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb	SAT (TO)	329	3600.18	3610.47	4489589
PB24/normalized-PB15eval/OPT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay75.lin.opb	SAT (TO)	2640220	3600.19	3609.79	4508817
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb	SAT (TO)	280	3600.19	3611.21	4489497
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_unif_10null0mast_rapportOE2.0_TMAX180_K67_cod3.opb	SAT (TO)	-30615	3600.19	3610.06	4505713
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_0null0mast_rapportOE2.0_TMAX120_K192_cod2.opb	SAT (TO)	-1280	3600.19	3611.26	4505897
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2010/normalized-bab3.opb	SAT (TO)	-768433	3600.2	3611.19	4522403
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat35_4_11_0_mh_ic.opb	SAT (TO)	6783470	3600.21	3611.98	4504701
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat35_4_11_2_mh_ic.opb	SAT (TO)	8171031	3600.22	3611.58	4504885
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm85p-opt.opb.negationfix.opb	SAT (TO)	55	3600.26	3610.08	4509369
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_3_mh.opb	SAT (TO)	5206673	3600.29	3611.06	4504333
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_6_mh.opb	SAT (TO)	4760083	3600.35	3610.83	4504471
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb	SAT (TO)	124	3600.39	3609.92	4509231
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_0_mh.opb	SAT (TO)	5970382	3600.42	3611.32	4504655
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_5_mh.opb	SAT (TO)	4508948	3600.44	3611.19	4504379
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_4_mh.opb	SAT (TO)	5238328	3600.44	3612.18	4504609
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat50_4_16_7_mh_ic.opb	SAT (TO)	21397058	3600.45	3613.49	4504931
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_1_ic.opb	SAT (TO)	421507155	3600.46	3609.91	4505345
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_3_ic.opb	SAT (TO)	182531429	3600.52	3610.68	4505529
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_5_ic.opb	SAT (TO)	185016465	3600.54	3611.35	4505161
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_4_ic.opb	SAT (TO)	319300609	3600.6	3612.25	4505253
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_0_ic.opb	SAT (TO)	305368605	3600.62	3610.29	4505207
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/ normalized-dobutsu-shogi-master.opb	SAT (TO)	87989	3600.63	3610.49	4523921
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_7_ic.opb	SAT (TO)	482333439	3600.66	3610.97	4505299
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_2_ic.opb	SAT (TO)	264538269	3600.73	3610.99	4505575
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_10null0mast_rapportOE2.0_TMAX180_K192_cod1.opb	SAT (TO)	-3987	3600.86	3610.29	4506035
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_6_mh.opb	SAT (TO)	443685855	3601.31	3611.45	4505483
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_1_mh.opb	SAT (TO)	334106612	3601.66	3613.66	4505391

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/ normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_32.opb	? (TO)	3600.01	3610.02	4519643
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_7.opb	? (TO)	3600.01	3609.12	4497505
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-sep4.5.opb	? (TO)	3600.02	3610.81	4507943
PB24/normalized-PB10/OPT-LIN/oliveras/ j60opt/normalized-j6045_4.std.opb	? (TO)	3600.02	3609.81	4500077
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb	? (TO)	3600.02	3610.01	4488669
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb	? (TO)	3600.02	3609.01	4485127
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb	? (TO)	3600.02	3609.9	4489221
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_14.opb	? (TO)	3600.02	3609.8	4491199
PB24/normalized-PB11/OPT-LIN/heinz/ normalized-methanosarcina.opb	? (TO)	3600.02	3613.51	4502361
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb	? (TO)	3600.02	3610.31	4489037
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx30.opb	? (TO)	3600.02	3609.7	4499341
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_clique-40.lin.opb	? (TO)	3600.03	3609.9	4509139
PB24/normalized-PB07/OPT-LIN/ submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb	? (TO)	3600.03	3609.91	4497459
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug5.5.opb	? (TO)	3600.03	3610.91	4507805
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb	? (TO)	3600.03	3610.82	4509507
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern60-15.lin.opb	? (TO)	3600.03	3608.3	4508909
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_9.opb	? (TO)	3600.03	3609.01	4497551
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_6_50_1.opb	? (TO)	3600.04	3611.9	4490647
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb	? (TO)	3600.04	3609.4	4488991
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_13.opb	? (TO)	3600.04	3611.5	4490877
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb	? (TO)	3600.04	3609.61	4488715
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx75.opb	? (TO)	3600.04	3611.61	4499295
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx63.opb	? (TO)	3600.04	3609.71	4499157
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-f1000.opb	? (TO)	3600.04	3610.01	4486599
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb	? (TO)	3600.04	3610.62	4484805
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx97.opb	? (TO)	3600.04	3610.41	4498973
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb	? (TO)	3600.04	3609.6	4497781
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb	? (TO)	3600.04	3610.61	4488531
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_4.opb	? (TO)	3600.05	3609.3	4490509
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb	? (TO)	3600.05	3610.94	4509415
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb	? (TO)	3600.05	3609.91	4489267
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb	? (TO)	3600.05	3610.62	4509599
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_50.opb	? (TO)	3600.05	3611.03	4519183
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_390.opb	? (TO)	3600.05	3612.02	4520839
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb	? (TO)	3600.05	3609.61	4497735
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_1.opb	? (TO)	3600.05	3609.03	4497597
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-Charlotte-mini-24-2_c24.opb	? (TO)	3600.06	3609.42	4524059
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb	? (TO)	3600.06	3609.31	4485035
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb	? (TO)	3600.06	3609.12	4484713
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb	? (TO)	3600.06	3609.51	4485081
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb	? (TO)	3600.06	3610.61	4489313
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb	? (TO)	3600.06	3610.11	4488853
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb	? (TO)	3600.06	3610.61	4484943
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb	? (TO)	3600.06	3610.01	4488899
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-roll3000.opb	? (TO)	3600.06	3610.9	4485633
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb	? (TO)	3600.06	3610.11	4488807
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=13-t=8.opb	? (TO)	3600.07	3610.01	4517435
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb	? (TO)	3600.07	3610.61	4484897
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb	? (TO)	3600.07	3610.87	4485403
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_12.opb	? (TO)	3600.07	3609.8	4491337
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb	? (TO)	3600.07	3610.71	4497689
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_430.opb	? (TO)	3600.07	3611.22	4520655
PB24/normalized-PB11/OPT-LIN/heinz/ normalized-neos-1616732.opb	? (TO)	3600.08	3610.91	4502729
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12055_1.std.opb	? (TO)	3600.08	3611.31	4499985
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb	? (TO)	3600.08	3609.61	4489129
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb	? (TO)	3600.08	3611.81	4489405
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_11.opb	? (TO)	3600.08	3611.8	4490831
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb	? (TO)	3600.08	3610.91	4489359
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_4.opb	? (TO)	3600.08	3611.13	4497643
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb	? (TO)	3600.08	3610.8	4489175
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb	? (TO)	3600.08	3610.01	4488945
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-GolombRuler-a3v18-15_c18.opb	? (TO)	3600.08	3611.31	4524197
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=13-t=7.opb	? (TO)	3600.08	3610.6	4517711
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ comppebvc/normalized-comppebvc_opt_75.opb	? (TO)	3600.08	3609.42	4518815
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx49.opb	? (TO)	3600.09	3610.11	4499065
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb	? (TO)	3600.09	3610.45	4489543
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_3.opb	? (TO)	3600.09	3610.3	4490371
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb	? (TO)	3600.09	3609.61	4484989
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irabcde.opb	? (TO)	3600.09	3609.5	4512423
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)	3600.09	3609.21	4521207
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)	3600.09	3610.41	4521115
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_2.opb	? (TO)	3600.09	3610.11	4490601
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g100x100.opb	? (TO)	3600.09	3611.16	4487749
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_11_shg.opb	? (TO)	3600.09	3610.78	4503051
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_19.opb	? (TO)	3600.09	3609.91	4490785
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb	? (TO)	3600.09	3611.02	4520609
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-SameQueensKnights-b-35_c24.opb	? (TO)	3600.09	3610.11	4524335
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-n3div36.opb	? (TO)	3600.09	3611.2	4502453
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_16.opb	? (TO)	3600.09	3611.51	4491383
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament26.lin.opb	? (TO)	3600.1	3608.7	4508863
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/ normalized-maxcut_opt_complete_6-partite_inlv_nvert_87.opb	? (TO)	3600.1	3610.51	4521069
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_36.opb	? (TO)	3600.1	3609.92	4519137
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb	? (TO)	3600.1	3610.3	4497827
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_36.opb	? (TO)	3600.1	3608.62	4518953
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-g125.18.opb	? (TO)	3600.1	3608.41	4486875
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb	? (TO)	3600.1	3610.02	4489083
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-grow7.opb	? (TO)	3600.1	3610.91	4485817
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_50null20mast_rapportOE2.0_TMAX60_K67_cod2.opb	? (TO)	3600.11	3609.48	4505759
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=11-t=8.opb	? (TO)	3600.11	3609.8	4517619
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb	? (TO)	3600.11	3610.31	4488761
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb	? (TO)	3600.11	3610.21	4489865
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb	? (TO)	3600.11	3609.9	4488623
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb	? (TO)	3600.11	3609.81	4488577
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-opm2-z9-s14.opb	? (TO)	3600.11	3609.82	4502499
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb	? (TO)	3600.12	3609.72	4485311
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb	? (TO)	3600.12	3609.12	4484851
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_50null20mast_rapportOE1.0_TMAX120_K192_cod2.opb	? (TO)	3600.12	3609.96	4506173
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-d6cube.opb	? (TO)	3600.12	3609.78	4485771
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-AztecDiamondSym-mini-07_c24.opb	? (TO)	3600.13	3610.54	4523967
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2017/normalized-sp98ar.opb	? (TO)	3600.13	3610.93	4522127
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core2586-950.opb	? (TO)	3600.14	3610.89	4485265
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb	? (TO)	3600.15	3611.47	4485449
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_13_shg.opb	? (TO)	3600.15	3611.26	4502821
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_14_shg.opb	? (TO)	3600.15	3611.37	4502959
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.5:100.opb	? (TO)	3600.16	3609.26	4484437
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_550.opb	? (TO)	3600.16	3611.17	4520563
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-FoolSolitaire-table-2-0_c24.opb	? (TO)	3600.16	3609.62	4524151
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm99p-opt.opb.negationfix.opb	? (TO)	3600.17	3610.06	4509323
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core2536-691.opb	? (TO)	3600.17	3609.15	4485587
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb	? (TO)	3600.18	3610.63	4485541
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm50p-opt.opb.negationfix.opb	? (TO)	3600.19	3609.69	4509185
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_54.opb	? (TO)	3600.27	3613.13	4521897
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_0null20mast_rapportOE1.0_TMAX180_K67_cod1.opb	? (TO)	3600.3	3611.02	4505621
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb	? (TO)	3600.33	3612.42	4505667
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb	? (TO)	3600.36	3612.38	4509277
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_20null0mast_rapportOE2.0_TMAX300_K192_cod1.opb	? (TO)	3601.06	3610.34	4505851
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_10null10mast_rapportOE1.0_TMAX180_K192_cod1.opb	? (TO)	3602.21	3612.94	4506219
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX120_K192_cod1.opb	? (TO)	3602.51	3613.97	4505943
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX180_K192_cod1.opb	? (TO)	3602.57	3612.97	4505805
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_10null50mast_rapportOE2.0_TMAX180_K192_cod1.opb	? (TO)	3602.64	3613.29	4505989

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_8_shg.opb	? (MO)		245.858	246.66	4502913
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_10null10mast_rapportOE2.0_TMAX15_K192_cod1.opb	? (MO)		625.212	627.696	4506127

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__2048.opb	Signal 6	62.5434	63.7207	4498559
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__256.opb	Signal 6	62.9926	65.877	4498881
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__256.opb	Signal 6	108.37	111.234	4498835
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/ normalized-dobutsu-shogi-master-noopt.opb	Signal 6	2114.09	2124.22	4523875
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2017/normalized-scpm1.opb	Signal 6	2561.91	2579.49	4522219
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_4_mh.opb	Signal 6	3349.92	3371.2	4505437

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_071.opb	No Cert.		299.34	300.176	4521529
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_9.opb	No Cert.		2101.04	2107.06	4504103

PB'25 competition: benchmarks results per solver

Result page for solver mixed-bag-2024 2025-05-06 (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) (318 runs) [Show/Hide]

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

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

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

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

Solver answered SATISFIABLE but gave no complete certificate (2 runs) [Show/Hide]

Solver found a wrong optimum (1 run) [Show/Hide]