PB'05 competition: benchmarks results per solver

Benchmark Name	Answer	Traceid	CPU time
web/uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb	UNSAT	7818	0.019996
submitted/aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb	UNSAT	7529	0.022995
web/uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl.opb	UNSAT	7841	0.025995
submitted/aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb	UNSAT	7530	0.028995
web/uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl.opb	UNSAT	7800	0.031994
submitted/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb	UNSAT	7565	0.036993
submitted/aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb	UNSAT	7531	0.040993
submitted/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb	UNSAT	7533	0.061989
submitted/aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb	UNSAT	7534	0.068988
submitted/aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb	UNSAT	7535	0.079986
web/uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb	UNSAT	7799	0.079987
submitted/aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb	UNSAT	7532	0.089985
web/uclid_pb_benchmarks/normalized-44s.smv.opb	UNSAT	7796	0.108983
submitted/aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb	UNSAT	7536	0.125979
web/uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb	UNSAT	7801	0.217966
web/uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb	UNSAT	7819	0.228964
web/uclid_pb_benchmarks/normalized-37s.smv.opb	UNSAT	7840	0.231964
submitted/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb	UNSAT	7537	0.239963
submitted/aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb	UNSAT	7538	0.333948
web/uclid_pb_benchmarks/normalized-46s.smv.opb	UNSAT	7798	0.429933
web/uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb	UNSAT	7838	0.446931
web/uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb	UNSAT	7802	0.45393
web/uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb	UNSAT	7812	0.485925
web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb	UNSAT	7832	0.494924
submitted/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb	UNSAT	7540	0.509921
web/uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb	UNSAT	7803	0.611906
submitted/aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb	UNSAT	7539	0.675896
submitted/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb	UNSAT	7566	0.733887
submitted/aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb	UNSAT	7541	0.866867
submitted/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb	UNSAT	8153	0.939856
submitted/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb	UNSAT	8155	1.08683
web/uclid_pb_benchmarks/normalized-ooo.burch_dill.4.accl.ucl.opb	UNSAT	7823	1.3208
web/uclid_pb_benchmarks/normalized-43s.smv.opb	UNSAT	7795	1.46278
web/uclid_pb_benchmarks/normalized-25s.smv.opb	UNSAT	7794	1.74073
web/uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb	UNSAT	7834	1.76273
submitted/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb	UNSAT	8156	2.27365
submitted/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb	UNSAT	7542	2.48762
web/uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb	UNSAT	7821	2.5926
submitted/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb	UNSAT	7555	2.5936
web/uclid_pb_benchmarks/normalized-22s.smv.opb	UNSAT	7793	2.6026
web/uclid_pb_benchmarks/normalized-dlx1c.ucl.opb	UNSAT	7817	3.35149
submitted/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb	UNSAT	7556	3.42148
web/uclid_pb_benchmarks/normalized-cache.inv10.ucl.opb	UNSAT	7809	4.75228
web/uclid_pb_benchmarks/normalized-ooo.burch_dill.2.accl.ucl.opb	UNSAT	7822	5.8841
web/uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb	UNSAT	7816	5.9201
web/uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb	UNSAT	7815	6.99394
web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb	UNSAT	7835	8.20275
web/uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb	UNSAT	7839	13.7419
web/uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb	UNSAT	7804	18.6352
web/uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb	UNSAT	7824	24.7342
web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl.opb	UNSAT	7825	27.1549
web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb	UNSAT	7810	38.8561
web/uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb	UNSAT	7837	39.8229
web/uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb	UNSAT	7842	63.9043
web/uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb	UNSAT	7828	152.779
web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb	UNSAT	7851	312.239
web/uclid_pb_benchmarks/normalized-elf.rf10.ucl.opb	UNSAT	7849	339.876
web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb	UNSAT	7855	448.813
web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb	UNSAT	7853	581.031
web/uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb	UNSAT	7856	679.285
web/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb	UNSAT	7863	1136.02

Benchmark Name	Answer	Traceid	CPU time
submitted/aloul/FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb	SAT	7631	0.027994
submitted/aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb	SAT	7567	0.031994
submitted/aloul/FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb	SAT	7546	0.032994
submitted/aloul/FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb	SAT	7544	0.032994
submitted/aloul/FPGA_SAT05/normalized-fpga11_11_sat_pb.cnf.cr.opb	SAT	7543	0.035993
submitted/aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb	SAT	7635	0.035994
submitted/aloul/FPGA_SAT05/normalized-fpga12_12_sat_pb.cnf.cr.opb	SAT	7545	0.039993
submitted/aloul/FPGA_SAT05/normalized-fpga13_13_sat_pb.cnf.cr.opb	SAT	7633	0.047992
submitted/aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb	SAT	7547	0.048991
submitted/aloul/FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb	SAT	7630	0.049992
submitted/aloul/FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb	SAT	7628	0.051991
submitted/aloul/FPGA_SAT05/normalized-fpga12_10_sat_pb.cnf.cr.opb	SAT	7634	0.05699
submitted/aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb	SAT	7550	0.05899
submitted/aloul/FPGA_SAT05/normalized-fpga14_14_sat_pb.cnf.cr.opb	SAT	7548	0.064989
submitted/aloul/FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb	SAT	7637	0.067989
submitted/aloul/FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb	SAT	7549	0.092985
submitted/aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb	SAT	7552	0.129979
submitted/aloul/FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb	SAT	7551	0.140978
submitted/aloul/FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb	SAT	7632	0.142977
submitted/aloul/FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb	SAT	7553	0.147977
submitted/aloul/FPGA_SAT05/normalized-fpga15_14_sat_pb.cnf.cr.opb	SAT	7569	0.214966
submitted/aloul/FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb	SAT	7554	0.248962
submitted/aloul/FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb	SAT	7558	0.352946
submitted/aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb	SAT	7557	0.550915
submitted/aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb	SAT	7559	0.789879
submitted/aloul/FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb	SAT	7560	0.84587
submitted/aloul/FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb	SAT	7561	1.03384
submitted/aloul/FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb	SAT	7562	1.58676
submitted/aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb	SAT	7572	1.83772
submitted/aloul/FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb	SAT	7563	1.91671
submitted/aloul/FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb	SAT	7564	4.40033
submitted/aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb	SAT	7568	6.40103
submitted/aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb	SAT	7571	9.07862
submitted/aloul/FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb	SAT	7570	9.37757
web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb	SAT	7890	11.1233
submitted/aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb	SAT	7573	14.2518
submitted/aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb	SAT	7574	14.9957
web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb	SAT	7889	15.2757
web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb	SAT	7893	22.9405
web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb	SAT	7895	26.345
web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb	SAT	7854	331.672
web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb	SAT	7909	348.517

