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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nomin_7__t1_nomin_72025-09-12 15:19 43K 
[ ]nomin_7__t2_nomin_72025-09-12 15:20 43K 
[ ]nomin_7__t3_nomin_72025-09-12 15:21 53K 
[ ]nomin_7__t4_nomin_72025-09-12 15:22 37K 
[ ]nomin_7__t5_nomin_72025-09-12 15:24 63K 
[ ]nomin_7__t6_nomin_72025-09-12 15:25 54K 
[ ]nomin_7__t7_nomin_72025-09-12 15:27 69K 
[ ]nomin_7__t8_nomin_72025-09-12 15:29 65K 
[ ]nomin_7__t9_nomin_72025-09-12 15:30 97K 
[ ]nomin_7__t10_nomin_72025-09-12 15:32 61K 
[ ]nomin_7__t11_nomin_72025-09-12 15:33 72K 
[ ]nomin_7__t12_nomin_72025-09-12 15:35 79K 
[ ]nomin_7__t13_nomin_72025-09-12 15:37 84K 
[ ]nomin_7__t14_nomin_72025-09-12 15:39 68K 
[ ]nomin_7__t15_nomin_72025-09-12 15:40 80K 
[ ]nomin_7__t16_nomin_72025-09-12 15:44 576K 
[ ]nomin_7__t17_nomin_72025-09-12 15:46 528K 
[ ]nomin_7__t18_nomin_72025-09-12 15:48 84K 
[ ]nomin_7__t19_nomin_72025-09-12 15:51 98K 
[ ]nomin_7__t20_nomin_72025-09-12 15:53 86K 
[ ]nomin_7__t21_nomin_72025-09-12 15:55 63K 
[ ]nomin_7__t22_nomin_72025-09-12 15:57 80K 
[ ]nomin_7__t23_nomin_72025-09-12 15:59 100K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80