PB'05 competition: benchmarks results per solver

Benchmark Name	Answer	Traceid	CPU time
web/uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb	UNSAT	3525	0.147977
web/uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl.opb	UNSAT	3548	0.153976
web/uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl.opb	UNSAT	3507	0.165974
web/uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb	UNSAT	3519	0.32795
web/uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb	UNSAT	3513	0.392939
web/uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb	UNSAT	3528	0.402938
web/uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb	UNSAT	3510	0.464928
web/uclid_pb_benchmarks/normalized-cache.inv10.ucl.opb	UNSAT	3516	1.15082
web/uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb	UNSAT	3506	1.26381
web/uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb	UNSAT	3514	2.01869
web/uclid_pb_benchmarks/normalized-22s.smv.opb	UNSAT	3500	2.24566
web/uclid_pb_benchmarks/normalized-25s.smv.opb	UNSAT	3501	3.80142
web/uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb	UNSAT	3512	4.17936
web/uclid_pb_benchmarks/normalized-37s.smv.opb	UNSAT	3549	5.53716
web/uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb	UNSAT	3529	6.07008
web/uclid_pb_benchmarks/normalized-44s.smv.opb	UNSAT	3503	7.06592
web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb	UNSAT	3539	16.2885
web/uclid_pb_benchmarks/normalized-ooo.burch_dill.4.accl.ucl.opb	UNSAT	3532	16.5365
web/uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb	UNSAT	3550	16.8344
web/uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb	UNSAT	3540	16.9494
web/uclid_pb_benchmarks/normalized-dlx1c.ucl.opb	UNSAT	3530	17.0214
web/uclid_pb_benchmarks/normalized-46s.smv.opb	UNSAT	3508	17.4733
web/uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb	UNSAT	3547	17.4773
web/uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb	UNSAT	3526	18.8791
web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb	UNSAT	3541	19.3301
web/uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb	UNSAT	3531	19.723
web/uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb	UNSAT	3542	21.9337
web/uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb	UNSAT	3522	22.0576
web/uclid_pb_benchmarks/normalized-43s.smv.opb	UNSAT	3502	29.2885
web/uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb	UNSAT	3545	38.9081
web/uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb	UNSAT	3544	42.7985
web/uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb	UNSAT	3524	47.9397
web/uclid_pb_benchmarks/normalized-elf.rf10.ucl.opb	UNSAT	3534	68.5106
web/uclid_pb_benchmarks/normalized-ooo.burch_dill.2.accl.ucl.opb	UNSAT	3535	68.6456
web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb	UNSAT	3523	76.8163
web/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb	UNSAT	3551	148.053
web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb	UNSAT	3554	452.986
web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl.opb	UNSAT	3556	532.557

Benchmark Name	Answer	Traceid	CPU time
submitted/aloul/FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb	SAT	1171	1.76573
submitted/aloul/FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb	SAT	1174	1.85872
submitted/aloul/FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb	SAT	1176	1.9357
submitted/aloul/FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb	SAT	1172	2.00069
submitted/aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb	SAT	1205	2.47162
submitted/aloul/FPGA_SAT05/normalized-fpga11_11_sat_pb.cnf.cr.opb	SAT	1175	2.71659
submitted/aloul/FPGA_SAT05/normalized-fpga12_10_sat_pb.cnf.cr.opb	SAT	1177	2.76358
submitted/aloul/FPGA_SAT05/normalized-fpga13_13_sat_pb.cnf.cr.opb	SAT	1182	2.94455
submitted/aloul/FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb	SAT	1180	3.17652
submitted/aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb	SAT	1178	3.21451
submitted/aloul/FPGA_SAT05/normalized-fpga12_12_sat_pb.cnf.cr.opb	SAT	1179	3.2815
submitted/aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb	SAT	1183	3.57546
submitted/aloul/FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb	SAT	1181	3.67644
submitted/aloul/FPGA_SAT05/normalized-fpga15_14_sat_pb.cnf.cr.opb	SAT	1206	3.70844
submitted/aloul/FPGA_SAT05/normalized-fpga14_14_sat_pb.cnf.cr.opb	SAT	1185	3.73943
submitted/aloul/FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb	SAT	1184	3.9314
submitted/aloul/FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb	SAT	1187	4.00139
submitted/aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb	SAT	1186	4.05238
submitted/aloul/FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb	SAT	1189	7.18091
submitted/aloul/FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb	SAT	1190	33.134
submitted/aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb	SAT	1191	44.0723
submitted/aloul/FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb	SAT	1192	59.8769
web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb	SAT	3552	125.233
submitted/aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb	SAT	1194	128.007
submitted/aloul/FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb	SAT	1197	363.58
web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb	SAT	3607	365.616
web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb	SAT	3612	381.08
web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb	SAT	3616	382.675
web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb	SAT	3640	423.702

