PB'05 competition: benchmarks results per solver

Benchmark Name	Answer	Traceid	CPU time
web/uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb	UNSAT	2030	0.013997
submitted/aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb	UNSAT	650	0.016997
submitted/aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb	UNSAT	651	0.017996
submitted/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb	UNSAT	704	0.022995
web/uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb	UNSAT	2011	0.026995
submitted/aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb	UNSAT	652	0.027995
web/uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl.opb	UNSAT	2054	0.031994
web/uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl.opb	UNSAT	2013	0.034993
submitted/aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb	UNSAT	654	0.034994
submitted/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb	UNSAT	655	0.043993
submitted/aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb	UNSAT	656	0.046991
submitted/aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb	UNSAT	657	0.054991
submitted/aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb	UNSAT	658	0.068988
web/uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb	UNSAT	2014	0.101983
submitted/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb	UNSAT	659	0.104983
submitted/aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb	UNSAT	660	0.12698
submitted/aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb	UNSAT	661	0.140977
submitted/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb	UNSAT	662	0.148976
web/uclid_pb_benchmarks/normalized-44s.smv.opb	UNSAT	2009	0.159975
submitted/aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb	UNSAT	663	0.166973
submitted/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb	UNSAT	705	0.196969
submitted/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb	UNSAT	664	0.208967
submitted/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb	UNSAT	665	0.220966
web/uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb	UNSAT	2031	0.231964
submitted/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb	UNSAT	666	0.25896
web/uclid_pb_benchmarks/normalized-37s.smv.opb	UNSAT	2051	0.279957
submitted/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb	UNSAT	667	0.340947
submitted/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb	UNSAT	668	0.372943
web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb	UNSAT	2041	0.38294
submitted/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb	UNSAT	669	0.409937
web/uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb	UNSAT	2025	0.417935
web/uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb	UNSAT	2049	0.417935
web/uclid_pb_benchmarks/normalized-46s.smv.opb	UNSAT	2012	0.51792
web/uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb	UNSAT	2015	0.572912
web/uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb	UNSAT	2016	0.710891
web/uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb	UNSAT	2017	5.51216

Benchmark Name	Answer	Traceid	CPU time
submitted/aloul/FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb	SAT	672	0.085986
submitted/aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb	SAT	676	0.307952
submitted/aloul/FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb	SAT	671	0.525919
submitted/aloul/FPGA_SAT05/normalized-fpga11_11_sat_pb.cnf.cr.opb	SAT	673	0.58191
submitted/aloul/FPGA_SAT05/normalized-fpga14_14_sat_pb.cnf.cr.opb	SAT	683	0.756884
submitted/aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb	SAT	706	0.840872
submitted/aloul/FPGA_SAT05/normalized-fpga12_12_sat_pb.cnf.cr.opb	SAT	677	0.919859

Benchmark Name	Answer	Traceid	CPU time
submitted/aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb	UNKNOWN	703	1.02684
submitted/aloul/FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb	UNKNOWN	699	1.03084
submitted/aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb	UNKNOWN	702	1.03484
submitted/aloul/FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb	UNKNOWN	700	1.04084
web/uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb	UNKNOWN	2042	1.04484
submitted/aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb	UNKNOWN	701	1.04584
submitted/aloul/FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb	UNKNOWN	696	1.04984
web/uclid_pb_benchmarks/normalized-25s.smv.opb	UNKNOWN	2006	1.04984
submitted/aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb	UNKNOWN	697	1.04984
web/uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb	UNKNOWN	2052	1.05284
submitted/aloul/FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb	UNKNOWN	686	1.06184
submitted/aloul/FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb	UNKNOWN	682	1.06284
web/uclid_pb_benchmarks/normalized-ooo.burch_dill.4.accl.ucl.opb	UNKNOWN	2037	1.06484
submitted/aloul/FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb	UNKNOWN	687	1.07084
web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl.opb	UNKNOWN	2035	1.07284
submitted/aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb	UNKNOWN	692	1.07383
submitted/aloul/FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb	UNKNOWN	691	1.07384
submitted/aloul/FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb	UNKNOWN	685	1.07584
submitted/aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb	UNKNOWN	708	1.07883
web/uclid_pb_benchmarks/normalized-ooo.burch_dill.2.accl.ucl.opb	UNKNOWN	2033	1.07983
submitted/aloul/FPGA_SAT05/normalized-fpga12_10_sat_pb.cnf.cr.opb	UNKNOWN	675	1.08083
submitted/aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb	UNKNOWN	690	1.08183
web/uclid_pb_benchmarks/normalized-43s.smv.opb	UNKNOWN	2008	1.08283
submitted/aloul/FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb	UNKNOWN	674	1.08283
submitted/aloul/FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb	UNKNOWN	689	1.08783
submitted/aloul/FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb	UNKNOWN	694	1.08783
submitted/aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb	UNKNOWN	681	1.09083
submitted/aloul/FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb	UNKNOWN	695	1.09183
submitted/aloul/FPGA_SAT05/normalized-fpga13_13_sat_pb.cnf.cr.opb	UNKNOWN	680	1.09283
submitted/aloul/FPGA_SAT05/normalized-fpga15_14_sat_pb.cnf.cr.opb	UNKNOWN	707	1.09383
submitted/aloul/FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb	UNKNOWN	693	1.09483
submitted/aloul/FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb	UNKNOWN	678	1.09583
submitted/aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb	UNKNOWN	688	1.09983
submitted/aloul/FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb	UNKNOWN	670	1.09983
submitted/aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb	UNKNOWN	684	1.10183
submitted/aloul/FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb	UNKNOWN	679	1.10683
web/uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb	UNKNOWN	2032	1.14482
web/uclid_pb_benchmarks/normalized-dlx1c.ucl.opb	UNKNOWN	2027	1.23381
web/uclid_pb_benchmarks/normalized-22s.smv.opb	UNKNOWN	2007	1.24281
web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb	UNKNOWN	2044	1.2898
web/uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb	UNKNOWN	2028	1.46078
web/uclid_pb_benchmarks/normalized-cache.inv10.ucl.opb	UNKNOWN	2020	1.64875
web/uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb	UNKNOWN	2047	1.71874
web/uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb	UNKNOWN	2026	1.73174
web/uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb	UNKNOWN	2046	2.19367
web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb	UNKNOWN	2111	2.44063
web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb	UNKNOWN	2106	2.48862
web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb	UNKNOWN	2112	2.50562
web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb	UNKNOWN	2113	2.52062
web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb	UNKNOWN	2108	2.53761
web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb	UNKNOWN	2107	2.54861
web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb	UNKNOWN	2043	3.52646
web/uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb	UNKNOWN	2050	4.04638
web/uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb	UNKNOWN	2036	4.08938
web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl.opb	UNKNOWN	2038	4.31134
web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb	UNKNOWN	2039	4.94325
web/uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb	UNKNOWN	2021	4.99724
web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb	UNKNOWN	2018	4.99724
web/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb	UNKNOWN	2053	8.09377
web/uclid_pb_benchmarks/normalized-elf.rf10.ucl.opb	UNKNOWN	2034	11.5542
web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb	UNKNOWN	2060	11.7102
web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb	UNKNOWN	2029	12.5061
web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb	UNKNOWN	2065	17.0974
web/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.opb	UNKNOWN	2019	17.1034
web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb	UNKNOWN	2045	17.5293
web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb	UNKNOWN	2022	19.0151
web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb	UNKNOWN	2048	19.0661
web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb	UNKNOWN	2023	25.4801
web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb	UNKNOWN	2058	38.4312
web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb	UNKNOWN	2040	44.5392

