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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cat_6__l36_cat_62024-07-28 09:43 21K 
[ ]cat_6__l36_cat_6.vout2024-08-03 06:44 5.3K 
[ ]cat_6__l44_cat_62024-07-28 09:36 16K 
[ ]cat_6__l44_cat_6.vout2024-08-03 07:07 2.0K 
[ ]cat_6__l45_cat_62024-07-28 09:37 16K 
[ ]cat_6__l45_cat_6.vout2024-08-03 08:25 2.0K 
[ ]cat_6__l67_cat_62024-07-28 09:38 17K 
[ ]cat_6__l67_cat_6.depv12024-08-03 10:19 64  
[ ]cat_6__l67_cat_6.depvmin12024-08-03 10:24 64  
[ ]cat_6__l67_cat_6.vmin12024-08-03 10:20 1.0K 
[ ]cat_6__l67_cat_6.vmin1out2024-08-03 10:22 9.0K 
[ ]cat_6__l67_cat_6.vout2024-08-03 04:38 9.0K 
[ ]cat_6__l68_cat_62024-07-28 09:38 16K 
[ ]cat_6__l68_cat_6.vout2024-08-03 10:14 2.0K 
[ ]cat_6__l77_cat_62024-07-28 09:40 34K 
[ ]cat_6__l77_cat_6.vout2024-08-03 07:43 7.3K 
[ ]cat_6__l79_cat_62024-07-28 09:42 32K 
[ ]cat_6__l79_cat_6.vout2024-08-03 09:28 4.1K 
[ ]cat_6__t1_cat_62024-07-28 08:32 18K 
[ ]cat_6__t1_cat_6.depv12024-08-03 10:19 195  
[ ]cat_6__t1_cat_6.depvmin12024-08-03 10:24 195  
[ ]cat_6__t1_cat_6.vmin12024-08-03 10:20 1.8K 
[ ]cat_6__t1_cat_6.vmin1out2024-08-03 10:20 16K 
[ ]cat_6__t1_cat_6.vout2024-08-03 08:04 16K 
[ ]cat_6__t2_cat_62024-07-28 08:33 17K 
[ ]cat_6__t2_cat_6.depv12024-08-03 10:19 224  
[ ]cat_6__t2_cat_6.depvmin12024-08-03 10:24 198  
[ ]cat_6__t2_cat_6.vmin12024-08-03 10:20 2.8K 
[ ]cat_6__t2_cat_6.vmin1out2024-08-03 10:22 42K 
[ ]cat_6__t2_cat_6.vout2024-08-03 08:38 52K 
[ ]cat_6__t3_cat_62024-07-28 08:39 18K 
[ ]cat_6__t3_cat_6.vout2024-08-03 07:49 4.1K 
[ ]cat_6__t4_cat_62024-07-28 08:40 18K 
[ ]cat_6__t4_cat_6.vout2024-08-03 07:01 4.1K 
[ ]cat_6__t5_cat_62024-07-28 08:41 18K 
[ ]cat_6__t5_cat_6.vout2024-08-03 08:28 4.0K 
[ ]cat_6__t6_cat_62024-07-28 08:42 18K 
[ ]cat_6__t6_cat_6.vout2024-08-03 05:23 4.1K 
[ ]cat_6__t7_cat_62024-07-28 08:43 18K 
[ ]cat_6__t7_cat_6.vout2024-08-03 06:43 4.1K 
[ ]cat_6__t8_cat_62024-07-28 08:45 18K 
[ ]cat_6__t8_cat_6.vout2024-08-03 07:16 4.1K 
[ ]cat_6__t9_cat_62024-07-28 08:46 20K 
[ ]cat_6__t9_cat_6.vout2024-08-03 08:05 3.7K 
[ ]cat_6__t10_cat_62024-07-28 08:47 19K 
[ ]cat_6__t10_cat_6.vout2024-08-03 10:10 2.0K 
[ ]cat_6__t11_cat_62024-07-28 08:48 17K 
[ ]cat_6__t11_cat_6.vout2024-08-03 09:34 3.2K 
[ ]cat_6__t12_cat_62024-07-28 08:49 17K 
[ ]cat_6__t12_cat_6.vout2024-08-03 04:41 4.1K 
[ ]cat_6__t13_cat_62024-07-28 08:50 17K 
[ ]cat_6__t13_cat_6.vout2024-08-03 08:21 4.1K 
[ ]cat_6__t14_cat_62024-07-28 08:34 15K 
[ ]cat_6__t14_cat_6.vout2024-08-03 04:37 5.2K 
[ ]cat_6__t15_cat_62024-07-28 08:51 17K 
[ ]cat_6__t15_cat_6.vout2024-08-03 05:50 4.1K 
[ ]cat_6__t16_cat_62024-07-28 08:51 17K 
[ ]cat_6__t16_cat_6.vout2024-08-03 05:56 4.1K 
[ ]cat_6__t17_cat_62024-07-28 08:52 16K 
[ ]cat_6__t17_cat_6.vout2024-08-03 07:00 4.1K 
[ ]cat_6__t18_cat_62024-07-28 08:53 17K 
[ ]cat_6__t18_cat_6.vout2024-08-03 09:00 4.1K 
[ ]cat_6__t19_cat_62024-07-28 08:54 16K 
[ ]cat_6__t19_cat_6.vout2024-08-03 06:39 4.1K 
[ ]cat_6__t20_cat_62024-07-28 08:35 15K 
[ ]cat_6__t20_cat_6.vout2024-08-03 08:09 5.2K 
[ ]cat_6__t21_cat_62024-07-28 08:55 16K 
[ ]cat_6__t21_cat_6.vout2024-08-03 10:08 7.3K 
[ ]cat_6__t22_cat_62024-07-28 08:56 14K 
[ ]cat_6__t22_cat_6.depv12024-08-03 10:19 128  
[ ]cat_6__t22_cat_6.depvmin12024-08-03 10:24 128  
[ ]cat_6__t22_cat_6.vmin12024-08-03 10:20 1.2K 
[ ]cat_6__t22_cat_6.vmin1out2024-08-03 10:21 15K 
[ ]cat_6__t22_cat_6.vout2024-08-03 09:17 19K 
[ ]cat_6__t23_cat_62024-07-28 08:57 21K 
[ ]cat_6__t23_cat_6.vout2024-08-03 07:17 7.3K 
[ ]cat_6__t24_cat_62024-07-28 08:58 20K 
[ ]cat_6__t24_cat_6.depv12024-08-03 10:19 30  
[ ]cat_6__t24_cat_6.depvmin12024-08-03 10:24 30  
[ ]cat_6__t24_cat_6.vmin12024-08-03 10:20 767  
[ ]cat_6__t24_cat_6.vmin1out2024-08-03 10:20 9.7K 
[ ]cat_6__t24_cat_6.vout2024-08-03 06:33 9.9K 
[ ]cat_6__t25_cat_62024-07-28 09:00 17K 
[ ]cat_6__t25_cat_6.vout2024-08-03 08:43 3.2K 
[ ]cat_6__t26_cat_62024-07-28 09:01 21K 
[ ]cat_6__t26_cat_6.depv12024-08-03 10:19 203  
[ ]cat_6__t26_cat_6.depvmin12024-08-03 10:24 203  
[ ]cat_6__t26_cat_6.vmin12024-08-03 10:20 2.4K 
[ ]cat_6__t26_cat_6.vmin1out2024-08-03 10:21 22K 
[ ]cat_6__t26_cat_6.vout2024-08-03 08:14 29K 
[ ]cat_6__t27_cat_62024-07-28 09:02 21K 
[ ]cat_6__t27_cat_6.depv12024-08-03 10:19 203  
[ ]cat_6__t27_cat_6.depvmin12024-08-03 10:24 203  
[ ]cat_6__t27_cat_6.vmin12024-08-03 10:20 2.4K 
[ ]cat_6__t27_cat_6.vmin1out2024-08-03 10:23 22K 
[ ]cat_6__t27_cat_6.vout2024-08-03 06:39 29K 
[ ]cat_6__t28_cat_62024-07-28 09:04 29K 
[ ]cat_6__t28_cat_6.vout2024-08-03 04:30 7.2K 
[ ]cat_6__t29_cat_62024-07-28 09:05 21K 
[ ]cat_6__t29_cat_6.vout2024-08-03 05:27 7.2K 
[ ]cat_6__t30_cat_62024-07-28 09:06 21K 
[ ]cat_6__t30_cat_6.depv12024-08-03 10:19 154  
[ ]cat_6__t30_cat_6.depvmin12024-08-03 10:24 141  
[ ]cat_6__t30_cat_6.vmin12024-08-03 10:20 2.0K 
[ ]cat_6__t30_cat_6.vmin1out2024-08-03 10:21 19K 
[ ]cat_6__t30_cat_6.vout2024-08-03 04:45 21K 
[ ]cat_6__t31_cat_62024-07-28 08:36 19K 
[ ]cat_6__t31_cat_6.vout2024-08-03 08:59 2.0K 
[ ]cat_6__t32_cat_62024-07-28 09:07 25K 
[ ]cat_6__t32_cat_6.vout2024-08-03 04:27 7.2K 
[ ]cat_6__t33_cat_62024-07-28 08:37 21K 
[ ]cat_6__t33_cat_6.depv12024-08-03 10:19 87  
[ ]cat_6__t33_cat_6.depvmin12024-08-03 10:24 87  
[ ]cat_6__t33_cat_6.vmin12024-08-03 10:20 2.2K 
[ ]cat_6__t33_cat_6.vmin1out2024-08-03 10:22 24K 
[ ]cat_6__t33_cat_6.vout2024-08-03 07:51 33K 
[ ]cat_6__t34_cat_62024-07-28 09:08 29K 
[ ]cat_6__t34_cat_6.vout2024-08-03 07:33 6.7K 
[ ]cat_6__t35_cat_62024-07-28 09:10 25K 
[ ]cat_6__t35_cat_6.vout2024-08-03 07:11 7.3K 
[ ]cat_6__t36_cat_62024-07-28 09:11 24K 
[ ]cat_6__t36_cat_6.vout2024-08-03 05:51 7.3K 
[ ]cat_6__t37_cat_62024-07-28 09:12 27K 
[ ]cat_6__t37_cat_6.vout2024-08-03 07:27 7.3K 
[ ]cat_6__t38_cat_62024-07-28 09:13 23K 
[ ]cat_6__t38_cat_6.vout2024-08-03 05:42 7.3K 
[ ]cat_6__t39_cat_62024-07-28 09:15 26K 
[ ]cat_6__t39_cat_6.vout2024-08-03 05:37 7.3K 
[ ]cat_6__t40_cat_62024-07-28 09:16 27K 
[ ]cat_6__t40_cat_6.depv12024-08-03 10:19 223  
[ ]cat_6__t40_cat_6.depvmin12024-08-03 10:24 223  
[ ]cat_6__t40_cat_6.vmin12024-08-03 10:20 3.8K 
[ ]cat_6__t40_cat_6.vmin1out2024-08-03 10:22 41K 
[ ]cat_6__t40_cat_6.vout2024-08-03 08:41 46K 
[ ]cat_6__t41_cat_62024-07-28 09:18 33K 
[ ]cat_6__t41_cat_6.vout2024-08-03 07:55 7.3K 
[ ]cat_6__t42_cat_62024-07-28 09:20 37K 
[ ]cat_6__t42_cat_6.vout2024-08-03 10:07 7.3K 
[ ]cat_6__t43_cat_62024-07-28 09:21 26K 
[ ]cat_6__t43_cat_6.depv12024-08-03 10:19 204  
[ ]cat_6__t43_cat_6.depvmin12024-08-03 10:24 204  
[ ]cat_6__t43_cat_6.vmin12024-08-03 10:20 3.7K 
[ ]cat_6__t43_cat_6.vmin1out2024-08-03 10:22 43K 
[ ]cat_6__t43_cat_6.vout2024-08-03 05:18 54K 
[ ]cat_6__t44_cat_62024-07-28 09:23 28K 
[ ]cat_6__t44_cat_6.depv12024-08-03 10:19 242  
[ ]cat_6__t44_cat_6.depvmin12024-08-03 10:24 214  
[ ]cat_6__t44_cat_6.vmin12024-08-03 10:20 4.6K 
[ ]cat_6__t44_cat_6.vmin1out2024-08-03 10:20 49K 
[ ]cat_6__t44_cat_6.vout2024-08-03 07:01 75K 
[ ]cat_6__t45_cat_62024-07-28 09:25 33K 
[ ]cat_6__t45_cat_6.vout2024-08-03 05:36 7.8K 
[ ]cat_6__t46_cat_62024-07-28 09:26 28K 
[ ]cat_6__t46_cat_6.vout2024-08-03 07:07 7.3K 
[ ]cat_6__t47_cat_62024-07-28 09:28 39K 
[ ]cat_6__t47_cat_6.vout2024-08-03 09:15 7.3K 
[ ]cat_6__t48_cat_62024-07-28 09:30 36K 
[ ]cat_6__t48_cat_6.vout2024-08-03 06:28 7.3K 
[ ]cat_6__t49_cat_62024-07-28 09:31 41K 
[ ]cat_6__t49_cat_6.vout2024-08-03 06:09 5.8K 
[ ]cat_6__t50_cat_62024-07-28 09:33 27K 
[ ]cat_6__t50_cat_6.depv12024-08-03 10:19 74  
[ ]cat_6__t50_cat_6.depvmin12024-08-03 10:24 74  
[ ]cat_6__t50_cat_6.vmin12024-08-03 10:20 1.9K 
[ ]cat_6__t50_cat_6.vmin1out2024-08-03 10:23 27K 
[ ]cat_6__t50_cat_6.vout2024-08-03 06:54 14K 
[ ]cat_6__t51_cat_62024-07-28 08:38 27K 
[ ]cat_6__t51_cat_6.vout2024-08-03 08:27 7.2K 
[ ]cat_6__t52_cat_62024-07-28 09:35 43K 
[ ]cat_6__t52_cat_6.vout2024-08-03 10:17 7.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80