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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]memstr_0__l7_memstr_02024-07-26 23:27 41K 
[ ]memstr_0__l7_memstr_0.vout2024-08-03 09:48 5.8K 
[ ]memstr_0__t1_memstr_02024-07-26 21:45 36K 
[ ]memstr_0__t1_memstr_0.vout2024-08-03 04:31 4.1K 
[ ]memstr_0__t2_memstr_02024-07-26 21:46 34K 
[ ]memstr_0__t2_memstr_0.depv12024-08-03 10:19 117  
[ ]memstr_0__t2_memstr_0.depvmin12024-08-03 10:24 117  
[ ]memstr_0__t2_memstr_0.vmin12024-08-03 10:19 1.1K 
[ ]memstr_0__t2_memstr_0.vmin1out2024-08-03 10:21 10K 
[ ]memstr_0__t2_memstr_0.vout2024-08-03 04:08 11K 
[ ]memstr_0__t3_memstr_02024-07-26 21:47 38K 
[ ]memstr_0__t3_memstr_0.vout2024-08-03 04:34 4.7K 
[ ]memstr_0__t4_memstr_02024-07-26 21:31 38K 
[ ]memstr_0__t4_memstr_0.depv12024-08-03 10:19 60  
[ ]memstr_0__t4_memstr_0.depvmin12024-08-03 10:24 60  
[ ]memstr_0__t4_memstr_0.vmin12024-08-03 10:19 809  
[ ]memstr_0__t4_memstr_0.vmin1out2024-08-03 10:21 7.7K 
[ ]memstr_0__t4_memstr_0.vout2024-08-03 06:34 7.7K 
[ ]memstr_0__t5_memstr_02024-07-26 21:49 46K 
[ ]memstr_0__t5_memstr_0.vout2024-08-03 06:31 2.0K 
[ ]memstr_0__t6_memstr_02024-07-26 21:32 33K 
[ ]memstr_0__t6_memstr_0.vout2024-08-03 09:30 2.0K 
[ ]memstr_0__t7_memstr_02024-07-26 21:50 39K 
[ ]memstr_0__t7_memstr_0.depv12024-08-03 10:19 48  
[ ]memstr_0__t7_memstr_0.depvmin12024-08-03 10:24 48  
[ ]memstr_0__t7_memstr_0.vmin12024-08-03 10:19 1.0K 
[ ]memstr_0__t7_memstr_0.vmin1out2024-08-03 10:22 11K 
[ ]memstr_0__t7_memstr_0.vout2024-08-03 08:30 11K 
[ ]memstr_0__t8_memstr_02024-07-26 21:51 37K 
[ ]memstr_0__t8_memstr_0.depv12024-08-03 10:19 89  
[ ]memstr_0__t8_memstr_0.depvmin12024-08-03 10:24 89  
[ ]memstr_0__t8_memstr_0.vmin12024-08-03 10:19 1.0K 
[ ]memstr_0__t8_memstr_0.vmin1out2024-08-03 10:21 9.5K 
[ ]memstr_0__t8_memstr_0.vout2024-08-03 07:07 9.4K 
[ ]memstr_0__t9_memstr_02024-07-26 21:53 43K 
[ ]memstr_0__t9_memstr_0.vout2024-08-03 08:20 1.1K 
[ ]memstr_0__t10_memstr_02024-07-26 21:54 37K 
[ ]memstr_0__t10_memstr_0.depv12024-08-03 10:19 232  
[ ]memstr_0__t10_memstr_0.depvmin12024-08-03 10:24 232  
[ ]memstr_0__t10_memstr_0.vmin12024-08-03 10:19 2.4K 
[ ]memstr_0__t10_memstr_0.vmin1out2024-08-03 10:22 22K 
[ ]memstr_0__t10_memstr_0.vout2024-08-03 04:57 21K 
[ ]memstr_0__t11_memstr_02024-07-26 21:55 40K 
[ ]memstr_0__t11_memstr_0.vout2024-08-03 09:41 1.1K 
[ ]memstr_0__t12_memstr_02024-07-26 21:34 41K 
[ ]memstr_0__t12_memstr_0.depv12024-08-03 10:19 37  
[ ]memstr_0__t12_memstr_0.depvmin12024-08-03 10:24 37  
[ ]memstr_0__t12_memstr_0.vmin12024-08-03 10:19 731  
[ ]memstr_0__t12_memstr_0.vmin1out2024-08-03 10:20 8.0K 
[ ]memstr_0__t12_memstr_0.vout2024-08-03 07:44 7.8K 
[ ]memstr_0__t13_memstr_02024-07-26 21:57 40K 
[ ]memstr_0__t13_memstr_0.depv12024-08-03 10:19 157  
[ ]memstr_0__t13_memstr_0.depvmin12024-08-03 10:24 157  
[ ]memstr_0__t13_memstr_0.vmin12024-08-03 10:19 1.5K 
[ ]memstr_0__t13_memstr_0.vmin1out2024-08-03 10:20 14K 
[ ]memstr_0__t13_memstr_0.vout2024-08-03 07:53 14K 
[ ]memstr_0__t14_memstr_02024-07-26 21:35 44K 
[ ]memstr_0__t14_memstr_0.depv12024-08-03 10:19 92  
[ ]memstr_0__t14_memstr_0.depvmin12024-08-03 10:24 92  
[ ]memstr_0__t14_memstr_0.vmin12024-08-03 10:19 1.1K 
[ ]memstr_0__t14_memstr_0.vmin1out2024-08-03 10:22 11K 
[ ]memstr_0__t14_memstr_0.vout2024-08-03 08:59 11K 
[ ]memstr_0__t15_memstr_02024-07-26 21:36 39K 
[ ]memstr_0__t15_memstr_0.depv12024-08-03 10:19 156  
[ ]memstr_0__t15_memstr_0.depvmin12024-08-03 10:24 109  
[ ]memstr_0__t15_memstr_0.vmin12024-08-03 10:19 1.3K 
[ ]memstr_0__t15_memstr_0.vmin1out2024-08-03 10:21 11K 
[ ]memstr_0__t15_memstr_0.vout2024-08-03 07:15 16K 
[ ]memstr_0__t16_memstr_02024-07-26 21:58 45K 
[ ]memstr_0__t16_memstr_0.vout2024-08-03 07:47 2.0K 
[ ]memstr_0__t17_memstr_02024-07-26 22:00 38K 
[ ]memstr_0__t17_memstr_0.vout2024-08-03 10:15 7.3K 
[ ]memstr_0__t18_memstr_02024-07-26 22:01 46K 
[ ]memstr_0__t18_memstr_0.vout2024-08-03 09:06 2.0K 
[ ]memstr_0__t19_memstr_02024-07-26 22:03 59K 
[ ]memstr_0__t19_memstr_0.vout2024-08-03 06:59 4.7K 
[ ]memstr_0__t20_memstr_02024-07-26 22:04 47K 
[ ]memstr_0__t20_memstr_0.vout2024-08-03 09:53 2.0K 
[ ]memstr_0__t21_memstr_02024-07-26 22:05 44K 
[ ]memstr_0__t21_memstr_0.vout2024-08-03 06:06 7.3K 
[ ]memstr_0__t22_memstr_02024-07-26 22:07 39K 
[ ]memstr_0__t22_memstr_0.vout2024-08-03 10:16 7.3K 
[ ]memstr_0__t23_memstr_02024-07-26 22:08 40K 
[ ]memstr_0__t23_memstr_0.vout2024-08-03 04:08 2.0K 
[ ]memstr_0__t24_memstr_02024-07-26 22:10 55K 
[ ]memstr_0__t24_memstr_0.vout2024-08-03 06:14 7.3K 
[ ]memstr_0__t25_memstr_02024-07-26 21:38 45K 
[ ]memstr_0__t25_memstr_0.vout2024-08-03 07:49 1.1K 
[ ]memstr_0__t26_memstr_02024-07-26 22:11 55K 
[ ]memstr_0__t26_memstr_0.vout2024-08-03 07:20 2.0K 
[ ]memstr_0__t27_memstr_02024-07-26 22:13 44K 
[ ]memstr_0__t27_memstr_0.depv12024-08-03 10:19 238  
[ ]memstr_0__t27_memstr_0.depvmin12024-08-03 10:24 191  
[ ]memstr_0__t27_memstr_0.vmin12024-08-03 10:19 2.6K 
[ ]memstr_0__t27_memstr_0.vmin1out2024-08-03 10:22 27K 
[ ]memstr_0__t27_memstr_0.vout2024-08-03 07:36 28K 
[ ]memstr_0__t28_memstr_02024-07-26 22:14 46K 
[ ]memstr_0__t28_memstr_0.vout2024-08-03 09:38 7.3K 
[ ]memstr_0__t29_memstr_02024-07-26 22:16 44K 
[ ]memstr_0__t29_memstr_0.vout2024-08-03 10:01 4.7K 
[ ]memstr_0__t30_memstr_02024-07-26 22:17 44K 
[ ]memstr_0__t30_memstr_0.depv12024-08-03 10:19 38  
[ ]memstr_0__t30_memstr_0.depvmin12024-08-03 10:24 38  
[ ]memstr_0__t30_memstr_0.vmin12024-08-03 10:19 948  
[ ]memstr_0__t30_memstr_0.vmin1out2024-08-03 10:22 11K 
[ ]memstr_0__t30_memstr_0.vout2024-08-03 09:18 10K 
[ ]memstr_0__t31_memstr_02024-07-26 21:39 45K 
[ ]memstr_0__t31_memstr_0.depv12024-08-03 10:19 81  
[ ]memstr_0__t31_memstr_0.depvmin12024-08-03 10:24 81  
[ ]memstr_0__t31_memstr_0.vmin12024-08-03 10:19 1.7K 
[ ]memstr_0__t31_memstr_0.vmin1out2024-08-03 10:23 21K 
[ ]memstr_0__t31_memstr_0.vout2024-08-03 08:28 17K 
[ ]memstr_0__t32_memstr_02024-07-26 22:19 55K 
[ ]memstr_0__t32_memstr_0.vout2024-08-03 05:42 4.7K 
[ ]memstr_0__t33_memstr_02024-07-26 22:20 46K 
[ ]memstr_0__t33_memstr_0.vout2024-08-03 06:47 1.1K 
[ ]memstr_0__t34_memstr_02024-07-26 22:22 42K 
[ ]memstr_0__t34_memstr_0.depv12024-08-03 10:19 26  
[ ]memstr_0__t34_memstr_0.depvmin12024-08-03 10:24 26  
[ ]memstr_0__t34_memstr_0.vmin12024-08-03 10:19 1.2K 
[ ]memstr_0__t34_memstr_0.vmin1out2024-08-03 10:21 26K 
[ ]memstr_0__t34_memstr_0.vout2024-08-03 05:54 26K 
[ ]memstr_0__t35_memstr_02024-07-26 21:41 54K 
[ ]memstr_0__t35_memstr_0.depv12024-08-03 10:19 26  
[ ]memstr_0__t35_memstr_0.depvmin12024-08-03 10:24 26  
[ ]memstr_0__t35_memstr_0.vmin12024-08-03 10:19 869  
[ ]memstr_0__t35_memstr_0.vmin1out2024-08-03 10:23 10K 
[ ]memstr_0__t35_memstr_0.vout2024-08-03 05:17 9.8K 
[ ]memstr_0__t36_memstr_02024-07-26 22:23 45K 
[ ]memstr_0__t36_memstr_0.vout2024-08-03 04:33 2.0K 
[ ]memstr_0__t37_memstr_02024-07-26 21:42 46K 
[ ]memstr_0__t37_memstr_0.vout2024-08-03 09:34 2.0K 
[ ]memstr_0__t38_memstr_02024-07-26 22:24 47K 
[ ]memstr_0__t38_memstr_0.vout2024-08-03 10:12 7.3K 
[ ]memstr_0__t39_memstr_02024-07-26 22:26 42K 
[ ]memstr_0__t39_memstr_0.vout2024-08-03 05:30 7.3K 
[ ]memstr_0__t40_memstr_02024-07-26 22:27 40K 
[ ]memstr_0__t40_memstr_0.vout2024-08-03 10:05 7.3K 
[ ]memstr_0__t41_memstr_02024-07-26 22:28 40K 
[ ]memstr_0__t41_memstr_0.vout2024-08-03 06:21 1.1K 
[ ]memstr_0__t42_memstr_02024-07-26 22:30 49K 
[ ]memstr_0__t42_memstr_0.vout2024-08-03 05:01 7.3K 
[ ]memstr_0__t43_memstr_02024-07-26 22:31 48K 
[ ]memstr_0__t43_memstr_0.vout2024-08-03 07:25 4.7K 
[ ]memstr_0__t44_memstr_02024-07-26 22:33 49K 
[ ]memstr_0__t44_memstr_0.depv12024-08-03 10:19 139  
[ ]memstr_0__t44_memstr_0.depvmin12024-08-03 10:24 139  
[ ]memstr_0__t44_memstr_0.vmin12024-08-03 10:19 2.4K 
[ ]memstr_0__t44_memstr_0.vmin1out2024-08-03 10:22 37K 
[ ]memstr_0__t44_memstr_0.vout2024-08-03 09:11 24K 
[ ]memstr_0__t45_memstr_02024-07-26 22:34 53K 
[ ]memstr_0__t45_memstr_0.vout2024-08-03 07:41 2.0K 
[ ]memstr_0__t46_memstr_02024-07-26 22:36 48K 
[ ]memstr_0__t46_memstr_0.vout2024-08-03 10:19 2.0K 
[ ]memstr_0__t47_memstr_02024-07-26 22:37 49K 
[ ]memstr_0__t47_memstr_0.vout2024-08-03 04:38 7.3K 
[ ]memstr_0__t48_memstr_02024-07-26 22:38 49K 
[ ]memstr_0__t48_memstr_0.vout2024-08-03 06:11 4.7K 
[ ]memstr_0__t49_memstr_02024-07-26 22:40 50K 
[ ]memstr_0__t49_memstr_0.vout2024-08-03 09:15 7.3K 
[ ]memstr_0__t50_memstr_02024-07-26 22:41 46K 
[ ]memstr_0__t50_memstr_0.vout2024-08-03 10:02 2.0K 
[ ]memstr_0__t51_memstr_02024-07-26 22:43 55K 
[ ]memstr_0__t51_memstr_0.vout2024-08-03 07:24 2.0K 
[ ]memstr_0__t52_memstr_02024-07-26 22:44 51K 
[ ]memstr_0__t52_memstr_0.vout2024-08-03 06:15 7.3K 
[ ]memstr_0__t53_memstr_02024-07-26 22:46 49K 
[ ]memstr_0__t53_memstr_0.vout2024-08-03 08:22 4.7K 
[ ]memstr_0__t54_memstr_02024-07-26 22:47 49K 
[ ]memstr_0__t54_memstr_0.vout2024-08-03 09:41 2.0K 
[ ]memstr_0__t55_memstr_02024-07-26 22:49 54K 
[ ]memstr_0__t55_memstr_0.vout2024-08-03 08:24 7.3K 
[ ]memstr_0__t56_memstr_02024-07-26 22:50 58K 
[ ]memstr_0__t56_memstr_0.vout2024-08-03 05:33 2.0K 
[ ]memstr_0__t57_memstr_02024-07-26 22:52 49K 
[ ]memstr_0__t57_memstr_0.vout2024-08-03 07:39 2.0K 
[ ]memstr_0__t58_memstr_02024-07-26 22:53 49K 
[ ]memstr_0__t58_memstr_0.vout2024-08-03 06:28 2.0K 
[ ]memstr_0__t59_memstr_02024-07-26 22:55 49K 
[ ]memstr_0__t59_memstr_0.depv12024-08-03 10:19 96  
[ ]memstr_0__t59_memstr_0.depvmin12024-08-03 10:24 96  
[ ]memstr_0__t59_memstr_0.vmin12024-08-03 10:19 1.6K 
[ ]memstr_0__t59_memstr_0.vmin1out2024-08-03 10:20 18K 
[ ]memstr_0__t59_memstr_0.vout2024-08-03 04:37 17K 
[ ]memstr_0__t60_memstr_02024-07-26 22:56 50K 
[ ]memstr_0__t60_memstr_0.vout2024-08-03 07:39 2.0K 
[ ]memstr_0__t61_memstr_02024-07-26 22:58 64K 
[ ]memstr_0__t61_memstr_0.vout2024-08-03 05:09 4.7K 
[ ]memstr_0__t62_memstr_02024-07-26 22:59 56K 
[ ]memstr_0__t62_memstr_0.depv12024-08-03 10:19 65  
[ ]memstr_0__t62_memstr_0.depvmin12024-08-03 10:24 65  
[ ]memstr_0__t62_memstr_0.vmin12024-08-03 10:19 1.7K 
[ ]memstr_0__t62_memstr_0.vmin1out2024-08-03 10:23 25K 
[ ]memstr_0__t62_memstr_0.vout2024-08-03 07:31 20K 
[ ]memstr_0__t63_memstr_02024-07-26 23:01 54K 
[ ]memstr_0__t63_memstr_0.vout2024-08-03 05:48 2.0K 
[ ]memstr_0__t64_memstr_02024-07-26 23:02 50K 
[ ]memstr_0__t64_memstr_0.vout2024-08-03 05:14 7.3K 
[ ]memstr_0__t65_memstr_02024-07-26 23:04 48K 
[ ]memstr_0__t65_memstr_0.vout2024-08-03 04:59 4.7K 
[ ]memstr_0__t66_memstr_02024-07-26 23:05 48K 
[ ]memstr_0__t66_memstr_0.vout2024-08-03 10:11 2.0K 
[ ]memstr_0__t67_memstr_02024-07-26 23:07 50K 
[ ]memstr_0__t67_memstr_0.vout2024-08-03 07:56 7.3K 
[ ]memstr_0__t68_memstr_02024-07-26 23:08 56K 
[ ]memstr_0__t68_memstr_0.vout2024-08-03 09:53 2.0K 
[ ]memstr_0__t69_memstr_02024-07-26 23:10 50K 
[ ]memstr_0__t69_memstr_0.vout2024-08-03 07:47 2.0K 
[ ]memstr_0__t70_memstr_02024-07-26 23:11 48K 
[ ]memstr_0__t70_memstr_0.vout2024-08-03 04:52 2.0K 
[ ]memstr_0__t71_memstr_02024-07-26 23:13 50K 
[ ]memstr_0__t71_memstr_0.vout2024-08-03 08:09 2.0K 
[ ]memstr_0__t72_memstr_02024-07-26 23:14 49K 
[ ]memstr_0__t72_memstr_0.vout2024-08-03 04:31 2.0K 
[ ]memstr_0__t73_memstr_02024-07-26 23:16 53K 
[ ]memstr_0__t73_memstr_0.vout2024-08-03 06:25 2.0K 
[ ]memstr_0__t74_memstr_02024-07-26 23:17 53K 
[ ]memstr_0__t74_memstr_0.vout2024-08-03 08:43 2.0K 
[ ]memstr_0__t75_memstr_02024-07-26 23:18 31K 
[ ]memstr_0__t75_memstr_0.depv12024-08-03 10:19 121  
[ ]memstr_0__t75_memstr_0.depvmin12024-08-03 10:24 108  
[ ]memstr_0__t75_memstr_0.vmin12024-08-03 10:19 1.7K 
[ ]memstr_0__t75_memstr_0.vmin1out2024-08-03 10:23 14K 
[ ]memstr_0__t75_memstr_0.vout2024-08-03 07:34 25K 
[ ]memstr_0__t76_memstr_02024-07-26 23:19 31K 
[ ]memstr_0__t76_memstr_0.depv12024-08-03 10:19 215  
[ ]memstr_0__t76_memstr_0.depvmin12024-08-03 10:24 215  
[ ]memstr_0__t76_memstr_0.vmin12024-08-03 10:19 2.5K 
[ ]memstr_0__t76_memstr_0.vmin1out2024-08-03 10:23 24K 
[ ]memstr_0__t76_memstr_0.vout2024-08-03 07:43 29K 
[ ]memstr_0__t77_memstr_02024-07-26 23:21 36K 
[ ]memstr_0__t77_memstr_0.vout2024-08-03 06:31 2.0K 
[ ]memstr_0__t78_memstr_02024-07-26 23:22 48K 
[ ]memstr_0__t78_memstr_0.vout2024-08-03 07:39 7.3K 
[ ]memstr_0__t79_memstr_02024-07-26 23:24 52K 
[ ]memstr_0__t79_memstr_0.vout2024-08-03 09:57 2.0K 
[ ]memstr_0__t80_memstr_02024-07-26 23:25 58K 
[ ]memstr_0__t80_memstr_0.vout2024-08-03 08:36 7.3K 
[ ]memstr_0__t81_memstr_02024-07-26 21:43 36K 
[ ]memstr_0__t81_memstr_0.depv12024-08-03 10:19 61  
[ ]memstr_0__t81_memstr_0.depvmin12024-08-03 10:24 25  
[ ]memstr_0__t81_memstr_0.vmin12024-08-03 10:19 435  
[ ]memstr_0__t81_memstr_0.vmin1out2024-08-03 10:23 2.7K 
[ ]memstr_0__t81_memstr_0.vout2024-08-03 07:27 4.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80