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.27881	0.888981	43286
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scagr7.opb	UNSAT	1.82972	1.10613	43264
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-brandy.opb	UNSAT	1.86771	1.31539	43229
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-share1b.opb	UNSAT	1.93071	1.26429	43213
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-capri.opb	UNSAT	1.99669	1.29301	43254
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-bore3d.opb	UNSAT	2.10868	1.53163	43227
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-ship04s.opb	UNSAT	2.22866	1.74014	43245
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scfxm1.opb	UNSAT	2.29965	1.73126	43272
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-e226.opb	UNSAT	2.42163	1.63338	43214
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-etamacro.opb	UNSAT	2.47362	1.79795	43230
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scagr25.opb	UNSAT	3.14952	2.20246	43247
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-bandm.opb	UNSAT	3.38648	2.30577	43288
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-pilot4.opb	UNSAT	3.79142	3.04633	43252
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-beaconfd.opb	UNSAT	3.85141	2.41082	43279
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-fffff800.opb	UNSAT	4.09938	3.40096	43280
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-arki001.opb	UNSAT	4.36334	3.25014	43345
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scfxm2.opb	UNSAT	4.47132	3.30616	43265
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-perold.opb	UNSAT	4.55531	3.62058	43238
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-ship04l.opb	UNSAT	6.26205	4.87181	43271
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scfxm3.opb	UNSAT	6.34603	5.22271	43262
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-ganges.opb	UNSAT	6.37803	5.34338	43219
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-pilot.opb	UNSAT	7.10292	6.27616	43276
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-25fv47.opb	UNSAT	7.38388	6.23124	43208
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-ship12s.opb	UNSAT	8.28574	6.95304	43206
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-ship08s.opb	UNSAT	8.43272	6.90645	43233
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-nesm.opb	UNSAT	9.00463	7.41096	43220
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-stocfor2.opb	UNSAT	10.1915	8.621	43281
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-ship12l.opb	UNSAT	13.7839	12.0332	43209
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-ship08l.opb	UNSAT	13.9329	11.6514	43225
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-pilot87.opb	UNSAT	14.6418	13.1983	43226
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-bnl2.opb	UNSAT	16.4325	14.4225	43273
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-d2q06c.opb	UNSAT	25.4621	23.0196	43256
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-momentum1.opb	UNSAT	32.655	31.0721	43359
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-80bau3b.opb	UNSAT	38.1072	34.9335	43283
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-woodw.opb	UNSAT	39.246	36.465	43267
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-momentum2.opb	UNSAT	40.7558	37.8029	43325
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-rd-rplusc-21.opb	UNSAT	92.6279	85.3406	43343

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-nazareth.opb	OPT	-1073741823	0.306952	0.276766	43201
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.317951	0.311504	43203
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/ factor/normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543.opb	OPT	1	0.58391	0.427236	50747
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/ factor/normalized-factor-sizeN=20-sizeP=11-sizeQ=20-496708.opb	OPT	1	0.674897	0.547082	50708
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555.opb	OPT	1	1.43578	0.952988	50749
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986.opb	OPT	1	1.48277	1.03642	50782
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-472296155.opb	OPT	1	1.9317	1.39953	50787
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325.opb	OPT	1	1.9627	1.34276	50778
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378.opb	OPT	1	2.47062	1.99821	50731
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415.opb	OPT	1	2.73558	2.23132	50724
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534.opb	OPT	1	3.56746	2.9366	50794
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114.opb	OPT	1	3.62645	2.94537	50719
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839.opb	OPT	1	5.55016	4.97425	50779
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-718083277.opb	OPT	1	5.69113	4.94061	50805
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-misc02.opb	OPT	1075471360	6.31404	5.50428	43308
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354.opb	OPT	1	7.95079	7.11467	50753
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-flugpl.opb	OPT	14745600	9.34458	7.84146	43310
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb	OPT	344750	9.78351	8.3138	43202
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522.opb	OPT	1	9.8485	9.08531	50730
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-misc01.opb	OPT	1074317824	10.0895	8.56486	43313
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-451332552.opb	OPT	1	12.1232	11.3341	50751
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174.opb	OPT	1	15.1437	14.3639	50707
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554.opb	OPT	1	19.555	18.6729	50798
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197.opb	OPT	1	24.9122	24.0165	50733
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249.opb	OPT	1	29.1036	28.0928	50773
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650.opb	OPT	1	32.742	31.863	50735
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390.opb	OPT	1	40.8848	39.0416	50738
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880.opb	OPT	1	42.1306	40.2524	50754
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb	OPT	1	56.2544	54.2027	50716
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885.opb	OPT	1	56.4524	54.4488	50791
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794.opb	OPT	1	69.1805	68.0678	50806
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074.opb	OPT	1	79.9219	77.9469	50765
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631.opb	OPT	1	99.7978	98.0719	50713
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433.opb	OPT	1	102.032	99.9986	50710
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159.opb	OPT	1	117.794	115.664	50764
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195.opb	OPT	1	123.444	121.568	50766
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220.opb	OPT	1	157.425	154.705	50776
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690.opb	OPT	1	170.179	167.466	50757
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480.opb	OPT	1	193.899	191.278	50711
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-737522999.opb	OPT	1	214.821	212.165	50742
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132.opb	OPT	1	242.214	239.464	50732
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403.opb	OPT	1	242.482	239.72	50759
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478.opb	OPT	1	313.718	310.134	50772
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612.opb	OPT	1	325.625	321.699	50777
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-517735400.opb	OPT	1	358.675	354.333	50762
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490.opb	OPT	1	365.237	360.767	50746
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006.opb	OPT	1	497.867	492.425	50767
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-348698641.opb	OPT	1	510.508	505.5	50769
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb	OPT	1	522.656	515.195	50743
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542.opb	OPT	1	529.967	524.563	50804
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-bk4x3.opb	OPT	358400	570.783	565.718	43129
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129.opb	OPT	1	633.481	627.538	50786
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727.opb	OPT	1	731.27	724.343	50795
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136.opb	OPT	1	736.078	727.959	50734
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-510733673.opb	OPT	1	848.065	840.314	50723
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866.opb	OPT	1	857.03	847.521	50785
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522.opb	OPT	1	905.638	895.609	50770

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-core4872-1529.opb	SAT	2009088000000000	635.077	612.136	43192

