Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tls/scmfsa8a

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmfsa8a__l14_scmfsa8a2017-01-12 21:59 84K 
[ ]scmfsa8a__l28_scmfsa8a2017-01-12 21:59 140K 
[ ]scmfsa8a__l36_scmfsa8a2017-01-12 21:59 205K 
[ ]scmfsa8a__l39_scmfsa8a2017-01-12 21:59 203K 
[ ]scmfsa8a__l45_scmfsa8a2017-01-12 21:59 222K 
[ ]scmfsa8a__l48_scmfsa8a2017-01-12 21:59 229K 
[ ]scmfsa8a__t7_scmfsa8a2017-01-12 21:59 72K 
[ ]scmfsa8a__t8_scmfsa8a2017-01-12 21:59 137K 
[ ]scmfsa8a__t9_scmfsa8a2017-01-12 21:59 84K 
[ ]scmfsa8a__t10_scmfsa8a2017-01-12 21:59 70K 
[ ]scmfsa8a__t11_scmfsa8a2017-01-12 21:59 71K 
[ ]scmfsa8a__t12_scmfsa8a2017-01-12 21:59 68K 
[ ]scmfsa8a__t13_scmfsa8a2017-01-12 21:59 75K 
[ ]scmfsa8a__t14_scmfsa8a2017-01-12 21:59 111K 
[ ]scmfsa8a__t15_scmfsa8a2017-01-12 21:59 83K 
[ ]scmfsa8a__t16_scmfsa8a2017-01-12 21:59 79K 
[ ]scmfsa8a__t17_scmfsa8a2017-01-12 21:59 110K 
[ ]scmfsa8a__t18_scmfsa8a2017-01-12 21:59 157K 
[ ]scmfsa8a__t19_scmfsa8a2017-01-12 21:59 74K 
[ ]scmfsa8a__t20_scmfsa8a2017-01-12 21:59 76K 
[ ]scmfsa8a__t21_scmfsa8a2017-01-12 21:59 134K 
[ ]scmfsa8a__t22_scmfsa8a2017-01-12 21:59 154K 
[ ]scmfsa8a__t23_scmfsa8a2017-01-12 21:59 107K 
[ ]scmfsa8a__t24_scmfsa8a2017-01-12 21:59 107K 
[ ]scmfsa8a__t25_scmfsa8a2017-01-12 21:59 108K 
[ ]scmfsa8a__t26_scmfsa8a2017-01-12 21:59 239K 
[ ]scmfsa8a__t27_scmfsa8a2017-01-12 21:59 246K 
[ ]scmfsa8a__t28_scmfsa8a2017-01-12 21:59 141K 
[ ]scmfsa8a__t29_scmfsa8a2017-01-12 21:59 160K 
[ ]scmfsa8a__t30_scmfsa8a2017-01-12 21:59 151K 
[ ]scmfsa8a__t31_scmfsa8a2017-01-12 21:59 84K 
[ ]scmfsa8a__t32_scmfsa8a2017-01-12 21:59 157K 
[ ]scmfsa8a__t33_scmfsa8a2017-01-12 21:59 158K 
[ ]scmfsa8a__t34_scmfsa8a2017-01-12 21:59 157K 
[ ]scmfsa8a__t35_scmfsa8a2017-01-12 21:59 157K 
[ ]scmfsa8a__t36_scmfsa8a2017-01-12 21:59 180K 
[ ]scmfsa8a__t37_scmfsa8a2017-01-12 21:59 192K 
[ ]scmfsa8a__t38_scmfsa8a2017-01-12 21:59 163K 
[ ]scmfsa8a__t39_scmfsa8a2017-01-12 21:59 170K 
[ ]scmfsa8a__t40_scmfsa8a2017-01-12 21:59 192K 
[ ]scmfsa8a__t41_scmfsa8a2017-01-12 21:59 196K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80