PB'06 evaluation: benchmarks results per solver

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-enigma.opb	OPT	0	1.47877	1.09936	30417
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-p0291.opb	OPT	10447498	1.62775	1.15252	30428
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-pipex.opb	OPT	788263	5.9031	5.40511	30422
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-p0282.opb	OPT	258411	9.8425	9.36089	30420
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air01.opb	OPT	3398	22.0436	20.5759	30418

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)	456321	1800.6	1797.84	30415
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air02.opb	SAT (TO)	4492	1801.11	1801.4	30419

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-MEDINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos9.opb	?	30.2854	23.2314	30414
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome12.opb	?	39.77	32.7098	30411
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome13.opb	?	70.8092	58.0881	30412
normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-ds.opb	?	115.726	103.684	30413

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air03.opb	? (TO)	1800.08	1799.39	30424
normalized-PB06/OPT-MEDINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-fit1d.opb	? (TO)	1800.11	1798.38	30416
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-gt2.opb	? (TO)	1800.29	1800.29	30437
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-t1717.opb	? (TO)	1800.36	1798.35	30431
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-p6000.opb	? (TO)	1800.36	1798.3	30426
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-aflow40b.opb	? (TO)	1800.59	1798.45	30429
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-air05.opb	? (TO)	1800.84	1800.36	30430
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-nw04.opb	? (TO)	1800.85	1798.35	30435
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-aflow30a.opb	? (TO)	1800.85	1800.34	30434
normalized-PB06/OPT-MEDINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-3.opb	? (TO)	1800.87	1800.41	30445
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-air04.opb	? (TO)	1800.9	1800.36	30432
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air06.opb	? (TO)	1800.92	1800.38	30425
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-vpm2.opb	? (TO)	1801.01	1800.37	30433
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-vpm1.opb	? (TO)	1801.04	1800.38	30423

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	1.01784	0.747107	30768
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=397-Q=521.opb	UNSAT	1.90471	1.45917	46820
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=379-Q=521.opb	UNSAT	2.13168	1.72422	46713
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=383-Q=521.opb	UNSAT	2.20866	1.91248	46747
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=521.opb	UNSAT	2.82957	2.4142	46675
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=23-Q=521.opb	UNSAT	2.88756	2.32712	46778
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-bore3d.opb	UNSAT	3.55046	2.13325	30579
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=113-Q=521.opb	UNSAT	3.74443	3.32311	46830
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa6288-047.opb	UNSAT	4.45832	3.02192	30977
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-pilot.opb	UNSAT	12.973	9.31819	30612
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_2.opb	UNSAT	34.4718	34.0727	49230
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_4.opb	UNSAT	101.739	101.316	49236
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_3.opb	UNSAT	109.468	108.962	49226
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_1.opb	UNSAT	109.519	108.799	49234

