Index of /temporalDLLite/benchmark/JAR-submission

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]RandomTBoxABox_50_3015000_0.pltl2022-03-30 11:26 7.7M 
[SND]RandomTBoxABox_50_3015000_0.smv2022-03-30 11:26 11M 
[ ]RandomTBoxABox_50_3015000_0.tptp2022-03-30 11:26 1.8M 
[ ]RandomTBoxABox_50_3015000_0ABSTRACT.pltl2022-03-30 11:26 7.7M 
[SND]RandomTBoxABox_50_3015000_0ABSTRACT.smv2022-03-30 11:26 11M 
[ ]RandomTBoxABox_50_3015000_0ABSTRACT.tptp2022-03-30 11:26 1.8M 
[TXT]RandomTBoxABox_50_3015000_0abox.tex2022-03-30 11:22 752  
[TXT]RandomTBoxABox_50_3015000_0qtl.tex2022-03-30 11:22 53K 
[TXT]RandomTBoxABox_50_3015000_0tbox.tex2022-03-30 11:22 27K 
[ ]RandomTBoxABox_50_4020000_0.pltl2022-03-30 11:30 7.7M 
[SND]RandomTBoxABox_50_4020000_0.smv2022-03-30 11:30 11M 
[ ]RandomTBoxABox_50_4020000_0.tptp2022-03-30 11:30 1.8M 
[ ]RandomTBoxABox_50_4020000_0ABSTRACT.pltl2022-03-30 11:30 7.7M 
[SND]RandomTBoxABox_50_4020000_0ABSTRACT.smv2022-03-30 11:30 11M 
[ ]RandomTBoxABox_50_4020000_0ABSTRACT.tptp2022-03-30 11:30 1.8M 
[TXT]RandomTBoxABox_50_4020000_0abox.tex2022-03-30 11:27 752  
[TXT]RandomTBoxABox_50_4020000_0qtl.tex2022-03-30 11:27 53K 
[TXT]RandomTBoxABox_50_4020000_0tbox.tex2022-03-30 11:27 38K 
[ ]RandomTBoxABox_50_5022500_0.pltl2022-03-30 11:34 7.7M 
[SND]RandomTBoxABox_50_5022500_0.smv2022-03-30 11:34 11M 
[ ]RandomTBoxABox_50_5022500_0.tptp2022-03-30 11:34 1.8M 
[ ]RandomTBoxABox_50_5022500_0ABSTRACT.pltl2022-03-30 11:34 7.7M 
[SND]RandomTBoxABox_50_5022500_0ABSTRACT.smv2022-03-30 11:34 11M 
[ ]RandomTBoxABox_50_5022500_0ABSTRACT.tptp2022-03-30 11:34 1.8M 
[TXT]RandomTBoxABox_50_5022500_0abox.tex2022-03-30 11:30 752  
[TXT]RandomTBoxABox_50_5022500_0qtl.tex2022-03-30 11:30 53K 
[TXT]RandomTBoxABox_50_5022500_0tbox.tex2022-03-30 11:30 49K 
[ ]RandomTBoxABox_50_7027000_0.pltl2022-03-30 11:41 7.8M 
[SND]RandomTBoxABox_50_7027000_0.smv2022-03-30 11:41 11M 
[ ]RandomTBoxABox_50_7027000_0.tptp2022-03-30 11:41 1.9M 
[ ]RandomTBoxABox_50_7027000_0ABSTRACT.pltl2022-03-30 11:41 7.8M 
[SND]RandomTBoxABox_50_7027000_0ABSTRACT.smv2022-03-30 11:41 11M 
[ ]RandomTBoxABox_50_7027000_0ABSTRACT.tptp2022-03-30 11:41 1.9M 
[TXT]RandomTBoxABox_50_7027000_0abox.tex2022-03-30 11:35 752  
[TXT]RandomTBoxABox_50_7027000_0qtl.tex2022-03-30 11:35 53K 
[TXT]RandomTBoxABox_50_7027000_0tbox.tex2022-03-30 11:35 60K 
[ ]RandomTBoxABox_50_10500000_0.pltl2022-03-30 11:47 7.8M 
[SND]RandomTBoxABox_50_10500000_0.smv2022-03-30 11:47 11M 
[ ]RandomTBoxABox_50_10500000_0.tptp2022-03-30 11:47 1.9M 
[ ]RandomTBoxABox_50_10500000_0ABSTRACT.pltl2022-03-30 11:47 7.8M 
[SND]RandomTBoxABox_50_10500000_0ABSTRACT.smv2022-03-30 11:47 11M 
[ ]RandomTBoxABox_50_10500000_0ABSTRACT.tptp2022-03-30 11:47 1.9M 
[TXT]RandomTBoxABox_50_10500000_0abox.tex2022-03-30 11:41 752  
[TXT]RandomTBoxABox_50_10500000_0qtl.tex2022-03-30 11:41 53K 
[TXT]RandomTBoxABox_50_10500000_0tbox.tex2022-03-30 11:41 71K 
[ ]RandomTBoxABox_50_15500000_0.pltl2022-03-30 11:51 7.8M 
[SND]RandomTBoxABox_50_15500000_0.smv2022-03-30 11:51 11M 
[ ]RandomTBoxABox_50_15500000_0.tptp2022-03-30 11:51 1.9M 
[ ]RandomTBoxABox_50_15500000_0ABSTRACT.pltl2022-03-30 11:51 6.2M 
[SND]RandomTBoxABox_50_15500000_0ABSTRACT.smv2022-03-30 11:51 8.7M 
[ ]RandomTBoxABox_50_15500000_0ABSTRACT.tptp2022-03-30 11:51 1.0M 
[TXT]RandomTBoxABox_50_15500000_0abox.tex2022-03-30 11:48 752  
[TXT]RandomTBoxABox_50_15500000_0qtl.tex2022-03-30 11:48 53K 
[TXT]RandomTBoxABox_50_15500000_0tbox.tex2022-03-30 11:48 82K 
[TXT]TDLITEtbox.tex2022-03-30 11:22 15K 
[DIR]abstractionABox/2022-02-28 16:26 -  
[TXT]console_50_3015000_0.txt2022-03-30 11:26 713  
[TXT]console_50_4020000_0.txt2022-03-30 11:30 712  
[TXT]console_50_5022500_0.txt2022-03-30 11:34 715  
[TXT]console_50_7027000_0.txt2022-03-30 11:41 716  
[TXT]console_50_10500000_0.txt2022-03-30 11:47 717  
[TXT]console_50_15500000_0.txt2022-03-30 11:51 711  
[DIR]newAbsABox/2022-04-12 10:24 -  
[DIR]randomTBox/2021-05-18 12:14 -  
[ ]tdl2ltl-tr.jar2021-05-06 14:42 565K 
[DIR]toyExamples/2021-05-18 12:21 -  
Apache/2.4.53 (Debian) Server at crowd.fi.uncoma.edu.ar Port 80