Benchmark Name	Answer	Traceid	CPU time
web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb	UNKNOWN	8026	1200.14
web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb	UNKNOWN	7858	1201.1
web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb	UNKNOWN	7866	1203.45
web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb	UNKNOWN	7865	1204.76
web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb	UNKNOWN	7864	1205.85
web/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.opb	UNKNOWN	7857	1205.91
web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb	UNKNOWN	7860	1207.12
web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb	UNKNOWN	7859	1209.07
web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb	UNKNOWN	7861	1209.93
web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl.opb	UNKNOWN	7862	1210.01

Benchmark Name	Answer	Traceid	CPU time
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-diamond.opb	UNSAT	8052	0.010998
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-diamond.opb	UNSAT	8395	0.014997
submitted/manquinho/primes-dimacs-cnf/normalized-ssa0432-003.opb	UNSAT	7732	0.108982
submitted/manquinho/primes-dimacs-cnf/normalized-bf2670-001.opb	UNSAT	7721	0.420935
submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-141.opb	UNSAT	7712	0.437933
submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-130.opb	UNSAT	7711	0.463929
submitted/manquinho/primes-dimacs-cnf/normalized-bf0432-007.opb	UNSAT	7620	0.71389
submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-638.opb	UNSAT	7622	1.00385
submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-075.opb	UNSAT	7621	1.00984
submitted/manquinho/primes-dimacs-cnf/normalized-ssa6288-047.opb	UNSAT	7716	16.2975