Benchmark Name	Answer	Traceid	CPU time
web/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.opb	UNKNOWN	3561	9.1976
web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb	UNKNOWN	3569	87.9096
web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb	UNKNOWN	3573	207.81
web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb	UNKNOWN	3564	304.49
web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl.opb	UNKNOWN	3567	355.317
web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb	UNKNOWN	3570	424.235
web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb	UNKNOWN	3563	634.226
submitted/aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb	UNKNOWN	1202	1200.42
submitted/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb	UNKNOWN	1208	1200.48
submitted/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb	UNKNOWN	1217	1200.52
submitted/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb	UNKNOWN	1211	1200.77
submitted/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb	UNKNOWN	1268	1200.85
submitted/aloul/FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb	UNKNOWN	1254	1200.91
submitted/aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb	UNKNOWN	1271	1201.13
submitted/aloul/FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb	UNKNOWN	1221	1201.34
submitted/aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb	UNKNOWN	1212	1201.37
submitted/aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb	UNKNOWN	1199	1201.78
submitted/aloul/FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb	UNKNOWN	1226	1201.81
submitted/aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb	UNKNOWN	1263	1202.07
submitted/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb	UNKNOWN	1215	1202.26
submitted/aloul/FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb	UNKNOWN	1222	1202.52
submitted/aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb	UNKNOWN	1266	1202.94
submitted/aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb	UNKNOWN	1204	1203.06
submitted/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb	UNKNOWN	1216	1204.24
submitted/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb	UNKNOWN	1200	1204.31
submitted/aloul/FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb	UNKNOWN	1255	1204.64
submitted/aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb	UNKNOWN	1207	1204.91
submitted/aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb	UNKNOWN	1201	1204.99
submitted/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb	UNKNOWN	1262	1205.89
submitted/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb	UNKNOWN	1213	1206.16
submitted/aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb	UNKNOWN	1219	1206.33
submitted/aloul/FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb	UNKNOWN	1220	1206.88
submitted/aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb	UNKNOWN	1209	1206.95
submitted/aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb	UNKNOWN	1259	1207.39
submitted/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb	UNKNOWN	1214	1207.45
submitted/aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb	UNKNOWN	1203	1207.45
submitted/aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb	UNKNOWN	1223	1207.91
web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb	UNKNOWN	3562	1209.7
web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb	UNKNOWN	3568	1210.14
web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb	UNKNOWN	3566	389.465
web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb	UNKNOWN	3565	492.395
submitted/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb	UNKNOWN	1218	1200.93
submitted/aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb	UNKNOWN	1196	1202.65
web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb	UNKNOWN	3829	1204.22
web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb	UNKNOWN	3827	1206.08
submitted/aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb	UNKNOWN	1198	1210.63

Benchmark Name	Answer	Traceid	CPU time
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-diamond.opb	UNSAT	4261	0.12198
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-diamond.opb	UNSAT	9157	0.12498
submitted/manquinho/primes-dimacs-cnf/normalized-ssa0432-003.opb	UNSAT	3439	0.229964
submitted/manquinho/primes-dimacs-cnf/normalized-bf2670-001.opb	UNSAT	3428	1.18182
submitted/manquinho/primes-dimacs-cnf/normalized-ssa6288-047.opb	UNSAT	3420	1.44678
submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-141.opb	UNSAT	3419	16.2915
submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-130.opb	UNSAT	3418	16.3135
submitted/manquinho/primes-dimacs-cnf/normalized-bf0432-007.opb	UNSAT	1817	16.3735
submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-638.opb	UNSAT	1818	16.4325
submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-075.opb	UNSAT	1816	16.5045

