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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]algspec1__t1_algspec12025-09-10 02:18 13K 
[ ]algspec1__t1_algspec1.vout2025-09-15 17:39 7.3K 
[ ]algspec1__t2_algspec12025-09-10 02:18 13K 
[ ]algspec1__t2_algspec1.vout2025-09-15 14:47 7.3K 
[ ]algspec1__t3_algspec12025-09-10 02:19 15K 
[ ]algspec1__t3_algspec1.vout2025-09-15 17:37 7.3K 
[ ]algspec1__t4_algspec12025-09-10 02:20 10K 
[ ]algspec1__t4_algspec1.vout2025-09-15 13:59 7.3K 
[ ]algspec1__t5_algspec12025-09-10 02:21 26K 
[ ]algspec1__t5_algspec1.vout2025-09-15 14:17 6.8K 
[ ]algspec1__t6_algspec12025-09-10 02:22 26K 
[ ]algspec1__t6_algspec1.vout2025-09-15 16:15 6.8K 
[ ]algspec1__t7_algspec12025-09-10 02:22 11K 
[ ]algspec1__t7_algspec1.vout2025-09-15 13:32 2.0K 
[ ]algspec1__t8_algspec12025-09-10 02:23 23K 
[ ]algspec1__t8_algspec1.vout2025-09-15 16:44 2.0K 
[ ]algspec1__t9_algspec12025-09-10 02:24 23K 
[ ]algspec1__t9_algspec1.vout2025-09-15 19:13 2.1K 
[ ]algspec1__t10_algspec12025-09-10 02:24 22K 
[ ]algspec1__t10_algspec1.depv12025-09-15 19:47 134  
[ ]algspec1__t10_algspec1.depvmin12025-09-15 19:52 120  
[ ]algspec1__t10_algspec1.vmin12025-09-15 19:47 962  
[ ]algspec1__t10_algspec1.vmin1out2025-09-15 19:50 8.0K 
[ ]algspec1__t10_algspec1.vout2025-09-15 17:08 8.1K 
[ ]algspec1__t11_algspec12025-09-10 02:25 24K 
[ ]algspec1__t11_algspec1.vout2025-09-15 17:43 4.7K 
[ ]algspec1__t12_algspec12025-09-10 02:26 10K 
[ ]algspec1__t12_algspec1.vout2025-09-15 16:14 4.7K 
[ ]algspec1__t13_algspec12025-09-10 02:26 21K 
[ ]algspec1__t13_algspec1.depv12025-09-15 19:47 186  
[ ]algspec1__t13_algspec1.depvmin12025-09-15 19:52 160  
[ ]algspec1__t13_algspec1.vmin12025-09-15 19:47 1.7K 
[ ]algspec1__t13_algspec1.vmin1out2025-09-15 19:50 18K 
[ ]algspec1__t13_algspec1.vout2025-09-15 17:10 23K 
[ ]algspec1__t14_algspec12025-09-10 02:14 20K 
[ ]algspec1__t14_algspec1.depv12025-09-15 19:47 173  
[ ]algspec1__t14_algspec1.depvmin12025-09-15 19:52 173  
[ ]algspec1__t14_algspec1.vmin12025-09-15 19:47 1.7K 
[ ]algspec1__t14_algspec1.vmin1out2025-09-15 19:49 14K 
[ ]algspec1__t14_algspec1.vout2025-09-15 19:35 13K 
[ ]algspec1__t15_algspec12025-09-10 02:27 22K 
[ ]algspec1__t15_algspec1.depv12025-09-15 19:47 88  
[ ]algspec1__t15_algspec1.depvmin12025-09-15 19:52 88  
[ ]algspec1__t15_algspec1.vmin12025-09-15 19:47 927  
[ ]algspec1__t15_algspec1.vmin1out2025-09-15 19:49 12K 
[ ]algspec1__t15_algspec1.vout2025-09-15 18:24 11K 
[ ]algspec1__t16_algspec12025-09-10 02:15 20K 
[ ]algspec1__t16_algspec1.depv12025-09-15 19:47 62  
[ ]algspec1__t16_algspec1.depvmin12025-09-15 19:52 62  
[ ]algspec1__t16_algspec1.vmin12025-09-15 19:47 652  
[ ]algspec1__t16_algspec1.vmin1out2025-09-15 19:47 5.3K 
[ ]algspec1__t16_algspec1.vout2025-09-15 15:07 5.9K 
[ ]algspec1__t17_algspec12025-09-10 02:28 21K 
[ ]algspec1__t17_algspec1.vout2025-09-15 15:27 7.3K 
[ ]algspec1__t18_algspec12025-09-10 02:29 26K 
[ ]algspec1__t18_algspec1.vout2025-09-15 18:21 7.3K 
[ ]algspec1__t19_algspec12025-09-10 02:29 21K 
[ ]algspec1__t19_algspec1.vout2025-09-15 16:14 7.3K 
[ ]algspec1__t20_algspec12025-09-10 02:30 9.3K 
[ ]algspec1__t20_algspec1.vout2025-09-15 15:25 6.2K 
[ ]algspec1__t21_algspec12025-09-10 02:31 28K 
[ ]algspec1__t21_algspec1.vout2025-09-15 14:30 7.3K 
[ ]algspec1__t22_algspec12025-09-10 02:32 32K 
[ ]algspec1__t22_algspec1.vout2025-09-15 13:41 7.3K 
[ ]algspec1__t23_algspec12025-09-10 02:32 19K 
[ ]algspec1__t23_algspec1.depv12025-09-15 19:47 89  
[ ]algspec1__t23_algspec1.depvmin12025-09-15 19:52 89  
[ ]algspec1__t23_algspec1.vmin12025-09-15 19:47 933  
[ ]algspec1__t23_algspec1.vmin1out2025-09-15 19:48 10K 
[ ]algspec1__t23_algspec1.vout2025-09-15 13:48 15K 
[ ]algspec1__t24_algspec12025-09-10 02:33 20K 
[ ]algspec1__t24_algspec1.depv12025-09-15 19:47 156  
[ ]algspec1__t24_algspec1.depvmin12025-09-15 19:52 156  
[ ]algspec1__t24_algspec1.vmin12025-09-15 19:47 1.7K 
[ ]algspec1__t24_algspec1.vmin1out2025-09-15 19:48 28K 
[ ]algspec1__t24_algspec1.vout2025-09-15 18:40 29K 
[ ]algspec1__t25_algspec12025-09-10 02:34 20K 
[ ]algspec1__t25_algspec1.depv12025-09-15 19:47 86  
[ ]algspec1__t25_algspec1.depvmin12025-09-15 19:52 86  
[ ]algspec1__t25_algspec1.vmin12025-09-15 19:47 1.3K 
[ ]algspec1__t25_algspec1.vmin1out2025-09-15 19:48 18K 
[ ]algspec1__t25_algspec1.vout2025-09-15 17:25 18K 
[ ]algspec1__t26_algspec12025-09-10 02:35 21K 
[ ]algspec1__t26_algspec1.vout2025-09-15 19:42 7.3K 
[ ]algspec1__t27_algspec12025-09-10 02:35 26K 
[ ]algspec1__t27_algspec1.vout2025-09-15 14:53 7.3K 
[ ]algspec1__t28_algspec12025-09-10 02:36 11K 
[ ]algspec1__t28_algspec1.depv12025-09-15 19:47 173  
[ ]algspec1__t28_algspec1.depvmin12025-09-15 19:52 173  
[ ]algspec1__t28_algspec1.vmin12025-09-15 19:47 2.0K 
[ ]algspec1__t28_algspec1.vmin1out2025-09-15 19:50 20K 
[ ]algspec1__t28_algspec1.vout2025-09-15 13:45 21K 
[ ]algspec1__t29_algspec12025-09-10 02:37 36K 
[ ]algspec1__t29_algspec1.vout2025-09-15 16:42 7.3K 
[ ]algspec1__t30_algspec12025-09-10 02:38 35K 
[ ]algspec1__t30_algspec1.vout2025-09-15 16:29 4.7K 
[ ]algspec1__t31_algspec12025-09-10 02:40 36K 
[ ]algspec1__t31_algspec1.vout2025-09-15 18:09 6.8K 
[ ]algspec1__t32_algspec12025-09-10 02:16 31K 
[ ]algspec1__t32_algspec1.vout2025-09-15 18:26 2.0K 
[ ]algspec1__t33_algspec12025-09-10 02:41 35K 
[ ]algspec1__t33_algspec1.vout2025-09-15 18:39 7.3K 
[ ]algspec1__t34_algspec12025-09-10 02:42 35K 
[ ]algspec1__t34_algspec1.depv12025-09-15 19:47 119  
[ ]algspec1__t34_algspec1.depvmin12025-09-15 19:52 119  
[ ]algspec1__t34_algspec1.vmin12025-09-15 19:47 1.2K 
[ ]algspec1__t34_algspec1.vmin1out2025-09-15 19:51 17K 
[ ]algspec1__t34_algspec1.vout2025-09-15 14:20 11K 
[ ]algspec1__t35_algspec12025-09-10 02:43 30K 
[ ]algspec1__t35_algspec1.vout2025-09-15 15:26 6.8K 
[ ]algspec1__t36_algspec12025-09-10 02:45 40K 
[ ]algspec1__t36_algspec1.depv12025-09-15 19:47 80  
[ ]algspec1__t36_algspec1.depvmin12025-09-15 19:52 80  
[ ]algspec1__t36_algspec1.vmin12025-09-15 19:47 2.3K 
[ ]algspec1__t36_algspec1.vmin1out2025-09-15 19:47 36K 
[ ]algspec1__t36_algspec1.vout2025-09-15 18:20 32K 
[ ]algspec1__t37_algspec12025-09-10 02:46 44K 
[ ]algspec1__t37_algspec1.vout2025-09-15 19:33 4.7K 
[ ]algspec1__t38_algspec12025-09-10 02:47 42K 
[ ]algspec1__t38_algspec1.vout2025-09-15 19:05 4.7K 
[ ]algspec1__t39_algspec12025-09-10 02:49 44K 
[ ]algspec1__t39_algspec1.vout2025-09-15 15:13 6.8K 
[ ]algspec1__t40_algspec12025-09-10 02:17 40K 
[ ]algspec1__t40_algspec1.depv12025-09-15 19:47 150  
[ ]algspec1__t40_algspec1.depvmin12025-09-15 19:52 107  
[ ]algspec1__t40_algspec1.vmin12025-09-15 19:47 2.7K 
[ ]algspec1__t40_algspec1.vmin1out2025-09-15 19:48 45K 
[ ]algspec1__t40_algspec1.vout2025-09-15 17:11 28K 
[ ]algspec1__t41_algspec12025-09-10 02:50 40K 
[ ]algspec1__t41_algspec1.depv12025-09-15 19:47 50  
[ ]algspec1__t41_algspec1.depvmin12025-09-15 19:52 50  
[ ]algspec1__t41_algspec1.vmin12025-09-15 19:47 1.1K 
[ ]algspec1__t41_algspec1.vmin1out2025-09-15 19:48 13K 
[ ]algspec1__t41_algspec1.vout2025-09-15 15:27 12K 
[ ]algspec1__t42_algspec12025-09-10 02:51 38K 
[ ]algspec1__t42_algspec1.vout2025-09-15 14:06 6.8K 
[ ]algspec1__t43_algspec12025-09-10 02:53 42K 
[ ]algspec1__t43_algspec1.vout2025-09-15 18:04 4.7K 
[ ]algspec1__t44_algspec12025-09-10 02:54 42K 
[ ]algspec1__t44_algspec1.vout2025-09-15 19:19 4.7K 
[ ]algspec1__t45_algspec12025-09-10 02:54 1.4K 
[ ]algspec1__t45_algspec1.depv12025-09-15 19:47 66  
[ ]algspec1__t45_algspec1.depvmin12025-09-15 19:52 66  
[ ]algspec1__t45_algspec1.vmin12025-09-15 19:47 655  
[ ]algspec1__t45_algspec1.vmin1out2025-09-15 19:48 5.6K 
[ ]algspec1__t45_algspec1.vout2025-09-15 17:51 5.5K 
[ ]algspec1__t46_algspec12025-09-10 02:54 1.6K 
[ ]algspec1__t46_algspec1.depv12025-09-15 19:47 81  
[ ]algspec1__t46_algspec1.depvmin12025-09-15 19:52 81  
[ ]algspec1__t46_algspec1.vmin12025-09-15 19:47 960  
[ ]algspec1__t46_algspec1.vmin1out2025-09-15 19:48 11K 
[ ]algspec1__t46_algspec1.vout2025-09-15 15:13 12K 
[ ]algspec1__t47_algspec12025-09-10 02:56 43K 
[ ]algspec1__t47_algspec1.vout2025-09-15 19:39 7.3K 
[ ]algspec1__t48_algspec12025-09-10 02:57 41K 
[ ]algspec1__t48_algspec1.vout2025-09-15 19:26 7.3K 
[ ]algspec1__t49_algspec12025-09-10 02:58 39K 
[ ]algspec1__t49_algspec1.vout2025-09-15 17:13 6.8K 
[ ]algspec1__t50_algspec12025-09-10 03:00 38K 
[ ]algspec1__t50_algspec1.vout2025-09-15 18:08 7.3K 
[ ]algspec1__t51_algspec12025-09-10 03:01 20K 
[ ]algspec1__t51_algspec1.depv12025-09-15 19:47 209  
[ ]algspec1__t51_algspec1.depvmin12025-09-15 19:52 196  
[ ]algspec1__t51_algspec1.vmin12025-09-15 19:47 2.1K 
[ ]algspec1__t51_algspec1.vmin1out2025-09-15 19:47 18K 
[ ]algspec1__t51_algspec1.vout2025-09-15 16:09 23K 
[ ]algspec1__t52_algspec12025-09-10 03:02 42K 
[ ]algspec1__t52_algspec1.vout2025-09-15 14:25 7.3K 
[ ]algspec1__t53_algspec12025-09-10 03:03 45K 
[ ]algspec1__t53_algspec1.vout2025-09-15 17:03 7.4K 
[ ]algspec1__t54_algspec12025-09-10 03:05 56K 
[ ]algspec1__t54_algspec1.vout2025-09-15 14:39 7.4K 
[ ]algspec1__t55_algspec12025-09-10 03:06 11K 
[ ]algspec1__t55_algspec1.depv12025-09-15 19:47 50  
[ ]algspec1__t55_algspec1.depvmin12025-09-15 19:52 50  
[ ]algspec1__t55_algspec1.vmin12025-09-15 19:47 726  
[ ]algspec1__t55_algspec1.vmin1out2025-09-15 19:51 8.6K 
[ ]algspec1__t55_algspec1.vout2025-09-15 14:18 9.4K 
[ ]algspec1__t56_algspec12025-09-10 03:07 11K 
[ ]algspec1__t56_algspec1.depv12025-09-15 19:47 68  
[ ]algspec1__t56_algspec1.depvmin12025-09-15 19:52 68  
[ ]algspec1__t56_algspec1.vmin12025-09-15 19:47 893  
[ ]algspec1__t56_algspec1.vmin1out2025-09-15 19:49 13K 
[ ]algspec1__t56_algspec1.vout2025-09-15 17:02 13K 
[ ]algspec1__t57_algspec12025-09-10 03:08 27K 
[ ]algspec1__t57_algspec1.vout2025-09-15 16:05 7.4K 
[ ]algspec1__t58_algspec12025-09-10 03:09 35K 
[ ]algspec1__t58_algspec1.vout2025-09-15 14:20 7.3K 
[ ]algspec1__t59_algspec12025-09-10 03:11 41K 
[ ]algspec1__t59_algspec1.vout2025-09-15 18:54 7.4K 
[ ]algspec1__t60_algspec12025-09-10 03:12 24K 
[ ]algspec1__t60_algspec1.vout2025-09-15 16:44 2.0K 
[ ]algspec1__t61_algspec12025-09-10 03:13 17K 
[ ]algspec1__t61_algspec1.depv12025-09-15 19:47 255  
[ ]algspec1__t61_algspec1.depvmin12025-09-15 19:52 188  
[ ]algspec1__t61_algspec1.vmin12025-09-15 19:47 2.6K 
[ ]algspec1__t61_algspec1.vmin1out2025-09-15 19:48 34K 
[ ]algspec1__t61_algspec1.vout2025-09-15 13:49 38K 
[ ]algspec1__t62_algspec12025-09-10 03:14 41K 
[ ]algspec1__t62_algspec1.vout2025-09-15 13:48 7.3K 
[ ]algspec1__t63_algspec12025-09-10 03:15 25K 
[ ]algspec1__t63_algspec1.vout2025-09-15 16:40 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80