| Name | Last modified | Size |
|---|---|---|
| Parent Directory | 03-Apr-2020 10:46 | 8kB |
| error | 03-Apr-2020 09:19 | 5kB |
| pbuild | 03-Apr-2020 10:46 | 720kB |
| presolve | 30-Mar-2020 21:41 | 120087kB |
| presolve-err.log | 30-Mar-2020 21:41 | 49kB |
| pscan | 30-Mar-2020 21:41 | 117312kB |
| pscan.stderr | 30-Mar-2020 21:41 | 138kB |
| report | 03-Apr-2020 10:52 | 120814kB |
| report.bz2 | 03-Apr-2020 10:52 | 2884kB |
| report.dot | 03-Apr-2020 10:52 | 1222kB |
| report.html | 03-Apr-2020 10:52 | 1933kB |
| report.txt | 03-Apr-2020 10:52 | 19kB |
| status | 03-Apr-2020 10:46 | 1kB |
| success | 03-Apr-2020 10:46 | 388kB |