Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls1/closure3

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]closure3__l5_closure32017-01-13 19:20 18K 
[   ]closure3__t1_closure32017-01-13 19:20 16K 
[   ]closure3__t2_closure32017-01-13 19:20 25K 
[   ]closure3__t3_closure32017-01-13 19:20 82K 
[   ]closure3__t4_closure32017-01-13 19:20 14K 
[   ]closure3__t5_closure32017-01-13 19:20 31K 
[   ]closure3__t6_closure32017-01-13 19:20 25K 
[   ]closure3__t8_closure32017-01-13 19:20 45K 
[   ]closure3__t9_closure32017-01-13 19:20 43K 
[   ]closure3__t10_closure32017-01-13 19:20 35K 
[   ]closure3__t11_closure32017-01-13 19:20 28K 
[   ]closure3__t12_closure32017-01-13 19:20 34K 
[   ]closure3__t13_closure32017-01-13 19:20 30K 
[   ]closure3__t14_closure32017-01-13 19:20 64K 

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