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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]seq_1__l47_seq_12025-09-13 09:46 17K 
[ ]seq_1__s1_seq_12025-09-13 09:48 40K 
[ ]seq_1__s2_seq_12025-09-13 09:49 53K 
[ ]seq_1__s3_seq_12025-09-13 09:50 36K 
[ ]seq_1__s4_seq_12025-09-13 09:52 37K 
[ ]seq_1__t1_seq_12025-09-13 09:53 41K 
[ ]seq_1__t2_seq_12025-09-13 09:54 38K 
[ ]seq_1__t3_seq_12025-09-13 09:34 39K 
[ ]seq_1__t4_seq_12025-09-13 09:55 42K 
[ ]seq_1__t5_seq_12025-09-13 09:57 39K 
[ ]seq_1__t6_seq_12025-09-13 09:58 41K 
[ ]seq_1__t7_seq_12025-09-13 09:59 58K 
[ ]seq_1__t8_seq_12025-09-13 10:00 58K 
[ ]seq_1__t9_seq_12025-09-13 10:02 50K 
[ ]seq_1__t10_seq_12025-09-13 10:03 54K 
[ ]seq_1__t11_seq_12025-09-13 09:35 64K 
[ ]seq_1__t12_seq_12025-09-13 10:04 47K 
[ ]seq_1__t13_seq_12025-09-13 10:06 54K 
[ ]seq_1__t14_seq_12025-09-13 10:07 54K 
[ ]seq_1__t15_seq_12025-09-13 10:08 67K 
[ ]seq_1__t16_seq_12025-09-13 09:37 55K 
[ ]seq_1__t17_seq_12025-09-13 09:38 50K 
[ ]seq_1__t18_seq_12025-09-13 10:10 61K 
[ ]seq_1__t19_seq_12025-09-13 10:11 61K 
[ ]seq_1__t20_seq_12025-09-13 10:12 75K 
[ ]seq_1__t21_seq_12025-09-13 09:39 71K 
[ ]seq_1__t22_seq_12025-09-13 10:14 63K 
[ ]seq_1__t23_seq_12025-09-13 10:15 51K 
[ ]seq_1__t24_seq_12025-09-13 10:16 68K 
[ ]seq_1__t25_seq_12025-09-13 10:18 62K 
[ ]seq_1__t26_seq_12025-09-13 10:19 67K 
[ ]seq_1__t27_seq_12025-09-13 10:20 50K 
[ ]seq_1__t29_seq_12025-09-13 09:40 64K 
[ ]seq_1__t30_seq_12025-09-13 10:22 67K 
[ ]seq_1__t31_seq_12025-09-13 10:23 65K 
[ ]seq_1__t32_seq_12025-09-13 09:42 59K 
[ ]seq_1__t33_seq_12025-09-13 10:24 45K 
[ ]seq_1__t35_seq_12025-09-13 10:26 57K 
[ ]seq_1__t36_seq_12025-09-13 10:27 61K 
[ ]seq_1__t37_seq_12025-09-13 10:28 74K 
[ ]seq_1__t38_seq_12025-09-13 10:30 65K 
[ ]seq_1__t39_seq_12025-09-13 10:31 55K 
[ ]seq_1__t40_seq_12025-09-13 10:32 60K 
[ ]seq_1__t41_seq_12025-09-13 10:34 57K 
[ ]seq_1__t42_seq_12025-09-13 10:35 57K 
[ ]seq_1__t43_seq_12025-09-13 10:36 75K 
[ ]seq_1__t44_seq_12025-09-13 10:38 52K 
[ ]seq_1__t45_seq_12025-09-13 09:43 49K 
[ ]seq_1__t46_seq_12025-09-13 10:39 57K 
[ ]seq_1__t47_seq_12025-09-13 09:44 58K 
[ ]seq_1__t48_seq_12025-09-13 10:41 74K 
[ ]seq_1__t49_seq_12025-09-13 10:42 84K 
[ ]seq_1__t50_seq_12025-09-13 10:43 85K 
[ ]seq_1__t51_seq_12025-09-13 10:45 58K 
[ ]seq_1__t52_seq_12025-09-13 10:46 60K 
[ ]seq_1__t53_seq_12025-09-13 10:47 46K 
[ ]seq_1__t54_seq_12025-09-13 10:49 56K 
[ ]seq_1__t55_seq_12025-09-13 10:50 61K 
[ ]seq_1__t56_seq_12025-09-13 10:51 56K 
[ ]seq_1__t57_seq_12025-09-13 09:46 46K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80