Index of /temporalDLLite/benchmark/JAR-submission/newAbsABox/N6/550000/3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]outBlack.log2022-03-07 09:13 5  
[ ]outBlackAbs.log2022-03-07 09:13 5  
[ ]runlimBlack.log2022-03-07 09:13 570  
[ ]runlimBlackAbs.log2022-03-07 09:13 578  
[ ]runlimBMC.log2022-03-07 09:13 653  
[ ]runlimBMCAbs.log2022-03-07 09:13 661  
[TXT]550000_3abox.tex2022-03-03 10:40 725  
[ ]outBMC.log2022-03-07 09:13 1.1K 
[ ]outBMCAbs.log2022-03-07 09:13 1.1K 
[TXT]550000_3tbox.tex2022-03-03 10:40 2.9K 
[TXT]550000_3qtl.tex2022-03-03 10:40 7.7K 
[ ]550000_3ABSTRACT.tptp2022-03-03 10:40 221K 
[ ]550000_3.tptp2022-03-03 10:40 223K 
[TXT]550000_3qtlNAbsABox.tex2022-03-03 10:40 380K 
[TXT]550000_3qtlNABox.tex2022-03-03 10:40 383K 
[ ]550000_3ABSTRACT.pltl2022-03-03 10:40 517K 
[ ]550000_3.pltl2022-03-03 10:40 520K 
[SND]550000_3ABSTRACT.smv2022-03-03 10:40 698K 
[SND]550000_3.smv2022-03-03 10:40 703K 
Apache/2.4.53 (Debian) Server at crowd.fi.uncoma.edu.ar Port 80