PB'06 evaluation: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-stocfor1.opb	UNSAT	1.15682	0.793168	44716
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scagr7.opb	UNSAT	1.36779	0.895375	44694
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-bore3d.opb	UNSAT	1.85772	1.36024	44657
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-capri.opb	UNSAT	1.86971	1.31037	44684
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-e226.opb	UNSAT	2.08968	1.42069	44644
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-qnet1_o.opb	UNSAT	2.16567	1.37171	44798
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-qnet1.opb	UNSAT	2.23566	1.42244	44800
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-ship04s.opb	UNSAT	2.24766	1.69066	44675
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scfxm1.opb	UNSAT	2.24966	1.78	44702
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-etamacro.opb	UNSAT	2.26066	1.75773	44660
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-brandy.opb	UNSAT	2.40563	1.49015	44659
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-bandm.opb	UNSAT	2.51162	1.94425	44718
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-beaconfd.opb	UNSAT	2.57661	2.04268	44709
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scagr25.opb	UNSAT	2.75958	1.9254	44677
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-share1b.opb	UNSAT	2.90456	1.57814	44643
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-pilot4.opb	UNSAT	3.39748	2.68377	44682
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-fffff800.opb	UNSAT	4.00339	3.29667	44710
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scfxm2.opb	UNSAT	4.23436	3.2413	44695
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-perold.opb	UNSAT	4.5723	3.69828	44668
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-ship04l.opb	UNSAT	5.57915	4.52013	44701
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scfxm3.opb	UNSAT	5.95709	5.03847	44692
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-ganges.opb	UNSAT	6.28804	5.23968	44649
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-25fv47.opb	UNSAT	7.04293	5.86557	44638
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-pilot.opb	UNSAT	7.2079	6.34539	44706
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-ship08s.opb	UNSAT	7.83981	6.48265	44663
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-ship12s.opb	UNSAT	7.94679	6.74354	44636
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-stocfor2.opb	UNSAT	9.92049	8.48482	44711
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-nesm.opb	UNSAT	10.4264	9.08782	44650
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-ship08l.opb	UNSAT	12.5451	10.8111	44655
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-ship12l.opb	UNSAT	13.7279	12.2347	44639
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-pilot87.opb	UNSAT	15.1447	13.6477	44656
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-bnl2.opb	UNSAT	15.4996	13.6661	44703
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-d2q06c.opb	UNSAT	25.4491	23.2461	44686
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-momentum1.opb	UNSAT	34.3838	32.9156	44789
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-80bau3b.opb	UNSAT	36.3225	33.7813	44713
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-momentum2.opb	UNSAT	38.3452	35.6645	44755
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-woodw.opb	UNSAT	40.9138	37.7924	44697
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-rd-rplusc-21.opb	UNSAT	92.8859	85.5165	44773
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-arki001.opb	UNSAT	421.425	418.547	44775

Benchmark Name	Answer	Objective function	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-BIGINT/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb	OPT	9663726592	0.32295	0.310854	44633
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/ factor/normalized-factor-sizeN=20-sizeP=11-sizeQ=20-496708.opb	OPT	1	1.03384	0.735047	50930
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb	OPT	344750	2.91656	1.91239	44632
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-misc02.opb	OPT	1075471360	5.60315	4.55112	44738
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-misc01.opb	OPT	1074317824	9.8775	8.38002	44743
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-flugpl.opb	OPT	14745600	33.4459	31.25	44740
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/ factor/normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543.opb	OPT	1	639.834	634.189	50969

Benchmark Name	Answer	Objective function	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core2536-691.opb	SAT	1169408000000000	983.931	965.816	44597
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb	SAT	1691648000000000	1520.59	1487.46	44617

Benchmark Name	Answer	Objective function	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-misc03.opb	SAT (TO)	1077181440	1800.29	1784.5	44732
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-egout.opb	SAT (TO)	647014171	1800.29	1783.58	44726
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-markshare1_1.opb	SAT (TO)	222208	1800.31	1794.55	44581
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos13.opb	SAT (TO)	-28612134	1800.32	1753.59	44576
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb	SAT (TO)	1207959552	1800.35	1785.54	44785
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-gr4x6.opb	SAT (TO)	40111935	1800.37	1779.58	44545
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-israel.opb	SAT (TO)	-276360520335	1800.41	1787.57	44637
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sc105.opb	SAT (TO)	0	1800.42	1786.49	44669
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-bk4x3.opb	SAT (TO)	440320	1800.42	1782.52	44559
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sc205.opb	SAT (TO)	0	1800.49	1786.64	44708
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-rout.opb	SAT (TO)	1075340544	1800.5	1785.62	44771
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-harp2.opb	SAT (TO)	-60594527	1800.5	1774.75	44751
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-grow7.opb	SAT (TO)	0	1800.53	1791.58	44688
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell5.opb	SAT (TO)	2390880232227369	1800.54	1776.64	44737
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-set1cl.opb	SAT (TO)	579808256	1800.58	1786.68	44729
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-glass4.opb	SAT (TO)	3604510536234	1800.63	1778.55	44605
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-496708-max.opb	SAT (TO)	-4	1800.67	1786.51	50947
normalized-PB06/OPT-BIGINT/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-nazareth.opb	SAT (TO)	-6667	1800.68	1793.38	44631
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell3b.opb	SAT (TO)	4682094455589205	1800.7	1778.63	44748
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-markshare2.opb	SAT (TO)	278528	1800.71	1791.61	44781
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mkc.opb	SAT (TO)	0	1800.71	1787.5	44777
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mas74.opb	SAT (TO)	52428797515	1800.72	1799.61	44753
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543-max.opb	SAT (TO)	-1281	1800.73	1786.6	51012
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-blend.opb	SAT (TO)	0	1800.78	1786.48	44720
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell4.opb	SAT (TO)	547585666917274	1800.82	1776.7	44723
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sc50a.opb	SAT (TO)	0	1800.87	1786.45	44707
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod013.opb	SAT (TO)	41733120	1800.87	1782.67	44727
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-sp98ar.opb	SAT (TO)	5936990363	1800.88	1788.81	44596
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-kb2.opb	SAT (TO)	0	1800.9	1782.46	44676
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos17.opb	SAT (TO)	17363962	1800.91	1778.66	44585
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-markshare2_1.opb	SAT (TO)	264638	1800.93	1796.47	44573
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-markshare1.opb	SAT (TO)	155648	1800.94	1790.47	44790
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-grow22.opb	SAT (TO)	0	1800.94	1777.7	44673
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-afiro.opb	SAT (TO)	-720	1800.96	1777.46	44698
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-sp97ar.opb	SAT (TO)	3982597801	1800.97	1789.75	44606
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-recipe.opb	SAT (TO)	-53501881	1800.99	1780.57	44653
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-sp98ic.opb	SAT (TO)	5881691489	1800.99	1787.8	44623
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-van.opb	SAT (TO)	30517375819	1801.02	1789.73	44603
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mas76.opb	SAT (TO)	143487941105	1801.04	1796.42	44768
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-misc07.opb	SAT (TO)	1076705280	1801.07	1782.42	44759
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb	SAT (TO)	2147483647	1801.07	1788.5	44629
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-misc05.opb	SAT (TO)	1076968448	1801.08	1769.62	44742
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos11.opb	SAT (TO)	10240	1801.1	1786.56	44593
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-noswot.opb	SAT (TO)	-41	1801.11	1783.57	44791
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-van.opb	SAT (TO)	29193312741	1801.21	1791.78	44761
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sc50b.opb	SAT (TO)	0	1801.21	1785.5	44665
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell3a.opb	SAT (TO)	1853947970120440	1801.24	1779.58	44741
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-grow15.opb	SAT (TO)	0	1801.27	1779.69	44672
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb	SAT (TO)	3063836008049	1801.28	1776.54	44763
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-set1al.opb	SAT (TO)	585542656	1801.31	1787.61	44735
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sctap1.opb	SAT (TO)	10169175305	1801.31	1781.74	44689
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-sp97ic.opb	SAT (TO)	4764730539	1801.33	1789.7	44626
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran16x16.opb	SAT (TO)	9685269	1801.48	1776.72	44551
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos12.opb	SAT (TO)	25600	1801.61	1787.89	44570
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-CMS750_4.opb	SAT (TO)	1024000	1801.62	1794.74	44618
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-msc98-ip.opb	SAT (TO)	2882590000998510470	1801.73	1794.76	44774
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-nug08.opb	SAT (TO)	124	1801.75	1786.34	44575
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-gesa3.opb	SAT (TO)	5265242629070	1801.76	1790.05	44812
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb	SAT (TO)	2390016000000000	1802.12	1769.41	44622
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-cycle.opb	SAT (TO)	0	1802.48	1794.37	44691
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-mkc1.opb	SAT (TO)	0	1802.52	1789.3	44578
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-fit1p.opb	SAT (TO)	10627584	1803.45	1786.91	44635
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-siena1.opb	SAT (TO)	16269067107200000	1804.27	1784.39	44599
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-momentum3.opb	SAT (TO)	10752000000	1804.36	1741.68	44752
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb	SAT (TO)	0	1804.37	1767.5	44767
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-dolom1.opb	SAT (TO)	18720440947643392	1804.44	1787.37	44602
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-trento1.opb	SAT (TO)	21491069266217984	1804.61	1789.43	44615
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-rail507.opb	SAT (TO)	365568000000000	1804.7	1777.46	44598
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-fit2d.opb	SAT (TO)	-700	1804.71	1785.34	44662
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-qap10.opb	SAT (TO)	227	1804.77	1789.37	44569
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-fit2p.opb	SAT (TO)	223039233	1804.83	1788.47	44647
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-dc1l.opb	SAT (TO)	17540679175205888	1804.83	1799.38	44628
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-biella1.opb	SAT (TO)	1589451092070400	1804.84	1788.49	44619
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb	SAT (TO)	95959999077	1804.84	1794.39	44764
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-dc1c.opb	SAT (TO)	17863355069035520	1804.91	1788.43	44621

