Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/closure1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]closure1__l3_closure12025-09-11 23:23 32K 
[ ]closure1__l29_closure12025-09-11 23:24 46K 
[ ]closure1__s1_closure12025-09-11 22:43 35K 
[ ]closure1__t1_closure12025-09-11 22:44 13K 
[ ]closure1__t2_closure12025-09-11 22:41 13K 
[ ]closure1__t3_closure12025-09-11 22:45 32K 
[ ]closure1__t4_closure12025-09-11 22:46 32K 
[ ]closure1__t5_closure12025-09-11 22:46 22K 
[ ]closure1__t6_closure12025-09-11 22:47 44K 
[ ]closure1__t7_closure12025-09-11 22:49 43K 
[ ]closure1__t8_closure12025-09-11 22:49 34K 
[ ]closure1__t9_closure12025-09-11 22:50 26K 
[ ]closure1__t10_closure12025-09-11 22:51 23K 
[ ]closure1__t11_closure12025-09-11 22:52 53K 
[ ]closure1__t12_closure12025-09-11 22:53 28K 
[ ]closure1__t13_closure12025-09-11 22:54 33K 
[ ]closure1__t14_closure12025-09-11 22:55 28K 
[ ]closure1__t15_closure12025-09-11 22:56 42K 
[ ]closure1__t16_closure12025-09-11 22:56 36K 
[ ]closure1__t17_closure12025-09-11 22:57 35K 
[ ]closure1__t18_closure12025-09-11 22:58 41K 
[ ]closure1__t19_closure12025-09-11 22:59 44K 
[ ]closure1__t20_closure12025-09-11 23:00 42K 
[ ]closure1__t21_closure12025-09-11 23:01 42K 
[ ]closure1__t22_closure12025-09-11 23:02 42K 
[ ]closure1__t23_closure12025-09-11 23:03 46K 
[ ]closure1__t24_closure12025-09-11 23:04 53K 
[ ]closure1__t25_closure12025-09-11 23:06 53K 
[ ]closure1__t26_closure12025-09-11 23:07 52K 
[ ]closure1__t27_closure12025-09-11 23:08 58K 
[ ]closure1__t28_closure12025-09-11 23:09 42K 
[ ]closure1__t29_closure12025-09-11 23:10 35K 
[ ]closure1__t30_closure12025-09-11 23:11 68K 
[ ]closure1__t31_closure12025-09-11 23:12 32K 
[ ]closure1__t32_closure12025-09-11 23:13 45K 
[ ]closure1__t33_closure12025-09-11 23:15 60K 
[ ]closure1__t34_closure12025-09-11 23:16 39K 
[ ]closure1__t35_closure12025-09-11 23:17 38K 
[ ]closure1__t36_closure12025-09-11 23:18 41K 
[ ]closure1__t37_closure12025-09-11 23:19 42K 
[ ]closure1__t38_closure12025-09-11 22:42 42K 
[ ]closure1__t39_closure12025-09-11 23:20 74K 
[ ]closure1__t40_closure12025-09-11 23:22 78K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80