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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]scmfsa_m__s1_scmfsa_m2017-01-13 00:42 194K 
[   ]scmfsa_m__t1_scmfsa_m2017-01-13 00:42 130K 
[   ]scmfsa_m__t2_scmfsa_m2017-01-13 00:42 154K 
[   ]scmfsa_m__t3_scmfsa_m2017-01-13 00:42 170K 
[   ]scmfsa_m__t4_scmfsa_m2017-01-13 00:42 172K 
[   ]scmfsa_m__t5_scmfsa_m2017-01-13 00:42 167K 
[   ]scmfsa_m__t6_scmfsa_m2017-01-13 00:42 164K 
[   ]scmfsa_m__t7_scmfsa_m2017-01-13 00:42 165K 
[   ]scmfsa_m__t8_scmfsa_m2017-01-13 00:42 166K 
[   ]scmfsa_m__t9_scmfsa_m2017-01-13 00:42 168K 
[   ]scmfsa_m__t10_scmfsa_m2017-01-13 00:42 166K 
[   ]scmfsa_m__t11_scmfsa_m2017-01-13 00:42 172K 
[   ]scmfsa_m__t12_scmfsa_m2017-01-13 00:42 158K 
[   ]scmfsa_m__t13_scmfsa_m2017-01-13 00:42 155K 
[   ]scmfsa_m__t14_scmfsa_m2017-01-13 00:42 118K 
[   ]scmfsa_m__t15_scmfsa_m2017-01-13 00:42 118K 
[   ]scmfsa_m__t16_scmfsa_m2017-01-13 00:42 167K 
[   ]scmfsa_m__t17_scmfsa_m2017-01-13 00:42 167K 
[   ]scmfsa_m__t18_scmfsa_m2017-01-13 00:42 165K 
[   ]scmfsa_m__t19_scmfsa_m2017-01-13 00:42 181K 
[   ]scmfsa_m__t20_scmfsa_m2017-01-13 00:42 164K 
[   ]scmfsa_m__t21_scmfsa_m2017-01-13 00:42 148K 
[   ]scmfsa_m__t22_scmfsa_m2017-01-13 00:42 132K 
[   ]scmfsa_m__t23_scmfsa_m2017-01-13 00:42 138K 
[   ]scmfsa_m__t24_scmfsa_m2017-01-13 00:42 126K 
[   ]scmfsa_m__t25_scmfsa_m2017-01-13 00:42 124K 
[   ]scmfsa_m__t26_scmfsa_m2017-01-13 00:42 124K 
[   ]scmfsa_m__t27_scmfsa_m2017-01-13 00:42 144K 
[   ]scmfsa_m__t28_scmfsa_m2017-01-13 00:42 138K 
[   ]scmfsa_m__t29_scmfsa_m2017-01-13 00:42 162K 
[   ]scmfsa_m__t30_scmfsa_m2017-01-13 00:42 170K 
[   ]scmfsa_m__t31_scmfsa_m2017-01-13 00:42 188K 
[   ]scmfsa_m__t32_scmfsa_m2017-01-13 00:42 175K 
[   ]scmfsa_m__t33_scmfsa_m2017-01-13 00:42 219K 
[   ]scmfsa_m__t34_scmfsa_m2017-01-13 00:42 137K 
[   ]scmfsa_m__t35_scmfsa_m2017-01-13 00:42 152K 
[   ]scmfsa_m__t36_scmfsa_m2017-01-13 00:42 150K 
[   ]scmfsa_m__t37_scmfsa_m2017-01-13 00:43 177K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80