PB'07 evaluation: 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.415936	0.378081	363533
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-bore3d.opb	UNSAT	0.901862	0.807537	362833
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa6288-047.opb	UNSAT	2.19367	2.13329	364093
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-pilot.opb	UNSAT	8.86665	8.80366	362973
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_2.opb	UNSAT	48.3656	48.2939	366783
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_4.opb	UNSAT	136.899	136.848	366811
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_1.opb	UNSAT	151.867	152.62	366797
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_3.opb	UNSAT	155.639	155.598	366769

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.428934	0.381936	373162
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-nazareth.opb	OPT	-174776	0.448931	0.377187	362749
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_4.opb	OPT	6	0.45493	0.37746	366853
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_4.opb	OPT	6	0.480926	0.494133	366125
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_5.opb	OPT	11	0.500923	0.434645	366895
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-5_10.opb	OPT	3951	0.532918	0.465796	372378
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir02_area_partials.opb	OPT	19	0.542917	0.916249	373260
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_5.opb	OPT	11	0.543916	0.481027	366097
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-testprob.opb	OPT	262130	0.593908	0.5938	362735
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-enigma.opb	OPT	0	0.612906	0.530096	363085
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-6_12.opb	OPT	5867	0.613906	0.701698	372364
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mas76.opb	OPT	1	0.630903	0.585185	363365
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mas74.opb	OPT	1	0.646901	0.589415	363337
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir05_area_partials.opb	OPT	36	0.648901	0.526963	373190
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir01_area_delay.opb	OPT	5	0.679896	0.583199	372854
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0291.opb	OPT	7985	0.694893	0.875021	363197
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_40_40.r.opb	OPT	2	0.748885	0.634679	366503
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb	OPT	34	0.750885	0.692896	363547
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb	OPT	3089	0.806877	0.738114	363561
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_6.opb	OPT	17	0.896862	0.797324	366909
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.opb	OPT	100	0.97885	0.903996	364807
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_6.opb	OPT	17	1.14182	1.05158	366083
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh12.opb	OPT	94	1.20282	1.1927	364611
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex5inp.r.opb	OPT	4	1.24881	1.21145	366741
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_70_70.r.opb	OPT	2	1.2948	1.21085	366153
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_90_90.r.opb	OPT	2	1.46278	1.36302	366657
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-bbara.r.opb	OPT	7	1.57576	1.52089	366461
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-2.opb	OPT	100	1.73274	1.73277	364107
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_90_90.r.opb	OPT	2	2.43463	2.35983	366279
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_30_30.r.opb	OPT	3	2.85457	3.13338	366349
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-opus.r.opb	OPT	5	3.10853	3.03409	366209
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir07_area_partials.opb	OPT	33	4.33734	4.65521	373218
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8a1.opb	OPT	54	5.22121	5.21835	364639
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-sentoy.opb	OPT	-7772	5.8831	5.78216	363505
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-pipex.opb	OPT	164393	6.15206	6.25173	363071
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb	OPT	62027	7.74882	7.65624	363589
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-3.opb	OPT	100	8.47371	8.39091	364401
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb	OPT	100	8.48771	8.38041	365017
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0282.opb	OPT	104028	12.0852	13.2661	363099
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex6inp.r.opb	OPT	4	13.477	13.3754	366335
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_7.opb	OPT	25	13.8219	13.735	366867
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_50_50.r.opb	OPT	3	14.5318	14.4286	366195
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ4_3.opb	OPT	20	16.4475	16.348	363645
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh212.opb	OPT	97	19.1261	19.0529	365087
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh207.opb	OPT	95	19.737	19.6897	364457
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb	OPT	25	19.749	19.7823	366111
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-7_14.opb	OPT	5148	19.915	19.8568	372420
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air01.opb	OPT	1496	22.3296	22.4306	363141
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh301.opb	OPT	95	25.1512	25.0844	364331
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data4_3.opb	OPT	8276	27.7658	27.7028	363631
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh17.opb	OPT	95	28.0447	27.9552	365101
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh7.opb	OPT	89	28.6956	28.6158	365031
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh220.opb	OPT	94	33.102	33.068	364933
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh1.opb	OPT	92	37.6073	37.5225	364261
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_70_70.r.opb	OPT	3	45.3061	45.2114	366391
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir01_area_opers.opb	OPT	10	49.5945	50.0304	373344
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh209.opb	OPT	93	50.1994	50.1196	364499
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh213.opb	OPT	92	58.5381	58.4768	364961
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-10_20.opb	OPT	8034	59.6649	59.5696	372406
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-1.opb	OPT	100	66.6299	66.5533	364163
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir06_area_partials.opb	OPT	24	97.2942	97.2071	373204
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh218.opb	OPT	90	98.0911	98.0332	365143
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_2.opb	OPT	1	99.3689	99.3302	366825
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_20_20.r.opb	OPT	5	103.241	103.213	366573
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.opb	OPT	100	121.564	121.526	364471
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh205.opb	OPT	94	131.637	131.624	364569
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-dk512x.r.opb	OPT	6	140.728	140.669	366377
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh204.opb	OPT	93	142.914	142.902	365199
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh210.opb	OPT	88	169.338	169.29	364359
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b4.opb	OPT	376	194.63	194.621	365045
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein45.opb	OPT	30	240.496	240.471	363575
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b2.opb	OPT	244	246.799	246.871	365171
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-1-c.opb	OPT	317	301.584	301.615	364989
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-4-c.opb	OPT	324	303.283	303.278	364065
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-3-c.opb	OPT	334	353.348	353.331	364443
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_30_30.r.opb	OPT	4	366.791	366.782	366671
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-2.opb	OPT	100	370.025	370.152	364037
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-5-c.opb	OPT	341	382.479	382.58	365185
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb	OPT	34	401.487	401.463	366139
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb	OPT	1120	428.835	428.838	363603
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-2-c.opb	OPT	349	440.157	440.134	365129
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_8.opb	OPT	34	533.547	533.594	366881
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-4.opb	OPT	100	650.952	651.147	364513
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_50_50.r.opb	OPT	4	679.638	679.875	366559
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir03_area_partials.opb	OPT	18	1313.97	1314.36	373274
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-rd73.b.opb	OPT	4	1617.07	1617.99	366489
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-1.opb	OPT	1015	1627.61	1627.95	365157
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_10_10.r.opb	OPT	8	1674.3	1674.8	366699
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-2.opb	OPT	1015	1674.71	1675	365003
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh217.opb	OPT	89	1686.09	1687.01	364555
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-maincont.r.opb	OPT	7	1787.39	1787.77	366321

