Index of /~mptp/1147/MPTP2/problems_thf_tls1/zf_colla

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]zf_colla__t1_zf_colla2017-01-13 19:08 19K 
[   ]zf_colla__t2_zf_colla2017-01-13 19:08 9.4K 
[   ]zf_colla__t3_zf_colla2017-01-13 19:08 19K 
[   ]zf_colla__t4_zf_colla2017-01-13 19:08 13K 
[   ]zf_colla__t5_zf_colla2017-01-13 19:08 18K 
[   ]zf_colla__t6_zf_colla2017-01-13 19:08 13K 
[   ]zf_colla__t7_zf_colla2017-01-13 19:08 12K 
[   ]zf_colla__t8_zf_colla2017-01-13 19:08 15K 
[   ]zf_colla__t9_zf_colla2017-01-13 19:08 20K 
[   ]zf_colla__t10_zf_colla2017-01-13 19:08 14K 
[   ]zf_colla__t11_zf_colla2017-01-13 19:08 36K 
[   ]zf_colla__t12_zf_colla2017-01-13 19:08 23K 

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