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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nomin_4__s1_nomin_42023-06-28 18:57 23K 
[ ]nomin_4__s2_nomin_42023-06-28 18:58 27K 
[ ]nomin_4__s3_nomin_42023-06-28 18:58 24K 
[ ]nomin_4__t1_nomin_42023-06-28 18:58 14K 
[ ]nomin_4__t2_nomin_42023-06-28 18:59 14K 
[ ]nomin_4__t3_nomin_42023-06-28 18:59 15K 
[ ]nomin_4__t4_nomin_42023-06-28 18:59 19K 
[ ]nomin_4__t5_nomin_42023-06-28 19:00 30K 
[ ]nomin_4__t6_nomin_42023-06-28 19:00 29K 
[ ]nomin_4__t7_nomin_42023-06-28 19:00 21K 
[ ]nomin_4__t8_nomin_42023-06-28 19:01 27K 
[ ]nomin_4__t9_nomin_42023-06-28 19:01 24K 
[ ]nomin_4__t10_nomin_42023-06-28 19:01 1.6K 
[ ]nomin_4__t11_nomin_42023-06-28 19:02 34K 
[ ]nomin_4__t12_nomin_42023-06-28 19:02 34K 
[ ]nomin_4__t13_nomin_42023-06-28 19:03 53K 
[ ]nomin_4__t14_nomin_42023-06-28 19:03 44K 
[ ]nomin_4__t15_nomin_42023-06-28 19:04 38K 
[ ]nomin_4__t16_nomin_42023-06-28 19:04 40K 
[ ]nomin_4__t17_nomin_42023-06-28 19:05 73K 
[ ]nomin_4__t18_nomin_42023-06-28 19:06 94K 
[ ]nomin_4__t19_nomin_42023-06-28 19:06 110K 
[ ]nomin_4__t20_nomin_42023-06-28 19:07 56K 
[ ]nomin_4__t21_nomin_42023-06-28 19:08 56K 
[ ]nomin_4__t22_nomin_42023-06-28 19:08 61K 
[ ]nomin_4__t24_nomin_42023-06-28 19:09 64K 
[ ]nomin_4__t25_nomin_42023-06-28 19:10 62K 
[ ]nomin_4__t26_nomin_42023-06-28 19:10 69K 
[ ]nomin_4__t27_nomin_42023-06-28 19:11 60K 
[ ]nomin_4__t28_nomin_42023-06-28 19:12 65K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80