Index of /temporalDLLite/benchmark/JAR-submission/newAbsABox/N4/500000/3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]outBlack.log2022-03-03 16:20 5  
[ ]outBlackAbs.log2022-03-03 16:20 5  
[ ]runlimBlack.log2022-03-03 16:20 569  
[ ]runlimBlackAbs.log2022-03-03 16:20 576  
[ ]runlimBMC.log2022-03-03 16:20 636  
[ ]runlimBMCAbs.log2022-03-03 16:20 644  
[TXT]500000_3abox.tex2022-03-03 10:35 725  
[TXT]500000_3tbox.tex2022-03-03 10:35 2.3K 
[TXT]500000_3qtl.tex2022-03-03 10:35 5.5K 
[ ]500000_3ABSTRACT.tptp2022-03-03 10:35 101K 
[ ]500000_3.tptp2022-03-03 10:35 152K 
[TXT]500000_3qtlNAbsABox.tex2022-03-03 10:35 166K 
[ ]500000_3ABSTRACT.pltl2022-03-03 10:35 240K 
[TXT]500000_3qtlNABox.tex2022-03-03 10:35 261K 
[ ]outBMCAbs.log2022-03-03 16:20 267K 
[SND]500000_3ABSTRACT.smv2022-03-03 10:35 314K 
[ ]500000_3.pltl2022-03-03 10:35 335K 
[ ]outBMC.log2022-03-03 16:20 379K 
[SND]500000_3.smv2022-03-03 10:35 443K 
Apache/2.4.53 (Debian) Server at crowd.fi.uncoma.edu.ar Port 80