Index of /~mptp/1147/mptp/problems_thf_tls/scmfsa_m

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]scmfsa_m__s1_scmfsa_m2017-01-12 22:08 134K 
[   ]scmfsa_m__t1_scmfsa_m2017-01-12 22:08 83K 
[   ]scmfsa_m__t2_scmfsa_m2017-01-12 22:08 98K 
[   ]scmfsa_m__t3_scmfsa_m2017-01-12 22:08 107K 
[   ]scmfsa_m__t4_scmfsa_m2017-01-12 22:08 108K 
[   ]scmfsa_m__t5_scmfsa_m2017-01-12 22:09 105K 
[   ]scmfsa_m__t6_scmfsa_m2017-01-12 22:09 104K 
[   ]scmfsa_m__t7_scmfsa_m2017-01-12 22:09 104K 
[   ]scmfsa_m__t8_scmfsa_m2017-01-12 22:09 105K 
[   ]scmfsa_m__t9_scmfsa_m2017-01-12 22:09 106K 
[   ]scmfsa_m__t10_scmfsa_m2017-01-12 22:09 105K 
[   ]scmfsa_m__t11_scmfsa_m2017-01-12 22:09 109K 
[   ]scmfsa_m__t12_scmfsa_m2017-01-12 22:09 99K 
[   ]scmfsa_m__t13_scmfsa_m2017-01-12 22:08 97K 
[   ]scmfsa_m__t14_scmfsa_m2017-01-12 22:09 75K 
[   ]scmfsa_m__t15_scmfsa_m2017-01-12 22:09 75K 
[   ]scmfsa_m__t16_scmfsa_m2017-01-12 22:09 118K 
[   ]scmfsa_m__t17_scmfsa_m2017-01-12 22:09 119K 
[   ]scmfsa_m__t18_scmfsa_m2017-01-12 22:09 104K 
[   ]scmfsa_m__t19_scmfsa_m2017-01-12 22:09 114K 
[   ]scmfsa_m__t20_scmfsa_m2017-01-12 22:09 105K 
[   ]scmfsa_m__t21_scmfsa_m2017-01-12 22:09 93K 
[   ]scmfsa_m__t22_scmfsa_m2017-01-12 22:09 85K 
[   ]scmfsa_m__t23_scmfsa_m2017-01-12 22:09 89K 
[   ]scmfsa_m__t24_scmfsa_m2017-01-12 22:09 80K 
[   ]scmfsa_m__t25_scmfsa_m2017-01-12 22:09 79K 
[   ]scmfsa_m__t26_scmfsa_m2017-01-12 22:09 79K 
[   ]scmfsa_m__t27_scmfsa_m2017-01-12 22:09 92K 
[   ]scmfsa_m__t28_scmfsa_m2017-01-12 22:09 87K 
[   ]scmfsa_m__t29_scmfsa_m2017-01-12 22:09 102K 
[   ]scmfsa_m__t30_scmfsa_m2017-01-12 22:09 107K 
[   ]scmfsa_m__t31_scmfsa_m2017-01-12 22:09 119K 
[   ]scmfsa_m__t32_scmfsa_m2017-01-12 22:09 111K 
[   ]scmfsa_m__t33_scmfsa_m2017-01-12 22:09 147K 
[   ]scmfsa_m__t34_scmfsa_m2017-01-12 22:09 87K 
[   ]scmfsa_m__t35_scmfsa_m2017-01-12 22:09 98K 
[   ]scmfsa_m__t36_scmfsa_m2017-01-12 22:09 97K 
[   ]scmfsa_m__t37_scmfsa_m2017-01-12 22:09 112K 

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