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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nomin_9__t1_nomin_92025-09-12 21:30 86K 
[ ]nomin_9__t2_nomin_92025-09-12 21:31 66K 
[ ]nomin_9__t3_nomin_92025-09-12 21:33 94K 
[ ]nomin_9__t4_nomin_92025-09-12 21:34 71K 
[ ]nomin_9__t5_nomin_92025-09-12 21:36 60K 
[ ]nomin_9__t6_nomin_92025-09-12 21:37 55K 
[ ]nomin_9__t7_nomin_92025-09-12 21:26 39K 
[ ]nomin_9__t8_nomin_92025-09-12 21:38 56K 
[ ]nomin_9__t9_nomin_92025-09-12 21:27 39K 
[ ]nomin_9__t10_nomin_92025-09-12 21:40 59K 
[ ]nomin_9__t11_nomin_92025-09-12 21:28 39K 
[ ]nomin_9__t12_nomin_92025-09-12 21:41 56K 
[ ]nomin_9__t13_nomin_92025-09-12 21:44 313K 
[ ]nomin_9__t14_nomin_92025-09-12 21:47 313K 
[ ]nomin_9__t15_nomin_92025-09-12 21:50 1.2M 
[ ]nomin_9__t16_nomin_92025-09-12 21:54 1.3M 
[ ]nomin_9__t17_nomin_92025-09-12 21:56 111K 
[ ]nomin_9__t18_nomin_92025-09-12 21:59 166K 
[ ]nomin_9__t19_nomin_92025-09-12 22:02 130K 
[ ]nomin_9__t20_nomin_92025-09-12 22:04 89K 
[ ]nomin_9__t21_nomin_92025-09-12 22:07 110K 
[ ]nomin_9__t22_nomin_92025-09-12 22:10 166K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80