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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]prvect_1__l3_prvect_12025-09-14 02:41 50K 
[ ]prvect_1__l5_prvect_12025-09-14 02:11 34K 
[ ]prvect_1__l6_prvect_12025-09-14 02:12 38K 
[ ]prvect_1__l7_prvect_12025-09-14 02:42 44K 
[ ]prvect_1__l10_prvect_12025-09-14 02:44 48K 
[ ]prvect_1__s1_prvect_12025-09-14 02:13 30K 
[ ]prvect_1__t1_prvect_12025-09-14 02:14 41K 
[ ]prvect_1__t2_prvect_12025-09-14 02:16 50K 
[ ]prvect_1__t3_prvect_12025-09-14 02:17 45K 
[ ]prvect_1__t4_prvect_12025-09-14 02:19 46K 
[ ]prvect_1__t5_prvect_12025-09-14 02:20 48K 
[ ]prvect_1__t6_prvect_12025-09-14 02:21 46K 
[ ]prvect_1__t7_prvect_12025-09-14 02:23 46K 
[ ]prvect_1__t8_prvect_12025-09-14 02:24 50K 
[ ]prvect_1__t9_prvect_12025-09-14 02:26 59K 
[ ]prvect_1__t10_prvect_12025-09-14 02:27 65K 
[ ]prvect_1__t11_prvect_12025-09-14 02:28 38K 
[ ]prvect_1__t12_prvect_12025-09-14 02:29 38K 
[ ]prvect_1__t13_prvect_12025-09-14 02:30 41K 
[ ]prvect_1__t14_prvect_12025-09-14 02:32 48K 
[ ]prvect_1__t15_prvect_12025-09-14 02:33 47K 
[ ]prvect_1__t16_prvect_12025-09-14 02:34 42K 
[ ]prvect_1__t17_prvect_12025-09-14 02:35 43K 
[ ]prvect_1__t18_prvect_12025-09-14 02:36 43K 
[ ]prvect_1__t19_prvect_12025-09-14 02:38 44K 
[ ]prvect_1__t20_prvect_12025-09-14 02:39 51K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80