PB'05 competition: benchmarks results per solver

Benchmark Name	Answer	Traceid	CPU time
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb	OPT FOUND	4172	5.8971
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb	OPT FOUND	4171	5.96709
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga12_12_sat_pb.cnf.cr.opb	OPT FOUND	4195	7.82081
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb	OPT FOUND	4165	9.25359
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb	OPT FOUND	4189	9.98548
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb	OPT FOUND	4166	10.0205
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_11_sat_pb.cnf.cr.opb	OPT FOUND	4197	10.7764
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga13_13_sat_pb.cnf.cr.opb	OPT FOUND	4180	11.6962
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga14_14_sat_pb.cnf.cr.opb	OPT FOUND	4183	12.5511
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb	OPT FOUND	4175	13.8459
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb	OPT FOUND	4181	16.7105
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb	OPT FOUND	4194	25.7821
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb	OPT FOUND	4193	35.0467
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb	OPT FOUND	4199	732.961
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb	OPT FOUND	4200	736.393
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb	OPT FOUND	4201	895.798
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb	OPT FOUND	4202	938.693

Benchmark Name	Answer	Traceid	CPU time
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl.opb	UNSAT	4411	1.61475
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb	UNSAT	4427	1.63075
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb	UNSAT	4177	2.29865
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl.opb	UNSAT	4410	2.73258
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb	UNSAT	4188	3.41848
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb	UNSAT	4187	4.40333
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb	UNSAT	4174	4.50531
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb	UNSAT	4186	4.54731
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb	UNSAT	4168	4.84526
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb	UNSAT	4185	8.12776
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb	UNSAT	4415	9.59054
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb	UNSAT	4422	9.74852
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb	UNSAT	4191	10.5634
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb	UNSAT	4182	11.7142
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb	UNSAT	4190	14.6548
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb	UNSAT	4173	15.5316
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb	UNSAT	4178	16.5915
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb	UNSAT	4179	16.8614
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb	UNSAT	4428	17.5503
normalized-opb/web/uclid_pb_benchmarks/normalized-37s.smv.opb	UNSAT	4406	17.6553
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb	UNSAT	4167	18.1022
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb	UNSAT	4176	22.0107
normalized-opb/web/uclid_pb_benchmarks/normalized-25s.smv.opb	UNSAT	4405	22.3206
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb	UNSAT	4169	26.487
normalized-opb/web/uclid_pb_benchmarks/normalized-44s.smv.opb	UNSAT	4413	29.6695
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb	UNSAT	4170	30.1664
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb	UNSAT	4192	30.5444
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb	UNSAT	4444	30.8213
normalized-opb/web/uclid_pb_benchmarks/normalized-46s.smv.opb	UNSAT	4416	37.2293
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb	UNSAT	4184	38.2642
normalized-opb/web/uclid_pb_benchmarks/normalized-22s.smv.opb	UNSAT	4403	43.4924
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb	UNSAT	4198	49.5535
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb	UNSAT	4196	52.552
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.4.accl.ucl.opb	UNSAT	4433	58.0042
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv10.ucl.opb	UNSAT	4420	60.3018
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb	UNSAT	4430	91.0772
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb	UNSAT	4450	134.021
normalized-opb/web/uclid_pb_benchmarks/normalized-dlx1c.ucl.opb	UNSAT	4426	162.688
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb	UNSAT	4423	177.961
normalized-opb/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb	UNSAT	4435	559.839
normalized-opb/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb	UNSAT	4438	669.506
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb	UNSAT	4466	775.515
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb	UNSAT	4468	939.927
normalized-opb/web/uclid_pb_benchmarks/normalized-43s.smv.opb	UNSAT	4439	979.338

Benchmark Name	Answer	Traceid	CPU time
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb	UNKNOWN	4409	2.00069
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb	UNKNOWN	4412	7.12292
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb	UNKNOWN	4414	10.6894

