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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[DIR]A/2021-05-07 11:00 -  
[DIR]C/2021-05-07 11:00 -  
[TXT]RandomTBoxABox_4_280000_0abox.tex2021-05-07 09:32 752  
[TXT]RandomTBoxABox_4_280000_0qtl.tex2021-05-07 09:32 5.5K 
[TXT]RandomTBoxABox_4_280000_0tbox.tex2021-05-07 09:32 6.4K 
[TXT]console_4_280000_0.txt2021-05-07 09:32 679  

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