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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nomin_4__s1_nomin_42025-09-13 09:59 23K 
[ ]nomin_4__s2_nomin_42025-09-13 10:00 27K 
[ ]nomin_4__s3_nomin_42025-09-13 10:01 24K 
[ ]nomin_4__t1_nomin_42025-09-13 10:02 14K 
[ ]nomin_4__t2_nomin_42025-09-13 10:03 14K 
[ ]nomin_4__t3_nomin_42025-09-13 10:04 15K 
[ ]nomin_4__t4_nomin_42025-09-13 10:05 19K 
[ ]nomin_4__t5_nomin_42025-09-13 10:06 30K 
[ ]nomin_4__t6_nomin_42025-09-13 10:07 29K 
[ ]nomin_4__t7_nomin_42025-09-13 10:08 21K 
[ ]nomin_4__t8_nomin_42025-09-13 10:09 27K 
[ ]nomin_4__t9_nomin_42025-09-13 10:10 24K 
[ ]nomin_4__t10_nomin_42025-09-13 10:11 1.6K 
[ ]nomin_4__t11_nomin_42025-09-13 10:12 34K 
[ ]nomin_4__t12_nomin_42025-09-13 10:13 34K 
[ ]nomin_4__t13_nomin_42025-09-13 10:15 53K 
[ ]nomin_4__t14_nomin_42025-09-13 10:16 45K 
[ ]nomin_4__t15_nomin_42025-09-13 10:18 38K 
[ ]nomin_4__t16_nomin_42025-09-13 10:19 40K 
[ ]nomin_4__t17_nomin_42025-09-13 10:21 74K 
[ ]nomin_4__t18_nomin_42025-09-13 10:24 94K 
[ ]nomin_4__t19_nomin_42025-09-13 10:26 109K 
[ ]nomin_4__t20_nomin_42025-09-13 10:28 56K 
[ ]nomin_4__t21_nomin_42025-09-13 10:30 56K 
[ ]nomin_4__t22_nomin_42025-09-13 10:32 62K 
[ ]nomin_4__t24_nomin_42025-09-13 10:34 64K 
[ ]nomin_4__t25_nomin_42025-09-13 10:36 62K 
[ ]nomin_4__t26_nomin_42025-09-13 10:38 70K 
[ ]nomin_4__t27_nomin_42025-09-13 10:40 60K 
[ ]nomin_4__t28_nomin_42025-09-13 10:42 65K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80