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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nomin_3__t1_nomin_32025-09-13 11:27 20K 
[ ]nomin_3__t2_nomin_32025-09-13 11:28 21K 
[ ]nomin_3__t3_nomin_32025-09-13 11:32 30K 
[ ]nomin_3__t4_nomin_32025-09-13 11:29 28K 
[ ]nomin_3__t5_nomin_32025-09-13 11:33 31K 
[ ]nomin_3__t6_nomin_32025-09-13 11:34 27K 
[ ]nomin_3__t7_nomin_32025-09-13 11:36 26K 
[ ]nomin_3__t8_nomin_32025-09-13 11:30 24K 
[ ]nomin_3__t9_nomin_32025-09-13 11:37 28K 
[ ]nomin_3__t10_nomin_32025-09-13 11:31 29K 
[ ]nomin_3__t11_nomin_32025-09-13 11:38 22K 
[ ]nomin_3__t12_nomin_32025-09-13 11:39 22K 
[ ]nomin_3__t13_nomin_32025-09-13 11:40 24K 
[ ]nomin_3__t14_nomin_32025-09-13 11:41 28K 
[ ]nomin_3__t15_nomin_32025-09-13 11:42 24K 
[ ]nomin_3__t16_nomin_32025-09-13 11:43 24K 
[ ]nomin_3__t17_nomin_32025-09-13 11:44 23K 
[ ]nomin_3__t18_nomin_32025-09-13 11:45 24K 
[ ]nomin_3__t19_nomin_32025-09-13 11:46 29K 
[ ]nomin_3__t20_nomin_32025-09-13 11:47 35K 
[ ]nomin_3__t21_nomin_32025-09-13 11:49 38K 
[ ]nomin_3__t22_nomin_32025-09-13 11:50 36K 
[ ]nomin_3__t23_nomin_32025-09-13 11:52 72K 
[ ]nomin_3__t24_nomin_32025-09-13 11:53 39K 
[ ]nomin_3__t25_nomin_32025-09-13 11:54 31K 
[ ]nomin_3__t26_nomin_32025-09-13 11:56 87K 
[ ]nomin_3__t27_nomin_32025-09-13 11:57 27K 
[ ]nomin_3__t28_nomin_32025-09-13 11:58 24K 
[ ]nomin_3__t29_nomin_32025-09-13 11:59 35K 
[ ]nomin_3__t30_nomin_32025-09-13 12:01 37K 
[ ]nomin_3__t31_nomin_32025-09-13 12:02 35K 
[ ]nomin_3__t32_nomin_32025-09-13 12:03 44K 
[ ]nomin_3__t33_nomin_32025-09-13 12:05 46K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80