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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cat_7__t1_cat_72024-07-28 04:57 13K 
[ ]cat_7__t1_cat_7.depv12024-08-03 10:19 55  
[ ]cat_7__t1_cat_7.depvmin12024-08-03 10:24 55  
[ ]cat_7__t1_cat_7.vmin12024-08-03 10:19 627  
[ ]cat_7__t1_cat_7.vmin1out2024-08-03 10:23 6.3K 
[ ]cat_7__t1_cat_7.vout2024-08-03 06:31 6.3K 
[ ]cat_7__t2_cat_72024-07-28 04:58 18K 
[ ]cat_7__t2_cat_7.depv12024-08-03 10:19 72  
[ ]cat_7__t2_cat_7.depvmin12024-08-03 10:24 72  
[ ]cat_7__t2_cat_7.vmin12024-08-03 10:19 943  
[ ]cat_7__t2_cat_7.vmin1out2024-08-03 10:20 9.0K 
[ ]cat_7__t2_cat_7.vout2024-08-03 07:58 9.1K 
[ ]cat_7__t3_cat_72024-07-28 04:59 1.6K 
[ ]cat_7__t3_cat_7.depv12024-08-03 10:19 47  
[ ]cat_7__t3_cat_7.depvmin12024-08-03 10:24 47  
[ ]cat_7__t3_cat_7.vmin12024-08-03 10:19 1.1K 
[ ]cat_7__t3_cat_7.vmin1out2024-08-03 10:20 18K 
[ ]cat_7__t3_cat_7.vout2024-08-03 04:53 18K 
[ ]cat_7__t4_cat_72024-07-28 05:00 30K 
[ ]cat_7__t4_cat_7.vout2024-08-03 07:17 4.1K 
[ ]cat_7__t5_cat_72024-07-28 05:01 28K 
[ ]cat_7__t5_cat_7.depv12024-08-03 10:19 160  
[ ]cat_7__t5_cat_7.depvmin12024-08-03 10:24 160  
[ ]cat_7__t5_cat_7.vmin12024-08-03 10:19 3.1K 
[ ]cat_7__t5_cat_7.vmin1out2024-08-03 10:22 50K 
[ ]cat_7__t5_cat_7.vout2024-08-03 08:56 50K 
[ ]cat_7__t6_cat_72024-07-28 05:03 19K 
[ ]cat_7__t6_cat_7.depv12024-08-03 10:19 148  
[ ]cat_7__t6_cat_7.depvmin12024-08-03 10:24 139  
[ ]cat_7__t6_cat_7.vmin12024-08-03 10:19 2.7K 
[ ]cat_7__t6_cat_7.vmin1out2024-08-03 10:20 26K 
[ ]cat_7__t6_cat_7.vout2024-08-03 06:11 26K 
[ ]cat_7__t7_cat_72024-07-28 05:03 1.4K 
[ ]cat_7__t7_cat_7.depv12024-08-03 10:19 37  
[ ]cat_7__t7_cat_7.depvmin12024-08-03 10:24 37  
[ ]cat_7__t7_cat_7.vmin12024-08-03 10:19 857  
[ ]cat_7__t7_cat_7.vmin1out2024-08-03 10:20 16K 
[ ]cat_7__t7_cat_7.vout2024-08-03 08:18 15K 
[ ]cat_7__t8_cat_72024-07-28 05:04 18K 
[ ]cat_7__t8_cat_7.depv12024-08-03 10:19 50  
[ ]cat_7__t8_cat_7.depvmin12024-08-03 10:24 50  
[ ]cat_7__t8_cat_7.vmin12024-08-03 10:19 1.2K 
[ ]cat_7__t8_cat_7.vmin1out2024-08-03 10:23 25K 
[ ]cat_7__t8_cat_7.vout2024-08-03 08:09 19K 
[ ]cat_7__t9_cat_72024-07-28 05:05 18K 
[ ]cat_7__t9_cat_7.depv12024-08-03 10:19 50  
[ ]cat_7__t9_cat_7.depvmin12024-08-03 10:24 50  
[ ]cat_7__t9_cat_7.vmin12024-08-03 10:19 1.2K 
[ ]cat_7__t9_cat_7.vmin1out2024-08-03 10:23 25K 
[ ]cat_7__t9_cat_7.vout2024-08-03 09:30 19K 
[ ]cat_7__t10_cat_72024-07-28 05:06 26K 
[ ]cat_7__t10_cat_7.vout2024-08-03 10:02 4.2K 
[ ]cat_7__t11_cat_72024-07-28 05:07 27K 
[ ]cat_7__t11_cat_7.depv12024-08-03 10:19 242  
[ ]cat_7__t11_cat_7.depvmin12024-08-03 10:24 104  
[ ]cat_7__t11_cat_7.vmin12024-08-03 10:19 3.4K 
[ ]cat_7__t11_cat_7.vmin1out2024-08-03 10:21 19K 
[ ]cat_7__t11_cat_7.vout2024-08-03 09:45 50K 
[ ]cat_7__t12_cat_72024-07-28 05:09 47K 
[ ]cat_7__t12_cat_7.vout2024-08-03 05:10 4.7K 
[ ]cat_7__t13_cat_72024-07-28 05:11 25K 
[ ]cat_7__t13_cat_7.vout2024-08-03 05:24 4.0K 
[ ]cat_7__t14_cat_72024-07-28 05:12 47K 
[ ]cat_7__t14_cat_7.vout2024-08-03 08:37 7.3K 
[ ]cat_7__t15_cat_72024-07-28 05:13 18K 
[ ]cat_7__t15_cat_7.depv12024-08-03 10:19 108  
[ ]cat_7__t15_cat_7.depvmin12024-08-03 10:24 108  
[ ]cat_7__t15_cat_7.vmin12024-08-03 10:19 1.1K 
[ ]cat_7__t15_cat_7.vmin1out2024-08-03 10:21 9.8K 
[ ]cat_7__t15_cat_7.vout2024-08-03 06:11 9.0K 
[ ]cat_7__t16_cat_72024-07-28 05:14 16K 
[ ]cat_7__t16_cat_7.depv12024-08-03 10:19 84  
[ ]cat_7__t16_cat_7.depvmin12024-08-03 10:24 84  
[ ]cat_7__t16_cat_7.vmin12024-08-03 10:19 1.5K 
[ ]cat_7__t16_cat_7.vmin1out2024-08-03 10:21 19K 
[ ]cat_7__t16_cat_7.vout2024-08-03 06:45 28K 
[ ]cat_7__t17_cat_72024-07-28 05:15 19K 
[ ]cat_7__t17_cat_7.depv12024-08-03 10:19 60  
[ ]cat_7__t17_cat_7.depvmin12024-08-03 10:24 60  
[ ]cat_7__t17_cat_7.vmin12024-08-03 10:19 1.7K 
[ ]cat_7__t17_cat_7.vmin1out2024-08-03 10:22 26K 
[ ]cat_7__t17_cat_7.vout2024-08-03 08:57 37K 
[ ]cat_7__t18_cat_72024-07-28 05:16 22K 
[ ]cat_7__t18_cat_7.depv12024-08-03 10:19 152  
[ ]cat_7__t18_cat_7.depvmin12024-08-03 10:24 152  
[ ]cat_7__t18_cat_7.vmin12024-08-03 10:19 2.9K 
[ ]cat_7__t18_cat_7.vmin1out2024-08-03 10:21 60K 
[ ]cat_7__t18_cat_7.vout2024-08-03 06:24 58K 
[ ]cat_7__t19_cat_72024-07-28 04:57 19K 
[ ]cat_7__t19_cat_7.depv12024-08-03 10:19 87  
[ ]cat_7__t19_cat_7.depvmin12024-08-03 10:24 87  
[ ]cat_7__t19_cat_7.vmin12024-08-03 10:19 1.2K 
[ ]cat_7__t19_cat_7.vmin1out2024-08-03 10:21 12K 
[ ]cat_7__t19_cat_7.vout2024-08-03 04:14 19K 
[ ]cat_7__t20_cat_72024-07-28 05:18 19K 
[ ]cat_7__t20_cat_7.depv12024-08-03 10:19 75  
[ ]cat_7__t20_cat_7.depvmin12024-08-03 10:24 75  
[ ]cat_7__t20_cat_7.vmin12024-08-03 10:19 1.2K 
[ ]cat_7__t20_cat_7.vmin1out2024-08-03 10:23 24K 
[ ]cat_7__t20_cat_7.vout2024-08-03 10:00 36K 
[ ]cat_7__t21_cat_72024-07-28 05:19 20K 
[ ]cat_7__t21_cat_7.depv12024-08-03 10:19 124  
[ ]cat_7__t21_cat_7.depvmin12024-08-03 10:24 124  
[ ]cat_7__t21_cat_7.vmin12024-08-03 10:19 1.7K 
[ ]cat_7__t21_cat_7.vmin1out2024-08-03 10:23 17K 
[ ]cat_7__t21_cat_7.vout2024-08-03 08:33 27K 
[ ]cat_7__t22_cat_72024-07-28 05:20 20K 
[ ]cat_7__t22_cat_7.vout2024-08-03 08:09 7.3K 
[ ]cat_7__t23_cat_72024-07-28 05:21 18K 
[ ]cat_7__t23_cat_7.depv12024-08-03 10:19 73  
[ ]cat_7__t23_cat_7.depvmin12024-08-03 10:24 73  
[ ]cat_7__t23_cat_7.vmin12024-08-03 10:19 2.8K 
[ ]cat_7__t23_cat_7.vmin1out2024-08-03 10:22 52K 
[ ]cat_7__t23_cat_7.vout2024-08-03 08:43 86K 
[ ]cat_7__t24_cat_72024-07-28 05:22 20K 
[ ]cat_7__t24_cat_7.depv12024-08-03 10:19 118  
[ ]cat_7__t24_cat_7.depvmin12024-08-03 10:24 118  
[ ]cat_7__t24_cat_7.vmin12024-08-03 10:19 2.7K 
[ ]cat_7__t24_cat_7.vmin1out2024-08-03 10:21 46K 
[ ]cat_7__t24_cat_7.vout2024-08-03 06:42 48K 
[ ]cat_7__t25_cat_72024-07-28 05:23 17K 
[ ]cat_7__t25_cat_7.depv12024-08-03 10:19 29  
[ ]cat_7__t25_cat_7.depvmin12024-08-03 10:24 29  
[ ]cat_7__t25_cat_7.vmin12024-08-03 10:19 1.3K 
[ ]cat_7__t25_cat_7.vmin1out2024-08-03 10:21 17K 
[ ]cat_7__t25_cat_7.vout2024-08-03 05:46 39K 
[ ]cat_7__t26_cat_72024-07-28 05:24 17K 
[ ]cat_7__t26_cat_7.vout2024-08-03 07:27 7.2K 
[ ]cat_7__t27_cat_72024-07-28 05:25 17K 
[ ]cat_7__t27_cat_7.depv12024-08-03 10:19 41  
[ ]cat_7__t27_cat_7.depvmin12024-08-03 10:24 41  
[ ]cat_7__t27_cat_7.vmin12024-08-03 10:19 1.9K 
[ ]cat_7__t27_cat_7.vmin1out2024-08-03 10:20 24K 
[ ]cat_7__t27_cat_7.vout2024-08-03 09:20 49K 
[ ]cat_7__t28_cat_72024-07-28 05:26 22K 
[ ]cat_7__t28_cat_7.vout2024-08-03 06:10 7.3K 
[ ]cat_7__t29_cat_72024-07-28 05:27 17K 
[ ]cat_7__t29_cat_7.depv12024-08-03 10:19 29  
[ ]cat_7__t29_cat_7.depvmin12024-08-03 10:24 29  
[ ]cat_7__t29_cat_7.vmin12024-08-03 10:19 1.3K 
[ ]cat_7__t29_cat_7.vmin1out2024-08-03 10:22 17K 
[ ]cat_7__t29_cat_7.vout2024-08-03 04:17 39K 
[ ]cat_7__t30_cat_72024-07-28 05:29 17K 
[ ]cat_7__t30_cat_7.vout2024-08-03 06:05 7.3K 
[ ]cat_7__t31_cat_72024-07-28 05:30 17K 
[ ]cat_7__t31_cat_7.depv12024-08-03 10:19 41  
[ ]cat_7__t31_cat_7.depvmin12024-08-03 10:24 41  
[ ]cat_7__t31_cat_7.vmin12024-08-03 10:19 1.9K 
[ ]cat_7__t31_cat_7.vmin1out2024-08-03 10:21 24K 
[ ]cat_7__t31_cat_7.vout2024-08-03 06:01 56K 
[ ]cat_7__t32_cat_72024-07-28 05:31 22K 
[ ]cat_7__t32_cat_7.vout2024-08-03 07:57 7.2K 
[ ]cat_7__t33_cat_72024-07-28 05:32 18K 
[ ]cat_7__t33_cat_7.vout2024-08-03 08:47 2.0K 
[ ]cat_7__t34_cat_72024-07-28 05:34 27K 
[ ]cat_7__t34_cat_7.vout2024-08-03 10:10 7.8K 
[ ]cat_7__t35_cat_72024-07-28 05:36 55K 
[ ]cat_7__t35_cat_7.vout2024-08-03 08:30 5.8K 
[ ]cat_7__t36_cat_72024-07-28 05:37 35K 
[ ]cat_7__t36_cat_7.vout2024-08-03 08:49 7.2K 
[ ]cat_7__t37_cat_72024-07-28 06:06 40K 
[ ]cat_7__t37_cat_7.vout2024-08-03 04:34 7.3K 
[ ]cat_7__t38_cat_72024-07-28 05:40 52K 
[ ]cat_7__t38_cat_7.vout2024-08-03 08:24 7.2K 
[ ]cat_7__t39_cat_72024-07-28 05:42 47K 
[ ]cat_7__t39_cat_7.vout2024-08-03 06:02 8.4K 
[ ]cat_7__t40_cat_72024-07-28 05:43 32K 
[ ]cat_7__t40_cat_7.vout2024-08-03 08:10 4.1K 
[ ]cat_7__t41_cat_72024-07-28 05:45 24K 
[ ]cat_7__t41_cat_7.vout2024-08-03 07:16 7.3K 
[ ]cat_7__t42_cat_72024-07-28 05:46 17K 
[ ]cat_7__t42_cat_7.vout2024-08-03 04:47 7.2K 
[ ]cat_7__t43_cat_72024-07-28 05:47 19K 
[ ]cat_7__t43_cat_7.vout2024-08-03 04:14 7.3K 
[ ]cat_7__t44_cat_72024-07-28 05:48 24K 
[ ]cat_7__t44_cat_7.vout2024-08-03 05:44 7.2K 
[ ]cat_7__t45_cat_72024-07-28 05:49 19K 
[ ]cat_7__t45_cat_7.vout2024-08-03 07:23 7.2K 
[ ]cat_7__t46_cat_72024-07-28 05:51 28K 
[ ]cat_7__t46_cat_7.vout2024-08-03 08:04 4.1K 
[ ]cat_7__t47_cat_72024-07-28 05:52 23K 
[ ]cat_7__t47_cat_7.vout2024-08-03 09:47 4.1K 
[ ]cat_7__t48_cat_72024-07-28 05:53 25K 
[ ]cat_7__t48_cat_7.vout2024-08-03 06:06 4.1K 
[ ]cat_7__t49_cat_72024-07-28 05:54 26K 
[ ]cat_7__t49_cat_7.vout2024-08-03 06:12 4.1K 
[ ]cat_7__t50_cat_72024-07-28 05:56 26K 
[ ]cat_7__t50_cat_7.vout2024-08-03 09:00 4.1K 
[ ]cat_7__t51_cat_72024-07-28 06:11 55K 
[ ]cat_7__t51_cat_7.vout2024-08-03 07:57 6.7K 
[ ]cat_7__t52_cat_72024-07-28 05:57 37K 
[ ]cat_7__t52_cat_7.vout2024-08-03 04:53 4.1K 
[ ]cat_7__t53_cat_72024-07-28 05:58 26K 
[ ]cat_7__t53_cat_7.vout2024-08-03 06:04 3.2K 
[ ]cat_7__t54_cat_72024-07-28 06:00 45K 
[ ]cat_7__t54_cat_7.vout2024-08-03 07:40 4.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80