Benchmark Name	Answer	Traceid	CPU time
submitted/sorensson/garden/normalized-g2x2.opb	OPT FOUND	7772	0.010997
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein9.opb	OPT FOUND	8433	0.014996
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-1.opb	OPT FOUND	7604	0.016996
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-b1.opb	OPT FOUND	7757	0.016996
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C17.opb	OPT FOUND	7750	0.016996
submitted/sorensson/garden/normalized-g4x4.opb	OPT FOUND	7767	0.016996
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein9.opb	OPT FOUND	8048	0.017997
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb	OPT FOUND	7608	0.019996
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-2.opb	OPT FOUND	7606	0.020996
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-3.opb	OPT FOUND	7613	0.021995
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb	OPT FOUND	7720	0.021996
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-2.opb	OPT FOUND	7609	0.022995
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-3.opb	OPT FOUND	7605	0.022996
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-4.opb	OPT FOUND	7615	0.024995
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-4.opb	OPT FOUND	7607	0.024995
submitted/sorensson/garden/normalized-g9x3.opb	OPT FOUND	7768	0.024995
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-3.opb	OPT FOUND	7717	0.025995
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-3.opb	OPT FOUND	7610	0.025996
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-2.opb	OPT FOUND	7576	0.026995
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb	OPT FOUND	7618	0.027994
submitted/manquinho/primes-dimacs-cnf/normalized-par8-2-c.opb	OPT FOUND	7702	0.027995
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-4.opb	OPT FOUND	7577	0.027995
submitted/een/normalized-pk1.opb	OPT FOUND	7791	0.028994
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-1.opb	OPT FOUND	7612	0.029994
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-2.opb	OPT FOUND	7617	0.029994
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb	OPT FOUND	7579	0.029994
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb	OPT FOUND	7581	0.029995
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-1.opb	OPT FOUND	7616	0.030994
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-4.opb	OPT FOUND	7619	0.030994
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb	OPT FOUND	7575	0.030995
submitted/manquinho/primes-dimacs-cnf/normalized-par8-4-c.opb	OPT FOUND	7706	0.030995
submitted/manquinho/primes-dimacs-cnf/normalized-par8-3-c.opb	OPT FOUND	7704	0.031994
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-2.opb	OPT FOUND	7611	0.033994
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.opb	OPT FOUND	7578	0.033994
submitted/manquinho/primes-dimacs-cnf/normalized-par8-1-c.opb	OPT FOUND	7701	0.034994
submitted/manquinho/primes-dimacs-cnf/normalized-par8-5-c.opb	OPT FOUND	7708	0.035994
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-1.opb	OPT FOUND	7582	0.037993
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb	OPT FOUND	7580	0.038993
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.opb	OPT FOUND	7584	0.039993
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein15.opb	OPT FOUND	8430	0.040993
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein15.opb	OPT FOUND	8046	0.044992
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-3.opb	OPT FOUND	7718	0.044992
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb	OPT FOUND	7586	0.045992
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb	OPT FOUND	7591	0.046992
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-2.opb	OPT FOUND	7590	0.047991
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.opb	OPT FOUND	7588	0.050991
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-4.opb	OPT FOUND	7585	0.050991
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-1.opb	OPT FOUND	7589	0.050992
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb	OPT FOUND	7592	0.051991
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb	OPT FOUND	7595	0.05399
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-2.opb	OPT FOUND	7587	0.054991
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb	OPT FOUND	7594	0.055991
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-2.opb	OPT FOUND	7583	0.05699
submitted/manquinho/routing/normalized-s3-3-3-3pb.opb	OPT FOUND	7746	0.063989
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb	OPT FOUND	7597	0.065989
submitted/een/normalized-p0033.opb	OPT FOUND	7778	0.070989
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-1.opb	OPT FOUND	7593	0.071988
submitted/manquinho/primes-dimacs-cnf/normalized-jnh12.opb	OPT FOUND	7670	0.074988
submitted/manquinho/routing/normalized-s3-3-3-1pb.opb	OPT FOUND	7733	0.080987
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-1.opb	OPT FOUND	7596	0.083986
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb	OPT FOUND	7598	0.083986
submitted/manquinho/routing/normalized-s3-3-3-2pb.opb	OPT FOUND	7734	0.083987
submitted/manquinho/routing/normalized-s3-3-3-4pb.opb	OPT FOUND	7735	0.085986
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb	OPT FOUND	7719	0.087986
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb	OPT FOUND	8054	0.088986
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0033.opb	OPT FOUND	8537	0.090985
submitted/manquinho/primes-dimacs-cnf/normalized-jnh213.opb	OPT FOUND	7728	0.091985
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0033.opb	OPT FOUND	8414	0.093985
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0033.opb	OPT FOUND	8152	0.095984
submitted/manquinho/primes-dimacs-cnf/normalized-jnh207.opb	OPT FOUND	7674	0.099984
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb	OPT FOUND	7603	0.102983
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-4.opb	OPT FOUND	7599	0.102984
submitted/manquinho/primes-dimacs-cnf/normalized-par8-5.opb	OPT FOUND	7710	0.103983
submitted/manquinho/primes-dimacs-cnf/normalized-jnh205.opb	OPT FOUND	7673	0.105983
submitted/manquinho/primes-dimacs-cnf/normalized-par8-1.opb	OPT FOUND	7731	0.108983
submitted/manquinho/primes-dimacs-cnf/normalized-jnh212.opb	OPT FOUND	7677	0.109982
submitted/manquinho/primes-dimacs-cnf/normalized-par8-3.opb	OPT FOUND	7705	0.112981
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-3.opb	OPT FOUND	7600	0.115981
submitted/manquinho/primes-dimacs-cnf/normalized-par8-2.opb	OPT FOUND	7703	0.115982
submitted/manquinho/primes-dimacs-cnf/normalized-par8-4.opb	OPT FOUND	7707	0.118981
submitted/manquinho/primes-dimacs-cnf/normalized-jnh301.opb	OPT FOUND	7682	0.120981
submitted/manquinho/primes-dimacs-cnf/normalized-jnh17.opb	OPT FOUND	7671	0.121981
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb	OPT FOUND	7601	0.154976
submitted/manquinho/primes-dimacs-cnf/normalized-jnh209.opb	OPT FOUND	7675	0.195969
submitted/manquinho/primes-dimacs-cnf/normalized-jnh220.opb	OPT FOUND	7680	0.200968
submitted/manquinho/primes-dimacs-cnf/normalized-jnh204.opb	OPT FOUND	7672	0.212967
submitted/manquinho/primes-dimacs-cnf/normalized-jnh7.opb	OPT FOUND	7683	0.218965
submitted/een/normalized-l152lav.opb	OPT FOUND	7787	0.245961
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bm23.opb	OPT FOUND	8393	0.287955
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb	OPT FOUND	8005	0.288955
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb	OPT FOUND	7602	0.292955
submitted/manquinho/primes-dimacs-cnf/normalized-jnh218.opb	OPT FOUND	7679	0.331949
submitted/manquinho/routing/normalized-s3-3-3-5pb.opb	OPT FOUND	7737	0.522919
submitted/manquinho/ttp/normalized-circ4_3.opb	OPT FOUND	7759	0.665897
submitted/manquinho/primes-dimacs-cnf/normalized-jnh1.opb	OPT FOUND	7669	0.733888
submitted/manquinho/ttp/normalized-data4_3.opb	OPT FOUND	7762	1.00685
submitted/een/normalized-mod008.opb	OPT FOUND	7782	1.07384
submitted/manquinho/primes-dimacs-cnf/normalized-jnh210.opb	OPT FOUND	7676	1.3198
submitted/manquinho/primes-dimacs-cnf/normalized-ii8a1.opb	OPT FOUND	7657	1.43078
submitted/sorensson/garden/normalized-g7x7.opb	OPT FOUND	7773	1.46378
submitted/manquinho/routing/normalized-s4-4-3-10pb.opb	OPT FOUND	7739	2.29465
submitted/manquinho/primes-dimacs-cnf/normalized-par16-4-c.opb	OPT FOUND	7690	2.92655
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos18.opb	OPT FOUND	8226	3.09853
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos18.opb	OPT FOUND	8611	3.12352
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-stein27.opb	OPT FOUND	8168	3.18851
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein27.opb	OPT FOUND	8047	3.20451
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein27.opb	OPT FOUND	8431	3.21651
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-stein27.opb	OPT FOUND	8553	3.23451
submitted/manquinho/primes-dimacs-cnf/normalized-par16-1-c.opb	OPT FOUND	7684	3.3035
submitted/een/normalized-stein27.opb	OPT FOUND	7784	4.32734
submitted/manquinho/primes-dimacs-cnf/normalized-hanoi4.opb	OPT FOUND	7626	7.10692
submitted/manquinho/primes-dimacs-cnf/normalized-par16-4.opb	OPT FOUND	7691	7.34488
submitted/manquinho/primes-dimacs-cnf/normalized-par16-5-c.opb	OPT FOUND	7692	8.19175
submitted/manquinho/primes-dimacs-cnf/normalized-par16-2-c.opb	OPT FOUND	7685	10.6104
submitted/manquinho/primes-dimacs-cnf/normalized-jnh217.opb	OPT FOUND	7678	10.9153
submitted/manquinho/primes-dimacs-cnf/normalized-par16-5.opb	OPT FOUND	7693	14.1079
submitted/manquinho/primes-dimacs-cnf/normalized-par16-3.opb	OPT FOUND	7689	16.4225
submitted/manquinho/routing/normalized-s4-4-3-7pb.opb	OPT FOUND	7749	16.5375
submitted/manquinho/primes-dimacs-cnf/normalized-par16-3-c.opb	OPT FOUND	7687	17.8423
submitted/manquinho/primes-dimacs-cnf/normalized-ii16e2.opb	OPT FOUND	7648	18.4432
submitted/manquinho/routing/normalized-s4-4-3-9pb.opb	OPT FOUND	7748	19.651
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos8.opb	OPT FOUND	8625	37.6153
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos8.opb	OPT FOUND	8237	37.6333
submitted/manquinho/routing/normalized-s4-4-3-8pb.opb	OPT FOUND	7747	40.2009
submitted/manquinho/primes-dimacs-cnf/normalized-par16-1.opb	OPT FOUND	7688	45.0182
submitted/manquinho/primes-dimacs-cnf/normalized-ii32a1.opb	OPT FOUND	7725	45.6421
submitted/manquinho/routing/normalized-s4-4-3-6pb.opb	OPT FOUND	7743	47.9037
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0040.opb	OPT FOUND	8416	53.2999
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb	OPT FOUND	8037	53.9088
submitted/manquinho/primes-dimacs-cnf/normalized-ii32b4.opb	OPT FOUND	7650	61.9036
submitted/manquinho/primes-dimacs-cnf/normalized-par16-2.opb	OPT FOUND	7729	62.0786
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos10.opb	OPT FOUND	8229	69.7654
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos10.opb	OPT FOUND	8605	70.2983
submitted/manquinho/logic-synthesis/normalized-9sym.b.opb	OPT FOUND	7614	79.7489
submitted/manquinho/routing/normalized-s4-4-3-3pb.opb	OPT FOUND	7740	116.133
submitted/manquinho/routing/normalized-s4-4-3-2pb.opb	OPT FOUND	7741	120.759
submitted/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb	OPT FOUND	7627	128.033
submitted/manquinho/routing/normalized-s4-4-3-4pb.opb	OPT FOUND	7752	171.787
submitted/manquinho/primes-dimacs-cnf/normalized-ii32c4.opb	OPT FOUND	7658	188.49
submitted/manquinho/routing/normalized-s4-4-3-5pb.opb	OPT FOUND	7754	188.61
submitted/manquinho/logic-synthesis/normalized-clip.b.opb	OPT FOUND	7623	205.749
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-net12.opb	OPT FOUND	8478	208.138
submitted/manquinho/logic-synthesis/normalized-f51m.b.opb	OPT FOUND	7624	244.881
submitted/manquinho/primes-dimacs-cnf/normalized-jnh201.opb	OPT FOUND	7730	245.336
submitted/manquinho/primes-dimacs-cnf/normalized-ii16d2.opb	OPT FOUND	7656	248.978
submitted/manquinho/primes-dimacs-cnf/normalized-ii32b2.opb	OPT FOUND	7660	259.103
submitted/manquinho/primes-dimacs-cnf/normalized-ii16c2.opb	OPT FOUND	7638	277.25
submitted/manquinho/routing/normalized-s4-4-3-1pb.opb	OPT FOUND	7753	316.919
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-net12.opb	OPT FOUND	8094	351.475
submitted/manquinho/logic-synthesis/normalized-count.b.opb	OPT FOUND	7625	383.427
submitted/sorensson/garden/normalized-g9x9.opb	OPT FOUND	7790	487.975
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-stein45.opb	OPT FOUND	8590	541.212
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb	OPT FOUND	8086	542.028
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-stein45.opb	OPT FOUND	8228	543.838
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein45.opb	OPT FOUND	8469	545.387
submitted/een/normalized-stein45.opb	OPT FOUND	7826	549.149
submitted/manquinho/primes-dimacs-cnf/normalized-ii32e3.opb	OPT FOUND	7665	677.944
submitted/manquinho/primes-dimacs-cnf/normalized-ii32b3.opb	OPT FOUND	7666	785.538
submitted/manquinho/primes-dimacs-cnf/normalized-ii32e4.opb	OPT FOUND	7686	852.089
submitted/manquinho/logic-synthesis/normalized-5xp1.b.opb	OPT FOUND	7636	990.124

