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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ens_1__l10_ens_12024-07-28 12:10 507  
[ ]ens_1__l10_ens_1.depv12024-08-03 10:19 22  
[ ]ens_1__l10_ens_1.depvmin12024-08-03 10:24 22  
[ ]ens_1__l10_ens_1.vmin12024-08-03 10:19 309  
[ ]ens_1__l10_ens_1.vmin1out2024-08-03 10:23 5.2K 
[ ]ens_1__l10_ens_1.vout2024-08-03 08:47 5.1K 
[ ]ens_1__l14_ens_12024-07-28 12:10 12K 
[ ]ens_1__l14_ens_1.depv12024-08-03 10:19 43  
[ ]ens_1__l14_ens_1.depvmin12024-08-03 10:24 43  
[ ]ens_1__l14_ens_1.vmin12024-08-03 10:19 541  
[ ]ens_1__l14_ens_1.vmin1out2024-08-03 10:20 8.2K 
[ ]ens_1__l14_ens_1.vout2024-08-03 09:40 8.3K 
[ ]ens_1__l16_ens_12024-07-28 12:11 13K 
[ ]ens_1__l16_ens_1.depv12024-08-03 10:19 249  
[ ]ens_1__l16_ens_1.depvmin12024-08-03 10:24 190  
[ ]ens_1__l16_ens_1.vmin12024-08-03 10:19 2.6K 
[ ]ens_1__l16_ens_1.vmin1out2024-08-03 10:23 28K 
[ ]ens_1__l16_ens_1.vout2024-08-03 05:56 25K 
[ ]ens_1__l28_ens_12024-07-28 12:12 11K 
[ ]ens_1__l28_ens_1.depv12024-08-03 10:19 233  
[ ]ens_1__l28_ens_1.depvmin12024-08-03 10:24 120  
[ ]ens_1__l28_ens_1.vmin12024-08-03 10:19 2.7K 
[ ]ens_1__l28_ens_1.vmin1out2024-08-03 10:23 28K 
[ ]ens_1__l28_ens_1.vout2024-08-03 10:01 30K 
[ ]ens_1__l32_ens_12024-07-28 12:13 14K 
[ ]ens_1__l32_ens_1.vout2024-08-03 07:07 3.6K 
[ ]ens_1__l50_ens_12024-07-28 12:14 24K 
[ ]ens_1__l50_ens_1.vout2024-08-03 06:04 4.2K 
[ ]ens_1__l63_ens_12024-07-28 12:16 36K 
[ ]ens_1__l63_ens_1.vout2024-08-03 09:53 4.2K 
[ ]ens_1__l78_ens_12024-07-28 12:17 24K 
[ ]ens_1__l78_ens_1.vout2024-08-03 10:15 7.2K 
[ ]ens_1__l79_ens_12024-07-28 12:18 30K 
[ ]ens_1__l79_ens_1.vout2024-08-03 04:54 4.2K 
[ ]ens_1__l80_ens_12024-07-28 12:20 30K 
[ ]ens_1__l80_ens_1.vout2024-08-03 10:05 4.2K 
[ ]ens_1__l92_ens_12024-07-28 12:21 34K 
[ ]ens_1__l92_ens_1.vout2024-08-03 08:45 3.6K 
[ ]ens_1__t1_ens_12024-07-28 11:05 9.5K 
[ ]ens_1__t1_ens_1.vout2024-08-03 04:51 7.8K 
[ ]ens_1__t2_ens_12024-07-28 11:06 9.4K 
[ ]ens_1__t2_ens_1.depv12024-08-03 10:19 227  
[ ]ens_1__t2_ens_1.depvmin12024-08-03 10:24 131  
[ ]ens_1__t2_ens_1.vmin12024-08-03 10:19 2.4K 
[ ]ens_1__t2_ens_1.vmin1out2024-08-03 10:23 26K 
[ ]ens_1__t2_ens_1.vout2024-08-03 05:23 35K 
[ ]ens_1__t3_ens_12024-07-28 11:06 9.8K 
[ ]ens_1__t3_ens_1.vout2024-08-03 09:51 7.2K 
[ ]ens_1__t4_ens_12024-07-28 11:07 10K 
[ ]ens_1__t4_ens_1.depv12024-08-03 10:19 197  
[ ]ens_1__t4_ens_1.depvmin12024-08-03 10:24 168  
[ ]ens_1__t4_ens_1.vmin12024-08-03 10:19 2.4K 
[ ]ens_1__t4_ens_1.vmin1out2024-08-03 10:20 36K 
[ ]ens_1__t4_ens_1.vout2024-08-03 07:49 44K 
[ ]ens_1__t5_ens_12024-07-28 11:08 11K 
[ ]ens_1__t5_ens_1.vout2024-08-03 04:49 7.2K 
[ ]ens_1__t6_ens_12024-07-28 11:08 10K 
[ ]ens_1__t6_ens_1.vout2024-08-03 08:36 7.2K 
[ ]ens_1__t7_ens_12024-07-28 11:09 11K 
[ ]ens_1__t7_ens_1.vout2024-08-03 08:15 7.2K 
[ ]ens_1__t8_ens_12024-07-28 11:10 12K 
[ ]ens_1__t8_ens_1.depv12024-08-03 10:19 200  
[ ]ens_1__t8_ens_1.depvmin12024-08-03 10:24 174  
[ ]ens_1__t8_ens_1.vmin12024-08-03 10:19 2.0K 
[ ]ens_1__t8_ens_1.vmin1out2024-08-03 10:22 28K 
[ ]ens_1__t8_ens_1.vout2024-08-03 07:47 23K 
[ ]ens_1__t9_ens_12024-07-28 11:11 12K 
[ ]ens_1__t9_ens_1.depv12024-08-03 10:19 184  
[ ]ens_1__t9_ens_1.depvmin12024-08-03 10:24 184  
[ ]ens_1__t9_ens_1.vmin12024-08-03 10:19 2.2K 
[ ]ens_1__t9_ens_1.vmin1out2024-08-03 10:22 33K 
[ ]ens_1__t9_ens_1.vout2024-08-03 05:18 33K 
[ ]ens_1__t10_ens_12024-07-28 11:11 11K 
[ ]ens_1__t10_ens_1.vout2024-08-03 04:17 7.3K 
[ ]ens_1__t11_ens_12024-07-28 10:57 14K 
[ ]ens_1__t11_ens_1.depv12024-08-03 10:19 230  
[ ]ens_1__t11_ens_1.depvmin12024-08-03 10:24 230  
[ ]ens_1__t11_ens_1.vmin12024-08-03 10:19 2.0K 
[ ]ens_1__t11_ens_1.vmin1out2024-08-03 10:22 17K 
[ ]ens_1__t11_ens_1.vout2024-08-03 09:56 21K 
[ ]ens_1__t12_ens_12024-07-28 11:12 14K 
[ ]ens_1__t12_ens_1.depv12024-08-03 10:19 172  
[ ]ens_1__t12_ens_1.depvmin12024-08-03 10:24 172  
[ ]ens_1__t12_ens_1.vmin12024-08-03 10:19 1.9K 
[ ]ens_1__t12_ens_1.vmin1out2024-08-03 10:22 19K 
[ ]ens_1__t12_ens_1.vout2024-08-03 10:17 24K 
[ ]ens_1__t13_ens_12024-07-28 11:13 14K 
[ ]ens_1__t13_ens_1.vout2024-08-03 07:35 6.7K 
[ ]ens_1__t14_ens_12024-07-28 11:14 19K 
[ ]ens_1__t14_ens_1.vout2024-08-03 05:09 3.6K 
[ ]ens_1__t15_ens_12024-07-28 11:14 12K 
[ ]ens_1__t15_ens_1.vout2024-08-03 07:52 7.3K 
[ ]ens_1__t16_ens_12024-07-28 11:15 11K 
[ ]ens_1__t16_ens_1.depv12024-08-03 10:19 164  
[ ]ens_1__t16_ens_1.depvmin12024-08-03 10:24 164  
[ ]ens_1__t16_ens_1.vmin12024-08-03 10:19 1.7K 
[ ]ens_1__t16_ens_1.vmin1out2024-08-03 10:20 24K 
[ ]ens_1__t16_ens_1.vout2024-08-03 04:25 19K 
[ ]ens_1__t17_ens_12024-07-28 11:16 11K 
[ ]ens_1__t17_ens_1.depv12024-08-03 10:19 102  
[ ]ens_1__t17_ens_1.depvmin12024-08-03 10:24 73  
[ ]ens_1__t17_ens_1.vmin12024-08-03 10:19 1.2K 
[ ]ens_1__t17_ens_1.vmin1out2024-08-03 10:20 16K 
[ ]ens_1__t17_ens_1.vout2024-08-03 05:37 15K 
[ ]ens_1__t18_ens_12024-07-28 12:09 12K 
[ ]ens_1__t18_ens_1.vout2024-08-03 07:22 7.2K 
[ ]ens_1__t19_ens_12024-07-28 11:17 13K 
[ ]ens_1__t19_ens_1.vout2024-08-03 04:20 6.8K 
[ ]ens_1__t20_ens_12024-07-28 11:17 12K 
[ ]ens_1__t20_ens_1.depv12024-08-03 10:19 98  
[ ]ens_1__t20_ens_1.depvmin12024-08-03 10:24 98  
[ ]ens_1__t20_ens_1.vmin12024-08-03 10:19 1.5K 
[ ]ens_1__t20_ens_1.vmin1out2024-08-03 10:22 27K 
[ ]ens_1__t20_ens_1.vout2024-08-03 10:06 28K 
[ ]ens_1__t22_ens_12024-07-28 10:58 18K 
[ ]ens_1__t22_ens_1.vout2024-08-03 06:20 8.3K 
[ ]ens_1__t23_ens_12024-07-28 10:59 18K 
[ ]ens_1__t23_ens_1.vout2024-08-03 07:37 8.3K 
[ ]ens_1__t24_ens_12024-07-28 11:00 18K 
[ ]ens_1__t24_ens_1.vout2024-08-03 09:34 8.3K 
[ ]ens_1__t25_ens_12024-07-28 11:01 18K 
[ ]ens_1__t25_ens_1.vout2024-08-03 04:21 8.3K 
[ ]ens_1__t26_ens_12024-07-28 11:03 23K 
[ ]ens_1__t26_ens_1.vout2024-08-03 09:28 7.8K 
[ ]ens_1__t27_ens_12024-07-28 11:19 26K 
[ ]ens_1__t27_ens_1.vout2024-08-03 08:22 5.2K 
[ ]ens_1__t28_ens_12024-07-28 11:20 25K 
[ ]ens_1__t28_ens_1.vout2024-08-03 06:16 7.3K 
[ ]ens_1__t29_ens_12024-07-28 11:22 35K 
[ ]ens_1__t29_ens_1.vout2024-08-03 05:40 7.3K 
[ ]ens_1__t30_ens_12024-07-28 11:23 26K 
[ ]ens_1__t30_ens_1.vout2024-08-03 07:51 7.3K 
[ ]ens_1__t31_ens_12024-07-28 11:24 23K 
[ ]ens_1__t31_ens_1.vout2024-08-03 06:43 7.8K 
[ ]ens_1__t32_ens_12024-07-28 11:04 19K 
[ ]ens_1__t32_ens_1.depv12024-08-03 10:19 33  
[ ]ens_1__t32_ens_1.depvmin12024-08-03 10:24 33  
[ ]ens_1__t32_ens_1.vmin12024-08-03 10:19 518  
[ ]ens_1__t32_ens_1.vmin1out2024-08-03 10:22 7.0K 
[ ]ens_1__t32_ens_1.vout2024-08-03 06:31 6.8K 
[ ]ens_1__t33_ens_12024-07-28 11:26 27K 
[ ]ens_1__t33_ens_1.vout2024-08-03 08:48 7.2K 
[ ]ens_1__t34_ens_12024-07-28 11:27 27K 
[ ]ens_1__t34_ens_1.vout2024-08-03 09:25 3.6K 
[ ]ens_1__t35_ens_12024-07-28 11:28 19K 
[ ]ens_1__t35_ens_1.depv12024-08-03 10:19 66  
[ ]ens_1__t35_ens_1.depvmin12024-08-03 10:24 66  
[ ]ens_1__t35_ens_1.vmin12024-08-03 10:19 815  
[ ]ens_1__t35_ens_1.vmin1out2024-08-03 10:21 8.9K 
[ ]ens_1__t35_ens_1.vout2024-08-03 09:15 9.1K 
[ ]ens_1__t36_ens_12024-07-28 11:30 35K 
[ ]ens_1__t36_ens_1.vout2024-08-03 07:50 3.6K 
[ ]ens_1__t37_ens_12024-07-28 11:32 37K 
[ ]ens_1__t37_ens_1.vout2024-08-03 08:16 3.6K 
[ ]ens_1__t38_ens_12024-07-28 11:33 31K 
[ ]ens_1__t38_ens_1.vout2024-08-03 07:05 3.6K 
[ ]ens_1__t39_ens_12024-07-28 11:35 24K 
[ ]ens_1__t39_ens_1.vout2024-08-03 09:16 7.3K 
[ ]ens_1__t40_ens_12024-07-28 11:36 26K 
[ ]ens_1__t40_ens_1.vout2024-08-03 04:40 7.2K 
[ ]ens_1__t41_ens_12024-07-28 11:05 17K 
[ ]ens_1__t41_ens_1.depv12024-08-03 10:19 64  
[ ]ens_1__t41_ens_1.depvmin12024-08-03 10:24 64  
[ ]ens_1__t41_ens_1.vmin12024-08-03 10:19 1.0K 
[ ]ens_1__t41_ens_1.vmin1out2024-08-03 10:22 18K 
[ ]ens_1__t41_ens_1.vout2024-08-03 05:27 19K 
[ ]ens_1__t42_ens_12024-07-28 11:37 17K 
[ ]ens_1__t42_ens_1.depv12024-08-03 10:19 69  
[ ]ens_1__t42_ens_1.depvmin12024-08-03 10:24 69  
[ ]ens_1__t42_ens_1.vmin12024-08-03 10:19 1.6K 
[ ]ens_1__t42_ens_1.vmin1out2024-08-03 10:22 25K 
[ ]ens_1__t42_ens_1.vout2024-08-03 07:19 32K 
[ ]ens_1__t43_ens_12024-07-28 11:38 23K 
[ ]ens_1__t43_ens_1.vout2024-08-03 05:19 7.3K 
[ ]ens_1__t44_ens_12024-07-28 11:39 23K 
[ ]ens_1__t44_ens_1.vout2024-08-03 06:11 7.3K 
[ ]ens_1__t45_ens_12024-07-28 11:40 24K 
[ ]ens_1__t45_ens_1.vout2024-08-03 09:09 7.2K 
[ ]ens_1__t46_ens_12024-07-28 11:42 24K 
[ ]ens_1__t46_ens_1.vout2024-08-03 05:44 7.2K 
[ ]ens_1__t47_ens_12024-07-28 11:43 21K 
[ ]ens_1__t47_ens_1.vout2024-08-03 04:30 7.2K 
[ ]ens_1__t48_ens_12024-07-28 11:44 21K 
[ ]ens_1__t48_ens_1.vout2024-08-03 04:31 7.2K 
[ ]ens_1__t49_ens_12024-07-28 11:46 41K 
[ ]ens_1__t49_ens_1.vout2024-08-03 10:03 3.6K 
[ ]ens_1__t50_ens_12024-07-28 11:47 41K 
[ ]ens_1__t50_ens_1.vout2024-08-03 04:10 3.6K 
[ ]ens_1__t51_ens_12024-07-28 11:48 17K 
[ ]ens_1__t51_ens_1.depv12024-08-03 10:19 69  
[ ]ens_1__t51_ens_1.depvmin12024-08-03 10:24 69  
[ ]ens_1__t51_ens_1.vmin12024-08-03 10:19 1.6K 
[ ]ens_1__t51_ens_1.vmin1out2024-08-03 10:21 27K 
[ ]ens_1__t51_ens_1.vout2024-08-03 09:38 33K 
[ ]ens_1__t52_ens_12024-07-28 11:49 21K 
[ ]ens_1__t52_ens_1.vout2024-08-03 09:50 7.2K 
[ ]ens_1__t53_ens_12024-07-28 11:51 25K 
[ ]ens_1__t53_ens_1.vout2024-08-03 07:34 7.2K 
[ ]ens_1__t54_ens_12024-07-28 11:52 23K 
[ ]ens_1__t54_ens_1.depv12024-08-03 10:19 79  
[ ]ens_1__t54_ens_1.depvmin12024-08-03 10:24 79  
[ ]ens_1__t54_ens_1.vmin12024-08-03 10:19 1.7K 
[ ]ens_1__t54_ens_1.vmin1out2024-08-03 10:21 18K 
[ ]ens_1__t54_ens_1.vout2024-08-03 07:31 25K 
[ ]ens_1__t55_ens_12024-07-28 11:53 26K 
[ ]ens_1__t55_ens_1.vout2024-08-03 08:09 7.2K 
[ ]ens_1__t56_ens_12024-07-28 11:54 24K 
[ ]ens_1__t56_ens_1.vout2024-08-03 09:34 6.7K 
[ ]ens_1__t57_ens_12024-07-28 11:56 39K 
[ ]ens_1__t57_ens_1.vout2024-08-03 07:04 7.3K 
[ ]ens_1__t58_ens_12024-07-28 11:57 49K 
[ ]ens_1__t58_ens_1.vout2024-08-03 09:13 4.2K 
[ ]ens_1__t59_ens_12024-07-28 11:59 27K 
[ ]ens_1__t59_ens_1.vout2024-08-03 08:44 7.3K 
[ ]ens_1__t60_ens_12024-07-28 12:00 28K 
[ ]ens_1__t60_ens_1.vout2024-08-03 09:59 7.3K 
[ ]ens_1__t61_ens_12024-07-28 12:01 27K 
[ ]ens_1__t61_ens_1.vout2024-08-03 09:40 7.3K 
[ ]ens_1__t62_ens_12024-07-28 12:03 28K 
[ ]ens_1__t62_ens_1.vout2024-08-03 06:57 7.3K 
[ ]ens_1__t63_ens_12024-07-28 12:04 33K 
[ ]ens_1__t63_ens_1.vout2024-08-03 04:17 7.3K 
[ ]ens_1__t64_ens_12024-07-28 12:06 37K 
[ ]ens_1__t64_ens_1.vout2024-08-03 09:48 7.2K 
[ ]ens_1__t65_ens_12024-07-28 12:07 36K 
[ ]ens_1__t65_ens_1.vout2024-08-03 05:05 7.3K 
[ ]ens_1__t66_ens_12024-07-28 12:09 37K 
[ ]ens_1__t66_ens_1.vout2024-08-03 06:18 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80