Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
inputAndOnts.nq | 2016-11-25 18:58 | 3.4M | ||
ontOnly.nq | 2016-11-25 18:58 | 3.2M | ||
0f7256d86d70c8d8009ada4a7b88344f.new.nq | 2016-11-25 18:58 | 395K | ||
0f7256d86d70c8d8009ada4a7b88344f.nq | 2016-11-25 18:58 | 289K | ||
type4.nt | 2016-11-26 17:19 | 200K | ||
inputOnly.nq | 2016-11-25 18:58 | 18K | ||
clean.nt.gz | 2016-11-25 18:58 | 1.5K | ||
reasoning_elapsed_time.txt | 2016-11-25 18:58 | 6 | ||
type3.nt | 2016-11-26 17:19 | 1 | ||
type2.nt | 2016-11-26 17:19 | 1 | ||
type1.nt | 2016-11-26 17:19 | 1 | ||
9bf18ef92a367ebe35f47721d5233da6.nq | 2016-11-25 18:58 | 0 | ||