Index of /temporalDLLite/benchmark/JAR-submission/abstractionABox/N6/2/1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[DIR]A/2021-05-07 10:45 -  
[DIR]C/2021-05-07 10:45 -  
[TXT]RandomTBoxABox_6_420000_0abox.tex2021-05-07 09:36 752  
[TXT]RandomTBoxABox_6_420000_0qtl.tex2021-05-07 09:36 7.3K 
[TXT]RandomTBoxABox_6_420000_0tbox.tex2021-05-07 09:36 8.1K 
[TXT]console_6_420000_0.txt2021-05-07 09:36 683  

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