PB'12 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.001998	0.00666709	3703456
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1125.cudf.paranoid.opb	UNSAT	0.002998	0.00631793	3703903
/OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/ datasets/caixa/normalized-1021.cudf.trendy.opb	UNSAT	0.002998	0.00653695	3703930
/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-995.cudf.paranoid.opb	UNSAT	0.003998	0.00617502	3703906
/OPT-SMALLINT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-995.cudf.trendy.opb	UNSAT	0.004998	0.00618192	3703933
/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-658.cudf.paranoid.opb	UNSAT	0.005998	0.00763708	3703904
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1034.cudf.paranoid.opb	UNSAT	0.014997	0.017125	3703900
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randc5b1f2.cudf.paranoid.opb	UNSAT	0.067989	0.0692169	3703925
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand199fd6.cudf.paranoid.opb	UNSAT	0.079987	0.0822371	3703908
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randaef248.cudf.paranoid.opb	UNSAT	0.079987	0.0810891	3703915
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand65d021.cudf.paranoid.opb	UNSAT	0.112982	0.089307	3703912
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randa491d5.cudf.paranoid.opb	UNSAT	0.120981	0.0961459	3703913
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randf7d077.cudf.paranoid.opb	UNSAT	0.138977	0.104038	3703916
/OPT-SMALLINT-LIN/heinz/ normalized-ns1745726.opb	UNSAT	17.0444	8.55612	3704017
/OPT-SMALLINT-LIN/heinz/ normalized-neos-785912.opb	UNSAT	91.3321	45.6831	3704012
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_2.opb	UNSAT	604.61	303.033	3703735
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_4.opb	UNSAT	970.225	485.834	3703737

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-C17.opb	OPT	260	0.000999	0.00675598	3703547
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-7_14.opb	OPT	5148	0.000999	0.0135249	3703869
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g4x4.opb	OPT	4	0.000999	0.0064341	3703567
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g2x2.opb	OPT	2	0.000999	0.00653692	3703566
/OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/ datasets/caixa/normalized-1078.cudf.trendy.opb	OPT	4	0.000999	0.00642808	3703931
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1078.cudf.paranoid.opb	OPT	4	0.000999	0.00623711	3703901
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir01_area_delay.opb	OPT	5	0.001998	0.00623988	3703794
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb	OPT	62027	0.001998	0.00813411	3703462
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_4.opb	OPT	6	0.001998	0.00658498	3703673
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g7x7.opb	OPT	12	0.001998	0.00657989	3703568
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein15.opb	OPT	9	0.001998	0.00650998	3703465
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-5_10.opb	OPT	3951	0.001998	0.00762288	3703867
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein9.opb	OPT	5	0.001998	0.00645297	3703468
/OPT-SMALLINT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-787.cudf.trendy.opb	OPT	14	0.001998	0.00645794	3703932
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir01_area_opers.opb	OPT	10	0.001998	0.00655797	3703804
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=409-Q=499.opb	OPT	409	0.001998	0.014529	3703782
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_4.opb	OPT	6	0.001999	0.00630688	3703690
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-b1.opb	OPT	128	0.001999	0.00635909	3703549
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=83-Q=449.opb	OPT	83	0.001999	0.014832	3703791
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g9x3.opb	OPT	7	0.001999	0.00636189	3703569
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir04_area_partials.opb	OPT	30	0.001999	0.00622004	3703816
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir02_area_partials.opb	OPT	19	0.001999	0.00626491	3703814
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-1_6-yes1-1.opb	OPT	50	0.001999	0.00627495	3703509
normalized-PB07/OPT-SMALLINT-LIN/ submittedPB07/aksoy/trarea_ac/normalized-fir01_trarea_ac.opb	OPT	13949	0.001999	0.0117009	3703833
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_5.opb	OPT	11	0.002998	0.0073429	3703674
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb	OPT	100	0.002998	0.00973594	3703501
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb	OPT	100	0.002998	0.00939795	3703502
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb	OPT	36	0.002998	0.0143119	3703531
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb	OPT	34	0.002998	0.014992	3703535
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=7-Q=31.opb	OPT	1	0.002998	0.00655108	3703789
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir07_area_partials.opb	OPT	33	0.002998	0.00658989	3703819
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-opus.r.opb	OPT	5	0.002998	0.00668401	3703728
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_70_70.r.opb	OPT	2	0.002999	0.0126009	3703724
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_5.opb	OPT	11	0.002999	0.00851394	3703691
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb	OPT	100	0.003998	0.0104121	3703503
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_40_40.r.opb	OPT	2	0.003998	0.00678092	3703721
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb	OPT	36	0.003998	0.0154081	3703534
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh12.opb	OPT	94	0.003998	0.0139129	3703519
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-1-c.opb	OPT	64	0.003998	0.00746103	3703529
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_90_90.r.opb	OPT	2	0.003998	0.00912995	3703725
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb	OPT	100	0.003998	0.0119939	3703504
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/ datasets/caixa/normalized-1094.cudf.paranoid.opb	OPT	126	0.005998	0.0119149	3703902
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir02_area_delay.opb	OPT	8	0.006998	0.01751	3703795
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir05_area_partials.opb	OPT	36	0.006998	0.011142	3703817
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir03_area_partials.opb	OPT	18	0.014997	0.0254421	3703815
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=197-Q=479.opb	OPT	197	0.040992	0.019949	3703770
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=487.opb	OPT	47	0.041992	0.0189011	3703784
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=59-Q=419.opb	OPT	59	0.041992	0.0181509	3703786
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=257-Q=331.opb	OPT	257	0.041992	0.0149029	3703776
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb	OPT	200	0.042992	0.016795	3703505
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-6_12.opb	OPT	5867	0.042992	0.015417	3703868
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-maincont.r.opb	OPT	7	0.042992	0.017632	3703726
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=23-Q=293.opb	OPT	23	0.042992	0.0171309	3703773
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb	OPT	36	0.042992	0.0154429	3703533
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb	OPT	36	0.043992	0.0161999	3703532
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh17.opb	OPT	95	0.044992	0.0249371	3703520
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh301.opb	OPT	95	0.044992	0.01803	3703522
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir06_area_partials.opb	OPT	24	0.046992	0.0197081	3703818
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb	OPT	200	0.046992	0.022787	3703508
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=61-Q=163.opb	OPT	61	0.061989	0.0305959	3703787
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=317.opb	OPT	89	0.061989	0.0241069	3703793
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=269-Q=431.opb	OPT	269	0.061989	0.0304599	3703777
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=101-Q=379.opb	OPT	101	0.061989	0.025941	3703764
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=307.opb	OPT	223	0.061989	0.0301369	3703771
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=251-Q=307.opb	OPT	251	0.061989	0.028431	3703775
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=307-Q=347.opb	OPT	307	0.061989	0.033042	3703779
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=167-Q=347.opb	OPT	167	0.061989	0.031578	3703769
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_30_30.r.opb	OPT	3	0.062989	0.0297769	3703720
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_6.opb	OPT	17	0.063989	0.0280659	3703675
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb	OPT	200	0.063989	0.0269811	3703506
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-mux.opb	OPT	872	0.064989	0.0322719	3703554
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb	OPT	200	0.065989	0.0429709	3703507
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-2.opb	OPT	350	0.065989	0.035253	3703530
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb	OPT	36	0.065989	0.0291219	3703544
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir02_area_opers.opb	OPT	18	0.070988	0.036824	3703805
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=79-Q=257.opb	OPT	79	0.072988	0.036218	3703790
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=197.opb	OPT	47	0.081986	0.0369131	3703783
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=347.opb	OPT	331	0.081986	0.0439151	3703780
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=347.opb	OPT	223	0.082986	0.0441811	3703772
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_6.opb	OPT	17	0.085986	0.0390551	3703692
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-sao2.b.opb	OPT	25	0.089985	0.0427669	3703499
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=113-Q=233.opb	OPT	113	0.101983	0.0489599	3703766
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=347-Q=379.opb	OPT	347	0.101983	0.0449449	3703781
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-8_16.opb	OPT	5852	0.102983	0.053974	3703870
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir04_area_opers.opb	OPT	29	0.109982	0.0537029	3703807
/OPT-SMALLINT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-990.cudf.paranoid.opb	OPT	273	0.113982	0.057481	3703905
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex6inp.r.opb	OPT	4	0.12298	0.061425	3703710
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cmb.opb	OPT	1053	0.12398	0.0643041	3703553
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb	OPT	66	0.126979	0.0646039	3703542
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb	OPT	60	0.126979	0.0644989	3703540
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb	OPT	62	0.12698	0.0892381	3703539
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb	OPT	64	0.127979	0.0689311	3703543
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb	OPT	64	0.127979	0.0640369	3703538
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb	OPT	62	0.127979	0.0636201	3703537
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-5pb.opb	OPT	60	0.127979	0.0656709	3703541
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir04_area_delay.opb	OPT	12	0.12798	0.060021	3703797
/OPT-SMALLINT-LIN/heinz/ normalized-neos18.opb	OPT	16	0.132979	0.0760369	3704015
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-10_20.opb	OPT	8034	0.141977	0.0715509	3703865
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir03_area_delay.opb	OPT	10	0.168973	0.101513	3703796
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/routing/normalized-s4-4-3-10pb.opb	OPT	70	0.168973	0.0865331	3703536
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ4_3.opb	OPT	20	0.182971	0.0871551	3703557
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh1.opb	OPT	92	0.18597	0.093357	3703518
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data4_3.opb	OPT	8276	0.222965	0.113287	3703561
/OPT-SMALLINT-LIN/heinz/ normalized-acc-tight6.opb	OPT	0	0.25696	0.131842	3703994
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-11_22.opb	OPT	8908	0.291954	0.145201	3703866
/OPT-SMALLINT-LIN/oliveras/ j30opt/normalized-j301_8.std.opb	OPT	53	0.395939	0.278202	3703935
/OPT-SMALLINT-LIN/oliveras/ j30opt/normalized-j308_4.std.opb	OPT	48	0.405937	0.290363	3703947
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3020_9.std.opb	OPT	41	0.412936	0.290866	3703936
/OPT-SMALLINT-LIN/oliveras/ j30opt/normalized-j307_6.std.opb	OPT	35	0.416936	0.294263	3703946
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3040_5.std.opb	OPT	65	0.423935	0.303107	3703941
/OPT-SMALLINT-LIN/flexray/ normalized-fx57.opb	OPT	6	0.430934	0.229627	3703893
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3039_1.std.opb	OPT	55	0.439932	0.313354	3703940
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3044_1.std.opb	OPT	50	0.449931	0.323213	3703942
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_009_area_delay.opb	OPT	24	0.45193	0.251435	3703843
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3047_1.std.opb	OPT	58	0.45793	0.333854	3703944
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_7.opb	OPT	25	0.488925	0.242418	3703676
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3010_3.std.opb	OPT	62	0.494924	0.337147	3703934
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3046_5.std.opb	OPT	57	0.527919	0.439141	3703943
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir05_area_opers.opb	OPT	35	0.557914	0.294277	3703808
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-9sym.b.opb	OPT	5	0.575911	0.28842	3703485
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-9pb.opb	OPT	68	0.579911	0.294541	3703545
/OPT-SMALLINT-LIN/flexray/ normalized-fx84.opb	OPT	8	0.58291	0.323007	3703897
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_006_area_delay.opb	OPT	22	0.620904	0.322168	3703840
/OPT-SMALLINT-LIN/ heinz/normalized-bnatt350.opb	OPT	0	0.640902	0.326175	3703995
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir03_area_opers.opb	OPT	17	0.641902	0.346308	3703806
/OPT-SMALLINT-LIN/oliveras/ j60opt/normalized-j606_1.std.opb	OPT	60	0.78488	0.567507	3703962
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb	OPT	25	0.807876	0.404858	3703693
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_70_70.r.opb	OPT	3	0.825873	0.40971	3703717
/OPT-SMALLINT-LIN/oliveras/ j60opt/normalized-j602_4.std.opb	OPT	78	0.825874	0.578926	3703956
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6012_9.std.opb	OPT	59	0.830872	0.599541	3703949
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6019_2.std.opb	OPT	83	0.837871	0.59284	3703951
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb	OPT	34	0.841871	0.424945	3703454
/OPT-SMALLINT-LIN/oliveras/ j60opt/normalized-j603_6.std.opb	OPT	57	0.846871	0.591388	3703958
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6027_6.std.opb	OPT	64	0.856869	0.61679	3703954
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh217.opb	OPT	89	0.925859	0.465662	3703521
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6043_1.std.opb	OPT	108	0.930858	0.669879	3703960
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein27.opb	OPT	18	0.941856	0.465965	3703466
normalized-PB07/OPT-SMALLINT-LIN/ submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb	OPT	24890	0.953854	0.476522	3703834
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6031_6.std.opb	OPT	72	0.961853	0.692005	3703957
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6044_1.std.opb	OPT	84	0.962853	0.682428	3703961
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir05_area_delay.opb	OPT	14	0.988848	0.511033	3703798
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir06_area_delay.opb	OPT	15	1.02484	0.534321	3703799
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9019_6.std.opb	OPT	136	1.09883	0.810849	3703967
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9036_4.std.opb	OPT	79	1.25681	0.916276	3703971
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9022_8.std.opb	OPT	97	1.25881	0.931057	3703968
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9010_6.std.opb	OPT	92	1.26981	0.939249	3703964
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9038_7.std.opb	OPT	85	1.3068	0.96352	3703972
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_027_area_delay.opb	OPT	25	1.3328	0.706325	3703861
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9027_6.std.opb	OPT	87	1.3378	0.985972	3703969
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9016_1.std.opb	OPT	85	1.3438	0.997103	3703966
/OPT-SMALLINT-LIN/oliveras/ j60opt/normalized-j603_9.std.opb	OPT	67	1.34579	0.837517	3703959
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6026_2.std.opb	OPT	66	1.34979	0.870547	3703953
/OPT-SMALLINT-LIN/ heinz/normalized-bnatt400.opb	OPT	1	1.36379	0.699477	3703996
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_020_area_delay.opb	OPT	23	1.37779	0.709538	3703854
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3021_10.std.opb	OPT	69	1.41279	0.795935	3703937
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j1205_7.std.opb	OPT	84	1.46078	1.06856	3703990
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir09_area_partials.opb	OPT	35	1.51777	0.787866	3703821
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos8.opb	OPT	-3719	1.54576	0.927035	3703483
/OPT-SMALLINT-LIN/oliveras/j90opt/ normalized-j9033_3.std.opb	OPT	108	1.69374	1.29563	3703970
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g9x9.opb	OPT	20	1.70174	0.844817	3703570
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-1-c.opb	OPT	317	1.70574	0.860282	3703523
/OPT-SMALLINT-LIN/flexray/ normalized-fx92.opb	OPT	9	1.71874	0.894877	3703898
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j1204_10.std.opb	OPT	77	1.73373	1.22041	3703986
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12020_7.std.opb	OPT	81	1.76573	1.29206	3703977
/OPT-SMALLINT-LIN/heinz/ normalized-ex9.opb	OPT	81	1.78273	1.1054	3703999
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12044_1.std.opb	OPT	100	1.78773	1.28022	3703983
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randa2004a.cudf.paranoid.opb	OPT	1859	1.81372	0.941549	3703923
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-5.opb	OPT	1015	1.87571	0.956619	3703525
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3037_10.std.opb	OPT	81	1.89371	1.04043	3703939
/OPT-SMALLINT-LIN/flexray/ normalized-fx60.opb	OPT	6	1.91371	0.969396	3703894
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12015_5.std.opb	OPT	87	1.92771	1.63729	3703975
/OPT-SMALLINT-LIN/oliveras/ j30opt/normalized-j305_3.std.opb	OPT	76	1.9607	1.06967	3703945
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12055_4.std.opb	OPT	90	2.08568	1.48379	3703989
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randfd04d4.cudf.paranoid.opb	OPT	3511	2.10368	1.09626	3703929
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randd7b2b4.cudf.paranoid.opb	OPT	4750	2.12868	1.09446	3703928
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12060_6.std.opb	OPT	110	2.20966	1.57346	3703991
/OPT-SMALLINT-LIN/oliveras/ j30opt/normalized-j309_7.std.opb	OPT	63	2.37664	1.28071	3703948
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.01-3.opb	OPT	6	2.47562	1.82566	3703436
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12044_8.std.opb	OPT	108	2.47762	1.62504	3703984
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos10.opb	OPT	-1135	2.48562	1.36844	3703479
/OPT-SMALLINT-LIN/oliveras/j30opt/ normalized-j3029_1.std.opb	OPT	85	2.51562	1.35998	3703938
OPT-SMALLINT-LIN/graca/ normalized-ped3.D.recomb10-0.20-12.opb	OPT	349	2.58861	1.69281	3703450
OPT-SMALLINT-LIN/graca/ normalized-ped3.D.recomb10-0.20-14.opb	OPT	7	2.67459	1.72175	3703452
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j1204_1.std.opb	OPT	74	2.72258	1.73	3703985
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-clip.b.opb	OPT	15	2.78058	1.39961	3703489
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand18b530.cudf.paranoid.opb	OPT	6563	3.04254	1.55764	3703918
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.01-4.opb	OPT	7	3.10253	2.12552	3703437
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.01-5.opb	OPT	7	3.21551	2.2149	3703438
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_003_area_delay.opb	OPT	26	3.22151	1.64587	3703837
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.01-1.opb	OPT	7	3.63645	2.4486	3703434
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.01-2.opb	OPT	7	3.69844	2.50051	3703435
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.10-10.opb	OPT	6	3.81242	2.63821	3703439
/OPT-SMALLINT-LIN/oliveras/j60opt/ normalized-j6021_5.std.opb	OPT	89	3.9304	2.1597	3703952
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand3c03fd.cudf.paranoid.opb	OPT	4927	4.05238	2.06208	3703920
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_028_area_delay.opb	OPT	23	4.20236	2.27803	3703862
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex4inp.r.opb	OPT	5	4.28735	2.15135	3703709
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_20_20.r.opb	OPT	5	4.30235	2.15628	3703719
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_030_area_delay.opb	OPT	25	4.45832	2.24983	3703864
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_018_area_delay.opb	OPT	25	4.52631	2.28016	3703852
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.10-6.opb	OPT	7	4.54531	3.05221	3703440
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir07_area_opers.opb	OPT	32	4.55131	2.36857	3703810
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randc7f8e5.cudf.paranoid.opb	OPT	9465	4.66829	2.3674	3703927
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.10-8.opb	OPT	589	4.70328	3.36506	3703442
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.08.opb	OPT	34	4.73528	2.92662	3703703
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand5d20db.cudf.paranoid.opb	OPT	5106	4.76627	2.41719	3703921
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.10-9.opb	OPT	7	4.77527	3.29387	3703443
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.10-7.opb	OPT	588	4.84026	3.19732	3703441
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand0a62b6.cudf.paranoid.opb	OPT	6943	4.95125	2.50899	3703917
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randc5fe62.cudf.paranoid.opb	OPT	1882	5.06823	2.57178	3703926
OPT-SMALLINT-LIN/graca/ normalized-ped3.D.recomb10-0.20-13.opb	OPT	350	5.29019	3.08234	3703451
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_008_area_delay.opb	OPT	25	5.45217	2.7488	3703842
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-randb54299.cudf.paranoid.opb	OPT	11142	5.67914	2.88576	3703924
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_021_area_delay.opb	OPT	24	5.76212	2.93215	3703855
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_004_area_delay.opb	OPT	27	5.9061	2.9827	3703838
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.20-14.opb	OPT	7	5.94909	3.81251	3703447
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_002_area_delay.opb	OPT	24	6.29704	3.17989	3703836
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ricks.r.opb	OPT	5	6.52901	3.27586	3703731
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand27da90.cudf.paranoid.opb	OPT	11364	6.66199	3.37741	3703919
/OPT-SMALLINT-LIN/heinz/ normalized-neos-1440225.opb	OPT	36	6.75497	3.39391	3704006
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.20-12.opb	OPT	7	6.90095	4.51205	3703445
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.newlist/normalized-rand71b131.cudf.paranoid.opb	OPT	5657	6.95494	3.52225	3703922
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_029_area_delay.opb	OPT	24	6.98694	3.67694	3703863
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand0c02bc.cudf.paranoid.opb	OPT	8730	7.05793	3.57405	3703907
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.20-11.opb	OPT	7	7.10792	4.6471	3703444
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand4bf850.cudf.paranoid.opb	OPT	10949	7.10892	3.5963	3703911
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.20-15.opb	OPT	7	7.16991	4.79139	3703448
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand35d0c8.cudf.paranoid.opb	OPT	5656	7.29489	3.68816	3703910
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-net12.opb	OPT	214	7.62584	4.16324	3703473
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-sentoy.opb	OPT	-7772	7.64184	3.81659	3703464
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12041_1.std.opb	OPT	127	7.82681	4.30768	3703982
OPT-SMALLINT-LIN/graca/ normalized-ped2.B.recomb1-0.20-13.opb	OPT	7	7.97379	4.9522	3703446
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_8.opb	OPT	34	8.06277	4.04667	3703677
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb	OPT	34	8.26374	4.13689	3703694
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.07.opb	OPT	37	8.5507	5.9439	3703697
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-rand2d8467.cudf.paranoid.opb	OPT	13125	8.5777	4.3431	3703909
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-4000opt.opb	OPT	-82	8.61469	4.34597	3703885
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_019_area_delay.opb	OPT	24	8.62169	4.35926	3703853
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-count.b.opb	OPT	24	8.83166	4.41793	3703490
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir06_area_opers.opb	OPT	23	8.99263	4.69723	3703809
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_024_area_delay.opb	OPT	24	9.04762	4.54525	3703858
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_015_area_delay.opb	OPT	25	9.16061	4.62778	3703849
OPT-SMALLINT-LIN/graca/ normalized-ped3.D.recomb10-0.20-11.opb	OPT	690	10.2444	5.51814	3703449
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.02.opb	OPT	44	11.2203	7.35676	3703696
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.14.opb	OPT	42	11.4833	7.70368	3703701
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-hanoi5.opb	OPT	1931	11.5822	5.81488	3703510
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_011_area_delay.opb	OPT	26	11.8352	5.99987	3703845
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.12.opb	OPT	41	12.7621	8.55819	3703700
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir10_area_partials.opb	OPT	52	13.422	6.73984	3703822
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.biglist/normalized-randa6997e.cudf.paranoid.opb	OPT	5898	14.1768	7.14952	3703914
/OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_50null50mast_rapportOE2.0_TMAX15_K67_cod2.opb	OPT	0	14.6278	7.45909	3704036
/OPT-SMALLINT-LIN/heinz/ normalized-pb-simp-nonunif.opb	OPT	42	15.4307	9.57597	3704022
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.10.opb	OPT	49	15.6586	10.3922	3703698
/OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12020_8.std.opb	OPT	107	17.4883	9.21059	3703978
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_013_area_delay.opb	OPT	22	17.53	9.0008	3703847
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-10000opt.opb	OPT	-75	17.5923	8.84203	3703881
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_023_area_delay.opb	OPT	22	18.2632	9.33181	3703857
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-3000opt.opb	OPT	-81	18.7332	9.41118	3703884
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_016_area_delay.opb	OPT	25	21.3308	10.7135	3703850
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_50_50.r.opb	OPT	4	22.3106	11.1853	3703716
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-5000opt.opb	OPT	-70	22.5166	11.3023	3703886
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-8000opt.opb	OPT	-76	23.3614	11.717	3703889
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-1000opt.opb	OPT	-78	23.6334	11.857	3703882
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-2000opt.opb	OPT	-70	23.7204	11.9015	3703883
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-jac3.opb	OPT	15	28.0617	14.0398	3703495
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_005_area_delay.opb	OPT	26	30.6193	15.4887	3703839
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_014_area_delay.opb	OPT	27	35.6526	17.8992	3703848
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir08_area_partials.opb	OPT	49	35.9305	18.2837	3703820
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_022_area_delay.opb	OPT	26	37.7633	18.9717	3703856
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-7000opt.opb	OPT	-68	37.8702	18.9796	3703888
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-rd84.b.opb	OPT	5	38.3622	19.2642	3703730
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-6000opt.opb	OPT	-74	38.7891	19.4401	3703887
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-9000opt.opb	OPT	-79	39.158	19.624	3703890
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-1000opt.opb	OPT	-178	49.6395	24.9031	3703872
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb	OPT	304	50.2294	25.1961	3703648
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.11.opb	OPT	38	60.0269	31.6944	3703699
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos1.opb	OPT	19	65.0191	32.529	3703478
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_10_10.r.opb	OPT	8	68.49	34.3038	3703723
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_025_area_delay.opb	OPT	25	72.83	36.6861	3703859
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-5000opt.opb	OPT	-169	74.6846	37.434	3703876
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-c8.opb	OPT	1194	79.8819	39.951	3703550
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e1.opb	OPT	162	85.553	42.7963	3703514
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.00.opb	OPT	34	101	51.0276	3703702
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir07_area_delay.opb	OPT	16	103.002	51.5942	3703800
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b1.opb	OPT	191	113.92	57.0376	3703512
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-2000opt.opb	OPT	-167	129.864	65.0409	3703873
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-9000opt.opb	OPT	-193	132.538	66.3939	3703880
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb	OPT	-30	136.33	68.2491	3703619
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_9.opb	OPT	44	142.669	71.3419	3703678
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-10000opt.opb	OPT	-164	148.151	74.19	3703871
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_026_area_delay.opb	OPT	28	151.6	75.8864	3703860
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb	OPT	44	165.257	82.6525	3703695
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_007_area_delay.opb	OPT	26	168.701	84.41	3703841
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-6000opt.opb	OPT	-175	171.047	85.6126	3703877
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-4000opt.opb	OPT	-164	175.162	87.6969	3703875
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_001_area_delay.opb	OPT	28	175.38	87.815	3703835
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein45.opb	OPT	30	203.024	101.544	3703467
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb	OPT	1120	203.34	101.72	3703459
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_012_area_delay.opb	OPT	27	205.187	102.708	3703846
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-3000opt.opb	OPT	-187	243.78	122.08	3703874
/OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-7000opt.opb	OPT	-172	245.58	123.002	3703878
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_10_30.r.opb	OPT	8	292.71	146.487	3703714
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-5xp1.b.opb	OPT	12	307.593	153.854	3703484
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb	OPT	-30	316.21	158.301	3703618
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir09_area_opers.opb	OPT	34	326.14	163.242	3703812
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb	OPT	-30	372.17	186.271	3703616
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_017_area_delay.opb	OPT	25	384.31	192.415	3703851
/OPT-SMALLINT-LIN/heinz/ normalized-mspp16.opb	OPT	33	407.721	217.724	3704004
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb	OPT	18	511.47	255.863	3703831
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_010_area_delay.opb	OPT	26	564.88	282.683	3703844
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb	OPT	-35	616.286	308.188	3703621
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb	OPT	-30	636.74	318.59	3703617
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_2.opb	OPT	1	702.59	351.454	3703750
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C880.b.opb	OPT	63	943.65	472.105	3703706
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_4.opb	OPT	1	1124.43	562.266	3703752
OPT-SMALLINT-LIN/graca/ normalized-ped3.D.recomb10-0.20-15.opb	OPT	689	1405.82	703.553	3703453
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-f51m.b.opb	OPT	18	1430.41	715.284	3703494
/OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_unif_50null50mast_rapportOE2.0_TMAX15_K67_cod1.opb	OPT	0	1560.36	780.518	3704060
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_10.opb	OPT	55	1716.62	858.313	3703662

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_unif_10null0mast_rapportOE2.0_TMAX15_K192_cod2.opb	? (TO)	1800.01	902.202	3704079
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_2.opb	? (TO)	1800.01	900.224	3703745
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_3.opb	? (TO)	1800.01	901.019	3703739
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_4.opb	? (TO)	1800.01	900.221	3703747
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_luby_50null50mast_rapportOE2.0_TMAX120_K192_cod2.opb	? (TO)	1800.02	901.934	3704077
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_19.opb	? (TO)	1800.02	900.514	3703688
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_19.opb	? (TO)	1800.04	900.514	3703671
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_fibo_50null50mast_rapportOE2.0_TMAX120_K192_cod2.opb	? (TO)	1800.04	902.052	3704062
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_luby_10null10mast_rapportOE2.0_TMAX180_K192_cod2.opb	? (TO)	1800.06	902.046	3704066
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_3.opb	? (TO)	1800.06	900.219	3703749
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_17.opb	? (TO)	1800.06	900.414	3703686
/OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE1.0_TMAX120_K67_cod2.opb	? (TO)	1800.07	900.42	3704035
/OPT-SMALLINT-LIN/heinz/ normalized-neos-544324.opb	? (TO)	1800.07	901.014	3704009
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_unif_50null20mast_rapportOE1.0_TMAX15_K192_cod2.opb	? (TO)	1800.08	902.151	3704088
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_unif_0null10mast_rapportOE1.0_TMAX60_K192_cod2.opb	? (TO)	1800.08	902.324	3704078
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_luby_10null10mast_rapportOE1.0_TMAX300_K192_cod2.opb	? (TO)	1800.09	902.076	3704065
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_1.opb	? (TO)	1800.09	901.32	3703734
/OPT-SMALLINT-LIN/heinz/ normalized-f2000.opb	? (TO)	1800.1	900.317	3704000
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX15_K192_cod2.opb	? (TO)	1800.11	902.22	3704085
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_luby_10null0mast_rapportOE1.0_TMAX60_K192_cod2.opb	? (TO)	1800.11	902.044	3704063
/OPT-SMALLINT-LIN/flexray/ normalized-fx75.opb	? (TO)	1800.11	900.421	3703896
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX60_K192_cod2.opb	? (TO)	1800.12	902.126	3704069
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_3.opb	? (TO)	1800.13	900.317	3703746
/OPT-SMALLINT-LIN/ heinz/normalized-datt256.opb	? (TO)	1800.13	902.169	3703997
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_unif_50null20mast_rapportOE2.0_TMAX120_K192_cod2.opb	? (TO)	1800.13	901.985	3704089
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_unif_10null20mast_rapportOE1.0_TMAX300_K192_cod2.opb	? (TO)	1800.14	902.193	3704080
/OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_luby_10null0mast_rapportOE2.0_TMAX60_K67_cod1.opb	? (TO)	1800.14	900.519	3704044
/OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_luby_0null20mast_rapportOE2.0_TMAX120_K67_cod2.opb	? (TO)	1800.15	900.422	3704040
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_6_50_3.opb	? (TO)	1800.15	900.32	3703742
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX180_K192_cod2.opb	? (TO)	1800.15	901.927	3704090
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-2.opb	? (TO)	1800.16	900.419	3703646
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-5.opb	? (TO)	1800.16	900.315	3703528
/OPT-SMALLINT-LIN/ heinz/normalized-ns894244.opb	? (TO)	1800.16	900.528	3704019
/OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_luby_20null0mast_rapportOE1.0_TMAX60_K67_cod2.opb	? (TO)	1800.16	900.413	3704048
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_6_50_1.opb	? (TO)	1800.17	900.318	3703741
/OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_20null10mast_rapportOE2.0_TMAX15_K67_cod2.opb	? (TO)	1800.17	900.665	3704034
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_fibo_50null0mast_rapportOE2.0_TMAX120_K192_cod2.opb	? (TO)	1800.17	902.173	3704061
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_unif_20null0mast_rapportOE2.0_TMAX180_K192_cod2.opb	? (TO)	1800.18	902.192	3704083
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_1.opb	? (TO)	1800.18	900.32	3703744
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-3.opb	? (TO)	1800.18	900.316	3703527
/OPT-SMALLINT-LIN/heinz/ normalized-neos-807456.opb	? (TO)	1800.19	900.315	3704013
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_18.opb	? (TO)	1800.19	900.514	3703670
/OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX60_K67_cod3.opb	? (TO)	1800.19	900.518	3704047
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-l152lav.opb	? (TO)	1800.19	900.478	3703457
/OPT-SMALLINT-LIN/ heinz/normalized-ns894788.opb	? (TO)	1800.19	900.316	3704020
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX300_K192_cod2.opb	? (TO)	1800.19	902.149	3704068
/OPT-SMALLINT-LIN/flexray/ normalized-fx49.opb	? (TO)	1800.2	900.425	3703892
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-1.opb	? (TO)	1800.2	900.316	3703526
/OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_luby_50null50mast_rapportOE2.0_TMAX120_K67_cod2.opb	? (TO)	1800.2	900.416	3704055
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_unif_20null20mast_rapportOE1.0_TMAX120_K192_cod2.opb	? (TO)	1800.2	902.082	3704084
/OPT-SMALLINT-LIN/heinz/ normalized-neos-859770.opb	? (TO)	1800.34	900.519	3704014
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_3.opb	? (TO)	1800.37	901.318	3703736
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod010.opb	? (TO)	1800.42	900.446	3703461
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_20.opb	? (TO)	1800.42	900.614	3703689
/OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_luby_10null0mast_rapportOE1.0_TMAX60_K67_cod1.opb	? (TO)	1800.42	900.516	3704043
/OPT-SMALLINT-LIN/flexray/ normalized-fx97.opb	? (TO)	1800.44	900.433	3703899
/OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_unif_10null10mast_rapportOE1.0_TMAX60_K67_cod2.opb	? (TO)	1800.45	900.442	3704056
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_luby_50null0mast_rapportOE1.0_TMAX15_K192_cod2.opb	? (TO)	1800.46	901.834	3704073
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX180_K192_cod2.opb	? (TO)	1800.47	902.027	3704071
/OPT-SMALLINT-LIN/heinz/ normalized-neos-777800.opb	? (TO)	1800.48	900.3	3704011
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_luby_10null10mast_rapportOE1.0_TMAX15_K192_cod2.opb	? (TO)	1800.48	901.946	3704064
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_6_50_4.opb	? (TO)	1800.51	900.319	3703743
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_luby_50null20mast_rapportOE2.0_TMAX60_K192_cod2.opb	? (TO)	1800.51	901.849	3704074
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_4.opb	? (TO)	1800.51	900.617	3703740
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_1.opb	? (TO)	1800.51	900.519	3703738
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_luby_50null50mast_rapportOE1.0_TMAX180_K192_cod2.opb	? (TO)	1800.52	901.92	3704075
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_20.opb	? (TO)	1800.53	900.614	3703672
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_18.opb	? (TO)	1800.54	900.513	3703687
/OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_luby_20null10mast_rapportOE1.0_TMAX60_K67_cod3.opb	? (TO)	1800.54	900.52	3704052
/OPT-SMALLINT-LIN/flexray/ normalized-fx30.opb	? (TO)	1800.54	900.322	3703891
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX300_K192_cod2.opb	? (TO)	1800.54	902	3704086
/OPT-SMALLINT-LIN/flexray/ normalized-fx63.opb	? (TO)	1800.55	900.423	3703895
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_luby_50null50mast_rapportOE1.0_TMAX300_K192_cod2.opb	? (TO)	1800.55	901.933	3704076
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null0mast_rapportOE2.0_TMAX300_K192_cod2.opb	? (TO)	1800.56	901.931	3704070
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX180_K192_cod2.opb	? (TO)	1800.56	902.165	3704067
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_2.opb	? (TO)	1800.59	900.321	3703748
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null50mast_rapportOE1.0_TMAX15_K192_cod2.opb	? (TO)	1800.59	901.932	3704072
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_unif_50null0mast_rapportOE2.0_TMAX60_K192_cod2.opb	? (TO)	1800.6	902.066	3704087
/OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_unif_10null20mast_rapportOE2.0_TMAX60_K192_cod2.opb	? (TO)	1800.62	902.116	3704081

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=11-Q=53.opb	Wrong Cert.	0.001998	0.00633706	3703765
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=83-Q=89.opb	Wrong Cert.	0.001998	0.0118519	3703792
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=53-Q=127.opb	Wrong Cert.	0.001999	0.0111201	3703785
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=167-Q=179.opb	Wrong Cert.	0.041992	0.0166271	3703768
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=23-Q=521.opb	Wrong Cert.	0.041992	0.0218571	3703774
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=521.opb	Wrong Cert.	0.041992	0.0158829	3703778
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=67-Q=191.opb	Wrong Cert.	0.051991	0.024129	3703788
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=131-Q=137.opb	Wrong Cert.	0.061989	0.030739	3703767

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

Result page for solver pwbo 2.0 (complete)

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

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

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

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

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

Solver was terminated by a signal (1 run) [Show/Hide]

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