PB'05 competition: benchmarks results per solver

Benchmark Name	Answer	Traceid	CPU time
web/uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb	UNSAT	2427	0.006998
submitted/aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb	UNSAT	852	0.010997
submitted/aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb	UNSAT	853	0.011997
submitted/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb	UNSAT	902	0.014997
submitted/aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb	UNSAT	854	0.017996
submitted/aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb	UNSAT	855	0.017996
web/uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl.opb	UNSAT	2450	0.020995
web/uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl.opb	UNSAT	2409	0.023996
submitted/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb	UNSAT	856	0.024995
submitted/aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb	UNSAT	857	0.027994
submitted/aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb	UNSAT	858	0.028994
submitted/aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb	UNSAT	859	0.040993
submitted/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb	UNSAT	860	0.05899
submitted/aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb	UNSAT	861	0.068989
submitted/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb	UNSAT	863	0.080986
submitted/aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb	UNSAT	862	0.080987
submitted/aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb	UNSAT	864	0.092985
submitted/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb	UNSAT	903	0.105983
submitted/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb	UNSAT	865	0.107982
submitted/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb	UNSAT	866	0.117981
submitted/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb	UNSAT	867	0.133979
web/uclid_pb_benchmarks/normalized-44s.smv.opb	UNSAT	2405	0.141978
web/uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb	UNSAT	2428	0.144977
submitted/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb	UNSAT	868	0.173973
submitted/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb	UNSAT	869	0.188971
submitted/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb	UNSAT	870	0.207967
web/uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb	UNSAT	2408	0.243962
web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb	UNSAT	2439	0.250961
web/uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb	UNSAT	2421	0.254961
web/uclid_pb_benchmarks/normalized-37s.smv.opb	UNSAT	2449	0.287955
web/uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb	UNSAT	2412	0.416935
web/uclid_pb_benchmarks/normalized-46s.smv.opb	UNSAT	2406	0.425934
web/uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb	UNSAT	2413	0.478927
web/uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb	UNSAT	2448	0.580911
web/uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb	UNSAT	2411	0.6539
web/uclid_pb_benchmarks/normalized-25s.smv.opb	UNSAT	2403	0.874866
web/uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb	UNSAT	2429	0.923859
web/uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb	UNSAT	2440	1.04284
web/uclid_pb_benchmarks/normalized-cache.inv10.ucl.opb	UNSAT	2418	1.14682
web/uclid_pb_benchmarks/normalized-ooo.burch_dill.4.accl.ucl.opb	UNSAT	2432	1.58676
web/uclid_pb_benchmarks/normalized-22s.smv.opb	UNSAT	2402	1.89371
web/uclid_pb_benchmarks/normalized-dlx1c.ucl.opb	UNSAT	2425	2.17167
web/uclid_pb_benchmarks/normalized-43s.smv.opb	UNSAT	2404	2.40463
web/uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb	UNSAT	2447	3.16052
web/uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb	UNSAT	2423	3.65844
web/uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb	UNSAT	2414	3.83542
web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb	UNSAT	2443	4.42533
web/uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb	UNSAT	2422	5.2572
web/uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb	UNSAT	2430	5.61715
web/uclid_pb_benchmarks/normalized-ooo.burch_dill.2.accl.ucl.opb	UNSAT	2431	8.69168
web/uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb	UNSAT	2445	13.468
web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb	UNSAT	2417	19.515
web/uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb	UNSAT	2444	20.05
web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl.opb	UNSAT	2435	29.4525
web/uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb	UNSAT	2426	47.8237
web/uclid_pb_benchmarks/normalized-elf.rf10.ucl.opb	UNSAT	2434	50.3233
web/uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb	UNSAT	2452	68.4776
web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb	UNSAT	2455	158.498
web/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb	UNSAT	2456	229.438
web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb	UNSAT	2454	342.589
web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb	UNSAT	2579	980.337

Benchmark Name	Answer	Traceid	CPU time
submitted/aloul/FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb	SAT	871	4.41633
submitted/aloul/FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb	SAT	874	6.83896
submitted/aloul/FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb	SAT	876	7.39687
submitted/aloul/FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb	SAT	873	8.5507
submitted/aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb	SAT	904	9.39057
submitted/aloul/FPGA_SAT05/normalized-fpga11_11_sat_pb.cnf.cr.opb	SAT	875	10.7464
web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb	SAT	2698	11.0333
submitted/aloul/FPGA_SAT05/normalized-fpga12_10_sat_pb.cnf.cr.opb	SAT	877	11.7262
web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb	SAT	2453	13.019
submitted/aloul/FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb	SAT	881	13.398
submitted/aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb	SAT	886	13.5859
submitted/aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb	SAT	878	14.2608
submitted/aloul/FPGA_SAT05/normalized-fpga13_13_sat_pb.cnf.cr.opb	SAT	882	14.7168
submitted/aloul/FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb	SAT	884	15.5296
submitted/aloul/FPGA_SAT05/normalized-fpga12_12_sat_pb.cnf.cr.opb	SAT	879	15.7036
submitted/aloul/FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb	SAT	880	15.7796
submitted/aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb	SAT	883	16.8314
submitted/aloul/FPGA_SAT05/normalized-fpga14_14_sat_pb.cnf.cr.opb	SAT	885	16.9584
submitted/aloul/FPGA_SAT05/normalized-fpga15_14_sat_pb.cnf.cr.opb	SAT	905	21.0988
submitted/aloul/FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb	SAT	887	30.0254
submitted/aloul/FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb	SAT	888	36.2005
web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb	SAT	2697	53.3369
submitted/aloul/FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb	SAT	890	55.0466
web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb	SAT	2702	55.4256
submitted/aloul/FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb	SAT	893	94.5816
submitted/aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb	SAT	892	122.448
submitted/aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb	SAT	896	205.755
submitted/aloul/FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb	SAT	899	407.969