Benchmark Name	Answer	Traceid	CPU time
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb	UNKNOWN	4474	1218.3
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.2.accl.ucl.opb	UNKNOWN	4463	1227.02
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl.opb	UNKNOWN	4464	1227.72
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb	UNKNOWN	4475	1227.98
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb	UNKNOWN	4207	1236.55
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga12_10_sat_pb.cnf.cr.opb	UNKNOWN	4204	1236.7
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb	UNKNOWN	4461	1238.39
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl.opb	UNKNOWN	4467	1238.72
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb	UNKNOWN	4476	1238.84
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb	UNKNOWN	4205	1240.96
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb	UNKNOWN	4208	1245.93
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb	UNKNOWN	4206	1246.26
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb	UNKNOWN	4214	1247.45
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb	UNKNOWN	4221	1247.62
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb	UNKNOWN	4213	1247.73
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb	UNKNOWN	4218	1248.27
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb	UNKNOWN	4465	1248.28
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb	UNKNOWN	4458	1248.54
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb	UNKNOWN	4472	1251.15
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga15_14_sat_pb.cnf.cr.opb	UNKNOWN	4209	1251.15
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb	UNKNOWN	4211	1255.61
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb	UNKNOWN	4210	1257.02
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb	UNKNOWN	4453	1260.81
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb	UNKNOWN	4203	1267.16
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb	UNKNOWN	4220	1271.55
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb	UNKNOWN	4223	1272.32
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb	UNKNOWN	4529	1273.23
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb	UNKNOWN	4216	1274.29
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb	UNKNOWN	4527	1276.29
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb	UNKNOWN	4526	1276.55
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb	UNKNOWN	4525	1276.91
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb	UNKNOWN	4249	1278.09
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb	UNKNOWN	4219	1283.81
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb	UNKNOWN	4477	1285.19
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb	UNKNOWN	4524	1286.85
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb	UNKNOWN	4243	1292.7
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb	UNKNOWN	4523	1301.6
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb	UNKNOWN	4469	1322.08
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb	UNKNOWN	4470	1333.25
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf10.ucl.opb	UNKNOWN	4462	1338.44
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb	UNKNOWN	4455	1339.48
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb	UNKNOWN	4457	1339.48
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb	UNKNOWN	4459	1339.53
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb	UNKNOWN	4471	1339.72
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb	UNKNOWN	4456	1341.32
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb	UNKNOWN	4460	1343.3
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.opb	UNKNOWN	4454	1343.38
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb	UNKNOWN	4473	1343.54

Benchmark Name	Answer	Traceid	CPU time
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb	OPT FOUND	4400	26.057

