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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bciideal__l31_bciideal2024-07-27 09:35 9.1K 
[ ]bciideal__l31_bciideal.depv12024-08-03 10:19 160  
[ ]bciideal__l31_bciideal.depvmin12024-08-03 10:24 160  
[ ]bciideal__l31_bciideal.vmin12024-08-03 10:20 1.9K 
[ ]bciideal__l31_bciideal.vmin1out2024-08-03 10:21 27K 
[ ]bciideal__l31_bciideal.vout2024-08-03 07:59 28K 
[ ]bciideal__t1_bciideal2024-07-27 08:57 8.2K 
[ ]bciideal__t1_bciideal.depv12024-08-03 10:19 54  
[ ]bciideal__t1_bciideal.depvmin12024-08-03 10:24 54  
[ ]bciideal__t1_bciideal.vmin12024-08-03 10:20 1.2K 
[ ]bciideal__t1_bciideal.vmin1out2024-08-03 10:22 16K 
[ ]bciideal__t1_bciideal.vout2024-08-03 08:34 26K 
[ ]bciideal__t2_bciideal2024-07-27 08:57 9.8K 
[ ]bciideal__t2_bciideal.vout2024-08-03 08:05 2.0K 
[ ]bciideal__t3_bciideal2024-07-27 08:58 9.9K 
[ ]bciideal__t3_bciideal.vout2024-08-03 06:36 2.0K 
[ ]bciideal__t4_bciideal2024-07-27 08:59 8.7K 
[ ]bciideal__t4_bciideal.depv12024-08-03 10:19 105  
[ ]bciideal__t4_bciideal.depvmin12024-08-03 10:24 105  
[ ]bciideal__t4_bciideal.vmin12024-08-03 10:20 2.0K 
[ ]bciideal__t4_bciideal.vmin1out2024-08-03 10:22 18K 
[ ]bciideal__t4_bciideal.vout2024-08-03 09:55 18K 
[ ]bciideal__t5_bciideal2024-07-27 09:00 9.2K 
[ ]bciideal__t5_bciideal.depv12024-08-03 10:19 174  
[ ]bciideal__t5_bciideal.depvmin12024-08-03 10:24 165  
[ ]bciideal__t5_bciideal.vmin12024-08-03 10:20 2.4K 
[ ]bciideal__t5_bciideal.vmin1out2024-08-03 10:21 32K 
[ ]bciideal__t5_bciideal.vout2024-08-03 05:01 32K 
[ ]bciideal__t6_bciideal2024-07-27 09:01 11K 
[ ]bciideal__t6_bciideal.vout2024-08-03 05:39 7.9K 
[ ]bciideal__t7_bciideal2024-07-27 09:02 11K 
[ ]bciideal__t7_bciideal.vout2024-08-03 08:18 7.3K 
[ ]bciideal__t8_bciideal2024-07-27 09:03 9.8K 
[ ]bciideal__t8_bciideal.depv12024-08-03 10:19 166  
[ ]bciideal__t8_bciideal.depvmin12024-08-03 10:24 166  
[ ]bciideal__t8_bciideal.vmin12024-08-03 10:20 2.2K 
[ ]bciideal__t8_bciideal.vmin1out2024-08-03 10:20 39K 
[ ]bciideal__t8_bciideal.vout2024-08-03 08:53 38K 
[ ]bciideal__t9_bciideal2024-07-27 09:04 12K 
[ ]bciideal__t9_bciideal.vout2024-08-03 10:00 7.3K 
[ ]bciideal__t10_bciideal2024-07-27 09:04 10K 
[ ]bciideal__t10_bciideal.depv12024-08-03 10:19 187  
[ ]bciideal__t10_bciideal.depvmin12024-08-03 10:24 187  
[ ]bciideal__t10_bciideal.vmin12024-08-03 10:20 2.4K 
[ ]bciideal__t10_bciideal.vmin1out2024-08-03 10:21 23K 
[ ]bciideal__t10_bciideal.vout2024-08-03 09:29 40K 
[ ]bciideal__t11_bciideal2024-07-27 09:05 13K 
[ ]bciideal__t11_bciideal.vout2024-08-03 08:46 6.8K 
[ ]bciideal__t12_bciideal2024-07-27 09:06 11K 
[ ]bciideal__t12_bciideal.vout2024-08-03 10:02 3.7K 
[ ]bciideal__t13_bciideal2024-07-27 08:48 9.8K 
[ ]bciideal__t13_bciideal.vout2024-08-03 05:39 2.0K 
[ ]bciideal__t14_bciideal2024-07-27 09:07 9.6K 
[ ]bciideal__t14_bciideal.depv12024-08-03 10:19 90  
[ ]bciideal__t14_bciideal.depvmin12024-08-03 10:24 60  
[ ]bciideal__t14_bciideal.vmin12024-08-03 10:20 2.0K 
[ ]bciideal__t14_bciideal.vmin1out2024-08-03 10:20 41K 
[ ]bciideal__t14_bciideal.vout2024-08-03 05:45 47K 
[ ]bciideal__t15_bciideal2024-07-27 09:08 12K 
[ ]bciideal__t15_bciideal.vout2024-08-03 08:14 2.0K 
[ ]bciideal__t16_bciideal2024-07-27 09:09 9.9K 
[ ]bciideal__t16_bciideal.depv12024-08-03 10:19 107  
[ ]bciideal__t16_bciideal.depvmin12024-08-03 10:24 107  
[ ]bciideal__t16_bciideal.vmin12024-08-03 10:20 2.4K 
[ ]bciideal__t16_bciideal.vmin1out2024-08-03 10:20 33K 
[ ]bciideal__t16_bciideal.vout2024-08-03 05:42 33K 
[ ]bciideal__t17_bciideal2024-07-27 09:10 11K 
[ ]bciideal__t17_bciideal.vout2024-08-03 05:30 2.0K 
[ ]bciideal__t18_bciideal2024-07-27 09:10 9.6K 
[ ]bciideal__t18_bciideal.depv12024-08-03 10:19 126  
[ ]bciideal__t18_bciideal.depvmin12024-08-03 10:24 104  
[ ]bciideal__t18_bciideal.vmin12024-08-03 10:20 2.5K 
[ ]bciideal__t18_bciideal.vmin1out2024-08-03 10:21 46K 
[ ]bciideal__t18_bciideal.vout2024-08-03 08:35 52K 
[ ]bciideal__t19_bciideal2024-07-27 09:11 11K 
[ ]bciideal__t19_bciideal.depv12024-08-03 10:19 226  
[ ]bciideal__t19_bciideal.depvmin12024-08-03 10:24 145  
[ ]bciideal__t19_bciideal.vmin12024-08-03 10:20 3.1K 
[ ]bciideal__t19_bciideal.vmin1out2024-08-03 10:21 54K 
[ ]bciideal__t19_bciideal.vout2024-08-03 08:42 59K 
[ ]bciideal__t20_bciideal2024-07-27 09:12 12K 
[ ]bciideal__t20_bciideal.vout2024-08-03 05:51 7.3K 
[ ]bciideal__t21_bciideal2024-07-27 09:13 12K 
[ ]bciideal__t21_bciideal.vout2024-08-03 08:11 7.4K 
[ ]bciideal__t22_bciideal2024-07-27 09:14 11K 
[ ]bciideal__t22_bciideal.depv12024-08-03 10:19 131  
[ ]bciideal__t22_bciideal.depvmin12024-08-03 10:24 131  
[ ]bciideal__t22_bciideal.vmin12024-08-03 10:20 3.3K 
[ ]bciideal__t22_bciideal.vmin1out2024-08-03 10:21 83K 
[ ]bciideal__t22_bciideal.vout2024-08-03 09:24 81K 
[ ]bciideal__t23_bciideal2024-07-27 09:15 12K 
[ ]bciideal__t23_bciideal.vout2024-08-03 04:38 7.3K 
[ ]bciideal__t24_bciideal2024-07-27 09:16 11K 
[ ]bciideal__t24_bciideal.vout2024-08-03 07:49 7.3K 
[ ]bciideal__t25_bciideal2024-07-27 08:48 7.1K 
[ ]bciideal__t25_bciideal.depv12024-08-03 10:19 184  
[ ]bciideal__t25_bciideal.depvmin12024-08-03 10:24 184  
[ ]bciideal__t25_bciideal.vmin12024-08-03 10:20 2.1K 
[ ]bciideal__t25_bciideal.vmin1out2024-08-03 10:20 41K 
[ ]bciideal__t25_bciideal.vout2024-08-03 09:40 42K 
[ ]bciideal__t26_bciideal2024-07-27 09:16 9.3K 
[ ]bciideal__t26_bciideal.depv12024-08-03 10:19 39  
[ ]bciideal__t26_bciideal.depvmin12024-08-03 10:24 39  
[ ]bciideal__t26_bciideal.vmin12024-08-03 10:20 1.3K 
[ ]bciideal__t26_bciideal.vmin1out2024-08-03 10:20 20K 
[ ]bciideal__t26_bciideal.vout2024-08-03 09:02 21K 
[ ]bciideal__t27_bciideal2024-07-27 09:17 9.2K 
[ ]bciideal__t27_bciideal.depv12024-08-03 10:19 39  
[ ]bciideal__t27_bciideal.depvmin12024-08-03 10:24 39  
[ ]bciideal__t27_bciideal.vmin12024-08-03 10:20 1.3K 
[ ]bciideal__t27_bciideal.vmin1out2024-08-03 10:21 19K 
[ ]bciideal__t27_bciideal.vout2024-08-03 06:35 20K 
[ ]bciideal__t28_bciideal2024-07-27 09:18 9.3K 
[ ]bciideal__t28_bciideal.depv12024-08-03 10:19 39  
[ ]bciideal__t28_bciideal.depvmin12024-08-03 10:24 39  
[ ]bciideal__t28_bciideal.vmin12024-08-03 10:20 1.4K 
[ ]bciideal__t28_bciideal.vmin1out2024-08-03 10:22 20K 
[ ]bciideal__t28_bciideal.vout2024-08-03 06:31 22K 
[ ]bciideal__t29_bciideal2024-07-27 09:19 9.4K 
[ ]bciideal__t29_bciideal.depv12024-08-03 10:19 39  
[ ]bciideal__t29_bciideal.depvmin12024-08-03 10:24 39  
[ ]bciideal__t29_bciideal.vmin12024-08-03 10:20 1.5K 
[ ]bciideal__t29_bciideal.vmin1out2024-08-03 10:23 23K 
[ ]bciideal__t29_bciideal.vout2024-08-03 07:12 25K 
[ ]bciideal__t30_bciideal2024-07-27 09:20 9.3K 
[ ]bciideal__t30_bciideal.depv12024-08-03 10:19 39  
[ ]bciideal__t30_bciideal.depvmin12024-08-03 10:24 39  
[ ]bciideal__t30_bciideal.vmin12024-08-03 10:20 1.4K 
[ ]bciideal__t30_bciideal.vmin1out2024-08-03 10:20 20K 
[ ]bciideal__t30_bciideal.vout2024-08-03 05:16 22K 
[ ]bciideal__t31_bciideal2024-07-27 09:20 9.4K 
[ ]bciideal__t31_bciideal.depv12024-08-03 10:19 39  
[ ]bciideal__t31_bciideal.depvmin12024-08-03 10:24 39  
[ ]bciideal__t31_bciideal.vmin12024-08-03 10:20 1.4K 
[ ]bciideal__t31_bciideal.vmin1out2024-08-03 10:23 21K 
[ ]bciideal__t31_bciideal.vout2024-08-03 06:18 23K 
[ ]bciideal__t32_bciideal2024-07-27 09:21 12K 
[ ]bciideal__t32_bciideal.depv12024-08-03 10:19 179  
[ ]bciideal__t32_bciideal.depvmin12024-08-03 10:24 164  
[ ]bciideal__t32_bciideal.vmin12024-08-03 10:20 3.0K 
[ ]bciideal__t32_bciideal.vmin1out2024-08-03 10:21 45K 
[ ]bciideal__t32_bciideal.vout2024-08-03 09:28 54K 
[ ]bciideal__t33_bciideal2024-07-27 09:22 9.6K 
[ ]bciideal__t33_bciideal.depv12024-08-03 10:19 120  
[ ]bciideal__t33_bciideal.depvmin12024-08-03 10:24 105  
[ ]bciideal__t33_bciideal.vmin12024-08-03 10:20 2.6K 
[ ]bciideal__t33_bciideal.vmin1out2024-08-03 10:22 65K 
[ ]bciideal__t33_bciideal.vout2024-08-03 06:39 36K 
[ ]bciideal__t34_bciideal2024-07-27 09:23 12K 
[ ]bciideal__t34_bciideal.vout2024-08-03 04:21 2.0K 
[ ]bciideal__t35_bciideal2024-07-27 09:24 9.8K 
[ ]bciideal__t35_bciideal.depv12024-08-03 10:19 149  
[ ]bciideal__t35_bciideal.depvmin12024-08-03 10:24 110  
[ ]bciideal__t35_bciideal.vmin12024-08-03 10:20 2.4K 
[ ]bciideal__t35_bciideal.vmin1out2024-08-03 10:23 37K 
[ ]bciideal__t35_bciideal.vout2024-08-03 06:57 32K 
[ ]bciideal__t36_bciideal2024-07-27 09:25 12K 
[ ]bciideal__t36_bciideal.vout2024-08-03 05:00 4.1K 
[ ]bciideal__t37_bciideal2024-07-27 09:25 8.0K 
[ ]bciideal__t37_bciideal.depv12024-08-03 10:19 39  
[ ]bciideal__t37_bciideal.depvmin12024-08-03 10:24 39  
[ ]bciideal__t37_bciideal.vmin12024-08-03 10:20 1.3K 
[ ]bciideal__t37_bciideal.vmin1out2024-08-03 10:21 29K 
[ ]bciideal__t37_bciideal.vout2024-08-03 08:55 30K 
[ ]bciideal__t38_bciideal2024-07-27 08:49 8.0K 
[ ]bciideal__t38_bciideal.depv12024-08-03 10:19 39  
[ ]bciideal__t38_bciideal.depvmin12024-08-03 10:24 39  
[ ]bciideal__t38_bciideal.vmin12024-08-03 10:20 1.3K 
[ ]bciideal__t38_bciideal.vmin1out2024-08-03 10:20 26K 
[ ]bciideal__t38_bciideal.vout2024-08-03 06:30 26K 
[ ]bciideal__t39_bciideal2024-07-27 09:26 11K 
[ ]bciideal__t39_bciideal.depv12024-08-03 10:19 168  
[ ]bciideal__t39_bciideal.vmin12024-08-03 10:20 3.8K 
[ ]bciideal__t39_bciideal.vmin1out2024-08-03 10:20 2.0K 
[ ]bciideal__t39_bciideal.vout2024-08-03 10:06 67K 
[ ]bciideal__t40_bciideal2024-07-27 08:50 9.8K 
[ ]bciideal__t40_bciideal.depv12024-08-03 10:19 38  
[ ]bciideal__t40_bciideal.depvmin12024-08-03 10:24 38  
[ ]bciideal__t40_bciideal.vmin12024-08-03 10:20 1.5K 
[ ]bciideal__t40_bciideal.vmin1out2024-08-03 10:20 35K 
[ ]bciideal__t40_bciideal.vout2024-08-03 08:36 39K 
[ ]bciideal__t41_bciideal2024-07-27 08:51 9.5K 
[ ]bciideal__t41_bciideal.depv12024-08-03 10:19 38  
[ ]bciideal__t41_bciideal.depvmin12024-08-03 10:24 38  
[ ]bciideal__t41_bciideal.vmin12024-08-03 10:20 1.4K 
[ ]bciideal__t41_bciideal.vmin1out2024-08-03 10:22 34K 
[ ]bciideal__t41_bciideal.vout2024-08-03 09:15 34K 
[ ]bciideal__t42_bciideal2024-07-27 08:52 9.5K 
[ ]bciideal__t42_bciideal.depv12024-08-03 10:19 38  
[ ]bciideal__t42_bciideal.depvmin12024-08-03 10:24 38  
[ ]bciideal__t42_bciideal.vmin12024-08-03 10:20 1.5K 
[ ]bciideal__t42_bciideal.vmin1out2024-08-03 10:20 36K 
[ ]bciideal__t42_bciideal.vout2024-08-03 04:46 36K 
[ ]bciideal__t43_bciideal2024-07-27 08:52 9.7K 
[ ]bciideal__t43_bciideal.depv12024-08-03 10:19 51  
[ ]bciideal__t43_bciideal.depvmin12024-08-03 10:24 51  
[ ]bciideal__t43_bciideal.vmin12024-08-03 10:20 1.7K 
[ ]bciideal__t43_bciideal.vmin1out2024-08-03 10:22 41K 
[ ]bciideal__t43_bciideal.vout2024-08-03 07:53 43K 
[ ]bciideal__t44_bciideal2024-07-27 09:27 13K 
[ ]bciideal__t44_bciideal.depv12024-08-03 10:19 88  
[ ]bciideal__t44_bciideal.depvmin12024-08-03 10:24 75  
[ ]bciideal__t44_bciideal.vmin12024-08-03 10:20 4.9K 
[ ]bciideal__t44_bciideal.vmin1out2024-08-03 10:20 87K 
[ ]bciideal__t44_bciideal.vout2024-08-03 04:44 83K 
[ ]bciideal__t45_bciideal2024-07-27 08:53 9.7K 
[ ]bciideal__t45_bciideal.depv12024-08-03 10:19 38  
[ ]bciideal__t45_bciideal.depvmin12024-08-03 10:24 38  
[ ]bciideal__t45_bciideal.vmin12024-08-03 10:20 1.5K 
[ ]bciideal__t45_bciideal.vmin1out2024-08-03 10:20 37K 
[ ]bciideal__t45_bciideal.vout2024-08-03 06:40 37K 
[ ]bciideal__t46_bciideal2024-07-27 08:54 8.3K 
[ ]bciideal__t46_bciideal.depv12024-08-03 10:19 38  
[ ]bciideal__t46_bciideal.depvmin12024-08-03 10:24 38  
[ ]bciideal__t46_bciideal.vmin12024-08-03 10:20 1.4K 
[ ]bciideal__t46_bciideal.vmin1out2024-08-03 10:20 38K 
[ ]bciideal__t46_bciideal.vout2024-08-03 08:25 39K 
[ ]bciideal__t47_bciideal2024-07-27 08:55 8.3K 
[ ]bciideal__t47_bciideal.depv12024-08-03 10:19 38  
[ ]bciideal__t47_bciideal.depvmin12024-08-03 10:24 38  
[ ]bciideal__t47_bciideal.vmin12024-08-03 10:20 1.5K 
[ ]bciideal__t47_bciideal.vmin1out2024-08-03 10:23 41K 
[ ]bciideal__t47_bciideal.vout2024-08-03 05:56 41K 
[ ]bciideal__t48_bciideal2024-07-27 08:56 9.6K 
[ ]bciideal__t48_bciideal.depv12024-08-03 10:19 51  
[ ]bciideal__t48_bciideal.depvmin12024-08-03 10:24 51  
[ ]bciideal__t48_bciideal.vmin12024-08-03 10:20 1.7K 
[ ]bciideal__t48_bciideal.vmin1out2024-08-03 10:20 43K 
[ ]bciideal__t48_bciideal.vout2024-08-03 05:38 46K 
[ ]bciideal__t49_bciideal2024-07-27 09:28 13K 
[ ]bciideal__t49_bciideal.depv12024-08-03 10:19 88  
[ ]bciideal__t49_bciideal.depvmin12024-08-03 10:24 75  
[ ]bciideal__t49_bciideal.vmin12024-08-03 10:20 4.9K 
[ ]bciideal__t49_bciideal.vmin1out2024-08-03 10:20 89K 
[ ]bciideal__t49_bciideal.vout2024-08-03 04:46 83K 
[ ]bciideal__t50_bciideal2024-07-27 09:29 9.8K 
[ ]bciideal__t50_bciideal.depv12024-08-03 10:19 129  
[ ]bciideal__t50_bciideal.depvmin12024-08-03 10:24 129  
[ ]bciideal__t50_bciideal.vmin12024-08-03 10:20 2.8K 
[ ]bciideal__t50_bciideal.vmin1out2024-08-03 10:21 68K 
[ ]bciideal__t50_bciideal.vout2024-08-03 07:37 67K 
[ ]bciideal__t51_bciideal2024-07-27 09:30 13K 
[ ]bciideal__t51_bciideal.vout2024-08-03 06:15 2.0K 
[ ]bciideal__t52_bciideal2024-07-27 09:31 11K 
[ ]bciideal__t52_bciideal.vout2024-08-03 07:12 2.0K 
[ ]bciideal__t53_bciideal2024-07-27 09:31 9.7K 
[ ]bciideal__t53_bciideal.depv12024-08-03 10:19 102  
[ ]bciideal__t53_bciideal.depvmin12024-08-03 10:24 102  
[ ]bciideal__t53_bciideal.vmin12024-08-03 10:20 2.4K 
[ ]bciideal__t53_bciideal.vmin1out2024-08-03 10:23 54K 
[ ]bciideal__t53_bciideal.vout2024-08-03 06:48 54K 
[ ]bciideal__t54_bciideal2024-07-27 09:32 9.7K 
[ ]bciideal__t54_bciideal.depv12024-08-03 10:19 106  
[ ]bciideal__t54_bciideal.depvmin12024-08-03 10:24 77  
[ ]bciideal__t54_bciideal.vmin12024-08-03 10:20 2.6K 
[ ]bciideal__t54_bciideal.vmin1out2024-08-03 10:21 64K 
[ ]bciideal__t54_bciideal.vout2024-08-03 06:42 67K 
[ ]bciideal__t55_bciideal2024-07-27 09:33 11K 
[ ]bciideal__t55_bciideal.depv12024-08-03 10:19 66  
[ ]bciideal__t55_bciideal.depvmin12024-08-03 10:24 66  
[ ]bciideal__t55_bciideal.vmin12024-08-03 10:20 2.8K 
[ ]bciideal__t55_bciideal.vmin1out2024-08-03 10:20 82K 
[ ]bciideal__t55_bciideal.vout2024-08-03 04:37 83K 
[ ]bciideal__t56_bciideal2024-07-27 09:34 9.9K 
[ ]bciideal__t56_bciideal.vout2024-08-03 05:40 2.0K 
[ ]bciideal__t57_bciideal2024-07-27 09:35 14K 
[ ]bciideal__t57_bciideal.vout2024-08-03 08:21 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80