Index of /temporalDLLite/benchmark/JAR-submission/abstractionABox/N6/4/3/A

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]RandomTBoxABox_6_740000_2ABSTRACT.pltl2021-05-07 09:37 436K 
[SND]RandomTBoxABox_6_740000_2ABSTRACT.smv2021-05-07 09:37 599K 
[   ]RandomTBoxABox_6_740000_2ABSTRACT.tptp2021-05-07 09:37 198K 
[TXT]console_6_740000_2.txt2021-05-07 10:36 683  
[   ]outBA.log2021-05-07 10:49 5  
[   ]outBMCA.log2021-05-07 10:49 1.1K 
[   ]runlimBA.log2021-05-07 10:49 583  
[   ]runlimBMCA.log2021-05-07 10:49 666  

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