Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/scmfsa_m

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmfsa_m__t1_scmfsa_m2016-03-08 13:09 83K 
[ ]scmfsa_m__t2_scmfsa_m2016-03-08 13:09 98K 
[ ]scmfsa_m__t3_scmfsa_m2016-03-08 13:09 107K 
[ ]scmfsa_m__t4_scmfsa_m2016-03-08 13:09 108K 
[ ]scmfsa_m__t5_scmfsa_m2016-03-08 13:09 105K 
[ ]scmfsa_m__t6_scmfsa_m2016-03-08 13:09 104K 
[ ]scmfsa_m__t7_scmfsa_m2016-03-08 13:09 104K 
[ ]scmfsa_m__t8_scmfsa_m2016-03-08 13:09 105K 
[ ]scmfsa_m__t9_scmfsa_m2016-03-08 13:09 106K 
[ ]scmfsa_m__t10_scmfsa_m2016-03-08 13:09 105K 
[ ]scmfsa_m__t11_scmfsa_m2016-03-08 13:09 109K 
[ ]scmfsa_m__t12_scmfsa_m2016-03-08 13:09 99K 
[ ]scmfsa_m__t13_scmfsa_m2016-03-08 13:09 97K 
[ ]scmfsa_m__t14_scmfsa_m2017-01-05 20:54 75K 
[ ]scmfsa_m__t15_scmfsa_m2017-01-05 20:54 75K 
[ ]scmfsa_m__t16_scmfsa_m2017-01-05 20:54 118K 
[ ]scmfsa_m__t17_scmfsa_m2017-01-05 20:54 119K 
[ ]scmfsa_m__t18_scmfsa_m2016-03-08 13:09 104K 
[ ]scmfsa_m__t19_scmfsa_m2016-03-08 13:09 114K 
[ ]scmfsa_m__t20_scmfsa_m2016-03-08 13:09 105K 
[ ]scmfsa_m__t21_scmfsa_m2016-03-08 13:09 93K 
[ ]scmfsa_m__t22_scmfsa_m2017-01-05 20:54 85K 
[ ]scmfsa_m__t23_scmfsa_m2017-01-05 20:54 89K 
[ ]scmfsa_m__t24_scmfsa_m2016-03-08 13:09 80K 
[ ]scmfsa_m__t25_scmfsa_m2016-03-08 13:09 79K 
[ ]scmfsa_m__t26_scmfsa_m2016-03-08 13:09 79K 
[ ]scmfsa_m__t27_scmfsa_m2016-03-08 13:09 92K 
[ ]scmfsa_m__t28_scmfsa_m2016-03-08 13:09 87K 
[ ]scmfsa_m__t29_scmfsa_m2016-03-08 13:09 102K 
[ ]scmfsa_m__t30_scmfsa_m2016-03-08 13:09 107K 
[ ]scmfsa_m__t31_scmfsa_m2016-03-08 13:09 119K 
[ ]scmfsa_m__t32_scmfsa_m2016-03-08 13:09 111K 
[ ]scmfsa_m__t33_scmfsa_m2016-03-08 13:09 147K 
[ ]scmfsa_m__t34_scmfsa_m2016-03-08 13:09 87K 
[ ]scmfsa_m__t35_scmfsa_m2017-01-05 20:54 98K 
[ ]scmfsa_m__t36_scmfsa_m2017-01-05 20:54 97K 
[ ]scmfsa_m__t37_scmfsa_m2016-03-08 13:09 112K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80