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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]rlvect_x__l1_rlvect_x2025-09-11 20:39 29K 
[   ]rlvect_x__l28_rlvect_x2025-09-11 21:50 133K 
[   ]rlvect_x__l29_rlvect_x2025-09-11 21:52 77K 
[   ]rlvect_x__t1_rlvect_x2025-09-11 20:40 54K 
[   ]rlvect_x__t2_rlvect_x2025-09-11 20:42 62K 
[   ]rlvect_x__t3_rlvect_x2025-09-11 20:44 58K 
[   ]rlvect_x__t4_rlvect_x2025-09-11 20:45 56K 
[   ]rlvect_x__t5_rlvect_x2025-09-11 20:47 70K 
[   ]rlvect_x__t6_rlvect_x2025-09-11 20:49 65K 
[   ]rlvect_x__t7_rlvect_x2025-09-11 20:51 57K 
[   ]rlvect_x__t8_rlvect_x2025-09-11 20:53 61K 
[   ]rlvect_x__t9_rlvect_x2025-09-11 20:55 61K 
[   ]rlvect_x__t10_rlvect_x2025-09-11 20:57 61K 
[   ]rlvect_x__t11_rlvect_x2025-09-11 20:58 58K 
[   ]rlvect_x__t12_rlvect_x2025-09-11 21:00 66K 
[   ]rlvect_x__t13_rlvect_x2025-09-11 21:02 56K 
[   ]rlvect_x__t14_rlvect_x2025-09-11 21:04 89K 
[   ]rlvect_x__t15_rlvect_x2025-09-11 21:06 60K 
[   ]rlvect_x__t16_rlvect_x2025-09-11 21:08 69K 
[   ]rlvect_x__t17_rlvect_x2025-09-11 21:10 58K 
[   ]rlvect_x__t18_rlvect_x2025-09-11 21:12 60K 
[   ]rlvect_x__t19_rlvect_x2025-09-11 21:14 77K 
[   ]rlvect_x__t20_rlvect_x2025-09-11 21:16 58K 
[   ]rlvect_x__t21_rlvect_x2025-09-11 21:17 62K 
[   ]rlvect_x__t22_rlvect_x2025-09-11 21:20 79K 
[   ]rlvect_x__t23_rlvect_x2025-09-11 21:22 58K 
[   ]rlvect_x__t24_rlvect_x2025-09-11 21:23 61K 
[   ]rlvect_x__t25_rlvect_x2025-09-11 20:37 70K 
[   ]rlvect_x__t26_rlvect_x2025-09-11 21:25 56K 
[   ]rlvect_x__t27_rlvect_x2025-09-11 21:27 82K 
[   ]rlvect_x__t28_rlvect_x2025-09-11 21:29 61K 
[   ]rlvect_x__t29_rlvect_x2025-09-11 21:31 119K 
[   ]rlvect_x__t30_rlvect_x2025-09-11 21:33 84K 
[   ]rlvect_x__t31_rlvect_x2025-09-11 21:35 66K 
[   ]rlvect_x__t32_rlvect_x2025-09-11 21:38 137K 
[   ]rlvect_x__t33_rlvect_x2025-09-11 21:40 74K 
[   ]rlvect_x__t34_rlvect_x2025-09-11 21:42 69K 
[   ]rlvect_x__t35_rlvect_x2025-09-11 21:44 118K 
[   ]rlvect_x__t36_rlvect_x2025-09-11 21:46 71K 
[   ]rlvect_x__t37_rlvect_x2025-09-11 21:48 61K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80