Index of /temporalDLLite/benchmark/JAR-submission/toyExamples/Name/20/UNSAT1instant

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]tbox.json2020-05-04 11:29 385  
[   ]abox.json2020-05-04 11:29 1.4K 
[TXT]tcrowdOutpltl.tex2020-05-12 11:24 15K 
[   ]tcrowdOut.in2020-08-14 09:55 40K 
[TXT]tcrowdOutqtlabox.tex2020-08-14 12:13 5.5K 
[   ]tcrowdOut.tptp2020-08-14 12:13 2.7K 
[TXT]tcrowdOutabox.tex2020-11-30 10:14 725  
[TXT]tcrowdOutqtl.tex2020-11-30 10:14 1.3K 
[TXT]tcrowdOuttbox.tex2020-11-30 10:14 957  
[TXT]tcrowdOutqtlN.tex2020-11-30 10:14 5.5K 
[TXT]tcrowdOutqtlNWithABox.tex2020-11-30 10:14 6.2K 
[   ]tcrowdOutStats.stats2020-11-30 10:14 133  
[TXT]tcrowdOutltl.tex2020-11-30 10:14 122K 
[SND]tcrowdOut.smv2020-11-30 10:14 87K 
[   ]tcrowdOut.aalta2020-11-30 10:14 61K 
[   ]tcrowdOut.pltl2020-11-30 10:14 61K 
[   ]tcrowdOut.ltl2020-11-30 10:14 66K 

Apache/2.4.53 (Debian) Server at crowd.fi.uncoma.edu.ar Port 80