Benchmark Name	Answer	Traceid	CPU time
submitted/aloul/FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb	UNKNOWN	922	1200.06
web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb	UNKNOWN	2583	1200.29
web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb	UNKNOWN	2572	1200.39
web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb	UNKNOWN	2735	1200.46
submitted/aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb	UNKNOWN	1085	1200.59
submitted/aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb	UNKNOWN	920	1200.84
web/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.opb	UNKNOWN	2570	1201.68
submitted/aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb	UNKNOWN	1091	1201.77
web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb	UNKNOWN	2573	1201.82
submitted/aloul/FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb	UNKNOWN	921	1202.15
web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb	UNKNOWN	2741	1202.52
web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb	UNKNOWN	2584	1203.46
submitted/aloul/FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb	UNKNOWN	923	1203.69
web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb	UNKNOWN	2580	1203.71
submitted/aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb	UNKNOWN	1083	1205.17
submitted/aloul/FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb	UNKNOWN	928	1205.76
submitted/aloul/FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb	UNKNOWN	1000	1206.74
submitted/aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb	UNKNOWN	951	1206.94
web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl.opb	UNKNOWN	2581	1207.46
submitted/aloul/FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb	UNKNOWN	967	1208.08
submitted/aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb	UNKNOWN	1022	1208.1
web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb	UNKNOWN	2582	1208.4
web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb	UNKNOWN	2742	1208.58
web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb	UNKNOWN	2577	1209.59

Benchmark Name	Answer	Traceid	CPU time
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-diamond.opb	UNSAT	3961	0.003999
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-diamond.opb	UNSAT	6512	0.005998
submitted/manquinho/primes-dimacs-cnf/normalized-ssa0432-003.opb	UNSAT	2343	0.176972
submitted/manquinho/primes-dimacs-cnf/normalized-bf2670-001.opb	UNSAT	2330	0.691894
submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-638.opb	UNSAT	1516	1.72674
submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-075.opb	UNSAT	1515	1.78473
submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-141.opb	UNSAT	2323	2.31265
submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-130.opb	UNSAT	2322	2.48662
submitted/manquinho/primes-dimacs-cnf/normalized-bf0432-007.opb	UNSAT	1585	5.15022
submitted/manquinho/primes-dimacs-cnf/normalized-ssa6288-047.opb	UNSAT	2324	20.039