Benchmark Name	Answer	Traceid	CPU time
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-diamond.opb	UNSAT	3765	0.004998
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-diamond.opb	UNSAT	5569	0.004999
submitted/manquinho/primes-dimacs-cnf/normalized-ssa0432-003.opb	UNSAT	1944	0.167973
submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-141.opb	UNSAT	1921	0.616905
submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-130.opb	UNSAT	1920	0.660899
submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-638.opb	UNSAT	1318	0.681895
submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-075.opb	UNSAT	1316	0.692894
submitted/manquinho/primes-dimacs-cnf/normalized-bf2670-001.opb	UNSAT	1932	0.707891
submitted/manquinho/primes-dimacs-cnf/normalized-ssa6288-047.opb	UNSAT	1922	3.46247

Benchmark Name	Answer	Traceid	CPU time
submitted/sorensson/garden/normalized-g2x2.opb	OPT FOUND	1985	0.003998
submitted/sorensson/garden/normalized-g4x4.opb	OPT FOUND	1978	0.007998
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C17.opb	OPT FOUND	1962	0.008997
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein9.opb	OPT FOUND	3762	0.008998
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-b1.opb	OPT FOUND	1970	0.008998
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein9.opb	OPT FOUND	5609	0.009998
submitted/sorensson/garden/normalized-g9x3.opb	OPT FOUND	1980	0.010997
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-2.opb	OPT FOUND	1300	0.012997
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-1.opb	OPT FOUND	1299	0.014997
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-2.opb	OPT FOUND	1305	0.016997
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-4.opb	OPT FOUND	1302	0.017996
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb	OPT FOUND	1303	0.017996
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-3.opb	OPT FOUND	1306	0.018996
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein15.opb	OPT FOUND	5608	0.019996
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-3.opb	OPT FOUND	1301	0.019996
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein15.opb	OPT FOUND	3758	0.020996
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb	OPT FOUND	1930	0.020996
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-3.opb	OPT FOUND	1309	0.020996
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-4.opb	OPT FOUND	1310	0.021996
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-1.opb	OPT FOUND	1307	0.026995
submitted/manquinho/primes-dimacs-cnf/normalized-par8-4-c.opb	OPT FOUND	1916	0.027995
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-2.opb	OPT FOUND	1312	0.028995
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-4.opb	OPT FOUND	1314	0.029995
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-2.opb	OPT FOUND	729	0.030994
submitted/manquinho/primes-dimacs-cnf/normalized-par8-1-c.opb	OPT FOUND	1400	0.030995
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-4.opb	OPT FOUND	731	0.030995
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb	OPT FOUND	727	0.031994
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-1.opb	OPT FOUND	1311	0.031994
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb	OPT FOUND	1313	0.031995
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-3.opb	OPT FOUND	1927	0.031995
submitted/manquinho/primes-dimacs-cnf/normalized-par8-3-c.opb	OPT FOUND	1914	0.033994
submitted/manquinho/primes-dimacs-cnf/normalized-par8-5-c.opb	OPT FOUND	1918	0.035994
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb	OPT FOUND	734	0.036994
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-2.opb	OPT FOUND	1308	0.038993
submitted/manquinho/primes-dimacs-cnf/normalized-par8-2-c.opb	OPT FOUND	1401	0.039993
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb	OPT FOUND	735	0.044992
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.opb	OPT FOUND	732	0.045992
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb	OPT FOUND	733	0.049991
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-1.opb	OPT FOUND	744	0.051992
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-1.opb	OPT FOUND	736	0.053991
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-2.opb	OPT FOUND	737	0.054991
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb	OPT FOUND	750	0.05999
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb	OPT FOUND	746	0.060989
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb	OPT FOUND	741	0.06099
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-3.opb	OPT FOUND	1928	0.062989
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-2.opb	OPT FOUND	745	0.063989
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-2.opb	OPT FOUND	742	0.065989
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.opb	OPT FOUND	738	0.067989
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb	OPT FOUND	747	0.068988
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.opb	OPT FOUND	743	0.070988
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-4.opb	OPT FOUND	740	0.071988
submitted/manquinho/routing/normalized-s3-3-3-3pb.opb	OPT FOUND	1959	0.081986
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb	OPT FOUND	751	0.082986
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb	OPT FOUND	749	0.084986
submitted/manquinho/routing/normalized-s3-3-3-2pb.opb	OPT FOUND	1946	0.088986
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-1.opb	OPT FOUND	752	0.090985
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-4.opb	OPT FOUND	754	0.090985
submitted/sorensson/garden/normalized-g7x7.opb	OPT FOUND	1984	0.094985
submitted/manquinho/primes-dimacs-cnf/normalized-jnh12.opb	OPT FOUND	1366	0.103983
submitted/manquinho/routing/normalized-s3-3-3-4pb.opb	OPT FOUND	1947	0.109982
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-1.opb	OPT FOUND	748	0.112982
submitted/manquinho/routing/normalized-s3-3-3-1pb.opb	OPT FOUND	1945	0.119981
submitted/manquinho/primes-dimacs-cnf/normalized-par8-5.opb	OPT FOUND	1919	0.122981
submitted/manquinho/primes-dimacs-cnf/normalized-par8-1.opb	OPT FOUND	1943	0.12398
submitted/manquinho/primes-dimacs-cnf/normalized-par8-2.opb	OPT FOUND	1913	0.12698
submitted/manquinho/primes-dimacs-cnf/normalized-par8-3.opb	OPT FOUND	1915	0.12698
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb	OPT FOUND	1298	0.131979
submitted/manquinho/primes-dimacs-cnf/normalized-jnh213.opb	OPT FOUND	1939	0.131979
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-3.opb	OPT FOUND	1297	0.135979
submitted/manquinho/primes-dimacs-cnf/normalized-par8-4.opb	OPT FOUND	1917	0.136979
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb	OPT FOUND	1929	0.160975
submitted/manquinho/primes-dimacs-cnf/normalized-jnh205.opb	OPT FOUND	1371	0.166973
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb	OPT FOUND	755	0.172973
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb	OPT FOUND	753	0.180971
submitted/manquinho/primes-dimacs-cnf/normalized-jnh207.opb	OPT FOUND	1372	0.207968
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0033.opb	OPT FOUND	5591	0.210967
submitted/manquinho/primes-dimacs-cnf/normalized-jnh17.opb	OPT FOUND	1368	0.210967
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0033.opb	OPT FOUND	4408	0.217965
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb	OPT FOUND	3768	0.224965
submitted/manquinho/routing/normalized-s3-3-3-5pb.opb	OPT FOUND	1948	0.228964
submitted/manquinho/primes-dimacs-cnf/normalized-jnh212.opb	OPT FOUND	1374	0.231964
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0033.opb	OPT FOUND	5716	0.235964
submitted/manquinho/primes-dimacs-cnf/normalized-jnh301.opb	OPT FOUND	1378	0.235964
submitted/een/normalized-p0033.opb	OPT FOUND	1989	0.252961
submitted/manquinho/primes-dimacs-cnf/normalized-jnh7.opb	OPT FOUND	1380	0.263959
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb	OPT FOUND	1296	0.268958
submitted/manquinho/primes-dimacs-cnf/normalized-jnh209.opb	OPT FOUND	1373	0.298954
submitted/een/normalized-mod008.opb	OPT FOUND	1993	0.304952
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb	OPT FOUND	3716	0.338947
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bm23.opb	OPT FOUND	5568	0.348946
submitted/manquinho/primes-dimacs-cnf/normalized-jnh204.opb	OPT FOUND	1370	0.480925
submitted/manquinho/primes-dimacs-cnf/normalized-jnh220.opb	OPT FOUND	1379	0.485925
submitted/manquinho/primes-dimacs-cnf/normalized-jnh218.opb	OPT FOUND	1377	0.547916
submitted/manquinho/primes-dimacs-cnf/normalized-jnh1.opb	OPT FOUND	1367	0.654899
submitted/manquinho/logic-synthesis/normalized-9sym.b.opb	OPT FOUND	711	0.734888
submitted/manquinho/primes-dimacs-cnf/normalized-ii8a1.opb	OPT FOUND	1355	0.809876
submitted/manquinho/ttp/normalized-circ4_3.opb	OPT FOUND	1971	0.884865
submitted/manquinho/primes-dimacs-cnf/normalized-hanoi4.opb	OPT FOUND	1324	1.02284

