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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]partit_2__l14_partit_22016-03-08 13:08 54K 
[ ]partit_2__t1_partit_22016-03-08 13:08 18K 
[ ]partit_2__t2_partit_22016-03-08 13:08 29K 
[ ]partit_2__t3_partit_22016-03-08 13:08 18K 
[ ]partit_2__t4_partit_22016-03-08 13:08 29K 
[ ]partit_2__t5_partit_22016-03-08 13:08 23K 
[ ]partit_2__t6_partit_22016-03-08 13:08 30K 
[ ]partit_2__t7_partit_22016-03-08 13:08 9.1K 
[ ]partit_2__t8_partit_22016-03-08 13:08 12K 
[ ]partit_2__t9_partit_22016-03-08 13:08 17K 
[ ]partit_2__t10_partit_22016-03-08 13:08 31K 
[ ]partit_2__t11_partit_22016-03-08 13:08 32K 
[ ]partit_2__t12_partit_22016-03-08 13:08 31K 
[ ]partit_2__t13_partit_22016-03-08 13:08 26K 
[ ]partit_2__t14_partit_22016-03-08 13:08 29K 
[ ]partit_2__t15_partit_22016-03-08 13:08 45K 
[ ]partit_2__t16_partit_22016-03-08 13:08 25K 
[ ]partit_2__t17_partit_22016-03-08 13:08 50K 
[ ]partit_2__t18_partit_22016-03-08 13:08 17K 
[ ]partit_2__t19_partit_22016-03-08 13:08 24K 
[ ]partit_2__t20_partit_22016-03-08 13:08 16K 
[ ]partit_2__t21_partit_22016-03-08 13:08 17K 
[ ]partit_2__t22_partit_22016-03-08 13:08 19K 
[ ]partit_2__t23_partit_22016-03-08 13:08 18K 
[ ]partit_2__t24_partit_22016-03-08 13:08 18K 
[ ]partit_2__t25_partit_22016-03-08 13:08 19K 
[ ]partit_2__t26_partit_22016-03-08 13:08 18K 
[ ]partit_2__t27_partit_22016-03-08 13:08 19K 
[ ]partit_2__t28_partit_22016-03-08 13:08 18K 
[ ]partit_2__t29_partit_22016-03-08 13:08 19K 
[ ]partit_2__t30_partit_22016-03-08 13:08 29K 
[ ]partit_2__t31_partit_22016-03-08 13:08 19K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80