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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmfsa6a__t1_scmfsa6a2017-01-13 00:30 120K 
[ ]scmfsa6a__t2_scmfsa6a2017-01-13 00:30 158K 
[ ]scmfsa6a__t3_scmfsa6a2017-01-13 00:30 257K 
[ ]scmfsa6a__t8_scmfsa6a2017-01-13 00:30 1.0M 
[ ]scmfsa6a__t15_scmfsa6a2017-01-13 00:30 197K 
[ ]scmfsa6a__t16_scmfsa6a2017-01-13 00:30 163K 
[ ]scmfsa6a__t17_scmfsa6a2017-01-13 00:30 159K 
[ ]scmfsa6a__t18_scmfsa6a2017-01-13 00:30 161K 
[ ]scmfsa6a__t19_scmfsa6a2017-01-13 00:30 156K 
[ ]scmfsa6a__t20_scmfsa6a2017-01-13 00:30 156K 
[ ]scmfsa6a__t21_scmfsa6a2017-01-13 00:30 166K 
[ ]scmfsa6a__t22_scmfsa6a2017-01-13 00:30 116K 
[ ]scmfsa6a__t23_scmfsa6a2017-01-13 00:30 183K 
[ ]scmfsa6a__t24_scmfsa6a2017-01-13 00:30 158K 
[ ]scmfsa6a__t25_scmfsa6a2017-01-13 00:30 160K 
[ ]scmfsa6a__t26_scmfsa6a2017-01-13 00:30 159K 
[ ]scmfsa6a__t27_scmfsa6a2017-01-13 00:30 161K 
[ ]scmfsa6a__t28_scmfsa6a2017-01-13 00:30 160K 
[ ]scmfsa6a__t29_scmfsa6a2017-01-13 00:30 159K 
[ ]scmfsa6a__t30_scmfsa6a2017-01-13 00:30 161K 
[ ]scmfsa6a__t31_scmfsa6a2017-01-13 00:30 160K 
[ ]scmfsa6a__t32_scmfsa6a2017-01-13 00:30 162K 
[ ]scmfsa6a__t33_scmfsa6a2017-01-13 00:30 161K 
[ ]scmfsa6a__t34_scmfsa6a2017-01-13 00:30 161K 
[ ]scmfsa6a__t35_scmfsa6a2017-01-13 00:30 168K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80