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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]incsp_1__l39_incsp_12021-07-18 06:11 6.2K 
[ ]incsp_1__l39_incsp_1.depv12021-07-25 20:57 60  
[ ]incsp_1__l39_incsp_1.depvmin12021-07-25 21:03 60  
[ ]incsp_1__l39_incsp_1.vmin12021-07-25 20:57 1.2K 
[ ]incsp_1__l39_incsp_1.vmin1out2021-07-25 20:58 22K 
[ ]incsp_1__l39_incsp_1.vout2021-07-25 18:29 22K 
[ ]incsp_1__l64_incsp_12021-07-18 06:11 16K 
[ ]incsp_1__l64_incsp_1.vout2021-07-25 19:43 7.3K 
[ ]incsp_1__t1_incsp_12021-07-18 05:59 5.4K 
[ ]incsp_1__t1_incsp_1.depv12021-07-25 20:57 133  
[ ]incsp_1__t1_incsp_1.depvmin12021-07-25 21:03 133  
[ ]incsp_1__t1_incsp_1.vmin12021-07-25 20:57 1.3K 
[ ]incsp_1__t1_incsp_1.vmin1out2021-07-25 21:00 28K 
[ ]incsp_1__t1_incsp_1.vout2021-07-25 15:50 32K 
[ ]incsp_1__t2_incsp_12021-07-18 05:59 5.3K 
[ ]incsp_1__t2_incsp_1.depv12021-07-25 20:57 144  
[ ]incsp_1__t2_incsp_1.depvmin12021-07-25 21:03 111  
[ ]incsp_1__t2_incsp_1.vmin12021-07-25 20:57 1.7K 
[ ]incsp_1__t2_incsp_1.vmin1out2021-07-25 20:59 34K 
[ ]incsp_1__t2_incsp_1.vout2021-07-25 15:53 39K 
[ ]incsp_1__t3_incsp_12021-07-18 06:00 5.5K 
[ ]incsp_1__t3_incsp_1.depv12021-07-25 20:57 147  
[ ]incsp_1__t3_incsp_1.depvmin12021-07-25 21:03 147  
[ ]incsp_1__t3_incsp_1.vmin12021-07-25 20:57 1.4K 
[ ]incsp_1__t3_incsp_1.vmin1out2021-07-25 21:00 31K 
[ ]incsp_1__t3_incsp_1.vout2021-07-25 14:49 33K 
[ ]incsp_1__t4_incsp_12021-07-18 06:00 5.4K 
[ ]incsp_1__t4_incsp_1.depv12021-07-25 20:57 158  
[ ]incsp_1__t4_incsp_1.depvmin12021-07-25 21:03 125  
[ ]incsp_1__t4_incsp_1.vmin12021-07-25 20:57 1.8K 
[ ]incsp_1__t4_incsp_1.vmin1out2021-07-25 21:01 32K 
[ ]incsp_1__t4_incsp_1.vout2021-07-25 15:53 40K 
[ ]incsp_1__t5_incsp_12021-07-18 06:00 5.6K 
[ ]incsp_1__t5_incsp_1.depv12021-07-25 20:57 208  
[ ]incsp_1__t5_incsp_1.depvmin12021-07-25 21:03 125  
[ ]incsp_1__t5_incsp_1.vmin12021-07-25 20:57 2.5K 
[ ]incsp_1__t5_incsp_1.vmin1out2021-07-25 21:02 42K 
[ ]incsp_1__t5_incsp_1.vout2021-07-25 19:33 53K 
[ ]incsp_1__t6_incsp_12021-07-18 05:58 3.8K 
[ ]incsp_1__t6_incsp_1.depv12021-07-25 20:57 88  
[ ]incsp_1__t6_incsp_1.depvmin12021-07-25 21:03 88  
[ ]incsp_1__t6_incsp_1.vmin12021-07-25 20:57 1.2K 
[ ]incsp_1__t6_incsp_1.vmin1out2021-07-25 20:59 18K 
[ ]incsp_1__t6_incsp_1.vout2021-07-25 14:53 21K 
[ ]incsp_1__t7_incsp_12021-07-18 05:58 3.8K 
[ ]incsp_1__t7_incsp_1.depv12021-07-25 20:57 74  
[ ]incsp_1__t7_incsp_1.depvmin12021-07-25 21:03 74  
[ ]incsp_1__t7_incsp_1.vmin12021-07-25 20:57 1.1K 
[ ]incsp_1__t7_incsp_1.vmin1out2021-07-25 20:59 16K 
[ ]incsp_1__t7_incsp_1.vout2021-07-25 17:51 21K 
[ ]incsp_1__t8_incsp_12021-07-18 06:00 8.0K 
[ ]incsp_1__t8_incsp_1.vout2021-07-25 18:40 7.3K 
[ ]incsp_1__t9_incsp_12021-07-18 06:00 8.0K 
[ ]incsp_1__t9_incsp_1.vout2021-07-25 20:20 7.3K 
[ ]incsp_1__t10_incsp_12021-07-18 06:00 6.5K 
[ ]incsp_1__t10_incsp_1.vout2021-07-25 18:58 7.3K 
[ ]incsp_1__t11_incsp_12021-07-18 06:01 6.5K 
[ ]incsp_1__t11_incsp_1.depv12021-07-25 20:57 255  
[ ]incsp_1__t11_incsp_1.depvmin12021-07-25 21:03 131  
[ ]incsp_1__t11_incsp_1.vmin12021-07-25 20:57 2.7K 
[ ]incsp_1__t11_incsp_1.vmin1out2021-07-25 20:59 36K 
[ ]incsp_1__t11_incsp_1.vout2021-07-25 14:39 47K 
[ ]incsp_1__t12_incsp_12021-07-18 06:01 4.9K 
[ ]incsp_1__t12_incsp_1.depv12021-07-25 20:57 91  
[ ]incsp_1__t12_incsp_1.depvmin12021-07-25 21:03 91  
[ ]incsp_1__t12_incsp_1.vmin12021-07-25 20:57 1.2K 
[ ]incsp_1__t12_incsp_1.vmin1out2021-07-25 20:59 21K 
[ ]incsp_1__t12_incsp_1.vout2021-07-25 18:07 22K 
[ ]incsp_1__t13_incsp_12021-07-18 06:01 4.9K 
[ ]incsp_1__t13_incsp_1.depv12021-07-25 20:57 77  
[ ]incsp_1__t13_incsp_1.depvmin12021-07-25 21:03 77  
[ ]incsp_1__t13_incsp_1.vmin12021-07-25 20:57 1.1K 
[ ]incsp_1__t13_incsp_1.vmin1out2021-07-25 21:02 19K 
[ ]incsp_1__t13_incsp_1.vout2021-07-25 19:57 21K 
[ ]incsp_1__t14_incsp_12021-07-18 05:59 6.4K 
[ ]incsp_1__t14_incsp_1.depv12021-07-25 20:57 82  
[ ]incsp_1__t14_incsp_1.depvmin12021-07-25 21:03 82  
[ ]incsp_1__t14_incsp_1.vmin12021-07-25 20:57 1.7K 
[ ]incsp_1__t14_incsp_1.vmin1out2021-07-25 21:02 24K 
[ ]incsp_1__t14_incsp_1.vout2021-07-25 14:46 27K 
[ ]incsp_1__t15_incsp_12021-07-18 06:01 5.6K 
[ ]incsp_1__t15_incsp_1.depv12021-07-25 20:57 152  
[ ]incsp_1__t15_incsp_1.depvmin12021-07-25 21:03 152  
[ ]incsp_1__t15_incsp_1.vmin12021-07-25 20:57 1.8K 
[ ]incsp_1__t15_incsp_1.vmin1out2021-07-25 21:01 22K 
[ ]incsp_1__t15_incsp_1.vout2021-07-25 19:47 25K 
[ ]incsp_1__t16_incsp_12021-07-18 06:01 5.6K 
[ ]incsp_1__t16_incsp_1.depv12021-07-25 20:57 153  
[ ]incsp_1__t16_incsp_1.depvmin12021-07-25 21:03 153  
[ ]incsp_1__t16_incsp_1.vmin12021-07-25 20:57 2.0K 
[ ]incsp_1__t16_incsp_1.vmin1out2021-07-25 21:01 40K 
[ ]incsp_1__t16_incsp_1.vout2021-07-25 17:21 29K 
[ ]incsp_1__t17_incsp_12021-07-18 06:02 13K 
[ ]incsp_1__t17_incsp_1.vout2021-07-25 16:37 7.3K 
[ ]incsp_1__t18_incsp_12021-07-18 06:02 9.2K 
[ ]incsp_1__t18_incsp_1.vout2021-07-25 20:27 4.7K 
[ ]incsp_1__t19_incsp_12021-07-18 06:02 9.4K 
[ ]incsp_1__t19_incsp_1.vout2021-07-25 15:16 4.7K 
[ ]incsp_1__t20_incsp_12021-07-18 06:02 10K 
[ ]incsp_1__t20_incsp_1.vout2021-07-25 17:17 7.8K 
[ ]incsp_1__t21_incsp_12021-07-18 06:03 13K 
[ ]incsp_1__t21_incsp_1.vout2021-07-25 17:36 7.3K 
[ ]incsp_1__t22_incsp_12021-07-18 06:03 13K 
[ ]incsp_1__t22_incsp_1.vout2021-07-25 14:34 4.7K 
[ ]incsp_1__t23_incsp_12021-07-18 06:03 9.4K 
[ ]incsp_1__t23_incsp_1.vout2021-07-25 14:44 7.3K 
[ ]incsp_1__t24_incsp_12021-07-18 06:03 5.4K 
[ ]incsp_1__t24_incsp_1.depv12021-07-25 20:57 61  
[ ]incsp_1__t24_incsp_1.depvmin12021-07-25 21:03 61  
[ ]incsp_1__t24_incsp_1.vmin12021-07-25 20:57 1.4K 
[ ]incsp_1__t24_incsp_1.vmin1out2021-07-25 21:01 30K 
[ ]incsp_1__t24_incsp_1.vout2021-07-25 19:56 30K 
[ ]incsp_1__t25_incsp_12021-07-18 06:03 5.4K 
[ ]incsp_1__t25_incsp_1.depv12021-07-25 20:57 48  
[ ]incsp_1__t25_incsp_1.depvmin12021-07-25 21:03 48  
[ ]incsp_1__t25_incsp_1.vmin12021-07-25 20:57 1.6K 
[ ]incsp_1__t25_incsp_1.vmin1out2021-07-25 20:58 37K 
[ ]incsp_1__t25_incsp_1.vout2021-07-25 16:12 37K 
[ ]incsp_1__t26_incsp_12021-07-18 06:04 12K 
[ ]incsp_1__t26_incsp_1.vout2021-07-25 19:09 4.7K 
[ ]incsp_1__t27_incsp_12021-07-18 06:04 11K 
[ ]incsp_1__t27_incsp_1.vout2021-07-25 17:17 8.2K 
[ ]incsp_1__t28_incsp_12021-07-18 06:04 5.1K 
[ ]incsp_1__t28_incsp_1.depv12021-07-25 20:57 115  
[ ]incsp_1__t28_incsp_1.depvmin12021-07-25 21:03 115  
[ ]incsp_1__t28_incsp_1.vmin12021-07-25 20:57 1.2K 
[ ]incsp_1__t28_incsp_1.vmin1out2021-07-25 21:01 19K 
[ ]incsp_1__t28_incsp_1.vout2021-07-25 16:33 19K 
[ ]incsp_1__t29_incsp_12021-07-18 06:04 5.3K 
[ ]incsp_1__t29_incsp_1.depv12021-07-25 20:57 104  
[ ]incsp_1__t29_incsp_1.depvmin12021-07-25 21:03 104  
[ ]incsp_1__t29_incsp_1.vmin12021-07-25 20:57 1.5K 
[ ]incsp_1__t29_incsp_1.vmin1out2021-07-25 20:59 27K 
[ ]incsp_1__t29_incsp_1.vout2021-07-25 19:45 28K 
[ ]incsp_1__t30_incsp_12021-07-18 06:05 5.3K 
[ ]incsp_1__t30_incsp_1.depv12021-07-25 20:57 104  
[ ]incsp_1__t30_incsp_1.depvmin12021-07-25 21:03 104  
[ ]incsp_1__t30_incsp_1.vmin12021-07-25 20:57 1.5K 
[ ]incsp_1__t30_incsp_1.vmin1out2021-07-25 20:58 27K 
[ ]incsp_1__t30_incsp_1.vout2021-07-25 17:42 28K 
[ ]incsp_1__t31_incsp_12021-07-18 06:05 5.2K 
[ ]incsp_1__t31_incsp_1.depv12021-07-25 20:57 102  
[ ]incsp_1__t31_incsp_1.depvmin12021-07-25 21:03 102  
[ ]incsp_1__t31_incsp_1.vmin12021-07-25 20:57 1.5K 
[ ]incsp_1__t31_incsp_1.vmin1out2021-07-25 20:59 22K 
[ ]incsp_1__t31_incsp_1.vout2021-07-25 20:46 17K 
[ ]incsp_1__t32_incsp_12021-07-18 06:05 5.2K 
[ ]incsp_1__t32_incsp_1.depv12021-07-25 20:57 102  
[ ]incsp_1__t32_incsp_1.depvmin12021-07-25 21:03 102  
[ ]incsp_1__t32_incsp_1.vmin12021-07-25 20:57 1.5K 
[ ]incsp_1__t32_incsp_1.vmin1out2021-07-25 21:02 17K 
[ ]incsp_1__t32_incsp_1.vout2021-07-25 17:56 17K 
[ ]incsp_1__t33_incsp_12021-07-18 06:05 5.2K 
[ ]incsp_1__t33_incsp_1.depv12021-07-25 20:57 102  
[ ]incsp_1__t33_incsp_1.depvmin12021-07-25 21:03 102  
[ ]incsp_1__t33_incsp_1.vmin12021-07-25 20:57 1.5K 
[ ]incsp_1__t33_incsp_1.vmin1out2021-07-25 20:59 17K 
[ ]incsp_1__t33_incsp_1.vout2021-07-25 16:47 16K 
[ ]incsp_1__t34_incsp_12021-07-18 06:05 10K 
[ ]incsp_1__t34_incsp_1.depv12021-07-25 20:57 38  
[ ]incsp_1__t34_incsp_1.depvmin12021-07-25 21:03 38  
[ ]incsp_1__t34_incsp_1.vmin12021-07-25 20:57 1.0K 
[ ]incsp_1__t34_incsp_1.vmin1out2021-07-25 21:00 24K 
[ ]incsp_1__t34_incsp_1.vout2021-07-25 16:45 25K 
[ ]incsp_1__t35_incsp_12021-07-18 06:06 7.4K 
[ ]incsp_1__t35_incsp_1.vout2021-07-25 19:03 7.3K 
[ ]incsp_1__t36_incsp_12021-07-18 06:06 7.4K 
[ ]incsp_1__t36_incsp_1.depv12021-07-25 20:57 75  
[ ]incsp_1__t36_incsp_1.depvmin12021-07-25 21:03 75  
[ ]incsp_1__t36_incsp_1.vmin12021-07-25 20:57 1.7K 
[ ]incsp_1__t36_incsp_1.vmin1out2021-07-25 21:02 28K 
[ ]incsp_1__t36_incsp_1.vout2021-07-25 20:09 25K 
[ ]incsp_1__t37_incsp_12021-07-18 06:06 12K 
[ ]incsp_1__t37_incsp_1.vout2021-07-25 20:30 7.3K 
[ ]incsp_1__t38_incsp_12021-07-18 06:06 8.8K 
[ ]incsp_1__t38_incsp_1.vout2021-07-25 17:41 7.3K 
[ ]incsp_1__t39_incsp_12021-07-18 06:07 11K 
[ ]incsp_1__t39_incsp_1.vout2021-07-25 17:03 7.3K 
[ ]incsp_1__t40_incsp_12021-07-18 06:07 13K 
[ ]incsp_1__t40_incsp_1.vout2021-07-25 15:39 4.7K 
[ ]incsp_1__t41_incsp_12021-07-18 06:07 17K 
[ ]incsp_1__t41_incsp_1.vout2021-07-25 14:37 4.7K 
[ ]incsp_1__t42_incsp_12021-07-18 05:59 5.7K 
[ ]incsp_1__t42_incsp_1.depv12021-07-25 20:57 24  
[ ]incsp_1__t42_incsp_1.depvmin12021-07-25 21:03 24  
[ ]incsp_1__t42_incsp_1.vmin12021-07-25 20:57 819  
[ ]incsp_1__t42_incsp_1.vmin1out2021-07-25 20:59 15K 
[ ]incsp_1__t42_incsp_1.vout2021-07-25 20:27 15K 
[ ]incsp_1__t43_incsp_12021-07-18 05:59 4.9K 
[ ]incsp_1__t43_incsp_1.depv12021-07-25 20:57 24  
[ ]incsp_1__t43_incsp_1.depvmin12021-07-25 21:03 24  
[ ]incsp_1__t43_incsp_1.vmin12021-07-25 20:57 529  
[ ]incsp_1__t43_incsp_1.vmin1out2021-07-25 21:01 10K 
[ ]incsp_1__t43_incsp_1.vout2021-07-25 14:49 9.9K 
[ ]incsp_1__t44_incsp_12021-07-18 06:07 8.8K 
[ ]incsp_1__t44_incsp_1.vout2021-07-25 14:57 7.3K 
[ ]incsp_1__t45_incsp_12021-07-18 06:08 7.8K 
[ ]incsp_1__t45_incsp_1.vout2021-07-25 16:14 2.0K 
[ ]incsp_1__t46_incsp_12021-07-18 06:08 13K 
[ ]incsp_1__t46_incsp_1.depv12021-07-25 20:57 105  
[ ]incsp_1__t46_incsp_1.depvmin12021-07-25 21:03 83  
[ ]incsp_1__t46_incsp_1.vmin12021-07-25 20:57 2.4K 
[ ]incsp_1__t46_incsp_1.vmin1out2021-07-25 20:58 40K 
[ ]incsp_1__t46_incsp_1.vout2021-07-25 18:40 54K 
[ ]incsp_1__t47_incsp_12021-07-18 06:08 6.7K 
[ ]incsp_1__t47_incsp_1.depv12021-07-25 20:57 58  
[ ]incsp_1__t47_incsp_1.depvmin12021-07-25 21:03 58  
[ ]incsp_1__t47_incsp_1.vmin12021-07-25 20:57 1.2K 
[ ]incsp_1__t47_incsp_1.vmin1out2021-07-25 21:01 21K 
[ ]incsp_1__t47_incsp_1.vout2021-07-25 18:55 16K 
[ ]incsp_1__t48_incsp_12021-07-18 06:08 6.0K 
[ ]incsp_1__t48_incsp_1.depv12021-07-25 20:57 53  
[ ]incsp_1__t48_incsp_1.depvmin12021-07-25 21:03 53  
[ ]incsp_1__t48_incsp_1.vmin12021-07-25 20:57 1.1K 
[ ]incsp_1__t48_incsp_1.vmin1out2021-07-25 20:58 18K 
[ ]incsp_1__t48_incsp_1.vout2021-07-25 20:02 15K 
[ ]incsp_1__t49_incsp_12021-07-18 06:09 10K 
[ ]incsp_1__t49_incsp_1.vout2021-07-25 20:16 7.4K 
[ ]incsp_1__t50_incsp_12021-07-18 06:09 14K 
[ ]incsp_1__t50_incsp_1.vout2021-07-25 15:49 7.3K 
[ ]incsp_1__t51_incsp_12021-07-18 06:09 13K 
[ ]incsp_1__t51_incsp_1.vout2021-07-25 20:44 4.7K 
[ ]incsp_1__t52_incsp_12021-07-18 06:09 11K 
[ ]incsp_1__t52_incsp_1.vout2021-07-25 20:48 7.9K 
[ ]incsp_1__t53_incsp_12021-07-18 06:10 9.2K 
[ ]incsp_1__t53_incsp_1.vout2021-07-25 20:02 7.3K 
[ ]incsp_1__t54_incsp_12021-07-18 06:10 10K 
[ ]incsp_1__t54_incsp_1.vout2021-07-25 16:30 7.9K 
[ ]incsp_1__t55_incsp_12021-07-18 06:10 12K 
[ ]incsp_1__t55_incsp_1.vout2021-07-25 15:20 7.9K 
[ ]incsp_1__t56_incsp_12021-07-18 05:59 6.5K 
[ ]incsp_1__t56_incsp_1.depv12021-07-25 20:57 89  
[ ]incsp_1__t56_incsp_1.depvmin12021-07-25 21:03 89  
[ ]incsp_1__t56_incsp_1.vmin12021-07-25 20:57 1.4K 
[ ]incsp_1__t56_incsp_1.vmin1out2021-07-25 20:59 28K 
[ ]incsp_1__t56_incsp_1.vout2021-07-25 20:49 28K 
[ ]incsp_1__t57_incsp_12021-07-18 06:10 9.3K 
[ ]incsp_1__t57_incsp_1.vout2021-07-25 20:02 7.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80