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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lfuzzy_0__l19_lfuzzy_02016-03-08 13:07 46K 
[ ]lfuzzy_0__l21_lfuzzy_02016-03-08 13:07 48K 
[ ]lfuzzy_0__l23_lfuzzy_02016-03-08 13:07 48K 
[ ]lfuzzy_0__l31_lfuzzy_02016-03-08 13:07 38K 
[ ]lfuzzy_0__l32_lfuzzy_02017-01-05 20:54 58K 
[ ]lfuzzy_0__l34_lfuzzy_02017-01-05 20:54 54K 
[ ]lfuzzy_0__l35_lfuzzy_02017-01-05 20:54 53K 
[ ]lfuzzy_0__t1_lfuzzy_02016-03-08 13:07 37K 
[ ]lfuzzy_0__t2_lfuzzy_02016-03-08 13:07 37K 
[ ]lfuzzy_0__t3_lfuzzy_02016-03-08 13:07 33K 
[ ]lfuzzy_0__t4_lfuzzy_02016-03-08 13:07 32K 
[ ]lfuzzy_0__t5_lfuzzy_02016-03-08 13:07 32K 
[ ]lfuzzy_0__t6_lfuzzy_02016-03-08 13:07 30K 
[ ]lfuzzy_0__t7_lfuzzy_02016-03-08 13:07 30K 
[ ]lfuzzy_0__t8_lfuzzy_02016-03-08 13:07 44K 
[ ]lfuzzy_0__t9_lfuzzy_02016-03-08 13:07 51K 
[ ]lfuzzy_0__t10_lfuzzy_02016-03-08 13:07 51K 
[ ]lfuzzy_0__t11_lfuzzy_02016-03-08 13:07 53K 
[ ]lfuzzy_0__t12_lfuzzy_02016-03-08 13:07 53K 
[ ]lfuzzy_0__t13_lfuzzy_02016-03-08 13:07 65K 
[ ]lfuzzy_0__t14_lfuzzy_02016-03-08 13:07 44K 
[ ]lfuzzy_0__t15_lfuzzy_02017-01-05 20:54 40K 
[ ]lfuzzy_0__t16_lfuzzy_02016-03-08 13:07 59K 
[ ]lfuzzy_0__t17_lfuzzy_02016-03-08 13:07 49K 
[ ]lfuzzy_0__t18_lfuzzy_02016-03-08 13:07 68K 
[ ]lfuzzy_0__t19_lfuzzy_02016-03-08 13:07 53K 
[ ]lfuzzy_0__t20_lfuzzy_02016-03-08 13:07 68K 
[ ]lfuzzy_0__t21_lfuzzy_02016-03-08 13:07 53K 
[ ]lfuzzy_0__t22_lfuzzy_02017-01-05 20:54 68K 
[ ]lfuzzy_0__t23_lfuzzy_02017-01-05 20:54 61K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80