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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]tbox.json2020-05-04 11:29 385  
[   ]abox.json2020-05-04 11:29 3.3K 
[TXT]tcrowdOutpltl.tex2020-05-12 11:32 33K 
[   ]tcrowdOut.in2020-08-14 10:52 66K 
[TXT]tcrowdOutqtlabox.tex2020-08-14 12:28 6.4K 
[   ]tcrowdOut.tptp2020-08-14 12:28 3.2K 
[TXT]tcrowdOutabox.tex2020-11-30 10:21 725  
[TXT]tcrowdOutqtl.tex2020-11-30 10:21 1.3K 
[TXT]tcrowdOuttbox.tex2020-11-30 10:21 957  
[TXT]tcrowdOutqtlN.tex2020-11-30 10:21 5.5K 
[TXT]tcrowdOutqtlNWithABox.tex2020-11-30 10:21 7.1K 
[   ]tcrowdOutStats.stats2020-11-30 10:21 133  
[TXT]tcrowdOutltl.tex2020-11-30 10:21 281K 
[SND]tcrowdOut.smv2020-11-30 10:21 202K 
[   ]tcrowdOut.aalta2020-11-30 10:21 142K 
[   ]tcrowdOut.pltl2020-11-30 10:21 142K 
[   ]tcrowdOut.ltl2020-11-30 10:21 152K 

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