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.00689	0.0153989	4501052
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1077.cudf.trendy.opb	UNSAT	0.015291	0.0302311	4500960
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-121.cudf.trendy.opb	UNSAT	0.030945	0.0370161	4501144
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.newlist/normalized-rand271a0d.cudf.paranoid.opb	UNSAT	0.049955	0.065201	4501420
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-rand659e05.cudf.trendy.opb	UNSAT	0.063289	0.0740071	4500592
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-557.cudf.trendy.opb	UNSAT	0.065306	0.071597	4501098
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-584.cudf.paranoid.opb	UNSAT	0.070166	0.084343	4501604
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1336.cudf.trendy.opb	UNSAT	0.087508	0.0976921	4501190
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1378.cudf.trendy.opb	UNSAT	0.090529	0.10869	4501236
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-pilot.opb	UNSAT	0.149761	0.162115	4485688
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-rand65d021.cudf.trendy.opb	UNSAT	0.226763	0.255169	4500454
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum2.opb	UNSAT	0.263138	0.296175	4486194
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa6288-047.opb	UNSAT	0.314642	0.347883	4486700
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat25_6_3_3_ic.opb	UNSAT	2.68306	2.70286	4504986
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat25_6_3_8_ic.opb	UNSAT	2.70779	2.72366	4505124
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_3.opb	UNSAT	15.7461	15.8309	4490472
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-ns1769397.opb	UNSAT	17.7454	17.8252	4522320

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_6x6_004.opb.metafix.opb	OPT	23	0.006488	0.015208	4508366
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_6x6_000.opb.metafix.opb	OPT	16	0.00707	0.0164209	4508504
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_8x8_000.opb.metafix.opb	OPT	30	0.007203	0.0187269	4508688
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12.opb	OPT	46877	0.007901	0.0208599	4498706
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_8x8_005.opb.metafix.opb	OPT	26	0.008739	0.0179909	4508596
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_021.opb	OPT	1	0.01259	0.0224271	4518410
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_60_004.opb	OPT	-874	0.016709	0.0273139	4523286
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g4x4.opb	OPT	4	0.016915	0.031282	4487988
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g2x2.opb	OPT	2	0.016956	0.0326019	4487850
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/area_partials/normalized-fir04_area_partials.opb	OPT	30	0.017158	0.030464	4497284
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.017319	0.0284971	4485918
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_4.opb	OPT	6	0.020665	0.0409461	4491254
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x3.opb	OPT	7	0.023659	0.0404091	4487942
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_002.opb.metafix.opb	OPT	42	0.024732	0.033933	4508642
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.026132	0.0372621	4485964
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_5.opb	OPT	11	0.030652	0.0548741	4491162
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-5_10.opb	OPT	3951	0.031658	0.0470881	4496410
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_031.opb	OPT	1	0.033422	0.0433221	4518502
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45.opb	OPT	45008	0.03413	0.0484971	4498936
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb	OPT	36	0.034722	0.0489629	4487252
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-ex6inp.r.opb	OPT	4	0.036427	0.0578811	4491116
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_04.opb	OPT	0	0.036545	0.0460281	4518916
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb	OPT	36	0.038263	0.052659	4487160
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb	OPT	304	0.038866	0.0511391	4484170
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb	OPT	36	0.040504	0.0536351	4487482
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb	OPT	36	0.04327	0.05579	4487068
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/ normalized-maxcut_opt_complete_5-partite_block_nvert_12.opb	OPT	-36	0.045487	0.067173	4521032
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb	OPT	34	0.049905	0.0616941	4487298
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_03.opb	OPT	0	0.052878	0.0738871	4519284
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-6_12.opb	OPT	5867	0.055291	0.0709061	4496272
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=509.opb	OPT	149	0.061079	0.0758959	4488080
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_004.opb.metafix.opb	OPT	51	0.062057	0.0710509	4508320
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g7x7.opb	OPT	12	0.06714	0.0817471	4487896
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_6.opb	OPT	17	0.075422	0.093373	4491300
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1098.cudf.trendy.opb	OPT	102017	0.075913	0.088681	4501006
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=379.opb	OPT	331	0.078388	0.0940331	4488126
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ strongly_correlated/normalized-knapPI_3_50_1000_2_-1678.opb	OPT	-2197	0.079666	0.0918811	4517950
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb	OPT	50	0.095685	0.115561	4486838
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=71-Q=409.opb	OPT	71	0.101192	0.11681	4488172
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=131-Q=277.opb	OPT	131	0.102609	0.131737	4488356
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb	OPT	50	0.105987	0.126078	4486930
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_008.opb.metafix.opb	OPT	50	0.117872	0.132292	4508412
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_071.opb	OPT	1	0.122351	0.133843	4518364
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=109-Q=419.opb	OPT	109	0.124671	0.141289	4488310
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_091.opb	OPT	1	0.127467	0.138613	4518548
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=229-Q=239.opb	OPT	229	0.131518	0.146887	4488264
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir01_trarea_ac.opb	OPT	13949	0.13308	0.16082	4496962
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-randd6bc17.cudf.trendy.opb	OPT	0	0.134784	0.153248	4500362
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=383.opb	OPT	223	0.137398	0.168971	4488494
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb	OPT	200	0.14155	0.170485	4486976
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_40_40.r.opb	OPT	2	0.141973	0.167053	4491024
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_05.opb	OPT	21	0.164927	0.186554	4521998
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb	OPT	100	0.219954	0.248204	4486746
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm25p-opt.opb.negationfix.opb	OPT	7	0.224282	0.246081	4509562
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-650.cudf.paranoid.opb	OPT	2	0.246782	0.27268	4501650
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_101.opb	OPT	1	0.252388	0.262722	4518456
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-990.cudf.trendy.opb	OPT	277042	0.279213	0.304376	4501282
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-bnatt350.opb	OPT	0	0.313435	0.340404	4502646
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_06.opb	OPT	28	0.314953	0.326047	4521860
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f3-DataDisplay_1_order6.seq-B-2-2-irabcde.opb	OPT	13739089	0.322723	0.333364	4512616
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ4_3.opb	OPT	20	0.337361	0.374228	4486470
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_111.opb	OPT	1	0.359186	0.370461	4518594
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_delay/normalized-fir04_area_delay.opb	OPT	12	0.386811	0.404935	4497330
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-7_14.opb	OPT	5148	0.394526	0.41018	4496364
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j3046_9.std.opb	OPT	49	0.524967	0.536149	4500178
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j3046_8.std.opb	OPT	58	0.579963	0.597286	4500132
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb	OPT	36	0.67238	0.70826	4487390
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f47-DC_Side1.seq-B-2-2-irabcde.opb	OPT	19643295490	1.00166	1.01354	4512570
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	1.01195	1.02974	4485872
PB24/normalized-PB06/OPT-LIN/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb	OPT	25	1.03734	1.06165	4490748
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	1.07269	1.08409	4484676
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f13-ACDoubleLoss.seq-B-2-2-irEDCBA.opb	OPT	4479155252	1.19717	1.21694	4512754
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_4_shg.opb	OPT	22	1.22951	1.25116	4502784
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	1.23249	1.25835	4521170
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-rand902db1.cudf.trendy.opb	OPT	394243446	1.36944	1.38373	4500546
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-rande89f80.cudf.trendy.opb	OPT	2979398	1.42223	1.45016	4500316
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb	OPT	64	1.45535	1.48685	4487206
PB24/normalized-PB10/OPT-LIN/oliveras/ j90opt/normalized-j906_2.std.opb	OPT	86	1.49386	1.51287	4500270
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12024_1.std.opb	OPT	93	1.56065	1.57556	4499902
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12024_3.std.opb	OPT	89	1.5873	1.60326	4499856
PB24/normalized-PB10/OPT-LIN/oliveras/ j90opt/normalized-j9033_7.std.opb	OPT	109	1.67788	1.70124	4500224
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-8_16.opb	OPT	5852	1.6913	1.72966	4496318
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-10_20.opb	OPT	8034	1.80142	1.84132	4496456
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_inf.opb	OPT	1	1.88512	1.90327	4523700
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-hanoi5.opb	OPT	1931	1.9576	1.98264	4502692
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data4_3.opb	OPT	8276	2.13797	2.1566	4486240
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb	OPT	64	2.22994	2.25254	4487436
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j1202_6.std.opb	OPT	92	2.31053	2.34782	4499948
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.smallist/normalized-randa13f2d.cudf.paranoid.opb	OPT	2477	2.39729	2.44892	4501328
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb	OPT	60	2.61867	2.65573	4487344
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-sao2.b.opb	OPT	25	2.88784	2.93411	4487620
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.B.recomb1-0.01-3.opb	OPT	6	2.95018	2.9663	4506504
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16d2.opb	OPT	785	3.00051	3.02939	4486792
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb	OPT	62	3.17946	3.20418	4487114
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx57.opb	OPT	6	3.24196	3.26913	4499258
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-misc01.opb	OPT	1074317824	3.53434	3.56069	4486010
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_451.opb	OPT	1	3.59172	3.60962	4518732
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x9.opb	OPT	20	3.98555	4.02744	4487804
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	4.20963	4.23871	4521308
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cc.opb	OPT	1567	4.27514	4.31788	4487666
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-count.b.opb	OPT	24	4.448	4.49047	4487528
PB25/normalized-PB25/OPT-LIN/sakai/ PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_7_label9_adversarial_norm_inf.opb	OPT	1	4.55865	4.58658	4523608
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-11_22.opb	OPT	8908	4.61864	4.65384	4496226
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_501.opb	OPT	1	5.09211	5.11359	4518686
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.newlist/normalized-randf794d2.cudf.paranoid.opb	OPT	8228	6.29904	6.34537	4501374
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12042_6.std.opb	OPT	119	7.18482	7.21536	4500040
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_12x12_000.opb.metafix.opb	OPT	66	7.2947	7.32336	4508550
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb	OPT	1	7.45775	7.50828	4488402
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_120_003.opb	OPT	-2565	8.45242	8.50908	4522964
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.B.recomb1-0.20-11.opb	OPT	7	9.44142	9.4773	4506274
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height13_pigeons12_holes11.opb	OPT	105	9.46418	9.4974	4519514
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir02_trarea_ac.opb	OPT	24890	9.5203	9.5787	4497054
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx84.opb	OPT	8	11.2685	11.3171	4499028
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx92.opb	OPT	9	11.4821	11.5491	4499212
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=7-t=3.opb	OPT	4	11.6864	11.7284	4517812
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/9orless/normalized-mono-mcs.cudf.paranoid.opb	OPT	141778	12.5462	12.5858	4501512
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/9orless/normalized-libgnokii4.cudf.paranoid.opb	OPT	146081	15.5401	15.5941	4501466
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	17.0325	17.1052	4484492
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_32_label3_adversarial_norm_inf.opb	OPT	2	17.1036	17.1533	4523792
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_08.opb	OPT	0	18.388	18.4454	4519100
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/9orless/normalized-gpc-4.1.cudf.paranoid.opb	OPT	146114	21.602	21.8131	4501558
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f17-DCdoubleLoss.seq-B-2-2-irEDCBA.opb	OPT	55266674189	23.258	23.3379	4512478
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height16_pigeons15_holes14.opb	OPT	153	26.8878	26.9792	4519330
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-4.opb	OPT	813	30.7124	30.8023	4484032
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f50-DC_side2.seq-B-3-1-EDCBAir.opb	OPT	-2125803880	43.0641	43.1877	4512524
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.12.opb	OPT	41	47.004	47.1349	4489966
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_0.opb	OPT	2	49.7508	49.8826	4523424
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=8-t=3.opb	OPT	5	51.2493	51.4021	4517766
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_opers/normalized-fir05_area_opers.opb	OPT	35	52.1838	52.3343	4497238
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_10000_10_0.85_3.opb	OPT	2	57.3511	57.4914	4522688
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat15_5_3_6_mh.opb	OPT	7586846	58.7144	58.8804	4504434
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb	OPT	1	60.694	60.854	4488448
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir03_trarea_ac.opb	OPT	23978	65.5067	65.7405	4497008
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.07.opb	OPT	37	71.2152	71.3866	4490058
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_25000_10_0.95_10.opb	OPT	0	71.549	71.7592	4522872
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_1.opb	OPT	2	73.402	73.6211	4523746
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.14.opb	OPT	42	73.5544	73.7449	4490012
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_32_label3_adversarial_norm_1.opb	OPT	4	81.3173	81.5635	4523516
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727.opb	OPT	1	84.4913	84.6993	4488218
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	87.4695	87.7096	4484630
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	111.088	111.402	4521354
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-5000opt.opb	OPT	-169	125.795	126.097	4499810
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=10-t=9.opb	OPT	1	134.519	134.889	4517582
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-1000opt.opb	OPT	-178	137.612	137.963	4499534
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.10.opb	OPT	49	177.182	177.643	4490104
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-TestScheduling-t030m10r05-1_c24.opb	OPT	1986	186.56	187.152	4524298
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.01-5.opb	OPT	3521	205.158	205.595	4506688
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.02.opb	OPT	44	231.54	232.035	4490196
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/similar_weights/ normalized-knapPI_9_5000_1000_1_-48768.opb	OPT	-48768	234.908	235.629	4518088
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32c2.opb	OPT	207	253.683	254.49	4486654
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.08.opb	OPT	34	254.793	255.41	4490150
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-2000opt.opb	OPT	-167	255.733	256.397	4499580
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_25000_5_0.75_3.opb	OPT	440	313.087	313.907	4522826
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-4000opt.opb	OPT	-164	343.266	344.089	4499626
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir05_trarea_ac.opb	OPT	47342	407.073	408.321	4497100
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_2pm-0055-0055.lin.opb	OPT	-20	414.832	415.978	4509010
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx60.opb	OPT	6	448.997	450.294	4499120
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_25000_10_0.85_7.opb	OPT	0	449.306	450.492	4522780
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-3000opt.opb	OPT	-81	469.978	471.131	4499396
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_3.opb	OPT	0	485.082	486.641	4490380
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-WordGolf-4-ogd2008-50-0_c24.opb	OPT	6	496.418	497.555	4524022
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=14-t=2.opb	OPT	12	504.491	505.942	4517858
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-edgecross14-019.lin.opb	OPT	4	546.627	547.946	4509056
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/profit_ceiling/ normalized-knapPI_15_2000_1000_5_-50838.opb	OPT	-17191	684.942	687.112	4518134
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/ normalized-knapPI_1_500_10000_2_-399276.opb	OPT	-527203	689.987	692.069	4518226
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-3000opt.opb	OPT	-187	690.035	691.953	4499764
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-8000opt.opb	OPT	-76	696.85	698.699	4499718
PB25/normalized-PB25/OPT-LIN/ wallon/normalized-Cargo-24_c24.opb	OPT	94204	766.988	768.955	4524252
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-6000opt.opb	OPT	-175	824.72	826.76	4499672
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_14x14_007.opb.metafix.opb	OPT	96	963.369	965.856	4508274
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jul6.5.opb	OPT	79	971.877	974.26	4508044
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-2000opt.opb	OPT	-70	1026.41	1029.05	4499442
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	1088.47	1091.78	4484262
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=10-t=3.opb	OPT	7	1165.88	1169.39	4517674
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_3.opb	OPT	2	1374.34	1378.61	4490288
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-oct6.5.opb	OPT	101	1514.74	1518.83	4507906
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f12-ACDoubleLoss.seq-B-3-combined-EDCBAir.opb	OPT	-310536843	1748.91	1753.87	4512386
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir04_trarea_ac.opb	OPT	41202	2286.4	2292.45	4497146
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb	OPT	9	2585.36	2591.9	4523838
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated_span/ normalized-knapPI_11_1000_1000_5_-23276.opb	OPT	-109060	2659.93	2667.31	4518042
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_25000_10_0.75_2.opb	OPT	4	2694.56	2702.38	4522642
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb	OPT	29	2746.33	2753.97	4509470
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.00.opb	OPT	34	3365.24	3374.61	4490242

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-8000opt.opb	SAT (TO)	-162	3600.01	3608.11	4499488
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-may6.5.opb	SAT (TO)	63	3600.02	3610.41	4507998
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_50null20mast_rapportOE2.0_TMAX60_K67_cod2.opb	SAT (TO)	-32839	3600.04	3609.21	4505768
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)	-6401	3600.04	3610.42	4483940
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir06_trarea_ac.opb	SAT (TO)	37174	3600.05	3609.83	4496824
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-roll3000.opb	SAT (TO)	1090519040	3600.05	3611.13	4485642
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_13.opb	SAT (TO)	128	3600.05	3611.3	4490886
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_75.opb	SAT (TO)	-111	3600.06	3609.84	4519744
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)	-147	3600.06	3609.63	4483894
PB24/normalized-PB10/OPT-LIN/oliveras/ j60opt/normalized-j6045_4.std.opb	SAT (TO)	160	3600.07	3609.21	4500086
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	SAT (TO)	-1284	3600.07	3608.23	4483848
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.11.opb	SAT (TO)	38	3600.08	3610.05	4489920
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_29.opb	SAT (TO)	-47	3600.08	3610.07	4519790
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)	-255042	3600.08	3609.71	4483986
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat15_5_3_3_ic.opb	SAT (TO)	6442164	3600.09	3610.73	4505032
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb	SAT (TO)	20	3600.1	3611.91	4497698
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_60.opb	SAT (TO)	-30	3600.1	3610.45	4519882
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_30.opb	SAT (TO)	-29	3600.11	3610.2	4519606
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=18-t=2.opb	SAT (TO)	16	3600.11	3610.12	4517536
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_2.opb	SAT (TO)	12	3600.11	3610.11	4523562
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_0.opb	SAT (TO)	3	3600.11	3609.24	4523470
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	SAT (TO)	-72	3600.11	3607.96	4483802
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-GolombRuler-a3v18-15_c18.opb	SAT (TO)	192	3600.12	3609.51	4524206
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat15_5_3_2_mh.opb	SAT (TO)	5951258	3600.15	3609.76	4504296
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_20.opb	SAT (TO)	-18	3600.24	3611.05	4519928
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_22.opb	SAT (TO)	-21	3600.31	3610.31	4519974
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_12.opb	SAT (TO)	-18	3600.44	3612.44	4519698
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_18.opb	SAT (TO)	-17	3600.63	3611.65	4519836
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__16.opb	SAT (TO)	95378	3600.93	3611.33	4498660

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__256.opb	?	391.807	392.858	4498844
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__256.opb	?	421.504	422.603	4498890
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/ normalized-dobutsu-shogi-master-noopt.opb	?	798.74	800.583	4523884
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__64.opb	?	1122.87	1125.86	4498614
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_4_mh.opb	?	2175.03	2181.22	4504618

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	? (MO)	317.891	320.117	4498568
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2017/normalized-scpm1.opb	? (MO)	451.016	453.503	4522228
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/ normalized-dobutsu-shogi-master.opb	? (MO)	692.951	696.164	4523930
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_1_mh.opb	? (MO)	935.834	940.025	4505400
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_6_mh.opb	? (MO)	1091.53	1096.28	4505492
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__1024.opb	? (MO)	1177.59	1182.11	4498798
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__512.opb	? (MO)	1441.3	1446.51	4498522
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_4_mh.opb	? (MO)	1448.81	1454.61	4505446
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_10null10mast_rapportOE2.0_TMAX15_K192_cod1.opb	? (MO)	2145.28	2152.62	4506136
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_0_mh.opb	? (MO)	3179.26	3188.4	4504664
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_50000_3_0.85_4.opb	? (MO)	3182.33	3191.43	4522734
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_10null10mast_rapportOE1.0_TMAX180_K192_cod1.opb	? (MO)	3285.58	3294.35	4506228
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat50_4_16_7_mh_ic.opb	? (MO)	3414.33	3424.52	4504940

PB'25 competition: benchmarks results per solver

Result page for solver roundingsat-ihs 63f22ad (complete)

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

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

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

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

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

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

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