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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dist_1__l26_dist_12025-09-12 07:50 51K 
[ ]dist_1__l27_dist_12025-09-12 07:53 115K 
[ ]dist_1__l37_dist_12025-09-12 07:16 59K 
[ ]dist_1__l38_dist_12025-09-12 07:54 57K 
[ ]dist_1__t2_dist_12025-09-12 07:18 63K 
[ ]dist_1__t4_dist_12025-09-12 07:20 57K 
[ ]dist_1__t5_dist_12025-09-12 07:14 55K 
[ ]dist_1__t6_dist_12025-09-12 07:21 55K 
[ ]dist_1__t7_dist_12025-09-12 07:23 57K 
[ ]dist_1__t8_dist_12025-09-12 07:15 47K 
[ ]dist_1__t9_dist_12025-09-12 07:24 58K 
[ ]dist_1__t10_dist_12025-09-12 07:26 83K 
[ ]dist_1__t11_dist_12025-09-12 07:28 57K 
[ ]dist_1__t12_dist_12025-09-12 07:29 64K 
[ ]dist_1__t13_dist_12025-09-12 07:31 83K 
[ ]dist_1__t14_dist_12025-09-12 07:33 68K 
[ ]dist_1__t15_dist_12025-09-12 07:34 52K 
[ ]dist_1__t16_dist_12025-09-12 07:36 71K 
[ ]dist_1__t17_dist_12025-09-12 07:37 61K 
[ ]dist_1__t18_dist_12025-09-12 07:39 85K 
[ ]dist_1__t19_dist_12025-09-12 07:41 57K 
[ ]dist_1__t20_dist_12025-09-12 07:43 58K 
[ ]dist_1__t21_dist_12025-09-12 07:44 55K 
[ ]dist_1__t22_dist_12025-09-12 07:46 60K 
[ ]dist_1__t23_dist_12025-09-12 07:47 66K 
[ ]dist_1__t24_dist_12025-09-12 07:49 72K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80