Benchmark Name	Answer	Traceid	CPU time
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein9.opb	OPT FOUND	15449	1.18682
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein9.opb	OPT FOUND	21861	1.18882
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C17.opb	OPT FOUND	4382	1.21481
normalized-opb/submitted/sorensson/garden/normalized-g2x2.opb	OPT FOUND	6414	1.23481
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-b1.opb	OPT FOUND	4384	1.3148
normalized-opb/submitted/sorensson/garden/normalized-g4x4.opb	OPT FOUND	6428	1.3308
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-2.opb	OPT FOUND	4262	1.38479
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-1.opb	OPT FOUND	4250	1.62275
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb	OPT FOUND	4263	1.85172
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-4.opb	OPT FOUND	4224	2.03969
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-2.opb	OPT FOUND	4268	2.08968
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb	OPT FOUND	4258	2.24466
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-3.opb	OPT FOUND	4222	2.31965
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-3.opb	OPT FOUND	4267	2.40263
normalized-opb/submitted/een/normalized-pk1.opb	OPT FOUND	7010	2.82157
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-3.opb	OPT FOUND	4251	2.83257
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-3.opb	OPT FOUND	4265	3.00854
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-1.opb	OPT FOUND	4229	3.06253
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-2.opb	OPT FOUND	4252	3.15452
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein15.opb	OPT FOUND	16797	3.23551
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-5-c.opb	OPT FOUND	4362	3.2995
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb	OPT FOUND	4226	3.40948
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-2.opb	OPT FOUND	4217	3.64845
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb	OPT FOUND	4215	3.78642
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-1.opb	OPT FOUND	4236	3.9454
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-1.opb	OPT FOUND	4269	4.02539
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb	OPT FOUND	4270	4.13037
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-4.opb	OPT FOUND	4260	4.33034
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb	OPT FOUND	4240	4.65229
normalized-opb/submitted/sorensson/garden/normalized-g9x3.opb	OPT FOUND	6442	4.66129
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-1.opb	OPT FOUND	4266	4.73828
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-4.opb	OPT FOUND	4273	4.74728
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-2-c.opb	OPT FOUND	4353	4.88426
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-3.opb	OPT FOUND	4237	4.99024
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein15.opb	OPT FOUND	15464	5.60315
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0033.opb	OPT FOUND	17964	6.11807
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb	OPT FOUND	4228	6.18506
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0033.opb	OPT FOUND	21072	6.22105
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-2.opb	OPT FOUND	4232	6.35703
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb	OPT FOUND	4241	6.47102
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-2.opb	OPT FOUND	4239	6.554
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-3-c.opb	OPT FOUND	4356	6.72498
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-5.opb	OPT FOUND	4363	6.95194
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.opb	OPT FOUND	4225	7.02793
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-4-c.opb	OPT FOUND	4358	7.15991
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb	OPT FOUND	4245	7.1989
normalized-opb/submitted/een/normalized-l152lav.opb	OPT FOUND	7113	7.2119
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-4.opb	OPT FOUND	4271	7.71583
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-2.opb	OPT FOUND	4272	7.81981
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb	OPT FOUND	4248	8.44471
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb	OPT FOUND	4246	8.5257
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb	OPT FOUND	4256	8.97463
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-4.opb	OPT FOUND	4360	9.26959
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0040.opb	OPT FOUND	18973	9.29959
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb	OPT FOUND	4227	9.67753
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh12.opb	OPT FOUND	4313	9.76751
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.opb	OPT FOUND	4238	9.82251
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-3.opb	OPT FOUND	4359	9.8415
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-2.opb	OPT FOUND	4357	10.3264
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh213.opb	OPT FOUND	4322	10.6344
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-1-c.opb	OPT FOUND	4352	10.9183
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb	OPT FOUND	22015	11.2663
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh301.opb	OPT FOUND	4326	11.3143
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb	OPT FOUND	4253	11.3273
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb	OPT FOUND	4231	11.3463
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb	OPT FOUND	4257	11.3633
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.opb	OPT FOUND	4233	11.7142
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-1.opb	OPT FOUND	4247	11.9192
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh205.opb	OPT FOUND	4317	12.3321
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-3.opb	OPT FOUND	4259	13.093
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-4.opb	OPT FOUND	4235	13.194
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-4.opb	OPT FOUND	4255	13.224
normalized-opb/submitted/een/normalized-p0033.opb	OPT FOUND	6963	13.301
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-2.opb	OPT FOUND	4234	13.5489
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-1.opb	OPT FOUND	4354	14.3238
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh207.opb	OPT FOUND	4318	15.7076
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0033.opb	OPT FOUND	18984	16.3595
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-4pb.opb	OPT FOUND	4371	16.9034
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-1pb.opb	OPT FOUND	4366	17.4363
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh7.opb	OPT FOUND	4327	17.5513
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb	OPT FOUND	4254	17.6323
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-1.opb	OPT FOUND	4244	17.8573
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh17.opb	OPT FOUND	4314	19.1731
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh212.opb	OPT FOUND	4321	19.3121
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh204.opb	OPT FOUND	4316	20.8188
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb	OPT FOUND	22005	20.9908
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb	OPT FOUND	4264	22.7195
normalized-opb/submitted/manquinho/ttp/normalized-circ4_3.opb	OPT FOUND	4398	22.9915
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-2pb.opb	OPT FOUND	4369	24.2773
normalized-opb/submitted/een/normalized-mod008.opb	OPT FOUND	7034	24.5113
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-3pb.opb	OPT FOUND	4370	27.1239
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh209.opb	OPT FOUND	4319	27.1359
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh218.opb	OPT FOUND	4324	31.4302
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh220.opb	OPT FOUND	4325	33.2239
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-5pb.opb	OPT FOUND	4372	34.3688
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bm23.opb	OPT FOUND	19310	34.8857
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb	OPT FOUND	22453	42.5485
normalized-opb/submitted/manquinho/ttp/normalized-data4_3.opb	OPT FOUND	4401	58.4311
normalized-opb/submitted/sorensson/garden/normalized-g7x7.opb	OPT FOUND	6400	84.5481
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh1.opb	OPT FOUND	4315	201.323
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a1.opb	OPT FOUND	4311	278.034
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh210.opb	OPT FOUND	4328	301.196
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-4-c.opb	OPT FOUND	4375	339.343
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos18.opb	OPT FOUND	13492	373.253
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-hanoi4.opb	OPT FOUND	4281	376.936
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos18.opb	OPT FOUND	14604	383.36
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-10pb.opb	OPT FOUND	4377	393.222
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein27.opb	OPT FOUND	15475	430.514
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein27.opb	OPT FOUND	16854	431.568
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-stein27.opb	OPT FOUND	20992	437.471
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-stein27.opb	OPT FOUND	14934	442.639
normalized-opb/submitted/een/normalized-stein27.opb	OPT FOUND	7115	544.351
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-1-c.opb	OPT FOUND	4373	641.061
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb	OPT FOUND	4506	682.044
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-3-c.opb	OPT FOUND	4380	868.312
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-2-c.opb	OPT FOUND	4378	1040.1

