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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]substut2__l2_substut22017-01-05 20:54 23K 
[ ]substut2__t1_substut22017-01-05 20:54 41K 
[ ]substut2__t2_substut22017-01-05 20:54 46K 
[ ]substut2__t3_substut22016-03-08 13:09 23K 
[ ]substut2__t4_substut22017-01-05 20:54 42K 
[ ]substut2__t5_substut22017-01-05 20:54 43K 
[ ]substut2__t6_substut22017-01-05 20:54 38K 
[ ]substut2__t7_substut22016-03-08 13:09 36K 
[ ]substut2__t8_substut22016-03-08 13:09 36K 
[ ]substut2__t9_substut22016-03-08 13:09 50K 
[ ]substut2__t10_substut22016-03-08 13:09 57K 
[ ]substut2__t11_substut22016-03-08 13:09 45K 
[ ]substut2__t12_substut22016-03-08 13:09 39K 
[ ]substut2__t13_substut22016-03-08 13:09 39K 
[ ]substut2__t14_substut22016-03-08 13:09 47K 
[ ]substut2__t15_substut22016-03-08 13:09 39K 
[ ]substut2__t16_substut22016-03-08 13:09 33K 
[ ]substut2__t17_substut22016-03-08 13:09 41K 
[ ]substut2__t18_substut22016-03-08 13:09 31K 
[ ]substut2__t19_substut22016-03-08 13:09 34K 
[ ]substut2__t20_substut22016-03-08 13:09 53K 
[ ]substut2__t21_substut22016-03-08 13:09 43K 
[ ]substut2__t22_substut22016-03-08 13:09 53K 
[ ]substut2__t23_substut22016-03-08 13:09 60K 
[ ]substut2__t24_substut22016-03-08 13:09 31K 
[ ]substut2__t25_substut22016-03-08 13:09 41K 
[ ]substut2__t26_substut22017-01-05 20:54 36K 
[ ]substut2__t27_substut22016-03-08 13:09 139K 
[ ]substut2__t28_substut22016-03-08 13:09 141K 
[ ]substut2__t29_substut22016-03-08 13:09 145K 
[ ]substut2__t30_substut22016-03-08 13:09 34K 
[ ]substut2__t31_substut22016-03-08 13:09 47K 
[ ]substut2__t32_substut22016-03-08 13:09 42K 
[ ]substut2__t33_substut22016-03-08 13:09 43K 
[ ]substut2__t34_substut22016-03-08 13:09 26K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80