Benchmark Name	Answer	Traceid	CPU time
submitted/sorensson/garden/normalized-g2x2.opb	OPT FOUND	2381	0.003998
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C17.opb	OPT FOUND	2359	0.005998
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein9.opb	OPT FOUND	6555	0.007998
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein9.opb	OPT FOUND	3957	0.008997
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-4.opb	OPT FOUND	1502	0.011998
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-1.opb	OPT FOUND	1499	0.011998
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb	OPT FOUND	1503	0.012997
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-2.opb	OPT FOUND	1500	0.012997
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-3.opb	OPT FOUND	1501	0.013997
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb	OPT FOUND	2329	0.013997
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-3.opb	OPT FOUND	1505	0.014997
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-2.opb	OPT FOUND	1504	0.014997
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-1.opb	OPT FOUND	1506	0.016997
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-b1.opb	OPT FOUND	2367	0.017996
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-1.opb	OPT FOUND	1510	0.019996
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-2.opb	OPT FOUND	1511	0.019996
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-4.opb	OPT FOUND	1509	0.019996
submitted/sorensson/garden/normalized-g4x4.opb	OPT FOUND	2375	0.019996
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-4.opb	OPT FOUND	1514	0.020995
submitted/manquinho/primes-dimacs-cnf/normalized-par8-1-c.opb	OPT FOUND	1594	0.020996
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb	OPT FOUND	1512	0.020996
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-3.opb	OPT FOUND	1508	0.020996
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-2.opb	OPT FOUND	1507	0.021996
submitted/manquinho/primes-dimacs-cnf/normalized-par8-4-c.opb	OPT FOUND	2318	0.022996
submitted/manquinho/primes-dimacs-cnf/normalized-par8-2-c.opb	OPT FOUND	1595	0.023995
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-3.opb	OPT FOUND	2326	0.023995
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-2.opb	OPT FOUND	925	0.024995
submitted/manquinho/primes-dimacs-cnf/normalized-par8-5-c.opb	OPT FOUND	2320	0.024995
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb	OPT FOUND	929	0.026995
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-4.opb	OPT FOUND	926	0.026995
submitted/een/normalized-pk1.opb	OPT FOUND	2400	0.027995
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb	OPT FOUND	931	0.028994
submitted/manquinho/primes-dimacs-cnf/normalized-par8-3-c.opb	OPT FOUND	2316	0.028994
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb	OPT FOUND	924	0.029994
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb	OPT FOUND	930	0.031994
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-1.opb	OPT FOUND	932	0.032994
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.opb	OPT FOUND	927	0.033993
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein15.opb	OPT FOUND	6550	0.036993
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein15.opb	OPT FOUND	3954	0.038993
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-3.opb	OPT FOUND	2327	0.039992
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb	OPT FOUND	936	0.042992
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.opb	OPT FOUND	934	0.043992
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-2.opb	OPT FOUND	937	0.044992
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-4.opb	OPT FOUND	935	0.047992
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.opb	OPT FOUND	938	0.048992
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-1.opb	OPT FOUND	939	0.049992
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb	OPT FOUND	941	0.053991
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-2.opb	OPT FOUND	933	0.062989
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb	OPT FOUND	942	0.062989
submitted/manquinho/primes-dimacs-cnf/normalized-jnh12.opb	OPT FOUND	1564	0.073987
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb	OPT FOUND	950	0.074988
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0033.opb	OPT FOUND	4607	0.075988
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-2.opb	OPT FOUND	940	0.076988
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0033.opb	OPT FOUND	6534	0.077987
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb	OPT FOUND	946	0.080987
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0033.opb	OPT FOUND	6657	0.083987
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb	OPT FOUND	3964	0.084986
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb	OPT FOUND	1498	0.088986
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-4.opb	OPT FOUND	949	0.090985
submitted/een/normalized-p0033.opb	OPT FOUND	2386	0.094984
submitted/manquinho/primes-dimacs-cnf/normalized-jnh205.opb	OPT FOUND	1567	0.096984
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-1.opb	OPT FOUND	947	0.096984
submitted/manquinho/primes-dimacs-cnf/normalized-jnh207.opb	OPT FOUND	1569	0.096985
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb	OPT FOUND	945	0.105983
submitted/manquinho/primes-dimacs-cnf/normalized-par8-2.opb	OPT FOUND	2312	0.109982
submitted/manquinho/primes-dimacs-cnf/normalized-par8-4.opb	OPT FOUND	2319	0.111982
submitted/manquinho/primes-dimacs-cnf/normalized-jnh17.opb	OPT FOUND	1565	0.112982
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb	OPT FOUND	944	0.114981
submitted/manquinho/primes-dimacs-cnf/normalized-jnh212.opb	OPT FOUND	1571	0.11898
submitted/manquinho/primes-dimacs-cnf/normalized-par8-5.opb	OPT FOUND	2321	0.120981
submitted/manquinho/primes-dimacs-cnf/normalized-jnh301.opb	OPT FOUND	1576	0.122981
submitted/manquinho/primes-dimacs-cnf/normalized-par8-1.opb	OPT FOUND	2341	0.12398
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb	OPT FOUND	1496	0.12498
submitted/manquinho/primes-dimacs-cnf/normalized-jnh213.opb	OPT FOUND	2337	0.12798
submitted/manquinho/primes-dimacs-cnf/normalized-par8-3.opb	OPT FOUND	2317	0.129979
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-1.opb	OPT FOUND	943	0.132978
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb	OPT FOUND	2328	0.140978
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb	OPT FOUND	948	0.168974
submitted/manquinho/routing/normalized-s3-3-3-1pb.opb	OPT FOUND	2345	0.176972
submitted/manquinho/primes-dimacs-cnf/normalized-jnh204.opb	OPT FOUND	1566	0.19497
submitted/manquinho/primes-dimacs-cnf/normalized-jnh218.opb	OPT FOUND	1574	0.199969
submitted/manquinho/primes-dimacs-cnf/normalized-jnh220.opb	OPT FOUND	1575	0.208967
submitted/manquinho/primes-dimacs-cnf/normalized-jnh209.opb	OPT FOUND	1570	0.218966
submitted/manquinho/routing/normalized-s3-3-3-2pb.opb	OPT FOUND	2346	0.237963
submitted/manquinho/primes-dimacs-cnf/normalized-jnh7.opb	OPT FOUND	1577	0.245962
submitted/manquinho/routing/normalized-s3-3-3-4pb.opb	OPT FOUND	2347	0.280957
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-3.opb	OPT FOUND	1497	0.293955
submitted/manquinho/primes-dimacs-cnf/normalized-jnh1.opb	OPT FOUND	1563	0.412937
submitted/sorensson/garden/normalized-g9x3.opb	OPT FOUND	2376	0.497923
submitted/manquinho/routing/normalized-s3-3-3-3pb.opb	OPT FOUND	2355	0.509921
submitted/manquinho/routing/normalized-s3-3-3-5pb.opb	OPT FOUND	2348	0.576911
submitted/een/normalized-l152lav.opb	OPT FOUND	2396	0.810875
submitted/manquinho/ttp/normalized-circ4_3.opb	OPT FOUND	2368	1.40579
submitted/manquinho/ttp/normalized-data4_3.opb	OPT FOUND	2372	1.51877
submitted/manquinho/primes-dimacs-cnf/normalized-jnh210.opb	OPT FOUND	1572	2.69159
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb	OPT FOUND	3914	3.09853
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bm23.opb	OPT FOUND	6510	3.10553
submitted/manquinho/primes-dimacs-cnf/normalized-jnh217.opb	OPT FOUND	1573	3.66044
submitted/manquinho/primes-dimacs-cnf/normalized-ii8a1.opb	OPT FOUND	1552	4.68629
submitted/een/normalized-mod008.opb	OPT FOUND	2391	9.75452
submitted/manquinho/routing/normalized-s4-4-3-10pb.opb	OPT FOUND	2350	11.8482
submitted/manquinho/primes-dimacs-cnf/normalized-par16-4-c.opb	OPT FOUND	1584	17.5433
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein27.opb	OPT FOUND	3956	19.0641
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein27.opb	OPT FOUND	6553	19.1271
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-stein27.opb	OPT FOUND	6673	19.1301
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-stein27.opb	OPT FOUND	4620	19.2041
submitted/een/normalized-stein27.opb	OPT FOUND	2393	19.544
submitted/manquinho/primes-dimacs-cnf/normalized-par16-1-c.opb	OPT FOUND	1579	21.9667
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos18.opb	OPT FOUND	6732	27.4768
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos18.opb	OPT FOUND	6348	27.5768
submitted/manquinho/primes-dimacs-cnf/normalized-hanoi4.opb	OPT FOUND	1525	29.2875
submitted/manquinho/primes-dimacs-cnf/normalized-par16-3-c.opb	OPT FOUND	1581	36.3335
submitted/manquinho/primes-dimacs-cnf/normalized-par16-2-c.opb	OPT FOUND	1580	38.2782
submitted/manquinho/primes-dimacs-cnf/normalized-par16-5-c.opb	OPT FOUND	1588	40.1119
submitted/manquinho/primes-dimacs-cnf/normalized-ii32b4.opb	OPT FOUND	1538	42.2446
submitted/manquinho/primes-dimacs-cnf/normalized-par16-4.opb	OPT FOUND	1589	66.1169
submitted/manquinho/primes-dimacs-cnf/normalized-ii32b2.opb	OPT FOUND	1540	77.3822
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos10.opb	OPT FOUND	6340	81.6636
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos10.opb	OPT FOUND	6726	83.3043
submitted/manquinho/primes-dimacs-cnf/normalized-par16-1.opb	OPT FOUND	1587	109.752
submitted/manquinho/primes-dimacs-cnf/normalized-par16-3.opb	OPT FOUND	1590	130.872
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos8.opb	OPT FOUND	6745	139.06
submitted/manquinho/primes-dimacs-cnf/normalized-par16-2.opb	OPT FOUND	2352	144.486
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos8.opb	OPT FOUND	6357	145.046
submitted/manquinho/primes-dimacs-cnf/normalized-par16-5.opb	OPT FOUND	1601	193.393
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-net12.opb	OPT FOUND	6599	229.15
submitted/manquinho/routing/normalized-s4-4-3-9pb.opb	OPT FOUND	2364	318.401
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-net12.opb	OPT FOUND	4010	333.516
submitted/manquinho/primes-dimacs-cnf/normalized-ii32b3.opb	OPT FOUND	1546	585.053
submitted/manquinho/primes-dimacs-cnf/normalized-jnh201.opb	OPT FOUND	2374	608.695
submitted/manquinho/primes-dimacs-cnf/normalized-ii16e2.opb	OPT FOUND	1548	714.821
submitted/manquinho/primes-dimacs-cnf/normalized-ii32a1.opb	OPT FOUND	2365	879.579
submitted/manquinho/logic-synthesis/normalized-9sym.b.opb	OPT FOUND	1084	910.329