Benchmark Name	Answer	Traceid	CPU time
submitted/sorensson/garden/normalized-g2x2.opb	OPT FOUND	3479	0.181971
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-2.opb	OPT FOUND	1813	0.240962
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-4.opb	OPT FOUND	1815	0.244962
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb	OPT FOUND	1805	0.248961
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb	OPT FOUND	1814	0.250961
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-4.opb	OPT FOUND	1804	0.251961
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-4.opb	OPT FOUND	1810	0.25296
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-1.opb	OPT FOUND	1812	0.260959
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-1.opb	OPT FOUND	1800	0.263959
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-2.opb	OPT FOUND	1802	0.264958
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-1.opb	OPT FOUND	1808	0.269958
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-2.opb	OPT FOUND	1806	0.269958
submitted/manquinho/primes-dimacs-cnf/normalized-par8-4-c.opb	OPT FOUND	3414	0.278957
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-3.opb	OPT FOUND	1803	0.282956
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein9.opb	OPT FOUND	4258	0.282956
submitted/manquinho/primes-dimacs-cnf/normalized-par8-1-c.opb	OPT FOUND	1894	0.290954
submitted/manquinho/primes-dimacs-cnf/normalized-par8-5-c.opb	OPT FOUND	3416	0.298954
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein9.opb	OPT FOUND	9198	0.301954
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-2.opb	OPT FOUND	1809	0.310952
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-2.opb	OPT FOUND	1225	0.32595
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C17.opb	OPT FOUND	3456	0.334948
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-3.opb	OPT FOUND	3410	0.344947
submitted/manquinho/primes-dimacs-cnf/normalized-par8-2-c.opb	OPT FOUND	1895	0.348946
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb	OPT FOUND	1224	0.350946
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.opb	OPT FOUND	1238	0.352946
submitted/manquinho/primes-dimacs-cnf/normalized-par8-3-c.opb	OPT FOUND	3412	0.367943
submitted/sorensson/garden/normalized-g4x4.opb	OPT FOUND	3474	0.380941
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-2.opb	OPT FOUND	1232	0.38794
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-3.opb	OPT FOUND	3424	0.408937
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein15.opb	OPT FOUND	4254	0.433933
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb	OPT FOUND	1230	0.446932
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb	OPT FOUND	1236	0.458929
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-1.opb	OPT FOUND	1239	0.462929
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-3.opb	OPT FOUND	1811	0.465928
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein15.opb	OPT FOUND	9195	0.476926
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-b1.opb	OPT FOUND	3464	0.476927
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-4.opb	OPT FOUND	1227	0.488925
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-2.opb	OPT FOUND	1237	0.494923
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-3.opb	OPT FOUND	3425	0.498923
submitted/sorensson/garden/normalized-g9x3.opb	OPT FOUND	3476	0.560914
submitted/een/normalized-p0033.opb	OPT FOUND	3484	0.640902
submitted/manquinho/primes-dimacs-cnf/normalized-jnh12.opb	OPT FOUND	1863	0.6569
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0033.opb	OPT FOUND	9180	0.660898
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0033.opb	OPT FOUND	4902	0.667898
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb	OPT FOUND	4264	0.689895
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0033.opb	OPT FOUND	9302	0.71889
submitted/manquinho/primes-dimacs-cnf/normalized-par8-2.opb	OPT FOUND	3411	0.810876
submitted/manquinho/primes-dimacs-cnf/normalized-par8-1.opb	OPT FOUND	3438	0.815875
submitted/manquinho/primes-dimacs-cnf/normalized-par8-5.opb	OPT FOUND	3417	0.821874
submitted/manquinho/primes-dimacs-cnf/normalized-jnh207.opb	OPT FOUND	1868	0.830873
submitted/manquinho/primes-dimacs-cnf/normalized-par8-4.opb	OPT FOUND	3415	0.844871
submitted/manquinho/primes-dimacs-cnf/normalized-par8-3.opb	OPT FOUND	3413	0.863868
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb	OPT FOUND	1240	0.879865
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-4.opb	OPT FOUND	1235	1.06684
submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb	OPT FOUND	3427	1.06684
submitted/manquinho/primes-dimacs-cnf/normalized-jnh301.opb	OPT FOUND	1875	1.17382
submitted/manquinho/primes-dimacs-cnf/normalized-jnh205.opb	OPT FOUND	1867	1.41378
submitted/manquinho/routing/normalized-s3-3-3-2pb.opb	OPT FOUND	3442	1.51577
submitted/manquinho/routing/normalized-s3-3-3-3pb.opb	OPT FOUND	3453	1.70074
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.opb	OPT FOUND	1228	1.71874
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb	OPT FOUND	1229	1.75073
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb	OPT FOUND	1231	1.76273
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb	OPT FOUND	1242	1.87371
submitted/manquinho/routing/normalized-s3-3-3-1pb.opb	OPT FOUND	3441	1.9307
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-1.opb	OPT FOUND	1233	1.9337
submitted/een/normalized-mod008.opb	OPT FOUND	3489	1.9457
submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.opb	OPT FOUND	1234	2.03969
submitted/manquinho/primes-dimacs-cnf/normalized-jnh17.opb	OPT FOUND	1864	2.08868
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb	OPT FOUND	1246	2.08868
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-2.opb	OPT FOUND	1241	2.08868
submitted/manquinho/routing/normalized-s3-3-3-4pb.opb	OPT FOUND	3443	2.13468
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb	OPT FOUND	1797	2.20866
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb	OPT FOUND	1251	2.22466
submitted/manquinho/routing/normalized-s3-3-3-5pb.opb	OPT FOUND	3444	2.22866
submitted/manquinho/primes-dimacs-cnf/normalized-jnh213.opb	OPT FOUND	3435	2.23666
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb	OPT FOUND	1244	2.24766
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb	OPT FOUND	1245	2.27665
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb	OPT FOUND	1799	2.29265
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb	OPT FOUND	3426	2.29865
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-3.opb	OPT FOUND	1798	2.33864
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb	OPT FOUND	1248	2.38764
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-4.opb	OPT FOUND	1249	2.39264
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-1.opb	OPT FOUND	1243	2.44063
submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-1.opb	OPT FOUND	1247	2.44963
submitted/manquinho/primes-dimacs-cnf/normalized-jnh7.opb	OPT FOUND	1876	2.51262
submitted/manquinho/primes-dimacs-cnf/normalized-jnh209.opb	OPT FOUND	1869	2.73258
submitted/manquinho/ttp/normalized-data4_3.opb	OPT FOUND	3469	2.96555
submitted/manquinho/ttp/normalized-circ4_3.opb	OPT FOUND	3466	2.99554
submitted/manquinho/primes-dimacs-cnf/normalized-jnh212.opb	OPT FOUND	1871	3.33849
submitted/manquinho/primes-dimacs-cnf/normalized-jnh204.opb	OPT FOUND	1865	3.68544
submitted/manquinho/primes-dimacs-cnf/normalized-jnh218.opb	OPT FOUND	1873	4.14537
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb	OPT FOUND	4215	4.25035
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bm23.opb	OPT FOUND	9155	4.30335
submitted/manquinho/primes-dimacs-cnf/normalized-ii8a1.opb	OPT FOUND	1851	4.53031
submitted/manquinho/primes-dimacs-cnf/normalized-jnh220.opb	OPT FOUND	1874	4.72528
submitted/manquinho/primes-dimacs-cnf/normalized-jnh217.opb	OPT FOUND	1872	4.94825
submitted/manquinho/primes-dimacs-cnf/normalized-jnh1.opb	OPT FOUND	1862	5.00824
submitted/manquinho/primes-dimacs-cnf/normalized-jnh210.opb	OPT FOUND	1870	5.2332
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-stein27.opb	OPT FOUND	9318	5.40818
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein27.opb	OPT FOUND	9197	5.41018
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-stein27.opb	OPT FOUND	4916	5.52416
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein27.opb	OPT FOUND	4256	5.57815
submitted/een/normalized-stein27.opb	OPT FOUND	3491	6.83796
submitted/manquinho/routing/normalized-s4-4-3-10pb.opb	OPT FOUND	3445	7.43087
submitted/manquinho/primes-dimacs-cnf/normalized-par16-4-c.opb	OPT FOUND	1882	12.5201
submitted/manquinho/primes-dimacs-cnf/normalized-hanoi4.opb	OPT FOUND	1825	14.9497
submitted/manquinho/primes-dimacs-cnf/normalized-par16-3-c.opb	OPT FOUND	1880	15.6826
submitted/een/normalized-l152lav.opb	OPT FOUND	3494	17.6683
submitted/manquinho/primes-dimacs-cnf/normalized-par16-1.opb	OPT FOUND	1879	19.1771
submitted/manquinho/primes-dimacs-cnf/normalized-par16-1-c.opb	OPT FOUND	1878	20.5959
submitted/manquinho/primes-dimacs-cnf/normalized-par16-5-c.opb	OPT FOUND	1885	21.9047
submitted/manquinho/primes-dimacs-cnf/normalized-ii32b4.opb	OPT FOUND	1838	27.0139
submitted/manquinho/primes-dimacs-cnf/normalized-par16-4.opb	OPT FOUND	1886	40.4499
submitted/manquinho/primes-dimacs-cnf/normalized-ii32b2.opb	OPT FOUND	1837	45.4551
submitted/manquinho/primes-dimacs-cnf/normalized-par16-2-c.opb	OPT FOUND	1881	47.5728
submitted/manquinho/primes-dimacs-cnf/normalized-par16-3.opb	OPT FOUND	1884	61.5276
submitted/manquinho/routing/normalized-s4-4-3-9pb.opb	OPT FOUND	3461	72.22
submitted/manquinho/primes-dimacs-cnf/normalized-par16-2.opb	OPT FOUND	3440	76.3024
submitted/manquinho/primes-dimacs-cnf/normalized-par16-5.opb	OPT FOUND	1887	78.853
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-net12.opb	OPT FOUND	9241	173.966
submitted/manquinho/logic-synthesis/normalized-9sym.b.opb	OPT FOUND	1210	174.5
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0040.opb	OPT FOUND	9201	190.1
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb	OPT FOUND	4270	190.997
submitted/manquinho/routing/normalized-s4-4-3-7pb.opb	OPT FOUND	3463	203.846
submitted/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb	OPT FOUND	1831	251.837
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos8.opb	OPT FOUND	9032	314.251
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos8.opb	OPT FOUND	9400	315.303
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos10.opb	OPT FOUND	9373	334.388
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos10.opb	OPT FOUND	8992	336.2
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-net12.opb	OPT FOUND	4309	356.899
submitted/manquinho/routing/normalized-s4-4-3-3pb.opb	OPT FOUND	3477	773.405

