Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/comseq_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]comseq_1__t1_comseq_12024-07-28 00:33 23K 
[ ]comseq_1__t1_comseq_1.depv12024-08-03 10:19 206  
[ ]comseq_1__t1_comseq_1.depvmin12024-08-03 10:24 206  
[ ]comseq_1__t1_comseq_1.vmin12024-08-03 10:19 2.1K 
[ ]comseq_1__t1_comseq_1.vmin1out2024-08-03 10:21 38K 
[ ]comseq_1__t1_comseq_1.vout2024-08-03 07:29 38K 
[ ]comseq_1__t2_comseq_12024-07-28 00:34 21K 
[ ]comseq_1__t2_comseq_1.depv12024-08-03 10:19 70  
[ ]comseq_1__t2_comseq_1.depvmin12024-08-03 10:24 70  
[ ]comseq_1__t2_comseq_1.vmin12024-08-03 10:19 1.1K 
[ ]comseq_1__t2_comseq_1.vmin1out2024-08-03 10:22 25K 
[ ]comseq_1__t2_comseq_1.vout2024-08-03 08:15 26K 
[ ]comseq_1__t3_comseq_12024-07-28 00:35 24K 
[ ]comseq_1__t3_comseq_1.depv12024-08-03 10:19 133  
[ ]comseq_1__t3_comseq_1.depvmin12024-08-03 10:24 133  
[ ]comseq_1__t3_comseq_1.vmin12024-08-03 10:19 1.3K 
[ ]comseq_1__t3_comseq_1.vmin1out2024-08-03 10:20 26K 
[ ]comseq_1__t3_comseq_1.vout2024-08-03 09:58 26K 
[ ]comseq_1__t4_comseq_12024-07-28 00:36 22K 
[ ]comseq_1__t4_comseq_1.depv12024-08-03 10:19 130  
[ ]comseq_1__t4_comseq_1.depvmin12024-08-03 10:24 130  
[ ]comseq_1__t4_comseq_1.vmin12024-08-03 10:19 1.6K 
[ ]comseq_1__t4_comseq_1.vmin1out2024-08-03 10:21 29K 
[ ]comseq_1__t4_comseq_1.vout2024-08-03 09:27 20K 
[ ]comseq_1__t5_comseq_12024-07-28 00:25 25K 
[ ]comseq_1__t5_comseq_1.depv12024-08-03 10:19 187  
[ ]comseq_1__t5_comseq_1.depvmin12024-08-03 10:24 187  
[ ]comseq_1__t5_comseq_1.vmin12024-08-03 10:19 1.4K 
[ ]comseq_1__t5_comseq_1.vmin1out2024-08-03 10:21 11K 
[ ]comseq_1__t5_comseq_1.vout2024-08-03 05:56 10K 
[ ]comseq_1__t6_comseq_12024-07-28 00:37 24K 
[ ]comseq_1__t6_comseq_1.vout2024-08-03 07:17 8.4K 
[ ]comseq_1__t7_comseq_12024-07-28 00:38 29K 
[ ]comseq_1__t7_comseq_1.vout2024-08-03 09:39 4.1K 
[ ]comseq_1__t8_comseq_12024-07-28 00:39 30K 
[ ]comseq_1__t8_comseq_1.vout2024-08-03 06:43 4.1K 
[ ]comseq_1__t9_comseq_12024-07-28 00:40 38K 
[ ]comseq_1__t9_comseq_1.vout2024-08-03 08:55 4.1K 
[ ]comseq_1__t10_comseq_12024-07-28 00:25 33K 
[ ]comseq_1__t10_comseq_1.depv12024-08-03 10:19 247  
[ ]comseq_1__t10_comseq_1.depvmin12024-08-03 10:24 247  
[ ]comseq_1__t10_comseq_1.vmin12024-08-03 10:19 4.1K 
[ ]comseq_1__t10_comseq_1.vmin1out2024-08-03 10:22 112K 
[ ]comseq_1__t10_comseq_1.vout2024-08-03 08:50 110K 
[ ]comseq_1__t11_comseq_12024-07-28 00:27 30K 
[ ]comseq_1__t11_comseq_1.depv12024-08-03 10:19 213  
[ ]comseq_1__t11_comseq_1.depvmin12024-08-03 10:24 213  
[ ]comseq_1__t11_comseq_1.vmin12024-08-03 10:19 1.9K 
[ ]comseq_1__t11_comseq_1.vmin1out2024-08-03 10:21 17K 
[ ]comseq_1__t11_comseq_1.vout2024-08-03 09:47 17K 
[ ]comseq_1__t12_comseq_12024-07-28 00:41 34K 
[ ]comseq_1__t12_comseq_1.vout2024-08-03 05:56 4.1K 
[ ]comseq_1__t13_comseq_12024-07-28 00:42 34K 
[ ]comseq_1__t13_comseq_1.vout2024-08-03 06:00 4.1K 
[ ]comseq_1__t14_comseq_12024-07-28 00:43 47K 
[ ]comseq_1__t14_comseq_1.vout2024-08-03 04:32 4.7K 
[ ]comseq_1__t15_comseq_12024-07-28 00:28 44K 
[ ]comseq_1__t15_comseq_1.vout2024-08-03 07:32 4.1K 
[ ]comseq_1__t16_comseq_12024-07-28 00:45 36K 
[ ]comseq_1__t16_comseq_1.vout2024-08-03 09:38 4.1K 
[ ]comseq_1__t17_comseq_12024-07-28 00:46 28K 
[ ]comseq_1__t17_comseq_1.vout2024-08-03 04:56 4.1K 
[ ]comseq_1__t18_comseq_12024-07-28 00:47 42K 
[ ]comseq_1__t18_comseq_1.vout2024-08-03 09:59 4.7K 
[ ]comseq_1__t19_comseq_12024-07-28 00:48 37K 
[ ]comseq_1__t19_comseq_1.vout2024-08-03 06:24 4.1K 
[ ]comseq_1__t20_comseq_12024-07-28 00:49 41K 
[ ]comseq_1__t20_comseq_1.vout2024-08-03 04:25 4.7K 
[ ]comseq_1__t21_comseq_12024-07-28 00:50 28K 
[ ]comseq_1__t21_comseq_1.vout2024-08-03 05:57 4.7K 
[ ]comseq_1__t22_comseq_12024-07-28 00:29 29K 
[ ]comseq_1__t22_comseq_1.depv12024-08-03 10:19 78  
[ ]comseq_1__t22_comseq_1.depvmin12024-08-03 10:24 78  
[ ]comseq_1__t22_comseq_1.vmin12024-08-03 10:19 743  
[ ]comseq_1__t22_comseq_1.vmin1out2024-08-03 10:21 7.0K 
[ ]comseq_1__t22_comseq_1.vout2024-08-03 10:07 7.9K 
[ ]comseq_1__t23_comseq_12024-07-28 00:30 39K 
[ ]comseq_1__t23_comseq_1.depv12024-08-03 10:19 314  
[ ]comseq_1__t23_comseq_1.depvmin12024-08-03 10:24 226  
[ ]comseq_1__t23_comseq_1.vmin12024-08-03 10:19 3.4K 
[ ]comseq_1__t23_comseq_1.vmin1out2024-08-03 10:22 22K 
[ ]comseq_1__t23_comseq_1.vout2024-08-03 05:04 42K 
[ ]comseq_1__t24_comseq_12024-07-28 00:51 41K 
[ ]comseq_1__t24_comseq_1.vout2024-08-03 06:27 4.7K 
[ ]comseq_1__t25_comseq_12024-07-28 00:52 40K 
[ ]comseq_1__t25_comseq_1.vout2024-08-03 09:36 4.1K 
[ ]comseq_1__t26_comseq_12024-07-28 00:31 36K 
[ ]comseq_1__t26_comseq_1.vout2024-08-03 07:39 4.1K 
[ ]comseq_1__t27_comseq_12024-07-28 00:53 26K 
[ ]comseq_1__t27_comseq_1.depv12024-08-03 10:19 326  
[ ]comseq_1__t27_comseq_1.depvmin12024-08-03 10:24 310  
[ ]comseq_1__t27_comseq_1.vmin12024-08-03 10:19 3.1K 
[ ]comseq_1__t27_comseq_1.vmin1out2024-08-03 10:20 41K 
[ ]comseq_1__t27_comseq_1.vout2024-08-03 09:00 57K 
[ ]comseq_1__t29_comseq_12024-07-28 00:54 32K 
[ ]comseq_1__t29_comseq_1.vout2024-08-03 05:13 2.0K 
[ ]comseq_1__t30_comseq_12024-07-28 00:56 35K 
[ ]comseq_1__t30_comseq_1.vout2024-08-03 06:53 4.1K 
[ ]comseq_1__t31_comseq_12024-07-28 00:57 43K 
[ ]comseq_1__t31_comseq_1.vout2024-08-03 07:12 4.7K 
[ ]comseq_1__t32_comseq_12024-07-28 00:58 38K 
[ ]comseq_1__t32_comseq_1.vout2024-08-03 09:21 4.1K 
[ ]comseq_1__t33_comseq_12024-07-28 00:59 33K 
[ ]comseq_1__t33_comseq_1.vout2024-08-03 07:30 2.0K 
[ ]comseq_1__t34_comseq_12024-07-28 01:00 35K 
[ ]comseq_1__t34_comseq_1.vout2024-08-03 10:16 4.1K 
[ ]comseq_1__t35_comseq_12024-07-28 01:01 34K 
[ ]comseq_1__t35_comseq_1.vout2024-08-03 09:14 4.1K 
[ ]comseq_1__t36_comseq_12024-07-28 01:02 36K 
[ ]comseq_1__t36_comseq_1.vout2024-08-03 08:29 4.1K 
[ ]comseq_1__t37_comseq_12024-07-28 01:03 44K 
[ ]comseq_1__t37_comseq_1.vout2024-08-03 10:10 4.7K 
[ ]comseq_1__t38_comseq_12024-07-28 01:05 29K 
[ ]comseq_1__t38_comseq_1.vout2024-08-03 05:58 7.4K 
[ ]comseq_1__t39_comseq_12024-07-28 00:32 29K 
[ ]comseq_1__t39_comseq_1.vout2024-08-03 07:20 2.0K 
[ ]comseq_1__t40_comseq_12024-07-28 01:06 33K 
[ ]comseq_1__t40_comseq_1.vout2024-08-03 10:02 4.1K 
[ ]comseq_1__t41_comseq_12024-07-28 01:07 36K 
[ ]comseq_1__t41_comseq_1.depv12024-08-03 10:19 232  
[ ]comseq_1__t41_comseq_1.depvmin12024-08-03 10:24 232  
[ ]comseq_1__t41_comseq_1.vmin12024-08-03 10:19 2.2K 
[ ]comseq_1__t41_comseq_1.vmin1out2024-08-03 10:22 17K 
[ ]comseq_1__t41_comseq_1.vout2024-08-03 09:38 22K 
[ ]comseq_1__t42_comseq_12024-07-28 01:08 44K 
[ ]comseq_1__t42_comseq_1.vout2024-08-03 06:16 4.7K 
[ ]comseq_1__t43_comseq_12024-07-28 01:09 53K 
[ ]comseq_1__t43_comseq_1.vout2024-08-03 06:03 4.1K 
[ ]comseq_1__t44_comseq_12024-07-28 01:10 54K 
[ ]comseq_1__t44_comseq_1.vout2024-08-03 06:22 4.1K 
[ ]comseq_1__t45_comseq_12024-07-28 01:11 35K 
[ ]comseq_1__t45_comseq_1.vout2024-08-03 09:04 4.1K 
[ ]comseq_1__t46_comseq_12024-07-28 01:13 37K 
[ ]comseq_1__t46_comseq_1.vout2024-08-03 05:14 4.1K 
[ ]comseq_1__t48_comseq_12024-07-28 01:14 35K 
[ ]comseq_1__t48_comseq_1.vout2024-08-03 05:01 4.7K 
[ ]comseq_1__t49_comseq_12024-07-28 01:15 39K 
[ ]comseq_1__t49_comseq_1.vout2024-08-03 09:49 4.1K 
[ ]comseq_1__t50_comseq_12024-07-28 01:16 35K 
[ ]comseq_1__t50_comseq_1.vout2024-08-03 06:20 4.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80