Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
vampire_4.0ltb | 2015-08-02 02:25 | 8.4M | ||
vampire_2.6 | 2012-07-17 08:07 | 6.1M | ||
statements_thibaulted.p1 | 2016-03-14 20:25 | 70M | ||
statements | 2013-09-21 18:36 | 48M | ||
seq | 2013-09-04 15:12 | 3.1M | ||
screenlog.0 | 2016-03-16 16:42 | 14M | ||
resmin1/ | 2016-03-15 13:18 | - | ||
resmin/ | 2016-03-15 11:37 | - | ||
res2/ | 2016-03-16 14:21 | - | ||
res0/ | 2016-03-16 14:21 | - | ||
res0.tar.gz | 2016-03-16 09:18 | 433M | ||
res/ | 2016-03-15 11:44 | - | ||
probsmin1/ | 2016-03-15 16:22 | - | ||
probsmin/ | 2016-03-15 11:35 | - | ||
probs2/ | 2016-03-15 17:46 | - | ||
probs0/ | 2016-03-15 20:53 | - | ||
probs0.tar.gz | 2016-03-16 07:01 | 207M | ||
probs/ | 2016-03-15 08:11 | - | ||
preds/ | 2016-03-15 07:39 | - | ||
predict | 2015-05-19 16:51 | 3.1M | ||
hard1 | 2016-03-15 17:52 | 279K | ||
hard | 2016-03-15 17:39 | 301K | ||
features_new_old | 2016-03-14 21:22 | 238M | ||
features_conj | 2016-03-15 00:13 | 174M | ||
features_comb1 | 2016-03-15 16:35 | 244M | ||
features_all | 2016-03-15 16:13 | 412M | ||
features_added1 | 2016-03-15 16:34 | 5.8M | ||
features | 2015-12-28 09:32 | 2.6M | ||
eval1/ | 2016-03-15 16:53 | - | ||
deps/ | 2016-03-15 11:13 | - | ||
deps.a | 2013-09-29 13:29 | 6.9M | ||
conjs | 2016-03-15 00:15 | 2.2M | ||
conjecture.p | 2016-03-14 19:24 | 51M | ||
conj/ | 2016-03-16 10:04 | - | ||
00seq_new1 | 2016-03-15 16:06 | 3.2M | ||
00res20diff | 2016-03-16 14:22 | 12K | ||
00res2thm | 2016-03-16 14:21 | 171K | ||
00res0thm | 2016-03-16 14:21 | 171K | ||
00prf2 | 2016-03-15 19:29 | 151K | ||
00preds | 2016-03-15 07:50 | 2.8M | ||
00predict21 | 2016-03-15 17:35 | 94M | ||
00predict2__00eval__at | 2016-03-15 17:14 | 4.7M | ||
00predict2__00eval__as | 2016-03-15 17:14 | 4.7M | ||
00predict2__00eval__ar | 2016-03-15 17:12 | 4.7M | ||
00predict2__00eval__aq | 2016-03-15 17:12 | 4.7M | ||
00predict2__00eval__ap | 2016-03-15 17:12 | 4.7M | ||
00predict2__00eval__ao | 2016-03-15 17:12 | 4.7M | ||
00predict2__00eval__an | 2016-03-15 17:12 | 4.7M | ||
00predict2__00eval__am | 2016-03-15 17:12 | 4.7M | ||
00predict2__00eval__al | 2016-03-15 17:12 | 4.7M | ||
00predict2__00eval__ak | 2016-03-15 17:12 | 4.7M | ||
00predict2__00eval__aj | 2016-03-15 17:12 | 4.7M | ||
00predict2__00eval__ai | 2016-03-15 17:12 | 4.7M | ||
00predict2__00eval__ah | 2016-03-15 17:12 | 4.7M | ||
00predict2__00eval__ag | 2016-03-15 17:12 | 4.7M | ||
00predict2__00eval__af | 2016-03-15 17:12 | 4.7M | ||
00predict2__00eval__ae | 2016-03-15 17:12 | 4.7M | ||
00predict2__00eval__ad | 2016-03-15 17:12 | 4.7M | ||
00predict2__00eval__ac | 2016-03-15 17:12 | 4.7M | ||
00predict2__00eval__ab | 2016-03-15 17:12 | 4.7M | ||
00predict2__00eval__aa | 2016-03-15 17:12 | 4.7M | ||
00predict2 | 2016-03-15 19:31 | 94M | ||
00predict01 | 2016-03-15 20:51 | 92M | ||
00predict0__00eval__at | 2016-03-15 20:48 | 4.6M | ||
00predict0__00eval__as | 2016-03-15 20:48 | 4.6M | ||
00predict0__00eval__ar | 2016-03-15 20:48 | 4.6M | ||
00predict0__00eval__aq | 2016-03-15 20:48 | 4.6M | ||
00predict0__00eval__ap | 2016-03-15 20:47 | 4.6M | ||
00predict0__00eval__ao | 2016-03-15 20:48 | 4.6M | ||
00predict0__00eval__an | 2016-03-15 20:48 | 4.6M | ||
00predict0__00eval__am | 2016-03-15 20:48 | 4.6M | ||
00predict0__00eval__al | 2016-03-15 20:47 | 4.6M | ||
00predict0__00eval__ak | 2016-03-15 20:48 | 4.6M | ||
00predict0__00eval__aj | 2016-03-15 20:47 | 4.6M | ||
00predict0__00eval__ai | 2016-03-15 20:48 | 4.6M | ||
00predict0__00eval__ah | 2016-03-15 20:48 | 4.6M | ||
00predict0__00eval__ag | 2016-03-15 20:48 | 4.6M | ||
00predict0__00eval__af | 2016-03-15 20:48 | 4.6M | ||
00predict0__00eval__ae | 2016-03-15 20:48 | 4.6M | ||
00predict0__00eval__ad | 2016-03-15 20:48 | 4.6M | ||
00predict0__00eval__ac | 2016-03-15 20:48 | 4.6M | ||
00predict0__00eval__ab | 2016-03-15 20:48 | 4.6M | ||
00predict0__00eval__aa | 2016-03-15 20:48 | 4.6M | ||
00newdeps_more | 2016-03-15 11:44 | 1.5M | ||
00newdeps_min_more | 2016-03-15 11:46 | 1.2M | ||
00newdeps_min_1only | 2016-03-15 11:47 | 24K | ||
00newdeps_min_0only | 2016-03-15 11:47 | 70 | ||
00newdeps_min2 | 2016-03-15 18:19 | 739K | ||
00newdeps_min1_more | 2016-03-15 15:07 | 1.1M | ||
00newdeps_min1_1only | 2016-03-15 13:19 | 1.3K | ||
00newdeps_min1_0only | 2016-03-15 13:18 | 0 | ||
00newdeps_min1 | 2016-03-15 13:17 | 1.1M | ||
00newdeps_min | 2016-03-15 11:45 | 1.2M | ||
00newdeps_all_more | 2016-03-15 15:28 | 3.8M | ||
00newdeps__min_more | 2016-03-15 11:46 | 1.2M | ||
00newdeps__min1_more | 2016-03-15 13:18 | 1.1M | ||
00newdeps_1only | 2016-03-15 11:44 | 80K | ||
00newdeps_0only | 2016-03-15 11:44 | 14K | ||
00newdeps1.a | 2016-03-15 16:06 | 1.1M | ||
00newdeps.old | 2016-03-15 11:20 | 1.6M | ||
00newdeps | 2016-03-15 11:44 | 1.6M | ||
00eval__at | 2016-03-15 16:53 | 31K | ||
00eval__as | 2016-03-15 16:53 | 31K | ||
00eval__ar | 2016-03-15 16:53 | 31K | ||
00eval__aq | 2016-03-15 16:53 | 31K | ||
00eval__ap | 2016-03-15 16:53 | 31K | ||
00eval__ao | 2016-03-15 16:53 | 31K | ||
00eval__an | 2016-03-15 16:53 | 31K | ||
00eval__am | 2016-03-15 16:53 | 31K | ||
00eval__al | 2016-03-15 16:53 | 31K | ||
00eval__ak | 2016-03-15 16:53 | 31K | ||
00eval__aj | 2016-03-15 16:53 | 31K | ||
00eval__ai | 2016-03-15 16:53 | 31K | ||
00eval__ah | 2016-03-15 16:53 | 31K | ||
00eval__ag | 2016-03-15 16:53 | 31K | ||
00eval__af | 2016-03-15 16:53 | 31K | ||
00eval__ae | 2016-03-15 16:53 | 31K | ||
00eval__ad | 2016-03-15 16:53 | 31K | ||
00eval__ac | 2016-03-15 16:53 | 31K | ||
00eval__ab | 2016-03-15 16:53 | 31K | ||
00eval__aa | 2016-03-15 16:53 | 31K | ||
00eval1 | 2016-03-15 16:08 | 628K | ||
00allnewdeps1.a | 2016-03-15 16:07 | 8.0M | ||
00allflas | 2016-03-15 08:00 | 121M | ||
00added1 | 2016-03-15 16:33 | 133K | ||