Benchmark Name	Answer	Traceid	CPU time
submitted/manquinho/routing/normalized-s4-4-3-8pb.opb	UNKNOWN	2392	1200.12
submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-038.opb	UNKNOWN	2369	1200.19
submitted/manquinho/ttp/normalized-data8_3.opb	UNKNOWN	2438	1200.45
submitted/sorensson/garden/normalized-g15x15.opb	UNKNOWN	2451	1200.5
submitted/manquinho/logic-synthesis/normalized-alu4.b.opb	UNKNOWN	1109	1200.53
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-opt1217.opb	UNKNOWN	6624	1200.56
submitted/manquinho/primes-dimacs-cnf/normalized-ii16b2.opb	UNKNOWN	1557	1200.62
submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-160.opb	UNKNOWN	2373	1200.73
submitted/manquinho/primes-dimacs-cnf/normalized-ii16a2.opb	UNKNOWN	2377	1200.76
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb	UNKNOWN	2736	1200.89
submitted/manquinho/primes-dimacs-cnf/normalized-ii8a3.opb	UNKNOWN	2379	1200.9
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-vpm2.opb	UNKNOWN	6641	1200.91
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb	UNKNOWN	2407	1200.95
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb	UNKNOWN	2416	1201.05
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb	UNKNOWN	3965	1201.05
submitted/manquinho/logic-synthesis/normalized-apex4.a.opb	UNKNOWN	1094	1201.06
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow30a.opb	UNKNOWN	6593	1201.11
submitted/manquinho/primes-dimacs-cnf/normalized-ii8c1.opb	UNKNOWN	1730	1201.17
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb	UNKNOWN	2737	1201.19
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos19.opb	UNKNOWN	6765	1201.2
submitted/manquinho/primes-dimacs-cnf/normalized-ii8a4.opb	UNKNOWN	1723	1201.2
submitted/sorensson/garden/normalized-g9x9.opb	UNKNOWN	2457	1201.24
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lp4l.opb	UNKNOWN	6561	1201.33
submitted/sorensson/garden/normalized-g7x7.opb	UNKNOWN	2458	1201.33
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb	UNKNOWN	2415	1201.37
submitted/manquinho/primes-dimacs-cnf/normalized-ii16d2.opb	UNKNOWN	1562	1201.38
submitted/manquinho/primes-dimacs-cnf/normalized-ii16d1.opb	UNKNOWN	1561	1201.64
submitted/manquinho/logic-synthesis/normalized-sao2.b.opb	UNKNOWN	1110	1201.66
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb	UNKNOWN	4128	1201.77
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb	UNKNOWN	2401	1201.89
submitted/manquinho/logic-synthesis/normalized-clip.b.opb	UNKNOWN	1093	1201.94
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.5:100.opb	UNKNOWN	2734	1201.97
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-p2756.opb	UNKNOWN	6625	1202
submitted/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb	UNKNOWN	1554	1202.05
web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb	UNKNOWN	2726	1202.09
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-seymour.opb	UNKNOWN	6633	1202.17
submitted/manquinho/primes-dimacs-cnf/normalized-f600.opb	UNKNOWN	1547	1202.22
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb	UNKNOWN	4138	1202.24
submitted/manquinho/logic-synthesis/normalized-f51m.b.opb	UNKNOWN	1098	1202.29
submitted/manquinho/logic-synthesis/normalized-bench1.pi.opb	UNKNOWN	1095	1202.33
submitted/manquinho/primes-dimacs-cnf/normalized-ii16a1.opb	UNKNOWN	1555	1202.37
submitted/manquinho/ttp/normalized-circ10_3.opb	UNKNOWN	2441	1202.6
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod008.opb	UNKNOWN	6566	1202.63
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cmb.opb	UNKNOWN	2419	1202.65
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb	UNKNOWN	3970	1202.76
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod008.opb	UNKNOWN	4654	1202.79
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-seymour.opb	UNKNOWN	6701	1202.8
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb	UNKNOWN	4633	1202.85
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-seymour.opb	UNKNOWN	4648	1202.86
submitted/manquinho/logic-synthesis/normalized-jac3.opb	UNKNOWN	1099	1202.88
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos5.opb	UNKNOWN	6767	1202.88
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod008.opb	UNKNOWN	6706	1202.91
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lseu.opb	UNKNOWN	6590	1202.92
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mitre.opb	UNKNOWN	6687	1202.94
submitted/manquinho/primes-dimacs-cnf/normalized-f1000.opb	UNKNOWN	1544	1203
submitted/manquinho/primes-dimacs-cnf/normalized-ii8b2.opb	UNKNOWN	1725	1203.01
submitted/manquinho/primes-dimacs-cnf/normalized-ii16b1.opb	UNKNOWN	1556	1203.14
submitted/manquinho/primes-dimacs-cnf/normalized-ii32d2.opb	UNKNOWN	1592	1203.15
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fast0507.opb	UNKNOWN	6663	1203.26
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb	UNKNOWN	3967	1203.27
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-my_adder.opb	UNKNOWN	2424	1203.3
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb	UNKNOWN	2751	1203.34
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod010.opb	UNKNOWN	6689	1203.34
submitted/manquinho/logic-synthesis/normalized-count.b.opb	UNKNOWN	1097	1203.36
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fast0507.opb	UNKNOWN	6605	1203.38
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-lseu.opb	UNKNOWN	6681	1203.4
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-lseu.opb	UNKNOWN	4629	1203.41
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-l152lav.opb	UNKNOWN	6559	1203.44
submitted/manquinho/logic-synthesis/normalized-max1024.pi.opb	UNKNOWN	1102	1203.49
submitted/een/normalized-lseu.opb	UNKNOWN	2473	1203.5
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-fast0507.opb	UNKNOWN	4616	1203.54
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod010.opb	UNKNOWN	6567	1203.62
submitted/manquinho/primes-dimacs-cnf/normalized-ii32e4.opb	UNKNOWN	1721	1203.63
submitted/een/normalized-p0201.opb	UNKNOWN	2510	1203.64
submitted/een/normalized-fast0507.opb	UNKNOWN	2459	1203.64
submitted/manquinho/primes-dimacs-cnf/normalized-ii32e3.opb	UNKNOWN	1720	1203.67
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb	UNKNOWN	4006	1203.72
submitted/manquinho/primes-dimacs-cnf/normalized-g250.29.opb	UNKNOWN	1553	1203.76
submitted/manquinho/primes-dimacs-cnf/normalized-ii8b3.opb	UNKNOWN	1728	1203.86
submitted/een/normalized-mitre.opb	UNKNOWN	2490	1203.87
web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb	UNKNOWN	2731	1203.92
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos16.opb	UNKNOWN	6762	1203.97
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-l152lav.opb	UNKNOWN	4627	1204.03
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-l152lav.opb	UNKNOWN	6679	1204.03
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb	UNKNOWN	2589	1204.06
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb	UNKNOWN	2595	1204.1
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb	UNKNOWN	2591	1204.13
submitted/manquinho/logic-synthesis/normalized-exam.pi.opb	UNKNOWN	1101	1204.19
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod010.opb	UNKNOWN	4635	1204.2
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-10teams.opb	UNKNOWN	6646	1204.21
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0201.opb	UNKNOWN	6572	1204.25
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0201.opb	UNKNOWN	6693	1204.25
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb	UNKNOWN	3977	1204.27
submitted/manquinho/primes-dimacs-cnf/normalized-ii32c4.opb	UNKNOWN	1591	1204.34
submitted/manquinho/logic-synthesis/normalized-5xp1.b.opb	UNKNOWN	1092	1204.34
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0201.opb	UNKNOWN	4638	1204.42
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb	UNKNOWN	2590	1204.42
submitted/manquinho/routing/normalized-s4-4-3-5pb.opb	UNKNOWN	2388	1204.45
submitted/manquinho/logic-synthesis/normalized-e64.b.opb	UNKNOWN	1096	1204.47
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb	UNKNOWN	3971	1204.49
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb	UNKNOWN	2594	1204.5
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb	UNKNOWN	2745	1204.58
submitted/manquinho/routing/normalized-s4-4-3-3pb.opb	UNKNOWN	2385	1204.6
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb	UNKNOWN	3963	1204.68
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb	UNKNOWN	6378	1204.79
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb	UNKNOWN	4124	1205.06
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p2756.opb	UNKNOWN	3980	1205.07
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb	UNKNOWN	2687	1205.1
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p2756.opb	UNKNOWN	4639	1205.15
submitted/manquinho/primes-dimacs-cnf/normalized-ii32e5.opb	UNKNOWN	1722	1205.21
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb	UNKNOWN	2598	1205.27
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-mux.opb	UNKNOWN	2420	1205.28
submitted/manquinho/primes-dimacs-cnf/normalized-ii8b1.opb	UNKNOWN	1724	1205.28
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p2756.opb	UNKNOWN	6694	1205.29
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p2756.opb	UNKNOWN	6575	1205.35
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb	UNKNOWN	2752	1205.35
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-c8.opb	UNKNOWN	2410	1205.39
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb	UNKNOWN	2597	1205.44
submitted/manquinho/primes-dimacs-cnf/normalized-ii32d3.opb	UNKNOWN	1593	1205.52
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb	UNKNOWN	2688	1205.54
submitted/manquinho/logic-synthesis/normalized-test4.pi.opb	UNKNOWN	1107	1205.55
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb	UNKNOWN	2596	1205.59
web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb	UNKNOWN	2730	1205.6
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb	UNKNOWN	2693	1205.76
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb	UNKNOWN	3975	1205.81
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0040.opb	UNKNOWN	6571	1205.82
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-10teams.opb	UNKNOWN	6707	1205.83
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow40b.opb	UNKNOWN	6594	1205.84
submitted/een/normalized-seymour.opb	UNKNOWN	2567	1205.94
submitted/manquinho/primes-dimacs-cnf/normalized-ii32d1.opb	UNKNOWN	2378	1205.95
submitted/manquinho/primes-dimacs-cnf/normalized-ii8e2.opb	UNKNOWN	1735	1205.96
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-10teams.opb	UNKNOWN	4691	1205.96
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb	UNKNOWN	2689	1206.07
submitted/manquinho/primes-dimacs-cnf/normalized-ii32c3.opb	UNKNOWN	1586	1206.07
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv11.opb	UNKNOWN	6619	1206.1
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb	UNKNOWN	2690	1206.11
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb	UNKNOWN	2691	1206.17
submitted/manquinho/logic-synthesis/normalized-ex5.pi.opb	UNKNOWN	1100	1206.19
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-stein45.opb	UNKNOWN	6702	1206.2
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb	UNKNOWN	3992	1206.22
submitted/manquinho/primes-dimacs-cnf/normalized-f2000.opb	UNKNOWN	1545	1206.23
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-protfold.opb	UNKNOWN	6629	1206.27
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein45.opb	UNKNOWN	6585	1206.29
submitted/manquinho/routing/normalized-s4-4-3-1pb.opb	UNKNOWN	2383	1206.29
submitted/manquinho/routing/normalized-s4-4-3-2pb.opb	UNKNOWN	2384	1206.32
submitted/manquinho/routing/normalized-s4-4-3-7pb.opb	UNKNOWN	2399	1206.33
submitted/een/normalized-stein45.opb	UNKNOWN	2568	1206.36
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb	UNKNOWN	2692	1206.49
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb	UNKNOWN	3987	1206.51
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm1.opb	UNKNOWN	6709	1206.51
submitted/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb	UNKNOWN	1583	1206.52
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-stein45.opb	UNKNOWN	4649	1206.54
submitted/manquinho/primes-dimacs-cnf/normalized-ii32c1.opb	UNKNOWN	1582	1206.56
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv42z.opb	UNKNOWN	6620	1206.62
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sentoy.opb	UNKNOWN	6579	1206.65
submitted/manquinho/logic-synthesis/normalized-rot.b.opb	UNKNOWN	1106	1206.72
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb	UNKNOWN	2696	1206.74
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb	UNKNOWN	2695	1206.75
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb	UNKNOWN	4134	1206.76
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-manna81.opb	UNKNOWN	6611	1206.77
submitted/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb	UNKNOWN	1726	1206.79
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-vpm1.opb	UNKNOWN	6589	1206.8
submitted/manquinho/primes-dimacs-cnf/normalized-ii32e2.opb	UNKNOWN	1701	1206.87
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb	UNKNOWN	2700	1206.87
submitted/manquinho/primes-dimacs-cnf/normalized-ii8c2.opb	UNKNOWN	1731	1206.9
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-manna81.opb	UNKNOWN	4113	1206.91
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb	UNKNOWN	2699	1206.93
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb	UNKNOWN	2694	1206.96
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb	UNKNOWN	2711	1207.04
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb	UNKNOWN	2703	1207.07
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb	UNKNOWN	2704	1207.1
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb	UNKNOWN	2710	1207.12
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb	UNKNOWN	2705	1207.15
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb	UNKNOWN	2716	1207.16
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb	UNKNOWN	2706	1207.23
submitted/manquinho/primes-dimacs-cnf/normalized-ii8d1.opb	UNKNOWN	2380	1207.23
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb	UNKNOWN	2701	1207.27
submitted/manquinho/primes-dimacs-cnf/normalized-ii16c1.opb	UNKNOWN	1558	1207.28
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0548.opb	UNKNOWN	4640	1207.35
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb	UNKNOWN	2718	1207.35
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb	UNKNOWN	2707	1207.36
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb	UNKNOWN	2713	1207.37
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb	UNKNOWN	6401	1207.39
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb	UNKNOWN	2717	1207.4
submitted/manquinho/primes-dimacs-cnf/normalized-ii32b1.opb	UNKNOWN	1578	1207.4
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb	UNKNOWN	2714	1207.4
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0548.opb	UNKNOWN	6577	1207.41
submitted/sorensson/garden/normalized-g100x100.opb	UNKNOWN	2442	1207.44
submitted/een/normalized-p0548.opb	UNKNOWN	2566	1207.46
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb	UNKNOWN	4126	1207.46
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb	UNKNOWN	2719	1207.46
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb	UNKNOWN	2722	1207.46
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0548.opb	UNKNOWN	6696	1207.48
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb	UNKNOWN	2712	1207.53
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb	UNKNOWN	2715	1207.54
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb	UNKNOWN	2749	1207.56
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb	UNKNOWN	3979	1207.58
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb	UNKNOWN	2708	1207.59
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb	UNKNOWN	2709	1207.72
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:100.opb	UNKNOWN	2747	1207.78
submitted/manquinho/primes-dimacs-cnf/normalized-par32-2-c.opb	UNKNOWN	2382	1207.83
submitted/manquinho/primes-dimacs-cnf/normalized-par32-5-c.opb	UNKNOWN	1743	1207.87
submitted/manquinho/primes-dimacs-cnf/normalized-ii16e1.opb	UNKNOWN	1568	1207.9
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb	UNKNOWN	2723	1207.91
submitted/manquinho/ttp/normalized-data10_3.opb	UNKNOWN	2446	1207.95
submitted/manquinho/ttp/normalized-data6_3.opb	UNKNOWN	2433	1207.96
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb	UNKNOWN	4602	1208.06
submitted/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb	UNKNOWN	1739	1208.06
submitted/manquinho/primes-dimacs-cnf/normalized-par32-1-c.opb	UNKNOWN	1736	1208.14
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-seymour1.opb	UNKNOWN	6776	1208.15
submitted/manquinho/routing/normalized-s4-4-3-4pb.opb	UNKNOWN	2387	1208.17
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:98.opb	UNKNOWN	2750	1208.18
submitted/manquinho/primes-dimacs-cnf/normalized-ii8d2.opb	UNKNOWN	1732	1208.38
submitted/manquinho/primes-dimacs-cnf/normalized-g250.15.opb	UNKNOWN	1551	1208.4
web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb	UNKNOWN	2724	1208.44
submitted/manquinho/primes-dimacs-cnf/normalized-ii32e1.opb	UNKNOWN	1640	1208.5
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:100.opb	UNKNOWN	2743	1208.52
submitted/manquinho/ttp/normalized-circ6_3.opb	UNKNOWN	2436	1208.55
submitted/manquinho/primes-dimacs-cnf/normalized-par32-4-c.opb	UNKNOWN	1741	1208.56
submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-158.opb	UNKNOWN	2370	1208.66
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-cracpb1.opb	UNKNOWN	3950	1208.69
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:98.opb	UNKNOWN	2748	1208.69
submitted/manquinho/primes-dimacs-cnf/normalized-ii8b4.opb	UNKNOWN	1729	1208.8
submitted/manquinho/primes-dimacs-cnf/normalized-g125.17.opb	UNKNOWN	1549	1208.84
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos1.opb	UNKNOWN	6766	1208.84
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb	UNKNOWN	6381	1208.86
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-cracpb1.opb	UNKNOWN	6587	1208.97
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb	UNKNOWN	2746	1209.08
submitted/manquinho/primes-dimacs-cnf/normalized-par32-1.opb	UNKNOWN	1737	1209.13
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb	UNKNOWN	6382	1209.26
submitted/manquinho/ttp/normalized-circ8_3.opb	UNKNOWN	2437	1209.27
submitted/manquinho/primes-dimacs-cnf/normalized-par32-4.opb	UNKNOWN	1742	1209.4
submitted/manquinho/primes-dimacs-cnf/normalized-ii8e1.opb	UNKNOWN	1733	1209.4
submitted/manquinho/primes-dimacs-cnf/normalized-par32-2.opb	UNKNOWN	1738	1209.43
submitted/manquinho/primes-dimacs-cnf/normalized-g125.18.opb	UNKNOWN	1550	1209.48
submitted/manquinho/logic-synthesis/normalized-prom2.pi.opb	UNKNOWN	1111	1209.55
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb	UNKNOWN	4129	1209.65
submitted/manquinho/routing/normalized-s4-4-3-6pb.opb	UNKNOWN	2390	1209.71
submitted/manquinho/primes-dimacs-cnf/normalized-par32-3.opb	UNKNOWN	1740	1209.71
submitted/een/normalized-p2756.opb	UNKNOWN	2491	1209.79
submitted/manquinho/primes-dimacs-cnf/normalized-par32-5.opb	UNKNOWN	1744	1209.83
submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-159.opb	UNKNOWN	2371	1209.92
submitted/manquinho/primes-dimacs-cnf/normalized-ii16c2.opb	UNKNOWN	1560	1209.96

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	6791	0.007998
submitted/een/normalized-enigma.opb	OPT FOUND	2395	0.014997
mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-nazareth.opb	OPT FOUND	6794	0.016997
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc02.opb	OPT FOUND	6525	0.090985
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc01.opb	OPT FOUND	6524	0.383941
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-enigma.opb	OPT FOUND	6515	2.14267
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-enigma.opb	OPT FOUND	6678	2.16667
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-enigma.opb	OPT FOUND	3919	2.17967
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-enigma.opb	OPT FOUND	4628	2.20366
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-flugpl.opb	OPT FOUND	6634	3.51446
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-flugpl.opb	OPT FOUND	6519	3.51646
submitted/een/normalized-air05.opb	OPT FOUND	2398	4.20936
submitted/een/normalized-air04.opb	OPT FOUND	2394	6.13906
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sample2.opb	OPT FOUND	6546	7.66783
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc03.opb	OPT FOUND	6649	10.0985
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0291.opb	OPT FOUND	3942	10.2544
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc03.opb	OPT FOUND	6528	10.2664
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0291.opb	OPT FOUND	6540	10.2984
submitted/een/normalized-air03.opb	OPT FOUND	2389	13.481
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50b.opb	OPT FOUND	6464	17.2414
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos20.opb	OPT FOUND	6734	21.3598
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50a.opb	OPT FOUND	6463	29.3385
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bk4x3.opb	OPT FOUND	6684	30.5923
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0282.opb	OPT FOUND	6543	144.215
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0282.opb	OPT FOUND	3945	144.569
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0282.opb	OPT FOUND	6667	144.74
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0282.opb	OPT FOUND	4615	144.868
submitted/een/normalized-p0282.opb	OPT FOUND	2397	188.727
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air01.opb	OPT FOUND	6560	234.511
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air01.opb	OPT FOUND	3974	235.692
mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-maros.opb	OPT FOUND	6835	247.286
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-pipex.opb	OPT FOUND	6568	743.499
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-pipex.opb	OPT FOUND	3976	744.068