Benchmark Name	Answer	Traceid	CPU time
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb	SAT	7836	1189
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-c8.opb	SAT	7805	1189
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-my_adder.opb	SAT	7813	1189.01
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cmb.opb	SAT	7814	1189.01
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb	SAT	7820	1189.01
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-mux.opb	SAT	7811	1189.01
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb	SAT	7797	1189.01
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb	SAT	7792	1189.01
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb	SAT	8421	1189.01
submitted/manquinho/primes-dimacs-cnf/normalized-ii8a3.opb	SAT	7780	1189.01
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb	SAT	8438	1189.01
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod008.opb	SAT	8466	1189.01
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod008.opb	SAT	8419	1189.01
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0201.opb	SAT	8315	1189.01
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.5:100.opb	SAT	8028	1189.01
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb	SAT	8042	1189.01
web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb	SAT	8033	1189.01
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb	SAT	8095	1189.01
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb	SAT	8101	1189.01
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb	SAT	8149	1189.01
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb	SAT	8175	1189.01
submitted/een/normalized-p0201.opb	SAT	7848	1189.01
submitted/een/normalized-lseu.opb	SAT	7847	1189.01
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-lseu.opb	SAT	8336	1189.01
submitted/manquinho/ttp/normalized-circ6_3.opb	SAT	7833	1189.01
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sentoy.opb	SAT	8484	1189.01
submitted/manquinho/primes-dimacs-cnf/normalized-ii32c3.opb	SAT	7698	1189.01
submitted/manquinho/primes-dimacs-cnf/normalized-ii32c1.opb	SAT	7696	1189.01
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0201.opb	SAT	8593	1189.01
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod008.opb	SAT	8615	1189.01
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb	SAT	8108	1189.01
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-lseu.opb	SAT	8583	1189.01
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lseu.opb	SAT	8494	1189.01
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos16.opb	SAT	8692	1189.01
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos5.opb	SAT	8698	1189.01
submitted/manquinho/primes-dimacs-cnf/normalized-ii8b1.opb	SAT	7724	1189.01
submitted/manquinho/logic-synthesis/normalized-bench1.pi.opb	SAT	7647	1189.02
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p2756.opb	SAT	8113	1189.02
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos1.opb	SAT	8694	1189.02
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb	SAT	8091	1189.02
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb	SAT	8059	1189.02
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb	SAT	8032	1189.02
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-cracpb1.opb	SAT	8079	1189.02
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm1.opb	SAT	8614	1189.02
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p2756.opb	SAT	8477	1189.02
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0201.opb	SAT	8474	1189.02
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb	SAT	8424	1189.02
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-vpm1.opb	SAT	8479	1189.02
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-protfold.opb	SAT	8539	1189.02
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-seymour.opb	SAT	8543	1189.02
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-vpm2.opb	SAT	8556	1189.02
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-10teams.opb	SAT	8411	1189.02
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb	SAT	8227	1189.02
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb	SAT	8173	1189.02
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-cracpb1.opb	SAT	8483	1189.02
submitted/manquinho/logic-synthesis/normalized-jac3.opb	SAT	7645	1189.02
submitted/manquinho/logic-synthesis/normalized-sao2.b.opb	SAT	7644	1189.02
submitted/manquinho/ttp/normalized-data6_3.opb	SAT	7830	1189.02
submitted/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb	SAT	7722	1189.02
submitted/manquinho/logic-synthesis/normalized-alu4.b.opb	SAT	7641	1189.02
submitted/manquinho/logic-synthesis/normalized-prom2.pi.opb	SAT	7643	1189.02
submitted/sorensson/garden/normalized-g15x15.opb	SAT	7831	1189.02
submitted/manquinho/primes-dimacs-cnf/normalized-ii8a4.opb	SAT	7723	1189.02
submitted/manquinho/logic-synthesis/normalized-rot.b.opb	SAT	7681	1189.02
submitted/manquinho/primes-dimacs-cnf/normalized-ii32e2.opb	SAT	7713	1189.02
submitted/een/normalized-p2756.opb	SAT	7846	1189.02
submitted/manquinho/logic-synthesis/normalized-e64.b.opb	SAT	7640	1189.02
submitted/manquinho/logic-synthesis/normalized-exam.pi.opb	SAT	7649	1189.02
submitted/manquinho/primes-dimacs-cnf/normalized-ii8d2.opb	SAT	7745	1189.03
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb	SAT	8031	1189.03
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-p2756.opb	SAT	8532	1189.03
submitted/een/normalized-seymour.opb	SAT	7852	1189.03
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb	SAT	8190	1189.03
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb	SAT	8236	1189.03
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p2756.opb	SAT	8322	1189.03
submitted/manquinho/primes-dimacs-cnf/normalized-ii32b1.opb	SAT	7695	1189.03
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-opt1217.opb	SAT	8530	1189.03
submitted/manquinho/primes-dimacs-cnf/normalized-ii8b3.opb	SAT	7727	1189.03
submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-159.opb	SAT	7771	1189.03
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-seymour.opb	SAT	8604	1189.03
web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb	SAT	8025	1189.03
submitted/manquinho/logic-synthesis/normalized-test4.pi.opb	SAT	7646	1189.03
submitted/manquinho/logic-synthesis/normalized-ex5.pi.opb	SAT	7663	1189.03
submitted/manquinho/primes-dimacs-cnf/normalized-ii8d1.opb	SAT	7783	1189.03
web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb	SAT	8017	1189.03
submitted/manquinho/primes-dimacs-cnf/normalized-ii8e2.opb	SAT	7751	1189.03
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lp4l.opb	SAT	8454	1189.03
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-10teams.opb	SAT	8606	1189.03
submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-160.opb	SAT	7774	1189.04
submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-158.opb	SAT	7770	1189.04
submitted/manquinho/primes-dimacs-cnf/normalized-ii8e1.opb	SAT	7744	1189.04
submitted/manquinho/primes-dimacs-cnf/normalized-ii32d3.opb	SAT	7709	1189.04
submitted/manquinho/ttp/normalized-circ8_3.opb	SAT	7807	1189.04
submitted/manquinho/primes-dimacs-cnf/normalized-ii32e1.opb	SAT	7714	1189.04
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb	SAT	8172	1189.04
submitted/manquinho/primes-dimacs-cnf/normalized-ii8c2.opb	SAT	7742	1189.04
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p2756.opb	SAT	8599	1189.04
submitted/manquinho/primes-dimacs-cnf/normalized-ii8b4.opb	SAT	7736	1189.04
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv11.opb	SAT	8524	1189.05
submitted/manquinho/logic-synthesis/normalized-apex4.a.opb	SAT	7642	1189.05
submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-038.opb	SAT	7769	1189.05
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb	SAT	7868	1189.05
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb	SAT	7869	1189.05
submitted/manquinho/ttp/normalized-data8_3.opb	SAT	7827	1189.05
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow30a.opb	SAT	8488	1189.05
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb	SAT	8171	1189.05
submitted/manquinho/primes-dimacs-cnf/normalized-ii32d1.opb	SAT	7779	1189.06
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv42z.opb	SAT	8525	1189.06
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb	SAT	8058	1189.06
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb	SAT	7871	1189.06
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb	SAT	7873	1189.06
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb	SAT	7874	1189.07
submitted/manquinho/ttp/normalized-data10_3.opb	SAT	7808	1189.07
submitted/manquinho/primes-dimacs-cnf/normalized-ii16d1.opb	SAT	7694	1189.07
submitted/manquinho/primes-dimacs-cnf/normalized-ii8b2.opb	SAT	7726	1189.07
submitted/manquinho/primes-dimacs-cnf/normalized-ii16b2.opb	SAT	7667	1189.07
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb	SAT	7872	1189.07
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-seymour1.opb	SAT	8701	1189.07
submitted/manquinho/primes-dimacs-cnf/normalized-ii16e1.opb	SAT	7697	1189.07
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb	SAT	8041	1189.07
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:100.opb	SAT	8036	1189.08
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:98.opb	SAT	8050	1189.08
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb	SAT	7870	1189.08
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb	SAT	7900	1189.09
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb	SAT	7904	1189.09
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb	SAT	7876	1189.09
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb	SAT	7881	1189.09
submitted/manquinho/primes-dimacs-cnf/normalized-ii16c1.opb	SAT	7668	1189.09
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb	SAT	7879	1189.09
submitted/manquinho/primes-dimacs-cnf/normalized-ii8c1.opb	SAT	7738	1189.09
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb	SAT	7875	1189.1
submitted/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb	SAT	7699	1189.1
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-10teams.opb	SAT	8552	1189.11
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-seymour.opb	SAT	8401	1189.11
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb	SAT	7880	1189.11
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb	SAT	7877	1189.11
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb	SAT	7867	1189.11
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb	SAT	7978	1189.11
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb	SAT	7886	1189.11
submitted/manquinho/primes-dimacs-cnf/normalized-ii16a2.opb	SAT	7776	1189.11
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb	SAT	7898	1189.12
submitted/manquinho/primes-dimacs-cnf/normalized-ii32d2.opb	SAT	7700	1189.12
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb	SAT	8006	1189.12
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb	SAT	7885	1189.13
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb	SAT	7901	1189.13
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb	SAT	7935	1189.14
submitted/een/normalized-fast0507.opb	SAT	7843	1189.14
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb	SAT	7884	1189.16
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb	SAT	7887	1189.17
submitted/manquinho/primes-dimacs-cnf/normalized-ii16b1.opb	SAT	7664	1189.18
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fast0507.opb	SAT	8570	1189.18
submitted/sorensson/garden/normalized-g100x100.opb	SAT	7829	1189.18
web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb	SAT	8016	1189.19
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:98.opb	SAT	8056	1189.19
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:100.opb	SAT	8049	1189.19
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb	SAT	7882	1189.19
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb	SAT	7883	1189.19
submitted/manquinho/primes-dimacs-cnf/normalized-ii16a1.opb	SAT	7662	1189.19
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-fast0507.opb	SAT	8281	1189.19
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb	SAT	7878	1189.2
submitted/manquinho/ttp/normalized-circ10_3.opb	SAT	7806	1189.2
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb	SAT	7894	1189.22
submitted/manquinho/logic-synthesis/normalized-max1024.pi.opb	SAT	7639	1189.22
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb	SAT	7892	1189.22
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb	SAT	8166	1189.22
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb	SAT	8057	1189.22
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb	SAT	7888	1189.23
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb	SAT	7891	1189.23
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb	SAT	7903	1189.24
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb	SAT	7897	1189.28
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb	SAT	8302	1189.29
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb	SAT	7905	1189.29
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fast0507.opb	SAT	8508	1189.29
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mitre.opb	SAT	8586	1189.3
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb	SAT	7899	1189.32
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb	SAT	7902	1189.33
submitted/manquinho/primes-dimacs-cnf/normalized-ii32e5.opb	SAT	7715	1189.63
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb	SAT	7896	1189.72
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb	SAT	7911	1189.74
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb	SAT	7923	1189.86
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-manna81.opb	SAT	8169	1190.13
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-manna81.opb	SAT	8503	1192.71

