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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]comseq_3__l1_comseq_32024-07-27 01:43 15K 
[ ]comseq_3__l1_comseq_3.depv12024-08-03 10:19 197  
[ ]comseq_3__l1_comseq_3.depvmin12024-08-03 10:24 171  
[ ]comseq_3__l1_comseq_3.vmin12024-08-03 10:19 923  
[ ]comseq_3__l1_comseq_3.vmin1out2024-08-03 10:22 5.7K 
[ ]comseq_3__l1_comseq_3.vout2024-08-03 09:12 7.1K 
[ ]comseq_3__l5_comseq_32024-07-27 01:44 28K 
[ ]comseq_3__l5_comseq_3.depv12024-08-03 10:19 105  
[ ]comseq_3__l5_comseq_3.depvmin12024-08-03 10:24 105  
[ ]comseq_3__l5_comseq_3.vmin12024-08-03 10:19 842  
[ ]comseq_3__l5_comseq_3.vmin1out2024-08-03 10:22 7.5K 
[ ]comseq_3__l5_comseq_3.vout2024-08-03 09:29 6.8K 
[ ]comseq_3__l13_comseq_32024-07-27 03:14 29K 
[ ]comseq_3__l13_comseq_3.depv12024-08-03 10:19 387  
[ ]comseq_3__l13_comseq_3.depvmin12024-08-03 10:24 237  
[ ]comseq_3__l13_comseq_3.vmin12024-08-03 10:19 3.7K 
[ ]comseq_3__l13_comseq_3.vmin1out2024-08-03 10:21 31K 
[ ]comseq_3__l13_comseq_3.vout2024-08-03 04:40 64K 
[ ]comseq_3__t1_comseq_32024-07-27 01:34 112K 
[ ]comseq_3__t1_comseq_3.depv12024-08-03 10:19 789  
[ ]comseq_3__t1_comseq_3.depvmin12024-08-03 10:24 463  
[ ]comseq_3__t1_comseq_3.vmin12024-08-03 10:19 4.4K 
[ ]comseq_3__t1_comseq_3.vmin1out2024-08-03 10:21 26K 
[ ]comseq_3__t1_comseq_3.vout2024-08-03 05:45 37K 
[ ]comseq_3__t2_comseq_32024-07-27 01:45 39K 
[ ]comseq_3__t2_comseq_3.vout2024-08-03 07:51 4.7K 
[ ]comseq_3__t3_comseq_32024-07-27 01:47 42K 
[ ]comseq_3__t3_comseq_3.vout2024-08-03 06:54 2.0K 
[ ]comseq_3__t4_comseq_32024-07-27 01:48 52K 
[ ]comseq_3__t4_comseq_3.vout2024-08-03 07:08 2.0K 
[ ]comseq_3__t5_comseq_32024-07-27 01:50 43K 
[ ]comseq_3__t5_comseq_3.vout2024-08-03 08:19 6.8K 
[ ]comseq_3__t6_comseq_32024-07-27 01:51 43K 
[ ]comseq_3__t6_comseq_3.vout2024-08-03 10:18 6.8K 
[ ]comseq_3__t7_comseq_32024-07-27 01:52 41K 
[ ]comseq_3__t7_comseq_3.vout2024-08-03 06:58 6.8K 
[ ]comseq_3__t8_comseq_32024-07-27 01:54 45K 
[ ]comseq_3__t8_comseq_3.vout2024-08-03 09:17 6.8K 
[ ]comseq_3__t9_comseq_32024-07-27 01:55 37K 
[ ]comseq_3__t9_comseq_3.vout2024-08-03 10:15 6.8K 
[ ]comseq_3__t10_comseq_32024-07-27 01:56 64K 
[ ]comseq_3__t10_comseq_3.vout2024-08-03 08:48 2.0K 
[ ]comseq_3__t11_comseq_32024-07-27 01:35 25K 
[ ]comseq_3__t11_comseq_3.depv12024-08-03 10:19 97  
[ ]comseq_3__t11_comseq_3.depvmin12024-08-03 10:24 97  
[ ]comseq_3__t11_comseq_3.vmin12024-08-03 10:19 474  
[ ]comseq_3__t11_comseq_3.vmin1out2024-08-03 10:22 4.3K 
[ ]comseq_3__t11_comseq_3.vout2024-08-03 05:53 4.1K 
[ ]comseq_3__t12_comseq_32024-07-27 01:57 33K 
[ ]comseq_3__t12_comseq_3.vout2024-08-03 06:51 2.0K 
[ ]comseq_3__t13_comseq_32024-07-27 01:58 21K 
[ ]comseq_3__t13_comseq_3.vout2024-08-03 06:06 2.0K 
[ ]comseq_3__t14_comseq_32024-07-27 01:59 29K 
[ ]comseq_3__t14_comseq_3.vout2024-08-03 08:56 4.1K 
[ ]comseq_3__t15_comseq_32024-07-27 02:00 40K 
[ ]comseq_3__t15_comseq_3.vout2024-08-03 09:13 4.1K 
[ ]comseq_3__t16_comseq_32024-07-27 02:02 39K 
[ ]comseq_3__t16_comseq_3.vout2024-08-03 04:24 4.1K 
[ ]comseq_3__t17_comseq_32024-07-27 02:03 31K 
[ ]comseq_3__t17_comseq_3.vout2024-08-03 05:26 2.0K 
[ ]comseq_3__t18_comseq_32024-07-27 02:04 52K 
[ ]comseq_3__t18_comseq_3.vout2024-08-03 07:57 4.1K 
[ ]comseq_3__t19_comseq_32024-07-27 02:05 36K 
[ ]comseq_3__t19_comseq_3.vout2024-08-03 07:34 4.1K 
[ ]comseq_3__t20_comseq_32024-07-27 02:07 67K 
[ ]comseq_3__t20_comseq_3.vout2024-08-03 09:02 4.7K 
[ ]comseq_3__t21_comseq_32024-07-27 02:08 73K 
[ ]comseq_3__t21_comseq_3.vout2024-08-03 05:08 4.7K 
[ ]comseq_3__t22_comseq_32024-07-27 02:10 37K 
[ ]comseq_3__t22_comseq_3.vout2024-08-03 04:45 4.1K 
[ ]comseq_3__t24_comseq_32024-07-27 02:11 30K 
[ ]comseq_3__t24_comseq_3.depv12024-08-03 10:19 290  
[ ]comseq_3__t24_comseq_3.depvmin12024-08-03 10:24 274  
[ ]comseq_3__t24_comseq_3.vmin12024-08-03 10:19 2.9K 
[ ]comseq_3__t24_comseq_3.vmin1out2024-08-03 10:22 42K 
[ ]comseq_3__t24_comseq_3.vout2024-08-03 04:09 43K 
[ ]comseq_3__t25_comseq_32024-07-27 02:12 33K 
[ ]comseq_3__t25_comseq_3.vout2024-08-03 05:48 6.8K 
[ ]comseq_3__t26_comseq_32024-07-27 02:13 36K 
[ ]comseq_3__t26_comseq_3.vout2024-08-03 09:38 4.7K 
[ ]comseq_3__t27_comseq_32024-07-27 01:36 32K 
[ ]comseq_3__t27_comseq_3.depv12024-08-03 10:19 349  
[ ]comseq_3__t27_comseq_3.depvmin12024-08-03 10:24 170  
[ ]comseq_3__t27_comseq_3.vmin12024-08-03 10:19 4.8K 
[ ]comseq_3__t27_comseq_3.vmin1out2024-08-03 10:21 27K 
[ ]comseq_3__t27_comseq_3.vout2024-08-03 07:58 88K 
[ ]comseq_3__t28_comseq_32024-07-27 02:15 47K 
[ ]comseq_3__t28_comseq_3.vout2024-08-03 06:34 4.1K 
[ ]comseq_3__t29_comseq_32024-07-27 02:16 37K 
[ ]comseq_3__t29_comseq_3.vout2024-08-03 04:35 4.7K 
[ ]comseq_3__t30_comseq_32024-07-27 02:17 36K 
[ ]comseq_3__t30_comseq_3.vout2024-08-03 08:45 6.8K 
[ ]comseq_3__t31_comseq_32024-07-27 02:18 55K 
[ ]comseq_3__t31_comseq_3.vout2024-08-03 09:42 6.8K 
[ ]comseq_3__t33_comseq_32024-07-27 02:20 54K 
[ ]comseq_3__t33_comseq_3.vout2024-08-03 05:21 4.7K 
[ ]comseq_3__t34_comseq_32024-07-27 02:21 31K 
[ ]comseq_3__t34_comseq_3.depv12024-08-03 10:19 225  
[ ]comseq_3__t34_comseq_3.depvmin12024-08-03 10:24 209  
[ ]comseq_3__t34_comseq_3.vmin12024-08-03 10:19 2.7K 
[ ]comseq_3__t34_comseq_3.vmin1out2024-08-03 10:22 24K 
[ ]comseq_3__t34_comseq_3.vout2024-08-03 06:50 40K 
[ ]comseq_3__t35_comseq_32024-07-27 02:22 32K 
[ ]comseq_3__t35_comseq_3.vout2024-08-03 09:44 6.8K 
[ ]comseq_3__t36_comseq_32024-07-27 02:24 48K 
[ ]comseq_3__t36_comseq_3.vout2024-08-03 07:43 7.3K 
[ ]comseq_3__t37_comseq_32024-07-27 02:25 45K 
[ ]comseq_3__t37_comseq_3.vout2024-08-03 05:18 4.7K 
[ ]comseq_3__t38_comseq_32024-07-27 02:26 139K 
[ ]comseq_3__t38_comseq_3.vout2024-08-03 08:00 2.0K 
[ ]comseq_3__t39_comseq_32024-07-27 02:28 140K 
[ ]comseq_3__t39_comseq_3.vout2024-08-03 06:44 6.8K 
[ ]comseq_3__t40_comseq_32024-07-27 02:29 45K 
[ ]comseq_3__t40_comseq_3.vout2024-08-03 05:07 6.8K 
[ ]comseq_3__t41_comseq_32024-07-27 02:31 31K 
[ ]comseq_3__t41_comseq_3.depv12024-08-03 10:19 80  
[ ]comseq_3__t41_comseq_3.depvmin12024-08-03 10:24 80  
[ ]comseq_3__t41_comseq_3.vmin12024-08-03 10:19 2.7K 
[ ]comseq_3__t41_comseq_3.vmin1out2024-08-03 10:22 88K 
[ ]comseq_3__t41_comseq_3.vout2024-08-03 04:17 109K 
[ ]comseq_3__t42_comseq_32024-07-27 02:32 51K 
[ ]comseq_3__t42_comseq_3.vout2024-08-03 09:53 6.8K 
[ ]comseq_3__t43_comseq_32024-07-27 02:34 54K 
[ ]comseq_3__t43_comseq_3.vout2024-08-03 05:55 4.7K 
[ ]comseq_3__t44_comseq_32024-07-27 02:35 38K 
[ ]comseq_3__t44_comseq_3.vout2024-08-03 04:35 7.3K 
[ ]comseq_3__t45_comseq_32024-07-27 02:36 34K 
[ ]comseq_3__t45_comseq_3.vout2024-08-03 05:51 2.0K 
[ ]comseq_3__t46_comseq_32024-07-27 02:38 58K 
[ ]comseq_3__t46_comseq_3.vout2024-08-03 07:06 7.3K 
[ ]comseq_3__t47_comseq_32024-07-27 02:39 52K 
[ ]comseq_3__t47_comseq_3.vout2024-08-03 07:57 2.0K 
[ ]comseq_3__t48_comseq_32024-07-27 02:41 50K 
[ ]comseq_3__t48_comseq_3.vout2024-08-03 06:00 4.7K 
[ ]comseq_3__t49_comseq_32024-07-27 02:42 36K 
[ ]comseq_3__t49_comseq_3.vout2024-08-03 08:38 4.1K 
[ ]comseq_3__t50_comseq_32024-07-27 02:44 47K 
[ ]comseq_3__t50_comseq_3.vout2024-08-03 04:55 4.7K 
[ ]comseq_3__t51_comseq_32024-07-27 02:45 42K 
[ ]comseq_3__t51_comseq_3.vout2024-08-03 04:47 2.0K 
[ ]comseq_3__t52_comseq_32024-07-27 02:47 41K 
[ ]comseq_3__t52_comseq_3.vout2024-08-03 04:37 4.7K 
[ ]comseq_3__t53_comseq_32024-07-27 02:48 40K 
[ ]comseq_3__t53_comseq_3.vout2024-08-03 09:41 4.7K 
[ ]comseq_3__t54_comseq_32024-07-27 02:49 45K 
[ ]comseq_3__t54_comseq_3.vout2024-08-03 09:17 4.1K 
[ ]comseq_3__t55_comseq_32024-07-27 02:51 54K 
[ ]comseq_3__t55_comseq_3.vout2024-08-03 08:05 4.1K 
[ ]comseq_3__t56_comseq_32024-07-27 02:52 38K 
[ ]comseq_3__t56_comseq_3.vout2024-08-03 04:14 4.1K 
[ ]comseq_3__t57_comseq_32024-07-27 02:53 41K 
[ ]comseq_3__t57_comseq_3.vout2024-08-03 10:14 4.7K 
[ ]comseq_3__t58_comseq_32024-07-27 02:55 43K 
[ ]comseq_3__t58_comseq_3.vout2024-08-03 06:34 4.7K 
[ ]comseq_3__t59_comseq_32024-07-27 02:56 43K 
[ ]comseq_3__t59_comseq_3.vout2024-08-03 04:57 4.7K 
[ ]comseq_3__t60_comseq_32024-07-27 02:58 62K 
[ ]comseq_3__t60_comseq_3.vout2024-08-03 09:52 4.7K 
[ ]comseq_3__t61_comseq_32024-07-27 02:59 31K 
[ ]comseq_3__t61_comseq_3.vout2024-08-03 08:34 2.0K 
[ ]comseq_3__t62_comseq_32024-07-27 01:37 33K 
[ ]comseq_3__t62_comseq_3.vout2024-08-03 09:53 2.0K 
[ ]comseq_3__t63_comseq_32024-07-27 03:00 41K 
[ ]comseq_3__t63_comseq_3.vout2024-08-03 08:46 2.0K 
[ ]comseq_3__t64_comseq_32024-07-27 03:02 71K 
[ ]comseq_3__t64_comseq_3.vout2024-08-03 06:42 4.7K 
[ ]comseq_3__t65_comseq_32024-07-27 03:04 52K 
[ ]comseq_3__t65_comseq_3.vout2024-08-03 10:12 4.7K 
[ ]comseq_3__t66_comseq_32024-07-27 03:05 35K 
[ ]comseq_3__t66_comseq_3.vout2024-08-03 04:29 2.0K 
[ ]comseq_3__t67_comseq_32024-07-27 01:39 38K 
[ ]comseq_3__t67_comseq_3.vout2024-08-03 06:57 2.0K 
[ ]comseq_3__t68_comseq_32024-07-27 01:40 40K 
[ ]comseq_3__t68_comseq_3.vout2024-08-03 07:03 2.0K 
[ ]comseq_3__t69_comseq_32024-07-27 03:06 36K 
[ ]comseq_3__t69_comseq_3.vout2024-08-03 06:35 2.0K 
[ ]comseq_3__t70_comseq_32024-07-27 03:07 34K 
[ ]comseq_3__t70_comseq_3.vout2024-08-03 07:29 2.0K 
[ ]comseq_3__t71_comseq_32024-07-27 03:09 36K 
[ ]comseq_3__t71_comseq_3.vout2024-08-03 08:45 2.0K 
[ ]comseq_3__t72_comseq_32024-07-27 03:10 39K 
[ ]comseq_3__t72_comseq_3.vout2024-08-03 08:47 2.0K 
[ ]comseq_3__t73_comseq_32024-07-27 01:41 36K 
[ ]comseq_3__t73_comseq_3.vout2024-08-03 06:47 2.0K 
[ ]comseq_3__t74_comseq_32024-07-27 01:42 36K 
[ ]comseq_3__t74_comseq_3.depv12024-08-03 10:19 137  
[ ]comseq_3__t74_comseq_3.depvmin12024-08-03 10:24 94  
[ ]comseq_3__t74_comseq_3.vmin12024-08-03 10:19 2.0K 
[ ]comseq_3__t74_comseq_3.vmin1out2024-08-03 10:23 19K 
[ ]comseq_3__t74_comseq_3.vout2024-08-03 09:46 25K 
[ ]comseq_3__t75_comseq_32024-07-27 03:11 43K 
[ ]comseq_3__t75_comseq_3.vout2024-08-03 05:28 7.3K 
[ ]comseq_3__t76_comseq_32024-07-27 03:13 41K 
[ ]comseq_3__t76_comseq_3.vout2024-08-03 09:36 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80