PB'05 competition: results for each benchmark

Bench name	Best result	Best time
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb	UNSAT	0.008998
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb	UNSAT	0.009997
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb	UNSAT	0.013997
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb	UNSAT	0.013997
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb	UNSAT	0.017996
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb	UNSAT	0.021995
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb	UNSAT	0.026995
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb	UNSAT	0.027995
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb	UNSAT	0.036993
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb	UNSAT	0.05399
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb	UNSAT	0.06099
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb	UNSAT	0.073987
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb	UNSAT	0.075987
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb	UNSAT	0.083986
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb	UNSAT	0.094985
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb	UNSAT	0.098984
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb	UNSAT	0.107983
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb	UNSAT	0.12498
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb	UNSAT	0.156976
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb	UNSAT	0.173973
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb	UNSAT	0.187971
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb	SAT	0.044992
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb	SAT	0.040992
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb	SAT	0.037993
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb	SAT	0.042992
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_11_sat_pb.cnf.cr.opb	SAT	0.047992
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb	SAT	0.050991
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga12_10_sat_pb.cnf.cr.opb	SAT	0.05899
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb	SAT	0.044993
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga12_12_sat_pb.cnf.cr.opb	SAT	0.053991
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb	SAT	0.051991
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb	SAT	0.100984
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga13_13_sat_pb.cnf.cr.opb	SAT	0.05599
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb	SAT	0.05899
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb	SAT	0.099984
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga14_14_sat_pb.cnf.cr.opb	SAT	0.071988
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb	SAT	0.066989
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga15_14_sat_pb.cnf.cr.opb	SAT	0.222965
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb	SAT	0.082987
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb	SAT	0.148976
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb	SAT	0.157975
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb	SAT	0.136978
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb	SAT	0.252961
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb	SAT	0.562914
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb	SAT	0.362944
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb	SAT	0.810876
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb	SAT	0.871866
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb	SAT	1.04984
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb	SAT	1.59276
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb	SAT	9.75752
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb	SAT	1.88771
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb	SAT	15.9626
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb	SAT	4.5833
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb	SAT	1.9477
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb	SAT	9.61454
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb	SAT	15.2037
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb	SAT	6.73997
normalized-opb/web/uclid_pb_benchmarks/normalized-22s.smv.opb	UNSAT	1.69674
normalized-opb/web/uclid_pb_benchmarks/normalized-25s.smv.opb	UNSAT	0.792878
normalized-opb/web/uclid_pb_benchmarks/normalized-37s.smv.opb	UNSAT	0.173972
normalized-opb/web/uclid_pb_benchmarks/normalized-43s.smv.opb	UNSAT	1.50177
normalized-opb/web/uclid_pb_benchmarks/normalized-44s.smv.opb	UNSAT	0.093985
normalized-opb/web/uclid_pb_benchmarks/normalized-46s.smv.opb	UNSAT	0.38594
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb	UNSAT	0.025995
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl.opb	UNSAT	0.018996
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl.opb	UNSAT	0.016997
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb	UNSAT	0.088985
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb	UNSAT	0.371942
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb	UNSAT	0.184971
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb	UNSAT	0.350946
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb	UNSAT	1.41578
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.opb
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb	UNSAT	45.816
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb	UNSAT	5.59415
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb	UNSAT	1075.62
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb	SAT	12.0522
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv10.ucl.opb	UNSAT	0.883865
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb	UNSAT	16.8454
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb	UNSAT	0.145976
normalized-opb/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb	UNSAT	2.54361
normalized-opb/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb	UNSAT	2.26665
normalized-opb/web/uclid_pb_benchmarks/normalized-dlx1c.ucl.opb	UNSAT	1.62775
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf10.ucl.opb	UNSAT	20.5079
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb	UNSAT	0.007998
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb	UNSAT	0.12998
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb	UNSAT	0.828873
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb	UNSAT	3.32549
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.2.accl.ucl.opb	UNSAT	3.58545
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl.opb	UNSAT	9.8365
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.4.accl.ucl.opb	UNSAT	0.796878
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl.opb
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb	UNSAT	95.1845
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb	UNSAT	26.086
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb	UNSAT	0.230964
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb	UNSAT	0.626904
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb	UNSAT	2.00469
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb	UNSAT	6.20806
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb	UNSAT	5.13722
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb	UNSAT	20.7588
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb	UNSAT	56.8973
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb	UNSAT	1.40878
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb	UNSAT	487.167
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb	SAT	15.8556
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb	SAT	6.63699
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb	SAT	7.63384
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb	SAT	362.64
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb	SAT	16.5575

