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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]closure2__l35_closure22016-03-08 13:04 43K 
[ ]closure2__t1_closure22016-03-08 13:04 25K 
[ ]closure2__t2_closure22016-03-08 13:04 28K 
[ ]closure2__t3_closure22016-03-08 13:04 20K 
[ ]closure2__t4_closure22016-03-08 13:04 19K 
[ ]closure2__t5_closure22016-03-08 13:04 18K 
[ ]closure2__t6_closure22016-03-08 13:04 21K 
[ ]closure2__t7_closure22016-03-08 13:04 21K 
[ ]closure2__t8_closure22016-03-08 13:04 23K 
[ ]closure2__t9_closure22016-03-08 13:04 23K 
[ ]closure2__t10_closure22016-03-08 13:04 23K 
[ ]closure2__t11_closure22016-03-08 13:04 22K 
[ ]closure2__t12_closure22016-03-08 13:04 26K 
[ ]closure2__t13_closure22017-01-05 20:54 25K 
[ ]closure2__t14_closure22017-01-05 20:54 36K 
[ ]closure2__t15_closure22017-01-05 20:54 17K 
[ ]closure2__t16_closure22017-01-05 20:54 19K 
[ ]closure2__t17_closure22017-01-05 20:54 17K 
[ ]closure2__t18_closure22016-03-08 13:04 33K 
[ ]closure2__t19_closure22017-01-05 20:54 17K 
[ ]closure2__t20_closure22016-03-08 13:04 34K 
[ ]closure2__t21_closure22017-01-05 20:54 25K 
[ ]closure2__t22_closure22016-03-08 13:04 31K 
[ ]closure2__t23_closure22016-03-08 13:04 34K 
[ ]closure2__t24_closure22017-01-05 20:54 40K 
[ ]closure2__t25_closure22017-01-05 20:54 47K 
[ ]closure2__t26_closure22016-03-08 13:04 34K 
[ ]closure2__t27_closure22016-03-08 13:04 35K 
[ ]closure2__t28_closure22016-03-08 13:04 35K 
[ ]closure2__t29_closure22016-03-08 13:04 37K 
[ ]closure2__t30_closure22016-03-08 13:04 32K 
[ ]closure2__t31_closure22016-03-08 13:04 32K 
[ ]closure2__t32_closure22016-03-08 13:04 34K 
[ ]closure2__t33_closure22016-03-08 13:04 38K 
[ ]closure2__t34_closure22016-03-08 13:04 39K 
[ ]closure2__t35_closure22016-03-08 13:04 39K 
[ ]closure2__t36_closure22016-03-08 13:04 41K 
[ ]closure2__t37_closure22016-03-08 13:04 42K 
[ ]closure2__t38_closure22017-01-05 20:54 42K 
[ ]closure2__t39_closure22017-01-05 20:54 41K 
[ ]closure2__t40_closure22017-01-05 20:54 48K 
[ ]closure2__t41_closure22017-01-05 20:54 64K 
[ ]closure2__t42_closure22017-01-05 20:54 59K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80