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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]msscyc_1__l8_msscyc_12016-03-08 13:07 84K 
[ ]msscyc_1__t2_msscyc_12016-03-08 13:07 79K 
[ ]msscyc_1__t3_msscyc_12016-03-08 13:07 49K 
[ ]msscyc_1__t4_msscyc_12016-03-08 13:07 72K 
[ ]msscyc_1__t5_msscyc_12016-03-08 13:07 69K 
[ ]msscyc_1__t6_msscyc_12016-03-08 13:07 49K 
[ ]msscyc_1__t7_msscyc_12016-03-08 13:07 72K 
[ ]msscyc_1__t8_msscyc_12016-03-08 13:07 56K 
[ ]msscyc_1__t9_msscyc_12016-03-08 13:07 91K 
[ ]msscyc_1__t10_msscyc_12016-03-08 13:07 60K 
[ ]msscyc_1__t11_msscyc_12016-03-08 13:07 104K 
[ ]msscyc_1__t12_msscyc_12016-03-08 13:07 56K 
[ ]msscyc_1__t13_msscyc_12016-03-08 13:07 75K 
[ ]msscyc_1__t14_msscyc_12016-03-08 13:07 63K 
[ ]msscyc_1__t15_msscyc_12016-03-08 13:07 110K 
[ ]msscyc_1__t16_msscyc_12016-03-08 13:07 97K 
[ ]msscyc_1__t17_msscyc_12016-03-08 13:07 68K 
[ ]msscyc_1__t18_msscyc_12016-03-08 13:07 125K 
[ ]msscyc_1__t19_msscyc_12016-03-08 13:07 51K 
[ ]msscyc_1__t20_msscyc_12016-03-08 13:07 67K 
[ ]msscyc_1__t21_msscyc_12016-03-08 13:07 68K 
[ ]msscyc_1__t22_msscyc_12016-03-08 13:07 108K 
[ ]msscyc_1__t23_msscyc_12016-03-08 13:07 75K 
[ ]msscyc_1__t24_msscyc_12016-03-08 13:07 73K 
[ ]msscyc_1__t25_msscyc_12017-01-05 20:54 65K 
[ ]msscyc_1__t26_msscyc_12017-01-05 20:54 130K 
[ ]msscyc_1__t27_msscyc_12016-03-08 13:07 112K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80