![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| README-cheq | 10-Mar-2011 15:33 | 1.3K | |
| cheq_checker_qube_cert_results.txt | 25-Jan-2011 19:25 | 7.0K | |
| qdpllexp_1.proof | 10-Mar-2011 15:29 | 497 | |
| qdpllexp_1.qdimacs | 10-Mar-2011 15:18 | 333 | |
| qdpllexp_2.proof | 04-Mar-2011 09:22 | 619 | |
| qdpllexp_2.qdimacs | 04-Mar-2011 08:49 | 423 | |
| qdpllexp_20.proof | 04-Mar-2011 11:49 | 2.8K | |
| qdpllexp_20.qdimacs | 04-Mar-2011 08:49 | 2.2K | |