Benchmark Name	Answer	Objective function	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-ds.opb	?		400.721	371.971	44778

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-blp-ic98.opb	? (TO)	1800.08	1785.42	44624
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb	? (TO)	1800.08	1792.35	44611
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb	? (TO)	1800.09	1796.43	44630
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-737522999.opb	? (TO)	1800.09	1786.4	50964
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-swath3.opb	? (TO)	1800.09	1786.46	44584
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478.opb	? (TO)	1800.1	1784.45	50994
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-451332552-max.opb	? (TO)	1800.1	1792.7	50972
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-maros.opb	? (TO)	1800.12	1788.41	44664
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-blp-ir98.opb	? (TO)	1800.12	1783.46	44608
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-451332552.opb	? (TO)	1800.12	1790.47	50973
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-seba.opb	? (TO)	1800.13	1786.43	44690
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-A2C1S1.opb	? (TO)	1800.13	1793.36	44614
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885.opb	? (TO)	1800.13	1788.5	51013
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-718083277.opb	? (TO)	1800.13	1790.54	51027
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-bnl1.opb	? (TO)	1800.14	1786.46	44679
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2-o.opb	? (TO)	1800.15	1785.48	44779
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-NSR8K.opb	? (TO)	1800.15	1792.46	44627
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3700.opb	? (TO)	1800.15	1780.52	44562
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3708.opb	? (TO)	1800.16	1786.45	44543
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-lotfi.opb	? (TO)	1800.17	1778.59	44652
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb	? (TO)	1800.18	1774.53	44792
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136.opb	? (TO)	1800.19	1783.42	50956
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3703.opb	? (TO)	1800.19	1784.43	44565
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n370c.opb	? (TO)	1800.19	1780.53	44541
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-roll3000.opb	? (TO)	1800.19	1786.6	44607
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727.opb	? (TO)	1800.2	1782.46	51017
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-vtp.base.opb	? (TO)	1800.2	1784.43	44645
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433-max.opb	? (TO)	1800.21	1788.44	51025
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690-max.opb	? (TO)	1800.24	1787.49	51010
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sierra.opb	? (TO)	1800.24	1785.5	44651
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-czprob.opb	? (TO)	1800.25	1793.4	44687
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650.opb	? (TO)	1800.26	1789.49	50957
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650-max.opb	? (TO)	1800.27	1790.2	50958
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-swath1.opb	? (TO)	1800.27	1780.53	44591
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-berlin_5_8_0.opb	? (TO)	1800.27	1778.48	44595
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scrs8.opb	? (TO)	1800.28	1767.48	44683
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249-max.opb	? (TO)	1800.29	1790.46	50966
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran14x18.opb	? (TO)	1800.31	1778.46	44568
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074-max.opb	? (TO)	1800.31	1774.57	50997
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-dfl001.opb	? (TO)	1800.31	1783.55	44646
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-gen.opb	? (TO)	1800.32	1787.57	44733
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114.opb	? (TO)	1800.32	1789.49	50941
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129.opb	? (TO)	1800.32	1764.63	51008
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb	? (TO)	1800.33	1792.63	50978
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-qiu.opb	? (TO)	1800.33	1789.43	44770
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-atlanta-ip.opb	? (TO)	1800.34	1796.36	44788
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-fixnet4.opb	? (TO)	1800.34	1784.56	44747
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631.opb	? (TO)	1800.36	1763.6	50935
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197.opb	? (TO)	1800.36	1789.39	50955
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos15.opb	? (TO)	1800.37	1785.49	44592
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195.opb	? (TO)	1800.37	1756.62	50988
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220.opb	? (TO)	1800.37	1785.52	50998
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555.opb	? (TO)	1800.38	1792.5	50971
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-737522999-max.opb	? (TO)	1800.38	1786.39	50980
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3707.opb	? (TO)	1800.38	1784.44	44557
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498-max.opb	? (TO)	1800.39	1785.46	50996
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-dano3_5.opb	? (TO)	1800.39	1785.44	44572
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403.opb	? (TO)	1800.39	1760.34	50981
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-khb05250.opb	? (TO)	1800.39	1786.62	44725
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-348698641-max.opb	? (TO)	1800.4	1785.47	50940
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-fiber.opb	? (TO)	1800.4	1783.72	44754
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880.opb	? (TO)	1800.41	1765.61	50976
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-a1c1s1.opb	? (TO)	1800.42	1794.38	44762
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n370e.opb	? (TO)	1800.42	1785.47	44550
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3702.opb	? (TO)	1800.42	1784.38	44539
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scsd1.opb	? (TO)	1800.42	1784.62	44670
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727-max.opb	? (TO)	1800.42	1783.43	50977
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-stair.opb	? (TO)	1800.42	1781.56	44667
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490.opb	? (TO)	1800.43	1759.65	50968
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839.opb	? (TO)	1800.43	1784.53	51001
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos7.opb	? (TO)	1800.43	1787.5	44586
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-degen3.opb	? (TO)	1800.43	1778.44	44722
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-degen2.opb	? (TO)	1800.44	1783.44	44678
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-bc1.opb	? (TO)	1800.44	1775.53	44574
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos14.opb	? (TO)	1800.44	1785.48	44582
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-blend2.opb	? (TO)	1800.44	1783.46	44808
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-A1C1S1.opb	? (TO)	1800.44	1796.4	44625
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-348698641.opb	? (TO)	1800.44	1786.41	50991
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran13x13.opb	? (TO)	1800.45	1769.62	44554
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran4x64.opb	? (TO)	1800.45	1784.56	44564
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-gfrd-pnc.opb	? (TO)	1800.48	1785.78	44705
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220-max.opb	? (TO)	1800.48	1786.61	50982
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612-max.opb	? (TO)	1800.49	1758.72	50961
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-danoint.opb	? (TO)	1800.49	1786.45	44756
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195-max.opb	? (TO)	1800.49	1757.67	50967
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114-max.opb	? (TO)	1800.5	1789.48	51014
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986.opb	? (TO)	1800.51	1785.13	51004
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scorpion.opb	? (TO)	1800.51	1776.46	44704
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb	? (TO)	1800.52	1775.51	44538
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-dano3mip.opb	? (TO)	1800.53	1779.5	44783
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-fixnet3.opb	? (TO)	1800.53	1785.81	44749
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522-max.opb	? (TO)	1800.54	1780.5	51023
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-gesa3_o.opb	? (TO)	1800.54	1785.45	44803
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-472296155-max.opb	? (TO)	1800.54	1795.56	51002
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480.opb	? (TO)	1800.55	1757.66	50933
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866.opb	? (TO)	1800.55	1783.49	51007
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522.opb	? (TO)	1800.55	1781.52	50992
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197-max.opb	? (TO)	1800.55	1791.47	50970
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794-max.opb	? (TO)	1800.55	1756.69	50939
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132-max.opb	? (TO)	1800.56	1759.73	51011
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3705.opb	? (TO)	1800.57	1784.42	44556
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839-max.opb	? (TO)	1800.57	1785.54	51021
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542-max.opb	? (TO)	1800.57	1784.44	50990
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-gesa2.opb	? (TO)	1800.57	1787.48	44758
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-tr12-30.opb	? (TO)	1800.58	1787.44	44772
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-swath2.opb	? (TO)	1800.58	1785.43	44571
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-wood1p.opb	? (TO)	1800.58	1777.5	44699
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos6.opb	? (TO)	1800.58	1779.6	44589
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433.opb	? (TO)	1800.59	1786.45	50932
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-510733673-max.opb	? (TO)	1800.59	1765.7	51015
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x12.opb	? (TO)	1800.59	1775.54	44553
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478-max.opb	? (TO)	1800.6	1785.47	51024
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb	? (TO)	1800.6	1783.42	50965
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb	? (TO)	1800.61	1782.44	44787
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-standata.opb	? (TO)	1800.62	1787.53	44693
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249.opb	? (TO)	1800.62	1789.51	50995
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran12x21.opb	? (TO)	1800.62	1775.53	44555
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-shell.opb	? (TO)	1800.62	1785.52	44719
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415-max.opb	? (TO)	1800.63	1791.61	51005
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129-max.opb	? (TO)	1800.64	1761.83	50931
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-510733673.opb	? (TO)	1800.64	1764.67	50945
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006-max.opb	? (TO)	1800.65	1761.67	50959
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-greenbeb.opb	? (TO)	1800.65	1796.4	44641
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sctap3.opb	? (TO)	1800.66	1795.47	44666
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-agg3.opb	? (TO)	1800.66	1783.44	44681
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-pp08a.opb	? (TO)	1800.66	1780.61	44757
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-boeing2.opb	? (TO)	1800.67	1783.57	44642
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866-max.opb	? (TO)	1800.68	1784.46	50936
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos2.opb	? (TO)	1800.68	1787.44	44590
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136-max.opb	? (TO)	1800.69	1783.51	50985
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-agg.opb	? (TO)	1800.69	1783.55	44715
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-bg512142.opb	? (TO)	1800.69	1786.5	44616
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885-max.opb	? (TO)	1800.7	1789.46	51003
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-stp3d.opb	? (TO)	1800.71	1789.5	44780
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174.opb	? (TO)	1800.71	1792.42	50929
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-UMTS.opb	? (TO)	1800.71	1786.47	44612
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390.opb	? (TO)	1800.72	1790.42	50960
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-pilot.we.opb	? (TO)	1800.72	1788.47	44648
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986-max.opb	? (TO)	1800.73	1784.5	51006
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-modszk1.opb	? (TO)	1800.73	1790.73	44674
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522-max.opb	? (TO)	1800.73	1782.49	50949
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-rgn.opb	? (TO)	1800.74	1778.53	44750
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325.opb	? (TO)	1800.74	1787.47	51000
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-d6cube.opb	? (TO)	1800.74	1780.51	44661
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb	? (TO)	1800.74	1764.66	44535
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522.opb	? (TO)	1800.74	1781.59	50952
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-set1ch.opb	? (TO)	1800.75	1786.49	44776
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534.opb	? (TO)	1800.75	1788.5	51016
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174-max.opb	? (TO)	1800.76	1790.44	51018
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-liu.opb	? (TO)	1800.76	1777.61	44765
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480-max.opb	? (TO)	1800.76	1760.68	50943
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-dcmulti.opb	? (TO)	1800.76	1786.54	44730
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-tuff.opb	? (TO)	1800.76	1790.44	44685
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-misc06.opb	? (TO)	1800.77	1786.49	44724
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074.opb	? (TO)	1800.77	1774.59	50987
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scsd8.opb	? (TO)	1800.78	1790.45	44714
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos20.opb	? (TO)	1800.78	1784.55	44579
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3709.opb	? (TO)	1800.79	1784.47	44563
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-sample2.opb	? (TO)	1800.79	1784.43	44731
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome12.opb	? (TO)	1800.79	1687.67	44537
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534-max.opb	? (TO)	1800.8	1788.53	50993
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-dano3_3.opb	? (TO)	1800.8	1788.47	44587
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-boeing1.opb	? (TO)	1800.81	1785.48	44700
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-share2b.opb	? (TO)	1800.82	1785.47	44717
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390-max.opb	? (TO)	1800.83	1790.5	50934
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-misc04.opb	? (TO)	1800.83	1794.69	44744
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354.opb	? (TO)	1800.83	1784.5	50975
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-roll3000.opb	? (TO)	1800.83	1787.49	44766
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-dano3_4.opb	? (TO)	1800.84	1790.2	44594
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403-max.opb	? (TO)	1800.84	1760.63	50950
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354-max.opb	? (TO)	1800.84	1787.55	50974
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542.opb	? (TO)	1800.85	1784.52	51026
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-bal8x12.opb	? (TO)	1800.85	1778.61	44567
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-agg2.opb	? (TO)	1800.86	1785.44	44658
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-forplan.opb	? (TO)	1800.86	1785.52	44654
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-bienst2.opb	? (TO)	1800.86	1782.85	44580
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-tr12-30.opb	? (TO)	1800.88	1789.5	44609
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415.opb	? (TO)	1800.89	1791.57	50946
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-dg012142.opb	? (TO)	1800.9	1782.49	44613
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-maros-r7.opb	? (TO)	1800.91	1794.44	44680
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb	? (TO)	1800.92	1781.56	44601
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690.opb	? (TO)	1800.92	1786.44	50979
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sctap2.opb	? (TO)	1800.94	1795.42	44640
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238-max.opb	? (TO)	1800.94	1776.66	50944
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-fixnet6.opb	? (TO)	1800.95	1782.22	44786
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-472296155.opb	? (TO)	1800.95	1796.45	51009
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794.opb	? (TO)	1800.96	1756.56	51028
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n370a.opb	? (TO)	1800.96	1785.49	44542
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159.opb	? (TO)	1800.96	1787.46	50986
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-adlittle.opb	? (TO)	1800.96	1790.43	44712
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran8x32.opb	? (TO)	1800.97	1782.54	44558
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos3.opb	? (TO)	1800.97	1784.53	44583
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-swath.opb	? (TO)	1800.97	1781.5	44769
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-718083277-max.opb	? (TO)	1800.98	1790.51	51022
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-greenbea.opb	? (TO)	1800.98	1795.42	44696
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb	? (TO)	1800.99	1781.48	44620
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x26.opb	? (TO)	1800.99	1780.53	44546
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631-max.opb	? (TO)	1800.99	1765.63	50942
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-blp-ar98.opb	? (TO)	1801	1796.41	44610
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n370b.opb	? (TO)	1801	1784.56	44561
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490-max.opb	? (TO)	1801	1759.72	50937
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3706.opb	? (TO)	1801.02	1784.46	44566
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3704.opb	? (TO)	1801.02	1789.48	44544
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab1.opb	? (TO)	1801.02	1783.45	44784
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-517735400.opb	? (TO)	1801.02	1760.66	50984
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378.opb	? (TO)	1801.03	1786.59	50953
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880-max.opb	? (TO)	1801.03	1758.68	50951
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554.opb	? (TO)	1801.03	1751.62	51020
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-517735400-max.opb	? (TO)	1801.04	1762.71	51019
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran17x17.opb	? (TO)	1801.05	1785.48	44560
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325-max.opb	? (TO)	1801.05	1787.71	50963
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159-max.opb	? (TO)	1801.05	1786.51	50983
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378-max.opb	? (TO)	1801.05	1785.53	50948
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132.opb	? (TO)	1801.06	1767.69	50954
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3701.opb	? (TO)	1801.07	1782.4	44547
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-standgub.opb	? (TO)	1801.07	1789.41	44671
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb	? (TO)	1801.08	1796.45	44600
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-pk1.opb	? (TO)	1801.08	1784.68	44760
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran12x12.opb	? (TO)	1801.09	1779.61	44552
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554-max.opb	? (TO)	1801.09	1751.71	50962
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-bienst1.opb	? (TO)	1801.1	1784.58	44577
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scsd6.opb	? (TO)	1801.1	1787.5	44721
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran6x43.opb	? (TO)	1801.11	1785.55	44540
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612.opb	? (TO)	1801.13	1760.66	50999
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome13.opb	? (TO)	1801.14	1667.4	44536
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x10c.opb	? (TO)	1801.14	1774.62	44548
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-modglob.opb	? (TO)	1801.15	1786.46	44782
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb	? (TO)	1801.16	1774.57	44549
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006.opb	? (TO)	1801.2	1759.78	50989
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb	? (TO)	1801.24	1778.64	50938