Benchmark Name	Answer	Traceid	CPU time
submitted/een/normalized-pk1.opb	SAT	2004	0.038993
submitted/een/normalized-l152lav.opb	SAT	2000	0.476927
submitted/manquinho/primes-dimacs-cnf/normalized-jnh210.opb	SAT	1375	1.03184
submitted/manquinho/primes-dimacs-cnf/normalized-ii32c1.opb	SAT	1340	1.04184
submitted/manquinho/primes-dimacs-cnf/normalized-jnh201.opb	SAT	1938	1.04384
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb	SAT	2056	1.04784
submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-158.opb	SAT	1924	1.04784
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod008.opb	SAT	5586	1.04784
submitted/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb	SAT	1356	1.04784
submitted/een/normalized-stein45.opb	SAT	2005	1.04884
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb	SAT	3740	1.04984
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb	SAT	1963	1.04984
submitted/manquinho/primes-dimacs-cnf/normalized-par16-4.opb	SAT	1387	1.05084
submitted/manquinho/primes-dimacs-cnf/normalized-ii8b1.opb	SAT	1358	1.05184
submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-159.opb	SAT	1925	1.05184
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-stein45.opb	SAT	5733	1.05184
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sentoy.opb	SAT	5604	1.05184
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb	SAT	2057	1.05384
submitted/manquinho/primes-dimacs-cnf/normalized-ii8a4.opb	SAT	1357	1.05384
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0201.opb	SAT	5593	1.05384
web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb	SAT	2103	1.05484
submitted/manquinho/primes-dimacs-cnf/normalized-ii8b2.opb	SAT	1359	1.05484
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod008.opb	SAT	5740	1.05484
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb	SAT	2055	1.05584
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb	SAT	2059	1.05684
submitted/manquinho/primes-dimacs-cnf/normalized-ii32e1.opb	SAT	1349	1.05684
submitted/manquinho/primes-dimacs-cnf/normalized-jnh217.opb	SAT	1376	1.05784
submitted/manquinho/primes-dimacs-cnf/normalized-ii8c2.opb	SAT	1363	1.05884
submitted/manquinho/primes-dimacs-cnf/normalized-ii8e2.opb	SAT	1369	1.05884
submitted/manquinho/primes-dimacs-cnf/normalized-ii8d1.opb	SAT	1937	1.05984
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod008.opb	SAT	4435	1.05984
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb	SAT	2062	1.06084
submitted/manquinho/primes-dimacs-cnf/normalized-ii8e1.opb	SAT	1365	1.06084
submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-160.opb	SAT	1926	1.06084
submitted/manquinho/primes-dimacs-cnf/normalized-ii32b2.opb	SAT	1339	1.06284
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-stein45.opb	SAT	4427	1.06284
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb	SAT	1961	1.06384
submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-038.opb	SAT	1923	1.06484
submitted/manquinho/ttp/normalized-data6_3.opb	SAT	1976	1.06484
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0201.opb	SAT	5718	1.06484
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-my_adder.opb	SAT	1969	1.06484
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0201.opb	SAT	4409	1.06584
submitted/manquinho/primes-dimacs-cnf/normalized-ii32d1.opb	SAT	1935	1.06584
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb	SAT	2115	1.06684
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb	SAT	2114	1.06684
submitted/sorensson/garden/normalized-g15x15.opb	SAT	1982	1.06784
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein45.opb	SAT	5611	1.06784
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb	SAT	3746	1.06784
submitted/manquinho/primes-dimacs-cnf/normalized-ii32b4.opb	SAT	1342	1.06884
submitted/manquinho/primes-dimacs-cnf/normalized-ii32b3.opb	SAT	1341	1.06984
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb	SAT	2110	1.07084
submitted/een/normalized-p0201.opb	SAT	1995	1.07184
submitted/manquinho/primes-dimacs-cnf/normalized-ii32c3.opb	SAT	1344	1.07184
submitted/manquinho/primes-dimacs-cnf/normalized-ii32b1.opb	SAT	1338	1.07384
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb	SAT	3761	1.07384
submitted/manquinho/ttp/normalized-data4_3.opb	SAT	1975	1.07384
submitted/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb	SAT	1343	1.07483
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb	SAT	2461	1.07584
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb	SAT	2462	1.07584
submitted/sorensson/garden/normalized-g9x9.opb	SAT	1983	1.07584
submitted/manquinho/primes-dimacs-cnf/normalized-ii32e3.opb	SAT	1351	1.07683
submitted/manquinho/primes-dimacs-cnf/normalized-ii8b3.opb	SAT	1360	1.07683
submitted/manquinho/logic-synthesis/normalized-alu4.b.opb	SAT	724	1.07783
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.5:100.opb	SAT	2109	1.07983
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-stein27.opb	SAT	5730	1.07983
submitted/manquinho/primes-dimacs-cnf/normalized-ii8d2.opb	SAT	1364	1.07983
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-stein27.opb	SAT	4425	1.08083
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein27.opb	SAT	3760	1.08083
web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb	SAT	2101	1.08083
submitted/manquinho/primes-dimacs-cnf/normalized-ii32e2.opb	SAT	1350	1.08083
submitted/manquinho/primes-dimacs-cnf/normalized-ii8c1.opb	SAT	1362	1.08083
submitted/manquinho/logic-synthesis/normalized-rot.b.opb	SAT	722	1.08283
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb	SAT	3754	1.08383
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein27.opb	SAT	5610	1.08683
submitted/manquinho/routing/normalized-s4-4-3-6pb.opb	SAT	1956	1.08783
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb	SAT	5404	1.08883
submitted/manquinho/primes-dimacs-cnf/normalized-ii8a3.opb	SAT	1936	1.08983
submitted/een/normalized-stein27.opb	SAT	1997	1.09083
submitted/manquinho/logic-synthesis/normalized-max1024.pi.opb	SAT	721	1.09183
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos1.opb	SAT	5796	1.09183
submitted/manquinho/routing/normalized-s4-4-3-4pb.opb	SAT	1954	1.09283
submitted/manquinho/primes-dimacs-cnf/normalized-ii32d2.opb	SAT	1346	1.09383
submitted/manquinho/routing/normalized-s4-4-3-7pb.opb	SAT	1960	1.09483
submitted/een/normalized-p2756.opb	SAT	1992	1.09583
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-mux.opb	SAT	1968	1.10083
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb	SAT	2118	1.10083
submitted/manquinho/routing/normalized-s4-4-3-10pb.opb	SAT	1950	1.10083
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-seymour.opb	SAT	5731	1.10183
submitted/manquinho/primes-dimacs-cnf/normalized-ii8b4.opb	SAT	1361	1.10383
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-seymour.opb	SAT	5659	1.10583
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb	SAT	3815	1.10683
submitted/manquinho/routing/normalized-s4-4-3-8pb.opb	SAT	1957	1.10883
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-c8.opb	SAT	1964	1.10883
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:98.opb	SAT	2121	1.10983
submitted/manquinho/logic-synthesis/normalized-exam.pi.opb	SAT	718	1.11383
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb	SAT	3732	1.11383
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-seymour.opb	SAT	4426	1.11683
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cmb.opb	SAT	1967	1.11683
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p2756.opb	SAT	3750	1.11783
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm1.opb	SAT	5744	1.11783
submitted/een/normalized-lseu.opb	SAT	1986	1.11983
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-vpm1.opb	SAT	5613	1.12383
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-lseu.opb	SAT	5702	1.12383
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p2756.opb	SAT	4412	1.12883
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p2756.opb	SAT	5598	1.12983
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:100.opb	SAT	2117	1.12983
submitted/manquinho/logic-synthesis/normalized-5xp1.b.opb	SAT	709	1.12983
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p2756.opb	SAT	5725	1.13183
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-lseu.opb	SAT	4393	1.13183
submitted/manquinho/logic-synthesis/normalized-e64.b.opb	SAT	716	1.13183
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lseu.opb	SAT	5617	1.13583
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-vpm2.opb	SAT	5667	1.13783
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb	SAT	1965	1.13982
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb	SAT	3803	1.13983
submitted/een/normalized-seymour.opb	SAT	2003	1.14083
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-p2756.opb	SAT	5649	1.14183
submitted/manquinho/logic-synthesis/normalized-f51m.b.opb	SAT	719	1.14282
submitted/manquinho/logic-synthesis/normalized-jac3.opb	SAT	720	1.14482
submitted/manquinho/routing/normalized-s4-4-3-3pb.opb	SAT	1953	1.15482
submitted/manquinho/routing/normalized-s4-4-3-5pb.opb	SAT	1955	1.15982
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb	SAT	3745	1.16082
submitted/manquinho/routing/normalized-s4-4-3-9pb.opb	SAT	1958	1.16182
submitted/manquinho/logic-synthesis/normalized-ex5.pi.opb	SAT	717	1.16782
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0040.opb	SAT	5594	1.16882
submitted/manquinho/routing/normalized-s4-4-3-1pb.opb	SAT	1951	1.17082
submitted/manquinho/logic-synthesis/normalized-sao2.b.opb	SAT	728	1.17082
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb	SAT	1966	1.19282
submitted/manquinho/logic-synthesis/normalized-count.b.opb	SAT	715	1.20282
submitted/manquinho/routing/normalized-s4-4-3-2pb.opb	SAT	1952	1.20382
web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb	SAT	2105	1.23381
submitted/manquinho/logic-synthesis/normalized-clip.b.opb	SAT	714	1.26581
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos5.opb	SAT	5798	1.2968
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb	SAT	5421	1.58876
submitted/manquinho/logic-synthesis/normalized-prom2.pi.opb	SAT	726	1.74173
submitted/manquinho/logic-synthesis/normalized-bench1.pi.opb	SAT	713	1.82172

