Index of /~mptp/1147/mptp/problems_thf_tls/clopban2

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