Benchmark Name	Answer	Traceid	CPU time
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-diamond.opb	UNSAT	19194	1.24981
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-diamond.opb	UNSAT	16986	1.3178
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa0432-003.opb	UNSAT	4364	12.6051
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf2670-001.opb	UNSAT	4276	19.455
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-638.opb	UNSAT	4277	21.8357
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-075.opb	UNSAT	4278	26.439
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-130.opb	UNSAT	4365	28.0637
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-141.opb	UNSAT	4367	40.5388
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf0432-007.opb	UNSAT	4280	112.33
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa6288-047.opb	UNSAT	4374	164.355

Benchmark Name	Answer	Traceid	CPU time
normalized-opb/submitted/een/normalized-enigma.opb	OPT FOUND	7087	1.39679
normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-testprob.opb	OPT FOUND	14066	1.67774
normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-nazareth.opb	OPT FOUND	14074	2.34464
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-pipex.opb	OPT FOUND	18911	21.2128
normalized-opb/submitted/een/normalized-air05.opb	OPT FOUND	6901	23.4214
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc02.opb	OPT FOUND	15592	31.6212
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc01.opb	OPT FOUND	15597	32.598
normalized-opb/submitted/een/normalized-air04.opb	OPT FOUND	7075	34.9847
normalized-opb/submitted/een/normalized-air03.opb	OPT FOUND	6939	44.6502
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-pipex.opb	OPT FOUND	16845	53.6108
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc105.opb	OPT FOUND	19808	901.987

