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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]substut1__l10_substut12025-09-12 20:48 67K 
[ ]substut1__l18_substut12025-09-12 20:49 24K 
[ ]substut1__l26_substut12025-09-12 20:50 53K 
[ ]substut1__l27_substut12025-09-12 20:52 43K 
[ ]substut1__l28_substut12025-09-12 20:53 52K 
[ ]substut1__l70_substut12025-09-12 20:55 70K 
[ ]substut1__l79_substut12025-09-12 20:56 53K 
[ ]substut1__s1_substut12025-09-12 19:50 74K 
[ ]substut1__s2_substut12025-09-12 19:51 63K 
[ ]substut1__s3_substut12025-09-12 19:53 55K 
[ ]substut1__s4_substut12025-09-12 19:56 73K 
[ ]substut1__s5_substut12025-09-12 19:58 74K 
[ ]substut1__t1_substut12025-09-12 19:59 39K 
[ ]substut1__t2_substut12025-09-12 20:01 51K 
[ ]substut1__t3_substut12025-09-12 19:38 51K 
[ ]substut1__t4_substut12025-09-12 19:39 51K 
[ ]substut1__t5_substut12025-09-12 19:41 51K 
[ ]substut1__t6_substut12025-09-12 19:42 51K 
[ ]substut1__t7_substut12025-09-12 20:02 63K 
[ ]substut1__t8_substut12025-09-12 20:04 58K 
[ ]substut1__t9_substut12025-09-12 20:05 47K 
[ ]substut1__t10_substut12025-09-12 20:07 39K 
[ ]substut1__t11_substut12025-09-12 20:08 46K 
[ ]substut1__t12_substut12025-09-12 20:10 60K 
[ ]substut1__t13_substut12025-09-12 19:44 37K 
[ ]substut1__t14_substut12025-09-12 19:45 37K 
[ ]substut1__t15_substut12025-09-12 20:11 52K 
[ ]substut1__t16_substut12025-09-12 19:46 52K 
[ ]substut1__t17_substut12025-09-12 20:13 53K 
[ ]substut1__t18_substut12025-09-12 20:14 38K 
[ ]substut1__t19_substut12025-09-12 20:15 38K 
[ ]substut1__t20_substut12025-09-12 20:17 59K 
[ ]substut1__t21_substut12025-09-12 20:18 39K 
[ ]substut1__t22_substut12025-09-12 20:19 54K 
[ ]substut1__t23_substut12025-09-12 20:21 56K 
[ ]substut1__t24_substut12025-09-12 20:23 58K 
[ ]substut1__t25_substut12025-09-12 20:25 66K 
[ ]substut1__t26_substut12025-09-12 20:26 41K 
[ ]substut1__t27_substut12025-09-12 20:27 41K 
[ ]substut1__t28_substut12025-09-12 20:29 69K 
[ ]substut1__t29_substut12025-09-12 20:31 53K 
[ ]substut1__t30_substut12025-09-12 20:33 69K 
[ ]substut1__t31_substut12025-09-12 20:34 52K 
[ ]substut1__t32_substut12025-09-12 20:36 69K 
[ ]substut1__t33_substut12025-09-12 20:38 64K 
[ ]substut1__t34_substut12025-09-12 20:39 40K 
[ ]substut1__t35_substut12025-09-12 20:42 76K 
[ ]substut1__t36_substut12025-09-12 20:43 54K 
[ ]substut1__t37_substut12025-09-12 20:45 52K 
[ ]substut1__t38_substut12025-09-12 20:46 57K 
[ ]substut1__t39_substut12025-09-12 19:47 37K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80