Benchmark Name	Answer	Objective function	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core2586-950.opb	No Cert.		1803.25	1780.66	44604

Benchmark Name	Answer	Objective function	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-p0291.opb	OPT	10447498	14.8157	13.6462	43777
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-pipex.opb	OPT	788263	341.904	338.254	43771
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air01.opb	OPT	3398	538.235	530.828	43767

Benchmark Name	Answer	Objective function	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air02.opb	SAT (TO)	4489	1800.4	1783.63	43768
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-p0282.opb	SAT (TO)	282007	1800.45	1773.47	43769
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air03.opb	SAT (TO)	246113	1800.66	1782.68	43773
normalized-PB06/OPT-MEDINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-3.opb	SAT (TO)	22070	1800.71	1774.58	43794
normalized-PB06/OPT-MEDINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-fit1d.opb	SAT (TO)	-251	1800.89	1785.72	43765
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-gt2.opb	SAT (TO)	47803	1800.95	1782.47	43786
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-air05.opb	SAT (TO)	43735	1801.12	1772.69	43779
normalized-PB06/OPT-MEDINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-seymour1.opb	SAT (TO)	495616	1801.32	1783.7	43764

Benchmark Name	Answer	Objective function	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-ds.opb	?		376.33	347.62	43762

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-air04.opb	? (TO)	1800.23	1764.45	43781
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome13.opb	? (TO)	1800.37	1649.56	43761
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-vpm1.opb	? (TO)	1800.39	1784.43	43772
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-aflow40b.opb	? (TO)	1800.6	1788.47	43778
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air06.opb	? (TO)	1800.77	1767.47	43774
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-aflow30a.opb	? (TO)	1800.85	1782.53	43783
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-nw04.opb	? (TO)	1800.86	1772.53	43784
normalized-PB06/OPT-MEDINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos9.opb	? (TO)	1800.89	1765.48	43763
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome12.opb	? (TO)	1800.97	1680.7	43760
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-enigma.opb	? (TO)	1801.08	1784.48	43766
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-vpm2.opb	? (TO)	1801.14	1784.57	43782
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-p6000.opb	? (TO)	1802.57	1791.76	43775
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-t1717.opb	? (TO)	1802.83	1753.57	43780

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.25996	0.263523	44117
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa0432-003.opb	UNSAT	1.09583	0.784593	44319
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-gr4x6.opb	UNSAT	1.24081	0.792961	43804
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-bf2670-001.opb	UNSAT	1.66575	1.35213	44361
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-bore3d.opb	UNSAT	1.9707	1.31325	43928
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos17.opb	UNSAT	2.21466	1.62297	43853
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10b.opb	UNSAT	2.23466	1.63249	43805
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10c.opb	UNSAT	2.24066	1.56161	43813
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa2670-141.opb	UNSAT	2.39763	2.11506	44414
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa2670-130.opb	UNSAT	2.46263	1.95336	44400
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran10x12.opb	UNSAT	2.57061	1.84341	43796
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-vtp.base.opb	UNSAT	2.6506	2.01159	43936
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-bandm.opb	UNSAT	2.68359	1.89577	43943
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-bal8x12.opb	UNSAT	2.75658	2.11901	43825
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-bf1355-075.opb	UNSAT	2.89756	2.39609	44427
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-bf1355-638.opb	UNSAT	2.98454	2.47594	44411
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran12x12.opb	UNSAT	3.10953	2.36424	43823
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran13x13.opb	UNSAT	3.59045	2.83471	43826
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-brandy.opb	UNSAT	3.60345	2.68093	43957
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos11.opb	UNSAT	4.90525	3.09986	43834
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-seba.opb	UNSAT	5.06923	4.138	43939
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran6x43.opb	UNSAT	5.64614	4.65658	43806
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran14x18.opb	UNSAT	5.81911	4.81195	43798
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran8x32.opb	UNSAT	8.50671	7.26245	43819
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-bf0432-007.opb	UNSAT	9.28759	8.71668	44331
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran10x26.opb	UNSAT	12.3601	11.2144	43814
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-pilot.opb	UNSAT	12.4041	10.759	43961
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-pilot87.opb	UNSAT	12.5581	11.296	43911
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos12.opb	UNSAT	13.058	11.8557	43837
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-e226.opb	UNSAT	13.8649	12.4138	43904
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran12x21.opb	UNSAT	15.4147	14.2615	43821
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa6288-047.opb	UNSAT	18.9411	18.2352	44326
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=23-Q=521.opb	UNSAT	26.563	25.3237	48890
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum2.opb	UNSAT	30.5484	28.0143	44033
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-arki001.opb	UNSAT	33.14	31.4588	44045
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum1.opb	UNSAT	34.4608	32.9767	44057
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-80bau3b.opb	UNSAT	35.3606	32.7623	43971
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-siena1.opb	UNSAT	36.9494	34.9489	43862
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-dolom1.opb	UNSAT	44.7922	42.6728	43860
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-scrs8.opb	UNSAT	100.844	98.8704	43944
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran4x64.opb	UNSAT	121.367	119.981	43818
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-bc1.opb	UNSAT	131.415	125.091	43832
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=379-Q=521.opb	UNSAT	138.518	136.825	48825
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=113-Q=521.opb	UNSAT	139.265	137.653	48942
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-atlanta-ip.opb	UNSAT	197.331	194.714	44043
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=383-Q=521.opb	UNSAT	219.503	217.626	48859
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-degen2.opb	UNSAT	277.01	274.129	43952
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-d6cube.opb	UNSAT	342.646	337.705	43932
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=397-Q=521.opb	UNSAT	368.251	365.105	48932
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=521.opb	UNSAT	437.019	433.725	48787
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-biella1.opb	UNSAT	950.33	943.751	43864
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-bnl2.opb	UNSAT	969.67	964.089	43976
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-misc05.opb	UNSAT	1170.27	1160.09	43987

