PB'11 competition: satisfaction and optimization track: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-diamond.opb	UNSAT	0	0.00569199	3500059
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1125.cudf.paranoid.opb	UNSAT	0.001998	0.00577199	3500658
/OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/ datasets/caixa/normalized-1021.cudf.trendy.opb	UNSAT	0.001998	0.00582489	3500662
/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-995.cudf.paranoid.opb	UNSAT	0.001999	0.00586096	3500653
/OPT-SMALLINT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-995.cudf.trendy.opb	UNSAT	0.002998	0.00576109	3500660
/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-869.cudf.paranoid.opb	UNSAT	0.004998	0.00572107	3500648
/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-658.cudf.paranoid.opb	UNSAT	0.005998	0.00572309	3500647
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1077.cudf.paranoid.opb	UNSAT	0.008997	0.00961108	3500652
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa0432-003.opb	UNSAT	0.009997	0.00878099	3500170
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1093.cudf.paranoid.opb	UNSAT	0.011997	0.0118511	3500659
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1034.cudf.paranoid.opb	UNSAT	0.012997	0.0133869	3500651
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-bf2670-001.opb	UNSAT	0.022995	0.020778	3500202
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa2670-130.opb	UNSAT	0.025995	0.024088	3500233
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa2670-141.opb	UNSAT	0.026995	0.0197671	3500246
/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-121.cudf.paranoid.opb	UNSAT	0.029994	0.031174	3500657
/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-122.cudf.paranoid.opb	UNSAT	0.030994	0.0301221	3500654
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-bf0432-007.opb	UNSAT	0.034993	0.027446	3500179
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-bf1355-075.opb	UNSAT	0.046992	0.0383251	3500257
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand271a0d.cudf.paranoid.opb	UNSAT	0.05999	0.0600189	3500608
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand00ebc7.cudf.paranoid.opb	UNSAT	0.06099	0.063038	3500624
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randc5b1f2.cudf.paranoid.opb	UNSAT	0.06099	0.061506	3500606
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randfe95e3.cudf.paranoid.opb	UNSAT	0.069988	0.0705521	3500627
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randaef248.cudf.paranoid.opb	UNSAT	0.072988	0.074287	3500634
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand199fd6.cudf.paranoid.opb	UNSAT	0.073988	0.074352	3500637
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand65d021.cudf.paranoid.opb	UNSAT	0.088986	0.0805301	3500636
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randa491d5.cudf.paranoid.opb	UNSAT	0.094984	0.0871069	3500631
/OPT-SMALLINT-LIN/heinz/ normalized-ash608gpia-3col.opb	UNSAT	0.100984	0.096306	3500749
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randf7d077.cudf.paranoid.opb	UNSAT	0.111982	0.0937499	3500640
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa6288-047.opb	UNSAT	0.119981	0.120217	3500175
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_2.opb	UNSAT	72.249	36.152	3500436
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_4.opb	UNSAT	115.743	57.8747	3500442
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_1.opb	UNSAT	134.73	67.4456	3500440
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_3.opb	UNSAT	293.638	146.966	3500432

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1078.cudf.paranoid.opb	OPT	4	0	0.00570802	3500645
/OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/ datasets/caixa/normalized-1078.cudf.trendy.opb	OPT	4	0.000999	0.00581894	3500661
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir04_area_partials.opb	OPT	30	0.000999	0.00573299	3500551
/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-787.cudf.paranoid.opb	OPT	14	0.000999	0.00615909	3500649
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir02_area_partials.opb	OPT	19	0.001998	0.00587111	3500558
/OPT-SMALLINT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-787.cudf.trendy.opb	OPT	14	0.001998	0.0059739	3500663
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_4.opb	OPT	6	0.001998	0.00591509	3500468
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir01_area_delay.opb	OPT	5	0.001999	0.00574312	3500529
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-bbara.r.opb	OPT	7	0.002999	0.005929	3500397
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir01_area_opers.opb	OPT	10	0.003998	0.0057881	3500564
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir07_area_partials.opb	OPT	33	0.004998	0.00584403	3500555
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_40_40.r.opb	OPT	2	0.004999	0.00587595	3500400
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_5.opb	OPT	11	0.004999	0.0059981	3500476
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-5_10.opb	OPT	3951	0.005998	0.00598902	3500495
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_4.opb	OPT	6	0.005998	0.00588388	3500365
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_70_70.r.opb	OPT	2	0.007998	0.00578692	3500371
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb	OPT	3089	0.009997	0.00741611	3500061
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb	OPT	62027	0.009997	0.00690911	3500064
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_5.opb	OPT	11	0.010997	0.00682989	3500356
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir05_area_partials.opb	OPT	36	0.011997	0.0108169	3500553
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_90_90.r.opb	OPT	2	0.011998	0.009297	3500412
normalized-PB07/OPT-SMALLINT-LIN/ submittedPB07/aksoy/trarea_ac/normalized-fir01_trarea_ac.opb	OPT	13949	0.013997	0.010132	3500550
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_90_90.r.opb	OPT	2	0.013997	0.0107229	3500382
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-maincont.r.opb	OPT	7	0.013997	0.00887708	3500387
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-6_12.opb	OPT	5867	0.017996	0.010348	3500494
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir02_area_delay.opb	OPT	8	0.017996	0.014347	3500532
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-7_14.opb	OPT	5148	0.017997	0.010737	3500498
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-1_6-yes1-4.opb	OPT	100	0.018996	0.013271	3500187
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1097.cudf.paranoid.opb	OPT	125	0.019996	0.0169561	3500643
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1094.cudf.paranoid.opb	OPT	126	0.020996	0.017154	3500650
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex5inp.r.opb	OPT	4	0.021996	0.0142089	3500422
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-1_6-yes1-2.opb	OPT	100	0.023995	0.0137211	3500235
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb	OPT	100	0.024995	0.013967	3500215
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir03_area_partials.opb	OPT	18	0.025995	0.0207091	3500559
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir06_area_partials.opb	OPT	24	0.026995	0.0168011	3500554
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-3.opb	OPT	100	0.027995	0.015883	3500208
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb	OPT	100	0.028994	0.018352	3500191
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-2.opb	OPT	100	0.028995	0.019441	3500176
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-opus.r.opb	OPT	5	0.029995	0.0165359	3500375
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.opb	OPT	100	0.029995	0.0165191	3500244
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-2.opb	OPT	100	0.030995	0.0183059	3500168
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.opb	OPT	100	0.031994	0.018174	3500197
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.opb	OPT	100	0.031994	0.0176331	3500213
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb	OPT	100	0.031995	0.0190651	3500226
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-1_6-yes1-3.opb	OPT	100	0.032994	0.020621	3500240
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb	OPT	100	0.034994	0.0198699	3500270
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb	OPT	100	0.036993	0.020989	3500221
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1037.cudf.paranoid.opb	OPT	90	0.036993	0.0219909	3500646
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_6.opb	OPT	17	0.036994	0.0228009	3500480
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-4.opb	OPT	100	0.038993	0.020917	3500219
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh205.opb	OPT	94	0.043992	0.0262469	3500223
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh207.opb	OPT	95	0.045992	0.0259451	3500212
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-dk512x.r.opb	OPT	6	0.049992	0.0266671	3500391
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh301.opb	OPT	95	0.050991	0.0285121	3500201
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-1.opb	OPT	100	0.050992	0.0276571	3500181
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb	OPT	36	0.051991	0.0284821	3500144
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-mux.opb	OPT	872	0.05499	0.030072	3500131
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir02_area_opers.opb	OPT	18	0.060989	0.0354509	3500569
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh12.opb	OPT	94	0.06199	0.0357069	3500227
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_6.opb	OPT	17	0.067988	0.0369021	3500355
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-sao2.b.opb	OPT	25	0.067988	0.0396979	3500149
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1098.cudf.paranoid.opb	OPT	256	0.070988	0.057689	3500656
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_30_30.r.opb	OPT	3	0.078987	0.04184	3500389
/OPT-SMALLINT-LIN/flexray/ normalized-fx57.opb	OPT	6	0.081986	0.0559839	3500596
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh17.opb	OPT	95	0.086986	0.0471751	3500280
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir04_area_opers.opb	OPT	29	0.089985	0.050173	3500561
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand902db1.cudf.paranoid.opb	OPT	0	0.094984	0.0823269	3500632
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh212.opb	OPT	97	0.098984	0.0526231	3500279
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-2.opb	OPT	200	0.098984	0.05237	3500228
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb	OPT	200	0.099984	0.0535321	3500200
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb	OPT	200	0.100984	0.0538051	3500238
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-8_16.opb	OPT	5852	0.105982	0.054233	3500493
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh213.opb	OPT	92	0.108983	0.0586791	3500265
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randaefc7c.cudf.paranoid.opb	OPT	0	0.112982	0.087773	3500638
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-3.opb	OPT	200	0.112982	0.0610739	3500172
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cmb.opb	OPT	1053	0.114982	0.061217	3500135
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb	OPT	60	0.114982	0.062799	3500141
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb	OPT	62	0.115981	0.062274	3500139
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb	OPT	64	0.117981	0.0629771	3500138
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb	OPT	64	0.117981	0.066741	3500146
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-5pb.opb	OPT	60	0.119981	0.0669521	3500140
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb	OPT	66	0.12098	0.0637501	3500145
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb	OPT	200	0.120981	0.064581	3500252
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb	OPT	200	0.120981	0.064364	3500241
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb	OPT	62	0.12398	0.0690069	3500142
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-10_20.opb	OPT	8034	0.12498	0.065773	3500497
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb	OPT	200	0.12698	0.0686589	3500178
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-1.opb	OPT	200	0.133979	0.0711211	3500264
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh209.opb	OPT	93	0.134979	0.070672	3500216
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-1.opb	OPT	200	0.140978	0.0741251	3500266
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb	OPT	200	0.141978	0.0735551	3500276
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb	OPT	200	0.143977	0.075223	3500232
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-4.opb	OPT	200	0.151976	0.079252	3500199
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/routing/normalized-s4-4-3-10pb.opb	OPT	70	0.152976	0.0833129	3500147
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb	OPT	200	0.168973	0.0871409	3500220
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh204.opb	OPT	93	0.170973	0.089339	3500294
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir03_area_delay.opb	OPT	10	0.172973	0.101988	3500531
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos18.opb	OPT	16	0.176972	0.100939	3500047
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh220.opb	OPT	94	0.177972	0.0916001	3500260
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-1.opb	OPT	200	0.181971	0.09368	3500206
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh7.opb	OPT	89	0.187971	0.09774	3500272
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data4_3.opb	OPT	8276	0.192969	0.0984859	3500125
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb	OPT	200	0.214966	0.112074	3500281
/OPT-SMALLINT-LIN/flexray/ normalized-fx92.opb	OPT	9	0.216966	0.148584	3500590
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh218.opb	OPT	90	0.227964	0.11832	3500286
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb	OPT	200	0.247961	0.128441	3500183
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ4_3.opb	OPT	20	0.272958	0.142119	3500128
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-11_22.opb	OPT	8908	0.293954	0.149072	3500496
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_50_50.r.opb	OPT	3	0.294954	0.149697	3500374
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh1.opb	OPT	92	0.302953	0.15624	3500193
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-4.opb	OPT	1015	0.303953	0.160605	3500190
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C880.a.opb	OPT	87	0.310952	0.157539	3500398
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa7552-158.opb	OPT	1327	0.337947	0.179357	3500192
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-rd73.b.opb	OPT	4	0.339948	0.174971	3500399
/OPT-SMALLINT-LIN/oliveras/ j30opt/normalized-j304_5.std.opb	OPT	59	0.347946	0.247153	3500738
/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-902.cudf.paranoid.opb	OPT	277	0.355945	0.186519	3500655
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-exps.r.opb	OPT	76	0.364944	0.18899	3500393
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3034_9.std.opb	OPT	60	0.371943	0.266165	3500742
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3028_8.std.opb	OPT	53	0.380941	0.276092	3500733
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3024_7.std.opb	OPT	44	0.383941	0.271777	3500732
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3039_5.std.opb	OPT	55	0.38794	0.277492	3500730
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3016_8.std.opb	OPT	44	0.39194	0.282473	3500734
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3028_7.std.opb	OPT	48	0.393939	0.28172	3500736
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3032_2.std.opb	OPT	60	0.396938	0.286157	3500737
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3027_1.std.opb	OPT	43	0.398938	0.282648	3500739
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa7552-159.opb	OPT	1327	0.424934	0.22028	3500188
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-5.opb	OPT	1015	0.435933	0.225627	3500210
/OPT-SMALLINT-LIN/heinz/ normalized-acc-tight6.opb	OPT	0	0.476926	0.248001	3500744
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb	OPT	34	0.483926	0.245648	3500060
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir05_area_opers.opb	OPT	35	0.532918	0.286238	3500563
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-9pb.opb	OPT	68	0.534918	0.274221	3500143
/OPT-SMALLINT-LIN/flexray/ normalized-fx84.opb	OPT	8	0.546916	0.303504	3500594
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_009_area_delay.opb	OPT	24	0.547916	0.308073	3500518
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex6inp.r.opb	OPT	4	0.552915	0.280128	3500388
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_7.opb	OPT	25	0.558914	0.283206	3500471
/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-990.cudf.paranoid.opb	OPT	273	0.570912	0.296464	3500644
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-1.opb	OPT	1015	0.593909	0.305183	3500287
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3010_10.std.opb	OPT	41	0.622905	0.390516	3500743
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-hanoi4.opb	OPT	718	0.633902	0.325755	3500278
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-3.opb	OPT	1015	0.642901	0.329083	3500209
/OPT-SMALLINT-LIN/heinz/ normalized-acc-tight4.opb	OPT	0	0.6529	0.334888	3500756
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3010_4.std.opb	OPT	58	0.656899	0.409057	3500735
/OPT-SMALLINT-LIN/heinz/ normalized-neos-506428.opb	OPT	1	0.703892	0.522617	3500745
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh210.opb	OPT	88	0.704892	0.357151	3500203
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6020_6.std.opb	OPT	97	0.714891	0.514109	3500664
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb	OPT	25	0.71589	0.36229	3500359
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa7552-160.opb	OPT	1359	0.723888	0.373798	3500196
/OPT-SMALLINT-LIN/oliveras/ j60opt/normalized-j607_3.std.opb	OPT	62	0.735887	0.535799	3500666
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6039_5.std.opb	OPT	73	0.756884	0.568703	3500665
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6012_3.std.opb	OPT	75	0.763883	0.552377	3500670
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8a1.opb	OPT	54	0.769882	0.388654	3500229
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_70_70.r.opb	OPT	3	0.78488	0.402832	3500392
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g9x9.opb	OPT	20	0.815875	0.411663	3500295
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_006_area_delay.opb	OPT	22	0.834873	0.429307	3500506
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6030_8.std.opb	OPT	63	0.837871	0.608756	3500669
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-2.opb	OPT	1015	0.84487	0.431334	3500268
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-9sym.b.opb	OPT	5	0.845871	0.435826	3500163
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir04_area_delay.opb	OPT	12	0.874866	0.44847	3500533
normalized-PB07/OPT-SMALLINT-LIN/ submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb	OPT	24890	0.894863	0.450359	3500549
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6035_5.std.opb	OPT	76	0.925858	0.652707	3500671
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_003_area_delay.opb	OPT	26	0.976851	0.524743	3500516
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6046_1.std.opb	OPT	79	1.00885	0.700706	3500668
/OPT-SMALLINT-LIN/oliveras/ j90opt/normalized-j902_3.std.opb	OPT	75	1.06584	0.782183	3500724
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3030_10.std.opb	OPT	53	1.06784	0.620986	3500731
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j907_10.std.opb	OPT	98	1.09283	0.800075	3500719
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9023_3.std.opb	OPT	116	1.09483	0.817466	3500716
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j902_10.std.opb	OPT	80	1.13583	0.832571	3500728
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9027_5.std.opb	OPT	99	1.13983	0.887327	3500720
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9024_9.std.opb	OPT	80	1.16382	0.840419	3500714
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9020_8.std.opb	OPT	85	1.17082	0.858021	3500722
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9039_4.std.opb	OPT	81	1.21181	0.87838	3500717
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9043_10.std.opb	OPT	92	1.22381	0.908383	3500718
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9031_6.std.opb	OPT	80	1.26981	0.938737	3500727
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9044_5.std.opb	OPT	84	1.3108	0.981868	3500726
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9014_2.std.opb	OPT	79	1.3158	0.942444	3500725
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9043_5.std.opb	OPT	98	1.3188	0.981247	3500723
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-4-c.opb	OPT	324	1.36579	0.691891	3500171
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9038_2.std.opb	OPT	78	1.37179	0.951092	3500711
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12025_2.std.opb	OPT	108	1.43578	1.05392	3500695
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j1209_3.std.opb	OPT	87	1.43778	1.11299	3500696
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12030_10.std.opb	OPT	86	1.55376	1.1322	3500698
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12025_7.std.opb	OPT	92	1.59776	1.19228	3500701
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh217.opb	OPT	89	1.60076	0.804817	3500222
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j1209_1.std.opb	OPT	88	1.60976	1.20492	3500684
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir06_area_delay.opb	OPT	15	1.63175	0.840442	3500537
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12020_7.std.opb	OPT	81	1.68274	1.23844	3500678
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-3-c.opb	OPT	334	1.69974	0.857451	3500211
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12025_6.std.opb	OPT	92	1.70274	1.17756	3500707
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12040_4.std.opb	OPT	112	1.70774	1.26742	3500685
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12039_5.std.opb	OPT	106	1.74673	1.34539	3500683
/OPT-SMALLINT-LIN/oliveras/ j30opt/normalized-j309_3.std.opb	OPT	68	1.80772	0.986753	3500741
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12020_5.std.opb	OPT	69	1.82272	1.35448	3500682
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_027_area_delay.opb	OPT	25	1.86072	0.977815	3500519
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir09_area_partials.opb	OPT	35	1.9497	1.01091	3500557
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir05_area_delay.opb	OPT	14	2.00469	1.01812	3500534
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12024_7.std.opb	OPT	112	2.05069	1.36399	3500693
/OPT-SMALLINT-LIN/oliveras/ j90opt/normalized-j901_1.std.opb	OPT	73	2.25466	1.39379	3500710
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-5-c.opb	OPT	341	2.50262	1.25696	3500290
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12021_8.std.opb	OPT	127	2.65959	1.66145	3500675
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j1202_7.std.opb	OPT	90	2.74858	1.69266	3500703
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand18b530.cudf.paranoid.opb	OPT	6563	2.97055	1.52139	3500599
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos8.opb	OPT	-3719	3.01654	1.65815	3500050
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randa2004a.cudf.paranoid.opb	OPT	1859	3.20651	1.64433	3500619
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_018_area_delay.opb	OPT	25	3.2785	1.65804	3500524
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand3c03fd.cudf.paranoid.opb	OPT	4927	3.32549	1.70564	3500605
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randfd04d4.cudf.paranoid.opb	OPT	3511	3.38149	1.72802	3500615
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand4a23d9.cudf.paranoid.opb	OPT	6114	3.48447	1.77598	3500612
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir03_area_opers.opb	OPT	17	3.65544	1.84977	3500562
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9017_9.std.opb	OPT	96	3.69344	2.08915	3500721
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-c8.opb	OPT	1194	3.73743	1.87326	3500136
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randf66c83.cudf.paranoid.opb	OPT	4917	3.76543	1.92099	3500610
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand085d8a.cudf.paranoid.opb	OPT	10580	3.78342	1.92989	3500611
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-1-c.opb	OPT	317	3.80442	1.908	3500267
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randd7b2b4.cudf.paranoid.opb	OPT	4750	3.87641	1.97627	3500603
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand362510.cudf.paranoid.opb	OPT	1964	3.87841	1.97537	3500617
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randd92c9f.cudf.paranoid.opb	OPT	6259	4.07738	2.07805	3500620
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_021_area_delay.opb	OPT	24	4.15837	2.12297	3500502
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3045_1.std.opb	OPT	82	4.23036	2.21364	3500740
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand767898.cudf.paranoid.opb	OPT	4821	4.25235	2.16171	3500625
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randec6fe1.cudf.paranoid.opb	OPT	9316	4.26335	2.1668	3500616
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randf794d2.cudf.paranoid.opb	OPT	8228	4.36933	2.22257	3500602
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randc7f8e5.cudf.paranoid.opb	OPT	9465	4.46332	2.2711	3500621
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand5d20db.cudf.paranoid.opb	OPT	5106	4.65829	2.37702	3500607
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos10.opb	OPT	-1135	4.86526	2.55594	3500048
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand0a62b6.cudf.paranoid.opb	OPT	6943	4.88526	2.48093	3500604
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randb54299.cudf.paranoid.opb	OPT	11142	4.88925	2.48101	3500618
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randc5fe62.cudf.paranoid.opb	OPT	1882	4.91825	2.49566	3500601
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand27da90.cudf.paranoid.opb	OPT	11364	5.01924	2.54535	3500613
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand4b919e.cudf.paranoid.opb	OPT	5116	5.05923	2.56663	3500609
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randcebca4.cudf.paranoid.opb	OPT	6576	5.11322	2.59675	3500622
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-2-c.opb	OPT	349	5.61215	2.81324	3500283
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand4bf850.cudf.paranoid.opb	OPT	10949	5.98809	3.03808	3500629
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-clip.b.opb	OPT	15	6.05608	3.07484	3500160
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand9ffe99.cudf.paranoid.opb	OPT	4905	6.32504	3.19696	3500623
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand71b131.cudf.paranoid.opb	OPT	5657	6.69398	3.3902	3500614
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand0c02bc.cudf.paranoid.opb	OPT	8730	6.85996	3.47184	3500628
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randc18b26.cudf.paranoid.opb	OPT	10655	7.05493	3.57438	3500600
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_20_20.r.opb	OPT	5	7.07592	3.53965	3500405
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand2d8467.cudf.paranoid.opb	OPT	13125	7.2139	3.64569	3500630
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand35d0c8.cudf.paranoid.opb	OPT	5656	7.46186	3.7691	3500633
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_030_area_delay.opb	OPT	25	7.73482	3.88853	3500509
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.08.opb	OPT	34	7.76482	4.40037	3500486
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randd1cab2.cudf.paranoid.opb	OPT	15492	7.8678	3.981	3500642
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_020_area_delay.opb	OPT	23	8.15376	4.1026	3500510
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb	OPT	34	8.42372	4.21865	3500369
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randb87834.cudf.paranoid.opb	OPT	11434	8.68768	4.39214	3500635
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randbccf2d.cudf.paranoid.opb	OPT	6128	8.94564	4.51959	3500639
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j1201_2.std.opb	OPT	109	8.97763	4.80998	3500708
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randa09fe9.cudf.paranoid.opb	OPT	9469	9.02363	4.55143	3500641
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-jac3.opb	OPT	15	9.08462	4.55366	3500154
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.07.opb	OPT	37	9.94149	6.53006	3500488
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.02.opb	OPT	44	10.0965	6.80628	3500491
/OPT-SMALLINT-LIN/heinz/ normalized-pb-simp-nonunif.opb	OPT	42	10.0995	6.73793	3500750
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_015_area_delay.opb	OPT	25	10.3694	5.22034	3500508
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_002_area_delay.opb	OPT	24	10.5034	5.27748	3500523
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-net12.opb	OPT	214	11.0333	5.89954	3500073
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.14.opb	OPT	42	11.2383	7.5185	3500490
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_8.opb	OPT	34	11.2923	5.6534	3500473
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randa6997e.cudf.paranoid.opb	OPT	5898	11.9762	6.03807	3500626
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.12.opb	OPT	41	13.0964	7.20768	3500489
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_029_area_delay.opb	OPT	24	14.6528	7.54937	3500513
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.10.opb	OPT	49	15.9296	10.6802	3500485
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb	OPT	304	16.6645	8.33392	3500311
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_50_50.r.opb	OPT	4	17.6393	8.8238	3500404
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex4inp.r.opb	OPT	5	19.443	9.72785	3500401
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32a1.opb	OPT	444	20.9338	10.4837	3500253
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_028_area_delay.opb	OPT	23	21.6957	11.0156	3500499
/OPT-SMALLINT-LIN/oliveras/ j60opt/normalized-j605_7.std.opb	OPT	75	23.1095	11.7193	3500667
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16e2.opb	OPT	520	23.8964	11.9692	3500254
/OPT-SMALLINT-LIN/heinz/ normalized-hanoi5.opb	OPT	1931	24.2613	12.1546	3500757
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_10_10.r.opb	OPT	8	24.5783	12.2918	3500417
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_004_area_delay.opb	OPT	27	24.6303	12.3404	3500501
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.11.opb	OPT	38	25.9381	14.6123	3500487
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b2.opb	OPT	244	28.1597	14.0869	3500288
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_008_area_delay.opb	OPT	25	28.5777	14.4212	3500517
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_011_area_delay.opb	OPT	26	29.3225	14.7312	3500504
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_019_area_delay.opb	OPT	24	29.5985	14.8448	3500511
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_024_area_delay.opb	OPT	24	31.1603	15.597	3500514
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b4.opb	OPT	376	33.5189	16.7786	3500274
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir06_area_opers.opb	OPT	23	39.438	19.7554	3500565
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-hanoi5.opb	OPT	1931	43.5774	21.8313	3500195
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_016_area_delay.opb	OPT	25	45.5851	22.8514	3500512
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-rd84.b.opb	OPT	5	50.7583	25.4564	3500373
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_10_10.r.opb	OPT	8	52.338	26.288	3500378
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir07_area_opers.opb	OPT	32	55.5546	27.8578	3500566
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b3.opb	OPT	331	61.7796	30.905	3500224
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ricks.r.opb	OPT	5	63.9223	31.9701	3500396
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_30_30.r.opb	OPT	4	63.9273	31.9681	3500414
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir10_area_partials.opb	OPT	52	67.3938	33.8848	3500556
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_007_area_delay.opb	OPT	26	68.9045	34.5171	3500522
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb	OPT	1120	71.4361	35.7185	3500065
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e3.opb	OPT	310	72.7799	36.4042	3500242
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh201.opb	OPT	84	76.7423	38.3775	3500182
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-count.b.opb	OPT	24	82.1865	41.1045	3500158
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_025_area_delay.opb	OPT	25	85.498	42.9568	3500527
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_10_15.r.opb	OPT	8	100.592	50.5501	3500420
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_005_area_delay.opb	OPT	26	106.362	53.3484	3500507
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e4.opb	OPT	364	111.646	55.8408	3500237
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein45.opb	OPT	30	125.687	62.8457	3500062
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_013_area_delay.opb	OPT	22	146.753	73.678	3500503
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb	OPT	44	153.868	76.947	3500368
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-sentoy.opb	OPT	-7772	154.629	77.5642	3500057
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32c3.opb	OPT	261	156.085	78.0641	3500186
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_023_area_delay.opb	OPT	22	156.198	78.372	3500520
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12048_10.std.opb	OPT	111	162.036	81.4239	3500690
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_022_area_delay.opb	OPT	26	184.505	92.2893	3500525
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_014_area_delay.opb	OPT	27	202.218	101.146	3500526
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-10000opt.opb	OPT	-75	207.408	104.423	3500588
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_2.opb	OPT	1	217.488	108.746	3500451
/OPT-SMALLINT-LIN/heinz/ normalized-222__neos-1330346.opb	OPT	8	222.523	111.269	3500746
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C880.b.opb	OPT	63	226.877	113.451	3500415
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b1.opb	OPT	191	236.686	118.354	3500259
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e1.opb	OPT	162	252.728	126.376	3500204
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_017_area_delay.opb	OPT	25	255.268	127.697	3500505
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir07_area_delay.opb	OPT	16	259.108	129.642	3500535
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_001_area_delay.opb	OPT	28	261.821	130.972	3500500
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-4000opt.opb	OPT	-82	265.833	132.961	3500570
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e5.opb	OPT	503	265.99	133.032	3500194
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-7000opt.opb	OPT	-68	268.673	134.381	3500574
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32c1.opb	OPT	167	279.847	139.955	3500247
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos1.opb	OPT	19	301.531	150.776	3500051
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb	OPT	-30	313.267	157.045	3500314
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-5000opt.opb	OPT	-70	317.308	159.33	3500589
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir10_area_delay.opb	OPT	27	319.812	160.216	3500538
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_4.opb	OPT	1	321.545	160.778	3500463
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir09_area_opers.opb	OPT	34	331.272	165.733	3500568
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-1000opt.opb	OPT	-78	352.205	176.413	3500584
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_012_area_delay.opb	OPT	27	359.054	180.49	3500515
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12049_10.std.opb	OPT	97	369.828	185.28	3500687
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-3000opt.opb	OPT	-81	376.86	188.84	3500586
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-8000opt.opb	OPT	-76	399.311	199.696	3500575
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb	OPT	-30	407.818	203.94	3500317
/OPT-SMALLINT-LIN/flexray/ normalized-fx60.opb	OPT	6	425.148	212.59	3500591
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.00.opb	OPT	34	427.85	214.409	3500492
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir08_area_partials.opb	OPT	49	452.675	226.902	3500552
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_10_30.r.opb	OPT	8	461.407	230.708	3500384
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-2000opt.opb	OPT	-70	528.088	264.081	3500576
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb	OPT	-30	570.413	285.236	3500318
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e2.opb	OPT	235	605.192	302.652	3500285
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-9000opt.opb	OPT	-79	606.363	303.225	3500585
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb	OPT	-30	646.393	323.219	3500315
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_1.opb	OPT	2	683.869	341.937	3500462
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-6000opt.opb	OPT	-74	732.683	367.792	3500581
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_026_area_delay.opb	OPT	28	761.341	383.08	3500528
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9021_5.std.opb	OPT	112	867.424	433.998	3500729
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32c2.opb	OPT	207	905.922	452.997	3500275
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb	OPT	-30	947.527	475.185	3500316
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-5xp1.b.opb	OPT	12	1161.42	586.769	3500155
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_30_30.r.opb	OPT	5	1390.46	695.23	3500426
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_3.opb	OPT	2	1447.61	723.798	3500431

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-4.opb	? (TO)	1800.04	900.023	3500217
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_20.opb	? (TO)	1800.05	900.322	3500482
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-f1000.opb	? (TO)	1800.05	900.025	3500180
/OPT-SMALLINT-LIN/flexray/ normalized-fx49.opb	? (TO)	1800.05	900.03	3500597
/OPT-SMALLINT-LIN/heinz/ normalized-neos-547911.opb	? (TO)	1800.05	900.228	3500767
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-5-c.opb	? (TO)	1800.06	900.028	3500282
/OPT-SMALLINT-LIN/heinz/ normalized-f2000.opb	? (TO)	1800.06	900.029	3500765
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-f600.opb	? (TO)	1800.06	900.031	3500245
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-3-c.opb	? (TO)	1800.06	900.027	3500263
/OPT-SMALLINT-LIN/heinz/ normalized-neos788725.opb	? (TO)	1800.07	900.03	3500764
/OPT-SMALLINT-LIN/flexray/ normalized-fx30.opb	? (TO)	1800.07	900.038	3500595
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-5.opb	? (TO)	1800.07	900.024	3500255
/OPT-SMALLINT-LIN/heinz/ normalized-neos-777800.opb	? (TO)	1800.07	900.051	3500754
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_4.opb	? (TO)	1800.08	900.043	3500464
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-1-c.opb	? (TO)	1800.08	900.028	3500234
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_3.opb	? (TO)	1800.08	900.045	3500428
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-2-c.opb	? (TO)	1800.08	900.03	3500166
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_3.opb	? (TO)	1800.09	900.049	3500444
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_6_50_3.opb	? (TO)	1800.09	900.041	3500454
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_4.opb	? (TO)	1800.09	900.048	3500457
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_3.opb	? (TO)	1800.09	900.04	3500466
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_2.opb	? (TO)	1800.09	900.047	3500429
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_4.opb	? (TO)	1800.09	900.044	3500452
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-g125.17.opb	? (TO)	1800.09	900.138	3500271
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_6_50_2.opb	? (TO)	1800.09	900.049	3500450
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_1.opb	? (TO)	1800.1	900.049	3500448
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod010.opb	? (TO)	1800.1	900.061	3500052
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_6_50_4.opb	? (TO)	1800.1	900.253	3500446
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_2.opb	? (TO)	1800.11	900.049	3500433
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_1.opb	? (TO)	1800.11	900.05	3500465
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_2.opb	? (TO)	1800.11	900.046	3500438
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_6_50_1.opb	? (TO)	1800.11	900.047	3500441
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-g125.18.opb	? (TO)	1800.16	900.148	3500261
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_19.opb	? (TO)	1800.17	900.325	3500360
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-g250.15.opb	? (TO)	1800.19	900.346	3500230
/OPT-SMALLINT-LIN/flexray/ normalized-fx97.opb	? (TO)	1800.2	900.131	3500598
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_20.opb	? (TO)	1800.2	900.43	3500366
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-2.opb	? (TO)	1800.21	900.125	3500248
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-4-c.opb	? (TO)	1800.21	900.122	3500225
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-1.opb	? (TO)	1800.23	900.125	3500292
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-f2000.opb	? (TO)	1800.24	900.126	3500277
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-3.opb	? (TO)	1800.24	900.125	3500207
/OPT-SMALLINT-LIN/flexray/ normalized-fx75.opb	? (TO)	1800.24	900.129	3500592
/OPT-SMALLINT-LIN/flexray/ normalized-fx63.opb	? (TO)	1800.24	900.132	3500593
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_1.opb	? (TO)	1800.25	900.543	3500435
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-l152lav.opb	? (TO)	1800.25	900.161	3500053
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-g250.29.opb	? (TO)	1800.29	900.684	3500167

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-bf1355-638.opb	Signal 6	0.043992	0.041634	3500243
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_9.opb	Signal 11	6.01408	3.02841	3500478
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_10.opb	Signal 11	57.5842	28.8299	3500364
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_16.opb	Signal 11	1130.26	565.416	3500354

PB'11 competition: satisfaction and optimization track: benchmarks results per solver

Result page for solver pwbo 1.1 (complete)

Category "optimisation, small integers, linear constraints" (OPT-SMALLINT-LIN)

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

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

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

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

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