![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| p-psat-cnf-tancs2000.tar.gz | 16-Nov-2010 19:58 | 35K | |
| p-psat-inv-cnf-tancs2000.tar.gz | 16-Nov-2010 20:00 | 38K | |
| p-qbf-cnf-tancs2000.tar.gz | 16-Nov-2010 20:05 | 1.2M | |
| p-qbf-cnfLadn-tancs2000.tar.gz | 16-Nov-2010 20:08 | 885K | |
| p-qbf-cnfSSS-tancs2000.tar.gz | 16-Nov-2010 20:09 | 176K | |
| p-qbf-cpdl-cnf-tancs2000.tar.gz | 05-Aug-2002 16:50 | 333K | |
| p-qbf-cpdl-cnfLadn-tancs2000.tar.gz | 05-Aug-2002 16:50 | 462K | |
| p-qbf-cpdl-cnfSSS-tancs2000.tar.gz | 05-Aug-2002 16:51 | 244K | |
| p-qbf-inv-cnf-tancs2000.tar.gz | 05-Aug-2002 16:51 | 824K | |
| p-qbf-inv-cnfLadn-tancs2000.tar.gz | 05-Aug-2002 16:52 | 1.2M | |
| p-qbf-inv-cnfSSS-tancs2000.tar.gz | 05-Aug-2002 16:52 | 306K | |