Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems00/closure1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]closure1__l3_closure12017-03-01 10:52 14K 
[ ]closure1__l29_closure12017-03-01 10:52 21K 
[ ]closure1__t1_closure12017-03-01 10:51 6.7K 
[ ]closure1__t2_closure12017-03-01 10:51 7.1K 
[ ]closure1__t3_closure12017-03-01 10:51 14K 
[ ]closure1__t4_closure12017-03-01 10:51 14K 
[ ]closure1__t5_closure12017-03-01 10:51 12K 
[ ]closure1__t6_closure12017-03-01 10:51 19K 
[ ]closure1__t7_closure12017-03-01 10:51 19K 
[ ]closure1__t8_closure12017-03-01 10:51 15K 
[ ]closure1__t9_closure12017-03-01 10:51 3.3K 
[ ]closure1__t10_closure12017-03-01 10:51 3.9K 
[ ]closure1__t11_closure12017-03-01 10:51 23K 
[ ]closure1__t12_closure12017-03-01 10:51 5.7K 
[ ]closure1__t13_closure12017-03-01 10:51 5.6K 
[ ]closure1__t14_closure12017-03-01 10:52 5.7K 
[ ]closure1__t15_closure12017-03-01 10:52 7.1K 
[ ]closure1__t16_closure12017-03-01 10:52 5.6K 
[ ]closure1__t17_closure12017-03-01 10:52 5.6K 
[ ]closure1__t18_closure12017-03-01 10:52 6.8K 
[ ]closure1__t19_closure12017-03-01 10:52 7.5K 
[ ]closure1__t20_closure12017-03-01 10:52 7.4K 
[ ]closure1__t21_closure12017-03-01 10:52 7.4K 
[ ]closure1__t22_closure12017-03-01 10:52 7.4K 
[ ]closure1__t23_closure12017-03-01 10:52 8.2K 
[ ]closure1__t24_closure12017-03-01 10:52 23K 
[ ]closure1__t25_closure12017-03-01 10:52 23K 
[ ]closure1__t26_closure12017-03-01 10:52 23K 
[ ]closure1__t27_closure12017-03-01 10:52 25K 
[ ]closure1__t28_closure12017-03-01 10:52 17K 
[ ]closure1__t29_closure12017-03-01 10:52 16K 
[ ]closure1__t30_closure12017-03-01 10:52 25K 
[ ]closure1__t31_closure12017-03-01 10:52 14K 
[ ]closure1__t32_closure12017-03-01 10:52 21K 
[ ]closure1__t33_closure12017-03-01 10:52 25K 
[ ]closure1__t34_closure12017-03-01 10:52 6.3K 
[ ]closure1__t35_closure12017-03-01 10:52 6.2K 
[ ]closure1__t36_closure12017-03-01 10:52 16K 
[ ]closure1__t37_closure12017-03-01 10:52 7.2K 
[ ]closure1__t38_closure12017-03-01 10:51 7.9K 
[ ]closure1__t39_closure12017-03-01 10:52 28K 
[ ]closure1__t40_closure12017-03-01 10:52 30K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80