![[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 | - | ||
| aut_ref_vs_no_ref.csv | 2015-08-25 11:35 | 5.0M | |
| form_ref_vs_aut_ref_..> | 2015-08-25 11:28 | 1.6M | |
| form_ref_vs_no_ref.csv | 2015-08-25 11:34 | 11M | |
| logall_aut_ref.csv | 2015-08-25 11:13 | 3.7M | |
| logall_form_ref.csv | 2015-08-25 11:33 | 12M | |
| logall_no_ref.csv | 2015-08-25 11:30 | 7.7M | |
| logall_simp.csv | 2015-08-25 11:34 | 3.8M | |
| verification_tasks.csv | 2015-08-25 11:33 | 792K | |