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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]incsp_1__l39_incsp_12024-07-28 00:53 6.2K 
[ ]incsp_1__l39_incsp_1.depv12024-08-03 10:19 60  
[ ]incsp_1__l39_incsp_1.depvmin12024-08-03 10:24 60  
[ ]incsp_1__l39_incsp_1.vmin12024-08-03 10:20 1.2K 
[ ]incsp_1__l39_incsp_1.vmin1out2024-08-03 10:20 22K 
[ ]incsp_1__l39_incsp_1.vout2024-08-03 06:47 22K 
[ ]incsp_1__l64_incsp_12024-07-28 00:54 16K 
[ ]incsp_1__l64_incsp_1.vout2024-08-03 04:41 7.3K 
[ ]incsp_1__t1_incsp_12024-07-28 00:10 5.4K 
[ ]incsp_1__t1_incsp_1.depv12024-08-03 10:19 133  
[ ]incsp_1__t1_incsp_1.depvmin12024-08-03 10:24 133  
[ ]incsp_1__t1_incsp_1.vmin12024-08-03 10:20 1.3K 
[ ]incsp_1__t1_incsp_1.vmin1out2024-08-03 10:23 28K 
[ ]incsp_1__t1_incsp_1.vout2024-08-03 08:47 32K 
[ ]incsp_1__t2_incsp_12024-07-28 00:11 5.3K 
[ ]incsp_1__t2_incsp_1.depv12024-08-03 10:19 144  
[ ]incsp_1__t2_incsp_1.depvmin12024-08-03 10:24 111  
[ ]incsp_1__t2_incsp_1.vmin12024-08-03 10:20 1.7K 
[ ]incsp_1__t2_incsp_1.vmin1out2024-08-03 10:20 34K 
[ ]incsp_1__t2_incsp_1.vout2024-08-03 07:46 39K 
[ ]incsp_1__t3_incsp_12024-07-28 00:11 5.5K 
[ ]incsp_1__t3_incsp_1.depv12024-08-03 10:19 147  
[ ]incsp_1__t3_incsp_1.depvmin12024-08-03 10:24 147  
[ ]incsp_1__t3_incsp_1.vmin12024-08-03 10:20 1.4K 
[ ]incsp_1__t3_incsp_1.vmin1out2024-08-03 10:20 31K 
[ ]incsp_1__t3_incsp_1.vout2024-08-03 05:08 33K 
[ ]incsp_1__t4_incsp_12024-07-28 00:12 5.4K 
[ ]incsp_1__t4_incsp_1.depv12024-08-03 10:19 158  
[ ]incsp_1__t4_incsp_1.depvmin12024-08-03 10:24 125  
[ ]incsp_1__t4_incsp_1.vmin12024-08-03 10:20 1.8K 
[ ]incsp_1__t4_incsp_1.vmin1out2024-08-03 10:20 33K 
[ ]incsp_1__t4_incsp_1.vout2024-08-03 07:45 40K 
[ ]incsp_1__t5_incsp_12024-07-28 00:13 5.6K 
[ ]incsp_1__t5_incsp_1.depv12024-08-03 10:19 208  
[ ]incsp_1__t5_incsp_1.depvmin12024-08-03 10:24 125  
[ ]incsp_1__t5_incsp_1.vmin12024-08-03 10:20 2.5K 
[ ]incsp_1__t5_incsp_1.vmin1out2024-08-03 10:23 42K 
[ ]incsp_1__t5_incsp_1.vout2024-08-03 07:05 53K 
[ ]incsp_1__t6_incsp_12024-07-28 00:06 3.8K 
[ ]incsp_1__t6_incsp_1.depv12024-08-03 10:19 88  
[ ]incsp_1__t6_incsp_1.depvmin12024-08-03 10:24 88  
[ ]incsp_1__t6_incsp_1.vmin12024-08-03 10:20 1.2K 
[ ]incsp_1__t6_incsp_1.vmin1out2024-08-03 10:23 18K 
[ ]incsp_1__t6_incsp_1.vout2024-08-03 06:42 21K 
[ ]incsp_1__t7_incsp_12024-07-28 00:07 3.8K 
[ ]incsp_1__t7_incsp_1.depv12024-08-03 10:19 74  
[ ]incsp_1__t7_incsp_1.depvmin12024-08-03 10:24 74  
[ ]incsp_1__t7_incsp_1.vmin12024-08-03 10:20 1.1K 
[ ]incsp_1__t7_incsp_1.vmin1out2024-08-03 10:22 16K 
[ ]incsp_1__t7_incsp_1.vout2024-08-03 08:29 21K 
[ ]incsp_1__t8_incsp_12024-07-28 00:13 8.0K 
[ ]incsp_1__t8_incsp_1.vout2024-08-03 06:47 7.3K 
[ ]incsp_1__t9_incsp_12024-07-28 00:14 8.0K 
[ ]incsp_1__t9_incsp_1.vout2024-08-03 06:12 7.3K 
[ ]incsp_1__t10_incsp_12024-07-28 00:15 6.5K 
[ ]incsp_1__t10_incsp_1.vout2024-08-03 09:56 7.3K 
[ ]incsp_1__t11_incsp_12024-07-28 00:15 6.5K 
[ ]incsp_1__t11_incsp_1.depv12024-08-03 10:19 255  
[ ]incsp_1__t11_incsp_1.depvmin12024-08-03 10:24 131  
[ ]incsp_1__t11_incsp_1.vmin12024-08-03 10:20 2.7K 
[ ]incsp_1__t11_incsp_1.vmin1out2024-08-03 10:21 36K 
[ ]incsp_1__t11_incsp_1.vout2024-08-03 05:57 47K 
[ ]incsp_1__t12_incsp_12024-07-28 00:16 4.9K 
[ ]incsp_1__t12_incsp_1.depv12024-08-03 10:19 91  
[ ]incsp_1__t12_incsp_1.depvmin12024-08-03 10:24 91  
[ ]incsp_1__t12_incsp_1.vmin12024-08-03 10:20 1.2K 
[ ]incsp_1__t12_incsp_1.vmin1out2024-08-03 10:23 21K 
[ ]incsp_1__t12_incsp_1.vout2024-08-03 05:37 22K 
[ ]incsp_1__t13_incsp_12024-07-28 00:16 4.9K 
[ ]incsp_1__t13_incsp_1.depv12024-08-03 10:19 77  
[ ]incsp_1__t13_incsp_1.depvmin12024-08-03 10:24 77  
[ ]incsp_1__t13_incsp_1.vmin12024-08-03 10:20 1.1K 
[ ]incsp_1__t13_incsp_1.vmin1out2024-08-03 10:20 19K 
[ ]incsp_1__t13_incsp_1.vout2024-08-03 09:13 21K 
[ ]incsp_1__t14_incsp_12024-07-28 00:08 6.4K 
[ ]incsp_1__t14_incsp_1.depv12024-08-03 10:19 72  
[ ]incsp_1__t14_incsp_1.depvmin12024-08-03 10:24 72  
[ ]incsp_1__t14_incsp_1.vmin12024-08-03 10:20 1.5K 
[ ]incsp_1__t14_incsp_1.vmin1out2024-08-03 10:23 23K 
[ ]incsp_1__t14_incsp_1.vout2024-08-03 04:29 19K 
[ ]incsp_1__t15_incsp_12024-07-28 00:17 5.6K 
[ ]incsp_1__t15_incsp_1.depv12024-08-03 10:19 152  
[ ]incsp_1__t15_incsp_1.depvmin12024-08-03 10:24 152  
[ ]incsp_1__t15_incsp_1.vmin12024-08-03 10:20 1.8K 
[ ]incsp_1__t15_incsp_1.vmin1out2024-08-03 10:22 22K 
[ ]incsp_1__t15_incsp_1.vout2024-08-03 07:59 25K 
[ ]incsp_1__t16_incsp_12024-07-28 00:18 5.6K 
[ ]incsp_1__t16_incsp_1.depv12024-08-03 10:19 153  
[ ]incsp_1__t16_incsp_1.depvmin12024-08-03 10:24 153  
[ ]incsp_1__t16_incsp_1.vmin12024-08-03 10:20 2.0K 
[ ]incsp_1__t16_incsp_1.vmin1out2024-08-03 10:23 26K 
[ ]incsp_1__t16_incsp_1.vout2024-08-03 10:15 29K 
[ ]incsp_1__t17_incsp_12024-07-28 00:19 13K 
[ ]incsp_1__t17_incsp_1.vout2024-08-03 06:29 7.3K 
[ ]incsp_1__t18_incsp_12024-07-28 00:20 9.2K 
[ ]incsp_1__t18_incsp_1.vout2024-08-03 04:30 4.7K 
[ ]incsp_1__t19_incsp_12024-07-28 00:21 9.4K 
[ ]incsp_1__t19_incsp_1.vout2024-08-03 08:53 5.3K 
[ ]incsp_1__t20_incsp_12024-07-28 00:22 10K 
[ ]incsp_1__t20_incsp_1.vout2024-08-03 09:24 7.8K 
[ ]incsp_1__t21_incsp_12024-07-28 00:23 13K 
[ ]incsp_1__t21_incsp_1.vout2024-08-03 06:28 7.3K 
[ ]incsp_1__t22_incsp_12024-07-28 00:24 13K 
[ ]incsp_1__t22_incsp_1.vout2024-08-03 10:10 4.7K 
[ ]incsp_1__t23_incsp_12024-07-28 00:25 9.4K 
[ ]incsp_1__t23_incsp_1.vout2024-08-03 08:16 7.3K 
[ ]incsp_1__t24_incsp_12024-07-28 00:25 5.4K 
[ ]incsp_1__t24_incsp_1.depv12024-08-03 10:19 61  
[ ]incsp_1__t24_incsp_1.depvmin12024-08-03 10:24 61  
[ ]incsp_1__t24_incsp_1.vmin12024-08-03 10:20 1.4K 
[ ]incsp_1__t24_incsp_1.vmin1out2024-08-03 10:22 30K 
[ ]incsp_1__t24_incsp_1.vout2024-08-03 04:47 30K 
[ ]incsp_1__t25_incsp_12024-07-28 00:26 5.4K 
[ ]incsp_1__t25_incsp_1.depv12024-08-03 10:19 48  
[ ]incsp_1__t25_incsp_1.depvmin12024-08-03 10:24 48  
[ ]incsp_1__t25_incsp_1.vmin12024-08-03 10:20 1.6K 
[ ]incsp_1__t25_incsp_1.vmin1out2024-08-03 10:21 37K 
[ ]incsp_1__t25_incsp_1.vout2024-08-03 05:18 37K 
[ ]incsp_1__t26_incsp_12024-07-28 00:27 12K 
[ ]incsp_1__t26_incsp_1.vout2024-08-03 08:38 4.7K 
[ ]incsp_1__t27_incsp_12024-07-28 00:28 11K 
[ ]incsp_1__t27_incsp_1.vout2024-08-03 09:41 8.7K 
[ ]incsp_1__t28_incsp_12024-07-28 00:29 5.1K 
[ ]incsp_1__t28_incsp_1.depv12024-08-03 10:19 115  
[ ]incsp_1__t28_incsp_1.depvmin12024-08-03 10:24 115  
[ ]incsp_1__t28_incsp_1.vmin12024-08-03 10:20 1.2K 
[ ]incsp_1__t28_incsp_1.vmin1out2024-08-03 10:21 19K 
[ ]incsp_1__t28_incsp_1.vout2024-08-03 08:30 19K 
[ ]incsp_1__t29_incsp_12024-07-28 00:29 5.3K 
[ ]incsp_1__t29_incsp_1.depv12024-08-03 10:19 104  
[ ]incsp_1__t29_incsp_1.depvmin12024-08-03 10:24 104  
[ ]incsp_1__t29_incsp_1.vmin12024-08-03 10:20 1.5K 
[ ]incsp_1__t29_incsp_1.vmin1out2024-08-03 10:22 27K 
[ ]incsp_1__t29_incsp_1.vout2024-08-03 09:23 28K 
[ ]incsp_1__t30_incsp_12024-07-28 00:30 5.3K 
[ ]incsp_1__t30_incsp_1.depv12024-08-03 10:19 104  
[ ]incsp_1__t30_incsp_1.depvmin12024-08-03 10:24 104  
[ ]incsp_1__t30_incsp_1.vmin12024-08-03 10:20 1.5K 
[ ]incsp_1__t30_incsp_1.vmin1out2024-08-03 10:20 27K 
[ ]incsp_1__t30_incsp_1.vout2024-08-03 04:11 28K 
[ ]incsp_1__t31_incsp_12024-07-28 00:31 5.2K 
[ ]incsp_1__t31_incsp_1.depv12024-08-03 10:19 102  
[ ]incsp_1__t31_incsp_1.depvmin12024-08-03 10:24 102  
[ ]incsp_1__t31_incsp_1.vmin12024-08-03 10:20 1.5K 
[ ]incsp_1__t31_incsp_1.vmin1out2024-08-03 10:22 22K 
[ ]incsp_1__t31_incsp_1.vout2024-08-03 05:50 17K 
[ ]incsp_1__t32_incsp_12024-07-28 00:32 5.2K 
[ ]incsp_1__t32_incsp_1.depv12024-08-03 10:19 102  
[ ]incsp_1__t32_incsp_1.depvmin12024-08-03 10:24 102  
[ ]incsp_1__t32_incsp_1.vmin12024-08-03 10:20 1.5K 
[ ]incsp_1__t32_incsp_1.vmin1out2024-08-03 10:21 17K 
[ ]incsp_1__t32_incsp_1.vout2024-08-03 07:36 17K 
[ ]incsp_1__t33_incsp_12024-07-28 00:32 5.2K 
[ ]incsp_1__t33_incsp_1.depv12024-08-03 10:19 102  
[ ]incsp_1__t33_incsp_1.depvmin12024-08-03 10:24 102  
[ ]incsp_1__t33_incsp_1.vmin12024-08-03 10:20 1.5K 
[ ]incsp_1__t33_incsp_1.vmin1out2024-08-03 10:20 17K 
[ ]incsp_1__t33_incsp_1.vout2024-08-03 09:52 16K 
[ ]incsp_1__t34_incsp_12024-07-28 00:33 10K 
[ ]incsp_1__t34_incsp_1.depv12024-08-03 10:19 38  
[ ]incsp_1__t34_incsp_1.depvmin12024-08-03 10:24 38  
[ ]incsp_1__t34_incsp_1.vmin12024-08-03 10:20 1.0K 
[ ]incsp_1__t34_incsp_1.vmin1out2024-08-03 10:22 24K 
[ ]incsp_1__t34_incsp_1.vout2024-08-03 06:00 25K 
[ ]incsp_1__t35_incsp_12024-07-28 00:34 7.4K 
[ ]incsp_1__t35_incsp_1.vout2024-08-03 09:07 7.3K 
[ ]incsp_1__t36_incsp_12024-07-28 00:35 7.4K 
[ ]incsp_1__t36_incsp_1.depv12024-08-03 10:19 75  
[ ]incsp_1__t36_incsp_1.depvmin12024-08-03 10:24 75  
[ ]incsp_1__t36_incsp_1.vmin12024-08-03 10:20 1.7K 
[ ]incsp_1__t36_incsp_1.vmin1out2024-08-03 10:23 28K 
[ ]incsp_1__t36_incsp_1.vout2024-08-03 08:21 25K 
[ ]incsp_1__t37_incsp_12024-07-28 00:36 12K 
[ ]incsp_1__t37_incsp_1.vout2024-08-03 04:22 7.3K 
[ ]incsp_1__t38_incsp_12024-07-28 00:37 8.8K 
[ ]incsp_1__t38_incsp_1.vout2024-08-03 07:59 7.3K 
[ ]incsp_1__t39_incsp_12024-07-28 00:38 11K 
[ ]incsp_1__t39_incsp_1.vout2024-08-03 05:23 7.3K 
[ ]incsp_1__t40_incsp_12024-07-28 00:39 13K 
[ ]incsp_1__t40_incsp_1.vout2024-08-03 08:50 4.7K 
[ ]incsp_1__t41_incsp_12024-07-28 00:40 17K 
[ ]incsp_1__t41_incsp_1.vout2024-08-03 08:29 4.7K 
[ ]incsp_1__t42_incsp_12024-07-28 00:08 5.7K 
[ ]incsp_1__t42_incsp_1.depv12024-08-03 10:19 24  
[ ]incsp_1__t42_incsp_1.depvmin12024-08-03 10:24 24  
[ ]incsp_1__t42_incsp_1.vmin12024-08-03 10:20 819  
[ ]incsp_1__t42_incsp_1.vmin1out2024-08-03 10:20 15K 
[ ]incsp_1__t42_incsp_1.vout2024-08-03 08:40 15K 
[ ]incsp_1__t43_incsp_12024-07-28 00:09 4.9K 
[ ]incsp_1__t43_incsp_1.depv12024-08-03 10:19 24  
[ ]incsp_1__t43_incsp_1.depvmin12024-08-03 10:24 24  
[ ]incsp_1__t43_incsp_1.vmin12024-08-03 10:20 529  
[ ]incsp_1__t43_incsp_1.vmin1out2024-08-03 10:21 10K 
[ ]incsp_1__t43_incsp_1.vout2024-08-03 09:37 9.9K 
[ ]incsp_1__t44_incsp_12024-07-28 00:41 8.8K 
[ ]incsp_1__t44_incsp_1.vout2024-08-03 06:25 7.3K 
[ ]incsp_1__t45_incsp_12024-07-28 00:42 7.8K 
[ ]incsp_1__t45_incsp_1.vout2024-08-03 08:24 2.0K 
[ ]incsp_1__t46_incsp_12024-07-28 00:43 13K 
[ ]incsp_1__t46_incsp_1.depv12024-08-03 10:19 105  
[ ]incsp_1__t46_incsp_1.depvmin12024-08-03 10:24 83  
[ ]incsp_1__t46_incsp_1.vmin12024-08-03 10:20 2.4K 
[ ]incsp_1__t46_incsp_1.vmin1out2024-08-03 10:22 40K 
[ ]incsp_1__t46_incsp_1.vout2024-08-03 09:18 54K 
[ ]incsp_1__t47_incsp_12024-07-28 00:44 6.7K 
[ ]incsp_1__t47_incsp_1.depv12024-08-03 10:19 58  
[ ]incsp_1__t47_incsp_1.depvmin12024-08-03 10:24 58  
[ ]incsp_1__t47_incsp_1.vmin12024-08-03 10:20 1.2K 
[ ]incsp_1__t47_incsp_1.vmin1out2024-08-03 10:21 21K 
[ ]incsp_1__t47_incsp_1.vout2024-08-03 10:01 16K 
[ ]incsp_1__t48_incsp_12024-07-28 00:44 6.0K 
[ ]incsp_1__t48_incsp_1.depv12024-08-03 10:19 53  
[ ]incsp_1__t48_incsp_1.depvmin12024-08-03 10:24 53  
[ ]incsp_1__t48_incsp_1.vmin12024-08-03 10:20 1.1K 
[ ]incsp_1__t48_incsp_1.vmin1out2024-08-03 10:20 18K 
[ ]incsp_1__t48_incsp_1.vout2024-08-03 08:27 15K 
[ ]incsp_1__t49_incsp_12024-07-28 00:45 10K 
[ ]incsp_1__t49_incsp_1.vout2024-08-03 09:05 7.3K 
[ ]incsp_1__t50_incsp_12024-07-28 00:47 14K 
[ ]incsp_1__t50_incsp_1.vout2024-08-03 04:26 7.3K 
[ ]incsp_1__t51_incsp_12024-07-28 00:48 13K 
[ ]incsp_1__t51_incsp_1.vout2024-08-03 09:50 4.7K 
[ ]incsp_1__t52_incsp_12024-07-28 00:49 11K 
[ ]incsp_1__t52_incsp_1.vout2024-08-03 04:20 7.9K 
[ ]incsp_1__t53_incsp_12024-07-28 00:50 9.2K 
[ ]incsp_1__t53_incsp_1.vout2024-08-03 06:23 7.8K 
[ ]incsp_1__t54_incsp_12024-07-28 00:51 10K 
[ ]incsp_1__t54_incsp_1.vout2024-08-03 07:53 7.3K 
[ ]incsp_1__t55_incsp_12024-07-28 00:52 12K 
[ ]incsp_1__t55_incsp_1.vout2024-08-03 05:03 7.8K 
[ ]incsp_1__t56_incsp_12024-07-28 00:10 6.5K 
[ ]incsp_1__t56_incsp_1.depv12024-08-03 10:19 89  
[ ]incsp_1__t56_incsp_1.depvmin12024-08-03 10:24 89  
[ ]incsp_1__t56_incsp_1.vmin12024-08-03 10:20 1.4K 
[ ]incsp_1__t56_incsp_1.vmin1out2024-08-03 10:20 28K 
[ ]incsp_1__t56_incsp_1.vout2024-08-03 09:08 28K 
[ ]incsp_1__t57_incsp_12024-07-28 00:53 9.3K 
[ ]incsp_1__t57_incsp_1.vout2024-08-03 04:53 7.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80