Benchmark Name	Answer	Objective function	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-gr4x6.opb	SAT (TO)	21944320	1800.22	1789.48	43115
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sc50a.opb	SAT (TO)	0	1800.22	1785.45	43277
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb	SAT (TO)	2147483646	1800.24	1788.54	43355
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-egout.opb	SAT (TO)	518678528	1800.32	1784.56	43296
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-israel.opb	SAT (TO)	-106265035525	1800.33	1790.6	43207
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos13.opb	SAT (TO)	-89698560	1800.34	1735.65	43146
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell3a.opb	SAT (TO)	1265489823134155	1800.34	1775.54	43311
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sc50b.opb	SAT (TO)	0	1800.37	1785.56	43235
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-markshare1_1.opb	SAT (TO)	239717	1800.39	1793.46	43151
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-misc03.opb	SAT (TO)	1077181440	1800.4	1784.54	43302
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran16x16.opb	SAT (TO)	5885956	1800.4	1787.69	43121
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.6	43239
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543-max.opb	SAT (TO)	-1281	1800.42	1786.51	50790
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb	SAT (TO)	4193821561266	1800.46	1777.52	43333
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-markshare2_1.opb	SAT (TO)	371969	1800.48	1793.42	43143
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran4x64.opb	SAT (TO)	11259904	1800.5	1784.71	43134
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x12.opb	SAT (TO)	3449843	1800.52	1786.56	43123
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb	SAT (TO)	2147221503	1800.55	1782.54	43199
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran6x43.opb	SAT (TO)	8442880	1800.55	1780.65	43110
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb	SAT (TO)	3979264	1800.55	1787.57	43108
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran13x13.opb	SAT (TO)	3573760	1800.58	1783.55	43124
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran14x18.opb	SAT (TO)	5749754	1800.59	1786.66	43138
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-noswot.opb	SAT (TO)	-38	1800.6	1783.52	43361
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod013.opb	SAT (TO)	33049600	1800.69	1780.62	43297
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-recipe.opb	SAT (TO)	-75614961	1800.72	1782.52	43223
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-472296155-max.opb	SAT (TO)	-5	1800.78	1793.58	50780
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325-max.opb	SAT (TO)	-5	1800.78	1784.57	50741
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell4.opb	SAT (TO)	265972200281973	1800.79	1776.59	43293
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-sample2.opb	SAT (TO)	384000	1800.81	1786.55	43301
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell3b.opb	SAT (TO)	2120011004247980	1800.83	1781.6	43318
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-share2b.opb	SAT (TO)	-36858196	1800.84	1784.73	43287
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-misc07.opb	SAT (TO)	1076618240	1800.85	1783.5	43329
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran12x12.opb	SAT (TO)	3226624	1800.85	1784.56	43122
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos17.opb	SAT (TO)	12238459	1800.9	1775.53	43155
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-markshare2.opb	SAT (TO)	233472	1800.92	1797.59	43351
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-gen.opb	SAT (TO)	71606086827852	1800.92	1789.89	43303
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb	SAT (TO)	1810432	1800.94	1777.5	43119
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-glass4.opb	SAT (TO)	2883605019546	1800.98	1777.59	43175
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x26.opb	SAT (TO)	7772113	1800.99	1786.68	43116
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-van.opb	SAT (TO)	26691181296	1801.01	1786.8	43331
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-kb2.opb	SAT (TO)	0	1801.01	1783.49	43246
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-afiro.opb	SAT (TO)	-755470	1801.02	1782.59	43268
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran12x21.opb	SAT (TO)	6185984	1801.04	1789.55	43125
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-markshare1.opb	SAT (TO)	209920	1801.06	1794.5	43360
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-sp98ic.opb	SAT (TO)	4788723051	1801.07	1786.58	43193
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-sp98ar.opb	SAT (TO)	7570857211	1801.09	1785.82	43166
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=20-sizeP=11-sizeQ=20-496708-max.opb	SAT (TO)	-92	1801.09	1786.57	50725
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-sp97ic.opb	SAT (TO)	3802339929	1801.1	1784.78	43196
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x10c.opb	SAT (TO)	15595520	1801.11	1785.46	43118
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-fiber.opb	SAT (TO)	81843431	1801.12	1784.54	43324
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos20.opb	SAT (TO)	-174080	1801.13	1785.56	43149
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-harp2.opb	SAT (TO)	-65295401	1801.15	1786.67	43321
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-set1ch.opb	SAT (TO)	86261577757	1801.16	1786.74	43346
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran8x32.opb	SAT (TO)	7735294	1801.17	1787.66	43128
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-UMTS.opb	SAT (TO)	67333632	1801.17	1787.65	43182
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell5.opb	SAT (TO)	1228395061013523	1801.19	1784.54	43307
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-fixnet4.opb	SAT (TO)	15257924	1801.2	1786.84	43317
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-sp97ar.opb	SAT (TO)	5345848281	1801.2	1787.73	43176
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sctap1.opb	SAT (TO)	11034801401	1801.21	1781.94	43259
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sc205.opb	SAT (TO)	0	1801.26	1787.53	43278
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb	SAT (TO)	1432576000000000	1801.28	1775.2	43187
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-van.opb	SAT (TO)	25442247019	1801.29	1789.72	43173
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-bal8x12.opb	SAT (TO)	142146784	1801.33	1779.57	43137
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran17x17.opb	SAT (TO)	2462771	1801.43	1780.73	43130
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-fixnet6.opb	SAT (TO)	57804647	1801.55	1785.85	43356
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-msc98-ip.opb	SAT (TO)	2899683001037381596	1801.66	1790.84	43344
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core2536-691.opb	SAT (TO)	947200000000000	1801.66	1765.98	43167
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-nug08.opb	SAT (TO)	110	1802.03	1785.23	43145
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core2586-950.opb	SAT (TO)	1261568000000000	1802.72	1770.27	43174
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-khb05250.opb	SAT (TO)	321286313528	1803.87	1770.05	43295
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb	SAT (TO)	43909739328	1804.09	1784.43	43334
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-czprob.opb	SAT (TO)	245813826120082	1804.13	1792.41	43257
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-rail507.opb	SAT (TO)	264192000000000	1804.8	1779.39	43168
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-qap10.opb	SAT (TO)	175	1804.85	1781.45	43139
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-momentum3.opb	SAT (TO)	10752000000	1804.91	1783.75	43322
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3701.opb	SAT (TO)	6262717054	1805.11	1786.46	43117

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	?		635.345	606.393	43348

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos6.opb	? (TO)	1800.1	1794.38	43159
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-gesa3.opb	? (TO)	1800.1	1786.47	43382
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb	? (TO)	1800.12	1795.44	43200
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-A1C1S1.opb	? (TO)	1800.12	1794.43	43195
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-stair.opb	? (TO)	1800.13	1786.44	43237
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos2.opb	? (TO)	1800.14	1785.46	43160
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-modglob.opb	? (TO)	1800.17	1783.44	43352
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mas76.opb	? (TO)	1800.17	1799.36	43338
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-cycle.opb	? (TO)	1800.17	1795.4	43261
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-517735400-max.opb	? (TO)	1800.17	1786.56	50797
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542-max.opb	? (TO)	1800.18	1788.52	50768
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sctap3.opb	? (TO)	1800.18	1785.48	43236
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb	? (TO)	1800.18	1779.5	43357
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos14.opb	? (TO)	1800.2	1786.48	43152
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880-max.opb	? (TO)	1800.21	1789.45	50729
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-bg512142.opb	? (TO)	1800.22	1786.45	43186
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794-max.opb	? (TO)	1800.22	1785.45	50717
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-forplan.opb	? (TO)	1800.22	1787.48	43224
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-boeing1.opb	? (TO)	1800.24	1780.52	43270
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-254810631-max.opb	? (TO)	1800.24	1785.44	50720
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-pk1.opb	? (TO)	1800.24	1798.42	43330
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-dg012142.opb	? (TO)	1800.25	1789.54	43183
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scsd1.opb	? (TO)	1800.25	1786.41	43240
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-grow7.opb	? (TO)	1800.25	1782.48	43258
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-danoint.opb	? (TO)	1800.27	1784.53	43326
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727-max.opb	? (TO)	1800.27	1785.6	50755
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-vtp.base.opb	? (TO)	1800.28	1775.56	43215
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-blend2.opb	? (TO)	1800.28	1785.47	43378
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-agg2.opb	? (TO)	1800.28	1781.49	43228
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839-max.opb	? (TO)	1800.29	1785.5	50799
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-set1al.opb	? (TO)	1800.29	1786.48	43305
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403-max.opb	? (TO)	1800.3	1784.47	50728
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-qnet1_o.opb	? (TO)	1800.31	1784.42	43368
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-718083277-max.opb	? (TO)	1800.31	1790.52	50800
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-grow15.opb	? (TO)	1800.32	1785.49	43242
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n370b.opb	? (TO)	1800.32	1782.51	43131
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-bc1.opb	? (TO)	1800.32	1774.51	43144
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.32	1779.62	43190
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-dano3_3.opb	? (TO)	1800.33	1786.57	43157
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb	? (TO)	1800.35	1795.39	43170
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mkc.opb	? (TO)	1800.37	1785.53	43347
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-289612555-max.opb	? (TO)	1800.37	1794.6	50756
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534-max.opb	? (TO)	1800.38	1787.45	50771
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132-max.opb	? (TO)	1800.38	1783.48	50789
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-420453220-max.opb	? (TO)	1800.39	1784.54	50760
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-standata.opb	? (TO)	1800.39	1787.51	43263
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3708.opb	? (TO)	1800.39	1782.51	43113
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-tr12-30.opb	? (TO)	1800.4	1786.46	43342
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522-max.opb	? (TO)	1800.4	1783.49	50801
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-mkc1.opb	? (TO)	1800.41	1787.44	43148
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3704.opb	? (TO)	1800.42	1782.43	43114
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-swath.opb	? (TO)	1800.43	1781.48	43339
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n370e.opb	? (TO)	1800.44	1780.57	43120
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650-max.opb	? (TO)	1800.44	1789.4	50736
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-510733673-max.opb	? (TO)	1800.44	1783.47	50793
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab1.opb	? (TO)	1800.44	1781.43	43354
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos7.opb	? (TO)	1800.45	1791.5	43156
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-trento1.opb	? (TO)	1800.45	1764.53	43185
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mas74.opb	? (TO)	1800.46	1799.65	43323
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-gesa3_o.opb	? (TO)	1800.47	1788.48	43373
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612-max.opb	? (TO)	1800.47	1784.46	50739
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-misc04.opb	? (TO)	1800.47	1791.53	43314
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238-max.opb	? (TO)	1800.48	1784.49	50722
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-CMS750_4.opb	? (TO)	1800.48	1797.39	43188
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-standgub.opb	? (TO)	1800.48	1787.47	43241
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome12.opb	? (TO)	1800.48	1646.82	43107
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-shell.opb	? (TO)	1800.48	1786.38	43289
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390-max.opb	? (TO)	1800.49	1787.09	50712
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174-max.opb	? (TO)	1800.5	1788.51	50796
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-348698641-max.opb	? (TO)	1800.51	1785.42	50718
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-roll3000.opb	? (TO)	1800.51	1788.44	43177
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-rout.opb	? (TO)	1800.52	1782.61	43341
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3706.opb	? (TO)	1800.52	1783.65	43136
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.53	1778.45	43165
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2-o.opb	? (TO)	1800.53	1785.41	43349
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-swath3.opb	? (TO)	1800.54	1784.41	43154
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-bienst2.opb	? (TO)	1800.54	1782.49	43150
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-gfrd-pnc.opb	? (TO)	1800.55	1783.54	43275
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-blp-ir98.opb	? (TO)	1800.55	1783.45	43178
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-737522999-max.opb	? (TO)	1800.56	1785.63	50758
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-NSR8K.opb	? (TO)	1800.56	1787.4	43197
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-swath2.opb	? (TO)	1800.57	1784.46	43141
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-swath1.opb	? (TO)	1800.57	1787.47	43161
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522-max.opb	? (TO)	1800.57	1788.45	50727
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249-max.opb	? (TO)	1800.58	1790.45	50744
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-pp08a.opb	? (TO)	1800.59	1774.51	43327
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-agg3.opb	? (TO)	1800.6	1786.55	43251
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=320-sizeP=161-sizeQ=320-287873690-max.opb	? (TO)	1800.6	1785.52	50788
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-qnet1.opb	? (TO)	1800.6	1784.48	43370
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3703.opb	? (TO)	1800.6	1781.48	43135
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3705.opb	? (TO)	1800.61	1780.5	43126
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-lotfi.opb	? (TO)	1800.62	1784.53	43222
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scsd6.opb	? (TO)	1800.62	1784.5	43291
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-dcmulti.opb	? (TO)	1800.63	1785.21	43300
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-agg.opb	? (TO)	1800.63	1782.49	43285
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-pilot.we.opb	? (TO)	1800.64	1792.44	43218
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-rgn.opb	? (TO)	1800.64	1777.57	43320
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-biella1.opb	? (TO)	1800.65	1779.24	43189
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-fixnet3.opb	? (TO)	1800.66	1787.57	43319
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-tr12-30.opb	? (TO)	1800.69	1787.47	43179
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-fit2p.opb	? (TO)	1800.69	1786.47	43217
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415-max.opb	? (TO)	1800.69	1784.58	50783
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-bnl1.opb	? (TO)	1800.69	1790.41	43249
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-dano3mip.opb	? (TO)	1800.7	1785.53	43353
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-roll3000.opb	? (TO)	1800.71	1783.58	43336
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866-max.opb	? (TO)	1800.72	1785.57	50714
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-dfl001.opb	? (TO)	1800.73	1791.56	43216
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490-max.opb	? (TO)	1800.73	1784.43	50715
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-896328136-max.opb	? (TO)	1800.73	1787.53	50763
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-greenbea.opb	? (TO)	1800.73	1785.48	43266
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-451332552-max.opb	? (TO)	1800.74	1788.62	50750
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-boeing2.opb	? (TO)	1800.75	1783.48	43212
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114-max.opb	? (TO)	1800.76	1786.49	50792
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=280-sizeP=141-sizeQ=280-999529433-max.opb	? (TO)	1800.76	1783.33	50803
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-dano3_5.opb	? (TO)	1800.76	1792.51	43142
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354-max.opb	? (TO)	1800.77	1791.47	50752
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3700.opb	? (TO)	1800.78	1785.68	43132
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-stp3d.opb	? (TO)	1800.79	1788.42	43350
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478-max.opb	? (TO)	1800.79	1790.54	50802
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-dc1c.opb	? (TO)	1800.8	1787.48	43191
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129-max.opb	? (TO)	1800.81	1789.54	50709
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-liu.opb	? (TO)	1800.81	1779.55	43335
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos15.opb	? (TO)	1800.81	1787.51	43162
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-dc1l.opb	? (TO)	1800.81	1782.5	43198
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scsd8.opb	? (TO)	1800.81	1787.41	43284
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378-max.opb	? (TO)	1800.82	1786.6	50726
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-wood1p.opb	? (TO)	1800.82	1772.46	43269
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-blp-ar98.opb	? (TO)	1800.82	1778.47	43180
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480-max.opb	? (TO)	1800.83	1787.5	50721
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb	? (TO)	1800.84	1775.56	43362
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb	? (TO)	1800.84	1774.48	43105
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scorpion.opb	? (TO)	1800.85	1785.5	43274
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome13.opb	? (TO)	1800.85	1675.6	43106
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-siena1.opb	? (TO)	1800.86	1791.45	43169
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554-max.opb	? (TO)	1800.86	1789.53	50740
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3707.opb	? (TO)	1800.88	1781.45	43127
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n370a.opb	? (TO)	1800.89	1781.53	43112
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos12.opb	? (TO)	1800.9	1789.39	43140
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-dolom1.opb	? (TO)	1800.9	1777.47	43172
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sctap2.opb	? (TO)	1800.9	1792.37	43210
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb	? (TO)	1800.91	1767.45	43181
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3709.opb	? (TO)	1800.91	1777.49	43133
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-degen3.opb	? (TO)	1800.91	1789.55	43292
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos11.opb	? (TO)	1800.92	1787.49	43163
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.94	1785.55	43171
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-780825197-max.opb	? (TO)	1800.94	1789.5	50748
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-degen2.opb	? (TO)	1800.94	1789.53	43248
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-misc05.opb	? (TO)	1800.95	1773.5	43312
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-modszk1.opb	? (TO)	1800.95	1790.61	43244
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-set1cl.opb	? (TO)	1800.96	1786.45	43299
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159-max.opb	? (TO)	1800.96	1785.49	50761
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-qiu.opb	? (TO)	1800.98	1786.43	43340
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-atlanta-ip.opb	? (TO)	1800.98	1797.32	43358
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-a1c1s1.opb	? (TO)	1800.99	1793.43	43332
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sierra.opb	? (TO)	1800.99	1787.45	43221
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-A2C1S1.opb	? (TO)	1801	1796.4	43184
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-blp-ic98.opb	? (TO)	1801	1761.52	43194
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=40-sizeP=21-sizeQ=40-793490986-max.opb	? (TO)	1801.01	1782.52	50784
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-blend.opb	? (TO)	1801.01	1786.41	43290
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-greenbeb.opb	? (TO)	1801.01	1776.61	43211
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-fit1p.opb	? (TO)	1801.01	1787.45	43205
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-grow22.opb	? (TO)	1801.02	1785.62	43243
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-fit2d.opb	? (TO)	1801.02	1776.47	43232
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scrs8.opb	? (TO)	1801.02	1788.48	43253
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos3.opb	? (TO)	1801.03	1787.57	43153
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-maros.opb	? (TO)	1801.03	1789.44	43234
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885-max.opb	? (TO)	1801.03	1788.47	50781
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498-max.opb	? (TO)	1801.03	1790.47	50774
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-misc06.opb	? (TO)	1801.03	1784.54	43294
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-adlittle.opb	? (TO)	1801.04	1788.49	43282
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-tuff.opb	? (TO)	1801.05	1787.51	43255
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-466115074-max.opb	? (TO)	1801.06	1786.46	50775
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3702.opb	? (TO)	1801.06	1784.53	43109
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n370c.opb	? (TO)	1801.07	1784.45	43111
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-maros-r7.opb	? (TO)	1801.07	1788.47	43250
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-seba.opb	? (TO)	1801.08	1787.48	43260
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-bienst1.opb	? (TO)	1801.08	1785.45	43147
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195-max.opb	? (TO)	1801.08	1784.44	50745
normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=420-sizeP=211-sizeQ=420-802270006-max.opb	? (TO)	1801.08	1780.51	50737
normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-gesa2.opb	? (TO)	1801.08	1787.46	43328
normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-dano3_4.opb	? (TO)	1801.1	1784.66	43164
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-d6cube.opb	? (TO)	1801.13	1774.45	43231
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb	? (TO)	1801.13	1784.52	43337

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	8.5177	7.42335	42347
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air01.opb	OPT	3398	34.5587	33.1359	42337
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-enigma.opb	OPT	0	73.1989	71.4353	42336
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-pipex.opb	OPT	788263	176.543	174.688	42341

