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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]clopban2__l19_clopban22017-01-13 00:44 164K 
[ ]clopban2__l23_clopban22017-01-13 00:44 161K 
[ ]clopban2__l29_clopban22017-01-13 00:44 165K 
[ ]clopban2__t1_clopban22017-01-13 00:43 92K 
[ ]clopban2__t2_clopban22017-01-13 00:43 187K 
[ ]clopban2__t3_clopban22017-01-13 00:43 98K 
[ ]clopban2__t4_clopban22017-01-13 00:43 93K 
[ ]clopban2__t5_clopban22017-01-13 00:43 95K 
[ ]clopban2__t6_clopban22017-01-13 00:43 101K 
[ ]clopban2__t7_clopban22017-01-13 00:43 142K 
[ ]clopban2__t8_clopban22017-01-13 00:43 152K 
[ ]clopban2__t9_clopban22017-01-13 00:44 180K 
[ ]clopban2__t10_clopban22017-01-13 00:44 179K 
[ ]clopban2__t11_clopban22017-01-13 00:44 181K 
[ ]clopban2__t12_clopban22017-01-13 00:44 148K 
[ ]clopban2__t13_clopban22017-01-13 00:44 180K 
[ ]clopban2__t14_clopban22017-01-13 00:44 145K 
[ ]clopban2__t15_clopban22017-01-13 00:44 195K 
[ ]clopban2__t16_clopban22017-01-13 00:43 130K 
[ ]clopban2__t17_clopban22017-01-13 00:44 122K 
[ ]clopban2__t18_clopban22017-01-13 00:44 149K 
[ ]clopban2__t19_clopban22017-01-13 00:44 200K 
[ ]clopban2__t20_clopban22017-01-13 00:44 196K 
[ ]clopban2__t21_clopban22017-01-13 00:43 131K 
[ ]clopban2__t22_clopban22017-01-13 00:43 129K 
[ ]clopban2__t23_clopban22017-01-13 00:43 135K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80