Benchmark Name	Answer	Objective function	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g2x2.opb	OPT	2	0.25996	0.254992	44470
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein9.opb	OPT	5	0.279956	0.3065	44120
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-C17.opb	OPT	260	0.279957	0.278769	44280
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.290955	0.257676	43893
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-b1.opb	OPT	128	0.297953	0.31212	44272
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g4x4.opb	OPT	4	0.300953	0.367333	44473
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-bbara.r.opb	OPT	7	0.306952	0.314589	50833
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex5inp.r.opb	OPT	4	0.372942	0.370846	50858
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-1_6-yes1-4.opb	OPT	50	0.403937	0.316504	44375
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-maros.opb	OPT	12	0.409937	0.365599	43892
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb	OPT	50	0.409937	0.383585	44381
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-1_6-yes1-1.opb	OPT	50	0.415936	0.419184	44417
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-1_6-yes1-3.opb	OPT	50	0.418935	0.370836	44372
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-3_4-yes1-3.opb	OPT	50	0.427934	0.367333	44321
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb	OPT	50	0.431933	0.364078	44325
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-2_0-yes1-3.opb	OPT	50	0.450931	0.413914	44384
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-opus.r.opb	OPT	5	0.488924	0.426415	50811
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-1_6-yes1-2.opb	OPT	50	0.492924	0.423032	44327
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-1_6-yes1-4.opb	OPT	100	0.498923	0.418679	44344
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-1_6-yes1-2.opb	OPT	100	0.531918	0.423062	44402
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-1_6-yes1-3.opb	OPT	100	0.532918	0.477401	44407
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-4-c.opb	OPT	67	0.540917	0.431556	44370
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.opb	OPT	100	0.562914	0.472392	44356
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb	OPT	50	0.58791	0.435544	44450
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-3_4-yes1-1.opb	OPT	50	0.613906	0.475976	44415
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-2_0-yes1-2.opb	OPT	50	0.619905	0.472904	44444
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-3_4-yes1-2.opb	OPT	50	0.626904	0.531837	44337
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-6_0-yes1-2.opb	OPT	50	0.640901	0.483912	44388
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-6_0-yes1-4.opb	OPT	50	0.647901	0.523376	44334
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-6_0-yes1-1.opb	OPT	50	0.669897	0.490759	44332
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mas74.opb	OPT	1	0.669897	0.52174	44064
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-3_4-yes1-4.opb	OPT	50	0.673896	0.517086	44352
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb	OPT	100	0.675896	0.529614	44378
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb	OPT	100	0.693893	0.528122	44386
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-2.opb	OPT	100	0.694893	0.575211	44328
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.opb	OPT	100	0.701892	0.529494	44376
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mas76.opb	OPT	1	0.706892	0.529122	44066
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb	OPT	200	0.71689	0.567299	44422
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein15.opb	OPT	9	0.71889	0.528974	44122
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb	OPT	200	0.722889	0.529237	44359
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-1-c.opb	OPT	64	0.723889	0.590183	44366
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb	OPT	100	0.739887	0.55382	44348
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g9x3.opb	OPT	7	0.741886	0.55485	44475
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb	OPT	100	0.743886	0.587336	44393
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-3-c.opb	OPT	75	0.776881	0.523099	44409
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-2.opb	OPT	200	0.787879	0.585067	44395
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_40_40.r.opb	OPT	2	0.792878	0.547343	50836
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_90_90.r.opb	OPT	2	0.800877	0.576178	50848
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb	OPT	200	0.817874	0.580072	44385
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-1.opb	OPT	200	0.822873	0.575308	44436
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_70_70.r.opb	OPT	2	0.858869	0.607905	50807
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex6inp.r.opb	OPT	4	0.868867	0.613723	50824
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-2-c.opb	OPT	68	0.881865	0.633432	44391
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb	OPT	200	0.891863	0.597328	44448
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_4.opb	OPT	6	0.894863	0.624813	50904
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-5-c.opb	OPT	75	0.897863	0.65517	44469
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-2.opb	OPT	100	0.949855	0.648164	44317
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb	OPT	100	0.958853	0.68577	44440
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb	OPT	36	0.962853	0.641923	44293
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb	OPT	200	0.966852	0.681656	44405
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-4.opb	OPT	100	0.978851	0.684503	44383
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-3.opb	OPT	100	0.982849	0.684026	44368
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-1.opb	OPT	200	0.999847	0.681875	44434
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-1.opb	OPT	100	1.03284	0.691004	44335
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.opb	OPT	100	1.04184	0.681723	44412
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-4.opb	OPT	200	1.05584	0.737859	44358
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-5.opb	OPT	350	1.05584	0.784199	44355
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb	OPT	200	1.07584	0.757908	44338
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-1.opb	OPT	200	1.10983	0.787456	44365
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb	OPT	200	1.11283	0.794205	44408
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-4.opb	OPT	350	1.11783	0.918631	44445
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb	OPT	36	1.14582	0.733993	44292
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_90_90.r.opb	OPT	2	1.18182	0.734311	50818
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb	OPT	200	1.25081	0.853877	44455
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh213.opb	OPT	92	1.3278	0.913003	44435
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh12.opb	OPT	94	1.36179	0.886393	44394
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh207.opb	OPT	95	1.38679	0.915389	44374
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-1.opb	OPT	350	1.38779	1.01194	44343
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_4.opb	OPT	6	1.41778	0.882135	46646
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-2.opb	OPT	350	1.45378	0.996086	44451
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-3.opb	OPT	350	1.45478	0.913019	44340
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb	OPT	200	1.46678	1.05627	44399
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-dk512x.r.opb	OPT	6	1.49277	0.943673	50827
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh212.opb	OPT	97	1.51877	1.02706	44453
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb	OPT	200	1.52877	1.00019	44330
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb	OPT	3089	1.57076	0.942331	44121
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-3.opb	OPT	200	1.57176	1.06579	44322
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-maincont.r.opb	OPT	7	1.69374	1.10672	50823
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh205.opb	OPT	94	1.72474	1.1711	44389
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh220.opb	OPT	94	1.74573	1.15708	44430
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh17.opb	OPT	95	1.76873	1.21358	44454
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh301.opb	OPT	95	1.80972	1.1998	44360
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb	OPT	36	1.83972	1.20897	44285
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_5.opb	OPT	11	1.85172	1.0579	50912
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=383-Q=509.opb	OPT	383	1.9417	1.21041	48970
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_30_30.r.opb	OPT	3	1.9647	1.25399	50825
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb	OPT	36	2.25266	1.48865	44295
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ricks.r.opb	OPT	5	2.26466	1.30664	50832
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-noswot.opb	OPT	-7	2.32365	1.38009	44060
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_5.opb	OPT	11	2.35064	1.59108	46637
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=7-Q=31.opb	OPT	1	2.35064	1.57635	48959
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ4_3.opb	OPT	20	2.52961	1.57683	44270
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb	OPT	34	2.66459	1.71539	44294
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=487-Q=499.opb	OPT	487	2.74458	1.67767	48829
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=487-Q=503.opb	OPT	487	2.79257	1.84254	48860
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_50_50.r.opb	OPT	3	2.79557	1.68183	50810
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh204.opb	OPT	93	2.80657	2.10353	44468
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh7.opb	OPT	89	2.87056	2.1104	44442
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh209.opb	OPT	93	2.88356	2.09877	44379
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-rd73.b.opb	OPT	4	2.88956	1.943	50835
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb	OPT	62027	2.91656	1.728	44125
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=499.opb	OPT	223	2.91955	1.78746	48893
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=239-Q=487.opb	OPT	239	2.99554	1.94811	48819
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=7-Q=179.opb	OPT	7	3.04953	1.99771	48858
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex4inp.r.opb	OPT	5	3.15052	2.32438	50837
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh218.opb	OPT	90	3.18951	2.40927	44460
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=353-Q=479.opb	OPT	353	3.2885	2.10653	48944
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_6.opb	OPT	17	3.41448	2.14888	50916
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=397-Q=449.opb	OPT	397	3.44848	2.41243	48953
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=379-Q=431.opb	OPT	379	3.52546	2.27042	48941
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb	OPT	304	3.62045	2.99783	44490
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=347-Q=487.opb	OPT	347	3.62545	2.31976	48926
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=17-Q=487.opb	OPT	17	3.72443	2.64108	48824
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=107-Q=503.opb	OPT	107	3.79042	2.47941	48909
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=179-Q=509.opb	OPT	179	4.06238	2.47265	48915
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=71-Q=409.opb	OPT	71	4.27335	3.35599	48891
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=409-Q=509.opb	OPT	409	4.49332	3.57622	48784
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=409-Q=499.opb	OPT	409	4.71128	3.66155	48812
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=257-Q=503.opb	OPT	257	4.72128	2.62651	48817
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-misc02.opb	OPT	262571	4.72228	3.55699	43998
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=97-Q=479.opb	OPT	97	4.77027	3.63019	48949
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_6.opb	OPT	17	4.83326	3.6588	46636
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=17-Q=347.opb	OPT	17	4.89625	3.92387	48813
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=487.opb	OPT	89	4.90825	3.86506	48900
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=7-Q=223.opb	OPT	7	4.91825	3.59285	48870
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=443-Q=487.opb	OPT	443	5.00424	2.88452	48849
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-share2b.opb	OPT	-52	5.04223	4.04707	43908
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=257-Q=449.opb	OPT	257	5.05923	3.81697	48815
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=23-Q=379.opb	OPT	23	5.13222	3.37136	48888
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=61-Q=419.opb	OPT	61	5.17721	4.1781	48830
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=347-Q=379.opb	OPT	347	5.2832	4.15612	48782
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=487.opb	OPT	47	5.44117	4.28874	48908
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=13-Q=179.opb	OPT	13	5.50916	4.45254	48940
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data4_3.opb	OPT	8276	5.66314	4.7078	44267
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=11-Q=283.opb	OPT	11	5.8961	4.86316	48800
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=31-Q=439.opb	OPT	31	5.9131	4.61047	48826
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=5-Q=317.opb	OPT	5	6.08607	5.06803	48839
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=113-Q=233.opb	OPT	113	6.13107	4.91342	48831
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=23-Q=293.opb	OPT	23	6.15706	5.21599	48786
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=331.opb	OPT	29	6.21006	4.96763	48951
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=367-Q=389.opb	OPT	367	6.41902	5.36762	48968
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh1.opb	OPT	92	6.71298	5.38785	44350
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=71.opb	OPT	29	6.78197	5.49915	48791
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=379.opb	OPT	331	6.89795	5.70628	48788
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=317.opb	OPT	89	7.02293	5.59535	48945
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=11-Q=53.opb	OPT	11	7.11292	6.12054	48948
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=239-Q=373.opb	OPT	239	7.2239	5.96058	48919
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=269-Q=431.opb	OPT	269	7.34888	6.23785	48931
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=59-Q=431.opb	OPT	59	7.49486	6.43572	48789
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g7x7.opb	OPT	12	7.58185	6.54113	44474
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=157-Q=373.opb	OPT	157	7.59484	6.28967	48969
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=307-Q=449.opb	OPT	307	7.82981	6.32214	48938
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=163.opb	OPT	29	7.8948	6.78675	48902
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-9sym.b.opb	OPT	5	8.05577	6.7078	44312
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=293.opb	OPT	89	8.06977	6.99996	48810
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=421-Q=487.opb	OPT	421	8.17576	7.10205	48841
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0291.opb	OPT	7985	8.32373	7.20623	44015
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=127-Q=389.opb	OPT	127	8.42472	7.30553	48811
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=211-Q=479.opb	OPT	211	8.49971	7.33391	48816
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=191-Q=449.opb	OPT	191	8.69168	7.75288	48930
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=317-Q=389.opb	OPT	317	8.69768	7.47119	48947
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=71.opb	OPT	47	8.81466	7.73591	48882
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=269-Q=433.opb	OPT	269	9.24359	8.00523	48820
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=431-Q=503.opb	OPT	431	9.48556	8.39926	48881
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=53-Q=151.opb	OPT	53	9.52255	8.39989	48848
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=479.opb	OPT	29	9.55755	8.60712	48912
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=83-Q=271.opb	OPT	83	9.75352	7.71304	48901
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=277.opb	OPT	29	9.76251	8.58939	48818
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=359-Q=379.opb	OPT	359	10.0385	8.72438	48838
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=79-Q=331.opb	OPT	79	10.4754	8.77366	48827
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=251-Q=419.opb	OPT	251	10.5964	8.45681	48967
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=509.opb	OPT	149	10.6164	9.13405	48961
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=421-Q=449.opb	OPT	421	11.0593	9.75868	48965
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=347.opb	OPT	89	11.3843	10.2756	48943
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=421.opb	OPT	223	11.4643	10.1801	48861
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8a1.opb	OPT	54	11.4683	9.91745	44396
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-fit1p.opb	OPT	0	11.8602	10.5364	43983
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=41-Q=347.opb	OPT	41	12.4071	10.7412	48837
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=307-Q=367.opb	OPT	307	12.4601	10.5928	48790
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-misc01.opb	OPT	262288	12.7881	11.5943	44014
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=113-Q=479.opb	OPT	113	12.972	11.9411	48964
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=409.opb	OPT	29	13.251	11.8356	48905
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=421.opb	OPT	47	13.6559	12.3059	48903
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=263.opb	OPT	223	13.9199	12.7349	48875
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=167-Q=347.opb	OPT	167	13.9259	12.6741	48960
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=281-Q=499.opb	OPT	281	14.3358	12.9393	48792
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-bk4x3.opb	OPT	14	14.3838	13.055	43816
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=431.opb	OPT	89	14.7358	13.5742	48892
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=307-Q=431.opb	OPT	307	14.8917	13.8187	48917
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=347.opb	OPT	223	15.0347	14.0258	48822
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=389-Q=433.opb	OPT	389	15.0677	13.7505	48797
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=127-Q=487.opb	OPT	127	15.0767	13.6216	48887
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=127-Q=211.opb	OPT	127	15.8936	13.7138	48950
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=83-Q=197.opb	OPT	83	15.9406	14.5966	48840
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-4-c.opb	OPT	324	16.0646	15.3204	44320
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=83-Q=449.opb	OPT	83	16.4775	14.9158	48828
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=101-Q=409.opb	OPT	101	16.6205	15.4831	48972
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=439-Q=509.opb	OPT	439	17.2904	15.7973	48885
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=379.opb	OPT	223	17.4933	16.4194	48971
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=211.opb	OPT	89	17.5423	16.3615	48842
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=197-Q=479.opb	OPT	197	20.1019	18.816	48954
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=397.opb	OPT	149	20.2419	18.9772	48880
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-2-c.opb	OPT	349	20.5059	19.8914	44457
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=389.opb	OPT	331	20.5749	18.4509	48933
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=59-Q=419.opb	OPT	59	20.6699	19.5358	48955
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=83-Q=367.opb	OPT	83	20.8538	19.5898	48844
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=53-Q=127.opb	OPT	53	20.8588	18.9812	48939
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-kb2.opb	OPT	-293850	21.9627	20.268	43927
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=191-Q=389.opb	OPT	191	22.4786	21.1579	48863
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb	OPT	34	22.6316	20.5823	44118
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=37-Q=107.opb	OPT	37	22.7975	21.5125	48913
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=251-Q=331.opb	OPT	251	23.3175	21.7884	48805
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16e2.opb	OPT	520	23.6514	22.5537	44424
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=409.opb	OPT	149	23.8044	22.5083	48806
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=67-Q=223.opb	OPT	67	23.8884	22.5068	48929
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=79-Q=173.opb	OPT	79	24.2093	22.8088	48833
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-3-c.opb	OPT	334	24.2483	23.6078	44373
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=233-Q=347.opb	OPT	233	24.4053	23.1341	48924
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=127-Q=359.opb	OPT	127	24.5733	23.2408	48906
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=479.opb	OPT	331	25.0492	23.7205	48876
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=157-Q=163.opb	OPT	157	25.3381	22.8955	48896
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C880.a.opb	OPT	87	25.8771	24.1162	50834
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_7.opb	OPT	25	26.491	25.2258	50907
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=71-Q=491.opb	OPT	71	27.6548	26.4635	48962
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos18.opb	OPT	16	27.6588	26.255	44104
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=61-Q=307.opb	OPT	61	28.6476	27.0116	48835
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=191-Q=251.opb	OPT	191	28.7536	27.3439	48807
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=139-Q=191.opb	OPT	139	29.4685	28.0716	48957
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-5-c.opb	OPT	341	29.5325	28.8931	44464
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-jac3.opb	OPT	15	30.6093	28.7891	44303
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-hanoi4.opb	OPT	718	30.7053	29.7458	44452
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=359.opb	OPT	331	31.2143	29.7376	48920
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=293.opb	OPT	149	31.3972	30.1589	48794
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=313-Q=503.opb	OPT	313	31.4792	29.3756	48918
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=383.opb	OPT	223	31.8222	30.4672	48804
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=127-Q=491.opb	OPT	127	32.1971	30.0656	48873
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=101-Q=457.opb	OPT	101	33.187	31.7075	48856
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-1-c.opb	OPT	317	33.7359	33.1294	44437
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=17-Q=457.opb	OPT	17	33.9868	32.6502	48843
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=127-Q=499.opb	OPT	127	34.2598	32.3924	48850
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=167-Q=173.opb	OPT	167	35.0647	33.7996	48874
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=449-Q=479.opb	OPT	449	35.5726	33.3137	48832
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=431.opb	OPT	223	37.7633	36.2887	48864
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=347-Q=439.opb	OPT	347	38.9831	37.5783	48802
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh210.opb	OPT	88	39.708	38.4386	44362
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=173-Q=173.opb	OPT	173	41.7317	40.4719	48910
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=61-Q=163.opb	OPT	61	43.3164	42.1198	48889
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=43-Q=227.opb	OPT	43	43.8033	42.5302	48899
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-flugpl.opb	OPT	91	43.8853	42.475	44012
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=53-Q=97.opb	OPT	53	45.0761	43.519	48911
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=347-Q=419.opb	OPT	347	45.2751	43.949	48934
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b4.opb	OPT	376	45.754	44.5102	44446
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=331.opb	OPT	331	47.3378	45.499	48847
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=379-Q=397.opb	OPT	379	47.4678	46.2256	48857
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=131-Q=137.opb	OPT	131	48.2507	46.8561	48867
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=109-Q=373.opb	OPT	109	48.9806	47.6865	48963
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=307-Q=317.opb	OPT	307	49.4635	47.9445	48895
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=307-Q=347.opb	OPT	307	52.2371	50.8965	48834
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=197.opb	OPT	47	52.476	50.8607	48853
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=307-Q=307.opb	OPT	307	53.3629	52.0014	48854
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein27.opb	OPT	18	54.2698	52.979	44119
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=347-Q=431.opb	OPT	347	54.7177	53.3133	48846
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32a1.opb	OPT	444	55.2986	54.2416	44423
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=151-Q=167.opb	OPT	151	55.8265	54.5425	48935
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=113-Q=331.opb	OPT	113	55.8695	53.7643	48808
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb	OPT	25	57.3233	55.9163	46640
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=269-Q=359.opb	OPT	269	57.6652	56.267	48914
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=101-Q=379.opb	OPT	101	58.3951	57.0119	48871
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=157-Q=181.opb	OPT	157	62.8034	61.2586	48883
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=251.opb	OPT	149	64.5432	63.3481	48937
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=191-Q=509.opb	OPT	191	64.8661	63.443	48793
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=229-Q=307.opb	OPT	229	65.2321	63.9096	48878
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=101-Q=223.opb	OPT	101	65.494	63.8226	48796
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=257-Q=331.opb	OPT	257	67.5627	66.0526	48851
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=53-Q=191.opb	OPT	53	70.6513	68.3374	48798
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=59-Q=131.opb	OPT	59	71.1112	69.6437	48925
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=83-Q=89.opb	OPT	83	71.6411	70.0945	48884
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=263.opb	OPT	89	73.3329	71.8282	48904
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=67-Q=191.opb	OPT	67	76.9763	75.5111	48862
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=263-Q=367.opb	OPT	263	80.4748	78.9649	48877
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=347.opb	OPT	331	90.4553	88.9171	48958
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=347-Q=421.opb	OPT	347	92.153	90.2434	48898
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=251-Q=379.opb	OPT	251	93.5108	91.9172	48907
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=59-Q=337.opb	OPT	59	95.5445	92.9782	48866
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-4.opb	OPT	1015	95.6695	94.9104	44347
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=109-Q=419.opb	OPT	109	97.4132	96.0587	48852
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=131-Q=157.opb	OPT	131	102.146	100.588	48946
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=79-Q=137.opb	OPT	79	106.362	104.729	48894
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=97-Q=331.opb	OPT	97	106.552	104.785	48927
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=283-Q=293.opb	OPT	283	106.85	105.347	48823
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16c2.opb	OPT	861	106.905	105.551	44426
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=71-Q=461.opb	OPT	71	110.251	108.523	48921
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=307-Q=331.opb	OPT	307	114.201	112.61	48795
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=263-Q=307.opb	OPT	263	120.367	118.611	48836
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=97-Q=509.opb	OPT	97	124.458	122.9	48879
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16b2.opb	OPT	1031	126.023	124.318	44346
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=271.opb	OPT	149	126.621	124.04	48872
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=251-Q=307.opb	OPT	251	129.574	127.007	48803
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb	OPT	36	131.804	129.205	44289
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_70_70.r.opb	OPT	3	131.893	129.094	50828
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/routing/normalized-s4-4-3-10pb.opb	OPT	70	135.698	132.906	44296
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=229-Q=239.opb	OPT	229	137.745	136.005	48781
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh217.opb	OPT	89	142.553	141.091	44387
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=127-Q=149.opb	OPT	127	145.611	143.859	48922
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=59-Q=307.opb	OPT	59	151.331	149.592	48868
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=73-Q=449.opb	OPT	73	154.036	152.396	48966
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-2.opb	OPT	1015	155.91	155.005	44438
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-1.opb	OPT	1015	156.807	156.034	44461
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-5.opb	OPT	1015	159.599	158.846	44371
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=227-Q=383.opb	OPT	227	160.259	158.42	48814
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-f51m.b.opb	OPT	18	165.04	161.304	44308
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32c4.opb	OPT	736	176.205	174.957	44329
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16d2.opb	OPT	785	182.719	181.027	44406
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=37-Q=443.opb	OPT	37	182.946	181.07	48855
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=293-Q=307.opb	OPT	293	187.101	185.475	48923
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-5.opb	OPT	2642	190.49	186.425	44489
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=307.opb	OPT	223	191.233	189.418	48897
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb	OPT	60	193.771	189.99	44286
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=167-Q=179.opb	OPT	167	212.239	209.895	48936
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=167.opb	OPT	149	212.472	210.805	48886
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=107-Q=373.opb	OPT	107	215.079	212.99	48956
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-3.opb	OPT	1015	228.552	227.6	44369
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=251-Q=277.opb	OPT	251	230.588	228.563	48799
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=131-Q=277.opb	OPT	131	239.944	237.799	48916
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=163.opb	OPT	149	263.424	261.288	48785
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=211-Q=347.opb	OPT	211	270.613	268.178	48801
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=131-Q=163.opb	OPT	131	289.436	287.251	48952
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=281-Q=331.opb	OPT	281	290.212	287.436	48865
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-sao2.b.opb	OPT	25	295.101	289.068	44298
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=127-Q=137.opb	OPT	127	311.421	308.608	48783
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air01.opb	OPT	1496	314.897	312.243	44003
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=173-Q=211.opb	OPT	173	322.485	319.769	48869
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-sample2.opb	OPT	5	371.705	369.043	44005
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-sentoy.opb	OPT	-7772	530.259	525.773	44115
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=79-Q=257.opb	OPT	79	540.127	535.666	48821
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-pipex.opb	OPT	164393	618.255	612.976	43991
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=173-Q=191.opb	OPT	173	644.428	639.319	48809
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=487.opb	OPT	149	724.326	717.029	48845
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-5pb.opb	OPT	60	779.438	760.979	44284
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-enigma.opb	OPT	0	1126.15	1115.42	43992
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-count.b.opb	OPT	24	1219.84	1174.1	44307
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=97-Q=457.opb	OPT	97	1222.26	1212.39	48928
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb	OPT	64	1228.34	1201.07	44291
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-5xp1.b.opb	OPT	12	1235.56	1190.36	44304
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-clip.b.opb	OPT	15	1349.71	1311.8	44309
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_8.opb	OPT	34	1413.09	1398.66	50909