Benchmark Name	Answer	Traceid	CPU time
submitted/manquinho/primes-dimacs-cnf/normalized-par16-1.opb	UNKNOWN	1382	1.02784
submitted/manquinho/primes-dimacs-cnf/normalized-bf0432-007.opb	UNKNOWN	1315	1.03184
submitted/manquinho/primes-dimacs-cnf/normalized-ii32e5.opb	UNKNOWN	1353	1.03484
submitted/manquinho/primes-dimacs-cnf/normalized-par16-2.opb	UNKNOWN	1941	1.03584
submitted/manquinho/primes-dimacs-cnf/normalized-par32-4-c.opb	UNKNOWN	1395	1.03584
submitted/manquinho/primes-dimacs-cnf/normalized-par16-5.opb	UNKNOWN	1389	1.03684
submitted/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb	UNKNOWN	1393	1.03884
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb	UNKNOWN	3810	1.03984
submitted/manquinho/primes-dimacs-cnf/normalized-par16-4-c.opb	UNKNOWN	1386	1.03984
submitted/manquinho/primes-dimacs-cnf/normalized-f600.opb	UNKNOWN	1321	1.04184
submitted/manquinho/primes-dimacs-cnf/normalized-par32-1-c.opb	UNKNOWN	1390	1.04184
submitted/manquinho/primes-dimacs-cnf/normalized-par16-3.opb	UNKNOWN	1385	1.04184
submitted/manquinho/primes-dimacs-cnf/normalized-par32-5-c.opb	UNKNOWN	1396	1.04184
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-cracpb1.opb	UNKNOWN	5616	1.04284
submitted/manquinho/primes-dimacs-cnf/normalized-par32-1.opb	UNKNOWN	1391	1.04284
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-protfold.opb	UNKNOWN	5655	1.04384
submitted/manquinho/primes-dimacs-cnf/normalized-par16-5-c.opb	UNKNOWN	1388	1.04384
submitted/manquinho/primes-dimacs-cnf/normalized-par16-1-c.opb	UNKNOWN	1381	1.04584
submitted/manquinho/primes-dimacs-cnf/normalized-par32-5.opb	UNKNOWN	1398	1.04584
submitted/manquinho/primes-dimacs-cnf/normalized-ii16e2.opb	UNKNOWN	1337	1.04884
submitted/manquinho/primes-dimacs-cnf/normalized-par16-3-c.opb	UNKNOWN	1384	1.04884
submitted/manquinho/primes-dimacs-cnf/normalized-par32-2.opb	UNKNOWN	1392	1.04884
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb	UNKNOWN	4364	1.05184
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-cracpb1.opb	UNKNOWN	3717	1.05284
submitted/manquinho/primes-dimacs-cnf/normalized-par16-2-c.opb	UNKNOWN	1383	1.05384
submitted/manquinho/primes-dimacs-cnf/normalized-par32-4.opb	UNKNOWN	1397	1.05484
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow30a.opb	UNKNOWN	5618	1.05484
submitted/manquinho/primes-dimacs-cnf/normalized-ii16c2.opb	UNKNOWN	1333	1.05584
submitted/manquinho/primes-dimacs-cnf/normalized-f2000.opb	UNKNOWN	1320	1.05684
submitted/manquinho/primes-dimacs-cnf/normalized-ii16d2.opb	UNKNOWN	1335	1.05884
submitted/manquinho/primes-dimacs-cnf/normalized-par32-2-c.opb	UNKNOWN	1942	1.05984
submitted/manquinho/primes-dimacs-cnf/normalized-f1000.opb	UNKNOWN	1319	1.06084
submitted/manquinho/primes-dimacs-cnf/normalized-par32-3.opb	UNKNOWN	1394	1.06084
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-10teams.opb	UNKNOWN	5735	1.06184
submitted/manquinho/primes-dimacs-cnf/normalized-ii32e4.opb	UNKNOWN	1352	1.06384
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-10teams.opb	UNKNOWN	4431	1.06384
submitted/manquinho/primes-dimacs-cnf/normalized-ii16b2.opb	UNKNOWN	1330	1.06584
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-10teams.opb	UNKNOWN	5666	1.06584
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-l152lav.opb	UNKNOWN	4392	1.06584
submitted/manquinho/primes-dimacs-cnf/normalized-ii32a1.opb	UNKNOWN	1934	1.06684
submitted/manquinho/ttp/normalized-circ6_3.opb	UNKNOWN	1979	1.07184
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb	UNKNOWN	3731	1.07184
submitted/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb	UNKNOWN	1326	1.08083
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lp4l.opb	UNKNOWN	5580	1.08283
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod010.opb	UNKNOWN	4403	1.08383
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos18.opb	UNKNOWN	5403	1.08583
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb	UNKNOWN	3730	1.08783
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-l152lav.opb	UNKNOWN	5579	1.08883
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos16.opb	UNKNOWN	5784	1.08883
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-l152lav.opb	UNKNOWN	5703	1.09283
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod010.opb	UNKNOWN	5711	1.09683
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb	UNKNOWN	5399	1.09783
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos18.opb	UNKNOWN	5788	1.10183
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb	UNKNOWN	3741	1.11583
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod010.opb	UNKNOWN	5588	1.12183
submitted/een/normalized-p0548.opb	UNKNOWN	2001	1.12583
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-opt1217.opb	UNKNOWN	5647	1.13483
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb	UNKNOWN	3802	1.15282
submitted/manquinho/primes-dimacs-cnf/normalized-ii16d1.opb	UNKNOWN	1334	1.19282
submitted/een/normalized-mitre.opb	UNKNOWN	1994	1.24381
submitted/manquinho/primes-dimacs-cnf/normalized-ii16a1.opb	UNKNOWN	1327	1.26881
submitted/manquinho/primes-dimacs-cnf/normalized-ii16c1.opb	UNKNOWN	1331	1.27181
submitted/sorensson/garden/normalized-g100x100.opb	UNKNOWN	1981	1.3158
submitted/manquinho/logic-synthesis/normalized-apex4.a.opb	UNKNOWN	712	1.3298
submitted/manquinho/primes-dimacs-cnf/normalized-ii16e1.opb	UNKNOWN	1336	1.35679
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb	UNKNOWN	2064	1.36279
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb	UNKNOWN	2066	1.37879
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb	UNKNOWN	2063	1.38579
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb	UNKNOWN	2061	1.38779
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb	UNKNOWN	2067	1.39179
submitted/manquinho/primes-dimacs-cnf/normalized-ii16a2.opb	UNKNOWN	1933	1.45178
submitted/manquinho/primes-dimacs-cnf/normalized-ii32d3.opb	UNKNOWN	1348	1.54776
web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb	UNKNOWN	2098	1.58276
submitted/manquinho/primes-dimacs-cnf/normalized-ii16b1.opb	UNKNOWN	1328	1.65875
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-manna81.opb	UNKNOWN	5633	1.80772
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-manna81.opb	UNKNOWN	3784	1.82172
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb	UNKNOWN	2122	1.83472
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:100.opb	UNKNOWN	2120	1.83772
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:98.opb	UNKNOWN	2460	1.84972
submitted/manquinho/ttp/normalized-circ8_3.opb	UNKNOWN	1972	1.90371
submitted/manquinho/ttp/normalized-data8_3.opb	UNKNOWN	1977	1.91271
submitted/manquinho/logic-synthesis/normalized-test4.pi.opb	UNKNOWN	723	1.99969
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb	UNKNOWN	2072	2.03369
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb	UNKNOWN	2068	2.04669
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb	UNKNOWN	2070	2.05769
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb	UNKNOWN	2071	2.06169
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb	UNKNOWN	2069	2.06868
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb	UNKNOWN	4401	2.14767
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mitre.opb	UNKNOWN	5713	2.19167
submitted/manquinho/primes-dimacs-cnf/normalized-ii32c4.opb	UNKNOWN	1347	2.20266
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow40b.opb	UNKNOWN	5619	2.39964
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb	UNKNOWN	2077	2.86656
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb	UNKNOWN	2076	2.88256
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb	UNKNOWN	2074	2.88556
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb	UNKNOWN	2073	2.92055
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb	UNKNOWN	2075	2.92455
submitted/manquinho/primes-dimacs-cnf/normalized-g125.17.opb	UNKNOWN	1322	3.78542
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb	UNKNOWN	2081	3.99239
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb	UNKNOWN	2078	3.99339
submitted/manquinho/primes-dimacs-cnf/normalized-g125.18.opb	UNKNOWN	1323	4.00839
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb	UNKNOWN	2083	4.04239
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb	UNKNOWN	2082	4.04638
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb	UNKNOWN	2080	4.08238
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb	UNKNOWN	3798	4.08738
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv11.opb	UNKNOWN	5645	4.13937
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb	UNKNOWN	3799	4.63829
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv42z.opb	UNKNOWN	5646	4.65529
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb	UNKNOWN	2088	4.72228
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb	UNKNOWN	2084	4.72828
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb	UNKNOWN	2086	4.73128
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb	UNKNOWN	2089	4.78027
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb	UNKNOWN	2087	4.79627
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb	UNKNOWN	2091	5.46017
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb	UNKNOWN	2094	5.46717
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb	UNKNOWN	2093	5.49916
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb	UNKNOWN	2092	5.51316
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb	UNKNOWN	2090	5.55215
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-seymour1.opb	UNKNOWN	5805	6.00209
submitted/manquinho/ttp/normalized-circ10_3.opb	UNKNOWN	1973	6.20606
submitted/manquinho/ttp/normalized-data10_3.opb	UNKNOWN	1974	6.27804
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb	UNKNOWN	2102	6.28904
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb	UNKNOWN	2096	6.31404
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb	UNKNOWN	2100	6.39103
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb	UNKNOWN	2097	6.39903
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb	UNKNOWN	2099	6.43002
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos10.opb	UNKNOWN	5791	8.39172
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos10.opb	UNKNOWN	5394	8.40372
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos8.opb	UNKNOWN	5412	9.68853
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos8.opb	UNKNOWN	5804	9.78451
submitted/een/normalized-fast0507.opb	UNKNOWN	1990	9.8815
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-net12.opb	UNKNOWN	5653	11.9112
submitted/manquinho/primes-dimacs-cnf/normalized-g250.15.opb	UNKNOWN	1325	12.922
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-net12.opb	UNKNOWN	3808	15.7636
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fast0507.opb	UNKNOWN	5641	16.5645
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb	UNKNOWN	3789	16.6695
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-fast0507.opb	UNKNOWN	4381	16.7165
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fast0507.opb	UNKNOWN	5707	16.9824
submitted/manquinho/primes-dimacs-cnf/normalized-g250.29.opb	UNKNOWN	1332	25.8711
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos19.opb	UNKNOWN	5854	84.7161
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb	UNKNOWN	5476	116.208

