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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]kurato_1__l2_kurato_12025-09-09 17:02 11K 
[ ]kurato_1__l2_kurato_1.depv12025-09-15 19:47 27  
[ ]kurato_1__l2_kurato_1.depvmin12025-09-15 19:52 27  
[ ]kurato_1__l2_kurato_1.vmin12025-09-15 19:47 491  
[ ]kurato_1__l2_kurato_1.vmin1out2025-09-15 19:47 4.8K 
[ ]kurato_1__l2_kurato_1.vout2025-09-15 17:57 4.8K 
[ ]kurato_1__l10_kurato_12025-09-09 17:47 27K 
[ ]kurato_1__l10_kurato_1.vout2025-09-15 16:55 7.3K 
[ ]kurato_1__t1_kurato_12025-09-09 17:03 19K 
[ ]kurato_1__t1_kurato_1.depv12025-09-15 19:47 201  
[ ]kurato_1__t1_kurato_1.depvmin12025-09-15 19:52 201  
[ ]kurato_1__t1_kurato_1.vmin12025-09-15 19:47 2.4K 
[ ]kurato_1__t1_kurato_1.vmin1out2025-09-15 19:50 22K 
[ ]kurato_1__t1_kurato_1.vout2025-09-15 19:34 28K 
[ ]kurato_1__t2_kurato_12025-09-09 16:34 22K 
[ ]kurato_1__t2_kurato_1.depv12025-09-15 19:47 51  
[ ]kurato_1__t2_kurato_1.depvmin12025-09-15 19:52 51  
[ ]kurato_1__t2_kurato_1.vmin12025-09-15 19:47 2.4K 
[ ]kurato_1__t2_kurato_1.vmin1out2025-09-15 19:49 23K 
[ ]kurato_1__t2_kurato_1.vout2025-09-15 16:11 40K 
[ ]kurato_1__t3_kurato_12025-09-09 17:04 23K 
[ ]kurato_1__t3_kurato_1.vout2025-09-15 19:08 7.3K 
[ ]kurato_1__t4_kurato_12025-09-09 17:05 23K 
[ ]kurato_1__t4_kurato_1.vout2025-09-15 15:37 7.3K 
[ ]kurato_1__t5_kurato_12025-09-09 16:35 26K 
[ ]kurato_1__t5_kurato_1.depv12025-09-15 19:47 75  
[ ]kurato_1__t5_kurato_1.depvmin12025-09-15 19:52 75  
[ ]kurato_1__t5_kurato_1.vmin12025-09-15 19:47 3.2K 
[ ]kurato_1__t5_kurato_1.vmin1out2025-09-15 19:51 30K 
[ ]kurato_1__t5_kurato_1.vout2025-09-15 15:41 55K 
[ ]kurato_1__t6_kurato_12025-09-09 17:06 22K 
[ ]kurato_1__t6_kurato_1.vout2025-09-15 16:47 7.3K 
[ ]kurato_1__t7_kurato_12025-09-09 17:07 28K 
[ ]kurato_1__t7_kurato_1.vout2025-09-15 18:04 2.0K 
[ ]kurato_1__t8_kurato_12025-09-09 17:08 22K 
[ ]kurato_1__t8_kurato_1.depv12025-09-15 19:47 61  
[ ]kurato_1__t8_kurato_1.depvmin12025-09-15 19:52 61  
[ ]kurato_1__t8_kurato_1.vmin12025-09-15 19:47 1.3K 
[ ]kurato_1__t8_kurato_1.vmin1out2025-09-15 19:49 11K 
[ ]kurato_1__t8_kurato_1.vout2025-09-15 18:18 10K 
[ ]kurato_1__t9_kurato_12025-09-09 17:09 18K 
[ ]kurato_1__t9_kurato_1.vout2025-09-15 18:46 7.3K 
[ ]kurato_1__t10_kurato_12025-09-09 17:10 25K 
[ ]kurato_1__t10_kurato_1.vout2025-09-15 18:23 4.2K 
[ ]kurato_1__t11_kurato_12025-09-09 16:36 27K 
[ ]kurato_1__t11_kurato_1.depv12025-09-15 19:47 210  
[ ]kurato_1__t11_kurato_1.depvmin12025-09-15 19:52 210  
[ ]kurato_1__t11_kurato_1.vmin12025-09-15 19:47 1.6K 
[ ]kurato_1__t11_kurato_1.vmin1out2025-09-15 19:51 11K 
[ ]kurato_1__t11_kurato_1.vout2025-09-15 16:52 13K 
[ ]kurato_1__t12_kurato_12025-09-09 16:37 27K 
[ ]kurato_1__t12_kurato_1.depv12025-09-15 19:47 413  
[ ]kurato_1__t12_kurato_1.depvmin12025-09-15 19:52 248  
[ ]kurato_1__t12_kurato_1.vmin12025-09-15 19:47 2.9K 
[ ]kurato_1__t12_kurato_1.vmin1out2025-09-15 19:50 15K 
[ ]kurato_1__t12_kurato_1.vout2025-09-15 17:38 24K 
[ ]kurato_1__t13_kurato_12025-09-09 16:39 25K 
[ ]kurato_1__t13_kurato_1.vout2025-09-15 19:29 10K 
[ ]kurato_1__t14_kurato_12025-09-09 16:40 24K 
[ ]kurato_1__t14_kurato_1.depv12025-09-15 19:47 177  
[ ]kurato_1__t14_kurato_1.depvmin12025-09-15 19:52 177  
[ ]kurato_1__t14_kurato_1.vmin12025-09-15 19:47 1.5K 
[ ]kurato_1__t14_kurato_1.vmin1out2025-09-15 19:48 11K 
[ ]kurato_1__t14_kurato_1.vout2025-09-15 15:40 12K 
[ ]kurato_1__t15_kurato_12025-09-09 16:41 25K 
[ ]kurato_1__t15_kurato_1.vout2025-09-15 18:51 10K 
[ ]kurato_1__t16_kurato_12025-09-09 17:11 28K 
[ ]kurato_1__t16_kurato_1.vout2025-09-15 18:33 4.1K 
[ ]kurato_1__t17_kurato_12025-09-09 16:42 27K 
[ ]kurato_1__t17_kurato_1.vout2025-09-15 19:30 4.1K 
[ ]kurato_1__t18_kurato_12025-09-09 16:43 27K 
[ ]kurato_1__t18_kurato_1.depv12025-09-15 19:47 225  
[ ]kurato_1__t18_kurato_1.depvmin12025-09-15 19:52 225  
[ ]kurato_1__t18_kurato_1.vmin12025-09-15 19:47 1.8K 
[ ]kurato_1__t18_kurato_1.vmin1out2025-09-15 19:49 13K 
[ ]kurato_1__t18_kurato_1.vout2025-09-15 16:19 14K 
[ ]kurato_1__t19_kurato_12025-09-09 16:44 27K 
[ ]kurato_1__t19_kurato_1.depv12025-09-15 19:47 413  
[ ]kurato_1__t19_kurato_1.depvmin12025-09-15 19:52 248  
[ ]kurato_1__t19_kurato_1.vmin12025-09-15 19:47 3.0K 
[ ]kurato_1__t19_kurato_1.vmin1out2025-09-15 19:49 14K 
[ ]kurato_1__t19_kurato_1.vout2025-09-15 16:22 23K 
[ ]kurato_1__t20_kurato_12025-09-09 16:46 25K 
[ ]kurato_1__t20_kurato_1.vout2025-09-15 16:51 10K 
[ ]kurato_1__t21_kurato_12025-09-09 16:47 24K 
[ ]kurato_1__t21_kurato_1.depv12025-09-15 19:47 242  
[ ]kurato_1__t21_kurato_1.depvmin12025-09-15 19:52 177  
[ ]kurato_1__t21_kurato_1.vmin12025-09-15 19:47 2.1K 
[ ]kurato_1__t21_kurato_1.vmin1out2025-09-15 19:49 12K 
[ ]kurato_1__t21_kurato_1.vout2025-09-15 15:43 17K 
[ ]kurato_1__t22_kurato_12025-09-09 16:48 25K 
[ ]kurato_1__t22_kurato_1.vout2025-09-15 18:08 10K 
[ ]kurato_1__t23_kurato_12025-09-09 16:49 24K 
[ ]kurato_1__t23_kurato_1.depv12025-09-15 19:47 77  
[ ]kurato_1__t23_kurato_1.depvmin12025-09-15 19:52 65  
[ ]kurato_1__t23_kurato_1.vmin12025-09-15 19:47 858  
[ ]kurato_1__t23_kurato_1.vmin1out2025-09-15 19:48 3.8K 
[ ]kurato_1__t23_kurato_1.vout2025-09-15 18:45 5.0K 
[ ]kurato_1__t24_kurato_12025-09-09 16:50 28K 
[ ]kurato_1__t24_kurato_1.depv12025-09-15 19:47 423  
[ ]kurato_1__t24_kurato_1.depvmin12025-09-15 19:52 258  
[ ]kurato_1__t24_kurato_1.vmin12025-09-15 19:47 3.1K 
[ ]kurato_1__t24_kurato_1.vmin1out2025-09-15 19:47 16K 
[ ]kurato_1__t24_kurato_1.vout2025-09-15 19:15 25K 
[ ]kurato_1__t25_kurato_12025-09-09 17:12 26K 
[ ]kurato_1__t25_kurato_1.vout2025-09-15 17:49 8.9K 
[ ]kurato_1__t26_kurato_12025-09-09 17:14 29K 
[ ]kurato_1__t26_kurato_1.vout2025-09-15 16:17 8.9K 
[ ]kurato_1__t27_kurato_12025-09-09 17:15 29K 
[ ]kurato_1__t27_kurato_1.vout2025-09-15 17:09 8.9K 
[ ]kurato_1__t28_kurato_12025-09-09 16:51 26K 
[ ]kurato_1__t28_kurato_1.depv12025-09-15 19:47 267  
[ ]kurato_1__t28_kurato_1.depvmin12025-09-15 19:52 267  
[ ]kurato_1__t28_kurato_1.vmin12025-09-15 19:47 1.8K 
[ ]kurato_1__t28_kurato_1.vmin1out2025-09-15 19:51 11K 
[ ]kurato_1__t28_kurato_1.vout2025-09-15 17:09 19K 
[ ]kurato_1__t29_kurato_12025-09-09 17:16 26K 
[ ]kurato_1__t29_kurato_1.depv12025-09-15 19:47 385  
[ ]kurato_1__t29_kurato_1.depvmin12025-09-15 19:52 339  
[ ]kurato_1__t29_kurato_1.vmin12025-09-15 19:47 2.6K 
[ ]kurato_1__t29_kurato_1.vmin1out2025-09-15 19:50 21K 
[ ]kurato_1__t29_kurato_1.vout2025-09-15 18:44 23K 
[ ]kurato_1__t30_kurato_12025-09-09 16:52 26K 
[ ]kurato_1__t30_kurato_1.depv12025-09-15 19:47 315  
[ ]kurato_1__t30_kurato_1.depvmin12025-09-15 19:52 315  
[ ]kurato_1__t30_kurato_1.vmin12025-09-15 19:47 1.9K 
[ ]kurato_1__t30_kurato_1.vmin1out2025-09-15 19:47 12K 
[ ]kurato_1__t30_kurato_1.vout2025-09-15 16:31 20K 
[ ]kurato_1__t31_kurato_12025-09-09 17:17 25K 
[ ]kurato_1__t31_kurato_1.depv12025-09-15 19:47 304  
[ ]kurato_1__t31_kurato_1.depvmin12025-09-15 19:52 277  
[ ]kurato_1__t31_kurato_1.vmin12025-09-15 19:47 1.8K 
[ ]kurato_1__t31_kurato_1.vmin1out2025-09-15 19:50 11K 
[ ]kurato_1__t31_kurato_1.vout2025-09-15 16:18 18K 
[ ]kurato_1__t32_kurato_12025-09-09 17:18 28K 
[ ]kurato_1__t32_kurato_1.vout2025-09-15 16:56 3.2K 
[ ]kurato_1__t33_kurato_12025-09-09 17:19 26K 
[ ]kurato_1__t33_kurato_1.depv12025-09-15 19:47 385  
[ ]kurato_1__t33_kurato_1.depvmin12025-09-15 19:52 339  
[ ]kurato_1__t33_kurato_1.vmin12025-09-15 19:47 2.6K 
[ ]kurato_1__t33_kurato_1.vmin1out2025-09-15 19:49 28K 
[ ]kurato_1__t33_kurato_1.vout2025-09-15 16:18 23K 
[ ]kurato_1__t34_kurato_12025-09-09 17:21 26K 
[ ]kurato_1__t34_kurato_1.depv12025-09-15 19:47 318  
[ ]kurato_1__t34_kurato_1.depvmin12025-09-15 19:52 291  
[ ]kurato_1__t34_kurato_1.vmin12025-09-15 19:47 1.9K 
[ ]kurato_1__t34_kurato_1.vmin1out2025-09-15 19:49 11K 
[ ]kurato_1__t34_kurato_1.vout2025-09-15 17:47 20K 
[ ]kurato_1__t35_kurato_12025-09-09 16:53 22K 
[ ]kurato_1__t35_kurato_1.depv12025-09-15 19:47 300  
[ ]kurato_1__t35_kurato_1.depvmin12025-09-15 19:52 300  
[ ]kurato_1__t35_kurato_1.vmin12025-09-15 19:47 2.4K 
[ ]kurato_1__t35_kurato_1.vmin1out2025-09-15 19:49 19K 
[ ]kurato_1__t35_kurato_1.vout2025-09-15 15:00 24K 
[ ]kurato_1__t36_kurato_12025-09-09 17:22 27K 
[ ]kurato_1__t36_kurato_1.vout2025-09-15 19:30 3.2K 
[ ]kurato_1__t37_kurato_12025-09-09 17:23 26K 
[ ]kurato_1__t37_kurato_1.vout2025-09-15 16:56 4.1K 
[ ]kurato_1__t38_kurato_12025-09-09 17:24 26K 
[ ]kurato_1__t38_kurato_1.vout2025-09-15 14:56 4.2K 
[ ]kurato_1__t39_kurato_12025-09-09 17:25 28K 
[ ]kurato_1__t39_kurato_1.vout2025-09-15 14:28 4.2K 
[ ]kurato_1__t40_kurato_12025-09-09 17:26 25K 
[ ]kurato_1__t40_kurato_1.vout2025-09-15 19:16 4.2K 
[ ]kurato_1__t41_kurato_12025-09-09 17:28 27K 
[ ]kurato_1__t41_kurato_1.vout2025-09-15 13:43 4.2K 
[ ]kurato_1__t42_kurato_12025-09-09 16:54 26K 
[ ]kurato_1__t42_kurato_1.depv12025-09-15 19:47 267  
[ ]kurato_1__t42_kurato_1.depvmin12025-09-15 19:52 267  
[ ]kurato_1__t42_kurato_1.vmin12025-09-15 19:47 1.8K 
[ ]kurato_1__t42_kurato_1.vmin1out2025-09-15 19:49 11K 
[ ]kurato_1__t42_kurato_1.vout2025-09-15 16:37 19K 
[ ]kurato_1__t43_kurato_12025-09-09 17:29 27K 
[ ]kurato_1__t43_kurato_1.depv12025-09-15 19:47 387  
[ ]kurato_1__t43_kurato_1.depvmin12025-09-15 19:52 387  
[ ]kurato_1__t43_kurato_1.vmin12025-09-15 19:47 2.8K 
[ ]kurato_1__t43_kurato_1.vmin1out2025-09-15 19:50 19K 
[ ]kurato_1__t43_kurato_1.vout2025-09-15 15:04 23K 
[ ]kurato_1__t44_kurato_12025-09-09 17:30 28K 
[ ]kurato_1__t44_kurato_1.vout2025-09-15 19:46 3.2K 
[ ]kurato_1__t45_kurato_12025-09-09 17:31 26K 
[ ]kurato_1__t45_kurato_1.depv12025-09-15 19:47 318  
[ ]kurato_1__t45_kurato_1.depvmin12025-09-15 19:52 291  
[ ]kurato_1__t45_kurato_1.vmin12025-09-15 19:47 1.9K 
[ ]kurato_1__t45_kurato_1.vmin1out2025-09-15 19:50 11K 
[ ]kurato_1__t45_kurato_1.vout2025-09-15 18:05 20K 
[ ]kurato_1__t46_kurato_12025-09-09 16:56 23K 
[ ]kurato_1__t46_kurato_1.depv12025-09-15 19:47 64  
[ ]kurato_1__t46_kurato_1.depvmin12025-09-15 19:52 64  
[ ]kurato_1__t46_kurato_1.vmin12025-09-15 19:47 813  
[ ]kurato_1__t46_kurato_1.vmin1out2025-09-15 19:50 5.4K 
[ ]kurato_1__t46_kurato_1.vout2025-09-15 18:58 3.8K 
[ ]kurato_1__t47_kurato_12025-09-09 16:57 23K 
[ ]kurato_1__t47_kurato_1.depv12025-09-15 19:47 64  
[ ]kurato_1__t47_kurato_1.depvmin12025-09-15 19:52 64  
[ ]kurato_1__t47_kurato_1.vmin12025-09-15 19:47 825  
[ ]kurato_1__t47_kurato_1.vmin1out2025-09-15 19:51 5.5K 
[ ]kurato_1__t47_kurato_1.vout2025-09-15 14:19 3.8K 
[ ]kurato_1__t48_kurato_12025-09-09 17:32 26K 
[ ]kurato_1__t48_kurato_1.depv12025-09-15 19:47 533  
[ ]kurato_1__t48_kurato_1.depvmin12025-09-15 19:52 475  
[ ]kurato_1__t48_kurato_1.vmin12025-09-15 19:47 4.4K 
[ ]kurato_1__t48_kurato_1.vmin1out2025-09-15 19:50 42K 
[ ]kurato_1__t48_kurato_1.vout2025-09-15 17:32 50K 
[ ]kurato_1__t49_kurato_12025-09-09 17:33 24K 
[ ]kurato_1__t49_kurato_1.depv12025-09-15 19:47 373  
[ ]kurato_1__t49_kurato_1.depvmin12025-09-15 19:52 335  
[ ]kurato_1__t49_kurato_1.vmin12025-09-15 19:47 2.8K 
[ ]kurato_1__t49_kurato_1.vmin1out2025-09-15 19:48 26K 
[ ]kurato_1__t49_kurato_1.vout2025-09-15 15:27 27K 
[ ]kurato_1__t50_kurato_12025-09-09 17:34 28K 
[ ]kurato_1__t50_kurato_1.vout2025-09-15 19:01 4.7K 
[ ]kurato_1__t51_kurato_12025-09-09 17:36 26K 
[ ]kurato_1__t51_kurato_1.vout2025-09-15 18:26 4.1K 
[ ]kurato_1__t52_kurato_12025-09-09 16:58 26K 
[ ]kurato_1__t52_kurato_1.depv12025-09-15 19:47 64  
[ ]kurato_1__t52_kurato_1.depvmin12025-09-15 19:52 64  
[ ]kurato_1__t52_kurato_1.vmin12025-09-15 19:47 1.5K 
[ ]kurato_1__t52_kurato_1.vmin1out2025-09-15 19:49 6.9K 
[ ]kurato_1__t52_kurato_1.vout2025-09-15 19:31 5.6K 
[ ]kurato_1__t53_kurato_12025-09-09 17:37 24K 
[ ]kurato_1__t53_kurato_1.vout2025-09-15 17:32 4.1K 
[ ]kurato_1__t54_kurato_12025-09-09 16:59 24K 
[ ]kurato_1__t54_kurato_1.depv12025-09-15 19:47 202  
[ ]kurato_1__t54_kurato_1.depvmin12025-09-15 19:52 190  
[ ]kurato_1__t54_kurato_1.vmin12025-09-15 19:47 3.0K 
[ ]kurato_1__t54_kurato_1.vmin1out2025-09-15 19:49 58K 
[ ]kurato_1__t54_kurato_1.vout2025-09-15 15:36 51K 
[ ]kurato_1__t55_kurato_12025-09-09 17:38 25K 
[ ]kurato_1__t55_kurato_1.vout2025-09-15 16:35 4.2K 
[ ]kurato_1__t56_kurato_12025-09-09 17:39 9.4K 
[ ]kurato_1__t56_kurato_1.depv12025-09-15 19:47 58  
[ ]kurato_1__t56_kurato_1.depvmin12025-09-15 19:52 58  
[ ]kurato_1__t56_kurato_1.vmin12025-09-15 19:47 424  
[ ]kurato_1__t56_kurato_1.vmin1out2025-09-15 19:51 4.3K 
[ ]kurato_1__t56_kurato_1.vout2025-09-15 16:38 7.6K 
[ ]kurato_1__t57_kurato_12025-09-09 17:40 17K 
[ ]kurato_1__t57_kurato_1.vout2025-09-15 15:08 3.2K 
[ ]kurato_1__t58_kurato_12025-09-09 17:00 27K 
[ ]kurato_1__t58_kurato_1.depv12025-09-15 19:47 199  
[ ]kurato_1__t58_kurato_1.depvmin12025-09-15 19:52 199  
[ ]kurato_1__t58_kurato_1.vmin12025-09-15 19:47 1.9K 
[ ]kurato_1__t58_kurato_1.vmin1out2025-09-15 19:50 14K 
[ ]kurato_1__t58_kurato_1.vout2025-09-15 18:32 12K 
[ ]kurato_1__t59_kurato_12025-09-09 17:41 35K 
[ ]kurato_1__t59_kurato_1.vout2025-09-15 14:41 4.2K 
[ ]kurato_1__t60_kurato_12025-09-09 17:42 36K 
[ ]kurato_1__t60_kurato_1.vout2025-09-15 15:52 8.9K 
[ ]kurato_1__t61_kurato_12025-09-09 17:43 27K 
[ ]kurato_1__t61_kurato_1.depv12025-09-15 19:47 259  
[ ]kurato_1__t61_kurato_1.depvmin12025-09-15 19:52 199  
[ ]kurato_1__t61_kurato_1.vmin12025-09-15 19:47 3.1K 
[ ]kurato_1__t61_kurato_1.vmin1out2025-09-15 19:48 22K 
[ ]kurato_1__t61_kurato_1.vout2025-09-15 19:14 30K 
[ ]kurato_1__t62_kurato_12025-09-09 17:01 23K 
[ ]kurato_1__t62_kurato_1.depv12025-09-15 19:47 93  
[ ]kurato_1__t62_kurato_1.depvmin12025-09-15 19:52 93  
[ ]kurato_1__t62_kurato_1.vmin12025-09-15 19:47 657  
[ ]kurato_1__t62_kurato_1.vmin1out2025-09-15 19:50 4.5K 
[ ]kurato_1__t62_kurato_1.vout2025-09-15 14:05 5.0K 
[ ]kurato_1__t63_kurato_12025-09-09 17:45 28K 
[ ]kurato_1__t63_kurato_1.depv12025-09-15 19:47 259  
[ ]kurato_1__t63_kurato_1.depvmin12025-09-15 19:52 199  
[ ]kurato_1__t63_kurato_1.vmin12025-09-15 19:47 3.3K 
[ ]kurato_1__t63_kurato_1.vmin1out2025-09-15 19:49 22K 
[ ]kurato_1__t63_kurato_1.vout2025-09-15 15:58 31K 
[ ]kurato_1__t64_kurato_12025-09-09 17:46 39K 
[ ]kurato_1__t64_kurato_1.vout2025-09-15 17:04 5.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80