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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coh_sp__l29_coh_sp2024-07-27 08:38 12K 
[ ]coh_sp__l29_coh_sp.depv12024-08-03 10:19 56  
[ ]coh_sp__l29_coh_sp.depvmin12024-08-03 10:24 56  
[ ]coh_sp__l29_coh_sp.vmin12024-08-03 10:19 554  
[ ]coh_sp__l29_coh_sp.vmin1out2024-08-03 10:23 8.0K 
[ ]coh_sp__l29_coh_sp.vout2024-08-03 08:30 8.1K 
[ ]coh_sp__l31_coh_sp2024-07-27 08:39 510  
[ ]coh_sp__l31_coh_sp.depv12024-08-03 10:19 23  
[ ]coh_sp__l31_coh_sp.depvmin12024-08-03 10:24 23  
[ ]coh_sp__l31_coh_sp.vmin12024-08-03 10:19 310  
[ ]coh_sp__l31_coh_sp.vmin1out2024-08-03 10:23 5.2K 
[ ]coh_sp__l31_coh_sp.vout2024-08-03 08:27 5.2K 
[ ]coh_sp__l44_coh_sp2024-07-27 08:40 26K 
[ ]coh_sp__l44_coh_sp.vout2024-08-03 04:52 7.3K 
[ ]coh_sp__l68_coh_sp2024-07-27 08:41 14K 
[ ]coh_sp__l68_coh_sp.depv12024-08-03 10:19 57  
[ ]coh_sp__l68_coh_sp.depvmin12024-08-03 10:24 57  
[ ]coh_sp__l68_coh_sp.vmin12024-08-03 10:19 565  
[ ]coh_sp__l68_coh_sp.vmin1out2024-08-03 10:23 8.1K 
[ ]coh_sp__l68_coh_sp.vout2024-08-03 08:26 8.2K 
[ ]coh_sp__l81_coh_sp2024-07-27 08:43 27K 
[ ]coh_sp__l81_coh_sp.vout2024-08-03 09:20 7.3K 
[ ]coh_sp__t1_coh_sp2024-07-27 08:08 6.0K 
[ ]coh_sp__t1_coh_sp.depv12024-08-03 10:19 86  
[ ]coh_sp__t1_coh_sp.depvmin12024-08-03 10:24 86  
[ ]coh_sp__t1_coh_sp.vmin12024-08-03 10:19 841  
[ ]coh_sp__t1_coh_sp.vmin1out2024-08-03 10:21 7.3K 
[ ]coh_sp__t1_coh_sp.vout2024-08-03 08:39 8.8K 
[ ]coh_sp__t2_coh_sp2024-07-27 08:08 6.5K 
[ ]coh_sp__t2_coh_sp.depv12024-08-03 10:19 135  
[ ]coh_sp__t2_coh_sp.depvmin12024-08-03 10:24 135  
[ ]coh_sp__t2_coh_sp.vmin12024-08-03 10:19 1.3K 
[ ]coh_sp__t2_coh_sp.vmin1out2024-08-03 10:22 14K 
[ ]coh_sp__t2_coh_sp.vout2024-08-03 05:13 21K 
[ ]coh_sp__t3_coh_sp2024-07-27 08:01 5.4K 
[ ]coh_sp__t3_coh_sp.depv12024-08-03 10:19 70  
[ ]coh_sp__t3_coh_sp.depvmin12024-08-03 10:24 70  
[ ]coh_sp__t3_coh_sp.vmin12024-08-03 10:19 515  
[ ]coh_sp__t3_coh_sp.vmin1out2024-08-03 10:21 3.1K 
[ ]coh_sp__t3_coh_sp.vout2024-08-03 06:13 3.0K 
[ ]coh_sp__t4_coh_sp2024-07-27 08:09 6.0K 
[ ]coh_sp__t4_coh_sp.depv12024-08-03 10:19 68  
[ ]coh_sp__t4_coh_sp.depvmin12024-08-03 10:24 68  
[ ]coh_sp__t4_coh_sp.vmin12024-08-03 10:19 679  
[ ]coh_sp__t4_coh_sp.vmin1out2024-08-03 10:20 11K 
[ ]coh_sp__t4_coh_sp.vout2024-08-03 08:48 11K 
[ ]coh_sp__t5_coh_sp2024-07-27 08:10 12K 
[ ]coh_sp__t5_coh_sp.vout2024-08-03 04:30 7.2K 
[ ]coh_sp__t6_coh_sp2024-07-27 08:10 7.7K 
[ ]coh_sp__t6_coh_sp.vout2024-08-03 07:01 7.8K 
[ ]coh_sp__t7_coh_sp2024-07-27 08:11 11K 
[ ]coh_sp__t7_coh_sp.depv12024-08-03 10:19 77  
[ ]coh_sp__t7_coh_sp.depvmin12024-08-03 10:24 68  
[ ]coh_sp__t7_coh_sp.vmin12024-08-03 10:19 1.5K 
[ ]coh_sp__t7_coh_sp.vmin1out2024-08-03 10:23 21K 
[ ]coh_sp__t7_coh_sp.vout2024-08-03 05:10 33K 
[ ]coh_sp__t8_coh_sp2024-07-27 08:12 6.3K 
[ ]coh_sp__t8_coh_sp.depv12024-08-03 10:19 76  
[ ]coh_sp__t8_coh_sp.depvmin12024-08-03 10:24 76  
[ ]coh_sp__t8_coh_sp.vmin12024-08-03 10:19 805  
[ ]coh_sp__t8_coh_sp.vmin1out2024-08-03 10:23 13K 
[ ]coh_sp__t8_coh_sp.vout2024-08-03 06:01 13K 
[ ]coh_sp__t9_coh_sp2024-07-27 08:13 10K 
[ ]coh_sp__t9_coh_sp.depv12024-08-03 10:19 66  
[ ]coh_sp__t9_coh_sp.depvmin12024-08-03 10:24 66  
[ ]coh_sp__t9_coh_sp.vmin12024-08-03 10:19 792  
[ ]coh_sp__t9_coh_sp.vmin1out2024-08-03 10:20 22K 
[ ]coh_sp__t9_coh_sp.vout2024-08-03 09:57 18K 
[ ]coh_sp__t10_coh_sp2024-07-27 08:13 5.8K 
[ ]coh_sp__t10_coh_sp.depv12024-08-03 10:19 142  
[ ]coh_sp__t10_coh_sp.depvmin12024-08-03 10:24 142  
[ ]coh_sp__t10_coh_sp.vmin12024-08-03 10:19 1.1K 
[ ]coh_sp__t10_coh_sp.vmin1out2024-08-03 10:22 13K 
[ ]coh_sp__t10_coh_sp.vout2024-08-03 05:31 13K 
[ ]coh_sp__t11_coh_sp2024-07-27 08:14 12K 
[ ]coh_sp__t11_coh_sp.vout2024-08-03 06:15 6.8K 
[ ]coh_sp__t12_coh_sp2024-07-27 08:15 12K 
[ ]coh_sp__t12_coh_sp.vout2024-08-03 06:14 7.1K 
[ ]coh_sp__t13_coh_sp2024-07-27 08:16 11K 
[ ]coh_sp__t13_coh_sp.depv12024-08-03 10:19 44  
[ ]coh_sp__t13_coh_sp.depvmin12024-08-03 10:24 44  
[ ]coh_sp__t13_coh_sp.vmin12024-08-03 10:19 1.1K 
[ ]coh_sp__t13_coh_sp.vmin1out2024-08-03 10:20 41K 
[ ]coh_sp__t13_coh_sp.vout2024-08-03 06:04 35K 
[ ]coh_sp__t14_coh_sp2024-07-27 08:16 10K 
[ ]coh_sp__t14_coh_sp.depv12024-08-03 10:19 45  
[ ]coh_sp__t14_coh_sp.depvmin12024-08-03 10:24 45  
[ ]coh_sp__t14_coh_sp.vmin12024-08-03 10:19 1.2K 
[ ]coh_sp__t14_coh_sp.vmin1out2024-08-03 10:21 39K 
[ ]coh_sp__t14_coh_sp.vout2024-08-03 09:44 39K 
[ ]coh_sp__t15_coh_sp2024-07-27 08:17 10K 
[ ]coh_sp__t15_coh_sp.depv12024-08-03 10:19 33  
[ ]coh_sp__t15_coh_sp.depvmin12024-08-03 10:24 33  
[ ]coh_sp__t15_coh_sp.vmin12024-08-03 10:19 704  
[ ]coh_sp__t15_coh_sp.vmin1out2024-08-03 10:22 15K 
[ ]coh_sp__t15_coh_sp.vout2024-08-03 05:05 16K 
[ ]coh_sp__t16_coh_sp2024-07-27 08:18 6.9K 
[ ]coh_sp__t16_coh_sp.depv12024-08-03 10:19 100  
[ ]coh_sp__t16_coh_sp.depvmin12024-08-03 10:24 100  
[ ]coh_sp__t16_coh_sp.vmin12024-08-03 10:19 870  
[ ]coh_sp__t16_coh_sp.vmin1out2024-08-03 10:23 13K 
[ ]coh_sp__t16_coh_sp.vout2024-08-03 07:33 13K 
[ ]coh_sp__t17_coh_sp2024-07-27 08:18 10K 
[ ]coh_sp__t17_coh_sp.vout2024-08-03 05:40 7.8K 
[ ]coh_sp__t18_coh_sp2024-07-27 08:19 11K 
[ ]coh_sp__t18_coh_sp.depv12024-08-03 10:19 107  
[ ]coh_sp__t18_coh_sp.depvmin12024-08-03 10:24 107  
[ ]coh_sp__t18_coh_sp.vmin12024-08-03 10:19 1.6K 
[ ]coh_sp__t18_coh_sp.vmin1out2024-08-03 10:23 46K 
[ ]coh_sp__t18_coh_sp.vout2024-08-03 07:24 35K 
[ ]coh_sp__t19_coh_sp2024-07-27 08:20 12K 
[ ]coh_sp__t19_coh_sp.depv12024-08-03 10:19 84  
[ ]coh_sp__t19_coh_sp.depvmin12024-08-03 10:24 84  
[ ]coh_sp__t19_coh_sp.vmin12024-08-03 10:19 1.8K 
[ ]coh_sp__t19_coh_sp.vmin1out2024-08-03 10:20 42K 
[ ]coh_sp__t19_coh_sp.vout2024-08-03 07:28 45K 
[ ]coh_sp__t20_coh_sp2024-07-27 08:21 13K 
[ ]coh_sp__t20_coh_sp.depv12024-08-03 10:19 152  
[ ]coh_sp__t20_coh_sp.depvmin12024-08-03 10:24 126  
[ ]coh_sp__t20_coh_sp.vmin12024-08-03 10:19 1.5K 
[ ]coh_sp__t20_coh_sp.vmin1out2024-08-03 10:22 14K 
[ ]coh_sp__t20_coh_sp.vout2024-08-03 06:22 20K 
[ ]coh_sp__t21_coh_sp2024-07-27 08:22 13K 
[ ]coh_sp__t21_coh_sp.depv12024-08-03 10:19 127  
[ ]coh_sp__t21_coh_sp.depvmin12024-08-03 10:24 127  
[ ]coh_sp__t21_coh_sp.vmin12024-08-03 10:19 1.8K 
[ ]coh_sp__t21_coh_sp.vmin1out2024-08-03 10:20 29K 
[ ]coh_sp__t21_coh_sp.vout2024-08-03 08:10 30K 
[ ]coh_sp__t22_coh_sp2024-07-27 08:23 14K 
[ ]coh_sp__t22_coh_sp.depv12024-08-03 10:19 129  
[ ]coh_sp__t22_coh_sp.depvmin12024-08-03 10:24 129  
[ ]coh_sp__t22_coh_sp.vmin12024-08-03 10:19 1.3K 
[ ]coh_sp__t22_coh_sp.vmin1out2024-08-03 10:22 17K 
[ ]coh_sp__t22_coh_sp.vout2024-08-03 07:18 17K 
[ ]coh_sp__t23_coh_sp2024-07-27 08:24 15K 
[ ]coh_sp__t23_coh_sp.vout2024-08-03 07:58 7.3K 
[ ]coh_sp__t24_coh_sp2024-07-27 08:02 15K 
[ ]coh_sp__t24_coh_sp.depv12024-08-03 10:19 163  
[ ]coh_sp__t24_coh_sp.depvmin12024-08-03 10:24 128  
[ ]coh_sp__t24_coh_sp.vmin12024-08-03 10:19 1.2K 
[ ]coh_sp__t24_coh_sp.vmin1out2024-08-03 10:22 9.9K 
[ ]coh_sp__t24_coh_sp.vout2024-08-03 07:45 13K 
[ ]coh_sp__t25_coh_sp2024-07-27 08:25 20K 
[ ]coh_sp__t25_coh_sp.vout2024-08-03 09:35 5.3K 
[ ]coh_sp__t27_coh_sp2024-07-27 08:25 10K 
[ ]coh_sp__t27_coh_sp.vout2024-08-03 06:08 5.3K 
[ ]coh_sp__t28_coh_sp2024-07-27 08:03 9.4K 
[ ]coh_sp__t28_coh_sp.depv12024-08-03 10:19 60  
[ ]coh_sp__t28_coh_sp.depvmin12024-08-03 10:24 60  
[ ]coh_sp__t28_coh_sp.vmin12024-08-03 10:19 633  
[ ]coh_sp__t28_coh_sp.vmin1out2024-08-03 10:21 8.8K 
[ ]coh_sp__t28_coh_sp.vout2024-08-03 07:20 8.7K 
[ ]coh_sp__t29_coh_sp2024-07-27 08:26 10K 
[ ]coh_sp__t29_coh_sp.depv12024-08-03 10:19 247  
[ ]coh_sp__t29_coh_sp.depvmin12024-08-03 10:24 180  
[ ]coh_sp__t29_coh_sp.vmin12024-08-03 10:19 2.1K 
[ ]coh_sp__t29_coh_sp.vmin1out2024-08-03 10:22 20K 
[ ]coh_sp__t29_coh_sp.vout2024-08-03 06:31 25K 
[ ]coh_sp__t30_coh_sp2024-07-27 08:27 11K 
[ ]coh_sp__t30_coh_sp.depv12024-08-03 10:19 295  
[ ]coh_sp__t30_coh_sp.depvmin12024-08-03 10:24 168  
[ ]coh_sp__t30_coh_sp.vmin12024-08-03 10:19 2.5K 
[ ]coh_sp__t30_coh_sp.vmin1out2024-08-03 10:20 21K 
[ ]coh_sp__t30_coh_sp.vout2024-08-03 04:15 30K 
[ ]coh_sp__t31_coh_sp2024-07-27 08:27 11K 
[ ]coh_sp__t31_coh_sp.vout2024-08-03 04:31 5.3K 
[ ]coh_sp__t32_coh_sp2024-07-27 08:04 10K 
[ ]coh_sp__t32_coh_sp.depv12024-08-03 10:19 44  
[ ]coh_sp__t32_coh_sp.depvmin12024-08-03 10:24 44  
[ ]coh_sp__t32_coh_sp.vmin12024-08-03 10:19 261  
[ ]coh_sp__t32_coh_sp.vmin1out2024-08-03 10:20 2.3K 
[ ]coh_sp__t32_coh_sp.vout2024-08-03 07:07 2.4K 
[ ]coh_sp__t33_coh_sp2024-07-27 08:04 11K 
[ ]coh_sp__t33_coh_sp.depv12024-08-03 10:19 44  
[ ]coh_sp__t33_coh_sp.depvmin12024-08-03 10:24 44  
[ ]coh_sp__t33_coh_sp.vmin12024-08-03 10:19 263  
[ ]coh_sp__t33_coh_sp.vmin1out2024-08-03 10:22 2.3K 
[ ]coh_sp__t33_coh_sp.vout2024-08-03 05:43 2.4K 
[ ]coh_sp__t34_coh_sp2024-07-27 08:28 10K 
[ ]coh_sp__t34_coh_sp.depv12024-08-03 10:19 99  
[ ]coh_sp__t34_coh_sp.depvmin12024-08-03 10:24 99  
[ ]coh_sp__t34_coh_sp.vmin12024-08-03 10:19 1.0K 
[ ]coh_sp__t34_coh_sp.vmin1out2024-08-03 10:20 11K 
[ ]coh_sp__t34_coh_sp.vout2024-08-03 09:58 11K 
[ ]coh_sp__t35_coh_sp2024-07-27 08:29 12K 
[ ]coh_sp__t35_coh_sp.depv12024-08-03 10:19 141  
[ ]coh_sp__t35_coh_sp.depvmin12024-08-03 10:24 141  
[ ]coh_sp__t35_coh_sp.vmin12024-08-03 10:19 1.3K 
[ ]coh_sp__t35_coh_sp.vmin1out2024-08-03 10:23 13K 
[ ]coh_sp__t35_coh_sp.vout2024-08-03 06:27 16K 
[ ]coh_sp__t36_coh_sp2024-07-27 08:30 11K 
[ ]coh_sp__t36_coh_sp.depv12024-08-03 10:19 113  
[ ]coh_sp__t36_coh_sp.depvmin12024-08-03 10:24 113  
[ ]coh_sp__t36_coh_sp.vmin12024-08-03 10:19 1.1K 
[ ]coh_sp__t36_coh_sp.vmin1out2024-08-03 10:23 11K 
[ ]coh_sp__t36_coh_sp.vout2024-08-03 07:08 9.2K 
[ ]coh_sp__t37_coh_sp2024-07-27 08:05 12K 
[ ]coh_sp__t37_coh_sp.depv12024-08-03 10:19 44  
[ ]coh_sp__t37_coh_sp.depvmin12024-08-03 10:24 44  
[ ]coh_sp__t37_coh_sp.vmin12024-08-03 10:19 291  
[ ]coh_sp__t37_coh_sp.vmin1out2024-08-03 10:22 2.5K 
[ ]coh_sp__t37_coh_sp.vout2024-08-03 06:47 2.6K 
[ ]coh_sp__t38_coh_sp2024-07-27 08:06 11K 
[ ]coh_sp__t38_coh_sp.depv12024-08-03 10:19 44  
[ ]coh_sp__t38_coh_sp.depvmin12024-08-03 10:24 44  
[ ]coh_sp__t38_coh_sp.vmin12024-08-03 10:19 289  
[ ]coh_sp__t38_coh_sp.vmin1out2024-08-03 10:22 2.5K 
[ ]coh_sp__t38_coh_sp.vout2024-08-03 05:28 2.6K 
[ ]coh_sp__t39_coh_sp2024-07-27 08:31 12K 
[ ]coh_sp__t39_coh_sp.vout2024-08-03 05:16 8.3K 
[ ]coh_sp__t40_coh_sp2024-07-27 08:31 13K 
[ ]coh_sp__t40_coh_sp.depv12024-08-03 10:19 194  
[ ]coh_sp__t40_coh_sp.depvmin12024-08-03 10:24 172  
[ ]coh_sp__t40_coh_sp.vmin12024-08-03 10:19 2.2K 
[ ]coh_sp__t40_coh_sp.vmin1out2024-08-03 10:23 64K 
[ ]coh_sp__t40_coh_sp.vout2024-08-03 05:32 59K 
[ ]coh_sp__t41_coh_sp2024-07-27 08:32 14K 
[ ]coh_sp__t41_coh_sp.depv12024-08-03 10:19 328  
[ ]coh_sp__t41_coh_sp.depvmin12024-08-03 10:24 278  
[ ]coh_sp__t41_coh_sp.vmin12024-08-03 10:19 4.1K 
[ ]coh_sp__t41_coh_sp.vmin1out2024-08-03 10:20 83K 
[ ]coh_sp__t41_coh_sp.vout2024-08-03 04:16 95K 
[ ]coh_sp__t42_coh_sp2024-07-27 08:33 14K 
[ ]coh_sp__t42_coh_sp.depv12024-08-03 10:19 155  
[ ]coh_sp__t42_coh_sp.depvmin12024-08-03 10:24 129  
[ ]coh_sp__t42_coh_sp.vmin12024-08-03 10:19 1.6K 
[ ]coh_sp__t42_coh_sp.vmin1out2024-08-03 10:23 14K 
[ ]coh_sp__t42_coh_sp.vout2024-08-03 06:31 20K 
[ ]coh_sp__t43_coh_sp2024-07-27 08:34 15K 
[ ]coh_sp__t43_coh_sp.depv12024-08-03 10:19 265  
[ ]coh_sp__t43_coh_sp.depvmin12024-08-03 10:24 255  
[ ]coh_sp__t43_coh_sp.vmin12024-08-03 10:19 3.1K 
[ ]coh_sp__t43_coh_sp.vmin1out2024-08-03 10:22 50K 
[ ]coh_sp__t43_coh_sp.vout2024-08-03 09:13 48K 
[ ]coh_sp__t44_coh_sp2024-07-27 08:35 17K 
[ ]coh_sp__t44_coh_sp.depv12024-08-03 10:19 132  
[ ]coh_sp__t44_coh_sp.depvmin12024-08-03 10:24 132  
[ ]coh_sp__t44_coh_sp.vmin12024-08-03 10:19 1.4K 
[ ]coh_sp__t44_coh_sp.vmin1out2024-08-03 10:21 17K 
[ ]coh_sp__t44_coh_sp.vout2024-08-03 08:04 19K 
[ ]coh_sp__t45_coh_sp2024-07-27 08:36 17K 
[ ]coh_sp__t45_coh_sp.vout2024-08-03 06:35 6.8K 
[ ]coh_sp__t46_coh_sp2024-07-27 08:07 15K 
[ ]coh_sp__t46_coh_sp.depv12024-08-03 10:19 192  
[ ]coh_sp__t46_coh_sp.depvmin12024-08-03 10:24 132  
[ ]coh_sp__t46_coh_sp.vmin12024-08-03 10:19 1.3K 
[ ]coh_sp__t46_coh_sp.vmin1out2024-08-03 10:23 10K 
[ ]coh_sp__t46_coh_sp.vout2024-08-03 07:19 14K 
[ ]coh_sp__t47_coh_sp2024-07-27 08:37 21K 
[ ]coh_sp__t47_coh_sp.vout2024-08-03 09:08 5.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80