Benchmark Name	Answer	Traceid	CPU time
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0548.opb	UNSAT	5596	0.096985
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb	UNSAT	3748	0.097984
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0548.opb	UNSAT	4411	0.098984
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0548.opb	UNSAT	5717	0.098984

Benchmark Name	Answer	Traceid	CPU time
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-d6cube.opb	UNSAT	5504	28.7566
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-stp3d.opb	UNSAT	3820	41.9706
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-stp3d.opb	UNSAT	5696	42.0556
mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2d.opb	UNSAT	2528	54.3867

Benchmark Name	Answer	Traceid	CPU time
mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-testprob.opb	OPT FOUND	5843	0.012997
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-flugpl.opb	OPT FOUND	5573	0.205967
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-flugpl.opb	OPT FOUND	5688	0.206968
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc02.opb	OPT FOUND	5581	0.267958
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc01.opb	OPT FOUND	5582	0.480926

Benchmark Name	Answer	Traceid	CPU time
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran17x17.opb	UNKNOWN	5770	1.04784
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb	UNKNOWN	4390	1.06084
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-misc07.opb	UNKNOWN	5639	1.06184
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mkc.opb	UNKNOWN	5640	1.06584
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gt2.opb	UNKNOWN	5701	1.06784
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst2.opb	UNKNOWN	5779	1.07284
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08aCUTS.opb	UNKNOWN	5743	1.07683
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc03.opb	UNKNOWN	5708	1.07683
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc03.opb	UNKNOWN	5584	1.07783
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst1.opb	UNKNOWN	5806	1.08383
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08aCUTS.opb	UNKNOWN	5651	1.08483
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mkc.opb	UNKNOWN	5710	1.08783
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08a.opb	UNKNOWN	5724	1.08983
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08a.opb	UNKNOWN	5652	1.09783
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fixnet6.opb	UNKNOWN	5671	1.14482
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap1.opb	UNKNOWN	5531	1.36679
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos11.opb	UNKNOWN	5783	1.37479
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-tr12-30.opb	UNKNOWN	5665	1.39379
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1al.opb	UNKNOWN	5606	1.45478
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1ch.opb	UNKNOWN	5605	1.45578
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1cl.opb	UNKNOWN	5607	1.45978
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet6.opb	UNKNOWN	5577	1.46678
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-set1ch.opb	UNKNOWN	5732	1.48077
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fixnet6.opb	UNKNOWN	5689	1.48977
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-danoint.opb	UNKNOWN	5625	1.49077
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-danoint.opb	UNKNOWN	5682	1.50877
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-cap6000.opb	UNKNOWN	5624	1.77673
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p6000.opb	UNKNOWN	5599	1.77973
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-cap6000.opb	UNKNOWN	3776	1.78373
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p6000.opb	UNKNOWN	4419	1.78373
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-cap6000.opb	UNKNOWN	4376	1.80272
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-cap6000.opb	UNKNOWN	5683	1.80572
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air05.opb	UNKNOWN	3772	1.91171
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air05.opb	UNKNOWN	5622	1.91971
submitted/een/normalized-air05.opb	UNKNOWN	2002	2.02069
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air05.opb	UNKNOWN	5562	2.13667
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air05.opb	UNKNOWN	2560	2.13967
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air05.opb	UNKNOWN	4371	2.15367
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air05.opb	UNKNOWN	5672	2.16667
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-tr12-30.opb	UNKNOWN	5837	2.16867
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-berlin_5_8_0.opb	UNKNOWN	5811	2.20466
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air02.opb	UNKNOWN	5614	2.30865
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air02.opb	UNKNOWN	3767	2.33964
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-liu.opb	UNKNOWN	5634	2.37864
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air04.opb	UNKNOWN	5620	2.54861
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air04.opb	UNKNOWN	3773	2.57961
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air06.opb	UNKNOWN	2564	2.81657
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air06.opb	UNKNOWN	5566	2.82057
submitted/een/normalized-air04.opb	UNKNOWN	1998	2.82457
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air04.opb	UNKNOWN	2561	2.86656
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air04.opb	UNKNOWN	5738	2.90156
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air04.opb	UNKNOWN	5560	2.90656
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air04.opb	UNKNOWN	4370	2.90656
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow40b.opb	UNKNOWN	3771	2.93155
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-nug08.opb	UNKNOWN	5801	3.46447
submitted/een/normalized-air03.opb	UNKNOWN	1988	3.47447
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air03.opb	UNKNOWN	4434	3.55846
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air03.opb	UNKNOWN	5674	3.60745
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air03.opb	UNKNOWN	2562	3.60845
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air03.opb	UNKNOWN	5561	3.60945
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit1d.opb	UNKNOWN	5492	3.72943
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-railway_8_1_0.opb	UNKNOWN	5851	4.02539
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-usAbbrv.8.25_70.opb	UNKNOWN	5840	4.91325
mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1d.opb	UNKNOWN	2492	5.18121
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos12.opb	UNKNOWN	5789	5.38818
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nsrand-ipx.opb	UNKNOWN	5677	5.49816
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-nug08.opb	UNKNOWN	5413	5.68613
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap3.opb	UNKNOWN	5536	7.2089
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos6.opb	UNKNOWN	5813	7.70983
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-nsrand_ipx.opb	UNKNOWN	5838	7.8758
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ar.opb	UNKNOWN	5841	8.06777
mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ar.opb	UNKNOWN	5449	8.10277
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B1C1S1.opb	UNKNOWN	5814	8.10377
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B2C1S1.opb	UNKNOWN	5815	8.14776
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-seymour1.opb	UNKNOWN	5414	8.34273
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-qap10.opb	UNKNOWN	5807	9.24059
mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ar.opb	UNKNOWN	5457	11.3533
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp98ar.opb	UNKNOWN	5850	11.4263
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370e.opb	UNKNOWN	16693	13.5749
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3708.opb	UNKNOWN	5757	13.6739
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3703.opb	UNKNOWN	5749	13.6849
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3701.opb	UNKNOWN	5748	13.6869
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3704.opb	UNKNOWN	5752	13.6979
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3707.opb	UNKNOWN	5755	13.7129
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3706.opb	UNKNOWN	5753	13.7739
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3705.opb	UNKNOWN	5754	13.7899
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370d.opb	UNKNOWN	5765	13.8049
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3702.opb	UNKNOWN	5751	13.8079
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370b.opb	UNKNOWN	5761	13.8619
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370c.opb	UNKNOWN	5764	13.8679
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3700.opb	UNKNOWN	5750	13.8769
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370a.opb	UNKNOWN	5790	13.9279
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3709.opb	UNKNOWN	5762	13.9649
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-t1717.opb	UNKNOWN	5676	17.6613
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-t1717.opb	UNKNOWN	4358	17.7853
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nw04.opb	UNKNOWN	3816	26.276
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-nw04.opb	UNKNOWN	5747	26.333
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-nw04.opb	UNKNOWN	4407	26.373
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nw04.opb	UNKNOWN	5670	26.458
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-CMS750_4.opb	UNKNOWN	5848	27.6688
submitted/een/normalized-nw04.opb	UNKNOWN	2010	29.1676
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2d.opb	UNKNOWN	5527	39.0221
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-dano3mip.opb	UNKNOWN	5668	47.1668
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-dano3mip.opb	UNKNOWN	5745	48.7516
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_3.opb	UNKNOWN	5825	49.5225
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_5.opb	UNKNOWN	6003	49.7724
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_4.opb	UNKNOWN	5826	50.0864
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos9.opb	UNKNOWN	5857	88.4486
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb	UNKNOWN	5490	123.82

