![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 00added1 | 2016-03-15 16:33 | 133K | |
| 00allflas | 2016-03-15 08:00 | 121M | |
| 00allnewdeps1.a | 2016-03-15 16:07 | 8.0M | |
| 00eval1 | 2016-03-15 16:08 | 628K | |
| 00eval__aa | 2016-03-15 16:53 | 31K | |
| 00eval__ab | 2016-03-15 16:53 | 31K | |
| 00eval__ac | 2016-03-15 16:53 | 31K | |
| 00eval__ad | 2016-03-15 16:53 | 31K | |
| 00eval__ae | 2016-03-15 16:53 | 31K | |
| 00eval__af | 2016-03-15 16:53 | 31K | |
| 00eval__ag | 2016-03-15 16:53 | 31K | |
| 00eval__ah | 2016-03-15 16:53 | 31K | |
| 00eval__ai | 2016-03-15 16:53 | 31K | |
| 00eval__aj | 2016-03-15 16:53 | 31K | |
| 00eval__ak | 2016-03-15 16:53 | 31K | |
| 00eval__al | 2016-03-15 16:53 | 31K | |
| 00eval__am | 2016-03-15 16:53 | 31K | |
| 00eval__an | 2016-03-15 16:53 | 31K | |
| 00eval__ao | 2016-03-15 16:53 | 31K | |
| 00eval__ap | 2016-03-15 16:53 | 31K | |
| 00eval__aq | 2016-03-15 16:53 | 31K | |
| 00eval__ar | 2016-03-15 16:53 | 31K | |
| 00eval__as | 2016-03-15 16:53 | 31K | |
| 00eval__at | 2016-03-15 16:53 | 31K | |
| 00newdeps | 2016-03-15 11:44 | 1.6M | |
| 00newdeps.old | 2016-03-15 11:20 | 1.6M | |
| 00newdeps1.a | 2016-03-15 16:06 | 1.1M | |
| 00newdeps_0only | 2016-03-15 11:44 | 14K | |
| 00newdeps_1only | 2016-03-15 11:44 | 80K | |
| 00newdeps__min1_more | 2016-03-15 13:18 | 1.1M | |
| 00newdeps__min_more | 2016-03-15 11:46 | 1.2M | |
| 00newdeps_all_more | 2016-03-15 15:28 | 3.8M | |
| 00newdeps_min | 2016-03-15 11:45 | 1.2M | |
| 00newdeps_min1 | 2016-03-15 13:17 | 1.1M | |
| 00newdeps_min1_0only | 2016-03-15 13:18 | 0 | |
| 00newdeps_min1_1only | 2016-03-15 13:19 | 1.3K | |
| 00newdeps_min1_more | 2016-03-15 15:07 | 1.1M | |
| 00newdeps_min2 | 2016-03-15 18:19 | 739K | |
| 00newdeps_min_0only | 2016-03-15 11:47 | 70 | |
| 00newdeps_min_1only | 2016-03-15 11:47 | 24K | |
| 00newdeps_min_more | 2016-03-15 11:46 | 1.2M | |
| 00newdeps_more | 2016-03-15 11:44 | 1.5M | |
| 00predict0__00eval__aa | 2016-03-15 20:48 | 4.6M | |
| 00predict0__00eval__ab | 2016-03-15 20:48 | 4.6M | |
| 00predict0__00eval__ac | 2016-03-15 20:48 | 4.6M | |
| 00predict0__00eval__ad | 2016-03-15 20:48 | 4.6M | |
| 00predict0__00eval__ae | 2016-03-15 20:48 | 4.6M | |
| 00predict0__00eval__af | 2016-03-15 20:48 | 4.6M | |
| 00predict0__00eval__ag | 2016-03-15 20:48 | 4.6M | |
| 00predict0__00eval__ah | 2016-03-15 20:48 | 4.6M | |
| 00predict0__00eval__ai | 2016-03-15 20:48 | 4.6M | |
| 00predict0__00eval__aj | 2016-03-15 20:47 | 4.6M | |
| 00predict0__00eval__ak | 2016-03-15 20:48 | 4.6M | |
| 00predict0__00eval__al | 2016-03-15 20:47 | 4.6M | |
| 00predict0__00eval__am | 2016-03-15 20:48 | 4.6M | |
| 00predict0__00eval__an | 2016-03-15 20:48 | 4.6M | |
| 00predict0__00eval__ao | 2016-03-15 20:48 | 4.6M | |
| 00predict0__00eval__ap | 2016-03-15 20:47 | 4.6M | |
| 00predict0__00eval__aq | 2016-03-15 20:48 | 4.6M | |
| 00predict0__00eval__ar | 2016-03-15 20:48 | 4.6M | |
| 00predict0__00eval__as | 2016-03-15 20:48 | 4.6M | |
| 00predict0__00eval__at | 2016-03-15 20:48 | 4.6M | |
| 00predict01 | 2016-03-15 20:51 | 92M | |
| 00predict2 | 2016-03-15 19:31 | 94M | |
| 00predict2__00eval__aa | 2016-03-15 17:12 | 4.7M | |
| 00predict2__00eval__ab | 2016-03-15 17:12 | 4.7M | |
| 00predict2__00eval__ac | 2016-03-15 17:12 | 4.7M | |
| 00predict2__00eval__ad | 2016-03-15 17:12 | 4.7M | |
| 00predict2__00eval__ae | 2016-03-15 17:12 | 4.7M | |
| 00predict2__00eval__af | 2016-03-15 17:12 | 4.7M | |
| 00predict2__00eval__ag | 2016-03-15 17:12 | 4.7M | |
| 00predict2__00eval__ah | 2016-03-15 17:12 | 4.7M | |
| 00predict2__00eval__ai | 2016-03-15 17:12 | 4.7M | |
| 00predict2__00eval__aj | 2016-03-15 17:12 | 4.7M | |
| 00predict2__00eval__ak | 2016-03-15 17:12 | 4.7M | |
| 00predict2__00eval__al | 2016-03-15 17:12 | 4.7M | |
| 00predict2__00eval__am | 2016-03-15 17:12 | 4.7M | |
| 00predict2__00eval__an | 2016-03-15 17:12 | 4.7M | |
| 00predict2__00eval__ao | 2016-03-15 17:12 | 4.7M | |
| 00predict2__00eval__ap | 2016-03-15 17:12 | 4.7M | |
| 00predict2__00eval__aq | 2016-03-15 17:12 | 4.7M | |
| 00predict2__00eval__ar | 2016-03-15 17:12 | 4.7M | |
| 00predict2__00eval__as | 2016-03-15 17:14 | 4.7M | |
| 00predict2__00eval__at | 2016-03-15 17:14 | 4.7M | |
| 00predict21 | 2016-03-15 17:35 | 94M | |
| 00preds | 2016-03-15 07:50 | 2.8M | |
| 00prf2 | 2016-03-15 19:29 | 151K | |
| 00res0thm | 2016-03-16 14:21 | 171K | |
| 00res2thm | 2016-03-16 14:21 | 171K | |
| 00res20diff | 2016-03-16 14:22 | 12K | |
| 00seq_new1 | 2016-03-15 16:06 | 3.2M | |
| conj/ | 2016-03-16 10:04 | - | |
| 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 | - | |
| eval1/ | 2016-03-15 16:53 | - | |
| features | 2015-12-28 09:32 | 2.6M | |
| features_added1 | 2016-03-15 16:34 | 5.8M | |
| features_all | 2016-03-15 16:13 | 412M | |
| features_comb1 | 2016-03-15 16:35 | 244M | |
| features_conj | 2016-03-15 00:13 | 174M | |
| features_new_old | 2016-03-14 21:22 | 238M | |
| hard | 2016-03-15 17:39 | 301K | |
| hard1 | 2016-03-15 17:52 | 279K | |
| 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 | |
| probs0/ | 2016-03-15 20:53 | - | |
| probs2/ | 2016-03-15 17:46 | - | |
| probsmin/ | 2016-03-15 11:35 | - | |
| probsmin1/ | 2016-03-15 16:22 | - | |
| res/ | 2016-03-15 11:44 | - | |
| res0.tar.gz | 2016-03-16 09:18 | 433M | |
| res0/ | 2016-03-16 14:21 | - | |
| res2/ | 2016-03-16 14:21 | - | |
| resmin/ | 2016-03-15 11:37 | - | |
| resmin1/ | 2016-03-15 13:18 | - | |
| screenlog.0 | 2016-03-16 16:42 | 14M | |
| 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 | |