Benchmark Name	Answer	Objective function	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g15x15.opb	SAT (TO)	72	1800.03	1800.53	353233
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-c8.opb	SAT (TO)	1570	1800.03	1800.53	363729
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-11_22.opb	SAT (TO)	9305	1800.04	1800.43	372392
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb	SAT (TO)	224	1800.04	1801.03	352141
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-f51m.b.opb	SAT (TO)	25	1800.04	1800.44	363995
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir02_area_delay.opb	SAT (TO)	8	1800.04	1800.53	372896
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb	SAT (TO)	1211	1800.04	1801.04	352518
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cm42a.opb	SAT (TO)	836	1800.05	1800.53	363701
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-exps.r.opb	SAT (TO)	97	1800.05	1800.63	366405
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb	SAT (TO)	1192	1800.05	1800.53	352648
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-mux.opb	SAT (TO)	1296	1800.05	1801.14	363673
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-5xp1.b.opb	SAT (TO)	16	1800.05	1801.03	363953
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16c2.opb	SAT (TO)	861	1800.06	1800.45	364891
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16e2.opb	SAT (TO)	520	1800.06	1801.16	364877
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-5.opb	SAT (TO)	2747	1800.06	1800.55	365311
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-test1.r.opb	SAT (TO)	148	1800.06	1800.66	366727
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir02_area_opers.opb	SAT (TO)	18	1800.06	1800.83	373414
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-seymour.opb	SAT (TO)	466	1800.06	1800.64	351998
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb	SAT (TO)	218	1800.06	1800.93	352232
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e2.opb	SAT (TO)	248	1800.06	1800.63	353181
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.95:100.opb	SAT (TO)	59	1800.06	1800.55	353272
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb	SAT (TO)	-24	1800.06	1800.43	353389
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb	SAT (TO)	-32	1800.06	1800.74	353571
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb	SAT (TO)	-44	1800.06	1800.65	353727
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb	SAT (TO)	-43	1800.06	1800.65	353766
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-jac3.opb	SAT (TO)	26	1800.06	1800.54	363939
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.5:100.opb	SAT (TO)	9	1800.06	1801.03	365241
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ricks.r.opb	SAT (TO)	5	1800.06	1801.05	366447
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_300_10_10.r.opb	SAT (TO)	30	1800.06	1800.45	366643
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir05_area_opers.opb	SAT (TO)	35	1800.07	1800.67	373330
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_006_area_delay.opb	SAT (TO)	24	1800.07	1800.93	372532
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir09_area_partials.opb	SAT (TO)	36	1800.07	1801.06	373246
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-apex7.b.opb	SAT (TO)	52	1800.07	1800.64	354692
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cc.opb	SAT (TO)	1646	1800.07	1800.44	363743
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b1.opb	SAT (TO)	196	1800.07	1800.74	364919
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir06_area_delay.opb	SAT (TO)	21	1800.07	1800.54	372966
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_300_10_15.r.opb	SAT (TO)	32	1800.07	1800.35	366307
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb	SAT (TO)	1206	1800.07	1801.05	352492
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-rot.b.opb	SAT (TO)	160	1800.07	1800.56	352830
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb	SAT (TO)	-25	1800.07	1800.54	353350
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb	SAT (TO)	-39	1800.07	1800.44	353636
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod008.opb	SAT (TO)	307	1800.07	1800.43	363463
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-sao2.b.opb	SAT (TO)	36	1800.07	1800.95	363911
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-alu4.b.opb	SAT (TO)	68	1800.07	1801.05	352804
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-e64.b.opb	SAT (TO)	81	1800.08	1800.47	352817
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-alu2.b.opb	SAT (TO)	89	1800.08	1799.88	354653
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb	SAT (TO)	1523	1800.08	1801.07	363519
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-5.opb	SAT (TO)	1015	1800.08	1800.66	364429
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-9symml.opb	SAT (TO)	6087	1800.08	1800.55	363687
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cmb.opb	SAT (TO)	1501	1800.08	1800.43	363715
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir04_area_opers.opb	SAT (TO)	29	1800.08	1799.87	373302
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb	SAT (TO)	221	1800.08	1801.27	352128
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_8.opb.PB06.opb	SAT (TO)	1203	1800.08	1800.56	352596
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb	SAT (TO)	-43	1800.08	1800.47	353779
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb	SAT (TO)	-26	1800.08	1800.84	353831
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m200_500_10_10.r.opb	SAT (TO)	57	1800.08	1800.74	354666
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-noswot.opb	SAT (TO)	-7	1800.08	1800.66	363309
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb	SAT (TO)	-24	1800.08	1799.85	365353
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-bench1.r.opb	SAT (TO)	180	1800.08	1800.44	366167
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_43.opb.PB06.opb	SAT (TO)	1200	1800.08	1800.57	352531
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-max1024.pi.opb	SAT (TO)	301	1800.08	1800.77	352765
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-prom2.pi.opb	SAT (TO)	436	1800.09	1800.45	363925
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-test4.pi.opb	SAT (TO)	179	1800.09	1800.74	352752
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e5.opb	SAT (TO)	511	1800.09	1800.55	352960
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8a3.opb	SAT (TO)	194	1800.09	1801.24	353168
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-max1024.r.opb	SAT (TO)	302	1800.09	1800.66	354679
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-ex5.pi.opb	SAT (TO)	83	1800.09	1801.03	363897
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_10_10.r.opb	SAT (TO)	9	1800.09	1800.44	366251
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-m4.r.opb	SAT (TO)	115	1800.09	1800.55	366545
normalized-PB07/OPT-SMALLINT-LIN/reduced/ submittedPB07/aksoy/trarea_ac/normalized-reduced-fir06_trarea_ac.opb	SAT (TO)	6511	1800.09	1800.74	372336
normalized-PB07/OPT-SMALLINT-LIN/reduced/ submittedPB07/aksoy/trarea_ac/normalized-reduced-fir03_trarea_ac.opb	SAT (TO)	13689	1800.09	1800.45	372322
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb	SAT (TO)	219	1800.09	1800.53	352102
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb	SAT (TO)	231	1800.09	1800.67	352115
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb	SAT (TO)	223	1800.09	1800.57	352206
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb	SAT (TO)	223	1800.09	1800.73	352219
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb	SAT (TO)	1187	1800.09	1800.77	352570
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa7552-158.opb	SAT (TO)	1327	1800.09	1800.64	352947
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb	SAT (TO)	-23	1800.09	1800.55	353363
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb	SAT (TO)	-23	1800.09	1800.66	353376
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb	SAT (TO)	-31	1800.09	1800.67	353402
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb	SAT (TO)	-34	1800.09	1800.56	353558
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb	SAT (TO)	-35	1800.09	1800.54	353584
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb	SAT (TO)	-38	1800.09	1801.17	353623
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb	SAT (TO)	-39	1800.09	1801.06	353701
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb	SAT (TO)	200	1800.09	1800.54	364135
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-bk4x3.opb	SAT (TO)	16	1800.09	1800.14	362413
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_10_15.r.opb	SAT (TO)	9	1800.09	1801.07	366713
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb	SAT (TO)	1166	1800.09	1800.97	352505
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_18.opb.PB06.opb	SAT (TO)	1198	1800.09	1800.77	352583
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb	SAT (TO)	-25	1800.09	1800.94	353844
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-bw.b.opb	SAT (TO)	39	1800.09	1800.37	354718
normalized-PB07/OPT-SMALLINT-LIN/reduced/ submittedPB07/aksoy/trarea_ac/normalized-reduced-fir09_trarea_ac.opb	SAT (TO)	11017	1800.1	1800.54	372308
normalized-PB07/OPT-SMALLINT-LIN/reduced/ submittedPB07/aksoy/trarea_ac/normalized-reduced-fir04_trarea_ac.opb	SAT (TO)	17289	1800.1	1800.56	372238
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir05_area_delay.opb	SAT (TO)	17	1800.1	1800.47	372924
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_300_10_14.r.opb	SAT (TO)	27	1800.1	1800.44	366419
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_10_15.r.opb	SAT (TO)	12	1800.1	1800.44	366629
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir10_area_partials.opb	SAT (TO)	52	1800.1	1800.67	373232
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mkc.opb	SAT (TO)	-2889	1800.1	1800.98	351777
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa7552-159.opb	SAT (TO)	1327	1800.1	1800.66	352921
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8c1.opb	SAT (TO)	302	1800.1	1800.77	353116
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32d1.opb	SAT (TO)	318	1800.1	1800.67	353194
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb	SAT (TO)	-31	1800.1	1801.15	353415
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb	SAT (TO)	-31	1800.1	1801.16	353428
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb	SAT (TO)	-34	1800.1	1800.54	353532
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb	SAT (TO)	-27	1800.1	1800.53	353792
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb	SAT (TO)	200	1800.1	1800.63	364667
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb	SAT (TO)	304	1800.1	1800.44	365325
normalized-PB07/OPT-SMALLINT-LIN/ submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb	SAT (TO)	28232	1800.1	1800.66	373134
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb	SAT (TO)	1199	1800.1	1800.53	352544
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-mlp4.r.opb	SAT (TO)	133	1800.11	1801.17	366223
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-clip.b.opb	SAT (TO)	17	1800.11	1801.06	364009
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32c4.opb	SAT (TO)	736	1800.11	1800.55	364121
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16d2.opb	SAT (TO)	785	1800.11	1800.57	364737
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb	SAT (TO)	21	1800.11	1800.56	373036
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-max512.r.opb	SAT (TO)	139	1800.11	1800.45	366363
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-8_16.opb	SAT (TO)	5852	1800.11	1800.63	372350
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb	SAT (TO)	221	1800.11	1800.65	352193
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32c2.opb	SAT (TO)	230	1800.11	1800.47	353155
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.95:98.opb	SAT (TO)	78	1800.11	1800.57	353311
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb	SAT (TO)	-31	1800.11	1800.45	353545
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb	SAT (TO)	-38	1800.11	1800.57	353610
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb	SAT (TO)	-40	1800.11	1800.45	353753
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32a1.opb	SAT (TO)	444	1800.12	1801.26	364863
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir04_area_delay.opb	SAT (TO)	15	1800.12	1800.66	372910
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-seymour1.opb	SAT (TO)	104536	1800.12	1800.5	350802
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16b2.opb	SAT (TO)	1031	1800.12	1800.78	352934
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-apex6.b.opb	SAT (TO)	182	1800.12	1801.39	354627
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-maros.opb	SAT (TO)	14	1800.12	1801.27	362721
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air02.opb	SAT (TO)	358	1800.12	1801.05	363225
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32c3.opb	SAT (TO)	267	1800.12	1800.54	364205
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e4.opb	SAT (TO)	373	1800.12	1801.25	364709
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_10_30.r.opb	SAT (TO)	9	1800.12	1800.56	366293
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb	SAT (TO)	22	1800.12	1800.97	373120
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex4inp.r.opb	SAT (TO)	6	1800.12	1800.57	366517
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-lin.rom.r.opb	SAT (TO)	177	1800.12	1800.55	366587
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir03_area_opers.opb	SAT (TO)	18	1800.12	1801.25	373316
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb	SAT (TO)	223	1800.12	1800.75	352258
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb	SAT (TO)	1207	1800.12	1801.16	352609
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb	SAT (TO)	1201	1800.12	1800.76	352635
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-C432.opb	SAT (TO)	7120	1800.12	1800.57	352739
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-apex4.a.opb	SAT (TO)	844	1800.12	1800.67	352791
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb	SAT (TO)	-40	1800.12	1801.26	353597
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb	SAT (TO)	200	1800.12	1800.54	365115
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.95:98.opb	SAT (TO)	5	1800.12	1801.03	365269
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e1.opb	SAT (TO)	198	1800.12	1801.26	364373
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb	SAT (TO)	1178	1800.12	1800.43	352479
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb	SAT (TO)	1180	1800.12	1800.97	352557
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb	SAT (TO)	-38	1800.13	1801.18	353688
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb	SAT (TO)	-27	1800.13	1801.06	353805
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g9x9.opb	SAT (TO)	23	1800.13	1801.17	365213
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C880.b.opb	SAT (TO)	86	1800.13	1800.46	366685
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-count.b.opb	SAT (TO)	28	1800.13	1800.47	363981
normalized-PB07/OPT-SMALLINT-LIN/reduced/ submittedPB07/aksoy/trarea_ac/normalized-reduced-fir07_trarea_ac.opb	SAT (TO)	20692	1800.13	1800.67	372294
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b3.opb	SAT (TO)	331	1800.13	1800.65	364583
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb	SAT (TO)	218	1800.13	1800.74	352076
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb	SAT (TO)	231	1800.13	1800.47	352167
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8b2.opb	SAT (TO)	393	1800.13	1800.67	352882
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.95:98.opb	SAT (TO)	216	1800.13	1801.2	353259
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.5:100.opb	SAT (TO)	51	1800.13	1800.67	353324
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb	SAT (TO)	-32	1800.13	1801.04	353454
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb	SAT (TO)	-31	1800.13	1800.57	353441
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_3.opb	SAT (TO)	2	1800.13	1800.64	354783
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8b1.opb	SAT (TO)	255	1800.14	1800.78	364653
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.5:100.opb	SAT (TO)	12	1800.14	1800.67	365227
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:98.opb	SAT (TO)	22	1800.14	1800.54	365297
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-addm4.r.opb	SAT (TO)	196	1800.14	1800.55	366237
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-bench1.pi.opb	SAT (TO)	173	1800.14	1800.53	363967
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.95:100.opb	SAT (TO)	6	1800.14	1801.07	365255
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_10.opb	SAT (TO)	26	1800.14	1800.61	373106
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb	SAT (TO)	227	1800.14	1801.36	352154
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb	SAT (TO)	230	1800.14	1801.25	352180
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.5:100.opb	SAT (TO)	116	1800.14	1801.11	353298
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb	SAT (TO)	-37	1800.14	1800.46	353649
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb	SAT (TO)	-28	1800.14	1800.86	353818
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-my_adder.opb	SAT (TO)	6071	1800.14	1800.95	363659
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh201.opb	SAT (TO)	87	1800.14	1800.64	364177
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_30_30.r.opb	SAT (TO)	6	1800.14	1800.87	366755
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-9sym.b.opb	SAT (TO)	5	1800.14	1800.56	364023
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32c1.opb	SAT (TO)	190	1800.14	1800.68	364835
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-prom2.r.opb	SAT (TO)	439	1800.15	1801.07	366601
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir07_area_delay.opb	SAT (TO)	28	1800.15	1800.49	372938
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb	SAT (TO)	19	1800.15	1800.67	373064
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C880.a.opb	SAT (TO)	92	1800.15	1800.55	366475
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-fout.r.opb	SAT (TO)	49	1800.15	1800.66	366531
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb	SAT (TO)	235	1800.15	1800.87	352089
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb	SAT (TO)	222	1800.15	1800.95	352245
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb	SAT (TO)	1174	1800.15	1800.77	352466
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb	SAT (TO)	1188	1800.15	1800.78	352622
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_10_10.r.opb	SAT (TO)	14	1800.15	1800.67	366433
normalized-PB07/OPT-SMALLINT-LIN/reduced/ submittedPB07/aksoy/trarea_ac/normalized-reduced-fir05_trarea_ac.opb	SAT (TO)	26087	1800.15	1801.27	372266
normalized-PB07/OPT-SMALLINT-LIN/ submittedPB07/aksoy/trarea_ac/normalized-fir01_trarea_ac.opb	SAT (TO)	13949	1800.15	1800.65	373148
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa7552-160.opb	SAT (TO)	1359	1800.15	1800.78	352973
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-core2586-950.opb	SAT (TO)	783	1800.16	1800.96	350880
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:100.opb	SAT (TO)	11	1800.16	1800.78	365283
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_009_area_delay.opb	SAT (TO)	27	1800.16	1800.57	372700
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb	SAT (TO)	26	1800.16	1800.46	372994
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_9.opb	SAT (TO)	24	1800.16	1800.58	373050
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_1.opb	SAT (TO)	26	1800.16	1800.58	373092
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb	SAT (TO)	248	1800.16	1800.64	352011
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.95:100.opb	SAT (TO)	143	1800.16	1801.28	353285
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb	SAT (TO)	-34	1800.16	1800.78	353662
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb	SAT (TO)	-43	1800.16	1800.59	353740
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex1010.pi.opb	SAT (TO)	444	1800.16	1800.58	354744
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C499.a.opb	SAT (TO)	83	1800.16	1800.66	354705
normalized-PB07/OPT-SMALLINT-LIN/reduced/ submittedPB07/aksoy/trarea_ac/normalized-reduced-fir10_trarea_ac.opb	SAT (TO)	2243	1800.17	1801.16	372280
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-saucier.r.opb	SAT (TO)	10	1800.17	1800.99	354640
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_021_area_delay.opb	SAT (TO)	28	1800.17	1801.29	372476
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_300_10_20.r.opb	SAT (TO)	24	1800.17	1800.58	366265
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb	SAT (TO)	22	1800.17	1801.27	373078
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir06_area_opers.opb	SAT (TO)	24	1800.17	1800.81	373358
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib3/normalized-reduced-mps-v2-20-10-gesa3.opb	SAT (TO)	1320	1800.17	1800.49	351816
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos5.opb	SAT (TO)	21504	1800.17	1800.67	351907
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-exam.pi.opb	SAT (TO)	88	1800.17	1800.88	352778
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-pdc.r.opb	SAT (TO)	150	1800.17	1801.14	354614
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C499.b.opb	SAT (TO)	84	1800.17	1800.92	354731
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex5.r.opb	SAT (TO)	59	1800.18	1800.48	366615
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-core2536-691.opb	SAT (TO)	599	1800.18	1800.72	350958
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa7552-038.opb	SAT (TO)	1450	1800.18	1801.08	353051
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb	SAT (TO)	-36	1800.18	1801.18	353675
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb	SAT (TO)	-38	1800.18	1800.78	353714
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-des.a.opb	SAT (TO)	1013	1800.18	1800.99	354601
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir09_area_delay.opb	SAT (TO)	30	1800.19	1800.51	372868
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-modszk1.opb	SAT (TO)	263	1800.19	1800.79	351296
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-manna81.opb	SAT (TO)	-10374	1800.19	1800.51	351946
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_7.opb	SAT (TO)	22	1800.2	1800.6	373022
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-nug08.opb	SAT (TO)	18	1800.2	1801.04	350698
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-mkc1.opb	SAT (TO)	-2626	1800.2	1800.56	350815
normalized-PB07/OPT-SMALLINT-LIN/reduced/ submittedPB07/aksoy/trarea_ac/normalized-reduced-fir08_trarea_ac.opb	SAT (TO)	2499	1800.21	1800.57	372252
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-core4284-1064.opb	SAT (TO)	944	1800.21	1800.55	350841
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-core4872-1529.opb	SAT (TO)	1322	1800.22	1800.87	350997
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-rail507.opb	SAT (TO)	179	1800.22	1800.97	350919
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g100x100.opb	SAT (TO)	3334	1800.23	1800.74	353246
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-gesa2.opb	SAT (TO)	1919	1800.25	1801.34	351465
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir07_area_opers.opb	SAT (TO)	33	1800.26	1800.56	373372
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-rd84.b.opb	SAT (TO)	9	1800.27	1800.7	366181
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir09_area_opers.opb	SAT (TO)	42	1800.27	1800.72	373400
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-duke2.b.opb	SAT (TO)	102	1800.28	1801.19	354757
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-qap10.opb	SAT (TO)	29	1800.37	1801.26	350711
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_4.opb	SAT (TO)	29	1800.38	1801.28	373008
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir08_area_partials.opb	SAT (TO)	52	1800.48	1800.91	373176
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb	SAT (TO)	-45	1800.49	1801.45	353506
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb	SAT (TO)	-40	1800.51	1800.86	353519
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb	SAT (TO)	-41	1800.52	1801.07	353493
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb	SAT (TO)	-42	1800.52	1800.96	353480
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb	SAT (TO)	-43	1800.53	1801.05	353467

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos10.opb	?	7.76282	7.71208	363407
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-net12.opb	?	7.8998	7.86345	363617
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-atlanta-ip.opb	?	7.9098	8.07173	363253
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-van.opb	?	7.94679	8.05847	350984
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-van.opb	?	7.95279	8.29986	351764
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-CMS750_4.opb	?	7.97879	7.96458	348012
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-msc98-ip.opb	?	7.98379	7.95458	348896
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum3.opb	?	8.25874	8.6381	351452
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos8.opb	?	8.40772	8.36116	363421
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-fit2d.opb	?	8.58369	8.64695	351218
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir10_area_opers.opb	?	8.61469	8.75019	373288
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-a1c1s1.opb	?	8.61769	8.57313	363323
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum1.opb	?	8.62069	8.65636	363295
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-B1C1S1.opb	?	8.62169	8.61142	348155
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-A1C1S1.opb	?	8.65268	9.23571	348129
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir10_area_delay.opb	?	8.65668	8.66604	372980
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-B2C1S1.opb	?	8.69468	8.73436	348168
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-greenbeb.opb	?	8.73667	8.69435	348727
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-A2C1S1.opb	?	8.88265	9.07272	348077
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-greenbea.opb	?	8.93764	9.11958	348233
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-80bau3b.opb	?	9.26859	9.28472	363001
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-NSR8K.opb	?	9.47756	9.51658	362707
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-stp3d.opb	?	9.64353	9.68835	348974
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir08_area_delay.opb	?	10.6124	10.6756	372952
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir08_area_opers.opb	?	10.8753	10.9735	373386
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n370c.opb	?	11.5272	11.5302	362357
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3700.opb	?	11.5402	11.5468	362399
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3704.opb	?	11.5632	11.8816	362483
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n370e.opb	?	11.5782	11.5654	362189
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3708.opb	?	11.6102	11.6064	362455
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3702.opb	?	11.6102	11.7918	362259
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3703.opb	?	11.6542	11.7426	347869
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3709.opb	?	11.6552	11.6919	362217
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n370b.opb	?	11.6572	11.6611	362329
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n370a.opb	?	11.7012	11.8564	362315
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-fit2p.opb	?	11.7142	11.8294	348701
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3705.opb	?	11.7232	11.753	362245
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3706.opb	?	11.7262	11.8361	362231
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3707.opb	?	11.7822	11.8474	347882
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3701.opb	?	11.7852	11.8975	362511
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb	?	11.8132	11.8535	351751
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-dfl001.opb	?	12.4961	12.5394	348714
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-d2q06c.opb	?	12.5831	12.5461	351127
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum2.opb	?	13.192	13.1791	363239
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-dano3_3.opb	?	13.435	13.503	347895
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-dano3_4.opb	?	13.5609	13.5675	347947
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-dano3_5.opb	?	13.7959	13.891	347973
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-maros-r7.opb	?	14.1728	14.4503	348532
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-pilot87.opb	?	14.8367	14.8268	362805
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-dano3mip.opb	?	16.3745	16.5449	348883
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-woodw.opb	?	20.9808	21.1064	348220
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-rd-rplusc-21.opb	?	49.8254	49.9079	348987
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-sp97ar.opb	?	149.092	149.245	351712

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome11.opb	? (MO)	9.99548	10.1084	347856
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos9.opb	? (MO)	13.32	13.3732	347921
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos19.opb	? (MO)	16.6615	58.4807	351894

