Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/closure1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]closure1__l3_closure12021-07-19 01:28 32K 
[ ]closure1__l29_closure12021-07-19 01:29 46K 
[ ]closure1__s1_closure12021-07-19 01:14 35K 
[ ]closure1__t1_closure12021-07-19 01:14 13K 
[ ]closure1__t2_closure12021-07-19 01:13 13K 
[ ]closure1__t3_closure12021-07-19 01:15 32K 
[ ]closure1__t4_closure12021-07-19 01:15 31K 
[ ]closure1__t5_closure12021-07-19 01:15 27K 
[ ]closure1__t6_closure12021-07-19 01:16 42K 
[ ]closure1__t7_closure12021-07-19 01:16 43K 
[ ]closure1__t8_closure12021-07-19 01:16 34K 
[ ]closure1__t9_closure12021-07-19 01:16 26K 
[ ]closure1__t10_closure12021-07-19 01:17 23K 
[ ]closure1__t11_closure12021-07-19 01:17 53K 
[ ]closure1__t12_closure12021-07-19 01:17 28K 
[ ]closure1__t13_closure12021-07-19 01:18 33K 
[ ]closure1__t14_closure12021-07-19 01:18 28K 
[ ]closure1__t15_closure12021-07-19 01:18 42K 
[ ]closure1__t16_closure12021-07-19 01:19 36K 
[ ]closure1__t17_closure12021-07-19 01:19 35K 
[ ]closure1__t18_closure12021-07-19 01:19 41K 
[ ]closure1__t19_closure12021-07-19 01:20 44K 
[ ]closure1__t20_closure12021-07-19 01:20 42K 
[ ]closure1__t21_closure12021-07-19 01:20 42K 
[ ]closure1__t22_closure12021-07-19 01:21 42K 
[ ]closure1__t23_closure12021-07-19 01:21 46K 
[ ]closure1__t24_closure12021-07-19 01:22 51K 
[ ]closure1__t25_closure12021-07-19 01:22 51K 
[ ]closure1__t26_closure12021-07-19 01:22 50K 
[ ]closure1__t27_closure12021-07-19 01:23 56K 
[ ]closure1__t28_closure12021-07-19 01:23 40K 
[ ]closure1__t29_closure12021-07-19 01:23 35K 
[ ]closure1__t30_closure12021-07-19 01:24 66K 
[ ]closure1__t31_closure12021-07-19 01:24 32K 
[ ]closure1__t32_closure12021-07-19 01:25 45K 
[ ]closure1__t33_closure12021-07-19 01:25 59K 
[ ]closure1__t34_closure12021-07-19 01:26 39K 
[ ]closure1__t35_closure12021-07-19 01:26 38K 
[ ]closure1__t36_closure12021-07-19 01:26 41K 
[ ]closure1__t37_closure12021-07-19 01:27 42K 
[ ]closure1__t38_closure12021-07-19 01:14 42K 
[ ]closure1__t39_closure12021-07-19 01:27 74K 
[ ]closure1__t40_closure12021-07-19 01:28 76K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80