Benchmark Name	Answer	Objective function	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-MEDINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-seymour1.opb	SAT (TO)	471080	1800.61	1777.64	42334
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-gt2.opb	SAT (TO)	24647	1800.66	1784.57	42356
normalized-PB06/OPT-MEDINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-3.opb	SAT (TO)	3052	1800.73	1783.72	42364
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-air05.opb	SAT (TO)	44222	1800.74	1783.63	42349
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-p6000.opb	SAT (TO)	-950703	1800.94	1770.61	42345
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air02.opb	SAT (TO)	4492	1800.98	1783.57	42338
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air03.opb	SAT (TO)	200394	1801	1783.62	42343
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-p0282.opb	SAT (TO)	267459	1801.16	1783.54	42339
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-t1717.opb	SAT (TO)	404993	1805.08	1742.58	42350

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	?		363.936	332.674	42332

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	1767.42	42351
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.36	1664.62	42331
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-vpm2.opb	? (TO)	1800.37	1781.36	42352
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air06.opb	? (TO)	1800.43	1771.53	42344
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-aflow30a.opb	? (TO)	1800.68	1780.68	42353
normalized-PB06/OPT-MEDINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-fit1d.opb	? (TO)	1800.74	1787.41	42335
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.77	1686.67	42330
normalized-PB06/OPT-MEDINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos9.opb	? (TO)	1800.95	1765.5	42333
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-vpm1.opb	? (TO)	1800.99	1784.49	42342
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-nw04.opb	? (TO)	1801.1	1767.63	42354
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-aflow40b.opb	? (TO)	1801.11	1787.56	42348

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.261959	0.255814	42687
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-gr4x6.opb	UNSAT	1.04084	0.697012	42374
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa0432-003.opb	UNSAT	1.13083	0.846315	42889
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-bf2670-001.opb	UNSAT	1.79872	1.37648	42931
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-bore3d.opb	UNSAT	1.9807	1.32811	42498
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa2670-141.opb	UNSAT	2.39664	2.04474	42984
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa2670-130.opb	UNSAT	2.78758	2.15411	42970
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos17.opb	UNSAT	2.88456	2.25332	42423
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10c.opb	UNSAT	2.92355	1.99733	42383
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10b.opb	UNSAT	3.07153	1.96007	42375
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-bf1355-638.opb	UNSAT	3.10353	2.51878	42981
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-bf1355-075.opb	UNSAT	3.19151	2.57285	42997
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-arki001.opb	UNSAT	3.2515	2.53639	42615
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran12x12.opb	UNSAT	3.72143	2.90642	42393
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran10x12.opb	UNSAT	4.07738	2.46505	42366
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran13x13.opb	UNSAT	4.24435	3.1059	42396
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=397-Q=521.opb	UNSAT	4.77427	3.77109	48740
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-seba.opb	UNSAT	4.91525	3.78024	42509
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-bnl1.opb	UNSAT	4.98024	3.72813	42532
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-bal8x12.opb	UNSAT	5.2292	2.99572	42395
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-brandy.opb	UNSAT	6.73997	5.44859	42527
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran14x18.opb	UNSAT	7.37088	6.00287	42368
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-bf0432-007.opb	UNSAT	9.51655	8.92219	42901
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-e226.opb	UNSAT	10.3614	8.77638	42474
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran12x21.opb	UNSAT	10.6834	9.39727	42391
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran6x43.opb	UNSAT	11.1503	9.72868	42376
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=23-Q=521.opb	UNSAT	11.2653	10.1253	48698
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos11.opb	UNSAT	11.2743	9.12182	42404
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-pilot87.opb	UNSAT	12.5961	11.3366	42481
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos12.opb	UNSAT	12.867	11.4548	42407
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran10x26.opb	UNSAT	12.982	11.6913	42384
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran4x64.opb	UNSAT	14.1608	12.8923	42388
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-pilot.opb	UNSAT	15.3797	13.8451	42531
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran8x32.opb	UNSAT	17.7473	16.2246	42389
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa6288-047.opb	UNSAT	18.6772	18.0838	42896
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-czprob.opb	UNSAT	20.6829	18.6475	42501
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-siena1.opb	UNSAT	23.7004	21.634	42432
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=379-Q=521.opb	UNSAT	28.7386	27.2985	48633
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum1.opb	UNSAT	31.6272	30.4366	42627
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum2.opb	UNSAT	35.6606	32.8606	42603
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-80bau3b.opb	UNSAT	36.7084	33.7863	42541
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-degen2.opb	UNSAT	39.199	37.3954	42522
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-vtp.base.opb	UNSAT	46.303	44.8291	42506
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=113-Q=521.opb	UNSAT	69.2875	67.9574	48750
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=383-Q=521.opb	UNSAT	90.6432	88.8659	48667
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-atlanta-ip.opb	UNSAT	92.187	89.6147	42613
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-dolom1.opb	UNSAT	126.014	123.875	42430
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-d6cube.opb	UNSAT	149.493	144.44	42502
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-misc05.opb	UNSAT	238.187	235.395	42557
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=521.opb	UNSAT	253.107	251.025	48595
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-bandm.opb	UNSAT	275.521	273.076	42513
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-NSR8K.opb	UNSAT	282.941	278.638	42460
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-stair.opb	UNSAT	471.974	469.348	42466
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-bnl2.opb	UNSAT	1276.09	1272.14	42546

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.267959	0.261543	43040
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.303953	0.314877	42463
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-reduced-mps-v2-20-10-nazareth.opb	OPT	-174776	0.310952	0.30899	42464
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_4.opb	OPT	6	0.317951	0.316835	50682
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-bbara.r.opb	OPT	7	0.334948	0.325505	50611
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-C17.opb	OPT	260	0.346946	0.324722	42850
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=7-Q=31.opb	OPT	1	0.380941	0.374433	48767
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein9.opb	OPT	5	0.382941	0.320984	42690
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g4x4.opb	OPT	4	0.390939	0.329756	43043
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-b1.opb	OPT	128	0.39394	0.405941	42842
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-1_6-yes1-3.opb	OPT	50	0.403938	0.370827	42942
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex5inp.r.opb	OPT	4	0.404937	0.36421	50636
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=5-Q=317.opb	OPT	5	0.415936	0.373709	48647
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-1_6-yes1-4.opb	OPT	50	0.419935	0.38008	42945
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=97-Q=509.opb	OPT	97	0.426934	0.363182	48687
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=479.opb	OPT	29	0.427934	0.417794	48720
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-1_6-yes1-1.opb	OPT	50	0.428934	0.476273	42987
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=17-Q=457.opb	OPT	17	0.432933	0.366197	48651
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb	OPT	50	0.433933	0.372587	42951
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.435933	0.371583	42462
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-3_4-yes1-3.opb	OPT	50	0.446931	0.414055	42891
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=179-Q=509.opb	OPT	179	0.447931	0.357681	48723
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=191-Q=509.opb	OPT	191	0.45293	0.412794	48601
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb	OPT	50	0.45793	0.3671	42895
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-opus.r.opb	OPT	5	0.475926	0.415446	50589
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-2_0-yes1-3.opb	OPT	50	0.478926	0.42594	42954
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=17-Q=487.opb	OPT	17	0.486925	0.415822	48632
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-1_6-yes1-4.opb	OPT	100	0.525919	0.416314	42914
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-1_6-yes1-2.opb	OPT	50	0.535918	0.427811	42897
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-1_6-yes1-2.opb	OPT	100	0.566913	0.478923	42972
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=383-Q=509.opb	OPT	383	0.566913	0.46577	48778
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-1_6-yes1-3.opb	OPT	100	0.58791	0.528102	42977
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-4-c.opb	OPT	67	0.599908	0.528614	42940
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.opb	OPT	100	0.602907	0.422807	42926
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-6_0-yes1-2.opb	OPT	50	0.626903	0.518729	42958
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb	OPT	50	0.634903	0.524855	43020
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-3_4-yes1-1.opb	OPT	50	0.641901	0.621001	42985
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein15.opb	OPT	9	0.646901	0.477871	42692
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-2_0-yes1-2.opb	OPT	50	0.6509	0.631169	43014
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mas74.opb	OPT	1	0.657899	0.52136	42634
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb	OPT	100	0.660898	0.52845	42948
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-3_4-yes1-2.opb	OPT	50	0.671897	0.523873	42907
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_4.opb	OPT	6	0.691894	0.533452	46629
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-3_4-yes1-4.opb	OPT	50	0.694893	0.52475	42922
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g9x3.opb	OPT	7	0.71489	0.534971	43045
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-6_0-yes1-4.opb	OPT	50	0.71589	0.577525	42904
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mas76.opb	OPT	1	0.725888	0.523229	42636
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb	OPT	100	0.732887	0.523482	42956
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-6_0-yes1-1.opb	OPT	50	0.734887	0.578847	42902
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb	OPT	200	0.748885	0.590584	42929
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-2.opb	OPT	100	0.759884	0.527631	42898
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb	OPT	200	0.759884	0.575071	42992
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.opb	OPT	100	0.762883	0.570464	42946
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-1-c.opb	OPT	64	0.762883	0.576234	42936
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb	OPT	100	0.771882	0.588828	42918
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-2.opb	OPT	200	0.78188	0.573342	42965
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-3-c.opb	OPT	75	0.800877	0.582194	42979
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_70_70.r.opb	OPT	2	0.817875	0.587054	50585
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb	OPT	100	0.826873	0.624791	42963
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=409-Q=509.opb	OPT	409	0.829873	0.634365	48592
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex6inp.r.opb	OPT	4	0.833872	0.589694	50602
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_90_90.r.opb	OPT	2	0.835871	0.626564	50626
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_40_40.r.opb	OPT	2	0.850869	0.631797	50614
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=439-Q=509.opb	OPT	439	0.867867	0.585441	48693
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-1.opb	OPT	200	0.899862	0.731337	43006
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-4.opb	OPT	100	0.901862	0.632636	42953
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=509.opb	OPT	149	0.908861	0.599563	48769
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb	OPT	200	0.912861	0.649898	42955
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb	OPT	200	0.915859	0.691646	43018
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=431-Q=503.opb	OPT	431	0.933857	0.621905	48689
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-2-c.opb	OPT	68	0.938856	0.648411	42961
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_90_90.r.opb	OPT	2	0.959853	0.7235	50596
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-2.opb	OPT	100	0.968852	0.740381	42887
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=71-Q=491.opb	OPT	71	0.972851	0.642411	48770
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=487-Q=503.opb	OPT	487	0.98285	0.74934	48668
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.opb	OPT	100	1.00785	0.724469	42982
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-5-c.opb	OPT	75	1.00785	0.770224	43039
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb	OPT	100	1.02584	0.693893	43010
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-3.opb	OPT	100	1.02784	0.681656	42938
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-1.opb	OPT	100	1.02884	0.684766	42905
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-5.opb	OPT	350	1.03884	0.780464	42925
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb	OPT	36	1.06984	0.779833	42863
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-1.opb	OPT	200	1.08183	0.818569	43004
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-4.opb	OPT	200	1.09183	0.79483	42928
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb	OPT	200	1.09583	0.780203	42975
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb	OPT	304	1.14482	0.739219	43060
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb	OPT	200	1.18082	0.838916	42978
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-1.opb	OPT	200	1.19082	0.847538	42935
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=31-Q=439.opb	OPT	31	1.22781	0.844423	48634
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb	OPT	200	1.2808	1.00694	43025
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-4.opb	OPT	350	1.2858	0.889408	43015
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb	OPT	200	1.2918	0.860412	42908
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh12.opb	OPT	94	1.3358	0.881266	42964
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=487-Q=499.opb	OPT	487	1.3408	0.90053	48637
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh213.opb	OPT	92	1.35979	0.902901	43005
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=107-Q=503.opb	OPT	107	1.38179	0.871402	48717
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=313-Q=503.opb	OPT	313	1.42078	0.922602	48726
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=487.opb	OPT	47	1.42978	0.990824	48716
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-2.opb	OPT	350	1.45778	1.01693	43021
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=37-Q=443.opb	OPT	37	1.47477	0.941862	48663
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb	OPT	36	1.47977	0.884388	42862
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-3.opb	OPT	350	1.48177	0.991436	42910
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-1.opb	OPT	350	1.49877	1.04243	42913
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=71-Q=461.opb	OPT	71	1.50177	0.948572	48729
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh207.opb	OPT	95	1.51477	1.07271	42944
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_5.opb	OPT	11	1.54077	0.995692	50690
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-3.opb	OPT	200	1.54576	1.09739	42892
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb	OPT	200	1.54676	1.06179	42900
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=127-Q=491.opb	OPT	127	1.56076	1.06239	48681
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-dk512x.r.opb	OPT	6	1.61475	1.01332	50605
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb	OPT	200	1.61975	1.10265	42969
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh17.opb	OPT	95	1.66974	1.10912	43024
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh301.opb	OPT	95	1.67774	1.09711	42930
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh212.opb	OPT	97	1.70874	1.04918	43023
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=281-Q=499.opb	OPT	281	1.72374	1.08177	48600
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb	OPT	62027	1.74573	1.08688	42695
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-maincont.r.opb	OPT	7	1.75673	1.16073	50601
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=127-Q=499.opb	OPT	127	1.77173	1.06616	48658
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=257-Q=503.opb	OPT	257	1.81072	1.13799	48625
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb	OPT	3089	1.87471	1.21469	42691
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh220.opb	OPT	94	1.91471	1.30626	43000
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=487.opb	OPT	89	1.9807	1.30738	48708
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb	OPT	36	1.9867	1.30837	42855
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-noswot.opb	OPT	-7	2.03269	1.26155	42630
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh205.opb	OPT	94	2.04069	1.30089	42959
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=499.opb	OPT	223	2.09068	1.20782	48701
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=479.opb	OPT	331	2.11068	1.41618	48684
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb	OPT	36	2.14067	1.41046	42865
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_5.opb	OPT	11	2.18667	1.25764	46620
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ricks.r.opb	OPT	5	2.19567	1.30711	50610
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=409-Q=499.opb	OPT	409	2.21966	1.47201	48620
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=347-Q=487.opb	OPT	347	2.24866	1.46667	48734
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=487.opb	OPT	149	2.27065	1.32033	48653
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=239-Q=487.opb	OPT	239	2.30265	1.51703	48627
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=113-Q=479.opb	OPT	113	2.36664	1.41608	48772
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=11-Q=53.opb	OPT	11	2.39364	1.52263	48756
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=197-Q=479.opb	OPT	197	2.42763	1.53451	48762
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ4_3.opb	OPT	20	2.45063	1.57945	42840
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=353-Q=479.opb	OPT	353	2.50462	1.56833	48752
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=127-Q=487.opb	OPT	127	2.51962	1.51729	48695
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=421-Q=487.opb	OPT	421	2.53161	1.61833	48649
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-kb2.opb	OPT	-293850	2.54661	1.84282	42497
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=71-Q=409.opb	OPT	71	2.56261	1.78135	48699
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=191-Q=449.opb	OPT	191	2.6036	1.62343	48738
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=409.opb	OPT	29	2.6066	1.58584	48713
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=7-Q=223.opb	OPT	7	2.6426	1.49612	48678
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=7-Q=179.opb	OPT	7	2.6506	1.62571	48666
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb	OPT	34	2.68759	1.73625	42864
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_50_50.r.opb	OPT	3	2.69359	1.67928	50588
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_6.opb	OPT	17	2.74658	1.89525	50694
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_30_30.r.opb	OPT	3	2.79157	1.62056	50603
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=11-Q=283.opb	OPT	11	2.84957	1.99011	48608
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=211-Q=479.opb	OPT	211	2.91456	1.73636	48624
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-rd73.b.opb	OPT	4	3.04254	2.01169	50613
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=331.opb	OPT	29	3.05953	2.09803	48759
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=23-Q=293.opb	OPT	23	3.13752	2.12314	48594
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh209.opb	OPT	93	3.16152	2.2644	42949
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=409.opb	OPT	149	3.17252	1.99569	48614
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh7.opb	OPT	89	3.17752	2.22345	43012
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=307-Q=449.opb	OPT	307	3.20751	1.99247	48746
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=397-Q=449.opb	OPT	397	3.21051	1.99086	48761
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=191-Q=389.opb	OPT	191	3.22651	2.22258	48671
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=59-Q=431.opb	OPT	59	3.2995	2.20567	48597
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=23-Q=379.opb	OPT	23	3.32949	2.51802	48696
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=421.opb	OPT	47	3.37049	2.21205	48711
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=397.opb	OPT	149	3.42848	2.46455	48688
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh218.opb	OPT	90	3.48947	2.57186	43030
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=61-Q=419.opb	OPT	61	3.50747	2.57371	48638
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=449-Q=479.opb	OPT	449	3.51147	2.46463	48640
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=73-Q=449.opb	OPT	73	3.56946	2.26044	48774
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex4inp.r.opb	OPT	5	3.63945	2.64113	50615
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=13-Q=179.opb	OPT	13	3.65144	2.69553	48748
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=431.opb	OPT	223	3.67144	2.35612	48672
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=307-Q=431.opb	OPT	307	3.67144	2.77661	48725
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=277.opb	OPT	29	3.81842	2.77721	48626
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh204.opb	OPT	93	3.88441	2.3125	43038
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-share2b.opb	OPT	-52	4.28135	3.23306	42478
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=389.opb	OPT	331	4.36034	3.19855	48741
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=421.opb	OPT	223	4.39133	3.29677	48669
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=347-Q=421.opb	OPT	347	4.69629	3.71589	48706
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=347-Q=431.opb	OPT	347	4.76127	3.65994	48654
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=347-Q=439.opb	OPT	347	4.76427	3.73525	48610
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=443-Q=487.opb	OPT	443	4.83127	3.36462	48657
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_6.opb	OPT	17	5.06723	4.1314	46619
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=367-Q=389.opb	OPT	367	5.10322	3.97286	48776
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=431.opb	OPT	89	5.37618	3.87254	48700
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=239-Q=373.opb	OPT	239	5.49216	4.40672	48727
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=109-Q=419.opb	OPT	109	5.76812	3.20604	48660
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=17-Q=347.opb	OPT	17	6.00908	5.02132	48621
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=359-Q=379.opb	OPT	359	6.03508	4.97238	48646
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-misc02.opb	OPT	262571	6.20606	5.03183	42568
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh1.opb	OPT	92	6.34703	5.36037	42920
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=307.opb	OPT	223	6.41302	5.3839	48705
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=101-Q=379.opb	OPT	101	6.44602	5.4422	48679
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=113-Q=233.opb	OPT	113	6.46002	4.75702	48639
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=79-Q=331.opb	OPT	79	6.72998	4.51891	48635
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=71.opb	OPT	29	7.2219	6.12653	48599
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=359.opb	OPT	331	7.40787	6.16513	48728
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=127-Q=359.opb	OPT	127	7.48486	6.43533	48714
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=41-Q=347.opb	OPT	41	7.60584	5.396	48645
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g7x7.opb	OPT	12	7.63184	6.67993	43044
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-9sym.b.opb	OPT	5	7.63584	6.58523	42882
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=379-Q=397.opb	OPT	379	7.73582	6.08733	48665
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=317.opb	OPT	89	7.82881	6.47918	48753
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data4_3.opb	OPT	8276	8.00978	6.36066	42837
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=131-Q=277.opb	OPT	131	8.43372	6.69419	48724
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=127-Q=211.opb	OPT	127	8.86565	7.88371	48758
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=269-Q=431.opb	OPT	269	9.08762	7.84573	48739
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=167-Q=347.opb	OPT	167	9.14461	7.86561	48768
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0291.opb	OPT	7985	9.64153	8.32778	42585
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=283-Q=293.opb	OPT	283	9.75452	8.67397	48631
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=307-Q=367.opb	OPT	307	10.2164	8.62079	48598
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=269-Q=433.opb	OPT	269	10.3574	9.07642	48628
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=379-Q=431.opb	OPT	379	10.5414	9.39677	48749
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8a1.opb	OPT	54	10.8374	9.65297	42966
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=163.opb	OPT	29	10.8563	9.24522	48710
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=257-Q=449.opb	OPT	257	11.3933	9.92129	48623
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=263-Q=367.opb	OPT	263	11.5092	10.4567	48685
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=83-Q=89.opb	OPT	83	11.6592	10.3785	48692
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=71.opb	OPT	47	12.0072	10.8009	48690
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=347-Q=419.opb	OPT	347	12.0092	10.6969	48742
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=53-Q=127.opb	OPT	53	12.1831	11.0034	48747
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=61-Q=163.opb	OPT	61	12.3531	10.8852	48697
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=127-Q=389.opb	OPT	127	12.4681	11.3262	48619
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=379.opb	OPT	331	12.5671	11.4819	48596
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=59-Q=419.opb	OPT	59	12.6471	11.4189	48763
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=59-Q=131.opb	OPT	59	12.6611	11.5241	48733
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=347-Q=379.opb	OPT	347	12.946	11.8295	48590
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-fit1p.opb	OPT	0	13.043	11.3935	42553
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=67-Q=223.opb	OPT	67	14.5868	13.4171	48737
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=79-Q=173.opb	OPT	79	14.8477	13.7701	48641
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=53-Q=191.opb	OPT	53	14.8847	13.549	48606
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=293.opb	OPT	89	15.5636	14.2889	48618
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=379.opb	OPT	223	15.9006	14.4533	48779
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-4-c.opb	OPT	324	16.7525	16.0953	42890
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=43-Q=227.opb	OPT	43	16.7674	15.5948	48707
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=293-Q=307.opb	OPT	293	17.0874	15.5965	48731
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=197.opb	OPT	47	17.9353	16.7441	48661
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=251-Q=419.opb	OPT	251	18.1622	16.1288	48775
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_7.opb	OPT	25	18.7511	17.5676	50685
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=383.opb	OPT	223	19.1431	17.7386	48612
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=263.opb	OPT	223	19.3651	18.1443	48683
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-flugpl.opb	OPT	91	19.795	18.4736	42582
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=37-Q=107.opb	OPT	37	19.855	18.4542	48721
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=227-Q=383.opb	OPT	227	20.1819	18.9772	48622
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=347.opb	OPT	89	20.4079	19.2269	48751
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=83-Q=449.opb	OPT	83	20.5719	17.5707	48636
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=331.opb	OPT	331	21.3328	20.1689	48655
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=211-Q=347.opb	OPT	211	21.6537	20.3225	48609
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=97-Q=479.opb	OPT	97	21.9987	20.5359	48757
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=421-Q=449.opb	OPT	421	22.0217	19.8534	48773
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=97-Q=331.opb	OPT	97	22.2836	20.0674	48735
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=263.opb	OPT	89	22.4146	21.0985	48712
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=229-Q=239.opb	OPT	229	22.4916	21.3253	48589
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb	OPT	34	23.6274	21.2551	42688
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=167.opb	OPT	149	23.6794	21.8287	48694
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16e2.opb	OPT	520	23.8814	22.5042	42994
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-misc01.opb	OPT	262288	24.5963	22.1713	42584
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-3-c.opb	OPT	334	25.6181	24.8051	42943
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=163.opb	OPT	149	25.9311	24.81	48593
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-2-c.opb	OPT	349	26.101	25.3155	43027
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C880.a.opb	OPT	87	26.308	24.4332	50612
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=263-Q=307.opb	OPT	263	26.523	25.2678	48644
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=59-Q=337.opb	OPT	59	26.6419	25.4318	48674
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=211.opb	OPT	89	27.7538	26.4136	48650
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=251-Q=277.opb	OPT	251	27.7768	26.3527	48607
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=101-Q=223.opb	OPT	101	27.8348	26.6378	48604
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=127-Q=137.opb	OPT	127	27.9977	26.6552	48591
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-5-c.opb	OPT	341	28.2257	27.4545	43034
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=83-Q=197.opb	OPT	83	28.2847	27.0367	48648
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-jac3.opb	OPT	15	28.9306	26.8169	42873
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=61-Q=307.opb	OPT	61	29.9724	28.5465	48643
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=389-Q=433.opb	OPT	389	30.0384	28.6076	48605
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=347.opb	OPT	223	30.9203	28.7489	48630
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=167-Q=173.opb	OPT	167	30.9463	29.6328	48682
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-hanoi4.opb	OPT	718	31.0173	29.9092	43022
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=173-Q=173.opb	OPT	173	31.4772	29.801	48718
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=157-Q=373.opb	OPT	157	32.4741	31.1952	48777
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-1-c.opb	OPT	317	33.5989	32.961	43007
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=67-Q=191.opb	OPT	67	34.0288	32.8569	48670
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=151-Q=167.opb	OPT	151	34.6477	33.1938	48743
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=53-Q=97.opb	OPT	53	36.5294	35.0937	48719
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-bk4x3.opb	OPT	14	36.7234	35.4639	42386
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air01.opb	OPT	1496	38.8091	36.2752	42573
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=101-Q=457.opb	OPT	101	39.423	38.0721	48664
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh210.opb	OPT	88	40.0859	38.5591	42932
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=173-Q=211.opb	OPT	173	41.4267	40.2948	48677
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=53-Q=151.opb	OPT	53	42.7535	41.3814	48656
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=251-Q=379.opb	OPT	251	44.0383	42.7832	48715
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b4.opb	OPT	376	44.8482	43.5728	43016
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=269-Q=359.opb	OPT	269	45.3511	44.0918	48722
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb	OPT	25	46.269	44.7743	46623
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=79-Q=257.opb	OPT	79	49.6255	48.1069	48629
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32a1.opb	OPT	444	54.2268	53.2342	42993
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=167-Q=179.opb	OPT	167	54.6647	53.2979	48744
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=307-Q=347.opb	OPT	307	55.9095	54.4895	48642
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein27.opb	OPT	18	56.2424	54.8746	42689
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos18.opb	OPT	16	57.8162	56.2431	42674
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=83-Q=367.opb	OPT	83	59.7519	58.4593	48652
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=317-Q=389.opb	OPT	317	68.0756	66.5125	48755
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=191-Q=251.opb	OPT	191	69.5804	68.2395	48615
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=109-Q=373.opb	OPT	109	69.7114	68.4506	48771
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=101-Q=409.opb	OPT	101	72.673	71.2591	48780
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=251-Q=307.opb	OPT	251	73.6078	72.1594	48611
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=281-Q=331.opb	OPT	281	79.188	77.7632	48673
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=307-Q=307.opb	OPT	307	81.6886	80.2242	48662
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=157-Q=181.opb	OPT	157	83.9922	82.5632	48691
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=307-Q=317.opb	OPT	307	87.4427	86.1914	48703
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=293.opb	OPT	149	88.7195	87.262	48602
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=157-Q=163.opb	OPT	157	98.1241	96.6778	48704
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-4.opb	OPT	1015	99.1999	98.2776	42917
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=251.opb	OPT	149	100.77	99.1593	48745
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=271.opb	OPT	149	103.881	102.441	48680
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=139-Q=191.opb	OPT	139	104.404	102.89	48765
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=59-Q=307.opb	OPT	59	106.237	104.643	48676
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16b2.opb	OPT	1031	113.711	112.063	42916
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-sentoy.opb	OPT	-7772	114.237	112.683	42685
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16c2.opb	OPT	861	116.226	114.708	42996
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=127-Q=149.opb	OPT	127	124.835	123.564	48730
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=131-Q=137.opb	OPT	131	125.482	123.728	48675
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=107-Q=373.opb	OPT	107	127.803	126.365	48764
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=347.opb	OPT	331	128.468	127.009	48766
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb	OPT	36	132.416	129.816	42859
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=307-Q=331.opb	OPT	307	133.866	132.301	48603
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_70_70.r.opb	OPT	3	136.552	133.965	50606
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh217.opb	OPT	89	137.184	135.836	42957
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/routing/normalized-s4-4-3-10pb.opb	OPT	70	137.838	134.845	42866
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-5.opb	OPT	1015	139.76	138.734	42941
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-1.opb	OPT	1015	154.306	153.531	43031
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=97-Q=457.opb	OPT	97	156.788	154.833	48736
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=83-Q=271.opb	OPT	83	159.982	158.364	48709
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-2.opb	OPT	1015	164.135	163.143	43008
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=233-Q=347.opb	OPT	233	166.629	164.811	48732
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-f51m.b.opb	OPT	18	166.978	163.623	42878
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii16d2.opb	OPT	785	178.858	177.094	42976
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=251-Q=331.opb	OPT	251	179.865	177.918	48613
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32c4.opb	OPT	736	186.141	184.837	42899
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb	OPT	60	196.33	192.292	42856
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=229-Q=307.opb	OPT	229	212.349	210.281	48686
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-3.opb	OPT	1015	231.496	230.554	42939
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=79-Q=137.opb	OPT	79	240.477	238.647	48702
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-pipex.opb	OPT	164393	243.67	241.364	42561
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=257-Q=331.opb	OPT	257	252.069	250.022	48659
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=173-Q=191.opb	OPT	173	292.029	289.287	48617
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=131-Q=163.opb	OPT	131	335.36	332.962	48760
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=131-Q=157.opb	OPT	131	398.802	395.041	48754
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=113-Q=331.opb	OPT	113	459.29	455.786	48616
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-blend.opb	OPT	-24	488.339	483.488	42482
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cc.opb	OPT	1567	489.166	483.715	42851
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos8.opb	OPT	-3719	573.631	567.365	42677
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-sao2.b.opb	OPT	25	657.338	644.332	42868
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-5pb.opb	OPT	60	788.105	769.11	42854
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-sample2.opb	OPT	5	1000.93	991.615	42575
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-count.b.opb	OPT	24	1199.58	1155.51	42877
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-5xp1.b.opb	OPT	12	1206.92	1161.65	42874
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb	OPT	64	1258.6	1230.4	42861
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-clip.b.opb	OPT	15	1333.04	1295.2	42879

