Index of /temporalDLLite/benchmark/JAR-submission/abstractionABox/N50/1/3

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[DIR]A/2021-05-07 15:17 -  
[DIR]C/2021-05-07 15:08 -  
[TXT]RandomTBoxABox_50_3015000_2abox.tex2021-05-06 19:27 752  
[TXT]RandomTBoxABox_50_3015000_2qtl.tex2021-05-06 19:27 53K 
[TXT]RandomTBoxABox_50_3015000_2tbox.tex2021-05-06 19:27 48K 
[TXT]console_50_3015000_2.txt2021-05-06 19:34 716  

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