Benchmark Name	Answer	Objective function	CPU time	Wall clock time	TraceID
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_10_4_2.opb	OPT	-3	0.434933	0.384814	454477
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_10_4_5.opb	OPT	-4	0.435933	0.422303	454402
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_10_4_3.opb	OPT	-3	0.440932	0.366849	453967
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_10_4_4.opb	OPT	-3	0.440932	0.502964	454492
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=5-P0=29-P1=23-B.opb	OPT	3	0.443931	0.380575	429378
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=5-P0=23-P1=11-B.opb	OPT	3	0.446931	0.389683	431492
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=5-P0=13-P1=13-B.opb	OPT	3	0.448931	0.374972	430036
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_10_4_5.opb	OPT	2	0.45293	0.436018	453802
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_10_4_3.opb	OPT	2	0.452931	0.487386	453382
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_10_4_1.opb	OPT	2	0.45393	0.38303	453592
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_10_4_1.opb	OPT	-3	0.45393	0.579714	454222
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=5-P0=17-P1=5-B.opb	OPT	3	0.45493	0.384064	431296
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_10_4_2.opb	OPT	2	0.45593	0.380596	453562
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_10_4_4.opb	OPT	2	0.460929	0.422542	453487
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=5-P0=3-P1=37-B.opb	OPT	3	0.468928	0.485254	429546
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=6-P0=41-P1=19-B.opb	OPT	3	0.470927	0.43802	431016
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=6-P0=47-P1=37-B.opb	OPT	3	0.471927	0.379207	430218
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=6-P0=61-P1=67-B.opb	OPT	3	0.471927	0.463749	431114
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=6-P0=59-P1=29-B.opb	OPT	3	0.480926	0.47528	431408
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=37-P1=43-B.opb	OPT	3	0.485925	0.45877	429882
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=83-P1=11-B.opb	OPT	3	0.489924	0.42716	429812
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=61-P1=53-B.opb	OPT	3	0.494924	0.427393	432010
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=157-P1=47-B.opb	OPT	3	0.506922	0.43468	429644
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=179-P1=37-B.opb	OPT	3	0.510921	0.430792	430484
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=157-P1=107-B.opb	OPT	3	0.510921	0.434046	431856
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=223-P1=73-B.opb	OPT	3	0.517921	0.433545	430722
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=5-P1=173-B.opb	OPT	3	0.51892	0.434917	431478
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=97-P1=127-B.opb	OPT	3	0.52392	0.435041	432038
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_10_4_4.opb	OPT	-4	0.531919	0.486688	455287
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=263-P1=269-B.opb	OPT	3	0.533917	0.980466	430106
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=6-P0=59-P1=37-B.opb	OPT	3	0.535917	0.687635	430232
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_10_4_5.opb	OPT	-4	0.539917	0.472529	455692
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=71-P1=439-B.opb	OPT	3	0.549915	0.489704	429112
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=67-P1=71-B.opb	OPT	3	0.554915	0.485522	431254
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=59-P1=97-B.opb	OPT	3	0.559914	0.681997	429238
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=5-P0=11-P1=2-P2=23-B.opb	OPT	2	0.571912	0.627543	430260
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=79-P1=41-B.opb	OPT	3	0.572912	0.684875	429840
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_10_4_3.opb	OPT	-3	0.592909	0.537091	455647
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=5-P0=2-P1=23-P2=17-B.opb	OPT	2	0.603907	0.77071	430736
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=271-P1=293-B.opb	OPT	3	0.612906	0.786653	431072
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_10_4_2.opb	OPT	-3	0.612906	0.548731	455677
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_10_4_1.opb	OPT	-3	0.631903	0.677987	455527
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=5-P0=23-P1=11-P2=19-B.opb	OPT	3	0.78188	0.687272	431632
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=5-P0=29-P1=13-P2=19-B.opb	OPT	3	0.816874	0.745611	429280
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=5-P0=11-P1=31-P2=17-B.opb	OPT	3	0.837871	0.865153	431968
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_25_5.opb	OPT	-6	1.15282	1.05588	454447
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_25_4.opb	OPT	-6	1.17382	1.17684	454147
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_25_1.opb	OPT	-6	1.19982	1.10987	454627
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_25_3.opb	OPT	-6	1.21581	1.10593	454537
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_25_2.opb	OPT	-6	1.24481	1.15502	454522
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_25_3.opb	OPT	2	2.5916	2.46149	453352
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_25_4.opb	OPT	2	2.66759	2.51689	453532
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=6-P0=5-P1=7-P2=11-B.opb	OPT	3	3.02054	2.92767	430288
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=6-P0=37-P1=23-P2=5-B.opb	OPT	3	3.02854	2.92962	431520
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=6-P0=53-P1=41-P2=53-B.opb	OPT	3	3.09853	3.03317	429602
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=6-P0=41-P1=53-P2=59-B.opb	OPT	3	3.11752	3.03348	429798
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=6-P0=19-P1=53-P2=37-B.opb	OPT	3	3.22351	3.35761	429182
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_10_5.opb	OPT	-13	3.23851	3.15414	453997
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_25_2.opb	OPT	2	3.35449	3.19919	453907
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_10_3.opb	OPT	-13	3.48947	3.42652	453952
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_10_2.opb	OPT	-12	3.9324	3.82376	454717
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_10_1.opb	OPT	-12	4.03139	3.92539	454102
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_10_4.opb	OPT	-12	5.2472	5.2361	454177
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=5-P0=2-P1=23-P2=29-P3=19-B.opb	OPT	2	12.2701	12.2215	431352
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=127-P1=13-P2=109-B.opb	OPT	3	24.0583	23.9508	430554
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_25_5.opb	OPT	3	24.7392	24.6741	453547
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=7-P0=23-P1=29-P2=43-B.opb	OPT	3	25.6751	25.6	430960
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=107-P1=73-P2=127-B.opb	OPT	3	25.7201	25.8134	429084
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=17-P1=53-P2=109-B.opb	OPT	3	25.7301	25.6641	430568
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=7-P0=89-P1=17-P2=37-B.opb	OPT	3	25.7611	25.6595	429518
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_25_1.opb	OPT	3	27.1959	27.0798	453262
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=5-P0=17-P1=13-P2=29-P3=11-B.opb	OPT	3	121.78	121.765	430694
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=5-P0=3-P1=7-P2=31-P3=29-B.opb	OPT	3	129.999	129.95	430274
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=5-P0=19-P1=23-P2=23-P3=23-B.opb	OPT	3	130.573	130.516	431240
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=5-P0=23-P1=29-P2=31-P3=29-B.opb	OPT	3	131	131.238	430540
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=227-P1=23-P2=89-B.opb	OPT	3	231.581	231.589	430246
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=127-P1=71-P2=13-B.opb	OPT	3	232.028	232.145	431170
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=257-P1=97-P2=149-B.opb	OPT	3	232.28	232.406	430078
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=19-P1=211-P2=79-B.opb	OPT	3	247.689	247.672	432108
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=191-P1=43-P2=41-B.opb	OPT	3	247.96	247.995	431772
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_10_1.opb	OPT	5	303.365	303.438	453922
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_10_2.opb	OPT	5	305.234	305.231	453607
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_25_1.opb	OPT	-15	842.08	842.226	454267
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_25_2.opb	OPT	-15	843.355	843.524	454192
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_25_4.opb	OPT	-15	981.907	982.172	453982
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_25_3.opb	OPT	-14	1087.62	1087.78	454357
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_25_5.opb	OPT	-13	1420.74	1424.07	454327
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_10_4.opb	OPT	6	1478.01	1479.13	453502

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/xinetd/xinetd_vc56687.opb	UNSAT	5.60215	5.76943	419494
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/xinetd/xinetd_vc56703.opb	UNSAT	5.62215	5.93731	419368
normalized-PB07/PURE-SAT/SAT07/ industrial/babic/xinetd/itox_vc965.opb	UNSAT	6.37103	6.23289	419452
normalized-PB07/PURE-SAT/SAT07/ crafted/spence/medium/s57-100.opb	UNSAT	23.9614	23.894	420250
normalized-PB07/PURE-SAT/SAT07/ crafted/spence/medium/s61-100.opb	UNSAT	57.8512	58.0413	420222
normalized-PB07/PURE-SAT/SAT07/industrial/ jarvisalo/eq.atree.braun.7.unsat.opb	UNSAT	101.698	101.769	419942
normalized-PB07/PURE-SAT/SAT07/ crafted/spence/medium/s65-100.opb	UNSAT	144.637	144.616	420194
normalized-PB07/PURE-SAT/SAT07/ crafted/spence/medium/s69-100.opb	UNSAT	367.891	367.996	420152
normalized-PB07/PURE-SAT/SAT07/ crafted/spence/medium/s73-100.opb	UNSAT	830.339	830.831	420166

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB07/PURE-SAT/SAT07/industrial/ vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug1.opb	?	0.254961	0.276884	420278
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/ contest05/pebbling/sat-grid-pbl-0200.sat05-1339.reshuffled-07.opb	?	7.29689	7.25774	420516
normalized-PB07/PURE-SAT/SAT07/ industrial/crypto/mizh-md5-47-3.opb	?	7.30789	7.30581	419116
normalized-PB07/PURE-SAT/SAT07/ industrial/crypto/mizh-md5-47-4.opb	?	7.39088	7.62052	419088
normalized-PB07/PURE-SAT/SAT07/ industrial/crypto/mizh-md5-47-5.opb	?	7.51186	7.56419	419032
normalized-PB07/PURE-SAT/SAT07/crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.opb	?	7.64584	7.64624	420866
normalized-PB07/PURE-SAT/SAT07/ industrial/crypto/mizh-sha0-35-5.opb	?	7.78781	7.80237	419060
normalized-PB07/PURE-SAT/SAT07/industrial/ anbulagan/medium-unsat/total-5-11-u.opb	?	7.8968	7.8789	418864
normalized-PB07/PURE-SAT/SAT07/ industrial/crypto/mizh-sha0-35-4.opb	?	7.96579	7.92707	419102
normalized-PB07/PURE-SAT/SAT07/ industrial/crypto/mizh-sha0-35-3.opb	?	8.07877	8.41128	419046
normalized-PB07/PURE-SAT/SAT07/ industrial/crypto/mizh-sha0-35-2.opb	?	8.09177	8.29048	419074
normalized-PB07/PURE-SAT/SAT07/industrial/ anbulagan/medium-unsat/total-5-13-u.opb	?	8.10677	8.1849	418892
normalized-PB07/PURE-SAT/SAT07/industrial/ anbulagan/medium-sat/dated-10-13-s.opb	?	8.14176	8.62487	418934
normalized-PB07/PURE-SAT/SAT07/industrial/ anbulagan/medium-sat/partial-5-13-s.opb	?	8.22175	8.35829	419018
normalized-PB07/PURE-SAT/SAT07/ industrial/anbulagan/medium-unsat/total-10-11-u.opb	?	8.23875	8.37103	418906
normalized-PB07/PURE-SAT/SAT07/ industrial/anbulagan/medium-unsat/dated-10-15-u.opb	?	8.28674	9.13059	418878
normalized-PB07/PURE-SAT/SAT07/industrial/ anbulagan/medium-sat/dated-10-17-s.opb	?	8.70867	9.00741	418990
normalized-PB07/PURE-SAT/SAT07/industrial/ anbulagan/medium-sat/total-5-17-s.opb	?	9.00463	9.06958	418962
normalized-PB07/PURE-SAT/SAT07/industrial/ anbulagan/medium-sat/total-5-19-s.opb	?	9.07062	9.09176	418948
normalized-PB07/PURE-SAT/SAT07/ industrial/narain/clauses-2.opb	?	9.08662	9.47472	419886
normalized-PB07/PURE-SAT/SAT07/industrial/ anbulagan/medium-sat/total-10-17-s.opb	?	10.1475	10.1626	419004
normalized-PB07/PURE-SAT/SAT07/ industrial/fuhs/medium/AProVE07-16.opb	?	10.5004	10.6296	419200
normalized-PB07/PURE-SAT/SAT07/industrial/ anbulagan/medium-sat/total-10-19-s.opb	?	10.6184	10.7955	418976
normalized-PB07/PURE-SAT/SAT07/ industrial/narain/clauses-4.opb	?	10.8144	11.264	419900
normalized-PB07/PURE-SAT/SAT07/industrial/ anbulagan/medium-unsat/dated-5-11-u.opb	?	11.5882	12.0255	418920
normalized-PB07/PURE-SAT/SAT07/ industrial/fuhs/medium/AProVE07-04.opb	?	11.6052	11.6994	419228
normalized-PB07/PURE-SAT/SAT07/ industrial/fuhs/medium/AProVE07-06.opb	?	12.2151	12.3891	419186
normalized-PB07/PURE-SAT/SAT07/industrial/ vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug6.opb	?	12.7311	13.5617	419340
normalized-PB07/PURE-SAT/SAT07/industrial/ vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug10.opb	?	12.7451	13.5042	419256
normalized-PB07/PURE-SAT/SAT07/industrial/ vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug4.opb	?	12.7711	12.8799	419242
normalized-PB07/PURE-SAT/SAT07/ industrial/palacios/uts/uts-l06-ipc5-h35-unknown.opb	?	12.8021	12.7894	420082
normalized-PB07/PURE-SAT/SAT07/industrial/ vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug5.opb	?	12.831	14.1793	419284
normalized-PB07/PURE-SAT/SAT07/industrial/ vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug9.opb	?	12.918	13.3076	419354
normalized-PB07/PURE-SAT/SAT07/industrial/ vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug7.opb	?	12.947	13.4015	419326
normalized-PB07/PURE-SAT/SAT07/industrial/ vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug3.opb	?	12.977	13.1195	419270
normalized-PB07/PURE-SAT/SAT07/industrial/ vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug2.opb	?	13.061	13.469	419312
normalized-PB07/PURE-SAT/SAT07/industrial/ vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug8.opb	?	13.202	14.6022	419298
normalized-PB07/PURE-SAT/SAT07/ industrial/palacios/uts/uts-l06-ipc5-h34-unknown.opb	?	13.363	13.3171	420040
normalized-PB07/PURE-SAT/SAT07/ industrial/palacios/uts/uts-l06-ipc5-h32-unknown.opb	?	14.7398	14.7277	420068
normalized-PB07/PURE-SAT/SAT07/industrial/ palacios/medium/blocks-4-ipc5-h22-unknown.opb	?	15.0897	15.0775	420110
normalized-PB07/PURE-SAT/SAT07/ industrial/palacios/uts/uts-l06-ipc5-h31-unknown.opb	?	15.4946	15.6843	420054
normalized-PB07/PURE-SAT/SAT07/industrial/ palacios/medium/blocks-4-ipc5-h21-unknown.opb	?	15.5176	15.4889	420096
normalized-PB07/PURE-SAT/SAT07/ industrial/palacios/uts/uts-l06-ipc5-h30-unknown.opb	?	15.9366	16.0587	420012
normalized-PB07/PURE-SAT/SAT07/ industrial/palacios/uts/uts-l06-ipc5-h29-unknown.opb	?	16.4275	16.6212	419998
normalized-PB07/PURE-SAT/SAT07/ industrial/palacios/uts/uts-l06-ipc5-h28-unknown.opb	?	16.6495	16.6659	419984
normalized-PB07/PURE-SAT/SAT07/industrial/ palacios/medium/cube-9-h11-sat.opb	?	21.1278	21.0902	420124

