Index of /~mptp/mml5.63.1382/MPTP2/problems_small/algspec1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]algspec1__t63_algspec1.vout2021-07-25 19:49 53K 
[ ]algspec1__t63_algspec1.vmin1out2021-07-25 20:59 54K 
[ ]algspec1__t63_algspec1.vmin12021-07-25 20:57 3.1K 
[ ]algspec1__t63_algspec1.depvmin12021-07-25 21:03 191  
[ ]algspec1__t63_algspec1.depv12021-07-25 20:57 191  
[ ]algspec1__t63_algspec12021-07-18 11:33 24K 
[ ]algspec1__t62_algspec1.vout2021-07-25 16:12 7.3K 
[ ]algspec1__t62_algspec12021-07-18 11:32 40K 
[ ]algspec1__t61_algspec1.vout2021-07-25 14:35 44K 
[ ]algspec1__t61_algspec1.vmin1out2021-07-25 21:00 47K 
[ ]algspec1__t61_algspec1.vmin12021-07-25 20:57 3.1K 
[ ]algspec1__t61_algspec1.depvmin12021-07-25 21:03 276  
[ ]algspec1__t61_algspec1.depv12021-07-25 20:57 307  
[ ]algspec1__t61_algspec12021-07-18 11:32 17K 
[ ]algspec1__t60_algspec1.vout2021-07-25 20:45 2.0K 
[ ]algspec1__t60_algspec12021-07-18 11:32 23K 
[ ]algspec1__t59_algspec1.vout2021-07-25 18:20 7.4K 
[ ]algspec1__t59_algspec12021-07-18 11:31 39K 
[ ]algspec1__t58_algspec1.vout2021-07-25 19:57 7.3K 
[ ]algspec1__t58_algspec12021-07-18 11:31 34K 
[ ]algspec1__t57_algspec1.vout2021-07-25 20:30 7.3K 
[ ]algspec1__t57_algspec12021-07-18 11:31 26K 
[ ]algspec1__t56_algspec1.vout2021-07-25 19:29 13K 
[ ]algspec1__t56_algspec1.vmin1out2021-07-25 20:57 13K 
[ ]algspec1__t56_algspec1.vmin12021-07-25 20:57 893  
[ ]algspec1__t56_algspec1.depvmin12021-07-25 21:03 68  
[ ]algspec1__t56_algspec1.depv12021-07-25 20:57 68  
[ ]algspec1__t56_algspec12021-07-18 11:30 10K 
[ ]algspec1__t55_algspec1.vout2021-07-25 14:47 9.4K 
[ ]algspec1__t55_algspec1.vmin1out2021-07-25 20:59 8.6K 
[ ]algspec1__t55_algspec1.vmin12021-07-25 20:57 726  
[ ]algspec1__t55_algspec1.depvmin12021-07-25 21:03 50  
[ ]algspec1__t55_algspec1.depv12021-07-25 20:57 50  
[ ]algspec1__t55_algspec12021-07-18 11:30 10K 
[ ]algspec1__t54_algspec1.vout2021-07-25 18:47 7.3K 
[ ]algspec1__t54_algspec12021-07-18 11:30 54K 
[ ]algspec1__t53_algspec1.vout2021-07-25 17:40 7.3K 
[ ]algspec1__t53_algspec12021-07-18 11:29 43K 
[ ]algspec1__t52_algspec1.vout2021-07-25 18:02 7.3K 
[ ]algspec1__t52_algspec12021-07-18 11:29 41K 
[ ]algspec1__t51_algspec1.vout2021-07-25 17:14 23K 
[ ]algspec1__t51_algspec1.vmin1out2021-07-25 20:58 18K 
[ ]algspec1__t51_algspec1.vmin12021-07-25 20:57 2.0K 
[ ]algspec1__t51_algspec1.depvmin12021-07-25 21:03 196  
[ ]algspec1__t51_algspec1.depv12021-07-25 20:57 196  
[ ]algspec1__t51_algspec12021-07-18 11:29 20K 
[ ]algspec1__t50_algspec1.vout2021-07-25 15:46 7.3K 
[ ]algspec1__t50_algspec12021-07-18 11:28 37K 
[ ]algspec1__t49_algspec1.vout2021-07-25 16:33 6.8K 
[ ]algspec1__t49_algspec12021-07-18 11:28 37K 
[ ]algspec1__t48_algspec1.vout2021-07-25 15:31 7.3K 
[ ]algspec1__t48_algspec12021-07-18 11:28 40K 
[ ]algspec1__t47_algspec1.vout2021-07-25 16:53 7.3K 
[ ]algspec1__t47_algspec12021-07-18 11:27 41K 
[ ]algspec1__t46_algspec1.vout2021-07-25 19:55 12K 
[ ]algspec1__t46_algspec1.vmin1out2021-07-25 20:58 11K 
[ ]algspec1__t46_algspec1.vmin12021-07-25 20:57 960  
[ ]algspec1__t46_algspec1.depvmin12021-07-25 21:03 81  
[ ]algspec1__t46_algspec1.depv12021-07-25 20:57 81  
[ ]algspec1__t46_algspec12021-07-18 11:27 1.6K 
[ ]algspec1__t45_algspec1.vout2021-07-25 15:29 5.5K 
[ ]algspec1__t45_algspec1.vmin1out2021-07-25 21:00 5.6K 
[ ]algspec1__t45_algspec1.vmin12021-07-25 20:57 655  
[ ]algspec1__t45_algspec1.depvmin12021-07-25 21:03 66  
[ ]algspec1__t45_algspec1.depv12021-07-25 20:57 66  
[ ]algspec1__t45_algspec12021-07-18 11:27 1.4K 
[ ]algspec1__t44_algspec1.vout2021-07-25 20:53 5.3K 
[ ]algspec1__t44_algspec12021-07-18 11:27 40K 
[ ]algspec1__t43_algspec1.vout2021-07-25 16:26 4.7K 
[ ]algspec1__t43_algspec12021-07-18 11:26 40K 
[ ]algspec1__t42_algspec1.vout2021-07-25 18:24 6.8K 
[ ]algspec1__t42_algspec12021-07-18 11:26 36K 
[ ]algspec1__t41_algspec1.vout2021-07-25 14:48 12K 
[ ]algspec1__t41_algspec1.vmin1out2021-07-25 20:59 13K 
[ ]algspec1__t41_algspec1.vmin12021-07-25 20:57 1.1K 
[ ]algspec1__t41_algspec1.depvmin12021-07-25 21:03 50  
[ ]algspec1__t41_algspec1.depv12021-07-25 20:57 50  
[ ]algspec1__t41_algspec12021-07-18 11:26 38K 
[ ]algspec1__t40_algspec1.vout2021-07-25 17:12 32K 
[ ]algspec1__t40_algspec1.vmin1out2021-07-25 20:58 45K 
[ ]algspec1__t40_algspec1.vmin12021-07-25 20:57 2.8K 
[ ]algspec1__t40_algspec1.depvmin12021-07-25 21:03 107  
[ ]algspec1__t40_algspec1.depv12021-07-25 20:57 163  
[ ]algspec1__t40_algspec12021-07-18 11:17 39K 
[ ]algspec1__t39_algspec1.vout2021-07-25 14:40 6.8K 
[ ]algspec1__t39_algspec12021-07-18 11:25 43K 
[ ]algspec1__t38_algspec1.vout2021-07-25 15:59 4.7K 
[ ]algspec1__t38_algspec12021-07-18 11:25 40K 
[ ]algspec1__t37_algspec1.vout2021-07-25 15:10 4.8K 
[ ]algspec1__t37_algspec12021-07-18 11:25 43K 
[ ]algspec1__t36_algspec1.vout2021-07-25 17:21 32K 
[ ]algspec1__t36_algspec1.vmin1out2021-07-25 21:00 36K 
[ ]algspec1__t36_algspec1.vmin12021-07-25 20:57 2.3K 
[ ]algspec1__t36_algspec1.depvmin12021-07-25 21:03 80  
[ ]algspec1__t36_algspec1.depv12021-07-25 20:57 80  
[ ]algspec1__t36_algspec12021-07-18 11:24 39K 
[ ]algspec1__t35_algspec1.vout2021-07-25 20:37 6.8K 
[ ]algspec1__t35_algspec12021-07-18 11:24 29K 
[ ]algspec1__t34_algspec1.vout2021-07-25 19:35 11K 
[ ]algspec1__t34_algspec1.vmin1out2021-07-25 21:01 17K 
[ ]algspec1__t34_algspec1.vmin12021-07-25 20:57 1.2K 
[ ]algspec1__t34_algspec1.depvmin12021-07-25 21:03 119  
[ ]algspec1__t34_algspec1.depv12021-07-25 20:57 119  
[ ]algspec1__t34_algspec12021-07-18 11:24 33K 
[ ]algspec1__t33_algspec1.vout2021-07-25 17:03 7.3K 
[ ]algspec1__t33_algspec12021-07-18 11:23 34K 
[ ]algspec1__t32_algspec1.vout2021-07-25 19:38 2.0K 
[ ]algspec1__t32_algspec12021-07-18 11:16 30K 
[ ]algspec1__t31_algspec1.vout2021-07-25 16:09 6.8K 
[ ]algspec1__t31_algspec12021-07-18 11:23 35K 
[ ]algspec1__t30_algspec1.vout2021-07-25 20:21 4.7K 
[ ]algspec1__t30_algspec12021-07-18 11:23 34K 
[ ]algspec1__t29_algspec1.vout2021-07-25 18:06 6.8K 
[ ]algspec1__t29_algspec12021-07-18 11:22 34K 
[ ]algspec1__t28_algspec1.vout2021-07-25 14:35 21K 
[ ]algspec1__t28_algspec1.vmin1out2021-07-25 21:02 20K 
[ ]algspec1__t28_algspec1.vmin12021-07-25 20:57 2.0K 
[ ]algspec1__t28_algspec1.depvmin12021-07-25 21:03 173  
[ ]algspec1__t28_algspec1.depv12021-07-25 20:57 173  
[ ]algspec1__t28_algspec12021-07-18 11:22 10K 
[ ]algspec1__t27_algspec1.vout2021-07-25 16:37 7.3K 
[ ]algspec1__t27_algspec12021-07-18 11:22 25K 
[ ]algspec1__t26_algspec1.vout2021-07-25 17:57 7.3K 
[ ]algspec1__t26_algspec12021-07-18 11:21 20K 
[ ]algspec1__t25_algspec1.vout2021-07-25 18:19 18K 
[ ]algspec1__t25_algspec1.vmin1out2021-07-25 20:58 18K 
[ ]algspec1__t25_algspec1.vmin12021-07-25 20:57 1.3K 
[ ]algspec1__t25_algspec1.depvmin12021-07-25 21:03 86  
[ ]algspec1__t25_algspec1.depv12021-07-25 20:57 86  
[ ]algspec1__t25_algspec12021-07-18 11:21 19K 
[ ]algspec1__t24_algspec1.vout2021-07-25 18:01 6.8K 
[ ]algspec1__t24_algspec12021-07-18 11:21 19K 
[ ]algspec1__t23_algspec1.vout2021-07-25 17:40 14K 
[ ]algspec1__t23_algspec1.vmin1out2021-07-25 21:01 10K 
[ ]algspec1__t23_algspec1.vmin12021-07-25 20:57 933  
[ ]algspec1__t23_algspec1.depvmin12021-07-25 21:03 89  
[ ]algspec1__t23_algspec1.depv12021-07-25 20:57 89  
[ ]algspec1__t23_algspec12021-07-18 11:21 18K 
[ ]algspec1__t22_algspec1.vout2021-07-25 16:32 7.3K 
[ ]algspec1__t22_algspec12021-07-18 11:21 30K 
[ ]algspec1__t21_algspec1.vout2021-07-25 20:32 7.3K 
[ ]algspec1__t21_algspec12021-07-18 11:20 27K 
[ ]algspec1__t20_algspec1.vout2021-07-25 15:28 6.3K 
[ ]algspec1__t20_algspec12021-07-18 11:20 9.3K 
[ ]algspec1__t19_algspec1.vout2021-07-25 15:38 7.3K 
[ ]algspec1__t19_algspec12021-07-18 11:20 20K 
[ ]algspec1__t18_algspec1.vout2021-07-25 16:24 7.3K 
[ ]algspec1__t18_algspec12021-07-18 11:20 24K 
[ ]algspec1__t17_algspec1.vout2021-07-25 19:53 7.3K 
[ ]algspec1__t17_algspec12021-07-18 11:20 20K 
[ ]algspec1__t16_algspec1.vout2021-07-25 15:05 5.9K 
[ ]algspec1__t16_algspec1.vmin1out2021-07-25 21:00 5.3K 
[ ]algspec1__t16_algspec1.vmin12021-07-25 20:57 652  
[ ]algspec1__t16_algspec1.depvmin12021-07-25 21:03 62  
[ ]algspec1__t16_algspec1.depv12021-07-25 20:57 62  
[ ]algspec1__t16_algspec12021-07-18 11:16 19K 
[ ]algspec1__t15_algspec1.vout2021-07-25 18:58 11K 
[ ]algspec1__t15_algspec1.vmin1out2021-07-25 20:58 12K 
[ ]algspec1__t15_algspec1.vmin12021-07-25 20:57 927  
[ ]algspec1__t15_algspec1.depvmin12021-07-25 21:03 88  
[ ]algspec1__t15_algspec1.depv12021-07-25 20:57 88  
[ ]algspec1__t15_algspec12021-07-18 11:19 20K 
[ ]algspec1__t14_algspec1.vout2021-07-25 16:27 13K 
[ ]algspec1__t14_algspec1.vmin1out2021-07-25 20:58 14K 
[ ]algspec1__t14_algspec1.vmin12021-07-25 20:57 1.7K 
[ ]algspec1__t14_algspec1.depvmin12021-07-25 21:03 173  
[ ]algspec1__t14_algspec1.depv12021-07-25 20:57 173  
[ ]algspec1__t14_algspec12021-07-18 11:16 19K 
[ ]algspec1__t13_algspec1.vout2021-07-25 17:27 20K 
[ ]algspec1__t13_algspec1.vmin1out2021-07-25 21:00 18K 
[ ]algspec1__t13_algspec1.vmin12021-07-25 20:57 2.0K 
[ ]algspec1__t13_algspec1.depvmin12021-07-25 21:03 183  
[ ]algspec1__t13_algspec1.depv12021-07-25 20:57 197  
[ ]algspec1__t13_algspec12021-07-18 11:19 20K 
[ ]algspec1__t12_algspec1.vout2021-07-25 16:01 4.7K 
[ ]algspec1__t12_algspec12021-07-18 11:19 10K 
[ ]algspec1__t11_algspec1.vout2021-07-25 16:03 4.7K 
[ ]algspec1__t11_algspec12021-07-18 11:19 23K 
[ ]algspec1__t10_algspec1.vout2021-07-25 16:39 8.1K 
[ ]algspec1__t10_algspec1.vmin1out2021-07-25 21:02 8.0K 
[ ]algspec1__t10_algspec1.vmin12021-07-25 20:57 962  
[ ]algspec1__t10_algspec1.depvmin12021-07-25 21:03 120  
[ ]algspec1__t10_algspec1.depv12021-07-25 20:57 134  
[ ]algspec1__t10_algspec12021-07-18 11:19 20K 
[ ]algspec1__t9_algspec1.vout2021-07-25 17:19 2.0K 
[ ]algspec1__t9_algspec12021-07-18 11:19 22K 
[ ]algspec1__t8_algspec1.vout2021-07-25 18:48 2.0K 
[ ]algspec1__t8_algspec12021-07-18 11:18 22K 
[ ]algspec1__t7_algspec1.vout2021-07-25 17:38 2.0K 
[ ]algspec1__t7_algspec12021-07-18 11:18 11K 
[ ]algspec1__t6_algspec1.vout2021-07-25 17:31 6.8K 
[ ]algspec1__t6_algspec12021-07-18 11:18 24K 
[ ]algspec1__t5_algspec1.vout2021-07-25 19:42 7.3K 
[ ]algspec1__t5_algspec12021-07-18 11:18 25K 
[ ]algspec1__t4_algspec1.vout2021-07-25 15:16 7.3K 
[ ]algspec1__t4_algspec12021-07-18 11:17 9.5K 
[ ]algspec1__t3_algspec1.vout2021-07-25 15:38 7.3K 
[ ]algspec1__t3_algspec12021-07-18 11:17 15K 
[ ]algspec1__t2_algspec1.vout2021-07-25 15:09 7.3K 
[ ]algspec1__t2_algspec12021-07-18 11:17 12K 
[ ]algspec1__t1_algspec1.vout2021-07-25 14:50 7.3K 
[ ]algspec1__t1_algspec12021-07-18 11:17 12K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80