Benchmark Name	Answer	Traceid	CPU time
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst1.opb	UNKNOWN	17590	1205.92
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x26.opb	UNKNOWN	17676	1214.57
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p6000.opb	UNKNOWN	18963	1215.45
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran13x13.opb	UNKNOWN	17643	1215.77
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x12.opb	UNKNOWN	14805	1216.35
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-cap6000.opb	UNKNOWN	18785	1216.59
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gt2.opb	UNKNOWN	18215	1216.72
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-markshare1.opb	UNKNOWN	18138	1217.05
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos11.opb	UNKNOWN	14679	1217.32
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran8x32.opb	UNKNOWN	17609	1217.36
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap1.opb	UNKNOWN	19685	1217.4
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare2.opb	UNKNOWN	15410	1217.4
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ar.opb	UNKNOWN	13295	1218.02
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare1_1.opb	UNKNOWN	17565	1223.29
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare1.opb	UNKNOWN	18715	1223.57
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bal8x12.opb	UNKNOWN	17861	1223.69
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb	UNKNOWN	16451	1223.8
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare2_1.opb	UNKNOWN	14696	1225.08
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ar.opb	UNKNOWN	13277	1225.27
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p6000.opb	UNKNOWN	16909	1226.44
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0282.opb	UNKNOWN	16306	1226.63
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0291.opb	UNKNOWN	19023	1226.66
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-usAbbrv.8.25_70.opb	UNKNOWN	14201	1226.74
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0291.opb	UNKNOWN	22060	1226.79
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-enigma.opb	UNKNOWN	15183	1226.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb	UNKNOWN	16863	1226.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air01.opb	UNKNOWN	22518	1226.91
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10b.opb	UNKNOWN	17701	1226.96
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0282.opb	UNKNOWN	22083	1226.99
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-enigma.opb	UNKNOWN	17054	1227.02
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mkc.opb	UNKNOWN	15102	1227.29
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air02.opb	UNKNOWN	22481	1227.4
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran6x43.opb	UNKNOWN	14774	1227.5
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-berlin_5_8_0.opb	UNKNOWN	14507	1228.02
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-markshare2.opb	UNKNOWN	18113	1228.03
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-nug08.opb	UNKNOWN	14556	1228.05
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10c.opb	UNKNOWN	14817	1228.06
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow40b.opb	UNKNOWN	16861	1228.08
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran16x16.opb	UNKNOWN	14789	1229.33
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran4x64.opb	UNKNOWN	17619	1229.71
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air03.opb	UNKNOWN	21468	1230.4
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod013.opb	UNKNOWN	19073	1230.69
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1cl.opb	UNKNOWN	15531	1230.78
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-cap6000.opb	UNKNOWN	21979	1231.46
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-flugpl.opb	UNKNOWN	19288	1231.73
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp98ar.opb	UNKNOWN	14718	1232.01
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x21.opb	UNKNOWN	17665	1232.41
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air01.opb	UNKNOWN	15936	1232.78
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-cap6000.opb	UNKNOWN	15202	1233.07
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-liu.opb	UNKNOWN	18734	1233.17
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x12.opb	UNKNOWN	14808	1233.83
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mkc.opb	UNKNOWN	18649	1234.6
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08a.opb	UNKNOWN	17955	1234.79
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc07.opb	UNKNOWN	15653	1235.44
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50b.opb	UNKNOWN	19849	1235.55
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc05.opb	UNKNOWN	19151	1235.82
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm2.opb	UNKNOWN	21319	1236.66
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc03.opb	UNKNOWN	15657	1237.11
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-ran14x18_1.opb	UNKNOWN	14019	1237.23
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-set1ch.opb	UNKNOWN	17942	1237.37
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1ch.opb	UNKNOWN	15537	1237.46
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-egout.opb	UNKNOWN	19268	1237.54
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-seymour1.opb	UNKNOWN	13455	1237.83
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-mkc1.opb	UNKNOWN	14686	1238.07
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air03.opb	UNKNOWN	18794	1238.2
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air03.opb	UNKNOWN	19383	1238.24
normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-maros.opb	UNKNOWN	14185	1238.43
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fixnet6.opb	UNKNOWN	18773	1238.55
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-rout.opb	UNKNOWN	18464	1238.95
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-enigma.opb	UNKNOWN	21389	1240.34
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-enigma.opb	UNKNOWN	19265	1240.7
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bk4x3.opb	UNKNOWN	14943	1240.85
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0282.opb	UNKNOWN	15607	1241.32
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0282.opb	UNKNOWN	15017	1242.01
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos20.opb	UNKNOWN	14646	1242.84
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pk1.opb	UNKNOWN	18516	1242.94
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm1.opb	UNKNOWN	13795	1243.02
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air02.opb	UNKNOWN	19414	1243.75
normalized-opb/submitted/een/normalized-p0282.opb	UNKNOWN	7005	1244.07
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fiber.opb	UNKNOWN	18247	1244.32
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-tr12-30.opb	UNKNOWN	13849	1244.83
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fiber.opb	UNKNOWN	18774	1245.12
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1d.opb	UNKNOWN	17511	1245.24
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air05.opb	UNKNOWN	18811	1245.75
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10a.opb	UNKNOWN	17705	1246.32
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-danoint.opb	UNKNOWN	18782	1246.33
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08aCUTS.opb	UNKNOWN	18492	1246.77
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air05.opb	UNKNOWN	19328	1246.78
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-nug08.opb	UNKNOWN	13496	1247.39
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst2.opb	UNKNOWN	17579	1247.51
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb	UNKNOWN	16872	1247.53
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ar.opb	UNKNOWN	14283	1247.72
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos6.opb	UNKNOWN	14620	1248.45
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50a.opb	UNKNOWN	19850	1248.59
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc03.opb	UNKNOWN	18317	1249.51
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos12.opb	UNKNOWN	14154	1250.12
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08aCUTS.opb	UNKNOWN	17961	1251.09
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1al.opb	UNKNOWN	18942	1251.21
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air04.opb	UNKNOWN	21887	1251.67
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rout.opb	UNKNOWN	14976	1251.9
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran14x18.opb	UNKNOWN	14795	1252.24
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc07.opb	UNKNOWN	15115	1252.3
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-egout.opb	UNKNOWN	18295	1252.49
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc205.opb	UNKNOWN	16121	1253.21
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-railway_8_1_0.opb	UNKNOWN	13893	1253.69
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sample2.opb	UNKNOWN	15563	1253.69
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air04.opb	UNKNOWN	15490	1255.91
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air05.opb	UNKNOWN	15220	1255.93
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08a.opb	UNKNOWN	15329	1256.4
normalized-opb/submitted/een/normalized-cap6000.opb	UNKNOWN	7036	1257.12
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm2.opb	UNKNOWN	14947	1257.16
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet4.opb	UNKNOWN	19248	1257.23
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fixnet6.opb	UNKNOWN	15175	1257.39
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet6.opb	UNKNOWN	19232	1257.66
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air06.opb	UNKNOWN	22331	1258.44
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-gr4x6.opb	UNKNOWN	17852	1259.05
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-tr12-30.opb	UNKNOWN	15270	1260.31
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran17x17.opb	UNKNOWN	17634	1260.68
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb	UNKNOWN	21637	1262.34
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-flugpl.opb	UNKNOWN	18234	1262.66
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air03.opb	UNKNOWN	17171	1263.47
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet3.opb	UNKNOWN	15712	1263.51
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air04.opb	UNKNOWN	15230	1263.79
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap2.opb	UNKNOWN	19632	1264.24
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air05.opb	UNKNOWN	21450	1264.32
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-set1ch.opb	UNKNOWN	18459	1264.9
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-cap6000.opb	UNKNOWN	21416	1265.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-misc07.opb	UNKNOWN	18658	1266.67
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit1d.opb	UNKNOWN	16216	1267.48
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pk1.opb	UNKNOWN	17969	1268.8
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb	UNKNOWN	4522	1271.07
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air04.opb	UNKNOWN	22374	1273.69
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air04.opb	UNKNOWN	15824	1274
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-danoint.opb	UNKNOWN	18301	1275.43
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-qap10.opb	UNKNOWN	14550	1276.66
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air06.opb	UNKNOWN	19297	1277.27
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air05.opb	UNKNOWN	22332	1279.24
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air05.opb	UNKNOWN	16820	1281.38
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap3.opb	UNKNOWN	19607	1283.85
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air04.opb	UNKNOWN	16505	1292.22
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3708.opb	UNKNOWN	14850	1296.35
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3709.opb	UNKNOWN	14847	1299.98
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3700.opb	UNKNOWN	17846	1300.33
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3703.opb	UNKNOWN	17806	1300.45
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-stp3d.opb	UNKNOWN	21550	1300.81
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-stp3d.opb	UNKNOWN	18413	1301.21
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2d.opb	UNKNOWN	19948	1301.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-nw04.opb	UNKNOWN	15044	1301.96
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370d.opb	UNKNOWN	17721	1302.28
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3702.opb	UNKNOWN	17935	1302.41
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb	UNKNOWN	13523	1304.73
normalized-opb/submitted/een/normalized-nw04.opb	UNKNOWN	7060	1309.7
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos9.opb	UNKNOWN	14047	1309.76
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370c.opb	UNKNOWN	17724	1309.83
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370a.opb	UNKNOWN	17744	1309.92
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-d6cube.opb	UNKNOWN	16232	1309.93
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-nw04.opb	UNKNOWN	21187	1310.03
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3704.opb	UNKNOWN	17801	1310.07
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370e.opb	UNKNOWN	17717	1310.12
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3705.opb	UNKNOWN	14895	1310.15
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-t1717.opb	UNKNOWN	16584	1310.43
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3706.opb	UNKNOWN	14875	1310.61
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-t1717.opb	UNKNOWN	15281	1310.79
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3707.opb	UNKNOWN	17768	1311.18
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nw04.opb	UNKNOWN	18594	1311.48
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2d.opb	UNKNOWN	17507	1311.55
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370b.opb	UNKNOWN	17934	1311.93
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nw04.opb	UNKNOWN	21827	1312.01
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3701.opb	UNKNOWN	17835	1312.08
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-qap10.opb	UNKNOWN	13488	1318.75
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-dano3mip.opb	UNKNOWN	15456	1319.08
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_4.opb	UNKNOWN	17563	1319.79
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B2C1S1.opb	UNKNOWN	14513	1326.03
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_3.opb	UNKNOWN	17580	1330.06
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B1C1S1.opb	UNKNOWN	13997	1331.89
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_5.opb	UNKNOWN	17562	1332.03
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-dano3mip.opb	UNKNOWN	15210	1333.5
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-CMS750_4.opb	UNKNOWN	13956	1334.34