PB'07 evaluation: benchmarks results per solver

Result page for solver absconPseudo 102

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

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

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

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

Solver didn't decide (UNKNOWN) (53 runs) [Show/Hide]

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

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

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

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

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

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

Category "instances containing only clauses" (PURE-SAT)

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

Solver didn't decide (UNKNOWN) (46 runs) [Show/Hide]

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

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

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

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

Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (81 runs) [Show/Hide]

Solver didn't decide (UNKNOWN) (9 runs) [Show/Hide]

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

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

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

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

Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (40 runs) [Show/Hide]

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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.opb	? (TO)	1800.03	1800.63	420362
normalized-PB07/PURE-SAT/SAT07/ crafted/spence/medium/s85-100.opb	? (TO)	1800.04	1800.63	420208
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ others/QG-gensys-icl003.sat05-2715.reshuffled-07.opb	? (TO)	1800.04	1800.74	420642
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-15-10.opb	? (TO)	1800.05	1801.04	366041
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ sabharwal/sat-strips-gripper-10t19.sat05-1143.reshuffled-07.opb	? (TO)	1800.05	1800.44	420306
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ jarvisalo/mod2-rand3bip-sat-240-3.sat05-2205.reshuffled-07.opb	? (TO)	1800.05	1800.64	420684
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-31-30.opb	? (TO)	1800.05	1801.14	349691
normalized-PB07/PURE-SAT/SAT07/crafted/Difficult/contest05/ jarvisalo/mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.opb	? (TO)	1800.07	1800.52	420880
normalized-PB07/PURE-SAT/SAT07/ industrial/grieu/vmpc_26.opb	? (TO)	1800.07	1800.45	419830
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ jarvisalo/mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.opb	? (TO)	1800.07	1800.25	420726
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-101-100.opb	? (TO)	1800.07	1800.57	349639
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-95-90.opb	? (TO)	1800.07	1800.77	349795
normalized-PB07/PURE-SAT/SAT07/industrial/ jarvisalo/eq.atree.braun.8.unsat.opb	? (TO)	1800.07	1800.76	419928
normalized-PB07/PURE-SAT/SAT07/ crafted/spence/medium/s77-100.opb	? (TO)	1800.08	1801.12	420180
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.opb	? (TO)	1800.08	1800.52	420334
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ pebbling/unsat-pbl-00090.sat05-1326.reshuffled-07.opb	? (TO)	1800.08	1800.64	420488
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ jarvisalo/mod2-rand3bip-sat-210-1.sat05-2158.reshuffled-07.opb	? (TO)	1800.08	1801.32	420712
normalized-PB07/PURE-SAT/SAT07/ industrial/grieu/vmpc_27.opb	? (TO)	1800.08	1801.17	419816
normalized-PB07/PURE-SAT/SAT07/ industrial/grieu/vmpc_24.opb	? (TO)	1800.08	1801.26	419844
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ others/pmg-11-UNSAT.sat05-3939.reshuffled-07.opb	? (TO)	1800.09	1801.03	420628
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ jarvisalo/mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.opb	? (TO)	1800.09	1800.44	420768
normalized-PB07/PURE-SAT/SAT07/crafted/Difficult/contest05/ jarvisalo/mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.opb	? (TO)	1800.09	1800.67	420894
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/dspam/dspam_dump_vc1080.opb	? (TO)	1800.09	1800.64	419578
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/ contest05/others/QG7a-gensys-brn100.sat05-3765.reshuffled-07.opb	? (TO)	1800.09	1800.87	420614
normalized-PB07/PURE-SAT/SAT07/crafted/Difficult/contest05/ QG/QG6-gensys-brn007.sat05-2684.reshuffled-07.opb	? (TO)	1800.09	1801.04	420810
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-35-30.opb	? (TO)	1800.09	1800.65	349821
normalized-PB07/PURE-SAT/SAT07/ industrial/fuhs/medium/AProVE07-22.opb	? (TO)	1800.09	1800.57	419214
normalized-PB07/PURE-SAT/SAT07/ industrial/fuhs/medium/AProVE07-21.opb	? (TO)	1800.1	1800.64	419130
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-41-40.opb	? (TO)	1800.1	1800.78	349704
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ pebbling/unsat-pbl-00080.sat05-1325.reshuffled-07.opb	? (TO)	1800.1	1800.66	420474
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ others/QG8-gensys-ukn005.sat05-3584.reshuffled-07.opb	? (TO)	1800.1	1801.29	420530
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ jarvisalo/mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.opb	? (TO)	1800.1	1800.56	420670
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ jarvisalo/mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.opb	? (TO)	1800.1	1801.34	420698
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-51-50.opb	? (TO)	1800.1	1800.53	349613
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-65-60.opb	? (TO)	1800.1	1800.84	349717
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-55-50.opb	? (TO)	1800.1	1801.17	349756
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-61-60.opb	? (TO)	1800.11	1800.67	349652
normalized-PB07/PURE-SAT/SAT07/industrial/ jarvisalo/eq.atree.braun.9.unsat.opb	? (TO)	1800.11	1800.85	419914
normalized-PB07/PURE-SAT/SAT07/ crafted/spence/medium/s89-100.opb	? (TO)	1800.11	1800.55	420236
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ sabharwal/sat-strips-gripper-12t23.sat05-1144.reshuffled-07.opb	? (TO)	1800.11	1800.99	420376
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/dspam/dspam_dump_vc1093.opb	? (TO)	1800.11	1800.58	419634
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ jarvisalo/mod2-rand3bip-sat-220-2.sat05-2174.reshuffled-07.opb	? (TO)	1800.11	1800.43	420782
normalized-PB07/PURE-SAT/SAT07/crafted/Difficult/contest05/ QG/QG6-dead-dnd001.sat05-2742.reshuffled-07.opb	? (TO)	1800.11	1800.93	420838
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-91-90.opb	? (TO)	1800.11	1800.2	349665
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-21-20.opb	? (TO)	1800.11	1800.86	349743
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-25-20.opb	? (TO)	1800.11	1800.63	349769
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ pebbling/unsat-pbl-00150.sat05-1328.reshuffled-07.opb	? (TO)	1800.12	1800.59	420390
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ pebbling/unsat-pbl-00070.sat05-1324.reshuffled-07.opb	? (TO)	1800.12	1801.33	420404
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ jarvisalo/mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.opb	? (TO)	1800.12	1800.43	420754
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/dspam/dspam_dump_vc973.opb	? (TO)	1800.12	1800.41	419564
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/dspam/dspam_dump_vc949.opb	? (TO)	1800.12	1800.69	419550
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-71-70.opb	? (TO)	1800.12	1800.47	349626
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-81-80.opb	? (TO)	1800.12	1800.67	349808
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-85-80.opb	? (TO)	1800.12	1800.6	349782
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ pebbling/sat-pbl-00400.sat05-1322.reshuffled-07.opb	? (TO)	1800.13	1800.93	420502
normalized-PB07/PURE-SAT/SAT07/ industrial/babic/xinetd/itox_vc1138.opb	? (TO)	1800.13	1800.57	419480
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/dspam/dspam_dump_vc950.opb	? (TO)	1800.13	1800.79	419522
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/hsatv17/hsat_vc12016.opb	? (TO)	1800.13	1816.3	419746
normalized-PB07/PURE-SAT/SAT07/ industrial/grieu/vmpc_25.opb	? (TO)	1800.13	1801.08	420292
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ pebbling/unsat-grid-pbl-0080.sat05-1344.reshuffled-07.opb	? (TO)	1800.13	1800.92	420432
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-45-40.opb	? (TO)	1800.13	1800.86	349730
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/sabharwal/ counting-easier-fphp-012-010.sat05-1214.reshuffled-07.opb	? (TO)	1800.13	1800.95	420348
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ pebbling/unsat-pbl-00250.sat05-1330.reshuffled-07.opb	? (TO)	1800.14	1800.48	420446
normalized-PB07/PURE-SAT/SAT07/crafted/Difficult/contest05/ QG/QG6-gensys-icl009.sat05-2721.reshuffled-07.opb	? (TO)	1800.14	1800.57	420852
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/sabharwal/ unsat-logistics-rotate-09t5.sat05-1139.reshuffled-07.opb	? (TO)	1800.14	1800.76	420320
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ others/QG7-gensys-icl001.sat05-2926.reshuffled-07.opb	? (TO)	1800.14	1800.55	420558
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/ contest05/others/QG7a-gensys-ukn005.sat05-3845.reshuffled-07.opb	? (TO)	1800.14	1800.49	420656
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ jarvisalo/mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.opb	? (TO)	1800.14	1800.87	420740
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ others/QG-gensys-brn008.sat05-2685.reshuffled-07.opb	? (TO)	1800.14	1801.23	420600
normalized-PB07/PURE-SAT/SAT07/crafted/Difficult/contest05/ QG/QG6-gensys-icl006.sat05-2718.reshuffled-07.opb	? (TO)	1800.14	1800.76	420796
normalized-PB07/PURE-SAT/SAT07/ industrial/grieu/vmpc_28.opb	? (TO)	1800.14	1800.58	419858
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/ contest05/pebbling/sat-grid-pbl-0070.sat05-1334.reshuffled-07.opb	? (TO)	1800.15	1800.49	420460
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/hsatv17/hsat_vc11935.opb	? (TO)	1800.15	1800.02	419648
normalized-PB07/PURE-SAT/SAT07/ crafted/spence/medium/s81-100.opb	? (TO)	1800.15	1800.75	420264
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ others/gensys-ukn002.sat05-2744.reshuffled-07.opb	? (TO)	1800.15	1801.05	420572
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/ contest05/others/QG7a-gensys-ukn001.sat05-3841.reshuffled-07.opb	? (TO)	1800.15	1800.78	420586
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/dspam/dspam_dump_vc1081.opb	? (TO)	1800.15	1800.79	419606
normalized-PB07/PURE-SAT/SAT07/ industrial/babic/xinetd/itox_vc979.opb	? (TO)	1800.15	1800.88	419382
normalized-PB07/PURE-SAT/SAT07/ industrial/babic/xinetd/itox_vc1044.opb	? (TO)	1800.15	1801.49	419424
normalized-PB07/PURE-SAT/SAT07/ industrial/babic/xinetd/itox_vc1130.opb	? (TO)	1800.15	1800.5	419438
normalized-PB07/PURE-SAT/SAT07/industrial/ jarvisalo/eq.atree.braun.10.unsat.opb	? (TO)	1800.15	1800.78	419956
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/hsatv17/hsat_vc12072.opb	? (TO)	1800.15	1800.99	419704
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-75-70.opb	? (TO)	1800.15	1800.76	349678
normalized-PB07/PURE-SAT/SAT07/ industrial/babic/xinetd/itox_vc1216.opb	? (TO)	1800.15	1801.51	419466
normalized-PB07/PURE-SAT/SAT07/industrial/ manolios/manol-pipe-c6nidw_i.opb	? (TO)	1800.15	1800.49	419788
normalized-PB07/PURE-SAT/SAT07/ industrial/fuhs/medium/AProVE07-20.opb	? (TO)	1800.16	1800.67	419172
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-11-10.opb	? (TO)	1800.16	1800.56	365943
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ pebbling/unsat-pbl-00200.sat05-1329.reshuffled-07.opb	? (TO)	1800.16	1801.38	420418
normalized-PB07/PURE-SAT/SAT07/crafted/Difficult/contest05/ QG/QG6-gensys-icl004.sat05-2716.reshuffled-07.opb	? (TO)	1800.16	1800.77	420824
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/dspam/dspam_dump_vc962.opb	? (TO)	1800.16	1800.91	419620
normalized-PB07/PURE-SAT/SAT07/ industrial/babic/xinetd/itox_vc1033.opb	? (TO)	1800.16	1800.61	419396
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/hsatv17/hsat_vc11773.opb	? (TO)	1800.17	1800.62	419732
normalized-PB07/PURE-SAT/SAT07/crafted/Medium/ contest05/others/QG7a-gensys-brn004.sat05-3669.reshuffled-07.opb	? (TO)	1800.17	1800.47	420544
normalized-PB07/PURE-SAT/SAT07/ industrial/fuhs/medium/AProVE07-15.opb	? (TO)	1800.18	1800.64	419158
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/hsatv17/hsat_vc12062.opb	? (TO)	1800.18	1800.71	419760
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/dspam/dspam_dump_vc972.opb	? (TO)	1800.19	1800.6	419592
normalized-PB07/PURE-SAT/SAT07/ industrial/babic/xinetd/itox_vc909.opb	? (TO)	1800.19	1801.69	419410
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/hsatv17/hsat_vc11803.opb	? (TO)	1800.2	1800.7	419774
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/dspam/dspam_dump_vc1104.opb	? (TO)	1800.21	1800.92	419508
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/dspam/dspam_dump_vc1103.opb	? (TO)	1800.21	1801.24	419536
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/hsatv17/hsat_vc11944.opb	? (TO)	1800.21	1800.82	419718
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/hsatv17/hsat_vc12070.opb	? (TO)	1800.21	1801.12	419676
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/hsatv17/hsat_vc11813.opb	? (TO)	1800.23	1800.84	419662
normalized-PB07/PURE-SAT/SAT07/industrial/ manolios/manol-pipe-c10nidw_s.opb	? (TO)	1800.24	1800.57	419802
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/hsatv17/hsat_vc11817.opb	? (TO)	1800.3	1801.18	419690
normalized-PB07/PURE-SAT/SAT07/industrial/ palacios/uts/uts-l05-ipc5-h26-unsat.opb	? (TO)	1800.31	1801.27	420026
normalized-PB07/PURE-SAT/SAT07/industrial/ palacios/medium/cube-9-h10-unsat.opb	? (TO)	1800.34	1800.86	420138
normalized-PB07/PURE-SAT/SAT07/ industrial/palacios/uts/uts-l05-ipc5-h27-unknown.opb	? (TO)	1800.38	1801.68	419970
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-105-100.opb	? (TO)	1800.72	1804.31	349600

