Result page for solver minisat+_script
Category "no optimization function" (SAT)
Solver proved unsatitisfiability (UNSATISFIABLE) (43 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb
UNSAT
30442
0.025995
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl.opb
UNSAT
30426
0.031994
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl.opb
UNSAT
30427
0.034993
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb
UNSAT
30425
0.050991
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb
UNSAT
30428
0.088985
normalized-opb/web/uclid_pb_benchmarks/normalized-44s.smv.opb
UNSAT
30422
0.129979
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb
UNSAT
30445
0.175972
normalized-opb/web/uclid_pb_benchmarks/normalized-37s.smv.opb
UNSAT
30419
0.176972
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb
UNSAT
30437
0.194969
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb
UNSAT
30456
0.238963
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb
UNSAT
30430
0.248962
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb
UNSAT
30416
0.363944
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb
UNSAT
30429
0.494924
normalized-opb/web/uclid_pb_benchmarks/normalized-46s.smv.opb
UNSAT
30423
0.557914
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb
UNSAT
30457
0.638902
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.4.accl.ucl.opb
UNSAT
30451
0.800878
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb
UNSAT
30446
0.828873
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv10.ucl.opb
UNSAT
30434
0.883865
normalized-opb/web/uclid_pb_benchmarks/normalized-dlx1c.ucl.opb
UNSAT
30441
1.62775
normalized-opb/web/uclid_pb_benchmarks/normalized-25s.smv.opb
UNSAT
30417
1.79473
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb
UNSAT
30431
1.87171
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb
UNSAT
30458
2.00469
normalized-opb/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb
UNSAT
30440
2.26866
normalized-opb/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb
UNSAT
30438
2.54661
normalized-opb/web/uclid_pb_benchmarks/normalized-43s.smv.opb
UNSAT
30424
2.58061
normalized-opb/web/uclid_pb_benchmarks/normalized-22s.smv.opb
UNSAT
30418
2.98254
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb
UNSAT
30463
3.06253
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb
UNSAT
30447
3.32549
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.2.accl.ucl.opb
UNSAT
30450
4.18636
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
UNSAT
30432
5.59415
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb
UNSAT
30461
8.90964
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl.opb
UNSAT
30452
12.5381
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb
UNSAT
30462
14.7798
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf10.ucl.opb
UNSAT
30448
20.5079
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb
UNSAT
30444
39.8889
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb
UNSAT
30455
46.5299
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
UNSAT
30439
49.2205
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb
UNSAT
30465
89.2804
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb
UNSAT
30156
106.315
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb
UNSAT
30468
181.05
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
UNSAT
30467
308.781
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb
UNSAT
30163
442.293
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb
UNSAT
30165
501.267
Unexpected exit code (UNKNOWN) (35 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb
UNKNOWN
30212
1229.84
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb
UNKNOWN
30213
1229.84
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb
UNKNOWN
30214
1229.84
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb
UNKNOWN
30215
1229.84
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb
UNKNOWN
30218
1229.84
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb
UNKNOWN
30219
1229.84
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb
UNKNOWN
30220
1229.86
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb
UNKNOWN
30221
1229.86
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb
UNKNOWN
30222
1229.86
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb
UNKNOWN
30287
1229.86
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb
UNKNOWN
30226
1229.86
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb
UNKNOWN
30289
1229.87
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb
UNKNOWN
30248
1229.87
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl.opb
UNKNOWN
30493
1229.87
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb
UNKNOWN
30292
1229.87
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
UNKNOWN
30223
1229.87
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb
UNKNOWN
30224
1229.87
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
UNKNOWN
30491
1229.87
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb
UNKNOWN
30288
1229.87
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb
UNKNOWN
30243
1229.87
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
UNKNOWN
30553
1229.87
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb
UNKNOWN
30290
1229.88
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
UNKNOWN
30260
1229.88
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.opb
UNKNOWN
30488
1229.88
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb
UNKNOWN
30496
1229.88
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
UNKNOWN
30549
1229.88
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
UNKNOWN
30552
1229.88
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb
UNKNOWN
30492
1229.88
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb
UNKNOWN
30281
1229.89
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb
UNKNOWN
30495
1229.89
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb
UNKNOWN
30282
1229.89
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
UNKNOWN
30283
1229.89
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
UNKNOWN
30489
1229.9
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
UNKNOWN
30494
1229.92
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
UNKNOWN
30490
1229.93
Exit code doesn't match solution line (35 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb
OPT FOUND
30173
0.047992
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb
OPT FOUND
30174
0.047992
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb
OPT FOUND
30175
0.047992
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga12_10_sat_pb.cnf.cr.opb
OPT FOUND
30179
0.051991
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb
OPT FOUND
30180
0.051991
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb
OPT FOUND
30151
0.052991
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb
OPT FOUND
30177
0.05499
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_11_sat_pb.cnf.cr.opb
OPT FOUND
30176
0.05599
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga12_12_sat_pb.cnf.cr.opb
OPT FOUND
30181
0.056991
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb
OPT FOUND
30183
0.060989
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb
OPT FOUND
30190
0.06099
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb
OPT FOUND
30184
0.061989
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb
OPT FOUND
30186
0.064989
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga14_14_sat_pb.cnf.cr.opb
OPT FOUND
30189
0.074988
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga15_14_sat_pb.cnf.cr.opb
OPT FOUND
30191
0.075987
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb
OPT FOUND
30188
0.083986
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb
OPT FOUND
30192
0.12498
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga13_13_sat_pb.cnf.cr.opb
OPT FOUND
30185
0.183971
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb
OPT FOUND
30194
0.240962
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb
OPT FOUND
30198
0.382941
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb
OPT FOUND
30193
0.532918
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb
OPT FOUND
30197
0.686894
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb
OPT FOUND
30195
0.806876
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
OPT FOUND
30196
1.05884
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
OPT FOUND
30207
2.45662
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb
OPT FOUND
30199
5.84211
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
OPT FOUND
30436
9.40957
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
OPT FOUND
30512
37.6573
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
OPT FOUND
30514
38.6371
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb
OPT FOUND
30200
44.2783
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb
OPT FOUND
30201
57.8392
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb
OPT FOUND
30211
295.596
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb
OPT FOUND
30217
552.708
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
OPT FOUND
30534
592.559
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb
OPT FOUND
30284
1067.36
Category "optimization, small integers" (OPTSMALLINT)
Solver found optimum (OPTIMUM FOUND) (176 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/submitted/sorensson/garden/normalized-g2x2.opb
OPT FOUND
30529
0.018996
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein9.opb
OPT FOUND
31087
0.024995
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-b1.opb
OPT FOUND
30399
0.025995
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C17.opb
OPT FOUND
30398
0.026994
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-3.opb
OPT FOUND
30263
0.026995
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-4.opb
OPT FOUND
30264
0.027994
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein9.opb
OPT FOUND
30703
0.028995
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-4.opb
OPT FOUND
30229
0.029994
normalized-opb/submitted/sorensson/garden/normalized-g4x4.opb
OPT FOUND
30530
0.030994
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-3.opb
OPT FOUND
30271
0.030994
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb
OPT FOUND
30265
0.032994
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-3.opb
OPT FOUND
30267
0.032994
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb
OPT FOUND
30232
0.033994
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb
OPT FOUND
30268
0.034994
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-1.opb
OPT FOUND
30261
0.035993
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein15.opb
OPT FOUND
30700
0.042993
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein15.opb
OPT FOUND
31084
0.043993
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-3.opb
OPT FOUND
30240
0.043993
normalized-opb/submitted/sorensson/garden/normalized-g9x3.opb
OPT FOUND
30532
0.045992
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-2.opb
OPT FOUND
30262
0.051992
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-2.opb
OPT FOUND
30266
0.052991
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.opb
OPT FOUND
30230
0.05399
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-1.opb
OPT FOUND
30246
0.055991
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb
OPT FOUND
30249
0.05699
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-1.opb
OPT FOUND
30273
0.056991
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-4.opb
OPT FOUND
30272
0.05899
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb
OPT FOUND
30275
0.05999
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-2.opb
OPT FOUND
30274
0.06099
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-1.opb
OPT FOUND
30269
0.06199
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-4.opb
OPT FOUND
30276
0.062989
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-2.opb
OPT FOUND
30270
0.063989
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-1-c.opb
OPT FOUND
30363
0.069988
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-4-c.opb
OPT FOUND
30370
0.069989
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-3.opb
OPT FOUND
30258
0.081987
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-2-c.opb
OPT FOUND
30365
0.085986
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-3-c.opb
OPT FOUND
30367
0.087985
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-5-c.opb
OPT FOUND
30372
0.091985
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb
OPT FOUND
30251
0.095984
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-4.opb
OPT FOUND
30237
0.096984
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-2.opb
OPT FOUND
30227
0.101983
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-3.opb
OPT FOUND
30228
0.101983
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-2.opb
OPT FOUND
30235
0.103983
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb
OPT FOUND
30225
0.108983
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb
OPT FOUND
30233
0.112982
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.opb
OPT FOUND
30236
0.117981
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-2.opb
OPT FOUND
30239
0.120981
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb
OPT FOUND
30256
0.120981
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb
OPT FOUND
30231
0.12198
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.opb
OPT FOUND
30241
0.12298
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb
OPT FOUND
30238
0.128979
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-1.opb
OPT FOUND
30234
0.130979
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh207.opb
OPT FOUND
30336
0.140978
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh12.opb
OPT FOUND
30331
0.144977
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb
OPT FOUND
30245
0.161975
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh212.opb
OPT FOUND
30339
0.179972
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh301.opb
OPT FOUND
30345
0.19297
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh205.opb
OPT FOUND
30335
0.200969
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-4.opb
OPT FOUND
30371
0.203968
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-5.opb
OPT FOUND
30373
0.205968
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb
OPT FOUND
30247
0.210967
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-2.opb
OPT FOUND
30366
0.224965
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-2.opb
OPT FOUND
30244
0.226965
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-1.opb
OPT FOUND
30364
0.227965
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-3.opb
OPT FOUND
30368
0.236963
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-1.opb
OPT FOUND
30242
0.243962
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-1.opb
OPT FOUND
30252
0.252961
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb
OPT FOUND
30255
0.25896
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb
OPT FOUND
30253
0.267959
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-4.opb
OPT FOUND
30254
0.276957
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh204.opb
OPT FOUND
30334
0.278957
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb
OPT FOUND
30250
0.283956
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh220.opb
OPT FOUND
30343
0.297953
normalized-opb/submitted/sorensson/garden/normalized-g7x7.opb
OPT FOUND
30528
0.300953
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh213.opb
OPT FOUND
30341
0.306952
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb
OPT FOUND
30257
0.312952
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh17.opb
OPT FOUND
30332
0.31895
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb
OPT FOUND
30259
0.32695
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh218.opb
OPT FOUND
30344
0.426934
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh209.opb
OPT FOUND
30337
0.515921
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-1pb.opb
OPT FOUND
30382
0.515921
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-2pb.opb
OPT FOUND
30383
0.535917
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh7.opb
OPT FOUND
30346
0.58691
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-4pb.opb
OPT FOUND
30385
0.611906
normalized-opb/submitted/een/normalized-p0033.opb
OPT FOUND
30540
0.672897
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos18.opb
OPT FOUND
31263
0.688894
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos18.opb
OPT FOUND
30877
0.695893
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-3pb.opb
OPT FOUND
30384
0.779881
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh1.opb
OPT FOUND
30330
0.843871
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0033.opb
OPT FOUND
30806
0.863867
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0033.opb
OPT FOUND
31067
0.877866
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0033.opb
OPT FOUND
31191
0.888864
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb
OPT FOUND
30683
0.891864
normalized-opb/submitted/manquinho/ttp/normalized-circ4_3.opb
OPT FOUND
30407
0.926858
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-5pb.opb
OPT FOUND
30386
1.17982
normalized-opb/submitted/manquinho/logic-synthesis/normalized-9sym.b.opb
OPT FOUND
30210
1.21281
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-4-c.opb
OPT FOUND
30350
1.24381
normalized-opb/submitted/een/normalized-stein27.opb
OPT FOUND
30548
1.3398
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-stein27.opb
OPT FOUND
30822
1.40179
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein27.opb
OPT FOUND
31085
1.40379
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein27.opb
OPT FOUND
30701
1.40679
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-stein27.opb
OPT FOUND
31206
1.42778
normalized-opb/submitted/een/normalized-pk1.opb
OPT FOUND
30544
1.56176
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb
OPT FOUND
30506
1.85672
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh210.opb
OPT FOUND
30340
2.67559
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a1.opb
OPT FOUND
30313
3.00954
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-hanoi4.opb
OPT FOUND
30285
4.00739
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-5.opb
OPT FOUND
30354
4.79827
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-3-c.opb
OPT FOUND
30348
4.91225
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh217.opb
OPT FOUND
30342
5.01524
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-3.opb
OPT FOUND
30351
5.29019
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-5-c.opb
OPT FOUND
30355
5.39918
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-1-c.opb
OPT FOUND
30347
5.65114
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16e2.opb
OPT FOUND
30295
6.63099
normalized-opb/submitted/sorensson/garden/normalized-g9x9.opb
OPT FOUND
30533
6.64799
normalized-opb/submitted/manquinho/ttp/normalized-data4_3.opb
OPT FOUND
30411
6.97594
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-2-c.opb
OPT FOUND
30349
7.2069
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32a1.opb
OPT FOUND
30297
9.00763
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-4.opb
OPT FOUND
30353
9.65353
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b4.opb
OPT FOUND
30300
11.5472
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-8pb.opb
OPT FOUND
30394
18.7092
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16d2.opb
OPT FOUND
30294
19.988
normalized-opb/submitted/manquinho/logic-synthesis/normalized-clip.b.opb
OPT FOUND
30216
22.8915
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c4.opb
OPT FOUND
30305
23.6604
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-1.opb
OPT FOUND
30352
24.2993
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16c2.opb
OPT FOUND
30291
24.7322
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-10pb.opb
OPT FOUND
30387
28.9426
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb
OPT FOUND
30657
31.5232
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bm23.opb
OPT FOUND
31041
31.7902
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b2.opb
OPT FOUND
30298
33.011
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb
OPT FOUND
30286
37.6113
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-2.opb
OPT FOUND
30356
41.7327
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c1.opb
OPT FOUND
30304
57.8012
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb
OPT FOUND
30687
67.2388
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0040.opb
OPT FOUND
31069
67.3418
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-6pb.opb
OPT FOUND
30396
67.7257
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-stein45.opb
OPT FOUND
31207
78.4001
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein45.opb
OPT FOUND
31091
78.726
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb
OPT FOUND
30702
78.794
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-stein45.opb
OPT FOUND
30824
78.819
normalized-opb/submitted/een/normalized-stein45.opb
OPT FOUND
30555
82.5684
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b3.opb
OPT FOUND
30302
85.289
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos1.opb
OPT FOUND
31266
88.2776
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb
OPT FOUND
30883
89.3204
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e1.opb
OPT FOUND
30312
93.6528
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e3.opb
OPT FOUND
30314
105.71
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e4.opb
OPT FOUND
30317
130.979
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b1.opb
OPT FOUND
30303
131.982
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-5pb.opb
OPT FOUND
30402
137.966
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-7pb.opb
OPT FOUND
30403
166.104
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
OPT FOUND
30469
171.55
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-9pb.opb
OPT FOUND
30406
176.467
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-1pb.opb
OPT FOUND
30391
229.122
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh201.opb
OPT FOUND
30361
235.158
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d3.opb
OPT FOUND
30320
277.066
normalized-opb/submitted/een/normalized-mod008.opb
OPT FOUND
30561
303.679
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos8.opb
OPT FOUND
31280
307.258
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos8.opb
OPT FOUND
30896
309.994
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e5.opb
OPT FOUND
30323
312.97
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c3.opb
OPT FOUND
30316
315.277
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-4pb.opb
OPT FOUND
30408
324.027
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos10.opb
OPT FOUND
31274
425.338
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos10.opb
OPT FOUND
30887
425.781
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb
OPT FOUND
30470
471.822
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb
OPT FOUND
30476
496.83
normalized-opb/submitted/een/normalized-lseu.opb
OPT FOUND
30551
512.147
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-lseu.opb
OPT FOUND
31190
654.042
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-lseu.opb
OPT FOUND
30813
660.042
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-3pb.opb
OPT FOUND
30449
661.56
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb
OPT FOUND
30688
664.449
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lseu.opb
OPT FOUND
31079
665.46
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
OPT FOUND
30324
680.408
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-2pb.opb
OPT FOUND
30435
731.627
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb
OPT FOUND
30483
778.833
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb
OPT FOUND
30486
932.548
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e2.opb
OPT FOUND
30379
1001.72
normalized-opb/submitted/een/normalized-l152lav.opb
OPT FOUND
30589
1038.06
Solver proved unsatitisfiability (UNSATISFIABLE) (10 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-diamond.opb
UNSAT
31044
0.021996
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-diamond.opb
UNSAT
30659
0.022995
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa0432-003.opb
UNSAT
30374
0.068989
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf2670-001.opb
UNSAT
30280
0.165974
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-141.opb
UNSAT
30376
0.183971
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-130.opb
UNSAT
30375
0.19197
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf0432-007.opb
UNSAT
30277
0.274957
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-638.opb
UNSAT
30279
0.290955
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-075.opb
UNSAT
30278
0.308952
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa6288-047.opb
UNSAT
30377
1.15782
Unexpected exit code (UNKNOWN) (200 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/submitted/een/normalized-fast0507.opb
UNKNOWN
30536
3.85141
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb
UNKNOWN
30717
4.86826
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fast0507.opb
UNKNOWN
31162
4.87026
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-fast0507.opb
UNKNOWN
30779
4.96824
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fast0507.opb
UNKNOWN
31100
4.97124
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos19.opb
UNKNOWN
31272
144.759
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb
UNKNOWN
30885
185.717
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-4-c.opb
UNKNOWN
30433
1229.83
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-2.opb
UNKNOWN
30415
1229.83
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb
UNKNOWN
30420
1229.83
normalized-opb/submitted/manquinho/logic-synthesis/normalized-sao2.b.opb
UNKNOWN
30321
1229.84
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0201.opb
UNKNOWN
31226
1229.84
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-3.opb
UNKNOWN
30421
1229.84
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0548.opb
UNKNOWN
30844
1229.84
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb
UNKNOWN
30722
1229.84
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0548.opb
UNKNOWN
31228
1229.84
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-f1000.opb
UNKNOWN
30325
1229.84
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
UNKNOWN
30497
1229.84
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb
UNKNOWN
30725
1229.84
normalized-opb/submitted/manquinho/logic-synthesis/normalized-5xp1.b.opb
UNKNOWN
30296
1229.84
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-4.opb
UNKNOWN
30443
1229.84
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-1-c.opb
UNKNOWN
30412
1229.84
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-f2000.opb
UNKNOWN
30326
1229.84
normalized-opb/submitted/manquinho/logic-synthesis/normalized-f51m.b.opb
UNKNOWN
30311
1229.84
normalized-opb/submitted/sorensson/garden/normalized-g15x15.opb
UNKNOWN
30577
1229.84
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-5-c.opb
UNKNOWN
30453
1229.84
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-1.opb
UNKNOWN
30413
1229.84
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb
UNKNOWN
30914
1229.84
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-f600.opb
UNKNOWN
30327
1229.84
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-5.opb
UNKNOWN
30454
1229.84
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-2-c.opb
UNKNOWN
30414
1229.84
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0201.opb
UNKNOWN
31107
1229.84
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos16.opb
UNKNOWN
31300
1229.84
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb
UNKNOWN
30474
1229.84
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0548.opb
UNKNOWN
31110
1229.84
normalized-opb/submitted/manquinho/logic-synthesis/normalized-count.b.opb
UNKNOWN
30307
1229.84
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb
UNKNOWN
30475
1229.84
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b1.opb
UNKNOWN
30392
1229.84
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0201.opb
UNKNOWN
30842
1229.84
normalized-opb/submitted/manquinho/logic-synthesis/normalized-e64.b.opb
UNKNOWN
30308
1229.85
normalized-opb/submitted/manquinho/ttp/normalized-data6_3.opb
UNKNOWN
30485
1229.85
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos5.opb
UNKNOWN
31305
1229.85
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
UNKNOWN
30503
1229.85
normalized-opb/submitted/een/normalized-p0201.opb
UNKNOWN
30595
1229.85
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d1.opb
UNKNOWN
30380
1229.85
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
UNKNOWN
30504
1229.85
normalized-opb/submitted/een/normalized-p0548.opb
UNKNOWN
30598
1229.85
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d2.opb
UNKNOWN
30381
1229.85
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
UNKNOWN
30498
1229.85
normalized-opb/submitted/manquinho/logic-synthesis/normalized-alu4.b.opb
UNKNOWN
30299
1229.85
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb
UNKNOWN
30547
1229.85
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb
UNKNOWN
30388
1229.85
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
UNKNOWN
30507
1229.85
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
UNKNOWN
30499
1229.85
normalized-opb/submitted/manquinho/ttp/normalized-circ6_3.opb
UNKNOWN
30481
1229.85
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a3.opb
UNKNOWN
30389
1229.85
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
UNKNOWN
30500
1229.85
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a4.opb
UNKNOWN
30390
1229.85
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb
UNKNOWN
30918
1229.85
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb
UNKNOWN
30501
1229.85
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
UNKNOWN
30558
1229.85
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
UNKNOWN
30502
1229.86
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-159.opb
UNKNOWN
30464
1229.86
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8e1.opb
UNKNOWN
30409
1229.86
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sentoy.opb
UNKNOWN
31116
1229.86
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b2.opb
UNKNOWN
30393
1229.86
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-mux.opb
UNKNOWN
30478
1229.86
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-160.opb
UNKNOWN
30466
1229.86
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
UNKNOWN
30563
1229.86
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb
UNKNOWN
30505
1229.86
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
UNKNOWN
30565
1229.86
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8c1.opb
UNKNOWN
30400
1229.86
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb
UNKNOWN
30731
1229.86
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-c8.opb
UNKNOWN
30473
1229.86
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
UNKNOWN
30508
1229.86
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-038.opb
UNKNOWN
30459
1229.86
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-158.opb
UNKNOWN
30460
1229.86
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
UNKNOWN
30510
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb
UNKNOWN
30788
1229.87
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cmb.opb
UNKNOWN
30477
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-vpm2.opb
UNKNOWN
31180
1229.87
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
UNKNOWN
30560
1229.87
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb
UNKNOWN
30511
1229.87
normalized-opb/submitted/manquinho/logic-synthesis/normalized-max1024.pi.opb
UNKNOWN
30293
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-vpm1.opb
UNKNOWN
31121
1229.87
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb
UNKNOWN
30513
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod008.opb
UNKNOWN
31103
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-seymour.opb
UNKNOWN
30853
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p2756.opb
UNKNOWN
30726
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-seymour.opb
UNKNOWN
31237
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-opt1217.opb
UNKNOWN
31158
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb
UNKNOWN
30773
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm1.opb
UNKNOWN
31238
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-p2756.opb
UNKNOWN
31159
1229.87
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb
UNKNOWN
30524
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod008.opb
UNKNOWN
30838
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb
UNKNOWN
30774
1229.87
normalized-opb/submitted/manquinho/logic-synthesis/normalized-prom2.pi.opb
UNKNOWN
30318
1229.87
normalized-opb/submitted/manquinho/ttp/normalized-circ8_3.opb
UNKNOWN
30482
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod008.opb
UNKNOWN
31222
1229.87
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.5:100.opb
UNKNOWN
30556
1229.87
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8d1.opb
UNKNOWN
30404
1229.87
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
UNKNOWN
30509
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb
UNKNOWN
30716
1229.87
normalized-opb/submitted/een/normalized-p2756.opb
UNKNOWN
30593
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-seymour.opb
UNKNOWN
31172
1229.87
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16d1.opb
UNKNOWN
30369
1229.87
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
UNKNOWN
30519
1229.87
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
UNKNOWN
30527
1229.88
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16e1.opb
UNKNOWN
30378
1229.88
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
UNKNOWN
30520
1229.88
normalized-opb/submitted/manquinho/logic-synthesis/normalized-ex5.pi.opb
UNKNOWN
30309
1229.88
normalized-opb/submitted/manquinho/ttp/normalized-data8_3.opb
UNKNOWN
30487
1229.88
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8e2.opb
UNKNOWN
30410
1229.88
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b3.opb
UNKNOWN
30395
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p2756.opb
UNKNOWN
30845
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p2756.opb
UNKNOWN
31229
1229.88
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb
UNKNOWN
30545
1229.88
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b4.opb
UNKNOWN
30397
1229.88
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
UNKNOWN
30522
1229.88
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb
UNKNOWN
30515
1229.88
normalized-opb/submitted/manquinho/ttp/normalized-circ10_3.opb
UNKNOWN
30480
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-cracpb1.opb
UNKNOWN
30698
1229.88
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb
UNKNOWN
30516
1229.88
normalized-opb/submitted/een/normalized-seymour.opb
UNKNOWN
30585
1229.88
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
UNKNOWN
30554
1229.88
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8c2.opb
UNKNOWN
30401
1229.88
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16b2.opb
UNKNOWN
30360
1229.88
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
UNKNOWN
30517
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-protfold.opb
UNKNOWN
31164
1229.88
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb
UNKNOWN
30539
1229.88
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
UNKNOWN
30518
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
UNKNOWN
30778
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p2756.opb
UNKNOWN
31111
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-cracpb1.opb
UNKNOWN
31086
1229.88
normalized-opb/submitted/een/normalized-mitre.opb
UNKNOWN
30594
1229.89
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
UNKNOWN
30574
1229.89
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb
UNKNOWN
30542
1229.89
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
UNKNOWN
30531
1229.89
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
UNKNOWN
30521
1229.89
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16a1.opb
UNKNOWN
30357
1229.89
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-10teams.opb
UNKNOWN
31122
1229.89
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb
UNKNOWN
30472
1229.89
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow30a.opb
UNKNOWN
31125
1229.89
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb
UNKNOWN
30523
1229.89
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb
UNKNOWN
30836
1229.89
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mitre.opb
UNKNOWN
31220
1229.89
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow40b.opb
UNKNOWN
31126
1229.89
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb
UNKNOWN
30737
1229.89
normalized-opb/submitted/manquinho/logic-synthesis/normalized-rot.b.opb
UNKNOWN
30319
1229.89
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8d2.opb
UNKNOWN
30405
1229.89
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g250.15.opb
UNKNOWN
30333
1229.9
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-manna81.opb
UNKNOWN
30755
1229.9
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv11.opb
UNKNOWN
31152
1229.9
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-l152lav.opb
UNKNOWN
31097
1229.9
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv42z.opb
UNKNOWN
31154
1229.9
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
UNKNOWN
30769
1229.9
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-my_adder.opb
UNKNOWN
30479
1229.9
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb
UNKNOWN
30471
1229.9
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-l152lav.opb
UNKNOWN
30829
1229.9
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-l152lav.opb
UNKNOWN
31214
1229.9
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb
UNKNOWN
30537
1229.9
normalized-opb/submitted/manquinho/logic-synthesis/normalized-jac3.opb
UNKNOWN
30315
1229.9
normalized-opb/submitted/manquinho/logic-synthesis/normalized-apex4.a.opb
UNKNOWN
30301
1229.9
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb
UNKNOWN
30711
1229.9
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
UNKNOWN
30538
1229.9
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g125.17.opb
UNKNOWN
30328
1229.9
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:100.opb
UNKNOWN
30569
1229.9
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb
UNKNOWN
30525
1229.9
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16c1.opb
UNKNOWN
30362
1229.9
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-manna81.opb
UNKNOWN
31139
1229.9
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb
UNKNOWN
30541
1229.9
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb
UNKNOWN
30526
1229.9
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb
UNKNOWN
30766
1229.91
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
UNKNOWN
30575
1229.91
normalized-opb/submitted/manquinho/logic-synthesis/normalized-exam.pi.opb
UNKNOWN
30310
1229.91
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:100.opb
UNKNOWN
30564
1229.91
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-net12.opb
UNKNOWN
31155
1229.91
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb
UNKNOWN
30535
1229.91
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16a2.opb
UNKNOWN
30358
1229.91
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16b1.opb
UNKNOWN
30359
1229.91
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb
UNKNOWN
30712
1229.91
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g125.18.opb
UNKNOWN
30329
1229.91
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod010.opb
UNKNOWN
31223
1229.91
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
UNKNOWN
30572
1229.91
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb
UNKNOWN
30718
1229.92
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lp4l.opb
UNKNOWN
31098
1229.92
normalized-opb/submitted/sorensson/garden/normalized-g100x100.opb
UNKNOWN
30576
1229.92
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod010.opb
UNKNOWN
31104
1229.92
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
UNKNOWN
30567
1229.92
normalized-opb/submitted/manquinho/logic-synthesis/normalized-bench1.pi.opb
UNKNOWN
30306
1229.92
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod010.opb
UNKNOWN
30839
1229.92
normalized-opb/submitted/manquinho/ttp/normalized-data10_3.opb
UNKNOWN
30484
1229.92
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-10teams.opb
UNKNOWN
30797
1229.93
normalized-opb/submitted/manquinho/logic-synthesis/normalized-test4.pi.opb
UNKNOWN
30322
1229.93
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-10teams.opb
UNKNOWN
31183
1229.93
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
UNKNOWN
30543
1229.93
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-net12.opb
UNKNOWN
30770
1229.94
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g250.29.opb
UNKNOWN
30338
1230.1
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-seymour1.opb
UNKNOWN
31315
1230.16
Category "optimization, medium integers" (OPTMEDINT)
Solver found optimum (OPTIMUM FOUND) (24 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-testprob.opb
OPT FOUND
31322
0.061989
normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-nazareth.opb
OPT FOUND
31321
0.159975
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc02.opb
OPT FOUND
31057
2.02169
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc01.opb
OPT FOUND
31055
2.15967
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50a.opb
OPT FOUND
30997
5.42517
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc105.opb
OPT FOUND
30994
6.30704
normalized-opb/submitted/een/normalized-enigma.opb
OPT FOUND
30550
10.4694
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos20.opb
OPT FOUND
31267
12.4031
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc205.opb
OPT FOUND
30996
12.4641
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-flugpl.opb
OPT FOUND
31165
16.1405
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-flugpl.opb
OPT FOUND
31049
16.1505
normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-maros.opb
OPT FOUND
31320
22.8485
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bk4x3.opb
OPT FOUND
31213
28.1337
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50b.opb
OPT FOUND
31003
40.3549
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sample2.opb
OPT FOUND
31080
58.0632
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc03.opb
OPT FOUND
31060
101.828
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc03.opb
OPT FOUND
31182
102.375
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-enigma.opb
OPT FOUND
31166
114.033
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-enigma.opb
OPT FOUND
30780
115.3
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-enigma.opb
OPT FOUND
30665
115.391
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-enigma.opb
OPT FOUND
31048
118.432
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-pipex.opb
OPT FOUND
30706
304.588
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-pipex.opb
OPT FOUND
31081
316.777
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc05.opb
OPT FOUND
31082
733.298
Unexpected exit code (UNKNOWN) (167 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-fit2d.opb
UNKNOWN
30968
13.129
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2d.opb
UNKNOWN
30584
17.4603
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-seymour1.opb
UNKNOWN
30892
62.4525
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos9.opb
UNKNOWN
31278
234.623
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-dano3mip.opb
UNKNOWN
31167
249.872
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-dano3mip.opb
UNKNOWN
31101
278.959
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb
UNKNOWN
30900
345.533
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-d6cube.opb
UNKNOWN
30970
435.476
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_5.opb
UNKNOWN
31286
1031.33
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_4.opb
UNKNOWN
31284
1071.93
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_3.opb
UNKNOWN
31285
1118.72
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-misc07.opb
UNKNOWN
31144
1229.84
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-markshare1.opb
UNKNOWN
31215
1229.84
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-markshare2.opb
UNKNOWN
31216
1229.84
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fiber.opb
UNKNOWN
31133
1229.84
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc07.opb
UNKNOWN
31219
1229.84
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pk1.opb
UNKNOWN
31160
1229.84
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fiber.opb
UNKNOWN
31197
1229.84
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare1.opb
UNKNOWN
31140
1229.84
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare1_1.opb
UNKNOWN
31291
1229.84
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare2.opb
UNKNOWN
31141
1229.84
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pk1.opb
UNKNOWN
31230
1229.84
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare2_1.opb
UNKNOWN
31290
1229.85
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0291.opb
UNKNOWN
30724
1229.85
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc07.opb
UNKNOWN
31102
1229.85
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0291.opb
UNKNOWN
31109
1229.85
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm1.opb
UNKNOWN
30854
1229.86
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos11.opb
UNKNOWN
31295
1229.86
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0282.opb
UNKNOWN
30723
1229.86
normalized-opb/submitted/een/normalized-p0282.opb
UNKNOWN
30590
1229.86
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod013.opb
UNKNOWN
31105
1229.86
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb
UNKNOWN
30736
1229.86
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0282.opb
UNKNOWN
31108
1229.86
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08a.opb
UNKNOWN
31163
1229.86
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-gr4x6.opb
UNKNOWN
31241
1229.86
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0282.opb
UNKNOWN
30843
1229.86
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-ran14x18_1.opb
UNKNOWN
31314
1229.87
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-mkc1.opb
UNKNOWN
31292
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mkc.opb
UNKNOWN
31145
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1al.opb
UNKNOWN
31117
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet4.opb
UNKNOWN
31092
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08a.opb
UNKNOWN
31232
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm2.opb
UNKNOWN
30855
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet6.opb
UNKNOWN
31093
1229.87
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-tr12-30.opb
UNKNOWN
31345
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nw04.opb
UNKNOWN
31157
1229.87
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran16x16.opb
UNKNOWN
31273
1229.87
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-nug08.opb
UNKNOWN
30924
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mkc.opb
UNKNOWN
31221
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-egout.opb
UNKNOWN
31195
1229.87
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-berlin_5_8_0.opb
UNKNOWN
31323
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nw04.opb
UNKNOWN
30772
1229.87
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x12.opb
UNKNOWN
31261
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm2.opb
UNKNOWN
31239
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-nw04.opb
UNKNOWN
31225
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08aCUTS.opb
UNKNOWN
31161
1229.87
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x26.opb
UNKNOWN
31264
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0282.opb
UNKNOWN
31227
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-nw04.opb
UNKNOWN
30841
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fixnet6.opb
UNKNOWN
31198
1229.87
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-nug08.opb
UNKNOWN
31310
1229.87
normalized-opb/submitted/een/normalized-nw04.opb
UNKNOWN
30592
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-egout.opb
UNKNOWN
31089
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb
UNKNOWN
30795
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow40b.opb
UNKNOWN
30740
1229.88
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran8x32.opb
UNKNOWN
31279
1229.88
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x21.opb
UNKNOWN
31268
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08aCUTS.opb
UNKNOWN
31231
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-set1ch.opb
UNKNOWN
31171
1229.88
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst1.opb
UNKNOWN
31288
1229.88
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran14x18.opb
UNKNOWN
31270
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1ch.opb
UNKNOWN
31119
1229.88
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10b.opb
UNKNOWN
31259
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rout.opb
UNKNOWN
31235
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-danoint.opb
UNKNOWN
31193
1229.88
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos12.opb
UNKNOWN
31296
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fixnet6.opb
UNKNOWN
31134
1229.88
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10c.opb
UNKNOWN
31260
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-set1ch.opb
UNKNOWN
31236
1229.88
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-usAbbrv.8.25_70.opb
UNKNOWN
31348
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-tr12-30.opb
UNKNOWN
31179
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-liu.opb
UNKNOWN
31138
1229.88
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran17x17.opb
UNKNOWN
31275
1229.88
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap1.opb
UNKNOWN
31054
1229.88
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-railway_8_1_0.opb
UNKNOWN
31339
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-rout.opb
UNKNOWN
31170
1229.89
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air01.opb
UNKNOWN
31070
1229.89
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb
UNKNOWN
30546
1229.89
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10a.opb
UNKNOWN
31258
1229.89
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst2.opb
UNKNOWN
31289
1229.89
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air01.opb
UNKNOWN
30681
1229.89
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1cl.opb
UNKNOWN
31120
1229.89
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-nsrand_ipx.opb
UNKNOWN
31338
1229.89
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-qap10.opb
UNKNOWN
31311
1229.89
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet3.opb
UNKNOWN
31090
1229.9
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nsrand-ipx.opb
UNKNOWN
31156
1229.9
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-qap10.opb
UNKNOWN
30925
1229.9
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb
UNKNOWN
30823
1229.9
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran4x64.opb
UNKNOWN
31276
1229.9
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bal8x12.opb
UNKNOWN
31240
1229.9
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb
UNKNOWN
30739
1229.9
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gt2.opb
UNKNOWN
31210
1229.9
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370e.opb
UNKNOWN
31257
1229.91
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3707.opb
UNKNOWN
31249
1229.91
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3700.opb
UNKNOWN
31242
1229.91
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air06.opb
UNKNOWN
30690
1229.91
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran13x13.opb
UNKNOWN
31269
1229.91
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air06.opb
UNKNOWN
31076
1229.91
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3705.opb
UNKNOWN
31247
1229.91
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran6x43.opb
UNKNOWN
31277
1229.91
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370d.opb
UNKNOWN
31256
1229.91
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3706.opb
UNKNOWN
31248
1229.91
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air04.opb
UNKNOWN
30741
1229.92
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3708.opb
UNKNOWN
31250
1229.92
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3701.opb
UNKNOWN
31243
1229.92
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air04.opb
UNKNOWN
30800
1229.92
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3709.opb
UNKNOWN
31251
1229.92
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3702.opb
UNKNOWN
31244
1229.92
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370a.opb
UNKNOWN
31252
1229.92
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air04.opb
UNKNOWN
31074
1229.92
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3703.opb
UNKNOWN
31245
1229.92
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air02.opb
UNKNOWN
30682
1229.92
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air04.opb
UNKNOWN
31127
1229.92
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370b.opb
UNKNOWN
31253
1229.92
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3704.opb
UNKNOWN
31246
1229.92
normalized-opb/submitted/een/normalized-cap6000.opb
UNKNOWN
30591
1229.92
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370c.opb
UNKNOWN
31254
1229.92
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air04.opb
UNKNOWN
31185
1229.92
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p6000.opb
UNKNOWN
31112
1229.93
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-cap6000.opb
UNKNOWN
31192
1229.93
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-danoint.opb
UNKNOWN
31132
1229.93
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air02.opb
UNKNOWN
31071
1229.93
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-cap6000.opb
UNKNOWN
30746
1229.93
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-cap6000.opb
UNKNOWN
30807
1229.93
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p6000.opb
UNKNOWN
30727
1229.93
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air04.opb
UNKNOWN
30686
1229.93
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-cap6000.opb
UNKNOWN
31130
1229.93
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x12.opb
UNKNOWN
31265
1229.93
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ar.opb
UNKNOWN
30978
1229.94
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ar.opb
UNKNOWN
31341
1229.94
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp98ar.opb
UNKNOWN
31343
1229.94
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-t1717.opb
UNKNOWN
31176
1229.95
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos6.opb
UNKNOWN
31306
1229.95
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-t1717.opb
UNKNOWN
30789
1229.95
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ar.opb
UNKNOWN
30976
1229.95
normalized-opb/submitted/een/normalized-air05.opb
UNKNOWN
30578
1229.96
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air05.opb
UNKNOWN
30689
1229.97
normalized-opb/submitted/een/normalized-air04.opb
UNKNOWN
30596
1229.97
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air03.opb
UNKNOWN
30798
1229.97
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air05.opb
UNKNOWN
30743
1229.97
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air03.opb
UNKNOWN
31073
1229.97
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air05.opb
UNKNOWN
30801
1229.97
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air05.opb
UNKNOWN
31075
1229.97
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air03.opb
UNKNOWN
31184
1229.97
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air03.opb
UNKNOWN
30684
1229.97
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air05.opb
UNKNOWN
31128
1229.97
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air05.opb
UNKNOWN
31186
1229.97
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1d.opb
UNKNOWN
30630
1229.98
normalized-opb/submitted/een/normalized-air03.opb
UNKNOWN
30586
1229.98
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap2.opb
UNKNOWN
31056
1229.98
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit1d.opb
UNKNOWN
31034
1229.99
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B1C1S1.opb
UNKNOWN
31318
1230.02
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B2C1S1.opb
UNKNOWN
31319
1230.02
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-stp3d.opb
UNKNOWN
31175
1230.03
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-stp3d.opb
UNKNOWN
30790
1230.03
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap3.opb
UNKNOWN
31058
1230.03
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-CMS750_4.opb
UNKNOWN
31327
1230.06
Category "optimization, big integers" (OPTBIGINT)
Solver found optimum (OPTIMUM FOUND) (26 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-testprob.opb
OPT FOUND
30940
0.087986
normalized-opb/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-nazareth.opb
OPT FOUND
30939
0.543916
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc01.opb
OPT FOUND
30671
2.37864
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc02.opb
OPT FOUND
30672
2.77858
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos20.opb
OPT FOUND
30881
13.347
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc105.opb
OPT FOUND
30609
13.6879
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50a.opb
OPT FOUND
30613
14.6428
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-bk4x3.opb
OPT FOUND
30828
25.8571
normalized-opb/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb
OPT FOUND
30935
30.3834
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-flugpl.opb
OPT FOUND
30781
36.3885
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-flugpl.opb
OPT FOUND
30667
36.4015
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sample2.opb
OPT FOUND
30697
55.8465
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc205.opb
OPT FOUND
30620
72.157
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc03.opb
OPT FOUND
30674
84.9441
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-misc03.opb
OPT FOUND
30799
86.4839
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-noswot.opb
OPT FOUND
30810
143.226
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-noswot.opb
OPT FOUND
30685
143.293
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-noswot.opb
OPT FOUND
30747
145.757
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-noswot.opb
OPT FOUND
31131
162.052
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-noswot.opb
OPT FOUND
31072
207.802
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-noswot.opb
OPT FOUND
31196
207.82
normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-afiro.opb
OPT FOUND
31330
482.164
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-afiro.opb
OPT FOUND
30963
484.119
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc05.opb
OPT FOUND
30707
952.576
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-egout.opb
OPT FOUND
30696
1098.43
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-egout.opb
OPT FOUND
30804
1102.24
Solver proved unsatitisfiability (UNSATISFIABLE) (103 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-vtp.base.opb
UNSAT
31027
0.088986
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scagr7.opb
UNSAT
30999
0.127979
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scagr7.opb
UNSAT
30615
0.169973
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-gfrd-pnc.opb
UNSAT
30973
0.180971
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-agg.opb
UNSAT
30945
0.18997
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ganges.opb
UNSAT
30971
0.195969
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-shell.opb
UNSAT
31013
0.223965
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-arki001.opb
UNSAT
31095
0.223965
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-khb05250.opb
UNSAT
31173
0.25596
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-khb05250.opb
UNSAT
31051
0.25696
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-capri.opb
UNSAT
30954
0.287955
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-agg3.opb
UNSAT
30944
0.299953
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-agg2.opb
UNSAT
30943
0.300953
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-bore3d.opb
UNSAT
30952
0.325949
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-share1b.opb
UNSAT
31011
0.333948
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scagr25.opb
UNSAT
30998
0.416936
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-brandy.opb
UNSAT
30953
0.530918
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-finnis.opb
UNSAT
30966
0.624904
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scagr25.opb
UNSAT
30614
0.631902
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-modszk1.opb
UNSAT
30983
0.638902
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-stocfor1.opb
UNSAT
31024
0.679896
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scfxm1.opb
UNSAT
31000
0.712891
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-qnet1_o.opb
UNSAT
31200
0.754884
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-e226.opb
UNSAT
30962
0.758884
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-qnet1.opb
UNSAT
31199
0.829872
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-bandm.opb
UNSAT
30946
0.85187
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-brandy.opb
UNSAT
30570
0.925858
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-finnis.opb
UNSAT
30582
0.990849
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stocfor1.opb
UNSAT
30640
1.06684
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot.ja.opb
UNSAT
30991
1.15582
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scfxm2.opb
UNSAT
31001
1.40579
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship04s.opb
UNSAT
31017
1.41978
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qnet1_o.opb
UNSAT
30816
1.48077
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qnet1.opb
UNSAT
30815
1.56076
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot.opb
UNSAT
30992
1.66375
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot.ja.opb
UNSAT
30607
1.67574
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ganges.opb
UNSAT
30587
1.85172
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship12s.opb
UNSAT
31020
1.91971
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-maros-r7.opb
UNSAT
30982
2.00369
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship08s.opb
UNSAT
31018
2.07168
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scfxm3.opb
UNSAT
31002
2.10568
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-etamacro.opb
UNSAT
30964
2.49562
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-capri.opb
UNSAT
30571
3.32549
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-etamacro.opb
UNSAT
30580
3.76843
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rentacar.opb
UNSAT
31201
3.85641
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship04l.opb
UNSAT
31016
3.86041
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-rentacar.opb
UNSAT
31078
3.87241
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bore3d.opb
UNSAT
30568
3.9324
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot87.opb
UNSAT
30990
4.04638
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-perold.opb
UNSAT
30985
4.08638
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-share1b.opb
UNSAT
30628
4.09038
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-bnl2.opb
UNSAT
30949
5.03223
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-beaconfd.opb
UNSAT
30947
5.37418
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot.we.opb
UNSAT
30993
6.06108
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship08l.opb
UNSAT
31019
6.553
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-arki001.opb
UNSAT
31153
6.97594
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship12l.opb
UNSAT
31021
7.35088
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-e226.opb
UNSAT
30579
8.17976
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot4.opb
UNSAT
30986
8.76867
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilotnov.opb
UNSAT
30989
8.89565
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm1.opb
UNSAT
30616
9.41657
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bandm.opb
UNSAT
30562
10.2844
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fffff800.opb
UNSAT
30967
13.428
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilotnov.opb
UNSAT
30608
13.5809
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-rentacar.opb
UNSAT
30695
13.5889
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-rentacar.opb
UNSAT
30817
13.7979
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot4.opb
UNSAT
30605
13.8079
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-stocfor2.opb
UNSAT
31025
15.1867
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-perold.opb
UNSAT
30601
17.4114
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship04s.opb
UNSAT
30633
18.1962
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm2.opb
UNSAT
30618
19.0021
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot.opb
UNSAT
30610
23.1985
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-nesm.opb
UNSAT
30987
23.4754
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-momentum1.opb
UNSAT
31118
23.8234
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stocfor2.opb
UNSAT
30642
24.8122
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos4.opb
UNSAT
31271
26.252
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm3.opb
UNSAT
30622
28.4757
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-25fv47.opb
UNSAT
30941
29.1706
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum1.opb
UNSAT
30735
31.3742
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-woodw.opb
UNSAT
31029
31.4652
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12s.opb
UNSAT
30637
35.7636
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos4.opb
UNSAT
30884
36.3835
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-nesm.opb
UNSAT
30604
36.6254
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship08s.opb
UNSAT
30634
37.0144
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fffff800.opb
UNSAT
30583
43.9933
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship04l.opb
UNSAT
30632
46.6439
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-80bau3b.opb
UNSAT
30948
55.0916
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell4.opb
UNSAT
31042
55.3526
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell3b.opb
UNSAT
31039
57.4023
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-25fv47.opb
UNSAT
30557
58.1222
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bnl2.opb
UNSAT
30573
60.1319
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot87.opb
UNSAT
30611
60.3808
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-beaconfd.opb
UNSAT
30566
63.7343
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-d2q06c.opb
UNSAT
30960
63.9483
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-woodw.opb
UNSAT
30646
70.3213
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-80bau3b.opb
UNSAT
30559
80.8097
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship08l.opb
UNSAT
30636
84.0412
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12l.opb
UNSAT
30638
88.9335
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d2q06c.opb
UNSAT
30581
99.5139
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-momentum2.opb
UNSAT
31123
180.174
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum2.opb
UNSAT
30742
231.996
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-rd-rplusc-21.opb
UNSAT
31149
499.055
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rd-rplusc-21.opb
UNSAT
30768
688.38
Unexpected exit code (UNKNOWN) (353 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb
UNKNOWN
30730
384.209
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-net12.opb
UNKNOWN
30928
385.233
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-glass4.opb
UNKNOWN
30927
390.122
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-glass4.opb
UNKNOWN
31115
395.721
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scsd1.opb
UNKNOWN
31032
473.914
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-dfl001.opb
UNKNOWN
30984
654.708
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb
UNKNOWN
30923
744.545
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ar98.opb
UNKNOWN
30957
1433.67
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-gfrd-pnc.opb
UNKNOWN
30588
9.58254
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-shell.opb
UNKNOWN
30629
9.75552
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-rail507.opb
UNKNOWN
31309
37.8152
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-rail507.opb
UNKNOWN
30921
38.1662
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos15.opb
UNKNOWN
30878
40.0489
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos14.opb
UNKNOWN
30873
40.3039
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-swath.opb
UNKNOWN
31146
48.6156
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-swath.opb
UNKNOWN
31209
49.3925
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-swath.opb
UNKNOWN
30758
55.9025
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-swath.opb
UNKNOWN
30825
55.9455
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-swath3.opb
UNKNOWN
31283
68.4476
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-swath2.opb
UNKNOWN
31282
69.5424
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-swath1.opb
UNKNOWN
31281
70.7762
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-recipe.opb
UNKNOWN
31006
94.3207
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ir98.opb
UNKNOWN
31294
111.187
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-swath3.opb
UNKNOWN
30898
159.533
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-swath2.opb
UNKNOWN
30899
174.244
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-swath1.opb
UNKNOWN
30897
181.01
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ic97.opb
UNKNOWN
31293
231.524
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-dano3mip.opb
UNKNOWN
30785
360.237
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scorpion.opb
UNKNOWN
30641
373.014
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-glass4.opb
UNKNOWN
31312
389.971
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-net12.opb
UNKNOWN
31313
395.482
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2p.opb
UNKNOWN
30981
423.576
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scsd8.opb
UNKNOWN
31030
431.908
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd8.opb
UNKNOWN
30643
436.775
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd1.opb
UNKNOWN
30644
469.317
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scsd6.opb
UNKNOWN
31033
474.821
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-dano3mip.opb
UNKNOWN
30721
476.382
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd6.opb
UNKNOWN
30645
477.039
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ic98.opb
UNKNOWN
31302
484.365
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dolom1.opb
UNKNOWN
30929
537.513
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ir98.opb
UNKNOWN
30919
557.771
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-13-7-fome11.opb
UNKNOWN
31255
631.782
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ar98.opb
UNKNOWN
31307
637.578
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-blend2.opb
UNKNOWN
30787
646.534
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-vtp.base.opb
UNKNOWN
30660
700.393
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-13-7-fome12.opb
UNKNOWN
31262
715.212
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-lotfi.opb
UNKNOWN
31031
733.046
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-dfl001.opb
UNKNOWN
30597
742.694
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-NSR8K.opb
UNKNOWN
31326
806.18
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-NSR8K.opb
UNKNOWN
30956
831.382
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1c.opb
UNKNOWN
30942
848.858
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb
UNKNOWN
30891
863.683
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc06.opb
UNKNOWN
31094
912.915
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc06.opb
UNKNOWN
31212
912.923
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-siena1.opb
UNKNOWN
31332
957.337
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-lotfi.opb
UNKNOWN
30647
994.33
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core2586-950.opb
UNKNOWN
30950
1056.44
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core2536-691.opb
UNKNOWN
30951
1125.54
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic98.opb
UNKNOWN
30937
1148.72
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg.opb
UNKNOWN
30602
1169.68
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-harp2.opb
UNKNOWN
30826
1229.83
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-kb2.opb
UNKNOWN
31047
1229.83
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gesa3.opb
UNKNOWN
31205
1229.83
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-adlittle.opb
UNKNOWN
31009
1229.83
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-harp2.opb
UNKNOWN
31137
1229.83
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gesa3_o.opb
UNKNOWN
31208
1229.83
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-harp2.opb
UNKNOWN
31211
1229.83
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare2.opb
UNKNOWN
30757
1229.84
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-stair.opb
UNKNOWN
31063
1229.84
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc07.opb
UNKNOWN
30715
1229.84
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa3_o.opb
UNKNOWN
30821
1229.84
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas74.opb
UNKNOWN
30759
1229.84
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-adlittle.opb
UNKNOWN
30599
1229.84
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-israel.opb
UNKNOWN
31046
1229.84
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-fiber.opb
UNKNOWN
30811
1229.84
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mas76.opb
UNKNOWN
31218
1229.84
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas76.opb
UNKNOWN
30760
1229.84
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-gesa2.opb
UNKNOWN
31135
1229.84
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gesa2.opb
UNKNOWN
31203
1229.84
normalized-opb/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-adlittle.opb
UNKNOWN
31005
1229.84
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-markshare1.opb
UNKNOWN
30830
1229.84
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stair.opb
UNKNOWN
30676
1229.84
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-harp2.opb
UNKNOWN
30753
1229.84
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-pk1.opb
UNKNOWN
30846
1229.84
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-markshare2.opb
UNKNOWN
30831
1229.84
normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-adlittle.opb
UNKNOWN
31349
1229.84
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mas74.opb
UNKNOWN
31142
1229.84
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare1.opb
UNKNOWN
30756
1229.84
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mas76.opb
UNKNOWN
30833
1229.84
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mas76.opb
UNKNOWN
31143
1229.84
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bnl1.opb
UNKNOWN
30617
1229.85
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare1_1.opb
UNKNOWN
30906
1229.85
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mas74.opb
UNKNOWN
31217
1229.85
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2.opb
UNKNOWN
30751
1229.85
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-misc07.opb
UNKNOWN
30834
1229.85
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare2_1.opb
UNKNOWN
30909
1229.85
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-modszk1.opb
UNKNOWN
30658
1229.85
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-afiro.opb
UNKNOWN
30600
1229.85
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3a.opb
UNKNOWN
30691
1229.85
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pk1.opb
UNKNOWN
30775
1229.85
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-misc07.opb
UNKNOWN
30761
1229.85
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-gesa2-o.opb
UNKNOWN
31136
1229.85
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-tuff.opb
UNKNOWN
31066
1229.85
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg2.opb
UNKNOWN
30603
1229.85
normalized-opb/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-afiro.opb
UNKNOWN
31007
1229.85
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-israel.opb
UNKNOWN
30653
1229.85
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg3.opb
UNKNOWN
30606
1229.85
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell4.opb
UNKNOWN
30693
1229.85
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa2.opb
UNKNOWN
30818
1229.85
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-bell3a.opb
UNKNOWN
31187
1229.85
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell3a.opb
UNKNOWN
31077
1229.85
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mas74.opb
UNKNOWN
30832
1229.85
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell5.opb
UNKNOWN
30694
1229.85
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-bell5.opb
UNKNOWN
31188
1229.85
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fiber.opb
UNKNOWN
30749
1229.85
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell5.opb
UNKNOWN
31083
1229.85
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa3.opb
UNKNOWN
30820
1229.85
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-bnl1.opb
UNKNOWN
31012
1229.85
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scrs8.opb
UNKNOWN
30664
1229.85
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros.opb
UNKNOWN
30655
1229.85
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scrs8.opb
UNKNOWN
31053
1229.86
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-rout.opb
UNKNOWN
30851
1229.86
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-khb05250.opb
UNKNOWN
30827
1229.86
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-bell3a.opb
UNKNOWN
30803
1229.86
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot.we.opb
UNKNOWN
30662
1229.86
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3b.opb
UNKNOWN
30692
1229.86
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos11.opb
UNKNOWN
30911
1229.86
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-bell5.opb
UNKNOWN
30805
1229.86
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-khb05250.opb
UNKNOWN
30710
1229.86
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-maros.opb
UNKNOWN
31050
1229.86
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50b.opb
UNKNOWN
30663
1229.86
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-gr4x6.opb
UNKNOWN
30857
1229.86
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-set1cl.opb
UNKNOWN
30734
1229.87
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran13x13.opb
UNKNOWN
30888
1229.87
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-roll3000.opb
UNKNOWN
30974
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mod011.opb
UNKNOWN
31147
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-rgn.opb
UNKNOWN
30850
1229.87
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
UNKNOWN
30889
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-timtab1.opb
UNKNOWN
31177
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mkc.opb
UNKNOWN
30837
1229.87
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos13.opb
UNKNOWN
31299
1229.87
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran17x17.opb
UNKNOWN
30893
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb
UNKNOWN
30776
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mkc.opb
UNKNOWN
30762
1229.87
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-czprob.opb
UNKNOWN
30624
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-rgn.opb
UNKNOWN
30729
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08a.opb
UNKNOWN
30777
1229.87
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-tr12-30.opb
UNKNOWN
30980
1229.87
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-kb2.opb
UNKNOWN
30654
1229.87
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d6cube.opb
UNKNOWN
30625
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rgn.opb
UNKNOWN
31234
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-roll3000.opb
UNKNOWN
31169
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-rgn.opb
UNKNOWN
31114
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-roll3000.opb
UNKNOWN
30783
1229.87
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb
UNKNOWN
30886
1229.87
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-berlin_5_8_0.opb
UNKNOWN
30934
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-fixnet3.opb
UNKNOWN
30704
1229.88
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb
UNKNOWN
31004
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-msc98-ip.opb
UNKNOWN
30765
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod013.opb
UNKNOWN
30719
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-fixnet4.opb
UNKNOWN
30705
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-set1ch.opb
UNKNOWN
30786
1229.88
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-van.opb
UNKNOWN
31008
1229.88
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb
UNKNOWN
30875
1229.88
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos7.opb
UNKNOWN
31308
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-fixnet6.opb
UNKNOWN
30708
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-fixnet6.opb
UNKNOWN
30812
1229.88
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-mkc1.opb
UNKNOWN
30910
1229.88
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran16x16.opb
UNKNOWN
30890
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-timtab2.opb
UNKNOWN
31178
1229.88
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-cycle.opb
UNKNOWN
30623
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-set1ch.opb
UNKNOWN
30852
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-msc98-ip.opb
UNKNOWN
31151
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab1.opb
UNKNOWN
30792
1229.88
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
UNKNOWN
30880
1229.88
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-roll3000.opb
UNKNOWN
31340
1229.88
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-bal8x12.opb
UNKNOWN
30856
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-set1al.opb
UNKNOWN
30732
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-pp08aCUTS.opb
UNKNOWN
30847
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb
UNKNOWN
30793
1229.88
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-blend.opb
UNKNOWN
31010
1229.88
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x12.opb
UNKNOWN
30882
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-set1ch.opb
UNKNOWN
30733
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-pp08a.opb
UNKNOWN
30848
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-tr12-30.opb
UNKNOWN
30794
1229.88
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran8x32.opb
UNKNOWN
30901
1229.88
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb
UNKNOWN
30972
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fixnet6.opb
UNKNOWN
30750
1229.89
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-share2b.opb
UNKNOWN
30673
1229.89
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rout.opb
UNKNOWN
30784
1229.89
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-standata.opb
UNKNOWN
31064
1229.89
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-bg512142.opb
UNKNOWN
31324
1229.89
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb
UNKNOWN
30771
1229.89
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2-o.opb
UNKNOWN
30752
1229.89
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-standgub.opb
UNKNOWN
31065
1229.89
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst1.opb
UNKNOWN
30903
1229.89
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-greenbea.opb
UNKNOWN
31037
1229.89
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x12.opb
UNKNOWN
30879
1229.89
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos12.opb
UNKNOWN
30912
1229.89
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
UNKNOWN
30969
1229.89
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos13.opb
UNKNOWN
30913
1229.89
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbea.opb
UNKNOWN
30648
1229.89
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-ran14x18_1.opb
UNKNOWN
30926
1229.89
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-dcmulti.opb
UNKNOWN
30809
1229.9
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb
UNKNOWN
30874
1229.9
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-bg512142.opb
UNKNOWN
30936
1229.9
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-boeing2.opb
UNKNOWN
31015
1229.9
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10c.opb
UNKNOWN
30876
1229.9
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-UMTS.opb
UNKNOWN
31347
1229.9
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst2.opb
UNKNOWN
30904
1229.9
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap1.opb
UNKNOWN
30666
1229.9
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-seba.opb
UNKNOWN
31059
1229.9
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-share2b.opb
UNKNOWN
31061
1229.9
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen2.opb
UNKNOWN
30626
1229.9
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-dcmulti.opb
UNKNOWN
30699
1229.9
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbeb.opb
UNKNOWN
30649
1229.91
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-dcmulti.opb
UNKNOWN
31088
1229.91
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qiu.opb
UNKNOWN
30849
1229.91
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-grow7.opb
UNKNOWN
31045
1229.91
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-dcmulti.opb
UNKNOWN
31194
1229.91
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-qiu.opb
UNKNOWN
30728
1229.91
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-van.opb
UNKNOWN
31350
1229.91
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-greenbeb.opb
UNKNOWN
31038
1229.91
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-qiu.opb
UNKNOWN
31233
1229.91
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-degen2.opb
UNKNOWN
31026
1229.91
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran4x64.opb
UNKNOWN
30894
1229.91
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-qiu.opb
UNKNOWN
31168
1229.91
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-qiu.opb
UNKNOWN
31113
1229.91
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-danoint.opb
UNKNOWN
30748
1229.91
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran6x43.opb
UNKNOWN
30895
1229.91
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-qiu.opb
UNKNOWN
30782
1229.91
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-blend.opb
UNKNOWN
30612
1229.91
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-danoint.opb
UNKNOWN
30808
1229.91
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb
UNKNOWN
30995
1229.91
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-arki001.opb
UNKNOWN
30744
1229.92
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow7.opb
UNKNOWN
30652
1229.92
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-atlanta-ip.opb
UNKNOWN
30745
1229.92
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos14.opb
UNKNOWN
31297
1229.92
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos15.opb
UNKNOWN
31298
1229.92
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos17.opb
UNKNOWN
31301
1229.92
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-tuff.opb
UNKNOWN
30679
1229.92
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-seba.opb
UNKNOWN
30670
1229.92
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3700.opb
UNKNOWN
30858
1229.93
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-wood1p.opb
UNKNOWN
30680
1229.93
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3709.opb
UNKNOWN
30867
1229.93
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3702.opb
UNKNOWN
30860
1229.93
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sierra.opb
UNKNOWN
30675
1229.93
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ic.opb
UNKNOWN
30977
1229.93
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370b.opb
UNKNOWN
30869
1229.93
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb
UNKNOWN
30763
1229.93
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3705.opb
UNKNOWN
30863
1229.93
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370d.opb
UNKNOWN
30871
1229.93
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3706.opb
UNKNOWN
30864
1229.93
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sierra.opb
UNKNOWN
31062
1229.93
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scorpion.opb
UNKNOWN
31052
1229.93
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370e.opb
UNKNOWN
30872
1229.93
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3707.opb
UNKNOWN
30865
1229.94
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp98ic.opb
UNKNOWN
31344
1229.94
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3708.opb
UNKNOWN
30866
1229.94
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3701.opb
UNKNOWN
30859
1229.94
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370a.opb
UNKNOWN
30868
1229.94
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3703.opb
UNKNOWN
30861
1229.94
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-czprob.opb
UNKNOWN
31023
1229.94
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
UNKNOWN
30979
1229.94
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3704.opb
UNKNOWN
30862
1229.94
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-modglob.opb
UNKNOWN
31106
1229.94
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370c.opb
UNKNOWN
30870
1229.94
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-degen3.opb
UNKNOWN
31028
1229.94
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ic.opb
UNKNOWN
31342
1229.94
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-boeing1.opb
UNKNOWN
31014
1229.95
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos17.opb
UNKNOWN
30915
1229.95
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-modglob.opb
UNKNOWN
31148
1229.95
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-modglob.opb
UNKNOWN
31224
1229.95
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gesa2_o.opb
UNKNOWN
31204
1229.95
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-van.opb
UNKNOWN
31181
1229.95
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos2.opb
UNKNOWN
31303
1229.96
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos3.opb
UNKNOWN
31304
1229.96
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-biella1.opb
UNKNOWN
30938
1229.96
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb
UNKNOWN
30791
1229.96
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos6.opb
UNKNOWN
30920
1229.96
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-sp97ar.opb
UNKNOWN
31174
1229.96
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit1p.opb
UNKNOWN
31035
1229.97
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-recipe.opb
UNKNOWN
30661
1229.97
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-liu.opb
UNKNOWN
30754
1229.98
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-blend2.opb
UNKNOWN
31189
1229.98
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen3.opb
UNKNOWN
30627
1229.99
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-van.opb
UNKNOWN
30796
1229.99
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-gen.opb
UNKNOWN
31096
1229.99
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-core2586-950.opb
UNKNOWN
31329
1229.99
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gen.opb
UNKNOWN
31202
1229.99
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2p.opb
UNKNOWN
30635
1229.99
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-trento1.opb
UNKNOWN
30988
1229.99
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-a1c1s1.opb
UNKNOWN
31124
1230
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-siena1.opb
UNKNOWN
30975
1230
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-grow15.opb
UNKNOWN
31040
1230
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-core2536-691.opb
UNKNOWN
31328
1230.01
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-A2C1S1.opb
UNKNOWN
31317
1230.01
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow15.opb
UNKNOWN
30650
1230.01
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-atlanta-ip.opb
UNKNOWN
31129
1230.01
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-forplan.opb
UNKNOWN
30639
1230.01
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_3.opb
UNKNOWN
30905
1230.01
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_4.opb
UNKNOWN
30908
1230.01
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_5.opb
UNKNOWN
30907
1230.01
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1l.opb
UNKNOWN
30961
1230.02
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-A1C1S1.opb
UNKNOWN
31316
1230.02
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos2.opb
UNKNOWN
30916
1230.03
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-arki001.opb
UNKNOWN
30802
1230.04
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos3.opb
UNKNOWN
30917
1230.04
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap2.opb
UNKNOWN
30668
1230.04
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos7.opb
UNKNOWN
30922
1230.04
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dg012142.opb
UNKNOWN
31336
1230.04
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-modglob.opb
UNKNOWN
30720
1230.05
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-modglob.opb
UNKNOWN
30840
1230.05
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-modglob.opb
UNKNOWN
30764
1230.05
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-boeing2.opb
UNKNOWN
30621
1230.06
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-grow22.opb
UNKNOWN
31043
1230.06
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-CMS750_4.opb
UNKNOWN
30955
1230.07
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dg012142.opb
UNKNOWN
30965
1230.08
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow22.opb
UNKNOWN
30651
1230.09
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-A1C1S1.opb
UNKNOWN
30930
1230.09
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa2_o.opb
UNKNOWN
30819
1230.09
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
UNKNOWN
30933
1230.09
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-core4284-1064.opb
UNKNOWN
31331
1230.1
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-A2C1S1.opb
UNKNOWN
30931
1230.1
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb
UNKNOWN
30932
1230.1
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-biella1.opb
UNKNOWN
31325
1230.11
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-trento1.opb
UNKNOWN
31346
1230.12
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-core4872-1529.opb
UNKNOWN
31333
1230.12
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb
UNKNOWN
30959
1230.12
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap3.opb
UNKNOWN
30669
1230.13
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gen.opb
UNKNOWN
30814
1230.21
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-gen.opb
UNKNOWN
30709
1230.22
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dc1c.opb
UNKNOWN
31334
1230.24
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-standata.opb
UNKNOWN
30677
1230.3
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dolom1.opb
UNKNOWN
31337
1230.31
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-a1c1s1.opb
UNKNOWN
30738
1230.32
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb
UNKNOWN
30958
1230.32
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-forplan.opb
UNKNOWN
31036
1230.35
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-standgub.opb
UNKNOWN
30678
1230.35
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-boeing1.opb
UNKNOWN
30619
1230.36
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bc1.opb
UNKNOWN
30902
1230.4
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bc1.opb
UNKNOWN
31287
1230.4
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dc1l.opb
UNKNOWN
31335
1230.44
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc06.opb
UNKNOWN
30714
1230.51
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-misc06.opb
UNKNOWN
30835
1230.53
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1p.opb
UNKNOWN
30631
1230.66
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros-r7.opb
UNKNOWN
30656
1231.25
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-momentum3.opb
UNKNOWN
31150
1231.29
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum3.opb
UNKNOWN
30767
1231.75
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc04.opb
UNKNOWN
31099
1231.78
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-cycle.opb
UNKNOWN
31022
1232.05
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc04.opb
UNKNOWN
30713
1232.74
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-wood1p.opb
UNKNOWN
31068
1234.66