![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 00allflas | 2016-03-15 08:00 | 121M | |
| 00newdeps | 2016-03-15 11:44 | 1.6M | |
| 00newdeps.old | 2016-03-15 11:20 | 1.6M | |
| 00newdeps_0only | 2016-03-15 11:44 | 14K | |
| 00newdeps_1only | 2016-03-15 11:44 | 80K | |
| 00newdeps__min_more | 2016-03-15 11:46 | 1.2M | |
| 00newdeps_min | 2016-03-15 11:45 | 1.2M | |
| 00newdeps_min_0only | 2016-03-15 11:47 | 70 | |
| 00newdeps_min_1only | 2016-03-15 11:47 | 24K | |
| 00newdeps_more | 2016-03-15 11:44 | 1.5M | |
| 00preds | 2016-03-15 07:50 | 2.8M | |
| conjecture.p | 2016-03-14 19:24 | 51M | |
| conjs | 2016-03-15 00:15 | 2.2M | |
| deps.a | 2013-09-29 13:29 | 6.9M | |
| deps/ | 2016-03-15 11:13 | - | |
| features | 2015-12-28 09:32 | 2.6M | |
| features_conj | 2016-03-15 00:13 | 174M | |
| features_new_old | 2016-03-14 21:22 | 238M | |
| predict | 2015-05-19 16:51 | 3.1M | |
| preds/ | 2016-03-15 07:39 | - | |
| probs/ | 2016-03-15 08:11 | - | |
| probs0.tar.gz | 2016-03-16 07:01 | 207M | |
| probsmin/ | 2016-03-15 11:35 | - | |
| res/ | 2016-03-15 11:44 | - | |
| res0.tar.gz | 2016-03-16 09:18 | 433M | |
| resmin/ | 2016-03-15 11:37 | - | |
| screenlog.0 | 2016-03-15 11:37 | 11M | |
| seq | 2013-09-04 15:12 | 3.1M | |
| statements | 2013-09-21 18:36 | 48M | |
| statements_thibaulted.p1 | 2016-03-14 20:25 | 70M | |
| vampire_2.6 | 2012-07-17 08:07 | 6.1M | |
| vampire_4.0ltb | 2015-08-02 02:25 | 8.4M | |