Benchmark Name	Answer	Objective function	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-b1.opb	OPT	128	0.907861	0.977466	30923
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_4.opb	OPT	6	0.930858	0.726496	46459
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein9.opb	OPT	5	0.967852	0.721876	30771
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=191-Q=509.opb	OPT	191	0.968852	0.797546	46681
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=179-Q=509.opb	OPT	179	0.98585	0.777691	46803
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-C17.opb	OPT	260	0.994847	0.790953	30931
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	1.00485	0.791459	30545
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g2x2.opb	OPT	2	1.00785	0.728632	31121
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g4x4.opb	OPT	4	1.01384	0.720609	31124
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=107-Q=503.opb	OPT	107	1.03384	0.777087	46797
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=509.opb	OPT	149	1.03584	0.775472	46849
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=439-Q=509.opb	OPT	439	1.03684	0.784312	46773
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=127-Q=499.opb	OPT	127	1.04684	0.826927	46738
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=71-Q=491.opb	OPT	71	1.06584	0.830036	46850
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=409-Q=509.opb	OPT	409	1.06784	0.833547	46672
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=71-Q=461.opb	OPT	71	1.07084	0.829862	46809
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=487.opb	OPT	149	1.07184	0.785689	46733
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=17-Q=487.opb	OPT	17	1.07283	0.827422	46712
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=383-Q=509.opb	OPT	383	1.07784	0.836907	46858
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=17-Q=457.opb	OPT	17	1.08183	0.82266	46731
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=97-Q=509.opb	OPT	97	1.08483	0.788323	46767
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=37-Q=443.opb	OPT	37	1.09283	0.83579	46743
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=499.opb	OPT	223	1.10083	0.832301	46781
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=281-Q=499.opb	OPT	281	1.10083	0.931238	46680
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=487.opb	OPT	89	1.11283	0.834647	46788
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=7-Q=31.opb	OPT	1	1.11483	0.82619	46847
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_4.opb	OPT	6	1.13383	0.826924	49262
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=5-Q=317.opb	OPT	5	1.14282	0.873878	46727
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=313-Q=503.opb	OPT	313	1.14482	0.831775	46806
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=73-Q=449.opb	OPT	73	1.15282	0.876289	46854
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=431-Q=503.opb	OPT	431	1.15782	0.832128	46769
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=487.opb	OPT	47	1.16082	0.828402	46796
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=347-Q=487.opb	OPT	347	1.17782	0.878277	46814
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=479.opb	OPT	29	1.18082	0.828049	46800
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=409-Q=499.opb	OPT	409	1.19582	0.885247	46700
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-3-c.opb	OPT	75	1.19882	2.25066	31060
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=257-Q=503.opb	OPT	257	1.19882	0.843552	46705
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=487-Q=503.opb	OPT	487	1.20782	0.930859	46748
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-4-c.opb	OPT	67	1.20881	0.928869	31021
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-5-c.opb	OPT	75	1.21481	0.889718	31120
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=487-Q=499.opb	OPT	487	1.21581	0.887087	46717
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-1-c.opb	OPT	64	1.21581	0.879127	31017
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=127-Q=491.opb	OPT	127	1.23281	0.944104	46761
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=421.opb	OPT	47	1.23681	0.943804	46791
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_5.opb	OPT	11	1.23881	0.933117	49270
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=17-Q=347.opb	OPT	17	1.23981	0.930871	46701
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=421-Q=487.opb	OPT	421	1.24081	0.931483	46729
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein15.opb	OPT	9	1.24381	0.897366	30773
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=197-Q=479.opb	OPT	197	1.24581	0.931118	46842
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=97-Q=479.opb	OPT	97	1.25081	0.876141	46837
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=11-Q=283.opb	OPT	11	1.25181	0.927877	46688
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=307-Q=449.opb	OPT	307	1.27281	0.878224	46826
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-2-c.opb	OPT	68	1.27481	0.933469	31042
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=83-Q=449.opb	OPT	83	1.2888	0.938976	46716
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=353-Q=479.opb	OPT	353	1.3018	0.935966	46832
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=23-Q=379.opb	OPT	23	1.3018	1.03107	46776
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=307-Q=431.opb	OPT	307	1.3038	0.942955	46805
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=431.opb	OPT	89	1.3058	0.979927	46780
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=101-Q=409.opb	OPT	101	1.3098	0.946815	46860
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-6_0-yes1-1.opb	OPT	50	1.3128	0.940843	30983
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=41-Q=347.opb	OPT	41	1.3128	0.931982	46725
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=479.opb	OPT	331	1.3198	0.930986	46764
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=127-Q=487.opb	OPT	127	1.3228	0.878517	46775
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=83-Q=367.opb	OPT	83	1.3248	0.980688	46732
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=97-Q=457.opb	OPT	97	1.3258	0.934083	46816
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=11-Q=53.opb	OPT	11	1.3288	0.996461	46836
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_5.opb	OPT	11	1.3328	0.978444	46450
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-6_0-yes1-2.opb	OPT	50	1.3348	0.930979	31039
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=347-Q=419.opb	OPT	347	1.3408	0.986426	46822
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=31-Q=439.opb	OPT	31	1.3418	0.931845	46714
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=269-Q=433.opb	OPT	269	1.3458	1.04022	46708
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=397.opb	OPT	149	1.34779	0.980091	46768
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=347-Q=421.opb	OPT	347	1.35279	1.03131	46786
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=409.opb	OPT	149	1.35379	0.929202	46694
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=317.opb	OPT	89	1.35779	1.03375	46833
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=59-Q=419.opb	OPT	59	1.35879	0.988555	46843
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=449-Q=479.opb	OPT	449	1.35979	0.993428	46720
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=157-Q=373.opb	OPT	157	1.35979	0.985306	46857
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=211-Q=479.opb	OPT	211	1.36279	0.988827	46704
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=101-Q=457.opb	OPT	101	1.36579	0.978214	46744
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=431.opb	OPT	223	1.37379	1.03093	46752
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=7-Q=223.opb	OPT	7	1.38079	0.985953	46758
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=13-Q=179.opb	OPT	13	1.38379	0.992415	46828
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=167-Q=347.opb	OPT	167	1.38779	1.05455	46848
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-3_4-yes1-2.opb	OPT	50	1.38779	1.08891	30988
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=7-Q=179.opb	OPT	7	1.38779	1.02942	46746
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=409.opb	OPT	29	1.38979	0.977075	46793
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-6_0-yes1-4.opb	OPT	50	1.39079	1.05739	30985
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=83-Q=271.opb	OPT	83	1.39079	1.09847	46789
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=331.opb	OPT	29	1.39879	0.991554	46839
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=239-Q=487.opb	OPT	239	1.39979	0.943813	46707
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=347.opb	OPT	89	1.40079	1.01183	46831
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=443-Q=487.opb	OPT	443	1.40479	0.996065	46737
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=293.opb	OPT	89	1.40579	1.0914	46698
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=191-Q=449.opb	OPT	191	1.40579	0.981339	46818
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=59-Q=431.opb	OPT	59	1.40679	0.995219	46677
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=397-Q=449.opb	OPT	397	1.40879	1.04452	46841
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=421.opb	OPT	223	1.40979	1.03155	46749
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=101-Q=379.opb	OPT	101	1.40979	1.03844	46759
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=53-Q=151.opb	OPT	53	1.41079	1.10589	46736
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=71-Q=409.opb	OPT	71	1.41578	0.931621	46779
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=347.opb	OPT	331	1.42078	1.13853	46846
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=191-Q=389.opb	OPT	191	1.42378	1.03417	46751
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=347-Q=439.opb	OPT	347	1.42578	1.08665	46690
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=347-Q=431.opb	OPT	347	1.42978	1.03451	46734
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=61-Q=419.opb	OPT	61	1.43378	1.0568	46718
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=113-Q=479.opb	OPT	113	1.43778	0.929372	46852
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=379-Q=431.opb	OPT	379	1.43878	1.0834	46829
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=59-Q=337.opb	OPT	59	1.44178	1.08561	46754
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=109-Q=419.opb	OPT	109	1.44478	1.03305	46740
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=389-Q=433.opb	OPT	389	1.45478	1.0904	46685
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=23-Q=293.opb	OPT	23	1.45478	1.00566	46674
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=197.opb	OPT	47	1.45478	1.1491	46741
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb	OPT	50	1.45578	1.18421	31101
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-3_4-yes1-4.opb	OPT	50	1.45878	1.13923	31003
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=43-Q=227.opb	OPT	43	1.46378	1.14547	46787
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=59-Q=307.opb	OPT	59	1.46778	1.0909	46756
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=107-Q=373.opb	OPT	107	1.47378	1.14937	46844
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=109-Q=373.opb	OPT	109	1.47777	1.08773	46851
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=97-Q=331.opb	OPT	97	1.47877	1.03505	46815
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=277.opb	OPT	29	1.48077	1.08377	46706
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=37-Q=107.opb	OPT	37	1.48277	1.0956	46801
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=257-Q=449.opb	OPT	257	1.48977	1.09988	46703
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=269-Q=431.opb	OPT	269	1.49377	1.08703	46819
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=379.opb	OPT	331	1.50077	1.20608	46676
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=317-Q=389.opb	OPT	317	1.50177	1.08616	46835
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=347-Q=379.opb	OPT	347	1.50277	1.15049	46670
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=127-Q=359.opb	OPT	127	1.50677	1.18731	46794
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=71.opb	OPT	29	1.52677	1.1125	46679
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-enigma.opb	OPT	0	1.52977	1.08838	30643
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=113-Q=331.opb	OPT	113	1.53177	1.19094	46696
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=127-Q=389.opb	OPT	127	1.54376	1.13648	46699
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=359-Q=379.opb	OPT	359	1.54876	1.15569	46726
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb	OPT	34	1.56476	1.24056	30769
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mas76.opb	OPT	1	1.56776	1.54234	30717
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=53-Q=191.opb	OPT	53	1.57776	1.20119	46686
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=359.opb	OPT	331	1.58076	1.20783	46808
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=307-Q=367.opb	OPT	307	1.58876	1.20796	46678
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=251-Q=419.opb	OPT	251	1.59076	1.18781	46855
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=211-Q=347.opb	OPT	211	1.60076	1.20657	46689
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=421-Q=449.opb	OPT	421	1.60076	1.0793	46853
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=79-Q=331.opb	OPT	79	1.60576	1.08028	46715
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=227-Q=383.opb	OPT	227	1.61675	1.24452	46702
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=383.opb	OPT	223	1.62275	1.23595	46692
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=61-Q=307.opb	OPT	61	1.62675	1.29315	46723
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=263.opb	OPT	89	1.63575	1.19569	46792
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=53-Q=127.opb	OPT	53	1.64175	1.25412	46827
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=79-Q=257.opb	OPT	79	1.64675	1.2388	46709
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=293.opb	OPT	149	1.65575	1.28926	46682
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=389.opb	OPT	331	1.66075	1.08438	46821
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=71.opb	OPT	47	1.66775	1.1871	46770
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	1.66875	1.14299	30544
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=79-Q=173.opb	OPT	79	1.68374	1.34187	46721
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=379.opb	OPT	223	1.68374	1.29602	46859
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=67-Q=223.opb	OPT	67	1.69274	1.29426	46817
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0291.opb	OPT	7985	1.70074	1.13724	30666
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=307-Q=347.opb	OPT	307	1.70474	1.24618	46722
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=59-Q=131.opb	OPT	59	1.70574	1.34461	46813
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=239-Q=373.opb	OPT	239	1.70674	1.345	46807
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=29-Q=163.opb	OPT	29	1.71674	1.14358	46790
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g9x3.opb	OPT	7	1.72174	1.19472	31126
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=211.opb	OPT	89	1.74673	1.36918	46730
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=61-Q=163.opb	OPT	61	1.75173	1.36247	46777
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=53-Q=97.opb	OPT	53	1.75373	1.3455	46799
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=307-Q=331.opb	OPT	307	1.77473	1.36272	46683
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=83-Q=89.opb	OPT	83	1.78073	1.39722	46772
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-3_4-yes1-1.opb	OPT	50	1.78173	1.55251	31066
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=379-Q=397.opb	OPT	379	1.78573	1.1963	46745
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=101-Q=223.opb	OPT	101	1.79273	1.39806	46684
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb	OPT	3089	1.79373	1.31712	30772
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-2.opb	OPT	350	1.79672	1.50076	31102
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=347.opb	OPT	223	1.79973	1.35722	46710
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=233-Q=347.opb	OPT	233	1.80173	1.40319	46812
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=263-Q=367.opb	OPT	263	1.81472	1.29788	46765
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-5.opb	OPT	350	1.81672	1.35225	31006
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=269-Q=359.opb	OPT	269	1.81772	1.39644	46802
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=331-Q=331.opb	OPT	331	1.82772	1.24416	46735
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=367-Q=389.opb	OPT	367	1.82872	1.23954	46856
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=251-Q=379.opb	OPT	251	1.85472	1.39571	46795
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_40_40.r.opb	OPT	2	1.87171	1.23855	49194
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-3.opb	OPT	350	1.88071	1.35537	30991
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=79-Q=137.opb	OPT	79	1.88471	1.45031	46782
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=307-Q=317.opb	OPT	307	1.89471	1.40193	46783
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=307.opb	OPT	223	1.90471	1.47539	46785
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=131-Q=277.opb	OPT	131	1.91271	1.45767	46804
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-4.opb	OPT	350	1.91871	1.3566	31096
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.opb	OPT	100	1.92471	1.39408	31063
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mas74.opb	OPT	1	1.9357	1.29541	30715
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=67-Q=191.opb	OPT	67	1.9397	1.45106	46750
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=307-Q=307.opb	OPT	307	1.9397	1.4994	46742
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=113-Q=233.opb	OPT	113	1.9477	1.50762	46719
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=293-Q=307.opb	OPT	293	1.99769	1.60818	46811
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=83-Q=197.opb	OPT	83	2.00669	1.40017	46728
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=281-Q=331.opb	OPT	281	2.01469	1.55662	46753
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=191-Q=251.opb	OPT	191	2.03769	1.62779	46695
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=251-Q=331.opb	OPT	251	2.13368	1.66289	46693
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=271.opb	OPT	149	2.13767	1.47248	46760
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=127-Q=211.opb	OPT	127	2.15367	1.7275	46838
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-bbara.r.opb	OPT	7	2.17467	1.8233	49191
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=173-Q=211.opb	OPT	173	2.17667	1.72311	46757
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-1.opb	OPT	350	2.17767	1.45705	30994
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=257-Q=331.opb	OPT	257	2.17767	1.71972	46739
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=223-Q=263.opb	OPT	223	2.18067	1.73385	46763
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=173-Q=173.opb	OPT	173	2.19367	1.75886	46798
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=173-Q=191.opb	OPT	173	2.21366	1.62896	46697
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=131-Q=137.opb	OPT	131	2.22266	1.72949	46755
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_70_70.r.opb	OPT	2	2.22666	1.81617	49165
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex5inp.r.opb	OPT	4	2.23866	1.71587	49216
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=167-Q=173.opb	OPT	167	2.26166	1.81681	46762
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=157-Q=163.opb	OPT	157	2.26366	1.76581	46784
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=127-Q=137.opb	OPT	127	2.26765	1.83919	46671
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_6.opb	OPT	17	2.27465	1.66101	46449
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=229-Q=307.opb	OPT	229	2.27565	1.67204	46766
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=163.opb	OPT	149	2.27865	1.90228	46673
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=167.opb	OPT	149	2.28065	1.83101	46774
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh12.opb	OPT	94	2.28165	1.65866	31045
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=151-Q=167.opb	OPT	151	2.28865	1.81666	46823
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=149-Q=251.opb	OPT	149	2.29265	1.66079	46825
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=263-Q=307.opb	OPT	263	2.29265	1.894	46724
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=283-Q=293.opb	OPT	283	2.30465	1.92063	46711
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=167-Q=179.opb	OPT	167	2.34864	1.86317	46824
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=157-Q=181.opb	OPT	157	2.34964	1.7667	46771
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-3_4-yes1-3.opb	OPT	50	2.35764	1.88288	30972
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein27.opb	OPT	18	2.36364	2.02465	30770
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=131-Q=163.opb	OPT	131	2.37664	1.8238	46840
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=251-Q=307.opb	OPT	251	2.40963	1.89414	46691
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=127-Q=149.opb	OPT	127	2.42363	1.87316	46810
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=229-Q=239.opb	OPT	229	2.50862	1.98905	46669
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=139-Q=191.opb	OPT	139	2.53061	1.87948	46845
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=131-Q=157.opb	OPT	131	2.5886	1.82315	46834
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-2.opb	OPT	100	2.6066	2.1385	30979
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_90_90.r.opb	OPT	2	2.68059	2.0318	49206
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_6.opb	OPT	17	2.69659	1.94066	49274
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=251-Q=277.opb	OPT	251	2.74958	2.13089	46687
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_90_90.r.opb	OPT	2	3.38348	2.80608	49176
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_30_30.r.opb	OPT	3	3.45847	2.81898	49183
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-opus.r.opb	OPT	5	3.59045	3.14411	49169
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb	OPT	50	3.99239	3.48365	30976
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8a1.opb	OPT	54	5.54116	5.03944	31047
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-pipex.opb	OPT	164393	5.97609	5.50891	30642
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-sentoy.opb	OPT	-7772	6.16106	5.46607	30766
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-2_0-yes1-2.opb	OPT	50	6.541	6.04223	31095
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb	OPT	62027	7.17491	6.21083	30776
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-3.opb	OPT	100	7.82381	7.03197	31019
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-2_0-yes1-3.opb	OPT	50	8.08077	7.70865	31035
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb	OPT	100	8.17676	7.70655	31091
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0282.opb	OPT	104028	10.1395	9.46773	30645
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex6inp.r.opb	OPT	4	11.1323	10.6637	49182
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_50_50.r.opb	OPT	3	12.2261	11.6819	49168
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb	OPT	36	12.4701	11.8522	30943
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_7.opb	OPT	25	12.7671	11.6667	49265
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb	OPT	36	13.7459	13.1084	30944
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb	OPT	36	14.7358	14.186	30946
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ4_3.opb	OPT	20	14.9137	13.9884	30921
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb	OPT	25	16.1435	15.2994	46453
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb	OPT	34	16.3315	15.704	30945
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh212.opb	OPT	97	17.9613	16.9568	31104
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh207.opb	OPT	95	18.1792	17.4893	31025
normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb	OPT	36	20.4219	19.8737	30936
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh301.opb	OPT	95	20.9678	20.2458	31011
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data4_3.opb	OPT	8276	22.6766	22.0143	30918
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh17.opb	OPT	95	23.6154	22.99	31105
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh7.opb	OPT	89	25.8221	25.0138	31093
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air01.opb	OPT	1496	26.302	24.8138	30654
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh220.opb	OPT	94	27.9198	27.254	31081
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh1.opb	OPT	92	32.713	32.0966	31001
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_70_70.r.opb	OPT	3	37.7313	37.0959	49186
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh209.opb	OPT	93	43.4634	42.7024	31030
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh213.opb	OPT	92	49.0915	48.3738	31086
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-1.opb	OPT	100	57.4543	56.8563	30986
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_2.opb	OPT	1	78.2861	77.8136	49245
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh218.opb	OPT	90	79.8639	79.2179	31111
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_20_20.r.opb	OPT	5	85.806	85.3406	49199
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.opb	OPT	100	95.8604	95.3913	31027
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh205.opb	OPT	94	99.6339	98.9245	31040
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-dk512x.r.opb	OPT	6	105.094	104.436	49185
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-1_6-yes1-3.opb	OPT	50	113.484	112.872	31023
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh204.opb	OPT	93	116.474	115.88	31119
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb	OPT	50	129.67	129.243	31032
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh210.opb	OPT	88	134.046	133.351	31013
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b4.opb	OPT	376	155.422	154.769	31097
normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g7x7.opb	OPT	12	155.714	155.533	31125
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-1_6-yes1-4.opb	OPT	50	171.524	171.068	31026
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein45.opb	OPT	30	176.927	176.416	30774
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b2.opb	OPT	244	225.999	225.194	31113
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-1-c.opb	OPT	317	230.022	229.338	31088
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-4-c.opb	OPT	324	246.922	246.298	30971
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-3-c.opb	OPT	334	267.695	267.2	31024
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_30_30.r.opb	OPT	4	276.899	276.538	49208
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-2.opb	OPT	100	289.103	288.605	30968
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-5-c.opb	OPT	341	309.925	309.397	31115
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb	OPT	1120	328.909	328.483	30777
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-2-c.opb	OPT	349	329.413	328.936	31108
normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb	OPT	34	337.321	336.31	46463
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-1_6-yes1-1.opb	OPT	50	359.466	359.148	31068
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_8.opb	OPT	34	451.992	451.353	49267
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-3_4-yes1-4.opb	OPT	100	487.837	487.251	31034
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_50_50.r.opb	OPT	4	571.266	570.817	49198
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-1.opb	OPT	1015	899.474	899.056	31112
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par16-2.opb	OPT	1015	997.694	996.955	31089
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_10_10.r.opb	OPT	8	1182.41	1182.21	49211
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-maincont.r.opb	OPT	7	1344.81	1344.52	49181
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-rd73.b.opb	OPT	4	1348.43	1346.99	49193
normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh217.opb	OPT	89	1397.78	1397.51	31038
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-50-1_6-yes1-2.opb	OPT	50	1475.87	1475.77	30978
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb	OPT	200	1568.33	1567.92	31106
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_3.opb	OPT	2	1608.99	1609.13	49225

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos10.opb	?	12.929	9.23362	30756
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-net12.opb	?	13.177	9.46947	30785
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-van.opb	?	13.6509	9.38264	30718
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-atlanta-ip.opb	?	13.7879	9.43973	30694
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum3.opb	?	13.9329	9.64225	30676
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-van.opb	?	13.9609	9.6405	30538
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum1.opb	?	14.9607	9.83902	30708
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-msc98-ip.opb	?	15.2177	9.8942	30689
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-CMS750_4.opb	?	15.6676	10.4733	30514
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-NSR8K.opb	?	16.4065	12.5542	30541
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-greenbea.opb	?	16.7135	11.6335	30552
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-greenbeb.opb	?	16.8084	11.5293	30631
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-B1C1S1.opb	?	16.8864	11.2506	30532
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-stp3d.opb	?	16.9454	12.1036	30713
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos8.opb	?	16.9454	10.351	30758
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-fit2d.opb	?	17.0554	10.9184	30614
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-A2C1S1.opb	?	17.1224	11.2908	30523
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-B2C1S1.opb	?	17.2144	11.2756	30537
normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_20.opb	?	17.2434	11.8159	46460
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-A1C1S1.opb	?	17.4134	11.2912	30529
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-a1c1s1.opb	?	17.5113	11.71	30714
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_20.opb	?	18.1862	12.161	49276
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-80bau3b.opb	?	18.9231	12.4698	30622
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3702.opb	?	19.836	14.1517	30454
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3701.opb	?	20.4549	14.4147	30475
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n370c.opb	?	20.6209	14.4668	30463
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-fit2p.opb	?	20.6299	14.8265	30629
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3704.opb	?	20.7968	14.6289	30473
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n370a.opb	?	20.9058	14.3795	30459
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3700.opb	?	20.9108	14.5901	30466
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n370b.opb	?	20.9198	14.7061	30460
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3705.opb	?	20.9828	14.5275	30453
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-d2q06c.opb	?	21.0128	15.0463	30580
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3707.opb	?	21.0418	14.7735	30461
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3709.opb	?	21.1268	14.8734	30450
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-dfl001.opb	?	21.1348	14.6564	30630
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n370e.opb	?	21.1358	14.3883	30448
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3706.opb	?	21.2338	14.9598	30451
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3703.opb	?	21.3538	14.4426	30452
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3708.opb	?	21.7417	15.182	30471
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb	?	22.4536	15.9835	30710
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-dano3_4.opb	?	22.8955	16.8298	30498
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-maros-r7.opb	?	23.7524	17.3683	30599
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-bnl2.opb	?	24.1083	18.5349	30627
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-pilot87.opb	?	24.2533	18.2229	30562
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-dano3_3.opb	?	24.2703	17.74	30480
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-dano3_5.opb	?	24.9302	18.5662	30503
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-woodw.opb	?	24.9402	18.1218	30550
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-dano3mip.opb	?	26.127	19.7798	30687
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos19.opb	?	26.322	20.6993	30754
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos9.opb	?	29.4355	22.3679	30486
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome11.opb	?	29.6025	22.0378	30446
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-rd-rplusc-21.opb	?	57.6502	51.9021	30722
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-sp97ar.opb	?	78.4371	69.195	30702

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob1.opb	? (TO)	1800.1	1800.35	31195
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob2.opb	? (TO)	1800.18	1800.33	31189
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob8.opb	? (TO)	1800.22	1800.65	31193
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob6.opb	? (TO)	1800.25	1800.38	31194
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob7.opb	? (TO)	1800.26	1800.31	31190
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob4.opb	? (TO)	1800.3	1800.35	31187
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww5.opb	? (TO)	1800.32	1800.36	31185
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww1.opb	? (TO)	1800.32	1800.35	31192
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww3.opb	? (TO)	1800.37	1800.36	31186
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob5.opb	? (TO)	1800.43	1800.51	31184
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww2.opb	? (TO)	1800.53	1800.37	31188
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob3.opb	? (TO)	1800.6	1801.34	31191

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb	UNSAT	0.992848	0.781063	30391
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl.opb	UNSAT	0.993848	0.775435	30372
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl.opb	UNSAT	1.03584	0.82779	30371
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb	UNSAT	1.41978	1.03256	30394
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb	UNSAT	2.04569	1.34286	30392
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb	UNSAT	2.05569	1.45989	30369
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb	UNSAT	2.06069	1.42253	30373
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb	UNSAT	2.98455	1.76572	30379
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb	UNSAT	8.06377	4.89852	30365
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977780.opb	UNSAT	10.9153	10.1918	30098
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110966483.opb	UNSAT	14.1598	13.5848	30152
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224059.opb	UNSAT	14.2108	13.746	30159
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110976157.opb	UNSAT	14.4418	13.7906	30146
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110978334.opb	UNSAT	14.4588	13.8684	30112
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110968898.opb	UNSAT	14.9907	14.3605	30154
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973670.opb	UNSAT	15.0357	14.561	30128
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110970631.opb	UNSAT	15.3447	14.7394	30085
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110968094.opb	UNSAT	15.4537	14.7686	30150
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111217392.opb	UNSAT	15.6696	14.8789	30136
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110975607.opb	UNSAT	15.8056	15.1404	30151
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111227861.opb	UNSAT	16.1555	15.5578	30101
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110967729.opb	UNSAT	16.7645	16.1151	30087
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111213670.opb	UNSAT	17.0324	16.2819	30176
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973163.opb	UNSAT	17.1864	16.5907	30155
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111220019.opb	UNSAT	17.4024	16.8583	30177
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110976935.opb	UNSAT	17.4633	16.6831	30118
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111217555.opb	UNSAT	17.5673	16.7838	30102
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110969577.opb	UNSAT	17.7693	17.0704	30131
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977273.opb	UNSAT	17.8573	17.0811	30123
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111221624.opb	UNSAT	18.0153	17.4424	30153
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224451.opb	UNSAT	18.2882	17.7283	30115
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110966688.opb	UNSAT	18.3672	17.6841	30089
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110969170.opb	UNSAT	18.5242	17.9413	30142
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111218757.opb	UNSAT	18.6032	18.0556	30168
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111226062.opb	UNSAT	19.0011	18.4732	30086
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111218024.opb	UNSAT	19.1581	18.5218	30169
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110967523.opb	UNSAT	19.2081	18.6417	30130
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224255.opb	UNSAT	19.3141	18.6903	30111
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110978113.opb	UNSAT	19.495	18.8761	30148
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111227326.opb	UNSAT	19.656	18.9738	30124
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111219799.opb	UNSAT	19.974	19.5953	30106
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110975965.opb	UNSAT	19.98	19.2517	30108
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110971697.opb	UNSAT	20.0679	19.3484	30099
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111220767.opb	UNSAT	20.1179	19.5048	30129
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974372.opb	UNSAT	20.1859	19.7223	30105
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223220.opb	UNSAT	20.2419	19.6631	30090
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110970444.opb	UNSAT	20.3239	19.6582	30083
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111225122.opb	UNSAT	20.4559	19.8138	30145
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110972154.opb	UNSAT	20.4719	19.8124	30104
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111226368.opb	UNSAT	20.7408	20.1248	30156
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111213868.opb	UNSAT	20.9388	20.5109	30103
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111225605.opb	UNSAT	21.0268	20.3921	30095
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111220546.opb	UNSAT	21.1358	20.4896	30097
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222539.opb	UNSAT	21.2668	20.6615	30121
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111226680.opb	UNSAT	21.3358	20.5917	30133
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224929.opb	UNSAT	21.6127	21.016	30162
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110968561.opb	UNSAT	21.7667	21.009	30135
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974180.opb	UNSAT	22.2926	21.7123	30126
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111216411.opb	UNSAT	22.6106	22.0056	30171
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222257.opb	UNSAT	22.7135	22.0694	30117
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110971363.opb	UNSAT	22.9035	21.9674	30078
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111221203.opb	UNSAT	23.7784	23.3017	30119
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111218955.opb	UNSAT	24.1773	23.509	30125
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111212272.opb	UNSAT	24.2613	23.7141	30096
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111219348.opb	UNSAT	24.3023	23.7302	30092
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111216823.opb	UNSAT	24.5093	23.9234	30166
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223004.opb	UNSAT	24.5303	23.8946	30172
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111228076.opb	UNSAT	24.7162	24.1929	30174
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111212923.opb	UNSAT	26.092	25.4848	30141
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110976730.opb	UNSAT	26.216	25.6545	30149
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110972763.opb	UNSAT	26.255	25.5887	30079
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111227012.opb	UNSAT	26.7519	26.0819	30163
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973364.opb	UNSAT	27.3828	26.7984	30122
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110967142.opb	UNSAT	28.3537	27.7847	30138
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111218308.opb	UNSAT	28.5857	27.9847	30081
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111212476.opb	UNSAT	29.8565	29.2258	30140
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110969860.opb	UNSAT	31.8832	31.609	30082
normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-cache.inv10.ucl.opb	UNSAT	117.584	116.382	30355
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-11-10.opb	UNSAT	946.377	946.253	45956
normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-15-10.opb	UNSAT	1616.76	1616.72	45964

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-cuww5.opb	SAT	0.892863	0.722611	30054
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob5.opb	SAT	0.97985	0.776296	30053
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob8.opb	SAT	1.00285	0.777633	30046
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-cuww1.opb	SAT	1.03084	0.801207	30056
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob2.opb	SAT	1.04284	0.832676	30051
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-cuww4.opb	SAT	1.05184	0.781969	30047
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob4.opb	SAT	1.05884	0.778088	30049
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-cuww3.opb	SAT	1.06484	0.828304	30057
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob7.opb	SAT	1.08083	0.821555	30055
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob1.opb	SAT	1.11183	0.838207	30052
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob6.opb	SAT	1.16182	0.852887	30058
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob3.opb	SAT	1.20382	0.840035	30048
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-prob10.opb	SAT	1.21981	0.852097	30059
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/ manquiho/Aardal_1/normalized-reduced-cuww2.opb	SAT	1.56176	1.0564	30050
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900566263.opb	SAT	2.04269	1.45281	30234
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900571131.opb	SAT	2.06569	1.56247	30189
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army8.9bt.opb	SAT	2.26366	1.76774	30068
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900566151.opb	SAT	2.28465	1.55724	30232
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900577000.opb	SAT	2.6226	1.91826	30238
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554375.opb	SAT	2.73358	1.96031	30215
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900564822.opb	SAT	2.82757	2.2899	30206
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223596.opb	SAT	3.01454	2.34809	30127
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111219399.opb	SAT	3.04454	2.40046	30161
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900559365.opb	SAT	3.2485	2.33751	30242
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin8.opb	SAT	3.3075	2.96911	30061
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547427.opb	SAT	3.41148	2.80518	30254
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111217374.opb	SAT	3.46547	2.85594	30175
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110976735.opb	SAT	3.55446	3.01746	30110
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army8.9ls.opb	SAT	3.80142	3.22632	30071
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222248.opb	SAT	3.9184	3.43894	30143
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223689.opb	SAT	4.23436	3.69903	30157
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900576918.opb	SAT	5.21021	4.50826	30275
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554389.opb	SAT	5.36718	4.42471	30195
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547353.opb	SAT	6.01308	5.25333	30268
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111221953.opb	SAT	6.12507	5.41498	30167
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110970277.opb	SAT	6.62999	5.89865	30080
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547416.opb	SAT	6.73998	5.92692	30214
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900557568.opb	SAT	6.80196	5.98464	30204
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977464.opb	SAT	7.39887	6.86932	30116
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111222080.opb	SAT	7.76282	7.01784	30173
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900669309.opb	SAT	7.8948	7.11804	30187
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900669299.opb	SAT	8.15776	7.32981	30250
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554373.opb	SAT	9.67553	8.94465	30199
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900552311.opb	SAT	9.92449	9.16738	30225
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900574974.opb	SAT	9.95549	9.12254	30263
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111226241.opb	SAT	10.3954	9.77216	30094
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900670756.opb	SAT	11.1763	10.3446	30228
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223416.opb	SAT	11.3363	10.7179	30139
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547461.opb	SAT	11.4313	10.7793	30256
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111216864.opb	SAT	11.5142	10.8672	30100
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110975832.opb	SAT	11.5912	10.9276	30164
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111226284.opb	SAT	11.6132	10.7636	30170
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900566270.opb	SAT	11.6702	10.9751	30276
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974553.opb	SAT	11.7572	11.183	30165
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110971766.opb	SAT	11.8132	11.276	30088
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224522.opb	SAT	12.98	12.3945	30091
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110968431.opb	SAT	13.171	12.5229	30158
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900557413.opb	SAT	13.8599	13.2163	30211
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900561384.opb	SAT	14.0269	13.4206	30244
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900559641.opb	SAT	14.1598	13.4184	30201
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900581321.opb	SAT	14.1698	13.3711	30196
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110967327.opb	SAT	14.7428	14.2056	30113
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973863.opb	SAT	14.9877	14.4077	30132
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973478.opb	SAT	15.1287	14.5281	30144
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111217380.opb	SAT	15.2077	14.5566	30084
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110969933.opb	SAT	15.8166	15.1462	30114
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223696.opb	SAT	16.2335	15.6112	30134
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900544463.opb	SAT	18.5062	17.8406	30220
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554154.opb	SAT	19.3141	18.5934	30261
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111216188.opb	SAT	19.448	18.7812	30120
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111227418.opb	SAT	21.6357	20.9672	30160
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110972958.opb	SAT	21.7707	21.1719	30093
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977266.opb	SAT	22.9105	22.3117	30147
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110970170.opb	SAT	23.5014	22.9357	30107
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110971097.opb	SAT	23.5084	22.886	30109
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900574948.opb	SAT	23.7074	22.8351	30192
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110975678.opb	SAT	24.2683	23.5697	30137
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900561389.opb	SAT	25.1102	24.2892	30205
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554067.opb	SAT	33.003	32.098	30243
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army10.14bt.opb	SAT	40.8308	39.811	30066
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900567003.opb	SAT	60.7058	59.9658	30235
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900549974.opb	SAT	67.2358	66.5848	30182
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900553644.opb	SAT	71.3841	70.5766	30253
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900565527.opb	SAT	78.3431	77.6667	30248
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army9.12bt.opb	SAT	85.1571	84.5606	30073
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army9.12ls.opb	SAT	94.9496	94.2974	30075
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army11.17bt.opb	SAT	98.1261	97.53	30067
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900559416.opb	SAT	101.192	100.487	30252
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900553606.opb	SAT	105.791	105.12	30231
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900568952.opb	SAT	109.633	109.388	30180
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900582376.opb	SAT	111.959	111.186	30200
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547334.opb	SAT	124.558	123.792	30241
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900567939.opb	SAT	158.333	157.403	30270
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army10.14ls.opb	SAT	593.978	593.582	30072
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb	SAT	1017.88	1015.03	30288
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army11.17ls.opb	SAT	1654.64	1654.54	30074

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k3_l6_n1500.opb	?	13.8249	10.6863	30280
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k5_l4_n750.opb	?	14.0579	10.8297	30282
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb	?	15.9416	11.9641	30370
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl.opb	?	18.4872	14.3287	30384
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl.opb	?	18.8811	14.5312	30374
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb	?	19.2641	14.1194	30382
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb	?	19.69	14.4388	30404
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl.opb	?	19.916	15.1162	30390
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb	?	21.6197	16.3965	30398
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LsqHdStrong.ucl.opb	?	28.8246	22.547	30356
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb	?	33.138	25.5274	30396

PB'06 evaluation: benchmarks results per solver

Result page for solver absconPseudo 1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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