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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coh_sp__l29_coh_sp2021-07-18 02:35 12K 
[ ]coh_sp__l29_coh_sp.depv12021-07-25 20:57 56  
[ ]coh_sp__l29_coh_sp.depvmin12021-07-25 21:02 56  
[ ]coh_sp__l29_coh_sp.vmin12021-07-25 20:57 554  
[ ]coh_sp__l29_coh_sp.vmin1out2021-07-25 20:59 8.0K 
[ ]coh_sp__l29_coh_sp.vout2021-07-25 20:52 8.1K 
[ ]coh_sp__l31_coh_sp2021-07-18 02:35 510  
[ ]coh_sp__l31_coh_sp.depv12021-07-25 20:57 23  
[ ]coh_sp__l31_coh_sp.depvmin12021-07-25 21:02 23  
[ ]coh_sp__l31_coh_sp.vmin12021-07-25 20:57 310  
[ ]coh_sp__l31_coh_sp.vmin1out2021-07-25 20:58 5.2K 
[ ]coh_sp__l31_coh_sp.vout2021-07-25 15:40 5.2K 
[ ]coh_sp__l44_coh_sp2021-07-18 02:36 26K 
[ ]coh_sp__l44_coh_sp.vout2021-07-25 17:28 7.3K 
[ ]coh_sp__l68_coh_sp2021-07-18 02:36 14K 
[ ]coh_sp__l68_coh_sp.depv12021-07-25 20:57 57  
[ ]coh_sp__l68_coh_sp.depvmin12021-07-25 21:02 57  
[ ]coh_sp__l68_coh_sp.vmin12021-07-25 20:57 565  
[ ]coh_sp__l68_coh_sp.vmin1out2021-07-25 21:02 8.1K 
[ ]coh_sp__l68_coh_sp.vout2021-07-25 19:22 8.2K 
[ ]coh_sp__l81_coh_sp2021-07-18 02:37 27K 
[ ]coh_sp__l81_coh_sp.vout2021-07-25 17:40 7.3K 
[ ]coh_sp__t1_coh_sp2021-07-18 02:25 6.0K 
[ ]coh_sp__t1_coh_sp.depv12021-07-25 20:57 86  
[ ]coh_sp__t1_coh_sp.depvmin12021-07-25 21:02 86  
[ ]coh_sp__t1_coh_sp.vmin12021-07-25 20:57 841  
[ ]coh_sp__t1_coh_sp.vmin1out2021-07-25 21:00 7.3K 
[ ]coh_sp__t1_coh_sp.vout2021-07-25 16:38 8.8K 
[ ]coh_sp__t2_coh_sp2021-07-18 02:25 6.5K 
[ ]coh_sp__t2_coh_sp.depv12021-07-25 20:57 135  
[ ]coh_sp__t2_coh_sp.depvmin12021-07-25 21:02 135  
[ ]coh_sp__t2_coh_sp.vmin12021-07-25 20:57 1.3K 
[ ]coh_sp__t2_coh_sp.vmin1out2021-07-25 21:02 14K 
[ ]coh_sp__t2_coh_sp.vout2021-07-25 18:33 21K 
[ ]coh_sp__t3_coh_sp2021-07-18 02:23 5.4K 
[ ]coh_sp__t3_coh_sp.depv12021-07-25 20:57 70  
[ ]coh_sp__t3_coh_sp.depvmin12021-07-25 21:02 70  
[ ]coh_sp__t3_coh_sp.vmin12021-07-25 20:57 515  
[ ]coh_sp__t3_coh_sp.vmin1out2021-07-25 20:58 3.1K 
[ ]coh_sp__t3_coh_sp.vout2021-07-25 14:53 3.0K 
[ ]coh_sp__t4_coh_sp2021-07-18 02:25 6.0K 
[ ]coh_sp__t4_coh_sp.depv12021-07-25 20:57 68  
[ ]coh_sp__t4_coh_sp.depvmin12021-07-25 21:02 68  
[ ]coh_sp__t4_coh_sp.vmin12021-07-25 20:57 679  
[ ]coh_sp__t4_coh_sp.vmin1out2021-07-25 20:58 11K 
[ ]coh_sp__t4_coh_sp.vout2021-07-25 19:52 11K 
[ ]coh_sp__t5_coh_sp2021-07-18 02:25 12K 
[ ]coh_sp__t5_coh_sp.vout2021-07-25 17:37 6.8K 
[ ]coh_sp__t6_coh_sp2021-07-18 02:26 7.7K 
[ ]coh_sp__t6_coh_sp.vout2021-07-25 18:16 7.8K 
[ ]coh_sp__t7_coh_sp2021-07-18 02:26 11K 
[ ]coh_sp__t7_coh_sp.depv12021-07-25 20:57 77  
[ ]coh_sp__t7_coh_sp.depvmin12021-07-25 21:02 68  
[ ]coh_sp__t7_coh_sp.vmin12021-07-25 20:57 1.5K 
[ ]coh_sp__t7_coh_sp.vmin1out2021-07-25 20:59 21K 
[ ]coh_sp__t7_coh_sp.vout2021-07-25 19:18 33K 
[ ]coh_sp__t8_coh_sp2021-07-18 02:26 6.3K 
[ ]coh_sp__t8_coh_sp.depv12021-07-25 20:57 76  
[ ]coh_sp__t8_coh_sp.depvmin12021-07-25 21:02 76  
[ ]coh_sp__t8_coh_sp.vmin12021-07-25 20:57 805  
[ ]coh_sp__t8_coh_sp.vmin1out2021-07-25 21:02 13K 
[ ]coh_sp__t8_coh_sp.vout2021-07-25 18:59 13K 
[ ]coh_sp__t9_coh_sp2021-07-18 02:26 10K 
[ ]coh_sp__t9_coh_sp.depv12021-07-25 20:57 66  
[ ]coh_sp__t9_coh_sp.depvmin12021-07-25 21:02 66  
[ ]coh_sp__t9_coh_sp.vmin12021-07-25 20:57 792  
[ ]coh_sp__t9_coh_sp.vmin1out2021-07-25 21:00 22K 
[ ]coh_sp__t9_coh_sp.vout2021-07-25 19:28 18K 
[ ]coh_sp__t10_coh_sp2021-07-18 02:26 5.8K 
[ ]coh_sp__t10_coh_sp.depv12021-07-25 20:57 142  
[ ]coh_sp__t10_coh_sp.depvmin12021-07-25 21:02 142  
[ ]coh_sp__t10_coh_sp.vmin12021-07-25 20:57 1.1K 
[ ]coh_sp__t10_coh_sp.vmin1out2021-07-25 21:01 13K 
[ ]coh_sp__t10_coh_sp.vout2021-07-25 16:06 13K 
[ ]coh_sp__t11_coh_sp2021-07-18 02:27 12K 
[ ]coh_sp__t11_coh_sp.vout2021-07-25 20:31 6.8K 
[ ]coh_sp__t12_coh_sp2021-07-18 02:27 12K 
[ ]coh_sp__t12_coh_sp.vout2021-07-25 14:50 7.1K 
[ ]coh_sp__t13_coh_sp2021-07-18 02:27 11K 
[ ]coh_sp__t13_coh_sp.depv12021-07-25 20:57 44  
[ ]coh_sp__t13_coh_sp.depvmin12021-07-25 21:02 44  
[ ]coh_sp__t13_coh_sp.vmin12021-07-25 20:57 1.1K 
[ ]coh_sp__t13_coh_sp.vmin1out2021-07-25 20:59 41K 
[ ]coh_sp__t13_coh_sp.vout2021-07-25 16:50 35K 
[ ]coh_sp__t14_coh_sp2021-07-18 02:28 10K 
[ ]coh_sp__t14_coh_sp.depv12021-07-25 20:57 45  
[ ]coh_sp__t14_coh_sp.depvmin12021-07-25 21:02 45  
[ ]coh_sp__t14_coh_sp.vmin12021-07-25 20:57 1.2K 
[ ]coh_sp__t14_coh_sp.vmin1out2021-07-25 21:02 39K 
[ ]coh_sp__t14_coh_sp.vout2021-07-25 18:58 39K 
[ ]coh_sp__t15_coh_sp2021-07-18 02:28 10K 
[ ]coh_sp__t15_coh_sp.depv12021-07-25 20:57 33  
[ ]coh_sp__t15_coh_sp.depvmin12021-07-25 21:02 33  
[ ]coh_sp__t15_coh_sp.vmin12021-07-25 20:57 704  
[ ]coh_sp__t15_coh_sp.vmin1out2021-07-25 21:01 15K 
[ ]coh_sp__t15_coh_sp.vout2021-07-25 16:05 16K 
[ ]coh_sp__t16_coh_sp2021-07-18 02:28 6.9K 
[ ]coh_sp__t16_coh_sp.depv12021-07-25 20:57 100  
[ ]coh_sp__t16_coh_sp.depvmin12021-07-25 21:02 100  
[ ]coh_sp__t16_coh_sp.vmin12021-07-25 20:57 870  
[ ]coh_sp__t16_coh_sp.vmin1out2021-07-25 21:01 13K 
[ ]coh_sp__t16_coh_sp.vout2021-07-25 17:26 13K 
[ ]coh_sp__t17_coh_sp2021-07-18 02:28 10K 
[ ]coh_sp__t17_coh_sp.vout2021-07-25 18:59 7.8K 
[ ]coh_sp__t18_coh_sp2021-07-18 02:29 11K 
[ ]coh_sp__t18_coh_sp.depv12021-07-25 20:57 107  
[ ]coh_sp__t18_coh_sp.depvmin12021-07-25 21:02 107  
[ ]coh_sp__t18_coh_sp.vmin12021-07-25 20:57 1.6K 
[ ]coh_sp__t18_coh_sp.vmin1out2021-07-25 20:59 46K 
[ ]coh_sp__t18_coh_sp.vout2021-07-25 15:30 35K 
[ ]coh_sp__t19_coh_sp2021-07-18 02:29 12K 
[ ]coh_sp__t19_coh_sp.depv12021-07-25 20:57 84  
[ ]coh_sp__t19_coh_sp.depvmin12021-07-25 21:02 84  
[ ]coh_sp__t19_coh_sp.vmin12021-07-25 20:57 1.8K 
[ ]coh_sp__t19_coh_sp.vmin1out2021-07-25 21:01 42K 
[ ]coh_sp__t19_coh_sp.vout2021-07-25 17:55 45K 
[ ]coh_sp__t20_coh_sp2021-07-18 02:29 13K 
[ ]coh_sp__t20_coh_sp.depv12021-07-25 20:57 152  
[ ]coh_sp__t20_coh_sp.depvmin12021-07-25 21:02 126  
[ ]coh_sp__t20_coh_sp.vmin12021-07-25 20:57 1.5K 
[ ]coh_sp__t20_coh_sp.vmin1out2021-07-25 21:01 14K 
[ ]coh_sp__t20_coh_sp.vout2021-07-25 20:40 20K 
[ ]coh_sp__t21_coh_sp2021-07-18 02:30 13K 
[ ]coh_sp__t21_coh_sp.depv12021-07-25 20:57 127  
[ ]coh_sp__t21_coh_sp.depvmin12021-07-25 21:02 127  
[ ]coh_sp__t21_coh_sp.vmin12021-07-25 20:57 1.8K 
[ ]coh_sp__t21_coh_sp.vmin1out2021-07-25 21:00 29K 
[ ]coh_sp__t21_coh_sp.vout2021-07-25 18:18 30K 
[ ]coh_sp__t22_coh_sp2021-07-18 02:30 14K 
[ ]coh_sp__t22_coh_sp.depv12021-07-25 20:57 129  
[ ]coh_sp__t22_coh_sp.depvmin12021-07-25 21:02 129  
[ ]coh_sp__t22_coh_sp.vmin12021-07-25 20:57 1.3K 
[ ]coh_sp__t22_coh_sp.vmin1out2021-07-25 20:58 17K 
[ ]coh_sp__t22_coh_sp.vout2021-07-25 17:35 17K 
[ ]coh_sp__t23_coh_sp2021-07-18 02:30 15K 
[ ]coh_sp__t23_coh_sp.vout2021-07-25 20:24 6.8K 
[ ]coh_sp__t24_coh_sp2021-07-18 02:23 15K 
[ ]coh_sp__t24_coh_sp.depv12021-07-25 20:57 163  
[ ]coh_sp__t24_coh_sp.depvmin12021-07-25 21:02 128  
[ ]coh_sp__t24_coh_sp.vmin12021-07-25 20:57 1.2K 
[ ]coh_sp__t24_coh_sp.vmin1out2021-07-25 20:58 9.9K 
[ ]coh_sp__t24_coh_sp.vout2021-07-25 15:29 13K 
[ ]coh_sp__t25_coh_sp2021-07-18 02:31 20K 
[ ]coh_sp__t25_coh_sp.vout2021-07-25 16:18 5.3K 
[ ]coh_sp__t27_coh_sp2021-07-18 02:31 10K 
[ ]coh_sp__t27_coh_sp.vout2021-07-25 20:09 5.3K 
[ ]coh_sp__t28_coh_sp2021-07-18 02:24 9.4K 
[ ]coh_sp__t28_coh_sp.depv12021-07-25 20:57 60  
[ ]coh_sp__t28_coh_sp.depvmin12021-07-25 21:02 60  
[ ]coh_sp__t28_coh_sp.vmin12021-07-25 20:57 633  
[ ]coh_sp__t28_coh_sp.vmin1out2021-07-25 20:57 8.8K 
[ ]coh_sp__t28_coh_sp.vout2021-07-25 18:16 8.7K 
[ ]coh_sp__t29_coh_sp2021-07-18 02:31 10K 
[ ]coh_sp__t29_coh_sp.depv12021-07-25 20:57 247  
[ ]coh_sp__t29_coh_sp.depvmin12021-07-25 21:02 180  
[ ]coh_sp__t29_coh_sp.vmin12021-07-25 20:57 2.1K 
[ ]coh_sp__t29_coh_sp.vmin1out2021-07-25 21:01 20K 
[ ]coh_sp__t29_coh_sp.vout2021-07-25 20:16 25K 
[ ]coh_sp__t30_coh_sp2021-07-18 02:32 11K 
[ ]coh_sp__t30_coh_sp.depv12021-07-25 20:57 295  
[ ]coh_sp__t30_coh_sp.depvmin12021-07-25 21:02 168  
[ ]coh_sp__t30_coh_sp.vmin12021-07-25 20:57 2.5K 
[ ]coh_sp__t30_coh_sp.vmin1out2021-07-25 21:00 21K 
[ ]coh_sp__t30_coh_sp.vout2021-07-25 17:49 30K 
[ ]coh_sp__t31_coh_sp2021-07-18 02:32 11K 
[ ]coh_sp__t31_coh_sp.vout2021-07-25 16:12 5.3K 
[ ]coh_sp__t32_coh_sp2021-07-18 02:24 10K 
[ ]coh_sp__t32_coh_sp.depv12021-07-25 20:57 44  
[ ]coh_sp__t32_coh_sp.depvmin12021-07-25 21:02 44  
[ ]coh_sp__t32_coh_sp.vmin12021-07-25 20:57 261  
[ ]coh_sp__t32_coh_sp.vmin1out2021-07-25 21:01 2.3K 
[ ]coh_sp__t32_coh_sp.vout2021-07-25 17:51 2.4K 
[ ]coh_sp__t33_coh_sp2021-07-18 02:24 11K 
[ ]coh_sp__t33_coh_sp.depv12021-07-25 20:57 44  
[ ]coh_sp__t33_coh_sp.depvmin12021-07-25 21:02 44  
[ ]coh_sp__t33_coh_sp.vmin12021-07-25 20:57 263  
[ ]coh_sp__t33_coh_sp.vmin1out2021-07-25 21:01 2.3K 
[ ]coh_sp__t33_coh_sp.vout2021-07-25 20:09 2.4K 
[ ]coh_sp__t34_coh_sp2021-07-18 02:32 10K 
[ ]coh_sp__t34_coh_sp.depv12021-07-25 20:57 99  
[ ]coh_sp__t34_coh_sp.depvmin12021-07-25 21:02 99  
[ ]coh_sp__t34_coh_sp.vmin12021-07-25 20:57 1.0K 
[ ]coh_sp__t34_coh_sp.vmin1out2021-07-25 20:59 11K 
[ ]coh_sp__t34_coh_sp.vout2021-07-25 15:59 11K 
[ ]coh_sp__t35_coh_sp2021-07-18 02:32 12K 
[ ]coh_sp__t35_coh_sp.depv12021-07-25 20:57 141  
[ ]coh_sp__t35_coh_sp.depvmin12021-07-25 21:02 141  
[ ]coh_sp__t35_coh_sp.vmin12021-07-25 20:57 1.3K 
[ ]coh_sp__t35_coh_sp.vmin1out2021-07-25 21:00 13K 
[ ]coh_sp__t35_coh_sp.vout2021-07-25 18:16 16K 
[ ]coh_sp__t36_coh_sp2021-07-18 02:33 11K 
[ ]coh_sp__t36_coh_sp.depv12021-07-25 20:57 113  
[ ]coh_sp__t36_coh_sp.depvmin12021-07-25 21:02 113  
[ ]coh_sp__t36_coh_sp.vmin12021-07-25 20:57 1.1K 
[ ]coh_sp__t36_coh_sp.vmin1out2021-07-25 21:01 11K 
[ ]coh_sp__t36_coh_sp.vout2021-07-25 15:34 9.2K 
[ ]coh_sp__t37_coh_sp2021-07-18 02:24 12K 
[ ]coh_sp__t37_coh_sp.depv12021-07-25 20:57 44  
[ ]coh_sp__t37_coh_sp.depvmin12021-07-25 21:02 44  
[ ]coh_sp__t37_coh_sp.vmin12021-07-25 20:57 291  
[ ]coh_sp__t37_coh_sp.vmin1out2021-07-25 20:59 2.5K 
[ ]coh_sp__t37_coh_sp.vout2021-07-25 15:21 2.6K 
[ ]coh_sp__t38_coh_sp2021-07-18 02:24 11K 
[ ]coh_sp__t38_coh_sp.depv12021-07-25 20:57 44  
[ ]coh_sp__t38_coh_sp.depvmin12021-07-25 21:02 44  
[ ]coh_sp__t38_coh_sp.vmin12021-07-25 20:57 289  
[ ]coh_sp__t38_coh_sp.vmin1out2021-07-25 21:00 2.5K 
[ ]coh_sp__t38_coh_sp.vout2021-07-25 14:29 2.6K 
[ ]coh_sp__t39_coh_sp2021-07-18 02:33 12K 
[ ]coh_sp__t39_coh_sp.vout2021-07-25 15:54 8.3K 
[ ]coh_sp__t40_coh_sp2021-07-18 02:33 13K 
[ ]coh_sp__t40_coh_sp.depv12021-07-25 20:57 194  
[ ]coh_sp__t40_coh_sp.depvmin12021-07-25 21:02 172  
[ ]coh_sp__t40_coh_sp.vmin12021-07-25 20:57 2.2K 
[ ]coh_sp__t40_coh_sp.vmin1out2021-07-25 21:00 64K 
[ ]coh_sp__t40_coh_sp.vout2021-07-25 18:16 59K 
[ ]coh_sp__t41_coh_sp2021-07-18 02:33 14K 
[ ]coh_sp__t41_coh_sp.depv12021-07-25 20:57 328  
[ ]coh_sp__t41_coh_sp.depvmin12021-07-25 21:02 278  
[ ]coh_sp__t41_coh_sp.vmin12021-07-25 20:57 4.1K 
[ ]coh_sp__t41_coh_sp.vmin1out2021-07-25 20:58 83K 
[ ]coh_sp__t41_coh_sp.vout2021-07-25 14:22 95K 
[ ]coh_sp__t42_coh_sp2021-07-18 02:34 14K 
[ ]coh_sp__t42_coh_sp.depv12021-07-25 20:57 155  
[ ]coh_sp__t42_coh_sp.depvmin12021-07-25 21:02 129  
[ ]coh_sp__t42_coh_sp.vmin12021-07-25 20:57 1.6K 
[ ]coh_sp__t42_coh_sp.vmin1out2021-07-25 21:00 14K 
[ ]coh_sp__t42_coh_sp.vout2021-07-25 14:52 20K 
[ ]coh_sp__t43_coh_sp2021-07-18 02:34 15K 
[ ]coh_sp__t43_coh_sp.depv12021-07-25 20:57 265  
[ ]coh_sp__t43_coh_sp.depvmin12021-07-25 21:02 255  
[ ]coh_sp__t43_coh_sp.vmin12021-07-25 20:57 3.1K 
[ ]coh_sp__t43_coh_sp.vmin1out2021-07-25 20:58 50K 
[ ]coh_sp__t43_coh_sp.vout2021-07-25 16:51 48K 
[ ]coh_sp__t44_coh_sp2021-07-18 02:34 17K 
[ ]coh_sp__t44_coh_sp.depv12021-07-25 20:57 132  
[ ]coh_sp__t44_coh_sp.depvmin12021-07-25 21:02 132  
[ ]coh_sp__t44_coh_sp.vmin12021-07-25 20:57 1.4K 
[ ]coh_sp__t44_coh_sp.vmin1out2021-07-25 21:02 17K 
[ ]coh_sp__t44_coh_sp.vout2021-07-25 16:53 19K 
[ ]coh_sp__t45_coh_sp2021-07-18 02:35 17K 
[ ]coh_sp__t45_coh_sp.vout2021-07-25 18:09 6.8K 
[ ]coh_sp__t46_coh_sp2021-07-18 02:25 15K 
[ ]coh_sp__t46_coh_sp.depv12021-07-25 20:57 192  
[ ]coh_sp__t46_coh_sp.depvmin12021-07-25 21:02 132  
[ ]coh_sp__t46_coh_sp.vmin12021-07-25 20:57 1.3K 
[ ]coh_sp__t46_coh_sp.vmin1out2021-07-25 21:02 10K 
[ ]coh_sp__t46_coh_sp.vout2021-07-25 16:28 14K 
[ ]coh_sp__t47_coh_sp2021-07-18 02:35 21K 
[ ]coh_sp__t47_coh_sp.vout2021-07-25 18:42 5.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80