Benchmark Name	Answer	Traceid	CPU time
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod010.opb	UNKNOWN	8473	1200.14
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod010.opb	UNKNOWN	8292	1200.15
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0548.opb	UNKNOWN	8320	1200.15
submitted/manquinho/primes-dimacs-cnf/normalized-f2000.opb	UNKNOWN	7652	1200.16
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod010.opb	UNKNOWN	8589	1200.17
submitted/een/normalized-p0548.opb	UNKNOWN	7850	1200.18
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-l152lav.opb	UNKNOWN	8457	1200.18
submitted/manquinho/primes-dimacs-cnf/normalized-f1000.opb	UNKNOWN	7651	1200.18
submitted/manquinho/primes-dimacs-cnf/normalized-par32-5.opb	UNKNOWN	7766	1200.18
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-l152lav.opb	UNKNOWN	8573	1200.19
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb	UNKNOWN	8097	1200.19
submitted/manquinho/primes-dimacs-cnf/normalized-par32-4-c.opb	UNKNOWN	7763	1200.19
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb	UNKNOWN	8090	1200.2
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-l152lav.opb	UNKNOWN	8283	1200.2
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0548.opb	UNKNOWN	8597	1200.21
submitted/manquinho/primes-dimacs-cnf/normalized-par32-2.opb	UNKNOWN	7758	1200.21
submitted/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb	UNKNOWN	7760	1200.22
submitted/manquinho/primes-dimacs-cnf/normalized-par32-1.opb	UNKNOWN	7756	1200.22
submitted/manquinho/primes-dimacs-cnf/normalized-par32-2-c.opb	UNKNOWN	7788	1200.22
submitted/manquinho/primes-dimacs-cnf/normalized-f600.opb	UNKNOWN	7653	1200.22
submitted/manquinho/primes-dimacs-cnf/normalized-par32-1-c.opb	UNKNOWN	7755	1200.23
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0548.opb	UNKNOWN	8475	1200.23
submitted/manquinho/primes-dimacs-cnf/normalized-par32-3.opb	UNKNOWN	7761	1200.23
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb	UNKNOWN	8111	1200.24
submitted/manquinho/primes-dimacs-cnf/normalized-par32-4.opb	UNKNOWN	7765	1200.26
submitted/manquinho/primes-dimacs-cnf/normalized-par32-5-c.opb	UNKNOWN	7764	1200.28
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos19.opb	UNKNOWN	8693	1201.67
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb	UNKNOWN	8422	1204.01
submitted/manquinho/primes-dimacs-cnf/normalized-g125.18.opb	UNKNOWN	7655	1209.45
submitted/manquinho/primes-dimacs-cnf/normalized-g250.29.opb	UNKNOWN	7661	1209.55
submitted/manquinho/primes-dimacs-cnf/normalized-g125.17.opb	UNKNOWN	7654	1209.69
submitted/manquinho/primes-dimacs-cnf/normalized-g250.15.opb	UNKNOWN	7659	1209.7
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow40b.opb	UNKNOWN	8491	1209.84

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	8671	0.011997
submitted/een/normalized-enigma.opb	OPT FOUND	7786	0.021996
mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-nazareth.opb	OPT FOUND	8674	0.035993
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0291.opb	OPT FOUND	8034	0.412936
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0291.opb	OPT FOUND	8418	0.414935
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc02.opb	OPT FOUND	8405	0.493924
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-flugpl.opb	OPT FOUND	8399	0.501922
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-flugpl.opb	OPT FOUND	8514	0.528918
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc01.opb	OPT FOUND	8404	0.680896
submitted/een/normalized-air05.opb	OPT FOUND	7789	1.36779
submitted/een/normalized-air04.opb	OPT FOUND	7785	1.9857
submitted/een/normalized-air03.opb	OPT FOUND	7775	2.32265
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc03.opb	OPT FOUND	8408	12.0632
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc03.opb	OPT FOUND	8528	12.1462
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50a.opb	OPT FOUND	8356	15.7106
submitted/een/normalized-nw04.opb	OPT FOUND	7781	19.3551
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc105.opb	OPT FOUND	8358	21.0838
submitted/een/normalized-p0282.opb	OPT FOUND	7777	24.5993
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc205.opb	OPT FOUND	8373	36.3305
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-enigma.opb	OPT FOUND	8406	37.2583
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-enigma.opb	OPT FOUND	8009	37.3223
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-enigma.opb	OPT FOUND	8562	37.3883
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-enigma.opb	OPT FOUND	8177	37.5023
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0282.opb	OPT FOUND	8540	50.1794
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0282.opb	OPT FOUND	8420	50.5803
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0282.opb	OPT FOUND	8157	50.5843
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0282.opb	OPT FOUND	8035	50.7373
mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-maros.opb	OPT FOUND	8676	62.4975
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bk4x3.opb	OPT FOUND	8577	86.0619
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-pipex.opb	OPT FOUND	8434	96.8013
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-pipex.opb	OPT FOUND	8051	97.2872
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air01.opb	OPT FOUND	8089	592.629
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air01.opb	OPT FOUND	8471	596.601
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-nug08.opb	OPT FOUND	8688	891.876