Benchmark Name	Answer	Traceid	CPU time
normalized-opb/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb	OPT FOUND	20064	2.88756
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc02.opb	OPT FOUND	22122	26.372
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc01.opb	OPT FOUND	22171	1122.43

Benchmark Name	Answer	Traceid	CPU time
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell3b.opb	UNSAT	19361	6.24105
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell4.opb	UNSAT	19226	6.25205
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scagr7.opb	UNSAT	15879	6.62799
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-stocfor1.opb	UNSAT	15740	8.10177
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-qnet1_o.opb	UNSAT	14920	12.3151
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-agg.opb	UNSAT	16137	13.016
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-boeing2.opb	UNSAT	19941	13.366
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-capri.opb	UNSAT	16089	14.3998
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-brandy.opb	UNSAT	19919	16.5865
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg.opb	UNSAT	23038	16.6135
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-qnet1.opb	UNSAT	14923	20.9498
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-e226.opb	UNSAT	19843	23.9404
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-brandy.opb	UNSAT	17422	24.8702
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-arki001.opb	UNSAT	18752	25.9201
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-lotfi.opb	UNSAT	17285	32.706
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-arki001.opb	UNSAT	21934	32.798
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg3.opb	UNSAT	23049	34.1388
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-arki001.opb	UNSAT	18275	35.2406
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-arki001.opb	UNSAT	21366	35.3686
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-bandm.opb	UNSAT	20059	41.4157
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg2.opb	UNSAT	17474	41.5957
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scagr25.opb	UNSAT	19559	42.3816
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-finnis.opb	UNSAT	16052	47.1218
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot4.opb	UNSAT	19675	112.74
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-gfrd-pnc.opb	UNSAT	19787	123.841
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fffff800.opb	UNSAT	19853	158.352
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-perold.opb	UNSAT	19738	199.893
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-momentum2.opb	UNSAT	15334	217.475
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship04s.opb	UNSAT	15844	277.566
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-shell.opb	UNSAT	19453	284.214
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-modszk1.opb	UNSAT	16007	308.525
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-25fv47.opb	UNSAT	20106	313.714
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot.ja.opb	UNSAT	15970	315.502
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ganges.opb	UNSAT	19803	317.046
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum2.opb	UNSAT	16671	328.224
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-momentum1.opb	UNSAT	15348	346.202
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilotnov.opb	UNSAT	16011	421.892
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-stocfor2.opb	UNSAT	19407	488.67
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rd-rplusc-21.opb	UNSAT	21602	515.738
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros.opb	UNSAT	22867	526.242
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum1.opb	UNSAT	16698	578.088
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-nesm.opb	UNSAT	19804	605.954
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship08s.opb	UNSAT	15898	683.041
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-agg3.opb	UNSAT	20130	787.044
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot.we.opb	UNSAT	19813	809.342
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship12s.opb	UNSAT	15928	867.858
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-agg2.opb	UNSAT	16226	904.946
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot.opb	UNSAT	19857	1026.42
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-nesm.opb	UNSAT	17424	1106.07

