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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]partit1__t1_partit12025-09-13 04:50 12K 
[ ]partit1__t2_partit12025-09-13 04:51 13K 
[ ]partit1__t3_partit12025-09-13 04:51 12K 
[ ]partit1__t4_partit12025-09-13 04:52 11K 
[ ]partit1__t5_partit12025-09-13 04:53 13K 
[ ]partit1__t6_partit12025-09-13 04:54 14K 
[ ]partit1__t7_partit12025-09-13 04:55 15K 
[ ]partit1__t8_partit12025-09-13 04:56 23K 
[ ]partit1__t9_partit12025-09-13 04:57 19K 
[ ]partit1__t10_partit12025-09-13 04:58 16K 
[ ]partit1__t11_partit12025-09-13 04:59 23K 
[ ]partit1__t12_partit12025-09-13 05:00 16K 
[ ]partit1__t13_partit12025-09-13 05:00 20K 
[ ]partit1__t14_partit12025-09-13 05:01 21K 
[ ]partit1__t15_partit12025-09-13 05:02 18K 
[ ]partit1__t16_partit12025-09-13 05:03 18K 
[ ]partit1__t17_partit12025-09-13 05:04 18K 
[ ]partit1__t18_partit12025-09-13 05:05 13K 
[ ]partit1__t19_partit12025-09-13 04:49 12K 
[ ]partit1__t20_partit12025-09-13 05:06 16K 
[ ]partit1__t21_partit12025-09-13 05:07 32K 
[ ]partit1__t22_partit12025-09-13 05:08 117K 
[ ]partit1__t23_partit12025-09-13 05:11 81K 
[ ]partit1__t24_partit12025-09-13 05:12 26K 
[ ]partit1__t25_partit12025-09-13 05:12 14K 
[ ]partit1__t26_partit12025-09-13 05:13 18K 
[ ]partit1__t27_partit12025-09-13 05:14 27K 
[ ]partit1__t28_partit12025-09-13 05:15 27K 
[ ]partit1__t29_partit12025-09-13 05:16 22K 
[ ]partit1__t30_partit12025-09-13 05:17 24K 
[ ]partit1__t31_partit12025-09-13 05:18 19K 
[ ]partit1__t32_partit12025-09-13 05:19 21K 
[ ]partit1__t33_partit12025-09-13 05:20 16K 
[ ]partit1__t34_partit12025-09-13 05:21 22K 
[ ]partit1__t35_partit12025-09-13 05:22 20K 
[ ]partit1__t36_partit12025-09-13 05:23 39K 
[ ]partit1__t37_partit12025-09-13 05:24 40K 
[ ]partit1__t38_partit12025-09-13 05:25 20K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80