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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]tcrowdOuttbox.tex2021-11-10 12:28 1.1K 
[TXT]tcrowdOutqtlabox.tex2020-08-14 11:37 4.9K 
[TXT]tcrowdOutqtlNWithABox.tex2021-11-10 12:24 1.4K 
[TXT]tcrowdOutqtlN.tex2021-11-10 12:28 3.8K 
[TXT]tcrowdOutqtlABoxN.tex2021-11-10 12:28 3.9K 
[TXT]tcrowdOutqtl.tex2021-11-10 12:28 1.4K 
[TXT]tcrowdOutpltl.tex2020-05-12 11:22 3.2K 
[TXT]tcrowdOutltl.tex2021-11-10 12:28 15K 
[TXT]tcrowdOutabox.tex2021-11-10 12:28 725  
[   ]tcrowdOutStats.stats2021-11-10 12:28 131  
[   ]tcrowdOut.tptp2021-11-10 12:28 1.8K 
[SND]tcrowdOut.smv2021-11-10 12:28 11K 
[   ]tcrowdOut.pltl2021-11-10 12:28 7.4K 
[   ]tcrowdOut.ltl2021-11-10 12:28 7.9K 
[   ]tcrowdOut.in2020-08-14 06:59 23K 
[   ]tcrowdOut.aalta2021-11-10 12:28 7.4K 
[   ]tbox.json2020-05-04 11:29 385  
[   ]abox.json2020-05-04 11:29 1.4K 

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