| ecoliFBAyicesTest-15875-16.smt2 |
| ecoliMILPglycerolYices3-50000.smt2 |
| ecoliFBAyicesTest-750.smt2 |
| shewanella-compact2.smt2 |
| ecoliMILPglycerolYices3-60000.smt2 |
| ecoliFBAyicesTest-63875-64.smt2 |
| shewanella-compact2b.smt2 |
| ecoliFBAyicesTest-875.smt2 |
| ecoliFBAyicesTest-1875-2.smt2 |
| ecoliFBAyicesTest-31875-32.smt2 |
| ecoliMILPglycerolYices3-90000.smt2 |
| ecoliMILPglycerolYices3-70000.smt2 |
| ecoliMILPglycerolYices3-80000.smt2 |
| ecoliMILPglycerolYices3-100000.smt2 |
| ecoliFBAyicesTest-500.smt2 |
| ecoliMILPglycerolYices3-5000.smt2 |
| ecoliFBAyicesTest-3875-4.smt2 |
| ecoliMILPglycerolYices3-300000.smt2 |