Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/t10_rcomp_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]jordan11__412_26.min1.thm1.tptp2017-02-06 16:58 322  
[ ]jordan11__465_27.min1.thm1.tptp2017-02-06 16:58 322  
[ ]jordan11__647_29.min1.thm1.tptp2017-02-06 16:58 316  
[ ]jordan11__705_28.min1.thm1.tptp2017-02-06 16:58 320  
[ ]jordan15__347_27.min1.thm1.tptp2017-02-06 16:58 322  
[ ]jordan15__454_27.min1.thm1.tptp2017-02-06 16:58 327  
[ ]jordan15__576_27.min1.thm1.tptp2017-02-06 16:58 327  
[ ]jordan15__647_27.min1.thm1.tptp2017-02-06 16:58 327  
[ ]jordan15__754_27.min1.thm1.tptp2017-02-06 16:58 327  
[ ]jordan15__863_27.min1.thm1.tptp2017-02-06 16:58 327  
[ ]jordan15__991_27.min1.thm1.tptp2017-02-06 16:58 327  
[ ]jordan15__1058_27.min1.thm1.tptp2017-02-06 16:58 327  
[ ]jordan15__1162_27.min1.thm1.tptp2017-02-06 16:58 327  
[ ]jordan15__1269_27.min1.thm1.tptp2017-02-06 16:58 327  
[ ]jordan15__1391_27.min1.thm1.tptp2017-02-06 16:58 327  
[ ]jordan15__1462_27.min1.thm1.tptp2017-02-06 16:58 327  
[ ]jordan15__1569_27.min1.thm1.tptp2017-02-06 16:58 327  
[ ]jordan15__1678_27.min1.thm1.tptp2017-02-06 16:58 327  
[ ]jordan15__1806_27.min1.thm1.tptp2017-02-06 16:58 327  
[ ]jordan15__1873_27.min1.thm1.tptp2017-02-06 16:58 327  
[ ]jordan_a__72_24.min1.thm1.tptp2017-02-06 16:58 301  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80