Benchmark Name	Answer	Traceid	CPU time
submitted/een/normalized-pk1.opb	SAT	3498	0.963853
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb	SAT	4927	394.595
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mitre.opb	SAT	9326	396.625
submitted/een/normalized-mitre.opb	SAT	3505	438.891

Benchmark Name	Answer	Traceid	CPU time
submitted/sorensson/garden/normalized-g9x9.opb	UNKNOWN	3555	1200.21
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p2756.opb	UNKNOWN	9240	1200.22
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-vpm2.opb	UNKNOWN	9317	1200.22
submitted/sorensson/garden/normalized-g15x15.opb	UNKNOWN	3557	1200.28
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb	UNKNOWN	3735	1200.29
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb	UNKNOWN	3818	1200.34
submitted/manquinho/primes-dimacs-cnf/normalized-f600.opb	UNKNOWN	1861	1200.35
submitted/manquinho/routing/normalized-s4-4-3-4pb.opb	UNKNOWN	3487	1200.35
submitted/manquinho/logic-synthesis/normalized-max1024.pi.opb	UNKNOWN	1282	1200.37
submitted/manquinho/logic-synthesis/normalized-ex5.pi.opb	UNKNOWN	1272	1200.41
submitted/manquinho/logic-synthesis/normalized-jac3.opb	UNKNOWN	1280	1200.45
submitted/manquinho/logic-synthesis/normalized-sao2.b.opb	UNKNOWN	1292	1200.51
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-10teams.opb	UNKNOWN	9348	1200.51
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-lseu.opb	UNKNOWN	9336	1200.54
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-10teams.opb	UNKNOWN	9299	1200.63
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-mux.opb	UNKNOWN	3533	1200.7
submitted/manquinho/primes-dimacs-cnf/normalized-ii8c1.opb	UNKNOWN	1909	1200.81
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-stein45.opb	UNKNOWN	9351	1200.87
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb	UNKNOWN	3496	1200.89
submitted/manquinho/logic-synthesis/normalized-apex4.a.opb	UNKNOWN	1257	1201.03
submitted/manquinho/ttp/normalized-data8_3.opb	UNKNOWN	3521	1201.03
submitted/een/normalized-p2756.opb	UNKNOWN	3559	1201.08
submitted/een/normalized-stein45.opb	UNKNOWN	3571	1201.09
submitted/manquinho/logic-synthesis/normalized-rot.b.opb	UNKNOWN	1281	1201.17
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p2756.opb	UNKNOWN	9347	1201.33
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb	UNKNOWN	3592	1201.34
submitted/manquinho/primes-dimacs-cnf/normalized-g125.18.opb	UNKNOWN	1854	1201.35
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-lseu.opb	UNKNOWN	4932	1201.41
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb	UNKNOWN	4305	1201.52
submitted/manquinho/ttp/normalized-data6_3.opb	UNKNOWN	3515	1201.59
submitted/manquinho/primes-dimacs-cnf/normalized-ii32e5.opb	UNKNOWN	1901	1201.63
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb	UNKNOWN	4337	1201.63
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-p2756.opb	UNKNOWN	9292	1201.84
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb	UNKNOWN	9047	1201.91
submitted/manquinho/logic-synthesis/normalized-prom2.pi.opb	UNKNOWN	1284	1201.93
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-vpm1.opb	UNKNOWN	9259	1202.04
web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb	UNKNOWN	3821	1202.1
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.5:100.opb	UNKNOWN	3752	1202.11
submitted/manquinho/primes-dimacs-cnf/normalized-ii8b1.opb	UNKNOWN	1907	1202.12
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb	UNKNOWN	3594	1202.18
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p2756.opb	UNKNOWN	4947	1202.19
submitted/manquinho/logic-synthesis/normalized-e64.b.opb	UNKNOWN	1276	1202.19
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lseu.opb	UNKNOWN	9251	1202.21
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein45.opb	UNKNOWN	9238	1202.27
submitted/manquinho/primes-dimacs-cnf/normalized-par32-5-c.opb	UNKNOWN	2139	1202.28
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0548.opb	UNKNOWN	9349	1202.36
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb	UNKNOWN	3597	1202.4
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm1.opb	UNKNOWN	9363	1202.45
submitted/manquinho/primes-dimacs-cnf/normalized-ii16c1.opb	UNKNOWN	1857	1202.46
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb	UNKNOWN	3588	1202.48
submitted/manquinho/primes-dimacs-cnf/normalized-ii32e2.opb	UNKNOWN	1897	1202.5
submitted/manquinho/ttp/normalized-circ6_3.opb	UNKNOWN	3520	1202.57
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0548.opb	UNKNOWN	4950	1202.57
submitted/manquinho/logic-synthesis/normalized-5xp1.b.opb	UNKNOWN	1264	1202.62
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb	UNKNOWN	3517	1202.65
submitted/manquinho/primes-dimacs-cnf/normalized-ii32b1.opb	UNKNOWN	1888	1202.66
submitted/manquinho/primes-dimacs-cnf/normalized-ii32e1.opb	UNKNOWN	1899	1202.7
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lp4l.opb	UNKNOWN	9222	1202.83
submitted/manquinho/logic-synthesis/normalized-alu4.b.opb	UNKNOWN	1286	1202.85
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb	UNKNOWN	3537	1202.87
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p2756.opb	UNKNOWN	4316	1202.89
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb	UNKNOWN	3593	1202.93
submitted/manquinho/logic-synthesis/normalized-test4.pi.opb	UNKNOWN	1279	1202.96
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb	UNKNOWN	3582	1203.03
submitted/manquinho/routing/normalized-s4-4-3-8pb.opb	UNKNOWN	3490	1203.04
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb	UNKNOWN	9162	1203.06
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-l152lav.opb	UNKNOWN	4928	1203.06
submitted/manquinho/primes-dimacs-cnf/normalized-ii8b2.opb	UNKNOWN	1904	1203.06
submitted/manquinho/primes-dimacs-cnf/normalized-ii16d1.opb	UNKNOWN	1866	1203.09
submitted/manquinho/primes-dimacs-cnf/normalized-ii8d1.opb	UNKNOWN	3478	1203.1
submitted/manquinho/primes-dimacs-cnf/normalized-f1000.opb	UNKNOWN	1860	1203.12
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb	UNKNOWN	3778	1203.17
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb	UNKNOWN	3584	1203.19
submitted/een/normalized-lseu.opb	UNKNOWN	3558	1203.29
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-c8.opb	UNKNOWN	3538	1203.3
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-cracpb1.opb	UNKNOWN	9245	1203.46
submitted/manquinho/primes-dimacs-cnf/normalized-par32-4.opb	UNKNOWN	2079	1203.51
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-opt1217.opb	UNKNOWN	9288	1203.54
submitted/manquinho/primes-dimacs-cnf/normalized-ii32e4.opb	UNKNOWN	1900	1203.54
submitted/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb	UNKNOWN	1912	1203.55
submitted/manquinho/primes-dimacs-cnf/normalized-ii8e2.opb	UNKNOWN	1910	1203.65
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb	UNKNOWN	3577	1203.67
submitted/manquinho/logic-synthesis/normalized-count.b.opb	UNKNOWN	1274	1203.72
submitted/manquinho/primes-dimacs-cnf/normalized-ii32c4.opb	UNKNOWN	1890	1203.75
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-seymour.opb	UNKNOWN	4948	1203.78
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb	UNKNOWN	3832	1203.8
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-my_adder.opb	UNKNOWN	3536	1203.88
submitted/manquinho/primes-dimacs-cnf/normalized-ii8a4.opb	UNKNOWN	1905	1203.89
submitted/manquinho/primes-dimacs-cnf/normalized-par32-1-c.opb	UNKNOWN	1949	1203.91
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb	UNKNOWN	3583	1203.92
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-10teams.opb	UNKNOWN	4942	1203.93
submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-160.opb	UNKNOWN	3481	1203.95
submitted/manquinho/primes-dimacs-cnf/normalized-g125.17.opb	UNKNOWN	1855	1204.02
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb	UNKNOWN	3830	1204.05
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb	UNKNOWN	9069	1204.33
submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-159.opb	UNKNOWN	3473	1204.38
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb	UNKNOWN	4281	1204.43
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cmb.opb	UNKNOWN	3546	1204.52
submitted/manquinho/primes-dimacs-cnf/normalized-ii32d1.opb	UNKNOWN	3472	1204.57
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-l152lav.opb	UNKNOWN	9216	1204.7
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb	UNKNOWN	4317	1204.73
submitted/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb	UNKNOWN	1996	1204.76
submitted/sorensson/garden/normalized-g7x7.opb	UNKNOWN	3553	1204.81
submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-158.opb	UNKNOWN	3475	1204.82
submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb	UNKNOWN	3499	1204.89
submitted/een/normalized-seymour.opb	UNKNOWN	3572	1204.9
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb	UNKNOWN	3804	1204.98
submitted/manquinho/primes-dimacs-cnf/normalized-ii32c1.opb	UNKNOWN	1892	1204.99
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb	UNKNOWN	4338	1205.03
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:98.opb	UNKNOWN	3787	1205.04
submitted/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb	UNKNOWN	1891	1205.04
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-l152lav.opb	UNKNOWN	9333	1205.07
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod008.opb	UNKNOWN	4952	1205.09
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-seymour.opb	UNKNOWN	9352	1205.1
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-manna81.opb	UNKNOWN	9261	1205.14
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb	UNKNOWN	3579	1205.26
submitted/manquinho/primes-dimacs-cnf/normalized-par32-4-c.opb	UNKNOWN	2095	1205.29
submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-038.opb	UNKNOWN	3471	1205.35
submitted/sorensson/garden/normalized-g100x100.opb	UNKNOWN	3518	1205.42
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb	UNKNOWN	3586	1205.54
submitted/manquinho/routing/normalized-s4-4-3-1pb.opb	UNKNOWN	3486	1205.56
submitted/manquinho/primes-dimacs-cnf/normalized-g250.29.opb	UNKNOWN	1852	1205.56
submitted/een/normalized-p0548.opb	UNKNOWN	3574	1205.59
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb	UNKNOWN	4920	1205.6
web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb	UNKNOWN	3711	1205.64
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb	UNKNOWN	4282	1205.75
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb	UNKNOWN	4286	1205.8
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-fast0507.opb	UNKNOWN	4919	1205.8
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb	UNKNOWN	3585	1205.81
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb	UNKNOWN	4310	1205.81
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-cracpb1.opb	UNKNOWN	4291	1205.83
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos5.opb	UNKNOWN	9454	1205.89
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow30a.opb	UNKNOWN	9236	1205.93
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb	UNKNOWN	3576	1205.93
submitted/manquinho/primes-dimacs-cnf/normalized-ii16c2.opb	UNKNOWN	1856	1205.97
submitted/manquinho/logic-synthesis/normalized-f51m.b.opb	UNKNOWN	1278	1206.01
submitted/manquinho/primes-dimacs-cnf/normalized-ii16b1.opb	UNKNOWN	1849	1206.04
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb	UNKNOWN	4295	1206.09
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-seymour.opb	UNKNOWN	9303	1206.13
submitted/manquinho/primes-dimacs-cnf/normalized-ii16d2.opb	UNKNOWN	1877	1206.14
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:100.opb	UNKNOWN	3728	1206.17
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-manna81.opb	UNKNOWN	4321	1206.18
web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb	UNKNOWN	3817	1206.2
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod010.opb	UNKNOWN	9223	1206.21
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0548.opb	UNKNOWN	9242	1206.21
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos16.opb	UNKNOWN	9430	1206.28
submitted/manquinho/logic-synthesis/normalized-bench1.pi.opb	UNKNOWN	1256	1206.34
submitted/een/normalized-p0201.opb	UNKNOWN	3560	1206.35
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb	UNKNOWN	3591	1206.35
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0201.opb	UNKNOWN	9343	1206.39
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod010.opb	UNKNOWN	4936	1206.48
submitted/manquinho/primes-dimacs-cnf/normalized-par32-2-c.opb	UNKNOWN	3485	1206.52
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:98.opb	UNKNOWN	3791	1206.54
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb	UNKNOWN	3589	1206.55
submitted/manquinho/logic-synthesis/normalized-clip.b.opb	UNKNOWN	1277	1206.59
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb	UNKNOWN	3578	1206.59
submitted/manquinho/primes-dimacs-cnf/normalized-ii8d2.opb	UNKNOWN	1908	1206.68
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod008.opb	UNKNOWN	9353	1206.69
submitted/manquinho/primes-dimacs-cnf/normalized-ii8b3.opb	UNKNOWN	1903	1206.75
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-protfold.opb	UNKNOWN	9279	1206.87
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:100.opb	UNKNOWN	3710	1206.89
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb	UNKNOWN	3580	1207
submitted/manquinho/primes-dimacs-cnf/normalized-ii8b4.opb	UNKNOWN	1902	1207.05
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos1.opb	UNKNOWN	9435	1207.14
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sentoy.opb	UNKNOWN	9239	1207.22
web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb	UNKNOWN	3724	1207.26
submitted/manquinho/primes-dimacs-cnf/normalized-ii32c3.opb	UNKNOWN	1889	1207.3
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb	UNKNOWN	4329	1207.32
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb	UNKNOWN	3575	1207.34
submitted/manquinho/primes-dimacs-cnf/normalized-ii8a3.opb	UNKNOWN	3480	1207.41
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0201.opb	UNKNOWN	4941	1207.43
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow40b.opb	UNKNOWN	9237	1207.58
submitted/manquinho/primes-dimacs-cnf/normalized-ii8c2.opb	UNKNOWN	1906	1207.6
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0201.opb	UNKNOWN	9235	1207.76
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb	UNKNOWN	3590	1207.82
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod008.opb	UNKNOWN	9228	1207.83
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb	UNKNOWN	4328	1207.83
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb	UNKNOWN	3587	1207.92
submitted/manquinho/logic-synthesis/normalized-exam.pi.opb	UNKNOWN	1267	1207.96
submitted/manquinho/primes-dimacs-cnf/normalized-ii16b2.opb	UNKNOWN	1850	1208.02
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb	UNKNOWN	4312	1208.11
submitted/manquinho/primes-dimacs-cnf/normalized-ii16a1.opb	UNKNOWN	1853	1208.25
submitted/manquinho/primes-dimacs-cnf/normalized-ii32e3.opb	UNKNOWN	1898	1208.27
submitted/manquinho/primes-dimacs-cnf/normalized-ii16e1.opb	UNKNOWN	1883	1208.39
submitted/manquinho/primes-dimacs-cnf/normalized-ii16a2.opb	UNKNOWN	3468	1208.44
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb	UNKNOWN	3581	1208.79
submitted/manquinho/ttp/normalized-circ8_3.opb	UNKNOWN	3511	1208.83
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb	UNKNOWN	4294	1208.83
submitted/manquinho/primes-dimacs-cnf/normalized-ii32d2.opb	UNKNOWN	1896	1208.94
submitted/manquinho/primes-dimacs-cnf/normalized-ii8e1.opb	UNKNOWN	1911	1208.98
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod010.opb	UNKNOWN	9335	1209.12
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb	UNKNOWN	9044	1210.76
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos19.opb	UNKNOWN	9420	1210.88
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb	UNKNOWN	4325	312.894
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv42z.opb	UNKNOWN	9273	105.908
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv11.opb	UNKNOWN	9266	253.285
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb	UNKNOWN	4324	365.041
submitted/manquinho/primes-dimacs-cnf/normalized-par32-5.opb	UNKNOWN	2085	842.785
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-seymour1.opb	UNKNOWN	9431	877.562
submitted/manquinho/primes-dimacs-cnf/normalized-par32-3.opb	UNKNOWN	2024	879.911
submitted/manquinho/primes-dimacs-cnf/normalized-par32-1.opb	UNKNOWN	1931	891.226
submitted/manquinho/primes-dimacs-cnf/normalized-par32-2.opb	UNKNOWN	1940	902.794
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb	UNKNOWN	3603	1200.74
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb	UNKNOWN	3602	1200.77
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb	UNKNOWN	3613	1201.21
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb	UNKNOWN	3600	1201.91
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb	UNKNOWN	3598	1202.35
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb	UNKNOWN	3606	1202.59
submitted/manquinho/ttp/normalized-circ10_3.opb	UNKNOWN	3495	1202.98
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb	UNKNOWN	3605	1203.42
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb	UNKNOWN	3630	1204.71
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb	UNKNOWN	4306	1204.78
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb	UNKNOWN	3596	1204.78
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb	UNKNOWN	3595	1205.07
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb	UNKNOWN	3632	1205.11
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fast0507.opb	UNKNOWN	9249	1205.34
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb	UNKNOWN	3643	1205.54
submitted/manquinho/primes-dimacs-cnf/normalized-ii32d3.opb	UNKNOWN	1893	1205.54
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fast0507.opb	UNKNOWN	9327	1205.78
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb	UNKNOWN	3599	1206.14
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb	UNKNOWN	3661	1206.21
submitted/manquinho/primes-dimacs-cnf/normalized-f2000.opb	UNKNOWN	1859	1206.49
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb	UNKNOWN	3652	1207.2
submitted/een/normalized-fast0507.opb	UNKNOWN	3527	1207.65
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb	UNKNOWN	3604	1207.93
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb	UNKNOWN	3608	1208.09
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb	UNKNOWN	3610	1208.65
web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb	UNKNOWN	3601	1209.25
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-stein45.opb	UNKNOWN	4946	1209.3
submitted/manquinho/ttp/normalized-data10_3.opb	UNKNOWN	3504	1209.39
submitted/manquinho/primes-dimacs-cnf/normalized-g250.15.opb	UNKNOWN	1848	1210.7