Result page for solver sat4jPseudo.jar

Category "no optimization function" (SAT)

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

Solver proved unsatitisfiability (UNSATISFIABLE) (44 runs) [Show/Hide]

Unexpected exit code (UNKNOWN) (3 runs) [Show/Hide]

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

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

Category "optimization, small integers" (OPTSMALLINT)

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

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

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

Category "optimization, medium integers" (OPTMEDINT)

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

Solver proved unsatitisfiability (UNSATISFIABLE) (2 runs) [Show/Hide]

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

Category "optimization, big integers" (OPTBIGINT)

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

Solver found a wrong optimum (1 runs) [Show/Hide]

Solver proved unsatitisfiability (UNSATISFIABLE) (49 runs) [Show/Hide]

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

Unexpected exit code (UNKNOWN) (4 runs) [Show/Hide]

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

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

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

Benchmark Name	Answer	Traceid	CPU time
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-nsrand_ipx.opb	UNSAT	14280	538.672
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nsrand-ipx.opb	UNSAT	18546	848.12

Benchmark Name	Answer	Traceid	CPU time
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-noswot.opb	UNSAT	22017	8.17676
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-noswot.opb	UNSAT	16240	11.7042
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc05.opb	UNSAT	22093	13.6159
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-UMTS.opb	UNSAT	14134	21.4967
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-bell3a.opb	UNSAT	18259	47.3678
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell3a.opb	UNSAT	15692	48.1477

Benchmark Name	Answer	Traceid	CPU time
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-core2536-691.opb	UNKNOWN	13925	754.614
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-core4284-1064.opb	UNKNOWN	14454	1214.83
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-core4872-1529.opb	UNKNOWN	14427	1225.69
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-core2586-950.opb	UNKNOWN	13954	1377.64

Benchmark Name	Answer	Traceid	CPU time
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas74.opb	OPT FOUND	21696	3.65444
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mas74.opb	OPT FOUND	21169	3.76243
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mas76.opb	OPT FOUND	16291	5.28519
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas76.opb	OPT FOUND	21689	9.14361