Index of /~mptp/mml5.63.1382/MPTP2/problems/closure1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]closure1__l3_closure12023-06-28 17:03 32K 
[ ]closure1__l29_closure12023-06-28 17:03 46K 
[ ]closure1__s1_closure12023-06-28 16:50 35K 
[ ]closure1__t1_closure12023-06-28 16:50 13K 
[ ]closure1__t2_closure12023-06-28 16:49 13K 
[ ]closure1__t3_closure12023-06-28 16:50 31K 
[ ]closure1__t4_closure12023-06-28 16:50 31K 
[ ]closure1__t5_closure12023-06-28 16:51 27K 
[ ]closure1__t6_closure12023-06-28 16:51 41K 
[ ]closure1__t7_closure12023-06-28 16:51 42K 
[ ]closure1__t8_closure12023-06-28 16:52 34K 
[ ]closure1__t9_closure12023-06-28 16:52 26K 
[ ]closure1__t10_closure12023-06-28 16:52 23K 
[ ]closure1__t11_closure12023-06-28 16:52 53K 
[ ]closure1__t12_closure12023-06-28 16:53 28K 
[ ]closure1__t13_closure12023-06-28 16:53 33K 
[ ]closure1__t14_closure12023-06-28 16:53 28K 
[ ]closure1__t15_closure12023-06-28 16:54 42K 
[ ]closure1__t16_closure12023-06-28 16:54 35K 
[ ]closure1__t17_closure12023-06-28 16:54 35K 
[ ]closure1__t18_closure12023-06-28 16:55 41K 
[ ]closure1__t19_closure12023-06-28 16:55 44K 
[ ]closure1__t20_closure12023-06-28 16:55 42K 
[ ]closure1__t21_closure12023-06-28 16:56 42K 
[ ]closure1__t22_closure12023-06-28 16:56 42K 
[ ]closure1__t23_closure12023-06-28 16:56 46K 
[ ]closure1__t24_closure12023-06-28 16:57 51K 
[ ]closure1__t25_closure12023-06-28 16:57 51K 
[ ]closure1__t26_closure12023-06-28 16:57 50K 
[ ]closure1__t27_closure12023-06-28 16:58 56K 
[ ]closure1__t28_closure12023-06-28 16:58 40K 
[ ]closure1__t29_closure12023-06-28 16:58 34K 
[ ]closure1__t30_closure12023-06-28 16:59 66K 
[ ]closure1__t31_closure12023-06-28 16:59 32K 
[ ]closure1__t32_closure12023-06-28 17:00 45K 
[ ]closure1__t33_closure12023-06-28 17:00 59K 
[ ]closure1__t34_closure12023-06-28 17:00 38K 
[ ]closure1__t35_closure12023-06-28 17:01 38K 
[ ]closure1__t36_closure12023-06-28 17:01 41K 
[ ]closure1__t37_closure12023-06-28 17:01 42K 
[ ]closure1__t38_closure12023-06-28 16:49 42K 
[ ]closure1__t39_closure12023-06-28 17:02 74K 
[ ]closure1__t40_closure12023-06-28 17:02 76K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80