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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]clopban2__l19_clopban22016-03-08 13:04 102K 
[ ]clopban2__l23_clopban22016-03-08 13:04 101K 
[ ]clopban2__l29_clopban22016-03-08 13:04 104K 
[ ]clopban2__t1_clopban22016-03-08 13:04 59K 
[ ]clopban2__t2_clopban22017-01-05 20:54 116K 
[ ]clopban2__t3_clopban22016-03-08 13:04 64K 
[ ]clopban2__t4_clopban22016-03-08 13:04 58K 
[ ]clopban2__t5_clopban22016-03-08 13:04 60K 
[ ]clopban2__t6_clopban22016-03-08 13:04 64K 
[ ]clopban2__t7_clopban22016-03-08 13:04 88K 
[ ]clopban2__t8_clopban22016-03-08 13:04 94K 
[ ]clopban2__t9_clopban22016-03-08 13:04 111K 
[ ]clopban2__t10_clopban22016-03-08 13:04 110K 
[ ]clopban2__t11_clopban22016-03-08 13:04 111K 
[ ]clopban2__t12_clopban22016-03-08 13:04 92K 
[ ]clopban2__t13_clopban22016-03-08 13:04 113K 
[ ]clopban2__t14_clopban22016-03-08 13:04 93K 
[ ]clopban2__t15_clopban22016-03-08 13:04 124K 
[ ]clopban2__t16_clopban22016-03-08 13:04 82K 
[ ]clopban2__t17_clopban22016-03-08 13:04 85K 
[ ]clopban2__t18_clopban22017-01-05 20:54 93K 
[ ]clopban2__t19_clopban22016-03-08 13:04 127K 
[ ]clopban2__t20_clopban22016-03-08 13:04 127K 
[ ]clopban2__t21_clopban22016-03-08 13:04 83K 
[ ]clopban2__t22_clopban22016-03-08 13:04 82K 
[ ]clopban2__t23_clopban22016-03-08 13:04 85K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80