Index of /temporalDLLite/benchmark/JAR-submission/newAbsABox/N4/640000/4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]640000_4.pltl2022-03-03 10:36 272K 
[SND]640000_4.smv2022-03-03 10:36 357K 
[ ]640000_4.tptp2022-03-03 10:36 126K 
[ ]640000_4ABSTRACT.pltl2022-03-03 10:36 148K 
[SND]640000_4ABSTRACT.smv2022-03-03 10:36 189K 
[ ]640000_4ABSTRACT.tptp2022-03-03 10:36 59K 
[TXT]640000_4abox.tex2022-03-03 10:36 725  
[TXT]640000_4qtl.tex2022-03-03 10:36 4.7K 
[TXT]640000_4qtlNABox.tex2022-03-03 10:36 217K 
[TXT]640000_4qtlNAbsABox.tex2022-03-03 10:36 92K 
[TXT]640000_4tbox.tex2022-03-03 10:36 2.3K 
[ ]outBMC.log2022-03-03 16:21 311K 
[ ]outBMCAbs.log2022-03-03 16:21 163K 
[ ]outBlack.log2022-03-03 16:21 5  
[ ]outBlackAbs.log2022-03-03 16:21 5  
[ ]runlimBMC.log2022-03-03 16:21 636  
[ ]runlimBMCAbs.log2022-03-03 16:21 642  
[ ]runlimBlack.log2022-03-03 16:21 569  
[ ]runlimBlackAbs.log2022-03-03 16:21 575  
Apache/2.4.53 (Debian) Server at crowd.fi.uncoma.edu.ar Port 80