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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]memstr_0__l7_memstr_02021-07-18 08:24 41K 
[ ]memstr_0__l7_memstr_0.vout2021-07-25 19:29 5.8K 
[ ]memstr_0__t1_memstr_02021-07-18 07:56 36K 
[ ]memstr_0__t1_memstr_0.vout2021-07-25 19:39 4.2K 
[ ]memstr_0__t2_memstr_02021-07-18 07:56 34K 
[ ]memstr_0__t2_memstr_0.depv12021-07-25 20:57 129  
[ ]memstr_0__t2_memstr_0.depvmin12021-07-25 21:03 129  
[ ]memstr_0__t2_memstr_0.vmin12021-07-25 20:57 1.2K 
[ ]memstr_0__t2_memstr_0.vmin1out2021-07-25 21:00 12K 
[ ]memstr_0__t2_memstr_0.vout2021-07-25 17:00 12K 
[ ]memstr_0__t3_memstr_02021-07-18 07:56 38K 
[ ]memstr_0__t3_memstr_0.vout2021-07-25 18:27 4.7K 
[ ]memstr_0__t4_memstr_02021-07-18 07:52 38K 
[ ]memstr_0__t4_memstr_0.depv12021-07-25 20:57 60  
[ ]memstr_0__t4_memstr_0.depvmin12021-07-25 21:03 60  
[ ]memstr_0__t4_memstr_0.vmin12021-07-25 20:57 809  
[ ]memstr_0__t4_memstr_0.vmin1out2021-07-25 20:58 7.7K 
[ ]memstr_0__t4_memstr_0.vout2021-07-25 15:44 7.8K 
[ ]memstr_0__t5_memstr_02021-07-18 07:57 46K 
[ ]memstr_0__t5_memstr_0.vout2021-07-25 17:31 2.0K 
[ ]memstr_0__t6_memstr_02021-07-18 07:52 33K 
[ ]memstr_0__t6_memstr_0.vout2021-07-25 19:35 2.0K 
[ ]memstr_0__t7_memstr_02021-07-18 07:57 39K 
[ ]memstr_0__t7_memstr_0.depv12021-07-25 20:57 48  
[ ]memstr_0__t7_memstr_0.depvmin12021-07-25 21:03 48  
[ ]memstr_0__t7_memstr_0.vmin12021-07-25 20:57 1.0K 
[ ]memstr_0__t7_memstr_0.vmin1out2021-07-25 21:02 11K 
[ ]memstr_0__t7_memstr_0.vout2021-07-25 15:58 11K 
[ ]memstr_0__t8_memstr_02021-07-18 07:57 37K 
[ ]memstr_0__t8_memstr_0.depv12021-07-25 20:57 89  
[ ]memstr_0__t8_memstr_0.depvmin12021-07-25 21:03 89  
[ ]memstr_0__t8_memstr_0.vmin12021-07-25 20:57 1.0K 
[ ]memstr_0__t8_memstr_0.vmin1out2021-07-25 21:00 9.5K 
[ ]memstr_0__t8_memstr_0.vout2021-07-25 19:35 9.4K 
[ ]memstr_0__t9_memstr_02021-07-18 07:58 43K 
[ ]memstr_0__t9_memstr_0.vout2021-07-25 15:38 1.1K 
[ ]memstr_0__t10_memstr_02021-07-18 07:58 37K 
[ ]memstr_0__t10_memstr_0.depv12021-07-25 20:57 232  
[ ]memstr_0__t10_memstr_0.depvmin12021-07-25 21:03 232  
[ ]memstr_0__t10_memstr_0.vmin12021-07-25 20:57 2.4K 
[ ]memstr_0__t10_memstr_0.vmin1out2021-07-25 21:02 22K 
[ ]memstr_0__t10_memstr_0.vout2021-07-25 18:38 20K 
[ ]memstr_0__t11_memstr_02021-07-18 07:59 40K 
[ ]memstr_0__t11_memstr_0.vout2021-07-25 15:43 1.1K 
[ ]memstr_0__t12_memstr_02021-07-18 07:53 41K 
[ ]memstr_0__t12_memstr_0.depv12021-07-25 20:57 37  
[ ]memstr_0__t12_memstr_0.depvmin12021-07-25 21:03 37  
[ ]memstr_0__t12_memstr_0.vmin12021-07-25 20:57 731  
[ ]memstr_0__t12_memstr_0.vmin1out2021-07-25 21:01 8.0K 
[ ]memstr_0__t12_memstr_0.vout2021-07-25 20:38 7.8K 
[ ]memstr_0__t13_memstr_02021-07-18 07:59 39K 
[ ]memstr_0__t13_memstr_0.vout2021-07-25 14:49 1.1K 
[ ]memstr_0__t14_memstr_02021-07-18 07:53 44K 
[ ]memstr_0__t14_memstr_0.vout2021-07-25 17:28 1.1K 
[ ]memstr_0__t15_memstr_02021-07-18 07:53 39K 
[ ]memstr_0__t15_memstr_0.depv12021-07-25 20:57 156  
[ ]memstr_0__t15_memstr_0.depvmin12021-07-25 21:03 109  
[ ]memstr_0__t15_memstr_0.vmin12021-07-25 20:57 1.3K 
[ ]memstr_0__t15_memstr_0.vmin1out2021-07-25 20:59 11K 
[ ]memstr_0__t15_memstr_0.vout2021-07-25 17:08 16K 
[ ]memstr_0__t16_memstr_02021-07-18 07:59 45K 
[ ]memstr_0__t16_memstr_0.vout2021-07-25 17:27 2.0K 
[ ]memstr_0__t17_memstr_02021-07-18 08:00 38K 
[ ]memstr_0__t17_memstr_0.vout2021-07-25 18:06 7.3K 
[ ]memstr_0__t18_memstr_02021-07-18 08:00 46K 
[ ]memstr_0__t18_memstr_0.vout2021-07-25 17:00 2.0K 
[ ]memstr_0__t19_memstr_02021-07-18 08:01 59K 
[ ]memstr_0__t19_memstr_0.vout2021-07-25 16:37 4.7K 
[ ]memstr_0__t20_memstr_02021-07-18 08:01 47K 
[ ]memstr_0__t20_memstr_0.vout2021-07-25 17:40 2.0K 
[ ]memstr_0__t21_memstr_02021-07-18 08:01 44K 
[ ]memstr_0__t21_memstr_0.vout2021-07-25 17:17 7.3K 
[ ]memstr_0__t22_memstr_02021-07-18 08:02 39K 
[ ]memstr_0__t22_memstr_0.vout2021-07-25 17:00 7.3K 
[ ]memstr_0__t23_memstr_02021-07-18 08:02 40K 
[ ]memstr_0__t23_memstr_0.vout2021-07-25 18:46 2.0K 
[ ]memstr_0__t24_memstr_02021-07-18 08:03 55K 
[ ]memstr_0__t24_memstr_0.vout2021-07-25 16:23 7.3K 
[ ]memstr_0__t25_memstr_02021-07-18 07:54 45K 
[ ]memstr_0__t25_memstr_0.vout2021-07-25 19:00 1.1K 
[ ]memstr_0__t26_memstr_02021-07-18 08:03 55K 
[ ]memstr_0__t26_memstr_0.vout2021-07-25 18:41 2.0K 
[ ]memstr_0__t27_memstr_02021-07-18 08:03 44K 
[ ]memstr_0__t27_memstr_0.depv12021-07-25 20:57 238  
[ ]memstr_0__t27_memstr_0.depvmin12021-07-25 21:03 191  
[ ]memstr_0__t27_memstr_0.vmin12021-07-25 20:57 2.6K 
[ ]memstr_0__t27_memstr_0.vmin1out2021-07-25 21:01 27K 
[ ]memstr_0__t27_memstr_0.vout2021-07-25 14:45 28K 
[ ]memstr_0__t28_memstr_02021-07-18 08:04 46K 
[ ]memstr_0__t28_memstr_0.vout2021-07-25 19:26 7.3K 
[ ]memstr_0__t29_memstr_02021-07-18 08:04 44K 
[ ]memstr_0__t29_memstr_0.vout2021-07-25 16:58 4.7K 
[ ]memstr_0__t30_memstr_02021-07-18 08:05 44K 
[ ]memstr_0__t30_memstr_0.depv12021-07-25 20:57 38  
[ ]memstr_0__t30_memstr_0.depvmin12021-07-25 21:03 38  
[ ]memstr_0__t30_memstr_0.vmin12021-07-25 20:57 948  
[ ]memstr_0__t30_memstr_0.vmin1out2021-07-25 21:00 11K 
[ ]memstr_0__t30_memstr_0.vout2021-07-25 18:42 10K 
[ ]memstr_0__t31_memstr_02021-07-18 07:54 45K 
[ ]memstr_0__t31_memstr_0.depv12021-07-25 20:57 81  
[ ]memstr_0__t31_memstr_0.depvmin12021-07-25 21:03 81  
[ ]memstr_0__t31_memstr_0.vmin12021-07-25 20:57 1.7K 
[ ]memstr_0__t31_memstr_0.vmin1out2021-07-25 21:01 21K 
[ ]memstr_0__t31_memstr_0.vout2021-07-25 20:20 17K 
[ ]memstr_0__t32_memstr_02021-07-18 08:05 55K 
[ ]memstr_0__t32_memstr_0.vout2021-07-25 18:03 4.7K 
[ ]memstr_0__t33_memstr_02021-07-18 08:05 46K 
[ ]memstr_0__t33_memstr_0.vout2021-07-25 18:11 1.1K 
[ ]memstr_0__t34_memstr_02021-07-18 08:06 42K 
[ ]memstr_0__t34_memstr_0.depv12021-07-25 20:57 26  
[ ]memstr_0__t34_memstr_0.depvmin12021-07-25 21:03 26  
[ ]memstr_0__t34_memstr_0.vmin12021-07-25 20:57 1.2K 
[ ]memstr_0__t34_memstr_0.vmin1out2021-07-25 20:59 26K 
[ ]memstr_0__t34_memstr_0.vout2021-07-25 17:31 26K 
[ ]memstr_0__t35_memstr_02021-07-18 07:54 54K 
[ ]memstr_0__t35_memstr_0.depv12021-07-25 20:57 26  
[ ]memstr_0__t35_memstr_0.depvmin12021-07-25 21:03 26  
[ ]memstr_0__t35_memstr_0.vmin12021-07-25 20:57 869  
[ ]memstr_0__t35_memstr_0.vmin1out2021-07-25 21:02 10K 
[ ]memstr_0__t35_memstr_0.vout2021-07-25 15:47 9.8K 
[ ]memstr_0__t36_memstr_02021-07-18 08:06 44K 
[ ]memstr_0__t36_memstr_0.vout2021-07-25 20:04 2.0K 
[ ]memstr_0__t37_memstr_02021-07-18 07:55 46K 
[ ]memstr_0__t37_memstr_0.vout2021-07-25 18:50 2.0K 
[ ]memstr_0__t38_memstr_02021-07-18 08:07 47K 
[ ]memstr_0__t38_memstr_0.vout2021-07-25 16:36 7.3K 
[ ]memstr_0__t39_memstr_02021-07-18 08:07 42K 
[ ]memstr_0__t39_memstr_0.vout2021-07-25 16:47 7.3K 
[ ]memstr_0__t40_memstr_02021-07-18 08:07 40K 
[ ]memstr_0__t40_memstr_0.vout2021-07-25 16:54 7.3K 
[ ]memstr_0__t41_memstr_02021-07-18 08:08 40K 
[ ]memstr_0__t41_memstr_0.vout2021-07-25 18:37 1.1K 
[ ]memstr_0__t42_memstr_02021-07-18 08:08 49K 
[ ]memstr_0__t42_memstr_0.vout2021-07-25 19:24 7.3K 
[ ]memstr_0__t43_memstr_02021-07-18 08:09 48K 
[ ]memstr_0__t43_memstr_0.vout2021-07-25 15:18 4.7K 
[ ]memstr_0__t44_memstr_02021-07-18 08:09 49K 
[ ]memstr_0__t44_memstr_0.depv12021-07-25 20:57 139  
[ ]memstr_0__t44_memstr_0.depvmin12021-07-25 21:03 139  
[ ]memstr_0__t44_memstr_0.vmin12021-07-25 20:57 2.4K 
[ ]memstr_0__t44_memstr_0.vmin1out2021-07-25 21:00 37K 
[ ]memstr_0__t44_memstr_0.vout2021-07-25 16:23 24K 
[ ]memstr_0__t45_memstr_02021-07-18 08:09 53K 
[ ]memstr_0__t45_memstr_0.vout2021-07-25 15:15 2.0K 
[ ]memstr_0__t46_memstr_02021-07-18 08:10 48K 
[ ]memstr_0__t46_memstr_0.depv12021-07-25 20:57 112  
[ ]memstr_0__t46_memstr_0.depvmin12021-07-25 21:03 112  
[ ]memstr_0__t46_memstr_0.vmin12021-07-25 20:57 2.0K 
[ ]memstr_0__t46_memstr_0.vmin1out2021-07-25 20:58 21K 
[ ]memstr_0__t46_memstr_0.vout2021-07-25 15:14 21K 
[ ]memstr_0__t47_memstr_02021-07-18 08:10 49K 
[ ]memstr_0__t47_memstr_0.vout2021-07-25 14:56 7.3K 
[ ]memstr_0__t48_memstr_02021-07-18 08:11 49K 
[ ]memstr_0__t48_memstr_0.vout2021-07-25 16:22 4.7K 
[ ]memstr_0__t49_memstr_02021-07-18 08:11 50K 
[ ]memstr_0__t49_memstr_0.vout2021-07-25 17:10 7.3K 
[ ]memstr_0__t50_memstr_02021-07-18 08:11 46K 
[ ]memstr_0__t50_memstr_0.vout2021-07-25 18:47 2.0K 
[ ]memstr_0__t51_memstr_02021-07-18 08:12 55K 
[ ]memstr_0__t51_memstr_0.vout2021-07-25 15:38 2.0K 
[ ]memstr_0__t52_memstr_02021-07-18 08:12 51K 
[ ]memstr_0__t52_memstr_0.vout2021-07-25 18:16 7.3K 
[ ]memstr_0__t53_memstr_02021-07-18 08:13 49K 
[ ]memstr_0__t53_memstr_0.vout2021-07-25 19:56 4.7K 
[ ]memstr_0__t54_memstr_02021-07-18 08:13 49K 
[ ]memstr_0__t54_memstr_0.vout2021-07-25 16:18 2.0K 
[ ]memstr_0__t55_memstr_02021-07-18 08:14 54K 
[ ]memstr_0__t55_memstr_0.vout2021-07-25 19:21 7.3K 
[ ]memstr_0__t56_memstr_02021-07-18 08:14 58K 
[ ]memstr_0__t56_memstr_0.vout2021-07-25 18:02 2.0K 
[ ]memstr_0__t57_memstr_02021-07-18 08:14 49K 
[ ]memstr_0__t57_memstr_0.vout2021-07-25 19:21 2.0K 
[ ]memstr_0__t58_memstr_02021-07-18 08:15 49K 
[ ]memstr_0__t58_memstr_0.vout2021-07-25 20:07 2.0K 
[ ]memstr_0__t59_memstr_02021-07-18 08:15 49K 
[ ]memstr_0__t59_memstr_0.depv12021-07-25 20:57 96  
[ ]memstr_0__t59_memstr_0.depvmin12021-07-25 21:03 96  
[ ]memstr_0__t59_memstr_0.vmin12021-07-25 20:57 1.6K 
[ ]memstr_0__t59_memstr_0.vmin1out2021-07-25 20:59 18K 
[ ]memstr_0__t59_memstr_0.vout2021-07-25 15:06 17K 
[ ]memstr_0__t60_memstr_02021-07-18 08:16 50K 
[ ]memstr_0__t60_memstr_0.vout2021-07-25 16:23 2.0K 
[ ]memstr_0__t61_memstr_02021-07-18 08:16 64K 
[ ]memstr_0__t61_memstr_0.vout2021-07-25 15:17 4.7K 
[ ]memstr_0__t62_memstr_02021-07-18 08:17 56K 
[ ]memstr_0__t62_memstr_0.depv12021-07-25 20:57 65  
[ ]memstr_0__t62_memstr_0.depvmin12021-07-25 21:03 65  
[ ]memstr_0__t62_memstr_0.vmin12021-07-25 20:57 1.7K 
[ ]memstr_0__t62_memstr_0.vmin1out2021-07-25 20:59 25K 
[ ]memstr_0__t62_memstr_0.vout2021-07-25 15:11 20K 
[ ]memstr_0__t63_memstr_02021-07-18 08:17 54K 
[ ]memstr_0__t63_memstr_0.vout2021-07-25 15:18 2.0K 
[ ]memstr_0__t64_memstr_02021-07-18 08:17 50K 
[ ]memstr_0__t64_memstr_0.vout2021-07-25 15:41 7.3K 
[ ]memstr_0__t65_memstr_02021-07-18 08:18 48K 
[ ]memstr_0__t65_memstr_0.vout2021-07-25 15:34 4.7K 
[ ]memstr_0__t66_memstr_02021-07-18 08:18 48K 
[ ]memstr_0__t66_memstr_0.vout2021-07-25 17:16 2.0K 
[ ]memstr_0__t67_memstr_02021-07-18 08:19 50K 
[ ]memstr_0__t67_memstr_0.vout2021-07-25 20:00 7.3K 
[ ]memstr_0__t68_memstr_02021-07-18 08:19 56K 
[ ]memstr_0__t68_memstr_0.vout2021-07-25 17:11 2.0K 
[ ]memstr_0__t69_memstr_02021-07-18 08:20 49K 
[ ]memstr_0__t69_memstr_0.vout2021-07-25 15:25 2.0K 
[ ]memstr_0__t70_memstr_02021-07-18 08:20 47K 
[ ]memstr_0__t70_memstr_0.vout2021-07-25 16:25 2.0K 
[ ]memstr_0__t71_memstr_02021-07-18 08:20 51K 
[ ]memstr_0__t71_memstr_0.depv12021-07-25 20:57 101  
[ ]memstr_0__t71_memstr_0.depvmin12021-07-25 21:03 101  
[ ]memstr_0__t71_memstr_0.vmin12021-07-25 20:57 1.7K 
[ ]memstr_0__t71_memstr_0.vmin1out2021-07-25 21:02 19K 
[ ]memstr_0__t71_memstr_0.vout2021-07-25 20:33 18K 
[ ]memstr_0__t72_memstr_02021-07-18 08:21 49K 
[ ]memstr_0__t72_memstr_0.vout2021-07-25 15:27 2.0K 
[ ]memstr_0__t73_memstr_02021-07-18 08:21 53K 
[ ]memstr_0__t73_memstr_0.vout2021-07-25 16:09 2.0K 
[ ]memstr_0__t74_memstr_02021-07-18 08:22 53K 
[ ]memstr_0__t74_memstr_0.vout2021-07-25 16:02 2.0K 
[ ]memstr_0__t75_memstr_02021-07-18 08:22 31K 
[ ]memstr_0__t75_memstr_0.depv12021-07-25 20:57 121  
[ ]memstr_0__t75_memstr_0.depvmin12021-07-25 21:03 108  
[ ]memstr_0__t75_memstr_0.vmin12021-07-25 20:57 1.7K 
[ ]memstr_0__t75_memstr_0.vmin1out2021-07-25 20:57 14K 
[ ]memstr_0__t75_memstr_0.vout2021-07-25 17:45 25K 
[ ]memstr_0__t76_memstr_02021-07-18 08:22 31K 
[ ]memstr_0__t76_memstr_0.depv12021-07-25 20:57 215  
[ ]memstr_0__t76_memstr_0.depvmin12021-07-25 21:03 215  
[ ]memstr_0__t76_memstr_0.vmin12021-07-25 20:57 2.5K 
[ ]memstr_0__t76_memstr_0.vmin1out2021-07-25 20:58 24K 
[ ]memstr_0__t76_memstr_0.vout2021-07-25 14:29 29K 
[ ]memstr_0__t77_memstr_02021-07-18 08:23 35K 
[ ]memstr_0__t77_memstr_0.vout2021-07-25 14:47 2.0K 
[ ]memstr_0__t78_memstr_02021-07-18 08:23 48K 
[ ]memstr_0__t78_memstr_0.vout2021-07-25 16:09 7.3K 
[ ]memstr_0__t79_memstr_02021-07-18 08:24 52K 
[ ]memstr_0__t79_memstr_0.vout2021-07-25 19:28 2.0K 
[ ]memstr_0__t80_memstr_02021-07-18 08:24 58K 
[ ]memstr_0__t80_memstr_0.vout2021-07-25 15:36 7.3K 
[ ]memstr_0__t81_memstr_02021-07-18 07:55 36K 
[ ]memstr_0__t81_memstr_0.depv12021-07-25 20:57 61  
[ ]memstr_0__t81_memstr_0.depvmin12021-07-25 21:03 25  
[ ]memstr_0__t81_memstr_0.vmin12021-07-25 20:57 435  
[ ]memstr_0__t81_memstr_0.vmin1out2021-07-25 21:02 2.7K 
[ ]memstr_0__t81_memstr_0.vout2021-07-25 18:21 4.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80