Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/complsp1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]complsp1__47_56.min1.thm12017-02-06 12:45 366  
[   ]complsp1__47_56.min1.thm1.tptp2017-02-06 16:48 294  
[   ]complsp1__69_16.min1.thm12017-02-06 12:45 843  
[   ]complsp1__76_11.min1.thm12017-02-06 12:45 770  
[   ]complsp1__80_57.min1.thm12017-02-06 12:45 907  
[   ]complsp1__83_48.min1.thm12017-02-06 12:45 907  
[   ]complsp1__143_41.min1.thm12017-02-06 12:45 1.1K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80