Bench name	Best result	Best time
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bm23.opb	SAT	0.25796
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-cracpb1.opb	SAT	30.8603
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-diamond.opb	UNSAT	0.003998
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-l152lav.opb	SAT	1176.34
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lp4l.opb	SAT	1175.3
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lseu.opb	SAT	1.02584
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod008.opb	SAT	1.01684
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod010.opb	SAT	1175.78
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0033.opb	SAT	0.063989
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0040.opb	SAT	0.293954
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0201.opb	SAT	1.02184
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0548.opb	SAT	1236.38
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p2756.opb	SAT	1.07484
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sentoy.opb	SAT	1.01884
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein15.opb	SAT	0.015997
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein27.opb	SAT	1.02084
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein45.opb	SAT	1.01884
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein9.opb	SAT	0.003998
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-vpm1.opb	SAT	1.07084
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-10teams.opb	SAT	1175.75
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow30a.opb	SAT	1189.12
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow40b.opb
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fast0507.opb	SAT	1189.19
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-manna81.opb	SAT	1175.21
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv11.opb	SAT	1189.05
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv42z.opb	SAT	1189.05
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-net12.opb	SAT	146.223
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-opt1217.opb	SAT	1175.03
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-p2756.opb	SAT	1.07284
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-protfold.opb	SAT	1176.86
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-seymour.opb	SAT	1.05684
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-vpm2.opb	SAT	1.05084
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-10teams.opb	SAT	1175.97
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fast0507.opb	SAT	1189.18
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-l152lav.opb	SAT	1175.69
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-lseu.opb	SAT	1.02884
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mitre.opb	SAT	1189.29
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod008.opb	SAT	1.02084
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod010.opb	SAT	1175.18
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0033.opb	SAT	0.06399
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0201.opb	SAT	1.02284
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0548.opb	SAT	1244.18
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p2756.opb	SAT	1.06684
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-seymour.opb	SAT	1.04884
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-stein27.opb	SAT	1.01684
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-stein45.opb	SAT	1.01384
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm1.opb	SAT	1.06884
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos1.opb	SAT	1.07084
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos10.opb	SAT	72.085
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos16.opb	SAT	6.02808
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos18.opb	SAT	0.637902
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos19.opb
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos5.opb	SAT	1.05284
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos8.opb	SAT	37.5293
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-seymour1.opb	SAT	1175.27
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb	SAT	0.25796
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-cracpb1.opb	SAT	30.1944
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-diamond.opb	UNSAT	0.003998
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb	SAT	1175.28
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb	SAT	1175.09
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb	SAT	1.02184
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb	SAT	1.01584
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb	SAT	1175.14
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb	SAT	0.063989
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb	SAT	0.276957
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb	SAT	1.02284
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb	SAT	1236.51
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p2756.opb	SAT	1.07384
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb	SAT	1.01784
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein15.opb	SAT	0.014997
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein27.opb	SAT	1.01085
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb	SAT	1.01984
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein9.opb	SAT	0.006998
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb	SAT	1175.71
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb	SAT	1189.17
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-manna81.opb	SAT	1175.16
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb	SAT	1189.05
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb	SAT	1189.04
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-net12.opb	SAT	259.973
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb	SAT	1175.03
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb	SAT	1.06284
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb	SAT	1175.06
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb	SAT	1.05484
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-10teams.opb	SAT	1175.54
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-fast0507.opb	SAT	1189.16
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-l152lav.opb	SAT	1175.33
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-lseu.opb	SAT	1.02984
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb	SAT	1189.27
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod008.opb	SAT	1.01784
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod010.opb	SAT	1176.54
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0033.opb	SAT	0.063989
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0201.opb	SAT	1.02184
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0548.opb	SAT	1230.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p2756.opb	SAT	1.06684
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-seymour.opb	SAT	1.04784
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-stein27.opb	SAT	1.02284
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-stein45.opb	SAT	1.01384
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb	SAT	1.05884
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos10.opb	SAT	72.093
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb	SAT	5.96709
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos18.opb	SAT	0.639901
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb	SAT	1.06984
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos8.opb	SAT	37.6673
normalized-opb/submitted/een/normalized-fast0507.opb	SAT	1189.19
normalized-opb/submitted/een/normalized-l152lav.opb	SAT	0.237962
normalized-opb/submitted/een/normalized-lseu.opb	SAT	1.02184
normalized-opb/submitted/een/normalized-mitre.opb	SAT	1189.18
normalized-opb/submitted/een/normalized-mod008.opb	SAT	0.283956
normalized-opb/submitted/een/normalized-p0033.opb	SAT	0.064989
normalized-opb/submitted/een/normalized-p0201.opb	SAT	1.01984
normalized-opb/submitted/een/normalized-p0548.opb	SAT	1230.14
normalized-opb/submitted/een/normalized-p2756.opb	SAT	1.04884
normalized-opb/submitted/een/normalized-pk1.opb	SAT	0.019996
normalized-opb/submitted/een/normalized-seymour.opb	SAT	1.04984
normalized-opb/submitted/een/normalized-stein27.opb	SAT	1.02084
normalized-opb/submitted/een/normalized-stein45.opb	SAT	1.01484
normalized-opb/submitted/manquinho/logic-synthesis/normalized-5xp1.b.opb	SAT	1.03084
normalized-opb/submitted/manquinho/logic-synthesis/normalized-9sym.b.opb	SAT	0.681895
normalized-opb/submitted/manquinho/logic-synthesis/normalized-alu4.b.opb	SAT	1.03884
normalized-opb/submitted/manquinho/logic-synthesis/normalized-apex4.a.opb	SAT	1175.06
normalized-opb/submitted/manquinho/logic-synthesis/normalized-bench1.pi.opb	SAT	1.72874
normalized-opb/submitted/manquinho/logic-synthesis/normalized-clip.b.opb	SAT	1.05084
normalized-opb/submitted/manquinho/logic-synthesis/normalized-count.b.opb	SAT	1.04584
normalized-opb/submitted/manquinho/logic-synthesis/normalized-e64.b.opb	SAT	1.03484
normalized-opb/submitted/manquinho/logic-synthesis/normalized-ex5.pi.opb	SAT	1.11783
normalized-opb/submitted/manquinho/logic-synthesis/normalized-exam.pi.opb	SAT	1.06784
normalized-opb/submitted/manquinho/logic-synthesis/normalized-f51m.b.opb	SAT	1.02684
normalized-opb/submitted/manquinho/logic-synthesis/normalized-jac3.opb	SAT	1.05384
normalized-opb/submitted/manquinho/logic-synthesis/normalized-max1024.pi.opb	SAT	1.04584
normalized-opb/submitted/manquinho/logic-synthesis/normalized-prom2.pi.opb	SAT	1.71974
normalized-opb/submitted/manquinho/logic-synthesis/normalized-rot.b.opb	SAT	1.04884
normalized-opb/submitted/manquinho/logic-synthesis/normalized-sao2.b.opb	SAT	1.03784
normalized-opb/submitted/manquinho/logic-synthesis/normalized-test4.pi.opb	SAT	1175.07
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb	SAT	0.022996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-2.opb	SAT	0.017997
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-3.opb	SAT	0.017996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-4.opb	SAT	0.017996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.opb	SAT	0.023996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb	SAT	0.018996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb	SAT	0.023996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb	SAT	0.024995
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-1.opb	SAT	0.027995
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-2.opb	SAT	0.032994
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.opb	SAT	0.035993
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-4.opb	SAT	0.037993
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb	SAT	0.037993
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-2.opb	SAT	0.037994
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-3.opb	SAT	0.032994
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.opb	SAT	0.040993
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-1.opb	SAT	0.038993
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-2.opb	SAT	0.043993
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb	SAT	0.042993
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb	SAT	0.043993
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-1.opb	SAT	0.039993
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb	SAT	0.051991
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb	SAT	0.039993
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb	SAT	0.051991
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-1.opb	SAT	0.075987
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb	SAT	0.075987
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb	SAT	0.088986
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-4.opb	SAT	0.071988
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb	SAT	0.066989
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb	SAT	0.109982
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-3.opb	SAT	0.065989
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb	SAT	0.073988
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-1.opb	SAT	0.009997
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-2.opb	SAT	0.008997
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-3.opb	SAT	0.008997
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-4.opb	SAT	0.008997
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb	SAT	0.012997
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-2.opb	SAT	0.010997
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-3.opb	SAT	0.014996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb	SAT	0.011997
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-1.opb	SAT	0.013997
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-2.opb	SAT	0.018997
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-3.opb	SAT	0.015996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-4.opb	SAT	0.015997
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-1.opb	SAT	0.016996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-2.opb	SAT	0.016997
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb	SAT	0.015996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-4.opb	SAT	0.016996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf0432-007.opb	UNSAT	0.245962
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-075.opb	UNSAT	0.262959
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-638.opb	UNSAT	0.245962
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf2670-001.opb	UNSAT	0.132978
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-f1000.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-f2000.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-f600.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g125.17.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g125.18.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g250.15.opb	UNSAT	0.065989
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g250.29.opb	UNSAT	0.12398
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-hanoi4.opb	SAT	0.999847
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb	SAT	21.5857
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16a1.opb	SAT	1175.06
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16a2.opb	SAT	1175.16
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16b1.opb	SAT	1175.09
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16b2.opb	SAT	20.8518
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16c1.opb	SAT	1175.05
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16c2.opb	SAT	24.4083
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16d1.opb	SAT	1175.05
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16d2.opb	SAT	19.988
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16e1.opb	SAT	1175.05
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16e2.opb	SAT	6.555
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32a1.opb	SAT	9.00763
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b1.opb	SAT	1.02784
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b2.opb	SAT	1.03184
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b3.opb	SAT	1.03984
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b4.opb	SAT	1.03584
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c1.opb	SAT	1.03084
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb	SAT	1.03184
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c3.opb	SAT	1.03284
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c4.opb	SAT	23.6604
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d1.opb	SAT	1.02484
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d2.opb	SAT	1.04284
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d3.opb	SAT	269.791
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e1.opb	SAT	1.02184
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e2.opb	SAT	1.03084
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e3.opb	SAT	1.02584
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e4.opb	SAT	130.714
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e5.opb	SAT	312.97
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a1.opb	SAT	0.763883
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb	SAT	1.02584
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a3.opb	SAT	1.02384
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a4.opb	SAT	1.02084
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b1.opb	SAT	1.03684
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b2.opb	SAT	1.03984
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b3.opb	SAT	1.06684
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b4.opb	SAT	1.09983
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8c1.opb	SAT	1.02984
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8c2.opb	SAT	1.05684
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8d1.opb	SAT	1.05184
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8d2.opb	SAT	1.07284
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8e1.opb	SAT	1.03484
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8e2.opb	SAT	1.04884
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh1.opb	SAT	0.244961
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh12.opb	SAT	0.065989
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh17.opb	SAT	0.097984
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh201.opb	SAT	1.01884
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh204.opb	SAT	0.142977
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh205.opb	SAT	0.079986
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh207.opb	SAT	0.086986
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh209.opb	SAT	0.137978
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh210.opb	SAT	0.694894
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh212.opb	SAT	0.094985
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh213.opb	SAT	0.081986
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh217.opb	SAT	1.02284
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh218.opb	SAT	0.12998
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh220.opb	SAT	0.160974
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh301.opb	SAT	0.099984
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh7.opb	SAT	0.123981
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-1-c.opb	SAT	2.73158
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-1.opb	SAT	7.43487
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-2-c.opb	SAT	3.33749
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-2.opb	SAT	11.3383
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-3-c.opb	SAT	2.53961
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-3.opb	SAT	3.2935
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-4-c.opb	SAT	0.809876
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-4.opb	SAT	1.03384
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-5-c.opb	SAT	2.19167
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-5.opb	SAT	2.88856
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-1-c.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-1.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-2-c.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-2.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-3.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-4-c.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-4.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-5-c.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-5.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-1-c.opb	SAT	0.020996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-1.opb	SAT	0.078987
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-2-c.opb	SAT	0.018996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-2.opb	SAT	0.073988
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-3-c.opb	SAT	0.026995
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-3.opb	SAT	0.075988
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-4-c.opb	SAT	0.017996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-4.opb	SAT	0.065989
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-5-c.opb	SAT	0.020996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-5.opb	SAT	0.069989
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa0432-003.opb	UNSAT	0.049991
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-130.opb	UNSAT	0.164974
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-141.opb	UNSAT	0.158974
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa6288-047.opb	UNSAT	0.177972
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-038.opb	SAT	1.05184
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-158.opb	SAT	1.06784
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-159.opb	SAT	1.07284
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-160.opb	SAT	1.04284
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-1pb.opb	SAT	0.082986
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-2pb.opb	SAT	0.076987
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-3pb.opb	SAT	0.075987
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-4pb.opb	SAT	0.094984
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-5pb.opb	SAT	0.214967
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-10pb.opb	SAT	1.03284
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-1pb.opb	SAT	1.03484
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-2pb.opb	SAT	1.03884
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-3pb.opb	SAT	1.02984
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-4pb.opb	SAT	1.03784
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-5pb.opb	SAT	1.04084
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-6pb.opb	SAT	1.03684
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-7pb.opb	SAT	1.02884
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-8pb.opb	SAT	0.903861
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-9pb.opb	SAT	1.04684
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb	SAT	1.02684
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-b1.opb	SAT	0.009998
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C17.opb	SAT	0.004998
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb	SAT	1.02584
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-c8.opb	SAT	0.941856
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb	SAT	0.134979
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb	SAT	0.168973
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cmb.opb	SAT	0.97785
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-mux.opb	SAT	0.332949
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-my_adder.opb	SAT	1.02584
normalized-opb/submitted/manquinho/ttp/normalized-circ10_3.opb	SAT	1189.1
normalized-opb/submitted/manquinho/ttp/normalized-circ4_3.opb	SAT	0.626903
normalized-opb/submitted/manquinho/ttp/normalized-circ6_3.opb	SAT	1175.98
normalized-opb/submitted/manquinho/ttp/normalized-circ8_3.opb	SAT	1189.06
normalized-opb/submitted/manquinho/ttp/normalized-data10_3.opb	SAT	1189.07
normalized-opb/submitted/manquinho/ttp/normalized-data4_3.opb	SAT	0.784879
normalized-opb/submitted/manquinho/ttp/normalized-data6_3.opb	SAT	1.03084
normalized-opb/submitted/manquinho/ttp/normalized-data8_3.opb	SAT	1189.04
normalized-opb/submitted/sorensson/garden/normalized-g100x100.opb	SAT	1175.49
normalized-opb/submitted/sorensson/garden/normalized-g15x15.opb	SAT	1.01784
normalized-opb/submitted/sorensson/garden/normalized-g2x2.opb	SAT	0.004998
normalized-opb/submitted/sorensson/garden/normalized-g4x4.opb	SAT	0.008998
normalized-opb/submitted/sorensson/garden/normalized-g7x7.opb	SAT	0.083986
normalized-opb/submitted/sorensson/garden/normalized-g9x3.opb	SAT	0.009998
normalized-opb/submitted/sorensson/garden/normalized-g9x9.opb	SAT	0.676896
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb	SAT	1.04684
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb	SAT	1.05584
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb	SAT	1.04584
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb	SAT	1.05084
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb	SAT	1.04884
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb	SAT	1175.05
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb	SAT	1175.05
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb	SAT	1175.05
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb	SAT	1175.05
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb	SAT	1175.05
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb	SAT	1175.06
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb	SAT	1175.06
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb	SAT	1175.06
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb	SAT	1175.06
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb	SAT	1175.08
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb	SAT	1175.08
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb	SAT	1175.08
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb	SAT	1175.07
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb	SAT	1175.07
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb	SAT	1175.08
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb	SAT	1175.08
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb	SAT	1175.09
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb	SAT	1175.09
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb	SAT	1175.1
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb	SAT	1175.08
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb	SAT	1175.1
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb	SAT	1175.11
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb	SAT	1175.12
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb	SAT	1175.12
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb	SAT	1175.11
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb	SAT	1175.11
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb	SAT	1175.12
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb	SAT	1175.11
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb	SAT	1175.12
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb	SAT	1175.12
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb	SAT	1175.13
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb	SAT	1175.15
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb	SAT	1175.13
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb	SAT	1175.14
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb	SAT	1175.13
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb	SAT	1175.07
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb	SAT	1.05084
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb	SAT	1.05184
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb	SAT	1.02984
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.5:100.opb	SAT	1.03484
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb	SAT	1.02284
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb	SAT	1.03584
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb	SAT	1.04084
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb	SAT	1.03784
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb	SAT	1.04184
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb	SAT	1.06284
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:100.opb	SAT	1.06984
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:98.opb	SAT	1.07084
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb	SAT	1175.19
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:100.opb	SAT	1175.29
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:98.opb	SAT	1175.14

