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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]autgroup__l1_autgroup2017-01-05 20:54 34K 
[ ]autgroup__l2_autgroup2017-01-05 20:54 39K 
[ ]autgroup__l8_autgroup2016-03-08 13:04 26K 
[ ]autgroup__t1_autgroup2016-03-08 13:04 26K 
[ ]autgroup__t2_autgroup2016-03-08 13:04 20K 
[ ]autgroup__t3_autgroup2016-03-08 13:04 28K 
[ ]autgroup__t4_autgroup2016-03-08 13:04 23K 
[ ]autgroup__t5_autgroup2016-03-08 13:04 25K 
[ ]autgroup__t6_autgroup2016-03-08 13:04 25K 
[ ]autgroup__t7_autgroup2016-03-08 13:04 29K 
[ ]autgroup__t8_autgroup2016-03-08 13:04 29K 
[ ]autgroup__t9_autgroup2016-03-08 13:04 39K 
[ ]autgroup__t10_autgroup2016-03-08 13:04 44K 
[ ]autgroup__t11_autgroup2016-03-08 13:04 20K 
[ ]autgroup__t12_autgroup2016-03-08 13:04 38K 
[ ]autgroup__t13_autgroup2016-03-08 13:04 20K 
[ ]autgroup__t14_autgroup2016-03-08 13:04 28K 
[ ]autgroup__t15_autgroup2016-03-08 13:04 30K 
[ ]autgroup__t16_autgroup2016-03-08 13:04 39K 
[ ]autgroup__t17_autgroup2016-03-08 13:04 32K 
[ ]autgroup__t18_autgroup2016-03-08 13:04 34K 
[ ]autgroup__t19_autgroup2016-03-08 13:04 24K 
[ ]autgroup__t20_autgroup2016-03-08 13:04 28K 
[ ]autgroup__t21_autgroup2016-03-08 13:04 34K 
[ ]autgroup__t22_autgroup2016-03-08 13:04 33K 
[ ]autgroup__t23_autgroup2016-03-08 13:04 27K 
[ ]autgroup__t24_autgroup2016-03-08 13:04 34K 
[ ]autgroup__t25_autgroup2016-03-08 13:04 34K 
[ ]autgroup__t26_autgroup2016-03-08 13:04 39K 
[ ]autgroup__t27_autgroup2016-03-08 13:04 29K 
[ ]autgroup__t28_autgroup2016-03-08 13:04 29K 
[ ]autgroup__t29_autgroup2017-01-05 20:54 63K 
[ ]autgroup__t30_autgroup2016-03-08 13:04 38K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80