Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/zf_colla

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]zf_colla__t1_zf_colla2017-01-05 20:54 19K 
[ ]zf_colla__t2_zf_colla2017-01-05 20:54 9.4K 
[ ]zf_colla__t3_zf_colla2017-01-05 20:54 19K 
[ ]zf_colla__t4_zf_colla2017-01-05 20:54 13K 
[ ]zf_colla__t5_zf_colla2017-01-05 20:54 18K 
[ ]zf_colla__t6_zf_colla2017-01-05 20:54 13K 
[ ]zf_colla__t7_zf_colla2017-01-05 20:54 12K 
[ ]zf_colla__t8_zf_colla2016-03-08 13:11 15K 
[ ]zf_colla__t9_zf_colla2016-03-08 13:11 20K 
[ ]zf_colla__t10_zf_colla2016-03-08 13:11 14K 
[ ]zf_colla__t11_zf_colla2016-03-08 13:11 35K 
[ ]zf_colla__t12_zf_colla2016-03-08 13:11 23K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80