Result page for solver minisat+_script -cb -gs
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
31616
0.026995
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl.opb
UNSAT
31597
0.033994
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl.opb
UNSAT
31598
0.034994
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb
UNSAT
31596
0.048991
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb
UNSAT
31599
0.092985
normalized-opb/web/uclid_pb_benchmarks/normalized-44s.smv.opb
UNSAT
31592
0.130979
normalized-opb/web/uclid_pb_benchmarks/normalized-37s.smv.opb
UNSAT
31590
0.173972
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb
UNSAT
31617
0.174972
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb
UNSAT
31609
0.19097
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb
UNSAT
31629
0.241963
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb
UNSAT
31601
0.248961
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb
UNSAT
31587
0.350946
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb
UNSAT
31600
0.491924
normalized-opb/web/uclid_pb_benchmarks/normalized-46s.smv.opb
UNSAT
31594
0.551915
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb
UNSAT
31630
0.626904
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.4.accl.ucl.opb
UNSAT
31625
0.796878
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb
UNSAT
31621
0.837872
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv10.ucl.opb
UNSAT
31606
0.888864
normalized-opb/web/uclid_pb_benchmarks/normalized-dlx1c.ucl.opb
UNSAT
31612
1.64375
normalized-opb/web/uclid_pb_benchmarks/normalized-25s.smv.opb
UNSAT
31589
1.80972
normalized-opb/web/uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb
UNSAT
31602
1.85972
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb
UNSAT
31631
2.00569
normalized-opb/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb
UNSAT
31611
2.26665
normalized-opb/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb
UNSAT
31610
2.54361
normalized-opb/web/uclid_pb_benchmarks/normalized-43s.smv.opb
UNSAT
31591
2.5926
normalized-opb/web/uclid_pb_benchmarks/normalized-22s.smv.opb
UNSAT
31588
2.96255
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb
UNSAT
31635
3.08253
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb
UNSAT
31622
3.40648
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.2.accl.ucl.opb
UNSAT
31623
4.22536
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
UNSAT
31603
5.71313
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb
UNSAT
31632
8.86365
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl.opb
UNSAT
31628
12.4941
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb
UNSAT
31633
14.7098
normalized-opb/web/uclid_pb_benchmarks/normalized-elf.rf10.ucl.opb
UNSAT
31626
20.5129
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb
UNSAT
31608
40.0239
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb
UNSAT
31634
46.18
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
UNSAT
31604
49.0915
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb
UNSAT
31638
90.2013
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb
UNSAT
31352
105.814
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb
UNSAT
31639
178.222
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
UNSAT
31640
312.709
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb
UNSAT
31370
437.109
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb
UNSAT
31378
495.659
Unexpected exit code (UNKNOWN) (34 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb
UNKNOWN
31385
1229.84
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb
UNKNOWN
31386
1229.84
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb
UNKNOWN
31387
1229.84
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb
UNKNOWN
31389
1229.84
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb
UNKNOWN
31391
1229.84
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb
UNKNOWN
31390
1229.85
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb
UNKNOWN
31392
1229.86
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb
UNKNOWN
31393
1229.86
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb
UNKNOWN
31394
1229.86
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb
UNKNOWN
31459
1229.86
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb
UNKNOWN
31460
1229.86
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb
UNKNOWN
31461
1229.87
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb
UNKNOWN
31414
1229.87
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl.opb
UNKNOWN
31664
1229.87
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
UNKNOWN
31417
1229.87
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb
UNKNOWN
31463
1229.87
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
UNKNOWN
31395
1229.87
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb
UNKNOWN
31396
1229.87
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
UNKNOWN
31735
1229.87
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb
UNKNOWN
31400
1229.87
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
UNKNOWN
31736
1229.87
normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
UNKNOWN
31663
1229.87
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb
UNKNOWN
31411
1229.87
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb
UNKNOWN
31462
1229.88
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.opb
UNKNOWN
31660
1229.88
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb
UNKNOWN
31668
1229.88
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb
UNKNOWN
31665
1229.88
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb
UNKNOWN
31666
1229.89
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb
UNKNOWN
31454
1229.89
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
UNKNOWN
31455
1229.89
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb
UNKNOWN
31425
1229.9
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
UNKNOWN
31661
1229.91
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
UNKNOWN
31667
1229.93
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
UNKNOWN
31662
1229.93
Exit code doesn't match solution line (36 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb
OPT FOUND
31351
0.046992
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb
OPT FOUND
31353
0.047991
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb
OPT FOUND
31355
0.048991
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb
OPT FOUND
31354
0.049991
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_11_sat_pb.cnf.cr.opb
OPT FOUND
31356
0.049991
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga12_10_sat_pb.cnf.cr.opb
OPT FOUND
31358
0.049992
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb
OPT FOUND
31357
0.051991
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb
OPT FOUND
31359
0.05599
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb
OPT FOUND
31363
0.05699
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb
OPT FOUND
31362
0.056991
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga12_12_sat_pb.cnf.cr.opb
OPT FOUND
31360
0.05799
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb
OPT FOUND
31367
0.05999
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb
OPT FOUND
31364
0.06099
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga14_14_sat_pb.cnf.cr.opb
OPT FOUND
31366
0.069988
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga15_14_sat_pb.cnf.cr.opb
OPT FOUND
31368
0.073988
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb
OPT FOUND
31365
0.085986
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb
OPT FOUND
31369
0.12698
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga13_13_sat_pb.cnf.cr.opb
OPT FOUND
31361
0.178972
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb
OPT FOUND
31373
0.243962
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb
OPT FOUND
31376
0.380941
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb
OPT FOUND
31371
0.524919
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb
OPT FOUND
31375
0.691894
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb
OPT FOUND
31372
0.805876
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
OPT FOUND
31374
1.04984
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
OPT FOUND
31685
2.12868
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
OPT FOUND
31381
2.45962
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb
OPT FOUND
31377
5.9371
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
OPT FOUND
31607
9.26759
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
OPT FOUND
31683
9.65153
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb
OPT FOUND
31379
44.8072
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb
OPT FOUND
31380
58.0992
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
OPT FOUND
31693
116.508
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb
OPT FOUND
31383
295.675
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
OPT FOUND
31707
393.187
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb
OPT FOUND
31384
552.147
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb
OPT FOUND
31457
1071.04
Category "optimization, small integers" (OPTSMALLINT)
Solver found optimum (OPTIMUM FOUND) (184 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-3.opb
OPT FOUND
31436
0.024996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-4.opb
OPT FOUND
31437
0.025995
normalized-opb/submitted/sorensson/garden/normalized-g4x4.opb
OPT FOUND
31704
0.025996
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein9.opb
OPT FOUND
32259
0.027995
normalized-opb/submitted/sorensson/garden/normalized-g2x2.opb
OPT FOUND
31703
0.027995
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein9.opb
OPT FOUND
31876
0.028995
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-3.opb
OPT FOUND
31444
0.029994
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-4.opb
OPT FOUND
31401
0.031995
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb
OPT FOUND
31438
0.033994
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C17.opb
OPT FOUND
31569
0.034994
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-1.opb
OPT FOUND
31434
0.034994
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-3.opb
OPT FOUND
31440
0.035993
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb
OPT FOUND
31441
0.035994
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb
OPT FOUND
31404
0.036993
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein15.opb
OPT FOUND
31872
0.037994
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein15.opb
OPT FOUND
32256
0.042993
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-3.opb
OPT FOUND
31413
0.044992
normalized-opb/submitted/sorensson/garden/normalized-g9x3.opb
OPT FOUND
31705
0.046992
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-1_6-yes1-2.opb
OPT FOUND
31435
0.049991
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-1.opb
OPT FOUND
31421
0.050991
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-2_0-yes1-2.opb
OPT FOUND
31439
0.05599
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-1.opb
OPT FOUND
31446
0.055991
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb
OPT FOUND
31422
0.05799
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-b1.opb
OPT FOUND
31571
0.057991
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.opb
OPT FOUND
31402
0.05899
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-4.opb
OPT FOUND
31449
0.05899
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-2.opb
OPT FOUND
31443
0.05899
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-2.opb
OPT FOUND
31447
0.059989
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-4.opb
OPT FOUND
31445
0.05999
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb
OPT FOUND
31448
0.062989
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-50-3_4-yes1-1.opb
OPT FOUND
31442
0.063989
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-4-c.opb
OPT FOUND
31541
0.067989
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-1-c.opb
OPT FOUND
31535
0.072988
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-2-c.opb
OPT FOUND
31538
0.083986
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-3.opb
OPT FOUND
31432
0.084986
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-3-c.opb
OPT FOUND
31539
0.086986
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-5-c.opb
OPT FOUND
31543
0.088986
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-4.opb
OPT FOUND
31409
0.093985
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb
OPT FOUND
31424
0.096985
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-2.opb
OPT FOUND
31398
0.098984
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-3.opb
OPT FOUND
31399
0.099984
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb
OPT FOUND
31397
0.107983
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-2.opb
OPT FOUND
31407
0.107983
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb
OPT FOUND
31405
0.113981
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-3.opb
OPT FOUND
31408
0.116981
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb
OPT FOUND
31430
0.117981
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-4.opb
OPT FOUND
31415
0.119981
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb
OPT FOUND
31403
0.121981
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-2.opb
OPT FOUND
31412
0.12398
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb
OPT FOUND
31410
0.12698
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-100-3_4-yes1-1.opb
OPT FOUND
31406
0.129979
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh207.opb
OPT FOUND
31509
0.141977
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh12.opb
OPT FOUND
31505
0.144977
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb
OPT FOUND
31419
0.158975
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh212.opb
OPT FOUND
31513
0.169973
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh301.opb
OPT FOUND
31517
0.18897
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-4.opb
OPT FOUND
31544
0.202968
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-5.opb
OPT FOUND
31547
0.203968
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh205.opb
OPT FOUND
31508
0.204968
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-4.opb
OPT FOUND
31420
0.214966
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-2.opb
OPT FOUND
31418
0.219966
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-1.opb
OPT FOUND
31537
0.229964
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-2.opb
OPT FOUND
31540
0.230964
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par8-3.opb
OPT FOUND
31542
0.235964
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-1.opb
OPT FOUND
31416
0.239963
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-1.opb
OPT FOUND
31426
0.246961
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb
OPT FOUND
31428
0.25296
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh204.opb
OPT FOUND
31507
0.261959
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb
OPT FOUND
31427
0.264959
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-3_4-yes1-4.opb
OPT FOUND
31429
0.276957
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb
OPT FOUND
31423
0.277957
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh220.opb
OPT FOUND
31516
0.294955
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh213.opb
OPT FOUND
31514
0.296954
normalized-opb/submitted/sorensson/garden/normalized-g7x7.opb
OPT FOUND
31700
0.297953
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh17.opb
OPT FOUND
31506
0.304953
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb
OPT FOUND
31431
0.307953
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb
OPT FOUND
31433
0.32395
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh218.opb
OPT FOUND
31515
0.415936
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0033.opb
OPT FOUND
32362
0.505922
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-1pb.opb
OPT FOUND
31553
0.509922
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh209.opb
OPT FOUND
31510
0.510922
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0033.opb
OPT FOUND
31979
0.51692
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0033.opb
OPT FOUND
32239
0.51892
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb
OPT FOUND
31855
0.518921
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-2pb.opb
OPT FOUND
31556
0.535918
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh7.opb
OPT FOUND
31519
0.565913
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-4pb.opb
OPT FOUND
31558
0.619905
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos18.opb
OPT FOUND
32049
0.696893
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos18.opb
OPT FOUND
32434
0.698893
normalized-opb/submitted/een/normalized-p0033.opb
OPT FOUND
31712
0.724889
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-3pb.opb
OPT FOUND
31557
0.78188
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh1.opb
OPT FOUND
31503
0.839871
normalized-opb/submitted/manquinho/ttp/normalized-circ4_3.opb
OPT FOUND
31579
0.918859
normalized-opb/submitted/manquinho/logic-synthesis/normalized-9sym.b.opb
OPT FOUND
31382
1.16682
normalized-opb/submitted/manquinho/routing/normalized-s3-3-3-5pb.opb
OPT FOUND
31559
1.17282
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-4-c.opb
OPT FOUND
31525
1.23981
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein27.opb
OPT FOUND
32258
1.37579
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein27.opb
OPT FOUND
31874
1.38279
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-stein27.opb
OPT FOUND
32378
1.39179
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-stein27.opb
OPT FOUND
31994
1.39979
normalized-opb/submitted/een/normalized-stein27.opb
OPT FOUND
31720
1.46278
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb
OPT FOUND
31678
1.51777
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh210.opb
OPT FOUND
31512
2.68759
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a1.opb
OPT FOUND
31485
2.98155
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-hanoi4.opb
OPT FOUND
31456
4.12237
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-5.opb
OPT FOUND
31527
4.73128
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-3-c.opb
OPT FOUND
31522
4.92325
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh217.opb
OPT FOUND
31518
5.04023
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-3.opb
OPT FOUND
31524
5.2492
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-5-c.opb
OPT FOUND
31528
5.2672
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-1-c.opb
OPT FOUND
31520
5.63214
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bm23.opb
OPT FOUND
32214
5.82511
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb
OPT FOUND
31829
5.85411
normalized-opb/submitted/sorensson/garden/normalized-g9x9.opb
OPT FOUND
31706
6.68098
normalized-opb/submitted/manquinho/ttp/normalized-data4_3.opb
OPT FOUND
31584
6.98394
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-2-c.opb
OPT FOUND
31521
7.12092
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16e2.opb
OPT FOUND
31467
7.15991
normalized-opb/submitted/een/normalized-pk1.opb
OPT FOUND
31716
9.39357
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32a1.opb
OPT FOUND
31471
9.65053
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-4.opb
OPT FOUND
31529
9.68253
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b4.opb
OPT FOUND
31472
11.9022
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-8pb.opb
OPT FOUND
31567
18.7591
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16d2.opb
OPT FOUND
31470
20.3279
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16b2.opb
OPT FOUND
31464
20.8518
normalized-opb/submitted/manquinho/logic-synthesis/normalized-clip.b.opb
OPT FOUND
31388
22.9925
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c4.opb
OPT FOUND
31476
24.3013
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-1.opb
OPT FOUND
31526
24.3453
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16c2.opb
OPT FOUND
31469
24.4083
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-10pb.opb
OPT FOUND
31560
30.5154
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b2.opb
OPT FOUND
31473
33.2379
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-2.opb
OPT FOUND
31530
41.0018
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb
OPT FOUND
31458
45.883
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c1.opb
OPT FOUND
31475
59.011
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0040.opb
OPT FOUND
32241
63.1564
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb
OPT FOUND
31856
63.3694
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-6pb.opb
OPT FOUND
31564
67.5907
normalized-opb/submitted/een/normalized-mod008.opb
OPT FOUND
31723
73.7378
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-158.opb
OPT FOUND
31551
77.8662
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-159.opb
OPT FOUND
31552
86.1669
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b3.opb
OPT FOUND
31474
86.7548
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e1.opb
OPT FOUND
31482
94.8346
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-160.opb
OPT FOUND
31562
102.396
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e3.opb
OPT FOUND
31483
105.888
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-stein45.opb
OPT FOUND
31998
112.954
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-stein45.opb
OPT FOUND
32265
113.241
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-stein45.opb
OPT FOUND
32383
113.782
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb
OPT FOUND
31881
113.819
normalized-opb/submitted/een/normalized-stein45.opb
OPT FOUND
31729
117.427
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e4.opb
OPT FOUND
31484
130.845
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b1.opb
OPT FOUND
31477
133.207
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-5pb.opb
OPT FOUND
31565
142.911
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-7pb.opb
OPT FOUND
31568
164.603
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
OPT FOUND
31641
168.933
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-038.opb
OPT FOUND
31561
174.815
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-9pb.opb
OPT FOUND
31572
178.149
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm1.opb
OPT FOUND
32391
219.494
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-vpm1.opb
OPT FOUND
32279
219.749
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-1pb.opb
OPT FOUND
31566
228.161
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh201.opb
OPT FOUND
31545
236.555
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d3.opb
OPT FOUND
31481
269.791
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos8.opb
OPT FOUND
32464
300.692
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos8.opb
OPT FOUND
32081
301.194
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e5.opb
OPT FOUND
31497
316.448
normalized-opb/submitted/een/normalized-l152lav.opb
OPT FOUND
31748
318.032
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos10.opb
OPT FOUND
32436
318.763
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos10.opb
OPT FOUND
32051
318.938
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c3.opb
OPT FOUND
31479
319.217
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-4pb.opb
OPT FOUND
31570
325.169
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb
OPT FOUND
31643
476.254
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb
OPT FOUND
31644
499.044
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos1.opb
OPT FOUND
32463
544.399
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-lseu.opb
OPT FOUND
32365
569.45
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb
OPT FOUND
31858
570.116
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb
OPT FOUND
32075
571.19
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-lseu.opb
OPT FOUND
31985
574.797
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lseu.opb
OPT FOUND
32243
575.717
normalized-opb/submitted/een/normalized-lseu.opb
OPT FOUND
31725
626.586
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-3pb.opb
OPT FOUND
31593
681.962
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
OPT FOUND
31486
682.941
normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-2pb.opb
OPT FOUND
31595
725.273
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb
OPT FOUND
31649
763.01
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb
OPT FOUND
31659
921.442
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e2.opb
OPT FOUND
31563
999.347
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb
OPT FOUND
31717
1110.69
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
32216
0.022995
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-diamond.opb
UNSAT
31831
0.023996
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa0432-003.opb
UNSAT
31546
0.073987
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf2670-001.opb
UNSAT
31453
0.168973
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-141.opb
UNSAT
31549
0.181972
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-130.opb
UNSAT
31548
0.19497
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf0432-007.opb
UNSAT
31450
0.278957
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-638.opb
UNSAT
31452
0.293954
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-075.opb
UNSAT
31451
0.314951
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa6288-047.opb
UNSAT
31550
1.17382
Unexpected exit code (UNKNOWN) (192 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-net12.opb
UNKNOWN
32297
41.8676
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow40b.opb
UNKNOWN
32269
46.4409
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-net12.opb
UNKNOWN
31913
47.5148
normalized-opb/submitted/een/normalized-fast0507.opb
UNKNOWN
31709
51.1902
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb
UNKNOWN
31893
51.1972
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-fast0507.opb
UNKNOWN
31952
51.3092
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fast0507.opb
UNKNOWN
32278
51.9421
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fast0507.opb
UNKNOWN
32335
51.9921
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos19.opb
UNKNOWN
32435
78.5471
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb
UNKNOWN
31980
81.0927
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mitre.opb
UNKNOWN
32359
81.1557
normalized-opb/submitted/een/normalized-mitre.opb
UNKNOWN
31721
82.0335
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb
UNKNOWN
32052
88.9195
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-1-c.opb
UNKNOWN
31613
1229.83
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-f1000.opb
UNKNOWN
31498
1229.83
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-f600.opb
UNKNOWN
31500
1229.83
normalized-opb/submitted/manquinho/logic-synthesis/normalized-sao2.b.opb
UNKNOWN
31495
1229.84
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb
UNKNOWN
31647
1229.84
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-4-c.opb
UNKNOWN
31624
1229.84
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb
UNKNOWN
31648
1229.84
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-4.opb
UNKNOWN
31627
1229.84
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb
UNKNOWN
31907
1229.84
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-5-c.opb
UNKNOWN
31636
1229.84
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-1.opb
UNKNOWN
31614
1229.84
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb
UNKNOWN
31573
1229.84
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-f2000.opb
UNKNOWN
31499
1229.84
normalized-opb/submitted/manquinho/logic-synthesis/normalized-f51m.b.opb
UNKNOWN
31491
1229.84
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-5.opb
UNKNOWN
31637
1229.84
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-2-c.opb
UNKNOWN
31615
1229.84
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a3.opb
UNKNOWN
31574
1229.84
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos16.opb
UNKNOWN
32480
1229.84
normalized-opb/submitted/sorensson/garden/normalized-g15x15.opb
UNKNOWN
31766
1229.84
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-2.opb
UNKNOWN
31618
1229.84
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb
UNKNOWN
32094
1229.84
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb
UNKNOWN
31619
1229.84
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0201.opb
UNKNOWN
32296
1229.84
normalized-opb/submitted/manquinho/logic-synthesis/normalized-count.b.opb
UNKNOWN
31487
1229.84
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
UNKNOWN
31671
1229.84
normalized-opb/submitted/manquinho/ttp/normalized-circ6_3.opb
UNKNOWN
31654
1229.84
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos5.opb
UNKNOWN
32488
1229.84
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-3.opb
UNKNOWN
31620
1229.84
normalized-opb/submitted/manquinho/logic-synthesis/normalized-e64.b.opb
UNKNOWN
31488
1229.85
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
UNKNOWN
31672
1229.85
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0201.opb
UNKNOWN
32415
1229.85
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d1.opb
UNKNOWN
31554
1229.85
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0201.opb
UNKNOWN
32032
1229.85
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb
UNKNOWN
31673
1229.85
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d2.opb
UNKNOWN
31555
1229.85
normalized-opb/submitted/manquinho/logic-synthesis/normalized-5xp1.b.opb
UNKNOWN
31466
1229.85
normalized-opb/submitted/manquinho/ttp/normalized-data6_3.opb
UNKNOWN
31657
1229.85
normalized-opb/submitted/een/normalized-p0201.opb
UNKNOWN
31816
1229.85
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
UNKNOWN
31675
1229.85
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
UNKNOWN
31676
1229.85
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
UNKNOWN
31669
1229.85
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a4.opb
UNKNOWN
31575
1229.85
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
UNKNOWN
31670
1229.85
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b1.opb
UNKNOWN
31576
1229.85
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
UNKNOWN
31679
1229.85
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb
UNKNOWN
32122
1229.85
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
UNKNOWN
31674
1229.86
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
UNKNOWN
31745
1229.86
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8c1.opb
UNKNOWN
31581
1229.86
normalized-opb/submitted/manquinho/logic-synthesis/normalized-alu4.b.opb
UNKNOWN
31468
1229.86
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-mux.opb
UNKNOWN
31651
1229.86
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb
UNKNOWN
31677
1229.86
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-c8.opb
UNKNOWN
31646
1229.86
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8e1.opb
UNKNOWN
31586
1229.86
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.5:100.opb
UNKNOWN
31739
1229.86
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b2.opb
UNKNOWN
31577
1229.86
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
UNKNOWN
31680
1229.87
normalized-opb/submitted/manquinho/ttp/normalized-circ8_3.opb
UNKNOWN
31655
1229.87
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
UNKNOWN
31740
1229.87
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
UNKNOWN
31681
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb
UNKNOWN
31967
1229.87
normalized-opb/submitted/manquinho/logic-synthesis/normalized-max1024.pi.opb
UNKNOWN
31465
1229.87
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
UNKNOWN
31743
1229.87
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b4.opb
UNKNOWN
31580
1229.87
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
UNKNOWN
31682
1229.87
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cmb.opb
UNKNOWN
31650
1229.87
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb
UNKNOWN
31684
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-seymour.opb
UNKNOWN
32428
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-opt1217.opb
UNKNOWN
32340
1229.87
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8c2.opb
UNKNOWN
31582
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-seymour.opb
UNKNOWN
32043
1229.87
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8d1.opb
UNKNOWN
31583
1229.87
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb
UNKNOWN
31733
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod010.opb
UNKNOWN
32285
1229.87
normalized-opb/submitted/manquinho/logic-synthesis/normalized-prom2.pi.opb
UNKNOWN
31493
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb
UNKNOWN
31956
1229.87
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
UNKNOWN
31738
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-seymour.opb
UNKNOWN
32357
1229.87
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb
UNKNOWN
31697
1229.87
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
UNKNOWN
31689
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod010.opb
UNKNOWN
32030
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-vpm2.opb
UNKNOWN
32369
1229.88
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8e2.opb
UNKNOWN
31605
1229.88
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b3.opb
UNKNOWN
31578
1229.88
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb
UNKNOWN
31718
1229.88
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
UNKNOWN
31690
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb
UNKNOWN
31897
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0548.opb
UNKNOWN
32417
1229.88
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
UNKNOWN
31691
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0548.opb
UNKNOWN
32034
1229.88
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
UNKNOWN
31692
1229.88
normalized-opb/submitted/manquinho/ttp/normalized-data8_3.opb
UNKNOWN
31658
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-l152lav.opb
UNKNOWN
32399
1229.88
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16b1.opb
UNKNOWN
31532
1229.88
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb
UNKNOWN
31686
1229.88
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
UNKNOWN
31749
1229.88
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16c1.opb
UNKNOWN
31533
1229.88
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
UNKNOWN
31695
1229.88
normalized-opb/submitted/een/normalized-seymour.opb
UNKNOWN
31767
1229.88
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8d2.opb
UNKNOWN
31585
1229.88
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16d1.opb
UNKNOWN
31534
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod010.opb
UNKNOWN
32413
1229.88
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16e1.opb
UNKNOWN
31536
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-l152lav.opb
UNKNOWN
32273
1229.89
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb
UNKNOWN
31722
1229.89
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
UNKNOWN
31701
1229.89
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lp4l.opb
UNKNOWN
32274
1229.89
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb
UNKNOWN
31918
1229.89
normalized-opb/submitted/een/normalized-p0548.opb
UNKNOWN
31821
1229.89
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
UNKNOWN
31702
1229.89
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
UNKNOWN
31694
1229.89
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-l152lav.opb
UNKNOWN
32017
1229.89
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-my_adder.opb
UNKNOWN
31652
1229.89
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb
UNKNOWN
31687
1229.89
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb
UNKNOWN
31891
1229.89
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb
UNKNOWN
31645
1229.89
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb
UNKNOWN
31696
1229.89
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb
UNKNOWN
31688
1229.89
normalized-opb/submitted/manquinho/logic-synthesis/normalized-rot.b.opb
UNKNOWN
31494
1229.89
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb
UNKNOWN
31892
1229.89
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0548.opb
UNKNOWN
32301
1229.89
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g250.15.opb
UNKNOWN
31504
1229.9
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb
UNKNOWN
31698
1229.9
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv42z.opb
UNKNOWN
32336
1229.9
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb
UNKNOWN
31719
1229.9
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb
UNKNOWN
31699
1229.9
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16a1.opb
UNKNOWN
31523
1229.9
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb
UNKNOWN
31949
1229.9
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16a2.opb
UNKNOWN
31531
1229.9
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
UNKNOWN
31950
1229.9
normalized-opb/submitted/manquinho/logic-synthesis/normalized-jac3.opb
UNKNOWN
31492
1229.9
normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb
UNKNOWN
31642
1229.9
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb
UNKNOWN
31711
1229.9
normalized-opb/submitted/manquinho/logic-synthesis/normalized-bench1.pi.opb
UNKNOWN
31480
1229.9
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb
UNKNOWN
31714
1229.9
normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
UNKNOWN
31715
1229.9
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
UNKNOWN
31961
1229.91
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv11.opb
UNKNOWN
32334
1229.91
normalized-opb/submitted/manquinho/logic-synthesis/normalized-ex5.pi.opb
UNKNOWN
31489
1229.91
normalized-opb/submitted/manquinho/ttp/normalized-data10_3.opb
UNKNOWN
31656
1229.91
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-10teams.opb
UNKNOWN
32370
1229.91
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-10teams.opb
UNKNOWN
31986
1229.91
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g125.17.opb
UNKNOWN
31501
1229.91
normalized-opb/submitted/manquinho/ttp/normalized-circ10_3.opb
UNKNOWN
31653
1229.91
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-protfold.opb
UNKNOWN
32352
1229.91
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow30a.opb
UNKNOWN
32315
1229.92
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g125.18.opb
UNKNOWN
31502
1229.92
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
UNKNOWN
31755
1229.93
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-10teams.opb
UNKNOWN
32314
1229.93
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb
UNKNOWN
31929
1229.93
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:100.opb
UNKNOWN
31747
1229.94
normalized-opb/submitted/manquinho/logic-synthesis/normalized-apex4.a.opb
UNKNOWN
31478
1229.94
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
UNKNOWN
31750
1229.94
normalized-opb/submitted/manquinho/logic-synthesis/normalized-test4.pi.opb
UNKNOWN
31496
1229.95
normalized-opb/submitted/manquinho/logic-synthesis/normalized-exam.pi.opb
UNKNOWN
31490
1229.95
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
UNKNOWN
31724
1229.95
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-cracpb1.opb
UNKNOWN
32261
1229.96
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-cracpb1.opb
UNKNOWN
31878
1229.96
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb
UNKNOWN
31896
1229.98
normalized-opb/submitted/een/normalized-p2756.opb
UNKNOWN
31798
1229.99
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p2756.opb
UNKNOWN
32303
1229.99
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p2756.opb
UNKNOWN
32035
1229.99
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod008.opb
UNKNOWN
32284
1229.99
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p2756.opb
UNKNOWN
31920
1229.99
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-p2756.opb
UNKNOWN
32341
1229.99
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod008.opb
UNKNOWN
32412
1229.99
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod008.opb
UNKNOWN
32029
1229.99
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb
UNKNOWN
31958
1229.99
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p2756.opb
UNKNOWN
32418
1230
normalized-opb/submitted/sorensson/garden/normalized-g100x100.opb
UNKNOWN
31765
1230.01
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-manna81.opb
UNKNOWN
31940
1230.02
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-manna81.opb
UNKNOWN
32321
1230.02
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
UNKNOWN
31764
1230.07
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
UNKNOWN
31760
1230.08
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:100.opb
UNKNOWN
31753
1230.08
normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g250.29.opb
UNKNOWN
31511
1230.1
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sentoy.opb
UNKNOWN
32306
1230.14
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb
UNKNOWN
31923
1230.14
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-seymour1.opb
UNKNOWN
32499
1230.17
Category "optimization, medium integers" (OPTMEDINT)
Solver found optimum (OPTIMUM FOUND) (26 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
32495
0.05899
normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-nazareth.opb
OPT FOUND
32494
0.243961
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50a.opb
OPT FOUND
32169
1.36179
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc105.opb
OPT FOUND
32170
2.85756
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos20.opb
OPT FOUND
32438
8.09877
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50b.opb
OPT FOUND
32176
9.63354
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc205.opb
OPT FOUND
32174
10.0455
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc01.opb
OPT FOUND
32228
16.5105
normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-maros.opb
OPT FOUND
32498
16.8654
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sample2.opb
OPT FOUND
32251
19.926
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-flugpl.opb
OPT FOUND
32227
21.9227
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-flugpl.opb
OPT FOUND
32337
22.0966
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc02.opb
OPT FOUND
32231
22.3706
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bk4x3.opb
OPT FOUND
32386
24.1193
normalized-opb/submitted/een/normalized-enigma.opb
OPT FOUND
31728
123.474
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-enigma.opb
OPT FOUND
32235
255.621
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-enigma.opb
OPT FOUND
31846
255.962
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-enigma.opb
OPT FOUND
31962
258.849
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-enigma.opb
OPT FOUND
32342
267.363
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-pipex.opb
OPT FOUND
32264
453.425
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-pipex.opb
OPT FOUND
31890
457.319
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm1.opb
OPT FOUND
32020
465.616
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb
OPT FOUND
31901
475.12
normalized-opb/submitted/een/normalized-p0282.opb
OPT FOUND
31769
1044.77
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc03.opb
OPT FOUND
32405
1178.59
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc03.opb
OPT FOUND
32271
1181.93
Unexpected exit code (UNKNOWN) (165 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
32143
12.7261
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2d.opb
UNKNOWN
31758
17.5613
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap1.opb
UNKNOWN
32179
39.416
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-rout.opb
UNKNOWN
32308
49.6704
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow40b.opb
UNKNOWN
31883
50.4893
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rout.opb
UNKNOWN
32379
51.5612
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mkc.opb
UNKNOWN
32289
51.7261
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mkc.opb
UNKNOWN
32358
52.0841
normalized-opb/submitted/een/normalized-cap6000.opb
UNKNOWN
31713
59.435
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-cap6000.opb
UNKNOWN
32276
59.5839
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p6000.opb
UNKNOWN
31862
59.8189
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-cap6000.opb
UNKNOWN
32331
60.3248
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-cap6000.opb
UNKNOWN
31945
60.3488
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-cap6000.opb
UNKNOWN
31886
60.4688
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p6000.opb
UNKNOWN
32248
61.4427
normalized-opb/submitted/een/normalized-air05.opb
UNKNOWN
31708
61.5826
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-seymour1.opb
UNKNOWN
32071
62.1076
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air05.opb
UNKNOWN
32275
65.738
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air05.opb
UNKNOWN
31885
67.1648
normalized-opb/submitted/een/normalized-air04.opb
UNKNOWN
31726
77.8492
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-mkc1.opb
UNKNOWN
32429
83.1954
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air02.opb
UNKNOWN
32209
91.0831
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air02.opb
UNKNOWN
31823
91.1031
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos6.opb
UNKNOWN
32452
92.158
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap2.opb
UNKNOWN
32190
96.7013
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air05.opb
UNKNOWN
32215
97.3342
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air05.opb
UNKNOWN
32327
97.3532
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air05.opb
UNKNOWN
31941
97.6442
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air05.opb
UNKNOWN
31827
97.8261
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap3.opb
UNKNOWN
32194
100.53
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370b.opb
UNKNOWN
32406
105.635
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3706.opb
UNKNOWN
32398
107.679
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3705.opb
UNKNOWN
32395
108.274
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370d.opb
UNKNOWN
32409
108.55
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370c.opb
UNKNOWN
32408
110.132
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3700.opb
UNKNOWN
32388
112.434
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3707.opb
UNKNOWN
32400
112.583
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3708.opb
UNKNOWN
32403
112.937
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3702.opb
UNKNOWN
32393
112.976
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3704.opb
UNKNOWN
32396
113.068
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3703.opb
UNKNOWN
32394
113.111
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3701.opb
UNKNOWN
32389
113.755
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370e.opb
UNKNOWN
32410
114.36
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3709.opb
UNKNOWN
32404
114.716
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370a.opb
UNKNOWN
32407
114.996
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_3.opb
UNKNOWN
32423
122.971
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_4.opb
UNKNOWN
32425
124.247
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_5.opb
UNKNOWN
32426
124.968
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B1C1S1.opb
UNKNOWN
32461
127.358
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B2C1S1.opb
UNKNOWN
32462
129.499
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-dano3mip.opb
UNKNOWN
32333
133.859
normalized-opb/submitted/een/normalized-air03.opb
UNKNOWN
31710
142.098
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air03.opb
UNKNOWN
32218
152.381
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air03.opb
UNKNOWN
31828
152.447
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air03.opb
UNKNOWN
32330
152.466
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air03.opb
UNKNOWN
31944
152.61
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-dano3mip.opb
UNKNOWN
32286
166.46
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet3.opb
UNKNOWN
32233
178.732
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-d6cube.opb
UNKNOWN
32185
446.445
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb
UNKNOWN
32098
759.11
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1d.opb
UNKNOWN
31826
944.431
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0291.opb
UNKNOWN
31917
1229.85
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0291.opb
UNKNOWN
32299
1229.85
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fiber.opb
UNKNOWN
32318
1229.86
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0282.opb
UNKNOWN
31911
1229.86
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fiber.opb
UNKNOWN
32387
1229.86
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare1.opb
UNKNOWN
32322
1229.86
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0282.opb
UNKNOWN
32298
1229.86
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0282.opb
UNKNOWN
32416
1229.86
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-gr4x6.opb
UNKNOWN
32433
1229.86
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0282.opb
UNKNOWN
32033
1229.86
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-markshare1.opb
UNKNOWN
32401
1229.86
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc05.opb
UNKNOWN
32277
1229.87
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-nug08.opb
UNKNOWN
32128
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nw04.opb
UNKNOWN
32339
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nw04.opb
UNKNOWN
31954
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-nw04.opb
UNKNOWN
32414
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08aCUTS.opb
UNKNOWN
32348
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-nw04.opb
UNKNOWN
32031
1229.87
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-nug08.opb
UNKNOWN
32492
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08a.opb
UNKNOWN
32351
1229.87
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-railway_8_1_0.opb
UNKNOWN
32515
1229.87
normalized-opb/submitted/een/normalized-nw04.opb
UNKNOWN
31796
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08aCUTS.opb
UNKNOWN
32420
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08a.opb
UNKNOWN
32421
1229.87
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10b.opb
UNKNOWN
32442
1229.88
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10c.opb
UNKNOWN
32443
1229.88
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-usAbbrv.8.25_70.opb
UNKNOWN
32521
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-egout.opb
UNKNOWN
32385
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-liu.opb
UNKNOWN
32320
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-egout.opb
UNKNOWN
32263
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare2.opb
UNKNOWN
32323
1229.88
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10a.opb
UNKNOWN
32440
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-markshare2.opb
UNKNOWN
32402
1229.88
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos11.opb
UNKNOWN
32474
1229.89
normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb
UNKNOWN
31731
1229.89
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-berlin_5_8_0.opb
UNKNOWN
32504
1229.89
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x12.opb
UNKNOWN
32444
1229.89
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod013.opb
UNKNOWN
32287
1229.89
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm2.opb
UNKNOWN
32431
1229.9
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb
UNKNOWN
32011
1229.9
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare1_1.opb
UNKNOWN
32472
1229.9
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gt2.opb
UNKNOWN
32397
1229.9
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air06.opb
UNKNOWN
31870
1229.91
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pk1.opb
UNKNOWN
32347
1229.91
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air06.opb
UNKNOWN
32255
1229.91
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x12.opb
UNKNOWN
32446
1229.91
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pk1.opb
UNKNOWN
32419
1229.91
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-qap10.opb
UNKNOWN
32131
1229.92
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air04.opb
UNKNOWN
32316
1229.92
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ar.opb
UNKNOWN
32220
1229.92
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air04.opb
UNKNOWN
32374
1229.92
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb
UNKNOWN
31984
1229.92
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-qap10.opb
UNKNOWN
32493
1229.92
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air04.opb
UNKNOWN
31868
1229.92
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air04.opb
UNKNOWN
31932
1229.92
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran13x13.opb
UNKNOWN
32448
1229.92
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air04.opb
UNKNOWN
31990
1229.92
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air04.opb
UNKNOWN
32254
1229.93
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran16x16.opb
UNKNOWN
32450
1229.93
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bal8x12.opb
UNKNOWN
32432
1229.93
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare2_1.opb
UNKNOWN
32473
1229.93
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ar.opb
UNKNOWN
32516
1229.93
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb
UNKNOWN
31931
1229.94
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm2.opb
UNKNOWN
32047
1229.94
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran14x18.opb
UNKNOWN
32449
1229.95
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-tr12-30.opb
UNKNOWN
32520
1229.95
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-danoint.opb
UNKNOWN
32381
1229.95
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x26.opb
UNKNOWN
32445
1229.95
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran6x43.opb
UNKNOWN
32465
1229.95
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran8x32.opb
UNKNOWN
32466
1229.95
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-ran14x18_1.opb
UNKNOWN
32497
1229.95
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst2.opb
UNKNOWN
32471
1229.96
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-t1717.opb
UNKNOWN
32363
1229.96
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-tr12-30.opb
UNKNOWN
32368
1229.96
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran17x17.opb
UNKNOWN
32451
1229.96
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran4x64.opb
UNKNOWN
32453
1229.96
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-t1717.opb
UNKNOWN
31972
1229.96
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x21.opb
UNKNOWN
32447
1229.96
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-danoint.opb
UNKNOWN
32317
1229.97
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nsrand-ipx.opb
UNKNOWN
32338
1229.98
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos12.opb
UNKNOWN
32475
1229.98
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-nsrand_ipx.opb
UNKNOWN
32514
1229.98
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ar.opb
UNKNOWN
32222
1229.98
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst1.opb
UNKNOWN
32470
1229.98
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp98ar.opb
UNKNOWN
32518
1229.98
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1ch.opb
UNKNOWN
32311
1229.99
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fixnet6.opb
UNKNOWN
32319
1229.99
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fixnet6.opb
UNKNOWN
32390
1229.99
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-set1ch.opb
UNKNOWN
32356
1229.99
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1al.opb
UNKNOWN
32310
1229.99
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet6.opb
UNKNOWN
32268
1229.99
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-set1cl.opb
UNKNOWN
32312
1230
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-set1ch.opb
UNKNOWN
32427
1230
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-stp3d.opb
UNKNOWN
31970
1230.01
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-stp3d.opb
UNKNOWN
32360
1230.02
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc07.opb
UNKNOWN
32411
1230.04
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc07.opb
UNKNOWN
32283
1230.04
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-misc07.opb
UNKNOWN
32326
1230.04
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air01.opb
UNKNOWN
31864
1230.05
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air01.opb
UNKNOWN
32253
1230.05
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-CMS750_4.opb
UNKNOWN
32506
1230.06
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet4.opb
UNKNOWN
32266
1230.13
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit1d.opb
UNKNOWN
32242
1230.17
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos9.opb
UNKNOWN
32496
1230.2
Category "optimization, big integers" (OPTBIGINT)
Solver found optimum (OPTIMUM FOUND) (20 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
32110
0.090986
normalized-opb/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-nazareth.opb
OPT FOUND
32109
0.299954
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos20.opb
OPT FOUND
32053
7.93979
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc105.opb
OPT FOUND
31783
9.67853
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50a.opb
OPT FOUND
31785
10.2614
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc01.opb
OPT FOUND
31843
17.7563
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc02.opb
OPT FOUND
31845
18.9101
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-flugpl.opb
OPT FOUND
31953
21.6227
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-flugpl.opb
OPT FOUND
31841
21.8077
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc205.opb
OPT FOUND
31788
25.9041
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-bk4x3.opb
OPT FOUND
32000
27.1829
normalized-opb/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb
OPT FOUND
32111
29.6805
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sample2.opb
OPT FOUND
31869
49.6604
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-noswot.opb
OPT FOUND
32300
139.56
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-noswot.opb
OPT FOUND
31919
153.001
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-noswot.opb
OPT FOUND
32367
164.902
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-noswot.opb
OPT FOUND
32238
165.164
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-noswot.opb
OPT FOUND
31857
179.166
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-noswot.opb
OPT FOUND
31989
181.065
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50b.opb
OPT FOUND
31819
336.565
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
32199
0.088985
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scagr7.opb
UNSAT
32173
0.120981
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scagr7.opb
UNSAT
31787
0.167974
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-gfrd-pnc.opb
UNSAT
32146
0.176972
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-agg.opb
UNSAT
32119
0.18997
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ganges.opb
UNSAT
32145
0.19197
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-shell.opb
UNSAT
32186
0.220965
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-arki001.opb
UNSAT
32267
0.221965
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-khb05250.opb
UNSAT
32224
0.25396
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-khb05250.opb
UNSAT
32346
0.25596
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-capri.opb
UNSAT
32126
0.282956
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-agg3.opb
UNSAT
32116
0.293954
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-agg2.opb
UNSAT
32114
0.301953
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-bore3d.opb
UNSAT
32124
0.31995
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-share1b.opb
UNSAT
32183
0.335948
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scagr25.opb
UNSAT
32172
0.416935
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-brandy.opb
UNSAT
32125
0.52292
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-finnis.opb
UNSAT
32138
0.627903
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-modszk1.opb
UNSAT
32155
0.629903
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scagr25.opb
UNSAT
31786
0.629903
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-stocfor1.opb
UNSAT
32198
0.673897
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scfxm1.opb
UNSAT
32175
0.702893
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-e226.opb
UNSAT
32134
0.762883
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-bandm.opb
UNSAT
32120
0.837872
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-qnet1_o.opb
UNSAT
32372
0.866867
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-brandy.opb
UNSAT
31741
0.904861
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-qnet1.opb
UNSAT
32371
0.926858
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-finnis.opb
UNSAT
31754
0.987848
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qnet1_o.opb
UNSAT
31988
1.05284
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stocfor1.opb
UNSAT
31812
1.06984
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qnet1.opb
UNSAT
31987
1.11383
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot.ja.opb
UNSAT
32163
1.14082
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scfxm2.opb
UNSAT
32177
1.39279
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship04s.opb
UNSAT
32187
1.41778
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot.ja.opb
UNSAT
31778
1.65875
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot.opb
UNSAT
32166
1.66275
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ganges.opb
UNSAT
31759
1.86572
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship12s.opb
UNSAT
32196
1.90371
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-maros-r7.opb
UNSAT
32156
2.00269
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship08s.opb
UNSAT
32189
2.05069
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scfxm3.opb
UNSAT
32178
2.10568
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-etamacro.opb
UNSAT
32135
2.49862
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-capri.opb
UNSAT
31744
3.2975
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-etamacro.opb
UNSAT
31752
3.77942
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rentacar.opb
UNSAT
32373
3.86441
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bore3d.opb
UNSAT
31742
3.9284
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-rentacar.opb
UNSAT
32249
3.9294
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot87.opb
UNSAT
32160
3.97939
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-share1b.opb
UNSAT
31799
4.08638
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-perold.opb
UNSAT
32157
4.09338
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship04l.opb
UNSAT
32188
4.24535
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-bnl2.opb
UNSAT
32123
4.92225
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-beaconfd.opb
UNSAT
32121
5.43817
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot.we.opb
UNSAT
32167
5.99609
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship08l.opb
UNSAT
32191
6.588
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-arki001.opb
UNSAT
32325
7.03993
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship12l.opb
UNSAT
32197
7.2279
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-e226.opb
UNSAT
31751
8.25074
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilot4.opb
UNSAT
32159
8.86665
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-pilotnov.opb
UNSAT
32161
8.92064
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm1.opb
UNSAT
31789
9.43057
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bandm.opb
UNSAT
31734
10.1485
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-rentacar.opb
UNSAT
31991
13.5669
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fffff800.opb
UNSAT
32137
13.5749
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-rentacar.opb
UNSAT
31866
13.5889
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot4.opb
UNSAT
31776
13.6619
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilotnov.opb
UNSAT
31779
13.7119
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-stocfor2.opb
UNSAT
32200
15.1967
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-perold.opb
UNSAT
31775
17.4184
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship04s.opb
UNSAT
31805
18.2492
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm2.opb
UNSAT
31790
18.9941
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell4.opb
UNSAT
32213
19.999
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell3b.opb
UNSAT
32212
20.2359
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot.opb
UNSAT
31782
23.1825
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-nesm.opb
UNSAT
32158
23.4354
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-momentum1.opb
UNSAT
32290
23.6064
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stocfor2.opb
UNSAT
31815
24.6932
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos4.opb
UNSAT
32441
26.3
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm3.opb
UNSAT
31792
28.2117
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-25fv47.opb
UNSAT
32112
29.2346
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum1.opb
UNSAT
31906
31.4082
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-woodw.opb
UNSAT
32204
31.9271
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12s.opb
UNSAT
31810
35.5496
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos4.opb
UNSAT
32056
36.3925
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-nesm.opb
UNSAT
31773
36.6154
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship08s.opb
UNSAT
31809
37.3843
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fffff800.opb
UNSAT
31757
43.9893
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship04l.opb
UNSAT
31803
53.4269
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-80bau3b.opb
UNSAT
32113
54.1368
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-25fv47.opb
UNSAT
31727
58.1852
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot87.opb
UNSAT
31784
60.2638
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bnl2.opb
UNSAT
31746
60.5508
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-beaconfd.opb
UNSAT
31737
63.9983
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-d2q06c.opb
UNSAT
32139
64.4952
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-woodw.opb
UNSAT
31822
70.0883
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-80bau3b.opb
UNSAT
31730
80.5158
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship08l.opb
UNSAT
31813
84.3242
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12l.opb
UNSAT
31817
88.1386
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d2q06c.opb
UNSAT
31756
99.6798
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-momentum2.opb
UNSAT
32294
180.794
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum2.opb
UNSAT
31915
233.414
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-rd-rplusc-21.opb
UNSAT
32324
499.475
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rd-rplusc-21.opb
UNSAT
31947
694.312
Unexpected exit code (UNKNOWN) (359 runs)
[Show/Hide]
Benchmark Name
Answer
Traceid
CPU time
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mas76.opb
UNKNOWN
32355
264.974
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mas76.opb
UNKNOWN
32293
267.239
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa3.opb
UNKNOWN
31968
382.283
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-glass4.opb
UNKNOWN
32484
393.208
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-glass4.opb
UNKNOWN
32295
393.346
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-net12.opb
UNKNOWN
32486
395.07
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-modglob.opb
UNKNOWN
32384
471.222
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-modglob.opb
UNKNOWN
32245
473.582
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scsd1.opb
UNKNOWN
32229
473.822
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-modglob.opb
UNKNOWN
31921
474.81
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-arki001.opb
UNKNOWN
31955
493.847
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-kb2.opb
UNKNOWN
31806
496.512
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-biella1.opb
UNKNOWN
32092
516.338
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-recipe.opb
UNKNOWN
31834
626.599
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scrs8.opb
UNKNOWN
32237
662.157
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg.opb
UNKNOWN
31781
683.778
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-maros.opb
UNKNOWN
32234
694.527
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-biella1.opb
UNKNOWN
32485
874.3
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bnl1.opb
UNKNOWN
31811
897.144
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dolom1.opb
UNKNOWN
32511
1132.9
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-misc03.opb
UNKNOWN
31969
36.7144
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc03.opb
UNKNOWN
31848
36.7364
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-rail507.opb
UNKNOWN
32093
37.2943
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-rail507.opb
UNKNOWN
32478
37.4533
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-khb05250.opb
UNKNOWN
31963
39.246
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-khb05250.opb
UNKNOWN
31842
39.66
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-seba.opb
UNKNOWN
32184
41.6667
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-afiro.opb
UNKNOWN
32117
43.2674
normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-afiro.opb
UNKNOWN
32500
43.3614
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap1.opb
UNKNOWN
31800
44.6232
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc07.opb
UNKNOWN
31851
47.9697
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-roll3000.opb
UNKNOWN
32307
47.9917
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-misc07.opb
UNKNOWN
31903
48.0727
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-UMTS.opb
UNKNOWN
32487
48.1787
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb
UNKNOWN
32104
48.5586
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-misc07.opb
UNKNOWN
31973
48.6156
normalized-opb/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-afiro.opb
UNKNOWN
32106
48.9996
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-afiro.opb
UNKNOWN
31732
49.2145
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-swath.opb
UNKNOWN
32313
49.5345
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-swath.opb
UNKNOWN
32380
49.9984
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scorpion.opb
UNKNOWN
31797
51.0082
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rout.opb
UNKNOWN
31928
51.7181
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-rout.opb
UNKNOWN
31992
52.1661
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-roll3000.opb
UNKNOWN
31925
52.1881
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mkc.opb
UNKNOWN
31976
52.453
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-roll3000.opb
UNKNOWN
32483
53.9808
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mkc.opb
UNKNOWN
31905
54.3187
normalized-opb/mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-adlittle.opb
UNKNOWN
32501
55.5246
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-adlittle.opb
UNKNOWN
32118
56.2165
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-swath.opb
UNKNOWN
31930
56.5304
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-swath.opb
UNKNOWN
31996
56.5924
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gesa2_o.opb
UNKNOWN
32343
57.1803
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-roll3000.opb
UNKNOWN
32095
57.5592
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb
UNKNOWN
31916
61.9206
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gesa3.opb
UNKNOWN
32344
64.0643
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sierra.opb
UNKNOWN
32203
64.2352
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-gesa2-o.opb
UNKNOWN
32281
64.3852
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-A2C1S1.opb
UNKNOWN
32458
66.6779
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-A1C1S1.opb
UNKNOWN
32457
66.9818
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-boeing1.opb
UNKNOWN
32130
67.7147
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-swath3.opb
UNKNOWN
32454
68.0527
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-boeing2.opb
UNKNOWN
32132
68.7855
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-a1c1s1.opb
UNKNOWN
32270
69.6184
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-swath2.opb
UNKNOWN
32455
71.0422
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-A1C1S1.opb
UNKNOWN
32073
71.6521
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-A2C1S1.opb
UNKNOWN
32074
71.6681
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-swath1.opb
UNKNOWN
32456
72.454
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos13.opb
UNKNOWN
32430
74.1837
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-standata.opb
UNKNOWN
32205
75.9275
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-gesa2.opb
UNKNOWN
32282
76.4604
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-blend2.opb
UNKNOWN
32329
76.5944
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-harp2.opb
UNKNOWN
31964
76.9763
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gesa2.opb
UNKNOWN
32345
77.1383
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-harp2.opb
UNKNOWN
32349
77.6572
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos13.opb
UNKNOWN
32046
77.9441
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-standgub.opb
UNKNOWN
32206
78.0571
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-recipe.opb
UNKNOWN
32180
80.1948
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-kb2.opb
UNKNOWN
32164
83.5483
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-mkc1.opb
UNKNOWN
32045
83.6023
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit1p.opb
UNKNOWN
32148
84.2912
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-atlanta-ip.opb
UNKNOWN
31887
85.819
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos6.opb
UNKNOWN
32068
86.0519
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sierra.opb
UNKNOWN
31818
88.6655
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-share2b.opb
UNKNOWN
31807
90.0063
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-stair.opb
UNKNOWN
32207
90.7272
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap2.opb
UNKNOWN
31802
90.9712
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap3.opb
UNKNOWN
31804
93.2068
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-share2b.opb
UNKNOWN
32202
94.4686
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-israel.opb
UNKNOWN
32168
95.2095
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-atlanta-ip.opb
UNKNOWN
32280
95.3355
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2p.opb
UNKNOWN
31762
96.3174
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gesa3_o.opb
UNKNOWN
32350
97.8201
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-van.opb
UNKNOWN
31938
101.186
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2p.opb
UNKNOWN
32151
104.219
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ir98.opb
UNKNOWN
32467
105.744
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mod011.opb
UNKNOWN
32291
109.996
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
UNKNOWN
32078
118.104
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb
UNKNOWN
32076
121.8
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370e.opb
UNKNOWN
32027
135.73
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370c.opb
UNKNOWN
32026
136.233
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370b.opb
UNKNOWN
32024
136.399
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3705.opb
UNKNOWN
32015
136.467
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3706.opb
UNKNOWN
32016
136.618
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3707.opb
UNKNOWN
32018
136.743
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3708.opb
UNKNOWN
32021
136.841
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3702.opb
UNKNOWN
32010
136.873
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-harp2.opb
UNKNOWN
32288
137.106
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3701.opb
UNKNOWN
32007
137.343
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3703.opb
UNKNOWN
32013
137.41
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-harp2.opb
UNKNOWN
31899
138.267
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3709.opb
UNKNOWN
32023
138.41
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3700.opb
UNKNOWN
32006
138.685
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3704.opb
UNKNOWN
32014
140.173
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-blend.opb
UNKNOWN
32136
140.539
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370a.opb
UNKNOWN
32025
140.798
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370d.opb
UNKNOWN
32028
141.187
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-gfrd-pnc.opb
UNKNOWN
31768
141.582
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-swath3.opb
UNKNOWN
32077
151.355
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-bnl1.opb
UNKNOWN
32140
165.427
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-swath2.opb
UNKNOWN
32080
171.326
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_4.opb
UNKNOWN
32042
171.596
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-swath1.opb
UNKNOWN
32079
171.641
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_3.opb
UNKNOWN
32041
172.468
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_5.opb
UNKNOWN
32044
173.816
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-dano3mip.opb
UNKNOWN
31948
182.105
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-seba.opb
UNKNOWN
31814
184.11
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-degen3.opb
UNKNOWN
32149
195.725
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-tuff.opb
UNKNOWN
32217
198.482
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen3.opb
UNKNOWN
31763
205.347
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
UNKNOWN
32100
209.053
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ic97.opb
UNKNOWN
32468
224.031
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mas76.opb
UNKNOWN
31983
225.267
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas76.opb
UNKNOWN
31909
225.431
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-van.opb
UNKNOWN
32332
240.662
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mas74.opb
UNKNOWN
31977
245.292
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas74.opb
UNKNOWN
31910
249.042
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-czprob.opb
UNKNOWN
32153
251.048
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mas74.opb
UNKNOWN
32292
262.131
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mas74.opb
UNKNOWN
32354
265.406
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-dano3mip.opb
UNKNOWN
31904
301.294
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1p.opb
UNKNOWN
31770
310.175
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-greenbeb.opb
UNKNOWN
32182
313.161
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-arki001.opb
UNKNOWN
31902
361.089
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos2.opb
UNKNOWN
32459
366.437
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow7.opb
UNKNOWN
31794
369.929
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-grow7.opb
UNKNOWN
32201
371.1
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-grow15.opb
UNKNOWN
32192
372.459
normalized-opb/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-adlittle.opb
UNKNOWN
32142
375.352
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos3.opb
UNKNOWN
32460
376.266
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-grow22.opb
UNKNOWN
32193
376.729
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow15.opb
UNKNOWN
31791
377.343
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos2.opb
UNKNOWN
32070
380.529
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-greenbea.opb
UNKNOWN
32195
380.903
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow22.opb
UNKNOWN
31795
382.51
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb
UNKNOWN
31908
383.073
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-glass4.opb
UNKNOWN
32102
383.637
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1c.opb
UNKNOWN
32096
386.113
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-net12.opb
UNKNOWN
32105
388.42
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos3.opb
UNKNOWN
32072
389.673
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot.we.opb
UNKNOWN
31820
400.293
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-trento1.opb
UNKNOWN
32133
409.316
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dolom1.opb
UNKNOWN
32101
410.094
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-adlittle.opb
UNKNOWN
31761
410.711
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-a1c1s1.opb
UNKNOWN
31900
411.949
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-siena1.opb
UNKNOWN
32115
413.461
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-israel.opb
UNKNOWN
31801
418.528
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scsd8.opb
UNKNOWN
32223
431.586
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-NSR8K.opb
UNKNOWN
32108
431.661
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-standata.opb
UNKNOWN
31837
432.08
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-standgub.opb
UNKNOWN
31840
435.299
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-qiu.opb
UNKNOWN
31933
436.396
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-cycle.opb
UNKNOWN
31771
436.496
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd8.opb
UNKNOWN
31830
436.624
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-qiu.opb
UNKNOWN
31894
440.478
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qiu.opb
UNKNOWN
32003
441.055
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd1.opb
UNKNOWN
31832
468.625
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scsd6.opb
UNKNOWN
32230
469.884
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ic98.opb
UNKNOWN
32476
470.963
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-modglob.opb
UNKNOWN
32302
471.241
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-modglob.opb
UNKNOWN
31861
474.918
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd6.opb
UNKNOWN
31833
477.813
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-modglob.opb
UNKNOWN
32001
480.402
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-siena1.opb
UNKNOWN
32502
487.836
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2.opb
UNKNOWN
31912
490.188
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa2.opb
UNKNOWN
31975
490.742
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa2_o.opb
UNKNOWN
31981
493.145
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc04.opb
UNKNOWN
31859
495.543
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-boeing1.opb
UNKNOWN
31772
508.034
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2-o.opb
UNKNOWN
31914
525.351
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-NSR8K.opb
UNKNOWN
32491
525.574
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stair.opb
UNKNOWN
31844
541.537
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-forplan.opb
UNKNOWN
32208
541.882
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ir98.opb
UNKNOWN
32099
546.012
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-boeing2.opb
UNKNOWN
31780
566.796
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros-r7.opb
UNKNOWN
31824
614.009
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-13-7-fome11.opb
UNKNOWN
32437
619.517
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ar98.opb
UNKNOWN
32482
637.726
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-blend2.opb
UNKNOWN
31965
638.396
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc06.opb
UNKNOWN
32246
642.9
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-misc06.opb
UNKNOWN
32375
643.195
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-dfl001.opb
UNKNOWN
32210
646.663
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc04.opb
UNKNOWN
32247
658.417
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-msc98-ip.opb
UNKNOWN
32309
662.381
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg3.opb
UNKNOWN
31777
662.575
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1l.opb
UNKNOWN
32107
663.034
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg2.opb
UNKNOWN
31774
666.969
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-vtp.base.opb
UNKNOWN
31854
685.132
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros.opb
UNKNOWN
31825
688.007
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dc1l.opb
UNKNOWN
32490
698.876
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-13-7-fome12.opb
UNKNOWN
32439
710.442
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb
UNKNOWN
32103
718.688
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-blend.opb
UNKNOWN
31793
730.419
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-dfl001.opb
UNKNOWN
31808
736.265
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-trento1.opb
UNKNOWN
32513
762.885
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scrs8.opb
UNKNOWN
31849
769.025
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-cycle.opb
UNKNOWN
32219
774.265
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc06.opb
UNKNOWN
31867
785.354
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-misc06.opb
UNKNOWN
32009
789.957
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-msc98-ip.opb
UNKNOWN
31934
793.865
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-modszk1.opb
UNKNOWN
31836
841.871
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb
UNKNOWN
32061
857.159
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dc1c.opb
UNKNOWN
32503
866.793
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-momentum3.opb
UNKNOWN
32328
1078.38
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic98.opb
UNKNOWN
32141
1122.1
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum3.opb
UNKNOWN
31951
1227.88
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ar98.opb
UNKNOWN
32171
1395.84
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-gen.opb
UNKNOWN
32272
1229.84
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gen.opb
UNKNOWN
32392
1229.85
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab1.opb
UNKNOWN
31974
1229.85
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-timtab1.opb
UNKNOWN
32364
1229.85
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-timtab2.opb
UNKNOWN
32366
1229.86
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fiber.opb
UNKNOWN
31936
1229.86
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-gen.opb
UNKNOWN
31889
1229.86
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-fiber.opb
UNKNOWN
32004
1229.86
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-rgn.opb
UNKNOWN
32039
1229.86
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-markshare1.opb
UNKNOWN
32019
1229.86
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc05.opb
UNKNOWN
31895
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare1.opb
UNKNOWN
31942
1229.87
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-gr4x6.opb
UNKNOWN
32050
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rgn.opb
UNKNOWN
32424
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-bell5.opb
UNKNOWN
32377
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-rgn.opb
UNKNOWN
32305
1229.87
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell5.opb
UNKNOWN
32260
1229.87
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d6cube.opb
UNKNOWN
31838
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-rgn.opb
UNKNOWN
31922
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gen.opb
UNKNOWN
32008
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08a.opb
UNKNOWN
31960
1229.87
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-markshare2.opb
UNKNOWN
32022
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb
UNKNOWN
31978
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare2.opb
UNKNOWN
31943
1229.88
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell3a.opb
UNKNOWN
32257
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-pp08a.opb
UNKNOWN
32038
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-egout.opb
UNKNOWN
32002
1229.88
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb
UNKNOWN
32211
1229.88
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-berlin_5_8_0.opb
UNKNOWN
32144
1229.88
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-van.opb
UNKNOWN
32236
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb
UNKNOWN
31959
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-egout.opb
UNKNOWN
31880
1229.88
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10c.opb
UNKNOWN
32057
1229.88
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-pp08aCUTS.opb
UNKNOWN
32037
1229.89
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-bell3a.opb
UNKNOWN
32376
1229.89
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod013.opb
UNKNOWN
31898
1229.89
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb
UNKNOWN
32232
1229.89
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb
UNKNOWN
32055
1229.89
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x12.opb
UNKNOWN
32058
1229.9
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb
UNKNOWN
32054
1229.9
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos11.opb
UNKNOWN
32088
1229.91
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-pk1.opb
UNKNOWN
32036
1229.91
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-van.opb
UNKNOWN
32522
1229.91
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare1_1.opb
UNKNOWN
32086
1229.91
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pk1.opb
UNKNOWN
31957
1229.91
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x12.opb
UNKNOWN
32060
1229.92
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell4.opb
UNKNOWN
31875
1229.92
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell5.opb
UNKNOWN
31877
1229.92
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran13x13.opb
UNKNOWN
32063
1229.92
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-bell5.opb
UNKNOWN
31995
1229.92
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-wood1p.opb
UNKNOWN
31865
1229.93
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-bal8x12.opb
UNKNOWN
32048
1229.93
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos15.opb
UNKNOWN
32479
1229.93
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-bell3a.opb
UNKNOWN
31993
1229.93
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-liu.opb
UNKNOWN
31939
1229.94
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3a.opb
UNKNOWN
31871
1229.94
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-tr12-30.opb
UNKNOWN
31982
1229.94
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fixnet6.opb
UNKNOWN
31937
1229.94
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos14.opb
UNKNOWN
32477
1229.94
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-sp97ar.opb
UNKNOWN
32361
1229.94
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-bg512142.opb
UNKNOWN
32147
1229.94
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-fixnet3.opb
UNKNOWN
31882
1229.95
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-tr12-30.opb
UNKNOWN
32226
1229.95
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3b.opb
UNKNOWN
31873
1229.95
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-dcmulti.opb
UNKNOWN
32262
1229.95
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare2_1.opb
UNKNOWN
32087
1229.95
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-dcmulti.opb
UNKNOWN
32382
1229.95
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
UNKNOWN
32225
1229.96
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa3_o.opb
UNKNOWN
32012
1229.96
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos17.opb
UNKNOWN
32481
1229.96
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp98ic.opb
UNKNOWN
32519
1229.96
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran17x17.opb
UNKNOWN
32066
1229.97
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-lotfi.opb
UNKNOWN
32244
1229.97
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran6x43.opb
UNKNOWN
32069
1229.97
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-ran14x18_1.opb
UNKNOWN
32129
1229.97
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb
UNKNOWN
32062
1229.97
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran16x16.opb
UNKNOWN
32065
1229.97
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst2.opb
UNKNOWN
32084
1229.98
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
UNKNOWN
32059
1229.98
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran8x32.opb
UNKNOWN
32082
1229.98
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ic.opb
UNKNOWN
32517
1229.98
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
UNKNOWN
32064
1229.98
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ic.opb
UNKNOWN
32221
1229.98
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-danoint.opb
UNKNOWN
31935
1229.99
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos7.opb
UNKNOWN
32489
1229.99
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-dcmulti.opb
UNKNOWN
31999
1229.99
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-degen2.opb
UNKNOWN
32240
1229.99
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core2536-691.opb
UNKNOWN
32152
1229.99
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-dcmulti.opb
UNKNOWN
31879
1229.99
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran4x64.opb
UNKNOWN
32067
1230
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos15.opb
UNKNOWN
32091
1230
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb
UNKNOWN
31971
1230
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-core2536-691.opb
UNKNOWN
32507
1230
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-set1al.opb
UNKNOWN
31924
1230.01
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-danoint.opb
UNKNOWN
31997
1230.01
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos14.opb
UNKNOWN
32090
1230.01
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-forplan.opb
UNKNOWN
31847
1230.01
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core2586-950.opb
UNKNOWN
32154
1230.01
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-core2586-950.opb
UNKNOWN
32508
1230.01
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst1.opb
UNKNOWN
32083
1230.01
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-set1ch.opb
UNKNOWN
32040
1230.02
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-set1ch.opb
UNKNOWN
31926
1230.02
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos7.opb
UNKNOWN
32127
1230.02
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-set1ch.opb
UNKNOWN
31966
1230.02
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-set1cl.opb
UNKNOWN
31927
1230.03
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-tuff.opb
UNKNOWN
31863
1230.04
normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb
UNKNOWN
31946
1230.04
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-fixnet6.opb
UNKNOWN
31888
1230.05
normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-fixnet6.opb
UNKNOWN
32005
1230.05
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb
UNKNOWN
32162
1230.06
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-core4284-1064.opb
UNKNOWN
32509
1230.06
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-shell.opb
UNKNOWN
31860
1230.06
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos12.opb
UNKNOWN
32089
1230.06
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dg012142.opb
UNKNOWN
32512
1230.06
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen2.opb
UNKNOWN
31839
1230.06
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-CMS750_4.opb
UNKNOWN
32150
1230.07
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos17.opb
UNKNOWN
32097
1230.07
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb
UNKNOWN
32165
1230.08
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-core4872-1529.opb
UNKNOWN
32510
1230.09
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dg012142.opb
UNKNOWN
32181
1230.09
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbea.opb
UNKNOWN
31850
1230.12
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-lotfi.opb
UNKNOWN
31853
1230.13
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-bg512142.opb
UNKNOWN
32505
1230.13
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-qiu.opb
UNKNOWN
32353
1230.17
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-qiu.opb
UNKNOWN
32304
1230.17
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scorpion.opb
UNKNOWN
32250
1230.17
normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-qiu.opb
UNKNOWN
32422
1230.18
normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-fixnet4.opb
UNKNOWN
31884
1230.19
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbeb.opb
UNKNOWN
31852
1230.2
normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-czprob.opb
UNKNOWN
31835
1230.2
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bc1.opb
UNKNOWN
32085
1230.35
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bc1.opb
UNKNOWN
32469
1230.37
normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-wood1p.opb
UNKNOWN
32252
1234.6