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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]afproj__l55_afproj2024-07-27 23:55 19K 
[ ]afproj__l55_afproj.vout2024-08-03 08:10 5.3K 
[ ]afproj__l56_afproj2024-07-27 23:57 22K 
[ ]afproj__l56_afproj.vout2024-08-03 08:25 7.3K 
[ ]afproj__l57_afproj2024-07-27 23:58 26K 
[ ]afproj__l57_afproj.vout2024-08-03 04:49 5.3K 
[ ]afproj__l58_afproj2024-07-28 00:00 22K 
[ ]afproj__l58_afproj.vout2024-08-03 08:23 4.7K 
[ ]afproj__l59_afproj2024-07-28 00:01 22K 
[ ]afproj__l59_afproj.vout2024-08-03 07:43 5.3K 
[ ]afproj__l60_afproj2024-07-28 00:02 20K 
[ ]afproj__l60_afproj.vout2024-08-03 05:10 7.3K 
[ ]afproj__l63_afproj2024-07-28 00:04 22K 
[ ]afproj__l63_afproj.vout2024-08-03 09:06 3.6K 
[ ]afproj__l64_afproj2024-07-28 00:05 21K 
[ ]afproj__l64_afproj.depv12024-08-03 10:19 124  
[ ]afproj__l64_afproj.depvmin12024-08-03 10:24 124  
[ ]afproj__l64_afproj.vmin12024-08-03 10:19 4.9K 
[ ]afproj__l64_afproj.vmin1out2024-08-03 10:22 127K 
[ ]afproj__l64_afproj.vout2024-08-03 06:56 76K 
[ ]afproj__l66_afproj2024-07-28 00:06 26K 
[ ]afproj__l66_afproj.vout2024-08-03 07:08 3.6K 
[ ]afproj__l67_afproj2024-07-28 00:08 29K 
[ ]afproj__l67_afproj.vout2024-08-03 06:38 4.7K 
[ ]afproj__l68_afproj2024-07-28 00:09 18K 
[ ]afproj__l68_afproj.depv12024-08-03 10:19 22  
[ ]afproj__l68_afproj.depvmin12024-08-03 10:24 22  
[ ]afproj__l68_afproj.vmin12024-08-03 10:19 2.8K 
[ ]afproj__l68_afproj.vmin1out2024-08-03 10:23 93K 
[ ]afproj__l68_afproj.vout2024-08-03 04:11 147K 
[ ]afproj__l69_afproj2024-07-28 00:11 31K 
[ ]afproj__l69_afproj.vout2024-08-03 08:12 3.6K 
[ ]afproj__t1_afproj2024-07-27 23:04 14K 
[ ]afproj__t1_afproj.vout2024-08-03 08:05 6.8K 
[ ]afproj__t2_afproj2024-07-27 23:04 6.9K 
[ ]afproj__t2_afproj.depv12024-08-03 10:19 62  
[ ]afproj__t2_afproj.depvmin12024-08-03 10:24 62  
[ ]afproj__t2_afproj.vmin12024-08-03 10:19 1.1K 
[ ]afproj__t2_afproj.vmin1out2024-08-03 10:20 12K 
[ ]afproj__t2_afproj.vout2024-08-03 04:54 15K 
[ ]afproj__t3_afproj2024-07-27 23:05 6.5K 
[ ]afproj__t3_afproj.depv12024-08-03 10:19 20  
[ ]afproj__t3_afproj.depvmin12024-08-03 10:24 20  
[ ]afproj__t3_afproj.vmin12024-08-03 10:19 650  
[ ]afproj__t3_afproj.vmin1out2024-08-03 10:21 11K 
[ ]afproj__t3_afproj.vout2024-08-03 04:57 11K 
[ ]afproj__t4_afproj2024-07-27 23:05 6.5K 
[ ]afproj__t4_afproj.depv12024-08-03 10:19 70  
[ ]afproj__t4_afproj.depvmin12024-08-03 10:24 70  
[ ]afproj__t4_afproj.vmin12024-08-03 10:19 1.0K 
[ ]afproj__t4_afproj.vmin1out2024-08-03 10:22 15K 
[ ]afproj__t4_afproj.vout2024-08-03 10:03 15K 
[ ]afproj__t5_afproj2024-07-27 23:06 10K 
[ ]afproj__t5_afproj.vout2024-08-03 04:32 6.8K 
[ ]afproj__t6_afproj2024-07-27 22:58 6.8K 
[ ]afproj__t6_afproj.depv12024-08-03 10:19 30  
[ ]afproj__t6_afproj.depvmin12024-08-03 10:24 30  
[ ]afproj__t6_afproj.vmin12024-08-03 10:19 968  
[ ]afproj__t6_afproj.vmin1out2024-08-03 10:20 15K 
[ ]afproj__t6_afproj.vout2024-08-03 09:47 15K 
[ ]afproj__t7_afproj2024-07-27 22:59 6.7K 
[ ]afproj__t7_afproj.depv12024-08-03 10:19 88  
[ ]afproj__t7_afproj.depvmin12024-08-03 10:24 88  
[ ]afproj__t7_afproj.vmin12024-08-03 10:19 1.0K 
[ ]afproj__t7_afproj.vmin1out2024-08-03 10:20 17K 
[ ]afproj__t7_afproj.vout2024-08-03 10:08 21K 
[ ]afproj__t8_afproj2024-07-27 23:00 6.7K 
[ ]afproj__t8_afproj.depv12024-08-03 10:19 88  
[ ]afproj__t8_afproj.depvmin12024-08-03 10:24 88  
[ ]afproj__t8_afproj.vmin12024-08-03 10:19 1.0K 
[ ]afproj__t8_afproj.vmin1out2024-08-03 10:20 17K 
[ ]afproj__t8_afproj.vout2024-08-03 08:02 21K 
[ ]afproj__t9_afproj2024-07-27 23:07 11K 
[ ]afproj__t9_afproj.vout2024-08-03 10:00 7.3K 
[ ]afproj__t10_afproj2024-07-27 23:08 11K 
[ ]afproj__t10_afproj.vout2024-08-03 07:07 7.3K 
[ ]afproj__t11_afproj2024-07-27 23:09 12K 
[ ]afproj__t11_afproj.depv12024-08-03 10:19 145  
[ ]afproj__t11_afproj.depvmin12024-08-03 10:24 145  
[ ]afproj__t11_afproj.vmin12024-08-03 10:19 2.4K 
[ ]afproj__t11_afproj.vmin1out2024-08-03 10:22 31K 
[ ]afproj__t11_afproj.vout2024-08-03 05:06 44K 
[ ]afproj__t12_afproj2024-07-27 23:10 11K 
[ ]afproj__t12_afproj.depv12024-08-03 10:19 32  
[ ]afproj__t12_afproj.depvmin12024-08-03 10:24 32  
[ ]afproj__t12_afproj.vmin12024-08-03 10:19 1.0K 
[ ]afproj__t12_afproj.vmin1out2024-08-03 10:22 19K 
[ ]afproj__t12_afproj.vout2024-08-03 10:01 23K 
[ ]afproj__t13_afproj2024-07-27 23:10 11K 
[ ]afproj__t13_afproj.depv12024-08-03 10:19 146  
[ ]afproj__t13_afproj.depvmin12024-08-03 10:24 146  
[ ]afproj__t13_afproj.vmin12024-08-03 10:19 2.4K 
[ ]afproj__t13_afproj.vmin1out2024-08-03 10:20 33K 
[ ]afproj__t13_afproj.vout2024-08-03 08:12 45K 
[ ]afproj__t14_afproj2024-07-27 23:11 12K 
[ ]afproj__t14_afproj.vout2024-08-03 07:33 7.3K 
[ ]afproj__t15_afproj2024-07-27 23:12 12K 
[ ]afproj__t15_afproj.vout2024-08-03 08:06 7.3K 
[ ]afproj__t16_afproj2024-07-27 23:13 14K 
[ ]afproj__t16_afproj.depv12024-08-03 10:19 217  
[ ]afproj__t16_afproj.depvmin12024-08-03 10:24 217  
[ ]afproj__t16_afproj.vmin12024-08-03 10:19 3.0K 
[ ]afproj__t16_afproj.vmin1out2024-08-03 10:21 27K 
[ ]afproj__t16_afproj.vout2024-08-03 04:23 43K 
[ ]afproj__t17_afproj2024-07-27 23:14 14K 
[ ]afproj__t17_afproj.vout2024-08-03 06:06 3.7K 
[ ]afproj__t18_afproj2024-07-27 23:15 8.7K 
[ ]afproj__t18_afproj.depv12024-08-03 10:19 102  
[ ]afproj__t18_afproj.depvmin12024-08-03 10:24 102  
[ ]afproj__t18_afproj.vmin12024-08-03 10:19 1.2K 
[ ]afproj__t18_afproj.vmin1out2024-08-03 10:23 25K 
[ ]afproj__t18_afproj.vout2024-08-03 07:09 27K 
[ ]afproj__t19_afproj2024-07-27 23:16 12K 
[ ]afproj__t19_afproj.depv12024-08-03 10:19 81  
[ ]afproj__t19_afproj.depvmin12024-08-03 10:24 81  
[ ]afproj__t19_afproj.vmin12024-08-03 10:19 1.1K 
[ ]afproj__t19_afproj.vmin1out2024-08-03 10:20 23K 
[ ]afproj__t19_afproj.vout2024-08-03 08:58 30K 
[ ]afproj__t20_afproj2024-07-27 23:17 16K 
[ ]afproj__t20_afproj.depv12024-08-03 10:19 323  
[ ]afproj__t20_afproj.depvmin12024-08-03 10:24 286  
[ ]afproj__t20_afproj.vmin12024-08-03 10:19 3.3K 
[ ]afproj__t20_afproj.vmin1out2024-08-03 10:23 36K 
[ ]afproj__t20_afproj.vout2024-08-03 09:11 48K 
[ ]afproj__t21_afproj2024-07-27 23:01 15K 
[ ]afproj__t21_afproj.depv12024-08-03 10:19 161  
[ ]afproj__t21_afproj.depvmin12024-08-03 10:24 161  
[ ]afproj__t21_afproj.vmin12024-08-03 10:19 2.0K 
[ ]afproj__t21_afproj.vmin1out2024-08-03 10:20 22K 
[ ]afproj__t21_afproj.vout2024-08-03 10:02 33K 
[ ]afproj__t22_afproj2024-07-27 23:18 17K 
[ ]afproj__t22_afproj.depv12024-08-03 10:19 190  
[ ]afproj__t22_afproj.depvmin12024-08-03 10:24 162  
[ ]afproj__t22_afproj.vmin12024-08-03 10:19 2.4K 
[ ]afproj__t22_afproj.vmin1out2024-08-03 10:22 20K 
[ ]afproj__t22_afproj.vout2024-08-03 05:21 25K 
[ ]afproj__t23_afproj2024-07-27 23:19 17K 
[ ]afproj__t23_afproj.vout2024-08-03 07:15 7.3K 
[ ]afproj__t24_afproj2024-07-27 23:02 15K 
[ ]afproj__t24_afproj.depv12024-08-03 10:19 189  
[ ]afproj__t24_afproj.depvmin12024-08-03 10:24 161  
[ ]afproj__t24_afproj.vmin12024-08-03 10:19 2.3K 
[ ]afproj__t24_afproj.vmin1out2024-08-03 10:22 23K 
[ ]afproj__t24_afproj.vout2024-08-03 05:48 30K 
[ ]afproj__t25_afproj2024-07-27 23:21 17K 
[ ]afproj__t25_afproj.depv12024-08-03 10:19 190  
[ ]afproj__t25_afproj.depvmin12024-08-03 10:24 162  
[ ]afproj__t25_afproj.vmin12024-08-03 10:19 2.5K 
[ ]afproj__t25_afproj.vmin1out2024-08-03 10:20 20K 
[ ]afproj__t25_afproj.vout2024-08-03 08:50 24K 
[ ]afproj__t26_afproj2024-07-27 23:22 20K 
[ ]afproj__t26_afproj.vout2024-08-03 07:30 6.8K 
[ ]afproj__t27_afproj2024-07-27 23:23 20K 
[ ]afproj__t27_afproj.vout2024-08-03 09:12 7.3K 
[ ]afproj__t28_afproj2024-07-27 23:24 21K 
[ ]afproj__t28_afproj.vout2024-08-03 06:44 7.3K 
[ ]afproj__t29_afproj2024-07-27 23:26 20K 
[ ]afproj__t29_afproj.vout2024-08-03 06:00 6.8K 
[ ]afproj__t30_afproj2024-07-27 23:27 18K 
[ ]afproj__t30_afproj.depv12024-08-03 10:19 98  
[ ]afproj__t30_afproj.depvmin12024-08-03 10:24 98  
[ ]afproj__t30_afproj.vmin12024-08-03 10:19 1.8K 
[ ]afproj__t30_afproj.vmin1out2024-08-03 10:22 29K 
[ ]afproj__t30_afproj.vout2024-08-03 06:11 29K 
[ ]afproj__t31_afproj2024-07-27 23:28 18K 
[ ]afproj__t31_afproj.depv12024-08-03 10:19 32  
[ ]afproj__t31_afproj.depvmin12024-08-03 10:24 32  
[ ]afproj__t31_afproj.vmin12024-08-03 10:19 1.3K 
[ ]afproj__t31_afproj.vmin1out2024-08-03 10:23 23K 
[ ]afproj__t31_afproj.vout2024-08-03 04:40 17K 
[ ]afproj__t32_afproj2024-07-27 23:29 19K 
[ ]afproj__t32_afproj.depv12024-08-03 10:19 215  
[ ]afproj__t32_afproj.depvmin12024-08-03 10:24 108  
[ ]afproj__t32_afproj.vmin12024-08-03 10:19 3.5K 
[ ]afproj__t32_afproj.vmin1out2024-08-03 10:23 36K 
[ ]afproj__t32_afproj.vout2024-08-03 05:55 54K 
[ ]afproj__t33_afproj2024-07-27 23:03 16K 
[ ]afproj__t33_afproj.depv12024-08-03 10:19 56  
[ ]afproj__t33_afproj.depvmin12024-08-03 10:24 56  
[ ]afproj__t33_afproj.vmin12024-08-03 10:19 1.0K 
[ ]afproj__t33_afproj.vmin1out2024-08-03 10:22 18K 
[ ]afproj__t33_afproj.vout2024-08-03 04:25 18K 
[ ]afproj__t34_afproj2024-07-27 23:31 17K 
[ ]afproj__t34_afproj.depv12024-08-03 10:19 78  
[ ]afproj__t34_afproj.depvmin12024-08-03 10:24 78  
[ ]afproj__t34_afproj.vmin12024-08-03 10:19 1.7K 
[ ]afproj__t34_afproj.vmin1out2024-08-03 10:21 35K 
[ ]afproj__t34_afproj.vout2024-08-03 06:06 36K 
[ ]afproj__t35_afproj2024-07-27 23:32 17K 
[ ]afproj__t35_afproj.depv12024-08-03 10:19 56  
[ ]afproj__t35_afproj.depvmin12024-08-03 10:24 56  
[ ]afproj__t35_afproj.vmin12024-08-03 10:19 1.1K 
[ ]afproj__t35_afproj.vmin1out2024-08-03 10:23 27K 
[ ]afproj__t35_afproj.vout2024-08-03 07:20 28K 
[ ]afproj__t36_afproj2024-07-27 23:33 18K 
[ ]afproj__t36_afproj.vout2024-08-03 07:06 7.3K 
[ ]afproj__t37_afproj2024-07-27 23:34 19K 
[ ]afproj__t37_afproj.vout2024-08-03 05:42 7.3K 
[ ]afproj__t38_afproj2024-07-27 23:35 18K 
[ ]afproj__t38_afproj.vout2024-08-03 04:34 7.3K 
[ ]afproj__t39_afproj2024-07-27 23:37 21K 
[ ]afproj__t39_afproj.vout2024-08-03 09:56 5.3K 
[ ]afproj__t40_afproj2024-07-27 23:38 19K 
[ ]afproj__t40_afproj.vout2024-08-03 08:52 5.3K 
[ ]afproj__t41_afproj2024-07-27 23:39 20K 
[ ]afproj__t41_afproj.vout2024-08-03 08:01 7.3K 
[ ]afproj__t42_afproj2024-07-27 23:41 19K 
[ ]afproj__t42_afproj.vout2024-08-03 08:00 7.3K 
[ ]afproj__t43_afproj2024-07-27 23:42 19K 
[ ]afproj__t43_afproj.depv12024-08-03 10:19 75  
[ ]afproj__t43_afproj.depvmin12024-08-03 10:24 75  
[ ]afproj__t43_afproj.vmin12024-08-03 10:19 2.8K 
[ ]afproj__t43_afproj.vmin1out2024-08-03 10:22 61K 
[ ]afproj__t43_afproj.vout2024-08-03 07:53 63K 
[ ]afproj__t44_afproj2024-07-27 23:43 19K 
[ ]afproj__t44_afproj.vout2024-08-03 07:34 7.3K 
[ ]afproj__t45_afproj2024-07-27 23:45 24K 
[ ]afproj__t45_afproj.vout2024-08-03 08:51 5.3K 
[ ]afproj__t46_afproj2024-07-27 23:46 19K 
[ ]afproj__t46_afproj.vout2024-08-03 06:16 7.3K 
[ ]afproj__t47_afproj2024-07-27 23:47 17K 
[ ]afproj__t47_afproj.vout2024-08-03 06:02 5.8K 
[ ]afproj__t48_afproj2024-07-27 23:48 9.0K 
[ ]afproj__t48_afproj.depv12024-08-03 10:19 58  
[ ]afproj__t48_afproj.depvmin12024-08-03 10:24 58  
[ ]afproj__t48_afproj.vmin12024-08-03 10:19 3.3K 
[ ]afproj__t48_afproj.vmin1out2024-08-03 10:21 81K 
[ ]afproj__t48_afproj.vout2024-08-03 06:44 52K 
[ ]afproj__t49_afproj2024-07-27 23:50 34K 
[ ]afproj__t49_afproj.vout2024-08-03 04:21 5.3K 
[ ]afproj__t50_afproj2024-07-27 23:50 8.9K 
[ ]afproj__t50_afproj.depv12024-08-03 10:19 57  
[ ]afproj__t50_afproj.depvmin12024-08-03 10:24 57  
[ ]afproj__t50_afproj.vmin12024-08-03 10:19 3.2K 
[ ]afproj__t50_afproj.vmin1out2024-08-03 10:21 87K 
[ ]afproj__t50_afproj.vout2024-08-03 07:54 87K 
[ ]afproj__t51_afproj2024-07-27 23:52 34K 
[ ]afproj__t51_afproj.vout2024-08-03 04:44 7.3K 
[ ]afproj__t52_afproj2024-07-27 23:54 30K 
[ ]afproj__t52_afproj.vout2024-08-03 06:21 5.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80