Benchmark Name	Answer	Objective function	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-des.a.opb	SAT	1012	760.475	744.458	50816
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb	SAT	-45	849.354	837.328	44525
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb	SAT	-43	939.218	926.836	44506
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-apex4.a.opb	SAT	825	983.117	958.739	44305
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-rail507.opb	SAT	185	1083.76	1039.27	43875
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb	SAT	-39	1145.73	1133.34	44516
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-core4872-1529.opb	SAT	1328	1168.68	1143	43889
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb	SAT	-36	1301.55	1287.6	44511
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex1010.pi.opb	SAT	441	1327.72	1294.94	50861
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb	SAT	-45	1334.97	1323.25	44523
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb	SAT	-41	1353.44	1340.37	44514
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb	SAT	-45	1373.09	1361.33	44526
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb	SAT	-44	1403.49	1392.46	44527
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb	SAT	-43	1494.36	1482.36	44504
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-core4284-1064.opb	SAT	935	1527.05	1505.41	43858
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb	SAT	-35	1597.75	1584.1	44512
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb	SAT	-43	1692.67	1680.82	44505
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-bench1.pi.opb	SAT	167	1707.21	1657.24	44306

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb	? (exit code)	974.485	962.013	44503
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb	? (exit code)	1475.31	1462.2	44520
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb	? (exit code)	1655.65	1642.21	44510
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb	? (exit code)	1688.05	1673.25	44499

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-fit2p.opb	No Cert.	793.847	758.558	43978
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb	No Cert.	1779.42	1767.01	44507
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-sp97ar.opb	No Cert.	1797.57	1758.71	44051

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-11-10.opb	UNSAT	0.337948	0.31511	46396
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-15-10.opb	UNSAT	0.341947	0.317237	46404
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb	UNSAT	0.357944	0.326991	43740
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb	UNSAT	0.393939	0.309461	43672
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb	UNSAT	0.399938	0.421431	43693
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb	UNSAT	0.422935	0.363333	43698
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl.opb	UNSAT	0.497924	0.372712	43720
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl.opb	UNSAT	0.538917	0.418075	43721
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb	UNSAT	0.542917	0.436064	43647
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-25-20.opb	UNSAT	0.574912	0.429293	46370
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb	UNSAT	0.626904	0.476725	43665
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb	UNSAT	0.646901	0.485013	43667
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb	UNSAT	0.658899	0.524499	43689
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-21-20.opb	UNSAT	0.661898	0.523366	46399
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb	UNSAT	0.727889	0.527119	43670
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb	UNSAT	0.792879	0.574463	43679
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-35-30.opb	UNSAT	0.823874	0.633433	46401
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb	UNSAT	0.871866	0.705127	43671
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb	UNSAT	0.879865	0.690255	46372
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb	UNSAT	0.915859	0.678002	43673
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-31-30.opb	UNSAT	0.953854	0.678245	46384
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb	UNSAT	1.00684	0.732494	43648
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb	UNSAT	1.03484	0.684146	43743
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb	UNSAT	1.07983	0.683522	43741
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb	UNSAT	1.08783	0.801324	43669
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb	UNSAT	1.13883	0.852042	43675
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb	UNSAT	1.20881	0.835705	43668
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb	UNSAT	1.23181	0.898763	43691
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb	UNSAT	1.23581	0.896026	43684
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb	UNSAT	1.26681	0.945369	46374
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb	UNSAT	1.38179	0.95286	46405
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb	UNSAT	1.47678	1.10524	43697
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb	UNSAT	1.49577	1.05117	43732
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb	UNSAT	1.50277	1.21715	43722
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb	UNSAT	1.62775	1.21156	43654
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb	UNSAT	1.64275	1.15248	43660
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb	UNSAT	1.68474	1.19979	43748
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-51-50.opb	UNSAT	1.71274	1.38797	46398
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb	UNSAT	1.74673	1.21793	43718
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.opb	UNSAT	1.85872	1.37385	46382
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-37s.smv.opb	UNSAT	1.92371	1.42008	43716
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb	UNSAT	1.9757	1.43419	43728
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-44s.smv.opb	UNSAT	2.08368	1.37336	43715
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb	UNSAT	2.21366	1.73761	43661
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.opb	UNSAT	2.39364	1.86804	46368
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.opb	UNSAT	2.45063	1.89564	46400
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb	UNSAT	2.53561	2.051	46381
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb	UNSAT	3.15452	2.41484	43710
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb	UNSAT	3.22551	2.68593	46390
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-95-90.opb	UNSAT	3.23751	2.72525	46386
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-25s.smv.opb	UNSAT	4.04139	3.49641	43742
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-cardinality-105-100.opb	UNSAT	4.25835	3.66141	46402
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-81-80.opb	UNSAT	4.33734	3.70302	46389
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-22s.smv.opb	UNSAT	5.09123	4.29678	43735
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-91-90.opb	UNSAT	5.60515	5.04079	46385
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-cache.inv10.ucl.opb	UNSAT	7.05293	6.38145	43704
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-cardinality-101-100.opb	UNSAT	7.99079	7.21486	46379
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111213670.opb	UNSAT	8.24675	6.73989	43525
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-46s.smv.opb	UNSAT	8.30774	7.1524	43706
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110976935.opb	UNSAT	8.47471	7.01212	43467
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl.opb	UNSAT	8.81566	8.14679	43727
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974372.opb	UNSAT	9.1876	7.89157	43454
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb	UNSAT	9.24959	8.55641	43713
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110966483.opb	UNSAT	11.4253	9.97965	43501
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110967729.opb	UNSAT	13.7459	12.3629	43436
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb	UNSAT	21.3028	20.3614	43729
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb	UNSAT	22.2466	21.3858	43714
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-dlx1c.ucl.opb	UNSAT	44.1803	42.9549	43736
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb	UNSAT	60.0949	58.8144	43734
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-11-10.opb	UNSAT	89.1844	88.4994	46395
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb	UNSAT	112.489	111.231	43744
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-15-10.opb	UNSAT	122.039	126.423	46403
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111218955.opb	UNSAT	129.198	127.286	43474
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb	UNSAT	129.211	127.847	43750
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb	UNSAT	172.869	171.891	43730
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-43s.smv.opb	UNSAT	192.439	190.422	43726
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb	UNSAT	227.866	226.312	43738
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900584106.opb	UNSAT	1171.17	1158.99	43567
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb	UNSAT	1221.96	1220.49	43717

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb	SAT	0.689894	0.49238	43699
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga11_11_sat_pb.cnf.cr.opb	SAT	0.700892	0.490254	43651
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob5.opb	SAT	0.838872	0.681998	43402
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb	SAT	0.886865	0.595704	43657
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb	SAT	0.906861	0.632419	43686
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob1.opb	SAT	0.959853	0.635746	43401
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga14_14_sat_pb.cnf.cr.opb	SAT	0.974851	0.643433	43694
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga15_14_sat_pb.cnf.cr.opb	SAT	0.997847	0.692276	43652
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb	SAT	1.02284	0.735742	43685
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob10.opb	SAT	1.02984	0.707413	43408
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga13_13_sat_pb.cnf.cr.opb	SAT	1.03184	0.683538	43703
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga12_12_sat_pb.cnf.cr.opb	SAT	1.04084	0.68752	43653
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob8.opb	SAT	1.26881	0.797826	43395
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob4.opb	SAT	1.3028	0.899237	43398
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob2.opb	SAT	1.3128	0.872257	43400
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob6.opb	SAT	1.48777	1.08037	43407
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob7.opb	SAT	1.55976	1.07423	43404
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-cuww4.opb	SAT	1.62975	1.11327	43396
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb	SAT	1.91071	1.2033	43649
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob3.opb	SAT	1.9837	1.29685	43397
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-cuww2.opb	SAT	2.10268	1.3115	43399
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb	SAT	2.18867	1.46553	43695
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb	SAT	2.19167	1.37174	43666
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-cuww1.opb	SAT	2.25466	1.32698	43405
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb	SAT	2.66759	1.83779	43663
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-cuww5.opb	SAT	2.99054	2.21492	43403
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-cuww3.opb	SAT	3.01354	2.24854	43406
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army13.24ls.opb	SAT	3.11952	2.21729	43425
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb	SAT	3.22451	2.4379	43692
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin8.opb	SAT	3.64345	2.82036	43410
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army8.9ls.opb	SAT	4.11437	3.20898	43420
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223689.opb	SAT	6.05508	4.90268	43506
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb	SAT	6.98994	5.97311	43674
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army8.9bt.opb	SAT	7.62684	6.58426	43417
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111217374.opb	SAT	8.92864	7.56586	43524
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900669299.opb	SAT	10.1435	8.88146	43599
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111219399.opb	SAT	12.3211	11.0785	43510
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb	SAT	18.2402	16.2316	43637
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb	SAT	18.8321	16.9625	43634
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223416.opb	SAT	19.3271	17.8506	43488
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900581321.opb	SAT	19.3951	17.9419	43545
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb	SAT	19.734	18.2127	43690
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb	SAT	20.5519	18.6143	43645
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb	SAT	20.7538	18.8803	43636
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb	SAT	22.2526	20.2178	43632
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb	SAT	23.8494	22.5649	43702
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900566151.opb	SAT	25.7061	24.3198	43581
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga12_10_sat_pb.cnf.cr.opb	SAT	26.158	24.6345	43681
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army9.12ls.opb	SAT	29.3855	28.1795	43424
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900557568.opb	SAT	43.5554	41.9854	43553
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222248.opb	SAT	48.6976	46.9562	43492
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111226284.opb	SAT	51.2582	49.6085	43519
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547427.opb	SAT	57.4253	55.9167	43603
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900566263.opb	SAT	61.5736	59.8685	43583
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb	SAT	73.2009	70.3148	43642
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb	SAT	74.7686	71.8456	43644
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb	SAT	77.6122	74.4876	43635
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb	SAT	82.9104	81.9469	43656
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb	SAT	83.3463	80.5135	43646
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb	SAT	83.7373	80.8685	43641
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900571131.opb	SAT	86.1659	84.3505	43538
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110968431.opb	SAT	89.1604	87.5427	43507
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900561384.opb	SAT	92.12	90.306	43593
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k3_l6_n1500.opb	SAT	97.1732	95.122	43629
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900564822.opb	SAT	99.2059	97.38	43555
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin10.opb	SAT	214.145	210.678	43412
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb	SAT	267.662	257.218	43633
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb	SAT	269.464	258.569	43640
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb	SAT	271.013	260.585	43638
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224522.opb	SAT	274.591	273.134	43440
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb	SAT	284.671	274.052	43639
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb	SAT	291.627	279.784	43643
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554373.opb	SAT	441.657	436.947	43548
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110969933.opb	SAT	464.792	462.959	43463
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb	SAT	469.686	466.126	43731
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222080.opb	SAT	479.369	477.944	43522
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900552311.opb	SAT	498.89	494.059	43574
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554067.opb	SAT	517.604	511.548	43592
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900566270.opb	SAT	637.639	631.235	43625
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554154.opb	SAT	665.497	658.973	43610
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111216864.opb	SAT	724.203	720.551	43449
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army9.12bt.opb	SAT	779.009	772.266	43422
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554389.opb	SAT	903.362	894.603	43544
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb	SAT	952.319	937.508	43687
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900559641.opb	SAT	1005.92	996.551	43550
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb	SAT	1058.22	1048.6	43683
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900553606.opb	SAT	1230.73	1218.19	43580
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army10.14ls.opb	SAT	1269.53	1258.48	43421
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900549974.opb	SAT	1364.01	1350.54	43531
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900574974.opb	SAT	1433.97	1419.89	43612
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977464.opb	SAT	1464.15	1460.47	43465
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb	SAT	1528.96	1498.48	43680

