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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]algspec1__t1_algspec12024-07-27 11:16 13K 
[ ]algspec1__t1_algspec1.vout2024-08-03 09:58 7.3K 
[ ]algspec1__t2_algspec12024-07-27 11:16 13K 
[ ]algspec1__t2_algspec1.vout2024-08-03 04:46 7.3K 
[ ]algspec1__t3_algspec12024-07-27 11:17 15K 
[ ]algspec1__t3_algspec1.vout2024-08-03 08:44 7.3K 
[ ]algspec1__t4_algspec12024-07-27 11:18 10K 
[ ]algspec1__t4_algspec1.vout2024-08-03 05:37 7.3K 
[ ]algspec1__t5_algspec12024-07-27 11:19 26K 
[ ]algspec1__t5_algspec1.vout2024-08-03 04:14 6.8K 
[ ]algspec1__t6_algspec12024-07-27 11:20 26K 
[ ]algspec1__t6_algspec1.vout2024-08-03 08:41 6.8K 
[ ]algspec1__t7_algspec12024-07-27 11:20 11K 
[ ]algspec1__t7_algspec1.vout2024-08-03 09:46 2.0K 
[ ]algspec1__t8_algspec12024-07-27 11:21 23K 
[ ]algspec1__t8_algspec1.vout2024-08-03 05:05 2.0K 
[ ]algspec1__t9_algspec12024-07-27 11:22 23K 
[ ]algspec1__t9_algspec1.vout2024-08-03 06:06 2.0K 
[ ]algspec1__t10_algspec12024-07-27 11:23 22K 
[ ]algspec1__t10_algspec1.depv12024-08-03 10:19 134  
[ ]algspec1__t10_algspec1.depvmin12024-08-03 10:24 120  
[ ]algspec1__t10_algspec1.vmin12024-08-03 10:20 962  
[ ]algspec1__t10_algspec1.vmin1out2024-08-03 10:21 8.0K 
[ ]algspec1__t10_algspec1.vout2024-08-03 07:38 8.1K 
[ ]algspec1__t11_algspec12024-07-27 11:23 24K 
[ ]algspec1__t11_algspec1.vout2024-08-03 07:53 4.7K 
[ ]algspec1__t12_algspec12024-07-27 11:24 10K 
[ ]algspec1__t12_algspec1.vout2024-08-03 09:09 4.7K 
[ ]algspec1__t13_algspec12024-07-27 11:25 21K 
[ ]algspec1__t13_algspec1.depv12024-08-03 10:19 186  
[ ]algspec1__t13_algspec1.depvmin12024-08-03 10:24 160  
[ ]algspec1__t13_algspec1.vmin12024-08-03 10:20 1.7K 
[ ]algspec1__t13_algspec1.vmin1out2024-08-03 10:20 18K 
[ ]algspec1__t13_algspec1.vout2024-08-03 08:14 23K 
[ ]algspec1__t14_algspec12024-07-27 11:12 20K 
[ ]algspec1__t14_algspec1.depv12024-08-03 10:19 173  
[ ]algspec1__t14_algspec1.depvmin12024-08-03 10:24 173  
[ ]algspec1__t14_algspec1.vmin12024-08-03 10:20 1.7K 
[ ]algspec1__t14_algspec1.vmin1out2024-08-03 10:23 14K 
[ ]algspec1__t14_algspec1.vout2024-08-03 08:30 13K 
[ ]algspec1__t15_algspec12024-07-27 11:25 21K 
[ ]algspec1__t15_algspec1.depv12024-08-03 10:19 88  
[ ]algspec1__t15_algspec1.depvmin12024-08-03 10:24 88  
[ ]algspec1__t15_algspec1.vmin12024-08-03 10:20 927  
[ ]algspec1__t15_algspec1.vmin1out2024-08-03 10:21 12K 
[ ]algspec1__t15_algspec1.vout2024-08-03 04:41 11K 
[ ]algspec1__t16_algspec12024-07-27 11:13 20K 
[ ]algspec1__t16_algspec1.depv12024-08-03 10:19 62  
[ ]algspec1__t16_algspec1.depvmin12024-08-03 10:24 62  
[ ]algspec1__t16_algspec1.vmin12024-08-03 10:20 652  
[ ]algspec1__t16_algspec1.vmin1out2024-08-03 10:23 5.3K 
[ ]algspec1__t16_algspec1.vout2024-08-03 07:09 5.9K 
[ ]algspec1__t17_algspec12024-07-27 11:26 21K 
[ ]algspec1__t17_algspec1.vout2024-08-03 04:43 7.3K 
[ ]algspec1__t18_algspec12024-07-27 11:27 26K 
[ ]algspec1__t18_algspec1.vout2024-08-03 09:56 7.3K 
[ ]algspec1__t19_algspec12024-07-27 11:28 21K 
[ ]algspec1__t19_algspec1.vout2024-08-03 05:53 7.3K 
[ ]algspec1__t20_algspec12024-07-27 11:28 9.3K 
[ ]algspec1__t20_algspec1.vout2024-08-03 04:17 6.3K 
[ ]algspec1__t21_algspec12024-07-27 11:29 28K 
[ ]algspec1__t21_algspec1.vout2024-08-03 06:08 7.3K 
[ ]algspec1__t22_algspec12024-07-27 11:30 32K 
[ ]algspec1__t22_algspec1.vout2024-08-03 05:32 7.3K 
[ ]algspec1__t23_algspec12024-07-27 11:31 19K 
[ ]algspec1__t23_algspec1.depv12024-08-03 10:19 89  
[ ]algspec1__t23_algspec1.depvmin12024-08-03 10:24 89  
[ ]algspec1__t23_algspec1.vmin12024-08-03 10:20 933  
[ ]algspec1__t23_algspec1.vmin1out2024-08-03 10:20 10K 
[ ]algspec1__t23_algspec1.vout2024-08-03 07:09 15K 
[ ]algspec1__t24_algspec12024-07-27 11:31 20K 
[ ]algspec1__t24_algspec1.depv12024-08-03 10:19 156  
[ ]algspec1__t24_algspec1.depvmin12024-08-03 10:24 156  
[ ]algspec1__t24_algspec1.vmin12024-08-03 10:20 1.7K 
[ ]algspec1__t24_algspec1.vmin1out2024-08-03 10:22 28K 
[ ]algspec1__t24_algspec1.vout2024-08-03 07:17 29K 
[ ]algspec1__t25_algspec12024-07-27 11:32 20K 
[ ]algspec1__t25_algspec1.depv12024-08-03 10:19 86  
[ ]algspec1__t25_algspec1.depvmin12024-08-03 10:24 86  
[ ]algspec1__t25_algspec1.vmin12024-08-03 10:20 1.3K 
[ ]algspec1__t25_algspec1.vmin1out2024-08-03 10:21 18K 
[ ]algspec1__t25_algspec1.vout2024-08-03 05:12 18K 
[ ]algspec1__t26_algspec12024-07-27 11:33 21K 
[ ]algspec1__t26_algspec1.vout2024-08-03 04:57 7.3K 
[ ]algspec1__t27_algspec12024-07-27 11:34 26K 
[ ]algspec1__t27_algspec1.vout2024-08-03 07:53 7.3K 
[ ]algspec1__t28_algspec12024-07-27 11:34 11K 
[ ]algspec1__t28_algspec1.depv12024-08-03 10:19 173  
[ ]algspec1__t28_algspec1.depvmin12024-08-03 10:24 173  
[ ]algspec1__t28_algspec1.vmin12024-08-03 10:20 2.0K 
[ ]algspec1__t28_algspec1.vmin1out2024-08-03 10:22 20K 
[ ]algspec1__t28_algspec1.vout2024-08-03 05:52 21K 
[ ]algspec1__t29_algspec12024-07-27 11:36 35K 
[ ]algspec1__t29_algspec1.vout2024-08-03 07:11 6.8K 
[ ]algspec1__t30_algspec12024-07-27 11:37 35K 
[ ]algspec1__t30_algspec1.vout2024-08-03 06:46 4.7K 
[ ]algspec1__t31_algspec12024-07-27 11:38 36K 
[ ]algspec1__t31_algspec1.vout2024-08-03 04:56 6.8K 
[ ]algspec1__t32_algspec12024-07-27 11:14 31K 
[ ]algspec1__t32_algspec1.vout2024-08-03 08:07 2.0K 
[ ]algspec1__t33_algspec12024-07-27 11:39 35K 
[ ]algspec1__t33_algspec1.vout2024-08-03 04:58 7.3K 
[ ]algspec1__t34_algspec12024-07-27 11:41 35K 
[ ]algspec1__t34_algspec1.depv12024-08-03 10:19 119  
[ ]algspec1__t34_algspec1.depvmin12024-08-03 10:24 119  
[ ]algspec1__t34_algspec1.vmin12024-08-03 10:20 1.2K 
[ ]algspec1__t34_algspec1.vmin1out2024-08-03 10:21 17K 
[ ]algspec1__t34_algspec1.vout2024-08-03 07:38 11K 
[ ]algspec1__t35_algspec12024-07-27 11:42 30K 
[ ]algspec1__t35_algspec1.vout2024-08-03 09:19 6.8K 
[ ]algspec1__t36_algspec12024-07-27 11:43 40K 
[ ]algspec1__t36_algspec1.depv12024-08-03 10:19 80  
[ ]algspec1__t36_algspec1.depvmin12024-08-03 10:24 80  
[ ]algspec1__t36_algspec1.vmin12024-08-03 10:20 2.3K 
[ ]algspec1__t36_algspec1.vmin1out2024-08-03 10:21 36K 
[ ]algspec1__t36_algspec1.vout2024-08-03 04:45 32K 
[ ]algspec1__t37_algspec12024-07-27 11:45 44K 
[ ]algspec1__t37_algspec1.vout2024-08-03 04:22 4.7K 
[ ]algspec1__t38_algspec12024-07-27 11:46 42K 
[ ]algspec1__t38_algspec1.vout2024-08-03 06:16 4.8K 
[ ]algspec1__t39_algspec12024-07-27 11:47 44K 
[ ]algspec1__t39_algspec1.vout2024-08-03 10:06 6.8K 
[ ]algspec1__t40_algspec12024-07-27 11:15 40K 
[ ]algspec1__t40_algspec1.depv12024-08-03 10:19 150  
[ ]algspec1__t40_algspec1.depvmin12024-08-03 10:24 107  
[ ]algspec1__t40_algspec1.vmin12024-08-03 10:20 2.7K 
[ ]algspec1__t40_algspec1.vmin1out2024-08-03 10:20 45K 
[ ]algspec1__t40_algspec1.vout2024-08-03 04:33 28K 
[ ]algspec1__t41_algspec12024-07-27 11:49 39K 
[ ]algspec1__t41_algspec1.depv12024-08-03 10:19 50  
[ ]algspec1__t41_algspec1.depvmin12024-08-03 10:24 50  
[ ]algspec1__t41_algspec1.vmin12024-08-03 10:20 1.1K 
[ ]algspec1__t41_algspec1.vmin1out2024-08-03 10:23 13K 
[ ]algspec1__t41_algspec1.vout2024-08-03 05:02 12K 
[ ]algspec1__t42_algspec12024-07-27 11:50 38K 
[ ]algspec1__t42_algspec1.vout2024-08-03 04:53 6.8K 
[ ]algspec1__t43_algspec12024-07-27 11:51 41K 
[ ]algspec1__t43_algspec1.vout2024-08-03 04:17 4.7K 
[ ]algspec1__t44_algspec12024-07-27 11:53 41K 
[ ]algspec1__t44_algspec1.vout2024-08-03 06:18 4.7K 
[ ]algspec1__t45_algspec12024-07-27 11:53 1.4K 
[ ]algspec1__t45_algspec1.depv12024-08-03 10:19 66  
[ ]algspec1__t45_algspec1.depvmin12024-08-03 10:24 66  
[ ]algspec1__t45_algspec1.vmin12024-08-03 10:20 655  
[ ]algspec1__t45_algspec1.vmin1out2024-08-03 10:23 5.6K 
[ ]algspec1__t45_algspec1.vout2024-08-03 04:47 5.5K 
[ ]algspec1__t46_algspec12024-07-27 11:53 1.6K 
[ ]algspec1__t46_algspec1.depv12024-08-03 10:19 81  
[ ]algspec1__t46_algspec1.depvmin12024-08-03 10:24 81  
[ ]algspec1__t46_algspec1.vmin12024-08-03 10:20 960  
[ ]algspec1__t46_algspec1.vmin1out2024-08-03 10:20 11K 
[ ]algspec1__t46_algspec1.vout2024-08-03 08:01 12K 
[ ]algspec1__t47_algspec12024-07-27 11:55 43K 
[ ]algspec1__t47_algspec1.vout2024-08-03 05:36 7.3K 
[ ]algspec1__t48_algspec12024-07-27 11:56 41K 
[ ]algspec1__t48_algspec1.vout2024-08-03 08:38 7.3K 
[ ]algspec1__t49_algspec12024-07-27 11:57 39K 
[ ]algspec1__t49_algspec1.vout2024-08-03 04:22 6.8K 
[ ]algspec1__t50_algspec12024-07-27 11:59 38K 
[ ]algspec1__t50_algspec1.vout2024-08-03 09:24 7.3K 
[ ]algspec1__t51_algspec12024-07-27 12:00 20K 
[ ]algspec1__t51_algspec1.depv12024-08-03 10:19 209  
[ ]algspec1__t51_algspec1.depvmin12024-08-03 10:24 196  
[ ]algspec1__t51_algspec1.vmin12024-08-03 10:20 2.1K 
[ ]algspec1__t51_algspec1.vmin1out2024-08-03 10:20 18K 
[ ]algspec1__t51_algspec1.vout2024-08-03 07:04 23K 
[ ]algspec1__t52_algspec12024-07-27 12:01 42K 
[ ]algspec1__t52_algspec1.vout2024-08-03 04:16 7.3K 
[ ]algspec1__t53_algspec12024-07-27 12:02 45K 
[ ]algspec1__t53_algspec1.vout2024-08-03 07:16 7.3K 
[ ]algspec1__t54_algspec12024-07-27 12:04 56K 
[ ]algspec1__t54_algspec1.vout2024-08-03 04:32 7.3K 
[ ]algspec1__t55_algspec12024-07-27 12:05 11K 
[ ]algspec1__t55_algspec1.depv12024-08-03 10:19 50  
[ ]algspec1__t55_algspec1.depvmin12024-08-03 10:24 50  
[ ]algspec1__t55_algspec1.vmin12024-08-03 10:20 726  
[ ]algspec1__t55_algspec1.vmin1out2024-08-03 10:23 8.6K 
[ ]algspec1__t55_algspec1.vout2024-08-03 09:21 9.4K 
[ ]algspec1__t56_algspec12024-07-27 12:06 11K 
[ ]algspec1__t56_algspec1.depv12024-08-03 10:19 68  
[ ]algspec1__t56_algspec1.depvmin12024-08-03 10:24 68  
[ ]algspec1__t56_algspec1.vmin12024-08-03 10:20 893  
[ ]algspec1__t56_algspec1.vmin1out2024-08-03 10:20 13K 
[ ]algspec1__t56_algspec1.vout2024-08-03 09:02 13K 
[ ]algspec1__t57_algspec12024-07-27 12:07 27K 
[ ]algspec1__t57_algspec1.vout2024-08-03 09:02 7.3K 
[ ]algspec1__t58_algspec12024-07-27 12:08 35K 
[ ]algspec1__t58_algspec1.vout2024-08-03 08:43 7.3K 
[ ]algspec1__t59_algspec12024-07-27 12:10 41K 
[ ]algspec1__t59_algspec1.vout2024-08-03 06:07 7.4K 
[ ]algspec1__t60_algspec12024-07-27 12:11 24K 
[ ]algspec1__t60_algspec1.vout2024-08-03 07:43 2.0K 
[ ]algspec1__t61_algspec12024-07-27 12:12 17K 
[ ]algspec1__t61_algspec1.depv12024-08-03 10:19 255  
[ ]algspec1__t61_algspec1.depvmin12024-08-03 10:24 188  
[ ]algspec1__t61_algspec1.vmin12024-08-03 10:20 2.6K 
[ ]algspec1__t61_algspec1.vmin1out2024-08-03 10:23 34K 
[ ]algspec1__t61_algspec1.vout2024-08-03 07:04 38K 
[ ]algspec1__t62_algspec12024-07-27 12:13 41K 
[ ]algspec1__t62_algspec1.vout2024-08-03 05:55 7.3K 
[ ]algspec1__t63_algspec12024-07-27 12:15 25K 
[ ]algspec1__t63_algspec1.vout2024-08-03 07:45 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80