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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/ datasets/caixa/normalized-1021.cudf.trendy.opb	UNSAT	0.450931	0.647203	3482208
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa0432-003.opb	UNSAT	0.573912	0.676621	3481988
/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-995.cudf.paranoid.opb	UNSAT	0.676896	0.907548	3482163
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1125.cudf.paranoid.opb	UNSAT	0.684895	1.04049	3482155
/OPT-SMALLINT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-995.cudf.trendy.opb	UNSAT	0.696893	0.74091	3482146
/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-658.cudf.paranoid.opb	UNSAT	0.788879	0.830744	3482158
/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-869.cudf.paranoid.opb	UNSAT	0.823874	0.811848	3482160
/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-121.cudf.paranoid.opb	UNSAT	0.827873	0.93191	3482156
/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-122.cudf.paranoid.opb	UNSAT	0.831873	0.927676	3482157
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-diamond.opb	UNSAT	0.9	36.2386	3481951
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-bf2670-001.opb	UNSAT	0.930857	1.20284	3482009
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1077.cudf.paranoid.opb	UNSAT	1.03584	0.900774	3482149
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1093.cudf.paranoid.opb	UNSAT	1.10283	0.940595	3482151
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1034.cudf.paranoid.opb	UNSAT	1.12983	0.992968	3482147
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand271a0d.cudf.paranoid.opb	UNSAT	1.15282	1.25307	3482185
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand00ebc7.cudf.paranoid.opb	UNSAT	1.21181	2.24277	3482181
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand199fd6.cudf.paranoid.opb	UNSAT	1.21581	1.62812	3482165
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randc5b1f2.cudf.paranoid.opb	UNSAT	1.22381	1.4784	3482198
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randfe95e3.cudf.paranoid.opb	UNSAT	1.23781	1.31346	3482180
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randa491d5.cudf.paranoid.opb	UNSAT	1.23981	1.33884	3482172
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand65d021.cudf.paranoid.opb	UNSAT	1.2828	1.39013	3482169
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randf7d077.cudf.paranoid.opb	UNSAT	1.3098	1.40591	3482179
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randaef248.cudf.paranoid.opb	UNSAT	1.3338	1.5872	3482174
/OPT-SMALLINT-LIN/heinz/ normalized-ash608gpia-3col.opb	UNSAT	2.07468	1.63672	3482294
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa6288-047.opb	UNSAT	2.58161	2.08405	3481991
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_4.opb	UNSAT	5.22221	5.4505	3482134
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_1.opb	UNSAT	8.19975	8.46143	3482133
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa2670-141.opb	UNSAT	11.0103	11.1108	3482043
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa2670-130.opb	UNSAT	12.1961	12.2616	3482033
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_3.opb	UNSAT	14.8957	15.1236	3482131
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-bf0432-007.opb	UNSAT	17.4273	17.4383	3481995
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-bf1355-638.opb	UNSAT	33.6719	33.6679	3482041
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-bf1355-075.opb	UNSAT	50.8403	50.2727	3482049
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_2.opb	UNSAT	56.5074	56.2403	3482132
/OPT-SMALLINT-LIN/heinz/ normalized-neos788725.opb	UNSAT	555.427	550.676	3482305

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir04_area_partials.opb	OPT	30	0.429934	0.692421	3481675
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-bbara.r.opb	OPT	7	0.446931	0.556928	3482109
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-6_12.opb	OPT	5867	0.446931	0.915796	3481618
/OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/ datasets/caixa/normalized-1078.cudf.trendy.opb	OPT	4	0.44993	0.566262	3482209
normalized-PB07/OPT-SMALLINT-LIN/ submittedPB07/aksoy/trarea_ac/normalized-fir01_trarea_ac.opb	OPT	13949	0.45293	0.579434	3481674
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-5_10.opb	OPT	3951	0.45493	0.545003	3481619
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_5.opb	OPT	11	0.45593	0.999861	3482083
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cc.opb	OPT	1567	0.461928	0.578777	3481966
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1078.cudf.paranoid.opb	OPT	4	0.461929	0.551256	3482150
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_90_90.r.opb	OPT	2	0.462928	0.547576	3482123
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_5.opb	OPT	11	0.467928	0.641875	3482140
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh301.opb	OPT	95	0.468928	0.894285	3482008
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-opus.r.opb	OPT	5	0.468928	0.556173	3482091
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir01_area_delay.opb	OPT	5	0.471927	0.552315	3481653
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex6inp.r.opb	OPT	4	0.471928	0.57159	3482100
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh212.opb	OPT	97	0.476927	0.904519	3482062
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1037.cudf.paranoid.opb	OPT	90	0.478926	0.828511	3482148
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_90_90.r.opb	OPT	2	0.481925	0.577629	3482096
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb	OPT	304	0.481926	0.553741	3482079
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-7_14.opb	OPT	5148	0.482925	0.552325	3481622
normalized-PB07/OPT-SMALLINT-LIN/ submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb	OPT	24890	0.489924	0.643623	3481673
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-10_20.opb	OPT	8034	0.489924	0.5552	3481621
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-dk512x.r.opb	OPT	6	0.490924	0.56832	3482103
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir02_area_partials.opb	OPT	19	0.493924	0.770289	3481682
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_6.opb	OPT	17	0.495923	0.569219	3482082
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-11_22.opb	OPT	8908	0.501923	0.591431	3481620
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_40_40.r.opb	OPT	2	0.513921	0.613613	3482112
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex5inp.r.opb	OPT	4	0.513921	0.957648	3482129
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-5.opb	OPT	2642	0.515921	0.657394	3482078
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_70_70.r.opb	OPT	2	0.517921	1.01682	3482087
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir01_area_opers.opb	OPT	10	0.521919	0.760641	3481688
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_70_70.r.opb	OPT	3	0.524919	0.633981	3482104
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_6.opb	OPT	17	0.526919	0.768905	3482141
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cm42a.opb	OPT	694	0.528918	0.821745	3481963
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-maincont.r.opb	OPT	7	0.528919	0.822153	3482099
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-exps.r.opb	OPT	76	0.528919	0.616231	3482105
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb	OPT	36	0.531918	0.648722	3481973
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-mux.opb	OPT	872	0.533917	0.754325	3481961
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_4.opb	OPT	6	0.540917	0.775395	3482137
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir05_area_partials.opb	OPT	36	0.548916	0.633897	3481677
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cmb.opb	OPT	1053	0.558914	0.878927	3481964
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.95:100.opb	OPT	0	0.559914	0.818833	3482074
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_10_10.r.opb	OPT	8	0.58191	0.77027	3482094
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_30_30.r.opb	OPT	4	0.591909	1.05518	3482124
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb	OPT	62	0.595908	0.685619	3481971
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir04_area_opers.opb	OPT	29	0.597908	0.681749	3481685
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-5pb.opb	OPT	60	0.607907	0.738383	3481969
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/routing/normalized-s4-4-3-10pb.opb	OPT	70	0.608907	1.2451	3481976
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex4inp.r.opb	OPT	5	0.610906	0.712453	3482113
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir07_area_partials.opb	OPT	33	0.615905	0.90286	3481679
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-test1.r.opb	OPT	110	0.619905	0.707591	3482128
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir02_area_delay.opb	OPT	8	0.621905	0.885965	3481656
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-c8.opb	OPT	1194	0.623904	0.896813	3481965
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C880.a.opb	OPT	87	0.625904	0.707613	3482110
/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-787.cudf.paranoid.opb	OPT	14	0.633902	0.764203	3482159
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir02_area_opers.opb	OPT	18	0.634903	0.878925	3481693
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_4.opb	OPT	6	0.6479	0.922786	3482085
/OPT-SMALLINT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-787.cudf.trendy.opb	OPT	14	0.654899	0.738212	3482210
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb	OPT	64	0.659899	0.745842	3481975
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir06_area_partials.opb	OPT	24	0.661898	0.756464	3481678
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-9pb.opb	OPT	68	0.677896	0.789673	3481972
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_7.opb	OPT	25	0.698893	0.923126	3482138
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_30_30.r.opb	OPT	3	0.711891	0.811228	3482101
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_50_50.r.opb	OPT	3	0.71989	0.803402	3482090
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-lin.rom.r.opb	OPT	120	0.750884	0.862253	3482118
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb	OPT	62	0.760883	1.04729	3481968
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb	OPT	62027	0.799877	30.1262	3481955
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-4.opb	OPT	813	0.804876	1.07726	3482080
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb	OPT	34	0.816875	33.7579	3481952
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa7552-158.opb	OPT	1327	0.844871	1.10044	3481834
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_10_15.r.opb	OPT	8	0.84787	1.27514	3482127
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb	OPT	25	0.847871	1.03364	3482084
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1097.cudf.paranoid.opb	OPT	125	0.877865	1.0719	3482153
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb	OPT	1120	0.879866	29.6902	3481956
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1094.cudf.paranoid.opb	OPT	126	0.897863	0.858297	3482152
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh12.opb	OPT	94	0.926858	1.04925	3482028
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb	OPT	2967	0.940856	30.957	3481948
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.95:98.opb	OPT	1	0.941856	1.03543	3482075
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-max512.r.opb	OPT	113	0.943855	1.01351	3482102
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh213.opb	OPT	92	0.956853	1.07699	3482053
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir05_area_opers.opb	OPT	35	0.963852	1.04333	3481687
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb	OPT	8691	0.970851	30.3817	3481841
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh207.opb	OPT	95	0.977851	0.916928	3482017
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-mlp4.r.opb	OPT	109	0.987848	1.26155	3482092
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ricks.r.opb	OPT	5	1.00185	1.07191	3482108
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh205.opb	OPT	94	1.01684	1.18708	3482025
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb	OPT	64	1.04	1.47518	3481967
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-my_adder.opb	OPT	4561	1.04784	1.33024	3481960
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g9x9.opb	OPT	20	1.05384	1.29498	3482071
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh17.opb	OPT	95	1.06784	0.892438	3482063
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-cracpb1.opb	OPT	22199	1.10183	35.4224	3481947
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh220.opb	OPT	94	1.10683	0.898225	3482051
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh7.opb	OPT	89	1.11283	0.981855	3482058
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh209.opb	OPT	93	1.11583	0.899721	3482020
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-count.b.opb	OPT	24	1.11883	1.48725	3481983
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh204.opb	OPT	93	1.13883	1.01563	3482070
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh218.opb	OPT	90	1.14183	1.13514	3482066
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh1.opb	OPT	92	1.17382	1.15077	3482003
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh210.opb	OPT	88	1.23381	0.978024	3482010
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1098.cudf.paranoid.opb	OPT	256	1.24181	0.9979	3482154
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-addm4.r.opb	OPT	165	1.24281	1.53775	3482093
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8a1.opb	OPT	54	1.2958	1.36246	3482030
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-clip.b.opb	OPT	15	1.42578	1.52469	3481985
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-9sym.b.opb	OPT	5	1.43578	1.53984	3481986
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir04_area_delay.opb	OPT	12	1.43978	1.59351	3481657
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3028_7.std.opb	OPT	48	1.44078	2.17076	3482253
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh217.opb	OPT	89	1.45278	1.27792	3482024
/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-902.cudf.paranoid.opb	OPT	277	1.51177	1.11045	3482161
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ4_3.opb	OPT	20	1.53377	1.33731	3481959
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3028_8.std.opb	OPT	53	1.53677	1.64857	3482254
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data4_3.opb	OPT	8276	1.53677	1.3584	3481958
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-bench1.pi.opb	OPT	121	1.54676	1.67403	3481982
/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-990.cudf.paranoid.opb	OPT	273	1.57176	1.17365	3482162
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod008.opb	OPT	307	1.59676	31.4988	3481946
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_10_10.r.opb	OPT	8	1.60576	1.69941	3482126
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3010_10.std.opb	OPT	41	1.61275	2.62012	3482248
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3032_2.std.opb	OPT	60	1.61775	2.11241	3482256
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir03_area_delay.opb	OPT	10	1.61875	1.70467	3481655
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa7552-159.opb	OPT	1327	1.67674	1.7671	3481749
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3010_4.std.opb	OPT	58	1.69374	1.7682	3482249
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand902db1.cudf.paranoid.opb	OPT	0	1.71274	1.8216	3482170
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-f51m.b.opb	OPT	18	1.71674	1.8285	3481984
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-m4.r.opb	OPT	90	1.74573	1.85627	3482115
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3016_8.std.opb	OPT	44	1.78473	2.03568	3482250
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos1.opb	OPT	19	1.79673	37.136	3481944
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_20_20.r.opb	OPT	5	1.79873	2.14993	3482117
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:100.opb	OPT	1	1.79972	1.88949	3482076
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-C432.opb	OPT	4822	1.87871	1.95328	3481865
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.5:100.opb	OPT	0	1.88871	1.96867	3482072
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_10_15.r.opb	OPT	10	1.9307	2.02794	3482121
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b4.opb	OPT	376	1.9907	1.57376	3482059
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_300_10_10.r.opb	OPT	21	2.01769	2.43099	3482122
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:98.opb	OPT	2	2.02669	2.08937	3482077
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3030_10.std.opb	OPT	53	2.03369	2.29975	3482255
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_30_30.r.opb	OPT	5	2.09668	2.16649	3482130
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-rd73.b.opb	OPT	4	2.12068	2.21767	3482111
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-prom2.r.opb	OPT	278	2.15767	2.25579	3482119
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-sao2.b.opb	OPT	25	2.24166	2.75297	3481978
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-1_6-yes1-2.opb	OPT	100	2.25466	2.38363	3482034
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-1_6-yes1-4.opb	OPT	100	2.31865	2.41881	3482000
/OPT-SMALLINT-LIN/oliveras/ j30opt/normalized-j309_3.std.opb	OPT	68	2.37864	2.78179	3482261
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-9symml.opb	OPT	4517	2.48862	2.7164	3481962
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb	OPT	1523	2.51562	34.2617	3481950
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6020_6.std.opb	OPT	97	2.54261	2.66023	3482263
/OPT-SMALLINT-LIN/ kullmann/normalized-sbox_4_shg.opb	OPT	22	2.5916	2.86019	3482321
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6035_5.std.opb	OPT	76	2.6006	2.6807	3482265
/OPT-SMALLINT-LIN/oliveras/ j60opt/normalized-j607_3.std.opb	OPT	62	2.6116	3.05851	3482269
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6012_3.std.opb	OPT	75	2.69859	2.97444	3482262
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb	OPT	60	2.74458	3.08284	3481970
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6039_5.std.opb	OPT	73	2.74758	2.89805	3482266
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6030_8.std.opb	OPT	63	2.74958	3.39702	3482264
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_8.opb	OPT	34	2.87656	3.13827	3482139
/OPT-SMALLINT-LIN/oliveras/ j30opt/normalized-j304_5.std.opb	OPT	59	2.97555	2.45059	3482260
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-1_6-yes1-3.opb	OPT	100	3.05853	3.20089	3482038
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3024_7.std.opb	OPT	44	3.07253	2.30052	3482251
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3039_5.std.opb	OPT	55	3.08153	2.4136	3482258
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6046_1.std.opb	OPT	79	3.08953	3.7182	3482267
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir03_area_partials.opb	OPT	18	3.11053	3.42848	3481683
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa7552-160.opb	OPT	1359	3.15252	3.23022	3481842
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3034_9.std.opb	OPT	60	3.16052	2.35368	3482257
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-p2756.opb	OPT	3124	3.23051	16.4218	3481730
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb	OPT	100	3.2525	3.43467	3482019
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-4000opt.opb	OPT	-82	3.44448	3.14741	3481183
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j902_10.std.opb	OPT	80	3.47547	3.54681	3482275
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9020_8.std.opb	OPT	85	3.51247	3.59103	3482274
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_300_10_14.r.opb	OPT	19	3.53946	3.69415	3482106
/OPT-SMALLINT-LIN/oliveras/ j90opt/normalized-j902_3.std.opb	OPT	75	3.54646	3.61417	3482278
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3027_1.std.opb	OPT	43	3.70544	4.14409	3482252
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9023_3.std.opb	OPT	116	3.70744	3.96392	3482277
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3045_1.std.opb	OPT	82	3.71843	3.7908	3482259
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j907_10.std.opb	OPT	98	3.77043	4.05358	3482290
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_10_10.r.opb	OPT	12	3.80942	3.89019	3482107
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9024_9.std.opb	OPT	80	3.83542	3.92183	3482279
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9039_4.std.opb	OPT	81	3.85841	4.11802	3482285
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-jac3.opb	OPT	15	3.86341	3.96473	3481980
/OPT-SMALLINT-LIN/oliveras/ j90opt/normalized-j901_1.std.opb	OPT	73	3.9394	4.1143	3482270
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9027_5.std.opb	OPT	99	3.9634	4.52594	3482282
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9014_2.std.opb	OPT	79	3.9664	4.61576	3482272
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9043_5.std.opb	OPT	98	3.9694	4.40136	3482287
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-10000opt.opb	OPT	-75	3.9724	3.08897	3481201
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9044_5.std.opb	OPT	84	3.98039	5.13583	3482288
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9031_6.std.opb	OPT	80	4.09338	4.17285	3482283
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9038_2.std.opb	OPT	78	4.16037	4.27181	3482284
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9043_10.std.opb	OPT	92	4.22836	4.52373	3482286
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-8000opt.opb	OPT	-76	4.34934	3.55701	3481188
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-3000opt.opb	OPT	-81	4.44132	3.35717	3481199
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_006_area_delay.opb	OPT	22	4.45832	4.68502	3481630
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-sentoy.opb	OPT	-7772	4.50931	37.3967	3481949
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12025_2.std.opb	OPT	108	4.67029	4.92243	3482222
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand9ffe99.cudf.paranoid.opb	OPT	4905	4.67229	4.90847	3482194
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-5000opt.opb	OPT	-70	4.68786	3.81088	3481202
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12025_6.std.opb	OPT	92	4.79527	5.02917	3482223
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j1209_3.std.opb	OPT	87	4.83426	4.96677	3482247
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb	OPT	34	4.84326	4.91718	3482086
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12020_5.std.opb	OPT	69	4.88026	5.0081	3482218
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-2000opt.opb	OPT	-70	4.89625	3.98121	3481189
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-1000opt.opb	OPT	-78	4.91925	3.87031	3481197
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12024_7.std.opb	OPT	112	4.92725	5.2113	3482221
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12030_10.std.opb	OPT	86	4.93025	5.19372	3482227
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j1209_1.std.opb	OPT	88	4.95325	5.02128	3482246
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12020_7.std.opb	OPT	81	5.02923	5.32586	3482219
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-exam.pi.opb	OPT	63	5.04323	5.11659	3481868
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-7000opt.opb	OPT	-68	5.12622	4.36783	3481187
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-9000opt.opb	OPT	-79	5.14522	4.28679	3481198
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9017_9.std.opb	OPT	96	5.18921	5.27532	3482273
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb	OPT	200	5.20121	5.64955	3482007
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randb54299.cudf.paranoid.opb	OPT	11142	5.2352	5.29612	3482196
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand085d8a.cudf.paranoid.opb	OPT	10580	5.2432	5.29641	3482182
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_018_area_delay.opb	OPT	25	5.2842	5.52542	3481648
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j1202_7.std.opb	OPT	90	5.31819	5.4916	3482226
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-l152lav.opb	OPT	4722	5.33319	36.9665	3481925
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12039_5.std.opb	OPT	106	5.34119	5.44307	3482231
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand4bf850.cudf.paranoid.opb	OPT	10949	5.43417	5.48503	3482168
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12021_8.std.opb	OPT	127	5.44317	5.53237	3482220
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12040_4.std.opb	OPT	112	5.46117	6.03008	3482233
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-bench1.r.opb	OPT	121	5.49616	5.70558	3482088
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randd92c9f.cudf.paranoid.opb	OPT	6259	5.60515	5.67266	3482203
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randf794d2.cudf.paranoid.opb	OPT	8228	5.82711	6.03043	3482206
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand18b530.cudf.paranoid.opb	OPT	6563	5.9171	6.16045	3482184
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.opb	OPT	100	5.9201	5.96042	3482005
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randaefc7c.cudf.paranoid.opb	OPT	0	5.95709	6.03378	3482175
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b3.opb	OPT	331	5.96	5.3943	3482026
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randec6fe1.cudf.paranoid.opb	OPT	9316	6.01808	6.08165	3482204
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randa6997e.cudf.paranoid.opb	OPT	5898	6.05108	6.11057	3482173
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randf66c83.cudf.paranoid.opb	OPT	4917	6.05508	6.11135	3482205
/OPT-SMALLINT-LIN/heinz/ normalized-neos-777800.opb	OPT	-80	6.05708	6.1579	3482304
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-6000opt.opb	OPT	-74	6.10407	5.15704	3481194
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb	OPT	100	6.33704	6.62669	3482002
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_009_area_delay.opb	OPT	24	6.36403	6.4396	3481642
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randc7f8e5.cudf.paranoid.opb	OPT	9465	6.37603	6.44094	3482200
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand27da90.cudf.paranoid.opb	OPT	11364	6.38703	6.42399	3482186
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand767898.cudf.paranoid.opb	OPT	4821	6.50601	6.53375	3482193
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_300_10_20.r.opb	OPT	17	6.565	6.80213	3482095
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand3c03fd.cudf.paranoid.opb	OPT	4927	6.577	6.79106	3482188
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-1000opt.opb	OPT	-178	6.601	5.62528	3481191
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-mitre.opb	OPT	7677	6.61299	20.198	3481849
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb	OPT	100	6.62099	6.69734	3482027
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randd1cab2.cudf.paranoid.opb	OPT	15492	6.65099	6.74544	3482178
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_030_area_delay.opb	OPT	25	6.75697	7.09471	3481633
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C880.b.opb	OPT	63	6.79796	6.84728	3482125
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randa09fe9.cudf.paranoid.opb	OPT	9469	6.80296	6.88825	3482171
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randb87834.cudf.paranoid.opb	OPT	11434	6.91395	7.00511	3482176
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randd7b2b4.cudf.paranoid.opb	OPT	4750	6.91395	6.97215	3482202
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand71b131.cudf.paranoid.opb	OPT	5657	6.93195	7.15645	3482192
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randcebca4.cudf.paranoid.opb	OPT	6576	6.95594	7.02348	3482201
/OPT-SMALLINT-LIN/heinz/ normalized-hanoi5.opb	OPT	1931	7.05693	6.12633	3482297
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-apex4.a.opb	OPT	776	7.12492	7.19116	3481869
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-hanoi5.opb	OPT	1931	7.12692	5.8726	3482004
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_300_10_15.r.opb	OPT	19	7.1989	7.29607	3482098
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand4b919e.cudf.paranoid.opb	OPT	5116	7.31789	7.36917	3482190
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand5d20db.cudf.paranoid.opb	OPT	5106	7.34788	7.38947	3482191
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand2d8467.cudf.paranoid.opb	OPT	13125	7.42387	7.47972	3482166
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randfd04d4.cudf.paranoid.opb	OPT	3511	7.58585	7.64347	3482207
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand362510.cudf.paranoid.opb	OPT	1964	7.62484	7.67909	3482187
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randbccf2d.cudf.paranoid.opb	OPT	6128	7.75582	7.82696	3482177
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand0a62b6.cudf.paranoid.opb	OPT	6943	7.78781	7.85706	3482183
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex5.r.opb	OPT	37	7.8968	7.97181	3482120
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randa2004a.cudf.paranoid.opb	OPT	1859	7.9098	7.9891	3482195
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randc18b26.cudf.paranoid.opb	OPT	10655	8.13476	8.36289	3482197
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randc5fe62.cudf.paranoid.opb	OPT	1882	8.24575	8.29963	3482199
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_50_50.r.opb	OPT	4	8.27974	8.32751	3482116
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand4a23d9.cudf.paranoid.opb	OPT	6114	8.29374	8.38017	3482189
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12025_7.std.opb	OPT	92	8.47628	5.4199	3482224
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-5xp1.b.opb	OPT	12	8.47771	8.5196	3481981
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand0c02bc.cudf.paranoid.opb	OPT	8730	8.70268	8.75074	3482164
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb	OPT	100	8.96764	9.08744	3482023
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j1201_2.std.opb	OPT	109	9.08762	9.36256	3482211
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_020_area_delay.opb	OPT	23	9.1916	9.36178	3481634
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir10_area_partials.opb	OPT	52	9.31758	9.39611	3481680
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh201.opb	OPT	84	9.48	8.78181	3481997
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-2.opb	OPT	939	9.49755	9.69571	3481807
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir05_area_delay.opb	OPT	14	9.58454	9.70286	3481658
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-9000opt.opb	OPT	-193	9.64053	8.67495	3481195
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand35d0c8.cudf.paranoid.opb	OPT	5656	9.70652	9.73998	3482167
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir03_area_opers.opb	OPT	17	10.0705	10.2621	3481686
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16e2.opb	OPT	520	10.1125	9.37124	3482047
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-5000opt.opb	OPT	-169	10.9523	10.3744	3481196
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32a1.opb	OPT	444	11.0443	10.2828	3482046
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-6000opt.opb	OPT	-175	11.3813	10.3061	3481200
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-1.opb	OPT	100	11.6822	11.7759	3481996
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-2.opb	OPT	100	11.8482	12.3347	3481987
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.opb	OPT	100	11.9982	12.0823	3482018
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-alu2.b.opb	OPT	60	12.0732	12.1254	3481773
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-4000opt.opb	OPT	-164	12.2821	11.441	3481185
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-2000opt.opb	OPT	-167	12.3011	11.1927	3481193
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-4.opb	OPT	100	12.4571	12.6798	3482021
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-max1024.r.opb	OPT	245	12.5551	12.6028	3481739
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-2.opb	OPT	200	13.9289	13.9428	3482029
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-10000opt.opb	OPT	-164	13.9659	12.3109	3481186
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-3000opt.opb	OPT	-187	14.2938	13.508	3481190
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32c1.opb	OPT	167	14.7138	14.7288	3482044
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir09_area_opers.opb	OPT	34	15.7216	15.7552	3481692
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-2.opb	OPT	100	15.9656	16.1904	3481992
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos8.opb	OPT	-3719	16.0966	51.1213	3481943
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.opb	OPT	100	16.2835	16.6155	3482042
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-net12.opb	OPT	214	16.5025	35.0173	3481957
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-alu4.b.opb	OPT	50	17.5473	17.5396	3481870
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-duke2.b.opb	OPT	70	17.6383	17.7047	3481729
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-3.opb	OPT	100	17.7803	17.7786	3482013
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir06_area_opers.opb	OPT	23	17.8783	17.8918	3481689
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb	OPT	200	18.7072	18.7673	3482022
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-max1024.pi.opb	OPT	259	19.3401	19.886	3481866
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-10teams.opb	OPT	904	19.498	32.6849	3481845
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-1.opb	OPT	200	19.981	20.1823	3482012
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_003_area_delay.opb	OPT	26	20.3599	20.4028	3481640
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-7000opt.opb	OPT	-172	21.1218	19.9686	3481192
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-apex7.b.opb	OPT	37	21.2788	21.4193	3481761
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_004_area_delay.opb	OPT	27	21.6037	21.6207	3481625
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir06_area_delay.opb	OPT	15	23.6434	23.6212	3481661
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e5.opb	OPT	503	24.4743	23.2788	3481832
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_016_area_delay.opb	OPT	25	25.3092	25.2945	3481636
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e3.opb	OPT	310	25.4341	25.419	3482040
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb	OPT	200	26.08	26.0388	3482060
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-pdc.r.opb	OPT	94	26.373	26.7127	3481764
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-rot.b.opb	OPT	115	26.484	26.5531	3481872
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_022_area_delay.opb	OPT	26	26.9049	27.0401	3481649
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb	OPT	200	27.4508	27.418	3482036
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_011_area_delay.opb	OPT	26	27.6038	27.6961	3481628
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir07_area_opers.opb	OPT	32	28.2397	28.5508	3481690
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b1.opb	OPT	191	29.8915	29.9631	3482050
/OPT-SMALLINT-LIN/oliveras/ j60opt/normalized-j605_7.std.opb	OPT	75	29.9015	29.8997	3482268
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_027_area_delay.opb	OPT	25	30.3734	30.318	3481643
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_008_area_delay.opb	OPT	25	30.3954	30.3335	3481641
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_9.opb	OPT	44	32.686	32.646	3481932
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_024_area_delay.opb	OPT	24	33.3929	33.3552	3481638
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e1.opb	OPT	162	33.7319	33.6383	3482011
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir07_area_delay.opb	OPT	16	34.5797	34.8467	3481659
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_014_area_delay.opb	OPT	27	36.6344	36.6186	3481650
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_021_area_delay.opb	OPT	24	37.0624	37.1437	3481626
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_017_area_delay.opb	OPT	25	39.0811	39.2413	3481629
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_028_area_delay.opb	OPT	23	39.8339	39.9187	3481623
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8a2.opb	OPT	139	42.4545	42.6297	3481873
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.07.opb	OPT	37	44.0613	44.4657	3481929
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.02.opb	OPT	44	45.948	46.1032	3481816
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-3.opb	OPT	200	47.3168	47.6503	3481990
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb	OPT	200	47.38	47.3179	3482039
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b2.opb	OPT	244	47.8647	47.7357	3482068
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-1.opb	OPT	200	48.2257	48.116	3482052
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb	OPT	200	48.3706	47.9918	3482064
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb	OPT	200	48.7386	48.3496	3481994
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.14.opb	OPT	42	48.8766	49.0199	3481817
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos18.opb	OPT	16	50.9814	84.6336	3481941
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-3-c.opb	OPT	334	51.2172	50.7359	3482016
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-1-c.opb	OPT	317	51.3892	50.8509	3482055
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-2-c.opb	OPT	349	51.4272	50.9507	3482065
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-5-c.opb	OPT	341	51.4422	51.093	3482069
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-4-c.opb	OPT	324	51.4642	51.006	3481989
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-4.opb	OPT	1015	51.5062	50.8833	3482001
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.12.opb	OPT	41	51.7891	51.9491	3481779
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb	OPT	200	51.8111	51.5217	3482032
/OPT-SMALLINT-LIN/heinz/ normalized-neos-506428.opb	OPT	1	51.9271	51.1974	3482301
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-5.opb	OPT	1015	52	51.3732	3482015
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-4.opb	OPT	200	52.0171	51.6877	3482006
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb	OPT	200	52.1941	52.1119	3481998
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-3.opb	OPT	1015	52.2831	51.5488	3482014
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-hanoi4.opb	OPT	718	52.403	51.5697	3482061
/OPT-SMALLINT-LIN/heinz/ normalized-pb-simp-nonunif.opb	OPT	42	52.618	52.598	3482308
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-2.opb	OPT	1015	53.5139	52.913	3482056
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-1.opb	OPT	1015	55.5895	54.6386	3482067
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir09_area_partials.opb	OPT	35	58.934	57.2182	3481681
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32c3.opb	OPT	261	60.0529	58.6286	3481999
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein45.opb	OPT	30	66.4959	98.3724	3481954
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.08.opb	OPT	34	69.7834	68.6214	3481740
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-rd84.b.opb	OPT	5	93.8917	91.6924	3482089
/OPT-SMALLINT-LIN/heinz/ normalized-acc-tight6.opb	OPT	0	95.8124	94.8578	3482293
/OPT-SMALLINT-LIN/flexray/ normalized-fx92.opb	OPT	9	97.1322	96.7535	3481203
/OPT-SMALLINT-LIN/heinz/ normalized-acc-tight4.opb	OPT	0	99.9178	99.0821	3482292
/OPT-SMALLINT-LIN/flexray/ normalized-fx84.opb	OPT	8	102.269	101.859	3481207
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_015_area_delay.opb	OPT	25	112.896	111.142	3481632
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos10.opb	OPT	-1135	121.212	156.347	3481942
/OPT-SMALLINT-LIN/heinz/ normalized-neos-547911.opb	OPT	13	153.251	152.903	3482302
/OPT-SMALLINT-LIN/heinz/ normalized-macrophage.opb	OPT	374	153.621	156.671	3482300
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_029_area_delay.opb	OPT	24	154.992	153	3481637
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_013_area_delay.opb	OPT	22	171.865	170.01	3481627
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-8000opt.opb	OPT	-162	187.213	184.844	3481184
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-apex6.b.opb	OPT	136	252.239	251.485	3481738
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-bw.b.opb	OPT	24	302.01	299.511	3481777
/OPT-SMALLINT-LIN/flexray/ normalized-fx60.opb	OPT	6	493.699	489.779	3481204

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12060_5.std.opb	? (TO)	1800.02	1788.86	3482244
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir08_area_opers.opb	? (TO)	1800.02	1791.74	3481691
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12047_2.std.opb	? (TO)	1800.02	1789.77	3482235
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12019_2.std.opb	? (TO)	1800.02	1789.06	3482216
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12037_10.std.opb	? (TO)	1800.02	1789.56	3482230
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_4.opb	? (TO)	1800.04	1790.88	3481664
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex1010.pi.opb	? (TO)	1800.04	1791.36	3481780
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12052_10.std.opb	? (TO)	1800.04	1791.77	3482239
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12058_7.std.opb	? (TO)	1800.07	1790.06	3482243
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb	? (TO)	1800.07	1810.06	3481820
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12048_10.std.opb	? (TO)	1800.07	1788.97	3482236
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12040_1.std.opb	? (TO)	1800.07	1790.16	3482232
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12019_5.std.opb	? (TO)	1800.08	1790.16	3482217
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12048_7.std.opb	? (TO)	1800.09	1789.09	3482237
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12053_3.std.opb	? (TO)	1800.09	1790.78	3482241
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12049_10.std.opb	? (TO)	1800.1	1789.78	3482238
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12057_1.std.opb	? (TO)	1800.11	1788.86	3482242
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-saucier.r.opb	? (TO)	1800.11	1789.16	3481899

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-8_16.opb	Wrong Cert.	0.506922	0.795632	3481617
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb	Wrong Cert.	0.667898	33.1523	3481953
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-fout.r.opb	Wrong Cert.	0.676896	0.758778	3482114
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb	Wrong Cert.	0.751884	0.827238	3481974
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.5:100.opb	Wrong Cert.	0.808876	0.965258	3482073
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_10_30.r.opb	Wrong Cert.	1.28	1.48279	3482097
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod010.opb	Wrong Cert.	1.9487	37.269	3481945
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-prom2.pi.opb	Wrong Cert.	1.9757	2.07298	3481979
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8b1.opb	Wrong Cert.	4.86026	4.91975	3482031
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa7552-038.opb	Wrong Cert.	9.8495	9.96872	3481848
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_002_area_delay.opb	Wrong Cert.	10.9463	11.0545	3481647
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb	Wrong Cert.	18.4942	18.6918	3482057
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-ex5.pi.opb	Wrong Cert.	18.9771	19.0057	3481977
/OPT-SMALLINT-LIN/flexray/ normalized-fx57.opb	Wrong Cert.	62.2845	62.1511	3481209
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_019_area_delay.opb	Wrong Cert.	140.289	138.513	3481635
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-des.a.opb	Wrong Cert.	291.295	288.531	3481892

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-manna81.opb	Wrong Opt.	-13157	120.573	149.61	3481843
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb	Wrong Opt.	6252	773.938	771.31	3481785
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb	Wrong Opt.	6227	918.539	915.481	3481790
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb	Wrong Opt.	5798	940.224	936.569	3481788
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb	Wrong Opt.	5956	964.083	960.02	3481797
/OPT-SMALLINT-LIN/heinz/ normalized-wnq-n100-mw99-14.opb	Wrong Opt.	6123	964.265	960.896	3482315
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb	Wrong Opt.	6278	973.012	969.553	3481789
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb	Wrong Opt.	5632	994.235	990.943	3481787
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb	Wrong Opt.	6228	1041.52	1037.31	3481793
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb	Wrong Opt.	5821	1059.3	1054.82	3481792
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb	Wrong Opt.	6144	1083.29	1078.52	3481799
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb	Wrong Opt.	6726	1094.39	1089.8	3481795
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb	Wrong Opt.	6046	1108.89	1103.77	3481786
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb	Wrong Opt.	6378	1111.6	1106.22	3481798
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb	Wrong Opt.	5670	1145.39	1139.54	3481796
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb	Wrong Opt.	5784	1250.73	1245.32	3481794
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb	Wrong Opt.	5624	1418.3	1413.23	3481791

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-1.opb	Wrong UNSAT		7.64984	7.77954	3482054
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb	Wrong UNSAT		7.8578	7.98783	3482045

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_1.opb	? (MO)	102.79	98.8736	3481449
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_2.opb	? (MO)	103.32	99.4775	3481483
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_4.opb	? (MO)	103.49	99.3689	3481441
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_3.opb	? (MO)	103.68	101.012	3481482
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_5.opb	? (MO)	107.52	103.978	3481462
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_2.opb	? (MO)	141.81	139.484	3481581
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_1.opb	? (MO)	143.2	140.776	3481572
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_4.opb	? (MO)	144.33	142.976	3481546
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_1.opb	? (MO)	144.96	142.88	3481616
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_5.opb	? (MO)	145.09	142.979	3481598
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_5.opb	? (MO)	145.13	143.674	3481599
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_4.opb	? (MO)	145.78	142.879	3481573
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_5.opb	? (MO)	146.01	144.077	3481586
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_3.opb	? (MO)	146.01	143.978	3481520
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_3.opb	? (MO)	146.26	143.483	3481600
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_1.opb	? (MO)	146.39	142.983	3481583
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_1.opb	? (MO)	146.47	144.782	3481461
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_5.opb	? (MO)	146.47	144.077	3481570
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_2.opb	? (MO)	146.7	144.078	3481553
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_2.opb	? (MO)	146.81	144.086	3481604
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_4.opb	? (MO)	146.95	145.175	3481607
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_3.opb	? (MO)	147	144.178	3481612
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_3.opb	? (MO)	147.4	144.188	3481491
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_2.opb	? (MO)	147.45	144.275	3481478
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_4.opb	? (MO)	147.45	144.678	3481465
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_5.opb	? (MO)	147.45	145.978	3481544
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_4.opb	? (MO)	147.68	145.473	3481597
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_1.opb	? (MO)	147.88	145.277	3481541
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_3.opb	? (MO)	148.45	146.288	3481566
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_5.opb	? (MO)	148.74	145.182	3481527
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_4.opb	? (MO)	148.92	146.084	3481497
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_2.opb	? (MO)	149.16	146.289	3481585
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_5.opb	? (MO)	149.22	146.285	3481565
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_2.opb	? (MO)	149.3	147.08	3481574
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_2.opb	? (MO)	149.3	147.479	3481571
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_3.opb	? (MO)	149.66	146.377	3481564
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_1.opb	? (MO)	149.69	147.38	3481576
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_5.opb	? (MO)	149.73	146.974	3481481
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_4.opb	? (MO)	150.04	146.181	3481592
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_1.opb	? (MO)	150.09	146.281	3481540
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_2.opb	? (MO)	150.45	148.582	3481518
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_1.opb	? (MO)	150.98	149.589	3481584
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_3.opb	? (MO)	151.5	149.184	3481578
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_5.opb	? (MO)	151.91	148.684	3481538
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_4.opb	? (MO)	152.59	150.786	3481615
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_3.opb	? (MO)	155	152.683	3481506
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_2.opb	? (MO)	155.49	152.889	3481530
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_1.opb	? (MO)	155.54	152.584	3481509
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_3.opb	? (MO)	158.48	155.08	3481545
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_4.opb	? (MO)	159.07	155.975	3481522
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_1.opb	? (MO)	193.89	191.488	3481485
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_4.opb	? (MO)	195.18	191.783	3481451
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_1.opb	? (MO)	196.84	193.788	3481456
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_4.opb	? (MO)	197.69	195.886	3481438
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_3.opb	? (MO)	200.18	198.084	3481490
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_5.opb	? (MO)	201.61	197.985	3481494
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_2.opb	? (MO)	201.7	198.387	3481464
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_15_errors.opb	? (MO)	204.17	200.186	3482144
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_5.opb	? (MO)	238.36	236.485	3481455
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_2.opb	? (MO)	241.83	239.791	3481484
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_1.opb	? (MO)	244.55	239.695	3481609
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_1.opb	? (MO)	244.58	242.381	3481440
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_4.opb	? (MO)	245.24	242.782	3481479
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_5.opb	? (MO)	245.37	240.605	3481569
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_4.opb	? (MO)	245.88	241.989	3481562
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_3.opb	? (MO)	247.66	242.988	3481558
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_3.opb	? (MO)	248.8	245.981	3481477
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_2.opb	? (MO)	249.84	246.28	3481563
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_1.opb	? (MO)	284.2	281.187	3481591
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_2.opb	? (MO)	288.87	285.981	3481589
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_3.opb	? (MO)	290.44	287.492	3481580
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_5.opb	? (MO)	291.58	288.175	3481601
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_4.opb	? (MO)	295.24	291.48	3481567
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_2.opb	? (MO)	332.87	329.984	3481595
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_3.opb	? (MO)	334.9	332.396	3481579
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_1.opb	? (MO)	336.1	333.286	3481560
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_3.opb	? (MO)	336.33	331.593	3481442
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_5.opb	? (MO)	336.69	332.284	3481466
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_1.opb	? (MO)	337.05	332.897	3481443
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_4.opb	? (MO)	337.59	334.4	3481610
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_5.opb	? (MO)	340.78	337.695	3481594
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_4.opb	? (MO)	341.39	336.491	3481459
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_2.opb	? (MO)	342.79	338.796	3481448
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_5.opb	? (MO)	378.57	372.997	3481493
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_2.opb	? (MO)	381.54	377.29	3481473
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_25_3.opb	? (MO)	381.77	378.404	3481608
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_1.opb	? (MO)	382.29	378.393	3481445
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_25_5.opb	? (MO)	382.59	378.889	3481590
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_25_3.opb	? (MO)	383.45	379.023	3481582
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_25_5.opb	? (MO)	383.63	379.491	3481596
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_25_4.opb	? (MO)	384.03	379.494	3481605
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_25_1.opb	? (MO)	384.47	380.591	3481588
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_3.opb	? (MO)	385.1	381.305	3481446
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_25_1.opb	? (MO)	385.16	380.597	3481557
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_4.opb	? (MO)	386.03	380.897	3481486
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_25_4.opb	? (MO)	386.5	382.092	3481561
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_25_2.opb	? (MO)	386.83	382.093	3481568
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_25_2.opb	? (MO)	388.47	383.898	3481602
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_4.opb	? (MO)	612.27	607.216	3481437
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_1.opb	? (MO)	618.18	612.685	3481453
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_3.opb	? (MO)	618.48	612.322	3481457
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_5.opb	? (MO)	620.76	614.886	3481454
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_2.opb	? (MO)	623.39	617.13	3481469
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_1.opb	? (MO)	701.35	694.293	3481504
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_60_1.opb	? (MO)	701.72	696.196	3481577
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_4.opb	? (MO)	703.54	698.497	3481547
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_60_3.opb	? (MO)	704.46	697.498	3481559
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_4.opb	? (MO)	704.82	698.295	3481510
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_3.opb	? (MO)	705.79	699.016	3481503
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_2.opb	? (MO)	706.06	699.594	3481542
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_60_5.opb	? (MO)	706.21	699.598	3481575
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_5.opb	? (MO)	707.35	699.795	3481529
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_3.opb	? (MO)	708.95	701.794	3481532
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_1.opb	? (MO)	709.13	701.594	3481526
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_60_2.opb	? (MO)	709.31	703.028	3481593
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_60_4.opb	? (MO)	710.5	703.808	3481606
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_2.opb	? (MO)	711.5	704.695	3481505
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_5.opb	? (MO)	711.61	705.213	3481555
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_4.opb	? (MO)	758.08	750.201	3481550
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_3.opb	? (MO)	773.39	767.1	3481548
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_5.opb	? (MO)	773.42	766.495	3481515
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_1.opb	? (MO)	773.54	766.795	3481524
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_2.opb	? (MO)	776.68	770.001	3481552
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_2.opb	? (MO)	1352.33	1342	3481512
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_4.opb	? (MO)	1358.76	1348.44	3481535
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_5.opb	? (MO)	1363.3	1352.9	3481554
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_3.opb	? (MO)	1363.66	1354	3481517
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_1.opb	? (MO)	1368.33	1359.89	3481521

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

Result page for solver borg pb-opt-11.04.03 (complete)

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

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

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

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

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

Solver gave a wrong solution (16 runs) [Show/Hide]

Solver found a wrong optimum (17 runs) [Show/Hide]

Solver wrongly proved unsatitisfiability (2 runs) [Show/Hide]

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

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

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

Solver gave a wrong solution (7 runs) [Show/Hide]