Benchmark Name	Answer	Traceid	CPU time
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare1_1.opb	SAT	8685	1189.01
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-markshare1.opb	SAT	8587	1189.01
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare2_1.opb	SAT	8686	1189.01
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x12.opb	SAT	8623	1189.01
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-markshare2.opb	SAT	8585	1189.01
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pk1.opb	SAT	8533	1189.01
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb	SAT	8242	1189.01
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50b.opb	SAT	8446	1189.01
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pk1.opb	SAT	8600	1189.01
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare1.opb	SAT	8522	1189.01
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare2.opb	SAT	8518	1189.01
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-misc07.opb	SAT	8512	1189.01
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm1.opb	SAT	8410	1189.01
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gt2.opb	SAT	8580	1189.01
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc07.opb	SAT	8463	1189.02
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm2.opb	SAT	8415	1189.02
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10c.opb	SAT	8626	1189.02
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08a.opb	SAT	8538	1189.02
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos20.opb	SAT	8695	1189.02
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb	SAT	8126	1189.02
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08a.opb	SAT	8602	1189.02
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb	SAT	8294	1189.02
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm2.opb	SAT	8612	1189.02
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10a.opb	SAT	8622	1189.02
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc05.opb	SAT	8462	1189.02
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x12.opb	SAT	8678	1189.02
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10b.opb	SAT	8624	1189.02
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc07.opb	SAT	8584	1189.03
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-liu.opb	SAT	8523	1189.03
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran17x17.opb	SAT	8640	1189.03
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x26.opb	SAT	8620	1189.04
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran14x18.opb	SAT	8633	1189.04
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-ran14x18_1.opb	SAT	8699	1189.04
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran16x16.opb	SAT	8637	1189.04
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x21.opb	SAT	8621	1189.05
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fixnet6.opb	SAT	8555	1189.05
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran8x32.opb	SAT	8659	1189.05
web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb	SAT	8018	1189.05
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air05.opb	SAT	8496	1189.06
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air06.opb	SAT	8455	1189.06
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb	SAT	8131	1189.06
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air05.opb	SAT	8143	1189.06
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-berlin_5_8_0.opb	SAT	8706	1189.07
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air05.opb	SAT	8067	1189.09
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air05.opb	SAT	8449	1189.09
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air05.opb	SAT	8557	1189.1
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-railway_8_1_0.opb	SAT	8711	1189.11
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-seymour1.opb	SAT	8435	1189.13
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos11.opb	SAT	8689	1189.15
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air05.opb	SAT	8246	1189.15
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-qap10.opb	SAT	8700	1189.17
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-t1717.opb	SAT	8551	1189.2
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mkc.opb	SAT	8588	1189.24
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air03.opb	SAT	8072	1189.25
submitted/een/normalized-cap6000.opb	SAT	7844	1189.25
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-cap6000.opb	SAT	8559	1189.25
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-cap6000.opb	SAT	8499	1189.26
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-cap6000.opb	SAT	8250	1189.27
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p6000.opb	SAT	8476	1189.28
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p6000.opb	SAT	8114	1189.28
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mkc.opb	SAT	8509	1189.32
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air02.opb	SAT	8480	1189.34
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-cap6000.opb	SAT	8154	1189.36
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air02.opb	SAT	8128	1189.47
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air06.opb	SAT	8075	1189.67
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nw04.opb	SAT	8531	1190.09
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air03.opb	SAT	8417	1190.49
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air03.opb	SAT	8558	1191.31
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-t1717.opb	SAT	8248	1191.77
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air03.opb	SAT	8451	1191.78
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit1d.opb	SAT	8442	1194.95
mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1d.opb	SAT	8062	1194.97
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-nw04.opb	SAT	8333	1204.44
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nw04.opb	SAT	8174	1204.97

