Index of /temporalDLLite/benchmark/JAR-submission/newAbsABox/N4/205000/5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]outBlack.log2022-03-03 16:13 5  
[ ]outBlackAbs.log2022-03-03 16:13 5  
[ ]runlimBlack.log2022-03-03 16:13 569  
[ ]runlimBlackAbs.log2022-03-03 16:13 577  
[ ]runlimBMC.log2022-03-03 16:13 636  
[ ]runlimBMCAbs.log2022-03-03 16:13 644  
[TXT]205000_5abox.tex2022-03-03 10:33 725  
[TXT]205000_5tbox.tex2022-03-03 10:33 2.4K 
[TXT]205000_5qtl.tex2022-03-03 10:33 5.6K 
[ ]205000_5ABSTRACT.tptp2022-03-03 10:33 139K 
[ ]205000_5.tptp2022-03-03 10:33 140K 
[TXT]205000_5qtlNAbsABox.tex2022-03-03 10:33 238K 
[TXT]205000_5qtlNABox.tex2022-03-03 10:33 240K 
[ ]205000_5ABSTRACT.pltl2022-03-03 10:33 331K 
[ ]205000_5.pltl2022-03-03 10:33 334K 
[ ]outBMCAbs.log2022-03-03 16:13 373K 
[ ]outBMC.log2022-03-03 16:13 376K 
[SND]205000_5ABSTRACT.smv2022-03-03 10:33 439K 
[SND]205000_5.smv2022-03-03 10:33 443K 
Apache/2.4.53 (Debian) Server at crowd.fi.uncoma.edu.ar Port 80