| Name | Last modified | Size |
|---|---|---|
| Parent Directory | 27-Jan-2019 15:43 | 9kB |
| error | 27-Jan-2019 09:01 | 6kB |
| presolve | 09-Jan-2019 03:04 | 119312kB |
| presolve-err.log | 09-Jan-2019 03:04 | 28kB |
| pscan | 09-Jan-2019 03:01 | 116347kB |
| pscan.stderr | 09-Jan-2019 03:01 | 151kB |
| status | 07-Jan-2019 16:51 | 1kB |
| success | 19-Jan-2019 02:13 | 98kB |