Bench name	Best result	Best time
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-d6cube.opb	UNSAT	1.12283
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit1d.opb	SAT	1195.48
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2d.opb	UNSAT	0.850869
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc105.opb	SAT	2.85756
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc205.opb	SAT	9.35658
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50a.opb	SAT	1.19282
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50b.opb	SAT	2.84657
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap1.opb	SAT	390.25
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap2.opb	SAT	1189.2
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap3.opb	SAT	1189.14
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air01.opb	SAT	1.02884
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air02.opb	SAT	1189.21
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air03.opb	SAT	1189.09
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air04.opb	UNSAT	0.119981
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air05.opb	SAT	1175.13
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air06.opb	SAT	1175.81
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-egout.opb	SAT	1.04084
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-enigma.opb	SAT	0.409937
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet3.opb	SAT	1189.25
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet4.opb	SAT	1189.06
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet6.opb	SAT	1243.61
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-flugpl.opb	SAT	0.183971
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc01.opb	SAT	0.297953
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc02.opb	SAT	0.080987
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc03.opb	SAT	1.20881
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc05.opb	SAT	6.00309
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc07.opb	SAT	1189.01
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod013.opb	SAT	1189.01
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0282.opb	SAT	1.02084
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0291.opb	SAT	0.333948
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p6000.opb	SAT	1175.17
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-pipex.opb	SAT	1.02684
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sample2.opb	SAT	10.6134
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1al.opb	UNSAT	0.086986
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1ch.opb	SAT	1261.74
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1cl.opb	SAT	1240.2
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air04.opb	SAT	1176.04
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air05.opb	SAT	1175.15
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-cap6000.opb	SAT	1175.17
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-dano3mip.opb
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-danoint.opb	UNSAT	1.36179
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fiber.opb	SAT	90.9232
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fixnet6.opb	SAT	1189.04
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-liu.opb	SAT	1175.05
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare1.opb	SAT	1175.1
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare2.opb	SAT	1175.43
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-misc07.opb	SAT	1189.01
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mkc.opb	SAT	1189.11
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nsrand-ipx.opb	UNSAT	134.456
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nw04.opb	SAT	1195.04
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pk1.opb	SAT	1175.04
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08a.opb	SAT	1189.01
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08aCUTS.opb
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-rout.opb	SAT	1585.77
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-set1ch.opb	SAT	1252.14
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-stp3d.opb	UNSAT	2.75158
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-t1717.opb	SAT	1189.34
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-tr12-30.opb	UNSAT	0.128979
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air03.opb	SAT	1189.13
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air04.opb	UNSAT	0.120981
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air05.opb	SAT	1175.15
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-cap6000.opb	SAT	1175.18
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-dano3mip.opb	UNSAT	35.1067
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-danoint.opb	UNSAT	1.39179
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-egout.opb	SAT	1.04984
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-enigma.opb	SAT	0.415935
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fiber.opb	SAT	90.2693
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fixnet6.opb	SAT	1216.42
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-flugpl.opb	SAT	0.181972
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gt2.opb	SAT	1175.14
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-markshare1.opb	SAT	1175.68
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-markshare2.opb	SAT	1175.09
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc03.opb	SAT	1.20882
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc07.opb	SAT	1189.01
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mkc.opb	SAT	1189.11
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-nw04.opb	SAT	1192.4
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0282.opb	SAT	1.02084
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pk1.opb	SAT	1175.03
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08a.opb	SAT	1189.02
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08aCUTS.opb	UNSAT	0.037993
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rout.opb	SAT	1569.48
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-set1ch.opb	SAT	1254.32
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm2.opb	SAT	1189.01
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bal8x12.opb	SAT	1175.37
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bk4x3.opb	SAT	24.1133
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-gr4x6.opb	SAT	1189.01
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3700.opb	UNSAT	0.975851
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3701.opb	UNSAT	0.963853
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3702.opb	UNSAT	1.03484
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3703.opb	UNSAT	0.97585
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3704.opb	UNSAT	0.98385
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3705.opb	UNSAT	0.97685
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3706.opb	UNSAT	0.973851
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3707.opb	UNSAT	0.998847
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3708.opb	UNSAT	0.997848
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3709.opb	UNSAT	1.00884
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370a.opb	UNSAT	1.01184
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370b.opb	UNSAT	0.960853
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370c.opb	UNSAT	0.97785
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370d.opb	UNSAT	0.965852
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370e.opb	UNSAT	0.967852
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10a.opb	SAT	913.784
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10b.opb	SAT	422.405
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10c.opb	SAT	1175.05
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x12.opb	SAT	1175.04
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x26.opb	SAT	1189.04
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x12.opb	SAT	41.1977
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x21.opb	SAT	1189.04
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran13x13.opb	SAT	1175.05
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran14x18.opb	SAT	1175.08
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran16x16.opb	SAT	1175.06
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran17x17.opb	SAT	1189.04
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran4x64.opb	SAT	433.74
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran6x43.opb	SAT	1224.65
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran8x32.opb	SAT	1189.03
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst1.opb
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst2.opb	UNSAT	103.29
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_3.opb	UNSAT	296.838
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_4.opb	UNSAT	35.0387
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_5.opb	UNSAT	303.797
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare1_1.opb	SAT	1175.08
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare2_1.opb	SAT	1175.23
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-mkc1.opb	SAT	7.43987
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos11.opb	SAT	1175.12
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos12.opb	SAT	1230.45
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos20.opb	SAT	7.82681
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos6.opb	UNSAT	0.18697
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos9.opb	UNSAT	6.26005
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-nug08.opb	SAT	683.845
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-qap10.opb	SAT	1175.33
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-ran14x18_1.opb	SAT	1189.03
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B1C1S1.opb	UNSAT	0.6499
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B2C1S1.opb	UNSAT	0.648901
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-berlin_5_8_0.opb	SAT	1189.04
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-CMS750_4.opb	UNSAT	20.1699
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-nsrand_ipx.opb	UNSAT	136.088
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-railway_8_1_0.opb	SAT	1189.08
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ar.opb	SAT	10.9833
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp98ar.opb	SAT	14.4348
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-tr12-30.opb	UNSAT	0.131979
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-usAbbrv.8.25_70.opb	SAT	1201.16
normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-maros.opb	SAT	1.02384
normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-nazareth.opb	SAT	0.008998
normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-testprob.opb	SAT	0.004998
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1d.opb	SAT	1189.18
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2d.opb	SAT	267.004
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air01.opb	SAT	1.03384
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air02.opb	SAT	1190.1
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air03.opb	SAT	1189.14
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air04.opb	UNSAT	0.12098
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air05.opb	SAT	1175.13
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air06.opb	SAT	1182.3
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-enigma.opb	SAT	0.416936
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0282.opb	SAT	1.01984
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0291.opb	SAT	0.335948
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p6000.opb	SAT	1175.15
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-pipex.opb	SAT	1.02184
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb	SAT	459.704
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb	SAT	1189.05
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow40b.opb
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air04.opb	SAT	1185.16
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air05.opb	SAT	1175.13
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-cap6000.opb	SAT	1175.16
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nw04.opb	SAT	1197.16
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-stp3d.opb	UNSAT	2.74658
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-t1717.opb	SAT	1189.18
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb	SAT	1189.01
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air03.opb	SAT	1189.44
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air04.opb	UNSAT	0.116981
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air05.opb	SAT	1175.14
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-cap6000.opb	SAT	1175.18
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-enigma.opb	SAT	0.417936
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb	SAT	1177.34
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-nw04.opb	UNSAT	1.13683
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0282.opb	SAT	1.01984
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm1.opb	SAT	454.966
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm2.opb	SAT	1175.23
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb	UNSAT	8.39472
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-nug08.opb	SAT	922.173
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-qap10.opb	SAT	1189.22
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-seymour1.opb	SAT	1175.14
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ar.opb	SAT	10.9513
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ar.opb	SAT	13.9929
normalized-opb/submitted/een/normalized-air03.opb	SAT	2.22466
normalized-opb/submitted/een/normalized-air04.opb	SAT	1.9507
normalized-opb/submitted/een/normalized-air05.opb	SAT	1.35779
normalized-opb/submitted/een/normalized-cap6000.opb	SAT	1175.14
normalized-opb/submitted/een/normalized-enigma.opb	SAT	0.009997
normalized-opb/submitted/een/normalized-nw04.opb	SAT	18.0483
normalized-opb/submitted/een/normalized-p0282.opb	SAT	1.01884
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb	SAT	1.07184

