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 cert.	0.012881	0.0316249	4501057
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1077.cudf.trendy.opb	UNSAT cert.	0.022602	0.039693	4500965
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-121.cudf.trendy.opb	UNSAT cert.	0.062644	0.086858	4501149
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-557.cudf.trendy.opb	UNSAT cert.	0.126803	0.152318	4501103
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-584.cudf.paranoid.opb	UNSAT cert.	0.131742	0.155313	4501609
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.newlist/normalized-rand271a0d.cudf.paranoid.opb	UNSAT cert.	0.15359	0.176802	4501425
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1336.cudf.trendy.opb	UNSAT cert.	0.175234	0.19942	4501195
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1378.cudf.trendy.opb	UNSAT cert.	0.179217	0.205934	4501241
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-rand659e05.cudf.trendy.opb	UNSAT cert.	0.217849	0.254253	4500597
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa6288-047.opb	UNSAT cert.	0.281314	0.325132	4486705
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-qnet1_o.opb	UNSAT cert.	0.308196	0.327635	4486107
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-rand65d021.cudf.trendy.opb	UNSAT cert.	0.384501	0.417151	4500459
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-pilot.opb	UNSAT cert.	1.44911	1.4951	4485693
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum2.opb	UNSAT cert.	1.4961	1.5417	4486199
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat25_6_3_8_ic.opb	UNSAT cert.	2.73211	2.81775	4505129
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat25_6_3_3_ic.opb	UNSAT cert.	3.09104	3.2369	4504991
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-ns1769397.opb	UNSAT cert.	7.55268	7.80407	4522325
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_3.opb	UNSAT cert.	16.8291	16.9598	4490477

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g2x2.opb	OPT cert.	2	0.008831	0.0277491	4487855
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_60_004.opb	OPT cert.	-874	0.009586	0.0232591	4523291
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_8x8_000.opb.metafix.opb	OPT cert.	30	0.009693	0.0452499	4508693
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/area_partials/normalized-fir04_area_partials.opb	OPT cert.	30	0.009888	0.0291229	4497289
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_6x6_004.opb.metafix.opb	OPT cert.	23	0.009907	0.0240629	4508371
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-5_10.opb	OPT cert.	3951	0.009911	0.0312611	4496415
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_6x6_000.opb.metafix.opb	OPT cert.	16	0.009929	0.022869	4508509
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-7_14.opb	OPT cert.	5148	0.011295	0.039932	4496369
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_8x8_005.opb.metafix.opb	OPT cert.	26	0.012578	0.0332851	4508601
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_4.opb	OPT cert.	6	0.012706	0.065062	4491259
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-10_20.opb	OPT cert.	8034	0.013367	0.030472	4496461
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g4x4.opb	OPT cert.	4	0.013688	0.0325071	4487993
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_120_003.opb	OPT cert.	-2565	0.01432	0.028632	4522969
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_03.opb	OPT cert.	0	0.014969	0.0367369	4519289
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir01_trarea_ac.opb	OPT cert.	13949	0.015164	0.0700361	4496967
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12.opb	OPT cert.	46877	0.015346	0.0356989	4498711
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45.opb	OPT cert.	45008	0.016701	0.039384	4498941
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_5.opb	OPT cert.	11	0.018574	0.0366099	4491167
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb	OPT cert.	34	0.020695	0.056486	4487303
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb	OPT cert.	36	0.021045	0.165285	4487165
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb	OPT cert.	36	0.021608	0.150422	4487257
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb	OPT cert.	9663726592	0.023258	0.0422691	4485923
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=509.opb	OPT cert.	149	0.024081	0.046214	4488085
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-nazareth.opb	OPT cert.	-1073741823	0.024113	0.057877	4485969
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-6_12.opb	OPT cert.	5867	0.026682	0.054216	4496277
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_002.opb.metafix.opb	OPT cert.	42	0.027988	0.0483299	4508647
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x3.opb	OPT cert.	7	0.029078	0.048971	4487947
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ strongly_correlated/normalized-knapPI_3_50_1000_2_-1678.opb	OPT cert.	-2197	0.031012	0.0596451	4517955
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_004.opb.metafix.opb	OPT cert.	51	0.032433	0.049318	4508325
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir02_trarea_ac.opb	OPT cert.	24890	0.033314	0.052661	4497059
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_008.opb.metafix.opb	OPT cert.	50	0.033798	0.060138	4508417
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir05_trarea_ac.opb	OPT cert.	47342	0.038969	0.0568829	4497105
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=379.opb	OPT cert.	331	0.039275	0.0590189	4488131
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_6.opb	OPT cert.	17	0.042296	0.0825639	4491305
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_04.opb	OPT cert.	0	0.047426	0.0702759	4518921
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb	OPT cert.	304	0.047444	0.062654	4484175
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-8_16.opb	OPT cert.	5852	0.050333	0.0710339	4496323
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_12x12_000.opb.metafix.opb	OPT cert.	66	0.050882	0.0744969	4508555
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g7x7.opb	OPT cert.	12	0.053486	0.077657	4487901
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb	OPT cert.	36	0.053796	0.0858269	4487487
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir03_trarea_ac.opb	OPT cert.	23978	0.055728	0.0727621	4497013
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_05.opb	OPT cert.	21	0.057044	0.073213	4522003
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb	OPT cert.	200	0.059541	0.0796381	4486981
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1098.cudf.trendy.opb	OPT cert.	102017	0.062845	0.0825609	4501011
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_14x14_007.opb.metafix.opb	OPT cert.	96	0.065137	0.122509	4508279
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb	OPT cert.	36	0.069876	0.118703	4487395
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_40_40.r.opb	OPT cert.	2	0.072618	0.094835	4491029
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=71-Q=409.opb	OPT cert.	71	0.072844	0.0971769	4488177
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-sao2.b.opb	OPT cert.	25	0.07297	0.0996679	4487625
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=109-Q=419.opb	OPT cert.	109	0.074131	0.0966259	4488315
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb	OPT cert.	50	0.076846	0.10563	4486935
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb	OPT cert.	36	0.07757	0.175044	4487073
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_2pm-0055-0055.lin.opb	OPT cert.	-20	0.080363	0.10823	4509015
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb	OPT cert.	50	0.081407	0.111492	4486843
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cc.opb	OPT cert.	1567	0.085767	0.108981	4487671
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_08.opb	OPT cert.	0	0.087562	0.107475	4519105
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_06.opb	OPT cert.	28	0.088737	0.105278	4521865
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=131-Q=277.opb	OPT cert.	131	0.09041	0.114977	4488361
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=383.opb	OPT cert.	223	0.093011	0.121767	4488499
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-ex6inp.r.opb	OPT cert.	4	0.094326	0.117734	4491121
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_delay/normalized-fir04_area_delay.opb	OPT cert.	12	0.095761	0.11845	4497335
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=229-Q=239.opb	OPT cert.	229	0.100815	0.126612	4488269
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data4_3.opb	OPT cert.	8276	0.106578	0.139003	4486245
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x9.opb	OPT cert.	20	0.111901	0.137205	4487809
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_031.opb	OPT cert.	1	0.111944	0.129458	4518507
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-misc01.opb	OPT cert.	1074317824	0.112259	0.130203	4486015
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_021.opb	OPT cert.	1	0.114997	0.133558	4518415
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_16x16_009.opb.metafix.opb	OPT cert.	115	0.115177	0.136044	4508463
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb	OPT cert.	64	0.130062	0.160126	4487441
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb	OPT cert.	60	0.142135	0.168874	4487349
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/similar_weights/ normalized-knapPI_9_5000_1000_1_-48768.opb	OPT cert.	-48768	0.150163	0.181798	4518093
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r6_c50.opb	OPT cert.	76	0.168316	0.18502	4520531
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-990.cudf.trendy.opb	OPT cert.	277042	0.174656	0.204944	4501287
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb	OPT cert.	62	0.21252	0.23677	4487119
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-count.b.opb	OPT cert.	24	0.241186	0.276609	4487533
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r7_c14_a4.opb	OPT cert.	378	0.248499	0.271933	4520209
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb	OPT cert.	64	0.248816	0.291357	4487211
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_410_001.opb	OPT cert.	-13240	0.254624	0.275083	4523337
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-randd6bc17.cudf.trendy.opb	OPT cert.	0	0.294787	0.33197	4500367
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_071.opb	OPT cert.	1	0.296478	0.325947	4518369
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_12.opb	OPT cert.	-22	0.303063	0.351141	4519703
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=8-t=3.opb	OPT cert.	5	0.320502	0.344596	4517771
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r6_c60.opb	OPT cert.	90	0.3254	0.373361	4520899
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_18.opb	OPT cert.	-17	0.346219	0.383628	4519841
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=10-t=9.opb	OPT cert.	1	0.353167	0.385652	4517587
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-rande89f80.cudf.trendy.opb	OPT cert.	2979398	0.383186	0.415435	4500321
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ4_3.opb	OPT cert.	20	0.401388	0.614183	4486475
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-650.cudf.paranoid.opb	OPT cert.	2	0.412532	0.46085	4501655
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r6_c80.opb	OPT cert.	120	0.429827	0.454417	4520485
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 cert.	-36	0.445961	0.467899	4521037
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb	OPT cert.	100	0.453426	0.530913	4486751
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-rand902db1.cudf.trendy.opb	OPT cert.	394243446	0.49254	0.528315	4500551
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f13-ACDoubleLoss.seq-B-2-2-irEDCBA.opb	OPT cert.	4479155252	0.511684	0.538582	4512759
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_opers/normalized-fir05_area_opers.opb	OPT cert.	35	0.554487	0.579878	4497243
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=7-t=3.opb	OPT cert.	4	0.55928	0.588117	4517817
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f3-DataDisplay_1_order6.seq-B-2-2-irabcde.opb	OPT cert.	13739089	0.568047	0.598683	4512621
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f17-DCdoubleLoss.seq-B-2-2-irEDCBA.opb	OPT cert.	55266674189	0.570998	0.643917	4512483
PB24/normalized-PB06/OPT-LIN/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb	OPT cert.	25	0.610242	0.651116	4490753
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.5:100.opb	OPT cert.	3	0.639936	0.669645	4484681
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_101.opb	OPT cert.	1	0.641346	0.664989	4518461
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=10-t=3.opb	OPT cert.	7	0.65696	0.694315	4517679
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-11_22.opb	OPT cert.	8908	0.677811	0.711973	4496231
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f37-AC_TotalLoss.seq-B-2-2-abcdeir.opb	OPT cert.	7665979	0.711858	0.753094	4512713
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm25p-opt.opb.negationfix.opb	OPT cert.	7	0.714333	0.861921	4509567
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j3046_9.std.opb	OPT cert.	49	0.721739	0.753083	4500183
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-4.opb	OPT cert.	813	0.729423	0.793379	4484037
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.smallist/normalized-randa13f2d.cudf.paranoid.opb	OPT cert.	2477	0.736815	0.774635	4501333
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j3046_8.std.opb	OPT cert.	58	0.742834	0.787099	4500137
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_091.opb	OPT cert.	1	0.764028	0.792012	4518553
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.newlist/normalized-randf794d2.cudf.paranoid.opb	OPT cert.	8228	0.78624	0.830536	4501379
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_16.opb	OPT cert.	0	0.831874	0.873451	4519243
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_4_shg.opb	OPT cert.	22	0.870074	0.90688	4502789
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=14-t=2.opb	OPT cert.	12	0.886145	0.980165	4517863
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 cert.	-81	0.906218	0.93515	4521175
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r10_c19_a4.opb	OPT cert.	722	0.924357	0.983288	4520439
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height13_pigeons12_holes11.opb	OPT cert.	105	1.03874	1.06139	4519519
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir04_trarea_ac.opb	OPT cert.	41202	1.04385	1.09994	4497151
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_011_area_delay.opb	OPT cert.	26	1.09732	1.13945	4496645
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f47-DC_Side1.seq-B-2-2-irabcde.opb	OPT cert.	19643295490	1.10738	1.16846	4512575
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 cert.	-96	1.14167	1.20418	4521313
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_160.opb	OPT cert.	400	1.19355	1.23026	4520807
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb	OPT cert.	344750	1.31233	1.36031	4485877
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.95:100.opb	OPT cert.	0	1.37184	1.40613	4484267
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.newlist/normalized-rand9ffe99.cudf.trendy.opb	OPT cert.	10818283609	1.42365	1.46601	4500413
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_111.opb	OPT cert.	1	1.67603	1.71743	4518599
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/profit_ceiling/ normalized-knapPI_15_2000_1000_5_-50838.opb	OPT cert.	-17191	1.8022	1.84656	4518139
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-bnatt350.opb	OPT cert.	0	1.95459	2.00364	4502651
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-randbccf2d.cudf.trendy.opb	OPT cert.	20578507799	1.97257	2.03261	4500505
PB24/normalized-PB10/OPT-LIN/oliveras/ j90opt/normalized-j9033_7.std.opb	OPT cert.	109	1.99927	2.04565	4500229
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated_span/ normalized-knapPI_11_1000_1000_5_-23276.opb	OPT cert.	-109060	2.06365	2.12699	4518047
PB24/normalized-PB10/OPT-LIN/oliveras/ j90opt/normalized-j906_2.std.opb	OPT cert.	86	2.08799	2.12814	4500275
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r10_c20_a6.opb	OPT cert.	1170	2.19618	2.2376	4520393
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-addm4.r.opb	OPT cert.	165	2.28455	2.32611	4490983
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/ normalized-knapPI_1_500_10000_2_-399276.opb	OPT cert.	-527203	2.37687	2.5003	4518231
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_inf.opb	OPT cert.	1	2.4508	2.50542	4523705
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-macrophage.opb	OPT cert.	374	2.63787	2.69041	4502559
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/9orless/normalized-mono-mcs.cudf.paranoid.opb	OPT cert.	141778	2.73932	2.83796	4501517
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=18-t=2.opb	OPT cert.	16	2.75592	2.80675	4517541
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_2pm-0088-0888.lin.opb	OPT cert.	-55	2.80512	2.8642	4509107
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/9orless/normalized-libgnokii4.cudf.paranoid.opb	OPT cert.	146081	2.88928	2.95032	4501471
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/ normalized-knapPI_3_200_10000_5_-93992.opb	OPT cert.	-141992	2.91903	3.0926	4518001
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12024_3.std.opb	OPT cert.	89	3.04456	3.09645	4499861
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-edgecross14-019.lin.opb	OPT cert.	4	3.10876	3.39715	4509061
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12024_1.std.opb	OPT cert.	93	3.20399	3.30035	4499907
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/9orless/normalized-gpc-4.1.cudf.paranoid.opb	OPT cert.	146114	3.41441	3.45729	4501563
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j1202_6.std.opb	OPT cert.	92	3.42661	3.49061	4499953
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_1.opb	OPT cert.	2	3.90956	4.03497	4523751
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ subset_sum/normalized-knapPI_6_200_10000_5_-48992.opb	OPT cert.	-48992	3.98004	4.07239	4518185
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx57.opb	OPT cert.	6	4.08419	4.1926	4499263
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_008_area_delay.opb	OPT cert.	25	4.10448	4.14762	4496553
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i8_pp_87_merged.opb	OPT cert.	346	4.12129	4.16479	4522923
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=20-t=2.opb	OPT cert.	18	4.14813	4.20382	4517495
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height16_pigeons15_holes14.opb	OPT cert.	153	4.19982	4.24305	4519335
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 cert.	-150	4.84834	4.89623	4521359
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_400.opb	OPT cert.	1800	5.09468	5.14675	4520715
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_17.opb	OPT cert.	0	5.57942	5.9327	4519059
PB25/normalized-PB25/OPT-LIN/sakai/ PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_7_label9_adversarial_norm_inf.opb	OPT cert.	1	5.88803	5.99568	4523613
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16d2.opb	OPT cert.	785	6.96118	7.05738	4486797
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.07.opb	OPT cert.	37	7.52255	7.59529	4490063
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.B.recomb1-0.01-3.opb	OPT cert.	6	7.78944	8.59816	4506509
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.12.opb	OPT cert.	41	8.14272	8.25157	4489971
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat15_5_3_6_mh.opb	OPT cert.	7586846	8.41579	8.47617	4504439
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/ normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_074.opb	OPT cert.	2738	8.5384	8.64625	4521405
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_001_area_delay.opb	OPT cert.	28	8.54519	8.65697	4496691
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.B.recomb1-0.20-11.opb	OPT cert.	7	8.69009	8.80085	4506279
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos11.opb	OPT cert.	9216	8.90267	9.20173	4485187
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_058.opb	OPT cert.	1740	9.15678	9.22084	4521773
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.08.opb	OPT cert.	34	9.45456	9.54585	4490155
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat15_5_3_3_ic.opb	OPT cert.	5900212	9.54986	9.79721	4505037
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_351.opb	OPT cert.	1	10.6274	10.8224	4518783
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f12-ACDoubleLoss.seq-B-3-combined-EDCBAir.opb	OPT cert.	-310536843	10.7572	11.0346	4512391
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=11-t=8.opb	OPT cert.	3	11.2045	11.4095	4517633
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r17_c34_a4.opb	OPT cert.	2278	11.5129	11.5777	4520025
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_22.opb	OPT cert.	-22	11.7461	11.9405	4519979
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa7552-159.opb	OPT cert.	1327	12.14	12.2956	4487027
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir06_trarea_ac.opb	OPT cert.	33456	12.8275	13.256	4496829
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_10000_3_0.95_1.opb	OPT cert.	1176	13.0275	13.3018	4522601
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i8_pp_92.opb	OPT cert.	750	13.8501	14.3696	4522509
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12042_6.std.opb	OPT cert.	119	14.2101	15.5368	4500045
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_070.opb	OPT cert.	2520	15.296	16.6413	4521681
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx84.opb	OPT cert.	8	15.4204	15.7513	4499033
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2/normalized-lp4l.opb	OPT cert.	2967	15.7641	17.2342	4522463
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-synaptic.cudf.trendy.opb	OPT cert.	2624366011833	16.2956	16.5904	4500919
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-libnspr4-dev.cudf.trendy.opb	OPT cert.	3656703476375	16.586	16.8438	4500827
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-python-cairo.cudf.trendy.opb	OPT cert.	2624366011833	16.6678	18.1755	4500873
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.02.opb	OPT cert.	44	16.7932	16.9321	4490201
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r21_c41_a4.opb	OPT cert.	3362	16.868	17.0602	4520255
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_038.opb	OPT cert.	760	16.9967	17.2356	4521819
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_20.opb	OPT cert.	-20	17.0079	17.1774	4519933
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-mono-gac.cudf.trendy.opb	OPT cert.	2624366011833	17.1043	17.3633	4500781
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-hanoi5.opb	OPT cert.	1931	17.4814	18.0949	4502697
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/weakly_correlated_span/ normalized-knapPI_12_1000_1000_3_-17136.opb	OPT cert.	-17178	17.5622	17.6516	4518277
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.E.recomb10-0.20-11.opb	OPT cert.	9588	18.4744	18.6349	4506325
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/9orless/normalized-kfilereplace.cudf.trendy.opb	OPT cert.	2624366011833	18.5448	18.927	4500735
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-kdessh.cudf.trendy.opb	OPT cert.	2624366011833	19.0983	19.1854	4500643
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f53-AC_FC1.seq-A-2-1-EDCBAir.opb	OPT cert.	-1336666903	19.3111	19.4971	4512667
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-alu4.b.opb	OPT cert.	50	19.8327	20.165	4487579
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.14.opb	OPT cert.	42	19.8518	20.0474	4490017
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-libgnokii4.cudf.trendy.opb	OPT cert.	2703522196109	20.7847	21.0596	4500689
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.01-5.opb	OPT cert.	3521	21.153	23.0803	4506693
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.10.opb	OPT cert.	49	23.1664	23.3769	4490109
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_0.opb	OPT cert.	2	25.374	26.0418	4523429
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir07_trarea_ac.opb	OPT cert.	50162	25.5996	26.247	4496875
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r20_c39_a6.opb	OPT cert.	4563	29.1178	29.3786	4520301
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_29.opb	OPT cert.	-56	29.5937	29.9771	4519795
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:100.opb	OPT cert.	1	30.1897	30.4552	4484635
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_501.opb	OPT cert.	1	30.3426	30.4518	4518691
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.01-5.opb	OPT cert.	14043	30.3491	30.4783	4506601
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_230_000.opb	OPT cert.	-7236	30.5832	31.2084	4523153
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_32_label3_adversarial_norm_inf.opb	OPT cert.	2	30.9322	31.5354	4523797
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.00.opb	OPT cert.	34	31.2407	31.8369	4490247
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_75.opb	OPT cert.	-148	32.2931	32.3992	4519749
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_3.opb	OPT cert.	2	33.5408	33.8374	4490293
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irabcde.opb	OPT cert.	134248448	34.3027	34.5756	4512437
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-9symml.opb	OPT cert.	4517	34.5829	35.1284	4487717
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_451.opb	OPT cert.	1	34.8544	35.9441	4518737
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_260_007.opb	OPT cert.	-7944	35.7093	36.1312	4523245
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-neos-538867.opb	OPT cert.	122	37.2553	37.5687	4502605
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx92.opb	OPT cert.	9	37.484	40.6392	4499217
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_401.opb	OPT cert.	1	37.8613	38.3958	4518645
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r22_c44_a5.opb	OPT cert.	5742	43.5654	44.0289	4520163
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_025_area_delay.opb	OPT cert.	25	47.5262	47.7697	4496507
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/ normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_140.opb	OPT cert.	9800	48.1423	48.4645	4521451
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.01-4.opb	OPT cert.	17444	49.5342	49.8693	4506647
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__512.opb	OPT cert.	45008	51.3548	51.5808	4498527
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.20-14.opb	OPT cert.	5267	51.9219	52.3857	4506463
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:98.opb	OPT cert.	2	52.9691	53.1984	4484497
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height30_pigeons29_holes28.opb	OPT cert.	496	54.6048	60.0753	4519473
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/ normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_120.opb	OPT cert.	7200	55.1264	55.8343	4521497
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx60.opb	OPT cert.	6	59.1803	60.3949	4499125
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_013_area_delay.opb	OPT cert.	22	61.728	62.0732	4496599
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat15_5_3_2_mh.opb	OPT cert.	5950590	67.1491	68.4927	4504301
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_10000_10_0.85_3.opb	OPT cert.	2	71.4643	76.3611	4522693
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-5.opb	OPT cert.	2642	77.8539	78.743	4484129
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-2.opb	OPT cert.	939	81.0311	82.0001	4484221
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_290.opb	OPT cert.	1016	81.1214	82.1026	4520761
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb	OPT cert.	18	88.8451	89.287	4497703
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.01-3.opb	OPT cert.	15414	93.9152	94.2491	4506555
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-Charlotte-06-2_c24.opb	OPT cert.	5612	94.1176	95.2853	4524119
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-Charlotte-mini-24-2_c24.opb	OPT cert.	20324	95.0367	98.7887	4524073
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_33.opb	OPT cert.	595	96.3857	96.6563	4521957
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=13-t=7.opb	OPT cert.	6	96.4183	99.9401	4517725
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_25000_10_0.95_10.opb	OPT cert.	0	96.5073	96.7755	4522877
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_010_area_delay.opb	OPT cert.	26	100.998	101.664	4496737
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-TestScheduling-t030m10r05-1_c24.opb	OPT cert.	1986	103.61	107.228	4524303
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f50-DC_side2.seq-B-3-1-EDCBAir.opb	OPT cert.	-2125803880	107.864	108.453	4512529
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_60.opb	OPT cert.	-30	112.741	113.811	4519887
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.11.opb	OPT cert.	38	112.862	113.26	4489925
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb	OPT cert.	20	112.97	113.508	4497749
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__16.opb	OPT cert.	95378	118.826	121.998	4498665
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r26_c52_a5.opb	OPT cert.	8034	119.254	121.719	4520347
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-Clique-c0125-9_c24.opb	OPT cert.	-34	122.232	129.362	4524395
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-max1024.r.opb	OPT cert.	245	140.13	141.339	4490937
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r31_c62_a6.opb	OPT cert.	11439	176.344	177.418	4520117
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_054.opb	OPT cert.	1512	179.631	186.084	4521589
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb10-0.10-9.opb	OPT cert.	47741	185.452	186.292	4506371
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32c2.opb	OPT cert.	207	192.53	193.511	4486659
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ comppebvc/normalized-comppebvc_opt_75.opb	OPT cert.	2889	194.954	195.642	4518829
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__1024.opb	OPT cert.	45008	195.982	196.69	4498803
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height37_pigeons36_holes35.opb	OPT cert.	741	203.631	204.222	4519427
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_25000_5_0.75_3.opb	OPT cert.	440	210.978	215.283	4522831
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_30.opb	OPT cert.	-29	248.998	250.318	4519611
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_022.opb	OPT cert.	264	249.896	267.359	4521635
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_73_label5_adversarial_norm_inf.opb	OPT cert.	4	257.942	262.716	4523659
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_2.opb	OPT cert.	3	260.236	270.082	4523567
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_0.opb	OPT cert.	3	277.576	281.63	4523475
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir08_trarea_ac.opb	OPT cert.	70311	292.442	297.532	4496921
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=13-t=8.opb	OPT cert.	5	393.513	401.891	4517449
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb	OPT cert.	1	408.657	418.154	4488407
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-8000opt.opb	OPT cert.	-76	441.932	443.147	4499723
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_1_mh.opb	OPT cert.	3373010	463.927	485.215	4504255
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_25000_10_0.85_7.opb	OPT cert.	0	489.832	491.139	4522785
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-WordGolf-4-ogd2008-50-0_c24.opb	OPT cert.	6	493.922	506.683	4524027
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_390.opb	OPT cert.	1756	519.983	532.328	4520853
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-3000opt.opb	OPT cert.	-81	523.876	525.731	4499401
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 cert.	-72	544.895	548.167	4483807
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_4_mh_ic.opb	OPT cert.	2218686	549.369	558.686	4504807
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb	OPT cert.	9	558.421	566.171	4523843
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r33_c65_a6.opb	OPT cert.	12675	586.888	596.794	4520071
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height46_pigeons45_holes44.opb	OPT cert.	1128	629.539	681.01	4519381
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir09_trarea_ac.opb	OPT cert.	50769	635.166	643.177	4497197
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-2000opt.opb	OPT cert.	-70	640.639	642.529	4499447
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-5000opt.opb	OPT cert.	-169	731.519	734.032	4499815
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_delay/normalized-fir08_area_delay.opb	OPT cert.	23	746.407	756.523	4497381
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 cert.	-540	779.178	790.301	4520945
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_2.opb	OPT cert.	3367493	791.297	797.241	4503795
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_3.opb	OPT cert.	0	853.685	868.896	4490385
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-2000opt.opb	OPT cert.	-167	861.909	864.322	4499585
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb	OPT cert.	21	900.801	908.541	4497841
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_50000_3_0.85_4.opb	OPT cert.	6142	927.854	943.173	4522739
PB25/normalized-PB25/OPT-LIN/ wallon/normalized-Cargo-24_c24.opb	OPT cert.	94204	1087.09	1116.4	4524257
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g15x15.opb	OPT cert.	53	1144.99	1160.61	4488039
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_1.opb	OPT cert.	2899749	1206.87	1215.11	4503887
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-4000opt.opb	OPT cert.	-164	1253.99	1259.21	4499631
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_54.opb	OPT cert.	1540	1304.08	1314.91	4521911
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 cert.	-1290	1314.24	1320.44	4483853
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-3000opt.opb	OPT cert.	-187	1337.36	1341.03	4499769
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-6000opt.opb	OPT cert.	-175	1370.61	1378.55	4499677
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_50.opb	OPT cert.	-600	1674.25	1695.57	4521267
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-8000opt.opb	OPT cert.	-162	1676.07	1681.41	4499493
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_450_009.opb	OPT cert.	-14822	1931.69	1947.71	4523107
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_300_10_20.r.opb	OPT cert.	17	2207.44	2222.79	4491075
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_25000_10_0.75_2.opb	OPT cert.	4	2252.41	2260.83	4522647
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727.opb	OPT cert.	1	2265.8	2279.83	4488223
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-oct6.5.opb	OPT cert.	101	2433.48	2440.96	4507911
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_19.opb	OPT cert.	0	3293.85	3375.16	4518875
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb	OPT cert.	20	3474.13	3511.48	4497427
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament18.lin.opb	OPT cert.	-80	3481.21	3550.3	4508785

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__256.opb	SAT	6062602	938.009	944.159	4498849
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2017/normalized-scpm1.opb	SAT	873	1429.8	1502.43	4522233
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/ normalized-dobutsu-shogi-master-noopt.opb	SAT	167197	1788	1801.28	4523889

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_3_shg.opb	SAT (TO)	36	3356.78	3700.03	4503019
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_26.opb	SAT (TO)	-76	3391.54	3700.06	4519565
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-sorrell8.opb	SAT (TO)	-291	3404.21	3700.04	4522095
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_50.opb	SAT (TO)	0	3414.24	3700.08	4519197
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2017/normalized-2club200v15p5scn.opb	SAT (TO)	-66	3437.98	3700.07	4522187
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_7.opb	SAT (TO)	5759029	3448.47	3701.96	4504025
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-ab51-40-100.opb	SAT (TO)	-1211751	3452.11	3700.09	4522279
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_3_mh.opb	SAT (TO)	5511748	3459.43	3701.88	4504347
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_5_mh.opb	SAT (TO)	4011353	3524.97	3713.01	4504393
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_042.opb	SAT (TO)	924	3530.03	3709.17	4521727
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_071.opb	SAT (TO)	2567	3569.96	3700.1	4521543
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_0_mh.opb	SAT (TO)	6491644	3573.05	3707.15	4504669
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-grow7.opb	SAT (TO)	0	3587.74	3700.37	4485831
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-opm2-z7-s2.opb	SAT (TO)	-9953	3589.54	3700.55	4522371
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_4_ic.opb	SAT (TO)	212931071	3591.53	3700.34	4505267
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_4_mh.opb	SAT (TO)	7789467	3595.86	3700.47	4504623
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-017.opb	SAT (TO)	-88211	3596.58	3700.43	4523061
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/ normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_32.opb	SAT (TO)	-16	3599.12	3700.04	4519657
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_4.opb	SAT (TO)	1	3600.02	3662.83	4490523
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb	SAT (TO)	23916	3600.03	3621.83	4486521
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_11.opb	SAT (TO)	74	3600.04	3639.86	4490845
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern60-15.lin.opb	SAT (TO)	-11200	3600.04	3669.73	4508923
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jun5.5.opb	SAT (TO)	145	3600.04	3610.62	4508095
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug6.5.opb	SAT (TO)	75	3600.04	3636.56	4508141
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb	SAT (TO)	-43	3600.04	3615.85	4484819
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb	SAT (TO)	-40	3600.05	3615.84	4484957
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb	SAT (TO)	-29	3600.05	3621.66	4485141
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb	SAT (TO)	1035	3600.05	3628.62	4488821
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_36.opb	SAT (TO)	0	3600.05	3659.62	4519151
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb	SAT (TO)	-30	3600.05	3617.44	4485095
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb	SAT (TO)	1036	3600.06	3631.17	4488637
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb	SAT (TO)	184	3600.06	3627.15	4489281
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb	SAT (TO)	-42	3600.06	3619.66	4484865
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb	SAT (TO)	1881	3600.06	3627.7	4520623
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern60-45.lin.opb	SAT (TO)	-114542	3600.06	3640.84	4508969
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_13.opb	SAT (TO)	117	3600.06	3654.53	4490891
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb	SAT (TO)	1038	3600.06	3623.4	4488591
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb	SAT (TO)	19	3600.06	3627.65	4497795
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_26.opb	SAT (TO)	0	3600.06	3665.79	4519013
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb	SAT (TO)	182	3600.06	3616.75	4489189
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb	SAT (TO)	191	3600.07	3619.75	4489327
PB24/normalized-PB10/OPT-LIN/oliveras/ j60opt/normalized-j6045_4.std.opb	SAT (TO)	109	3600.07	3627.21	4500091
PB24/normalized-PB11/OPT-LIN/heinz/ normalized-neos-1616732.opb	SAT (TO)	160	3600.07	3664.83	4502743
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir10_trarea_ac.opb	SAT (TO)	73649	3600.07	3610.4	4496783
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament26.lin.opb	SAT (TO)	-166	3600.07	3667.08	4508877
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb	SAT (TO)	1036	3600.07	3633.26	4488683
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_36.opb	SAT (TO)	0	3600.07	3656.13	4518967
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data8_3.opb	SAT (TO)	40847	3600.08	3622.48	4486337
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb	SAT (TO)	190	3600.08	3628.08	4489051
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ6_3.opb	SAT (TO)	64	3600.08	3619.34	4486429
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb	SAT (TO)	1031	3600.08	3645.98	4488545
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb	SAT (TO)	-41	3600.08	3613.93	4484911
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-1000opt.opb	SAT (TO)	-178	3600.08	3610.21	4499539
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-oct5.5.opb	SAT (TO)	167	3600.08	3611.53	4508187
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-SameQueensKnights-b-35_c24.opb	SAT (TO)	-59	3600.08	3667.72	4524349
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_9.opb	SAT (TO)	22	3600.09	3633.26	4497565
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb	SAT (TO)	-131208	3600.09	3619.19	4505681
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb	SAT (TO)	188	3600.09	3616.74	4489235
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb	SAT (TO)	197	3600.09	3627.03	4489005
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb	SAT (TO)	193	3600.09	3618.95	4489419
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ8_3.opb	SAT (TO)	148	3600.1	3615.85	4486291
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb	SAT (TO)	1043	3600.1	3627.42	4488867
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data10_3.opb	SAT (TO)	67259	3600.1	3611.45	4486567
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb	SAT (TO)	185	3600.1	3626.94	4489097
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb	SAT (TO)	1035	3600.11	3637.54	4488959
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)	-57562	3600.11	3617.48	4483761
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-protfold.opb	SAT (TO)	-29	3600.11	3632.28	4502421
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-neos-544324.opb	SAT (TO)	16	3600.11	3642.68	4502329
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb	SAT (TO)	190	3600.11	3624.59	4489373
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f58-fob_fxl_loss.seq-A-3-1-irEDCBA.opb	SAT (TO)	7764998808	3600.11	3629.71	4512345
PB24/normalized-PB15eval/OPT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb	SAT (TO)	1719594	3600.11	3700.19	4508739
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb	SAT (TO)	1036	3600.11	3623.53	4488729
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_14.opb	SAT (TO)	145	3600.11	3642.24	4491213
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb	SAT (TO)	-48	3600.11	3618.43	4484727
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)	-1179	3600.11	3624.03	4521129
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_16.opb	SAT (TO)	210	3600.11	3640.42	4491397
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_0null20mast_rapportOE1.0_TMAX180_K67_cod1.opb	SAT (TO)	-107287	3600.11	3663.16	4505635
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb	SAT (TO)	191	3600.12	3620.44	4489143
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-may6.5.opb	SAT (TO)	43	3600.12	3621.51	4508003
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_12.opb	SAT (TO)	94	3600.12	3641.16	4491351
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_19.opb	SAT (TO)	344	3600.12	3650.32	4490799
PB24/normalized-PB11/OPT-LIN/heinz/ normalized-methanosarcina.opb	SAT (TO)	3602	3600.12	3639.52	4502375
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-3.opb	SAT (TO)	71087	3600.12	3620.25	4484083
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb	SAT (TO)	-38	3600.12	3619.43	4485003
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_550.opb	SAT (TO)	3990	3600.12	3631.54	4520577
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-GolombRuler-a3v18-15_c18.opb	SAT (TO)	186	3600.13	3687.68	4524211
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ10_3.opb	SAT (TO)	316	3600.13	3610.93	4486383
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i2_pp_94.opb	SAT (TO)	1052	3600.13	3629.87	4522555
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)	0	3600.13	3618	4520991
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb	SAT (TO)	16	3600.13	3696.21	4509521
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_7.opb	SAT (TO)	21	3600.13	3637.52	4497519
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.95:98.opb	SAT (TO)	44	3600.13	3624.02	4484313
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb	SAT (TO)	-47	3600.13	3623.05	4484773
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb	SAT (TO)	1038	3600.13	3632.67	4488775
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)	-1750	3600.13	3632.64	4521221
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb	SAT (TO)	-31	3600.13	3617.93	4485049
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb	SAT (TO)	1029	3600.14	3635.94	4488913
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_4.opb	SAT (TO)	38	3600.14	3621.37	4497657
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb	SAT (TO)	10	3600.14	3624.25	4490707
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_1.opb	SAT (TO)	24	3600.14	3636.44	4497611
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)	-6144	3600.15	3615.85	4483945
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.15	3613.03	4521083
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb	SAT (TO)	13	3600.16	3650.1	4490339
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2010/normalized-bab3.opb	SAT (TO)	-502267	3600.16	3618.17	4522417
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_8.opb	SAT (TO)	4709193	3600.16	3638.36	4503979
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_4.opb	SAT (TO)	5517019	3600.16	3622.13	4504071
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core2586-950.opb	SAT (TO)	1249	3600.17	3623.16	4485279
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_50null20mast_rapportOE2.0_TMAX60_K67_cod2.opb	SAT (TO)	-53133	3600.17	3636.88	4505773
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_610_007.opb	SAT (TO)	-19684	3600.18	3679.13	4523015
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_430.opb	SAT (TO)	2535	3600.18	3634.76	4520669
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-siena1.opb	SAT (TO)	31160854033841152	3600.18	3627.41	4485371
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb	SAT (TO)	261	3600.19	3615.64	4489511
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb	SAT (TO)	2061	3600.19	3628.57	4485417
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat50_6_9_3_ic.opb	SAT (TO)	44147949	3600.2	3636.17	4505083
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX120_K192_cod1.opb	SAT (TO)	0	3600.2	3609.64	4505957
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-opm2-z9-s14.opb	SAT (TO)	-18271	3600.2	3628.65	4502513
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.5:100.opb	SAT (TO)	123	3600.21	3614.36	4484451
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_680_004.opb	SAT (TO)	-21700	3600.22	3696.71	4523383
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g100x100.opb	SAT (TO)	3095	3600.23	3616.53	4487763
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_5.opb	SAT (TO)	4242159	3600.23	3703.27	4503841
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb	SAT (TO)	364	3600.24	3676.79	4489741
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell3a.opb	SAT (TO)	100691044873500	3600.25	3687.81	4486061
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_50null20mast_rapportOE1.0_TMAX120_K192_cod2.opb	SAT (TO)	-57057	3600.25	3616.19	4506187
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_9.opb	SAT (TO)	5310229	3600.25	3628.75	4504117
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_0null0mast_rapportOE2.0_TMAX120_K192_cod2.opb	SAT (TO)	-1182	3600.26	3630.88	4505911
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.95:100.opb	SAT (TO)	218	3600.27	3614.48	4484359
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-013.opb	SAT (TO)	-74176	3600.27	3654.86	4523199
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.95:100.opb	SAT (TO)	30	3600.28	3625.67	4484405
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.5:100.opb	SAT (TO)	27	3600.28	3622.82	4484543
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core2536-691.opb	SAT (TO)	972	3600.31	3625.49	4485601
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.95:98.opb	SAT (TO)	353	3600.32	3615.45	4484589
PB24/normalized-PB07/OPT-LIN/ submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb	SAT (TO)	27	3600.34	3617.52	4497473
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-FoolSolitaire-table-2-0_c24.opb	SAT (TO)	23	3600.36	3671.97	4524165
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb	SAT (TO)	377	3600.37	3621.28	4489695
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb	SAT (TO)	1519	3600.37	3626.24	4485555
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX180_K192_cod1.opb	SAT (TO)	-4787	3600.39	3608.89	4505819
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm50p-opt.opb.negationfix.opb	SAT (TO)	64	3600.4	3683.69	4509199
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_1_ic.opb	SAT (TO)	298081889	3600.4	3614.43	4505359
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_7_ic.opb	SAT (TO)	256901853	3600.44	3621.04	4505313
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_9_shg.opb	SAT (TO)	389	3600.45	3611.65	4502881
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_6_mh.opb	SAT (TO)	7653253	3600.45	3687.28	4504485
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_20null0mast_rapportOE2.0_TMAX300_K192_cod1.opb	SAT (TO)	-212648	3600.47	3621.22	4505865
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jun6.5.opb	SAT (TO)	67	3600.51	3612.37	4508233
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm85p-opt.opb.negationfix.opb	SAT (TO)	55	3600.52	3623.04	4509383
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb	SAT (TO)	121	3600.61	3641.36	4509245
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb	SAT (TO)	483	3600.63	3626.1	4489879
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)	-290984	3600.64	3619.75	4483991
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_0.opb	SAT (TO)	4367883	3600.66	3616.81	4504209
PB24/normalized-PB15eval/OPT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay75.lin.opb	SAT (TO)	2545123	3600.69	3639.77	4508831
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb	SAT (TO)	28	3600.69	3625.83	4509429
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_10null0mast_rapportOE2.0_TMAX180_K192_cod1.opb	SAT (TO)	-16876	3600.7	3611.81	4506049
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_3_ic.opb	SAT (TO)	340827995	3600.74	3679.41	4505543
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_0null0mast_rapportOE2.0_TMAX120_K192_cod2.opb	SAT (TO)	-61482	3600.78	3624.77	4506095
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb	SAT (TO)	30	3600.84	3627.7	4509475
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_10null10mast_rapportOE2.0_TMAX15_K192_cod1.opb	SAT (TO)	-66663	3600.95	3617.01	4506141
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_4.opb	SAT (TO)	15	3600.98	3622.78	4490569
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb	SAT (TO)	356	3601	3620.15	4489557
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb	SAT (TO)	373	3601.05	3620.55	4489603
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_clique-40.lin.opb	SAT (TO)	1183	3601.14	3622.59	4509153
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_3.opb	SAT (TO)	14	3601.16	3620.79	4490431
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb	SAT (TO)	383	3601.22	3618.92	4489465
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_0_ic.opb	SAT (TO)	256958915	3601.25	3631.69	4505221
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_2_ic.opb	SAT (TO)	239629981	3601.39	3621.36	4505589
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb	SAT (TO)	357	3601.4	3630.11	4489787
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_unif_10null0mast_rapportOE2.0_TMAX180_K67_cod3.opb	SAT (TO)	-37713	3601.59	3621.95	4505727
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2017/normalized-sp98ar.opb	SAT (TO)	856755	3601.61	3633.67	4522141
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_5_ic.opb	SAT (TO)	250235709	3601.67	3651.41	4505175
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_10null10mast_rapportOE1.0_TMAX180_K192_cod1.opb	SAT (TO)	-329367	3601.7	3624.16	4506233
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat100_4_32_6.opb	SAT (TO)	5340115	3601.77	3621.53	4504163
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib3/normalized-mitre.opb	SAT (TO)	7684	3601.9	3638.98	4522049
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-biella1.opb	SAT (TO)	215387405414400	3601.92	3621.69	4485509
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-roll3000.opb	SAT (TO)	1089234944	3602.01	3624.76	4485647
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__256.opb	SAT (TO)	4809044	3602.11	3627.71	4498895
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-rail507.opb	SAT (TO)	254	3602.15	3624.12	4485233
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-n3div36.opb	SAT (TO)	813	3602.28	3626.23	4502467
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__8.opb	SAT (TO)	305770	3602.41	3625.46	4498757
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb	SAT (TO)	8668531	3602.56	3633.19	4486153
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat50_4_16_7_mh_ic.opb	SAT (TO)	14793073	3602.87	3652.82	4504945

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_6_mh.opb	SAT (MO)	519705152	1059.57	1073.91	4505497
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_4_mh.opb	SAT (MO)	676141717	1479.11	1484.29	4505451
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__64.opb	SAT (MO)	3066995	1616.07	1627.55	4498619
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/ normalized-dobutsu-shogi-master.opb	SAT (MO)	89813	1690.96	1722.53	4523935
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_1_mh.opb	SAT (MO)	899357362	1760.67	1772.03	4505405

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_6_50_1.opb	? (TO)	3587.4	3700.05	4490661
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_2.opb	? (TO)	3591.66	3700.04	4490615
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-f1000.opb	? (TO)	3600.05	3615.43	4486613
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-sep4.5.opb	? (TO)	3600.07	3610.92	4507957
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx30.opb	? (TO)	3600.07	3636.27	4499355
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-g125.18.opb	? (TO)	3600.08	3615.17	4486889
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx63.opb	? (TO)	3600.08	3634.74	4499171
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-AztecDiamondSym-mini-07_c24.opb	? (TO)	3600.09	3688.68	4523981
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx49.opb	? (TO)	3600.13	3654.34	4499079
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb	? (TO)	3600.15	3673.54	4509613
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx75.opb	? (TO)	3600.16	3637.03	4499309
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-greenbeb.opb	? (TO)	3600.17	3619	4485739
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-d6cube.opb	? (TO)	3600.18	3643.11	4485785
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb	? (TO)	3600.19	3617.78	4485325
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx97.opb	? (TO)	3600.2	3652.46	4498987
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb	? (TO)	3600.37	3636.44	4485463
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm99p-opt.opb.negationfix.opb	? (TO)	3600.88	3615.36	4509337
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_14_shg.opb	? (TO)	3602.02	3615.32	4502973
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jul6.5.opb	? (TO)	3602.04	3613.6	4508049
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug5.5.opb	? (TO)	3602.05	3615.52	4507819
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_11_shg.opb	? (TO)	3602.06	3615.61	4503065
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	? (TO)	3602.07	3612.81	4483899
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_13_shg.opb	? (TO)	3602.07	3612.91	4502835
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb	? (TO)	3602.07	3616.84	4489649
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-sep5.5.opb	? (TO)	3602.09	3616.01	4507865
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12055_1.std.opb	? (TO)	3602.13	3633.08	4499999
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb	? (TO)	3602.19	3634.59	4489833
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_8_shg.opb	? (TO)	3602.2	3653.69	4502927
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_10null50mast_rapportOE2.0_TMAX180_K192_cod1.opb	? (TO)	3602.39	3613.32	4506003
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb	? (TO)	3602.81	3685.06	4509291
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_5.opb	? (TO)	3603.09	3621.12	4503933

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/multiple_strongly_correlated/ normalized-knapPI_14_10000_1000_2_-407357.opb	? (exit code)	2623.19	2644.73	4518323
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb	? (exit code)	2659.57	2689.44	4488453
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/ normalized-knapPI_3_5000_1000_4_-199683.opb	? (exit code)	2846.3	2869.36	4517909
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat25_4_7_6_mh_ic.opb	? (exit code)	3334.35	3477.52	4504853
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat35_4_11_0_mh_ic.opb	? (exit code)	3372.96	3400.28	4504715
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_4_mh.opb	? (exit code)	3375.34	3403.14	4504577
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat35_4_11_2_mh_ic.opb	? (exit code)	3388.01	3504.14	4504899
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat35_4_11_4_mh_ic.opb	? (exit code)	3407.69	3519.27	4504761
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_2_mh.opb	? (exit code)	3506.49	3542.29	4504531

PB'25 competition: benchmarks results per solver

Result page for solver roundingsat+pbsuma-opt-log 63f22ad (complete)

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

Solver proved unsatisfiability and generated a good certificate (18 runs) [Show/Hide]

Solver found optimum and generated a good certificate (308 runs) [Show/Hide]

Solver found optimum (OPTIMUM FOUND) (1 run) [Show/Hide]

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

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

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

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

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

Solver answered SATISFIABLE but gave no complete certificate (1 run) [Show/Hide]

Solver generated a wrong certificate of optimality (1 run) [Show/Hide]