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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]number16__l20_number162025-09-14 02:06 2.3M 
[ ]number16__l34_number162025-09-14 02:08 120K 
[ ]number16__t1_number162025-09-13 23:50 173K 
[ ]number16__t2_number162025-09-13 23:52 188K 
[ ]number16__t3_number162025-09-13 23:54 178K 
[ ]number16__t4_number162025-09-13 23:48 118K 
[ ]number16__t5_number162025-09-13 23:57 213K 
[ ]number16__t6_number162025-09-13 23:59 194K 
[ ]number16__t7_number162025-09-14 00:02 269K 
[ ]number16__t8_number162025-09-14 00:03 95K 
[ ]number16__t9_number162025-09-14 00:06 340K 
[ ]number16__t10_number162025-09-14 00:08 2.8M 
[ ]number16__t11_number162025-09-14 00:10 215K 
[ ]number16__t12_number162025-09-14 00:12 161K 
[ ]number16__t13_number162025-09-14 00:23 11M 
[ ]number16__t14_number162025-09-14 00:26 1.3M 
[ ]number16__t15_number162025-09-14 00:28 2.8M 
[ ]number16__t16_number162025-09-14 00:31 1.2M 
[ ]number16__t17_number162025-09-14 00:34 3.8M 
[ ]number16__t18_number162025-09-14 00:46 14M 
[ ]number16__t19_number162025-09-14 01:18 29M 
[ ]number16__t20_number162025-09-14 01:22 3.5M 
[ ]number16__t21_number162025-09-14 01:24 144K 
[ ]number16__t22_number162025-09-14 01:26 123K 
[ ]number16__t23_number162025-09-14 01:28 110K 
[ ]number16__t24_number162025-09-14 01:30 180K 
[ ]number16__t25_number162025-09-14 01:32 182K 
[ ]number16__t26_number162025-09-14 01:34 161K 
[ ]number16__t27_number162025-09-14 01:36 149K 
[ ]number16__t28_number162025-09-14 01:38 155K 
[ ]number16__t29_number162025-09-14 01:40 150K 
[ ]number16__t30_number162025-09-14 01:42 155K 
[ ]number16__t31_number162025-09-14 01:45 183K 
[ ]number16__t32_number162025-09-14 01:46 155K 
[ ]number16__t33_number162025-09-14 01:48 117K 
[ ]number16__t34_number162025-09-14 01:51 504K 
[ ]number16__t35_number162025-09-14 01:53 265K 
[ ]number16__t36_number162025-09-14 01:55 242K 
[ ]number16__t37_number162025-09-14 01:57 184K 
[ ]number16__t38_number162025-09-14 01:59 155K 
[ ]number16__t39_number162025-09-14 02:02 417K 
[ ]number16__t40_number162025-09-14 02:04 1.5M 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80