Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/cc0sp1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]cc0sp1__l2_cc0sp12016-03-08 13:04 60K 
[   ]cc0sp1__l19_cc0sp12016-03-08 13:04 43K 
[   ]cc0sp1__l26_cc0sp12017-01-05 20:54 93K 
[   ]cc0sp1__l39_cc0sp12017-01-05 20:54 107K 
[   ]cc0sp1__t1_cc0sp12016-03-08 13:04 85K 
[   ]cc0sp1__t2_cc0sp12016-03-08 13:04 72K 
[   ]cc0sp1__t3_cc0sp12016-03-08 13:04 67K 
[   ]cc0sp1__t4_cc0sp12017-01-05 20:54 78K 
[   ]cc0sp1__t5_cc0sp12017-01-05 20:54 109K 
[   ]cc0sp1__t6_cc0sp12017-01-05 20:54 129K 
[   ]cc0sp1__t7_cc0sp12017-01-05 20:54 129K 
[   ]cc0sp1__t8_cc0sp12017-01-05 20:54 92K 
[   ]cc0sp1__t9_cc0sp12017-01-05 20:54 92K 
[   ]cc0sp1__t10_cc0sp12017-01-05 20:54 85K 
[   ]cc0sp1__t11_cc0sp12017-01-05 20:54 66K 
[   ]cc0sp1__t12_cc0sp12017-01-05 20:54 74K 
[   ]cc0sp1__t13_cc0sp12017-01-05 20:54 86K 
[   ]cc0sp1__t14_cc0sp12016-03-08 13:04 74K 
[   ]cc0sp1__t15_cc0sp12017-01-05 20:54 83K 
[   ]cc0sp1__t16_cc0sp12017-01-05 20:54 91K 
[   ]cc0sp1__t17_cc0sp12017-01-05 20:54 93K 
[   ]cc0sp1__t18_cc0sp12017-01-05 20:54 83K 
[   ]cc0sp1__t19_cc0sp12017-01-05 20:54 102K 
[   ]cc0sp1__t20_cc0sp12017-01-05 20:54 101K 
[   ]cc0sp1__t21_cc0sp12017-01-05 20:54 105K 
[   ]cc0sp1__t22_cc0sp12017-01-05 20:54 95K 
[   ]cc0sp1__t23_cc0sp12017-01-05 20:54 92K 
[   ]cc0sp1__t24_cc0sp12017-01-05 20:54 95K 
[   ]cc0sp1__t25_cc0sp12017-01-05 20:54 275K 
[   ]cc0sp1__t26_cc0sp12017-01-05 20:54 111K 
[   ]cc0sp1__t27_cc0sp12017-01-05 20:54 327K 
[   ]cc0sp1__t28_cc0sp12017-01-05 20:54 136K 

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