![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| type4.nt | 2016-11-26 19:45 | 1 | |
| type3.nt | 2016-11-26 19:45 | 1 | |
| type2.nt | 2016-11-26 19:45 | 1 | |
| type1.nt | 2016-11-26 19:45 | 1 | |
| reasoning_elapsed_time.txt | 2016-11-25 18:59 | 5 | |
| ontOnly.nq | 2016-11-25 18:59 | 6.9K | |
| inputOnly.nq | 2016-11-25 18:59 | 368K | |
| inputAndOnts.nq | 2016-11-25 18:59 | 370K | |
| e562f8ea6b8af86cc6410826d62a21dd.nq | 2016-11-25 18:59 | 0 | |
| clean.nt.gz | 2016-11-25 18:59 | 4.9K | |
| b99cc9a5f906edd9ce18ae6749c262ea.nq | 2016-11-25 18:59 | 0 | |
| 96fd735888be17f85b86da64afc66996.nq | 2016-11-25 18:59 | 125 | |
| 96fd735888be17f85b86da64afc66996.new.nq | 2016-11-25 18:59 | 126 | |
| 1b4d0b053acadf106dcc63d0d201a9dd.nq | 2016-11-25 18:59 | 0 | |
| 05f93da57fc2049537e3fb035df6d024.nq | 2016-11-25 18:59 | 0 | |
| 05f93da57fc2049537e3fb035df6d024.new.nq | 2016-11-25 18:59 | 1 | |
| 02231e577d9a1467f4263bf5ba97f13d.nq | 2016-11-25 18:59 | 0 | |
| 00b81fb0c7e2ee58c104972439f34d5a.nq | 2016-11-25 18:59 | 0 | |
| 0e8f8bc5a35325c5f5c86d645d95d522.nq | 2016-11-25 18:59 | 0 | |