Benchmark Name	Answer	Traceid	CPU time
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare2.opb	UNKNOWN	5989	0.041993
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-enigma.opb	UNKNOWN	4432	0.042992
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-enigma.opb	UNKNOWN	3720	0.043993
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-markshare2.opb	UNKNOWN	5704	0.044992
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare1_1.opb	UNKNOWN	5778	0.045992
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-enigma.opb	UNKNOWN	5736	0.046992
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-enigma.opb	UNKNOWN	5572	0.047992
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0291.opb	UNKNOWN	5595	0.088985
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0291.opb	UNKNOWN	3747	0.092985
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50a.opb	UNKNOWN	5518	0.107982
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50b.opb	UNKNOWN	5519	0.111982
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sample2.opb	UNKNOWN	5603	0.153975
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare1.opb	UNKNOWN	5636	0.153975
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-markshare1.opb	UNKNOWN	6000	0.157975
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc105.opb	UNKNOWN	5513	0.195969
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc05.opb	UNKNOWN	5583	0.227965
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10c.opb	UNKNOWN	5758	0.25396
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bal8x12.opb	UNKNOWN	5774	0.253961
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10b.opb	UNKNOWN	5759	0.277957
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x12.opb	UNKNOWN	5760	0.288955
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb	UNKNOWN	4363	0.303953
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10a.opb	UNKNOWN	5756	0.32395
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pk1.opb	UNKNOWN	5648	0.333948
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pk1.opb	UNKNOWN	5720	0.346946
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x12.opb	UNKNOWN	5775	0.360944
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm2.opb	UNKNOWN	5729	0.363944
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare2_1.opb	UNKNOWN	5780	0.366943
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc205.opb	UNKNOWN	5516	0.398938
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran13x13.opb	UNKNOWN	5767	0.430934
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm2.opb	UNKNOWN	4430	0.449931
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bk4x3.opb	UNKNOWN	5742	0.45393
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-rout.opb	UNKNOWN	5657	0.485925
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm1.opb	UNKNOWN	4428	0.544916
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rout.opb	UNKNOWN	5728	0.566913
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb	UNKNOWN	3763	0.571912
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fiber.opb	UNKNOWN	5627	0.575911
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fiber.opb	UNKNOWN	5687	0.605907
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran16x16.opb	UNKNOWN	5769	0.629903
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran8x32.opb	UNKNOWN	5776	0.680895
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran4x64.opb	UNKNOWN	5771	0.687895
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x26.opb	UNKNOWN	5763	0.706892
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran14x18.opb	UNKNOWN	5768	0.720889
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x21.opb	UNKNOWN	5766	0.725889
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-ran14x18_1.opb	UNKNOWN	5800	0.730888
submitted/een/normalized-cap6000.opb	UNKNOWN	1991	0.84787
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb	UNKNOWN	3770	0.935857
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-set1ch.opb	UNKNOWN	5658	0.956854
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos20.opb	UNKNOWN	5794	0.981849
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc07.opb	UNKNOWN	5585	0.986849
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc07.opb	UNKNOWN	5709	1.01184
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran6x43.opb	UNKNOWN	5777	1.01484