Benchmark Name	Answer	Traceid	CPU time
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos18.opb	OPT FOUND	9376	15.3187
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos18.opb	OPT FOUND	8991	15.4317
web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb	OPT FOUND	3712	943.861

Benchmark Name	Answer	Traceid	CPU time
submitted/manquinho/routing/normalized-s4-4-3-6pb.opb	UNSAT	3465	331.533
submitted/manquinho/primes-dimacs-cnf/normalized-ii32b3.opb	UNSAT	1847	581.297
submitted/manquinho/routing/normalized-s4-4-3-2pb.opb	UNSAT	3470	642.778
submitted/manquinho/primes-dimacs-cnf/normalized-jnh201.opb	UNSAT	3467	674.058
submitted/manquinho/primes-dimacs-cnf/normalized-ii32a1.opb	UNSAT	3462	835.244
submitted/manquinho/primes-dimacs-cnf/normalized-ii16e2.opb	UNSAT	1858	908.331
submitted/manquinho/routing/normalized-s4-4-3-5pb.opb	UNSAT	3488	1151.85

Result page for solver vallst_0.9.258

Category "no optimization function" (SAT)

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

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

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

Category "optimization, small integers" (OPTSMALLINT)

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

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

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

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

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

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

Category "optimization, medium integers" (OPTMEDINT)

Category "optimization, big integers" (OPTBIGINT)