Index of /~mptp/mml5.63.1382/MPTP2/problems_small/seq_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]seq_1__t5_seq_1.depvmin12021-07-25 21:03 77  
[ ]seq_1__t5_seq_1.depv12021-07-25 20:57 90  
[ ]seq_1__t2_seq_1.depv12021-07-25 20:57 118  
[ ]seq_1__t2_seq_1.depvmin12021-07-25 21:03 118  
[ ]seq_1__l47_seq_1.depv12021-07-25 20:57 123  
[ ]seq_1__l47_seq_1.depvmin12021-07-25 21:03 123  
[ ]seq_1__t16_seq_1.depvmin12021-07-25 21:03 126  
[ ]seq_1__t4_seq_1.depv12021-07-25 20:57 127  
[ ]seq_1__t4_seq_1.depvmin12021-07-25 21:03 127  
[ ]seq_1__t16_seq_1.depv12021-07-25 20:57 151  
[ ]seq_1__t3_seq_1.depv12021-07-25 20:57 183  
[ ]seq_1__t3_seq_1.depvmin12021-07-25 21:03 183  
[ ]seq_1__t47_seq_1.depv12021-07-25 20:57 211  
[ ]seq_1__t47_seq_1.depvmin12021-07-25 21:03 211  
[ ]seq_1__t1_seq_1.depv12021-07-25 20:57 235  
[ ]seq_1__t1_seq_1.depvmin12021-07-25 21:03 235  
[ ]seq_1__t17_seq_1.depvmin12021-07-25 21:03 296  
[ ]seq_1__t45_seq_1.depv12021-07-25 20:57 322  
[ ]seq_1__t45_seq_1.depvmin12021-07-25 21:03 322  
[ ]seq_1__t33_seq_1.depv12021-07-25 20:57 336  
[ ]seq_1__t33_seq_1.depvmin12021-07-25 21:03 336  
[ ]seq_1__t17_seq_1.depv12021-07-25 20:57 341  
[ ]seq_1__l47_seq_1.vmin12021-07-25 20:57 665  
[ ]seq_1__t5_seq_1.vmin12021-07-25 20:57 1.0K 
[ ]seq_1__t4_seq_1.vmin12021-07-25 20:57 1.3K 
[ ]seq_1__t2_seq_1.vmin12021-07-25 20:57 1.3K 
[ ]seq_1__t3_seq_1.vmin12021-07-25 20:57 1.4K 
[ ]seq_1__t57_seq_1.vout2021-07-25 18:48 2.0K 
[ ]seq_1__t39_seq_1.vout2021-07-25 14:53 2.0K 
[ ]seq_1__t1_seq_1.vmin12021-07-25 20:57 2.3K 
[ ]seq_1__t47_seq_1.vmin12021-07-25 20:57 2.3K 
[ ]seq_1__t45_seq_1.vmin12021-07-25 20:57 2.6K 
[ ]seq_1__t17_seq_1.vmin12021-07-25 20:57 3.1K 
[ ]seq_1__t33_seq_1.vmin12021-07-25 20:57 3.2K 
[ ]seq_1__t16_seq_1.vmin12021-07-25 20:57 3.3K 
[ ]seq_1__l47_seq_1.vmin1out2021-07-25 21:02 4.2K 
[ ]seq_1__l47_seq_1.vout2021-07-25 18:54 4.5K 
[ ]seq_1__t7_seq_1.vout2021-07-25 20:53 4.6K 
[ ]seq_1__t15_seq_1.vout2021-07-25 15:36 4.6K 
[ ]seq_1__t9_seq_1.vout2021-07-25 17:43 4.6K 
[ ]seq_1__t27_seq_1.vout2021-07-25 15:36 4.6K 
[ ]seq_1__t24_seq_1.vout2021-07-25 16:58 4.6K 
[ ]seq_1__t41_seq_1.vout2021-07-25 16:59 4.6K 
[ ]seq_1__t8_seq_1.vout2021-07-25 15:31 4.7K 
[ ]seq_1__t30_seq_1.vout2021-07-25 15:42 4.7K 
[ ]seq_1__t43_seq_1.vout2021-07-25 15:45 4.7K 
[ ]seq_1__t10_seq_1.vout2021-07-25 17:45 4.7K 
[ ]seq_1__t13_seq_1.vout2021-07-25 19:52 4.7K 
[ ]seq_1__t14_seq_1.vout2021-07-25 15:03 4.7K 
[ ]seq_1__t18_seq_1.vout2021-07-25 17:18 4.7K 
[ ]seq_1__t22_seq_1.vout2021-07-25 20:23 4.7K 
[ ]seq_1__t25_seq_1.vout2021-07-25 19:40 4.7K 
[ ]seq_1__t26_seq_1.vout2021-07-25 18:50 4.7K 
[ ]seq_1__t29_seq_1.vout2021-07-25 20:11 4.7K 
[ ]seq_1__t32_seq_1.vout2021-07-25 18:59 4.7K 
[ ]seq_1__t36_seq_1.vout2021-07-25 16:00 4.7K 
[ ]seq_1__t38_seq_1.vout2021-07-25 15:55 4.7K 
[ ]seq_1__t40_seq_1.vout2021-07-25 14:56 4.7K 
[ ]seq_1__t46_seq_1.vout2021-07-25 19:52 4.7K 
[ ]seq_1__t48_seq_1.vout2021-07-25 19:00 4.7K 
[ ]seq_1__t49_seq_1.vout2021-07-25 14:28 4.7K 
[ ]seq_1__t50_seq_1.vout2021-07-25 17:45 4.7K 
[ ]seq_1__t51_seq_1.vout2021-07-25 14:45 4.7K 
[ ]seq_1__t54_seq_1.vout2021-07-25 17:32 4.7K 
[ ]seq_1__t56_seq_1.vout2021-07-25 18:33 4.7K 
[ ]seq_1__t20_seq_1.vout2021-07-25 17:32 4.7K 
[ ]seq_1__t42_seq_1.vout2021-07-25 17:02 4.7K 
[ ]seq_1__t53_seq_1.vout2021-07-25 15:04 4.7K 
[ ]seq_1__t12_seq_1.vout2021-07-25 17:56 4.7K 
[ ]seq_1__t19_seq_1.vout2021-07-25 17:59 4.7K 
[ ]seq_1__t23_seq_1.vout2021-07-25 16:30 4.7K 
[ ]seq_1__t11_seq_1.vout2021-07-25 20:36 4.7K 
[ ]seq_1__t21_seq_1.vout2021-07-25 19:27 4.7K 
[ ]seq_1__t37_seq_1.vout2021-07-25 20:31 4.7K 
[ ]seq_1__t55_seq_1.vout2021-07-25 18:11 4.7K 
[ ]seq_1__t35_seq_1.vout2021-07-25 15:15 4.7K 
[ ]seq_1__t44_seq_1.vout2021-07-25 18:20 4.7K 
[ ]seq_1__t31_seq_1.vout2021-07-25 19:31 4.7K 
[ ]seq_1__t52_seq_1.vout2021-07-25 14:57 4.7K 
[ ]seq_1__t6_seq_1.vout2021-07-25 20:43 8.3K 
[ ]seq_1__t3_seq_1.vout2021-07-25 19:43 10K 
[ ]seq_1__l47_seq_12021-07-18 03:33 10K 
[ ]seq_1__t3_seq_1.vmin1out2021-07-25 20:59 11K 
[ ]seq_1__t5_seq_1.vmin1out2021-07-25 21:00 15K 
[ ]seq_1__t5_seq_1.vout2021-07-25 16:53 15K 
[ ]seq_1__t47_seq_1.vmin1out2021-07-25 20:59 18K 
[ ]seq_1__t45_seq_1.vmin1out2021-07-25 20:58 20K 
[ ]seq_1__t17_seq_1.vmin1out2021-07-25 21:00 22K 
[ ]seq_1__t2_seq_12021-07-18 03:34 22K 
[ ]seq_1__t5_seq_12021-07-18 03:34 22K 
[ ]seq_1__t3_seq_12021-07-18 03:29 22K 
[ ]seq_1__t2_seq_1.vmin1out2021-07-25 21:00 22K 
[ ]seq_1__t47_seq_1.vout2021-07-25 16:24 23K 
[ ]seq_1__t1_seq_12021-07-18 03:33 23K 
[ ]seq_1__t6_seq_12021-07-18 03:35 24K 
[ ]seq_1__t4_seq_12021-07-18 03:34 24K 
[ ]seq_1__t4_seq_1.vout2021-07-25 15:01 26K 
[ ]seq_1__t4_seq_1.vmin1out2021-07-25 21:01 26K 
[ ]seq_1__t33_seq_12021-07-18 03:44 26K 
[ ]seq_1__t16_seq_1.vout2021-07-25 16:14 26K 
[ ]seq_1__t57_seq_12021-07-18 03:32 26K 
[ ]seq_1__t53_seq_12021-07-18 03:51 27K 
[ ]seq_1__t12_seq_12021-07-18 03:37 27K 
[ ]seq_1__t45_seq_12021-07-18 03:32 29K 
[ ]seq_1__t17_seq_1.vout2021-07-25 15:27 29K 
[ ]seq_1__t17_seq_12021-07-18 03:30 29K 
[ ]seq_1__t9_seq_12021-07-18 03:36 29K 
[ ]seq_1__t27_seq_12021-07-18 03:42 30K 
[ ]seq_1__t23_seq_12021-07-18 03:41 30K 
[ ]seq_1__t44_seq_12021-07-18 03:48 30K 
[ ]seq_1__t10_seq_12021-07-18 03:37 32K 
[ ]seq_1__t13_seq_12021-07-18 03:37 32K 
[ ]seq_1__t14_seq_12021-07-18 03:38 32K 
[ ]seq_1__t39_seq_12021-07-18 03:46 33K 
[ ]seq_1__t16_seq_12021-07-18 03:29 33K 
[ ]seq_1__t2_seq_1.vout2021-07-25 19:46 33K 
[ ]seq_1__t54_seq_12021-07-18 03:52 33K 
[ ]seq_1__t1_seq_1.vmin1out2021-07-25 20:58 33K 
[ ]seq_1__t56_seq_12021-07-18 03:53 33K 
[ ]seq_1__t35_seq_12021-07-18 03:44 34K 
[ ]seq_1__t46_seq_12021-07-18 03:49 34K 
[ ]seq_1__t41_seq_12021-07-18 03:47 34K 
[ ]seq_1__t7_seq_12021-07-18 03:35 35K 
[ ]seq_1__t8_seq_12021-07-18 03:36 35K 
[ ]seq_1__t42_seq_12021-07-18 03:47 35K 
[ ]seq_1__t47_seq_12021-07-18 03:32 35K 
[ ]seq_1__t51_seq_12021-07-18 03:50 35K 
[ ]seq_1__t32_seq_12021-07-18 03:31 36K 
[ ]seq_1__t52_seq_12021-07-18 03:51 36K 
[ ]seq_1__t45_seq_1.vout2021-07-25 20:11 36K 
[ ]seq_1__t40_seq_12021-07-18 03:46 36K 
[ ]seq_1__t18_seq_12021-07-18 03:39 36K 
[ ]seq_1__t19_seq_12021-07-18 03:39 36K 
[ ]seq_1__t36_seq_12021-07-18 03:45 37K 
[ ]seq_1__t55_seq_12021-07-18 03:52 37K 
[ ]seq_1__t1_seq_1.vout2021-07-25 14:44 37K 
[ ]seq_1__t25_seq_12021-07-18 03:42 38K 
[ ]seq_1__t22_seq_12021-07-18 03:40 38K 
[ ]seq_1__t16_seq_1.vmin1out2021-07-25 21:01 38K 
[ ]seq_1__t11_seq_12021-07-18 03:29 39K 
[ ]seq_1__t29_seq_12021-07-18 03:31 39K 
[ ]seq_1__t38_seq_12021-07-18 03:46 40K 
[ ]seq_1__t31_seq_12021-07-18 03:43 40K 
[ ]seq_1__t15_seq_12021-07-18 03:38 41K 
[ ]seq_1__t26_seq_12021-07-18 03:42 41K 
[ ]seq_1__t30_seq_12021-07-18 03:43 41K 
[ ]seq_1__t24_seq_12021-07-18 03:41 42K 
[ ]seq_1__t21_seq_12021-07-18 03:30 44K 
[ ]seq_1__t37_seq_12021-07-18 03:45 45K 
[ ]seq_1__t48_seq_12021-07-18 03:49 46K 
[ ]seq_1__t43_seq_12021-07-18 03:48 46K 
[ ]seq_1__t20_seq_12021-07-18 03:40 47K 
[ ]seq_1__t33_seq_1.vmin1out2021-07-25 21:00 50K 
[ ]seq_1__t49_seq_12021-07-18 03:50 52K 
[ ]seq_1__t50_seq_12021-07-18 03:50 54K 
[ ]seq_1__t33_seq_1.vout2021-07-25 18:21 60K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80