Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/scmfsa8b

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmfsa8b__l1_scmfsa8b2016-03-08 13:09 93K 
[ ]scmfsa8b__l15_scmfsa8b2016-03-08 13:09 122K 
[ ]scmfsa8b__l16_scmfsa8b2016-03-08 13:09 126K 
[ ]scmfsa8b__t1_scmfsa8b2016-03-08 13:09 91K 
[ ]scmfsa8b__t3_scmfsa8b2016-03-08 13:09 130K 
[ ]scmfsa8b__t4_scmfsa8b2016-03-08 13:09 97K 
[ ]scmfsa8b__t5_scmfsa8b2016-03-08 13:09 139K 
[ ]scmfsa8b__t6_scmfsa8b2016-03-08 13:09 101K 
[ ]scmfsa8b__t7_scmfsa8b2016-03-08 13:09 97K 
[ ]scmfsa8b__t8_scmfsa8b2016-03-08 13:09 186K 
[ ]scmfsa8b__t9_scmfsa8b2016-03-08 13:09 139K 
[ ]scmfsa8b__t10_scmfsa8b2016-03-08 13:09 143K 
[ ]scmfsa8b__t11_scmfsa8b2016-03-08 13:09 114K 
[ ]scmfsa8b__t12_scmfsa8b2016-03-08 13:09 114K 
[ ]scmfsa8b__t13_scmfsa8b2016-03-08 13:09 336K 
[ ]scmfsa8b__t14_scmfsa8b2016-03-08 13:09 354K 
[ ]scmfsa8b__t15_scmfsa8b2016-03-08 13:09 304K 
[ ]scmfsa8b__t16_scmfsa8b2016-03-08 13:09 411K 
[ ]scmfsa8b__t17_scmfsa8b2016-03-08 13:09 153K 
[ ]scmfsa8b__t18_scmfsa8b2016-03-08 13:09 145K 
[ ]scmfsa8b__t19_scmfsa8b2016-03-08 13:09 336K 
[ ]scmfsa8b__t20_scmfsa8b2016-03-08 13:09 354K 
[ ]scmfsa8b__t21_scmfsa8b2016-03-08 13:09 304K 
[ ]scmfsa8b__t22_scmfsa8b2016-03-08 13:09 411K 
[ ]scmfsa8b__t23_scmfsa8b2016-03-08 13:09 156K 
[ ]scmfsa8b__t24_scmfsa8b2016-03-08 13:09 148K 
[ ]scmfsa8b__t25_scmfsa8b2016-03-08 13:09 130K 
[ ]scmfsa8b__t26_scmfsa8b2016-03-08 13:09 165K 
[ ]scmfsa8b__t27_scmfsa8b2016-03-08 13:09 125K 
[ ]scmfsa8b__t28_scmfsa8b2016-03-08 13:09 152K 
[ ]scmfsa8b__t29_scmfsa8b2016-03-08 13:09 130K 
[ ]scmfsa8b__t30_scmfsa8b2016-03-08 13:09 165K 
[ ]scmfsa8b__t31_scmfsa8b2016-03-08 13:09 164K 
[ ]scmfsa8b__t32_scmfsa8b2016-03-08 13:09 103K 
[ ]scmfsa8b__t33_scmfsa8b2016-03-08 13:09 92K 
[ ]scmfsa8b__t34_scmfsa8b2016-03-08 13:09 357K 
[ ]scmfsa8b__t35_scmfsa8b2016-03-08 13:09 120K 
[ ]scmfsa8b__t36_scmfsa8b2016-03-08 13:09 93K 
[ ]scmfsa8b__t37_scmfsa8b2016-03-08 13:09 110K 
[ ]scmfsa8b__t38_scmfsa8b2016-03-08 13:09 126K 
[ ]scmfsa8b__t39_scmfsa8b2016-03-08 13:09 203K 
[ ]scmfsa8b__t40_scmfsa8b2016-03-08 13:09 296K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80