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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]huffman1__l15_huffman12025-09-11 21:42 65K 
[ ]huffman1__l16_huffman12025-09-11 21:44 72K 
[ ]huffman1__l17_huffman12025-09-11 21:45 66K 
[ ]huffman1__l18_huffman12025-09-11 21:47 63K 
[ ]huffman1__l19_huffman12025-09-11 21:49 104K 
[ ]huffman1__t1_huffman12025-09-11 20:30 73K 
[ ]huffman1__t2_huffman12025-09-11 20:32 81K 
[ ]huffman1__t3_huffman12025-09-11 20:34 81K 
[ ]huffman1__t4_huffman12025-09-11 20:36 73K 
[ ]huffman1__t5_huffman12025-09-11 20:38 108K 
[ ]huffman1__t6_huffman12025-09-11 20:40 113K 
[ ]huffman1__t7_huffman12025-09-11 20:42 76K 
[ ]huffman1__t8_huffman12025-09-11 20:44 78K 
[ ]huffman1__t9_huffman12025-09-11 20:46 101K 
[ ]huffman1__t10_huffman12025-09-11 20:48 106K 
[ ]huffman1__t11_huffman12025-09-11 20:50 99K 
[ ]huffman1__t12_huffman12025-09-11 20:51 103K 
[ ]huffman1__t13_huffman12025-09-11 20:54 113K 
[ ]huffman1__t14_huffman12025-09-11 20:56 98K 
[ ]huffman1__t15_huffman12025-09-11 20:57 85K 
[ ]huffman1__t16_huffman12025-09-11 20:59 86K 
[ ]huffman1__t17_huffman12025-09-11 21:02 355K 
[ ]huffman1__t18_huffman12025-09-11 21:05 104K 
[ ]huffman1__t19_huffman12025-09-11 21:08 171K 
[ ]huffman1__t20_huffman12025-09-11 21:10 138K 
[ ]huffman1__t21_huffman12025-09-11 21:13 182K 
[ ]huffman1__t22_huffman12025-09-11 21:16 145K 
[ ]huffman1__t23_huffman12025-09-11 21:18 112K 
[ ]huffman1__t24_huffman12025-09-11 21:21 164K 
[ ]huffman1__t25_huffman12025-09-11 21:24 165K 
[ ]huffman1__t26_huffman12025-09-11 21:27 165K 
[ ]huffman1__t27_huffman12025-09-11 21:30 148K 
[ ]huffman1__t28_huffman12025-09-11 21:32 141K 
[ ]huffman1__t29_huffman12025-09-11 21:35 151K 
[ ]huffman1__t30_huffman12025-09-11 21:38 121K 
[ ]huffman1__t31_huffman12025-09-11 21:40 149K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80