Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/bcialg_6

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bcialg_6__l18_bcialg_62025-09-09 21:42 27K 
[ ]bcialg_6__l18_bcialg_6.vout2025-09-15 19:43 7.3K 
[ ]bcialg_6__l19_bcialg_62025-09-09 21:43 28K 
[ ]bcialg_6__l19_bcialg_6.vout2025-09-15 19:20 7.4K 
[ ]bcialg_6__l27_bcialg_62025-09-09 21:45 49K 
[ ]bcialg_6__l27_bcialg_6.vout2025-09-15 16:22 7.3K 
[ ]bcialg_6__l66_bcialg_62025-09-09 21:46 21K 
[ ]bcialg_6__l66_bcialg_6.depv12025-09-15 19:46 457  
[ ]bcialg_6__l66_bcialg_6.depvmin12025-09-15 19:51 370  
[ ]bcialg_6__l66_bcialg_6.vmin12025-09-15 19:47 5.7K 
[ ]bcialg_6__l66_bcialg_6.vmin1out2025-09-15 19:47 74K 
[ ]bcialg_6__l66_bcialg_6.vout2025-09-15 14:08 89K 
[ ]bcialg_6__l70_bcialg_62025-09-09 21:48 28K 
[ ]bcialg_6__l70_bcialg_6.depv12025-09-15 19:46 201  
[ ]bcialg_6__l70_bcialg_6.depvmin12025-09-15 19:51 201  
[ ]bcialg_6__l70_bcialg_6.vmin12025-09-15 19:47 2.9K 
[ ]bcialg_6__l70_bcialg_6.vmin1out2025-09-15 19:50 54K 
[ ]bcialg_6__l70_bcialg_6.vout2025-09-15 15:04 52K 
[ ]bcialg_6__t1_bcialg_62025-09-09 20:22 21K 
[ ]bcialg_6__t1_bcialg_6.depv12025-09-15 19:46 173  
[ ]bcialg_6__t1_bcialg_6.depvmin12025-09-15 19:51 173  
[ ]bcialg_6__t1_bcialg_6.vmin12025-09-15 19:47 2.7K 
[ ]bcialg_6__t1_bcialg_6.vmin1out2025-09-15 19:48 56K 
[ ]bcialg_6__t1_bcialg_6.vout2025-09-15 16:22 46K 
[ ]bcialg_6__t2_bcialg_62025-09-09 20:19 23K 
[ ]bcialg_6__t2_bcialg_6.depv12025-09-15 19:46 195  
[ ]bcialg_6__t2_bcialg_6.depvmin12025-09-15 19:51 195  
[ ]bcialg_6__t2_bcialg_6.vmin12025-09-15 19:47 2.6K 
[ ]bcialg_6__t2_bcialg_6.vmin1out2025-09-15 19:49 38K 
[ ]bcialg_6__t2_bcialg_6.vout2025-09-15 17:27 39K 
[ ]bcialg_6__t3_bcialg_62025-09-09 20:20 23K 
[ ]bcialg_6__t3_bcialg_6.depv12025-09-15 19:46 153  
[ ]bcialg_6__t3_bcialg_6.depvmin12025-09-15 19:51 153  
[ ]bcialg_6__t3_bcialg_6.vmin12025-09-15 19:47 2.2K 
[ ]bcialg_6__t3_bcialg_6.vmin1out2025-09-15 19:51 29K 
[ ]bcialg_6__t3_bcialg_6.vout2025-09-15 17:04 29K 
[ ]bcialg_6__t4_bcialg_62025-09-09 20:23 23K 
[ ]bcialg_6__t4_bcialg_6.vout2025-09-15 14:38 7.3K 
[ ]bcialg_6__t5_bcialg_62025-09-09 20:24 24K 
[ ]bcialg_6__t5_bcialg_6.vout2025-09-15 13:52 2.0K 
[ ]bcialg_6__t6_bcialg_62025-09-09 20:25 25K 
[ ]bcialg_6__t6_bcialg_6.vout2025-09-15 18:58 7.3K 
[ ]bcialg_6__t7_bcialg_62025-09-09 20:27 24K 
[ ]bcialg_6__t7_bcialg_6.depv12025-09-15 19:46 256  
[ ]bcialg_6__t7_bcialg_6.depvmin12025-09-15 19:51 256  
[ ]bcialg_6__t7_bcialg_6.vmin12025-09-15 19:47 3.7K 
[ ]bcialg_6__t7_bcialg_6.vmin1out2025-09-15 19:50 60K 
[ ]bcialg_6__t7_bcialg_6.vout2025-09-15 15:03 60K 
[ ]bcialg_6__t8_bcialg_62025-09-09 20:28 22K 
[ ]bcialg_6__t8_bcialg_6.depv12025-09-15 19:46 160  
[ ]bcialg_6__t8_bcialg_6.depvmin12025-09-15 19:51 160  
[ ]bcialg_6__t8_bcialg_6.vmin12025-09-15 19:47 2.1K 
[ ]bcialg_6__t8_bcialg_6.vmin1out2025-09-15 19:49 22K 
[ ]bcialg_6__t8_bcialg_6.vout2025-09-15 13:34 30K 
[ ]bcialg_6__t9_bcialg_62025-09-09 20:29 29K 
[ ]bcialg_6__t9_bcialg_6.vout2025-09-15 18:29 7.3K 
[ ]bcialg_6__t10_bcialg_62025-09-09 20:31 30K 
[ ]bcialg_6__t10_bcialg_6.vout2025-09-15 15:45 7.3K 
[ ]bcialg_6__t11_bcialg_62025-09-09 20:32 25K 
[ ]bcialg_6__t11_bcialg_6.depv12025-09-15 19:46 190  
[ ]bcialg_6__t11_bcialg_6.depvmin12025-09-15 19:51 190  
[ ]bcialg_6__t11_bcialg_6.vmin12025-09-15 19:47 2.9K 
[ ]bcialg_6__t11_bcialg_6.vmin1out2025-09-15 19:49 35K 
[ ]bcialg_6__t11_bcialg_6.vout2025-09-15 14:58 52K 
[ ]bcialg_6__t12_bcialg_62025-09-09 20:33 49K 
[ ]bcialg_6__t12_bcialg_6.vout2025-09-15 19:11 7.4K 
[ ]bcialg_6__t13_bcialg_62025-09-09 20:35 41K 
[ ]bcialg_6__t13_bcialg_6.vout2025-09-15 17:09 7.3K 
[ ]bcialg_6__t14_bcialg_62025-09-09 20:36 24K 
[ ]bcialg_6__t14_bcialg_6.depv12025-09-15 19:46 232  
[ ]bcialg_6__t14_bcialg_6.depvmin12025-09-15 19:51 197  
[ ]bcialg_6__t14_bcialg_6.vmin12025-09-15 19:47 3.9K 
[ ]bcialg_6__t14_bcialg_6.vmin1out2025-09-15 19:49 44K 
[ ]bcialg_6__t14_bcialg_6.vout2025-09-15 17:30 56K 
[ ]bcialg_6__t15_bcialg_62025-09-09 20:37 29K 
[ ]bcialg_6__t15_bcialg_6.vout2025-09-15 16:22 7.3K 
[ ]bcialg_6__t16_bcialg_62025-09-09 20:39 23K 
[ ]bcialg_6__t16_bcialg_6.vout2025-09-15 16:47 7.3K 
[ ]bcialg_6__t17_bcialg_62025-09-09 20:40 26K 
[ ]bcialg_6__t17_bcialg_6.vout2025-09-15 14:27 7.4K 
[ ]bcialg_6__t18_bcialg_62025-09-09 20:41 24K 
[ ]bcialg_6__t18_bcialg_6.depv12025-09-15 19:46 283  
[ ]bcialg_6__t18_bcialg_6.depvmin12025-09-15 19:51 283  
[ ]bcialg_6__t18_bcialg_6.vmin12025-09-15 19:47 4.6K 
[ ]bcialg_6__t18_bcialg_6.vmin1out2025-09-15 19:49 85K 
[ ]bcialg_6__t18_bcialg_6.vout2025-09-15 18:26 85K 
[ ]bcialg_6__t19_bcialg_62025-09-09 20:43 22K 
[ ]bcialg_6__t19_bcialg_6.depv12025-09-15 19:46 174  
[ ]bcialg_6__t19_bcialg_6.depvmin12025-09-15 19:51 149  
[ ]bcialg_6__t19_bcialg_6.vmin12025-09-15 19:47 2.6K 
[ ]bcialg_6__t19_bcialg_6.vmin1out2025-09-15 19:48 26K 
[ ]bcialg_6__t19_bcialg_6.vout2025-09-15 13:53 37K 
[ ]bcialg_6__t20_bcialg_62025-09-09 20:44 30K 
[ ]bcialg_6__t20_bcialg_6.vout2025-09-15 16:52 7.3K 
[ ]bcialg_6__t21_bcialg_62025-09-09 20:45 23K 
[ ]bcialg_6__t21_bcialg_6.vout2025-09-15 18:27 7.3K 
[ ]bcialg_6__t22_bcialg_62025-09-09 20:47 50K 
[ ]bcialg_6__t22_bcialg_6.vout2025-09-15 17:03 7.4K 
[ ]bcialg_6__t23_bcialg_62025-09-09 20:49 51K 
[ ]bcialg_6__t23_bcialg_6.vout2025-09-15 16:25 7.3K 
[ ]bcialg_6__t24_bcialg_62025-09-09 20:50 35K 
[ ]bcialg_6__t24_bcialg_6.vout2025-09-15 15:50 7.3K 
[ ]bcialg_6__t25_bcialg_62025-09-09 20:52 22K 
[ ]bcialg_6__t25_bcialg_6.vout2025-09-15 17:27 7.3K 
[ ]bcialg_6__t26_bcialg_62025-09-09 20:53 24K 
[ ]bcialg_6__t26_bcialg_6.vout2025-09-15 16:16 7.4K 
[ ]bcialg_6__t27_bcialg_62025-09-09 20:54 27K 
[ ]bcialg_6__t27_bcialg_6.vout2025-09-15 19:30 7.3K 
[ ]bcialg_6__t28_bcialg_62025-09-09 20:56 27K 
[ ]bcialg_6__t28_bcialg_6.vout2025-09-15 14:40 7.4K 
[ ]bcialg_6__t29_bcialg_62025-09-09 20:58 40K 
[ ]bcialg_6__t29_bcialg_6.vout2025-09-15 14:02 7.3K 
[ ]bcialg_6__t30_bcialg_62025-09-09 20:59 44K 
[ ]bcialg_6__t30_bcialg_6.vout2025-09-15 14:28 7.3K 
[ ]bcialg_6__t31_bcialg_62025-09-09 21:01 23K 
[ ]bcialg_6__t31_bcialg_6.vout2025-09-15 18:11 7.3K 
[ ]bcialg_6__t32_bcialg_62025-09-09 21:02 25K 
[ ]bcialg_6__t32_bcialg_6.depv12025-09-15 19:46 319  
[ ]bcialg_6__t32_bcialg_6.depvmin12025-09-15 19:51 319  
[ ]bcialg_6__t32_bcialg_6.vmin12025-09-15 19:47 3.8K 
[ ]bcialg_6__t32_bcialg_6.vmin1out2025-09-15 19:47 69K 
[ ]bcialg_6__t32_bcialg_6.vout2025-09-15 17:01 51K 
[ ]bcialg_6__t33_bcialg_62025-09-09 21:04 34K 
[ ]bcialg_6__t33_bcialg_6.vout2025-09-15 13:34 6.8K 
[ ]bcialg_6__t34_bcialg_62025-09-09 21:05 20K 
[ ]bcialg_6__t34_bcialg_6.vout2025-09-15 18:23 7.3K 
[ ]bcialg_6__t35_bcialg_62025-09-09 21:06 20K 
[ ]bcialg_6__t35_bcialg_6.depv12025-09-15 19:46 116  
[ ]bcialg_6__t35_bcialg_6.depvmin12025-09-15 19:51 116  
[ ]bcialg_6__t35_bcialg_6.vmin12025-09-15 19:47 2.0K 
[ ]bcialg_6__t35_bcialg_6.vmin1out2025-09-15 19:49 28K 
[ ]bcialg_6__t35_bcialg_6.vout2025-09-15 17:27 26K 
[ ]bcialg_6__t36_bcialg_62025-09-09 21:08 20K 
[ ]bcialg_6__t36_bcialg_6.depv12025-09-15 19:46 108  
[ ]bcialg_6__t36_bcialg_6.depvmin12025-09-15 19:51 108  
[ ]bcialg_6__t36_bcialg_6.vmin12025-09-15 19:47 2.7K 
[ ]bcialg_6__t36_bcialg_6.vmin1out2025-09-15 19:48 40K 
[ ]bcialg_6__t36_bcialg_6.vout2025-09-15 14:43 39K 
[ ]bcialg_6__t37_bcialg_62025-09-09 21:09 23K 
[ ]bcialg_6__t37_bcialg_6.vout2025-09-15 15:01 3.7K 
[ ]bcialg_6__t38_bcialg_62025-09-09 21:11 18K 
[ ]bcialg_6__t38_bcialg_6.depv12025-09-15 19:46 232  
[ ]bcialg_6__t38_bcialg_6.depvmin12025-09-15 19:51 232  
[ ]bcialg_6__t38_bcialg_6.vmin12025-09-15 19:47 2.8K 
[ ]bcialg_6__t38_bcialg_6.vmin1out2025-09-15 19:47 36K 
[ ]bcialg_6__t38_bcialg_6.vout2025-09-15 16:59 34K 
[ ]bcialg_6__t39_bcialg_62025-09-09 21:12 22K 
[ ]bcialg_6__t39_bcialg_6.vout2025-09-15 19:28 2.0K 
[ ]bcialg_6__t40_bcialg_62025-09-09 21:13 21K 
[ ]bcialg_6__t40_bcialg_6.depv12025-09-15 19:46 457  
[ ]bcialg_6__t40_bcialg_6.depvmin12025-09-15 19:51 370  
[ ]bcialg_6__t40_bcialg_6.vmin12025-09-15 19:47 5.7K 
[ ]bcialg_6__t40_bcialg_6.vmin1out2025-09-15 19:49 74K 
[ ]bcialg_6__t40_bcialg_6.vout2025-09-15 16:46 88K 
[ ]bcialg_6__t41_bcialg_62025-09-09 21:14 25K 
[ ]bcialg_6__t41_bcialg_6.vout2025-09-15 17:48 3.7K 
[ ]bcialg_6__t42_bcialg_62025-09-09 21:16 18K 
[ ]bcialg_6__t42_bcialg_6.depv12025-09-15 19:46 367  
[ ]bcialg_6__t42_bcialg_6.depvmin12025-09-15 19:51 262  
[ ]bcialg_6__t42_bcialg_6.vmin12025-09-15 19:47 3.7K 
[ ]bcialg_6__t42_bcialg_6.vmin1out2025-09-15 19:49 41K 
[ ]bcialg_6__t42_bcialg_6.vout2025-09-15 15:27 44K 
[ ]bcialg_6__t43_bcialg_62025-09-09 21:17 21K 
[ ]bcialg_6__t43_bcialg_6.vout2025-09-15 18:13 2.0K 
[ ]bcialg_6__t44_bcialg_62025-09-09 21:18 24K 
[ ]bcialg_6__t44_bcialg_6.vout2025-09-15 17:15 3.7K 
[ ]bcialg_6__t45_bcialg_62025-09-09 21:20 22K 
[ ]bcialg_6__t45_bcialg_6.vout2025-09-15 13:48 2.0K 
[ ]bcialg_6__t46_bcialg_62025-09-09 21:21 23K 
[ ]bcialg_6__t46_bcialg_6.vout2025-09-15 15:38 2.0K 
[ ]bcialg_6__t47_bcialg_62025-09-09 21:22 25K 
[ ]bcialg_6__t47_bcialg_6.vout2025-09-15 18:54 7.3K 
[ ]bcialg_6__t48_bcialg_62025-09-09 21:24 25K 
[ ]bcialg_6__t48_bcialg_6.vout2025-09-15 19:44 7.3K 
[ ]bcialg_6__t49_bcialg_62025-09-09 21:25 29K 
[ ]bcialg_6__t49_bcialg_6.vout2025-09-15 18:59 5.3K 
[ ]bcialg_6__t50_bcialg_62025-09-09 21:27 43K 
[ ]bcialg_6__t50_bcialg_6.vout2025-09-15 15:56 6.8K 
[ ]bcialg_6__t52_bcialg_62025-09-09 21:29 34K 
[ ]bcialg_6__t52_bcialg_6.vout2025-09-15 18:05 5.3K 
[ ]bcialg_6__t53_bcialg_62025-09-09 21:31 40K 
[ ]bcialg_6__t53_bcialg_6.vout2025-09-15 18:18 3.7K 
[ ]bcialg_6__t54_bcialg_62025-09-09 21:33 38K 
[ ]bcialg_6__t54_bcialg_6.vout2025-09-15 18:43 7.3K 
[ ]bcialg_6__t55_bcialg_62025-09-09 21:35 35K 
[ ]bcialg_6__t55_bcialg_6.vout2025-09-15 17:26 7.3K 
[ ]bcialg_6__t56_bcialg_62025-09-09 21:37 40K 
[ ]bcialg_6__t56_bcialg_6.vout2025-09-15 15:22 4.8K 
[ ]bcialg_6__t57_bcialg_62025-09-09 21:38 24K 
[ ]bcialg_6__t57_bcialg_6.vout2025-09-15 15:44 7.3K 
[ ]bcialg_6__t58_bcialg_62025-09-09 21:40 48K 
[ ]bcialg_6__t58_bcialg_6.vout2025-09-15 17:12 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80