Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls1/clopban2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]clopban2__l19_clopban22017-01-13 19:20 103K 
[ ]clopban2__l23_clopban22017-01-13 19:20 101K 
[ ]clopban2__l29_clopban22017-01-13 19:20 104K 
[ ]clopban2__t1_clopban22017-01-13 19:20 59K 
[ ]clopban2__t2_clopban22017-01-13 19:20 116K 
[ ]clopban2__t3_clopban22017-01-13 19:20 64K 
[ ]clopban2__t4_clopban22017-01-13 19:20 58K 
[ ]clopban2__t5_clopban22017-01-13 19:20 60K 
[ ]clopban2__t6_clopban22017-01-13 19:20 64K 
[ ]clopban2__t7_clopban22017-01-13 19:20 88K 
[ ]clopban2__t8_clopban22017-01-13 19:20 94K 
[ ]clopban2__t9_clopban22017-01-13 19:20 111K 
[ ]clopban2__t10_clopban22017-01-13 19:20 110K 
[ ]clopban2__t11_clopban22017-01-13 19:20 111K 
[ ]clopban2__t12_clopban22017-01-13 19:20 92K 
[ ]clopban2__t13_clopban22017-01-13 19:20 113K 
[ ]clopban2__t14_clopban22017-01-13 19:20 94K 
[ ]clopban2__t15_clopban22017-01-13 19:20 124K 
[ ]clopban2__t16_clopban22017-01-13 19:20 82K 
[ ]clopban2__t17_clopban22017-01-13 19:20 86K 
[ ]clopban2__t18_clopban22017-01-13 19:20 93K 
[ ]clopban2__t19_clopban22017-01-13 19:20 127K 
[ ]clopban2__t20_clopban22017-01-13 19:20 127K 
[ ]clopban2__t21_clopban22017-01-13 19:20 83K 
[ ]clopban2__t22_clopban22017-01-13 19:20 82K 
[ ]clopban2__t23_clopban22017-01-13 19:20 85K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80