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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]afproj__t52_afproj.vout2021-07-25 18:41 5.8K 
[ ]afproj__t52_afproj2021-07-18 05:13 30K 
[ ]afproj__t51_afproj.vout2021-07-25 18:09 7.3K 
[ ]afproj__t51_afproj2021-07-18 05:12 34K 
[ ]afproj__t50_afproj.vout2021-07-25 20:49 87K 
[ ]afproj__t50_afproj.vmin1out2021-07-25 20:59 87K 
[ ]afproj__t50_afproj.vmin12021-07-25 20:57 3.2K 
[ ]afproj__t50_afproj.depvmin12021-07-25 21:03 57  
[ ]afproj__t50_afproj.depv12021-07-25 20:57 57  
[ ]afproj__t50_afproj2021-07-18 05:12 8.9K 
[ ]afproj__t49_afproj.vout2021-07-25 20:34 5.3K 
[ ]afproj__t49_afproj2021-07-18 05:11 34K 
[ ]afproj__t48_afproj.vout2021-07-25 15:00 52K 
[ ]afproj__t48_afproj.vmin1out2021-07-25 21:00 52K 
[ ]afproj__t48_afproj.vmin12021-07-25 20:57 3.3K 
[ ]afproj__t48_afproj.depvmin12021-07-25 21:03 58  
[ ]afproj__t48_afproj.depv12021-07-25 20:57 58  
[ ]afproj__t48_afproj2021-07-18 05:11 9.0K 
[ ]afproj__t47_afproj.vout2021-07-25 15:40 5.8K 
[ ]afproj__t47_afproj2021-07-18 05:11 17K 
[ ]afproj__t46_afproj.vout2021-07-25 18:55 7.3K 
[ ]afproj__t46_afproj2021-07-18 05:10 19K 
[ ]afproj__t45_afproj.vout2021-07-25 19:25 5.3K 
[ ]afproj__t45_afproj2021-07-18 05:10 24K 
[ ]afproj__t44_afproj.vout2021-07-25 16:38 7.3K 
[ ]afproj__t44_afproj2021-07-18 05:10 19K 
[ ]afproj__t43_afproj.vout2021-07-25 16:58 63K 
[ ]afproj__t43_afproj.vmin1out2021-07-25 21:00 61K 
[ ]afproj__t43_afproj.vmin12021-07-25 20:57 2.8K 
[ ]afproj__t43_afproj.depvmin12021-07-25 21:03 75  
[ ]afproj__t43_afproj.depv12021-07-25 20:57 75  
[ ]afproj__t43_afproj2021-07-18 05:09 19K 
[ ]afproj__t42_afproj.vout2021-07-25 19:32 7.3K 
[ ]afproj__t42_afproj2021-07-18 05:09 19K 
[ ]afproj__t41_afproj.vout2021-07-25 18:32 7.3K 
[ ]afproj__t41_afproj2021-07-18 05:09 20K 
[ ]afproj__t40_afproj.vout2021-07-25 20:39 5.3K 
[ ]afproj__t40_afproj2021-07-18 05:08 19K 
[ ]afproj__t39_afproj.vout2021-07-25 20:02 5.3K 
[ ]afproj__t39_afproj2021-07-18 05:08 21K 
[ ]afproj__t38_afproj.vout2021-07-25 18:58 7.3K 
[ ]afproj__t38_afproj2021-07-18 05:07 18K 
[ ]afproj__t37_afproj.vout2021-07-25 14:42 7.3K 
[ ]afproj__t37_afproj2021-07-18 05:07 19K 
[ ]afproj__t36_afproj.vout2021-07-25 15:28 7.3K 
[ ]afproj__t36_afproj2021-07-18 05:07 18K 
[ ]afproj__t35_afproj.vout2021-07-25 19:39 28K 
[ ]afproj__t35_afproj.vmin1out2021-07-25 20:58 27K 
[ ]afproj__t35_afproj.vmin12021-07-25 20:57 1.1K 
[ ]afproj__t35_afproj.depvmin12021-07-25 21:03 56  
[ ]afproj__t35_afproj.depv12021-07-25 20:57 56  
[ ]afproj__t35_afproj2021-07-18 05:06 17K 
[ ]afproj__t34_afproj.vout2021-07-25 17:24 36K 
[ ]afproj__t34_afproj.vmin1out2021-07-25 21:02 35K 
[ ]afproj__t34_afproj.vmin12021-07-25 20:57 1.7K 
[ ]afproj__t34_afproj.depvmin12021-07-25 21:03 78  
[ ]afproj__t34_afproj.depv12021-07-25 20:57 78  
[ ]afproj__t34_afproj2021-07-18 05:06 17K 
[ ]afproj__t33_afproj.vout2021-07-25 14:51 18K 
[ ]afproj__t33_afproj.vmin1out2021-07-25 20:59 18K 
[ ]afproj__t33_afproj.vmin12021-07-25 20:57 1.0K 
[ ]afproj__t33_afproj.depvmin12021-07-25 21:03 56  
[ ]afproj__t33_afproj.depv12021-07-25 20:57 56  
[ ]afproj__t33_afproj2021-07-18 04:58 16K 
[ ]afproj__t32_afproj.vout2021-07-25 18:56 54K 
[ ]afproj__t32_afproj.vmin1out2021-07-25 21:01 36K 
[ ]afproj__t32_afproj.vmin12021-07-25 20:57 3.5K 
[ ]afproj__t32_afproj.depvmin12021-07-25 21:03 108  
[ ]afproj__t32_afproj.depv12021-07-25 20:57 215  
[ ]afproj__t32_afproj2021-07-18 05:06 19K 
[ ]afproj__t31_afproj.vout2021-07-25 20:55 17K 
[ ]afproj__t31_afproj.vmin1out2021-07-25 20:58 23K 
[ ]afproj__t31_afproj.vmin12021-07-25 20:57 1.3K 
[ ]afproj__t31_afproj.depvmin12021-07-25 21:03 32  
[ ]afproj__t31_afproj.depv12021-07-25 20:57 32  
[ ]afproj__t31_afproj2021-07-18 05:05 18K 
[ ]afproj__t30_afproj.vout2021-07-25 15:26 29K 
[ ]afproj__t30_afproj.vmin1out2021-07-25 21:02 29K 
[ ]afproj__t30_afproj.vmin12021-07-25 20:57 1.8K 
[ ]afproj__t30_afproj.depvmin12021-07-25 21:03 98  
[ ]afproj__t30_afproj.depv12021-07-25 20:57 98  
[ ]afproj__t30_afproj2021-07-18 05:05 18K 
[ ]afproj__t29_afproj.vout2021-07-25 18:53 6.8K 
[ ]afproj__t29_afproj2021-07-18 05:05 20K 
[ ]afproj__t28_afproj.vout2021-07-25 20:09 6.8K 
[ ]afproj__t28_afproj2021-07-18 05:04 21K 
[ ]afproj__t27_afproj.vout2021-07-25 19:52 6.8K 
[ ]afproj__t27_afproj2021-07-18 05:04 20K 
[ ]afproj__t26_afproj.vout2021-07-25 16:53 6.8K 
[ ]afproj__t26_afproj2021-07-18 05:04 20K 
[ ]afproj__t25_afproj.vout2021-07-25 19:52 24K 
[ ]afproj__t25_afproj.vmin1out2021-07-25 21:00 20K 
[ ]afproj__t25_afproj.vmin12021-07-25 20:57 2.5K 
[ ]afproj__t25_afproj.depvmin12021-07-25 21:03 162  
[ ]afproj__t25_afproj.depv12021-07-25 20:57 190  
[ ]afproj__t25_afproj2021-07-18 05:03 17K 
[ ]afproj__t24_afproj.vout2021-07-25 15:33 30K 
[ ]afproj__t24_afproj.vmin1out2021-07-25 20:58 23K 
[ ]afproj__t24_afproj.vmin12021-07-25 20:57 2.3K 
[ ]afproj__t24_afproj.depvmin12021-07-25 21:03 161  
[ ]afproj__t24_afproj.depv12021-07-25 20:57 189  
[ ]afproj__t24_afproj2021-07-18 04:57 15K 
[ ]afproj__t23_afproj.vout2021-07-25 15:49 7.3K 
[ ]afproj__t23_afproj2021-07-18 05:03 17K 
[ ]afproj__t22_afproj.vout2021-07-25 19:06 25K 
[ ]afproj__t22_afproj.vmin1out2021-07-25 20:58 20K 
[ ]afproj__t22_afproj.vmin12021-07-25 20:57 2.4K 
[ ]afproj__t22_afproj.depvmin12021-07-25 21:03 162  
[ ]afproj__t22_afproj.depv12021-07-25 20:57 190  
[ ]afproj__t22_afproj2021-07-18 05:03 17K 
[ ]afproj__t21_afproj.vout2021-07-25 15:32 33K 
[ ]afproj__t21_afproj.vmin1out2021-07-25 21:01 22K 
[ ]afproj__t21_afproj.vmin12021-07-25 20:57 2.0K 
[ ]afproj__t21_afproj.depvmin12021-07-25 21:03 161  
[ ]afproj__t21_afproj.depv12021-07-25 20:57 161  
[ ]afproj__t21_afproj2021-07-18 04:57 15K 
[ ]afproj__t20_afproj.vout2021-07-25 17:39 48K 
[ ]afproj__t20_afproj.vmin1out2021-07-25 21:00 36K 
[ ]afproj__t20_afproj.vmin12021-07-25 20:57 3.3K 
[ ]afproj__t20_afproj.depvmin12021-07-25 21:03 286  
[ ]afproj__t20_afproj.depv12021-07-25 20:57 323  
[ ]afproj__t20_afproj2021-07-18 05:02 16K 
[ ]afproj__t19_afproj.vout2021-07-25 16:58 30K 
[ ]afproj__t19_afproj.vmin1out2021-07-25 20:58 23K 
[ ]afproj__t19_afproj.vmin12021-07-25 20:57 1.1K 
[ ]afproj__t19_afproj.depvmin12021-07-25 21:03 81  
[ ]afproj__t19_afproj.depv12021-07-25 20:57 81  
[ ]afproj__t19_afproj2021-07-18 05:02 12K 
[ ]afproj__t18_afproj.vout2021-07-25 15:05 27K 
[ ]afproj__t18_afproj.vmin1out2021-07-25 20:57 25K 
[ ]afproj__t18_afproj.vmin12021-07-25 20:57 1.2K 
[ ]afproj__t18_afproj.depvmin12021-07-25 21:03 102  
[ ]afproj__t18_afproj.depv12021-07-25 20:57 102  
[ ]afproj__t18_afproj2021-07-18 05:02 8.7K 
[ ]afproj__t17_afproj.vout2021-07-25 20:06 3.6K 
[ ]afproj__t17_afproj2021-07-18 05:01 14K 
[ ]afproj__t16_afproj.vout2021-07-25 20:41 43K 
[ ]afproj__t16_afproj.vmin1out2021-07-25 21:02 27K 
[ ]afproj__t16_afproj.vmin12021-07-25 20:57 3.0K 
[ ]afproj__t16_afproj.depvmin12021-07-25 21:03 217  
[ ]afproj__t16_afproj.depv12021-07-25 20:57 217  
[ ]afproj__t16_afproj2021-07-18 05:01 14K 
[ ]afproj__t15_afproj.vout2021-07-25 18:48 7.3K 
[ ]afproj__t15_afproj2021-07-18 05:01 12K 
[ ]afproj__t14_afproj.vout2021-07-25 14:56 7.3K 
[ ]afproj__t14_afproj2021-07-18 05:01 12K 
[ ]afproj__t13_afproj.vout2021-07-25 20:35 45K 
[ ]afproj__t13_afproj.vmin1out2021-07-25 21:02 33K 
[ ]afproj__t13_afproj.vmin12021-07-25 20:57 2.4K 
[ ]afproj__t13_afproj.depvmin12021-07-25 21:03 146  
[ ]afproj__t13_afproj.depv12021-07-25 20:57 146  
[ ]afproj__t13_afproj2021-07-18 05:00 11K 
[ ]afproj__t12_afproj.vout2021-07-25 19:02 23K 
[ ]afproj__t12_afproj.vmin1out2021-07-25 21:00 19K 
[ ]afproj__t12_afproj.vmin12021-07-25 20:57 1.0K 
[ ]afproj__t12_afproj.depvmin12021-07-25 21:03 32  
[ ]afproj__t12_afproj.depv12021-07-25 20:57 32  
[ ]afproj__t12_afproj2021-07-18 05:00 11K 
[ ]afproj__t11_afproj.vout2021-07-25 15:21 44K 
[ ]afproj__t11_afproj.vmin1out2021-07-25 21:00 31K 
[ ]afproj__t11_afproj.vmin12021-07-25 20:57 2.4K 
[ ]afproj__t11_afproj.depvmin12021-07-25 21:03 145  
[ ]afproj__t11_afproj.depv12021-07-25 20:57 145  
[ ]afproj__t11_afproj2021-07-18 05:00 12K 
[ ]afproj__t10_afproj.vout2021-07-25 14:54 7.3K 
[ ]afproj__t10_afproj2021-07-18 04:59 11K 
[ ]afproj__t9_afproj.vout2021-07-25 20:15 7.3K 
[ ]afproj__t9_afproj2021-07-18 04:59 11K 
[ ]afproj__t8_afproj.vout2021-07-25 14:38 21K 
[ ]afproj__t8_afproj.vmin1out2021-07-25 21:00 17K 
[ ]afproj__t8_afproj.vmin12021-07-25 20:57 1.0K 
[ ]afproj__t8_afproj.depvmin12021-07-25 21:03 88  
[ ]afproj__t8_afproj.depv12021-07-25 20:57 88  
[ ]afproj__t8_afproj2021-07-18 04:57 6.7K 
[ ]afproj__t7_afproj.vout2021-07-25 20:11 21K 
[ ]afproj__t7_afproj.vmin1out2021-07-25 21:01 17K 
[ ]afproj__t7_afproj.vmin12021-07-25 20:57 1.0K 
[ ]afproj__t7_afproj.depvmin12021-07-25 21:03 88  
[ ]afproj__t7_afproj.depv12021-07-25 20:57 88  
[ ]afproj__t7_afproj2021-07-18 04:56 6.7K 
[ ]afproj__t6_afproj.vout2021-07-25 14:45 15K 
[ ]afproj__t6_afproj.vmin1out2021-07-25 21:02 15K 
[ ]afproj__t6_afproj.vmin12021-07-25 20:57 968  
[ ]afproj__t6_afproj.depvmin12021-07-25 21:03 30  
[ ]afproj__t6_afproj.depv12021-07-25 20:57 30  
[ ]afproj__t6_afproj2021-07-18 04:56 6.8K 
[ ]afproj__t5_afproj.vout2021-07-25 17:45 6.8K 
[ ]afproj__t5_afproj2021-07-18 04:59 10K 
[ ]afproj__t4_afproj.vout2021-07-25 17:29 15K 
[ ]afproj__t4_afproj.vmin1out2021-07-25 21:02 15K 
[ ]afproj__t4_afproj.vmin12021-07-25 20:57 1.0K 
[ ]afproj__t4_afproj.depvmin12021-07-25 21:03 70  
[ ]afproj__t4_afproj.depv12021-07-25 20:57 70  
[ ]afproj__t4_afproj2021-07-18 04:58 6.5K 
[ ]afproj__t3_afproj.vout2021-07-25 16:17 11K 
[ ]afproj__t3_afproj.vmin1out2021-07-25 21:02 11K 
[ ]afproj__t3_afproj.vmin12021-07-25 20:57 650  
[ ]afproj__t3_afproj.depvmin12021-07-25 21:03 20  
[ ]afproj__t3_afproj.depv12021-07-25 20:57 20  
[ ]afproj__t3_afproj2021-07-18 04:58 6.5K 
[ ]afproj__t2_afproj.vout2021-07-25 18:19 15K 
[ ]afproj__t2_afproj.vmin1out2021-07-25 20:58 12K 
[ ]afproj__t2_afproj.vmin12021-07-25 20:57 1.1K 
[ ]afproj__t2_afproj.depvmin12021-07-25 21:03 62  
[ ]afproj__t2_afproj.depv12021-07-25 20:57 62  
[ ]afproj__t2_afproj2021-07-18 04:58 6.9K 
[ ]afproj__t1_afproj.vout2021-07-25 19:28 6.8K 
[ ]afproj__t1_afproj2021-07-18 04:58 14K 
[ ]afproj__l69_afproj.vout2021-07-25 20:21 3.6K 
[ ]afproj__l69_afproj2021-07-18 05:18 31K 
[ ]afproj__l68_afproj.vout2021-07-25 16:29 147K 
[ ]afproj__l68_afproj.vmin1out2021-07-25 20:59 93K 
[ ]afproj__l68_afproj.vmin12021-07-25 20:57 2.8K 
[ ]afproj__l68_afproj.depvmin12021-07-25 21:03 22  
[ ]afproj__l68_afproj.depv12021-07-25 20:57 22  
[ ]afproj__l68_afproj2021-07-18 05:17 18K 
[ ]afproj__l67_afproj.vout2021-07-25 20:39 4.7K 
[ ]afproj__l67_afproj2021-07-18 05:17 29K 
[ ]afproj__l66_afproj.vout2021-07-25 18:54 4.2K 
[ ]afproj__l66_afproj2021-07-18 05:16 26K 
[ ]afproj__l64_afproj.vout2021-07-25 16:34 76K 
[ ]afproj__l64_afproj.vmin1out2021-07-25 20:58 127K 
[ ]afproj__l64_afproj.vmin12021-07-25 20:57 4.9K 
[ ]afproj__l64_afproj.depvmin12021-07-25 21:03 124  
[ ]afproj__l64_afproj.depv12021-07-25 20:57 124  
[ ]afproj__l64_afproj2021-07-18 05:16 21K 
[ ]afproj__l63_afproj.vout2021-07-25 17:23 3.6K 
[ ]afproj__l63_afproj2021-07-18 05:15 22K 
[ ]afproj__l60_afproj.vout2021-07-25 15:10 7.8K 
[ ]afproj__l60_afproj2021-07-18 05:15 20K 
[ ]afproj__l59_afproj.vout2021-07-25 16:37 5.3K 
[ ]afproj__l59_afproj2021-07-18 05:15 22K 
[ ]afproj__l58_afproj.vout2021-07-25 16:21 4.7K 
[ ]afproj__l58_afproj2021-07-18 05:14 22K 
[ ]afproj__l57_afproj.vout2021-07-25 17:17 5.3K 
[ ]afproj__l57_afproj2021-07-18 05:14 26K 
[ ]afproj__l56_afproj.vout2021-07-25 14:51 7.3K 
[ ]afproj__l56_afproj2021-07-18 05:13 22K 
[ ]afproj__l55_afproj.vout2021-07-25 20:22 5.3K 
[ ]afproj__l55_afproj2021-07-18 05:13 19K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80