miplib2003 Benchmarks

Family
Namemiplib2003
Generation DateNone
First Occurrence2013-07-02
Benchmarks16

Benchmarks

QF_LIA • Charts • Solver Isomap
p2756.sat.smt2
seymour.sat.smt2
manna81.sat.smt2
harp2.sat.smt2
protfold.sat.smt2
cap6000.sat.smt2
disctom.sat.smt2
mzzv11.sat.smt2
air05.sat.smt2
air04.sat.smt2
mzzv42z.sat.smt2
sp97ar.sat.smt2
fast0507.sat.smt2
nw04.sat.smt2
stp3d.sat.smt2
ds.sat.smt2