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