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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]real_1__31_11.min1.thm12017-02-06 12:46 253  
[   ]real_1__43_15.min1.thm12017-02-06 12:46 300  
[   ]real_1__50_14.min1.thm12017-02-06 12:46 589  
[   ]real_1__52_14.min1.thm12017-02-06 12:46 589  
[   ]real_1__58_14.min1.thm12017-02-06 12:46 655  
[   ]real_1__60_14.min1.thm12017-02-06 12:46 655  
[   ]real_1__62_14.min1.thm12017-02-06 12:46 655  
[   ]real_1__64_14.min1.thm12017-02-06 12:46 655  
[   ]real_1__70_14.min1.thm12017-02-06 12:46 655  
[   ]real_1__72_14.min1.thm12017-02-06 12:46 655  
[   ]real_1__74_14.min1.thm12017-02-06 12:46 655  
[   ]real_1__76_14.min1.thm12017-02-06 12:46 655  
[   ]real_1__90_38.min1.thm12017-02-06 12:46 501  
[   ]real_1__91_52.min1.thm12017-02-06 12:46 639  
[   ]real_1__92_16.min1.thm12017-02-06 12:46 639  
[   ]real_1__93_20.min1.thm12017-02-06 12:46 2.1K 
[   ]real_1__94_19.min1.thm12017-02-06 12:46 517  
[   ]real_1__99_39.min1.thm12017-02-06 12:46 413  
[   ]real_1__99_39.min1.thm1.tptp2017-02-06 16:47 350  
[   ]real_1__100_28.min1.thm12017-02-06 12:46 700  
[   ]real_1__101_21.min1.thm12017-02-06 12:46 2.0K 

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