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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmfsa_m__s1_scmfsa_m2017-01-13 19:21 136K 
[ ]scmfsa_m__t1_scmfsa_m2017-01-13 19:21 83K 
[ ]scmfsa_m__t2_scmfsa_m2017-01-13 19:21 98K 
[ ]scmfsa_m__t3_scmfsa_m2017-01-13 19:21 108K 
[ ]scmfsa_m__t4_scmfsa_m2017-01-13 19:21 109K 
[ ]scmfsa_m__t5_scmfsa_m2017-01-13 19:21 106K 
[ ]scmfsa_m__t6_scmfsa_m2017-01-13 19:21 104K 
[ ]scmfsa_m__t7_scmfsa_m2017-01-13 19:21 104K 
[ ]scmfsa_m__t8_scmfsa_m2017-01-13 19:21 105K 
[ ]scmfsa_m__t9_scmfsa_m2017-01-13 19:21 106K 
[ ]scmfsa_m__t10_scmfsa_m2017-01-13 19:21 105K 
[ ]scmfsa_m__t11_scmfsa_m2017-01-13 19:21 109K 
[ ]scmfsa_m__t12_scmfsa_m2017-01-13 19:21 100K 
[ ]scmfsa_m__t13_scmfsa_m2017-01-13 19:21 98K 
[ ]scmfsa_m__t14_scmfsa_m2017-01-13 19:21 75K 
[ ]scmfsa_m__t15_scmfsa_m2017-01-13 19:21 75K 
[ ]scmfsa_m__t16_scmfsa_m2017-01-13 19:21 121K 
[ ]scmfsa_m__t17_scmfsa_m2017-01-13 19:21 121K 
[ ]scmfsa_m__t18_scmfsa_m2017-01-13 19:21 104K 
[ ]scmfsa_m__t19_scmfsa_m2017-01-13 19:21 115K 
[ ]scmfsa_m__t20_scmfsa_m2017-01-13 19:21 105K 
[ ]scmfsa_m__t21_scmfsa_m2017-01-13 19:21 93K 
[ ]scmfsa_m__t22_scmfsa_m2017-01-13 19:21 85K 
[ ]scmfsa_m__t23_scmfsa_m2017-01-13 19:21 89K 
[ ]scmfsa_m__t24_scmfsa_m2017-01-13 19:21 80K 
[ ]scmfsa_m__t25_scmfsa_m2017-01-13 19:21 79K 
[ ]scmfsa_m__t26_scmfsa_m2017-01-13 19:21 79K 
[ ]scmfsa_m__t27_scmfsa_m2017-01-13 19:21 92K 
[ ]scmfsa_m__t28_scmfsa_m2017-01-13 19:21 87K 
[ ]scmfsa_m__t29_scmfsa_m2017-01-13 19:21 103K 
[ ]scmfsa_m__t30_scmfsa_m2017-01-13 19:21 108K 
[ ]scmfsa_m__t31_scmfsa_m2017-01-13 19:21 119K 
[ ]scmfsa_m__t32_scmfsa_m2017-01-13 19:21 111K 
[ ]scmfsa_m__t33_scmfsa_m2017-01-13 19:21 149K 
[ ]scmfsa_m__t34_scmfsa_m2017-01-13 19:21 87K 
[ ]scmfsa_m__t35_scmfsa_m2017-01-13 19:21 98K 
[ ]scmfsa_m__t36_scmfsa_m2017-01-13 19:21 97K 
[ ]scmfsa_m__t37_scmfsa_m2017-01-13 19:21 112K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80