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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]tcrowdOutStats.stats2020-11-30 10:17 133  
[   ]tbox.json2020-05-04 11:29 385  
[TXT]tcrowdOutabox.tex2020-11-30 10:17 725  
[TXT]tcrowdOuttbox.tex2020-11-30 10:17 957  
[TXT]tcrowdOutqtl.tex2020-11-30 10:17 1.3K 
[   ]abox.json2020-05-04 11:29 2.0K 
[   ]tcrowdOut.tptp2020-08-14 12:21 2.9K 
[TXT]tcrowdOutqtlN.tex2020-11-30 10:17 5.5K 
[TXT]tcrowdOutqtlabox.tex2020-08-14 12:21 5.8K 
[TXT]tcrowdOutqtlNWithABox.tex2020-11-30 10:17 6.5K 
[TXT]tcrowdOutpltl.tex2020-05-12 11:26 21K 
[   ]tcrowdOut.in2020-08-14 10:47 49K 
[   ]tcrowdOut.aalta2020-11-30 10:17 88K 
[   ]tcrowdOut.pltl2020-11-30 10:17 88K 
[   ]tcrowdOut.ltl2020-11-30 10:17 94K 
[SND]tcrowdOut.smv2020-11-30 10:17 125K 
[TXT]tcrowdOutltl.tex2020-11-30 10:17 175K 

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