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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]tbox.json2020-05-04 11:29 385  
[   ]abox.json2020-05-04 11:29 2.7K 
[TXT]tcrowdOutpltl.tex2020-05-12 11:28 27K 
[   ]tcrowdOut.in2020-08-14 10:50 57K 
[TXT]tcrowdOutqtlabox.tex2020-08-14 12:25 6.1K 
[   ]tcrowdOut.tptp2020-08-14 12:25 3.1K 
[TXT]tcrowdOutabox.tex2020-11-30 10:19 725  
[TXT]tcrowdOuttbox.tex2020-11-30 10:19 957  
[TXT]tcrowdOutqtl.tex2020-11-30 10:19 1.3K 
[TXT]tcrowdOutqtlN.tex2020-11-30 10:19 5.5K 
[TXT]tcrowdOutqtlNWithABox.tex2020-11-30 10:19 6.8K 
[   ]tcrowdOutStats.stats2020-11-30 10:19 133  
[TXT]tcrowdOutltl.tex2020-11-30 10:19 228K 
[SND]tcrowdOut.smv2020-11-30 10:19 164K 
[   ]tcrowdOut.aalta2020-11-30 10:19 115K 
[   ]tcrowdOut.pltl2020-11-30 10:19 115K 
[   ]tcrowdOut.ltl2020-11-30 10:19 123K 

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