Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls/scmfsa6a

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmfsa6a__t1_scmfsa6a2017-01-12 22:09 77K 
[ ]scmfsa6a__t2_scmfsa6a2017-01-12 22:09 102K 
[ ]scmfsa6a__t3_scmfsa6a2017-01-12 22:09 188K 
[ ]scmfsa6a__t8_scmfsa6a2017-01-12 22:09 946K 
[ ]scmfsa6a__t15_scmfsa6a2017-01-12 22:09 132K 
[ ]scmfsa6a__t16_scmfsa6a2017-01-12 22:09 103K 
[ ]scmfsa6a__t17_scmfsa6a2017-01-12 22:09 101K 
[ ]scmfsa6a__t18_scmfsa6a2017-01-12 22:09 102K 
[ ]scmfsa6a__t19_scmfsa6a2017-01-12 22:09 98K 
[ ]scmfsa6a__t20_scmfsa6a2017-01-12 22:09 98K 
[ ]scmfsa6a__t21_scmfsa6a2017-01-12 22:09 105K 
[ ]scmfsa6a__t22_scmfsa6a2017-01-12 22:09 74K 
[ ]scmfsa6a__t23_scmfsa6a2017-01-12 22:09 122K 
[ ]scmfsa6a__t24_scmfsa6a2017-01-12 22:09 100K 
[ ]scmfsa6a__t25_scmfsa6a2017-01-12 22:09 101K 
[ ]scmfsa6a__t26_scmfsa6a2017-01-12 22:09 100K 
[ ]scmfsa6a__t27_scmfsa6a2017-01-12 22:09 101K 
[ ]scmfsa6a__t28_scmfsa6a2017-01-12 22:09 101K 
[ ]scmfsa6a__t29_scmfsa6a2017-01-12 22:09 100K 
[ ]scmfsa6a__t30_scmfsa6a2017-01-12 22:09 101K 
[ ]scmfsa6a__t31_scmfsa6a2017-01-12 22:09 101K 
[ ]scmfsa6a__t32_scmfsa6a2017-01-12 22:09 102K 
[ ]scmfsa6a__t33_scmfsa6a2017-01-12 22:09 102K 
[ ]scmfsa6a__t34_scmfsa6a2017-01-12 22:09 102K 
[ ]scmfsa6a__t35_scmfsa6a2017-01-12 22:09 107K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80