Benchmark Name	Answer	Traceid	CPU time
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-egout.opb	UNKNOWN	8396	0.011997
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sample2.opb	UNKNOWN	8426	0.011997
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-egout.opb	UNKNOWN	8511	0.015997
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1al.opb	UNKNOWN	8427	0.023995
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1ch.opb	UNKNOWN	8428	0.024996
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-set1ch.opb	UNKNOWN	8550	0.025995
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1cl.opb	UNKNOWN	8429	0.026995
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-gr4x6.opb	UNKNOWN	8594	0.032994
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod013.opb	UNKNOWN	8439	0.075987
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bal8x12.opb	UNKNOWN	8592	0.112982
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fiber.opb	UNKNOWN	8452	0.126979
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fiber.opb	UNKNOWN	8513	0.134979
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap1.opb	UNKNOWN	8359	0.677896
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet3.opb	UNKNOWN	8397	0.78288
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet4.opb	UNKNOWN	8398	0.785879
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-nug08.opb	UNKNOWN	8238	2.37464
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap2.opb	UNKNOWN	8361	2.66659
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nsrand-ipx.opb	UNKNOWN	8498	3.3125
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap3.opb	UNKNOWN	8364	3.49747
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-mkc1.opb	UNKNOWN	8603	3.81042
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B2C1S1.opb	UNKNOWN	8636	3.89541
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B1C1S1.opb	UNKNOWN	8634	3.9314
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ar.opb	UNKNOWN	8661	3.9674
mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ar.opb	UNKNOWN	8274	3.9734
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-nsrand_ipx.opb	UNKNOWN	8657	4.86526
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp98ar.opb	UNKNOWN	8664	5.52616
mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ar.opb	UNKNOWN	8276	5.61815
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3702.opb	UNKNOWN	8567	6.15706
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370e.opb	UNKNOWN	8582	6.16006
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3705.opb	UNKNOWN	8571	6.16706
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370c.opb	UNKNOWN	8579	6.17206
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3701.opb	UNKNOWN	8566	6.17906
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3707.opb	UNKNOWN	8574	6.18206
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370b.opb	UNKNOWN	8578	6.18706
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370a.opb	UNKNOWN	8595	6.19006
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3709.opb	UNKNOWN	8576	6.19406
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3703.opb	UNKNOWN	8568	6.19506
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3700.opb	UNKNOWN	8565	6.19906
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3704.opb	UNKNOWN	8569	6.22805
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370d.opb	UNKNOWN	8581	6.23705
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3708.opb	UNKNOWN	8575	6.25305
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3706.opb	UNKNOWN	8572	6.26905
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-qap10.opb	UNKNOWN	8240	6.62299
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-d6cube.opb	UNKNOWN	8319	12.4191
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2d.opb	UNKNOWN	8341	18.9071
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-stp3d.opb	UNKNOWN	8486	21.5227
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-stp3d.opb	UNKNOWN	8102	21.5327
mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2d.opb	UNKNOWN	7941	26.247

