Index of /temporalDLLite/benchmark/JAR-submission/newAbsABox/N2/140500/1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]outBlack.log2022-03-03 15:44 5  
[ ]outBlackAbs.log2022-03-03 15:44 5  
[ ]runlimBlack.log2022-03-03 15:44 567  
[ ]runlimBlackAbs.log2022-03-03 15:44 574  
[ ]runlimBMC.log2022-03-03 15:44 635  
[ ]runlimBMCAbs.log2022-03-03 15:44 642  
[TXT]140500_1abox.tex2022-02-28 16:53 725  
[TXT]140500_1tbox.tex2022-02-28 16:53 1.8K 
[TXT]140500_1qtl.tex2022-02-28 16:53 3.6K 
[ ]140500_1ABSTRACT.tptp2022-02-28 16:53 52K 
[ ]140500_1.tptp2022-02-28 16:53 73K 
[TXT]140500_1qtlNAbsABox.tex2022-02-28 16:53 87K 
[TXT]140500_1qtlNABox.tex2022-02-28 16:53 126K 
[ ]140500_1ABSTRACT.pltl2022-02-28 16:53 138K 
[ ]outBMCAbs.log2022-03-03 15:44 153K 
[SND]140500_1ABSTRACT.smv2022-02-28 16:53 181K 
[ ]140500_1.pltl2022-02-28 16:53 183K 
[ ]outBMC.log2022-03-03 15:44 205K 
[SND]140500_1.smv2022-02-28 16:53 241K 
Apache/2.4.53 (Debian) Server at crowd.fi.uncoma.edu.ar Port 80