PB'24 competition: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-1077.cudf.paranoid.opb	UNSAT	0.012748	0.0131431	4454461
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-658.cudf.trendy.opb	UNSAT	0.019032	0.0200759	4454469
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-rand936b0d.cudf.trendy.opb	UNSAT	0.037633	0.0382351	4454480
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-ganges.opb	UNSAT	0.063048	0.0638741	4454225
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-581.cudf.paranoid.opb	UNSAT	0.073413	0.074202	4454464
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-522.cudf.paranoid.opb	UNSAT	0.078175	0.0792039	4454463
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-1336.cudf.paranoid.opb	UNSAT	0.097185	0.098376	4454462
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.biglist/normalized-rand5c0b12.cudf.paranoid.opb	UNSAT	0.168001	0.169347	4454471
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-519.cudf.trendy.opb	UNSAT	0.230254	0.238036	4454468
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-ns1745726.opb	UNSAT	2.64721	2.65352	4459491
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_2.opb	UNSAT	100.436	100.704	4454341
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-neos-859770.opb	UNSAT	190.739	191.388	4459452

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g2x2.opb	OPT	2	0.002196	0.00275907	4454288
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g4x4.opb	OPT	4	0.002432	0.00277401	4454289
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_6x6_001.opb.metafix.opb	OPT	17	0.00251	0.00360612	4454575
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.002521	0.00298101	4454247
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x3.opb	OPT	7	0.002718	0.00394007	4454291
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-787.cudf.trendy.opb	OPT	14	0.002976	0.004058	4454470
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f26-ACDoubleLoss.seq-A-2-combined-abcdeir.opb	OPT	37833	0.00357	0.00409807	4454610
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f27-DC2Loss.seq-A-2-1-irabcde.opb	OPT	737472	0.003824	0.00434811	4454611
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f27-DC2Loss.seq-B-2-combined-irabcde.opb	OPT	721792	0.003866	0.00465302	4454612
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.003909	0.00443598	4454246
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=487.opb	OPT	149	0.004543	0.00493505	4454351
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g7x7.opb	OPT	12	0.005159	0.0057529	4454290
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=41-Q=347.opb	OPT	41	0.005195	0.00560309	4454354
PB24/normalized-PB06/OPT-LIN/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_5.opb	OPT	11	0.005446	0.0060761	4454331
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f1-DataDisplay_0_order4.seq-A-3-2-irabcde.opb	OPT	5873715	0.005886	0.00671098	4454609
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_6x6_003.opb.metafix.opb	OPT	19	0.00607	0.006904	4454576
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=197.opb	OPT	47	0.006572	0.0070029	4454355
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_8x8_006.opb.metafix.opb	OPT	37	0.006637	0.00797997	4454577
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1037.cudf.trendy.opb	OPT	51573	0.00908	0.010208	4454465
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f14-DC2Loss.seq-A-2-combined-abcdeir.opb	OPT	139840229	0.010082	0.0107029	4454608
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_5.opb	OPT	11	0.010311	0.0107409	4454325
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=397-Q=449.opb	OPT	397	0.010519	0.011358	4454353
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_003.opb.metafix.opb	OPT	50	0.010646	0.011378	4454568
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ profit_ceiling/normalized-knapPI_15_20_1000_2_-948.opb	OPT	-318	0.011102	0.0120181	4457541
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb	OPT	50	0.011322	0.011693	4454251
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-maincont.r.opb	OPT	7	0.012712	0.0140509	4454276
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-5_10.opb	OPT	3951	0.014106	0.015008	4454418
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb	OPT	304	0.014187	0.014742	4454373
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb	OPT	36	0.014653	0.0158579	4454266
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb	OPT	200	0.015394	0.0172721	4454250
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f54-DCTotalLoss.seq-B-3-combined-EDCBAir.opb	OPT	-3789806	0.017148	0.017783	4454615
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb	OPT	36	0.017581	0.018645	4454259
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_70_70.r.opb	OPT	2	0.018096	0.0189951	4454275
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=269-Q=359.opb	OPT	269	0.018151	0.018621	4454352
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb	OPT	36	0.018351	0.0195459	4454258
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ4_3.opb	OPT	20	0.02255	0.0234741	4454279
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f35-AC_Side2.seq-B-2-combined-EDCBAir.opb	OPT	-81068948	0.023117	0.023827	4454613
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament08.lin.opb	OPT	-12	0.024019	0.0249	4454596
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-6_12.opb	OPT	5867	0.024057	0.025051	4454419
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1094.cudf.trendy.opb	OPT	25090	0.024395	0.0258309	4454466
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/area_partials/normalized-fir05_area_partials.opb	OPT	36	0.024922	0.02684	4454389
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.031247	0.032028	4454245
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ inverse_strongly_correlated/normalized-knapPI_4_50_1000_1_-994.opb	OPT	-994	0.032292	0.033141	4457814
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb	OPT	34	0.033649	0.0349589	4454260
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=5-t=3.opb	OPT	2	0.042069	0.0431849	4454618
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb	OPT	200	0.04729	0.048711	4454248
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb	OPT	200	0.049387	0.0501729	4454249
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir01_trarea_ac.opb	OPT	13949	0.054637	0.0553741	4454406
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_6.opb	OPT	17	0.060704	0.061691	4454326
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_051.opb	OPT	1	0.064254	0.0658571	4457892
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-acc-tight5.opb	OPT	0	0.069166	0.0698461	4459530
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-7_14.opb	OPT	5148	0.069652	0.0709281	4454420
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-neos-3437289-erdre.opb	OPT	0	0.082592	0.0836599	4459335
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543-max.opb	OPT	-1281	0.099431	0.105557	4454356
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i10_pp_100.opb	OPT	2232	0.100218	0.105527	4461750
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data4_3.opb	OPT	8276	0.114613	0.115552	4454283
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ subset_sum/normalized-knapPI_6_2000_1000_4_-39215.opb	OPT	-39215	0.127176	0.130228	4457619
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-rand1958fb.cudf.trendy.opb	OPT	15832587875	0.133611	0.134489	4454478
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_opers/normalized-fir04_area_opers.opb	OPT	29	0.13542	0.138321	4454387
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-rand49e642.cudf.trendy.opb	OPT	39641230	0.143214	0.14418	4454479
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j302_9.std.opb	OPT	54	0.163611	0.165498	4454485
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f37-AC_TotalLoss.seq-B-3-1-irEDCBA.opb	OPT	6872712975	0.163627	0.164669	4454614
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.newlist/normalized-rand18b530.cudf.paranoid.opb	OPT	6563	0.232182	0.234033	4454473
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.smallist/normalized-rand88811a.cudf.paranoid.opb	OPT	2256	0.240146	0.242246	4454475
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_006.opb.metafix.opb	OPT	40	0.277996	0.283351	4454569
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.smallist/normalized-randa13f2d.cudf.paranoid.opb	OPT	2477	0.280269	0.282569	4454476
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-randaefc7c.cudf.trendy.opb	OPT	394243446	0.361101	0.366706	4454477
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.newlist/normalized-rand0a62b6.cudf.paranoid.opb	OPT	6943	0.377812	0.386673	4454472
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i8_pp_100.opb	OPT	2252	0.381543	0.385307	4461710
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_12x12_009.opb.metafix.opb	OPT	70	0.399761	0.401563	4454572
PB24/normalized-PB06/OPT-LIN/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb	OPT	25	0.404486	0.408594	4454332
PB24/normalized-PB10/OPT-LIN/oliveras/ j60opt/normalized-j6033_9.std.opb	OPT	108	0.42941	0.436663	4454486
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_2g-0044-1601.lin.opb	OPT	-954077	0.444375	0.449417	4454592
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-10_20.opb	OPT	8034	0.505061	0.50878	4454416
PB24/normalized-PB10/OPT-LIN/oliveras/ j90opt/normalized-j9018_7.std.opb	OPT	73	0.50752	0.510675	4454488
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-8_16.opb	OPT	5852	0.591317	0.595151	4454421
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1468.cudf.trendy.opb	OPT	5	0.593522	0.60074	4454467
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-9pb.opb	OPT	68	0.604488	0.608408	4454267
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=6-t=4.opb	OPT	2	0.631113	0.634658	4454619
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.newlist/normalized-rand362510.cudf.paranoid.opb	OPT	1964	0.639539	0.647098	4454474
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12023_6.std.opb	OPT	106	0.653227	0.657024	4454481
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-5pb.opb	OPT	60	0.691673	0.708846	4454264
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_076.opb	OPT	2964	0.792852	0.796319	4458984
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx57.opb	OPT	6	0.805017	0.808771	4454444
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx84.opb	OPT	8	0.839602	0.850116	4454448
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-11_22.opb	OPT	8908	0.939169	0.947599	4454417
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb	OPT	66	1.12454	1.1355	4454265
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm25p-opt.opb.negationfix.opb	OPT	13	1.19772	1.20848	4454605
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb	OPT	62	1.34077	1.34516	4454261
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx92.opb	OPT	9	1.49088	1.50571	4454449
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12039_5.std.opb	OPT	106	1.57834	1.58294	4454482
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-4000opt.opb	OPT	-82	1.63346	1.63857	4454439
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i4_pp_92_merged.opb	OPT	390	1.67068	1.67948	4462070
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb	OPT	60	1.76003	1.76752	4454263
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ uncorrelated/normalized-knapPI_1_50_1000_4_-4888.opb	OPT	-12104	1.79217	1.80248	4457736
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.08.opb	OPT	34	1.90195	1.91223	4454340
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb	OPT	64	2.00956	2.01746	4454262
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x9.opb	OPT	20	2.29556	2.30488	4454292
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_072.opb	OPT	2664	2.29772	2.30387	4458945
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat15_5_3_5_ic.opb	OPT	2624620	2.41514	2.42127	4454539
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_14x14_000.opb.metafix.opb	OPT	95	2.80126	2.81722	4454573
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i3_pp_87_merged.opb	OPT	346	2.8439	2.85359	4461990
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.12.opb	OPT	41	3.23279	3.24364	4454337
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.00.opb	OPT	34	3.38963	3.39902	4454339
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/10orplus/normalized-hal-cups-utils.cudf.paranoid.opb	OPT	141814	3.49809	3.50979	4454451
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_2pm-0066-0066.lin.opb	OPT	-29	3.52402	3.54764	4454593
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f6-ACTotalLoss.seq-A-2-2-irEDCBA.opb	OPT	4208467707	3.6645	3.67784	4454617
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__64.opb	OPT	46877	3.87929	3.89216	4454428
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.02.opb	OPT	44	3.92516	3.93578	4454333
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_401.opb	OPT	1	3.94176	3.96011	4457931
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.07.opb	OPT	37	4.03582	4.04618	4454334
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/10orplus/normalized-libpango-perl.cudf.paranoid.opb	OPT	176205	4.06634	4.07824	4454452
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.14.opb	OPT	42	4.17469	4.18543	4454338
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i5_pp_93.opb	OPT	750	4.29507	4.30955	4461830
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/9orless/normalized-kjumpingcube.cudf.paranoid.opb	OPT	141778	4.31422	4.32975	4454453
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_100.opb	OPT	5100	4.52943	4.54067	4459023
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.10.opb	OPT	49	4.97066	4.98248	4454335
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.11.opb	OPT	38	6.04536	6.06058	4454336
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_4_shg.opb	OPT	22	6.83605	6.85662	4454506
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat15_5_3_3_ic.opb	OPT	5900212	7.02973	7.05499	4454538
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-5000opt.opb	OPT	-70	7.90827	7.93479	4454440
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-7000opt.opb	OPT	-68	8.05348	8.08272	4454441
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-1000opt.opb	OPT	-178	8.21696	8.23561	4454433
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_10000_5_0.85_3.opb	OPT	132	10.2259	10.2535	4461950
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-mspp16.opb	OPT	33	11.3308	11.36	4454494
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-10000opt.opb	OPT	-164	11.6768	11.7144	4454432
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e4.opb	OPT	364	13.9763	14.0187	4454255
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_50.opb	OPT	-98	16.5868	16.6353	4458438
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-m4.r.opb	OPT	90	16.7834	16.8514	4454274
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	18.3118	18.3752	4454218
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-3000opt.opb	OPT	-187	18.8366	18.8889	4454435
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.F.recomb10-0.20-11.opb	OPT	4807	18.8739	18.9215	4454515
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__8.opb	OPT	45008	19.5411	19.6102	4454431
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cc.opb	OPT	1567	20.3245	20.3733	4454269
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.F.recomb10-0.01-5.opb	OPT	7540	20.4413	20.5117	4454514
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.01-5.opb	OPT	3521	23.0282	23.1037	4454509
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_25000_5_0.95_7.opb	OPT	336	25.2853	25.3354	4461910
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-7000opt.opb	OPT	-172	26.7186	26.7948	4454438
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_019_area_delay.opb	OPT	24	29.2228	29.3198	4454392
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb	OPT	1120	31.1849	31.2667	4454228
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-4.opb	OPT	813	33.0447	33.149	4454372
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx60.opb	OPT	6	33.7345	33.8521	4454445
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb	OPT	24	37.6546	37.7464	4454603
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-5000opt.opb	OPT	-169	39.3968	39.5031	4454437
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir02_trarea_ac.opb	OPT	24890	40.2846	40.3791	4454407
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__128.opb	OPT	46877	43.7806	43.9277	4454425
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ multiple_strongly_correlated/normalized-knapPI_14_50_1000_5_-3237.opb	OPT	-5737	46.3972	46.5478	4457853
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat15_5_3_4_mh.opb	OPT	3608846	60.3609	60.5132	4454558
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_opers/normalized-fir06_area_opers.opb	OPT	23	61.1436	61.2956	4454388
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.20-12.opb	OPT	8175	61.8599	62.0583	4454512
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_001_area_delay.opb	OPT	28	71.1143	71.3505	4454390
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.01-1.opb	OPT	15748	74.2705	74.4668	4454516
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-addm4.r.opb	OPT	165	87.9966	88.3656	4454270
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32c3.opb	OPT	261	91.5875	91.825	4454254
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_12x12_004.opb.metafix.opb	OPT	61	91.7192	92.031	4454571
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_50000_3_0.95_1.opb	OPT	6112	92.2177	92.4719	4461870
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-pidgin-plugin-pack.cudf.trendy.opb	OPT	3258634294888	103.941	104.226	4454459
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_851.opb	OPT	1	111.42	111.744	4458009
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-fout.r.opb	OPT	38	122.476	122.89	4454273
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/10orplus/normalized-codebreaker.cudf.trendy.opb	OPT	3577362783187	136.752	137.118	4454454
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_080.opb	OPT	140	142.728	143.226	4458672
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-libnspr4-dev.cudf.trendy.opb	OPT	3656703476375	146.973	147.396	4454456
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-2000opt.opb	OPT	-167	158.012	158.419	4454434
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/10orplus/normalized-libnkf-perl.cudf.trendy.opb	OPT	3258634294888	169.734	170.288	4454455
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_160.opb	OPT	12960	170.469	170.996	4459062
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.01-5.opb	OPT	14043	177.086	177.551	4454517
PB24/normalized-PB10/OPT-LIN/oliveras/ j60opt/normalized-j609_2.std.opb	OPT	82	195.177	195.691	4454487
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_023_area_delay.opb	OPT	22	212.07	212.845	4454393
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-gpc-4.1.cudf.trendy.opb	OPT	2705390294033	216.379	216.933	4454460
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_34.opb	OPT	630	261.441	262.089	4459101
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb5-0.10-9.opb	OPT	31445	331.589	332.409	4454513
PB24/normalized-PB10/OPT-LIN/oliveras/ j90opt/normalized-j9021_10.std.opb	OPT	109	377.87	378.828	4454489
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_025_area_delay.opb	OPT	25	386.211	387.161	4454394
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_751.opb	OPT	1	433.855	434.997	4457970
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-libpango-perl.cudf.trendy.opb	OPT	3256361088356	461.849	463.099	4454457
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__256.opb	OPT	46877	465.755	466.925	4454426
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/ 10orplus/normalized-libtemplate-provider-encoding-perl.cudf.trendy.opb	OPT	3263183881226	593.464	595.007	4454458
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	603.523	605.103	4458906
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	611.289	612.64	4454216
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir05_trarea_ac.opb	OPT	47342	629.03	630.603	4454410
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_unif_20null10mast_rapportOE1.0_TMAX15_K67_cod3.opb	OPT	-4036	694.598	696.99	4454223
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=8-t=6.opb	OPT	2	713.293	715.378	4454620
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-4000opt.opb	OPT	-164	788.498	791.19	4454436
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_delay/normalized-fir08_area_delay.opb	OPT	23	885.378	888.226	4454386
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX60_K192_cod2.opb	OPT	-5492	916.013	918.822	4454524
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_08.opb	OPT	0	942.828	945.35	4458399
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE2.0_TMAX15_K67_cod3.opb	OPT	-7752	1068.6	1071.86	4454220
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_026_area_delay.opb	OPT	28	1116.1	1119.76	4454395
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb10-0.20-12.opb	OPT	54713	1118.87	1121.42	4454510
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb10-0.10-8.opb	OPT	55874	1137.95	1141.24	4454508
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	1427.71	1431.13	4458555
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb	OPT	18	1866.35	1870.82	4454404
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_010_area_delay.opb	OPT	26	2108.6	2116.11	4454391
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_50.opb	OPT	1326	2528.25	2534.58	4459179
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb10-0.20-13.opb	OPT	40755	2717.97	2725.3	4454511
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb	OPT	20	3001.11	3009.01	4454401

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdiv2/ normalized-injcomp_opt_4layers_maxall_lastlayerdiv2_size_16.opb	SAT (TO)	-28	3600.01	3609.12	4458477
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=24-t=2.opb	SAT (TO)	23	3600.01	3612.4	4454627
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb	SAT (TO)	217	3600.01	3609.9	4454300
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_1.opb	SAT (TO)	6	3600.01	3608.01	4454345
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_1.opb	SAT (TO)	15	3600.01	3608.6	4454346
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_16x16_001.opb.metafix.opb	SAT (TO)	125	3600.01	3609.2	4454574
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_clique-50.lin.opb	SAT (TO)	2312	3600.01	3612.4	4454595
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_3pm-0334-0334.lin.opb	SAT (TO)	-36	3600.01	3609.5	4454594
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data10_3.opb	SAT (TO)	77081	3600.02	3609.01	4454282
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_10.opb	SAT (TO)	0	3600.02	3610.5	4458243
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb	SAT (TO)	381	3600.02	3611.12	4454315
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=9-t=5.opb	SAT (TO)	4	3600.02	3611.3	4454621
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/almost_strongly_correlated/ normalized-knapPI_5_2000_10000_5_-952740.opb	SAT (TO)	-715285	3600.02	3612.42	4457580
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_3.opb	SAT (TO)	17	3600.02	3608.5	4454347
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb	SAT (TO)	214	3600.02	3609.21	4454301
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-may6.5.opb	SAT (TO)	81	3600.02	3608.6	4454583
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.95:100.opb	SAT (TO)	0	3600.02	3611.71	4454376
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb	SAT (TO)	-31	3600.03	3611.81	4454365
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-5.opb	SAT (TO)	2642	3600.03	3610.01	4454375
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb	SAT (TO)	9212	3600.03	3611.41	4454230
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ6_3.opb	SAT (TO)	70	3600.03	3608.9	4454280
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_3000_5__126_2812.opb	SAT (TO)	1514214	3600.03	3609.52	4454429
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-iis-glass-cov.opb	SAT (TO)	27	3600.03	3608.01	4459218
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.03	3609.52	4454215
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:100.opb	SAT (TO)	9	3600.03	3610.31	4454379
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb	SAT (TO)	-36	3600.03	3608.82	4454367
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_4.opb	SAT (TO)	4362635	3600.03	3609.31	4454534
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb	SAT (TO)	-34	3600.03	3612.02	4454368
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-oct5.5.opb	SAT (TO)	211	3600.04	3612.5	4454584
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb	SAT (TO)	212	3600.04	3609.4	4454293
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir08_trarea_ac.opb	SAT (TO)	80529	3600.04	3609.52	4454413
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb	SAT (TO)	218	3600.04	3612.4	4454299
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa7552-038.opb	SAT (TO)	1448	3600.04	3613.71	4454257
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb	SAT (TO)	116	3600.04	3609.7	4454349
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat50_6_9_5_ic.opb	SAT (TO)	35811705	3600.04	3609.73	4454542
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir03_trarea_ac.opb	SAT (TO)	23978	3600.04	3611.81	4454408
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_5.opb	SAT (TO)	5309323	3600.04	3609.61	4454532
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_9.opb	SAT (TO)	29	3600.04	3609.71	4454405
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug6.5.opb	SAT (TO)	81	3600.04	3609.31	4454580
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-opm2-z7-s2.opb	SAT (TO)	-7381	3600.04	3609.61	4454498
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_4.opb	SAT (TO)	30	3600.04	3615.73	4454400
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir04_trarea_ac.opb	SAT (TO)	43695	3600.04	3608.91	4454409
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-go19.opb	SAT (TO)	91	3600.04	3610.11	4454493
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb	SAT (TO)	217	3600.04	3609.6	4454294
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm25p-opt.opb.negationfix.opb	SAT (TO)	66	3600.04	3612.32	4454598
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/ normalized-knapPI_1_2000_1000_1_-110625.opb	SAT (TO)	-103417	3600.04	3612.31	4457775
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern50-06.lin.opb	SAT (TO)	-267	3600.04	3609.01	4454590
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_7.opb	SAT (TO)	21	3600.04	3609.02	4454403
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ10_3.opb	SAT (TO)	354	3600.05	3612.3	4454278
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f58-fob_fxl_loss.seq-B-3-2-irEDCBA.opb	SAT (TO)	7763671396	3600.05	3609.62	4454616
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91__8.opb	SAT (TO)	444349	3600.05	3610.53	4454423
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb	SAT (TO)	-35	3600.05	3609.22	4454370
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb	SAT (TO)	224	3600.05	3612.51	4454302
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern35-09.lin.opb	SAT (TO)	-1251	3600.05	3612.02	4454589
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb	SAT (TO)	1056	3600.05	3611.91	4454303
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2/normalized-lp4l.opb	SAT (TO)	3326	3600.05	3609.41	4459569
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-oct6.5.opb	SAT (TO)	211	3600.05	3608.71	4454585
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb	SAT (TO)	-24	3600.05	3609.3	4454361
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb	SAT (TO)	-36	3600.06	3609.31	4454369
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_5.opb	SAT (TO)	4924337	3600.06	3609.31	4454535
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_4.opb	SAT (TO)	3971977	3600.06	3613.02	4454531
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_14_shg.opb	SAT (TO)	179	3600.06	3612.22	4454503
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-3.opb	SAT (TO)	3032	3600.06	3608.51	4454374
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x26.opb	SAT (TO)	6588347	3600.06	3612.81	4454232
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=13-t=11.opb	SAT (TO)	3	3600.06	3608.8	4454623
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i9_pp_96.opb	SAT (TO)	1458	3600.06	3610.42	4461790
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ8_3.opb	SAT (TO)	162	3600.06	3609.6	4454281
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-standgub.opb	SAT (TO)	3669673	3600.06	3609.22	4454227
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.06	3613.6	4458789
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_12x12_001.opb.metafix.opb	SAT (TO)	70	3600.06	3609.2	4454570
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-ns903616.opb	SAT (TO)	22	3600.06	3609.91	4459413
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16d1.opb	SAT (TO)	1022	3600.06	3612.91	4454253
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_3.opb	SAT (TO)	55	3600.06	3608.5	4454350
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/subset_sum/ normalized-knapPI_6_5000_10000_1_-246112.opb	SAT (TO)	-246112	3600.06	3609.94	4457697
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat35_4_11_5_mh_ic.opb	SAT (TO)	10738898	3600.06	3609.25	4454545
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb	SAT (TO)	23	3600.07	3609.71	4454398
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb	SAT (TO)	1064	3600.07	3610.52	4454305
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-bench1.r.opb	SAT (TO)	148	3600.07	3608.94	4454271
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_13_shg.opb	SAT (TO)	196	3600.07	3610.56	4454502
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=19-t=2.opb	SAT (TO)	17	3600.07	3609.11	4454625
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data8_3.opb	SAT (TO)	45811	3600.07	3611.8	4454285
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb	SAT (TO)	-31	3600.07	3608.81	4454366
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat100_4_32_8.opb	SAT (TO)	6948347	3600.07	3612.13	4454530
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.5:100.opb	SAT (TO)	2	3600.07	3610.81	4454378
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g15x15.opb	SAT (TO)	53	3600.07	3609.02	4454287
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=14-t=9.opb	SAT (TO)	5	3600.07	3609.5	4454624
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_9_shg.opb	SAT (TO)	84	3600.07	3610.13	4454505
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb	SAT (TO)	-29	3600.07	3608.8	4454363
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_340_006.opb	SAT (TO)	-9548	3600.07	3612.36	4462390
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.95:98.opb	SAT (TO)	1	3600.07	3611.9	4454377
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb	SAT (TO)	361	3600.07	3608.81	4454314
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jul5.5.opb	SAT (TO)	211	3600.07	3612.7	4454581
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern30-04.lin.opb	SAT (TO)	-79	3600.07	3609.41	4454588
PB24/normalized-PB11/OPT-LIN/heinz/ normalized-neos-1620770.opb	SAT (TO)	20	3600.08	3608.9	4454495
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_31.opb	SAT (TO)	-15	3600.08	3609.51	4458516
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb	SAT (TO)	218	3600.08	3609.8	4454297
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb	SAT (TO)	378	3600.08	3609.51	4454318
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:98.opb	SAT (TO)	14	3600.08	3609.01	4454380
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb	SAT (TO)	1140850687	3600.08	3610.14	4454239
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)	-1262	3600.08	3611.2	4458828
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-seymour1.opb	SAT (TO)	457894	3600.08	3609.52	4454234
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jun5.5.opb	SAT (TO)	211	3600.08	3610.4	4454582
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat100_4_32_5.opb	SAT (TO)	7149221	3600.08	3609.94	4454529
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-exam.pi.opb	SAT (TO)	73	3600.08	3608.92	4454268
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_4.opb	SAT (TO)	6783665	3600.08	3610.65	4454537
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)	-25637	3600.08	3609.42	4454219
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod008.opb	SAT (TO)	307	3600.08	3612.31	4454229
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb	SAT (TO)	1055	3600.08	3611.42	4454307
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb	SAT (TO)	23	3600.09	3610.02	4454602
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb	SAT (TO)	207	3600.09	3609.4	4454298
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb	SAT (TO)	301	3600.09	3612.04	4454321
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb	SAT (TO)	-30	3600.09	3609.02	4454364
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament50.lin.opb	SAT (TO)	-447	3600.09	3609.51	4454597
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=11-t=5.opb	SAT (TO)	6	3600.09	3609.01	4454622
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.95:98.opb	SAT (TO)	193	3600.09	3609.03	4454382
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb	SAT (TO)	1058	3600.09	3609.82	4454312
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g100x100.opb	SAT (TO)	2603	3600.09	3609.35	4454286
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_300_003.opb	SAT (TO)	-6785	3600.09	3610.74	4462270
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_3.opb	SAT (TO)	3902259	3600.09	3609.17	4454533
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.95:100.opb	SAT (TO)	176	3600.09	3609.52	4454381
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.95:100.opb	SAT (TO)	492	3600.09	3610.06	4454384
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__32.opb	SAT (TO)	1310759	3600.09	3609.28	4454430
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.95:98.opb	SAT (TO)	625	3600.09	3609.15	4454385
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_3_shg.opb	SAT (TO)	61	3600.09	3611.15	4454504
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_0.opb	SAT (TO)	7044583	3600.09	3609.57	4454536
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb	SAT (TO)	1038	3600.09	3610.12	4454304
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ profit_ceiling/normalized-knapPI_15_50_1000_5_-1047.opb	SAT (TO)	-354	3600.09	3611.11	4457502
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat100_4_32_1.opb	SAT (TO)	9220429	3600.09	3612.25	4454528
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb	SAT (TO)	25027	3600.09	3609.51	4454284
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)	-1031	3600.1	3609.4	4458867
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir06_trarea_ac.opb	SAT (TO)	35903	3600.1	3608.71	4454411
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir09_trarea_ac.opb	SAT (TO)	55914	3600.1	3610.02	4454414
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-ex1010.pi.opb	SAT (TO)	408	3600.1	3609.15	4454272
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-bg512142.opb	SAT (TO)	41481836608	3600.1	3612.31	4454235
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb	SAT (TO)	213	3600.1	3612.21	4454296
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran14x18.opb	SAT (TO)	6801413	3600.1	3609.2	4454233
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir07_trarea_ac.opb	SAT (TO)	54570	3600.1	3609.11	4454412
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb	SAT (TO)	20	3600.1	3609.82	4454402
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sctap3.opb	SAT (TO)	4063224	3600.1	3610.66	4454226
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-sep6.5.opb	SAT (TO)	81	3600.1	3609.3	4454587
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb	SAT (TO)	208	3600.1	3609.4	4454295
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb	SAT (TO)	50	3600.1	3609.6	4454348
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=20-t=2.opb	SAT (TO)	19	3600.1	3609.01	4454626
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_11_shg.opb	SAT (TO)	220	3600.1	3612.47	4454501
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb	SAT (TO)	310	3600.1	3608.12	4454317
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_0null50mast_rapportOE2.0_TMAX180_K192_cod2.opb	SAT (TO)	-186082	3600.11	3609.11	4454518
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-neos-1109824.opb	SAT (TO)	401	3600.11	3609.5	4459374
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-circ10-3.opb	SAT (TO)	330	3600.11	3609.12	4454491
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_1.opb	SAT (TO)	28	3600.11	3609.81	4454397
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_140_005.opb	SAT (TO)	-3559	3600.11	3609.71	4462310
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb	SAT (TO)	22	3600.11	3610.12	4454399
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_43.opb.PB06.opb	SAT (TO)	1052	3600.11	3610.81	4454309
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb	SAT (TO)	1074	3600.11	3610.01	4454308
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb	SAT (TO)	-26	3600.11	3609.01	4454362
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb	SAT (TO)	1058	3600.11	3609.31	4454310
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-2.opb	SAT (TO)	939	3600.11	3609.52	4454371
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_400_008.opb	SAT (TO)	-10570	3600.11	3612.96	4462470
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-nw04.opb	SAT (TO)	8535	3600.11	3609.79	4454231
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ subset_sum/normalized-knapPI_6_200_10000_5_-48992.opb	SAT (TO)	-48992	3600.12	3610.72	4457658
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_460.opb	SAT (TO)	2874	3600.12	3612.26	4458711
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_340.opb	SAT (TO)	1666	3600.12	3610.13	4458750
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-000.opb	SAT (TO)	-71336	3600.12	3609.71	4462350
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb	SAT (TO)	1057	3600.12	3609.71	4454306
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.5:100.opb	SAT (TO)	420	3600.12	3612.85	4454383
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16a2.opb	SAT (TO)	1164	3600.12	3609.04	4454252
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_250_005.opb	SAT (TO)	-6592	3600.12	3609.6	4462190
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm75p-opt.opb.negationfix.opb	SAT (TO)	128	3600.12	3609.28	4454599
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)	-5863	3600.12	3611.81	4454217
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb	SAT (TO)	322	3600.13	3609.85	4454320
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_unif_10null10mast_rapportOE1.0_TMAX120_K67_cod1.opb	SAT (TO)	-9748	3600.13	3609.27	4454222
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r24_c47_a5.opb	SAT (TO)	6627	3600.13	3610.34	4458633
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_8_mh.opb	SAT (TO)	7397292	3600.13	3612.97	4454561
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_1_mh.opb	SAT (TO)	3400493	3600.13	3610.01	4454559
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat50_6_9_9_ic.opb	SAT (TO)	74199047	3600.13	3614.06	4454543
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb	SAT (TO)	1063	3600.13	3609.2	4454311
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_3_mh.opb	SAT (TO)	5175624	3600.14	3609.45	4454560
PB24/normalized-PB15eval/OPT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay60.lin.opb	SAT (TO)	1652105	3600.14	3608.78	4454591
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-neos-631710.opb	SAT (TO)	539	3600.14	3610.45	4454496
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-sp98ic.opb	SAT (TO)	3545312797	3600.15	3609.55	4454242
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir10_trarea_ac.opb	SAT (TO)	86324	3600.16	3613.18	4454415
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm75p-opt.opb.negationfix.opb	SAT (TO)	63	3600.16	3610.78	4454606
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat50_6_9_3_ic.opb	SAT (TO)	56680685	3600.16	3609.67	4454541
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod2.opb	SAT (TO)	-18847	3600.16	3609.84	4454527
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb	SAT (TO)	331	3600.16	3608.73	4454322
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb	SAT (TO)	301	3600.16	3612.2	4454316
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-ns1853823.opb	SAT (TO)	148	3600.17	3611.78	4454497
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_410_004.opb	SAT (TO)	-11501	3600.17	3609.62	4462150
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_2_mh.opb	SAT (TO)	10170676	3600.18	3610.05	4454563
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb	SAT (TO)	1395	3600.18	3608.92	4454237
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r33_c65_a6.opb	SAT (TO)	12675	3600.19	3609.51	4458594
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb	SAT (TO)	326	3600.19	3609.03	4454313
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_630_002.opb	SAT (TO)	-17708	3600.2	3608.82	4462430
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb	SAT (TO)	296	3600.2	3609.29	4454319
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-pdc.r.opb	SAT (TO)	109	3600.21	3609.51	4454277
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_unif_50null20mast_rapportOE2.0_TMAX300_K67_cod1.opb	SAT (TO)	-23446	3600.21	3612.93	4454224
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat35_4_11_1_mh_ic.opb	SAT (TO)	6536441	3600.22	3609.05	4454544
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__512.opb	SAT (TO)	46877	3600.23	3612.04	4454427
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_1_ic.opb	SAT (TO)	320125135	3600.24	3609.95	4454549
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_20null20mast_rapportOE2.0_TMAX60_K192_cod2.opb	SAT (TO)	-54730	3600.24	3609.57	4454522
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_690_001.opb	SAT (TO)	-20655	3600.24	3611.51	4462110
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_5_ic.opb	SAT (TO)	235608435	3600.24	3610.12	4454553
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_0_mh.opb	SAT (TO)	7129586	3600.26	3610.98	4454562
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.10-021.opb	SAT (TO)	-62400	3600.29	3610.14	4462230
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_7_ic.opb	SAT (TO)	436733631	3600.31	3610.17	4454555
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_9_ic.opb	SAT (TO)	583675343	3600.32	3610.88	4454557
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_5_mh.opb	SAT (TO)	6776364	3600.33	3610.58	4454565
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_10null0mast_rapportOE1.0_TMAX180_K192_cod2.opb	SAT (TO)	-6765	3600.35	3609.22	4454519
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_9_mh.opb	SAT (TO)	6490813	3600.36	3608.69	4454567
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_0_ic.opb	SAT (TO)	308352669	3600.36	3610.25	4454548
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat50_4_16_2_mh_ic.opb	SAT (TO)	32596866	3600.36	3609.17	4454547
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_8_mh.opb	SAT (TO)	8195682	3600.37	3610.91	4454566
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_2_ic.opb	SAT (TO)	513676877	3600.39	3609.56	4454550
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_3_mh.opb	SAT (TO)	4973319	3600.41	3612.23	4454564
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_8_shg.opb	SAT (TO)	748	3600.51	3610.9	4454507
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat50_4_16_1_mh_ic.opb	SAT (TO)	38229143	3600.52	3610.04	4454546
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_3_mh.opb	SAT (TO)	680373464	3601.61	3611.2	4454552
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_0null10mast_rapportOE1.0_TMAX15_K192_cod1.opb	SAT (TO)	0	3601.89	3612.73	4454525

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2017/normalized-graph20-20-1rand.opb	? (TO)	3600.01	3609.11	4459257
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug5.5.opb	? (TO)	3600.01	3611.81	4454579
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_18.opb	? (TO)	3600.02	3612.2	4458282
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12051_4.std.opb	? (TO)	3600.03	3608.32	4454483
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_17.opb	? (TO)	3600.03	3612.7	4454329
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_14.opb	? (TO)	3600.04	3610.5	4454324
PB24/normalized-PB10/OPT-LIN/oliveras/ j90opt/normalized-j909_1.std.opb	? (TO)	3600.05	3609.51	4454490
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_18.opb	? (TO)	3600.05	3610.7	4454330
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx63.opb	? (TO)	3600.06	3612.12	4454446
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_24.opb	? (TO)	3600.06	3609.31	4458126
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_12.opb	? (TO)	3600.06	3609.01	4454327
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j1207_5.std.opb	? (TO)	3600.06	3613.41	4454484
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx30.opb	? (TO)	3600.06	3609.5	4454442
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx75.opb	? (TO)	3600.06	3609.61	4454447
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx49.opb	? (TO)	3600.06	3612.31	4454443
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_22.opb	? (TO)	3600.07	3610.41	4458204
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-UMTS.opb	? (TO)	3600.07	3611.71	4454243
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_11.opb	? (TO)	3600.07	3608.8	4454323
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug4.5.opb	? (TO)	3600.07	3609.12	4454578
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_27.opb	? (TO)	3600.07	3609.3	4458165
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_3.opb	? (TO)	3600.08	3612.2	4454343
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_14.opb	? (TO)	3600.09	3613.21	4454328
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat25_6_3_5_ic.opb	? (TO)	3600.09	3610.81	4454540
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_15.opb	? (TO)	3600.09	3609.7	4458087
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.09	3611.91	4454240
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_2.opb	? (TO)	3600.09	3608.7	4454342
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-2.opb	? (TO)	3600.1	3608.91	4454256
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.1	3610.03	4454244
PB24/normalized-PB07/OPT-LIN/ submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb	? (TO)	3600.11	3612.04	4454396
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb	? (TO)	3600.11	3609.74	4454604
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_4.opb	? (TO)	3600.11	3612.6	4454344
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_21.opb	? (TO)	3600.11	3612.6	4458321
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-sep4.5.opb	? (TO)	3600.11	3612.3	4454586
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx97.opb	? (TO)	3600.12	3612.33	4454450
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-blp-ir98.opb	? (TO)	3600.12	3610.02	4454236
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-stp3d.opb	? (TO)	3600.14	3609.68	4454500
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i4_pp_80_merged.opb	? (TO)	3600.2	3612.46	4462030
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb	? (TO)	3600.21	3610.51	4454600
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm98p-opt.opb.negationfix.opb	? (TO)	3600.21	3609.59	4454607
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm99p-opt.opb.negationfix.opb	? (TO)	3600.29	3609.73	4454601
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2017/normalized-rmine15.opb	? (TO)	3600.33	3607.63	4459296
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_54.opb	? (TO)	3600.57	3606.65	4459140
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_50null0mast_rapportOE2.0_TMAX300_K192_cod1.opb	? (TO)	3600.64	3611.49	4454523
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_luby_0null50mast_rapportOE1.0_TMAX60_K67_cod3.opb	? (TO)	3600.65	3609.1	4454221
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod1.opb	? (TO)	3601.83	3611.6	4454526
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-ex1010-pi.opb	? (TO)	3602.08	3610.57	4454492
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_fibo_20null10mast_rapportOE1.0_TMAX180_K192_cod1.opb	? (TO)	3602.19	3613.89	4454521

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__512.opb	Signal 6	1029.17	1045.08	4454424
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_5_mh.opb	Signal 6	1428.3	1449.22	4454554
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_2_mh.opb	Signal 6	2429.52	2452.74	4454551
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_8_mh.opb	Signal 6	2713.29	2740.83	4454556
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__64.opb	Signal 6	2998.18	3033.62	4454422

PB'24 competition: benchmarks results per solver

Result page for solver pb-oll-rs 2024-07-19 (complete)

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

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

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

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

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

Solver exceeded the memory limit (no solution given) (1 run) [Show/Hide]

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