Benchmark Name	Answer	Objective function	CPU time	Wall clock time	TraceID
normalized-PB07/PURE-SAT/SAT07/ industrial/fuhs/medium/AProVE07-11.opb	? (MO)		16.9404	121.686	419144
normalized-PB07/PURE-SAT/SAT07/ industrial/narain/clauses-10.opb	? (MO)		20.5779	284.8	419872

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb	UNSAT	0.45493	0.466405	361889
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl.opb	UNSAT	0.472927	0.521481	361665
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl.opb	UNSAT	0.572912	0.696623	361679
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb	UNSAT	0.615906	1.31307	361931
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb	UNSAT	0.685895	0.587679	361693
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb	UNSAT	0.702892	0.651854	361903
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb	UNSAT	0.801877	0.774825	361651
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb	UNSAT	0.857868	0.796553	361763
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb	UNSAT	3.43048	3.2999	361595
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977780.opb	UNSAT	12.2801	12.3388	358081
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110976157.opb	UNSAT	17.1234	17.5075	358753
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110970631.opb	UNSAT	17.1854	17.7447	357899
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110968094.opb	UNSAT	17.2444	17.1866	358809
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111217392.opb	UNSAT	17.3524	17.2827	358613
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110966483.opb	UNSAT	17.3944	17.6548	358837
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110968898.opb	UNSAT	17.8453	17.7617	358865
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110978334.opb	UNSAT	17.8663	17.8141	358277
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224059.opb	UNSAT	17.9603	17.8556	358935
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111227861.opb	UNSAT	18.1662	18.2209	358123
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110975607.opb	UNSAT	18.5302	18.6232	358823
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973163.opb	UNSAT	19.2361	19.166	358879
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973670.opb	UNSAT	19.2661	19.4501	358501
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111213670.opb	UNSAT	19.839	19.7186	359173
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110967729.opb	UNSAT	20.6499	20.9567	357927
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110976935.opb	UNSAT	20.8008	20.7162	358361
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224451.opb	UNSAT	21.0818	20.9761	358319
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977273.opb	UNSAT	21.1478	21.2315	358431
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111221624.opb	UNSAT	21.3797	21.2836	358851
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110969577.opb	UNSAT	21.7047	21.6028	358543
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110966688.opb	UNSAT	21.7377	21.8472	357955
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111217555.opb	UNSAT	21.7727	21.7102	358137
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111220019.opb	UNSAT	21.9847	21.9016	359187
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111218757.opb	UNSAT	22.6796	22.6097	359061
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111225122.opb	UNSAT	22.7405	22.645	358739
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110978113.opb	UNSAT	23.0395	22.9559	358781
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110969170.opb	UNSAT	23.1985	23.3178	358697
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110972154.opb	UNSAT	23.3065	23.3555	358165
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110967523.opb	UNSAT	23.3215	23.2202	358529
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224255.opb	UNSAT	23.4224	23.5939	358263
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111218024.opb	UNSAT	23.5194	23.4216	359075
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111227326.opb	UNSAT	24.1573	24.2723	358445
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111226062.opb	UNSAT	24.3073	24.4027	357913
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111219799.opb	UNSAT	24.4003	24.5547	358193
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110970444.opb	UNSAT	24.5853	24.8472	357871
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111220767.opb	UNSAT	24.6173	24.7138	358515
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110971697.opb	UNSAT	24.7182	24.619	358095
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111226368.opb	UNSAT	25.3831	25.327	358893
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111226680.opb	UNSAT	25.5131	25.606	358571
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223220.opb	UNSAT	26.17	26.2154	357969
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222539.opb	UNSAT	26.415	26.3494	358403
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111225605.opb	UNSAT	26.428	26.5291	358039
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110975965.opb	UNSAT	26.47	26.9869	358221
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974372.opb	UNSAT	26.611	26.5461	358179
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111213868.opb	UNSAT	26.7539	26.8559	358151
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974180.opb	UNSAT	27.0269	27.0722	358473
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110971363.opb	UNSAT	27.1589	27.5793	357801
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224929.opb	UNSAT	27.1589	27.0861	358977
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111220546.opb	UNSAT	27.3778	27.2731	358067
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110968561.opb	UNSAT	27.5348	27.4312	358599
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111216823.opb	UNSAT	28.1237	28.0607	359033
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222257.opb	UNSAT	28.7566	28.8706	358347
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111216411.opb	UNSAT	28.8876	28.8359	359103
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111218955.opb	UNSAT	29.4485	29.5509	358459
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111212272.opb	UNSAT	29.5135	29.4064	358053
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111219348.opb	UNSAT	29.8185	29.9059	357997
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111228076.opb	UNSAT	30.2404	30.2736	359145
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111221203.opb	UNSAT	30.6073	30.5062	358375
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223004.opb	UNSAT	31.5772	31.6759	359117
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111212923.opb	UNSAT	32.4211	33.2405	358683
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110972763.opb	UNSAT	32.677	32.7861	357815
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111227012.opb	UNSAT	33.075	32.9871	358991
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973364.opb	UNSAT	33.2579	33.1544	358417
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110976730.opb	UNSAT	33.3789	33.503	358795
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111212476.opb	UNSAT	34.5747	34.6517	358669
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111218308.opb	UNSAT	35.6606	35.5455	357843
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110967142.opb	UNSAT	37.2143	37.3946	358641
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110969860.opb	UNSAT	38.7711	39.191	357857
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-cache.inv10.ucl.opb	UNSAT	87.4617	87.384	361483
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-11-10.opb	UNSAT	1280.59	1280.9	365957

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900566263.opb	SAT	0.84287	0.752734	359845
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900566151.opb	SAT	0.925858	0.861148	359817
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900571131.opb	SAT	1.08283	1.00957	359299
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army8.9bt.opb	SAT	1.20482	1.09806	357661
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554375.opb	SAT	1.3408	1.25821	359607
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900577000.opb	SAT	1.47078	1.37021	359901
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900559365.opb	SAT	1.66175	1.6271	359957
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900564822.opb	SAT	1.73873	1.62659	359509
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223596.opb	SAT	1.9347	1.83983	358487
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111219399.opb	SAT	2.02769	1.94227	358963
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin8.opb	SAT	2.08968	2.15298	357577
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547427.opb	SAT	2.24966	2.17502	360111
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111217374.opb	SAT	2.42263	2.30605	359159
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110976735.opb	SAT	2.80757	2.86942	358249
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army8.9ls.opb	SAT	3.2855	3.38798	357703
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222248.opb	SAT	3.38348	3.29395	358711
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223689.opb	SAT	3.76343	3.65769	358907
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554389.opb	SAT	4.07638	3.97025	359355
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900576918.opb	SAT	4.30335	4.24148	360363
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547416.opb	SAT	4.87226	4.7494	359593
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547353.opb	SAT	4.97124	4.84993	360279
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900557568.opb	SAT	6.31404	6.23636	359481
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111221953.opb	SAT	6.49601	6.61208	359047
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900669299.opb	SAT	6.83996	6.79351	360055
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110970277.opb	SAT	7.15391	7.29606	357829
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977464.opb	SAT	7.45087	7.36466	358333
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900669309.opb	SAT	7.48486	7.40302	359285
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222080.opb	SAT	8.43272	8.34205	359131
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900574974.opb	SAT	8.64368	8.54368	360237
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554373.opb	SAT	9.79951	10.0096	359411
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900670756.opb	SAT	10.1175	10.1493	359761
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900552311.opb	SAT	10.5564	10.4752	359719
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111226241.opb	SAT	11.8442	11.7788	358025
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900566270.opb	SAT	12.0532	12.1953	360377
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547461.opb	SAT	12.5391	12.4435	360139
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111226284.opb	SAT	12.7271	12.8484	359089
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900559641.opb	SAT	12.7761	12.8842	359439
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110971766.opb	SAT	13.167	13.2643	357941
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111216864.opb	SAT	13.4859	13.6255	358109
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223416.opb	SAT	13.4929	13.3909	358655
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110975832.opb	SAT	13.7689	14.0408	359005
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900557413.opb	SAT	13.9709	13.8444	359565
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974553.opb	SAT	14.0169	13.918	359019
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900581321.opb	SAT	14.1928	14.1085	359369
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110968431.opb	SAT	14.3228	14.2658	358921
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900561384.opb	SAT	14.7608	14.6874	359985
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224522.opb	SAT	16.0706	16.1854	357983
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110967327.opb	SAT	16.9134	16.8222	358291
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973863.opb	SAT	17.4044	17.3334	358557
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223696.opb	SAT	17.4423	17.3417	358585
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111217380.opb	SAT	17.7643	18.0472	357885
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973478.opb	SAT	18.5712	18.5544	358725
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900544463.opb	SAT	18.9291	18.8417	359677
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110969933.opb	SAT	19.3131	19.5054	358305
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554154.opb	SAT	20.8358	20.7241	360209
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111216188.opb	SAT	24.5913	24.7195	358389
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111227418.opb	SAT	26.037	26.1758	358949
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900574948.opb	SAT	26.7799	26.701	359313
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110972958.opb	SAT	27.5338	27.6348	358011
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110975678.opb	SAT	27.9368	28.1974	358627
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977266.opb	SAT	28.1807	28.4895	358767
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900561389.opb	SAT	28.3157	28.2083	359495
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110971097.opb	SAT	28.8136	29.1686	358235
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110970170.opb	SAT	29.1206	29.0581	358207
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554067.opb	SAT	36.9014	36.7981	359971
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army10.14bt.opb	SAT	55.2556	55.4171	357633
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900553644.opb	SAT	73.2119	73.1552	360097
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900567003.opb	SAT	75.8515	75.7805	359859
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900549974.opb	SAT	76.2214	76.1849	359243
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900565527.opb	SAT	96.6923	96.5944	360027
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army9.12bt.opb	SAT	112.157	112.307	357731
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900559416.opb	SAT	117.223	117.335	360083
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900582376.opb	SAT	119.271	119.204	359425
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army9.12ls.opb	SAT	125.787	125.711	357759
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army11.17bt.opb	SAT	129.491	129.592	357647
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900553606.opb	SAT	129.595	129.625	359803
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900568952.opb	SAT	135.398	135.39	359229
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547334.opb	SAT	139.589	139.555	359943
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900567939.opb	SAT	188.142	188.077	360293
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army10.14ls.opb	SAT	766.66	767.209	357717
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb	SAT	863.294	863.483	360545

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb	?	10.2874	10.3152	350461
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k5_l4_n750.opb	?	10.8354	10.9116	360461
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k3_l6_n1500.opb	?	10.8463	10.8548	360433
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb	?	11.4773	11.5058	361805
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl.opb	?	11.6752	11.6673	350500
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl.opb	?	12.0992	12.0698	350474
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb	?	12.3561	12.4772	362029
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb	?	13.7679	13.7691	350539
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LsqHdStrong.ucl.opb	?	17.9403	17.9481	350448

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_1_8.opb	UNSAT	0.464929	0.430393	457099
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_3_8.opb	UNSAT	0.471927	0.424183	457489
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_5_5.opb	UNSAT	0.506922	0.435006	457669
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_3_5.opb	UNSAT	0.511921	0.476028	457819
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_5_8.opb	UNSAT	0.526919	0.611451	457474
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_4_5.opb	UNSAT	0.527918	0.605046	457024
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_4_8.opb	UNSAT	0.529919	0.710324	457939
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_2_8.opb	UNSAT	0.531918	0.684755	457054
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_2_5.opb	UNSAT	0.567912	0.717727	457459
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_1_5.opb	UNSAT	0.575911	0.681514	457924

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_4_5.opb	SAT	0.605907	0.522741	457684
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_5_5.opb	SAT	0.611906	0.524604	457324
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_2_5.opb	SAT	0.644901	0.594811	456904
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_1_5.opb	SAT	0.663898	0.781075	457294
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_3_5.opb	SAT	0.706892	0.815071	456814
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_25_1_5.opb	SAT	1.2968	1.16287	457399
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_25_2_5.opb	SAT	1.3038	1.2557	456574
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_3_15.opb	SAT	1.58076	1.72113	456664
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_1_15.opb	SAT	1.58776	1.46869	457384
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_2_15.opb	SAT	1.65775	1.58471	457429
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_5_15.opb	SAT	1.67374	1.52556	457894
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_4_15.opb	SAT	1.68574	1.58233	457219
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_3_15.opb	SAT	1.72674	1.78461	457309
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_25_4_5.opb	SAT	2.28865	2.36539	456919
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_1_15.opb	SAT	2.93355	2.82585	456949
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_25_3_5.opb	SAT	3.01054	3.11279	457264
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_4_15.opb	SAT	5.21521	5.11467	456829
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_5_15.opb	SAT	6.86896	6.83464	456784
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_2_15.opb	SAT	6.91095	6.79054	458044
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_4_15.opb	SAT	7.04293	7.07597	456619
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_1_15.opb	SAT	7.10992	7.18142	456994
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_3_15.opb	SAT	7.17591	7.27437	457159
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_25_5_5.opb	SAT	8.08277	7.97775	456769
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_5_15.opb	SAT	8.45071	8.38516	457174
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_2_15.opb	SAT	14.7947	14.8547	456754
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_1_15.opb	SAT	27.7138	27.8761	456694
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_1_15.opb	SAT	32.0801	31.9375	457864
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_2_15.opb	SAT	32.0831	32.1625	457624
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_2_15.opb	SAT	32.4491	32.3511	457774
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_4_15.opb	SAT	33.144	33.5422	456589
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_3_15.opb	SAT	33.3069	33.194	457204
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_5_15.opb	SAT	33.4909	33.4925	457189
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_5_15.opb	SAT	33.7639	33.7533	457129
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_3_15.opb	SAT	153.54	153.517	457909
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_4_15.opb	SAT	266.62	266.567	457729
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_5_15.opb	SAT	298.54	298.536	457834
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_3_15.opb	SAT	344.688	344.685	457504
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_4_15.opb	SAT	344.773	345.068	457984
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_2_15.opb	SAT	371.89	372.055	458029
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_1_15.opb	SAT	691.213	691.474	457354