Benchmark Name	Answer	Objective function	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb	SAT	-45	768.696	756.089	43094
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-des.a.opb	SAT	1012	831.606	814.89	50594
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb	SAT	-44	955.46	942.969	43097
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-apex4.a.opb	SAT	825	992.276	967.889	42875
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb	SAT	-44	1037.2	1024.79	43077
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb	SAT	-41	1179.95	1166.61	43090
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-core4284-1064.opb	SAT	907	1269.29	1249.93	42428
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex1010.pi.opb	SAT	441	1349.82	1316.4	50639
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb	SAT	-45	1363.5	1351.63	43093
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-4.opb	SAT	817	1375.23	1353.78	43062
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb	SAT	-41	1514.78	1503.03	43086
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb	SAT	-36	1558.24	1544.44	43082
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-core4872-1529.opb	SAT	1320	1561.97	1538.94	42459
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb	SAT	-44	1567.88	1555.61	43073
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-5.opb	SAT	2642	1634.97	1593.46	43059
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb	SAT	-42	1655.99	1643.84	43075
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-bench1.pi.opb	SAT	167	1667.4	1618.06	42876

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb	? (exit code)	761.085	749.082	43096
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb	? (exit code)	1140.49	1127.63	43091
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb	? (exit code)	1221.77	1208.09	43089
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb	? (exit code)	1222.88	1208.97	43078
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb	? (exit code)	1256.2	1243.56	43092
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb	? (exit code)	1429.12	1415.82	43080

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-2.opb	No Cert.	807.795	795.027	43076
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-sp97ar.opb	No Cert.	1527.02	1483.37	42621
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-core2536-691.opb	No Cert.	1602.9	1585.01	42454

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-15-10.opb	UNSAT	0.338947	0.313227	46364
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-11-10.opb	UNSAT	0.341947	0.318613	46356
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb	UNSAT	0.355945	0.326238	42310
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb	UNSAT	0.374942	0.339447	42242
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb	UNSAT	0.396939	0.368714	42263
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb	UNSAT	0.433933	0.368977	42268
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl.opb	UNSAT	0.51792	0.419201	42290
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb	UNSAT	0.550916	0.420074	42217
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl.opb	UNSAT	0.557914	0.428947	42291
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-25-20.opb	UNSAT	0.573911	0.47803	46330
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb	UNSAT	0.621905	0.48438	42235
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb	UNSAT	0.637902	0.473404	42237
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb	UNSAT	0.677896	0.522994	42259
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-21-20.opb	UNSAT	0.679896	0.517468	46359
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb	UNSAT	0.71989	0.523757	42240
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb	UNSAT	0.855869	0.747349	42249
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-35-30.opb	UNSAT	0.859868	0.636795	46361
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb	UNSAT	0.883864	0.655044	42241
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb	UNSAT	0.918859	0.686401	42243
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb	UNSAT	0.931857	0.740236	46332
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-31-30.opb	UNSAT	0.951854	0.680125	46344
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb	UNSAT	1.04984	0.72749	42311
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb	UNSAT	1.05584	0.834568	42239
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb	UNSAT	1.07184	0.681911	42218
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb	UNSAT	1.11583	0.852397	42238
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb	UNSAT	1.13783	0.864232	42245
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb	UNSAT	1.20482	0.945867	42261
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb	UNSAT	1.22581	0.89261	42254
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb	UNSAT	1.3158	0.95674	46365
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb	UNSAT	1.3168	0.99871	46334
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb	UNSAT	1.36679	0.850124	42313
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb	UNSAT	1.47878	1.04666	42302
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb	UNSAT	1.48477	1.11276	42267
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb	UNSAT	1.55676	1.21857	42224
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb	UNSAT	1.63375	1.16747	42318
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.opb	UNSAT	1.66275	1.28654	46342
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb	UNSAT	1.67574	1.33351	42292
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-51-50.opb	UNSAT	1.71174	1.32873	46358
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb	UNSAT	1.84672	1.34687	42288
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-37s.smv.opb	UNSAT	1.89871	1.45918	42286
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb	UNSAT	1.9817	1.42906	42298
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-44s.smv.opb	UNSAT	2.09668	1.33302	42285
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb	UNSAT	2.15967	1.37232	42230
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.opb	UNSAT	2.30165	1.73663	46328
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb	UNSAT	2.55361	1.7937	42231
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb	UNSAT	2.56761	2.06031	46341
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.opb	UNSAT	2.56961	2.04781	46360
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb	UNSAT	3.12552	2.41395	42280
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-95-90.opb	UNSAT	3.18251	2.62595	46346
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb	UNSAT	3.2615	2.67541	46350
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-25s.smv.opb	UNSAT	3.61745	3.01645	42312
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-cardinality-105-100.opb	UNSAT	3.87641	3.31277	46362
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-81-80.opb	UNSAT	4.54831	3.7219	46349
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-22s.smv.opb	UNSAT	4.94425	4.12839	42305
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-91-90.opb	UNSAT	5.73713	5.19069	46345
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-cache.inv10.ucl.opb	UNSAT	6.83096	6.15289	42274
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl.opb	UNSAT	7.18891	6.53556	42297
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-cardinality-101-100.opb	UNSAT	7.84381	7.15392	46339
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111213670.opb	UNSAT	7.8858	6.68645	42095
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-46s.smv.opb	UNSAT	7.94679	6.88767	42276
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110976935.opb	UNSAT	8.20875	7.02974	42037
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb	UNSAT	8.50771	7.86784	42283
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974372.opb	UNSAT	8.92464	7.82675	42024
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110966483.opb	UNSAT	12.3361	10.2017	42071
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110967729.opb	UNSAT	13.7399	12.4636	42006
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb	UNSAT	21.3198	20.4769	42284
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb	UNSAT	21.4397	20.3637	42299
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-dlx1c.ucl.opb	UNSAT	41.9626	40.6665	42306
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb	UNSAT	64.4772	63.334	42304
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-11-10.opb	UNSAT	85.0411	84.4964	46355
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb	UNSAT	106.551	105.317	42314
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-15-10.opb	UNSAT	116.304	115.698	46363
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111218955.opb	UNSAT	130.1	128.047	42044
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb	UNSAT	130.209	128.723	42320
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-43s.smv.opb	UNSAT	193.514	191.396	42296
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb	UNSAT	221.152	219.529	42308
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb	UNSAT	234.292	233.412	42300
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900584106.opb	UNSAT	1165.96	1153.84	42137
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb	UNSAT	1312.4	1310.99	42287

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.686895	0.516731	42269
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga11_11_sat_pb.cnf.cr.opb	SAT	0.727888	0.54274	42221
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob5.opb	SAT	0.852869	0.681272	41972
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb	SAT	0.91486	0.605083	42227
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb	SAT	0.959853	0.641036	42256
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob1.opb	SAT	1.01084	0.70489	41971
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga13_13_sat_pb.cnf.cr.opb	SAT	1.01184	0.676278	42273
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob10.opb	SAT	1.02284	0.856428	41978
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb	SAT	1.02784	0.734129	42255
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga12_12_sat_pb.cnf.cr.opb	SAT	1.02884	0.695132	42223
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga14_14_sat_pb.cnf.cr.opb	SAT	1.05284	0.771975	42264
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga15_14_sat_pb.cnf.cr.opb	SAT	1.05584	0.738113	42222
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob2.opb	SAT	1.23481	0.921882	41970
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob8.opb	SAT	1.28181	0.842463	41965
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob4.opb	SAT	1.34279	0.909382	41968
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob6.opb	SAT	1.52677	1.07515	41977
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob7.opb	SAT	1.56276	1.05693	41974
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-cuww4.opb	SAT	1.67074	1.05955	41966
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-cuww2.opb	SAT	1.79273	1.28553	41969
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb	SAT	1.84772	1.17161	42219
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob3.opb	SAT	1.9657	1.24395	41967
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-cuww1.opb	SAT	2.11968	1.30051	41975
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb	SAT	2.16667	1.3801	42236
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb	SAT	2.43463	1.53538	42265
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb	SAT	2.66959	1.79372	42233
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-cuww5.opb	SAT	2.84657	2.15996	41973
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army13.24ls.opb	SAT	2.96555	2.17183	41995
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-cuww3.opb	SAT	3.07253	2.23187	41976
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb	SAT	3.42648	2.57895	42262
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin8.opb	SAT	3.70044	2.93192	41980
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army8.9ls.opb	SAT	4.33934	3.34551	41990
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223689.opb	SAT	6.47002	5.15352	42076
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb	SAT	7.30989	6.40237	42244
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army8.9bt.opb	SAT	7.77082	6.73514	41987
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111217374.opb	SAT	8.90864	7.58639	42094
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900669299.opb	SAT	10.0535	8.66747	42169
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111219399.opb	SAT	12.1911	10.9771	42080
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb	SAT	18.8171	17.1049	42204
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb	SAT	18.9441	17.0328	42207
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223416.opb	SAT	19.1341	17.6883	42058
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900581321.opb	SAT	19.841	18.2449	42115
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb	SAT	20.2469	18.7074	42260
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb	SAT	20.3569	18.3695	42206
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb	SAT	20.7378	19.6135	42215
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb	SAT	22.1086	20.2891	42202
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb	SAT	23.9924	22.7857	42272
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900566151.opb	SAT	25.0402	23.8003	42151
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga12_10_sat_pb.cnf.cr.opb	SAT	28.0997	24.849	42251
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army9.12ls.opb	SAT	29.3665	27.4461	41994
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900557568.opb	SAT	43.6004	42.2262	42123
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222248.opb	SAT	46.6019	44.8884	42062
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111226284.opb	SAT	50.9193	49.2297	42089
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547427.opb	SAT	59.8159	58.3012	42173
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900566263.opb	SAT	64.4232	62.8888	42153
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb	SAT	74.3507	71.3132	42205
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb	SAT	75.5015	72.6207	42212
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb	SAT	79.5839	76.5433	42214
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb	SAT	81.3396	78.4444	42211
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb	SAT	82.2545	80.1757	42226
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900571131.opb	SAT	85.0241	83.3852	42108
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb	SAT	85.0701	82.0716	42216
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900561384.opb	SAT	92.145	90.3713	42163
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110968431.opb	SAT	93.4768	91.677	42077
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k3_l6_n1500.opb	SAT	95.5045	93.6232	42199
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900564822.opb	SAT	97.1962	95.4121	42125
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin10.opb	SAT	208.593	204.873	41982
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb	SAT	261.819	251.313	42208
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb	SAT	266.149	255.168	42203
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224522.opb	SAT	274.955	273.394	42010
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb	SAT	281.53	270.954	42209
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb	SAT	294.372	281.835	42213
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb	SAT	332.016	321.047	42210
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554373.opb	SAT	452.691	447.937	42118
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb	SAT	472.85	469.396	42301
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110969933.opb	SAT	482.199	480.289	42033
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222080.opb	SAT	484.99	483.212	42092
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900552311.opb	SAT	492.489	487.506	42144
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554067.opb	SAT	524.458	518.994	42162
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900566270.opb	SAT	635.514	629.315	42195
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554154.opb	SAT	662.261	655.747	42180
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army9.12bt.opb	SAT	773.086	766.478	41992
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111216864.opb	SAT	839.613	836.364	42019
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554389.opb	SAT	906.983	898.506	42114
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb	SAT	927.059	912.495	42257
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900559641.opb	SAT	1018.65	1009.15	42120
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb	SAT	1058.91	1048.96	42253
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900553606.opb	SAT	1202.03	1190.31	42150
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army10.14ls.opb	SAT	1269.47	1258.45	41991
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900549974.opb	SAT	1339.81	1326.48	42101
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900574974.opb	SAT	1476.95	1462.38	42182
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb	SAT	1503.4	1473.81	42250
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977464.opb	SAT	1596.17	1592.39	42035

PB'06 evaluation: benchmarks results per solver

Result page for solver SAT4JPSEUDO 2006.2 Heuristics

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Solver didn't output a solution line and terminated with an unexpected exit code (6 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-cuww4.opb	? (TO)		1800.38	1785.48	43103
normalized-PB06/SATUNSAT-BIGINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob10.opb	? (TO)		1800.84	1785.49	43104

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.278957	0.290898	43391
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob6.opb	SAT	0	46.146	44.9013	43393

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob7.opb	? (TO)	1800.19	1784.52	43389
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob2.opb	? (TO)	1800.22	1785.45	43388
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob4.opb	? (TO)	1800.65	1785.52	43386
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww2.opb	? (TO)	1800.75	1785.47	43387
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww5.opb	? (TO)	1800.8	1785.42	43384
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww3.opb	? (TO)	1800.93	1785.57	43385
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob8.opb	? (TO)	1800.94	1785.83	43392
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob1.opb	? (TO)	1801.03	1785.53	43394
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob3.opb	? (TO)	1801.04	1785.41	43390
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob5.opb	? (TO)	1801.06	1785.42	43383