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.039104	0.0398891	4431997
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-1077.cudf.paranoid.opb	UNSAT	0.055172	0.0557631	4431989
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-rand936b0d.cudf.trendy.opb	UNSAT	0.100917	0.110594	4432008
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.biglist/normalized-rand5c0b12.cudf.paranoid.opb	UNSAT	0.228771	0.235247	4431999
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-519.cudf.trendy.opb	UNSAT	0.277925	0.28318	4431996
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat25_6_3_5_ic.opb	UNSAT	0.296846	0.302039	4432068
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-581.cudf.paranoid.opb	UNSAT	0.299658	0.302134	4431992
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-1336.cudf.paranoid.opb	UNSAT	0.313615	0.321575	4431990
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-522.cudf.paranoid.opb	UNSAT	0.348736	0.354527	4431991
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-ganges.opb	UNSAT	0.423486	0.427768	4431753
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-ns1745726.opb	UNSAT	4.44016	4.45092	4459467
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_2.opb	UNSAT	116.343	116.669	4431869
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-neos-859770.opb	UNSAT	118.182	118.397	4459428

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_6x6_003.opb.metafix.opb	OPT	19	0.006683	0.00692707	4432104
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ inverse_strongly_correlated/normalized-knapPI_4_50_1000_1_-994.opb	OPT	-994	0.006689	0.00697803	4457790
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_6x6_001.opb.metafix.opb	OPT	17	0.006735	0.00707401	4432103
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ profit_ceiling/normalized-knapPI_15_20_1000_2_-948.opb	OPT	-318	0.006967	0.00724507	4457517
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g4x4.opb	OPT	4	0.007682	0.00803291	4431817
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ uncorrelated/normalized-knapPI_1_50_1000_4_-4888.opb	OPT	-12104	0.009735	0.010621	4457712
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_8x8_006.opb.metafix.opb	OPT	37	0.010152	0.0104359	4432105
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_5.opb	OPT	11	0.010228	0.0106001	4431853
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ multiple_strongly_correlated/normalized-knapPI_14_50_1000_5_-3237.opb	OPT	-5737	0.010533	0.010817	4457829
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ profit_ceiling/normalized-knapPI_15_50_1000_5_-1047.opb	OPT	-354	0.010562	0.010834	4457478
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-5_10.opb	OPT	3951	0.012473	0.012941	4431946
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_006.opb.metafix.opb	OPT	40	0.014258	0.01472	4432097
PB24/normalized-PB06/OPT-LIN/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_5.opb	OPT	11	0.014968	0.0153089	4431859
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-6_12.opb	OPT	5867	0.015525	0.0160121	4431947
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-7_14.opb	OPT	5148	0.016908	0.0173821	4431948
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g2x2.opb	OPT	2	0.017643	0.01843	4431816
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir01_trarea_ac.opb	OPT	13949	0.019053	0.0195281	4431934
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_003.opb.metafix.opb	OPT	50	0.019435	0.019841	4432096
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.019665	0.020193	4431774
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_12x12_001.opb.metafix.opb	OPT	70	0.019962	0.0202949	4432098
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-787.cudf.trendy.opb	OPT	14	0.021041	0.0216191	4431998
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cc.opb	OPT	1567	0.021075	0.0214741	4431797
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f26-ACDoubleLoss.seq-A-2-combined-abcdeir.opb	OPT	37833	0.022319	0.023	4432138
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_12x12_004.opb.metafix.opb	OPT	61	0.022362	0.0231251	4432099
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb	OPT	304	0.023229	0.0238229	4431901
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_12x12_009.opb.metafix.opb	OPT	70	0.023538	0.0240231	4432100
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/area_partials/normalized-fir05_area_partials.opb	OPT	36	0.024798	0.025073	4431917
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-10_20.opb	OPT	8034	0.02636	0.0267691	4431944
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.029188	0.029488	4431775
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_6.opb	OPT	17	0.029782	0.0307101	4431854
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x3.opb	OPT	7	0.032982	0.033858	4431819
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f27-DC2Loss.seq-A-2-1-irabcde.opb	OPT	737472	0.033599	0.0342611	4432139
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=487.opb	OPT	149	0.039216	0.0398529	4431879
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f27-DC2Loss.seq-B-2-combined-irabcde.opb	OPT	721792	0.04064	0.0410411	4432140
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=41-Q=347.opb	OPT	41	0.042929	0.043794	4431882
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-8_16.opb	OPT	5852	0.043281	0.0438689	4431949
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-11_22.opb	OPT	8908	0.0444	0.0451559	4431945
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_14x14_000.opb.metafix.opb	OPT	95	0.045767	0.046333	4432101
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_140_005.opb	OPT	-3559	0.0514	0.052301	4462286
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__8.opb	OPT	45008	0.058738	0.059252	4431959
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=197.opb	OPT	47	0.059571	0.0602769	4431883
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_70_70.r.opb	OPT	2	0.059863	0.060765	4431803
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=5-t=3.opb	OPT	2	0.064062	0.0646079	4449651
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f14-DC2Loss.seq-A-2-combined-abcdeir.opb	OPT	139840229	0.064433	0.0651489	4432136
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f1-DataDisplay_0_order4.seq-A-3-2-irabcde.opb	OPT	5873715	0.068325	0.0690669	4432137
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=397-Q=449.opb	OPT	397	0.070194	0.0715671	4431881
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1094.cudf.trendy.opb	OPT	25090	0.074494	0.075298	4431994
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_051.opb	OPT	1	0.075217	0.0758469	4457868
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/ normalized-knapPI_1_2000_1000_1_-110625.opb	OPT	-110625	0.088072	0.0885101	4457751
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb	OPT	36	0.092252	0.093535	4431787
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb	OPT	50	0.095315	0.0963599	4431779
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=269-Q=359.opb	OPT	269	0.0955	0.0963079	4431880
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb	OPT	34	0.095922	0.0971629	4431788
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1037.cudf.trendy.opb	OPT	51573	0.103346	0.112938	4431993
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb	OPT	36	0.104586	0.112242	4431786
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-neos-3437289-erdre.opb	OPT	0	0.115286	0.119072	4459311
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ4_3.opb	OPT	20	0.116524	0.121319	4431807
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-acc-tight5.opb	OPT	0	0.119862	0.120638	4459506
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-maincont.r.opb	OPT	7	0.125051	0.132199	4431804
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f35-AC_Side2.seq-B-2-combined-EDCBAir.opb	OPT	-81068948	0.131303	0.132254	4432141
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ subset_sum/normalized-knapPI_6_200_10000_5_-48992.opb	OPT	-48992	0.143747	0.1494	4457634
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament08.lin.opb	OPT	-12	0.144761	0.149765	4432124
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir02_trarea_ac.opb	OPT	24890	0.162004	0.162803	4431935
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f54-DCTotalLoss.seq-B-3-combined-EDCBAir.opb	OPT	-3789806	0.162771	0.16378	4432143
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir05_trarea_ac.opb	OPT	47342	0.170872	0.175701	4431938
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx57.opb	OPT	6	0.217062	0.229013	4431972
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.21783	0.225704	4431773
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/subset_sum/ normalized-knapPI_6_5000_10000_1_-246112.opb	OPT	-246112	0.219751	0.220951	4457673
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_300_003.opb	OPT	-7399	0.222472	0.22352	4462246
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__64.opb	OPT	46877	0.22703	0.231965	4431956
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-fout.r.opb	OPT	38	0.233331	0.234663	4431801
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb	OPT	60	0.266206	0.270171	4431791
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_250_005.opb	OPT	-7323	0.275998	0.28003	4462166
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2/normalized-lp4l.opb	OPT	2967	0.286066	0.287156	4459545
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-5pb.opb	OPT	60	0.294036	0.300432	4431792
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g7x7.opb	OPT	12	0.311949	0.321942	4431818
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir03_trarea_ac.opb	OPT	23978	0.345083	0.346338	4431936
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb	OPT	36	0.368531	0.378613	4431794
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_16x16_001.opb.metafix.opb	OPT	125	0.368623	0.370382	4432102
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543-max.opb	OPT	-1281	0.408478	0.410943	4431884
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_080.opb	OPT	140	0.41546	0.420766	4458648
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.503468	0.509819	4431905
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-m4.r.opb	OPT	90	0.526283	0.532357	4431802
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j302_9.std.opb	OPT	54	0.549101	0.550949	4432013
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir04_trarea_ac.opb	OPT	41202	0.549424	0.551055	4431937
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb	OPT	62	0.556357	0.56418	4431789
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_2g-0044-1601.lin.opb	OPT	-954077	0.592467	0.598834	4432120
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb	OPT	64	0.616411	0.62529	4431790
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x9.opb	OPT	20	0.646359	0.649159	4431820
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb	OPT	200	0.651166	0.660553	4431776
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_340_006.opb	OPT	-10524	0.663113	0.665392	4462366
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__128.opb	OPT	46877	0.678365	0.680699	4431953
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-9pb.opb	OPT	68	0.695879	0.70928	4431795
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ subset_sum/normalized-knapPI_6_2000_1000_4_-39215.opb	OPT	-39215	0.698882	0.705832	4457595
PB24/normalized-PB06/OPT-LIN/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb	OPT	25	0.718788	0.720762	4431860
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb	OPT	66	0.759063	0.764131	4431793
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_opers/normalized-fir04_area_opers.opb	OPT	29	0.772146	0.774307	4431915
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.77756	0.779807	4431904
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=6-t=4.opb	OPT	2	0.779557	0.786401	4449896
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-addm4.r.opb	OPT	165	0.853875	0.859827	4431798
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod008.opb	OPT	307	0.873039	0.877137	4431757
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_4_shg.opb	OPT	22	0.959728	0.964308	4432034
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f37-AC_TotalLoss.seq-B-3-1-irEDCBA.opb	OPT	6872712975	0.981628	0.984746	4432142
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_400_008.opb	OPT	-12612	0.983748	0.990828	4462446
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_410_004.opb	OPT	-13862	1.05604	1.05961	4462126
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb	OPT	200	1.21698	1.22412	4431777
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	1.25467	1.25887	4431908
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb	OPT	200	1.34369	1.3518	4431778
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/almost_strongly_correlated/ normalized-knapPI_5_2000_10000_5_-952740.opb	OPT	-1487946	1.37274	1.39319	4457556
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1468.cudf.trendy.opb	OPT	5	1.48705	1.49579	4431995
PB24/normalized-PB10/OPT-LIN/oliveras/ j60opt/normalized-j6033_9.std.opb	OPT	108	1.49945	1.50958	4432014
PB24/normalized-PB10/OPT-LIN/oliveras/ j90opt/normalized-j9018_7.std.opb	OPT	73	1.51088	1.51594	4432016
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.66446	1.66821	4458531
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.newlist/normalized-rand0a62b6.cudf.paranoid.opb	OPT	6943	1.67331	1.68188	4432000
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa7552-038.opb	OPT	1448	1.70786	1.71872	4431785
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.newlist/normalized-rand18b530.cudf.paranoid.opb	OPT	6563	1.83333	1.84665	4432001
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-randaefc7c.cudf.trendy.opb	OPT	394243446	1.97729	1.98231	4432005
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.02629	2.03637	4431906
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx84.opb	OPT	8	2.13964	2.14639	4431976
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__256.opb	OPT	46877	2.24977	2.25608	4431954
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.52292	2.53129	4431907
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12023_6.std.opb	OPT	106	2.61133	2.62196	4432009
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.newlist/normalized-rand362510.cudf.paranoid.opb	OPT	1964	2.86832	2.8759	4432002
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-exam.pi.opb	OPT	63	3.03751	3.05747	4431796
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-1000opt.opb	OPT	-178	3.46912	3.48443	4431961
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	3.881	3.91624	4458609
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.smallist/normalized-rand88811a.cudf.paranoid.opb	OPT	2256	3.91879	3.92773	4432003
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-7000opt.opb	OPT	-172	4.0829	4.09907	4431966
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12039_5.std.opb	OPT	106	4.21455	4.2295	4432010
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-rand49e642.cudf.trendy.opb	OPT	39641230	4.39837	4.40833	4432007
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.smallist/normalized-randa13f2d.cudf.paranoid.opb	OPT	2477	4.63463	4.64533	4432004
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-rand1958fb.cudf.trendy.opb	OPT	15832587875	4.85013	4.86252	4432006
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_340.opb	OPT	1360	4.91084	4.92263	4458726
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data4_3.opb	OPT	8276	5.04195	5.06383	4431811
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.12.opb	OPT	41	6.19604	6.2169	4431865
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-pdc.r.opb	OPT	94	6.29225	6.31396	4431805
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-5000opt.opb	OPT	-169	7.24139	7.26888	4431965
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-4000opt.opb	OPT	-164	7.24154	7.2625	4431964
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.07.opb	OPT	37	7.60777	7.63202	4431862
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm25p-opt.opb.negationfix.opb	OPT	13	7.96678	7.9871	4432133
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/9orless/normalized-kjumpingcube.cudf.paranoid.opb	OPT	141778	8.36548	8.38689	4431981
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-bench1.r.opb	OPT	121	8.4599	8.48843	4431799
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__512.opb	OPT	46877	8.71213	8.72791	4431955
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i4_pp_80_merged.opb	OPT	344	8.92847	8.95426	4462006
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/10orplus/normalized-hal-cups-utils.cudf.paranoid.opb	OPT	141814	9.38538	9.4075	4431979
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.08.opb	OPT	34	10.0294	10.0669	4431868
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i3_pp_87_merged.opb	OPT	346	10.181	10.213	4461966
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-2000opt.opb	OPT	-167	10.4104	10.4558	4431962
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-3000opt.opb	OPT	-187	10.7126	10.7525	4431963
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	10.761	10.8153	4458570
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.02.opb	OPT	44	11.2113	11.2508	4431861
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx92.opb	OPT	9	11.4891	11.5273	4431977
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-10000opt.opb	OPT	-164	11.7486	11.7891	4431960
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir06_trarea_ac.opb	OPT	33456	11.9703	11.9999	4431939
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_460.opb	OPT	2300	12.6727	12.7058	4458687
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_630_002.opb	OPT	-26056	13.1857	13.2196	4462406
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/10orplus/normalized-libpango-perl.cudf.paranoid.opb	OPT	176205	14.1215	14.1498	4431980
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	14.5696	14.6118	4431910
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.10.opb	OPT	49	14.9894	15.0382	4431863
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	17.7246	17.7812	4458882
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f6-ACTotalLoss.seq-A-2-2-irEDCBA.opb	OPT	4208467707	18.7542	18.8054	4432145
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_401.opb	OPT	1	19.2711	19.3327	4457907
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.14.opb	OPT	42	20.5048	20.5778	4431866
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	24.4235	24.5231	4431909
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir07_trarea_ac.opb	OPT	50162	25.224	25.3116	4431940
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i8_pp_100.opb	OPT	2252	25.2918	25.3892	4461686
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_10000_5_0.85_3.opb	OPT	132	25.831	25.8976	4461926
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g15x15.opb	OPT	53	26.7007	26.783	4431815
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_2pm-0066-0066.lin.opb	OPT	-29	28.193	28.2916	4432121
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.11.opb	OPT	38	31.9559	32.0516	4431864
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern30-04.lin.opb	OPT	-81	34.4268	34.5539	4432116
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_3000_5__126_2812.opb	OPT	60720	40.3996	40.4708	4431957
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32c3.opb	OPT	261	42.3735	42.5278	4431782
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-4000opt.opb	OPT	-82	45.1003	45.2373	4431967
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-libpango-perl.cudf.trendy.opb	OPT	3256361088356	45.3961	45.4879	4431985
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/10orplus/normalized-libnkf-perl.cudf.trendy.opb	OPT	3258634294888	45.7544	45.851	4431983
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-gpc-4.1.cudf.trendy.opb	OPT	2705390294033	46.491	46.5854	4431988
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-pidgin-plugin-pack.cudf.trendy.opb	OPT	3258634294888	46.4982	46.5883	4431987
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/ 10orplus/normalized-libtemplate-provider-encoding-perl.cudf.trendy.opb	OPT	3263183881226	47.4601	47.55	4431986
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_690_001.opb	OPT	-30339	47.486	47.6623	4462086
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-libnspr4-dev.cudf.trendy.opb	OPT	3656703476375	47.902	47.9965	4431984
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i10_pp_100.opb	OPT	2232	50.55	50.7093	4461726
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i4_pp_92_merged.opb	OPT	390	51.9078	52.0335	4462046
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx60.opb	OPT	6	54.9266	55.0585	4431973
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-nw04.opb	OPT	8431	60.5182	60.6701	4431759
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-000.opb	OPT	-122892	62.4056	62.5552	4462326
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/10orplus/normalized-codebreaker.cudf.trendy.opb	OPT	3577362783187	67.5126	67.6566	4431982
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_751.opb	OPT	1	70.6884	70.88	4457946
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.5:100.opb	OPT	9	72.9444	73.1157	4431911
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91__8.opb	OPT	70998	76.0207	76.2687	4431951
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	77.2463	77.5057	4431913
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e4.opb	OPT	364	80.2937	80.5912	4431783
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	82.9092	83.0818	4431746
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_25000_5_0.95_7.opb	OPT	336	87.1706	87.4988	4461886
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.10-021.opb	OPT	-116824	97.942	98.2573	4462206
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_opers/normalized-fir06_area_opers.opb	OPT	23	100.486	100.731	4431916
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	110.309	110.608	4431912
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.01-5.opb	OPT	3521	114.81	115.076	4432037
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i5_pp_93.opb	OPT	750	117.793	118.182	4461806
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.F.recomb10-0.01-5.opb	OPT	7540	118.172	118.45	4432042
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb	OPT	-30	138.325	138.857	4431890
PB24/normalized-PB10/OPT-LIN/oliveras/ j60opt/normalized-j609_2.std.opb	OPT	82	197.447	197.91	4432015
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-7000opt.opb	OPT	-68	240.612	241.372	4431969
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb	OPT	24	254.611	255.517	4432131
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_851.opb	OPT	1	256.931	257.581	4457985
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-5000opt.opb	OPT	-70	269.717	270.487	4431968
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_072.opb	OPT	2664	278.974	279.913	4458921
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_34.opb	OPT	630	310.855	311.578	4459077
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat15_5_3_5_ic.opb	OPT	2624620	324.597	325.454	4432067
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_019_area_delay.opb	OPT	24	368.24	369.138	4431920
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb	OPT	-30	383.937	385.055	4431889
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir08_trarea_ac.opb	OPT	70311	427.589	428.565	4431941
PB24/normalized-PB10/OPT-LIN/oliveras/ j90opt/normalized-j9021_10.std.opb	OPT	109	459.331	460.435	4432017
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir09_trarea_ac.opb	OPT	50769	465.835	466.997	4431942
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-mspp16.opb	OPT	33	514.491	515.652	4432022
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_3_shg.opb	OPT	36	546.385	547.549	4432032
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-iis-glass-cov.opb	OPT	21	552.546	554.507	4459194
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat15_5_3_4_mh.opb	OPT	3608846	578.096	579.77	4432086
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-neos-1109824.opb	OPT	378	881.731	884.189	4459350
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_076.opb	OPT	2964	964.243	966.952	4458960
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=8-t=6.opb	OPT	2	1328.24	1331.66	4449686
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat15_5_3_3_ic.opb	OPT	5900212	1354.64	1359.38	4432066
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__32.opb	OPT	95378	1496.79	1500.96	4431958
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE2.0_TMAX15_K67_cod3.opb	OPT	-7752	1578.02	1582.63	4431748
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/ normalized-maxcut_opt_complete_5-partite_block_nvert_55.opb	OPT	-726	1616.23	1620.39	4458765
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_unif_20null10mast_rapportOE1.0_TMAX15_K67_cod3.opb	OPT	-4036	1624.85	1628.55	4431751
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_9_shg.opb	OPT	42	2338.68	2345.32	4432033
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.20-12.opb	OPT	8175	2527.05	2534.85	4432040
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_3pm-0334-0334.lin.opb	OPT	-36	2577.85	2585.43	4432122
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb	OPT	1120	2921.16	2931.87	4431756
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_50000_3_0.95_1.opb	OPT	6112	2932.57	2945.23	4461846
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_50.opb	OPT	1326	3208.76	3216.62	4459155

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_8_shg.opb	Signal 11	155.906	160.902	4432035
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=20-t=2.opb	Signal 6	858.267	881.061	4449721
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=19-t=2.opb	Signal 6	1942.14	1947.02	4449861

PB'24 competition: benchmarks results per solver

Result page for solver IPBHS-SCIP 2024-07-09 (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) (232 runs) [Show/Hide]

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

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