Result page for solver Pueblo

Category "no optimization function" (SAT)

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

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

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

Category "optimization, small integers" (OPTSMALLINT)

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

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

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

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

Solver gave a wrong solution (1 runs) [Show/Hide]

Category "optimization, medium integers" (OPTMEDINT)

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

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

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

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

Category "optimization, big integers" (OPTBIGINT)

Benchmark Name	Answer	Traceid	CPU time
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air04.opb	UNKNOWN	8448	1200.06
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air04.opb	UNKNOWN	8065	1200.08
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air04.opb	UNKNOWN	8609	1200.09
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos6.opb	UNKNOWN	8704	1200.1
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet6.opb	UNKNOWN	8450	1200.1
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst1.opb	UNKNOWN	8702	1200.13
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air04.opb	UNKNOWN	8243	1200.14
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-tr12-30.opb	UNKNOWN	8708	1200.14
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-danoint.opb	UNKNOWN	8561	1200.14
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-usAbbrv.8.25_70.opb	UNKNOWN	8709	1200.14
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air04.opb	UNKNOWN	8138	1200.15
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air04.opb	UNKNOWN	8493	1200.15
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08aCUTS.opb	UNKNOWN	8535	1200.15
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fixnet6.opb	UNKNOWN	8564	1200.17
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08aCUTS.opb	UNKNOWN	8613	1200.18
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst2.opb	UNKNOWN	8679	1200.18
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rout.opb	UNKNOWN	8601	1200.18
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran6x43.opb	UNKNOWN	8646	1200.19
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-rout.opb	UNKNOWN	8541	1200.2
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran4x64.opb	UNKNOWN	8635	1200.2
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-tr12-30.opb	UNKNOWN	8549	1200.21
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-danoint.opb	UNKNOWN	8500	1200.21
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran13x13.opb	UNKNOWN	8631	1200.22
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-set1ch.opb	UNKNOWN	8542	1200.33
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos9.opb	UNKNOWN	8703	1200.39
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb	UNKNOWN	8432	1202.56
mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-CMS750_4.opb	UNKNOWN	8707	1205.54
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-nw04.opb	UNKNOWN	8591	1207.68
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_3.opb	UNKNOWN	8680	1208.5
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-dano3mip.opb	UNKNOWN	8563	1208.64
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_5.opb	UNKNOWN	8682	1208.64
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_4.opb	UNKNOWN	8681	1208.65
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-dano3mip.opb	UNKNOWN	8501	1208.92
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos12.opb	UNKNOWN	8691	1209.97
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow40b.opb	UNKNOWN	8140	1210.01