Result page for solver pb2sat+zchaff v2
Category "no optimization function" (SAT)
Solver found a solution (SATISFIABLE) (36 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb
SAT
41919
0.232963
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga14_14_sat_pb.cnf.cr.opb
SAT
41915
0.26096
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb
SAT
41903
0.264959
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_11_sat_pb.cnf.cr.opb
SAT
41904
0.296954
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb
SAT
41901
0.358944
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb
SAT
41914
0.368943
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb
SAT
41883
0.446932
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga15_14_sat_pb.cnf.cr.opb
SAT
41918
0.52192
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga13_13_sat_pb.cnf.cr.opb
SAT
41912
0.617905
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb
SAT
41908
0.84787
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb
SAT
41906
0.967852
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb
SAT
41917
1.04284
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga12_12_sat_pb.cnf.cr.opb
SAT
41910
1.08183
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga12_10_sat_pb.cnf.cr.opb
SAT
41909
1.16482
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb
SAT
41913
1.3438
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb
SAT
41916
1.42078
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb
SAT
41911
1.78573
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb
SAT
41920
3.75743
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb
SAT
41902
4.11337
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb
SAT
41921
4.95025
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb
SAT
41922
5.15421
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb
SAT
41924
5.62314
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb
SAT
41923
7.70083
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb
SAT
41926
7.9168
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
SAT
42239
8.42772
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
SAT
41925
9.81351
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb
SAT
41927
16.6265
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb
SAT
41930
21.9657
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
SAT
42162
38.0562
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb
SAT
41929
49.5875
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb
SAT
41928
50.5473
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb
SAT
41931
110.364
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb
SAT
41933
216.68
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb
SAT
41932
246.883
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
SAT
42240
282.408
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb
SAT
41935
739.202
Solver proved unsatitisfiability (UNSATISFIABLE) (42 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb
UNSAT
42169
0.018996
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl.opb
UNSAT
42151
0.087986
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl.opb
UNSAT
42150
0.108982
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb
UNSAT
42149
0.147976
normalized-opb/web/uclid_pb_benchmarks/normalized-44s.smv.opb
UNSAT
42146
0.332948
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb
UNSAT
42170
0.435933
normalized-opb/web/uclid_pb_benchmarks/normalized-37s.smv.opb
UNSAT
42144
0.524919
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb
UNSAT
42164
0.708891
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb
UNSAT
42183
0.710891
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb
UNSAT
42152
1.06684
normalized-opb/web/uclid_pb_benchmarks/normalized-46s.smv.opb
UNSAT
42147
1.38179
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb
UNSAT
42141
1.46978
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb
UNSAT
42184
1.9907
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb
UNSAT
42153
2.11068
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb
UNSAT
42171
2.50662
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb
UNSAT
42154
2.6346
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv10.ucl.opb
UNSAT
42161
2.65959
normalized-opb/web/uclid_pb_benchmarks/normalized-25s.smv.opb
UNSAT
42143
2.82557
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.4.accl.ucl.opb
UNSAT
42175
3.37249
normalized-opb/web/uclid_pb_benchmarks/normalized-22s.smv.opb
UNSAT
42142
3.76243
normalized-opb/web/uclid_pb_benchmarks/normalized-dlx1c.ucl.opb
UNSAT
42168
3.9644
normalized-opb/web/uclid_pb_benchmarks/normalized-43s.smv.opb
UNSAT
42145
4.50331
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb
UNSAT
42190
5.2332
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb
UNSAT
42186
5.83511
normalized-opb/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb
UNSAT
42167
6.87695
normalized-opb/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb
UNSAT
42166
7.2029
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb
UNSAT
42172
10.8443
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb
UNSAT
42187
15.1767
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.2.accl.ucl.opb
UNSAT
42174
15.1927
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb
UNSAT
42155
15.8136
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb
UNSAT
42188
23.3125
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
UNSAT
42158
30.2824
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb
UNSAT
42163
33.5909
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb
UNSAT
41884
40.4688
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf10.ucl.opb
UNSAT
42173
50.5403
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb
UNSAT
42191
83.1694
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl.opb
UNSAT
42176
93.1548
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb
UNSAT
42185
139.359
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
UNSAT
42159
180.254
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb
UNSAT
42193
305.712
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
UNSAT
42179
454.502
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb
UNSAT
41885
532.093
Solver timed out (no solution given) (35 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
UNKNOWN
41940
1200.21
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb
UNKNOWN
41939
1200.29
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb
UNKNOWN
41938
1200.32
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
UNKNOWN
41905
1200.35
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
UNKNOWN
42246
1200.36
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb
UNKNOWN
41895
1200.39
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb
UNKNOWN
41907
1200.41
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl.opb
UNKNOWN
42189
1200.43
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb
UNKNOWN
41894
1200.44
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb
UNKNOWN
41934
1200.44
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb
UNKNOWN
41900
1200.45
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb
UNKNOWN
41891
1200.45
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb
UNKNOWN
41899
1200.47
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb
UNKNOWN
41897
1200.47
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb
UNKNOWN
42182
1200.48
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb
UNKNOWN
41886
1200.5
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
UNKNOWN
41896
1200.5
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb
UNKNOWN
41893
1200.53
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb
UNKNOWN
41898
1200.54
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb
UNKNOWN
41892
1200.6
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
UNKNOWN
42181
1200.6
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
UNKNOWN
41936
1200.6
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
UNKNOWN
42243
1200.88
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.opb
UNKNOWN
42177
1200.89
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
UNKNOWN
42245
1200.93
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb
UNKNOWN
42194
1201.24
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb
UNKNOWN
42195
1201.27
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
UNKNOWN
42244
1201.33
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
UNKNOWN
42178
1201.82
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
UNKNOWN
42180
1201.98
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
UNKNOWN
42192
1202.17
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb
UNKNOWN
41888
1209.74
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb
UNKNOWN
41889
1209.94
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb
UNKNOWN
41887
1209.97
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb
UNKNOWN
41890
1210.24
Category "optimization, small integers" (OPTSMALLINT)
Solver found optimum (OPTIMUM FOUND) (136 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/submitted/sorensson/garden/normalized-g2x2.opb
OPT FOUND
42255
0.005998
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein9.opb
OPT FOUND
42814
0.013997
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein9.opb
OPT FOUND
42430
0.014997
normalized-opb/submitted/sorensson/garden/normalized-g4x4.opb
OPT FOUND
42257
0.016996
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein15.opb
OPT FOUND
42427
0.05699
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein15.opb
OPT FOUND
42811
0.06099
normalized-opb/submitted/sorensson/garden/normalized-g9x3.opb
OPT FOUND
42258
0.071988
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C17.opb
OPT FOUND
42124
0.119981
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-4.opb
OPT FOUND
41989
0.282956
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-2.opb
OPT FOUND
41986
0.285955
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-1.opb
OPT FOUND
41985
0.286955
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-2.opb
OPT FOUND
41991
0.286956
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb
OPT FOUND
41993
0.290955
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-3.opb
OPT FOUND
41988
0.291955
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-3.opb
OPT FOUND
41992
0.295954
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-1.opb
OPT FOUND
41994
0.301953
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-4.opb
OPT FOUND
42001
0.305953
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb
OPT FOUND
42000
0.305953
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb
OPT FOUND
41990
0.318951
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-2.opb
OPT FOUND
41999
0.323949
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-1.opb
OPT FOUND
41998
0.324949
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-4.opb
OPT FOUND
41997
0.343947
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-3.opb
OPT FOUND
41996
0.361944
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-2.opb
OPT FOUND
41995
0.365943
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-1-c.opb
OPT FOUND
42090
0.579911
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-4-c.opb
OPT FOUND
42096
0.633902
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-2-c.opb
OPT FOUND
42092
0.659899
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-b1.opb
OPT FOUND
42126
0.680896
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-3-c.opb
OPT FOUND
42094
0.755884
normalized-opb/submitted/sorensson/garden/normalized-g7x7.opb
OPT FOUND
42254
0.826874
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-5-c.opb
OPT FOUND
42098
0.858868
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb
OPT FOUND
41958
1.3288
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-4.opb
OPT FOUND
41955
1.3288
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-2.opb
OPT FOUND
41953
1.3308
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.opb
OPT FOUND
41956
1.3328
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb
OPT FOUND
41952
1.3348
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-1.opb
OPT FOUND
41960
1.3378
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb
OPT FOUND
41957
1.3398
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb
OPT FOUND
41959
1.3438
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-3.opb
OPT FOUND
41954
1.36679
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-3.opb
OPT FOUND
41966
1.36879
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-4.opb
OPT FOUND
41963
1.38879
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.opb
OPT FOUND
41962
1.40379
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-2.opb
OPT FOUND
41961
1.41278
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-2.opb
OPT FOUND
41965
1.41378
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb
OPT FOUND
41964
1.46578
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.opb
OPT FOUND
41967
1.46778
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-1pb.opb
OPT FOUND
42108
1.52577
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh12.opb
OPT FOUND
42055
1.61275
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-2pb.opb
OPT FOUND
42109
1.68474
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh207.opb
OPT FOUND
42060
1.73973
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh213.opb
OPT FOUND
42065
1.9587
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-3pb.opb
OPT FOUND
42110
2.06768
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh212.opb
OPT FOUND
42064
2.10968
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh17.opb
OPT FOUND
42056
2.14567
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh205.opb
OPT FOUND
42059
2.29065
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh7.opb
OPT FOUND
42069
2.81357
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh218.opb
OPT FOUND
42066
2.84157
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh301.opb
OPT FOUND
42068
2.99954
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh209.opb
OPT FOUND
42061
3.76843
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh220.opb
OPT FOUND
42067
4.37633
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh204.opb
OPT FOUND
42058
4.41333
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-5pb.opb
OPT FOUND
42112
4.63629
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos18.opb
OPT FOUND
42605
4.94425
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos18.opb
OPT FOUND
42989
4.95125
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-4pb.opb
OPT FOUND
42111
4.95825
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-1.opb
OPT FOUND
41973
5.9111
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb
OPT FOUND
41971
5.9121
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb
OPT FOUND
41982
5.9301
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb
OPT FOUND
41987
5.99909
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb
OPT FOUND
41976
6.01808
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb
OPT FOUND
41972
6.05508
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-4.opb
OPT FOUND
41979
6.08507
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-1.opb
OPT FOUND
41968
6.10207
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb
OPT FOUND
41975
6.13207
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh1.opb
OPT FOUND
42054
6.18106
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-1.opb
OPT FOUND
41977
6.25605
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-2.opb
OPT FOUND
41970
6.37903
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb
OPT FOUND
41974
6.45502
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb
OPT FOUND
42233
6.64999
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-3.opb
OPT FOUND
41984
6.86796
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb
OPT FOUND
41978
6.90495
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb
OPT FOUND
41983
7.13691
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein27.opb
OPT FOUND
42428
7.30189
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-stein27.opb
OPT FOUND
42933
7.35788
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein27.opb
OPT FOUND
42812
7.37588
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-stein27.opb
OPT FOUND
42549
7.37788
normalized-opb/submitted/een/normalized-stein27.opb
OPT FOUND
42275
7.42987
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb
OPT FOUND
41980
7.64184
normalized-opb/submitted/manquinho/ttp/normalized-circ4_3.opb
OPT FOUND
42134
8.64868
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a1.opb
OPT FOUND
42040
10.9733
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh210.opb
OPT FOUND
42063
14.3608
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-1.opb
OPT FOUND
42091
20.9498
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-2.opb
OPT FOUND
42093
21.3568
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-3.opb
OPT FOUND
42095
21.4447
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-4.opb
OPT FOUND
42097
21.7937
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-5.opb
OPT FOUND
42099
22.5576
normalized-opb/submitted/manquinho/logic-synthesis/normalized-9sym.b.opb
OPT FOUND
41937
24.3023
normalized-opb/submitted/een/normalized-p0033.opb
OPT FOUND
42267
30.8843
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0033.opb
OPT FOUND
42795
31.0243
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb
OPT FOUND
42411
31.0883
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0033.opb
OPT FOUND
42918
31.0933
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0033.opb
OPT FOUND
42534
31.8232
normalized-opb/submitted/sorensson/garden/normalized-g9x9.opb
OPT FOUND
42260
34.8787
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh217.opb
OPT FOUND
42070
39.0731
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-3-c.opb
OPT FOUND
42074
43.5904
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb
OPT FOUND
42383
46.153
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bm23.opb
OPT FOUND
42769
46.321
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-10pb.opb
OPT FOUND
42113
75.9994
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-8pb.opb
OPT FOUND
42121
85.334
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-4-c.opb
OPT FOUND
42076
113.107
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-7pb.opb
OPT FOUND
42122
132.569
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-9pb.opb
OPT FOUND
42125
132.993
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-6pb.opb
OPT FOUND
42119
145.213
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos8.opb
OPT FOUND
42620
311.301
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos8.opb
OPT FOUND
43001
311.319
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-1-c.opb
OPT FOUND
42073
374.108
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b2.opb
OPT FOUND
42029
501.503
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16e2.opb
OPT FOUND
42023
535.904
normalized-opb/submitted/manquinho/logic-synthesis/normalized-clip.b.opb
OPT FOUND
41944
569.686
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b4.opb
OPT FOUND
42031
584.415
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-2-c.opb
OPT FOUND
42080
601.84
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-1pb.opb
OPT FOUND
42120
617.093
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-hanoi4.opb
OPT FOUND
42015
618.418
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-4pb.opb
OPT FOUND
42127
683.125
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-5pb.opb
OPT FOUND
42129
706.833
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-3pb.opb
OPT FOUND
42128
716.663
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-5-c.opb
OPT FOUND
42084
730.113
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-2pb.opb
OPT FOUND
42123
779.124
normalized-opb/submitted/manquinho/ttp/normalized-data4_3.opb
OPT FOUND
42156
837.53
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32a1.opb
OPT FOUND
42028
891.177
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e3.opb
OPT FOUND
42043
905.607
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh201.opb
OPT FOUND
42078
935.451
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos10.opb
OPT FOUND
42604
1157.91
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos10.opb
OPT FOUND
42987
1161.69
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b3.opb
OPT FOUND
42032
1194
Solver found a wrong optimum (1 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/submitted/een/normalized-pk1.opb
OPT FOUND
42271
25.6361
Solver timed out but found at least a solution) (149 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
UNKNOWN
42474
1202.2
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
UNKNOWN
42223
1202.21
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb
UNKNOWN
42488
1202.21
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
UNKNOWN
42220
1202.22
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb
UNKNOWN
42224
1202.25
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb
UNKNOWN
42217
1202.25
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb
UNKNOWN
42226
1202.25
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
UNKNOWN
42206
1202.25
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-seymour.opb
UNKNOWN
42555
1202.26
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb
UNKNOWN
42225
1202.26
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv42z.opb
UNKNOWN
42857
1202.27
normalized-opb/submitted/manquinho/logic-synthesis/normalized-max1024.pi.opb
UNKNOWN
41941
1202.27
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
UNKNOWN
42221
1202.27
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
UNKNOWN
42229
1202.27
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lp4l.opb
UNKNOWN
42788
1202.27
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb
UNKNOWN
42227
1202.28
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb
UNKNOWN
42409
1202.29
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-seymour.opb
UNKNOWN
42872
1202.29
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
UNKNOWN
42212
1202.3
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
UNKNOWN
42234
1202.31
normalized-opb/submitted/manquinho/logic-synthesis/normalized-rot.b.opb
UNKNOWN
42007
1202.32
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb
UNKNOWN
42238
1202.35
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d3.opb
UNKNOWN
42039
1202.36
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb
UNKNOWN
42236
1202.36
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-mux.opb
UNKNOWN
42138
1202.36
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb
UNKNOWN
42231
1202.38
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b3.opb
UNKNOWN
42051
1202.38
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb
UNKNOWN
42424
1202.38
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb
UNKNOWN
42216
1202.39
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-c8.opb
UNKNOWN
42132
1202.39
normalized-opb/submitted/manquinho/logic-synthesis/normalized-ex5.pi.opb
UNKNOWN
41950
1202.41
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0040.opb
UNKNOWN
42808
1202.42
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-seymour.opb
UNKNOWN
42941
1202.42
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
UNKNOWN
42219
1202.43
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-p2756.opb
UNKNOWN
42860
1202.43
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8e2.opb
UNKNOWN
42082
1202.43
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p2756.opb
UNKNOWN
42930
1202.44
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p2756.opb
UNKNOWN
42547
1202.45
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p2756.opb
UNKNOWN
42426
1202.45
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-10teams.opb
UNKNOWN
42507
1202.45
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b2.opb
UNKNOWN
42050
1202.45
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
UNKNOWN
42228
1202.45
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb
UNKNOWN
42476
1202.46
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8c2.opb
UNKNOWN
42057
1202.46
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16e1.opb
UNKNOWN
42027
1202.46
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv11.opb
UNKNOWN
42856
1202.48
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p2756.opb
UNKNOWN
42810
1202.48
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
UNKNOWN
42222
1202.49
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c4.opb
UNKNOWN
42036
1202.5
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16d1.opb
UNKNOWN
42025
1202.5
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b4.opb
UNKNOWN
42052
1202.5
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb
UNKNOWN
42230
1202.51
normalized-opb/submitted/manquinho/logic-synthesis/normalized-prom2.pi.opb
UNKNOWN
42006
1202.51
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cmb.opb
UNKNOWN
42137
1202.51
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb
UNKNOWN
42131
1202.51
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb
UNKNOWN
42237
1202.54
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16c1.opb
UNKNOWN
42024
1202.56
normalized-opb/submitted/een/normalized-seymour.opb
UNKNOWN
42277
1202.57
normalized-opb/submitted/manquinho/logic-synthesis/normalized-jac3.opb
UNKNOWN
41981
1202.58
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb
UNKNOWN
42447
1202.62
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8d2.opb
UNKNOWN
42072
1202.65
normalized-opb/submitted/manquinho/logic-synthesis/normalized-apex4.a.opb
UNKNOWN
41947
1202.65
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sentoy.opb
UNKNOWN
42815
1202.66
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-10teams.opb
UNKNOWN
42829
1202.66
normalized-opb/submitted/een/normalized-p2756.opb
UNKNOWN
42285
1202.67
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb
UNKNOWN
42431
1202.67
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-10teams.opb
UNKNOWN
42890
1202.68
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb
UNKNOWN
42473
1202.69
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16d2.opb
UNKNOWN
42026
1202.76
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb
UNKNOWN
42242
1202.86
normalized-opb/submitted/een/normalized-p0201.opb
UNKNOWN
42294
1202.94
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos16.opb
SAT
42998
1200.27
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos5.opb
SAT
43011
1200.3
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb
SAT
42475
1200.31
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-opt1217.opb
SAT
42859
1200.32
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb
SAT
42629
1200.33
normalized-opb/submitted/een/normalized-stein45.opb
SAT
42304
1200.34
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb
SAT
42616
1200.36
normalized-opb/submitted/manquinho/ttp/normalized-circ6_3.opb
SAT
42160
1200.36
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-stein45.opb
SAT
42557
1200.38
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb
SAT
42046
1200.39
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb
SAT
42437
1200.4
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-stein45.opb
SAT
42943
1200.4
normalized-opb/submitted/sorensson/garden/normalized-g15x15.opb
SAT
42274
1200.41
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-protfold.opb
SAT
42869
1200.46
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos1.opb
SAT
43002
1200.46
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
SAT
42484
1200.49
normalized-opb/submitted/manquinho/logic-synthesis/normalized-sao2.b.opb
SAT
42008
1200.52
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein45.opb
SAT
42822
1200.53
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.5:100.opb
SAT
42256
1200.55
normalized-opb/submitted/manquinho/logic-synthesis/normalized-f51m.b.opb
SAT
41969
1200.55
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e1.opb
SAT
42041
1200.55
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c1.opb
SAT
42033
1200.55
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b1.opb
SAT
42030
1200.59
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb
SAT
42618
1200.59
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
SAT
42034
1200.62
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a3.opb
SAT
42047
1200.64
normalized-opb/submitted/manquinho/ttp/normalized-circ8_3.opb
SAT
42165
1200.66
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
SAT
42248
1200.66
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb
SAT
42199
1200.67
normalized-opb/submitted/manquinho/logic-synthesis/normalized-count.b.opb
SAT
41948
1200.68
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
SAT
42200
1200.68
normalized-opb/submitted/manquinho/logic-synthesis/normalized-5xp1.b.opb
SAT
41943
1200.69
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e2.opb
SAT
42042
1200.7
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb
SAT
42196
1200.71
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb
SAT
42197
1200.71
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c3.opb
SAT
42035
1200.77
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
SAT
42263
1200.85
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb
SAT
42198
1200.91
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb
SAT
42136
1200.94
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b1.opb
SAT
42049
1201.01
normalized-opb/submitted/manquinho/logic-synthesis/normalized-e64.b.opb
SAT
41949
1201.01
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-lseu.opb
SAT
42533
1201.09
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-lseu.opb
SAT
42914
1201.12
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lseu.opb
SAT
42792
1201.15
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d1.opb
SAT
42037
1201.15
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d2.opb
SAT
42038
1201.22
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb
SAT
42413
1201.24
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a4.opb
SAT
42048
1201.27
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb
SAT
42135
1201.31
normalized-opb/submitted/een/normalized-lseu.opb
SAT
42281
1201.32
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
SAT
42207
1201.44
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
SAT
42208
1201.44
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e4.opb
SAT
42044
1201.46
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb
SAT
42209
1201.47
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
SAT
42264
1201.53
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
SAT
42210
1201.6
normalized-opb/submitted/manquinho/logic-synthesis/normalized-alu4.b.opb
SAT
41946
1201.64
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0201.opb
SAT
42928
1201.67
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0201.opb
SAT
42544
1201.67
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0201.opb
SAT
42809
1201.69
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb
SAT
42425
1201.7
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
SAT
42202
1201.74
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb
SAT
42205
1201.74
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
SAT
42269
1201.74
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
SAT
42201
1201.74
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
SAT
42203
1201.76
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
SAT
42213
1201.89
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb
SAT
42214
1201.9
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb
SAT
42215
1201.9
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
SAT
42211
1201.91
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
SAT
42259
1201.95
normalized-opb/submitted/manquinho/ttp/normalized-circ10_3.opb
SAT
42157
1201.98
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
SAT
42204
1202.02
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8c1.opb
SAT
42053
1202.04
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8d1.opb
SAT
42062
1202.08
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8e1.opb
SAT
42081
1202.12
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e5.opb
SAT
42045
1202.13
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
SAT
42218
1202.18
Solver proved unsatitisfiability (UNSATISFIABLE) (10 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-diamond.opb
UNSAT
42387
0.003998
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-diamond.opb
UNSAT
42770
0.004998
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa0432-003.opb
UNSAT
42100
0.166974
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-141.opb
UNSAT
42102
0.486925
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf2670-001.opb
UNSAT
42005
0.636902
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-130.opb
UNSAT
42101
0.661899
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf0432-007.opb
UNSAT
42002
0.777881
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-075.opb
UNSAT
42003
1.23981
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-638.opb
UNSAT
42004
1.23981
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa6288-047.opb
UNSAT
42103
11.4093
Unexpected exit code (UNKNOWN) (57 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/submitted/een/normalized-l152lav.opb
UNKNOWN
42280
11.8512
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-net12.opb
UNKNOWN
42852
100.021
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-net12.opb
UNKNOWN
42467
102.19
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow40b.opb
UNKNOWN
42820
103.198
normalized-opb/submitted/een/normalized-mitre.opb
UNKNOWN
42272
110.244
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-seymour1.opb
UNKNOWN
43004
110.57
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb
UNKNOWN
42527
113.08
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mitre.opb
UNKNOWN
42910
113.512
normalized-opb/submitted/een/normalized-mod008.opb
UNKNOWN
42273
113.804
normalized-opb/submitted/manquinho/ttp/normalized-data6_3.opb
UNKNOWN
42140
115.473
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod008.opb
UNKNOWN
42530
116.291
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod008.opb
UNKNOWN
42791
116.347
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod008.opb
UNKNOWN
42912
117.576
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb
UNKNOWN
42406
117.668
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
UNKNOWN
42251
119.098
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
UNKNOWN
42249
119.201
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
UNKNOWN
42252
119.212
normalized-opb/submitted/manquinho/logic-synthesis/normalized-bench1.pi.opb
UNKNOWN
41942
119.751
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
UNKNOWN
42253
119.843
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:100.opb
UNKNOWN
42250
119.851
normalized-opb/submitted/sorensson/garden/normalized-g100x100.opb
UNKNOWN
42262
120.168
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:100.opb
UNKNOWN
42247
120.647
normalized-opb/submitted/manquinho/logic-synthesis/normalized-exam.pi.opb
UNKNOWN
41945
121.049
normalized-opb/submitted/manquinho/logic-synthesis/normalized-test4.pi.opb
UNKNOWN
41951
121.065
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-manna81.opb
UNKNOWN
42836
121.164
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-manna81.opb
UNKNOWN
42453
121.617
normalized-opb/submitted/manquinho/ttp/normalized-data8_3.opb
UNKNOWN
42148
122.303
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos19.opb
UNKNOWN
42990
132.648
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb
UNKNOWN
42232
141.738
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb
UNKNOWN
42606
152.491
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-158.opb
UNKNOWN
42106
157.486
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-159.opb
UNKNOWN
42107
161.915
normalized-opb/submitted/manquinho/ttp/normalized-data10_3.opb
UNKNOWN
42139
162.369
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-038.opb
UNKNOWN
42104
173.638
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-160.opb
UNKNOWN
42114
174.487
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-3.opb
UNKNOWN
42077
179.744
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-1.opb
UNKNOWN
42071
190.794
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-2.opb
UNKNOWN
42075
193.067
normalized-opb/submitted/een/normalized-p0548.opb
UNKNOWN
42283
194.955
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-my_adder.opb
UNKNOWN
42133
195.022
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-4.opb
UNKNOWN
42079
195.89
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-5.opb
UNKNOWN
42083
219.214
normalized-opb/submitted/een/normalized-fast0507.opb
UNKNOWN
42265
232.444
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb
UNKNOWN
42444
247.588
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fast0507.opb
UNKNOWN
42827
248.309
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-fast0507.opb
UNKNOWN
42509
248.712
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fast0507.opb
UNKNOWN
42891
248.759
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb
UNKNOWN
42416
258.03
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0548.opb
UNKNOWN
42537
258.59
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0548.opb
UNKNOWN
42922
258.911
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0548.opb
UNKNOWN
42800
260.282
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb
UNKNOWN
42130
325.219
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16c2.opb
UNKNOWN
42022
466.151
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16a2.opb
UNKNOWN
42016
477.441
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16b2.opb
UNKNOWN
42019
556.248
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16b1.opb
UNKNOWN
42017
614.182
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16a1.opb
UNKNOWN
42018
1041.28
Solver timed out (no solution given) (33 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb
UNKNOWN
42021
1200.25
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-f1000.opb
UNKNOWN
42009
1200.29
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-2.opb
UNKNOWN
42088
1200.31
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-1.opb
UNKNOWN
42086
1200.33
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-5.opb
UNKNOWN
42118
1200.33
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g250.29.opb
UNKNOWN
42020
1200.34
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb
UNKNOWN
42089
1200.34
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-4.opb
UNKNOWN
42116
1200.35
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g125.17.opb
UNKNOWN
42012
1200.36
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-3.opb
UNKNOWN
42105
1200.37
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-5-c.opb
UNKNOWN
42117
1200.37
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g125.18.opb
UNKNOWN
42013
1200.37
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-2-c.opb
UNKNOWN
42087
1200.38
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-f600.opb
UNKNOWN
42011
1200.39
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g250.15.opb
UNKNOWN
42014
1200.43
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-f2000.opb
UNKNOWN
42010
1200.51
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-4-c.opb
UNKNOWN
42115
1200.57
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-1-c.opb
UNKNOWN
42085
1200.58
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-l152lav.opb
UNKNOWN
42787
1200.81
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-l152lav.opb
UNKNOWN
42913
1200.84
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-l152lav.opb
UNKNOWN
42529
1200.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb
UNKNOWN
42407
1200.94
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb
UNKNOWN
42423
1200.98
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod010.opb
UNKNOWN
42924
1201.01
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod010.opb
UNKNOWN
42806
1201.04
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod010.opb
UNKNOWN
42540
1201.05
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
UNKNOWN
42241
1201.26
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm1.opb
UNKNOWN
42944
1201.48
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-vpm1.opb
UNKNOWN
42828
1201.48
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-vpm2.opb
UNKNOWN
42887
1201.52
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-cracpb1.opb
UNKNOWN
42393
1202.06
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-cracpb1.opb
UNKNOWN
42777
1202.1
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow30a.opb
UNKNOWN
42831
1202.15
Category "optimization, medium integers" (OPTMEDINT)
Solver found optimum (OPTIMUM FOUND) (13 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-nazareth.opb
OPT FOUND
43048
0.103983
normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-testprob.opb
OPT FOUND
43049
0.238963
normalized-opb/submitted/een/normalized-air05.opb
OPT FOUND
42261
20.6609
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-flugpl.opb
OPT FOUND
42776
29.1386
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-flugpl.opb
OPT FOUND
42892
29.5665
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50a.opb
OPT FOUND
42723
49.1715
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50b.opb
OPT FOUND
42724
63.6643
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bk4x3.opb
OPT FOUND
42940
71.7411
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos20.opb
OPT FOUND
42992
76.9253
normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-maros.opb
OPT FOUND
43051
107.408
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc01.opb
OPT FOUND
42782
150.209
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc02.opb
OPT FOUND
42783
150.93
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc105.opb
OPT FOUND
42726
222.104
Solver timed out but found at least a solution) (14 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare1_1.opb
UNKNOWN
42985
1202.26
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc03.opb
UNKNOWN
42798
1202.3
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc03.opb
UNKNOWN
42921
1202.31
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare2_1.opb
UNKNOWN
42986
1202.34
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-nug08.opb
UNKNOWN
43015
1202.36
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-berlin_5_8_0.opb
SAT
43032
1200.69
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-liu.opb
SAT
42847
1200.76
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-markshare1.opb
SAT
42915
1200.83
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-railway_8_1_0.opb
SAT
43052
1201
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-usAbbrv.8.25_70.opb
SAT
43054
1201.16
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare1.opb
SAT
42849
1201.25
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc05.opb
SAT
42803
1201.37
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-markshare2.opb
SAT
42919
1201.39
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare2.opb
SAT
42851
1201.41
Unexpected exit code (UNKNOWN) (105 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/submitted/een/normalized-air04.opb
UNKNOWN
42276
12.1881
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-nug08.opb
UNKNOWN
42617
97.4172
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-dano3mip.opb
UNKNOWN
42826
97.8771
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_4.opb
UNKNOWN
42978
98.1761
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-seymour1.opb
UNKNOWN
42621
98.638
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_5.opb
UNKNOWN
42979
99.6928
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_3.opb
UNKNOWN
42977
100.792
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap1.opb
UNKNOWN
42737
101.306
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-dano3mip.opb
UNKNOWN
42886
101.538
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p6000.opb
UNKNOWN
42417
103.055
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-cap6000.opb
UNKNOWN
42825
103.241
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-cap6000.opb
UNKNOWN
42500
103.283
normalized-opb/submitted/een/normalized-cap6000.opb
UNKNOWN
42270
103.546
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-cap6000.opb
UNKNOWN
42441
104.273
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow40b.opb
UNKNOWN
42436
104.273
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-cap6000.opb
UNKNOWN
42885
104.349
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p6000.opb
UNKNOWN
42801
104.443
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-misc07.opb
UNKNOWN
42841
108.603
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc07.opb
UNKNOWN
42790
109.412
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap2.opb
UNKNOWN
42739
109.627
normalized-opb/submitted/een/normalized-p0282.opb
UNKNOWN
42268
110.001
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc07.opb
UNKNOWN
42909
110.111
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0282.opb
UNKNOWN
42797
110.224
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0282.opb
UNKNOWN
42414
110.242
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0282.opb
UNKNOWN
42535
110.448
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air02.opb
UNKNOWN
42377
110.536
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air02.opb
UNKNOWN
42762
111.194
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0282.opb
UNKNOWN
42920
111.974
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mkc.opb
UNKNOWN
42843
112.383
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos6.opb
UNKNOWN
42999
112.898
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-qap10.opb
UNKNOWN
43003
112.945
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air03.opb
UNKNOWN
42379
112.967
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air03.opb
UNKNOWN
42763
113.069
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-rout.opb
UNKNOWN
42864
113.16
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air03.opb
UNKNOWN
42876
113.32
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air03.opb
UNKNOWN
42492
113.451
normalized-opb/submitted/een/normalized-air03.opb
UNKNOWN
42266
113.505
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rout.opb
UNKNOWN
42931
113.594
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mkc.opb
UNKNOWN
42911
113.889
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B1C1S1.opb
UNKNOWN
43012
114.26
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air05.opb
UNKNOWN
42821
114.838
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb
UNKNOWN
42515
114.902
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x26.opb
UNKNOWN
42963
115.074
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air05.opb
UNKNOWN
42380
115.155
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air05.opb
UNKNOWN
42495
115.311
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air05.opb
UNKNOWN
42438
115.423
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gt2.opb
UNKNOWN
42901
115.763
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B2C1S1.opb
UNKNOWN
43013
115.961
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air05.opb
UNKNOWN
42879
116.411
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air05.opb
UNKNOWN
42767
116.732
normalized-opb/submitted/een/normalized-enigma.opb
UNKNOWN
42278
116.963
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-enigma.opb
UNKNOWN
42388
117.078
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-enigma.opb
UNKNOWN
42773
117.099
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-enigma.opb
UNKNOWN
42889
117.232
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-enigma.opb
UNKNOWN
42506
117.39
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-mkc1.opb
UNKNOWN
42980
118.155
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0291.opb
UNKNOWN
42799
118.921
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-pipex.opb
UNKNOWN
42419
119.357
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ar.opb
UNKNOWN
42651
119.43
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ar.opb
UNKNOWN
43037
119.976
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0291.opb
UNKNOWN
42415
120.16
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bal8x12.opb
UNKNOWN
42938
120.167
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-pipex.opb
UNKNOWN
42802
120.371
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit1d.opb
UNKNOWN
42696
121.089
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1d.opb
UNKNOWN
42312
123.016
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap3.opb
UNKNOWN
42742
123.902
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10a.opb
UNKNOWN
42956
125.471
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10c.opb
UNKNOWN
42959
125.726
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air01.opb
UNKNOWN
42761
125.974
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air01.opb
UNKNOWN
42378
125.984
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod013.opb
UNKNOWN
42793
132.239
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sample2.opb
UNKNOWN
42807
133.671
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-gr4x6.opb
UNKNOWN
42942
137.172
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-egout.opb
UNKNOWN
42772
142.381
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-egout.opb
UNKNOWN
42888
142.642
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-CMS750_4.opb
UNKNOWN
43021
143.448
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb
UNKNOWN
42235
147.339
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ar.opb
UNKNOWN
42657
152.699
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-qap10.opb
UNKNOWN
42619
153.753
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp98ar.opb
UNKNOWN
43040
154.513
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3705.opb
UNKNOWN
42951
399.765
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370c.opb
UNKNOWN
42960
399.835
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3704.opb
UNKNOWN
42950
400.096
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3700.opb
UNKNOWN
42946
401.831
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3702.opb
UNKNOWN
42948
401.886
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370d.opb
UNKNOWN
42961
402.166
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370a.opb
UNKNOWN
42957
403.127
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3708.opb
UNKNOWN
42954
403.393
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3707.opb
UNKNOWN
42953
403.747
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3709.opb
UNKNOWN
42955
404.27
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3703.opb
UNKNOWN
42949
404.379
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370b.opb
UNKNOWN
42958
404.519
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3701.opb
UNKNOWN
42947
405.896
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3706.opb
UNKNOWN
42952
406.351
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370e.opb
UNKNOWN
42962
407.196
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2d.opb
UNKNOWN
42709
460.959
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-d6cube.opb
UNKNOWN
42700
513.405
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-nw04.opb
UNKNOWN
42923
595.472
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nw04.opb
UNKNOWN
42472
598.015
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-nw04.opb
UNKNOWN
42539
628.018
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nw04.opb
UNKNOWN
42855
634.9
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos9.opb
UNKNOWN
43006
705.971
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2d.opb
UNKNOWN
42327
784.056
normalized-opb/submitted/een/normalized-nw04.opb
UNKNOWN
42279
891.653
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos11.opb
UNKNOWN
42991
1110.96
Solver timed out (no solution given) (59 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10b.opb
UNKNOWN
42964
1200.32
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x12.opb
UNKNOWN
42965
1200.38
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran13x13.opb
UNKNOWN
42968
1200.39
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x12.opb
UNKNOWN
42966
1200.41
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08a.opb
UNKNOWN
42867
1200.45
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08a.opb
UNKNOWN
42936
1200.45
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc205.opb
UNKNOWN
42764
1200.46
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08aCUTS.opb
UNKNOWN
42866
1200.46
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08aCUTS.opb
UNKNOWN
42934
1200.47
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air04.opb
UNKNOWN
42833
1200.55
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air06.opb
UNKNOWN
42391
1200.55
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air04.opb
UNKNOWN
42893
1200.55
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air06.opb
UNKNOWN
42775
1200.56
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air04.opb
UNKNOWN
42510
1200.6
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran16x16.opb
UNKNOWN
42970
1200.61
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air04.opb
UNKNOWN
42452
1200.66
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-ran14x18_1.opb
UNKNOWN
43024
1200.67
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran14x18.opb
UNKNOWN
42969
1200.7
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran17x17.opb
UNKNOWN
42971
1200.74
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air04.opb
UNKNOWN
42774
1200.77
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1al.opb
UNKNOWN
42816
1200.78
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-set1ch.opb
UNKNOWN
42939
1200.79
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air04.opb
UNKNOWN
42390
1200.8
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1cl.opb
UNKNOWN
42818
1200.82
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1ch.opb
UNKNOWN
42817
1200.84
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-set1ch.opb
UNKNOWN
42871
1200.85
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x21.opb
UNKNOWN
42967
1200.87
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran8x32.opb
UNKNOWN
42975
1200.89
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fiber.opb
UNKNOWN
42840
1200.92
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos12.opb
UNKNOWN
42994
1200.92
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fiber.opb
UNKNOWN
42903
1200.94
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran6x43.opb
UNKNOWN
42973
1201.19
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-tr12-30.opb
UNKNOWN
42883
1201.39
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-tr12-30.opb
UNKNOWN
43053
1201.41
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran4x64.opb
UNKNOWN
42972
1201.42
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm2.opb
UNKNOWN
42945
1201.51
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-t1717.opb
UNKNOWN
42877
1202.08
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst1.opb
UNKNOWN
42982
1202.11
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-t1717.opb
UNKNOWN
42493
1202.19
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet4.opb
UNKNOWN
42781
1202.22
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pk1.opb
UNKNOWN
42932
1202.24
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb
UNKNOWN
42445
1202.24
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm1.opb
UNKNOWN
42559
1202.25
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb
UNKNOWN
42451
1202.25
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst2.opb
UNKNOWN
42983
1202.25
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb
UNKNOWN
42505
1202.27
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm2.opb
UNKNOWN
42560
1202.27
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet3.opb
UNKNOWN
42780
1202.29
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-danoint.opb
UNKNOWN
42837
1202.3
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-danoint.opb
UNKNOWN
42897
1202.3
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fixnet6.opb
UNKNOWN
42842
1202.31
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nsrand-ipx.opb
UNKNOWN
42858
1202.31
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet6.opb
UNKNOWN
42784
1202.45
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-nsrand_ipx.opb
UNKNOWN
43047
1202.46
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fixnet6.opb
UNKNOWN
42904
1202.46
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-stp3d.opb
UNKNOWN
42875
1202.46
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pk1.opb
UNKNOWN
42865
1202.46
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-stp3d.opb
UNKNOWN
42491
1202.48
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb
UNKNOWN
42635
1202.55
Category "optimization, big integers" (OPTBIGINT)
Solver found optimum (OPTIMUM FOUND) (11 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-nazareth.opb
OPT FOUND
42663
0.19597
normalized-opb/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb
OPT FOUND
42664
0.471927
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-flugpl.opb
OPT FOUND
42392
37.7623
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-flugpl.opb
OPT FOUND
42508
38.6641
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-bk4x3.opb
OPT FOUND
42556
77.7342
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos20.opb
OPT FOUND
42607
96.1974
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc02.opb
OPT FOUND
42399
164.42
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc01.opb
OPT FOUND
42398
166.652
normalized-opb/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb
OPT FOUND
42666
210.857
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50a.opb
OPT FOUND
42342
310.999
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc105.opb
OPT FOUND
42345
544.604
Solver timed out but found at least a solution) (11 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare1_1.opb
UNKNOWN
42601
1202.27
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare2_1.opb
UNKNOWN
42602
1202.31
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50b.opb
SAT
42363
1200.48
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-berlin_5_8_0.opb
SAT
42646
1200.77
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-markshare1.opb
SAT
42536
1201
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare1.opb
SAT
42465
1201.06
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb
SAT
42670
1201.13
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare2.opb
SAT
42466
1201.34
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-markshare2.opb
SAT
42538
1201.36
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb
SAT
42685
1201.48
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc05.opb
SAT
42418
1201.64
Solver proved unsatitisfiability (UNSATISFIABLE) (8 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-timtab1.opb
UNSAT
42870
19.425
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qnet1.opb
UNSAT
42542
21.2788
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab1.opb
UNSAT
42486
21.3678
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell4.opb
UNSAT
42766
32.2881
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell3b.opb
UNSAT
42765
33.8848
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qnet1_o.opb
UNSAT
42543
40.1309
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-qnet1_o.opb
UNSAT
42927
42.9905
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-qnet1.opb
UNSAT
42926
45.6531
Unexpected exit code (UNKNOWN) (383 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ganges.opb
UNKNOWN
42698
3.67344
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-modszk1.opb
UNKNOWN
42711
7.40487
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-khb05250.opb
UNKNOWN
42778
12.6241
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-khb05250.opb
UNKNOWN
42900
13.069
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-shell.opb
UNKNOWN
42740
15.3307
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-roll3000.opb
UNKNOWN
42479
95.2685
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-roll3000.opb
UNKNOWN
42862
95.6875
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-rentacar.opb
UNKNOWN
42805
96.6933
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-swath.opb
UNKNOWN
42868
96.8153
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-roll3000.opb
UNKNOWN
42650
96.8313
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-blend2.opb
UNKNOWN
42499
96.9923
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-danoint.opb
UNKNOWN
42443
97.0002
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-blend2.opb
UNKNOWN
42884
97.4462
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-danoint.opb
UNKNOWN
42503
97.5882
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-swath.opb
UNKNOWN
42935
97.7091
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-roll3000.opb
UNKNOWN
43035
98.0821
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rentacar.opb
UNKNOWN
42929
98.1491
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos7.opb
UNKNOWN
42615
98.2741
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-dano3mip.opb
UNKNOWN
42442
98.617
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-swath.opb
UNKNOWN
42485
98.904
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-arki001.opb
UNKNOWN
42823
99.1699
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb
UNKNOWN
42449
99.2969
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot.we.opb
UNKNOWN
42337
99.3889
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros.opb
UNKNOWN
42326
99.3959
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-nesm.opb
UNKNOWN
42329
99.4609
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rd-rplusc-21.opb
UNKNOWN
42478
99.5539
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-glass4.opb
UNKNOWN
43028
99.6718
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-arki001.opb
UNKNOWN
42439
99.7488
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-swath.opb
UNKNOWN
42551
100.006
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap1.opb
UNKNOWN
42352
100.189
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-standata.opb
UNKNOWN
42367
100.242
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scorpion.opb
UNKNOWN
42346
100.272
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-net12.opb
UNKNOWN
42647
100.433
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-degen2.opb
UNKNOWN
42688
100.506
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-net12.opb
UNKNOWN
43031
100.532
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot.we.opb
UNKNOWN
42721
100.535
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-glass4.opb
UNKNOWN
42644
100.623
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot.ja.opb
UNKNOWN
42333
100.654
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot.ja.opb
UNKNOWN
42718
100.666
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-standgub.opb
UNKNOWN
42369
100.762
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos3.opb
UNKNOWN
42609
100.939
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-glass4.opb
UNKNOWN
42834
100.98
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos2.opb
UNKNOWN
42608
101.079
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos13.opb
UNKNOWN
42984
101.168
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-perold.opb
UNKNOWN
42714
101.494
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_4.opb
UNKNOWN
42593
101.552
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-rentacar.opb
UNKNOWN
42545
101.757
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos3.opb
UNKNOWN
42995
101.781
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_5.opb
UNKNOWN
42594
101.86
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot4.opb
UNKNOWN
42332
101.904
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scorpion.opb
UNKNOWN
42733
101.91
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-rentacar.opb
UNKNOWN
42421
102.016
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-forplan.opb
UNKNOWN
42699
102.018
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-seba.opb
UNKNOWN
42741
102.025
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot4.opb
UNKNOWN
42716
102.047
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-perold.opb
UNKNOWN
42331
102.229
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos17.opb
UNKNOWN
42988
102.243
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos2.opb
UNKNOWN
42993
102.271
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos13.opb
UNKNOWN
42600
102.478
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gesa3_o.opb
UNKNOWN
42898
102.557
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa3_o.opb
UNKNOWN
42514
102.657
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-forplan.opb
UNKNOWN
42314
102.73
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-dano3mip.opb
UNKNOWN
42502
103.019
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_3.opb
UNKNOWN
42592
103.055
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-noswot.opb
UNKNOWN
42412
103.203
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-noswot.opb
UNKNOWN
42532
103.504
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-momentum2.opb
UNKNOWN
42846
103.512
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-vtp.base.opb
UNKNOWN
42758
103.781
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gesa3.opb
UNKNOWN
42896
103.798
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen2.opb
UNKNOWN
42302
103.903
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-maros.opb
UNKNOWN
42713
103.917
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc06.opb
UNKNOWN
42789
104.005
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc06.opb
UNKNOWN
42908
104.015
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-harp2.opb
UNKNOWN
42902
104.436
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-standata.opb
UNKNOWN
42752
104.491
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-lotfi.opb
UNKNOWN
42325
104.558
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-vtp.base.opb
UNKNOWN
42373
104.602
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-seba.opb
UNKNOWN
42355
104.619
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-harp2.opb
UNKNOWN
42516
104.651
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa3.opb
UNKNOWN
42513
104.664
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-noswot.opb
UNKNOWN
42469
104.743
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-standgub.opb
UNKNOWN
42753
104.814
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-misc06.opb
UNKNOWN
42525
104.939
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-lotfi.opb
UNKNOWN
42712
105.35
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot.opb
UNKNOWN
42336
105.432
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-recipe.opb
UNKNOWN
42722
105.488
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos17.opb
UNKNOWN
42603
105.948
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc04.opb
UNKNOWN
42401
105.98
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc06.opb
UNKNOWN
42404
106.094
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc04.opb
UNKNOWN
42786
106.129
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-kb2.opb
UNKNOWN
42710
106.138
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot.opb
UNKNOWN
42720
106.216
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ganges.opb
UNKNOWN
42315
106.395
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ir98.opb
UNKNOWN
43020
106.481
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-israel.opb
UNKNOWN
42708
106.632
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scagr7.opb
UNKNOWN
42341
107.024
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-recipe.opb
UNKNOWN
42338
107.057
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot87.opb
UNKNOWN
42717
107.278
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb
UNKNOWN
42659
107.488
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-UMTS.opb
UNKNOWN
43043
107.827
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc03.opb
UNKNOWN
42400
107.994
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-stocfor1.opb
UNKNOWN
42754
108.017
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-kb2.opb
UNKNOWN
42324
108.163
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mas74.opb
UNKNOWN
42838
108.211
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-van.opb
UNKNOWN
42873
108.326
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scsd1.opb
UNKNOWN
42735
108.681
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stocfor1.opb
UNKNOWN
42370
108.721
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-finnis.opb
UNKNOWN
42311
108.857
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ir98.opb
UNKNOWN
42634
108.989
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-etamacro.opb
UNKNOWN
42309
109.246
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-etamacro.opb
UNKNOWN
42693
109.358
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-modglob.opb
UNKNOWN
42794
109.477
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-25fv47.opb
UNKNOWN
42665
109.507
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas74.opb
UNKNOWN
42454
109.549
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-share2b.opb
UNKNOWN
42358
109.56
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-misc03.opb
UNKNOWN
42524
109.772
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mas74.opb
UNKNOWN
42522
109.819
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mas74.opb
UNKNOWN
42905
109.842
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gesa2_o.opb
UNKNOWN
42895
109.895
normalized-opb/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-adlittle.opb
UNKNOWN
42660
109.911
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bc1.opb
UNKNOWN
42587
109.93
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg2.opb
UNKNOWN
42287
109.943
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scagr25.opb
UNKNOWN
42340
110.034
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-share1b.opb
UNKNOWN
42357
110.065
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-share1b.opb
UNKNOWN
42743
110.229
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-momentum1.opb
UNKNOWN
42845
110.262
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-van.opb
UNKNOWN
43045
110.322
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-nesm.opb
UNKNOWN
42715
110.341
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-e226.opb
UNKNOWN
42692
110.523
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-finnis.opb
UNKNOWN
42695
110.539
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scagr7.opb
UNKNOWN
42728
110.59
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-van.opb
UNKNOWN
42490
110.694
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-qiu.opb
UNKNOWN
42804
110.799
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-bandm.opb
UNKNOWN
42674
110.807
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bc1.opb
UNKNOWN
42974
110.896
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-modglob.opb
UNKNOWN
42916
110.907
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fffff800.opb
UNKNOWN
42310
110.983
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-gesa2-o.opb
UNKNOWN
42832
110.998
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-qiu.opb
UNKNOWN
42861
111.102
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg3.opb
UNKNOWN
42288
111.128
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-modglob.opb
UNKNOWN
42844
111.221
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mas76.opb
UNKNOWN
42839
111.234
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas76.opb
UNKNOWN
42455
111.257
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-arki001.opb
UNKNOWN
42496
111.264
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-misc07.opb
UNKNOWN
42526
111.279
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-gesa2.opb
UNKNOWN
42830
111.329
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scagr25.opb
UNKNOWN
42725
111.344
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-arki001.opb
UNKNOWN
42880
111.364
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-misc07.opb
UNKNOWN
42456
111.399
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-greenbeb.opb
UNKNOWN
42704
111.479
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-greenbea.opb
UNKNOWN
42703
111.554
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb
UNKNOWN
42632
111.603
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mas76.opb
UNKNOWN
42523
111.652
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bandm.opb
UNKNOWN
42290
111.729
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-tuff.opb
UNKNOWN
42372
111.748
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-share2b.opb
UNKNOWN
42744
111.769
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-boeing1.opb
UNKNOWN
42680
112.027
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-modglob.opb
UNKNOWN
42410
112.046
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd1.opb
UNKNOWN
42349
112.076
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-brandy.opb
UNKNOWN
42684
112.103
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-capri.opb
UNKNOWN
42686
112.121
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gesa2.opb
UNKNOWN
42894
112.128
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2-o.opb
UNKNOWN
42448
112.236
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-israel.opb
UNKNOWN
42323
112.26
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-modglob.opb
UNKNOWN
42531
112.265
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rout.opb
UNKNOWN
42480
112.277
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa2_o.opb
UNKNOWN
42512
112.289
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scrs8.opb
UNKNOWN
42734
112.306
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-brandy.opb
UNKNOWN
42299
112.344
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-beaconfd.opb
UNKNOWN
42675
112.412
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-beaconfd.opb
UNKNOWN
42291
112.481
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-qiu.opb
UNKNOWN
42925
112.484
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-modglob.opb
UNKNOWN
42459
112.696
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos11.opb
UNKNOWN
42597
112.794
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-tuff.opb
UNKNOWN
42756
112.802
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mas76.opb
UNKNOWN
42907
112.819
normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-adlittle.opb
UNKNOWN
43046
112.837
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc07.opb
UNKNOWN
42405
112.85
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilotnov.opb
UNKNOWN
42719
112.858
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot87.opb
UNKNOWN
42335
112.917
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm1.opb
UNKNOWN
42343
113.047
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilotnov.opb
UNKNOWN
42334
113.066
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mkc.opb
UNKNOWN
42457
113.097
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sierra.opb
UNKNOWN
42748
113.104
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg.opb
UNKNOWN
42289
113.112
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fffff800.opb
UNKNOWN
42694
113.136
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-harp2.opb
UNKNOWN
42835
113.198
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-capri.opb
UNKNOWN
42300
113.232
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm2.opb
UNKNOWN
42344
113.272
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos6.opb
UNKNOWN
42614
113.301
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-van.opb
UNKNOWN
42661
113.317
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-biella1.opb
UNKNOWN
43016
113.365
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mkc.opb
UNKNOWN
42528
113.445
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-bore3d.opb
UNKNOWN
42683
113.52
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ic97.opb
UNKNOWN
43018
113.655
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-qiu.opb
UNKNOWN
42477
113.656
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-e226.opb
UNKNOWN
42308
113.658
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scfxm2.opb
UNKNOWN
42731
113.67
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-adlittle.opb
UNKNOWN
42284
113.717
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-rout.opb
UNKNOWN
42546
113.723
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-boeing1.opb
UNKNOWN
42295
113.772
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-woodw.opb
UNKNOWN
42760
113.88
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-adlittle.opb
UNKNOWN
42667
113.897
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa2.opb
UNKNOWN
42511
114.026
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-noswot.opb
UNKNOWN
42853
114.033
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-woodw.opb
UNKNOWN
42376
114.128
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qiu.opb
UNKNOWN
42541
114.329
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-qiu.opb
UNKNOWN
42420
114.398
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-agg3.opb
UNKNOWN
42672
114.415
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2.opb
UNKNOWN
42446
114.461
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-wood1p.opb
UNKNOWN
42759
114.606
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-noswot.opb
UNKNOWN
42796
114.618
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-harp2.opb
UNKNOWN
42450
114.649
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-wood1p.opb
UNKNOWN
42375
114.685
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-noswot.opb
UNKNOWN
42917
114.777
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbeb.opb
UNKNOWN
42318
114.78
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-afiro.opb
UNKNOWN
42669
114.805
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-a1c1s1.opb
UNKNOWN
42819
114.87
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scfxm1.opb
UNKNOWN
42730
114.883
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
UNKNOWN
42649
114.98
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb
UNKNOWN
42470
114.981
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bore3d.opb
UNKNOWN
42298
114.999
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scfxm3.opb
UNKNOWN
42732
115.103
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-blend.opb
UNKNOWN
42292
115.112
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-25fv47.opb
UNKNOWN
42282
115.236
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbea.opb
UNKNOWN
42317
115.246
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm3.opb
UNKNOWN
42347
115.271
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-agg2.opb
UNKNOWN
42671
115.316
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-agg.opb
UNKNOWN
42673
115.476
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-afiro.opb
UNKNOWN
42286
115.527
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-gfrd-pnc.opb
UNKNOWN
42701
115.551
normalized-opb/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-afiro.opb
UNKNOWN
42662
115.847
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-A1C1S1.opb
UNKNOWN
43009
115.878
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-blend.opb
UNKNOWN
42676
115.957
normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-afiro.opb
UNKNOWN
43050
116.205
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit1p.opb
UNKNOWN
42697
116.442
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-msc98-ip.opb
UNKNOWN
42848
116.621
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scsd6.opb
UNKNOWN
42736
116.632
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-A2C1S1.opb
UNKNOWN
43010
117.133
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship04s.opb
UNKNOWN
42745
117.591
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scrs8.opb
UNKNOWN
42348
118.166
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-stocfor2.opb
UNKNOWN
42755
118.511
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-msc98-ip.opb
UNKNOWN
42464
118.961
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod013.opb
UNKNOWN
42408
119.284
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-stair.opb
UNKNOWN
42751
119.593
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow22.opb
UNKNOWN
42320
120.193
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-grow15.opb
UNKNOWN
42705
120.434
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-grow22.opb
UNKNOWN
42706
120.482
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stair.opb
UNKNOWN
42366
120.824
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-bell3a.opb
UNKNOWN
42881
121.358
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-cycle.opb
UNKNOWN
42301
121.466
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell3a.opb
UNKNOWN
42768
121.54
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-boeing2.opb
UNKNOWN
42297
121.565
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-boeing2.opb
UNKNOWN
42682
121.677
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-grow7.opb
UNKNOWN
42707
121.778
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-gr4x6.opb
UNKNOWN
42558
122.058
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow15.opb
UNKNOWN
42319
122.088
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow7.opb
UNKNOWN
42321
122.548
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic98.opb
UNKNOWN
42633
122.971
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ar98.opb
UNKNOWN
43017
123.084
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ic98.opb
UNKNOWN
43019
123.225
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-cycle.opb
UNKNOWN
42687
123.355
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-egout.opb
UNKNOWN
42389
123.411
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-trento1.opb
UNKNOWN
43042
123.524
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-egout.opb
UNKNOWN
42504
123.603
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp98ic.opb
UNKNOWN
43041
123.69
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
UNKNOWN
42656
123.855
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ar98.opb
UNKNOWN
42631
123.876
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-bnl1.opb
UNKNOWN
42677
124.408
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sierra.opb
UNKNOWN
42365
125.281
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ic.opb
UNKNOWN
42655
125.415
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ic.opb
UNKNOWN
43038
125.863
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dg012142.opb
UNKNOWN
42642
125.911
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-khb05250.opb
UNKNOWN
42395
126.013
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-mkc1.opb
UNKNOWN
42595
126.985
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-swath2.opb
UNKNOWN
43007
127.569
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-khb05250.opb
UNKNOWN
42517
128.286
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core2586-950.opb
UNKNOWN
42638
129.059
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-modszk1.opb
UNKNOWN
42328
129.569
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-shell.opb
UNKNOWN
42359
129.608
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-degen3.opb
UNKNOWN
42690
129.63
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stocfor2.opb
UNKNOWN
42371
130.475
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-core2586-950.opb
UNKNOWN
43023
131.119
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-swath3.opb
UNKNOWN
43008
131.501
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1p.opb
UNKNOWN
42313
131.785
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-bell5.opb
UNKNOWN
42498
132.228
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-gfrd-pnc.opb
UNKNOWN
42316
132.308
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bnl1.opb
UNKNOWN
42293
132.731
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell5.opb
UNKNOWN
42385
133.076
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb
UNKNOWN
42627
133.357
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-A2C1S1.opb
UNKNOWN
42626
133.703
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-biella1.opb
UNKNOWN
42630
133.81
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-A1C1S1.opb
UNKNOWN
42625
133.907
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-core2536-691.opb
UNKNOWN
43022
134.416
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell4.opb
UNKNOWN
42384
134.428
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-a1c1s1.opb
UNKNOWN
42433
134.517
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core2536-691.opb
UNKNOWN
42636
134.562
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dc1c.opb
UNKNOWN
43027
135.096
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap2.opb
UNKNOWN
42353
135.331
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
UNKNOWN
42628
135.554
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-bnl2.opb
UNKNOWN
42681
135.614
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-atlanta-ip.opb
UNKNOWN
42440
137.511
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-swath1.opb
UNKNOWN
43005
137.58
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10c.opb
UNKNOWN
42574
138.109
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb
UNKNOWN
42573
138.204
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-atlanta-ip.opb
UNKNOWN
42824
138.358
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-bell5.opb
UNKNOWN
42882
140.815
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell5.opb
UNKNOWN
42771
140.921
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd6.opb
UNKNOWN
42350
141.624
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum2.opb
UNKNOWN
42462
142.777
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship04l.opb
UNKNOWN
42746
143.185
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb
UNKNOWN
42639
143.579
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-core4284-1064.opb
UNKNOWN
43025
143.665
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship04s.opb
UNKNOWN
42361
143.84
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-core4872-1529.opb
UNKNOWN
43026
145.29
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb
UNKNOWN
42640
146.303
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-trento1.opb
UNKNOWN
42658
146.703
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dolom1.opb
UNKNOWN
43030
147.395
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sample2.opb
UNKNOWN
42422
148.902
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship08s.opb
UNKNOWN
42747
150.631
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3a.opb
UNKNOWN
42381
151.494
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-bell3a.opb
UNKNOWN
42497
151.503
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-rd-rplusc-21.opb
UNKNOWN
42863
152.222
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-siena1.opb
UNKNOWN
43036
153.265
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-swath3.opb
UNKNOWN
42624
156.069
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum1.opb
UNKNOWN
42461
157.183
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3b.opb
UNKNOWN
42382
158.183
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen3.opb
UNKNOWN
42307
159.041
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-swath1.opb
UNKNOWN
42622
166.592
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-swath2.opb
UNKNOWN
42623
168.39
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap3.opb
UNKNOWN
42356
171.076
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship12s.opb
UNKNOWN
42749
171.921
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bnl2.opb
UNKNOWN
42296
174.745
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scsd8.opb
UNKNOWN
42738
179.152
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1c.opb
UNKNOWN
42641
184.439
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-d2q06c.opb
UNKNOWN
42689
197.224
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship04l.opb
UNKNOWN
42360
201.2
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dolom1.opb
UNKNOWN
42645
209.094
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-czprob.opb
UNKNOWN
42691
216.395
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-siena1.opb
UNKNOWN
42652
226.241
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-momentum3.opb
UNKNOWN
42850
226.368
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dc1l.opb
UNKNOWN
43029
232.822
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship08s.opb
UNKNOWN
42364
234.325
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos4.opb
UNKNOWN
43000
263.882
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12s.opb
UNKNOWN
42368
279.724
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd8.opb
UNKNOWN
42354
285.074
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship08l.opb
UNKNOWN
42750
299.634
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1l.opb
UNKNOWN
42643
302.907
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum3.opb
UNKNOWN
42468
318.886
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d2q06c.opb
UNKNOWN
42305
320.81
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-rail507.opb
UNKNOWN
42654
334.338
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-rail507.opb
UNKNOWN
43033
335.633
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-czprob.opb
UNKNOWN
42306
371.632
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos4.opb
UNKNOWN
42612
374.728
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship12l.opb
UNKNOWN
42757
420.446
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-dfl001.opb
UNKNOWN
42702
536.201
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-80bau3b.opb
UNKNOWN
42678
551.342
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship08l.opb
UNKNOWN
42374
554.657
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-maros-r7.opb
UNKNOWN
42729
555.793
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mod011.opb
UNKNOWN
42854
700.428
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3708.opb
UNKNOWN
42569
768.577
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370d.opb
UNKNOWN
42577
768.886
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370a.opb
UNKNOWN
42572
769.95
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370c.opb
UNKNOWN
42576
772.026
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3706.opb
UNKNOWN
42568
772.947
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3702.opb
UNKNOWN
42564
773.115
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3703.opb
UNKNOWN
42565
773.741
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370e.opb
UNKNOWN
42578
774.026
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3701.opb
UNKNOWN
42563
775.949
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3700.opb
UNKNOWN
42561
776.188
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3705.opb
UNKNOWN
42567
776.203
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3704.opb
UNKNOWN
42566
777.16
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3709.opb
UNKNOWN
42571
779.157
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370b.opb
UNKNOWN
42575
779.419
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3707.opb
UNKNOWN
42570
780.019
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-NSR8K.opb
UNKNOWN
43039
800.761
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12l.opb
UNKNOWN
42386
850.073
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2p.opb
UNKNOWN
42727
943.865
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-80bau3b.opb
UNKNOWN
42303
1061.57
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d6cube.opb
UNKNOWN
42322
1063.39
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-dfl001.opb
UNKNOWN
42330
1100.08
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros-r7.opb
UNKNOWN
42351
1109.41
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-CMS750_4.opb
UNKNOWN
42653
1133.41
Solver timed out (no solution given) (69 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-bal8x12.opb
UNKNOWN
42562
1200.41
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb
UNKNOWN
42579
1200.41
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x12.opb
UNKNOWN
42582
1200.47
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x12.opb
UNKNOWN
42580
1200.47
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-pp08aCUTS.opb
UNKNOWN
42550
1200.52
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-pp08a.opb
UNKNOWN
42552
1200.53
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb
UNKNOWN
42482
1200.54
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran13x13.opb
UNKNOWN
42584
1200.59
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc205.opb
UNKNOWN
42362
1200.67
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-timtab2.opb
UNKNOWN
42878
1200.7
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gen.opb
UNKNOWN
42906
1200.72
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-gen.opb
UNKNOWN
42785
1200.72
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08a.opb
UNKNOWN
42483
1200.75
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
UNKNOWN
42585
1200.82
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-gen.opb
UNKNOWN
42403
1200.84
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-ran14x18_1.opb
UNKNOWN
42637
1200.85
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gen.opb
UNKNOWN
42521
1200.86
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran16x16.opb
UNKNOWN
42586
1200.87
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb
UNKNOWN
42583
1200.89
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb
UNKNOWN
42494
1200.92
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-rgn.opb
UNKNOWN
42813
1200.92
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fiber.opb
UNKNOWN
42458
1200.94
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-fiber.opb
UNKNOWN
42519
1200.95
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rgn.opb
UNKNOWN
42937
1201
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-dcmulti.opb
UNKNOWN
42899
1201.08
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-bg512142.opb
UNKNOWN
43034
1201.1
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-dcmulti.opb
UNKNOWN
42779
1201.13
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran8x32.opb
UNKNOWN
42591
1201.16
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-set1ch.opb
UNKNOWN
42434
1201.16
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
UNKNOWN
42581
1201.16
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-set1ch.opb
UNKNOWN
42487
1201.17
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-set1cl.opb
UNKNOWN
42435
1201.18
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-rgn.opb
UNKNOWN
42553
1201.19
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-set1al.opb
UNKNOWN
42432
1201.19
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran17x17.opb
UNKNOWN
42588
1201.19
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb
UNKNOWN
42489
1201.19
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-13-7-fome12.opb
UNKNOWN
42981
1201.21
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-13-7-fome11.opb
UNKNOWN
42976
1201.22
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb
UNKNOWN
42596
1201.23
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-NSR8K.opb
UNKNOWN
42668
1201.23
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-rgn.opb
UNKNOWN
42429
1201.26
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos15.opb
UNKNOWN
42997
1201.26
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos12.opb
UNKNOWN
42610
1201.27
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2p.opb
UNKNOWN
42339
1201.28
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-set1ch.opb
UNKNOWN
42554
1201.38
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran6x43.opb
UNKNOWN
42590
1201.4
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-bg512142.opb
UNKNOWN
42648
1201.42
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos14.opb
UNKNOWN
42996
1201.45
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-dcmulti.opb
UNKNOWN
42518
1201.54
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-dcmulti.opb
UNKNOWN
42394
1201.62
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-tr12-30.opb
UNKNOWN
42501
1201.69
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-tr12-30.opb
UNKNOWN
42679
1201.7
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran4x64.opb
UNKNOWN
42589
1201.77
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-liu.opb
UNKNOWN
42463
1201.84
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos15.opb
UNKNOWN
42613
1202.22
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pk1.opb
UNKNOWN
42481
1202.24
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-pk1.opb
UNKNOWN
42548
1202.25
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst1.opb
UNKNOWN
42598
1202.28
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos7.opb
UNKNOWN
43014
1202.3
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-fixnet3.opb
UNKNOWN
42396
1202.3
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-fixnet4.opb
UNKNOWN
42397
1202.31
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fixnet6.opb
UNKNOWN
42460
1202.31
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dg012142.opb
UNKNOWN
43044
1202.32
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-sp97ar.opb
UNKNOWN
42874
1202.42
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-fixnet6.opb
UNKNOWN
42520
1202.44
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-fixnet6.opb
UNKNOWN
42402
1202.49
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos14.opb
UNKNOWN
42611
1202.5
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst2.opb
UNKNOWN
42599
1202.51
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb
UNKNOWN
42471
1211.08