![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| gamma_clausal_results.tex | 2005-01-27 22:58 | 0 | |
| gamma_clausal_with_literals_results.tex | 2005-02-25 08:46 | 258 | |
| gamma_normal_results.tex | 2005-01-27 22:57 | 0 | |
| gamma_with_literals_results.tex | 2005-02-25 08:46 | 257 | |
| h_clausal_results.tex | 2005-02-25 08:46 | 192 | |
| h_normal_results.tex | 2005-02-25 08:46 | 190 | |
| php_clausal_results.tex | 2006-05-16 16:38 | 56 | |
| php_normal_results.tex | 2006-05-16 16:38 | 55 | |
| statman_clausal_results.tex | 2005-02-25 08:49 | 94 | |
| statman_normal_results.tex | 2005-02-25 08:46 | 94 | |