miplib Benchmarks

Family
Namemiplib
Generation DateNone
First Occurrence2008-07-07
Benchmarks42

Benchmarks

QF_LRA • Charts • Solver Isomap
vpm2-20.smt2
pk1-0.smt2
danoint-30.smt2
pk1-11.smt2
pp08a-12000.smt2
vpm2-13.75.smt2
danoint-166.smt2
pp08a-10000.smt2
pp08a-7349.smt2
opt1217--37.smt2
vpm2-30.smt2
pp08a-3000.smt2
danoint-266.smt2
vpm2-0.smt2
danoint-65.smt2
vpm2-10.smt2
opt1217--27.smt2
opt1217--6.smt2
pp08a-4000.smt2
pk1-20.smt2
pk1-50.smt2
fixnet-3000.smt2
danoint-50.smt2
opt1217--17.smt2
opt1217--16.smt2
danoint-66.smt2
pp08a-11000.smt2
opt1217--57.smt2
pp08a-5000.smt2
fixnet-1000.smt2
pk1--1.smt2
opt1217--11.smt2
pp08a-9000.smt2
pk1-100.smt2
pp08a-1000.smt2
pp08a-7350.smt2
opt1217--1.smt2
fixnet-3983.smt2
pp08a-2000.smt2
vpm2-5.smt2
fixnet-7000.smt2
fixnet-5000.smt2