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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]algnum_1__l5_algnum_12024-07-27 00:00 46K 
[ ]algnum_1__l5_algnum_1.depv12024-08-03 10:19 197  
[ ]algnum_1__l5_algnum_1.depvmin12024-08-03 10:24 197  
[ ]algnum_1__l5_algnum_1.vmin12024-08-03 10:19 2.4K 
[ ]algnum_1__l5_algnum_1.vmin1out2024-08-03 10:21 35K 
[ ]algnum_1__l5_algnum_1.vout2024-08-03 09:15 26K 
[ ]algnum_1__l6_algnum_12024-07-27 00:02 45K 
[ ]algnum_1__l6_algnum_1.depv12024-08-03 10:19 109  
[ ]algnum_1__l6_algnum_1.depvmin12024-08-03 10:24 109  
[ ]algnum_1__l6_algnum_1.vmin12024-08-03 10:19 2.0K 
[ ]algnum_1__l6_algnum_1.vmin1out2024-08-03 10:20 23K 
[ ]algnum_1__l6_algnum_1.vout2024-08-03 04:27 33K 
[ ]algnum_1__l7_algnum_12024-07-26 21:40 61K 
[ ]algnum_1__l7_algnum_1.depv12024-08-03 10:19 188  
[ ]algnum_1__l7_algnum_1.depvmin12024-08-03 10:24 188  
[ ]algnum_1__l7_algnum_1.vmin12024-08-03 10:19 2.8K 
[ ]algnum_1__l7_algnum_1.vmin1out2024-08-03 10:22 45K 
[ ]algnum_1__l7_algnum_1.vout2024-08-03 05:36 41K 
[ ]algnum_1__l63_algnum_12024-07-26 21:43 93K 
[ ]algnum_1__l63_algnum_1.depv12024-08-03 10:19 414  
[ ]algnum_1__l63_algnum_1.depvmin12024-08-03 10:24 261  
[ ]algnum_1__l63_algnum_1.vmin12024-08-03 10:19 4.7K 
[ ]algnum_1__l63_algnum_1.vmin1out2024-08-03 10:20 34K 
[ ]algnum_1__l63_algnum_1.vout2024-08-03 04:59 31K 
[ ]algnum_1__t1_algnum_12024-07-26 21:45 45K 
[ ]algnum_1__t1_algnum_1.vout2024-08-03 05:28 7.3K 
[ ]algnum_1__t2_algnum_12024-07-26 21:31 60K 
[ ]algnum_1__t2_algnum_1.depv12024-08-03 10:19 199  
[ ]algnum_1__t2_algnum_1.depvmin12024-08-03 10:24 199  
[ ]algnum_1__t2_algnum_1.vmin12024-08-03 10:19 3.1K 
[ ]algnum_1__t2_algnum_1.vmin1out2024-08-03 10:20 35K 
[ ]algnum_1__t2_algnum_1.vout2024-08-03 09:13 32K 
[ ]algnum_1__t3_algnum_12024-07-26 21:33 59K 
[ ]algnum_1__t3_algnum_1.depv12024-08-03 10:19 89  
[ ]algnum_1__t3_algnum_1.depvmin12024-08-03 10:24 89  
[ ]algnum_1__t3_algnum_1.vmin12024-08-03 10:19 1.1K 
[ ]algnum_1__t3_algnum_1.vmin1out2024-08-03 10:20 9.3K 
[ ]algnum_1__t3_algnum_1.vout2024-08-03 07:20 8.7K 
[ ]algnum_1__t4_algnum_12024-07-26 21:36 60K 
[ ]algnum_1__t4_algnum_1.depv12024-08-03 10:19 187  
[ ]algnum_1__t4_algnum_1.depvmin12024-08-03 10:24 187  
[ ]algnum_1__t4_algnum_1.vmin12024-08-03 10:19 2.6K 
[ ]algnum_1__t4_algnum_1.vmin1out2024-08-03 10:21 26K 
[ ]algnum_1__t4_algnum_1.vout2024-08-03 04:59 22K 
[ ]algnum_1__t5_algnum_12024-07-26 21:47 49K 
[ ]algnum_1__t5_algnum_1.vout2024-08-03 05:02 7.3K 
[ ]algnum_1__t6_algnum_12024-07-26 21:49 49K 
[ ]algnum_1__t6_algnum_1.vout2024-08-03 05:22 7.3K 
[ ]algnum_1__t7_algnum_12024-07-26 21:51 58K 
[ ]algnum_1__t7_algnum_1.vout2024-08-03 06:04 6.8K 
[ ]algnum_1__t8_algnum_12024-07-26 21:53 44K 
[ ]algnum_1__t8_algnum_1.depv12024-08-03 10:19 186  
[ ]algnum_1__t8_algnum_1.depvmin12024-08-03 10:24 167  
[ ]algnum_1__t8_algnum_1.vmin12024-08-03 10:19 3.1K 
[ ]algnum_1__t8_algnum_1.vmin1out2024-08-03 10:23 67K 
[ ]algnum_1__t8_algnum_1.vout2024-08-03 06:42 54K 
[ ]algnum_1__t9_algnum_12024-07-26 21:55 43K 
[ ]algnum_1__t9_algnum_1.depv12024-08-03 10:19 201  
[ ]algnum_1__t9_algnum_1.depvmin12024-08-03 10:24 182  
[ ]algnum_1__t9_algnum_1.vmin12024-08-03 10:19 3.1K 
[ ]algnum_1__t9_algnum_1.vmin1out2024-08-03 10:21 70K 
[ ]algnum_1__t9_algnum_1.vout2024-08-03 06:16 54K 
[ ]algnum_1__t10_algnum_12024-07-26 21:58 81K 
[ ]algnum_1__t10_algnum_1.vout2024-08-03 08:59 4.2K 
[ ]algnum_1__t11_algnum_12024-07-26 22:00 45K 
[ ]algnum_1__t11_algnum_1.vout2024-08-03 06:01 1.1K 
[ ]algnum_1__t12_algnum_12024-07-26 22:02 56K 
[ ]algnum_1__t12_algnum_1.vout2024-08-03 05:19 6.8K 
[ ]algnum_1__t13_algnum_12024-07-26 22:04 59K 
[ ]algnum_1__t13_algnum_1.vout2024-08-03 05:02 7.4K 
[ ]algnum_1__t14_algnum_12024-07-26 22:07 74K 
[ ]algnum_1__t14_algnum_1.vout2024-08-03 07:34 7.3K 
[ ]algnum_1__t15_algnum_12024-07-26 22:10 106K 
[ ]algnum_1__t15_algnum_1.vout2024-08-03 05:46 6.8K 
[ ]algnum_1__t16_algnum_12024-07-26 22:13 197K 
[ ]algnum_1__t16_algnum_1.vout2024-08-03 06:42 6.8K 
[ ]algnum_1__t17_algnum_12024-07-26 22:16 95K 
[ ]algnum_1__t17_algnum_1.vout2024-08-03 05:02 4.7K 
[ ]algnum_1__t18_algnum_12024-07-26 22:18 190K 
[ ]algnum_1__t18_algnum_1.vout2024-08-03 10:13 4.7K 
[ ]algnum_1__t19_algnum_12024-07-26 22:21 75K 
[ ]algnum_1__t19_algnum_1.vout2024-08-03 07:56 4.7K 
[ ]algnum_1__t20_algnum_12024-07-26 22:23 74K 
[ ]algnum_1__t20_algnum_1.vout2024-08-03 04:56 4.7K 
[ ]algnum_1__t21_algnum_12024-07-26 22:26 72K 
[ ]algnum_1__t21_algnum_1.vout2024-08-03 08:45 4.7K 
[ ]algnum_1__t22_algnum_12024-07-26 22:29 87K 
[ ]algnum_1__t22_algnum_1.vout2024-08-03 09:56 4.7K 
[ ]algnum_1__t23_algnum_12024-07-26 22:32 77K 
[ ]algnum_1__t23_algnum_1.vout2024-08-03 05:33 2.0K 
[ ]algnum_1__t24_algnum_12024-07-26 22:34 74K 
[ ]algnum_1__t24_algnum_1.vout2024-08-03 07:18 7.3K 
[ ]algnum_1__t25_algnum_12024-07-26 22:37 74K 
[ ]algnum_1__t25_algnum_1.vout2024-08-03 05:49 7.3K 
[ ]algnum_1__t26_algnum_12024-07-26 22:39 74K 
[ ]algnum_1__t26_algnum_1.vout2024-08-03 07:41 7.3K 
[ ]algnum_1__t27_algnum_12024-07-26 22:42 78K 
[ ]algnum_1__t27_algnum_1.vout2024-08-03 08:50 7.3K 
[ ]algnum_1__t28_algnum_12024-07-26 22:44 90K 
[ ]algnum_1__t28_algnum_1.vout2024-08-03 06:07 7.3K 
[ ]algnum_1__t29_algnum_12024-07-26 22:47 111K 
[ ]algnum_1__t29_algnum_1.vout2024-08-03 05:27 7.4K 
[ ]algnum_1__t30_algnum_12024-07-26 22:50 89K 
[ ]algnum_1__t30_algnum_1.vout2024-08-03 09:57 4.1K 
[ ]algnum_1__t31_algnum_12024-07-26 22:53 110K 
[ ]algnum_1__t31_algnum_1.vout2024-08-03 10:15 7.3K 
[ ]algnum_1__t32_algnum_12024-07-26 22:55 93K 
[ ]algnum_1__t32_algnum_1.depv12024-08-03 10:19 125  
[ ]algnum_1__t32_algnum_1.depvmin12024-08-03 10:24 111  
[ ]algnum_1__t32_algnum_1.vmin12024-08-03 10:19 3.9K 
[ ]algnum_1__t32_algnum_1.vmin1out2024-08-03 10:23 37K 
[ ]algnum_1__t32_algnum_1.vout2024-08-03 06:15 77K 
[ ]algnum_1__t33_algnum_12024-07-26 22:58 120K 
[ ]algnum_1__t33_algnum_1.vout2024-08-03 05:37 7.3K 
[ ]algnum_1__t34_algnum_12024-07-26 23:01 117K 
[ ]algnum_1__t34_algnum_1.vout2024-08-03 05:15 7.3K 
[ ]algnum_1__t35_algnum_12024-07-26 23:04 84K 
[ ]algnum_1__t35_algnum_1.vout2024-08-03 09:18 7.9K 
[ ]algnum_1__t36_algnum_12024-07-26 21:38 51K 
[ ]algnum_1__t36_algnum_1.depv12024-08-03 10:19 219  
[ ]algnum_1__t36_algnum_1.depvmin12024-08-03 10:24 194  
[ ]algnum_1__t36_algnum_1.vmin12024-08-03 10:19 2.8K 
[ ]algnum_1__t36_algnum_1.vmin1out2024-08-03 10:23 28K 
[ ]algnum_1__t36_algnum_1.vout2024-08-03 10:04 34K 
[ ]algnum_1__t37_algnum_12024-07-26 23:07 144K 
[ ]algnum_1__t37_algnum_1.vout2024-08-03 06:53 4.7K 
[ ]algnum_1__t38_algnum_12024-07-26 23:10 136K 
[ ]algnum_1__t38_algnum_1.vout2024-08-03 05:39 4.7K 
[ ]algnum_1__t39_algnum_12024-07-26 23:13 124K 
[ ]algnum_1__t39_algnum_1.vout2024-08-03 06:09 4.7K 
[ ]algnum_1__t40_algnum_12024-07-26 23:15 103K 
[ ]algnum_1__t40_algnum_1.vout2024-08-03 10:12 4.7K 
[ ]algnum_1__t41_algnum_12024-07-26 23:18 107K 
[ ]algnum_1__t41_algnum_1.vout2024-08-03 05:27 4.7K 
[ ]algnum_1__t42_algnum_12024-07-26 23:21 92K 
[ ]algnum_1__t42_algnum_1.depv12024-08-03 10:19 240  
[ ]algnum_1__t42_algnum_1.depvmin12024-08-03 10:24 240  
[ ]algnum_1__t42_algnum_1.vmin12024-08-03 10:19 3.0K 
[ ]algnum_1__t42_algnum_1.vmin1out2024-08-03 10:23 27K 
[ ]algnum_1__t42_algnum_1.vout2024-08-03 10:08 18K 
[ ]algnum_1__t43_algnum_12024-07-26 23:23 89K 
[ ]algnum_1__t43_algnum_1.vout2024-08-03 07:54 8.4K 
[ ]algnum_1__t44_algnum_12024-07-26 23:27 124K 
[ ]algnum_1__t44_algnum_1.vout2024-08-03 09:53 5.9K 
[ ]algnum_1__t45_algnum_12024-07-26 23:29 94K 
[ ]algnum_1__t45_algnum_1.vout2024-08-03 09:51 7.3K 
[ ]algnum_1__t46_algnum_12024-07-26 23:32 96K 
[ ]algnum_1__t46_algnum_1.vout2024-08-03 05:16 7.4K 
[ ]algnum_1__t47_algnum_12024-07-26 23:35 96K 
[ ]algnum_1__t47_algnum_1.vout2024-08-03 04:53 7.4K 
[ ]algnum_1__t48_algnum_12024-07-26 23:37 98K 
[ ]algnum_1__t48_algnum_1.vout2024-08-03 04:40 7.4K 
[ ]algnum_1__t49_algnum_12024-07-26 23:40 93K 
[ ]algnum_1__t49_algnum_1.vout2024-08-03 07:22 7.3K 
[ ]algnum_1__t50_algnum_12024-07-26 23:43 81K 
[ ]algnum_1__t50_algnum_1.depv12024-08-03 10:19 499  
[ ]algnum_1__t50_algnum_1.depvmin12024-08-03 10:24 436  
[ ]algnum_1__t50_algnum_1.vmin12024-08-03 10:19 8.7K 
[ ]algnum_1__t50_algnum_1.vmin1out2024-08-03 10:21 111K 
[ ]algnum_1__t50_algnum_1.vout2024-08-03 09:31 98K 
[ ]algnum_1__t51_algnum_12024-07-26 23:45 96K 
[ ]algnum_1__t51_algnum_1.vout2024-08-03 04:28 4.7K 
[ ]algnum_1__t52_algnum_12024-07-26 23:48 107K 
[ ]algnum_1__t52_algnum_1.vout2024-08-03 10:14 7.3K 
[ ]algnum_1__t53_algnum_12024-07-26 23:51 116K 
[ ]algnum_1__t53_algnum_1.vout2024-08-03 05:13 7.3K 
[ ]algnum_1__t54_algnum_12024-07-26 23:55 155K 
[ ]algnum_1__t54_algnum_1.vout2024-08-03 04:43 7.3K 
[ ]algnum_1__t55_algnum_12024-07-26 23:58 111K 
[ ]algnum_1__t55_algnum_1.vout2024-08-03 06:21 5.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80