Benchmark Name	Answer	Traceid	CPU time
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-cap6000.opb	UNKNOWN	4608	1200.03
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-cap6000.opb	UNKNOWN	6595	1200.03
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p6000.opb	UNKNOWN	3981	1200.03
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-set1ch.opb	UNKNOWN	6632	1200.04
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-nw04.opb	UNKNOWN	4636	1200.07
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370a.opb	UNKNOWN	6746	1200.08
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-CMS750_4.opb	UNKNOWN	6801	1200.08
submitted/een/normalized-nw04.opb	UNKNOWN	2483	1200.08
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nw04.opb	UNKNOWN	6623	1200.09
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_4.opb	UNKNOWN	6751	1200.09
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air04.opb	UNKNOWN	3153	1200.1
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-dano3mip.opb	UNKNOWN	6600	1200.1
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-qap10.opb	UNKNOWN	6391	1200.11
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nw04.opb	UNKNOWN	4127	1200.14
mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2d.opb	UNKNOWN	2784	1200.21
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-nsrand_ipx.opb	UNKNOWN	7003	1200.21
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nsrand-ipx.opb	UNKNOWN	6645	1200.21
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos9.opb	UNKNOWN	6769	1200.22
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-d6cube.opb	UNKNOWN	6472	1200.22
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2d.opb	UNKNOWN	6479	1200.24
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb	UNKNOWN	6388	1200.3
web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb	UNKNOWN	2725	1200.39
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air04.opb	UNKNOWN	6542	1200.43
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-misc07.opb	UNKNOWN	6614	1200.5
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08aCUTS.opb	UNKNOWN	6708	1200.5
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B1C1S1.opb	UNKNOWN	6784	1200.53
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran8x32.opb	UNKNOWN	6742	1200.53
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos11.opb	UNKNOWN	6760	1200.57
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08aCUTS.opb	UNKNOWN	6627	1200.89
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air05.opb	UNKNOWN	6598	1201.07
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-t1717.opb	UNKNOWN	6637	1201.2
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran17x17.opb	UNKNOWN	6739	1201.35
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air05.opb	UNKNOWN	4601	1201.41
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc07.opb	UNKNOWN	6564	1201.46
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air05.opb	UNKNOWN	6544	1201.47
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc07.opb	UNKNOWN	6686	1201.5
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-railway_8_1_0.opb	UNKNOWN	7272	1201.53
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb	UNKNOWN	3997	1201.57
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air05.opb	UNKNOWN	4001	1201.67
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-set1ch.opb	UNKNOWN	6700	1201.67
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air05.opb	UNKNOWN	6654	1201.7
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B2C1S1.opb	UNKNOWN	6785	1201.73
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1ch.opb	UNKNOWN	6583	1201.77
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x12.opb	UNKNOWN	6728	1201.9
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pk1.opb	UNKNOWN	6695	1202.02
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air05.opb	UNKNOWN	3155	1202.1
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb	UNKNOWN	4586	1202.14
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pk1.opb	UNKNOWN	6626	1202.18
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-seymour1.opb	UNKNOWN	6393	1202.46
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air06.opb	UNKNOWN	6547	1202.54
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air06.opb	UNKNOWN	3154	1202.68
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08a.opb	UNKNOWN	6628	1203.06
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc05.opb	UNKNOWN	6562	1203.07
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap3.opb	UNKNOWN	6523	1203.12
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare2_1.opb	UNKNOWN	6755	1203.61
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fiber.opb	UNKNOWN	6606	1203.63
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1cl.opb	UNKNOWN	6584	1203.76
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare1_1.opb	UNKNOWN	6754	1203.86
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-danoint.opb	UNKNOWN	6660	1204.04
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-egout.opb	UNKNOWN	6661	1204.33
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08a.opb	UNKNOWN	6697	1204.33
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-liu.opb	UNKNOWN	6615	1204.34
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10b.opb	UNKNOWN	6725	1204.43
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-danoint.opb	UNKNOWN	6602	1204.48
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fiber.opb	UNKNOWN	6668	1204.51
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-egout.opb	UNKNOWN	6552	1204.51
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x21.opb	UNKNOWN	6731	1204.62
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap1.opb	UNKNOWN	6518	1204.69
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran4x64.opb	UNKNOWN	6740	1204.73
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare2.opb	UNKNOWN	6613	1205.35
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air02.opb	UNKNOWN	6586	1205.38
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air02.opb	UNKNOWN	3995	1205.48
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air04.opb	UNKNOWN	6597	1205.5
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare1.opb	UNKNOWN	6612	1205.51
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-markshare2.opb	UNKNOWN	6683	1205.53
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bal8x12.opb	UNKNOWN	6743	1205.56
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow40b.opb	UNKNOWN	3998	1205.63
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x12.opb	UNKNOWN	6747	1205.78
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-markshare1.opb	UNKNOWN	6682	1205.79
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc205.opb	UNKNOWN	6509	1205.98
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm2.opb	UNKNOWN	6704	1206.01
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-gr4x6.opb	UNKNOWN	6744	1206.05
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran14x18.opb	UNKNOWN	6733	1206.16
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10c.opb	UNKNOWN	6727	1206.47
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-berlin_5_8_0.opb	UNKNOWN	6787	1206.48
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-stp3d.opb	UNKNOWN	4140	1206.49
mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ar.opb	UNKNOWN	6434	1206.5
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ar.opb	UNKNOWN	7103	1206.64
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-stp3d.opb	UNKNOWN	6635	1206.69
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran13x13.opb	UNKNOWN	6730	1206.69
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10a.opb	UNKNOWN	6724	1206.7
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran16x16.opb	UNKNOWN	6735	1206.77
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm1.opb	UNKNOWN	4651	1206.8
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap2.opb	UNKNOWN	6521	1206.81
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air03.opb	UNKNOWN	6651	1206.98
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air03.opb	UNKNOWN	4652	1206.98
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb	UNKNOWN	3996	1207.02
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air03.opb	UNKNOWN	6541	1207.03
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air03.opb	UNKNOWN	3150	1207.04
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst1.opb	UNKNOWN	6779	1207.09
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst2.opb	UNKNOWN	6749	1207.18
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3700.opb	UNKNOWN	6710	1207.3
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rout.opb	UNKNOWN	6699	1207.45
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air04.opb	UNKNOWN	3999	1207.53
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gt2.opb	UNKNOWN	6676	1207.55
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-mkc1.opb	UNKNOWN	6756	1207.56
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-rout.opb	UNKNOWN	6631	1207.72
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-usAbbrv.8.25_70.opb	UNKNOWN	7267	1207.96
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370d.opb	UNKNOWN	6722	1208.03
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb	UNKNOWN	4624	1208.07
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370c.opb	UNKNOWN	6721	1208.08
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3709.opb	UNKNOWN	6719	1208.18
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-tr12-30.opb	UNKNOWN	7262	1208.2
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-ran14x18_1.opb	UNKNOWN	6774	1208.33
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran6x43.opb	UNKNOWN	6741	1208.57
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3705.opb	UNKNOWN	6715	1208.59
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3701.opb	UNKNOWN	6711	1208.65
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod013.opb	UNKNOWN	6592	1208.66
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3702.opb	UNKNOWN	6712	1208.76
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3704.opb	UNKNOWN	6714	1208.83
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mkc.opb	UNKNOWN	6616	1208.84
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1al.opb	UNKNOWN	6582	1208.89
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370e.opb	UNKNOWN	6723	1208.9
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mkc.opb	UNKNOWN	6688	1209.1
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3706.opb	UNKNOWN	6716	1209.12
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet4.opb	UNKNOWN	6556	1209.13
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos6.opb	UNKNOWN	6781	1209.13
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3703.opb	UNKNOWN	6713	1209.15
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-tr12-30.opb	UNKNOWN	6639	1209.17
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3707.opb	UNKNOWN	6717	1209.17
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fixnet6.opb	UNKNOWN	6643	1209.21
mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ar.opb	UNKNOWN	6438	1209.29
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x26.opb	UNKNOWN	6729	1209.29
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm2.opb	UNKNOWN	4659	1209.38
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fixnet6.opb	UNKNOWN	6669	1209.41
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp98ar.opb	UNKNOWN	7127	1209.43
submitted/een/normalized-cap6000.opb	UNKNOWN	2486	1209.45
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc105.opb	UNKNOWN	6506	1209.46
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet6.opb	UNKNOWN	6557	1209.48
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air04.opb	UNKNOWN	4598	1209.56
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-t1717.opb	UNKNOWN	4587	1209.63
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos12.opb	UNKNOWN	6757	1209.64
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-nug08.opb	UNKNOWN	6771	1209.66
mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1d.opb	UNKNOWN	2782	1209.69
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air04.opb	UNKNOWN	6705	1209.76
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3708.opb	UNKNOWN	6718	1209.78
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-nw04.opb	UNKNOWN	6692	1209.81
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit1d.opb	UNKNOWN	6476	1209.82
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet3.opb	UNKNOWN	6554	1209.84
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-nug08.opb	UNKNOWN	6390	1209.95
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-cap6000.opb	UNKNOWN	4003	1209.99
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-cap6000.opb	UNKNOWN	6658	1209.99
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p6000.opb	UNKNOWN	6576	1210
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370b.opb	UNKNOWN	6720	1210.01
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-qap10.opb	UNKNOWN	6775	1210.02
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-dano3mip.opb	UNKNOWN	6659	1210.06
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_5.opb	UNKNOWN	6753	1210.06
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_3.opb	UNKNOWN	6752	1210.07

Result page for solver PBS4

Category "no optimization function" (SAT)

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

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

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

Category "optimization, small integers" (OPTSMALLINT)

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

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

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

Category "optimization, medium integers" (OPTMEDINT)

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

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

Category "optimization, big integers" (OPTBIGINT)