File list
From CVC4
This special page shows all uploaded files.
First page |
Previous page |
Next page |
Last page |
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 11:22, 2 December 2013 | Manual ring 2exp10 3vars 0ite unsat.smt2 (file) |  |
2 KB | Example from Tim 12/2/2013 | 1 |
| 10:01, 3 October 2012 | Cvc3 night logo.png (file) |  |
10 KB | 1 | |
| 10:00, 3 October 2012 | Cvc3 logo.jpg (file) |  |
4 KB | 1 | |
| 10:00, 3 October 2012 | Svc.gif (file) |  |
993 bytes | 1 | |
| 11:17, 17 September 2012 | Church-ssl-cert.pem (file) | |
1 KB | 2 | |
| 12:06, 24 February 2012 | Smt ite.pdf (file) |  |
377 KB | 1 | |
| 15:59, 28 October 2011 | Afosr oct2011 cvc3 v cvc4 all.pdf (file) | |
16 KB | 1 | |
| 15:59, 28 October 2011 | Afosr oct2011 cvc3 v cvc4.pdf (file) | |
11 KB | 1 | |
| 15:59, 28 October 2011 | Afosr oct2011 yices v cvc3 all.pdf (file) | |
16 KB | 1 | |
| 15:59, 28 October 2011 | Afosr oct2011 yices v cvc3.pdf (file) | |
11 KB | 1 | |
| 15:58, 28 October 2011 | Afosr oct2011 yices v cvc4 all.pdf (file) | |
17 KB | 1 | |
| 15:58, 28 October 2011 | Afosr oct2011 yices v cvc4.pdf (file) | |
12 KB | 1 | |
| 12:02, 30 September 2011 | Mtg20110930.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
32 KB | 1 | |
| 12:02, 30 September 2011 | Mtg20110930.notebook (file) | |
16 KB | 1 | |
| 07:48, 5 August 2011 | Mtg20110805.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
18 KB | 1 | |
| 07:48, 5 August 2011 | Mtg20110805.notebook (file) | |
8 KB | 1 | |
| 08:18, 27 May 2011 | Mtg20110527.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
18 KB | 1 | |
| 08:18, 27 May 2011 | Mtg20110527.notebook (file) | |
3 KB | 1 | |
| 08:37, 29 April 2011 | Mtg20110429a.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
28 KB | 1 | |
| 08:37, 29 April 2011 | Mtg20110429.notebook (file) | |
9 KB | 1 | |
| 06:29, 29 April 2011 | Mtg20110422e.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
43 KB | 1 | |
| 06:28, 29 April 2011 | Mtg20110422d.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
51 KB | 1 | |
| 06:26, 29 April 2011 | Mtg20110422c.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
50 KB | 1 | |
| 06:26, 29 April 2011 | Mtg20110422b.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
59 KB | 1 | |
| 06:26, 29 April 2011 | Mtg20110422a.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
26 KB | 1 | |
| 06:26, 29 April 2011 | Mtg20110422.notebook (file) | |
91 KB | 1 | |
| 08:54, 1 April 2011 | Mtg20110401b.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
25 KB | 1 | |
| 08:54, 1 April 2011 | Mtg20110401a.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
50 KB | 1 | |
| 08:54, 1 April 2011 | Mtg20110401.notebook (file) | |
27 KB | 1 | |
| 15:01, 26 March 2011 | Relevancy-notes.bib (file) | |
6 KB | This file used to generate File:Relevancy-notes.pdf. | 1 |
| 15:00, 26 March 2011 | Relevancy-notes.tex (file) |  |
5 KB | This file used to generate File:Relevancy-notes.pdf | 1 |
| 12:01, 18 March 2011 | Goedel-ssl-cert.pem (file) | |
652 bytes | This is the X509 certificate of goedel.cims.nyu.edu. Its fingerprints are MD5(/etc/ssl/certs/ssl-cert-snakeoil.pem)= 5336b26737a1b2a5a25961fbc8ab28b8 SHA1(/etc/ssl/certs/ssl-cert-snakeoil.pem)= 2b7a95d56af26706c0a566e4d80b8f40f5fbd5ed SHA256(/etc/ssl/cer | 1 |
| 08:36, 18 March 2011 | Mtg20110318.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
26 KB | 1 | |
| 08:36, 18 March 2011 | Mtg20110318.notebook (file) | |
9 KB | 1 | |
| 10:31, 11 March 2011 | 1677.csv (file) | |
394 KB | 1 | |
| 10:31, 11 March 2011 | 1677-restarts v tableau resets.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
2 KB | Generated from File:1677.csv datafile using R stats package: plot(sat..starts,theory..arith..tableauResets) | 1 |
| 10:30, 11 March 2011 | 1677-user time v propagation lemmas.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
3 KB | Generated from 1677.csv datafile using R stats package: plot(user_time, theory..arith..propagationLemmas) | 1 |
| 10:29, 11 March 2011 | Mtg20110311a.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
40 KB | 1 | |
| 10:28, 11 March 2011 | Mtg20110311.notebook (file) | |
18 KB | 1 | |
| 14:39, 6 February 2011 | Cvc4-logo.png (file) |  |
28 KB | 1 | |
| 14:33, 6 February 2011 | Cvc4-med.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
62 KB | 1 | |
| 12:21, 6 February 2011 | Mtg20110204b.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
38 KB | 1 | |
| 12:20, 6 February 2011 | Mtg20110204a.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
24 KB | 1 | |
| 12:20, 6 February 2011 | Mtg20110204.notebook (file) | |
23 KB | 1 | |
| 09:22, 28 January 2011 | Mtg20110128b.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
22 KB | 1 | |
| 09:22, 28 January 2011 | Mtg20110128a.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
20 KB | 1 | |
| 09:22, 28 January 2011 | Mtg20110128.notebook (file) | |
13 KB | 1 | |
| 09:22, 28 January 2011 | Parmtg20110128.notebook (file) | |
32 KB | 1 | |
| 09:21, 28 January 2011 | Parmtg20110128.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
62 KB | 1 | |
| 09:52, 11 January 2011 | Mtg20110111.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
64 KB | 1 |
First page |
Previous page |
Next page |
Last page |
