PB'24 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-658.cudf.trendy.opb	UNSAT	0.009296	0.0103171	4454882
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-1077.cudf.paranoid.opb	UNSAT	0.014946	0.0167361	4454874
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-rand936b0d.cudf.trendy.opb	UNSAT	0.085432	0.087574	4454893
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-581.cudf.paranoid.opb	UNSAT	0.090106	0.0923489	4454877
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-522.cudf.paranoid.opb	UNSAT	0.098981	0.105819	4454876
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-519.cudf.trendy.opb	UNSAT	0.102241	0.10904	4454881
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.biglist/normalized-rand5c0b12.cudf.paranoid.opb	UNSAT	0.103094	0.107141	4454884
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-1336.cudf.paranoid.opb	UNSAT	0.121468	0.123533	4454875
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-ganges.opb	UNSAT	0.212227	0.224905	4454638
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat25_6_3_5_ic.opb	UNSAT	1.92527	1.93303	4454953
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-ns1745726.opb	UNSAT	7.15873	7.18636	4459492
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_2.opb	UNSAT	36.0914	36.2369	4454754
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-neos-859770.opb	UNSAT	135.115	135.509	4459453

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-787.cudf.trendy.opb	OPT	14	0.007768	0.00887407	4454883
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_6x6_001.opb.metafix.opb	OPT	17	0.007854	0.009251	4454988
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_6x6_003.opb.metafix.opb	OPT	19	0.0079	0.00961004	4454989
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g2x2.opb	OPT	2	0.007936	0.00923202	4454701
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_8x8_006.opb.metafix.opb	OPT	37	0.008077	0.00966211	4454990
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g4x4.opb	OPT	4	0.008433	0.00942707	4454702
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_006.opb.metafix.opb	OPT	40	0.012649	0.013929	4454982
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x3.opb	OPT	7	0.013548	0.014906	4454704
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1094.cudf.trendy.opb	OPT	25090	0.013751	0.0147999	4454879
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_12x12_004.opb.metafix.opb	OPT	61	0.014857	0.016369	4454984
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_003.opb.metafix.opb	OPT	50	0.014882	0.016463	4454981
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__8.opb	OPT	45008	0.015742	0.01739	4454844
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_12x12_009.opb.metafix.opb	OPT	70	0.016099	0.0177731	4454985
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1037.cudf.trendy.opb	OPT	51573	0.016713	0.018087	4454878
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_12x12_001.opb.metafix.opb	OPT	70	0.01704	0.018123	4454983
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cc.opb	OPT	1567	0.017328	0.0189019	4454682
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.018472	0.0206961	4454659
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb	OPT	304	0.018667	0.0203319	4454786
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_14x14_000.opb.metafix.opb	OPT	95	0.019381	0.0212449	4454986
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ inverse_strongly_correlated/normalized-knapPI_4_50_1000_1_-994.opb	OPT	-994	0.021952	0.0233339	4457815
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f27-DC2Loss.seq-A-2-1-irabcde.opb	OPT	737472	0.022593	0.0244409	4455024
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb	OPT	34	0.022687	0.0243051	4454673
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb	OPT	36	0.022793	0.0245639	4454672
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb	OPT	36	0.024143	0.0258329	4454671
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.024915	0.0270609	4454660
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ profit_ceiling/normalized-knapPI_15_20_1000_2_-948.opb	OPT	-318	0.025125	0.0563541	4457542
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_08.opb	OPT	0	0.026297	0.0280331	4458400
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-5_10.opb	OPT	3951	0.026917	0.0292361	4454831
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ uncorrelated/normalized-knapPI_1_50_1000_4_-4888.opb	OPT	-12104	0.028121	0.0296299	4457737
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_140_005.opb	OPT	-3559	0.028756	0.030455	4462311
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=197.opb	OPT	47	0.02906	0.0313659	4454768
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=397-Q=449.opb	OPT	397	0.029272	0.0317969	4454766
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ multiple_strongly_correlated/normalized-knapPI_14_50_1000_5_-3237.opb	OPT	-5737	0.030723	0.032118	4457854
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-7_14.opb	OPT	5148	0.032473	0.0348179	4454833
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-6_12.opb	OPT	5867	0.033221	0.0356201	4454832
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ profit_ceiling/normalized-knapPI_15_50_1000_5_-1047.opb	OPT	-354	0.034251	0.064189	4457503
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=41-Q=347.opb	OPT	41	0.035644	0.037117	4454767
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=269-Q=359.opb	OPT	269	0.037419	0.0398341	4454765
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb	OPT	50	0.040001	0.0421761	4454664
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f27-DC2Loss.seq-B-2-combined-irabcde.opb	OPT	721792	0.040873	0.0435571	4455025
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir01_trarea_ac.opb	OPT	13949	0.042108	0.0437871	4454819
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_2g-0044-1601.lin.opb	OPT	-954077	0.042614	0.0444481	4455005
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-10_20.opb	OPT	8034	0.045455	0.0477339	4454829
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_70_70.r.opb	OPT	2	0.045694	0.047843	4454688
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/area_partials/normalized-fir05_area_partials.opb	OPT	36	0.048018	0.0498781	4454802
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-5.opb	OPT	2642	0.048726	0.0499511	4454788
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f1-DataDisplay_0_order4.seq-A-3-2-irabcde.opb	OPT	5873715	0.049013	0.0507709	4455022
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f26-ACDoubleLoss.seq-A-2-combined-abcdeir.opb	OPT	37833	0.049936	0.0516659	4455023
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb	OPT	36	0.051426	0.0530539	4454679
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=487.opb	OPT	149	0.054982	0.056258	4454764
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb	OPT	60	0.058162	0.0597081	4454676
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-5pb.opb	OPT	60	0.06309	0.0647721	4454677
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__64.opb	OPT	46877	0.068598	0.070616	4454841
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_10.opb	OPT	0	0.07013	0.0725269	4458244
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f14-DC2Loss.seq-A-2-combined-abcdeir.opb	OPT	139840229	0.072099	0.0738651	4455021
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-11_22.opb	OPT	8908	0.074212	0.076638	4454830
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb	OPT	66	0.079016	0.08037	4454678
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f54-DCTotalLoss.seq-B-3-combined-EDCBAir.opb	OPT	-3789806	0.079391	0.0809721	4455028
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_5.opb	OPT	11	0.079843	0.0906969	4454738
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament08.lin.opb	OPT	-12	0.08414	0.0865229	4455009
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91__8.opb	OPT	70998	0.085354	0.0883539	4454836
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir02_trarea_ac.opb	OPT	24890	0.094346	0.096464	4454820
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_300_003.opb	OPT	-7399	0.097149	0.0987881	4462271
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g7x7.opb	OPT	12	0.097978	0.0998649	4454703
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb	OPT	62	0.099296	0.105838	4454674
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-9pb.opb	OPT	68	0.125039	0.126746	4454680
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_250_005.opb	OPT	-7323	0.130132	0.132589	4462191
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_15.opb	OPT	0	0.136029	0.138914	4458088
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-4.opb	OPT	813	0.143151	0.149373	4454785
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb	OPT	344750	0.145865	0.153218	4454658
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir05_trarea_ac.opb	OPT	47342	0.152144	0.161711	4454823
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_opers/normalized-fir04_area_opers.opb	OPT	29	0.155375	0.15907	4454800
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_31.opb	OPT	-15	0.155529	0.160337	4458517
PB24/normalized-PB06/OPT-LIN/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_5.opb	OPT	11	0.155817	0.16132	4454744
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-8_16.opb	OPT	5852	0.161876	0.164932	4454834
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-maincont.r.opb	OPT	7	0.166909	0.170152	4454689
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.smallist/normalized-rand88811a.cudf.paranoid.opb	OPT	2256	0.171518	0.177583	4454888
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir03_trarea_ac.opb	OPT	23978	0.178577	0.187041	4454821
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/ normalized-knapPI_1_2000_1000_1_-110625.opb	OPT	-110625	0.183021	0.18552	4457776
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.smallist/normalized-randa13f2d.cudf.paranoid.opb	OPT	2477	0.18304	0.189664	4454889
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb	OPT	200	0.216974	0.220122	4454661
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=5-t=3.opb	OPT	2	0.218058	0.223438	4455031
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_18.opb	OPT	0	0.230967	0.23481	4458283
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-neos-3437289-erdre.opb	OPT	0	0.239574	0.241908	4459336
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-rand49e642.cudf.trendy.opb	OPT	39641230	0.257234	0.261747	4454892
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir04_trarea_ac.opb	OPT	41202	0.268886	0.272081	4454822
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2/normalized-lp4l.opb	OPT	2967	0.279514	0.296438	4459570
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_340_006.opb	OPT	-10524	0.295834	0.297513	4462391
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir06_trarea_ac.opb	OPT	33456	0.316931	0.323934	4454824
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ subset_sum/normalized-knapPI_6_200_10000_5_-48992.opb	OPT	-48992	0.326967	0.330614	4457659
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb	OPT	8691	0.331243	0.339196	4454643
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-fout.r.opb	OPT	38	0.334381	0.337502	4454686
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__128.opb	OPT	46877	0.37738	0.380652	4454838
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_400_008.opb	OPT	-12612	0.387698	0.39051	4462471
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x9.opb	OPT	20	0.412024	0.415139	4454705
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb	OPT	64	0.435948	0.438833	4454675
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_051.opb	OPT	1	0.446362	0.452277	4457893
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_080.opb	OPT	140	0.458673	0.463045	4458673
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-m4.r.opb	OPT	90	0.463192	0.466706	4454687
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-rand1958fb.cudf.trendy.opb	OPT	15832587875	0.499365	0.504026	4454891
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-3.opb	OPT	3031	0.500554	0.514167	4454787
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb	OPT	200	0.50436	0.51107	4454663
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_22.opb	OPT	0	0.526364	0.547849	4458205
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=6-t=4.opb	OPT	2	0.543608	0.549534	4455032
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_2pm-0066-0066.lin.opb	OPT	-29	0.556543	0.560385	4455006
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_410_004.opb	OPT	-13862	0.557381	0.563956	4462151
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb	OPT	200	0.598227	0.602776	4454662
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_21.opb	OPT	0	0.632418	0.63791	4458322
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir07_trarea_ac.opb	OPT	50162	0.721355	0.743579	4454825
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__256.opb	OPT	46877	0.73235	0.736067	4454839
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa7552-038.opb	OPT	1448	0.750387	0.75535	4454670
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/subset_sum/ normalized-knapPI_6_5000_10000_1_-246112.opb	OPT	-246112	0.772814	0.779044	4457698
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_16x16_001.opb.metafix.opb	OPT	125	0.778453	0.78343	4454987
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.95:98.opb	OPT	1	0.825639	0.829199	4454790
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-addm4.r.opb	OPT	165	0.847525	0.91507	4454683
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.95:100.opb	OPT	0	0.884317	0.889375	4454789
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod008.opb	OPT	307	0.884725	0.896726	4454642
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ subset_sum/normalized-knapPI_6_2000_1000_4_-39215.opb	OPT	-39215	0.97578	0.994424	4457620
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_340.opb	OPT	1360	1.04227	1.04596	4458751
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_50.opb	OPT	-98	1.05972	1.06676	4458439
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb	OPT	1120	1.07112	1.07968	4454641
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_4_shg.opb	OPT	22	1.07246	1.0774	4454919
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__32.opb	OPT	95378	1.09751	1.1054	4454843
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r11_c22_a6.opb	OPT	1419	1.13933	1.14573	4458556
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_6.opb	OPT	17	1.18132	1.21476	4454739
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data4_3.opb	OPT	8276	1.20374	1.21063	4454696
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ4_3.opb	OPT	20	1.24126	1.24914	4454692
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_24.opb	OPT	0	1.34283	1.353	4458127
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f35-AC_Side2.seq-B-2-combined-EDCBAir.opb	OPT	-81068948	1.36822	1.39572	4455026
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.newlist/normalized-rand18b530.cudf.paranoid.opb	OPT	6563	1.55175	1.55794	4454886
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r24_c47_a5.opb	OPT	6627	1.61683	1.62323	4458634
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_3000_5__126_2812.opb	OPT	60720	1.63618	1.68937	4454842
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.newlist/normalized-rand362510.cudf.paranoid.opb	OPT	1964	1.81432	1.824	4454887
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543-max.opb	OPT	-1281	1.86048	1.86978	4454769
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.newlist/normalized-rand0a62b6.cudf.paranoid.opb	OPT	6943	2.00512	2.01613	4454885
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.5:100.opb	OPT	0	2.11247	2.12026	4454791
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/almost_strongly_correlated/ normalized-knapPI_5_2000_10000_5_-952740.opb	OPT	-1487946	2.4177	2.44767	4457581
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2017/normalized-graph20-20-1rand.opb	OPT	-9	2.45108	2.47189	4459258
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-randaefc7c.cudf.trendy.opb	OPT	394243446	2.52163	2.53488	4454890
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1468.cudf.trendy.opb	OPT	5	2.57805	2.5889	4454880
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:98.opb	OPT	2	2.81611	2.83592	4454793
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f37-AC_TotalLoss.seq-B-3-1-irEDCBA.opb	OPT	6872712975	2.85256	2.86592	4455027
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:100.opb	OPT	1	2.98002	2.99026	4454792
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm25p-opt.opb.negationfix.opb	OPT	13	2.99819	3.0086	4455018
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_opers/normalized-fir06_area_opers.opb	OPT	23	3.08443	3.09562	4454801
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i10_pp_100.opb	OPT	2232	3.34138	3.36825	4461751
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-exam.pi.opb	OPT	63	3.41148	3.42256	4454681
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i8_pp_100.opb	OPT	2252	3.45976	3.48636	4461711
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_460.opb	OPT	2300	3.4955	3.50815	4458712
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_3pm-0334-0334.lin.opb	OPT	-36	3.50303	3.51873	4455007
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir08_trarea_ac.opb	OPT	70311	3.51083	3.52869	4454826
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__512.opb	OPT	46877	3.62362	3.64777	4454840
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_27.opb	OPT	0	3.95625	3.97165	4458166
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx57.opb	OPT	6	4.12848	4.14485	4454857
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-pdc.r.opb	OPT	94	4.16052	4.17804	4454690
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r33_c65_a6.opb	OPT	12675	4.19764	4.2113	4458595
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=8-t=6.opb	OPT	2	4.31016	4.33185	4455033
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx60.opb	OPT	6	4.32773	4.34232	4454858
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_025_area_delay.opb	OPT	25	4.84684	4.86728	4454807
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-2.opb	OPT	939	5.10055	5.12436	4454784
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb	OPT	24	6.00466	6.0236	4455016
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_630_002.opb	OPT	-26056	7.18603	7.20911	4462431
PB24/normalized-PB06/OPT-LIN/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb	OPT	25	8.92127	8.95336	4454745
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-bench1.r.opb	OPT	121	8.94803	8.98002	4454684
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=9-t=5.opb	OPT	4	9.75417	9.79521	4455034
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx84.opb	OPT	8	10.4053	10.4383	4454861
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__64.opb	OPT	87132	11.2885	11.326	4454835
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.95:98.opb	OPT	4	12.8587	12.9048	4454795
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat15_5_3_5_ic.opb	OPT	2624620	13.7712	13.8161	4454952
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir09_trarea_ac.opb	OPT	50769	14.5815	14.6266	4454827
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat15_5_3_3_ic.opb	OPT	5900212	17.5193	17.5893	4454951
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-neos-1109824.opb	OPT	378	18.2111	18.2855	4459375
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern30-04.lin.opb	OPT	-81	18.8136	18.8761	4455001
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir10_trarea_ac.opb	OPT	73649	19.2039	19.2577	4454828
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_27.opb	OPT	-180	23.0289	23.1175	4458907
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j302_9.std.opb	OPT	54	23.3993	23.478	4454898
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_690_001.opb	OPT	-30339	26.4029	26.5242	4462111
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-pidgin-plugin-pack.cudf.trendy.opb	OPT	3258634294888	29.8214	29.9226	4454872
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g15x15.opb	OPT	53	30.0609	30.1471	4454700
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_076.opb	OPT	2964	30.246	30.3548	4458985
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32c3.opb	OPT	261	30.8829	30.9724	4454667
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_019_area_delay.opb	OPT	24	32.2738	32.3625	4454805
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/9orless/normalized-kjumpingcube.cudf.paranoid.opb	OPT	141778	34.1094	34.2358	4454866
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/10orplus/normalized-libpango-perl.cudf.paranoid.opb	OPT	176205	34.3781	34.486	4454865
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat15_5_3_4_mh.opb	OPT	3608846	34.9104	35.0411	4454971
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-gpc-4.1.cudf.trendy.opb	OPT	2705390294033	36.5683	36.676	4454873
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-libpango-perl.cudf.trendy.opb	OPT	3256361088356	43.5118	43.6335	4454870
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/10orplus/normalized-hal-cups-utils.cudf.paranoid.opb	OPT	141814	44.8977	45.0667	4454864
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/ 10orplus/normalized-libtemplate-provider-encoding-perl.cudf.trendy.opb	OPT	3263183881226	45.2123	45.3515	4454871
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_026_area_delay.opb	OPT	28	46.8483	46.9801	4454808
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/10orplus/normalized-libnkf-perl.cudf.trendy.opb	OPT	3258634294888	47.9727	48.132	4454868
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_001_area_delay.opb	OPT	28	48.2923	48.4459	4454803
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-acc-tight5.opb	OPT	0	49.0947	49.2673	4459531
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-libnspr4-dev.cudf.trendy.opb	OPT	3656703476375	49.7339	49.8828	4454869
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-000.opb	OPT	-122892	52.1004	52.2395	4462351
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/10orplus/normalized-codebreaker.cudf.trendy.opb	OPT	3577362783187	55.1336	55.3137	4454867
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.10-021.opb	OPT	-116824	60.6387	60.8093	4462231
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-nw04.opb	OPT	8431	62.1921	62.396	4454644
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.95:98.opb	OPT	12	69.6279	69.8059	4454798
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e4.opb	OPT	364	69.8761	70.1205	4454668
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_010_area_delay.opb	OPT	26	70.2512	70.4482	4454804
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_023_area_delay.opb	OPT	22	74.0819	74.2808	4454806
PB24/normalized-PB10/OPT-LIN/oliveras/ j90opt/normalized-j9018_7.std.opb	OPT	73	87.5402	87.79	4454901
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f6-ACTotalLoss.seq-A-2-2-irEDCBA.opb	OPT	4208467707	134.794	135.321	4455030
PB24/normalized-PB10/OPT-LIN/oliveras/ j60opt/normalized-j6033_9.std.opb	OPT	108	138.072	138.476	4454899
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i4_pp_80_merged.opb	OPT	344	151.886	152.369	4462031
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_072.opb	OPT	2664	158.053	158.66	4458946
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=20-t=2.opb	OPT	18	160.366	160.965	4455039
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE2.0_TMAX15_K67_cod3.opb	OPT	-7752	167.939	168.519	4454633
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.95:100.opb	OPT	2	199.129	199.829	4454794
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb	OPT	-30	205.479	206.073	4454775
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm75p-opt.opb.negationfix.opb	OPT	47	211.651	212.239	4455019
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.95:100.opb	OPT	3	229.804	230.606	4454797
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_10000_5_0.85_3.opb	OPT	132	266.334	267.281	4461951
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_100.opb	OPT	5100	300.175	301.209	4459024
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-4000opt.opb	OPT	-82	301.509	302.306	4454852
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i4_pp_92_merged.opb	OPT	390	301.691	302.52	4462071
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_160.opb	OPT	12960	302.055	302.894	4459063
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.08.opb	OPT	34	302.501	303.245	4454753
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx92.opb	OPT	9	302.99	303.843	4454862
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-5000opt.opb	OPT	-70	303.56	304.381	4454853
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.02.opb	OPT	44	304.349	305.393	4454746
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.11.opb	OPT	38	305.235	306.74	4454749
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.07.opb	OPT	37	305.368	306.369	4454747
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.14.opb	OPT	42	306.13	307.331	4454751
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-7000opt.opb	OPT	-68	306.255	307.031	4454854
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_401.opb	OPT	1	306.824	307.865	4457932
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.12.opb	OPT	41	307.69	308.743	4454750
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.10.opb	OPT	49	308.925	309.929	4454748
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i3_pp_87_merged.opb	OPT	346	312.005	313.179	4461991
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.00.opb	OPT	34	313.431	314.206	4454752
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-4000opt.opb	OPT	-164	313.862	314.874	4454849
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-10000opt.opb	OPT	-164	314.182	315.35	4454845
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-1000opt.opb	OPT	-178	315.939	316.772	4454846
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.F.recomb10-0.20-11.opb	OPT	4807	324.073	325.105	4454928
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.01-5.opb	OPT	3521	324.593	325.674	4454922
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12039_5.std.opb	OPT	106	326.273	327.418	4454895
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_851.opb	OPT	1	326.322	327.609	4458010
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-5000opt.opb	OPT	-169	337.358	338.746	4454850
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_4.opb	OPT	3971977	338.862	339.726	4454944
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.F.recomb10-0.01-5.opb	OPT	7540	343.298	344.462	4454927
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i5_pp_93.opb	OPT	750	347.481	348.698	4461831
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12023_6.std.opb	OPT	106	349.848	350.731	4454894
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_5.opb	OPT	5114519	353.176	354.409	4454945
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_25000_5_0.95_7.opb	OPT	336	363.093	364.164	4461911
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-3000opt.opb	OPT	-187	363.818	364.9	4454848
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_product/ normalized-BA_RDC4.dot_luby_20null20mast_rapportOE2.0_TMAX15_K67_cod2_pbEq1_newVersion_product.opb	OPT	-100	366.135	367.178	4454631
PB24/normalized-PB10/OPT-LIN/oliveras/ j60opt/normalized-j609_2.std.opb	OPT	82	379.241	380.26	4454900
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-2000opt.opb	OPT	-167	383.602	384.779	4454847
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_50000_3_0.95_1.opb	OPT	6112	388.886	390.273	4461871
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.01-5.opb	OPT	14043	409.561	411.066	4454930
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.01-1.opb	OPT	15748	412.867	413.826	4454929
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-7000opt.opb	OPT	-172	421.552	422.823	4454851
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-mspp16.opb	OPT	33	438.883	440.178	4454907
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.20-12.opb	OPT	8175	456.552	457.919	4454925
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_unif_20null10mast_rapportOE1.0_TMAX15_K67_cod3.opb	OPT	-4036	533.918	535.481	4454636
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_34.opb	OPT	630	568.392	570.317	4459102
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb5-0.10-9.opb	OPT	31445	627.129	629.416	4454926
PB24/normalized-PB10/OPT-LIN/oliveras/ j90opt/normalized-j9021_10.std.opb	OPT	109	659.145	661.457	4454902
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_751.opb	OPT	1	823.357	825.927	4457971
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb10-0.10-8.opb	OPT	55874	1347.63	1350.97	4454921
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_ladder/ normalized-BA_RDC4.dot_unif_20null10mast_rapportOE1.0_TMAX15_K67_cod2_pbEq1_newVersion_ladder.opb	OPT	-5433	2079.95	2086.79	4454629
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX60_K192_cod2.opb	OPT	-5492	2114.15	2120.79	4454937
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_delay/normalized-fir08_area_delay.opb	OPT	23	2307.05	2313	4454799
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_3.opb	OPT	3892789	3323.44	3347.15	4454946
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_4.opb	OPT	3437313	3499.3	3508.27	4454947

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ10_3.opb	SAT (TO)	328	3600.02	3609.71	4454691
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-oct6.5.opb	SAT (TO)	127	3600.02	3612.01	4454998
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb	SAT (TO)	21	3600.02	3609.12	4454815
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_3.opb	SAT (TO)	37	3600.02	3609.01	4454763
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-sep6.5.opb	SAT (TO)	81	3600.03	3609.01	4455000
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/ normalized-maxcut_opt_complete_5-partite_block_nvert_55.opb	SAT (TO)	-726	3600.03	3609.91	4458790
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-bg512142.opb	SAT (TO)	24875458587	3600.04	3610.71	4454648
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jun5.5.opb	SAT (TO)	211	3600.04	3609.31	4454995
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x26.opb	SAT (TO)	7318988	3600.04	3609.01	4454645
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb	SAT (TO)	14	3600.05	3611.9	4454761
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-oct5.5.opb	SAT (TO)	211	3600.05	3612.51	4454997
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_block/ normalized-maxcut_opt_complete_6-partite_block_nvert_72.opb	SAT (TO)	-1232	3600.06	3612.03	4458829
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb	SAT (TO)	322	3600.06	3610.73	4454733
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb	SAT (TO)	53	3600.06	3609.3	4454762
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat100_4_32_1.opb	SAT (TO)	5873059	3600.06	3613.15	4454941
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern35-09.lin.opb	SAT (TO)	-1249	3600.06	3607.91	4455002
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_binary/ normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE1.0_TMAX300_K67_cod2_pbEq1_newVersion_binary.opb	SAT (TO)	-201531	3600.06	3609.73	4454628
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdiv2/ normalized-injcomp_opt_4layers_maxall_lastlayerdiv2_size_16.opb	SAT (TO)	-32	3600.07	3611.72	4458478
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb	SAT (TO)	393	3600.07	3609.64	4454727
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data10_3.opb	SAT (TO)	76999	3600.08	3609.02	4454695
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat50_6_9_5_ic.opb	SAT (TO)	58449333	3600.08	3609.56	4454955
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data8_3.opb	SAT (TO)	44581	3600.08	3610.02	4454698
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran14x18.opb	SAT (TO)	5516977	3600.08	3609.01	4454646
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-neos-631710.opb	SAT (TO)	227	3600.08	3612.07	4454909
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_3_shg.opb	SAT (TO)	39	3600.08	3611.85	4454917
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jul5.5.opb	SAT (TO)	211	3600.08	3610.21	4454994
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat50_6_9_9_ic.opb	SAT (TO)	67610013	3600.08	3609.46	4454956
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb	SAT (TO)	-49	3600.08	3612.62	4454783
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug6.5.opb	SAT (TO)	81	3600.09	3612.11	4454993
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-ns903616.opb	SAT (TO)	20	3600.09	3609.92	4459414
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_3_mh.opb	SAT (TO)	5116597	3600.09	3612.98	4454973
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ6_3.opb	SAT (TO)	66	3600.09	3612.51	4454693
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat100_4_32_5.opb	SAT (TO)	5435267	3600.1	3609.34	4454942
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-may6.5.opb	SAT (TO)	57	3600.1	3611.91	4454996
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb	SAT (TO)	24458	3600.1	3610.12	4454697
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-circ10-3.opb	SAT (TO)	338	3600.11	3612.02	4454904
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_4.opb	SAT (TO)	5141383	3600.11	3610.23	4454950
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16a2.opb	SAT (TO)	1167	3600.11	3609.02	4454665
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i9_pp_96.opb	SAT (TO)	1420	3600.11	3609.99	4461791
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-standgub.opb	SAT (TO)	53999306	3600.11	3612.22	4454640
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ8_3.opb	SAT (TO)	176	3600.11	3610.13	4454694
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb	SAT (TO)	368	3600.12	3611.19	4454732
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/ normalized-maxcut_opt_complete_6-partite_inlv_nvert_66.opb	SAT (TO)	-1026	3600.12	3611.62	4458868
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb	SAT (TO)	395	3600.12	3608.63	4454728
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_5.opb	SAT (TO)	4219117	3600.12	3610.48	4454948
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_8_mh.opb	SAT (TO)	7447434	3600.12	3609.93	4454974
PB24/normalized-PB15eval/OPT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay60.lin.opb	SAT (TO)	1653563	3600.13	3609.51	4455004
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_product/ normalized-BA_RDC4.dot_unif_20null10mast_rapportOE2.0_TMAX180_K67_cod2_pbEq1_newVersion_product.opb	SAT (TO)	-33402	3600.14	3609.54	4454632
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_0.opb	SAT (TO)	5318165	3600.14	3609.86	4454949
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-ns1853823.opb	SAT (TO)	190	3600.16	3609.81	4454910
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_9_shg.opb	SAT (TO)	46	3600.16	3610.52	4454918
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb	SAT (TO)	329	3600.16	3611.43	4454726
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb	SAT (TO)	318	3600.16	3613.41	4454731
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_unif_50null20mast_rapportOE2.0_TMAX300_K67_cod1.opb	SAT (TO)	-24134	3600.17	3611.05	4454637
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/ normalized-BA_RDC4.dot_unif_10null0mast_rapportOE2.0_TMAX60_K67_cod2_pbEq1_newVersion.opb	SAT (TO)	-6824	3600.18	3609.09	4454630
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat35_4_11_5_mh_ic.opb	SAT (TO)	7088373	3600.19	3610.19	4454958
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_1_mh.opb	SAT (TO)	3376163	3600.2	3613.71	4454972
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb	SAT (TO)	280	3600.2	3611.43	4454734
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat50_6_9_3_ic.opb	SAT (TO)	60468929	3600.21	3614.61	4454954
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb10-0.20-13.opb	SAT (TO)	40755	3600.23	3610.06	4454924
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb	SAT (TO)	329	3600.23	3609.54	4454735
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat35_4_11_1_mh_ic.opb	SAT (TO)	4585835	3600.23	3613.85	4454957
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_0null50mast_rapportOE2.0_TMAX180_K192_cod2.opb	SAT (TO)	-6765	3600.24	3612.02	4454931
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb10-0.20-12.opb	SAT (TO)	54713	3600.24	3609.17	4454923
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_9_mh.opb	SAT (TO)	5899845	3600.25	3609.14	4454980
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm75p-opt.opb.negationfix.opb	SAT (TO)	108	3600.26	3609.89	4455012
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_0_mh.opb	SAT (TO)	5970382	3600.26	3610.01	4454975
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sctap3.opb	SAT (TO)	3577864	3600.28	3609.78	4454639
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_2_mh.opb	SAT (TO)	7333346	3600.29	3610.32	4454976
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_20null20mast_rapportOE2.0_TMAX60_K192_cod2.opb	SAT (TO)	-54730	3600.37	3609.59	4454935
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat50_4_16_2_mh_ic.opb	SAT (TO)	17519580	3600.41	3609.27	4454960
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod2.opb	SAT (TO)	-18820	3600.42	3609.28	4454940
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_8_mh.opb	SAT (TO)	4438159	3600.43	3612.1	4454979
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat50_4_16_1_mh_ic.opb	SAT (TO)	20938212	3600.48	3609.68	4454959
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_5_mh.opb	SAT (TO)	4508948	3600.49	3612.21	4454978
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_1_ic.opb	SAT (TO)	371481317	3600.55	3611.83	4454962
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_9_ic.opb	SAT (TO)	380985527	3600.6	3610.26	4454970
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_7_ic.opb	SAT (TO)	482333439	3600.63	3612.82	4454968
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_10null0mast_rapportOE1.0_TMAX180_K192_cod2.opb	SAT (TO)	-6765	3600.72	3609.58	4454932
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_2_ic.opb	SAT (TO)	264538269	3600.84	3612.82	4454963
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_0_ic.opb	SAT (TO)	305368605	3601.05	3614.46	4454961
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_5_ic.opb	SAT (TO)	185016465	3601.08	3610.26	4454966
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_3_mh.opb	SAT (TO)	5206673	3601.24	3610.92	4454977
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_3_mh.opb	SAT (TO)	250709102	3601.41	3612.2	4454965
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_5_mh.opb	SAT (TO)	142127857	3601.54	3613.62	4454967
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_0null10mast_rapportOE1.0_TMAX15_K192_cod1.opb	SAT (TO)	-1819	3601.62	3610.97	4454938
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_8_mh.opb	SAT (TO)	281775813	3601.77	3611.7	4454969

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_2.opb	? (TO)	3600	3610.6	4454755
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb	? (TO)	3600.01	3609.5	4454709
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_3.opb	? (TO)	3600.01	3609.3	4454756
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_3.opb	? (TO)	3600.01	3609.2	4454760
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb	? (TO)	3600.01	3613.6	4454707
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-iis-glass-cov.opb	? (TO)	3600.01	3611.4	4459219
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_12.opb	? (TO)	3600.01	3614.61	4454740
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=14-t=9.opb	? (TO)	3600.02	3608.5	4455037
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx49.opb	? (TO)	3600.02	3610.12	4454856
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-2.opb	? (TO)	3600.02	3612.5	4454669
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug4.5.opb	? (TO)	3600.02	3609.61	4454991
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=24-t=2.opb	? (TO)	3600.02	3609.71	4455040
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb	? (TO)	3600.02	3612.5	4454714
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb	? (TO)	3600.03	3608.95	4454719
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_11.opb	? (TO)	3600.03	3609.71	4454736
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_43.opb.PB06.opb	? (TO)	3600.03	3608.71	4454722
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_14.opb	? (TO)	3600.03	3611.81	4454741
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=19-t=2.opb	? (TO)	3600.03	3608.8	4455038
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb	? (TO)	3600.04	3609.02	4454721
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb	? (TO)	3600.04	3609.9	4454711
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx97.opb	? (TO)	3600.04	3609.12	4454863
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-opm2-z7-s2.opb	? (TO)	3600.04	3609.92	4454911
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb	? (TO)	3600.04	3612.2	4454814
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_1.opb	? (TO)	3600.04	3610.5	4454758
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx75.opb	? (TO)	3600.04	3610.01	4454860
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb	? (TO)	3600.04	3609.21	4454776
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-sp98ic.opb	? (TO)	3600.04	3610.04	4454655
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb	? (TO)	3600.04	3609.21	4454723
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb	? (TO)	3600.04	3609.63	4454780
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_4.opb	? (TO)	3600.04	3612.5	4454757
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-go19.opb	? (TO)	3600.04	3610.3	4454906
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb	? (TO)	3600.04	3613.01	4454657
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb	? (TO)	3600.04	3612.31	4454812
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-UMTS.opb	? (TO)	3600.04	3609.11	4454656
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb	? (TO)	3600.04	3610.23	4454782
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb	? (TO)	3600.05	3610.51	4454720
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f58-fob_fxl_loss.seq-B-3-2-irEDCBA.opb	? (TO)	3600.05	3610.03	4455029
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb	? (TO)	3600.05	3609.11	4454718
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16d1.opb	? (TO)	3600.05	3612.72	4454666
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-sep4.5.opb	? (TO)	3600.05	3609.6	4454999
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.5:100.opb	? (TO)	3600.05	3612.43	4454796
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb	? (TO)	3600.05	3609.31	4454817
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb	? (TO)	3600.05	3609.8	4454712
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=11-t=5.opb	? (TO)	3600.05	3611.8	4455035
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb	? (TO)	3600.06	3609.61	4454716
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_1.opb	? (TO)	3600.06	3609.4	4454759
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb	? (TO)	3600.06	3612.12	4454724
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb	? (TO)	3600.06	3612.41	4454779
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_13_shg.opb	? (TO)	3600.06	3609.54	4454915
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb	? (TO)	3600.06	3609.8	4454710
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j1207_5.std.opb	? (TO)	3600.06	3611.12	4454897
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb	? (TO)	3600.06	3609.6	4454717
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx63.opb	? (TO)	3600.07	3610.91	4454859
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12051_4.std.opb	? (TO)	3600.07	3609.13	4454896
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug5.5.opb	? (TO)	3600.07	3610.41	4454992
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb	? (TO)	3600.07	3609.31	4454774
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat100_4_32_8.opb	? (TO)	3600.07	3609.21	4454943
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-blp-ir98.opb	? (TO)	3600.07	3610.16	4454649
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb	? (TO)	3600.07	3609.41	4454811
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_4.opb	? (TO)	3600.07	3609.52	4454813
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx30.opb	? (TO)	3600.07	3612.4	4454855
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament50.lin.opb	? (TO)	3600.07	3610.21	4455010
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb	? (TO)	3600.07	3612.82	4454653
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb	? (TO)	3600.07	3609.21	4454708
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb	? (TO)	3600.08	3609.68	4455017
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern50-06.lin.opb	? (TO)	3600.08	3608.8	4455003
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_9.opb	? (TO)	3600.08	3608.91	4454818
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb	? (TO)	3600.08	3609.21	4454713
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g100x100.opb	? (TO)	3600.08	3609.45	4454699
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_18.opb	? (TO)	3600.08	3615.11	4454743
PB24/normalized-PB11/OPT-LIN/heinz/ normalized-neos-1620770.opb	? (TO)	3600.09	3609.4	4454908
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_7.opb	? (TO)	3600.09	3612.41	4454816
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb	? (TO)	3600.09	3609.5	4454706
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_17.opb	? (TO)	3600.09	3611.81	4454742
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb	? (TO)	3600.09	3609.91	4455015
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_14.opb	? (TO)	3600.09	3612.6	4454737
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb	? (TO)	3600.09	3611.11	4454777
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb	? (TO)	3600.1	3612.5	4454725
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb	? (TO)	3600.1	3609.91	4454778
PB24/normalized-PB10/OPT-LIN/oliveras/ j90opt/normalized-j909_1.std.opb	? (TO)	3600.1	3611.91	4454903
PB24/normalized-PB07/OPT-LIN/ submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb	? (TO)	3600.11	3609.13	4454809
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_14_shg.opb	? (TO)	3600.11	3609.27	4454916
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-stp3d.opb	? (TO)	3600.11	3609.15	4454913
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb	? (TO)	3600.11	3612.11	4454715
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb	? (TO)	3600.11	3609.72	4454781
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_clique-50.lin.opb	? (TO)	3600.11	3611.7	4455008
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_1.opb	? (TO)	3600.12	3610.41	4454810
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb	? (TO)	3600.12	3610.02	4454729
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb	? (TO)	3600.13	3613.62	4454652
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-seymour1.opb	? (TO)	3600.13	3608.73	4454647
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_unif_10null10mast_rapportOE1.0_TMAX120_K67_cod1.opb	? (TO)	3600.13	3608.84	4454635
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm99p-opt.opb.negationfix.opb	? (TO)	3600.14	3609.32	4455014
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb	? (TO)	3600.14	3610.25	4454730
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm25p-opt.opb.negationfix.opb	? (TO)	3600.14	3609.36	4455011
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb	? (TO)	3600.15	3609.69	4454650
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-ex1010-pi.opb	? (TO)	3600.19	3612.05	4454905
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm98p-opt.opb.negationfix.opb	? (TO)	3600.19	3611.34	4455020
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_11_shg.opb	? (TO)	3600.2	3611.15	4454914
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-ex1010.pi.opb	? (TO)	3600.23	3610.92	4454685
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2017/normalized-rmine15.opb	? (TO)	3600.25	3608.74	4459297
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_54.opb	? (TO)	3600.26	3612.81	4459141
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb	? (TO)	3600.31	3612.33	4455013
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_50null0mast_rapportOE2.0_TMAX300_K192_cod1.opb	? (TO)	3600.45	3612.72	4454936
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_50.opb	? (TO)	3600.68	3613.37	4459180
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_luby_0null50mast_rapportOE1.0_TMAX60_K67_cod3.opb	? (TO)	3600.84	3609.91	4454634
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod1.opb	? (TO)	3601.53	3614.86	4454939
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_20null10mast_rapportOE1.0_TMAX180_K192_cod1.opb	? (TO)	3602.42	3610.58	4454934

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_8_shg.opb	? (MO)		248.054	248.927	4454920
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_10null50mast_rapportOE2.0_TMAX15_K192_cod1.opb	? (MO)		510.437	512.145	4454933

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__512.opb	Signal 6		50.6855	57.9204	4454837
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_2_mh.opb	Signal 6		2123.88	2147.77	4454964

PB'24 competition: benchmarks results per solver

Result page for solver mixed-bag 2024-07-19 (complete)

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

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

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

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

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

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

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

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