Index of /temporalDLLite/benchmark/JAR-submission/newAbsABox/N6/980000/1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]outBlack.log2022-03-07 09:18 5  
[ ]outBlackAbs.log2022-03-07 09:18 5  
[ ]runlimBlack.log2022-03-07 09:18 570  
[ ]runlimBlackAbs.log2022-03-07 09:18 578  
[ ]runlimBMCAbs.log2022-03-07 09:18 645  
[ ]runlimBMC.log2022-03-07 09:18 653  
[TXT]980000_1abox.tex2022-03-03 10:41 725  
[ ]outBMC.log2022-03-07 09:18 1.1K 
[TXT]980000_1tbox.tex2022-03-03 10:41 2.9K 
[TXT]980000_1qtl.tex2022-03-03 10:41 7.7K 
[ ]980000_1ABSTRACT.tptp2022-03-03 10:41 155K 
[ ]980000_1.tptp2022-03-03 10:41 230K 
[TXT]980000_1qtlNAbsABox.tex2022-03-03 10:41 255K 
[ ]980000_1ABSTRACT.pltl2022-03-03 10:41 385K 
[TXT]980000_1qtlNABox.tex2022-03-03 10:41 396K 
[ ]outBMCAbs.log2022-03-07 09:18 427K 
[SND]980000_1ABSTRACT.smv2022-03-03 10:41 513K 
[ ]980000_1.pltl2022-03-03 10:41 522K 
[SND]980000_1.smv2022-03-03 10:41 702K 
Apache/2.4.53 (Debian) Server at crowd.fi.uncoma.edu.ar Port 80