Bench name	Best result	Best time
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-25fv47.opb	UNSAT	0.267958
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-80bau3b.opb	UNSAT	1.45378
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-adlittle.opb	UNSAT	0.212967
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-afiro.opb	SAT	484.119
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-agg.opb	UNSAT	0.18997
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-agg2.opb	UNSAT	0.053991
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-agg3.opb	UNSAT	0.055991
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-bandm.opb	UNSAT	0.081986
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-beaconfd.opb	UNSAT	0.460929
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-blend.opb	SAT	1227.04
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-bnl1.opb	UNSAT	0.202968
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-bnl2.opb	UNSAT	0.632903
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-boeing1.opb	UNSAT	0.055991
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-boeing2.opb	UNSAT	0.284956
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-bore3d.opb	UNSAT	0.31995
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-brandy.opb	UNSAT	0.422935
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-capri.opb	UNSAT	0.264959
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-cycle.opb	SAT	1311.59
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-czprob.opb	UNSAT	0.588909
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-d2q06c.opb	UNSAT	0.942855
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-d6cube.opb	UNSAT	1.12283
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-degen2.opb	UNSAT	0.092985
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-degen3.opb	UNSAT	0.311952
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-dfl001.opb	UNSAT	2.31665
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-e226.opb	UNSAT	0.050991
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-etamacro.opb	UNSAT	0.478926
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fffff800.opb	UNSAT	1.37679
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-finnis.opb	UNSAT	0.099984
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit1d.opb	SAT	1195.48
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit1p.opb	UNSAT	0.268958
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2d.opb	UNSAT	0.850869
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2p.opb	UNSAT	1.9357
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-forplan.opb	UNSAT	0.076988
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ganges.opb	UNSAT	0.138978
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-gfrd-pnc.opb	UNSAT	0.146977
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-greenbea.opb	UNSAT	0.958853
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-greenbeb.opb	UNSAT	0.949854
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-grow15.opb	SAT	1266.73
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-grow22.opb	SAT	1254.53
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-grow7.opb	SAT	1252.73
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-israel.opb	SAT	1218.06
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-kb2.opb	SAT	1227.97
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-lotfi.opb	UNSAT	0.85087
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-maros-r7.opb	UNSAT	1.71574
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-maros.opb	UNSAT	0.241962
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-modszk1.opb	UNSAT	0.274957
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-nesm.opb	UNSAT	0.378942
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-perold.opb	UNSAT	0.778881
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot.ja.opb	UNSAT	1.14082
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot.opb	UNSAT	1.66275
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot.we.opb	UNSAT	1.3408
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot4.opb	UNSAT	0.686895
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot87.opb	UNSAT	0.715891
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilotnov.opb	UNSAT	1.3188
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-recipe.opb	UNSAT	0.223965
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc105.opb	SAT	2.85756
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc205.opb	SAT	9.35658
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50a.opb	SAT	1.19282
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50b.opb	SAT	2.84657
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scagr25.opb	UNSAT	0.087985
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scagr7.opb	UNSAT	0.120981
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scfxm1.opb	UNSAT	0.357944
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scfxm2.opb	UNSAT	0.631903
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scfxm3.opb	UNSAT	0.897863
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scorpion.opb	UNSAT	0.065989
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scrs8.opb	UNSAT	0.207967
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scsd1.opb	UNSAT	0.133978
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scsd6.opb	UNSAT	0.237963
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scsd8.opb	UNSAT	0.481926
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap1.opb	SAT	390.25
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap2.opb	SAT	1189.2
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap3.opb	SAT	1189.14
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-seba.opb	UNSAT	0.150976
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-share1b.opb	UNSAT	0.25196
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-share2b.opb	UNSAT	0.184971
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-shell.opb	UNSAT	0.220965
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship04l.opb	UNSAT	0.365943
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship04s.opb	UNSAT	0.25496
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship08l.opb	UNSAT	0.776881
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship08s.opb	UNSAT	0.416936
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship12l.opb	UNSAT	0.995848
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship12s.opb	UNSAT	0.482925
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sierra.opb	UNSAT	0.282956
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-stair.opb	UNSAT	0.349946
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-standata.opb	UNSAT	1.05684
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-standgub.opb
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-stocfor1.opb	UNSAT	0.173973
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-stocfor2.opb	UNSAT	0.352946
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-tuff.opb	UNSAT	0.719889
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-vtp.base.opb	UNSAT	0.088985
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-wood1p.opb	UNSAT	7.12892
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-woodw.opb	UNSAT	5.15522
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air01.opb	SAT	1.02884
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air02.opb	SAT	1189.21
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air03.opb	SAT	1189.09
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air04.opb	UNSAT	0.119981
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air05.opb	SAT	1175.13
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air06.opb	SAT	1175.81
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell3a.opb	SAT	7.69383
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell3b.opb	UNSAT	0.145976
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell4.opb	UNSAT	0.118981
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell5.opb	SAT	3.13152
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bm23.opb	SAT	0.25796
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-cracpb1.opb	SAT	30.8603
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-dcmulti.opb	UNSAT	0.087986
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-diamond.opb	UNSAT	0.003998
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-egout.opb	SAT	1.04084
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-enigma.opb	SAT	0.409937
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet3.opb	SAT	1189.25
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet4.opb	SAT	1189.06
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet6.opb	SAT	1243.61
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-flugpl.opb	SAT	0.183971
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-gen.opb	UNSAT	0.112982
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-khb05250.opb	UNSAT	0.221965
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-l152lav.opb	SAT	1176.34
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lp4l.opb	SAT	1175.3
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lseu.opb	SAT	1.02584
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc01.opb	SAT	0.297953
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc02.opb	SAT	0.080987
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc03.opb	SAT	1.20881
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc04.opb	UNSAT	2.79057
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc05.opb	SAT	6.00309
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc06.opb	UNSAT	1.35379
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc07.opb	SAT	1189.01
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod008.opb	SAT	1.01684
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod010.opb	SAT	1175.78
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod013.opb	SAT	1189.01
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-modglob.opb	UNSAT	0.06299
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-noswot.opb	SAT	165.164
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0033.opb	SAT	0.063989
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0040.opb	SAT	0.293954
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0201.opb	SAT	1.02184
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0282.opb	SAT	1.02084
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0291.opb	SAT	0.333948
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0548.opb	SAT	1236.38
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p2756.opb	SAT	1.07484
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p6000.opb	SAT	1175.17
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-pipex.opb	SAT	1.02684
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-qiu.opb	UNSAT	0.136978
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-rentacar.opb	UNSAT	1.63775
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-rgn.opb	SAT	1227.77
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sample2.opb	SAT	10.6134
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sentoy.opb	SAT	1.01884
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1al.opb	UNSAT	0.086986
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1ch.opb	SAT	1261.74
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1cl.opb	SAT	1240.2
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein15.opb	SAT	0.015997
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein27.opb	SAT	1.02084
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein45.opb	SAT	1.01884
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein9.opb	SAT	0.003998
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-vpm1.opb	SAT	1.07084
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-10teams.opb	SAT	1175.75
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-a1c1s1.opb	UNSAT	0.648901
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow30a.opb	SAT	1189.12
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow40b.opb
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air04.opb	SAT	1176.04
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air05.opb	SAT	1175.15
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-arki001.opb	UNSAT	0.221965
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-atlanta-ip.opb	UNSAT	0.841871
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-cap6000.opb	SAT	1175.17
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-dano3mip.opb
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-danoint.opb	UNSAT	1.36179
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fast0507.opb	SAT	1189.19
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fiber.opb	SAT	90.9232
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fixnet6.opb	SAT	1189.04
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-gesa2-o.opb	UNSAT	0.100984
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-gesa2.opb	UNSAT	0.120981
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-glass4.opb	SAT	1251
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-harp2.opb	SAT	1267.65
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-liu.opb	SAT	1175.05
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-manna81.opb	SAT	1175.21
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare1.opb	SAT	1175.1
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare2.opb	SAT	1175.43
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mas74.opb	SAT	1218.03
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mas76.opb	SAT	1233.47
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-misc07.opb	SAT	1189.01
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mkc.opb	SAT	1189.11
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mod011.opb	UNSAT	1.9477
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-modglob.opb	UNSAT	0.060989
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-momentum1.opb	UNSAT	0.276957
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-momentum2.opb	UNSAT	0.182971
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-momentum3.opb	UNSAT	0.675896
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-msc98-ip.opb	SAT	1274.48
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv11.opb	SAT	1189.05
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv42z.opb	SAT	1189.05
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-net12.opb	SAT	146.223
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-noswot.opb	SAT	139.56
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nsrand-ipx.opb	UNSAT	134.456
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nw04.opb	SAT	1195.04
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-opt1217.opb	SAT	1175.03
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-p2756.opb	SAT	1.07284
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pk1.opb	SAT	1175.04
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08a.opb	SAT	1189.01
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08aCUTS.opb
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-protfold.opb	SAT	1176.86
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-qiu.opb	UNSAT	0.138978
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-rd-rplusc-21.opb	UNSAT	39.177
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-roll3000.opb	UNSAT	1.71974
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-rout.opb	SAT	1585.77
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-set1ch.opb	SAT	1252.14
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-seymour.opb	SAT	1.05684
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-sp97ar.opb	UNSAT	1.68874
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-stp3d.opb	UNSAT	2.75158
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-swath.opb	UNSAT	0.868867
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-t1717.opb	SAT	1189.34
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-timtab1.opb	UNSAT	0.218966
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-timtab2.opb	UNSAT	0.049991
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-tr12-30.opb	UNSAT	0.128979
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-van.opb	UNSAT	93.0229
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-vpm2.opb	SAT	1.05084
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-10teams.opb	SAT	1175.97
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air03.opb	SAT	1189.13
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air04.opb	UNSAT	0.120981
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air05.opb	SAT	1175.15
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-arki001.opb	UNSAT	0.764882
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-bell3a.opb	SAT	7.58885
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-bell5.opb	SAT	3.13352
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-blend2.opb	UNSAT	0.347946
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-cap6000.opb	SAT	1175.18
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-dano3mip.opb	UNSAT	35.1067
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-danoint.opb	UNSAT	1.39179
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-dcmulti.opb	UNSAT	0.085986
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-egout.opb	SAT	1.04984
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-enigma.opb	SAT	0.415935
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fast0507.opb	SAT	1189.18
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fiber.opb	SAT	90.2693
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fixnet6.opb	SAT	1216.42
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-flugpl.opb	SAT	0.181972
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gen.opb	UNSAT	0.116981
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gesa2.opb	UNSAT	0.12398
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gesa2_o.opb	UNSAT	0.101984
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gesa3.opb	SAT	1246.41
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gesa3_o.opb	UNSAT	0.099984
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gt2.opb	SAT	1175.14
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-harp2.opb	SAT	1295.64
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-khb05250.opb	UNSAT	0.223965
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-l152lav.opb	SAT	1175.69
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-lseu.opb	SAT	1.02884
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-markshare1.opb	SAT	1175.68
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-markshare2.opb	SAT	1175.09
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mas74.opb	SAT	1217.59
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mas76.opb	SAT	1216.97
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc03.opb	SAT	1.20882
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc06.opb	UNSAT	1.3378
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc07.opb	SAT	1189.01
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mitre.opb	SAT	1189.29
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mkc.opb	SAT	1189.11
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod008.opb	SAT	1.02084
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod010.opb	SAT	1175.18
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-modglob.opb	UNSAT	0.06099
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-noswot.opb	SAT	164.902
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-nw04.opb	SAT	1192.4
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0033.opb	SAT	0.06399
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0201.opb	SAT	1.02284
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0282.opb	SAT	1.02084
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0548.opb	SAT	1244.18
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p2756.opb	SAT	1.06684
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pk1.opb	SAT	1175.03
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08a.opb	SAT	1189.02
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08aCUTS.opb	UNSAT	0.037993
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-qiu.opb	UNSAT	0.137978
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-qnet1.opb	UNSAT	0.048992
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-qnet1_o.opb	UNSAT	0.047992
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rentacar.opb	UNSAT	1.67474
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rgn.opb	SAT	1253.97
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rout.opb	SAT	1569.48
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-set1ch.opb	SAT	1254.32
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-seymour.opb	SAT	1.04884
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-stein27.opb	SAT	1.01684
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-stein45.opb	SAT	1.01384
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-swath.opb	UNSAT	1.00585
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm1.opb	SAT	1.06884
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm2.opb	SAT	1189.01
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bal8x12.opb	SAT	1175.37
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bk4x3.opb	SAT	24.1133
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-gr4x6.opb	SAT	1189.01
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3700.opb	UNSAT	0.975851
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3701.opb	UNSAT	0.963853
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3702.opb	UNSAT	1.03484
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3703.opb	UNSAT	0.97585
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3704.opb	UNSAT	0.98385
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3705.opb	UNSAT	0.97685
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3706.opb	UNSAT	0.973851
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3707.opb	UNSAT	0.998847
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3708.opb	UNSAT	0.997848
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3709.opb	UNSAT	1.00884
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370a.opb	UNSAT	1.01184
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370b.opb	UNSAT	0.960853
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370c.opb	UNSAT	0.97785
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370d.opb	UNSAT	0.965852
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370e.opb	UNSAT	0.967852
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10a.opb	SAT	913.784
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10b.opb	SAT	422.405
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10c.opb	SAT	1175.05
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x12.opb	SAT	1175.04
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x26.opb	SAT	1189.04
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x12.opb	SAT	41.1977
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x21.opb	SAT	1189.04
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran13x13.opb	SAT	1175.05
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran14x18.opb	SAT	1175.08
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran16x16.opb	SAT	1175.06
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran17x17.opb	SAT	1189.04
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran4x64.opb	SAT	433.74
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran6x43.opb	SAT	1224.65
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran8x32.opb	SAT	1189.03
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-13-7-fome11.opb	UNSAT	4.54331
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-13-7-fome12.opb	UNSAT	9.27259
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bc1.opb	UNSAT	2.33964
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst1.opb
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst2.opb	UNSAT	103.29
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_3.opb	UNSAT	296.838
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_4.opb	UNSAT	35.0387
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_5.opb	UNSAT	303.797
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare1_1.opb	SAT	1175.08
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare2_1.opb	SAT	1175.23
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-mkc1.opb	SAT	7.43987
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos1.opb	SAT	1.07084
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos10.opb	SAT	72.085
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos11.opb	SAT	1175.12
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos12.opb	SAT	1230.45
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos13.opb	SAT	1291.11
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos14.opb	SAT	1246.29
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos15.opb	SAT	1244.65
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos16.opb	SAT	6.02808
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos17.opb	SAT	1228.72
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos18.opb	SAT	0.637902
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos19.opb
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos2.opb
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos20.opb	SAT	7.82681
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos3.opb
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos4.opb	UNSAT	1.50277
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos5.opb	SAT	1.05284
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos6.opb	UNSAT	0.18697
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos7.opb	SAT	1252.35
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos8.opb	SAT	37.5293
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos9.opb	UNSAT	6.26005
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-nug08.opb	SAT	683.845
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-qap10.opb	SAT	1175.33
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-ran14x18_1.opb	SAT	1189.03
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-seymour1.opb	SAT	1175.27
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-swath1.opb	UNSAT	2.26865
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-swath2.opb	UNSAT	2.23266
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-swath3.opb	UNSAT	2.11168
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-A1C1S1.opb	UNSAT	0.630904
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-A2C1S1.opb	UNSAT	0.625904
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B1C1S1.opb	UNSAT	0.6499
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B2C1S1.opb	UNSAT	0.648901
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-berlin_5_8_0.opb	SAT	1189.04
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-bg512142.opb	SAT	1246.02
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-biella1.opb	SAT	1250.4
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ar98.opb	UNSAT	6.22305
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ic97.opb
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ic98.opb	UNSAT	5.81012
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ir98.opb	UNSAT	2.38864
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-CMS750_4.opb	UNSAT	20.1699
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-core2536-691.opb	SAT	14.8847
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-core2586-950.opb	SAT	10.8873
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-core4284-1064.opb	SAT	1237.84
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-core4872-1529.opb	SAT	41.1118
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dc1c.opb	SAT	1264.1
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dc1l.opb	UNSAT	0.758884
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dg012142.opb	SAT	1269.98
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dolom1.opb	UNSAT	0.444932
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-glass4.opb	SAT	1253.9
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-net12.opb	SAT	1256.38
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-NSR8K.opb	UNSAT	1.60676
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-nsrand_ipx.opb	UNSAT	136.088
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-rail507.opb	SAT	295.054
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-railway_8_1_0.opb	SAT	1189.08
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-roll3000.opb	UNSAT	2.57861
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-siena1.opb	UNSAT	0.502923
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ar.opb	SAT	10.9833
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ic.opb	SAT	11.8052
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp98ar.opb	SAT	14.4348
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp98ic.opb	SAT	8.81066
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-tr12-30.opb	UNSAT	0.131979
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-trento1.opb	UNSAT	0.302953
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-UMTS.opb	SAT	1264.1
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-usAbbrv.8.25_70.opb	SAT	1201.16
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-van.opb	UNSAT	139.971
normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-adlittle.opb	UNSAT	0.230964
normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-afiro.opb	SAT	482.164
normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-maros.opb	SAT	1.02384
normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-nazareth.opb	SAT	0.008998
normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-testprob.opb	SAT	0.004998
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-25fv47.opb	UNSAT	0.405937
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-80bau3b.opb	UNSAT	2.14967
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-adlittle.opb	UNSAT	0.030994
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-afiro.opb	SAT	1238.93
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg.opb	UNSAT	0.043992
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg2.opb	UNSAT	0.080986
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg3.opb	UNSAT	0.079986
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bandm.opb	UNSAT	0.12498
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-beaconfd.opb	UNSAT	0.069988
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-blend.opb	SAT	1218.24
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bnl1.opb	UNSAT	0.298954
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bnl2.opb	UNSAT	0.955853
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-boeing1.opb	UNSAT	0.081987
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-boeing2.opb	UNSAT	0.033994
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bore3d.opb	UNSAT	0.085986
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-brandy.opb	UNSAT	0.430933
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-capri.opb	UNSAT	0.346947
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-cycle.opb	UNSAT	0.763883
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-czprob.opb	UNSAT	0.886864
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d2q06c.opb	UNSAT	1.42378
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d6cube.opb	UNSAT	1.68674
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen2.opb	UNSAT	0.137978
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen3.opb	UNSAT	0.474927
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-dfl001.opb	UNSAT	3.46847
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-e226.opb	UNSAT	0.075987
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-etamacro.opb	UNSAT	0.530919
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fffff800.opb	UNSAT	0.228964
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-finnis.opb	UNSAT	0.140978
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1d.opb	SAT	1189.18
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1p.opb	UNSAT	0.394938
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2d.opb	SAT	267.004
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2p.opb	UNSAT	2.77058
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-forplan.opb	UNSAT	0.110982
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ganges.opb	UNSAT	1.61076
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-gfrd-pnc.opb	UNSAT	0.238963
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbea.opb	UNSAT	1.40979
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbeb.opb	UNSAT	1.43978
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow15.opb	SAT	1252.68
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow22.opb	SAT	1264.78
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow7.opb	SAT	1248.58
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-israel.opb	SAT	1230.58
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-kb2.opb	SAT	1217.12
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-lotfi.opb	UNSAT	0.158974
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros-r7.opb	UNSAT	2.65459
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros.opb	UNSAT	0.363944
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-modszk1.opb	UNSAT	0.420935
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-nesm.opb	UNSAT	0.532918
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-perold.opb	UNSAT	1.15882
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot.ja.opb	UNSAT	1.65875
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot.opb	UNSAT	5.13622
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot.we.opb	UNSAT	0.707892
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot4.opb	UNSAT	0.988849
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot87.opb	UNSAT	1.02684
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilotnov.opb	UNSAT	1.9697
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-recipe.opb	SAT	1233.91
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc105.opb	SAT	9.67853
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc205.opb	SAT	25.9041
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50a.opb	SAT	10.2614
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50b.opb	SAT	336.565
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scagr25.opb	UNSAT	0.131979
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scagr7.opb	UNSAT	0.038993
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm1.opb	UNSAT	0.529918
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm2.opb	UNSAT	0.951855
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm3.opb	UNSAT	1.39679
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scorpion.opb	UNSAT	0.095984
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scrs8.opb	UNSAT	0.300953
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd1.opb	UNSAT	0.197969
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd6.opb	UNSAT	0.349945
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd8.opb	UNSAT	0.744886
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap1.opb	SAT	1221.94
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap2.opb	SAT	1304.69
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap3.opb	UNSAT	0.674897
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-seba.opb	SAT	1259.63
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-share1b.opb	UNSAT	0.317951
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-share2b.opb	UNSAT	0.220965
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-shell.opb	UNSAT	0.398939
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship04l.opb	UNSAT	0.556914
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship04s.opb	UNSAT	0.375942
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship08l.opb	UNSAT	1.16382
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship08s.opb	UNSAT	0.646901
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12l.opb	UNSAT	1.53377
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12s.opb	UNSAT	0.776881
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sierra.opb	UNSAT	0.344947
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stair.opb	UNSAT	0.506922
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-standata.opb	UNSAT	0.78588
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-standgub.opb	UNSAT	0.331949
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stocfor1.opb	UNSAT	0.226965
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stocfor2.opb	UNSAT	0.532918
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-tuff.opb	UNSAT	0.486925
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-vtp.base.opb	UNSAT	0.260959
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-wood1p.opb	UNSAT	11.4273
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-woodw.opb	UNSAT	2.36964
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air01.opb	SAT	1.03384
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air02.opb	SAT	1190.1
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air03.opb	SAT	1189.14
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air04.opb	UNSAT	0.12098
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air05.opb	SAT	1175.13
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air06.opb	SAT	1182.3
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3a.opb	SAT	1252.45
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3b.opb	SAT	1225.11
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell4.opb	SAT	1226.37
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell5.opb	SAT	1231.56
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb	SAT	0.25796
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-cracpb1.opb	SAT	30.1944
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-dcmulti.opb	UNSAT	0.12598
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-diamond.opb	UNSAT	0.003998
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-egout.opb	SAT	1098.43
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-enigma.opb	SAT	0.416936
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-fixnet3.opb	SAT	1239.99
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-fixnet4.opb	UNSAT	0.122981
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-fixnet6.opb	SAT	1260.33
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-flugpl.opb	SAT	21.8077
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-gen.opb	UNSAT	0.167973
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-khb05250.opb	SAT	1208.43
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb	SAT	1175.28
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb	SAT	1175.09
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb	SAT	1.02184
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc01.opb	SAT	2.37864
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc02.opb	SAT	2.77858
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc03.opb	SAT	17.5123
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc04.opb	UNSAT	4.12137
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc05.opb	SAT	952.576
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc06.opb	UNSAT	1.25481
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc07.opb	SAT	1236.09
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb	SAT	1.01584
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb	SAT	1175.14
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod013.opb	SAT	1260.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-modglob.opb	UNSAT	0.087985
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-noswot.opb	SAT	143.293
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb	SAT	0.063989
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb	SAT	0.276957
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb	SAT	1.02284
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0282.opb	SAT	1.01984
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0291.opb	SAT	0.335948
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb	SAT	1236.51
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p2756.opb	SAT	1.07384
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p6000.opb	SAT	1175.15
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-pipex.opb	SAT	1.02184
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-qiu.opb	UNSAT	0.206968
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-rentacar.opb	UNSAT	2.48562
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-rgn.opb	SAT	1256.32
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sample2.opb	SAT	47.9837
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb	SAT	1.01784
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-set1al.opb	UNSAT	0.129979
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-set1ch.opb	SAT	1233.02
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-set1cl.opb	SAT	1246.2
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein15.opb	SAT	0.014997
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein27.opb	SAT	1.01085
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb	SAT	1.01984
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein9.opb	SAT	0.006998
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb	SAT	459.704
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb	SAT	1175.71
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-a1c1s1.opb	UNSAT	0.973851
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb	SAT	1189.05
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow40b.opb
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air04.opb	SAT	1185.16
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air05.opb	SAT	1175.13
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-arki001.opb	UNSAT	0.58391
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-atlanta-ip.opb	UNSAT	0.893863
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-cap6000.opb	SAT	1175.16
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-dano3mip.opb	UNSAT	17.1024
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-danoint.opb	UNSAT	0.562914
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb	SAT	1189.17
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fiber.opb	SAT	95.3155
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fixnet6.opb	SAT	1250.58
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2-o.opb	UNSAT	0.140978
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2.opb	UNSAT	0.166973
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb	SAT	1224.1
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-harp2.opb	SAT	1273.42
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-liu.opb	SAT	3785.95
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-manna81.opb	SAT	1175.16
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare1.opb	SAT	1175.12
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare2.opb	SAT	1201.34
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas74.opb	SAT	1217.78
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas76.opb	SAT	1239.58
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-misc07.opb	SAT	1227.3
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mkc.opb	SAT	1231.25
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb	UNSAT	2.86856
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-modglob.opb	UNSAT	0.089985
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum1.opb	UNSAT	0.374942
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum2.opb	UNSAT	0.233964
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum3.opb	UNSAT	0.893863
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-msc98-ip.opb	SAT	1285.53
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb	SAT	1189.05
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb	SAT	1189.04
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-net12.opb	SAT	259.973
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-noswot.opb	SAT	145.757
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb	SAT	1224.15
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nw04.opb	SAT	1197.16
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb	SAT	1175.03
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb	SAT	1.06284
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pk1.opb	UNSAT	0.06299
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08a.opb	UNSAT	0.282956
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb	UNSAT	0.353945
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb	SAT	1175.06
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-qiu.opb	UNSAT	0.204968
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rd-rplusc-21.opb	UNSAT	45.823
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-roll3000.opb	UNSAT	1.9457
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rout.opb	UNSAT	0.218966
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-set1ch.opb	SAT	1245.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb	SAT	1.05484
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb	UNSAT	2.6406
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-stp3d.opb	UNSAT	2.74658
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-swath.opb	UNSAT	0.236963
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-t1717.opb	SAT	1189.18
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab1.opb	UNSAT	0.425934
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb	UNSAT	0.05999
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-tr12-30.opb	UNSAT	0.19097
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-van.opb	UNSAT	142.928
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb	SAT	1189.01
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-10teams.opb	SAT	1175.54
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air03.opb	SAT	1189.44
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air04.opb	UNSAT	0.116981
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air05.opb	SAT	1175.14
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-arki001.opb	UNSAT	0.97885
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-bell3a.opb	SAT	1243.96
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-bell5.opb	SAT	1234.3
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-blend2.opb	UNSAT	0.306952
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-cap6000.opb	SAT	1175.18
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-dano3mip.opb	UNSAT	15.2427
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-danoint.opb	UNSAT	1.01085
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-dcmulti.opb	UNSAT	0.12198
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-egout.opb	SAT	1102.24
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-enigma.opb	SAT	0.417936
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-fast0507.opb	SAT	1189.16
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-fiber.opb	SAT	95.7554
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-fixnet6.opb	SAT	1260.76
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-flugpl.opb	SAT	21.6227
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gen.opb	UNSAT	0.169973
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa2.opb	UNSAT	0.170973
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa2_o.opb	UNSAT	0.141977
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa3.opb	SAT	1248.14
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa3_o.opb	UNSAT	0.135978
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb	SAT	1177.34
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-harp2.opb	SAT	1288.69
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-khb05250.opb	SAT	1250.4
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-l152lav.opb	SAT	1175.33
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-lseu.opb	SAT	1.02984
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-markshare1.opb	SAT	1175.08
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-markshare2.opb	SAT	1201.36
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mas74.opb	SAT	1229.69
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mas76.opb	SAT	1230.31
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-misc03.opb	SAT	17.4054
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-misc06.opb	UNSAT	1.22281
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-misc07.opb	SAT	1243.78
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb	SAT	1189.27
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mkc.opb	SAT	1230.15
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod008.opb	SAT	1.01784
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod010.opb	SAT	1176.54
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-modglob.opb	UNSAT	0.086985
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-noswot.opb	SAT	143.226
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-nw04.opb	UNSAT	1.13683
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0033.opb	SAT	0.063989
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0201.opb	SAT	1.02184
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0282.opb	SAT	1.01984
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0548.opb	SAT	1230.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p2756.opb	SAT	1.06684
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-pk1.opb	UNSAT	0.063989
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-pp08a.opb	UNSAT	0.049992
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-pp08aCUTS.opb	UNSAT	0.044992
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qiu.opb	UNSAT	0.204968
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qnet1.opb	UNSAT	0.05499
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qnet1_o.opb	UNSAT	0.055991
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-rentacar.opb	UNSAT	2.52062
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-rgn.opb	SAT	1257.12
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-rout.opb	UNSAT	0.250961
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-set1ch.opb	SAT	1220.3
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-seymour.opb	SAT	1.04784
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-stein27.opb	SAT	1.02284
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-stein45.opb	SAT	1.01384
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-swath.opb	UNSAT	0.269958
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm1.opb	SAT	454.966
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm2.opb	SAT	1175.23
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-bal8x12.opb	SAT	1230.8
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-bk4x3.opb	SAT	25.8571
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-gr4x6.opb	SAT	1247.15
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3700.opb	UNSAT	1.42678
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3701.opb	UNSAT	1.43278
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3702.opb	UNSAT	1.43078
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3703.opb	UNSAT	1.43978
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3704.opb	UNSAT	1.43378
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3705.opb	UNSAT	1.43278
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3706.opb	UNSAT	1.43078
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3707.opb	UNSAT	1.42078
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3708.opb	UNSAT	1.42678
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3709.opb	UNSAT	1.42678
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370a.opb	UNSAT	1.44978
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370b.opb	UNSAT	1.44378
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370c.opb	UNSAT	1.45178
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370d.opb	UNSAT	1.43078
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370e.opb	UNSAT	1.46178
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb	SAT	1251.11
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb	SAT	1217.92
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10c.opb	SAT	1219.24
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x12.opb	SAT	1225.37
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x26.opb	SAT	1224.74
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x12.opb	SAT	1232.17
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb	SAT	1226.04
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran13x13.opb	SAT	1254.31
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb	SAT	1226.01
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran16x16.opb	SAT	1231.65
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran17x17.opb	SAT	1218.22
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran4x64.opb	SAT	1225.15
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran6x43.opb	SAT	1233.27
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran8x32.opb	SAT	1231.81
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb	UNSAT	6.86596
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bc1.opb	UNSAT	1.11183
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst1.opb	SAT	1262.34
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst2.opb	UNSAT	0.869867
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_3.opb	UNSAT	15.6156
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_4.opb	UNSAT	15.4766
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_5.opb	UNSAT	15.3847
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare1_1.opb	SAT	1175.02
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare2_1.opb	SAT	1202.31
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-mkc1.opb	UNSAT	0.25396
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb	SAT	1.05884
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos10.opb	SAT	72.093
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos11.opb	SAT	1202.33
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos12.opb	SAT	1211.72
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos13.opb	SAT	517.452
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos14.opb	SAT	1250.35
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos15.opb	SAT	1240.48
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb	SAT	5.96709
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos17.opb	SAT	1240.29
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos18.opb	SAT	0.639901
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos2.opb	UNSAT	0.305953
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos20.opb	SAT	7.93979
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos3.opb	UNSAT	0.404937
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos4.opb	UNSAT	1.90971
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb	SAT	1.06984
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos6.opb	UNSAT	0.223965
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos7.opb	SAT	1266.33
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos8.opb	SAT	37.6673
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb	UNSAT	8.39472
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-nug08.opb	SAT	922.173
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-qap10.opb	SAT	1189.22
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-ran14x18_1.opb	SAT	1232.2
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-seymour1.opb	SAT	1175.14
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-swath1.opb	UNSAT	1.86571
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-swath2.opb	UNSAT	1.84572
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-swath3.opb	UNSAT	1.72274
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-A1C1S1.opb	UNSAT	0.925858
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-A2C1S1.opb	UNSAT	0.945856
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb	UNSAT	0.994848
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb	UNSAT	0.959853
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-berlin_5_8_0.opb	SAT	1200.77
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-bg512142.opb	SAT	1210.55
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-biella1.opb	SAT	1206.47
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ar98.opb	UNSAT	1.23881
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb	UNSAT	0.72089
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic98.opb	UNSAT	1.00185
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ir98.opb	UNSAT	0.462928
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-CMS750_4.opb	UNSAT	22.6916
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core2536-691.opb	SAT	15.1467
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core2586-950.opb	SAT	11.0743
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb	SAT	35.5106
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb	SAT	40.6528
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1c.opb	SAT	1305.36
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1l.opb	UNSAT	0.91486
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dg012142.opb	SAT	1293.53
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dolom1.opb	UNSAT	0.632903
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-glass4.opb	SAT	1224.49
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-net12.opb	SAT	1230.09
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-NSR8K.opb	UNSAT	2.17367
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb	SAT	1225.16
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-rail507.opb	SAT	290.253
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb	SAT	1201.13
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-roll3000.opb	UNSAT	1.70674
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-siena1.opb	UNSAT	0.701893
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ar.opb	SAT	10.9513
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ic.opb	SAT	12.972
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ar.opb	SAT	13.9929
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb	SAT	8.81166
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-tr12-30.opb	UNSAT	0.18997
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-trento1.opb	UNSAT	0.407937
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb	SAT	1247.2
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb	SAT	1201.26
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-van.opb	UNSAT	207.441
normalized-opb/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-adlittle.opb	UNSAT	0.028995
normalized-opb/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-afiro.opb	SAT	1242.44
normalized-opb/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb	SAT	29.6805
normalized-opb/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-nazareth.opb	SAT	0.18697
normalized-opb/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb	SAT	0.087986
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb	UNSAT	0.008998
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb	UNSAT	0.009997
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb	UNSAT	0.013997
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb	UNSAT	0.013997
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb	UNSAT	0.017996
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb	UNSAT	0.021995
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb	UNSAT	0.026995
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb	UNSAT	0.027995
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb	UNSAT	0.036993
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb	UNSAT	0.05399
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb	UNSAT	0.06099
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb	UNSAT	0.073987
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb	UNSAT	0.075987
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb	UNSAT	0.083986
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb	UNSAT	0.094985
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb	UNSAT	0.098984
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb	UNSAT	0.107983
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb	UNSAT	0.12498
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb	UNSAT	0.156976
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb	UNSAT	0.173973
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb	UNSAT	0.187971
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb	SAT	0.044992
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb	SAT	0.040992
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb	SAT	0.037993
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb	SAT	0.042992
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_11_sat_pb.cnf.cr.opb	SAT	0.047992
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb	SAT	0.050991
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga12_10_sat_pb.cnf.cr.opb	SAT	0.05899
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb	SAT	0.044993
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga12_12_sat_pb.cnf.cr.opb	SAT	0.053991
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb	SAT	0.051991
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb	SAT	0.100984
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga13_13_sat_pb.cnf.cr.opb	SAT	0.05599
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb	SAT	0.05899
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb	SAT	0.099984
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga14_14_sat_pb.cnf.cr.opb	SAT	0.071988
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb	SAT	0.066989
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga15_14_sat_pb.cnf.cr.opb	SAT	0.222965
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb	SAT	0.082987
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb	SAT	0.148976
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb	SAT	0.157975
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb	SAT	0.136978
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb	SAT	0.252961
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb	SAT	0.562914
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb	SAT	0.362944
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb	SAT	0.810876
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb	SAT	0.871866
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb	SAT	1.04984
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb	SAT	1.59276
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb	SAT	9.75752
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb	SAT	1.88771
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb	SAT	15.9626
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb	SAT	4.5833
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb	SAT	1.9477
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb	SAT	9.61454
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb	SAT	15.2037
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb	SAT	6.73997
normalized-opb/submitted/een/normalized-air03.opb	SAT	2.22466
normalized-opb/submitted/een/normalized-air04.opb	SAT	1.9507
normalized-opb/submitted/een/normalized-air05.opb	SAT	1.35779
normalized-opb/submitted/een/normalized-cap6000.opb	SAT	1175.14
normalized-opb/submitted/een/normalized-enigma.opb	SAT	0.009997
normalized-opb/submitted/een/normalized-fast0507.opb	SAT	1189.19
normalized-opb/submitted/een/normalized-l152lav.opb	SAT	0.237962
normalized-opb/submitted/een/normalized-lseu.opb	SAT	1.02184
normalized-opb/submitted/een/normalized-mitre.opb	SAT	1189.18
normalized-opb/submitted/een/normalized-mod008.opb	SAT	0.283956
normalized-opb/submitted/een/normalized-nw04.opb	SAT	18.0483
normalized-opb/submitted/een/normalized-p0033.opb	SAT	0.064989
normalized-opb/submitted/een/normalized-p0201.opb	SAT	1.01984
normalized-opb/submitted/een/normalized-p0282.opb	SAT	1.01884
normalized-opb/submitted/een/normalized-p0548.opb	SAT	1230.14
normalized-opb/submitted/een/normalized-p2756.opb	SAT	1.04884
normalized-opb/submitted/een/normalized-pk1.opb	SAT	0.019996
normalized-opb/submitted/een/normalized-seymour.opb	SAT	1.04984
normalized-opb/submitted/een/normalized-stein27.opb	SAT	1.02084
normalized-opb/submitted/een/normalized-stein45.opb	SAT	1.01484
normalized-opb/submitted/manquinho/logic-synthesis/normalized-5xp1.b.opb	SAT	1.03084
normalized-opb/submitted/manquinho/logic-synthesis/normalized-9sym.b.opb	SAT	0.681895
normalized-opb/submitted/manquinho/logic-synthesis/normalized-alu4.b.opb	SAT	1.03884
normalized-opb/submitted/manquinho/logic-synthesis/normalized-apex4.a.opb	SAT	1175.06
normalized-opb/submitted/manquinho/logic-synthesis/normalized-bench1.pi.opb	SAT	1.72874
normalized-opb/submitted/manquinho/logic-synthesis/normalized-clip.b.opb	SAT	1.05084
normalized-opb/submitted/manquinho/logic-synthesis/normalized-count.b.opb	SAT	1.04584
normalized-opb/submitted/manquinho/logic-synthesis/normalized-e64.b.opb	SAT	1.03484
normalized-opb/submitted/manquinho/logic-synthesis/normalized-ex5.pi.opb	SAT	1.11783
normalized-opb/submitted/manquinho/logic-synthesis/normalized-exam.pi.opb	SAT	1.06784
normalized-opb/submitted/manquinho/logic-synthesis/normalized-f51m.b.opb	SAT	1.02684
normalized-opb/submitted/manquinho/logic-synthesis/normalized-jac3.opb	SAT	1.05384
normalized-opb/submitted/manquinho/logic-synthesis/normalized-max1024.pi.opb	SAT	1.04584
normalized-opb/submitted/manquinho/logic-synthesis/normalized-prom2.pi.opb	SAT	1.71974
normalized-opb/submitted/manquinho/logic-synthesis/normalized-rot.b.opb	SAT	1.04884
normalized-opb/submitted/manquinho/logic-synthesis/normalized-sao2.b.opb	SAT	1.03784
normalized-opb/submitted/manquinho/logic-synthesis/normalized-test4.pi.opb	SAT	1175.07
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb	SAT	0.022996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-2.opb	SAT	0.017997
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-3.opb	SAT	0.017996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-4.opb	SAT	0.017996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.opb	SAT	0.023996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb	SAT	0.018996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb	SAT	0.023996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb	SAT	0.024995
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-1.opb	SAT	0.027995
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-2.opb	SAT	0.032994
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.opb	SAT	0.035993
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-4.opb	SAT	0.037993
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb	SAT	0.037993
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-2.opb	SAT	0.037994
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-3.opb	SAT	0.032994
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.opb	SAT	0.040993
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-1.opb	SAT	0.038993
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-2.opb	SAT	0.043993
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb	SAT	0.042993
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb	SAT	0.043993
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-1.opb	SAT	0.039993
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb	SAT	0.051991
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb	SAT	0.039993
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb	SAT	0.051991
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-1.opb	SAT	0.075987
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb	SAT	0.075987
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb	SAT	0.088986
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-4.opb	SAT	0.071988
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb	SAT	0.066989
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb	SAT	0.109982
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-3.opb	SAT	0.065989
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb	SAT	0.073988
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-1.opb	SAT	0.009997
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-2.opb	SAT	0.008997
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-3.opb	SAT	0.008997
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-4.opb	SAT	0.008997
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb	SAT	0.012997
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-2.opb	SAT	0.010997
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-3.opb	SAT	0.014996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb	SAT	0.011997
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-1.opb	SAT	0.013997
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-2.opb	SAT	0.018997
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-3.opb	SAT	0.015996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-4.opb	SAT	0.015997
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-1.opb	SAT	0.016996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-2.opb	SAT	0.016997
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb	SAT	0.015996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-4.opb	SAT	0.016996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf0432-007.opb	UNSAT	0.245962
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-075.opb	UNSAT	0.262959
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-638.opb	UNSAT	0.245962
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf2670-001.opb	UNSAT	0.132978
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-f1000.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-f2000.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-f600.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g125.17.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g125.18.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g250.15.opb	UNSAT	0.065989
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g250.29.opb	UNSAT	0.12398
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-hanoi4.opb	SAT	0.999847
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb	SAT	21.5857
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16a1.opb	SAT	1175.06
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16a2.opb	SAT	1175.16
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16b1.opb	SAT	1175.09
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16b2.opb	SAT	20.8518
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16c1.opb	SAT	1175.05
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16c2.opb	SAT	24.4083
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16d1.opb	SAT	1175.05
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16d2.opb	SAT	19.988
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16e1.opb	SAT	1175.05
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16e2.opb	SAT	6.555
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32a1.opb	SAT	9.00763
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b1.opb	SAT	1.02784
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b2.opb	SAT	1.03184
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b3.opb	SAT	1.03984
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b4.opb	SAT	1.03584
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c1.opb	SAT	1.03084
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb	SAT	1.03184
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c3.opb	SAT	1.03284
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c4.opb	SAT	23.6604
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d1.opb	SAT	1.02484
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d2.opb	SAT	1.04284
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d3.opb	SAT	269.791
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e1.opb	SAT	1.02184
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e2.opb	SAT	1.03084
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e3.opb	SAT	1.02584
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e4.opb	SAT	130.714
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e5.opb	SAT	312.97
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a1.opb	SAT	0.763883
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb	SAT	1.02584
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a3.opb	SAT	1.02384
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a4.opb	SAT	1.02084
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b1.opb	SAT	1.03684
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b2.opb	SAT	1.03984
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b3.opb	SAT	1.06684
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b4.opb	SAT	1.09983
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8c1.opb	SAT	1.02984
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8c2.opb	SAT	1.05684
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8d1.opb	SAT	1.05184
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8d2.opb	SAT	1.07284
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8e1.opb	SAT	1.03484
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8e2.opb	SAT	1.04884
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh1.opb	SAT	0.244961
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh12.opb	SAT	0.065989
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh17.opb	SAT	0.097984
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh201.opb	SAT	1.01884
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh204.opb	SAT	0.142977
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh205.opb	SAT	0.079986
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh207.opb	SAT	0.086986
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh209.opb	SAT	0.137978
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh210.opb	SAT	0.694894
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh212.opb	SAT	0.094985
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh213.opb	SAT	0.081986
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh217.opb	SAT	1.02284
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh218.opb	SAT	0.12998
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh220.opb	SAT	0.160974
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh301.opb	SAT	0.099984
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh7.opb	SAT	0.123981
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-1-c.opb	SAT	2.73158
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-1.opb	SAT	7.43487
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-2-c.opb	SAT	3.33749
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-2.opb	SAT	11.3383
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-3-c.opb	SAT	2.53961
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-3.opb	SAT	3.2935
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-4-c.opb	SAT	0.809876
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-4.opb	SAT	1.03384
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-5-c.opb	SAT	2.19167
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-5.opb	SAT	2.88856
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-1-c.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-1.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-2-c.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-2.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-3.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-4-c.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-4.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-5-c.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-5.opb
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-1-c.opb	SAT	0.020996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-1.opb	SAT	0.078987
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-2-c.opb	SAT	0.018996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-2.opb	SAT	0.073988
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-3-c.opb	SAT	0.026995
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-3.opb	SAT	0.075988
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-4-c.opb	SAT	0.017996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-4.opb	SAT	0.065989
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-5-c.opb	SAT	0.020996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-5.opb	SAT	0.069989
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa0432-003.opb	UNSAT	0.049991
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-130.opb	UNSAT	0.164974
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-141.opb	UNSAT	0.158974
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa6288-047.opb	UNSAT	0.177972
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-038.opb	SAT	1.05184
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-158.opb	SAT	1.06784
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-159.opb	SAT	1.07284
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-160.opb	SAT	1.04284
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-1pb.opb	SAT	0.082986
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-2pb.opb	SAT	0.076987
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-3pb.opb	SAT	0.075987
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-4pb.opb	SAT	0.094984
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-5pb.opb	SAT	0.214967
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-10pb.opb	SAT	1.03284
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-1pb.opb	SAT	1.03484
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-2pb.opb	SAT	1.03884
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-3pb.opb	SAT	1.02984
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-4pb.opb	SAT	1.03784
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-5pb.opb	SAT	1.04084
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-6pb.opb	SAT	1.03684
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-7pb.opb	SAT	1.02884
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-8pb.opb	SAT	0.903861
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-9pb.opb	SAT	1.04684
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb	SAT	1.02684
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-b1.opb	SAT	0.009998
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C17.opb	SAT	0.004998
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb	SAT	1.02584
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-c8.opb	SAT	0.941856
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb	SAT	0.134979
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb	SAT	0.168973
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cmb.opb	SAT	0.97785
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-mux.opb	SAT	0.332949
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-my_adder.opb	SAT	1.02584
normalized-opb/submitted/manquinho/ttp/normalized-circ10_3.opb	SAT	1189.1
normalized-opb/submitted/manquinho/ttp/normalized-circ4_3.opb	SAT	0.626903
normalized-opb/submitted/manquinho/ttp/normalized-circ6_3.opb	SAT	1175.98
normalized-opb/submitted/manquinho/ttp/normalized-circ8_3.opb	SAT	1189.06
normalized-opb/submitted/manquinho/ttp/normalized-data10_3.opb	SAT	1189.07
normalized-opb/submitted/manquinho/ttp/normalized-data4_3.opb	SAT	0.784879
normalized-opb/submitted/manquinho/ttp/normalized-data6_3.opb	SAT	1.03084
normalized-opb/submitted/manquinho/ttp/normalized-data8_3.opb	SAT	1189.04
normalized-opb/submitted/sorensson/garden/normalized-g100x100.opb	SAT	1175.49
normalized-opb/submitted/sorensson/garden/normalized-g15x15.opb	SAT	1.01784
normalized-opb/submitted/sorensson/garden/normalized-g2x2.opb	SAT	0.004998
normalized-opb/submitted/sorensson/garden/normalized-g4x4.opb	SAT	0.008998
normalized-opb/submitted/sorensson/garden/normalized-g7x7.opb	SAT	0.083986
normalized-opb/submitted/sorensson/garden/normalized-g9x3.opb	SAT	0.009998
normalized-opb/submitted/sorensson/garden/normalized-g9x9.opb	SAT	0.676896
normalized-opb/web/uclid_pb_benchmarks/normalized-22s.smv.opb	UNSAT	1.69674
normalized-opb/web/uclid_pb_benchmarks/normalized-25s.smv.opb	UNSAT	0.792878
normalized-opb/web/uclid_pb_benchmarks/normalized-37s.smv.opb	UNSAT	0.173972
normalized-opb/web/uclid_pb_benchmarks/normalized-43s.smv.opb	UNSAT	1.50177
normalized-opb/web/uclid_pb_benchmarks/normalized-44s.smv.opb	UNSAT	0.093985
normalized-opb/web/uclid_pb_benchmarks/normalized-46s.smv.opb	UNSAT	0.38594
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb	UNSAT	0.025995
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl.opb	UNSAT	0.018996
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl.opb	UNSAT	0.016997
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb	UNSAT	0.088985
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb	UNSAT	0.371942
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb	UNSAT	0.184971
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb	UNSAT	0.350946
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb	UNSAT	1.41578
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.opb
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb	UNSAT	45.816
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb	UNSAT	5.59415
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb	UNSAT	1075.62
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb	SAT	12.0522
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv10.ucl.opb	UNSAT	0.883865
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb	UNSAT	16.8454
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb	UNSAT	0.145976
normalized-opb/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb	UNSAT	2.54361
normalized-opb/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb	UNSAT	2.26665
normalized-opb/web/uclid_pb_benchmarks/normalized-dlx1c.ucl.opb	UNSAT	1.62775
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf10.ucl.opb	UNSAT	20.5079
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb	UNSAT	0.007998
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb	UNSAT	0.12998
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb	UNSAT	0.828873
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb	UNSAT	3.32549
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.2.accl.ucl.opb	UNSAT	3.58545
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl.opb	UNSAT	9.8365
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.4.accl.ucl.opb	UNSAT	0.796878
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl.opb
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb	UNSAT	95.1845
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb	UNSAT	26.086
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb	UNSAT	0.230964
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb	UNSAT	0.626904
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb	UNSAT	2.00469
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb	UNSAT	6.20806
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb	UNSAT	5.13722
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb	UNSAT	20.7588
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb	UNSAT	56.8973
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb	UNSAT	1.40878
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb	UNSAT	487.167
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb	SAT	1.04684
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb	SAT	1.05584
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb	SAT	1.04584
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb	SAT	1.05084
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb	SAT	1.04884
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb	SAT	1175.05
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb	SAT	1175.05
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb	SAT	1175.05
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb	SAT	1175.05
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb	SAT	1175.05
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb	SAT	1175.06
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb	SAT	1175.06
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb	SAT	1175.06
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb	SAT	1175.06
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb	SAT	1175.08
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb	SAT	1175.08
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb	SAT	1175.08
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb	SAT	1175.07
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb	SAT	1175.07
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb	SAT	1175.08
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb	SAT	1175.08
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb	SAT	1175.09
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb	SAT	1175.09
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb	SAT	1175.1
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb	SAT	1175.08
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb	SAT	1175.1
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb	SAT	1175.11
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb	SAT	1175.12
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb	SAT	1175.12
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb	SAT	1175.11
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb	SAT	1175.11
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb	SAT	1175.12
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb	SAT	1175.11
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb	SAT	1175.12
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb	SAT	1175.12
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb	SAT	1175.13
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb	SAT	1175.15
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb	SAT	1175.13
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb	SAT	1175.14
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb	SAT	1175.13
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb	SAT	1175.07
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb	SAT	1.05084
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb	SAT	1.05184
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb	SAT	1.07184
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb	SAT	1.02984
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb	SAT	15.8556
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb	SAT	6.63699
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb	SAT	7.63384
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb	SAT	362.64
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb	SAT	16.5575
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.5:100.opb	SAT	1.03484
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb	SAT	1.02284
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb	SAT	1.03584
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb	SAT	1.04084
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb	SAT	1.03784
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb	SAT	1.04184
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb	SAT	1.06284
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:100.opb	SAT	1.06984
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:98.opb	SAT	1.07084
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb	SAT	1175.19
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:100.opb	SAT	1175.29
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:98.opb	SAT	1175.14

List of all benchmarks

no optimization function [Show/Hide]

optimization, small integers [Show/Hide]

optimization, medium integers [Show/Hide]

optimization, big integers [Show/Hide]

All categories [Show/Hide]