PB'06 evaluation: benchmarks results per solver

Result page for solver SAT4JPSEUDO 2006.2

Category "optimisation, big integers" (OPT-BIGINT)

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

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

Solver found a solution (SATISFIABLE) but this may not be the optimal solution (2 runs) [Show/Hide]

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

Solver didn't decide (UNKNOWN) (1 run) [Show/Hide]

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

Solver answered SATISFIABLE but gave no complete certificate (1 run) [Show/Hide]

Category "optimisation, medium integers" (OPT-MEDINT)

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

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

Solver didn't decide (UNKNOWN) (1 run) [Show/Hide]

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

Category "optimisation, small integers" (OPT-SMALLINT)

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

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

Solver found a solution (SATISFIABLE) but this may not be the optimal solution (18 runs) [Show/Hide]

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

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

Solver didn't output a solution line and terminated with an unexpected exit code (4 runs) [Show/Hide]

Solver answered SATISFIABLE but gave no complete certificate (3 runs) [Show/Hide]

Category "no optimisation, big integers" (SATUNSAT-BIGINT)

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

Category "no optimisation, medium integers" (SATUNSAT-MEDINT)

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

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

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

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

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

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

Benchmark Name	Answer	Objective function	CPU time	Wall clock time	TraceID
normalized-PB06/SATUNSAT-BIGINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob10.opb	? (TO)		1800.22	1784.46	44534
normalized-PB06/SATUNSAT-BIGINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww4.opb	? (TO)		1801.02	1786.44	44533

Benchmark Name	Answer	Objective function	CPU time	Wall clock time	TraceID
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww1.opb	SAT	0	0.279956	0.273776	44821
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob6.opb	SAT	0	45.6841	44.4063	44823