Result page for solver galena

Category "no optimization function" (SAT)

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

Solver found a solution (SATISFIABLE) (7 runs) [Show/Hide]

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

Category "optimization, small integers" (OPTSMALLINT)

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

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

Solver found a solution (SATISFIABLE) (135 runs) [Show/Hide]

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

Solver wrongly proved unsatitisfiability (4 runs) [Show/Hide]

Category "optimization, medium integers" (OPTMEDINT)

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

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

Solver found a solution (SATISFIABLE) (15 runs) [Show/Hide]

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

Solver was terminated by a signal (51 runs) [Show/Hide]

Solver wrongly proved unsatitisfiability (7 runs) [Show/Hide]

Category "optimization, big integers" (OPTBIGINT)

Benchmark Name	Answer	Traceid	CPU time
mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-nazareth.opb	SAT	5853	0.011997
submitted/een/normalized-enigma.opb	SAT	1999	0.017996
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-egout.opb	SAT	5571	1.05484
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0282.opb	SAT	4410	1.05584
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-egout.opb	SAT	5684	1.05684
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0282.opb	SAT	5719	1.06084
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0282.opb	SAT	5597	1.06484
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0282.opb	SAT	3749	1.06784
submitted/een/normalized-p0282.opb	SAT	1987	1.06984
mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-maros.opb	SAT	5852	1.07084
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air01.opb	SAT	5612	1.08983
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air01.opb	SAT	3764	1.09483
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-pipex.opb	SAT	3751	1.10683
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-pipex.opb	SAT	5601	1.11183
web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb	SAT	2104	1.12383

Benchmark Name	Answer	Traceid	CPU time
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-gr4x6.opb	UNSAT	5773	0.05999
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod013.opb	UNSAT	5615	0.138978
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet4.opb	UNSAT	5576	1.51877
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet3.opb	UNSAT	5578	1.52777
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-mkc1.opb	UNSAT	5786	3.80942
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap2.opb	UNSAT	5535	5.49616
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-qap10.opb	UNSAT	5417	15.5476