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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]hahnban__l29_hahnban2016-03-08 13:06 130K 
[ ]hahnban__l30_hahnban2016-03-08 13:06 51K 
[ ]hahnban__l31_hahnban2016-03-08 13:06 45K 
[ ]hahnban__l32_hahnban2016-03-08 13:06 52K 
[ ]hahnban__l33_hahnban2016-03-08 13:06 52K 
[ ]hahnban__t1_hahnban2017-01-05 20:54 49K 
[ ]hahnban__t2_hahnban2016-03-08 13:06 46K 
[ ]hahnban__t3_hahnban2016-03-08 13:06 46K 
[ ]hahnban__t4_hahnban2016-03-08 13:06 46K 
[ ]hahnban__t5_hahnban2016-03-08 13:06 47K 
[ ]hahnban__t6_hahnban2016-03-08 13:06 46K 
[ ]hahnban__t7_hahnban2016-03-08 13:06 43K 
[ ]hahnban__t8_hahnban2016-03-08 13:06 40K 
[ ]hahnban__t9_hahnban2016-03-08 13:06 51K 
[ ]hahnban__t10_hahnban2016-03-08 13:06 45K 
[ ]hahnban__t11_hahnban2016-03-08 13:06 57K 
[ ]hahnban__t12_hahnban2016-03-08 13:06 50K 
[ ]hahnban__t13_hahnban2016-03-08 13:06 50K 
[ ]hahnban__t14_hahnban2016-03-08 13:06 41K 
[ ]hahnban__t15_hahnban2016-03-08 13:06 52K 
[ ]hahnban__t16_hahnban2016-03-08 13:06 63K 
[ ]hahnban__t17_hahnban2016-03-08 13:06 60K 
[ ]hahnban__t18_hahnban2016-03-08 13:06 43K 
[ ]hahnban__t19_hahnban2016-03-08 13:06 50K 
[ ]hahnban__t20_hahnban2016-03-08 13:06 71K 
[ ]hahnban__t21_hahnban2016-03-08 13:06 113K 
[ ]hahnban__t22_hahnban2017-01-05 20:54 97K 
[ ]hahnban__t23_hahnban2016-03-08 13:06 56K 
[ ]hahnban__t24_hahnban2016-03-08 13:06 52K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80