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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmfsa8b__l1_scmfsa8b2017-01-12 22:08 93K 
[ ]scmfsa8b__l15_scmfsa8b2017-01-12 22:08 122K 
[ ]scmfsa8b__l16_scmfsa8b2017-01-12 22:08 126K 
[ ]scmfsa8b__t1_scmfsa8b2017-01-12 22:08 91K 
[ ]scmfsa8b__t3_scmfsa8b2017-01-12 22:08 130K 
[ ]scmfsa8b__t4_scmfsa8b2017-01-12 22:08 97K 
[ ]scmfsa8b__t5_scmfsa8b2017-01-12 22:08 139K 
[ ]scmfsa8b__t6_scmfsa8b2017-01-12 22:08 101K 
[ ]scmfsa8b__t7_scmfsa8b2017-01-12 22:08 97K 
[ ]scmfsa8b__t8_scmfsa8b2017-01-12 22:08 186K 
[ ]scmfsa8b__t9_scmfsa8b2017-01-12 22:08 139K 
[ ]scmfsa8b__t10_scmfsa8b2017-01-12 22:08 143K 
[ ]scmfsa8b__t11_scmfsa8b2017-01-12 22:08 114K 
[ ]scmfsa8b__t12_scmfsa8b2017-01-12 22:08 114K 
[ ]scmfsa8b__t13_scmfsa8b2017-01-12 22:08 336K 
[ ]scmfsa8b__t14_scmfsa8b2017-01-12 22:08 354K 
[ ]scmfsa8b__t15_scmfsa8b2017-01-12 22:08 304K 
[ ]scmfsa8b__t16_scmfsa8b2017-01-12 22:08 411K 
[ ]scmfsa8b__t17_scmfsa8b2017-01-12 22:08 153K 
[ ]scmfsa8b__t18_scmfsa8b2017-01-12 22:08 145K 
[ ]scmfsa8b__t19_scmfsa8b2017-01-12 22:08 336K 
[ ]scmfsa8b__t20_scmfsa8b2017-01-12 22:08 354K 
[ ]scmfsa8b__t21_scmfsa8b2017-01-12 22:08 304K 
[ ]scmfsa8b__t22_scmfsa8b2017-01-12 22:08 411K 
[ ]scmfsa8b__t23_scmfsa8b2017-01-12 22:08 156K 
[ ]scmfsa8b__t24_scmfsa8b2017-01-12 22:08 148K 
[ ]scmfsa8b__t25_scmfsa8b2017-01-12 22:08 130K 
[ ]scmfsa8b__t26_scmfsa8b2017-01-12 22:08 165K 
[ ]scmfsa8b__t27_scmfsa8b2017-01-12 22:08 125K 
[ ]scmfsa8b__t28_scmfsa8b2017-01-12 22:08 152K 
[ ]scmfsa8b__t29_scmfsa8b2017-01-12 22:08 130K 
[ ]scmfsa8b__t30_scmfsa8b2017-01-12 22:08 165K 
[ ]scmfsa8b__t31_scmfsa8b2017-01-12 22:08 164K 
[ ]scmfsa8b__t32_scmfsa8b2017-01-12 22:08 103K 
[ ]scmfsa8b__t33_scmfsa8b2017-01-12 22:08 92K 
[ ]scmfsa8b__t34_scmfsa8b2017-01-12 22:08 357K 
[ ]scmfsa8b__t35_scmfsa8b2017-01-12 22:08 120K 
[ ]scmfsa8b__t36_scmfsa8b2017-01-12 22:08 93K 
[ ]scmfsa8b__t37_scmfsa8b2017-01-12 22:08 110K 
[ ]scmfsa8b__t38_scmfsa8b2017-01-12 22:08 126K 
[ ]scmfsa8b__t39_scmfsa8b2017-01-12 22:08 203K 
[ ]scmfsa8b__t40_scmfsa8b2017-01-12 22:08 296K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80