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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmpds_5__l1_scmpds_52016-03-08 13:09 51K 
[ ]scmpds_5__l22_scmpds_52016-03-08 13:09 85K 
[ ]scmpds_5__l26_scmpds_52016-03-08 13:09 82K 
[ ]scmpds_5__l38_scmpds_52016-03-08 13:09 144K 
[ ]scmpds_5__t12_scmpds_52016-03-08 13:09 65K 
[ ]scmpds_5__t13_scmpds_52016-03-08 13:09 149K 
[ ]scmpds_5__t14_scmpds_52016-03-08 13:09 66K 
[ ]scmpds_5__t15_scmpds_52016-03-08 13:09 51K 
[ ]scmpds_5__t16_scmpds_52016-03-08 13:09 72K 
[ ]scmpds_5__t17_scmpds_52016-03-08 13:09 71K 
[ ]scmpds_5__t19_scmpds_52016-03-08 13:09 100K 
[ ]scmpds_5__t20_scmpds_52016-03-08 13:09 78K 
[ ]scmpds_5__t21_scmpds_52016-03-08 13:09 37K 
[ ]scmpds_5__t22_scmpds_52016-03-08 13:09 125K 
[ ]scmpds_5__t23_scmpds_52016-03-08 13:09 117K 
[ ]scmpds_5__t24_scmpds_52016-03-08 13:09 117K 
[ ]scmpds_5__t25_scmpds_52016-03-08 13:09 92K 
[ ]scmpds_5__t26_scmpds_52016-03-08 13:09 78K 
[ ]scmpds_5__t27_scmpds_52016-03-08 13:09 124K 
[ ]scmpds_5__t28_scmpds_52016-03-08 13:09 81K 
[ ]scmpds_5__t29_scmpds_52016-03-08 13:09 98K 
[ ]scmpds_5__t30_scmpds_52016-03-08 13:09 80K 
[ ]scmpds_5__t31_scmpds_52016-03-08 13:09 1.0M 
[ ]scmpds_5__t32_scmpds_52016-03-08 13:09 135K 
[ ]scmpds_5__t33_scmpds_52016-03-08 13:09 100K 
[ ]scmpds_5__t34_scmpds_52016-03-08 13:09 140K 
[ ]scmpds_5__t35_scmpds_52016-03-08 13:09 94K 
[ ]scmpds_5__t37_scmpds_52016-03-08 13:09 46K 
[ ]scmpds_5__t38_scmpds_52016-03-08 13:09 362K 
[ ]scmpds_5__t39_scmpds_52016-03-08 13:09 57K 
[ ]scmpds_5__t40_scmpds_52016-03-08 13:09 625K 
[ ]scmpds_5__t41_scmpds_52016-03-08 13:09 112K 
[ ]scmpds_5__t42_scmpds_52016-03-08 13:09 92K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80